grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336.cnf

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


zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921

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

zChaff minisat SatELite
65.932 30.1914 0.514921