qwh.60.1800.shuffled-as.sat03-1660.cnf

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


zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.5074.3599.1924.6924.8400 00 05292350683.0154UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.5074.3599.1924.6924.8400 00 01320326622.5246UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.5074.3599.1924.6924.8400 00 0852540.565913UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.5074.3599.1924.6924.8400 00 0850910.429934UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.5074.3599.1924.6924.8400 00 0852540.637903UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.5074.3599.1924.6924.8400 00 0850910.497924UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.5074.3599.1924.6924.8400 00 0852540.601908UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.5074.3599.1924.6924.8400 00 0850910.449931UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7573.77