lksat-n900-m3357-k3-l5-s241765501.used-as.sat04-936.cnf

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


zChaff minisat SatELite
0.447932 0.373943 32.568

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.4749.530.0012.0012.66664 264 2118540.013997UNKNOWN

zChaff minisat SatELite
0.116983 1.89871 5.00024

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.9249.080.0011.8612.82634 134 158420.008998UNKNOWN

zChaff minisat SatELite
1.64875 1.12483 11.5662

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.4749.530.0012.0012.66664 264 2118540.013997UNKNOWN

zChaff minisat SatELite
0.109984 1.89571 5.02424

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.9249.080.0011.8612.82634 134 158420.007998UNKNOWN

zChaff minisat SatELite
1.63975 1.12283 11.5582

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

zChaff minisat SatELite
0.447932 0.373943 32.568

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

zChaff minisat SatELite
0.447932 0.373943 32.568

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

zChaff minisat SatELite
0.447932 0.373943 32.568

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

zChaff minisat SatELite
0.447932 0.373943 32.568