enddr2-10-by-5-8.cnf

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


zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc99.8016.5024.270.327.7720100 00 05438711426.198UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn99.8016.5024.270.327.7720100 00 04500.052991UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb99.8016.5024.270.327.7720100 00 04934772926.031UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb99.8016.5024.270.327.7720100 00 000.050992UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw99.8016.5024.270.327.7720100 00 05438662428.1217UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn99.8016.5024.270.327.7720100 00 000.051992UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb99.8016.5024.270.327.7720100 00 04934772926.208UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb99.8016.5024.270.327.7720100 00 000.050992UNKNOWN

zChaff minisat SatELite
0.057991 0.080987 1.14783