mod2c-rand3bip-sat-220-2.shuffled-as.sat05-2489.cnf

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


zChaff minisat SatELite
1519.61 5263.89 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc27.0927.860.005.185.1800 00 0104280.022996UNKNOWN

zChaff minisat SatELite
1519.61 5263.89 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn27.0927.860.005.185.1800 00 076040.017997UNKNOWN

zChaff minisat SatELite
1519.61 5263.89 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb27.0927.860.005.185.1800 00 0104280.024996UNKNOWN

zChaff minisat SatELite
1519.61 5263.89 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb27.0927.860.005.185.1800 00 076040.017997UNKNOWN

zChaff minisat SatELite
1519.61 5263.89 TimeOut

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

zChaff minisat SatELite
1519.61 5263.89 TimeOut

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

zChaff minisat SatELite
1519.61 5263.89 TimeOut

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

zChaff minisat SatELite
1519.61 5263.89 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb27.0927.860.005.185.1800 00 000.000999UNKNOWN

zChaff minisat SatELite
1519.61 5263.89 TimeOut