| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1000 | 43900 | 57.87 | 57.86 | 31.66 | 16.67 | 15.43 |
|---|
| zChaff | minisat | SatELite |
| 0.025997 |
0.035994 |
0.253961 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 58.90 | 61.25 | 42.94 | 19.11 | 16.12 | 0 | 25387 | 58 | 25387 | 58 | 2295435 | 6.84396 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.039994 |
0.030995 |
0.209968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.58 | 42.10 | 39.70 | 11.68 | 21.73 | 0 | 11978 | 27 | 11978 | 27 | 1102051 | 4.30734 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.044993 |
0.033994 |
0.202969 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 63.50 | 64.80 | 56.82 | 20.39 | 18.69 | 0 | 19437 | 44 | 19437 | 44 | 1834220 | 5.98009 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.046993 |
0.023996 |
0.154976 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 77.76 | 43.44 | 42.54 | 14.67 | 21.23 | 0 | 11227 | 26 | 11227 | 26 | 969359 | 3.65944 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.038994 |
0.029995 |
0.198969 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 63.49 | 64.79 | 56.80 | 20.38 | 18.67 | 0 | 19447 | 44 | 19447 | 44 | 1849727 | 5.9351 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.046992 |
0.026995 |
0.151976 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 77.17 | 43.85 | 42.10 | 14.75 | 21.07 | 0 | 10979 | 25 | 10979 | 25 | 1032196 | 3.9584 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.044994 |
0.029995 |
0.213967 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 63.50 | 64.80 | 56.82 | 20.39 | 18.69 | 0 | 19437 | 44 | 19437 | 44 | 1834220 | 5.98609 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.046992 |
0.026995 |
0.153976 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 77.76 | 43.44 | 42.54 | 14.67 | 21.23 | 0 | 11227 | 26 | 11227 | 26 | 969359 | 3.82942 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.039994 |
0.032994 |
0.19697 |