Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: driverlog10_6
Best Solver: QELL_default Time: 0.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.45 AIGSolve 2.31 rev_qfun0.1 7.21
- - heretiq 0.46 dynQBF-bloqqer-hqspre 2.66 Qute_default 8.52
- - ijtihad_v1 0.46 qbfrelay 3.21 Qute_random 8.55
- - ijtihad_v2 0.46 HQSpre_solver 3.48 Qute_opt500 8.56
- - rareqs 0.71 - - caqe_2017_v2 8.63
- - - - - - caqe_2017_v3 8.74
- - - - - - caqe_2017_v1 14.35
QELL_default(0.43)
QELL_unit(0.45)
heretiq(0.46)
ijtihad_v1(0.46)
ijtihad_v2(0.46)
rareqs(0.71)
AIGSolve(2.31)
dynQBF-bloqqer-hqspre(2.66)
qbfrelay(3.21)
HQSpre_solver(3.48)
rev_qfun0.1(7.21)
Qute_default(8.52)
Qute_random(8.55)
Qute_opt500(8.56)
caqe_2017_v2(8.63)
caqe_2017_v3(8.74)
caqe_2017_v1(14.35)
iProver-qbf-2017-07-27-v3(55.74)
iProver-qbf-bloqqer-2017-07-27-v3(71.15)
qbfrelay-limited-depqbf(76.62)
prefix-opt-depqbf(505.5)
qesto(758.42)