3col300_5_2.shuffled.cnf

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


zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.1536.9711.977.828.2600 00 0110870.013997UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.1536.9711.977.828.2600 00 072940.009998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb36.1536.9711.977.828.2600 00 0104770.011998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.1536.9711.977.828.2600 00 071340.009998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.1536.9711.977.828.2600 00 0104790.013997UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.1536.9711.977.828.2600 00 071340.008998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb36.1536.9711.977.828.2600 00 0104770.012998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.1536.9711.977.828.2600 00 071340.008998UNKNOWN

zChaff minisat SatELite
5721.98 43.2174 6.563