qg7-11.shuffled.cnf

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


zChaff minisat SatELite
0.345947 0.096985 0.553915

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

zChaff minisat SatELite
0.515921 0.131979 0.801878

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

zChaff minisat SatELite
0.448931 0.119981 0.541917

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

zChaff minisat SatELite
0.408938 0.149977 0.677896

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

zChaff minisat SatELite
0.352946 0.121981 0.510922

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

zChaff minisat SatELite
0.405938 0.152976 0.678896

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

zChaff minisat SatELite
0.465928 0.12698 0.536918

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

zChaff minisat SatELite
0.413937 0.148977 0.679896

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

zChaff minisat SatELite
0.354946 0.124981 0.545917