OKgenerator_s0=32s1=20n=220l=7cp=18700-Dnr0=0nr1=6-o.shuffled-as.sat05-1639.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc6.106.240.000.840.7900 00 01309004.51531UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn6.106.240.000.840.7900 00 01227384.28735UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb6.106.240.000.840.7900 00 01309004.49132UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb6.106.240.000.840.7900 00 01227384.24435UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw6.106.240.000.840.7900 00 000.025996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn6.106.240.000.840.7900 00 000.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb6.106.240.000.840.7900 00 000.020996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb6.106.240.000.840.7900 00 000.018997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut