Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: driverlog13_6
Best Solver: QELL_default Time: 1.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 1.9 rareqs 9.27 AIGSolve 18.44
- - ijtihad_v2 6.98 - - caqe_2017_v3 18.63
- - ijtihad_v1 7.01 - - caqe_2017_v2 18.77
- - heretiq 7.03 - - Qute_default 19.34
- - HQSpre_solver 8.62 - - Qute_random 19.35
- - caqe_2017_v1 8.75 - - Qute_opt500 19.41
- - - - - - dynQBF-bloqqer-hqspre 37.34
- - - - - - qbfrelay 40.77
- - - - - - rev_qfun0.1 54.55
- - - - - - xb-qsts_bqsts2.0 72.15
- - - - - - xb-qsts_xbqsts1.0 81.81
- - - - - - xb-qsts_xbqsts2.0 83.43
- - - - - - qbfrelay-limited-depqbf 131.86
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 166.32
QELL_default(1.82)
QELL_unit(1.9)
ijtihad_v2(6.98)
ijtihad_v1(7.01)
heretiq(7.03)
HQSpre_solver(8.62)
caqe_2017_v1(8.75)
rareqs(9.27)
AIGSolve(18.44)
caqe_2017_v3(18.63)
caqe_2017_v2(18.77)
Qute_default(19.34)
Qute_random(19.35)
Qute_opt500(19.41)
dynQBF-bloqqer-hqspre(37.34)
qbfrelay(40.77)
rev_qfun0.1(54.55)
xb-qsts_bqsts2.0(72.15)
xb-qsts_xbqsts1.0(81.81)
xb-qsts_xbqsts2.0(83.43)
qbfrelay-limited-depqbf(131.86)
iProver-qbf-bloqqer-2017-07-27-v3(166.32)
iProver-qbf-2017-07-27-v3(184.36)
prefix-opt-depqbf(443.71)