| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 134650 | 529456 | 81.14 | 77.25 | 77.25 | 7.54 | 8.94 |
|---|
| zChaff | minisat | SatELite |
| 0.13198 |
0.419936 |
14.6818 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.07 | 75.73 | 75.60 | 8.02 | 9.69 | 4 | 41074 | 8 | 41074 | 8 | 59362824 | 43.8843 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
58.2891 |
102.685 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.61 | 77.25 | 77.33 | 7.35 | 9.20 | 0 | 3044 | 1 | 3044 | 1 | 11142146 | 8.72267 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1554.57 |
17.8963 |
167.456 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.31 | 77.35 | 77.44 | 7.68 | 9.17 | 0 | 1315 | 0 | 1315 | 0 | 7592802 | 6.39103 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5078.23 |
2.01969 |
17.0804 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.32 | 77.33 | 77.41 | 7.68 | 9.17 | 0 | 1141 | 0 | 1141 | 0 | 5931329 | 4.49132 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3347.35 |
2.02969 |
17.2424 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.18 | 77.06 | 76.93 | 7.57 | 9.17 | 1 | 12935 | 2 | 12935 | 2 | 38523683 | 29.8465 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4675.8 |
21.1178 |
37.8522 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.61 | 77.25 | 77.33 | 7.35 | 9.20 | 0 | 3044 | 1 | 3044 | 1 | 11142140 | 9.31358 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1513.16 |
16.4745 |
183.841 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.31 | 77.35 | 77.44 | 7.68 | 9.17 | 0 | 1315 | 0 | 1315 | 0 | 7592802 | 6.52801 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5106.74 |
1.86572 |
17.2184 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.32 | 77.33 | 77.41 | 7.68 | 9.17 | 0 | 1141 | 0 | 1141 | 0 | 5931329 | 4.99624 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3327.56 |
1.85172 |
17.8083 |