3pipe.shuffled.cnf

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


zChaff minisat SatELite
0.802878 26.529 86.6718

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.1171.3189.4024.9120.3988360313360313746791311.6762UNKNOWN

zChaff minisat SatELite
1.14783 20.4269 225.307

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.0674.4690.3825.7118.01771143 41143 419871053.21551UNKNOWN

zChaff minisat SatELite
1.06584 32.853 98.489

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb68.3171.6490.7524.7321.1276107 0107 05438550.724889UNKNOWN

zChaff minisat SatELite
0.890865 17.3994 285.315

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.3071.6490.7524.7321.1276105 0105 04769000.696894UNKNOWN

zChaff minisat SatELite
0.931858 12.7581 535.254

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw68.2871.6390.7224.7421.1076200 1200 17217911.02584UNKNOWN

zChaff minisat SatELite
1.00285 9.16461 51.0732

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.2771.7190.7424.7621.0576130 0130 05124790.760884UNKNOWN

zChaff minisat SatELite
1.13183 9.47156 180.219

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb68.3071.6490.7524.7321.1276106 0106 04645300.648901UNKNOWN

zChaff minisat SatELite
0.880866 26.087 206.765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.3071.6490.7524.7321.1276105 0105 04406980.609907UNKNOWN

zChaff minisat SatELite
0.909862 12.7841 525.586