aim-200-3_4-yes1-2.cnf

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


zChaff minisat SatELite
0.002 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc52.0247.980.0013.3412.89013 213 223940.001999UNKNOWN

zChaff minisat SatELite
0.002 0.001999 0.013997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn52.3847.620.0013.2412.8008 18 111610.001999UNKNOWN

zChaff minisat SatELite
0.005999 0.003999 0.013997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb52.0247.980.0013.3412.89013 213 223940.002999UNKNOWN

zChaff minisat SatELite
0.002 0.003999 0.012998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb52.3847.620.0013.2412.8008 18 111610.002999UNKNOWN

zChaff minisat SatELite
0.005999 0.002999 0.011998

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

zChaff minisat SatELite
0.002 0.001999 0.011998

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

zChaff minisat SatELite
0.002 0.001999 0.011998

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

zChaff minisat SatELite
0.002 0.001999 0.011998

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

zChaff minisat SatELite
0.002 0.001999 0.011998