| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2843 | 22558 | 70.40 | 71.48 | 93.19 | 24.51 | 23.33 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
607.079 |
603.607 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 70.30 | 71.42 | 93.09 | 24.52 | 23.30 | 0 | 437 | 2 | 437 | 2 | 756495 | 0.531919 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
237.1 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 70.24 | 71.87 | 93.17 | 24.64 | 22.93 | 0 | 122 | 1 | 122 | 1 | 191918 | 0.144977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
161.14 |
8390.57 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 70.41 | 71.49 | 93.22 | 24.51 | 23.33 | 0 | 8 | 0 | 8 | 0 | 11941 | 0.025996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
442.174 |
120.16 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 70.40 | 71.49 | 93.21 | 24.51 | 23.33 | 0 | 5 | 0 | 5 | 0 | 10085 | 0.014997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2259.14 |
3487.14 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 70.39 | 71.49 | 93.21 | 24.52 | 23.32 | 0 | 45 | 0 | 45 | 0 | 43756 | 0.044993 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
989.156 |
2250.38 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 70.39 | 71.53 | 93.20 | 24.52 | 23.29 | 0 | 15 | 0 | 15 | 0 | 17382 | 0.024996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
180.875 |
573.04 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 70.41 | 71.49 | 93.22 | 24.51 | 23.33 | 0 | 8 | 0 | 8 | 0 | 11941 | 0.020996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
431.064 |
127.945 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 70.40 | 71.49 | 93.21 | 24.51 | 23.33 | 0 | 5 | 0 | 5 | 0 | 10085 | 0.016997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2439.45 |
3549.35 |