Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_hein_4x4_09
Best Solver: prefix-opt-depqbf Time: 4.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 5.15 heretiq 32.28 qesto 101.66
- - qbfrelay-limited-depqbf 5.18 Qute_opt500 39.15 Qute_default 167.34
- - xb-qsts_xbqsts1.0 5.18 Qute_random 39.29 - -
- - xb-qsts_xbqsts2.0 5.18 - - - -
- - caqe_2017_v2 10.33 - - - -
- - caqe_2017_v1 23.18 - - - -
- - caqe_2017_v3 23.19 - - - -
prefix-opt-depqbf(4.97)
xb-qsts_bqsts2.0(5.15)
qbfrelay-limited-depqbf(5.18)
xb-qsts_xbqsts1.0(5.18)
xb-qsts_xbqsts2.0(5.18)
caqe_2017_v2(10.33)
caqe_2017_v1(23.18)
caqe_2017_v3(23.19)
heretiq(32.28)
Qute_opt500(39.15)
Qute_random(39.29)
qesto(101.66)
Qute_default(167.34)
rareqs(586.76)
GhostQ-PG_plain(665.38)