| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 5295 | 20324 | 78.50 | 73.41 | 80.93 | 9.15 | 14.70 |
|---|
| zChaff | minisat | SatELite |
| 0.038995 |
0.021996 |
0.345947 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.91 | 73.70 | 80.45 | 10.78 | 16.15 | 1 | 770 | 4 | 770 | 4 | 1792595 | 1.09883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.042994 |
0.025996 |
0.316951 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.71 | 73.48 | 81.09 | 10.38 | 16.66 | 0 | 53 | 0 | 53 | 0 | 337403 | 0.215967 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.037995 |
0.017997 |
0.32495 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.65 | 73.54 | 81.15 | 10.44 | 16.66 | 0 | 53 | 0 | 53 | 0 | 239838 | 0.160975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.037995 |
0.019996 |
0.321951 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.66 | 73.50 | 81.10 | 10.44 | 16.65 | 0 | 41 | 0 | 41 | 0 | 183605 | 0.124981 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.037993 |
0.020996 |
0.320951 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.21 | 74.05 | 80.72 | 10.63 | 15.93 | 1 | 502 | 2 | 502 | 2 | 1491759 | 0.91986 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.035994 |
0.017997 |
0.32695 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.71 | 73.48 | 81.09 | 10.38 | 16.66 | 0 | 53 | 0 | 53 | 0 | 322005 | 0.207968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.037994 |
0.017997 |
0.32295 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.65 | 73.54 | 81.15 | 10.44 | 16.66 | 0 | 53 | 0 | 53 | 0 | 239680 | 0.154976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.036995 |
0.018997 |
0.32495 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.66 | 73.50 | 81.10 | 10.44 | 16.65 | 0 | 41 | 0 | 41 | 0 | 183605 | 0.12798 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.037994 |
0.020996 |
0.32395 |