Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
Best Solver: Qute_opt500 Time: 2.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 2.53 caqe_2017_v3 17.02 Qute_default 51.03
- - - - caqe_2017_v2 17.15 rareqs 69.07
- - - - caqe_2017_v1 17.19 xb-qsts_xbqsts2.0 80.33
- - - - - - xb-qsts_bqsts2.0 81.89
- - - - - - xb-qsts_xbqsts1.0 81.94
- - - - - - qesto 152.49
Qute_opt500(2.51)
Qute_random(2.53)
caqe_2017_v3(17.02)
caqe_2017_v2(17.15)
caqe_2017_v1(17.19)
Qute_default(51.03)
rareqs(69.07)
xb-qsts_xbqsts2.0(80.33)
xb-qsts_bqsts2.0(81.89)
xb-qsts_xbqsts1.0(81.94)
qesto(152.49)
heretiq(520.67)