variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
42467 | 171282 | 78.14 | 72.01 | 80.66 | 8.25 | 16.34 |
---|
zChaff | minisat | SatELite |
9.72152 |
1.35979 |
10.4164 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 77.44 | 72.27 | 80.08 | 8.87 | 16.07 | 1 | 7414 | 4 | 7414 | 4 | 20347527 | 18.0323 | UNKNOWN |
---|
zChaff | minisat | SatELite |
12.5011 |
6.68898 |
21.4927 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 78.43 | 72.09 | 80.82 | 8.47 | 16.67 | 0 | 633 | 0 | 633 | 0 | 3897592 | 3.50547 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8.18076 |
6.64099 |
26.017 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 78.27 | 72.16 | 80.88 | 8.60 | 16.65 | 0 | 480 | 0 | 480 | 0 | 2814631 | 2.57661 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.4314 |
2.6406 |
7.53485 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 78.32 | 72.13 | 80.85 | 8.59 | 16.64 | 0 | 401 | 0 | 401 | 0 | 2229032 | 1.9987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
14.3668 |
11.1023 |
16.5895 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 77.82 | 72.73 | 80.41 | 8.72 | 15.80 | 1 | 4635 | 3 | 4635 | 3 | 17295011 | 15.3567 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.2634 |
2.14467 |
28.9006 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 78.43 | 72.09 | 80.82 | 8.47 | 16.67 | 0 | 633 | 0 | 633 | 0 | 3756364 | 3.40148 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8.10477 |
6.70898 |
25.9261 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 78.27 | 72.16 | 80.88 | 8.60 | 16.65 | 0 | 480 | 0 | 480 | 0 | 2812793 | 2.52462 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.5334 |
2.6196 |
7.56785 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 78.32 | 72.13 | 80.85 | 8.59 | 16.64 | 0 | 401 | 0 | 401 | 0 | 2229032 | 2.01469 | UNKNOWN |
---|
zChaff | minisat | SatELite |
14.3578 |
11.1153 |
16.5835 |