hgen5-v125-s1840040075.cnf

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


zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.0635.850.007.677.7800 00 034190.005999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.0635.850.007.677.7800 00 022310.005999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.0635.850.007.677.7800 00 034190.008998UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.0635.850.007.677.7800 00 022310.003999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.0635.850.007.677.7800 00 000.001999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.0635.850.007.677.7800 00 000.001999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.0635.850.007.677.7800 00 000.002999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.0635.850.007.677.7800 00 000.001999UNKNOWN

zChaff minisat SatELite
629.76 12.2861 3.36249