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

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut