OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=4-o.shuffled-as.sat05-1537.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc19.2618.420.003.023.0200 00 0500000.332949UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn19.2618.420.003.023.0200 00 0403700.248962UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb19.2618.420.003.023.0200 00 0500000.328949UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb19.2618.420.003.023.0200 00 0403700.266959UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw19.2618.420.003.023.0200 00 000.009998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn19.2618.420.003.023.0200 00 000.008998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb19.2618.420.003.023.0200 00 000.008998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb19.2618.420.003.023.0200 00 000.008998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut