Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: small-seq-fixpoint-8
Best Solver: GhostQ-PG_plain Time: 17.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 17.87 - - qbfrelay-limited-depqbf 192.62
- - - - - - Qute_random 339.93
- - - - - - Qute_opt500 347.41
- - - - - - caqe_2017_v3 373.46
- - - - - - caqe_2017_v2 387.5
- - - - - - AIGSolve 434.82
- - - - - - qbfrelay 544.29
GhostQ-PG_plain(17.61)
GhostQ-PG_cegar(17.87)
qbfrelay-limited-depqbf(192.62)
Qute_random(339.93)
Qute_opt500(347.41)
caqe_2017_v3(373.46)
caqe_2017_v2(387.5)
AIGSolve(434.82)
qbfrelay(544.29)