Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_hein_4x4_06
Best Solver: heretiq Time: 57.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 130.79 - - qesto 576.75
- - xb-qsts_bqsts2.0 141.7 - - - -
- - xb-qsts_xbqsts2.0 141.78 - - - -
- - xb-qsts_xbqsts1.0 143.01 - - - -
- - caqe_2017_v3 145.96 - - - -
- - caqe_2017_v1 147.77 - - - -
- - prefix-opt-depqbf 181.3 - - - -
- - qbfrelay-limited-depqbf 240.62 - - - -
heretiq(57.05)
caqe_2017_v2(130.79)
xb-qsts_bqsts2.0(141.7)
xb-qsts_xbqsts2.0(141.78)
xb-qsts_xbqsts1.0(143.01)
caqe_2017_v3(145.96)
caqe_2017_v1(147.77)
prefix-opt-depqbf(181.3)
qbfrelay-limited-depqbf(240.62)
qesto(576.75)