variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
5600 | 16661 | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 |
---|
zChaff | minisat | SatELite |
10.0235 |
2.19567 |
7.54085 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.02 | 65.49 | 61.33 | 20.17 | 20.21 | 0 | 1816 | 11 | 1816 | 11 | 7578575 | 4.51531 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.8284 |
1.64975 |
6.587 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 65.13 | 68.43 | 64.57 | 21.30 | 18.46 | 0 | 457 | 3 | 457 | 3 | 2618435 | 1.57576 | UNKNOWN |
---|
zChaff | minisat | SatELite |
9.8535 |
1.91371 |
9.1936 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 2911263 | 1.81072 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.0235 |
2.19567 |
7.54085 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 1443248 | 0.91486 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.0235 |
2.19567 |
7.54085 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.17 | 65.56 | 61.87 | 20.22 | 20.34 | 0 | 1603 | 10 | 1603 | 10 | 6995507 | 4.15937 | UNKNOWN |
---|
zChaff | minisat | SatELite |
17.1994 |
2.89656 |
5.87511 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 65.26 | 68.16 | 64.71 | 21.22 | 18.79 | 0 | 393 | 2 | 393 | 2 | 2418794 | 1.46278 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.4744 |
1.9587 |
9.61454 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 2829358 | 1.76673 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.0235 |
2.19567 |
7.54085 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 66.08 | 66.56 | 65.54 | 20.72 | 20.70 | 0 | 0 | 0 | 0 | 0 | 1382764 | 0.864868 | UNKNOWN |
---|
zChaff | minisat | SatELite |
10.0235 |
2.19567 |
7.54085 |