| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1024 | 11657 | 64.69 | 66.11 | 63.76 | 20.81 | 19.66 |
|---|
| zChaff | minisat | SatELite |
| 2.97355 |
0.145977 |
1.03484 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 445346 | 0.365944 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.81742 |
0.146977 |
1.05184 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 159700 | 0.131979 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.84542 |
0.143978 |
1.04784 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.178972 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.53946 |
0.157975 |
1.04784 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.083987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.88641 |
0.142978 |
1.05784 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 214916 | 0.179972 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.58845 |
0.143978 |
1.04784 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 103843 | 0.086986 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.84042 |
0.139978 |
1.02684 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.174973 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.60345 |
0.153976 |
1.03684 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.085986 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.84142 |
0.143978 |
1.02784 |