f83-b2-s0-0.cnf

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


zChaff minisat SatELite
2.99654 0.142978 1.02984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc65.2466.7966.3222.0320.960450 4450 44453460.361944UNKNOWN

zChaff minisat SatELite
3.52546 0.143978 1.02484

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn63.9867.4365.0422.0920.550229 2229 21597000.120981UNKNOWN

zChaff minisat SatELite
3.78242 0.143978 1.01885

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb65.2466.7966.3222.0320.960450 4450 42102820.172973UNKNOWN

zChaff minisat SatELite
3.54246 0.145977 1.02684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb63.9867.4365.0422.0920.550229 2229 21026660.082987UNKNOWN

zChaff minisat SatELite
3.81642 0.141978 1.01885

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw65.2466.7966.3222.0320.960450 4450 42149160.166974UNKNOWN

zChaff minisat SatELite
3.55846 0.141978 1.01684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn63.9867.4365.0422.0920.550229 2229 21038430.087986UNKNOWN

zChaff minisat SatELite
3.78443 0.140978 1.03184

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb65.2466.7966.3222.0320.960450 4450 42102820.164974UNKNOWN

zChaff minisat SatELite
3.51347 0.143978 1.01984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb63.9867.4365.0422.0920.550229 2229 21026660.082987UNKNOWN

zChaff minisat SatELite
3.76643 0.142978 1.02984