fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r208-smll-149581172600164
Last Updated
June 27, 2017

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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;