clqcolor-08-05-06.shuffled-as.sat05-1249.cnf

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


zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc61.7642.1910.778.7121.7200 00 0121480.018997UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn61.7642.1910.778.7121.7200 00 044340.005999UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb61.7642.1910.778.7121.7200 00 0114280.015997UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb61.7642.1910.778.7121.7200 00 042900.006998UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw61.7642.1910.778.7121.7200 00 0480.000999UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn61.7642.1910.778.7121.7200 00 0480.001999UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb61.7642.1910.778.7121.7200 00 0480.001999UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb61.7642.1910.778.7121.7200 00 0480.001999UNKNOWN

zChaff minisat SatELite
8.11277 122.096 1546.97