Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: freecell03_6
Best Solver: QELL_default Time: 19.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 19.64 HQSpre_solver 106.83 ijtihad_v1 235.02
- - AIGSolve 62.01 Qute_default 166.61 heretiq 238.53
- - - - caqe_2017_v2 166.98 ijtihad_v2 243.94
- - - - Qute_random 168.13 caqe_2017_v1 254.47
- - - - caqe_2017_v3 169.99 rareqs 288.56
- - - - Qute_opt500 170.22 - -
QELL_default(19.05)
QELL_unit(19.64)
AIGSolve(62.01)
HQSpre_solver(106.83)
Qute_default(166.61)
caqe_2017_v2(166.98)
Qute_random(168.13)
caqe_2017_v3(169.99)
Qute_opt500(170.22)
ijtihad_v1(235.02)
heretiq(238.53)
ijtihad_v2(243.94)
caqe_2017_v1(254.47)
rareqs(288.56)