Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort10.v.stepl.005
Best Solver: HQSpre_solver Time: 40.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 78.75 ijtihad_v2 208.01 - -
- - rareqs 119.59 heretiq 240.16 - -
- - caqe_2017_v1 156.17 caqe_2017_v2 320.19 - -
- - ijtihad_v1 202.14 caqe_2017_v3 327.05 - -
HQSpre_solver(40.62)
QELL_default(78.75)
rareqs(119.59)
caqe_2017_v1(156.17)
ijtihad_v1(202.14)
ijtihad_v2(208.01)
heretiq(240.16)
caqe_2017_v2(320.19)
caqe_2017_v3(327.05)