| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 160873 | 668034 | 81.33 | 77.30 | 77.92 | 5.73 | 9.49 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4035.72 |
2877.51 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.20 | 75.97 | 76.20 | 6.09 | 10.06 | 3 | 58328 | 9 | 58328 | 9 | 207724329 | 172.479 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5096.73 |
3714.45 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.91 | 77.46 | 78.11 | 5.47 | 9.69 | 0 | 4733 | 1 | 4733 | 1 | 50055824 | 40.1459 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6324.08 |
4099.39 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.62 | 77.55 | 78.20 | 5.82 | 9.65 | 0 | 2405 | 0 | 2405 | 0 | 30847431 | 24.6443 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5782.49 |
5505.93 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.62 | 77.54 | 78.19 | 5.82 | 9.65 | 0 | 2315 | 0 | 2315 | 0 | 27629463 | 22.3476 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5534.54 |
3796.42 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.39 | 77.48 | 77.55 | 5.68 | 9.35 | 3 | 21581 | 3 | 21581 | 3 | 153954032 | 125.26 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4202.16 |
3121.35 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.91 | 77.46 | 78.11 | 5.47 | 9.69 | 0 | 4733 | 1 | 4733 | 1 | 49865613 | 38.1562 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5782.1 |
4017.92 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.62 | 77.55 | 78.20 | 5.82 | 9.65 | 0 | 2405 | 0 | 2405 | 0 | 30847431 | 26.029 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5927.94 |
5170.69 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.62 | 77.54 | 78.19 | 5.82 | 9.65 | 0 | 2315 | 0 | 2315 | 0 | 27629463 | 22.3236 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5655.36 |
3738.34 |