| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 212543 | 845710 | 82.28 | 77.88 | 76.34 | 4.29 | 8.42 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1463.72 |
335.41 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.43 | 76.31 | 73.59 | 4.84 | 8.80 | 2 | 100781 | 12 | 100781 | 12 | 156767041 | 139.837 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1114.31 |
549.393 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.76 | 78.15 | 76.61 | 4.20 | 8.66 | 0 | 4827 | 1 | 4827 | 1 | 22445529 | 20.6569 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
730.598 |
643.552 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.61 | 78.18 | 76.65 | 4.36 | 8.64 | 0 | 3372 | 0 | 3372 | 0 | 15173951 | 15.2467 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1292.51 |
908.808 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.61 | 78.18 | 76.65 | 4.36 | 8.64 | 0 | 3371 | 0 | 3371 | 0 | 13034820 | 12.4331 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1228.81 |
887.999 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.12 | 78.38 | 75.76 | 4.37 | 7.95 | 2 | 34130 | 4 | 34130 | 4 | 77113381 | 72.041 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
899.411 |
715.018 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.76 | 78.15 | 76.61 | 4.20 | 8.66 | 0 | 4827 | 1 | 4827 | 1 | 22284362 | 21.0238 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
776.091 |
644.743 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.61 | 78.18 | 76.65 | 4.36 | 8.64 | 0 | 3372 | 0 | 3372 | 0 | 15166981 | 14.4218 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1195.27 |
935.919 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.61 | 78.18 | 76.65 | 4.36 | 8.64 | 0 | 3371 | 0 | 3371 | 0 | 13033393 | 12.3971 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1264.11 |
884.575 |