| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 5600 | 16661 | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 |
|---|
| zChaff | minisat | SatELite |
| 10.0235 |
2.19567 |
7.54085 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.02 | 65.49 | 61.33 | 20.17 | 20.21 | 0 | 1816 | 11 | 1816 | 11 | 7578575 | 4.51531 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.8284 |
1.64975 |
6.587 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 65.13 | 68.43 | 64.57 | 21.30 | 18.46 | 0 | 457 | 3 | 457 | 3 | 2618435 | 1.57576 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9.8535 |
1.91371 |
9.1936 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 2911263 | 1.81072 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.0235 |
2.19567 |
7.54085 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 1443248 | 0.91486 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.0235 |
2.19567 |
7.54085 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.17 | 65.56 | 61.87 | 20.22 | 20.34 | 0 | 1603 | 10 | 1603 | 10 | 6995507 | 4.15937 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 17.1994 |
2.89656 |
5.87511 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 65.26 | 68.16 | 64.71 | 21.22 | 18.79 | 0 | 393 | 2 | 393 | 2 | 2418794 | 1.46278 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.4744 |
1.9587 |
9.61454 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 2829358 | 1.76673 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.0235 |
2.19567 |
7.54085 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 1382764 | 0.864868 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.0235 |
2.19567 |
7.54085 |