x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | caqe_2017_v3 | 1.2 | ijtihad_v2 | 7.76 | HQSpre_solver | 14.33 |
- | - | xb-qsts_bqsts2.0 | 3.36 | - | - | Qute_opt500 | 14.45 |
- | - | iProver-qbf-bloqqer-2017-07-27-v3 | 3.39 | - | - | Qute_random | 14.72 |
- | - | xb-qsts_xbqsts2.0 | 3.43 | - | - | Qute_default | 14.92 |
- | - | dynQBF-bloqqer-hqspre | 3.49 | - | - | ijtihad_v1 | 17.37 |
- | - | xb-qsts_xbqsts1.0 | 3.68 | - | - | heretiq | 17.49 |
- | - | qbfrelay | 3.82 | - | - | qesto | 21.64 |
- | - | caqe_2017_v2 | 4.83 | - | - | qbfrelay-limited-depqbf | 77.02 |
- | - | - | - | - | - | AIGSolve | 117.57 |
caqe_2017_v1(1.19) | |
caqe_2017_v3(1.2) | |
xb-qsts_bqsts2.0(3.36) | |
iProver-qbf-bloqqer-2017-07-27-v3(3.39) | |
xb-qsts_xbqsts2.0(3.43) | |
dynQBF-bloqqer-hqspre(3.49) | |
xb-qsts_xbqsts1.0(3.68) | |
qbfrelay(3.82) | |
caqe_2017_v2(4.83) | |
ijtihad_v2(7.76) | |
HQSpre_solver(14.33) | |
Qute_opt500(14.45) | |
Qute_random(14.72) | |
Qute_default(14.92) | |
ijtihad_v1(17.37) | |
heretiq(17.49) | |
qesto(21.64) | |
qbfrelay-limited-depqbf(77.02) | |
AIGSolve(117.57) | |
rareqs(469.72) |