rand_net70-30-5.miter.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 599.183 9820.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc66.0765.7664.0320.7420.660392 3392 321405801.21681UNKNOWN

zChaff minisat SatELite
TimeOut 640.863 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn66.8665.8964.8720.2520.850103 1103 17211010.413937UNKNOWN

zChaff minisat SatELite
TimeOut 747.161 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb66.3166.1765.1620.9120.6800 00 07210630.410937UNKNOWN

zChaff minisat SatELite
TimeOut 599.183 9820.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb66.3166.1765.1620.9120.6800 00 03565000.215967UNKNOWN

zChaff minisat SatELite
TimeOut 599.183 9820.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw66.1365.8064.2620.7620.710316 3316 319602921.10283UNKNOWN

zChaff minisat SatELite
TimeOut 194.705 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn66.7765.9464.9220.3720.82085 185 16713510.387941UNKNOWN

zChaff minisat SatELite
TimeOut 566.713 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb66.3166.1765.1620.9120.6800 00 06997540.404938UNKNOWN

zChaff minisat SatELite
TimeOut 599.183 9820.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb66.3166.1765.1620.9120.6800 00 03448800.200969UNKNOWN

zChaff minisat SatELite
TimeOut 599.183 9820.97