Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_rand_6x6-20m-5
Best Solver: xb-qsts_xbqsts1.0 Time: 355.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 355.7 - - - -
- - xb-qsts_xbqsts2.0 359.89 - - - -
- - caqe_2017_v1 416.6 - - - -
- - caqe_2017_v3 420.27 - - - -
- - caqe_2017_v2 636.87 - - - -
xb-qsts_xbqsts1.0(355.37)
xb-qsts_bqsts2.0(355.7)
xb-qsts_xbqsts2.0(359.89)
caqe_2017_v1(416.6)
caqe_2017_v3(420.27)
caqe_2017_v2(636.87)