f34-b1-s0-0.cnf

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


zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc40.3135.6612.797.957.7500 00 022290.001999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn40.3135.6612.797.957.7500 00 013950.001999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb40.3135.6612.797.957.7500 00 020990.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb40.3135.6612.797.957.7500 00 013590.000999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw40.3135.6612.797.957.7500 00 021010.003999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn40.3135.6612.797.957.7500 00 013590.001999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb40.3135.6612.797.957.7500 00 020990.003999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb40.3135.6612.797.957.7500 00 013590.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.013997 0.053991