Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBNT-PT-S10J60, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200164
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494740048032


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S10J60 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14154/65536 symbol table entries, 4750 collisions
lola: preprocessing...
lola: finding significant places
lola: 1234 places, 12920 transitions, 1082 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3498 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J60-UpperBounds.task
lola: MAX(place_782_1) : MAX(mi3) : MAX(Schedule_Task_B_1) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_33 + AvailableJobId_34 + AvailableJobId_35 + AvailableJobId_36 + AvailableJobId_37 + AvailableJobId_38 + AvailableJobId_39 + AvailableJobId_40 + AvailableJobId_41 + AvailableJobId_45 + AvailableJobId_46 + AvailableJobId_48 + AvailableJobId_49 + AvailableJobId_50 + AvailableJobId_51 + AvailableJobId_52 + AvailableJobId_53 + AvailableJobId_57 + AvailableJobId_58 + AvailableJobId_60 + AvailableJobId_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_59 + AvailableJobId_56 + AvailableJobId_55 + AvailableJobId_54 + AvailableJobId_47 + AvailableJobId_44 + AvailableJobId_43 + AvailableJobId_42 + AvailableJobId_32 + AvailableJobId_31 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_20 + AvailableJobId_18 + AvailableJobId_17) : MAX(JobCnt) : MAX(place_782_1) : MAX(block) : MAX(mi3) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_0_6 + CreatedJobs_0_7 + CreatedJobs_0_8 + CreatedJobs_0_9 + CreatedJobs_32_10 + CreatedJobs_52_1 + CreatedJobs_52_2 + CreatedJobs_52_3 + CreatedJobs_52_4 + CreatedJobs_52_5 + CreatedJobs_52_6 + CreatedJobs_52_7 + CreatedJobs_52_8 + CreatedJobs_52_9 + CreatedJobs_44_10 + CreatedJobs_56_10 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_17_6 + CreatedJobs_17_7 + CreatedJobs_17_8 + CreatedJobs_17_9 + CreatedJobs_3_10 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_1_6 + CreatedJobs_1_7 + CreatedJobs_1_8 + CreatedJobs_1_9 + CreatedJobs_53_1 + CreatedJobs_53_2 + CreatedJobs_53_3 + CreatedJobs_53_4 + CreatedJobs_53_5 + CreatedJobs_53_6 + CreatedJobs_53_7 + CreatedJobs_53_8 + CreatedJobs_53_9 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_40_6 + CreatedJobs_40_7 + CreatedJobs_40_8 + CreatedJobs_40_9 + CreatedJobs_13_10 + CreatedJobs_25_10 + CreatedJobs_37_10 + CreatedJobs_49_10 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_18_6 + CreatedJobs_18_7 + CreatedJobs_18_8 + CreatedJobs_18_9 + CreatedJobs_50_10 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_2_6 + CreatedJobs_2_7 + CreatedJobs_2_8 + CreatedJobs_2_9 + CreatedJobs_54_1 + CreatedJobs_54_2 + CreatedJobs_54_3 + CreatedJobs_54_4 + CreatedJobs_54_5 + CreatedJobs_54_6 + CreatedJobs_54_7 + CreatedJobs_54_8 + CreatedJobs_54_9 + CreatedJobs_41_1 + CreatedJobs_41_2 + CreatedJobs_41_3 + CreatedJobs_41_4 + CreatedJobs_41_5 + CreatedJobs_41_6 + CreatedJobs_41_7 + CreatedJobs_41_8 + CreatedJobs_41_9 + CreatedJobs_8_10 + CreatedJobs_18_10 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_19_6 + CreatedJobs_19_7 + CreatedJobs_19_8 + CreatedJobs_19_9 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_3_6 + CreatedJobs_3_7 + CreatedJobs_3_8 + CreatedJobs_3_9 + CreatedJobs_55_1 + CreatedJobs_55_2 + CreatedJobs_55_3 + CreatedJobs_55_4 + CreatedJobs_55_5 + CreatedJobs_55_6 + CreatedJobs_55_7 + CreatedJobs_55_8 + CreatedJobs_55_9 + CreatedJobs_31_10 + CreatedJobs_42_1 + CreatedJobs_42_2 + CreatedJobs_42_3 + CreatedJobs_42_4 + CreatedJobs_42_5 + CreatedJobs_42_6 + CreatedJobs_42_7 + CreatedJobs_42_8 + CreatedJobs_42_9 + CreatedJobs_43_10 + CreatedJobs_55_10 + CreatedJobs_2_10 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_4_6 + CreatedJobs_4_7 + CreatedJobs_4_8 + CreatedJobs_4_9 + CreatedJobs_56_1 + CreatedJobs_56_2 + CreatedJobs_56_3 + CreatedJobs_56_4 + CreatedJobs_56_5 + CreatedJobs_56_6 + CreatedJobs_56_7 + CreatedJobs_56_8 + CreatedJobs_56_9 + CreatedJobs_43_1 + CreatedJobs_43_2 + CreatedJobs_43_3 + CreatedJobs_43_4 + CreatedJobs_43_5 + CreatedJobs_43_6 + CreatedJobs_43_7 + CreatedJobs_43_8 + CreatedJobs_43_9 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_30_6 + CreatedJobs_30_7 + CreatedJobs_30_8 + CreatedJobs_30_9 + CreatedJobs_12_10 + CreatedJobs_24_10 + CreatedJobs_36_10 + CreatedJobs_48_10 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_5_6 + CreatedJobs_5_7 + CreatedJobs_5_8 + CreatedJobs_5_9 + CreatedJobs_57_1 + CreatedJobs_57_2 + CreatedJobs_57_3 + CreatedJobs_57_4 + CreatedJobs_57_5 + CreatedJobs_57_6 + CreatedJobs_57_7 + CreatedJobs_57_8 + CreatedJobs_57_9 + CreatedJobs_44_1 + CreatedJobs_44_2 + CreatedJobs_44_3 + CreatedJobs_44_4 + CreatedJobs_44_5 + CreatedJobs_44_6 + CreatedJobs_44_7 + CreatedJobs_44_8 + CreatedJobs_44_9 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_31_6 + CreatedJobs_31_7 + CreatedJobs_31_8 + CreatedJobs_31_9 + CreatedJobs_7_10 + CreatedJobs_17_10 + CreatedJobs_29_10 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_6_6 + CreatedJobs_6_7 + CreatedJobs_6_8 + CreatedJobs_6_9 + CreatedJobs_58_1 + CreatedJobs_58_2 + CreatedJobs_58_3 + CreatedJobs_58_4 + CreatedJobs_58_5 + CreatedJobs_58_6 + CreatedJobs_58_7 + CreatedJobs_58_8 + CreatedJobs_58_9 + CreatedJobs_45_1 + CreatedJobs_45_2 + CreatedJobs_45_3 + CreatedJobs_45_4 + CreatedJobs_45_5 + CreatedJobs_45_6 + CreatedJobs_45_7 + CreatedJobs_45_8 + CreatedJobs_45_9 + CreatedJobs_30_10 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_32_6 + CreatedJobs_32_7 + CreatedJobs_32_8 + CreatedJobs_32_9 + CreatedJobs_42_10 + CreatedJobs_54_10 + CreatedJobs_1_10 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_7_6 + CreatedJobs_7_7 + CreatedJobs_7_8 + CreatedJobs_7_9 + CreatedJobs_59_1 + CreatedJobs_59_2 + CreatedJobs_59_3 + CreatedJobs_59_4 + CreatedJobs_59_5 + CreatedJobs_59_6 + CreatedJobs_59_7 + CreatedJobs_59_8 + CreatedJobs_59_9 + CreatedJobs_46_1 + CreatedJobs_46_2 + CreatedJobs_46_3 + CreatedJobs_46_4 + CreatedJobs_46_5 + CreatedJobs_46_6 + CreatedJobs_46_7 + CreatedJobs_46_8 + CreatedJobs_46_9 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_33_6 + CreatedJobs_33_7 + CreatedJobs_33_8 + CreatedJobs_33_9 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_20_6 + CreatedJobs_20_7 + CreatedJobs_20_8 + CreatedJobs_20_9 + CreatedJobs_11_10 + CreatedJobs_23_10 + CreatedJobs_35_10 + CreatedJobs_47_10 + CreatedJobs_59_10 + CreatedJobs_60_10 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_8_6 + CreatedJobs_8_7 + CreatedJobs_8_8 + CreatedJobs_8_9 + CreatedJobs_47_1 + CreatedJobs_47_2 + CreatedJobs_47_3 + CreatedJobs_47_4 + CreatedJobs_47_5 + CreatedJobs_47_6 + CreatedJobs_47_7 + CreatedJobs_47_8 + CreatedJobs_47_9 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_34_6 + CreatedJobs_34_7 + CreatedJobs_34_8 + CreatedJobs_34_9 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_21_6 + CreatedJobs_21_7 + CreatedJobs_21_8 + CreatedJobs_21_9 + CreatedJobs_6_10 + CreatedJobs_28_10 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_9_6 + CreatedJobs_9_7 + CreatedJobs_9_8 + CreatedJobs_9_9 + CreatedJobs_48_1 + CreatedJobs_48_2 + CreatedJobs_48_3 + CreatedJobs_48_4 + CreatedJobs_48_5 + CreatedJobs_48_6 + CreatedJobs_48_7 + CreatedJobs_48_8 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_35_5 + CreatedJobs_35_6 + CreatedJobs_35_7 + CreatedJobs_35_8 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_22_5 + CreatedJobs_22_6 + CreatedJobs_22_7 + CreatedJobs_22_8 + CreatedJobs_22_9 + CreatedJobs_15_8 + CreatedJobs_15_7 + CreatedJobs_0_10 + CreatedJobs_49_1 + CreatedJobs_49_2 + CreatedJobs_49_3 + CreatedJobs_49_4 + CreatedJobs_49_5 + CreatedJobs_49_6 + CreatedJobs_49_7 + CreatedJobs_49_8 + CreatedJobs_15_6 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_36_5 + CreatedJobs_36_6 + CreatedJobs_36_7 + CreatedJobs_36_8 + CreatedJobs_15_5 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_23_5 + CreatedJobs_23_6 + CreatedJobs_23_7 + CreatedJobs_23_8 + CreatedJobs_15_4 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_10_5 + CreatedJobs_10_6 + CreatedJobs_10_7 + CreatedJobs_10_8 + CreatedJobs_10_9 + CreatedJobs_15_3 + CreatedJobs_15_2 + CreatedJobs_15_1 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_37_5 + CreatedJobs_37_6 + CreatedJobs_37_7 + CreatedJobs_37_8 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_24_5 + CreatedJobs_24_6 + CreatedJobs_24_7 + CreatedJobs_24_8 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_11_5 + CreatedJobs_11_6 + CreatedJobs_11_7 + CreatedJobs_11_8 + CreatedJobs_5_10 + CreatedJobs_60_1 + CreatedJobs_60_2 + CreatedJobs_60_3 + CreatedJobs_60_4 + CreatedJobs_60_5 + CreatedJobs_60_6 + CreatedJobs_60_7 + CreatedJobs_60_8 + CreatedJobs_15_10 + CreatedJobs_27_10 + CreatedJobs_39_10 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_38_5 + CreatedJobs_38_6 + CreatedJobs_38_7 + CreatedJobs_38_8 + CreatedJobs_38_9 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_25_5 + CreatedJobs_25_6 + CreatedJobs_25_7 + CreatedJobs_25_8 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_12_5 + CreatedJobs_12_6 + CreatedJobs_12_7 + CreatedJobs_12_8 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_39_5 + CreatedJobs_39_6 + CreatedJobs_39_7 + CreatedJobs_39_8 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_26_5 + CreatedJobs_26_6 + CreatedJobs_26_7 + CreatedJobs_26_8 + CreatedJobs_26_9 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_13_6 + CreatedJobs_13_7 + CreatedJobs_13_8 + CreatedJobs_28_8 + CreatedJobs_28_7 + CreatedJobs_28_6 + CreatedJobs_28_5 + CreatedJobs_28_4 + CreatedJobs_28_3 + CreatedJobs_28_2 + CreatedJobs_28_1 + CreatedJobs_50_8 + CreatedJobs_50_7 + CreatedJobs_50_6 + CreatedJobs_27_1 + CreatedJobs_27_2 + CreatedJobs_27_3 + CreatedJobs_27_4 + CreatedJobs_27_5 + CreatedJobs_27_6 + CreatedJobs_27_7 + CreatedJobs_27_8 + CreatedJobs_50_5 + CreatedJobs_14_1 + CreatedJobs_14_2 + CreatedJobs_14_3 + CreatedJobs_14_4 + CreatedJobs_14_5 + CreatedJobs_14_6 + CreatedJobs_14_7 + CreatedJobs_14_8 + CreatedJobs_14_9 + CreatedJobs_50_4 + CreatedJobs_50_1 + CreatedJobs_50_2 + CreatedJobs_50_3 + CreatedJobs_4_10 + CreatedJobs_27_9 + CreatedJobs_50_9 + CreatedJobs_14_10 + CreatedJobs_26_10 + CreatedJobs_38_10 + CreatedJobs_28_9 + CreatedJobs_57_10 + CreatedJobs_45_10 + CreatedJobs_33_10 + CreatedJobs_21_10 + CreatedJobs_13_9 + CreatedJobs_39_9 + CreatedJobs_52_10 + CreatedJobs_40_10 + CreatedJobs_12_9 + CreatedJobs_25_9 + CreatedJobs_60_9 + CreatedJobs_11_9 + CreatedJobs_24_9 + CreatedJobs_37_9 + CreatedJobs_58_10 + CreatedJobs_46_10 + CreatedJobs_34_10 + CreatedJobs_22_10 + CreatedJobs_10_10 + CreatedJobs_23_9 + CreatedJobs_36_9 + CreatedJobs_49_9 + CreatedJobs_15_9 + CreatedJobs_53_10 + CreatedJobs_41_10 + CreatedJobs_35_9 + CreatedJobs_48_9 + CreatedJobs_16_10 + CreatedJobs_51_10 + CreatedJobs_51_1 + CreatedJobs_51_2 + CreatedJobs_51_3 + CreatedJobs_51_4 + CreatedJobs_51_5 + CreatedJobs_51_6 + CreatedJobs_51_7 + CreatedJobs_51_8 + CreatedJobs_51_9 + CreatedJobs_9_10 + CreatedJobs_19_10) : MAX(NotifyEventJobQueuedB_1_59 + NotifyEventJobQueuedB_1_58 + NotifyEventJobQueuedB_1_57 + NotifyEventJobQueuedB_1_56 + NotifyEventJobQueuedB_1_55 + NotifyEventJobQueuedB_1_54 + NotifyEventJobQueuedB_1_53 + NotifyEventJobQueuedB_1_52 + NotifyEventJobQueuedB_1_51 + NotifyEventJobQueuedB_1_50 + NotifyEventJobQueuedB_1_49 + NotifyEventJobQueuedB_1_48 + NotifyEventJobQueuedB_1_47 + NotifyEventJobQueuedB_1_46 + NotifyEventJobQueuedB_1_45 + NotifyEventJobQueuedB_1_44 + NotifyEventJobQueuedB_1_43 + NotifyEventJobQueuedB_1_42 + NotifyEventJobQueuedB_1_41 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_60 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(Try_Check_Sources_B_1) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40 + FetchJobE_1_41 + FetchJobE_1_42 + FetchJobE_1_43 + FetchJobE_1_44 + FetchJobE_1_45 + FetchJobE_1_46 + FetchJobE_1_47 + FetchJobE_1_48 + FetchJobE_1_49 + FetchJobE_1_50 + FetchJobE_1_51 + FetchJobE_1_52 + FetchJobE_1_53 + FetchJobE_1_54 + FetchJobE_1_55 + FetchJobE_1_56 + FetchJobE_1_57 + FetchJobE_1_58 + FetchJobE_1_59 + FetchJobE_1_60) : MAX(Check_Sources_B_1) : MAX(mi2) : MAX(place_521_1) : MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6320 markings, 7084 edges, 1264 markings/sec, 0 secs
lola: 12605 markings, 14235 edges, 1257 markings/sec, 5 secs
lola: 18904 markings, 21466 edges, 1260 markings/sec, 10 secs
lola: 25264 markings, 28814 edges, 1272 markings/sec, 15 secs
lola: 31594 markings, 36253 edges, 1266 markings/sec, 20 secs
lola: 37897 markings, 43837 edges, 1261 markings/sec, 25 secs
lola: 44198 markings, 51691 edges, 1260 markings/sec, 30 secs
lola: 50470 markings, 60022 edges, 1254 markings/sec, 35 secs
lola: 57214 markings, 71163 edges, 1349 markings/sec, 40 secs
lola: 65158 markings, 80931 edges, 1589 markings/sec, 45 secs
lola: 73465 markings, 90922 edges, 1661 markings/sec, 50 secs
lola: 81479 markings, 100782 edges, 1603 markings/sec, 55 secs
lola: 89723 markings, 110838 edges, 1649 markings/sec, 60 secs
lola: 97931 markings, 120850 edges, 1642 markings/sec, 65 secs
lola: 106088 markings, 130881 edges, 1631 markings/sec, 70 secs
lola: 114164 markings, 140890 edges, 1615 markings/sec, 75 secs
lola: 122277 markings, 150875 edges, 1623 markings/sec, 80 secs
lola: 130481 markings, 161118 edges, 1641 markings/sec, 85 secs
lola: 138670 markings, 171319 edges, 1638 markings/sec, 90 secs
lola: 146734 markings, 181482 edges, 1613 markings/sec, 95 secs
lola: 154987 markings, 191832 edges, 1651 markings/sec, 100 secs
lola: 163066 markings, 202186 edges, 1616 markings/sec, 105 secs
lola: 171206 markings, 212684 edges, 1628 markings/sec, 110 secs
lola: 179288 markings, 223281 edges, 1616 markings/sec, 115 secs
lola: 187328 markings, 234150 edges, 1608 markings/sec, 120 secs
lola: 195406 markings, 245735 edges, 1616 markings/sec, 125 secs
lola: 202088 markings, 257941 edges, 1336 markings/sec, 130 secs
lola: 206685 markings, 265215 edges, 919 markings/sec, 135 secs
lola: 211137 markings, 272322 edges, 890 markings/sec, 140 secs
lola: 215511 markings, 279401 edges, 875 markings/sec, 145 secs
lola: 219998 markings, 286625 edges, 897 markings/sec, 150 secs
lola: 224499 markings, 293878 edges, 900 markings/sec, 155 secs
lola: 229125 markings, 301294 edges, 925 markings/sec, 160 secs
lola: 233476 markings, 308498 edges, 870 markings/sec, 165 secs
lola: 238020 markings, 315925 edges, 909 markings/sec, 170 secs
lola: 242491 markings, 323319 edges, 894 markings/sec, 175 secs
lola: 246915 markings, 330685 edges, 885 markings/sec, 180 secs
lola: 251415 markings, 338264 edges, 900 markings/sec, 185 secs
lola: 255916 markings, 345906 edges, 900 markings/sec, 190 secs
lola: 260399 markings, 353654 edges, 897 markings/sec, 195 secs
lola: 264850 markings, 361535 edges, 890 markings/sec, 200 secs
lola: 269190 markings, 369613 edges, 868 markings/sec, 205 secs
lola: 273596 markings, 378366 edges, 881 markings/sec, 210 secs
lola: 278636 markings, 388962 edges, 1008 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3255 markings, 6459 edges, 651 markings/sec, 0 secs
lola: 6293 markings, 12527 edges, 608 markings/sec, 5 secs
lola: 9380 markings, 18666 edges, 617 markings/sec, 10 secs
lola: 12411 markings, 24715 edges, 606 markings/sec, 15 secs
lola: 15421 markings, 30728 edges, 602 markings/sec, 20 secs
lola: 18455 markings, 37096 edges, 607 markings/sec, 25 secs
lola: 21455 markings, 43216 edges, 600 markings/sec, 30 secs
lola: 24436 markings, 49311 edges, 596 markings/sec, 35 secs
lola: 27736 markings, 56153 edges, 660 markings/sec, 40 secs
lola: 30779 markings, 62230 edges, 609 markings/sec, 45 secs
lola: 33827 markings, 68556 edges, 610 markings/sec, 50 secs
lola: 36764 markings, 74599 edges, 587 markings/sec, 55 secs
lola: 39683 markings, 80864 edges, 584 markings/sec, 60 secs
lola: 42961 markings, 87451 edges, 656 markings/sec, 65 secs
lola: 46026 markings, 93569 edges, 613 markings/sec, 70 secs
lola: 48961 markings, 99869 edges, 587 markings/sec, 75 secs
lola: 52087 markings, 106587 edges, 625 markings/sec, 80 secs
lola: 55153 markings, 112712 edges, 613 markings/sec, 85 secs
lola: 58154 markings, 119089 edges, 600 markings/sec, 90 secs
lola: 61311 markings, 125909 edges, 631 markings/sec, 95 secs
lola: 64417 markings, 132096 edges, 621 markings/sec, 100 secs
lola: 67303 markings, 138360 edges, 577 markings/sec, 105 secs
lola: 70477 markings, 145135 edges, 635 markings/sec, 110 secs
lola: 73470 markings, 151485 edges, 599 markings/sec, 115 secs
lola: 76620 markings, 158324 edges, 630 markings/sec, 120 secs
lola: 79650 markings, 164729 edges, 606 markings/sec, 125 secs
lola: 82756 markings, 171516 edges, 621 markings/sec, 130 secs
lola: 85754 markings, 177889 edges, 600 markings/sec, 135 secs
lola: 88897 markings, 184717 edges, 629 markings/sec, 140 secs
lola: 91810 markings, 191046 edges, 583 markings/sec, 145 secs
lola: 95024 markings, 198163 edges, 643 markings/sec, 150 secs
lola: 98080 markings, 204946 edges, 611 markings/sec, 155 secs
lola: 100999 markings, 211288 edges, 584 markings/sec, 160 secs
lola: 104164 markings, 218399 edges, 633 markings/sec, 165 secs
lola: 107289 markings, 225232 edges, 625 markings/sec, 170 secs
lola: 110341 markings, 232280 edges, 610 markings/sec, 175 secs
lola: 113396 markings, 239341 edges, 611 markings/sec, 180 secs
lola: 116450 markings, 246403 edges, 611 markings/sec, 185 secs
lola: 119514 markings, 253474 edges, 613 markings/sec, 190 secs
lola: 122572 markings, 260550 edges, 612 markings/sec, 195 secs
lola: 125637 markings, 267638 edges, 613 markings/sec, 200 secs
lola: 128663 markings, 274968 edges, 605 markings/sec, 205 secs
lola: 131641 markings, 282030 edges, 596 markings/sec, 210 secs
lola: 134945 markings, 289657 edges, 661 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6098 markings, 6796 edges, 1220 markings/sec, 0 secs
lola: 12032 markings, 13545 edges, 1187 markings/sec, 5 secs
lola: 17910 markings, 20291 edges, 1176 markings/sec, 10 secs
lola: 23819 markings, 27121 edges, 1182 markings/sec, 15 secs
lola: 29717 markings, 34026 edges, 1180 markings/sec, 20 secs
lola: 35558 markings, 41032 edges, 1168 markings/sec, 25 secs
lola: 41549 markings, 48355 edges, 1198 markings/sec, 30 secs
lola: 47430 markings, 55933 edges, 1176 markings/sec, 35 secs
lola: 53193 markings, 64143 edges, 1153 markings/sec, 40 secs
lola: 60197 markings, 74894 edges, 1401 markings/sec, 45 secs
lola: 67966 markings, 84253 edges, 1554 markings/sec, 50 secs
lola: 75864 markings, 93847 edges, 1580 markings/sec, 55 secs
lola: 83464 markings, 103240 edges, 1520 markings/sec, 60 secs
lola: 91204 markings, 112595 edges, 1548 markings/sec, 65 secs
lola: 98659 markings, 121818 edges, 1491 markings/sec, 70 secs
lola: 106403 markings, 131328 edges, 1549 markings/sec, 75 secs
lola: 114200 markings, 140941 edges, 1559 markings/sec, 80 secs
lola: 121943 markings, 150526 edges, 1549 markings/sec, 85 secs
lola: 129784 markings, 160195 edges, 1568 markings/sec, 90 secs
lola: 137454 markings, 169823 edges, 1534 markings/sec, 95 secs
lola: 145202 markings, 179555 edges, 1550 markings/sec, 100 secs
lola: 152947 markings, 189261 edges, 1549 markings/sec, 105 secs
lola: 160673 markings, 199145 edges, 1545 markings/sec, 110 secs
lola: 168379 markings, 209007 edges, 1541 markings/sec, 115 secs
lola: 176099 markings, 219092 edges, 1544 markings/sec, 120 secs
lola: 183847 markings, 229376 edges, 1550 markings/sec, 125 secs
lola: 191436 markings, 239893 edges, 1518 markings/sec, 130 secs
lola: 199078 markings, 251751 edges, 1528 markings/sec, 135 secs
lola: 204085 markings, 261009 edges, 1001 markings/sec, 140 secs
lola: 208179 markings, 267684 edges, 819 markings/sec, 145 secs
lola: 212589 markings, 274600 edges, 882 markings/sec, 150 secs
lola: 216672 markings, 281264 edges, 817 markings/sec, 155 secs
lola: 220918 markings, 288140 edges, 849 markings/sec, 160 secs
lola: 225184 markings, 295004 edges, 853 markings/sec, 165 secs
lola: 229377 markings, 301833 edges, 839 markings/sec, 170 secs
lola: 233556 markings, 308624 edges, 836 markings/sec, 175 secs
lola: 237924 markings, 315713 edges, 874 markings/sec, 180 secs
lola: 241948 markings, 322425 edges, 805 markings/sec, 185 secs
lola: 246221 markings, 329516 edges, 855 markings/sec, 190 secs
lola: 250547 markings, 336767 edges, 865 markings/sec, 195 secs
lola: 254825 markings, 344003 edges, 856 markings/sec, 200 secs
lola: 258671 markings, 350610 edges, 769 markings/sec, 205 secs
lola: 262354 markings, 357112 edges, 737 markings/sec, 210 secs
lola: 265998 markings, 363649 edges, 729 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_33 + AvailableJobId_34 + AvailableJobId_35 + AvailableJobId_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6339 markings, 7110 edges, 1268 markings/sec, 0 secs
lola: 12649 markings, 14279 edges, 1262 markings/sec, 5 secs
lola: 18944 markings, 21506 edges, 1259 markings/sec, 10 secs
lola: 25280 markings, 28837 edges, 1267 markings/sec, 15 secs
lola: 31539 markings, 36198 edges, 1252 markings/sec, 20 secs
lola: 37739 markings, 43679 edges, 1240 markings/sec, 25 secs
lola: 43974 markings, 51429 edges, 1247 markings/sec, 30 secs
lola: 50221 markings, 59656 edges, 1249 markings/sec, 35 secs
lola: 56714 markings, 70545 edges, 1299 markings/sec, 40 secs
lola: 64562 markings, 80108 edges, 1570 markings/sec, 45 secs
lola: 72179 markings, 89482 edges, 1523 markings/sec, 50 secs
lola: 80033 markings, 98938 edges, 1571 markings/sec, 55 secs
lola: 87758 markings, 108469 edges, 1545 markings/sec, 60 secs
lola: 95592 markings, 117971 edges, 1567 markings/sec, 65 secs
lola: 103242 markings, 127377 edges, 1530 markings/sec, 70 secs
lola: 110991 markings, 136928 edges, 1550 markings/sec, 75 secs
lola: 118769 markings, 146532 edges, 1556 markings/sec, 80 secs
lola: 126627 markings, 156258 edges, 1572 markings/sec, 85 secs
lola: 134235 markings, 165784 edges, 1522 markings/sec, 90 secs
lola: 142012 markings, 175533 edges, 1555 markings/sec, 95 secs
lola: 149714 markings, 185241 edges, 1540 markings/sec, 100 secs
lola: 157509 markings, 195050 edges, 1559 markings/sec, 105 secs
lola: 165217 markings, 204915 edges, 1542 markings/sec, 110 secs
lola: 172846 markings, 214783 edges, 1526 markings/sec, 115 secs
lola: 180557 markings, 225010 edges, 1542 markings/sec, 120 secs
lola: 188232 markings, 235421 edges, 1535 markings/sec, 125 secs
lola: 195886 markings, 246463 edges, 1531 markings/sec, 130 secs
lola: 202122 markings, 257990 edges, 1247 markings/sec, 135 secs
lola: 206550 markings, 264936 edges, 886 markings/sec, 140 secs
lola: 210634 markings, 271603 edges, 817 markings/sec, 145 secs
lola: 215025 markings, 278528 edges, 878 markings/sec, 150 secs
lola: 219198 markings, 285281 edges, 835 markings/sec, 155 secs
lola: 223380 markings, 292076 edges, 836 markings/sec, 160 secs
lola: 227662 markings, 299006 edges, 856 markings/sec, 165 secs
lola: 232008 markings, 306020 edges, 869 markings/sec, 170 secs
lola: 236210 markings, 312975 edges, 840 markings/sec, 175 secs
lola: 240543 markings, 320016 edges, 867 markings/sec, 180 secs
lola: 244782 markings, 327063 edges, 848 markings/sec, 185 secs
lola: 249013 markings, 334181 edges, 846 markings/sec, 190 secs
lola: 253275 markings, 341355 edges, 852 markings/sec, 195 secs
lola: 257516 markings, 348642 edges, 848 markings/sec, 200 secs
lola: 261754 markings, 356031 edges, 848 markings/sec, 205 secs
lola: 265969 markings, 363588 edges, 843 markings/sec, 210 secs
lola: 270193 markings, 371472 edges, 845 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2068 markings, 2607 edges, 414 markings/sec, 0 secs
lola: 4162 markings, 5241 edges, 419 markings/sec, 5 secs
lola: 6247 markings, 7911 edges, 417 markings/sec, 10 secs
lola: 8340 markings, 10544 edges, 419 markings/sec, 15 secs
lola: 10319 markings, 16182 edges, 396 markings/sec, 20 secs
lola: 12101 markings, 20106 edges, 356 markings/sec, 25 secs
lola: 13993 markings, 24218 edges, 378 markings/sec, 30 secs
lola: 16073 markings, 26883 edges, 416 markings/sec, 35 secs
lola: 18163 markings, 29513 edges, 418 markings/sec, 40 secs
lola: 20241 markings, 32176 edges, 416 markings/sec, 45 secs
lola: 22330 markings, 34805 edges, 418 markings/sec, 50 secs
lola: 24184 markings, 40930 edges, 371 markings/sec, 55 secs
lola: 25966 markings, 44859 edges, 356 markings/sec, 60 secs
lola: 27926 markings, 48423 edges, 392 markings/sec, 65 secs
lola: 29943 markings, 50980 edges, 403 markings/sec, 70 secs
lola: 31971 markings, 53548 edges, 406 markings/sec, 75 secs
lola: 33995 markings, 56112 edges, 405 markings/sec, 80 secs
lola: 35996 markings, 61310 edges, 400 markings/sec, 85 secs
lola: 37737 markings, 65152 edges, 348 markings/sec, 90 secs
lola: 39500 markings, 69569 edges, 353 markings/sec, 95 secs
lola: 41523 markings, 72132 edges, 405 markings/sec, 100 secs
lola: 43547 markings, 74696 edges, 405 markings/sec, 105 secs
lola: 45548 markings, 77237 edges, 400 markings/sec, 110 secs
lola: 47490 markings, 79699 edges, 388 markings/sec, 115 secs
lola: 49344 markings, 85081 edges, 371 markings/sec, 120 secs
lola: 51018 markings, 88777 edges, 335 markings/sec, 125 secs
lola: 52746 markings, 92815 edges, 346 markings/sec, 130 secs
lola: 54765 markings, 95389 edges, 404 markings/sec, 135 secs
lola: 56801 markings, 97973 edges, 407 markings/sec, 140 secs
lola: 58841 markings, 100553 edges, 408 markings/sec, 145 secs
lola: 60879 markings, 103131 edges, 408 markings/sec, 150 secs
lola: 62735 markings, 109110 edges, 371 markings/sec, 155 secs
lola: 64498 markings, 112996 edges, 353 markings/sec, 160 secs
lola: 66462 markings, 116618 edges, 393 markings/sec, 165 secs
lola: 68494 markings, 119214 edges, 406 markings/sec, 170 secs
lola: 70535 markings, 121795 edges, 408 markings/sec, 175 secs
lola: 72574 markings, 124374 edges, 408 markings/sec, 180 secs
lola: 74568 markings, 129699 edges, 399 markings/sec, 185 secs
lola: 76331 markings, 133585 edges, 353 markings/sec, 190 secs
lola: 78159 markings, 137848 edges, 366 markings/sec, 195 secs
lola: 80192 markings, 140450 edges, 407 markings/sec, 200 secs
lola: 82228 markings, 143037 edges, 407 markings/sec, 205 secs
lola: 84268 markings, 145617 edges, 408 markings/sec, 210 secs
lola: 86307 markings, 148196 edges, 408 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6329 markings, 7096 edges, 1266 markings/sec, 0 secs
lola: 12601 markings, 14231 edges, 1254 markings/sec, 5 secs
lola: 18860 markings, 21422 edges, 1252 markings/sec, 10 secs
lola: 25230 markings, 28767 edges, 1274 markings/sec, 15 secs
lola: 31488 markings, 36147 edges, 1252 markings/sec, 20 secs
lola: 37761 markings, 43701 edges, 1255 markings/sec, 25 secs
lola: 44051 markings, 51506 edges, 1258 markings/sec, 30 secs
lola: 50299 markings, 59803 edges, 1250 markings/sec, 35 secs
lola: 57006 markings, 70899 edges, 1341 markings/sec, 40 secs
lola: 64966 markings, 80680 edges, 1592 markings/sec, 45 secs
lola: 73142 markings, 90531 edges, 1635 markings/sec, 50 secs
lola: 81200 markings, 100471 edges, 1612 markings/sec, 55 secs
lola: 89480 markings, 110493 edges, 1656 markings/sec, 60 secs
lola: 97541 markings, 120366 edges, 1612 markings/sec, 65 secs
lola: 105673 markings, 130360 edges, 1626 markings/sec, 70 secs
lola: 113867 markings, 140470 edges, 1639 markings/sec, 75 secs
lola: 121844 markings, 150427 edges, 1595 markings/sec, 80 secs
lola: 130114 markings, 160595 edges, 1654 markings/sec, 85 secs
lola: 138195 markings, 170692 edges, 1616 markings/sec, 90 secs
lola: 146354 markings, 180944 edges, 1632 markings/sec, 95 secs
lola: 154356 markings, 191044 edges, 1600 markings/sec, 100 secs
lola: 162331 markings, 201212 edges, 1595 markings/sec, 105 secs
lola: 170418 markings, 211691 edges, 1617 markings/sec, 110 secs
lola: 178416 markings, 222113 edges, 1600 markings/sec, 115 secs
lola: 186398 markings, 232894 edges, 1596 markings/sec, 120 secs
lola: 194380 markings, 244209 edges, 1596 markings/sec, 125 secs
lola: 201626 markings, 257144 edges, 1449 markings/sec, 130 secs
lola: 205923 markings, 264047 edges, 859 markings/sec, 135 secs
lola: 210442 markings, 271271 edges, 904 markings/sec, 140 secs
lola: 214977 markings, 278423 edges, 907 markings/sec, 145 secs
lola: 219366 markings, 285519 edges, 878 markings/sec, 150 secs
lola: 223824 markings, 292705 edges, 892 markings/sec, 155 secs
lola: 228244 markings, 299923 edges, 884 markings/sec, 160 secs
lola: 232631 markings, 307116 edges, 877 markings/sec, 165 secs
lola: 237156 markings, 314542 edges, 905 markings/sec, 170 secs
lola: 241652 markings, 321939 edges, 899 markings/sec, 175 secs
lola: 246095 markings, 329316 edges, 889 markings/sec, 180 secs
lola: 250610 markings, 336902 edges, 903 markings/sec, 185 secs
lola: 255057 markings, 344431 edges, 889 markings/sec, 190 secs
lola: 259536 markings, 352173 edges, 896 markings/sec, 195 secs
lola: 264010 markings, 360071 edges, 895 markings/sec, 200 secs
lola: 268371 markings, 368070 edges, 872 markings/sec, 205 secs
lola: 272611 markings, 376266 edges, 848 markings/sec, 210 secs
lola: 277092 markings, 387200 edges, 896 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(block)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6084 markings, 7240 edges, 1217 markings/sec, 0 secs
lola: 12106 markings, 14077 edges, 1204 markings/sec, 5 secs
lola: 18348 markings, 21251 edges, 1248 markings/sec, 10 secs
lola: 24742 markings, 28598 edges, 1279 markings/sec, 15 secs
lola: 30920 markings, 35900 edges, 1236 markings/sec, 20 secs
lola: 37259 markings, 43475 edges, 1268 markings/sec, 25 secs
lola: 43471 markings, 51151 edges, 1242 markings/sec, 30 secs
lola: 49704 markings, 59364 edges, 1247 markings/sec, 35 secs
lola: 55997 markings, 70144 edges, 1259 markings/sec, 40 secs
lola: 64190 markings, 80031 edges, 1639 markings/sec, 45 secs
lola: 72248 markings, 89939 edges, 1612 markings/sec, 50 secs
lola: 80422 markings, 99811 edges, 1635 markings/sec, 55 secs
lola: 88443 markings, 109681 edges, 1604 markings/sec, 60 secs
lola: 96583 markings, 119681 edges, 1628 markings/sec, 65 secs
lola: 104731 markings, 129677 edges, 1630 markings/sec, 70 secs
lola: 112829 markings, 139664 edges, 1620 markings/sec, 75 secs
lola: 121012 markings, 149703 edges, 1637 markings/sec, 80 secs
lola: 129102 markings, 159813 edges, 1618 markings/sec, 85 secs
lola: 137291 markings, 169981 edges, 1638 markings/sec, 90 secs
lola: 145351 markings, 180115 edges, 1612 markings/sec, 95 secs
lola: 153477 markings, 190326 edges, 1625 markings/sec, 100 secs
lola: 161585 markings, 200650 edges, 1622 markings/sec, 105 secs
lola: 169628 markings, 211021 edges, 1609 markings/sec, 110 secs
lola: 177776 markings, 221677 edges, 1630 markings/sec, 115 secs
lola: 185827 markings, 232470 edges, 1610 markings/sec, 120 secs
lola: 193843 markings, 243739 edges, 1603 markings/sec, 125 secs
lola: 201405 markings, 257101 edges, 1512 markings/sec, 130 secs
lola: 205816 markings, 264199 edges, 882 markings/sec, 135 secs
lola: 210300 markings, 271263 edges, 897 markings/sec, 140 secs
lola: 214466 markings, 278045 edges, 833 markings/sec, 145 secs
lola: 218832 markings, 285022 edges, 873 markings/sec, 150 secs
lola: 223167 markings, 291963 edges, 867 markings/sec, 155 secs
lola: 227447 markings, 298915 edges, 856 markings/sec, 160 secs
lola: 231664 markings, 305858 edges, 843 markings/sec, 165 secs
lola: 236007 markings, 312885 edges, 869 markings/sec, 170 secs
lola: 240253 markings, 319921 edges, 849 markings/sec, 175 secs
lola: 244557 markings, 327055 edges, 861 markings/sec, 180 secs
lola: 248865 markings, 334231 edges, 862 markings/sec, 185 secs
lola: 253142 markings, 341465 edges, 855 markings/sec, 190 secs
lola: 257435 markings, 348808 edges, 859 markings/sec, 195 secs
lola: 261711 markings, 356258 edges, 855 markings/sec, 200 secs
lola: 266003 markings, 363906 edges, 858 markings/sec, 205 secs
lola: 270249 markings, 371842 edges, 849 markings/sec, 210 secs
lola: 274515 markings, 380508 edges, 853 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3548 markings, 6966 edges, 710 markings/sec, 0 secs
lola: 6840 markings, 13455 edges, 658 markings/sec, 5 secs
lola: 10076 markings, 19855 edges, 647 markings/sec, 10 secs
lola: 13201 markings, 26421 edges, 625 markings/sec, 15 secs
lola: 16320 markings, 32759 edges, 624 markings/sec, 20 secs
lola: 19734 markings, 39852 edges, 683 markings/sec, 25 secs
lola: 22978 markings, 46266 edges, 649 markings/sec, 30 secs
lola: 26196 markings, 52895 edges, 644 markings/sec, 35 secs
lola: 29279 markings, 59216 edges, 617 markings/sec, 40 secs
lola: 32635 markings, 66281 edges, 671 markings/sec, 45 secs
lola: 35886 markings, 72705 edges, 650 markings/sec, 50 secs
lola: 39043 markings, 79308 edges, 631 markings/sec, 55 secs
lola: 42095 markings, 85613 edges, 610 markings/sec, 60 secs
lola: 45547 markings, 92752 edges, 690 markings/sec, 65 secs
lola: 48716 markings, 99367 edges, 634 markings/sec, 70 secs
lola: 51825 markings, 105946 edges, 622 markings/sec, 75 secs
lola: 55221 markings, 112823 edges, 679 markings/sec, 80 secs
lola: 58302 markings, 119389 edges, 616 markings/sec, 85 secs
lola: 61643 markings, 126471 edges, 668 markings/sec, 90 secs
lola: 64810 markings, 133105 edges, 633 markings/sec, 95 secs
lola: 68092 markings, 140163 edges, 656 markings/sec, 100 secs
lola: 71272 markings, 146811 edges, 636 markings/sec, 105 secs
lola: 74529 markings, 153857 edges, 651 markings/sec, 110 secs
lola: 77683 markings, 160492 edges, 631 markings/sec, 115 secs
lola: 80986 markings, 167581 edges, 661 markings/sec, 120 secs
lola: 84044 markings, 174166 edges, 612 markings/sec, 125 secs
lola: 87367 markings, 181200 edges, 665 markings/sec, 130 secs
lola: 90419 markings, 188226 edges, 610 markings/sec, 135 secs
lola: 93406 markings, 194573 edges, 597 markings/sec, 140 secs
lola: 96511 markings, 201354 edges, 621 markings/sec, 145 secs
lola: 99505 markings, 207958 edges, 599 markings/sec, 150 secs
lola: 102515 markings, 214700 edges, 602 markings/sec, 155 secs
lola: 105668 markings, 221556 edges, 631 markings/sec, 160 secs
lola: 108676 markings, 228531 edges, 602 markings/sec, 165 secs
lola: 111705 markings, 235539 edges, 606 markings/sec, 170 secs
lola: 114794 markings, 242647 edges, 618 markings/sec, 175 secs
lola: 117869 markings, 249743 edges, 615 markings/sec, 180 secs
lola: 120946 markings, 256849 edges, 615 markings/sec, 185 secs
lola: 123998 markings, 263915 edges, 610 markings/sec, 190 secs
lola: 127022 markings, 270932 edges, 605 markings/sec, 195 secs
lola: 130027 markings, 278244 edges, 601 markings/sec, 200 secs
lola: 133124 markings, 286017 edges, 619 markings/sec, 205 secs
lola: 136470 markings, 293145 edges, 669 markings/sec, 210 secs
lola: 139590 markings, 300926 edges, 624 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1671 markings, 2126 edges, 334 markings/sec, 0 secs
lola: 3339 markings, 4261 edges, 334 markings/sec, 5 secs
lola: 5011 markings, 6394 edges, 334 markings/sec, 10 secs
lola: 6682 markings, 8530 edges, 334 markings/sec, 15 secs
lola: 8345 markings, 10675 edges, 333 markings/sec, 20 secs
lola: 10008 markings, 12820 edges, 333 markings/sec, 25 secs
lola: 11678 markings, 14959 edges, 334 markings/sec, 30 secs
lola: 13344 markings, 17093 edges, 333 markings/sec, 35 secs
lola: 15025 markings, 19237 edges, 336 markings/sec, 40 secs
lola: 16712 markings, 21396 edges, 337 markings/sec, 45 secs
lola: 18391 markings, 23561 edges, 336 markings/sec, 50 secs
lola: 20079 markings, 25733 edges, 338 markings/sec, 55 secs
lola: 21757 markings, 27880 edges, 336 markings/sec, 60 secs
lola: 23432 markings, 35653 edges, 335 markings/sec, 65 secs
lola: 25121 markings, 37807 edges, 338 markings/sec, 70 secs
lola: 26804 markings, 39959 edges, 337 markings/sec, 75 secs
lola: 28473 markings, 42112 edges, 334 markings/sec, 80 secs
lola: 30230 markings, 44372 edges, 351 markings/sec, 85 secs
lola: 31994 markings, 46617 edges, 353 markings/sec, 90 secs
lola: 33744 markings, 48886 edges, 350 markings/sec, 95 secs
lola: 35510 markings, 51131 edges, 353 markings/sec, 100 secs
lola: 37264 markings, 53384 edges, 351 markings/sec, 105 secs
lola: 39020 markings, 55647 edges, 351 markings/sec, 110 secs
lola: 40782 markings, 57884 edges, 352 markings/sec, 115 secs
lola: 42530 markings, 60156 edges, 350 markings/sec, 120 secs
lola: 44297 markings, 62402 edges, 353 markings/sec, 125 secs
lola: 46053 markings, 64655 edges, 351 markings/sec, 130 secs
lola: 47803 markings, 72535 edges, 350 markings/sec, 135 secs
lola: 49563 markings, 74785 edges, 352 markings/sec, 140 secs
lola: 51323 markings, 77030 edges, 352 markings/sec, 145 secs
lola: 53078 markings, 79298 edges, 351 markings/sec, 150 secs
lola: 54840 markings, 81537 edges, 352 markings/sec, 155 secs
lola: 56590 markings, 83793 edges, 350 markings/sec, 160 secs
lola: 58346 markings, 86050 edges, 351 markings/sec, 165 secs
lola: 60106 markings, 88289 edges, 352 markings/sec, 170 secs
lola: 61857 markings, 90559 edges, 350 markings/sec, 175 secs
lola: 63617 markings, 92800 edges, 352 markings/sec, 180 secs
lola: 65371 markings, 95055 edges, 351 markings/sec, 185 secs
lola: 67129 markings, 97317 edges, 352 markings/sec, 190 secs
lola: 68891 markings, 99558 edges, 352 markings/sec, 195 secs
lola: 70643 markings, 107439 edges, 350 markings/sec, 200 secs
lola: 72399 markings, 109706 edges, 351 markings/sec, 205 secs
lola: 74167 markings, 111947 edges, 354 markings/sec, 210 secs
lola: 75917 markings, 114223 edges, 350 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_59 + NotifyEventJobQueuedB_1_58 + NotifyEventJobQueuedB_1_57 + NotifyEventJobQueuedB_1_56 + NotifyEventJobQueuedB_1_55 + NotifyEventJobQueuedB_1_54 + NotifyEventJobQueuedB_1_53 + NotifyEventJobQueuedB_1_52 + NotifyEventJobQueuedB_1_51 + NotifyEventJobQueuedB_1_50 + NotifyEventJobQueuedB_1_49 + NotifyEventJobQueuedB_1_48 + NotifyEventJobQueuedB_1_47 + NotifyEventJobQueue... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1760 markings, 2234 edges, 352 markings/sec, 0 secs
lola: 3520 markings, 4482 edges, 352 markings/sec, 5 secs
lola: 5272 markings, 6744 edges, 350 markings/sec, 10 secs
lola: 7032 markings, 8984 edges, 352 markings/sec, 15 secs
lola: 8781 markings, 11235 edges, 350 markings/sec, 20 secs
lola: 10539 markings, 13495 edges, 352 markings/sec, 25 secs
lola: 12261 markings, 15684 edges, 344 markings/sec, 30 secs
lola: 13941 markings, 17848 edges, 336 markings/sec, 35 secs
lola: 15621 markings, 20027 edges, 336 markings/sec, 40 secs
lola: 17307 markings, 22183 edges, 337 markings/sec, 45 secs
lola: 18996 markings, 24333 edges, 338 markings/sec, 50 secs
lola: 20688 markings, 26491 edges, 338 markings/sec, 55 secs
lola: 22367 markings, 28660 edges, 336 markings/sec, 60 secs
lola: 24051 markings, 36438 edges, 337 markings/sec, 65 secs
lola: 25730 markings, 38610 edges, 336 markings/sec, 70 secs
lola: 27417 markings, 40767 edges, 337 markings/sec, 75 secs
lola: 29107 markings, 42918 edges, 338 markings/sec, 80 secs
lola: 30791 markings, 45073 edges, 337 markings/sec, 85 secs
lola: 32469 markings, 47237 edges, 336 markings/sec, 90 secs
lola: 34150 markings, 49405 edges, 336 markings/sec, 95 secs
lola: 35834 markings, 51559 edges, 337 markings/sec, 100 secs
lola: 37521 markings, 53710 edges, 337 markings/sec, 105 secs
lola: 39204 markings, 55862 edges, 337 markings/sec, 110 secs
lola: 40882 markings, 58025 edges, 336 markings/sec, 115 secs
lola: 42567 markings, 60197 edges, 337 markings/sec, 120 secs
lola: 44256 markings, 62357 edges, 338 markings/sec, 125 secs
lola: 45947 markings, 64509 edges, 338 markings/sec, 130 secs
lola: 47624 markings, 72287 edges, 335 markings/sec, 135 secs
lola: 49308 markings, 74443 edges, 337 markings/sec, 140 secs
lola: 50988 markings, 76609 edges, 336 markings/sec, 145 secs
lola: 52674 markings, 78779 edges, 337 markings/sec, 150 secs
lola: 54357 markings, 80932 edges, 337 markings/sec, 155 secs
lola: 56048 markings, 83085 edges, 338 markings/sec, 160 secs
lola: 57725 markings, 85240 edges, 335 markings/sec, 165 secs
lola: 59402 markings, 87410 edges, 335 markings/sec, 170 secs
lola: 61087 markings, 89571 edges, 337 markings/sec, 175 secs
lola: 62770 markings, 91722 edges, 337 markings/sec, 180 secs
lola: 64462 markings, 93874 edges, 338 markings/sec, 185 secs
lola: 66143 markings, 96043 edges, 336 markings/sec, 190 secs
lola: 67823 markings, 98217 edges, 336 markings/sec, 195 secs
lola: 69508 markings, 100372 edges, 337 markings/sec, 200 secs
lola: 71190 markings, 108151 edges, 336 markings/sec, 205 secs
lola: 72880 markings, 110309 edges, 338 markings/sec, 210 secs
lola: 74571 markings, 112464 edges, 338 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6366 markings, 7155 edges, 1273 markings/sec, 0 secs
lola: 12741 markings, 14371 edges, 1275 markings/sec, 5 secs
lola: 18956 markings, 21518 edges, 1243 markings/sec, 10 secs
lola: 24988 markings, 28482 edges, 1206 markings/sec, 15 secs
lola: 30984 markings, 35526 edges, 1199 markings/sec, 20 secs
lola: 36959 markings, 42708 edges, 1195 markings/sec, 25 secs
lola: 42920 markings, 50079 edges, 1192 markings/sec, 30 secs
lola: 48886 markings, 57855 edges, 1193 markings/sec, 35 secs
lola: 54816 markings, 67103 edges, 1186 markings/sec, 40 secs
lola: 62393 markings, 77528 edges, 1515 markings/sec, 45 secs
lola: 70077 markings, 86877 edges, 1537 markings/sec, 50 secs
lola: 77931 markings, 96372 edges, 1571 markings/sec, 55 secs
lola: 85588 markings, 105829 edges, 1531 markings/sec, 60 secs
lola: 93431 markings, 115328 edges, 1569 markings/sec, 65 secs
lola: 101063 markings, 124702 edges, 1526 markings/sec, 70 secs
lola: 108827 markings, 134300 edges, 1553 markings/sec, 75 secs
lola: 116589 markings, 143872 edges, 1552 markings/sec, 80 secs
lola: 124415 markings, 153530 edges, 1565 markings/sec, 85 secs
lola: 132155 markings, 163208 edges, 1548 markings/sec, 90 secs
lola: 139975 markings, 172916 edges, 1564 markings/sec, 95 secs
lola: 147718 markings, 182645 edges, 1549 markings/sec, 100 secs
lola: 155356 markings, 192384 edges, 1528 markings/sec, 105 secs
lola: 163127 markings, 202281 edges, 1554 markings/sec, 110 secs
lola: 170839 markings, 212210 edges, 1542 markings/sec, 115 secs
lola: 178559 markings, 222351 edges, 1544 markings/sec, 120 secs
lola: 186272 markings, 232723 edges, 1543 markings/sec, 125 secs
lola: 193896 markings, 243487 edges, 1525 markings/sec, 130 secs
lola: 201095 markings, 256319 edges, 1440 markings/sec, 135 secs
lola: 205396 markings, 263151 edges, 860 markings/sec, 140 secs
lola: 209516 markings, 269808 edges, 824 markings/sec, 145 secs
lola: 213891 markings, 276753 edges, 875 markings/sec, 150 secs
lola: 218122 markings, 283546 edges, 846 markings/sec, 155 secs
lola: 222288 markings, 290320 edges, 833 markings/sec, 160 secs
lola: 226550 markings, 297223 edges, 852 markings/sec, 165 secs
lola: 230880 markings, 304216 edges, 866 markings/sec, 170 secs
lola: 235161 markings, 311223 edges, 856 markings/sec, 175 secs
lola: 239482 markings, 318310 edges, 864 markings/sec, 180 secs
lola: 244038 markings, 325811 edges, 911 markings/sec, 185 secs
lola: 248241 markings, 332908 edges, 841 markings/sec, 190 secs
lola: 252742 markings, 340487 edges, 900 markings/sec, 195 secs
lola: 257127 markings, 348031 edges, 877 markings/sec, 200 secs
lola: 261391 markings, 355465 edges, 853 markings/sec, 205 secs
lola: 265676 markings, 363101 edges, 857 markings/sec, 210 secs
lola: 269922 markings, 370961 edges, 849 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6183 markings, 7339 edges, 1237 markings/sec, 0 secs
lola: 12245 markings, 14216 edges, 1212 markings/sec, 5 secs
lola: 18237 markings, 21103 edges, 1198 markings/sec, 10 secs
lola: 24250 markings, 28085 edges, 1203 markings/sec, 15 secs
lola: 30295 markings, 35160 edges, 1209 markings/sec, 20 secs
lola: 36360 markings, 42409 edges, 1213 markings/sec, 25 secs
lola: 42377 markings, 49794 edges, 1203 markings/sec, 30 secs
lola: 48437 markings, 57631 edges, 1212 markings/sec, 35 secs
lola: 54488 markings, 66595 edges, 1210 markings/sec, 40 secs
lola: 62069 markings, 77452 edges, 1516 markings/sec, 45 secs
lola: 69847 markings, 86998 edges, 1556 markings/sec, 50 secs
lola: 77664 markings, 96449 edges, 1563 markings/sec, 55 secs
lola: 85607 markings, 106198 edges, 1589 markings/sec, 60 secs
lola: 93451 markings, 115750 edges, 1569 markings/sec, 65 secs
lola: 101181 markings, 125278 edges, 1546 markings/sec, 70 secs
lola: 108956 markings, 134887 edges, 1555 markings/sec, 75 secs
lola: 116721 markings, 144448 edges, 1553 markings/sec, 80 secs
lola: 124523 markings, 154060 edges, 1560 markings/sec, 85 secs
lola: 132323 markings, 163787 edges, 1560 markings/sec, 90 secs
lola: 140090 markings, 173453 edges, 1553 markings/sec, 95 secs
lola: 147835 markings, 183189 edges, 1549 markings/sec, 100 secs
lola: 155531 markings, 192974 edges, 1539 markings/sec, 105 secs
lola: 163310 markings, 202882 edges, 1556 markings/sec, 110 secs
lola: 170973 markings, 212772 edges, 1533 markings/sec, 115 secs
lola: 178751 markings, 222964 edges, 1556 markings/sec, 120 secs
lola: 186437 markings, 233278 edges, 1537 markings/sec, 125 secs
lola: 193991 markings, 243936 edges, 1511 markings/sec, 130 secs
lola: 201438 markings, 257147 edges, 1489 markings/sec, 135 secs
lola: 205821 markings, 264210 edges, 877 markings/sec, 140 secs
lola: 210356 markings, 271342 edges, 907 markings/sec, 145 secs
lola: 214659 markings, 278322 edges, 861 markings/sec, 150 secs
lola: 219098 markings, 285482 edges, 888 markings/sec, 155 secs
lola: 223533 markings, 292633 edges, 887 markings/sec, 160 secs
lola: 227943 markings, 299751 edges, 882 markings/sec, 165 secs
lola: 232475 markings, 307076 edges, 906 markings/sec, 170 secs
lola: 236869 markings, 314319 edges, 879 markings/sec, 175 secs
lola: 241145 markings, 321391 edges, 855 markings/sec, 180 secs
lola: 245412 markings, 328473 edges, 853 markings/sec, 185 secs
lola: 249711 markings, 335632 edges, 860 markings/sec, 190 secs
lola: 253946 markings, 342830 edges, 847 markings/sec, 195 secs
lola: 258289 markings, 350218 edges, 869 markings/sec, 200 secs
lola: 262554 markings, 357696 edges, 853 markings/sec, 205 secs
lola: 266747 markings, 365271 edges, 839 markings/sec, 210 secs
lola: 271008 markings, 373299 edges, 852 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6460 markings, 19438 edges, 1292 markings/sec, 0 secs
lola: 12976 markings, 39723 edges, 1303 markings/sec, 5 secs
lola: 18721 markings, 63700 edges, 1149 markings/sec, 10 secs
lola: 23544 markings, 82157 edges, 965 markings/sec, 15 secs
lola: 28367 markings, 100825 edges, 965 markings/sec, 20 secs
lola: 35335 markings, 123839 edges, 1394 markings/sec, 25 secs
lola: 40265 markings, 142169 edges, 986 markings/sec, 30 secs
lola: 45387 markings, 161662 edges, 1024 markings/sec, 35 secs
lola: 50693 markings, 183040 edges, 1061 markings/sec, 40 secs
lola: 55683 markings, 202353 edges, 998 markings/sec, 45 secs
lola: 61924 markings, 224467 edges, 1248 markings/sec, 50 secs
lola: 67657 markings, 245306 edges, 1147 markings/sec, 55 secs
lola: 72629 markings, 263735 edges, 994 markings/sec, 60 secs
lola: 77744 markings, 283385 edges, 1023 markings/sec, 65 secs
lola: 83361 markings, 306767 edges, 1123 markings/sec, 70 secs
lola: 88177 markings, 325232 edges, 963 markings/sec, 75 secs
lola: 94406 markings, 346245 edges, 1246 markings/sec, 80 secs
lola: 99943 markings, 366662 edges, 1107 markings/sec, 85 secs
lola: 104848 markings, 384909 edges, 981 markings/sec, 90 secs
lola: 110012 markings, 404656 edges, 1033 markings/sec, 95 secs
lola: 115141 markings, 424824 edges, 1026 markings/sec, 100 secs
lola: 120296 markings, 445344 edges, 1031 markings/sec, 105 secs
lola: 126552 markings, 467288 edges, 1251 markings/sec, 110 secs
lola: 132214 markings, 487976 edges, 1132 markings/sec, 115 secs
lola: 137132 markings, 506261 edges, 984 markings/sec, 120 secs
lola: 142787 markings, 529308 edges, 1131 markings/sec, 125 secs
lola: 147360 markings, 545847 edges, 915 markings/sec, 130 secs
lola: 152710 markings, 567731 edges, 1070 markings/sec, 135 secs
lola: 158230 markings, 587469 edges, 1104 markings/sec, 140 secs
lola: 164455 markings, 609204 edges, 1245 markings/sec, 145 secs
lola: 169297 markings, 627327 edges, 968 markings/sec, 150 secs
lola: 174380 markings, 646386 edges, 1017 markings/sec, 155 secs
lola: 179578 markings, 666939 edges, 1040 markings/sec, 160 secs
lola: 184674 markings, 686958 edges, 1019 markings/sec, 165 secs
lola: 189771 markings, 707456 edges, 1019 markings/sec, 170 secs
lola: 196710 markings, 730476 edges, 1388 markings/sec, 175 secs
lola: 201546 markings, 748567 edges, 967 markings/sec, 180 secs
lola: 207062 markings, 770466 edges, 1103 markings/sec, 185 secs
lola: 211734 markings, 787503 edges, 934 markings/sec, 190 secs
lola: 217134 markings, 809579 edges, 1080 markings/sec, 195 secs
lola: 221979 markings, 828304 edges, 969 markings/sec, 200 secs
lola: 228505 markings, 850131 edges, 1305 markings/sec, 205 secs
lola: 233734 markings, 869549 edges, 1046 markings/sec, 210 secs
lola: 238886 markings, 889387 edges, 1030 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3431 markings, 6765 edges, 686 markings/sec, 0 secs
lola: 6605 markings, 13060 edges, 635 markings/sec, 5 secs
lola: 9728 markings, 19259 edges, 625 markings/sec, 10 secs
lola: 12826 markings, 25432 edges, 620 markings/sec, 15 secs
lola: 15815 markings, 31720 edges, 598 markings/sec, 20 secs
lola: 18776 markings, 37755 edges, 592 markings/sec, 25 secs
lola: 21780 markings, 43887 edges, 601 markings/sec, 30 secs
lola: 25125 markings, 50806 edges, 669 markings/sec, 35 secs
lola: 28235 markings, 56999 edges, 622 markings/sec, 40 secs
lola: 31335 markings, 63432 edges, 620 markings/sec, 45 secs
lola: 34311 markings, 69559 edges, 595 markings/sec, 50 secs
lola: 37471 markings, 76031 edges, 632 markings/sec, 55 secs
lola: 40666 markings, 82637 edges, 639 markings/sec, 60 secs
lola: 43857 markings, 89270 edges, 638 markings/sec, 65 secs
lola: 46907 markings, 95588 edges, 610 markings/sec, 70 secs
lola: 50368 markings, 102753 edges, 692 markings/sec, 75 secs
lola: 53425 markings, 109190 edges, 611 markings/sec, 80 secs
lola: 56322 markings, 115225 edges, 579 markings/sec, 85 secs
lola: 59706 markings, 122264 edges, 677 markings/sec, 90 secs
lola: 62746 markings, 128738 edges, 608 markings/sec, 95 secs
lola: 65866 markings, 135467 edges, 624 markings/sec, 100 secs
lola: 68935 markings, 141607 edges, 614 markings/sec, 105 secs
lola: 71766 markings, 147829 edges, 566 markings/sec, 110 secs
lola: 74970 markings, 154608 edges, 641 markings/sec, 115 secs
lola: 77958 markings, 161061 edges, 598 markings/sec, 120 secs
lola: 81379 markings, 168260 edges, 684 markings/sec, 125 secs
lola: 84618 markings, 175593 edges, 648 markings/sec, 130 secs
lola: 87775 markings, 182272 edges, 631 markings/sec, 135 secs
lola: 91103 markings, 189389 edges, 666 markings/sec, 140 secs
lola: 94334 markings, 196729 edges, 646 markings/sec, 145 secs
lola: 97442 markings, 203401 edges, 622 markings/sec, 150 secs
lola: 100772 markings, 210815 edges, 666 markings/sec, 155 secs
lola: 104082 markings, 218232 edges, 662 markings/sec, 160 secs
lola: 107373 markings, 225642 edges, 658 markings/sec, 165 secs
lola: 110633 markings, 232784 edges, 652 markings/sec, 170 secs
lola: 113882 markings, 240174 edges, 650 markings/sec, 175 secs
lola: 117111 markings, 247816 edges, 646 markings/sec, 180 secs
lola: 120312 markings, 255195 edges, 640 markings/sec, 185 secs
lola: 123496 markings, 262571 edges, 637 markings/sec, 190 secs
lola: 126880 markings, 270692 edges, 677 markings/sec, 195 secs
lola: 130076 markings, 278343 edges, 639 markings/sec, 200 secs
lola: 133365 markings, 286429 edges, 658 markings/sec, 205 secs
lola: 136973 markings, 294583 edges, 722 markings/sec, 210 secs
lola: 140107 markings, 302451 edges, 627 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_521_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3492 markings, 3850 edges, 698 markings/sec, 0 secs
lola: 6745 markings, 7559 edges, 651 markings/sec, 5 secs
lola: 10034 markings, 11314 edges, 658 markings/sec, 10 secs
lola: 13353 markings, 15099 edges, 664 markings/sec, 15 secs
lola: 16723 markings, 18935 edges, 674 markings/sec, 20 secs
lola: 20116 markings, 22811 edges, 679 markings/sec, 25 secs
lola: 23321 markings, 26582 edges, 641 markings/sec, 30 secs
lola: 26674 markings, 30471 edges, 671 markings/sec, 35 secs
lola: 29983 markings, 34368 edges, 662 markings/sec, 40 secs
lola: 33322 markings, 38330 edges, 668 markings/sec, 45 secs
lola: 36610 markings, 42317 edges, 658 markings/sec, 50 secs
lola: 40013 markings, 46419 edges, 681 markings/sec, 55 secs
lola: 43330 markings, 50586 edges, 663 markings/sec, 60 secs
lola: 46625 markings, 54831 edges, 659 markings/sec, 65 secs
lola: 49954 markings, 59319 edges, 666 markings/sec, 70 secs
lola: 53238 markings, 64188 edges, 657 markings/sec, 75 secs
lola: 57003 markings, 70894 edges, 753 markings/sec, 80 secs
lola: 61191 markings, 75986 edges, 838 markings/sec, 85 secs
lola: 65441 markings, 81216 edges, 850 markings/sec, 90 secs
lola: 69765 markings, 86532 edges, 865 markings/sec, 95 secs
lola: 74130 markings, 91792 edges, 873 markings/sec, 100 secs
lola: 78473 markings, 97043 edges, 869 markings/sec, 105 secs
lola: 82750 markings, 102249 edges, 855 markings/sec, 110 secs
lola: 87002 markings, 107449 edges, 850 markings/sec, 115 secs
lola: 91272 markings, 112677 edges, 854 markings/sec, 120 secs
lola: 95546 markings, 117915 edges, 855 markings/sec, 125 secs
lola: 99843 markings, 123186 edges, 859 markings/sec, 130 secs
lola: 104133 markings, 128480 edges, 858 markings/sec, 135 secs
lola: 108350 markings, 133714 edges, 843 markings/sec, 140 secs
lola: 112561 markings, 138938 edges, 842 markings/sec, 145 secs
lola: 116908 markings, 144229 edges, 869 markings/sec, 150 secs
lola: 121313 markings, 149664 edges, 881 markings/sec, 155 secs
lola: 125453 markings, 154898 edges, 828 markings/sec, 160 secs
lola: 129795 markings, 160208 edges, 868 markings/sec, 165 secs
lola: 134006 markings, 165531 edges, 842 markings/sec, 170 secs
lola: 138389 markings, 170926 edges, 877 markings/sec, 175 secs
lola: 142571 markings, 176192 edges, 836 markings/sec, 180 secs
lola: 146821 markings, 181578 edges, 850 markings/sec, 185 secs
lola: 151110 markings, 186997 edges, 858 markings/sec, 190 secs
lola: 155373 markings, 192400 edges, 853 markings/sec, 195 secs
lola: 159645 markings, 197780 edges, 854 markings/sec, 200 secs
lola: 163982 markings, 203329 edges, 867 markings/sec, 205 secs
lola: 168181 markings, 208778 edges, 840 markings/sec, 210 secs
lola: 172494 markings, 214379 edges, 863 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6329 markings, 7096 edges, 1266 markings/sec, 0 secs
lola: 12572 markings, 14202 edges, 1249 markings/sec, 5 secs
lola: 18708 markings, 21215 edges, 1227 markings/sec, 10 secs
lola: 24731 markings, 28225 edges, 1205 markings/sec, 15 secs
lola: 30881 markings, 35423 edges, 1230 markings/sec, 20 secs
lola: 37092 markings, 42887 edges, 1242 markings/sec, 25 secs
lola: 43380 markings, 50657 edges, 1258 markings/sec, 30 secs
lola: 49637 markings, 58878 edges, 1251 markings/sec, 35 secs
lola: 55883 markings, 69572 edges, 1249 markings/sec, 40 secs
lola: 64038 markings, 79443 edges, 1631 markings/sec, 45 secs
lola: 72020 markings, 89266 edges, 1596 markings/sec, 50 secs
lola: 80154 markings, 99085 edges, 1627 markings/sec, 55 secs
lola: 88138 markings, 108911 edges, 1597 markings/sec, 60 secs
lola: 96254 markings, 118866 edges, 1623 markings/sec, 65 secs
lola: 104338 markings, 128771 edges, 1617 markings/sec, 70 secs
lola: 112310 markings, 138610 edges, 1594 markings/sec, 75 secs
lola: 120371 markings, 148535 edges, 1612 markings/sec, 80 secs
lola: 128425 markings, 158492 edges, 1611 markings/sec, 85 secs
lola: 136435 markings, 168494 edges, 1602 markings/sec, 90 secs
lola: 144540 markings, 178649 edges, 1621 markings/sec, 95 secs
lola: 152542 markings, 188807 edges, 1600 markings/sec, 100 secs
lola: 160574 markings, 199004 edges, 1606 markings/sec, 105 secs
lola: 168621 markings, 209324 edges, 1609 markings/sec, 110 secs
lola: 176415 markings, 219474 edges, 1559 markings/sec, 115 secs
lola: 184176 markings, 229848 edges, 1552 markings/sec, 120 secs
lola: 192208 markings, 241025 edges, 1606 markings/sec, 125 secs
lola: 200174 markings, 254054 edges, 1593 markings/sec, 130 secs
lola: 204620 markings, 261975 edges, 889 markings/sec, 135 secs
lola: 209183 markings, 269235 edges, 913 markings/sec, 140 secs
lola: 213669 markings, 276352 edges, 897 markings/sec, 145 secs
lola: 218052 markings, 283439 edges, 877 markings/sec, 150 secs
lola: 222494 markings, 290604 edges, 888 markings/sec, 155 secs
lola: 227031 markings, 297898 edges, 907 markings/sec, 160 secs
lola: 231387 markings, 305101 edges, 871 markings/sec, 165 secs
lola: 235931 markings, 312427 edges, 909 markings/sec, 170 secs
lola: 240327 markings, 319710 edges, 879 markings/sec, 175 secs
lola: 244837 markings, 327142 edges, 902 markings/sec, 180 secs
lola: 249189 markings, 334499 edges, 870 markings/sec, 185 secs
lola: 253636 markings, 342016 edges, 889 markings/sec, 190 secs
lola: 258061 markings, 349545 edges, 885 markings/sec, 195 secs
lola: 262378 markings, 357164 edges, 863 markings/sec, 200 secs
lola: 266808 markings, 365086 edges, 886 markings/sec, 205 secs
lola: 271168 markings, 373366 edges, 872 markings/sec, 210 secs
lola: 275505 markings, 382842 edges, 867 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S10J60-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494743588263

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J60"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J60.tgz
mv PolyORBNT-PT-S10J60 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBNT-PT-S10J60, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-149440926200164"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;