rand_net60-30-5.miter.shuffled.cnf

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


zChaff minisat SatELite
1334.19 41.1587 131.014

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc65.7965.3363.0621.0520.290608 6608 632782121.80472UNKNOWN

zChaff minisat SatELite
942.15 11.0053 173.976

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.2165.4264.5720.1720.790178 2178 211270280.624905UNKNOWN

zChaff minisat SatELite
1067.01 35.1247 110.028

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb66.0966.0065.1621.5020.4500 00 011141930.628904UNKNOWN

zChaff minisat SatELite
1334.19 41.1587 131.014

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb66.0966.0065.1621.5020.4500 00 05401710.303953UNKNOWN

zChaff minisat SatELite
1334.19 41.1587 131.014

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw65.8165.4863.4021.1520.280514 5514 530276691.66775UNKNOWN

zChaff minisat SatELite
555.132 27.0059 63.0024

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.0265.5264.6720.3920.730148 1148 110495070.58791UNKNOWN

zChaff minisat SatELite
614.756 25.6031 130.23

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb66.0966.0065.1621.5020.4500 00 010952930.626904UNKNOWN

zChaff minisat SatELite
1334.19 41.1587 131.014

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb66.0966.0065.1621.5020.4500 00 05333370.301954UNKNOWN

zChaff minisat SatELite
1334.19 41.1587 131.014