Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: mult_bool_matrix_17_17_17.sat
Best Solver: HQSpre_solver Time: 2.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 3.23 - - caqe_2017_v2 64.22
- - AIGSolve 11.67 - - qbfrelay 65.27
- - - - - - caqe_2017_v3 65.82
- - - - - - dynQBF-bloqqer-hqspre 91.94
- - - - - - qbfrelay-limited-depqbf 148.97
HQSpre_solver(2.42)
caqe_2017_v1(3.23)
AIGSolve(11.67)
caqe_2017_v2(64.22)
qbfrelay(65.27)
caqe_2017_v3(65.82)
dynQBF-bloqqer-hqspre(91.94)
qbfrelay-limited-depqbf(148.97)