f1-b8-s8-10.cnf

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


zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc64.6767.3285.8521.4420.6700 00 0127820.006998UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn64.6767.3285.8521.4420.6700 00 046590.004999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb64.6767.3285.8521.4420.6700 00 026950.001999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb64.6767.3285.8521.4420.6700 00 022880.002999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw64.6767.3285.8521.4420.6700 00 026950.003999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn64.6767.3285.8521.4420.6700 00 022880.002999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb64.6767.3285.8521.4420.6700 00 026950.003999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb64.6767.3285.8521.4420.6700 00 022880.001999UNKNOWN

zChaff minisat SatELite
0.026996 345.798 442.727