Statistics
| Branch: | Revision:

root / misc / eclipse / Solver.launch @ 50:33dfa27c750e

History | View | Annotate | Download (1.13 KB)

1 0:5f9515950f17 cap
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4 2:68288c5a2c72 cap
<listEntry value="/deconflictiontools/src/main/java/tt/jointeuclid2ni/Solver.java"/>
5 0:5f9515950f17 cap
</listAttribute>
6
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
7
<listEntry value="1"/>
8
</listAttribute>
9 2:68288c5a2c72 cap
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
10 0:5f9515950f17 cap
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="tt.jointeuclid2ni.Solver"/>
11 48:55358358496e cap
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-method PP -heuristic L1 -problemfile src/main/resources/problems/empty-unbounded-g4/190.xml -maxtime 3500 -timeout 20000 -grid 4 -gridstep 50 -summary -summaryprefix empty-unbounded;190;2;50;1037;4;50;3500;PP;NA;"/>
12 2:68288c5a2c72 cap
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="deconflictiontools"/>
13
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
14 0:5f9515950f17 cap
</launchConfiguration>