f34-b9-s0-0.cnf

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


zChaff minisat SatELite
0.019998 0.014997 0.05999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc34.9537.6712.827.967.7701 01 021960.004999UNKNOWN

zChaff minisat SatELite
0.016997 0.013997 0.06199

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn34.8837.7912.797.957.7500 00 014550.001999UNKNOWN

zChaff minisat SatELite
0.019998 0.014997 0.05999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb34.9537.6712.827.967.7701 01 020660.002999UNKNOWN

zChaff minisat SatELite
0.017998 0.014997 0.06199

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb34.8837.7912.797.957.7500 00 014270.000999UNKNOWN

zChaff minisat SatELite
0.019998 0.014997 0.05999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw34.9537.6712.827.967.7701 01 020680.003999UNKNOWN

zChaff minisat SatELite
0.017998 0.015997 0.05999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn34.8837.7912.797.957.7500 00 014270.002999UNKNOWN

zChaff minisat SatELite
0.019998 0.014997 0.05999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb34.9537.6712.827.967.7701 01 020660.003999UNKNOWN

zChaff minisat SatELite
0.016997 0.015997 0.06299

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb34.8837.7912.797.957.7500 00 014270.001999UNKNOWN

zChaff minisat SatELite
0.019998 0.014997 0.05999