| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 215473 | 895209 | 81.32 | 77.27 | 77.90 | 5.73 | 9.50 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.19 | 75.94 | 76.18 | 6.07 | 10.04 | 3 | 78078 | 9 | 78078 | 9 | 325037979 | 263.142 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
6647 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.90 | 77.44 | 78.09 | 5.46 | 9.66 | 0 | 6346 | 1 | 6346 | 1 | 82226217 | 70.7452 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
8788.44 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.61 | 77.53 | 78.18 | 5.81 | 9.63 | 0 | 3205 | 0 | 3205 | 0 | 50506906 | 42.1406 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.60 | 77.52 | 78.17 | 5.80 | 9.63 | 0 | 3103 | 0 | 3103 | 0 | 45900731 | 39.491 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.38 | 77.45 | 77.53 | 5.66 | 9.32 | 3 | 28931 | 3 | 28931 | 3 | 249657632 | 199.359 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.90 | 77.44 | 78.09 | 5.46 | 9.66 | 0 | 6346 | 1 | 6346 | 1 | 81907956 | 67.2968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
8935.33 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.61 | 77.53 | 78.18 | 5.81 | 9.63 | 0 | 3205 | 0 | 3205 | 0 | 50506906 | 45.1841 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.60 | 77.52 | 78.17 | 5.80 | 9.63 | 0 | 3103 | 0 | 3103 | 0 | 45900731 | 38.0272 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |