grid-pbl-0150.shuffled-as.sat05-1338.shuffled-as.sat05-1338.cnf

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


zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.1631.090.346.266.1600 00 02687770.381941UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.1631.090.346.266.1600 00 01853000.271958UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.1631.090.346.266.1600 00 02684750.398939UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.1631.090.346.266.1600 00 01852220.275958UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw31.1631.090.346.266.1600 00 038590.072988UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.1631.090.346.266.1600 00 028420.05999UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.1631.090.346.266.1600 00 038590.05999UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb31.1631.090.346.266.1600 00 028420.054991UNKNOWN

zChaff minisat SatELite
4390.65 318.396 2.31765