Composite-032BitPrimes-0.used-as.sat04-862.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc32.2716.626.210.170.350970 5970 53096330.937857UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.5320.6310.720.160.3409 09 02174200.672897UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.5320.6310.720.160.3409 09 02563130.879866UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.5320.6310.720.160.3409 09 02174200.674897UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.5320.6410.720.170.3408 08 01296310.804877UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.5320.6410.720.170.3408 08 0906240.596909UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.5320.6410.720.170.3408 08 01294500.815875UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.5320.6410.720.170.3408 08 0906240.596909UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut