f51-b3-s0-0.cnf

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


zChaff minisat SatELite
292.44 12.93 54.0918

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.9131.910.336.376.1501 01 072050.019996UNKNOWN

zChaff minisat SatELite
158.326 12.934 54.1628

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.9131.910.336.376.1501 01 049190.011998UNKNOWN

zChaff minisat SatELite
167.846 12.863 58.2781

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.9131.910.336.376.1501 01 071990.017997UNKNOWN

zChaff minisat SatELite
165.935 12.833 55.1996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.9131.910.336.376.1501 01 049190.012998UNKNOWN

zChaff minisat SatELite
160.301 12.874 54.5667

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw31.8931.890.336.376.1500 00 000.002999UNKNOWN

zChaff minisat SatELite
292.44 12.93 54.0918

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

zChaff minisat SatELite
292.44 12.93 54.0918

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

zChaff minisat SatELite
292.44 12.93 54.0918

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

zChaff minisat SatELite
292.44 12.93 54.0918