Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cube_c7_ser---23_
Best Solver: heretiq Time: 88.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v2 89.87 caqe_2017_v1 497.34 - -
- - ijtihad_v1 91.31 HQSpre_solver 797.91 - -
- - QELL_unit 379.4 - - - -
- - QELL_default 420.28 - - - -
heretiq(88.15)
ijtihad_v2(89.87)
ijtihad_v1(91.31)
QELL_unit(379.4)
QELL_default(420.28)
caqe_2017_v1(497.34)
HQSpre_solver(797.91)