okgen-c1200-v600-s936683563-936683563.cnf

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


zChaff minisat SatELite
0.000999 0.003999 0.072988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc47.1752.830.0013.5011.5850 00 036140.004999UNKNOWN

zChaff minisat SatELite
0.000999 0.003999 0.072988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.1752.830.0013.5011.5850 00 017040.002999UNKNOWN

zChaff minisat SatELite
0.000999 0.003999 0.072988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb47.1752.830.0013.5011.5850 00 036140.006998UNKNOWN

zChaff minisat SatELite
0.000999 0.003999 0.072988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.1752.830.0013.5011.5850 00 017040.002999UNKNOWN

zChaff minisat SatELite
0.000999 0.003999 0.072988

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

zChaff minisat SatELite
0.000999 0.003999 0.072988

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

zChaff minisat SatELite
0.000999 0.003999 0.072988

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

zChaff minisat SatELite
0.000999 0.003999 0.072988

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

zChaff minisat SatELite
0.000999 0.003999 0.072988