hgen5-v100-s2029002754.cnf

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


zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.9536.250.008.607.6200 00 027600.005999UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.9536.250.008.607.6200 00 017620.006998UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb36.9536.250.008.607.6200 00 027600.007998UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.9536.250.008.607.6200 00 017620.002999UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.9536.250.008.607.6200 00 000.000999UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.9536.250.008.607.6200 00 000.000999UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb36.9536.250.008.607.6200 00 000.002999UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.9536.250.008.607.6200 00 000UNKNOWN

zChaff minisat SatELite
17.9353 0.074988 0.158975