variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
567 | 6338 | 76.27 | 72.81 | 98.19 | 22.78 | 26.11 |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.237963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.15 | 73.23 | 96.86 | 24.51 | 25.27 | 0 | 2674 | 42 | 2674 | 42 | 810987 | 0.272958 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.002999 |
0.152976 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 83.62 | 70.20 | 98.01 | 15.53 | 28.85 | 0 | 557 | 9 | 557 | 9 | 192380 | 0.068989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.004999 |
0.198969 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 76.27 | 72.81 | 98.19 | 22.96 | 26.32 | 0 | 0 | 0 | 0 | 0 | 453 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.237963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 76.27 | 72.81 | 98.19 | 22.96 | 26.32 | 0 | 0 | 0 | 0 | 0 | 311 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.237963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 75.95 | 73.09 | 98.10 | 23.24 | 26.00 | 0 | 292 | 5 | 292 | 5 | 95218 | 0.033994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.005999 |
0.220966 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 76.88 | 72.60 | 98.17 | 22.34 | 26.53 | 0 | 50 | 1 | 50 | 1 | 17442 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001999 |
0.005999 |
0.228965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 76.27 | 72.81 | 98.19 | 22.96 | 26.32 | 0 | 0 | 0 | 0 | 0 | 453 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.237963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 76.27 | 72.81 | 98.19 | 22.96 | 26.32 | 0 | 0 | 0 | 0 | 0 | 311 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.237963 |