Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_rand_6x6-20m-3
Best Solver: xb-qsts_xbqsts2.0 Time: 482.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 483.75 - - - -
- - xb-qsts_bqsts2.0 485.99 - - - -
xb-qsts_xbqsts2.0(482.55)
xb-qsts_xbqsts1.0(483.75)
xb-qsts_bqsts2.0(485.99)