f15-b2-s2-0.cnf

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


zChaff minisat SatELite
TimeOut 516.366 794.85

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

zChaff minisat SatELite
2287.73 334.073 261.704

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn69.3366.0680.4919.3222.59012909 312909 350531303100.14UNKNOWN

zChaff minisat SatELite
8891.1 257.937 575.303

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.3067.1081.1221.6821.930979 0979 02366202747.7457UNKNOWN

zChaff minisat SatELite
TimeOut 452.949 556.984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.3267.0481.0521.6621.940609 0609 01616690934.0078UNKNOWN

zChaff minisat SatELite
3969.27 369.695 441.523

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw66.8266.7580.1321.5721.70022217 522217 5102005312209.559UNKNOWN

zChaff minisat SatELite
4456.24 378.889 316.324

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.1466.6480.8220.7022.2005709 15709 13637274777.2203UNKNOWN

zChaff minisat SatELite
2880.15 155.707 293.828

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.3067.1081.1221.6821.930979 0979 02366202751.0452UNKNOWN

zChaff minisat SatELite
TimeOut 483.392 549.231

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.3267.0481.0521.6621.940609 0609 01616690933.3289UNKNOWN

zChaff minisat SatELite
4028.04 371.516 469.283