Composite-024BitPrimes-1.used-as.sat04-861.cnf

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


zChaff minisat SatELite
2004 1776.98 514.56

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc32.5116.906.530.230.480538 5538 51481100.440932UNKNOWN

zChaff minisat SatELite
024 259.33 758.767

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.7220.8410.960.220.4609 09 01033400.297954UNKNOWN

zChaff minisat SatELite
TimeOut 1740.73 502.896

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.7220.8410.960.220.4609 09 01250170.417936UNKNOWN

zChaff minisat SatELite
TimeOut 1719.22 539.12

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.7220.8410.960.220.4609 09 01033400.296954UNKNOWN

zChaff minisat SatELite
TimeOut 1792.74 509.094

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.7120.8510.960.220.4608 08 0722380.385941UNKNOWN

zChaff minisat SatELite
TimeOut 1728.34 499.855

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.7120.8510.960.220.4608 08 0504800.266959UNKNOWN

zChaff minisat SatELite
TimeOut 1740.44 502.536

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.7120.8510.960.220.4608 08 0721060.383941UNKNOWN

zChaff minisat SatELite
TimeOut 1782.33 505.655

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.7120.8510.960.220.4608 08 0504800.267959UNKNOWN

zChaff minisat SatELite
TimeOut 1824.39 508.611