Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: freecell02_6
Best Solver: QELL_default Time: 12.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 13.14 Qute_opt500 84.07 dynQBF-bloqqer-hqspre 150.43
- - AIGSolve 36.1 Qute_default 84.12 ijtihad_v1 200.72
- - HQSpre_solver 60.66 Qute_random 84.48 ijtihad_v2 204.6
- - - - caqe_2017_v2 85.28 heretiq 204.89
- - - - caqe_2017_v3 86.36 rareqs 207.35
- - - - - - caqe_2017_v1 225.97
- - - - - - qbfrelay 244.21
- - - - - - rev_qfun0.1 724.09
QELL_default(12.76)
QELL_unit(13.14)
AIGSolve(36.1)
HQSpre_solver(60.66)
Qute_opt500(84.07)
Qute_default(84.12)
Qute_random(84.48)
caqe_2017_v2(85.28)
caqe_2017_v3(86.36)
dynQBF-bloqqer-hqspre(150.43)
ijtihad_v1(200.72)
ijtihad_v2(204.6)
heretiq(204.89)
rareqs(207.35)
caqe_2017_v1(225.97)
qbfrelay(244.21)
rev_qfun0.1(724.09)