f96-b1-s0-20.cnf

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


zChaff minisat SatELite
456.423 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.2870.8995.6722.4125.83261455891914558919150746330610791.1uncomplete

zChaff minisat SatELite
442.691 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn80.7369.1096.2116.3828.03658892 858892 85759601396182.52UNKNOWN

zChaff minisat SatELite
443.661 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.6671.4396.4922.6625.9202601 02601 062734656417.407UNKNOWN

zChaff minisat SatELite
427.211 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.6671.4396.4922.6625.9202599 02599 055042873456.283UNKNOWN

zChaff minisat SatELite
442.038 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.6671.4296.4922.6625.9203278 03278 066563730454.182UNKNOWN

zChaff minisat SatELite
438.573 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.6871.4296.4922.6525.9202775 02775 052794510464.021UNKNOWN

zChaff minisat SatELite
379.176 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.6671.4396.4922.6625.9202596 02596 050132172371.108UNKNOWN

zChaff minisat SatELite
392.134 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.6671.4396.4922.6625.9202596 02596 048660514416.765UNKNOWN

zChaff minisat SatELite
385.264 TimeOut TimeOut