Syntcomp 2018

Results |Monitor

Details for solver configuration Demiurge P3Synt (2014)

Name:	Demiurge (2014)
Version:
Description:
Authors:

Launch Command: .//demiurge2014/run_demiurge.sh -i <instance> -t <tempdir> --print= -b lp3 -m 1 -c learn -n 7 -s min_api -e lin_api
Hint:

Specified parameters

Order	Name	Prefix	Value
0	instance	-i
1	tempdir	-t
2	print	--print=	✓
3	b	-b	lp3
4	m	-m	1
6	c	-c	learn
7	n	-n	7
8	s	-s	min_api
10	e	-e	lin_api