Syntcomp 2017

Results |Monitor

Details for solver configuration Party (portfolio)

Name:	Party
Version:
Description:
Authors:

Launch Command: .//run_party.sh elli_portfolio <instance>
Hint:

Specified parameters

Order	Name	Prefix	Value
1	config		elli_portfolio
2	instance