Urquhart-s4-b2.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut

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

zChaff minisat SatELite
TimeOut 2316.48 TimeOut