variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2511 | 18906 | 68.79 | 73.15 | 92.61 | 25.80 | 21.26 |
---|
zChaff | minisat | SatELite |
TimeOut |
3839.78 |
5808 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 68.62 | 73.07 | 92.44 | 25.84 | 21.21 | 0 | 517 | 3 | 517 | 3 | 674589 | 0.468928 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
4595.23 |
5510.16 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.58 | 73.67 | 92.57 | 25.98 | 20.72 | 0 | 132 | 1 | 132 | 1 | 163810 | 0.118981 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3317.95 |
697.233 |
2069.78 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 68.80 | 73.16 | 92.64 | 25.80 | 21.27 | 0 | 6 | 0 | 6 | 0 | 12803 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
6051.47 |
9608.25 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.79 | 73.16 | 92.63 | 25.81 | 21.26 | 0 | 3 | 0 | 3 | 0 | 10204 | 0.012998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
4611.11 |
332.453 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 68.81 | 73.15 | 92.62 | 25.78 | 21.26 | 0 | 56 | 0 | 56 | 0 | 61655 | 0.053991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1601.97 |
7232.95 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.77 | 73.21 | 92.62 | 25.82 | 21.21 | 0 | 16 | 0 | 16 | 0 | 20284 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
239.739 |
1589.67 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 68.80 | 73.16 | 92.64 | 25.80 | 21.27 | 0 | 6 | 0 | 6 | 0 | 12803 | 0.017997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
6145.97 |
9937.68 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.79 | 73.16 | 92.63 | 25.81 | 21.26 | 0 | 3 | 0 | 3 | 0 | 10204 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
4630.88 |
324.017 |