grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf

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


zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483

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

zChaff minisat SatELite
269.501 331.059 1.08483