Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: arbiter-09-comp-error01-qbf-hardness-depth-15
Best Solver: xb-qsts_bqsts2.0 Time: 3.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 3.92 - - heretiq 109.08
- - xb-qsts_xbqsts2.0 3.92 - - Qute_default 117.67
- - QELL_unit 8.91 - - qesto 124.68
- - caqe_2017_v1 10.96 - - caqe_2017_v2 136.59
- - caqe_2017_v3 11.01 - - qbfrelay-limited-depqbf 210.72
- - - - - - Qute_random 230.8
- - - - - - Qute_opt500 232.48
- - - - - - rareqs 270.92
xb-qsts_bqsts2.0(3.4)
xb-qsts_xbqsts1.0(3.92)
xb-qsts_xbqsts2.0(3.92)
QELL_unit(8.91)
caqe_2017_v1(10.96)
caqe_2017_v3(11.01)
heretiq(109.08)
Qute_default(117.67)
qesto(124.68)
caqe_2017_v2(136.59)
qbfrelay-limited-depqbf(210.72)
Qute_random(230.8)
Qute_opt500(232.48)
rareqs(270.92)
prefix-opt-depqbf(689.56)