ip25.shuffled.cnf

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


zChaff minisat SatELite
25.9481 6.49901 8.19575

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.4667.1877.4921.4321.770917 1917 11872120526.186UNKNOWN

zChaff minisat SatELite
36.2825 4.47032 8.5757

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.6767.1277.5921.2921.870257 0257 061952398.41272UNKNOWN

zChaff minisat SatELite
39.48 6.72798 11.9242

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.5267.2177.6721.4621.82097 097 039454785.03923UNKNOWN

zChaff minisat SatELite
28.4767 5.96809 6.79397

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.5467.1877.6321.4521.83053 053 025126603.40148UNKNOWN

zChaff minisat SatELite
26.7099 6.83896 9.93549

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.4667.1877.4921.4321.780911 1911 11554123121.7827UNKNOWN

zChaff minisat SatELite
49.1595 4.51131 8.45371

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.6767.1277.5921.2921.870257 0257 054089307.27989UNKNOWN

zChaff minisat SatELite
39.724 6.73198 11.2293

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.5267.2177.6721.4621.82097 097 039454785.51116UNKNOWN

zChaff minisat SatELite
29.0106 5.78212 6.94094

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.5467.1877.6321.4521.83053 053 025126603.37349UNKNOWN

zChaff minisat SatELite
26.7549 6.57 10.0685