Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_Debug_s3_f2_e1_v2
Best Solver: HQSpre_solver Time: 114.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 119.13 heretiq 620.22 - -
- - Qute_random 119.54 caqe_2017_v1 639.88 - -
- - Qute_opt500 119.57 caqe_2017_v3 890.2 - -
- - rareqs 176.09 - - - -
- - ijtihad_v1 326.71 - - - -
- - ijtihad_v2 335.9 - - - -
HQSpre_solver(114.71)
Qute_default(119.13)
Qute_random(119.54)
Qute_opt500(119.57)
rareqs(176.09)
ijtihad_v1(326.71)
ijtihad_v2(335.9)
heretiq(620.22)
caqe_2017_v1(639.88)
caqe_2017_v3(890.2)