IBM_FV_2004_rule_batch_23_SAT_dat.k40.cnf

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


zChaff minisat SatELite
2918.59 1070.27 1403.13

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.4575.7576.175.8610.44229036 929036 96176982045.3381UNKNOWN

zChaff minisat SatELite
4563.79 2216.11 4825.24

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn82.1777.2178.105.2510.1001877 11877 1115214508.58469UNKNOWN

zChaff minisat SatELite
3462.26 1593.52 3107.5

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb81.8677.3078.185.6010.060637 0637 063979185.2692UNKNOWN

zChaff minisat SatELite
2029.17 2526.22 1380.47

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb81.8677.3078.185.6010.060635 0635 054932204.23836UNKNOWN

zChaff minisat SatELite
1761.18 2543.72 1342.67

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.6677.3277.575.469.6829784 39784 33955910129.6975UNKNOWN

zChaff minisat SatELite
6516.41 1792.65 2274.17

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn82.1777.2178.105.2510.1001877 11877 1114433908.5257UNKNOWN

zChaff minisat SatELite
3333.06 1574.19 3194.13

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb81.8677.3078.185.6010.060637 0637 063979185.2892UNKNOWN

zChaff minisat SatELite
1918.72 2532.47 1350.73

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb81.8677.3078.185.6010.060635 0635 054932204.21436UNKNOWN

zChaff minisat SatELite
1777.64 2568.81 1355.16