lksat-n1100-m4103-k3-l5-s55972467.used-as.sat04-935.cnf

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


zChaff minisat SatELite
33.7779 5.73513 18.1952

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.1950.810.0012.4112.111266 266 2143640.014997UNKNOWN

zChaff minisat SatELite
33.9358 4.5833 20.6729

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn48.7451.260.0012.5012.011230 130 170260.007998UNKNOWN

zChaff minisat SatELite
33.2929 4.81027 28.3337

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.1950.810.0012.4112.111266 266 2143640.015997UNKNOWN

zChaff minisat SatELite
35.2316 4.6003 20.8938

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb48.7451.260.0012.5012.011230 130 170260.008998UNKNOWN

zChaff minisat SatELite
32.911 4.49332 31.0263

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

zChaff minisat SatELite
33.7779 5.73513 18.1952

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

zChaff minisat SatELite
33.7779 5.73513 18.1952

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

zChaff minisat SatELite
33.7779 5.73513 18.1952

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

zChaff minisat SatELite
33.7779 5.73513 18.1952