f28-b4-s0-0.cnf

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


zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991

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

zChaff minisat SatELite
0.025996 3.13052 0.056991