c499-s.cnf

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


zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc57.1471.8844.367.7218.7400 00 0509340.019996UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn57.1471.8844.367.7218.7400 00 0178080.009998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb57.1471.8844.367.7218.7400 00 0262450.011998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb57.1471.8844.367.7218.7400 00 0163680.008998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw57.1471.8844.367.7218.7400 00 0475890.017997UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn57.1471.8844.367.7218.7400 00 0173120.009998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb57.1471.8844.367.7218.7400 00 0244530.010998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb57.1471.8844.367.7218.7400 00 0158720.007998UNKNOWN

zChaff minisat SatELite
0.296955 0.303953 0.712891