About the Execution of LoLA for Referendum-PT-0200
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5962.730 | 2600474.00 | 2605787.00 | 7758.20 | ? 200 ? ? 1 ? 1 200 1 1 200 ? ? ? ? 200 | normal |
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 Referendum-PT-0200, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172600164
=====================================================================
--------------------
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 Referendum-COL-0200-UpperBounds-0
FORMULA_NAME Referendum-COL-0200-UpperBounds-1
FORMULA_NAME Referendum-COL-0200-UpperBounds-10
FORMULA_NAME Referendum-COL-0200-UpperBounds-11
FORMULA_NAME Referendum-COL-0200-UpperBounds-12
FORMULA_NAME Referendum-COL-0200-UpperBounds-13
FORMULA_NAME Referendum-COL-0200-UpperBounds-14
FORMULA_NAME Referendum-COL-0200-UpperBounds-15
FORMULA_NAME Referendum-COL-0200-UpperBounds-2
FORMULA_NAME Referendum-COL-0200-UpperBounds-3
FORMULA_NAME Referendum-COL-0200-UpperBounds-4
FORMULA_NAME Referendum-COL-0200-UpperBounds-5
FORMULA_NAME Referendum-COL-0200-UpperBounds-6
FORMULA_NAME Referendum-COL-0200-UpperBounds-7
FORMULA_NAME Referendum-COL-0200-UpperBounds-8
FORMULA_NAME Referendum-COL-0200-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496330710358
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
Referendum-PT-0200: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
Referendum-PT-0200: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ Referendum-PT-0200 @ 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: 1002/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 601 places, 401 transitions, 401 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 203 transition conflict sets
lola: TASK
lola: reading formula from Referendum-COL-0200-UpperBounds.task
lola: MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200) : MAX(ready) : MAX(ready) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200) : MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200) : MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(ready) : MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(ready) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200)
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(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 151171 markings, 1062932 edges, 30234 markings/sec, 0 secs
lola: 338391 markings, 2522882 edges, 37444 markings/sec, 5 secs
lola: 543738 markings, 4326170 edges, 41069 markings/sec, 10 secs
lola: 743110 markings, 5894657 edges, 39874 markings/sec, 15 secs
lola: 953987 markings, 7730135 edges, 42175 markings/sec, 20 secs
lola: 1168549 markings, 9626658 edges, 42912 markings/sec, 25 secs
lola: 1402259 markings, 11800277 edges, 46742 markings/sec, 30 secs
lola: 1601385 markings, 13856662 edges, 39825 markings/sec, 35 secs
lola: 1799518 markings, 15409613 edges, 39627 markings/sec, 40 secs
lola: 2010408 markings, 17239400 edges, 42178 markings/sec, 45 secs
lola: 2222813 markings, 19115705 edges, 42481 markings/sec, 50 secs
lola: 2455194 markings, 21278502 edges, 46476 markings/sec, 55 secs
lola: 2656355 markings, 23366917 edges, 40232 markings/sec, 60 secs
lola: 2871979 markings, 25198487 edges, 43125 markings/sec, 65 secs
lola: 3106059 markings, 27325293 edges, 46816 markings/sec, 70 secs
lola: 3318171 markings, 29438702 edges, 42422 markings/sec, 75 secs
lola: 3542856 markings, 31571905 edges, 44937 markings/sec, 80 secs
lola: 3762254 markings, 33705052 edges, 43880 markings/sec, 85 secs
lola: 3983374 markings, 35907890 edges, 44224 markings/sec, 90 secs
lola: 4194155 markings, 38084487 edges, 42156 markings/sec, 95 secs
lola: 4400283 markings, 40238837 edges, 41226 markings/sec, 100 secs
lola: 4592520 markings, 42345093 edges, 38447 markings/sec, 105 secs
lola: 4765733 markings, 44395154 edges, 34643 markings/sec, 110 secs
lola: 4949580 markings, 45906286 edges, 36769 markings/sec, 115 secs
lola: 5147552 markings, 47659906 edges, 39594 markings/sec, 120 secs
lola: 5354191 markings, 49430752 edges, 41328 markings/sec, 125 secs
lola: 5578969 markings, 51469567 edges, 44956 markings/sec, 130 secs
lola: 5774732 markings, 53398481 edges, 39153 markings/sec, 135 secs
lola: 5981245 markings, 55303477 edges, 41303 markings/sec, 140 secs
lola: 6202829 markings, 57290611 edges, 44317 markings/sec, 145 secs
lola: 6425116 markings, 59419750 edges, 44457 markings/sec, 150 secs
lola: 6636932 markings, 61507385 edges, 42363 markings/sec, 155 secs
lola: 6864269 markings, 63650408 edges, 45467 markings/sec, 160 secs
lola: 7068855 markings, 65745510 edges, 40917 markings/sec, 165 secs
lola: 7300480 markings, 68052603 edges, 46325 markings/sec, 170 secs
lola: 7518312 markings, 70303973 edges, 43566 markings/sec, 175 secs
lola: 7721686 markings, 72502280 edges, 40675 markings/sec, 180 secs
lola: 7907386 markings, 74626112 edges, 37140 markings/sec, 185 secs
lola: 8105198 markings, 76546828 edges, 39562 markings/sec, 190 secs
lola: 8326455 markings, 78528420 edges, 44251 markings/sec, 195 secs
lola: 8548524 markings, 80655326 edges, 44414 markings/sec, 200 secs
lola: 8760100 markings, 82740760 edges, 42315 markings/sec, 205 secs
lola: 8987431 markings, 84882351 edges, 45466 markings/sec, 210 secs
lola: 9190946 markings, 86972116 edges, 40703 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(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 125882 markings, 867711 edges, 25176 markings/sec, 0 secs
lola: 240388 markings, 1743208 edges, 22901 markings/sec, 5 secs
lola: 350732 markings, 2623142 edges, 22069 markings/sec, 10 secs
lola: 454771 markings, 3506281 edges, 20808 markings/sec, 15 secs
lola: 552633 markings, 4385510 edges, 19572 markings/sec, 20 secs
lola: 664819 markings, 5259265 edges, 22437 markings/sec, 25 secs
lola: 772503 markings, 6140445 edges, 21537 markings/sec, 30 secs
lola: 869095 markings, 7019744 edges, 19318 markings/sec, 35 secs
lola: 974107 markings, 7900611 edges, 21002 markings/sec, 40 secs
lola: 1075175 markings, 8780544 edges, 20214 markings/sec, 45 secs
lola: 1172455 markings, 9664646 edges, 19456 markings/sec, 50 secs
lola: 1269348 markings, 10551688 edges, 19379 markings/sec, 55 secs
lola: 1365068 markings, 11437751 edges, 19144 markings/sec, 60 secs
lola: 1454286 markings, 12320520 edges, 17844 markings/sec, 65 secs
lola: 1541456 markings, 13202993 edges, 17434 markings/sec, 70 secs
lola: 1632407 markings, 14078746 edges, 18190 markings/sec, 75 secs
lola: 1744445 markings, 14953882 edges, 22408 markings/sec, 80 secs
lola: 1849853 markings, 15834410 edges, 21082 markings/sec, 85 secs
lola: 1944178 markings, 16713980 edges, 18865 markings/sec, 90 secs
lola: 2052923 markings, 17593089 edges, 21749 markings/sec, 95 secs
lola: 2151555 markings, 18469619 edges, 19726 markings/sec, 100 secs
lola: 2250290 markings, 19355658 edges, 19747 markings/sec, 105 secs
lola: 2343918 markings, 20243833 edges, 18726 markings/sec, 110 secs
lola: 2439232 markings, 21119589 edges, 19063 markings/sec, 115 secs
lola: 2530264 markings, 22005900 edges, 18206 markings/sec, 120 secs
lola: 2616431 markings, 22904307 edges, 17233 markings/sec, 125 secs
lola: 2711171 markings, 23787562 edges, 18948 markings/sec, 130 secs
lola: 2815605 markings, 24673951 edges, 20887 markings/sec, 135 secs
lola: 2910655 markings, 25559776 edges, 19010 markings/sec, 140 secs
lola: 3012865 markings, 26455036 edges, 20442 markings/sec, 145 secs
lola: 3108332 markings, 27348430 edges, 19093 markings/sec, 150 secs
lola: 3201296 markings, 28240657 edges, 18593 markings/sec, 155 secs
lola: 3289218 markings, 29130598 edges, 17584 markings/sec, 160 secs
lola: 3369117 markings, 30017023 edges, 15980 markings/sec, 165 secs
lola: 3473628 markings, 30913691 edges, 20902 markings/sec, 170 secs
lola: 3569226 markings, 31806672 edges, 19120 markings/sec, 175 secs
lola: 3662343 markings, 32697339 edges, 18623 markings/sec, 180 secs
lola: 3750529 markings, 33586157 edges, 17637 markings/sec, 185 secs
lola: 3831691 markings, 34472516 edges, 16232 markings/sec, 190 secs
lola: 3927803 markings, 35371338 edges, 19222 markings/sec, 195 secs
lola: 4019082 markings, 36268982 edges, 18256 markings/sec, 200 secs
lola: 4106444 markings, 37164331 edges, 17472 markings/sec, 205 secs
lola: 4191412 markings, 38058151 edges, 16994 markings/sec, 210 secs
lola: 4280119 markings, 38953313 edges, 17741 markings/sec, 215 secs
lola: 4360788 markings, 39845084 edges, 16134 markings/sec, 220 secs
lola: 4447981 markings, 40739740 edges, 17439 markings/sec, 225 secs
lola: 4528809 markings, 41630650 edges, 16166 markings/sec, 230 secs
lola: 4608281 markings, 42520214 edges, 15894 markings/sec, 235 secs
lola: 4685979 markings, 43409218 edges, 15540 markings/sec, 240 secs
lola: 4757935 markings, 44294365 edges, 14391 markings/sec, 245 secs
lola: 4857936 markings, 45173530 edges, 20000 markings/sec, 250 secs
lola: 4967841 markings, 46058965 edges, 21981 markings/sec, 255 secs
lola: 5071307 markings, 46946415 edges, 20693 markings/sec, 260 secs
lola: 5170311 markings, 47831729 edges, 19801 markings/sec, 265 secs
lola: 5275577 markings, 48712176 edges, 21053 markings/sec, 270 secs
lola: 5369425 markings, 49589648 edges, 18770 markings/sec, 275 secs
lola: 5472914 markings, 50479198 edges, 20698 markings/sec, 280 secs
lola: 5566972 markings, 51367222 edges, 18812 markings/sec, 285 secs
lola: 5660304 markings, 52254059 edges, 18666 markings/sec, 290 secs
lola: 5749398 markings, 53138718 edges, 17819 markings/sec, 295 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 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 159291 markings, 1130568 edges, 31858 markings/sec, 0 secs
lola: 342295 markings, 2553110 edges, 36601 markings/sec, 5 secs
lola: 538350 markings, 4289793 edges, 39211 markings/sec, 10 secs
lola: 728360 markings, 5785409 edges, 38002 markings/sec, 15 secs
lola: 931227 markings, 7541007 edges, 40573 markings/sec, 20 secs
lola: 1129678 markings, 9303336 edges, 39690 markings/sec, 25 secs
lola: 1360708 markings, 11393535 edges, 46206 markings/sec, 30 secs
lola: 1558514 markings, 13389620 edges, 39561 markings/sec, 35 secs
lola: 1736762 markings, 14895580 edges, 35650 markings/sec, 40 secs
lola: 1938826 markings, 16655972 edges, 40413 markings/sec, 45 secs
lola: 2146117 markings, 18417450 edges, 41458 markings/sec, 50 secs
lola: 2363895 markings, 20408072 edges, 43556 markings/sec, 55 secs
lola: 2571316 markings, 22423745 edges, 41484 markings/sec, 60 secs
lola: 2770900 markings, 24285182 edges, 39917 markings/sec, 65 secs
lola: 2979625 markings, 26154115 edges, 41745 markings/sec, 70 secs
lola: 3197053 markings, 28200612 edges, 43486 markings/sec, 75 secs
lola: 3389159 markings, 30172580 edges, 38421 markings/sec, 80 secs
lola: 3615271 markings, 32247711 edges, 45222 markings/sec, 85 secs
lola: 3810696 markings, 34231202 edges, 39085 markings/sec, 90 secs
lola: 4034426 markings, 36414843 edges, 44746 markings/sec, 95 secs
lola: 4243021 markings, 38571708 edges, 41719 markings/sec, 100 secs
lola: 4446778 markings, 40725513 edges, 40751 markings/sec, 105 secs
lola: 4634313 markings, 42808810 edges, 37507 markings/sec, 110 secs
lola: 4803854 markings, 44772779 edges, 33908 markings/sec, 115 secs
lola: 4996441 markings, 46300124 edges, 38517 markings/sec, 120 secs
lola: 5198206 markings, 48055524 edges, 40353 markings/sec, 125 secs
lola: 5400252 markings, 49844121 edges, 40409 markings/sec, 130 secs
lola: 5625979 markings, 51922118 edges, 45145 markings/sec, 135 secs
lola: 5821297 markings, 53905666 edges, 39064 markings/sec, 140 secs
lola: 6027304 markings, 55704890 edges, 41201 markings/sec, 145 secs
lola: 6239746 markings, 57671579 edges, 42488 markings/sec, 150 secs
lola: 6454824 markings, 59717704 edges, 43016 markings/sec, 155 secs
lola: 6661806 markings, 61732290 edges, 41396 markings/sec, 160 secs
lola: 6877305 markings, 63782722 edges, 43100 markings/sec, 165 secs
lola: 7074747 markings, 65797312 edges, 39488 markings/sec, 170 secs
lola: 7296014 markings, 67998353 edges, 44253 markings/sec, 175 secs
lola: 7504064 markings, 70147214 edges, 41610 markings/sec, 180 secs
lola: 7697069 markings, 72245272 edges, 38601 markings/sec, 185 secs
lola: 7880605 markings, 74306560 edges, 36707 markings/sec, 190 secs
lola: 8067412 markings, 76221926 edges, 37361 markings/sec, 195 secs
lola: 8275484 markings, 78067741 edges, 41614 markings/sec, 200 secs
lola: 8494985 markings, 80127961 edges, 43900 markings/sec, 205 secs
lola: 8682782 markings, 82093268 edges, 37559 markings/sec, 210 secs
lola: 8915079 markings, 84183530 edges, 46459 markings/sec, 215 secs
lola: 9112973 markings, 86176628 edges, 39579 markings/sec, 220 secs
lola: 9331564 markings, 88332345 edges, 43718 markings/sec, 225 secs
lola: 9537989 markings, 90472483 edges, 41285 markings/sec, 230 secs
lola: 9741554 markings, 92598681 edges, 40713 markings/sec, 235 secs
lola: 9928831 markings, 94667382 edges, 37455 markings/sec, 240 secs
lola: 10095962 markings, 96694074 edges, 33426 markings/sec, 245 secs
lola: 10324268 markings, 98749950 edges, 45661 markings/sec, 250 secs
lola: 10522293 markings, 100732544 edges, 39605 markings/sec, 255 secs
lola: 10736903 markings, 102852246 edges, 42922 markings/sec, 260 secs
lola: 10954072 markings, 105102964 edges, 43434 markings/sec, 265 secs
lola: 11166907 markings, 107327856 edges, 42567 markings/sec, 270 secs
lola: 11361949 markings, 109489531 edges, 39008 markings/sec, 275 secs
lola: 11541367 markings, 111586395 edges, 35884 markings/sec, 280 secs
lola: 11777070 markings, 113906040 edges, 47141 markings/sec, 285 secs
lola: 11994157 markings, 116153074 edges, 43417 markings/sec, 290 secs
lola: 12196689 markings, 118345029 edges, 40506 markings/sec, 295 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 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 128115 markings, 882938 edges, 25623 markings/sec, 0 secs
lola: 244639 markings, 1777565 edges, 23305 markings/sec, 5 secs
lola: 357257 markings, 2675803 edges, 22524 markings/sec, 10 secs
lola: 458271 markings, 3538756 edges, 20203 markings/sec, 15 secs
lola: 560194 markings, 4439226 edges, 20385 markings/sec, 20 secs
lola: 674599 markings, 5335875 edges, 22881 markings/sec, 25 secs
lola: 783105 markings, 6239002 edges, 21701 markings/sec, 30 secs
lola: 880598 markings, 7140127 edges, 19499 markings/sec, 35 secs
lola: 992103 markings, 8044692 edges, 22301 markings/sec, 40 secs
lola: 1093069 markings, 8946980 edges, 20193 markings/sec, 45 secs
lola: 1195176 markings, 9855061 edges, 20421 markings/sec, 50 secs
lola: 1291535 markings, 10763477 edges, 19272 markings/sec, 55 secs
lola: 1387637 markings, 11671355 edges, 19220 markings/sec, 60 secs
lola: 1481377 markings, 12577714 edges, 18748 markings/sec, 65 secs
lola: 1566602 markings, 13481667 edges, 17045 markings/sec, 70 secs
lola: 1672791 markings, 14377241 edges, 21238 markings/sec, 75 secs
lola: 1783838 markings, 15277201 edges, 22209 markings/sec, 80 secs
lola: 1889187 markings, 16178853 edges, 21070 markings/sec, 85 secs
lola: 1990828 markings, 17079877 edges, 20328 markings/sec, 90 secs
lola: 2097818 markings, 17979343 edges, 21398 markings/sec, 95 secs
lola: 2193668 markings, 18877479 edges, 19170 markings/sec, 100 secs
lola: 2298286 markings, 19787268 edges, 20924 markings/sec, 105 secs
lola: 2395687 markings, 20694427 edges, 19480 markings/sec, 110 secs
lola: 2489766 markings, 21600088 edges, 18816 markings/sec, 115 secs
lola: 2579351 markings, 22504188 edges, 17917 markings/sec, 120 secs
lola: 2660888 markings, 23404175 edges, 16307 markings/sec, 125 secs
lola: 2772994 markings, 24304714 edges, 22421 markings/sec, 130 secs
lola: 2872332 markings, 25202612 edges, 19868 markings/sec, 135 secs
lola: 2975062 markings, 26109794 edges, 20546 markings/sec, 140 secs
lola: 3072011 markings, 27017499 edges, 19390 markings/sec, 145 secs
lola: 3167660 markings, 27923981 edges, 19130 markings/sec, 150 secs
lola: 3260064 markings, 28829610 edges, 18481 markings/sec, 155 secs
lola: 3344701 markings, 29732981 edges, 16927 markings/sec, 160 secs
lola: 3443435 markings, 30639995 edges, 19747 markings/sec, 165 secs
lola: 3540138 markings, 31546673 edges, 19341 markings/sec, 170 secs
lola: 3635571 markings, 32451904 edges, 19087 markings/sec, 175 secs
lola: 3728600 markings, 33355946 edges, 18606 markings/sec, 180 secs
lola: 3813252 markings, 34257368 edges, 16930 markings/sec, 185 secs
lola: 3907053 markings, 35167775 edges, 18760 markings/sec, 190 secs
lola: 4001032 markings, 36082368 edges, 18796 markings/sec, 195 secs
lola: 4090090 markings, 36993647 edges, 17812 markings/sec, 200 secs
lola: 4174868 markings, 37902510 edges, 16956 markings/sec, 205 secs
lola: 4266679 markings, 38814559 edges, 18362 markings/sec, 210 secs
lola: 4350741 markings, 39722983 edges, 16812 markings/sec, 215 secs
lola: 4438023 markings, 40632050 edges, 17456 markings/sec, 220 secs
lola: 4519981 markings, 41537844 edges, 16392 markings/sec, 225 secs
lola: 4600952 markings, 42443248 edges, 16194 markings/sec, 230 secs
lola: 4680706 markings, 43348094 edges, 15951 markings/sec, 235 secs
lola: 4754527 markings, 44248359 edges, 14764 markings/sec, 240 secs
lola: 4853528 markings, 45140948 edges, 19800 markings/sec, 245 secs
lola: 4965449 markings, 46038815 edges, 22384 markings/sec, 250 secs
lola: 5070372 markings, 46939118 edges, 20985 markings/sec, 255 secs
lola: 5171208 markings, 47837963 edges, 20167 markings/sec, 260 secs
lola: 5278080 markings, 48733007 edges, 21374 markings/sec, 265 secs
lola: 5372590 markings, 49625790 edges, 18902 markings/sec, 270 secs
lola: 5478700 markings, 50532097 edges, 21222 markings/sec, 275 secs
lola: 5575224 markings, 51436050 edges, 19305 markings/sec, 280 secs
lola: 5669790 markings, 52338815 edges, 18913 markings/sec, 285 secs
lola: 5759274 markings, 53240140 edges, 17897 markings/sec, 290 secs
lola: 5841240 markings, 54139342 edges, 16393 markings/sec, 295 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 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 156027 markings, 1103941 edges, 31205 markings/sec, 0 secs
lola: 344876 markings, 2572855 edges, 37770 markings/sec, 5 secs
lola: 549018 markings, 4360202 edges, 40828 markings/sec, 10 secs
lola: 747800 markings, 5933273 edges, 39756 markings/sec, 15 secs
lola: 957510 markings, 7762019 edges, 41942 markings/sec, 20 secs
lola: 1171877 markings, 9658561 edges, 42873 markings/sec, 25 secs
lola: 1404811 markings, 11825222 edges, 46587 markings/sec, 30 secs
lola: 1603304 markings, 13868821 edges, 39699 markings/sec, 35 secs
lola: 1800777 markings, 15419356 edges, 39495 markings/sec, 40 secs
lola: 2010958 markings, 17244473 edges, 42036 markings/sec, 45 secs
lola: 2223059 markings, 19117671 edges, 42420 markings/sec, 50 secs
lola: 2455388 markings, 21279955 edges, 46466 markings/sec, 55 secs
lola: 2656425 markings, 23367859 edges, 40207 markings/sec, 60 secs
lola: 2871770 markings, 25196296 edges, 43069 markings/sec, 65 secs
lola: 3105708 markings, 27321627 edges, 46788 markings/sec, 70 secs
lola: 3318104 markings, 29437874 edges, 42479 markings/sec, 75 secs
lola: 3542542 markings, 31568252 edges, 44888 markings/sec, 80 secs
lola: 3761919 markings, 33700699 edges, 43875 markings/sec, 85 secs
lola: 3985336 markings, 35925350 edges, 44683 markings/sec, 90 secs
lola: 4206372 markings, 38204202 edges, 44207 markings/sec, 95 secs
lola: 4421406 markings, 40458694 edges, 43007 markings/sec, 100 secs
lola: 4620117 markings, 42650302 edges, 39742 markings/sec, 105 secs
lola: 4794229 markings, 44707908 edges, 34822 markings/sec, 110 secs
lola: 4992207 markings, 46264609 edges, 39596 markings/sec, 115 secs
lola: 5201453 markings, 48084278 edges, 41849 markings/sec, 120 secs
lola: 5413429 markings, 49955909 edges, 42395 markings/sec, 125 secs
lola: 5644739 markings, 52108793 edges, 46262 markings/sec, 130 secs
lola: 5844911 markings, 54188954 edges, 40034 markings/sec, 135 secs
lola: 6059603 markings, 56011551 edges, 42938 markings/sec, 140 secs
lola: 6293136 markings, 58133626 edges, 46707 markings/sec, 145 secs
lola: 6504896 markings, 60241657 edges, 42352 markings/sec, 150 secs
lola: 6728040 markings, 62364357 edges, 44629 markings/sec, 155 secs
lola: 6946860 markings, 64486602 edges, 43764 markings/sec, 160 secs
lola: 7169387 markings, 66704434 edges, 44505 markings/sec, 165 secs
lola: 7390031 markings, 68977588 edges, 44129 markings/sec, 170 secs
lola: 7598366 markings, 71169301 edges, 41667 markings/sec, 175 secs
lola: 7788819 markings, 73259141 edges, 38091 markings/sec, 180 secs
lola: 7960859 markings, 75300718 edges, 34408 markings/sec, 185 secs
lola: 8167674 markings, 77099700 edges, 41363 markings/sec, 190 secs
lola: 8387011 markings, 79103815 edges, 43867 markings/sec, 195 secs
lola: 8595836 markings, 81133255 edges, 41765 markings/sec, 200 secs
lola: 8805685 markings, 83161141 edges, 41970 markings/sec, 205 secs
lola: 9019301 markings, 85207332 edges, 42723 markings/sec, 210 secs
lola: 9222993 markings, 87263777 edges, 40738 markings/sec, 215 secs
lola: 9439388 markings, 89452124 edges, 43279 markings/sec, 220 secs
lola: 9648690 markings, 91613183 edges, 41860 markings/sec, 225 secs
lola: 9844408 markings, 93725475 edges, 39144 markings/sec, 230 secs
lola: 10024356 markings, 95780944 edges, 35990 markings/sec, 235 secs
lola: 10227335 markings, 97848600 edges, 40596 markings/sec, 240 secs
lola: 10440629 markings, 99889740 edges, 42659 markings/sec, 245 secs
lola: 10643373 markings, 101941129 edges, 40549 markings/sec, 250 secs
lola: 10859713 markings, 104131329 edges, 43268 markings/sec, 255 secs
lola: 11068542 markings, 106288799 edges, 41766 markings/sec, 260 secs
lola: 11264727 markings, 108405348 edges, 39237 markings/sec, 265 secs
lola: 11444922 markings, 110462702 edges, 36039 markings/sec, 270 secs
lola: 11650222 markings, 112617963 edges, 41060 markings/sec, 275 secs
lola: 11859145 markings, 114778318 edges, 41785 markings/sec, 280 secs
lola: 12065530 markings, 116930501 edges, 41277 markings/sec, 285 secs
lola: 12259422 markings, 119032299 edges, 38778 markings/sec, 290 secs
lola: 12432038 markings, 121065127 edges, 34523 markings/sec, 295 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 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 10 will run for 352 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 158660 markings, 1125397 edges, 31732 markings/sec, 0 secs
lola: 340758 markings, 2541711 edges, 36420 markings/sec, 5 secs
lola: 535744 markings, 4274367 edges, 38997 markings/sec, 10 secs
lola: 726020 markings, 5759872 edges, 38055 markings/sec, 15 secs
lola: 928110 markings, 7515640 edges, 40418 markings/sec, 20 secs
lola: 1125523 markings, 9273079 edges, 39483 markings/sec, 25 secs
lola: 1356899 markings, 11357625 edges, 46275 markings/sec, 30 secs
lola: 1556044 markings, 13362685 edges, 39829 markings/sec, 35 secs
lola: 1734299 markings, 14875112 edges, 35651 markings/sec, 40 secs
lola: 1936908 markings, 16636156 edges, 40522 markings/sec, 45 secs
lola: 2145130 markings, 18408545 edges, 41644 markings/sec, 50 secs
lola: 2362830 markings, 20399184 edges, 43540 markings/sec, 55 secs
lola: 2571106 markings, 22421310 edges, 41655 markings/sec, 60 secs
lola: 2770656 markings, 24282997 edges, 39910 markings/sec, 65 secs
lola: 2979383 markings, 26151701 edges, 41745 markings/sec, 70 secs
lola: 3196315 markings, 28194270 edges, 43386 markings/sec, 75 secs
lola: 3388743 markings, 30169346 edges, 38486 markings/sec, 80 secs
lola: 3615860 markings, 32253484 edges, 45423 markings/sec, 85 secs
lola: 3811756 markings, 34242073 edges, 39179 markings/sec, 90 secs
lola: 4036490 markings, 36434885 edges, 44947 markings/sec, 95 secs
lola: 4245466 markings, 38594595 edges, 41795 markings/sec, 100 secs
lola: 4446097 markings, 40718532 edges, 40126 markings/sec, 105 secs
lola: 4632805 markings, 42791443 edges, 37342 markings/sec, 110 secs
lola: 4801193 markings, 44754380 edges, 33678 markings/sec, 115 secs
lola: 4993509 markings, 46274820 edges, 38463 markings/sec, 120 secs
lola: 5194706 markings, 48026936 edges, 40239 markings/sec, 125 secs
lola: 5394520 markings, 49798718 edges, 39963 markings/sec, 130 secs
lola: 5620165 markings, 51862324 edges, 45129 markings/sec, 135 secs
lola: 5815992 markings, 53843876 edges, 39165 markings/sec, 140 secs
lola: 6020171 markings, 55643352 edges, 40836 markings/sec, 145 secs
lola: 6233235 markings, 57595194 edges, 42613 markings/sec, 150 secs
lola: 6445936 markings, 59623967 edges, 42540 markings/sec, 155 secs
lola: 6649806 markings, 61625009 edges, 40774 markings/sec, 160 secs
lola: 6865722 markings, 63665131 edges, 43183 markings/sec, 165 secs
lola: 7057846 markings, 65646512 edges, 38425 markings/sec, 170 secs
lola: 7280598 markings, 67838602 edges, 44550 markings/sec, 175 secs
lola: 7487954 markings, 69977342 edges, 41471 markings/sec, 180 secs
lola: 7681627 markings, 72065751 edges, 38735 markings/sec, 185 secs
lola: 7865154 markings, 74123428 edges, 36705 markings/sec, 190 secs
lola: 8047558 markings, 76062493 edges, 36481 markings/sec, 195 secs
lola: 8253803 markings, 77881844 edges, 41249 markings/sec, 200 secs
lola: 8474305 markings, 79938216 edges, 44100 markings/sec, 205 secs
lola: 8667636 markings, 81915476 edges, 38666 markings/sec, 210 secs
lola: 8894098 markings, 83985695 edges, 45292 markings/sec, 215 secs
lola: 9095576 markings, 85987302 edges, 40296 markings/sec, 220 secs
lola: 9311560 markings, 88122700 edges, 43197 markings/sec, 225 secs
lola: 9513306 markings, 90210115 edges, 40349 markings/sec, 230 secs
lola: 9726525 markings, 92448615 edges, 42644 markings/sec, 235 secs
lola: 9925516 markings, 94632112 edges, 39798 markings/sec, 240 secs
lola: 10097321 markings, 96717507 edges, 34361 markings/sec, 245 secs
lola: 10338255 markings, 98886009 edges, 48187 markings/sec, 250 secs
lola: 10543280 markings, 100966583 edges, 41005 markings/sec, 255 secs
lola: 10777448 markings, 103255412 edges, 46834 markings/sec, 260 secs
lola: 10995949 markings, 105514610 edges, 43700 markings/sec, 265 secs
lola: 11204706 markings, 107736755 edges, 41751 markings/sec, 270 secs
lola: 11395806 markings, 109888000 edges, 38220 markings/sec, 275 secs
lola: 11591979 markings, 112054799 edges, 39235 markings/sec, 280 secs
lola: 11816146 markings, 114342804 edges, 44833 markings/sec, 285 secs
lola: 12032744 markings, 116592008 edges, 43320 markings/sec, 290 secs
lola: 12239369 markings, 118803426 edges, 41325 markings/sec, 295 secs
lola: 12420441 markings, 120919123 edges, 36214 markings/sec, 300 secs
lola: 12635631 markings, 123209437 edges, 43038 markings/sec, 305 secs
lola: 12847062 markings, 125491831 edges, 42286 markings/sec, 310 secs
lola: 13036702 markings, 127681448 edges, 37928 markings/sec, 315 secs
lola: 13234787 markings, 129914410 edges, 39617 markings/sec, 320 secs
lola: 13430024 markings, 132119201 edges, 39047 markings/sec, 325 secs
lola: 13616597 markings, 134299766 edges, 37315 markings/sec, 330 secs
lola: 13793212 markings, 136434953 edges, 35323 markings/sec, 335 secs
lola: 13972576 markings, 138582531 edges, 35873 markings/sec, 340 secs
lola: 14143006 markings, 140681831 edges, 34086 markings/sec, 345 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 352 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 127924 markings, 881320 edges, 25585 markings/sec, 0 secs
lola: 242067 markings, 1758049 edges, 22829 markings/sec, 5 secs
lola: 351556 markings, 2629292 edges, 21898 markings/sec, 10 secs
lola: 454396 markings, 3502025 edges, 20568 markings/sec, 15 secs
lola: 551928 markings, 4380251 edges, 19506 markings/sec, 20 secs
lola: 661965 markings, 5237865 edges, 22007 markings/sec, 25 secs
lola: 770138 markings, 6119101 edges, 21635 markings/sec, 30 secs
lola: 866376 markings, 6993163 edges, 19248 markings/sec, 35 secs
lola: 969488 markings, 7866260 edges, 20622 markings/sec, 40 secs
lola: 1071281 markings, 8740593 edges, 20359 markings/sec, 45 secs
lola: 1168235 markings, 9623757 edges, 19391 markings/sec, 50 secs
lola: 1263673 markings, 10493184 edges, 19088 markings/sec, 55 secs
lola: 1359095 markings, 11377763 edges, 19084 markings/sec, 60 secs
lola: 1447623 markings, 12243114 edges, 17706 markings/sec, 65 secs
lola: 1533588 markings, 13123939 edges, 17193 markings/sec, 70 secs
lola: 1621367 markings, 13992434 edges, 17556 markings/sec, 75 secs
lola: 1733222 markings, 14866363 edges, 22371 markings/sec, 80 secs
lola: 1837913 markings, 15729581 edges, 20938 markings/sec, 85 secs
lola: 1933501 markings, 16600543 edges, 19118 markings/sec, 90 secs
lola: 2036416 markings, 17461885 edges, 20583 markings/sec, 95 secs
lola: 2138078 markings, 18346778 edges, 20332 markings/sec, 100 secs
lola: 2233092 markings, 19208471 edges, 19003 markings/sec, 105 secs
lola: 2329798 markings, 20092650 edges, 19341 markings/sec, 110 secs
lola: 2424474 markings, 20968029 edges, 18935 markings/sec, 115 secs
lola: 2514203 markings, 21849721 edges, 17946 markings/sec, 120 secs
lola: 2599286 markings, 22717006 edges, 17017 markings/sec, 125 secs
lola: 2686509 markings, 23594125 edges, 17445 markings/sec, 130 secs
lola: 2791670 markings, 24472037 edges, 21032 markings/sec, 135 secs
lola: 2887277 markings, 25356410 edges, 19121 markings/sec, 140 secs
lola: 2988644 markings, 26233527 edges, 20273 markings/sec, 145 secs
lola: 3082949 markings, 27117906 edges, 18861 markings/sec, 150 secs
lola: 3174482 markings, 27986660 edges, 18307 markings/sec, 155 secs
lola: 3263798 markings, 28868978 edges, 17863 markings/sec, 160 secs
lola: 3344608 markings, 29732018 edges, 16162 markings/sec, 165 secs
lola: 3440785 markings, 30615915 edges, 19235 markings/sec, 170 secs
lola: 3535087 markings, 31507192 edges, 18860 markings/sec, 175 secs
lola: 3628071 markings, 32388442 edges, 18597 markings/sec, 180 secs
lola: 3720171 markings, 33272200 edges, 18420 markings/sec, 185 secs
lola: 3802988 markings, 34141473 edges, 16563 markings/sec, 190 secs
lola: 3890879 markings, 35016936 edges, 17578 markings/sec, 195 secs
lola: 3983339 markings, 35907459 edges, 18492 markings/sec, 200 secs
lola: 4070333 markings, 36786170 edges, 17399 markings/sec, 205 secs
lola: 4151011 markings, 37678171 edges, 16136 markings/sec, 210 secs
lola: 4241646 markings, 38558443 edges, 18127 markings/sec, 215 secs
lola: 4327097 markings, 39452535 edges, 17090 markings/sec, 220 secs
lola: 4406936 markings, 40310804 edges, 15968 markings/sec, 225 secs
lola: 4488298 markings, 41185322 edges, 16272 markings/sec, 230 secs
lola: 4567972 markings, 42056800 edges, 15935 markings/sec, 235 secs
lola: 4646181 markings, 42946722 edges, 15642 markings/sec, 240 secs
lola: 4719601 markings, 43814657 edges, 14684 markings/sec, 245 secs
lola: 4791207 markings, 44687702 edges, 14321 markings/sec, 250 secs
lola: 4900923 markings, 45541968 edges, 21943 markings/sec, 255 secs
lola: 5012624 markings, 46430224 edges, 22340 markings/sec, 260 secs
lola: 5110568 markings, 47309958 edges, 19589 markings/sec, 265 secs
lola: 5212609 markings, 48185217 edges, 20408 markings/sec, 270 secs
lola: 5312967 markings, 49040685 edges, 20072 markings/sec, 275 secs
lola: 5408781 markings, 49915401 edges, 19163 markings/sec, 280 secs
lola: 5505065 markings, 50781410 edges, 19257 markings/sec, 285 secs
lola: 5599852 markings, 51662822 edges, 18957 markings/sec, 290 secs
lola: 5689723 markings, 52534214 edges, 17974 markings/sec, 295 secs
lola: 5776920 markings, 53420733 edges, 17439 markings/sec, 300 secs
lola: 5857391 markings, 54281704 edges, 16094 markings/sec, 305 secs
lola: 5965167 markings, 55157324 edges, 21555 markings/sec, 310 secs
lola: 6061351 markings, 56030765 edges, 19237 markings/sec, 315 secs
lola: 6160404 markings, 56903115 edges, 19811 markings/sec, 320 secs
lola: 6252124 markings, 57769745 edges, 18344 markings/sec, 325 secs
lola: 6343650 markings, 58636778 edges, 18305 markings/sec, 330 secs
lola: 6432404 markings, 59491239 edges, 17751 markings/sec, 335 secs
lola: 6515719 markings, 60361942 edges, 16663 markings/sec, 340 secs
lola: 6602758 markings, 61212399 edges, 17408 markings/sec, 345 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 352 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 470 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: 116799 markings, 794280 edges, 23360 markings/sec, 0 secs
lola: 230728 markings, 1668890 edges, 22786 markings/sec, 5 secs
lola: 342981 markings, 2558799 edges, 22451 markings/sec, 10 secs
lola: 448826 markings, 3451816 edges, 21169 markings/sec, 15 secs
lola: 545940 markings, 4341050 edges, 19423 markings/sec, 20 secs
lola: 659746 markings, 5222778 edges, 22761 markings/sec, 25 secs
lola: 769705 markings, 6114956 edges, 21992 markings/sec, 30 secs
lola: 867397 markings, 7003179 edges, 19538 markings/sec, 35 secs
lola: 973333 markings, 7894451 edges, 21187 markings/sec, 40 secs
lola: 1070888 markings, 8737190 edges, 19511 markings/sec, 45 secs
lola: 1167962 markings, 9621598 edges, 19415 markings/sec, 50 secs
lola: 1265953 markings, 10517724 edges, 19598 markings/sec, 55 secs
lola: 1362632 markings, 11412503 edges, 19336 markings/sec, 60 secs
lola: 1453301 markings, 12307169 edges, 18134 markings/sec, 65 secs
lola: 1541362 markings, 13202033 edges, 17612 markings/sec, 70 secs
lola: 1633693 markings, 14090844 edges, 18466 markings/sec, 75 secs
lola: 1747958 markings, 14979258 edges, 22853 markings/sec, 80 secs
lola: 1854419 markings, 15872746 edges, 21292 markings/sec, 85 secs
lola: 1948430 markings, 16764192 edges, 18802 markings/sec, 90 secs
lola: 2060586 markings, 17656980 edges, 22431 markings/sec, 95 secs
lola: 2159411 markings, 18545350 edges, 19765 markings/sec, 100 secs
lola: 2260578 markings, 19442705 edges, 20233 markings/sec, 105 secs
lola: 2355828 markings, 20339683 edges, 19050 markings/sec, 110 secs
lola: 2450535 markings, 21237420 edges, 18941 markings/sec, 115 secs
lola: 2543110 markings, 22132605 edges, 18515 markings/sec, 120 secs
lola: 2627685 markings, 23024960 edges, 16915 markings/sec, 125 secs
lola: 2726084 markings, 23915577 edges, 19680 markings/sec, 130 secs
lola: 2830074 markings, 24805796 edges, 20798 markings/sec, 135 secs
lola: 2927937 markings, 25698469 edges, 19573 markings/sec, 140 secs
lola: 3027723 markings, 26597991 edges, 19957 markings/sec, 145 secs
lola: 3124102 markings, 27495761 edges, 19276 markings/sec, 150 secs
lola: 3216206 markings, 28391865 edges, 18421 markings/sec, 155 secs
lola: 3303393 markings, 29286090 edges, 17437 markings/sec, 160 secs
lola: 3390120 markings, 30180593 edges, 17345 markings/sec, 165 secs
lola: 3491282 markings, 31080004 edges, 20232 markings/sec, 170 secs
lola: 3587592 markings, 31977392 edges, 19262 markings/sec, 175 secs
lola: 3680610 markings, 32876329 edges, 18604 markings/sec, 180 secs
lola: 3767741 markings, 33761442 edges, 17426 markings/sec, 185 secs
lola: 3848694 markings, 34643397 edges, 16191 markings/sec, 190 secs
lola: 3943072 markings, 35538836 edges, 18876 markings/sec, 195 secs
lola: 4036170 markings, 36432225 edges, 18620 markings/sec, 200 secs
lola: 4121405 markings, 37329599 edges, 17047 markings/sec, 205 secs
lola: 4205541 markings, 38195506 edges, 16827 markings/sec, 210 secs
lola: 4294209 markings, 39096656 edges, 17734 markings/sec, 215 secs
lola: 4376377 markings, 40000504 edges, 16434 markings/sec, 220 secs
lola: 4463096 markings, 40903916 edges, 17344 markings/sec, 225 secs
lola: 4544746 markings, 41800114 edges, 16330 markings/sec, 230 secs
lola: 4624332 markings, 42695241 edges, 15917 markings/sec, 235 secs
lola: 4700057 markings, 43587639 edges, 15145 markings/sec, 240 secs
lola: 4772334 markings, 44478814 edges, 14455 markings/sec, 245 secs
lola: 4881431 markings, 45363208 edges, 21819 markings/sec, 250 secs
lola: 4991180 markings, 46256269 edges, 21950 markings/sec, 255 secs
lola: 5094115 markings, 47153903 edges, 20587 markings/sec, 260 secs
lola: 5197531 markings, 48049890 edges, 20683 markings/sec, 265 secs
lola: 5301734 markings, 48942469 edges, 20841 markings/sec, 270 secs
lola: 5399274 markings, 49836103 edges, 19508 markings/sec, 275 secs
lola: 5500581 markings, 50740793 edges, 20261 markings/sec, 280 secs
lola: 5597785 markings, 51643644 edges, 19441 markings/sec, 285 secs
lola: 5690777 markings, 52544718 edges, 18598 markings/sec, 290 secs
lola: 5779133 markings, 53445095 edges, 17671 markings/sec, 295 secs
lola: 5865472 markings, 54341442 edges, 17268 markings/sec, 300 secs
lola: 5973748 markings, 55236611 edges, 21655 markings/sec, 305 secs
lola: 6071320 markings, 56130034 edges, 19514 markings/sec, 310 secs
lola: 6174546 markings, 57032363 edges, 20645 markings/sec, 315 secs
lola: 6270843 markings, 57933569 edges, 19259 markings/sec, 320 secs
lola: 6365547 markings, 58833826 edges, 18941 markings/sec, 325 secs
lola: 6456197 markings, 59732792 edges, 18130 markings/sec, 330 secs
lola: 6539642 markings, 60629931 edges, 16689 markings/sec, 335 secs
lola: 6639582 markings, 61533412 edges, 19988 markings/sec, 340 secs
lola: 6736328 markings, 62436333 edges, 19349 markings/sec, 345 secs
lola: 6831290 markings, 63337659 edges, 18992 markings/sec, 350 secs
lola: 6922915 markings, 64237797 edges, 18325 markings/sec, 355 secs
lola: 7006750 markings, 65135148 edges, 16767 markings/sec, 360 secs
lola: 7100760 markings, 66043484 edges, 18802 markings/sec, 365 secs
lola: 7194443 markings, 66955090 edges, 18737 markings/sec, 370 secs
lola: 7283165 markings, 67862909 edges, 17744 markings/sec, 375 secs
lola: 7368027 markings, 68768334 edges, 16972 markings/sec, 380 secs
lola: 7458474 markings, 69677503 edges, 18089 markings/sec, 385 secs
lola: 7542518 markings, 70582588 edges, 16809 markings/sec, 390 secs
lola: 7629345 markings, 71488832 edges, 17365 markings/sec, 395 secs
lola: 7711665 markings, 72392692 edges, 16464 markings/sec, 400 secs
lola: 7792259 markings, 73295645 edges, 16119 markings/sec, 405 secs
lola: 7871518 markings, 74197644 edges, 15852 markings/sec, 410 secs
lola: 7944688 markings, 75090782 edges, 14634 markings/sec, 415 secs
lola: 8038769 markings, 75980565 edges, 18816 markings/sec, 420 secs
lola: 8142505 markings, 76870154 edges, 20747 markings/sec, 425 secs
lola: 8239947 markings, 77760457 edges, 19488 markings/sec, 430 secs
lola: 8339819 markings, 78656573 edges, 19974 markings/sec, 435 secs
lola: 8435968 markings, 79551034 edges, 19230 markings/sec, 440 secs
lola: 8527804 markings, 80444110 edges, 18367 markings/sec, 445 secs
lola: 8615240 markings, 81335515 edges, 17487 markings/sec, 450 secs
lola: 8699904 markings, 82225800 edges, 16933 markings/sec, 455 secs
lola: 8801882 markings, 83123281 edges, 20396 markings/sec, 460 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 470 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ready)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 940 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1604 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: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: RESULT
lola:
SUMMARY: unknown 200 1 1 200 unknown unknown unknown unknown 200 unknown unknown 1 unknown 1 200
lola: ========================================
FORMULA Referendum-COL-0200-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-1 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-4 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-9 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Referendum-COL-0200-UpperBounds-15 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496333310832
--------------------
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="Referendum-PT-0200"
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/Referendum-PT-0200.tgz
mv Referendum-PT-0200 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 Referendum-PT-0200, 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 r208-smll-149581172600164"
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 '
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 ;