Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: amba3b5y.sat
Best Solver: xb-qsts_bqsts2.0 Time: 147.64 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 149.96 - - - -
- - xb-qsts_xbqsts2.0 150.84 - - - -
- - rareqs 180.09 - - - -
- - caqe_2017_v1 369.1 - - - -
- - qbfrelay-limited-depqbf 387.61 - - - -
- - qesto 524.04 - - - -
- - heretiq 530.55 - - - -
xb-qsts_bqsts2.0(147.64)
xb-qsts_xbqsts1.0(149.96)
xb-qsts_xbqsts2.0(150.84)
rareqs(180.09)
caqe_2017_v1(369.1)
qbfrelay-limited-depqbf(387.61)
qesto(524.04)
heretiq(530.55)