aim-100-2_0-yes1-4.cnf

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


zChaff minisat SatELite
0.001 0.000999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc46.2353.770.0012.0616.0801 01 06930.000999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn46.0054.000.0012.0016.0000 00 03210.000999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb46.2353.770.0012.0616.0801 01 06930.001999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb46.0054.000.0012.0016.0000 00 03210UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.004999

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

zChaff minisat SatELite
0.001 0.000999 0.004999

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

zChaff minisat SatELite
0.001 0.000999 0.004999

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

zChaff minisat SatELite
0.001 0.000999 0.004999

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

zChaff minisat SatELite
0.001 0.000999 0.004999