cnf-r3-b4-k1.1.cnf

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


zChaff minisat SatELite
0.698893 0.177972 5.00024

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc84.9751.5182.151.1936.594090732792 82792 82136119711.0473UNKNOWN

zChaff minisat SatELite
0.12598 0.045993 3.47047

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn85.6351.0182.381.1337.084090731347 41347 430423821.72574UNKNOWN

zChaff minisat SatELite
0.067991 0.050992 3.62745

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb85.5251.3182.811.1537.244090731527 41527 434919671.86972UNKNOWN

zChaff minisat SatELite
0.06399 0.045993 3.39848

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb85.6351.0182.381.1337.084090731347 41347 430423821.72674UNKNOWN

zChaff minisat SatELite
0.06799 0.054991 3.53146

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw84.9151.5882.071.2036.454090732662 72662 71972568710.0785UNKNOWN

zChaff minisat SatELite
0.072989 0.042993 3.51647

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn85.5350.9782.281.1437.044090731305 41305 430418241.71074UNKNOWN

zChaff minisat SatELite
0.06999 0.056991 3.53846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb85.4351.2682.691.1637.184090731475 41475 434912572.00869UNKNOWN

zChaff minisat SatELite
0.06699 0.046992 3.41348

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb85.5350.9782.281.1437.044090731305 41305 430418241.73873UNKNOWN

zChaff minisat SatELite
0.06699 0.055991 3.48647