Skip to content

Commit 72354e9

Browse files
committed
make sure specpp returns results even if it is cancelled
1 parent 796dabe commit 72354e9

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/org/processmining/placebasedlpmdiscovery/prom/placediscovery/algorithms/SPECppPlaceDiscoveryAlgorithm.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ public PlaceDiscoveryResult getPlaces(XLog log) {
3535
try (ExecutionEnvironment ee = new ExecutionEnvironment(Runtime.getRuntime().availableProcessors())) {
3636
execution = ee.execute(specpp, ExecutionParameters.timeouts(
3737
new ExecutionParameters.ExecutionTimeLimits(
38-
Duration.ofMinutes(5), Duration.ofMinutes(3), Duration.ofMinutes(10))));
38+
Duration.ofMinutes(5), Duration.ofMinutes(50), Duration.ofMinutes(60))));
3939

4040
ee.addCompletionCallback(execution, ex -> {
4141
ProMPetrinetWrapper petrinetWrapper = ex.getSPECpp().getPostProcessedResult();

0 commit comments

Comments
 (0)