Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: robots_1_5_2_93.9
Best Solver: rareqs Time: 38.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qesto 237.7 caqe_2017_v3 382.59
- - - - caqe_2017_v1 278.12 caqe_2017_v2 386.47
- - - - xb-qsts_bqsts2.0 338.22 QELL_unit 485.13
- - - - xb-qsts_xbqsts1.0 362.91 QELL_default 512.23
- - - - xb-qsts_xbqsts2.0 365.67 qbfrelay-limited-depqbf 815.33
rareqs(38.21)
qesto(237.7)
caqe_2017_v1(278.12)
xb-qsts_bqsts2.0(338.22)
xb-qsts_xbqsts1.0(362.91)
xb-qsts_xbqsts2.0(365.67)
caqe_2017_v3(382.59)
caqe_2017_v2(386.47)
QELL_unit(485.13)
QELL_default(512.23)
qbfrelay-limited-depqbf(815.33)