Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp
Best Solver: caqe_2017_v2 Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 0.08 - - caqe_2017_v1 1.51
- - Qute_default 0.09 - - dynQBF-bloqqer-hqspre 1.61
- - Qute_opt500 0.09 - - qbfrelay 1.82
- - Qute_random 0.09 - - rareqs 2.92
- - prefix-opt-depqbf 0.11 - - qesto 3.48
- - HQSpre_solver 0.12 - - - -
- - qbfrelay-limited-depqbf 0.28 - - - -
caqe_2017_v2(0.07)
caqe_2017_v3(0.08)
Qute_default(0.09)
Qute_opt500(0.09)
Qute_random(0.09)
prefix-opt-depqbf(0.11)
HQSpre_solver(0.12)
qbfrelay-limited-depqbf(0.28)
caqe_2017_v1(1.51)
dynQBF-bloqqer-hqspre(1.61)
qbfrelay(1.82)
rareqs(2.92)
qesto(3.48)
iProver-qbf-bloqqer-2017-07-27-v3(11.13)
heretiq(31.32)
xb-qsts_bqsts2.0(98.89)
xb-qsts_xbqsts2.0(98.92)
xb-qsts_xbqsts1.0(99.69)