Urquhart-s4-b2.shuffled-as.sat03-1561.cnf

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


zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc12.9612.291.013.203.2000 00 036000.014997UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn12.9612.291.013.203.2000 00 032000.017997UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb12.9612.291.013.203.2000 00 035840.014997UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb12.9612.291.013.203.2000 00 031950.013997UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw12.9612.291.013.203.2000 00 01680.002999UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn12.9612.291.013.203.2000 00 01030.000999UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb12.9612.291.013.203.2000 00 01520.001999UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb12.9612.291.013.203.2000 00 0980.000999UNKNOWN

zChaff minisat SatELite
TimeOut 1871.12 TimeOut