f3-b11-s0-10.cnf

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


zChaff minisat SatELite
1814.3 58.0112 260.512

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

zChaff minisat SatELite
1420.43 146.186 119.339

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn46.5141.848.7510.9611.830772 7772 77747560.735888UNKNOWN

zChaff minisat SatELite
95.6715 62.2725 119.255

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

zChaff minisat SatELite
1486.86 137.423 111.469

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb46.5141.848.7510.9611.830772 7772 77697180.710891UNKNOWN

zChaff minisat SatELite
96.1154 58.5751 119.475

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw43.1943.008.1411.2611.00048 048 01364240.153976UNKNOWN

zChaff minisat SatELite
1888.75 58.875 266.683

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn43.2342.978.1311.2510.99040 040 01004240.106983UNKNOWN

zChaff minisat SatELite
1884.8 59.6399 262.037

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb43.1943.008.1411.2611.00048 048 01364240.138978UNKNOWN

zChaff minisat SatELite
1865.27 59.489 262.705

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb43.2342.978.1311.2510.99040 040 01004240.100984UNKNOWN

zChaff minisat SatELite
1869.16 58.929 267.157