Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: oski3ub5i_c0to255.unsat
Best Solver: QELL_unit Time: 1.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 4.16 QELL_default 15.66 GhostQ-PG_plain 49.06
- - ijtihad_v1 4.16 HQSpre_solver 17.23 GhostQ-PG_cegar 58.05
- - qesto 4.17 AIGSolve 18.34 dynQBF-bloqqer-hqspre 105.98
- - rareqs 4.17 - - iProver-qbf-2017-07-27-v3 110.49
- - heretiq 4.18 - - qbfrelay 115.62
- - ijtihad_v2 4.18 - - caqe_2017_v3 120.29
- - rev_qfun0.1 4.19 - - Qute_default 126.47
- - prefix-opt-depqbf 8 - - caqe_2017_v2 126.67
- - qbfrelay-limited-depqbf 8.7 - - Qute_random 132.11
- - - - - - Qute_opt500 136.12
QELL_unit(1.86)
caqe_2017_v1(4.16)
ijtihad_v1(4.16)
qesto(4.17)
rareqs(4.17)
heretiq(4.18)
ijtihad_v2(4.18)
rev_qfun0.1(4.19)
prefix-opt-depqbf(8)
qbfrelay-limited-depqbf(8.7)
QELL_default(15.66)
HQSpre_solver(17.23)
AIGSolve(18.34)
GhostQ-PG_plain(49.06)
GhostQ-PG_cegar(58.05)
dynQBF-bloqqer-hqspre(105.98)
iProver-qbf-2017-07-27-v3(110.49)
qbfrelay(115.62)
caqe_2017_v3(120.29)
Qute_default(126.47)
caqe_2017_v2(126.67)
Qute_random(132.11)
Qute_opt500(136.12)
iProver-qbf-bloqqer-2017-07-27-v3(547.82)
xb-qsts_bqsts2.0(561.17)
xb-qsts_xbqsts2.0(569.77)
xb-qsts_xbqsts1.0(590)