4col100_9_2.shuffled.cnf

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


zChaff minisat SatELite
316.987 13.034 57.0503

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

zChaff minisat SatELite
161.907 12.876 54.3837

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

zChaff minisat SatELite
157.449 12.85 54.9306

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
157.545 13.7629 54.4977

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

zChaff minisat SatELite
160.791 12.836 54.8847

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

zChaff minisat SatELite
316.987 13.034 57.0503

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
316.987 13.034 57.0503

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

zChaff minisat SatELite
316.987 13.034 57.0503

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
316.987 13.034 57.0503