manol-pipe-c8_i.cnf

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


zChaff minisat SatELite
10.0475 19.1611 119.2

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc79.3171.2366.385.6715.4601369 31369 350114142.06269UNKNOWN

zChaff minisat SatELite
9.78851 9.12761 59.8499

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn79.9170.5066.935.5116.150166 0166 08510390.353946UNKNOWN

zChaff minisat SatELite
9.49656 25.0172 251.512

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb79.8270.8067.225.5416.220341 1341 116485590.684895UNKNOWN

zChaff minisat SatELite
10.5374 12.3161 42.8125

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb79.9070.5066.935.5116.150164 0164 08357690.352946UNKNOWN

zChaff minisat SatELite
8.93264 12.7151 267.918

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw79.3971.3166.525.6515.4401201 31201 342169451.66975UNKNOWN

zChaff minisat SatELite
10.2014 13.7169 34.9597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn79.9170.5066.935.5116.150166 0166 08510390.349946UNKNOWN

zChaff minisat SatELite
9.61954 25.1032 271.192

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb79.8270.8067.225.5416.220341 1341 116485590.662899UNKNOWN

zChaff minisat SatELite
10.6114 12.2821 40.7368

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb79.9070.5066.935.5116.150164 0164 08357690.355945UNKNOWN

zChaff minisat SatELite
9.36658 12.3601 271.517