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

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb6.336.230.000.880.7200 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.336.230.000.880.7200 00 000.018997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut