x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | GhostQ___cegar_pcnf_2019 | 7.41 | Qute_default | 37.92 | - | - |
- | - | Hiqqer2019_2 | 14.22 | depqbf_pre_QxQBH | 38.63 | - | - |
- | - | Caqe-bloqqer-qdo | 23.29 | Qute_rrs | 39.34 | - | - |
- | - | caqe-pre | 34.47 | - | - | - | - |
- | - | Caqe-hqspre | 34.67 | - | - | - | - |
GhostQ___plain_pcnf_2019(7.29) | |
GhostQ___cegar_pcnf_2019(7.41) | |
Hiqqer2019_2(14.22) | |
Caqe-bloqqer-qdo(23.29) | |
caqe-pre(34.47) | |
Caqe-hqspre(34.67) | |
Qute_default(37.92) | |
depqbf_pre_QxQBH(38.63) | |
Qute_rrs(39.34) |