variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
36593 | 186995 | 81.05 | 79.01 | 76.95 | 9.25 | 5.92 |
---|
zChaff | minisat | SatELite |
29.3155 |
26.6749 |
28.9176 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 81.06 | 77.76 | 75.25 | 8.52 | 6.18 | 0 | 12850 | 7 | 12850 | 7 | 25127722 | 20.2439 | UNKNOWN |
---|
zChaff | minisat | SatELite |
111.21 |
14.3868 |
97.3642 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.20 | 78.72 | 76.63 | 7.96 | 6.12 | 0 | 2618 | 1 | 2618 | 1 | 3879686 | 2.95355 | UNKNOWN |
---|
zChaff | minisat | SatELite |
205.983 |
28.0817 |
71.2732 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.05 | 79.01 | 76.95 | 9.25 | 6.04 | 0 | 0 | 0 | 0 | 0 | 2551440 | 2.07568 | UNKNOWN |
---|
zChaff | minisat | SatELite |
29.3155 |
26.6749 |
28.9176 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.05 | 79.01 | 76.95 | 9.25 | 6.04 | 0 | 0 | 0 | 0 | 0 | 1876381 | 1.51677 | UNKNOWN |
---|
zChaff | minisat | SatELite |
29.3155 |
26.6749 |
28.9176 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.81 | 78.63 | 76.13 | 8.14 | 5.88 | 0 | 6484 | 3 | 6484 | 3 | 10674728 | 8.38772 | UNKNOWN |
---|
zChaff | minisat | SatELite |
27.2109 |
18.4922 |
36.7294 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.19 | 78.72 | 76.63 | 7.97 | 6.12 | 0 | 2606 | 1 | 2606 | 1 | 3843551 | 2.84957 | UNKNOWN |
---|
zChaff | minisat | SatELite |
64.8461 |
28.1247 |
66.6739 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.05 | 79.01 | 76.95 | 9.25 | 6.04 | 0 | 0 | 0 | 0 | 0 | 2509603 | 1.91671 | UNKNOWN |
---|
zChaff | minisat | SatELite |
29.3155 |
26.6749 |
28.9176 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.05 | 79.01 | 76.95 | 9.25 | 6.04 | 0 | 0 | 0 | 0 | 0 | 1859566 | 1.51077 | UNKNOWN |
---|
zChaff | minisat | SatELite |
29.3155 |
26.6749 |
28.9176 |