4col140_9_3.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 1914.2 7597.27

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.5131.510.246.576.6500 00 0100860.025996UNKNOWN

zChaff minisat SatELite
TimeOut 1914.2 7597.27

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.5131.510.246.576.6500 00 069200.018997UNKNOWN

zChaff minisat SatELite
TimeOut 1914.2 7597.27

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.5131.510.246.576.6500 00 0100800.026995UNKNOWN

zChaff minisat SatELite
TimeOut 1914.2 7597.27

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.5131.510.246.576.6500 00 069200.017997UNKNOWN

zChaff minisat SatELite
TimeOut 1914.2 7597.27

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

zChaff minisat SatELite
TimeOut 1914.2 7597.27

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

zChaff minisat SatELite
TimeOut 1914.2 7597.27

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

zChaff minisat SatELite
TimeOut 1914.2 7597.27

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

zChaff minisat SatELite
TimeOut 1914.2 7597.27