Urquhart-s3-b6.shuffled-as.sat03-1558.cnf

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


zChaff minisat SatELite
TimeOut 4968.97 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc10.769.010.001.311.0200 00 044480.023996UNKNOWN

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn10.769.010.001.311.0200 00 039900.022996UNKNOWN

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb10.769.010.001.311.0200 00 044480.022996UNKNOWN

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb10.769.010.001.311.0200 00 039900.020996UNKNOWN

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

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

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

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

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

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

zChaff minisat SatELite
TimeOut 4968.97 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb10.769.010.001.311.0200 00 000UNKNOWN

zChaff minisat SatELite
TimeOut 4968.97 TimeOut