5pipe_3_ooo.shuffled.cnf

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


zChaff minisat SatELite
43.5354 193.975 647.647

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc69.0366.5278.0520.4923.09049259234925923192999775793.004UNKNOWN

zChaff minisat SatELite
39.732 725.866 1359.05

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn75.1665.6382.1316.3225.90011234 511234 547997706217.437UNKNOWN

zChaff minisat SatELite
46.11 598.71 929.408

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb71.4567.3383.0220.4424.630672 0672 0699466228.8156UNKNOWN

zChaff minisat SatELite
42.0116 573.599 683.749

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb71.4667.3383.0120.4424.630654 0654 0564514725.6531UNKNOWN

zChaff minisat SatELite
46.341 1264.99 995.023

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw71.2967.4182.8620.5324.4802370 12370 11195053248.5496UNKNOWN

zChaff minisat SatELite
42.0826 159.998 448.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn71.5167.3082.9920.3724.650805 0805 0607195127.6758UNKNOWN

zChaff minisat SatELite
47.5488 148.56 795.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb71.4567.3383.0020.4424.620630 0630 0623890025.9591UNKNOWN

zChaff minisat SatELite
46.5129 534.842 874.171

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb71.4567.3383.0020.4424.620628 0628 0522723523.8974UNKNOWN

zChaff minisat SatELite
51.8891 358.155 850.551