Sota solver details
QBFEVAL'19 - Prenex non-CNF Track

Instance: DWs-sat-05-15-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 0.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 0.61 - - PortfolioGhostQQfunQuAbSQute___pfs 5.34
- - - - - - PortfolioGhostQQfunQuAbSQute___pf2 5.35
- - - - - - PortfolioGhostQQfunQuAbSQute___pf3 5.42
- - - - - - GhostQ___cegar_qcir_2019 5.75
- - - - - - GhostQ___plain_qcir_2019 10.88
- - - - - - Qute_default 22.51
QuAbS___quabs-caqe_2019(0.53)
Quabs_2018(0.61)
PortfolioGhostQQfunQuAbSQute___pfs(5.34)
PortfolioGhostQQfunQuAbSQute___pf2(5.35)
PortfolioGhostQQfunQuAbSQute___pf3(5.42)
GhostQ___cegar_qcir_2019(5.75)
GhostQ___plain_qcir_2019(10.88)
Qute_default(22.51)
quabs___caqe-hqspre(617.7)