3col280_5_10.shuffled.cnf

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


zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592

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

zChaff minisat SatELite
720.63 9.07062 51.2592