5col120_15_9.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 691.09 5311.65

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc12.1714.980.182.962.4004 04 0312850.148977UNKNOWN

zChaff minisat SatELite
TimeOut 703.712 5717.75

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn12.1715.000.182.962.4003 03 0270570.12898UNKNOWN

zChaff minisat SatELite
TimeOut 736.586 5632.58

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb12.1714.980.182.962.4004 04 0312760.148977UNKNOWN

zChaff minisat SatELite
TimeOut 705.061 5334.23

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb12.1715.000.182.962.4003 03 0270570.13098UNKNOWN

zChaff minisat SatELite
TimeOut 693.445 5510.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw12.1614.990.182.962.4000 00 000.004999UNKNOWN

zChaff minisat SatELite
TimeOut 691.09 5311.65

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn12.1614.990.182.962.4000 00 000.003999UNKNOWN

zChaff minisat SatELite
TimeOut 691.09 5311.65

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb12.1614.990.182.962.4000 00 000.004999UNKNOWN

zChaff minisat SatELite
TimeOut 691.09 5311.65

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb12.1614.990.182.962.4000 00 000.004999UNKNOWN

zChaff minisat SatELite
TimeOut 691.09 5311.65