3col240_5_7.shuffled.cnf

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


zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc37.5935.5312.027.977.7700 00 089000.011998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn37.5935.5312.027.977.7700 00 058040.006998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb37.5935.5312.027.977.7700 00 084100.010998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb37.5935.5312.027.977.7700 00 056800.006998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw37.5935.5312.027.977.7700 00 084120.009998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn37.5935.5312.027.977.7700 00 056800.007998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb37.5935.5312.027.977.7700 00 084100.010998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb37.5935.5312.027.977.7700 00 056800.008998UNKNOWN

zChaff minisat SatELite
96.4663 0.513921 4.53931