aleat_350_1488_15.cnf

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


zChaff minisat SatELite
TimeOut 232.798 10.0855

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.1350.870.0013.8411.2900 00 045740.005999UNKNOWN

zChaff minisat SatELite
TimeOut 232.798 10.0855

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn49.1350.870.0013.8411.2900 00 022550.002999UNKNOWN

zChaff minisat SatELite
TimeOut 232.798 10.0855

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.1350.870.0013.8411.2900 00 045740.006998UNKNOWN

zChaff minisat SatELite
TimeOut 232.798 10.0855

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb49.1350.870.0013.8411.2900 00 022550.004999UNKNOWN

zChaff minisat SatELite
TimeOut 232.798 10.0855

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

zChaff minisat SatELite
TimeOut 232.798 10.0855

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

zChaff minisat SatELite
TimeOut 232.798 10.0855

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

zChaff minisat SatELite
TimeOut 232.798 10.0855

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

zChaff minisat SatELite
TimeOut 232.798 10.0855