IBM_FV_2004_rule_batch_22_SAT_dat.k25.cnf

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


zChaff minisat SatELite
1.74773 0.500923 7.02593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.3076.2176.366.2110.26318828 918828 94353890430.9753UNKNOWN

zChaff minisat SatELite
1.59476 1.26381 6.42602

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn82.0277.6778.265.599.8701508 11508 186991745.98909UNKNOWN

zChaff minisat SatELite
1.2988 0.307953 8.42472

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb81.7477.7778.365.939.840805 0805 053922313.90341UNKNOWN

zChaff minisat SatELite
0.515921 0.482926 8.80266

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb81.7377.7578.345.939.840740 0740 045591883.15152UNKNOWN

zChaff minisat SatELite
1.09183 0.435933 7.73982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.5177.7277.735.809.5336881 36881 32822808219.737UNKNOWN

zChaff minisat SatELite
2.08268 0.752885 6.53701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn82.0277.6778.265.599.8701508 11508 186694386.04108UNKNOWN

zChaff minisat SatELite
1.3258 0.301954 8.41072

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb81.7477.7778.365.939.840805 0805 053922313.9394UNKNOWN

zChaff minisat SatELite
0.539919 0.477927 8.23875

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb81.7377.7578.345.939.840740 0740 045591883.14152UNKNOWN

zChaff minisat SatELite
1.10483 0.436933 7.82481