| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 360 | 4869 | 12.16 | 14.99 | 0.18 | 2.88 | 2.30 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
691.09 |
5311.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 12.17 | 14.98 | 0.18 | 2.96 | 2.40 | 0 | 4 | 0 | 4 | 0 | 31285 | 0.148977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
703.712 |
5717.75 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 12.17 | 15.00 | 0.18 | 2.96 | 2.40 | 0 | 3 | 0 | 3 | 0 | 27057 | 0.12898 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
736.586 |
5632.58 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 12.17 | 14.98 | 0.18 | 2.96 | 2.40 | 0 | 4 | 0 | 4 | 0 | 31276 | 0.148977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
705.061 |
5334.23 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 12.17 | 15.00 | 0.18 | 2.96 | 2.40 | 0 | 3 | 0 | 3 | 0 | 27057 | 0.13098 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
693.445 |
5510.77 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
691.09 |
5311.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
691.09 |
5311.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
691.09 |
5311.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 12.16 | 14.99 | 0.18 | 2.96 | 2.40 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
691.09 |
5311.65 |