okgen-c2500-v500-s811024080-811024080.cnf

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


zChaff minisat SatELite
TimeOut 7770.85 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc52.2047.800.0012.1613.0800 00 076100.014997UNKNOWN

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn52.2047.800.0012.1613.0800 00 036370.004999UNKNOWN

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb52.2047.800.0012.1613.0800 00 076100.009998UNKNOWN

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb52.2047.800.0012.1613.0800 00 036370.005999UNKNOWN

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

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

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

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

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

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

zChaff minisat SatELite
TimeOut 7770.85 TimeOut

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

zChaff minisat SatELite
TimeOut 7770.85 TimeOut