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

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


zChaff minisat SatELite
0.001999 0.003999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.0149.250.5016.3315.8302 02 013330.001999UNKNOWN

zChaff minisat SatELite
0.002 0.002999 0.012998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.0149.250.5016.3315.8302 02 06520.002999UNKNOWN

zChaff minisat SatELite
0.003 0.003999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.0149.250.5016.3315.8302 02 013290.000999UNKNOWN

zChaff minisat SatELite
0.003 0.004999 0.012998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.0149.250.5016.3315.8302 02 06500.000999UNKNOWN

zChaff minisat SatELite
0.003 0.001999 0.013997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.7549.500.5016.2515.7500 00 0520.000999UNKNOWN

zChaff minisat SatELite
0.001999 0.003999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.7549.500.5016.2515.7500 00 0300.000999UNKNOWN

zChaff minisat SatELite
0.001999 0.003999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.7549.500.5016.2515.7500 00 0520.000999UNKNOWN

zChaff minisat SatELite
0.001999 0.003999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.7549.500.5016.2515.7500 00 0300.000999UNKNOWN

zChaff minisat SatELite
0.001999 0.003999 0.011998