Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: c1_Debug_s3_f2_e1_v2
Best Solver: Iprover-HQSpre-Bloqqer Time: 112.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 113.45 Heretiq-cube 630.44 - -
- - Qute_opt500 121.51 Heretiq-simple 897.04 - -
- - Qute_default 124.59 - - - -
- - Qute_random 131.66 - - - -
- - Rareqs_2018 186.52 - - - -
- - ijtihad 335.07 - - - -
- - Caqe-bloqqer 389.92 - - - -
Iprover-HQSpre-Bloqqer(112.66)
Caqe-hqspre(113.45)
Qute_opt500(121.51)
Qute_default(124.59)
Qute_random(131.66)
Rareqs_2018(186.52)
ijtihad(335.07)
Caqe-bloqqer(389.92)
Heretiq-cube(630.44)
Heretiq-simple(897.04)