Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: small-seq-fixpoint-5
Best Solver: GhostQ-PG_plain Time: 10.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 10.3 caqe_2017_v2 72.02 qbfrelay-limited-depqbf 106.68
- - - - caqe_2017_v3 72.2 AIGSolve 145.65
- - - - - - Qute_random 203.5
- - - - - - Qute_default 205.21
- - - - - - Qute_opt500 205.72
- - - - - - qbfrelay 389.19
GhostQ-PG_plain(10.28)
GhostQ-PG_cegar(10.3)
caqe_2017_v2(72.02)
caqe_2017_v3(72.2)
qbfrelay-limited-depqbf(106.68)
AIGSolve(145.65)
Qute_random(203.5)
Qute_default(205.21)
Qute_opt500(205.72)
qbfrelay(389.19)