x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 16.02 | dynQBF-bloqqer-hqspre | 155.69 | heretiq | 192.89 |
- | - | HQSpre_solver | 65.73 | - | - | ijtihad_v2 | 195.81 |
- | - | caqe_2017_v2 | 74 | - | - | ijtihad_v1 | 200.48 |
- | - | Qute_random | 74.12 | - | - | rareqs | 207.87 |
- | - | Qute_default | 74.98 | - | - | caqe_2017_v1 | 220.82 |
- | - | Qute_opt500 | 75.16 | - | - | qbfrelay | 240.07 |
- | - | caqe_2017_v3 | 75.3 | - | - | rev_qfun0.1 | 842.11 |
QELL_default(15.74) | |
QELL_unit(16.02) | |
HQSpre_solver(65.73) | |
caqe_2017_v2(74) | |
Qute_random(74.12) | |
Qute_default(74.98) | |
Qute_opt500(75.16) | |
caqe_2017_v3(75.3) | |
dynQBF-bloqqer-hqspre(155.69) | |
heretiq(192.89) | |
ijtihad_v2(195.81) | |
ijtihad_v1(200.48) | |
rareqs(207.87) | |
caqe_2017_v1(220.82) | |
qbfrelay(240.07) | |
rev_qfun0.1(842.11) |