variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
215473 | 895209 | 81.32 | 77.27 | 77.90 | 5.73 | 9.50 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.19 | 75.94 | 76.18 | 6.07 | 10.04 | 3 | 78078 | 9 | 78078 | 9 | 325037979 | 263.142 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
6647 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 81.90 | 77.44 | 78.09 | 5.46 | 9.66 | 0 | 6346 | 1 | 6346 | 1 | 82226217 | 70.7452 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8788.44 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.61 | 77.53 | 78.18 | 5.81 | 9.63 | 0 | 3205 | 0 | 3205 | 0 | 50506906 | 42.1406 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.60 | 77.52 | 78.17 | 5.80 | 9.63 | 0 | 3103 | 0 | 3103 | 0 | 45900731 | 39.491 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.38 | 77.45 | 77.53 | 5.66 | 9.32 | 3 | 28931 | 3 | 28931 | 3 | 249657632 | 199.359 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 81.90 | 77.44 | 78.09 | 5.46 | 9.66 | 0 | 6346 | 1 | 6346 | 1 | 81907956 | 67.2968 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8935.33 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.61 | 77.53 | 78.18 | 5.81 | 9.63 | 0 | 3205 | 0 | 3205 | 0 | 50506906 | 45.1841 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.60 | 77.52 | 78.17 | 5.80 | 9.63 | 0 | 3103 | 0 | 3103 | 0 | 45900731 | 38.0272 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |