variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
120367 | 425316 | 67.23 | 67.02 | 80.94 | 21.64 | 21.90 |
---|
zChaff | minisat | SatELite |
TimeOut |
516.366 |
794.85 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 66.18 | 66.14 | 78.62 | 21.33 | 21.43 | 0 | 50717 | 12 | 50717 | 12 | 156879557 | 306.064 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2287.73 |
334.073 |
261.704 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 69.33 | 66.06 | 80.49 | 19.32 | 22.59 | 0 | 12909 | 3 | 12909 | 3 | 50531303 | 100.14 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8891.1 |
257.937 |
575.303 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.30 | 67.10 | 81.12 | 21.68 | 21.93 | 0 | 979 | 0 | 979 | 0 | 23662027 | 47.7457 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
452.949 |
556.984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 67.32 | 67.04 | 81.05 | 21.66 | 21.94 | 0 | 609 | 0 | 609 | 0 | 16166909 | 34.0078 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3969.27 |
369.695 |
441.523 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 66.82 | 66.75 | 80.13 | 21.57 | 21.70 | 0 | 22217 | 5 | 22217 | 5 | 102005312 | 209.559 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4456.24 |
378.889 |
316.324 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.14 | 66.64 | 80.82 | 20.70 | 22.20 | 0 | 5709 | 1 | 5709 | 1 | 36372747 | 77.2203 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2880.15 |
155.707 |
293.828 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.30 | 67.10 | 81.12 | 21.68 | 21.93 | 0 | 979 | 0 | 979 | 0 | 23662027 | 51.0452 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
483.392 |
549.231 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 67.32 | 67.04 | 81.05 | 21.66 | 21.94 | 0 | 609 | 0 | 609 | 0 | 16166909 | 33.3289 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4028.04 |
371.516 |
469.283 |