3col220_5_4.shuffled.cnf

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


zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.7136.3512.058.168.8500 00 081240.010998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.7136.3512.058.168.8500 00 054190.006998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.7136.3512.058.168.8500 00 076740.009998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.7136.3512.058.168.8500 00 053130.006998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.7136.3512.058.168.8500 00 076760.008998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.7136.3512.058.168.8500 00 053130.008998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.7136.3512.058.168.8500 00 076740.011998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.7136.3512.058.168.8500 00 053130.006998UNKNOWN

zChaff minisat SatELite
3.51847 0.584911 2.93055