IBM_FV_2004_rule_batch_29_SAT_dat.k30.cnf

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


zChaff minisat SatELite
635.559 986.896 84.0382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc78.1674.1872.648.919.8416653 76653 7117510679.65853UNKNOWN

zChaff minisat SatELite
1178.6 514.984 951.531

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn79.7474.2674.368.1710.750706 1706 118583751.57076UNKNOWN

zChaff minisat SatELite
2262.27 794.787 3328.7

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb79.1874.4774.578.8110.68094 094 014681821.23881UNKNOWN

zChaff minisat SatELite
1048.64 273.68 9229.01

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb79.1974.4474.548.8110.68057 057 09956280.85187UNKNOWN

zChaff minisat SatELite
1326.4 313.305 7689.65

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw78.8074.9873.458.689.5513896 43896 482635146.64799UNKNOWN

zChaff minisat SatELite
1400.09 1366.14 2695.22

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn79.7274.2774.338.2010.750678 1678 118543001.46678UNKNOWN

zChaff minisat SatELite
741.947 2303.92 3595.67

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb79.1674.4874.548.8410.68066 066 014608251.23081UNKNOWN

zChaff minisat SatELite
3668.94 362.241 3455.8

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb79.1674.4574.518.8410.68029 029 09917290.856869UNKNOWN

zChaff minisat SatELite
2173.52 956.595 TimeOut