Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_rand_6x6-20m-4
Best Solver: heretiq Time: 47.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 54.53 caqe_2017_v1 325.33 qesto 637.97
- - prefix-opt-depqbf 79.66 caqe_2017_v3 326.13 - -
- - caqe_2017_v2 130.21 - - - -
- - qbfrelay-limited-depqbf 190.9 - - - -
- - xb-qsts_xbqsts2.0 211.88 - - - -
- - xb-qsts_xbqsts1.0 213.15 - - - -
- - xb-qsts_bqsts2.0 213.86 - - - -
heretiq(47.4)
Qute_default(54.53)
prefix-opt-depqbf(79.66)
caqe_2017_v2(130.21)
qbfrelay-limited-depqbf(190.9)
xb-qsts_xbqsts2.0(211.88)
xb-qsts_xbqsts1.0(213.15)
xb-qsts_bqsts2.0(213.86)
caqe_2017_v1(325.33)
caqe_2017_v3(326.13)
qesto(637.97)