satellite1_v01i.shuffled-as.sat05-4053.cnf

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


zChaff minisat SatELite
0.001999 0.006998 0.177972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc70.6074.1895.5825.8722.0601301171301176726210.604908UNKNOWN

zChaff minisat SatELite
0.005999 0.006998 0.201969

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn69.4277.8596.0427.4718.920273 4273 41745020.159975UNKNOWN

zChaff minisat SatELite
0.001 0.004999 0.238963

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb70.5675.1596.3326.5021.73028 028 0262150.028995UNKNOWN

zChaff minisat SatELite
0.003 0.008998 0.26196

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb70.4675.2096.1926.5321.70017 017 0234320.022996UNKNOWN

zChaff minisat SatELite
0.001 0.006998 0.263959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw70.7375.0096.3126.3221.86072 172 1548810.054991UNKNOWN

zChaff minisat SatELite
0.003 0.003999 0.235964

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn70.4675.2196.1926.5321.69018 018 0314280.030995UNKNOWN

zChaff minisat SatELite
0.000999 0.006998 0.293955

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb70.5675.1596.3326.5021.73028 028 0262150.025996UNKNOWN

zChaff minisat SatELite
0.002 0.004999 0.25796

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb70.4675.2096.1926.5321.70017 017 0234320.021996UNKNOWN

zChaff minisat SatELite
0.001 0.006998 0.26096