mod2c-rand3bip-sat-150-1.shuffled-as.sat05-2383.cnf

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


zChaff minisat SatELite
50.7893 6.64199 29.3705

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc25.7326.000.004.735.0700 00 072030.017997UNKNOWN

zChaff minisat SatELite
50.7893 6.64199 29.3705

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn25.7326.000.004.735.0700 00 053950.011998UNKNOWN

zChaff minisat SatELite
50.7893 6.64199 29.3705

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb25.7326.000.004.735.0700 00 072030.015997UNKNOWN

zChaff minisat SatELite
50.7893 6.64199 29.3705

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb25.7326.000.004.735.0700 00 053950.012998UNKNOWN

zChaff minisat SatELite
50.7893 6.64199 29.3705

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

zChaff minisat SatELite
50.7893 6.64199 29.3705

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

zChaff minisat SatELite
50.7893 6.64199 29.3705

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

zChaff minisat SatELite
50.7893 6.64199 29.3705

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

zChaff minisat SatELite
50.7893 6.64199 29.3705