Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: freecell02_4
Best Solver: QELL_default Time: 8.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 8.63 Qute_opt500 56.65 ijtihad_v2 118.87
- - AIGSolve 29.14 Qute_default 57.9 heretiq 121.31
- - HQSpre_solver 37.86 Qute_random 58.16 ijtihad_v1 121.53
- - - - caqe_2017_v2 58.26 rareqs 125.52
- - - - caqe_2017_v3 58.72 caqe_2017_v1 127.59
- - - - - - dynQBF-bloqqer-hqspre 127.77
- - - - - - qbfrelay 127.95
- - - - - - rev_qfun0.1 466.93
QELL_default(8.29)
QELL_unit(8.63)
AIGSolve(29.14)
HQSpre_solver(37.86)
Qute_opt500(56.65)
Qute_default(57.9)
Qute_random(58.16)
caqe_2017_v2(58.26)
caqe_2017_v3(58.72)
ijtihad_v2(118.87)
heretiq(121.31)
ijtihad_v1(121.53)
rareqs(125.52)
caqe_2017_v1(127.59)
dynQBF-bloqqer-hqspre(127.77)
qbfrelay(127.95)
rev_qfun0.1(466.93)