qg0-8.shuffled.cnf

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


zChaff minisat SatELite
2.97355 0.145977 1.03484

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

zChaff minisat SatELite
3.81742 0.146977 1.05184

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

zChaff minisat SatELite
3.84542 0.143978 1.04784

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

zChaff minisat SatELite
3.53946 0.157975 1.04784

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

zChaff minisat SatELite
3.88641 0.142978 1.05784

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

zChaff minisat SatELite
3.58845 0.143978 1.04784

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

zChaff minisat SatELite
3.84042 0.139978 1.02684

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

zChaff minisat SatELite
3.60345 0.153976 1.03684

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

zChaff minisat SatELite
3.84142 0.143978 1.02784