Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ii8d1-90
Best Solver: xb-qsts_bqsts2.0 Time: 39.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 64.15 - - qesto 881.51
- - Qute_random 64.3 - - - -
- - xb-qsts_xbqsts1.0 84.94 - - - -
- - xb-qsts_xbqsts2.0 85.04 - - - -
- - GhostQ-PG_plain 131.2 - - - -
xb-qsts_bqsts2.0(39.8)
Qute_opt500(64.15)
Qute_random(64.3)
xb-qsts_xbqsts1.0(84.94)
xb-qsts_xbqsts2.0(85.04)
GhostQ-PG_plain(131.2)
qesto(881.51)