Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: tlc02-uniform-depth-151
Best Solver: ijtihad_v1 Time: 3.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v2 3.97 AIGSolve 25 qbfrelay 51.92
- - heretiq 3.98 Qute_random 31.37 dynQBF-bloqqer-hqspre 52
- - caqe_2017_v1 4.93 Qute_default 31.41 xb-qsts_bqsts2.0 52.2
- - rareqs 5.26 Qute_opt500 31.47 xb-qsts_xbqsts1.0 53.37
- - qesto 5.85 QELL_unit 31.86 xb-qsts_xbqsts2.0 54.69
- - HQSpre_solver 19.33 caqe_2017_v3 32.71 qbfrelay-limited-depqbf 97.61
- - - - caqe_2017_v2 32.79 GhostQ-PG_plain 111.16
- - - - QELL_default 33.76 GhostQ-PG_cegar 112.09
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 150.94
- - - - - - prefix-opt-depqbf 161.13
- - - - - - iProver-qbf-2017-07-27-v3 316.73
ijtihad_v1(3.94)
ijtihad_v2(3.97)
heretiq(3.98)
caqe_2017_v1(4.93)
rareqs(5.26)
qesto(5.85)
HQSpre_solver(19.33)
AIGSolve(25)
Qute_random(31.37)
Qute_default(31.41)
Qute_opt500(31.47)
QELL_unit(31.86)
caqe_2017_v3(32.71)
caqe_2017_v2(32.79)
QELL_default(33.76)
qbfrelay(51.92)
dynQBF-bloqqer-hqspre(52)
xb-qsts_bqsts2.0(52.2)
xb-qsts_xbqsts1.0(53.37)
xb-qsts_xbqsts2.0(54.69)
qbfrelay-limited-depqbf(97.61)
GhostQ-PG_plain(111.16)
GhostQ-PG_cegar(112.09)
iProver-qbf-bloqqer-2017-07-27-v3(150.94)
prefix-opt-depqbf(161.13)
iProver-qbf-2017-07-27-v3(316.73)