4col140_9_2.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 2129.23 10262.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc32.1932.190.246.186.0200 00 0100860.026995UNKNOWN

zChaff minisat SatELite
TimeOut 2129.23 10262.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn32.1932.190.246.186.0200 00 068520.018997UNKNOWN

zChaff minisat SatELite
TimeOut 2129.23 10262.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb32.1932.190.246.186.0200 00 0100800.023996UNKNOWN

zChaff minisat SatELite
TimeOut 2129.23 10262.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb32.1932.190.246.186.0200 00 068520.017997UNKNOWN

zChaff minisat SatELite
TimeOut 2129.23 10262.7

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

zChaff minisat SatELite
TimeOut 2129.23 10262.7

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

zChaff minisat SatELite
TimeOut 2129.23 10262.7

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

zChaff minisat SatELite
TimeOut 2129.23 10262.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb32.1932.190.246.186.0200 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 2129.23 10262.7