lksat-n1000-m3730-k3-l5-s1682954997.used-as.sat04-930.cnf

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


zChaff minisat SatELite
8943.4 217.696 758.245

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.2449.760.0012.6411.94952 152 1130870.013997UNKNOWN

zChaff minisat SatELite
9097.6 137.346 1067.37

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.5749.430.0012.5612.07928 128 164810.007998UNKNOWN

zChaff minisat SatELite
9128.6 229.456 952.69

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.2449.760.0012.6411.94952 152 1130870.013997UNKNOWN

zChaff minisat SatELite
9296.01 138.784 1053.03

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.5749.430.0012.5612.07928 128 164810.008998UNKNOWN

zChaff minisat SatELite
8821.99 218.826 952.147

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

zChaff minisat SatELite
8943.4 217.696 758.245

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

zChaff minisat SatELite
8943.4 217.696 758.245

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

zChaff minisat SatELite
8943.4 217.696 758.245

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

zChaff minisat SatELite
8943.4 217.696 758.245