Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ev-pr-6x6-11-5-0-1-2-lg
Best Solver: qbfrelay-limited-depqbf Time: 55.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 56.87 QELL_default 292.96 Qute_random 635.33
- - heretiq 103.24 caqe_2017_v2 364.31 QELL_unit 661.81
- - xb-qsts_bqsts2.0 114.99 rareqs 522.6 GhostQ-PG_plain 743.46
- - xb-qsts_xbqsts1.0 120.2 - - Qute_opt500 755.15
- - xb-qsts_xbqsts2.0 120.22 - - - -
- - caqe_2017_v1 260.44 - - - -
- - caqe_2017_v3 261.25 - - - -
qbfrelay-limited-depqbf(55.34)
prefix-opt-depqbf(56.87)
heretiq(103.24)
xb-qsts_bqsts2.0(114.99)
xb-qsts_xbqsts1.0(120.2)
xb-qsts_xbqsts2.0(120.22)
caqe_2017_v1(260.44)
caqe_2017_v3(261.25)
QELL_default(292.96)
caqe_2017_v2(364.31)
rareqs(522.6)
Qute_random(635.33)
QELL_unit(661.81)
GhostQ-PG_plain(743.46)
Qute_opt500(755.15)