manol-pipe-c8n.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
5369715959580.2770.5266.675.5215.72


zChaff minisat SatELite
471.411 166.602 164.103

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.1170.8466.545.5915.4402646 22646 22166194310.1025UNKNOWN

zChaff minisat SatELite
532.525 217.261 203.802

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn80.4170.4766.785.5115.750269 0269 026907661.44678UNKNOWN

zChaff minisat SatELite
551.354 163.33 371.361

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb80.3670.6666.955.5215.790678 0678 061357303.08953UNKNOWN

zChaff minisat SatELite
517.358 173.807 215.832

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb80.4170.4766.785.5115.750269 0269 026686141.42078UNKNOWN

zChaff minisat SatELite
547.669 173.95 381.367

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw80.1770.9166.635.5715.4002219 12219 1171947408.14376UNKNOWN

zChaff minisat SatELite
482.152 206.137 176.271

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn80.4170.4766.785.5115.750269 0269 026904461.45678UNKNOWN

zChaff minisat SatELite
518.69 167.914 372.064

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb80.3670.6666.955.5215.790678 0678 061357302.84957UNKNOWN

zChaff minisat SatELite
504.99 180.679 218.172

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb80.4170.4766.785.5115.750269 0269 026686141.38679UNKNOWN

zChaff minisat SatELite
557.799 164.105 378.448