Sota solver details
QBFEVAL'17 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts2.0 2.94 caqe_2017_v3 14.07 heretiq 59.81
- - xb-qsts_xbqsts1.0 3 caqe_2017_v1 14.08 caqe_2017_v2 66.01
- - - - - - qesto 130.68
- - - - - - qbfrelay-limited-depqbf 183.13
xb-qsts_bqsts2.0(2.64)
xb-qsts_xbqsts2.0(2.94)
xb-qsts_xbqsts1.0(3)
caqe_2017_v3(14.07)
caqe_2017_v1(14.08)
heretiq(59.81)
caqe_2017_v2(66.01)
qesto(130.68)
qbfrelay-limited-depqbf(183.13)
rareqs(270.44)
prefix-opt-depqbf(397.14)
Qute_opt500(435.74)
Qute_random(437.52)
Qute_default(824.07)