IBM_FV_2004_rule_batch_15_SAT_dat.k60.cnf

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


zChaff minisat SatELite
0.13198 0.419936 14.6818

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.0775.7375.608.029.69441074 841074 85936282443.8843UNKNOWN

zChaff minisat SatELite
TimeOut 58.2891 102.685

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn81.6177.2577.337.359.2003044 13044 1111421468.72267UNKNOWN

zChaff minisat SatELite
1554.57 17.8963 167.456

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb81.3177.3577.447.689.1701315 01315 075928026.39103UNKNOWN

zChaff minisat SatELite
5078.23 2.01969 17.0804

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb81.3277.3377.417.689.1701141 01141 059313294.49132UNKNOWN

zChaff minisat SatELite
3347.35 2.02969 17.2424

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.1877.0676.937.579.17112935 212935 23852368329.8465UNKNOWN

zChaff minisat SatELite
4675.8 21.1178 37.8522

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn81.6177.2577.337.359.2003044 13044 1111421409.31358UNKNOWN

zChaff minisat SatELite
1513.16 16.4745 183.841

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb81.3177.3577.447.689.1701315 01315 075928026.52801UNKNOWN

zChaff minisat SatELite
5106.74 1.86572 17.2184

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb81.3277.3377.417.689.1701141 01141 059313294.99624UNKNOWN

zChaff minisat SatELite
3327.56 1.85172 17.8083