aim-50-2_0-yes1-2.cnf

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


zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc45.0056.001.0010.0016.0000 00 03390.000999UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn45.0056.001.0010.0016.0000 00 01520.000999UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb45.0056.001.0010.0016.0000 00 03370.000999UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb45.0056.001.0010.0016.0000 00 01520UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw45.0056.001.0010.0016.0000 00 0190.000999UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn45.0056.001.0010.0016.0000 00 060UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb45.0056.001.0010.0016.0000 00 0190.000999UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb45.0056.001.0010.0016.0000 00 060UNKNOWN

zChaff minisat SatELite
0.000999 0.001999 0.001999