f17-b11-s0-10.cnf

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


zChaff minisat SatELite
68.3116 7.67883 212.204

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.2267.1970.3421.0721.20015778 415778 4129752224225.823UNKNOWN

zChaff minisat SatELite
31.6812 9.57954 200.506

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.2866.9370.8920.3921.5504823 14823 14423980277.7422UNKNOWN

zChaff minisat SatELite
23.0645 9.62754 199.604

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.5267.4971.4321.2121.3502893 12893 14398737580.4968UNKNOWN

zChaff minisat SatELite
83.4663 8.12776 199.036

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.6467.2371.1621.1321.3501544 01544 02253967039.641UNKNOWN

zChaff minisat SatELite
65.977 8.40872 199.718

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.2967.2570.5521.0921.25013384 413384 4124499606214.201UNKNOWN

zChaff minisat SatELite
65.3171 9.47856 197.767

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.1866.9870.9320.5121.5204300 14300 14282561774.2207UNKNOWN

zChaff minisat SatELite
48.0617 8.43272 204.486

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.5267.4971.4321.2121.3502893 12893 14398638677.8142UNKNOWN

zChaff minisat SatELite
83.5153 8.12976 199.031

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.6467.2371.1621.1321.3501544 01544 02253967039.73UNKNOWN

zChaff minisat SatELite
66.059 8.46871 199.69