variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
3600 | 10681 | 66.09 | 66.00 | 65.16 | 21.50 | 20.45 |
---|
zChaff | minisat | SatELite |
1334.19 |
41.1587 |
131.014 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.79 | 65.33 | 63.06 | 21.05 | 20.29 | 0 | 608 | 6 | 608 | 6 | 3278212 | 1.80472 | UNKNOWN |
---|
zChaff | minisat | SatELite |
942.15 |
11.0053 |
173.976 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 67.21 | 65.42 | 64.57 | 20.17 | 20.79 | 0 | 178 | 2 | 178 | 2 | 1127028 | 0.624905 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1067.01 |
35.1247 |
110.028 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 66.09 | 66.00 | 65.16 | 21.50 | 20.45 | 0 | 0 | 0 | 0 | 0 | 1114193 | 0.628904 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1334.19 |
41.1587 |
131.014 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 66.09 | 66.00 | 65.16 | 21.50 | 20.45 | 0 | 0 | 0 | 0 | 0 | 540171 | 0.303953 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1334.19 |
41.1587 |
131.014 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.81 | 65.48 | 63.40 | 21.15 | 20.28 | 0 | 514 | 5 | 514 | 5 | 3027669 | 1.66775 | UNKNOWN |
---|
zChaff | minisat | SatELite |
555.132 |
27.0059 |
63.0024 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 67.02 | 65.52 | 64.67 | 20.39 | 20.73 | 0 | 148 | 1 | 148 | 1 | 1049507 | 0.58791 | UNKNOWN |
---|
zChaff | minisat | SatELite |
614.756 |
25.6031 |
130.23 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 66.09 | 66.00 | 65.16 | 21.50 | 20.45 | 0 | 0 | 0 | 0 | 0 | 1095293 | 0.626904 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1334.19 |
41.1587 |
131.014 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 66.09 | 66.00 | 65.16 | 21.50 | 20.45 | 0 | 0 | 0 | 0 | 0 | 533337 | 0.301954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1334.19 |
41.1587 |
131.014 |