Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r067-smll-167814394300024.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CSRepetitions-COL-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394300024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 11:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 11:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678218728203

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-COL-04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-07 19:52:12] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-07 19:52:12] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-07 19:52:12] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-07 19:52:12] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-07 19:52:13] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 898 ms
[2023-03-07 19:52:13] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 117 PT places and 176.0 transition bindings in 42 ms.
[2023-03-07 19:52:13] [INFO ] Unfolded HLPN to a Petri net with 117 places and 176 transitions 624 arcs in 47 ms.
[2023-03-07 19:52:13] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-07 19:52:13] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 117 places, 176 transitions and 624 arcs took 19 ms.
Total runtime 1320 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (COL), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 117 places, 176 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 16078 SOS 14221 HAS SOPS 13996 HAS SOUS 12721 HAS SOUPS 12496 WITH SCORE 12510.221
AT ITER 1 NEW BEST:: SOT 13691 SOS 12295 HAS SOPS 12285 HAS SOUS 10356 HAS SOUPS 10346 WITH SCORE 10358.295
AT ITER 2 NEW BEST:: SOT 13670 SOS 12210 HAS SOPS 12200 HAS SOUS 10154 HAS SOUPS 10144 WITH SCORE 10156.21
AT ITER 3 NEW BEST:: SOT 13685 SOS 12181 HAS SOPS 12171 HAS SOUS 10081 HAS SOUPS 10071 WITH SCORE 10083.181
AT ITER 4 NEW BEST:: SOT 13668 SOS 12164 HAS SOPS 12154 HAS SOUS 10064 HAS SOUPS 10054 WITH SCORE 10066.164
AT ITER 7 NEW BEST:: SOT 13753 SOS 12176 HAS SOPS 12167 HAS SOUS 9969 HAS SOUPS 9960 WITH SCORE 9972.176
AT ITER 8 NEW BEST:: SOT 13790 SOS 12165 HAS SOPS 12156 HAS SOUS 9853 HAS SOUPS 9844 WITH SCORE 9856.165
AT ITER 9 NEW BEST:: SOT 13773 SOS 12148 HAS SOPS 12139 HAS SOUS 9836 HAS SOUPS 9827 WITH SCORE 9839.148
AT ITER 10 NEW BEST:: SOT 13735 SOS 12110 HAS SOPS 12101 HAS SOUS 9785 HAS SOUPS 9776 WITH SCORE 9788.11
AT ITER 13 NEW BEST:: SOT 13708 SOS 12083 HAS SOPS 12074 HAS SOUS 9758 HAS SOUPS 9749 WITH SCORE 9761.083
AT ITER 14 NEW BEST:: SOT 13779 SOS 12122 HAS SOPS 12113 HAS SOUS 9585 HAS SOUPS 9576 WITH SCORE 9588.122
AT ITER 16 NEW BEST:: SOT 13788 SOS 12123 HAS SOPS 12114 HAS SOUS 9555 HAS SOUPS 9546 WITH SCORE 9558.123
AT ITER 17 NEW BEST:: SOT 13712 SOS 12047 HAS SOPS 12038 HAS SOUS 9452 HAS SOUPS 9443 WITH SCORE 9455.047
AT ITER 18 NEW BEST:: SOT 13766 SOS 12074 HAS SOPS 12065 HAS SOUS 9371 HAS SOUPS 9362 WITH SCORE 9374.074
AT ITER 21 NEW BEST:: SOT 13735 SOS 12043 HAS SOPS 12034 HAS SOUS 9340 HAS SOUPS 9331 WITH SCORE 9343.043
AT ITER 23 NEW BEST:: SOT 13725 SOS 12033 HAS SOPS 12024 HAS SOUS 9330 HAS SOUPS 9321 WITH SCORE 9333.033
AT ITER 25 NEW BEST:: SOT 13723 SOS 12031 HAS SOPS 12022 HAS SOUS 9328 HAS SOUPS 9319 WITH SCORE 9331.031
AT ITER 27 NEW BEST:: SOT 13730 SOS 12036 HAS SOPS 12029 HAS SOUS 9306 HAS SOUPS 9299 WITH SCORE 9311.036
AT ITER 28 NEW BEST:: SOT 13164 SOS 11496 HAS SOPS 11489 HAS SOUS 8766 HAS SOUPS 8759 WITH SCORE 8770.496
AT ITER 29 NEW BEST:: SOT 13142 SOS 11474 HAS SOPS 11467 HAS SOUS 8754 HAS SOUPS 8747 WITH SCORE 8758.474
AT ITER 35 NEW BEST:: SOT 13142 SOS 11279 HAS SOPS 11266 HAS SOUS 8759 HAS SOUPS 8746 WITH SCORE 8757.279
AT ITER 37 NEW BEST:: SOT 13118 SOS 11255 HAS SOPS 11242 HAS SOUS 8723 HAS SOUPS 8710 WITH SCORE 8721.255
AT ITER 39 NEW BEST:: SOT 13036 SOS 11131 HAS SOPS 11118 HAS SOUS 8534 HAS SOUPS 8521 WITH SCORE 8532.131
AT ITER 40 NEW BEST:: SOT 13054 SOS 11091 HAS SOPS 11078 HAS SOUS 8386 HAS SOUPS 8373 WITH SCORE 8384.091
AT ITER 42 NEW BEST:: SOT 13225 SOS 11181 HAS SOPS 11168 HAS SOUS 8325 HAS SOUPS 8312 WITH SCORE 8323.181
AT ITER 43 NEW BEST:: SOT 13202 SOS 11142 HAS SOPS 11133 HAS SOUS 8294 HAS SOUPS 8285 WITH SCORE 8296.142
AT ITER 44 NEW BEST:: SOT 13182 SOS 11130 HAS SOPS 11121 HAS SOUS 8289 HAS SOUPS 8280 WITH SCORE 8291.13
AT ITER 45 NEW BEST:: SOT 13186 SOS 11134 HAS SOPS 11125 HAS SOUS 8281 HAS SOUPS 8272 WITH SCORE 8283.134
AT ITER 50 NEW BEST:: SOT 13284 SOS 11183 HAS SOPS 11174 HAS SOUS 8150 HAS SOUPS 8141 WITH SCORE 8152.183
AT ITER 52 NEW BEST:: SOT 13278 SOS 11177 HAS SOPS 11168 HAS SOUS 8144 HAS SOUPS 8135 WITH SCORE 8146.177
AT ITER 56 NEW BEST:: SOT 13270 SOS 11186 HAS SOPS 11177 HAS SOUS 8140 HAS SOUPS 8131 WITH SCORE 8142.186
AT ITER 63 NEW BEST:: SOT 13254 SOS 11170 HAS SOPS 11161 HAS SOUS 8126 HAS SOUPS 8117 WITH SCORE 8128.17
AT ITER 66 NEW BEST:: SOT 13270 SOS 11160 HAS SOPS 11151 HAS SOUS 8024 HAS SOUPS 8015 WITH SCORE 8026.16
AT ITER 67 NEW BEST:: SOT 13253 SOS 11119 HAS SOPS 11110 HAS SOUS 7961 HAS SOUPS 7952 WITH SCORE 7963.119
AT ITER 70 NEW BEST:: SOT 13250 SOS 11116 HAS SOPS 11107 HAS SOUS 7961 HAS SOUPS 7952 WITH SCORE 7963.116
AT ITER 71 NEW BEST:: SOT 13248 SOS 11114 HAS SOPS 11105 HAS SOUS 7959 HAS SOUPS 7950 WITH SCORE 7961.114
AT ITER 72 NEW BEST:: SOT 13321 SOS 11143 HAS SOPS 11134 HAS SOUS 7934 HAS SOUPS 7925 WITH SCORE 7936.143
AT ITER 77 NEW BEST:: SOT 13286 SOS 11115 HAS SOPS 11106 HAS SOUS 7906 HAS SOUPS 7897 WITH SCORE 7908.115
AT ITER 79 NEW BEST:: SOT 13316 SOS 10905 HAS SOPS 10896 HAS SOUS 7338 HAS SOUPS 7329 WITH SCORE 7339.905
AT ITER 88 NEW BEST:: SOT 13413 SOS 10933 HAS SOPS 10924 HAS SOUS 7276 HAS SOUPS 7267 WITH SCORE 7277.933
AT ITER 89 NEW BEST:: SOT 13409 SOS 10929 HAS SOPS 10920 HAS SOUS 7268 HAS SOUPS 7259 WITH SCORE 7269.929
AT ITER 94 NEW BEST:: SOT 13521 SOS 10995 HAS SOPS 10986 HAS SOUS 7242 HAS SOUPS 7233 WITH SCORE 7243.995
AT ITER 96 NEW BEST:: SOT 13519 SOS 10993 HAS SOPS 10984 HAS SOUS 7240 HAS SOUPS 7231 WITH SCORE 7241.993
AT ITER 98 NEW BEST:: SOT 13492 SOS 10966 HAS SOPS 10957 HAS SOUS 7198 HAS SOUPS 7189 WITH SCORE 7199.966
AT ITER 102 NEW BEST:: SOT 13562 SOS 10653 HAS SOPS 10644 HAS SOUS 6982 HAS SOUPS 6973 WITH SCORE 6983.653
AT ITER 104 NEW BEST:: SOT 13548 SOS 10639 HAS SOPS 10630 HAS SOUS 6968 HAS SOUPS 6959 WITH SCORE 6969.639
AT ITER 106 NEW BEST:: SOT 13562 SOS 10673 HAS SOPS 10670 HAS SOUS 6956 HAS SOUPS 6953 WITH SCORE 6963.673
AT ITER 110 NEW BEST:: SOT 13488 SOS 10599 HAS SOPS 10596 HAS SOUS 6822 HAS SOUPS 6819 WITH SCORE 6829.599
AT ITER 111 NEW BEST:: SOT 13476 SOS 10587 HAS SOPS 10584 HAS SOUS 6810 HAS SOUPS 6807 WITH SCORE 6817.587
AT ITER 113 NEW BEST:: SOT 13558 SOS 10630 HAS SOPS 10627 HAS SOUS 6786 HAS SOUPS 6783 WITH SCORE 6793.63
AT ITER 116 NEW BEST:: SOT 13558 SOS 10625 HAS SOPS 10622 HAS SOUS 6761 HAS SOUPS 6758 WITH SCORE 6768.625
AT ITER 118 NEW BEST:: SOT 13584 SOS 10635 HAS SOPS 10632 HAS SOUS 6749 HAS SOUPS 6746 WITH SCORE 6756.635
AT ITER 121 NEW BEST:: SOT 13540 SOS 10569 HAS SOPS 10566 HAS SOUS 6683 HAS SOUPS 6680 WITH SCORE 6690.569
AT ITER 123 NEW BEST:: SOT 13571 SOS 10600 HAS SOPS 10597 HAS SOUS 6659 HAS SOUPS 6656 WITH SCORE 6666.6
AT ITER 125 NEW BEST:: SOT 13571 SOS 10596 HAS SOPS 10593 HAS SOUS 6653 HAS SOUPS 6650 WITH SCORE 6660.596
AT ITER 126 NEW BEST:: SOT 13666 SOS 10638 HAS SOPS 10635 HAS SOUS 6606 HAS SOUPS 6603 WITH SCORE 6613.638
AT ITER 128 NEW BEST:: SOT 13630 SOS 10614 HAS SOPS 10611 HAS SOUS 6505 HAS SOUPS 6502 WITH SCORE 6512.614
AT ITER 136 NEW BEST:: SOT 13630 SOS 10369 HAS SOPS 10366 HAS SOUS 6413 HAS SOUPS 6410 WITH SCORE 6420.369
AT ITER 137 NEW BEST:: SOT 13627 SOS 10366 HAS SOPS 10363 HAS SOUS 6407 HAS SOUPS 6404 WITH SCORE 6414.366
AT ITER 153 NEW BEST:: SOT 13539 SOS 10251 HAS SOPS 10248 HAS SOUS 6262 HAS SOUPS 6259 WITH SCORE 6269.251
AT ITER 154 NEW BEST:: SOT 13534 SOS 10246 HAS SOPS 10243 HAS SOUS 6257 HAS SOUPS 6254 WITH SCORE 6264.246
AT ITER 159 NEW BEST:: SOT 13376 SOS 10128 HAS SOPS 10125 HAS SOUS 6119 HAS SOUPS 6116 WITH SCORE 6126.128
AT ITER 160 NEW BEST:: SOT 13372 SOS 10124 HAS SOPS 10121 HAS SOUS 6111 HAS SOUPS 6108 WITH SCORE 6118.124
AT ITER 162 NEW BEST:: SOT 13324 SOS 10093 HAS SOPS 10090 HAS SOUS 6104 HAS SOUPS 6101 WITH SCORE 6111.093
AT ITER 166 NEW BEST:: SOT 13319 SOS 10073 HAS SOPS 10070 HAS SOUS 6080 HAS SOUPS 6077 WITH SCORE 6087.073
AT ITER 173 NEW BEST:: SOT 13319 SOS 10102 HAS SOPS 10099 HAS SOUS 6072 HAS SOUPS 6069 WITH SCORE 6079.102
AT ITER 175 NEW BEST:: SOT 13312 SOS 10095 HAS SOPS 10092 HAS SOUS 6065 HAS SOUPS 6062 WITH SCORE 6072.095
AT ITER 176 NEW BEST:: SOT 13300 SOS 10083 HAS SOPS 10080 HAS SOUS 6041 HAS SOUPS 6038 WITH SCORE 6048.083
AT ITER 178 NEW BEST:: SOT 13254 SOS 10037 HAS SOPS 10034 HAS SOUS 5973 HAS SOUPS 5970 WITH SCORE 5980.037
AT ITER 190 NEW BEST:: SOT 13251 SOS 10034 HAS SOPS 10031 HAS SOUS 5966 HAS SOUPS 5963 WITH SCORE 5973.034
AT ITER 201 NEW BEST:: SOT 13251 SOS 10007 HAS SOPS 10004 HAS SOUS 5953 HAS SOUPS 5950 WITH SCORE 5960.007
AT ITER 204 NEW BEST:: SOT 13257 SOS 9969 HAS SOPS 9966 HAS SOUS 5950 HAS SOUPS 5947 WITH SCORE 5956.969
AT ITER 206 NEW BEST:: SOT 13251 SOS 9978 HAS SOPS 9975 HAS SOUS 5940 HAS SOUPS 5937 WITH SCORE 5946.978
AT ITER 216 NEW BEST:: SOT 13254 SOS 9972 HAS SOPS 9969 HAS SOUS 5919 HAS SOUPS 5916 WITH SCORE 5925.972
AT ITER 221 NEW BEST:: SOT 13227 SOS 9921 HAS SOPS 9918 HAS SOUS 5868 HAS SOUPS 5865 WITH SCORE 5874.921
AT ITER 224 NEW BEST:: SOT 13168 SOS 9883 HAS SOPS 9880 HAS SOUS 5830 HAS SOUPS 5827 WITH SCORE 5836.883
AT ITER 225 NEW BEST:: SOT 13202 SOS 9883 HAS SOPS 9880 HAS SOUS 5782 HAS SOUPS 5779 WITH SCORE 5788.883
AT ITER 226 NEW BEST:: SOT 13368 SOS 9646 HAS SOPS 9643 HAS SOUS 5644 HAS SOUPS 5641 WITH SCORE 5650.646
AT ITER 227 NEW BEST:: SOT 13338 SOS 9651 HAS SOPS 9648 HAS SOUS 5599 HAS SOUPS 5596 WITH SCORE 5605.651
AT ITER 230 NEW BEST:: SOT 13345 SOS 9655 HAS SOPS 9652 HAS SOUS 5597 HAS SOUPS 5594 WITH SCORE 5603.655
AT ITER 233 NEW BEST:: SOT 13298 SOS 9643 HAS SOPS 9640 HAS SOUS 5542 HAS SOUPS 5539 WITH SCORE 5548.643
AT ITER 240 NEW BEST:: SOT 13295 SOS 9640 HAS SOPS 9637 HAS SOUS 5536 HAS SOUPS 5533 WITH SCORE 5542.64
AT ITER 244 NEW BEST:: SOT 13295 SOS 9640 HAS SOPS 9637 HAS SOUS 5530 HAS SOUPS 5527 WITH SCORE 5536.64
AT ITER 248 NEW BEST:: SOT 13128 SOS 9559 HAS SOPS 9556 HAS SOUS 5500 HAS SOUPS 5497 WITH SCORE 5506.559
AT ITER 258 NEW BEST:: SOT 13031 SOS 9437 HAS SOPS 9434 HAS SOUS 5386 HAS SOUPS 5383 WITH SCORE 5392.437
AT ITER 266 NEW BEST:: SOT 13029 SOS 9433 HAS SOPS 9430 HAS SOUS 5382 HAS SOUPS 5379 WITH SCORE 5388.433
AT ITER 268 NEW BEST:: SOT 13081 SOS 9454 HAS SOPS 9451 HAS SOUS 5315 HAS SOUPS 5312 WITH SCORE 5321.454
AT ITER 269 NEW BEST:: SOT 13020 SOS 9415 HAS SOPS 9412 HAS SOUS 5314 HAS SOUPS 5311 WITH SCORE 5320.415
AT ITER 273 NEW BEST:: SOT 13003 SOS 9398 HAS SOPS 9395 HAS SOUS 5287 HAS SOUPS 5284 WITH SCORE 5293.398
AT ITER 277 NEW BEST:: SOT 13057 SOS 9430 HAS SOPS 9427 HAS SOUS 5285 HAS SOUPS 5282 WITH SCORE 5291.43
AT ITER 278 NEW BEST:: SOT 13103 SOS 9476 HAS SOPS 9473 HAS SOUS 5283 HAS SOUPS 5280 WITH SCORE 5289.476
AT ITER 280 NEW BEST:: SOT 13101 SOS 9474 HAS SOPS 9471 HAS SOUS 5281 HAS SOUPS 5278 WITH SCORE 5287.474
AT ITER 284 NEW BEST:: SOT 13101 SOS 9467 HAS SOPS 9464 HAS SOUS 5237 HAS SOUPS 5234 WITH SCORE 5243.467
AT ITER 286 NEW BEST:: SOT 13114 SOS 9467 HAS SOPS 9464 HAS SOUS 5198 HAS SOUPS 5195 WITH SCORE 5204.467
AT ITER 298 NEW BEST:: SOT 13112 SOS 9465 HAS SOPS 9462 HAS SOUS 5194 HAS SOUPS 5191 WITH SCORE 5200.465
AT ITER 304 NEW BEST:: SOT 13112 SOS 9435 HAS SOPS 9432 HAS SOUS 5194 HAS SOUPS 5191 WITH SCORE 5200.435
AT ITER 315 NEW BEST:: SOT 13114 SOS 9483 HAS SOPS 9480 HAS SOUS 5186 HAS SOUPS 5183 WITH SCORE 5192.483
AT ITER 316 NEW BEST:: SOT 13100 SOS 9461 HAS SOPS 9458 HAS SOUS 5160 HAS SOUPS 5157 WITH SCORE 5166.461
AT ITER 318 NEW BEST:: SOT 13100 SOS 9408 HAS SOPS 9405 HAS SOUS 5160 HAS SOUPS 5157 WITH SCORE 5166.408
AT ITER 319 NEW BEST:: SOT 13030 SOS 9338 HAS SOPS 9335 HAS SOUS 5051 HAS SOUPS 5048 WITH SCORE 5057.338
AT ITER 329 NEW BEST:: SOT 13094 SOS 9370 HAS SOPS 9367 HAS SOUS 5033 HAS SOUPS 5030 WITH SCORE 5039.37
AT ITER 338 NEW BEST:: SOT 13062 SOS 9285 HAS SOPS 9282 HAS SOUS 4969 HAS SOUPS 4966 WITH SCORE 4975.285
AT ITER 339 NEW BEST:: SOT 13038 SOS 9319 HAS SOPS 9316 HAS SOUS 4957 HAS SOUPS 4954 WITH SCORE 4963.319
AT ITER 347 NEW BEST:: SOT 13039 SOS 9319 HAS SOPS 9316 HAS SOUS 4956 HAS SOUPS 4953 WITH SCORE 4962.319
AT ITER 360 NEW BEST:: SOT 13039 SOS 9304 HAS SOPS 9301 HAS SOUS 4951 HAS SOUPS 4948 WITH SCORE 4957.304
AT ITER 371 NEW BEST:: SOT 13011 SOS 9276 HAS SOPS 9273 HAS SOUS 4918 HAS SOUPS 4915 WITH SCORE 4924.276
AT ITER 374 NEW BEST:: SOT 12986 SOS 9251 HAS SOPS 9248 HAS SOUS 4870 HAS SOUPS 4867 WITH SCORE 4876.251
AT ITER 379 NEW BEST:: SOT 12984 SOS 9249 HAS SOPS 9246 HAS SOUS 4866 HAS SOUPS 4863 WITH SCORE 4872.249
AT ITER 380 NEW BEST:: SOT 12964 SOS 9229 HAS SOPS 9226 HAS SOUS 4826 HAS SOUPS 4823 WITH SCORE 4832.229
AT ITER 384 NEW BEST:: SOT 12979 SOS 9223 HAS SOPS 9220 HAS SOUS 4741 HAS SOUPS 4738 WITH SCORE 4747.223
AT ITER 389 NEW BEST:: SOT 12970 SOS 9186 HAS SOPS 9183 HAS SOUS 4741 HAS SOUPS 4738 WITH SCORE 4747.186
AT ITER 416 NEW BEST:: SOT 12970 SOS 9186 HAS SOPS 9183 HAS SOUS 4734 HAS SOUPS 4731 WITH SCORE 4740.186
AT ITER 439 NEW BEST:: SOT 12994 SOS 9134 HAS SOPS 9131 HAS SOUS 4725 HAS SOUPS 4722 WITH SCORE 4731.134
AT ITER 444 NEW BEST:: SOT 12977 SOS 9117 HAS SOPS 9114 HAS SOUS 4679 HAS SOUPS 4676 WITH SCORE 4685.117
AT ITER 446 NEW BEST:: SOT 12981 SOS 9105 HAS SOPS 9102 HAS SOUS 4663 HAS SOUPS 4660 WITH SCORE 4669.105
AT ITER 453 NEW BEST:: SOT 12958 SOS 9082 HAS SOPS 9079 HAS SOUS 4642 HAS SOUPS 4639 WITH SCORE 4648.082
AT ITER 454 NEW BEST:: SOT 12953 SOS 9077 HAS SOPS 9074 HAS SOUS 4637 HAS SOUPS 4634 WITH SCORE 4643.077
AT ITER 457 NEW BEST:: SOT 12950 SOS 9074 HAS SOPS 9071 HAS SOUS 4631 HAS SOUPS 4628 WITH SCORE 4637.074
AT ITER 463 NEW BEST:: SOT 12946 SOS 9033 HAS SOPS 9030 HAS SOUS 4611 HAS SOUPS 4608 WITH SCORE 4617.033
AT ITER 469 NEW BEST:: SOT 12898 SOS 9013 HAS SOPS 9010 HAS SOUS 4601 HAS SOUPS 4598 WITH SCORE 4607.013
AT ITER 471 NEW BEST:: SOT 12824 SOS 8943 HAS SOPS 8940 HAS SOUS 4540 HAS SOUPS 4537 WITH SCORE 4545.943
AT ITER 476 NEW BEST:: SOT 12822 SOS 8941 HAS SOPS 8938 HAS SOUS 4536 HAS SOUPS 4533 WITH SCORE 4541.941
AT ITER 490 NEW BEST:: SOT 12807 SOS 8932 HAS SOPS 8929 HAS SOUS 4536 HAS SOUPS 4533 WITH SCORE 4541.932
AT ITER 499 NEW BEST:: SOT 12787 SOS 8920 HAS SOPS 8917 HAS SOUS 4532 HAS SOUPS 4529 WITH SCORE 4537.92
AT ITER 500 NEW BEST:: SOT 12767 SOS 8914 HAS SOPS 8911 HAS SOUS 4526 HAS SOUPS 4523 WITH SCORE 4531.914
AT ITER 508 NEW BEST:: SOT 12763 SOS 8893 HAS SOPS 8890 HAS SOUS 4514 HAS SOUPS 4511 WITH SCORE 4519.893
AT ITER 510 NEW BEST:: SOT 12755 SOS 8885 HAS SOPS 8882 HAS SOUS 4498 HAS SOUPS 4495 WITH SCORE 4503.885
AT ITER 534 NEW BEST:: SOT 12746 SOS 8876 HAS SOPS 8873 HAS SOUS 4483 HAS SOUPS 4480 WITH SCORE 4488.876
AT ITER 538 NEW BEST:: SOT 12730 SOS 8860 HAS SOPS 8857 HAS SOUS 4467 HAS SOUPS 4464 WITH SCORE 4472.86
AT ITER 543 NEW BEST:: SOT 12738 SOS 8852 HAS SOPS 8849 HAS SOUS 4451 HAS SOUPS 4448 WITH SCORE 4456.852
AT ITER 544 NEW BEST:: SOT 12727 SOS 8861 HAS SOPS 8858 HAS SOUS 4426 HAS SOUPS 4423 WITH SCORE 4431.861
AT ITER 552 NEW BEST:: SOT 12691 SOS 8839 HAS SOPS 8836 HAS SOUS 4414 HAS SOUPS 4411 WITH SCORE 4419.839
AT ITER 555 NEW BEST:: SOT 12691 SOS 8836 HAS SOPS 8833 HAS SOUS 4414 HAS SOUPS 4411 WITH SCORE 4419.836
AT ITER 561 NEW BEST:: SOT 12691 SOS 8836 HAS SOPS 8833 HAS SOUS 4398 HAS SOUPS 4395 WITH SCORE 4403.836
AT ITER 588 NEW BEST:: SOT 12687 SOS 8832 HAS SOPS 8829 HAS SOUS 4390 HAS SOUPS 4387 WITH SCORE 4395.832
AT ITER 593 NEW BEST:: SOT 12637 SOS 8796 HAS SOPS 8793 HAS SOUS 4360 HAS SOUPS 4357 WITH SCORE 4365.796
AT ITER 599 NEW BEST:: SOT 12643 SOS 8802 HAS SOPS 8799 HAS SOUS 4355 HAS SOUPS 4352 WITH SCORE 4360.802
AT ITER 605 NEW BEST:: SOT 12635 SOS 8794 HAS SOPS 8791 HAS SOUS 4339 HAS SOUPS 4336 WITH SCORE 4344.794
AT ITER 615 NEW BEST:: SOT 12631 SOS 8786 HAS SOPS 8783 HAS SOUS 4331 HAS SOUPS 4328 WITH SCORE 4336.786
AT ITER 618 NEW BEST:: SOT 12632 SOS 8786 HAS SOPS 8783 HAS SOUS 4328 HAS SOUPS 4325 WITH SCORE 4333.786
AT ITER 626 NEW BEST:: SOT 12628 SOS 8791 HAS SOPS 8788 HAS SOUS 4323 HAS SOUPS 4320 WITH SCORE 4328.791
AT ITER 631 NEW BEST:: SOT 12618 SOS 8796 HAS SOPS 8789 HAS SOUS 4309 HAS SOUPS 4302 WITH SCORE 4310.796
AT ITER 634 NEW BEST:: SOT 12615 SOS 8778 HAS SOPS 8771 HAS SOUS 4269 HAS SOUPS 4262 WITH SCORE 4270.778
AT ITER 639 NEW BEST:: SOT 12611 SOS 8772 HAS SOPS 8765 HAS SOUS 4261 HAS SOUPS 4254 WITH SCORE 4262.772
AT ITER 640 NEW BEST:: SOT 12618 SOS 8773 HAS SOPS 8766 HAS SOUS 4247 HAS SOUPS 4240 WITH SCORE 4248.773
AT ITER 660 NEW BEST:: SOT 12637 SOS 8779 HAS SOPS 8772 HAS SOUS 4235 HAS SOUPS 4228 WITH SCORE 4236.779
AT ITER 662 NEW BEST:: SOT 12639 SOS 8779 HAS SOPS 8772 HAS SOUS 4233 HAS SOUPS 4226 WITH SCORE 4234.779
AT ITER 670 NEW BEST:: SOT 12638 SOS 8778 HAS SOPS 8771 HAS SOUS 4232 HAS SOUPS 4225 WITH SCORE 4233.778
AT ITER 673 NEW BEST:: SOT 12633 SOS 8773 HAS SOPS 8766 HAS SOUS 4222 HAS SOUPS 4215 WITH SCORE 4223.773
AT ITER 685 NEW BEST:: SOT 12629 SOS 8769 HAS SOPS 8762 HAS SOUS 4214 HAS SOUPS 4207 WITH SCORE 4215.769
AT ITER 687 NEW BEST:: SOT 12625 SOS 8752 HAS SOPS 8745 HAS SOUS 4206 HAS SOUPS 4199 WITH SCORE 4207.752
AT ITER 699 NEW BEST:: SOT 12612 SOS 8758 HAS SOPS 8751 HAS SOUS 4204 HAS SOUPS 4197 WITH SCORE 4205.758
AT ITER 700 NEW BEST:: SOT 12612 SOS 8758 HAS SOPS 8751 HAS SOUS 4201 HAS SOUPS 4194 WITH SCORE 4202.758
AT ITER 716 NEW BEST:: SOT 12610 SOS 8755 HAS SOPS 8748 HAS SOUS 4197 HAS SOUPS 4190 WITH SCORE 4198.755
AT ITER 745 NEW BEST:: SOT 12610 SOS 8733 HAS SOPS 8726 HAS SOUS 4189 HAS SOUPS 4182 WITH SCORE 4190.733
AT ITER 762 NEW BEST:: SOT 12512 SOS 8694 HAS SOPS 8687 HAS SOUS 4182 HAS SOUPS 4175 WITH SCORE 4183.694
AT ITER 764 NEW BEST:: SOT 12514 SOS 8694 HAS SOPS 8687 HAS SOUS 4180 HAS SOUPS 4173 WITH SCORE 4181.694
AT ITER 766 NEW BEST:: SOT 12508 SOS 8692 HAS SOPS 8685 HAS SOUS 4180 HAS SOUPS 4173 WITH SCORE 4181.692
AT ITER 768 NEW BEST:: SOT 12483 SOS 8667 HAS SOPS 8660 HAS SOUS 4155 HAS SOUPS 4148 WITH SCORE 4156.667
AT ITER 771 NEW BEST:: SOT 12482 SOS 8661 HAS SOPS 8654 HAS SOUS 4152 HAS SOUPS 4145 WITH SCORE 4153.661
AT ITER 772 NEW BEST:: SOT 12482 SOS 8652 HAS SOPS 8645 HAS SOUS 4126 HAS SOUPS 4119 WITH SCORE 4127.652
AT ITER 776 NEW BEST:: SOT 12482 SOS 8652 HAS SOPS 8645 HAS SOUS 4116 HAS SOUPS 4109 WITH SCORE 4117.652
AT ITER 778 NEW BEST:: SOT 12463 SOS 8633 HAS SOPS 8626 HAS SOUS 4078 HAS SOUPS 4071 WITH SCORE 4079.633
AT ITER 787 NEW BEST:: SOT 12460 SOS 8627 HAS SOPS 8620 HAS SOUS 4069 HAS SOUPS 4062 WITH SCORE 4070.627
AT ITER 796 NEW BEST:: SOT 12459 SOS 8625 HAS SOPS 8618 HAS SOUS 4065 HAS SOUPS 4058 WITH SCORE 4066.625
AT ITER 803 NEW BEST:: SOT 12454 SOS 8620 HAS SOPS 8613 HAS SOUS 4061 HAS SOUPS 4054 WITH SCORE 4062.62
AT ITER 829 NEW BEST:: SOT 12442 SOS 8612 HAS SOPS 8605 HAS SOUS 4049 HAS SOUPS 4042 WITH SCORE 4050.612
AT ITER 833 NEW BEST:: SOT 12491 SOS 8625 HAS SOPS 8618 HAS SOUS 4011 HAS SOUPS 4004 WITH SCORE 4012.625
AT ITER 846 NEW BEST:: SOT 12444 SOS 8589 HAS SOPS 8582 HAS SOUS 3973 HAS SOUPS 3966 WITH SCORE 3974.589
AT ITER 890 NEW BEST:: SOT 12435 SOS 8580 HAS SOPS 8573 HAS SOUS 3955 HAS SOUPS 3948 WITH SCORE 3956.58
AT ITER 891 NEW BEST:: SOT 12434 SOS 8579 HAS SOPS 8572 HAS SOUS 3954 HAS SOUPS 3947 WITH SCORE 3955.579
AT ITER 903 NEW BEST:: SOT 12380 SOS 8546 HAS SOPS 8542 HAS SOUS 3905 HAS SOUPS 3901 WITH SCORE 3909.546
AT ITER 907 NEW BEST:: SOT 12365 SOS 8531 HAS SOPS 8527 HAS SOUS 3873 HAS SOUPS 3869 WITH SCORE 3877.531
AT ITER 914 NEW BEST:: SOT 12351 SOS 8507 HAS SOPS 8503 HAS SOUS 3845 HAS SOUPS 3841 WITH SCORE 3849.507
AT ITER 923 NEW BEST:: SOT 12357 SOS 8513 HAS SOPS 8509 HAS SOUS 3844 HAS SOUPS 3840 WITH SCORE 3848.513
AT ITER 926 NEW BEST:: SOT 12369 SOS 8516 HAS SOPS 8512 HAS SOUS 3823 HAS SOUPS 3819 WITH SCORE 3827.516
AT ITER 931 NEW BEST:: SOT 12345 SOS 8534 HAS SOPS 8530 HAS SOUS 3820 HAS SOUPS 3816 WITH SCORE 3824.534
AT ITER 932 NEW BEST:: SOT 12339 SOS 8528 HAS SOPS 8524 HAS SOUS 3820 HAS SOUPS 3816 WITH SCORE 3824.528
AT ITER 953 NEW BEST:: SOT 12323 SOS 8512 HAS SOPS 8508 HAS SOUS 3790 HAS SOUPS 3786 WITH SCORE 3794.512
AT ITER 959 NEW BEST:: SOT 12320 SOS 8509 HAS SOPS 8505 HAS SOUS 3787 HAS SOUPS 3783 WITH SCORE 3791.509
AT ITER 964 NEW BEST:: SOT 12320 SOS 8501 HAS SOPS 8499 HAS SOUS 3785 HAS SOUPS 3783 WITH SCORE 3791.501
AT ITER 977 NEW BEST:: SOT 12319 SOS 8500 HAS SOPS 8498 HAS SOUS 3783 HAS SOUPS 3781 WITH SCORE 3789.5
AT ITER 993 NEW BEST:: SOT 12318 SOS 8499 HAS SOPS 8497 HAS SOUS 3781 HAS SOUPS 3779 WITH SCORE 3787.499
AT ITER 1029 NEW BEST:: SOT 12313 SOS 8482 HAS SOPS 8480 HAS SOUS 3764 HAS SOUPS 3762 WITH SCORE 3770.482
AT ITER 1034 NEW BEST:: SOT 12308 SOS 8477 HAS SOPS 8475 HAS SOUS 3754 HAS SOUPS 3752 WITH SCORE 3760.477
AT ITER 1053 NEW BEST:: SOT 12284 SOS 8453 HAS SOPS 8451 HAS SOUS 3718 HAS SOUPS 3716 WITH SCORE 3724.453
AT ITER 1064 NEW BEST:: SOT 12307 SOS 7535 HAS SOPS 7496 HAS SOUS 3740 HAS SOUPS 3701 WITH SCORE 3708.535
AT ITER 1099 NEW BEST:: SOT 12306 SOS 7534 HAS SOPS 7495 HAS SOUS 3740 HAS SOUPS 3701 WITH SCORE 3708.534
AT ITER 1134 NEW BEST:: SOT 12294 SOS 7522 HAS SOPS 7483 HAS SOUS 3734 HAS SOUPS 3695 WITH SCORE 3702.522
AT ITER 1136 NEW BEST:: SOT 12296 SOS 7523 HAS SOPS 7484 HAS SOUS 3733 HAS SOUPS 3694 WITH SCORE 3701.523
AT ITER 1147 NEW BEST:: SOT 12303 SOS 7508 HAS SOPS 7469 HAS SOUS 3637 HAS SOUPS 3598 WITH SCORE 3605.508
AT ITER 1156 NEW BEST:: SOT 12300 SOS 7505 HAS SOPS 7466 HAS SOUS 3633 HAS SOUPS 3594 WITH SCORE 3601.505
AT ITER 1167 NEW BEST:: SOT 12209 SOS 7445 HAS SOPS 7406 HAS SOUS 3588 HAS SOUPS 3549 WITH SCORE 3556.445
AT ITER 1211 NEW BEST:: SOT 12209 SOS 7444 HAS SOPS 7406 HAS SOUS 3587 HAS SOUPS 3549 WITH SCORE 3556.444
AT ITER 1253 NEW BEST:: SOT 12208 SOS 7443 HAS SOPS 7405 HAS SOUS 3585 HAS SOUPS 3547 WITH SCORE 3554.443
AT ITER 1258 NEW BEST:: SOT 12206 SOS 7441 HAS SOPS 7403 HAS SOUS 3581 HAS SOUPS 3543 WITH SCORE 3550.441
AT ITER 1307 NEW BEST:: SOT 12185 SOS 7428 HAS SOPS 7390 HAS SOUS 3579 HAS SOUPS 3541 WITH SCORE 3548.428
AT ITER 1326 NEW BEST:: SOT 12178 SOS 7421 HAS SOPS 7383 HAS SOUS 3577 HAS SOUPS 3539 WITH SCORE 3546.421
AT ITER 1336 NEW BEST:: SOT 12177 SOS 7420 HAS SOPS 7382 HAS SOUS 3576 HAS SOUPS 3538 WITH SCORE 3545.42
AT ITER 1342 NEW BEST:: SOT 12176 SOS 7407 HAS SOPS 7369 HAS SOUS 3574 HAS SOUPS 3536 WITH SCORE 3543.407
AT ITER 1364 NEW BEST:: SOT 12175 SOS 7406 HAS SOPS 7368 HAS SOUS 3570 HAS SOUPS 3532 WITH SCORE 3539.406
AT ITER 1446 NEW BEST:: SOT 12175 SOS 7403 HAS SOPS 7365 HAS SOUS 3568 HAS SOUPS 3530 WITH SCORE 3537.403
AT ITER 1452 NEW BEST:: SOT 12169 SOS 7399 HAS SOPS 7361 HAS SOUS 3563 HAS SOUPS 3525 WITH SCORE 3532.399
AT ITER 1483 NEW BEST:: SOT 12170 SOS 7399 HAS SOPS 7361 HAS SOUS 3562 HAS SOUPS 3524 WITH SCORE 3531.399
AT ITER 1494 NEW BEST:: SOT 12107 SOS 7381 HAS SOPS 7343 HAS SOUS 3549 HAS SOUPS 3511 WITH SCORE 3518.381
AT ITER 1497 NEW BEST:: SOT 12103 SOS 7377 HAS SOPS 7339 HAS SOUS 3541 HAS SOUPS 3503 WITH SCORE 3510.377
AT ITER 1566 NEW BEST:: SOT 12086 SOS 7353 HAS SOPS 7315 HAS SOUS 3507 HAS SOUPS 3469 WITH SCORE 3476.353
AT ITER 1600 NEW BEST:: SOT 12081 SOS 7360 HAS SOPS 7316 HAS SOUS 3501 HAS SOUPS 3457 WITH SCORE 3464.36
AT ITER 1623 NEW BEST:: SOT 12069 SOS 7348 HAS SOPS 7304 HAS SOUS 3477 HAS SOUPS 3433 WITH SCORE 3440.348
AT ITER 1629 NEW BEST:: SOT 12066 SOS 7345 HAS SOPS 7301 HAS SOUS 3471 HAS SOUPS 3427 WITH SCORE 3434.345
AT ITER 1652 NEW BEST:: SOT 12070 SOS 7349 HAS SOPS 7305 HAS SOUS 3459 HAS SOUPS 3415 WITH SCORE 3422.349
AT ITER 1678 NEW BEST:: SOT 12068 SOS 7347 HAS SOPS 7303 HAS SOUS 3455 HAS SOUPS 3411 WITH SCORE 3418.347
AT ITER 1686 NEW BEST:: SOT 12067 SOS 7346 HAS SOPS 7302 HAS SOUS 3454 HAS SOUPS 3410 WITH SCORE 3417.346
AT ITER 1693 NEW BEST:: SOT 12068 SOS 7347 HAS SOPS 7303 HAS SOUS 3452 HAS SOUPS 3408 WITH SCORE 3415.347
AT ITER 1739 NEW BEST:: SOT 12065 SOS 7394 HAS SOPS 7350 HAS SOUS 3443 HAS SOUPS 3399 WITH SCORE 3406.394
AT ITER 1761 NEW BEST:: SOT 12063 SOS 7397 HAS SOPS 7353 HAS SOUS 3437 HAS SOUPS 3393 WITH SCORE 3400.397
AT ITER 1764 NEW BEST:: SOT 12062 SOS 7395 HAS SOPS 7347 HAS SOUS 3438 HAS SOUPS 3390 WITH SCORE 3397.395
AT ITER 1781 NEW BEST:: SOT 12059 SOS 7394 HAS SOPS 7346 HAS SOUS 3438 HAS SOUPS 3390 WITH SCORE 3397.394
AT ITER 1783 NEW BEST:: SOT 12046 SOS 7385 HAS SOPS 7337 HAS SOUS 3432 HAS SOUPS 3384 WITH SCORE 3391.385
AT ITER 1799 NEW BEST:: SOT 12037 SOS 7383 HAS SOPS 7335 HAS SOUS 3429 HAS SOUPS 3381 WITH SCORE 3388.383
AT ITER 1805 NEW BEST:: SOT 12037 SOS 7382 HAS SOPS 7334 HAS SOUS 3427 HAS SOUPS 3379 WITH SCORE 3386.382
AT ITER 1817 NEW BEST:: SOT 12039 SOS 7374 HAS SOPS 7321 HAS SOUS 3423 HAS SOUPS 3370 WITH SCORE 3377.374
AT ITER 1829 NEW BEST:: SOT 12062 SOS 7161 HAS SOPS 7086 HAS SOUS 3445 HAS SOUPS 3370 WITH SCORE 3377.161
AT ITER 1835 NEW BEST:: SOT 12068 SOS 7164 HAS SOPS 7089 HAS SOUS 3442 HAS SOUPS 3367 WITH SCORE 3374.164
AT ITER 1860 NEW BEST:: SOT 12064 SOS 7160 HAS SOPS 7085 HAS SOUS 3434 HAS SOUPS 3359 WITH SCORE 3366.16
AT ITER 1866 NEW BEST:: SOT 12060 SOS 7156 HAS SOPS 7081 HAS SOUS 3430 HAS SOUPS 3355 WITH SCORE 3362.156
AT ITER 1879 NEW BEST:: SOT 12060 SOS 7156 HAS SOPS 7081 HAS SOUS 3429 HAS SOUPS 3354 WITH SCORE 3361.156
AT ITER 1894 NEW BEST:: SOT 12048 SOS 7191 HAS SOPS 7116 HAS SOUS 3421 HAS SOUPS 3346 WITH SCORE 3353.191
AT ITER 1952 NEW BEST:: SOT 12048 SOS 7191 HAS SOPS 7116 HAS SOUS 3420 HAS SOUPS 3345 WITH SCORE 3352.191
AT ITER 1954 NEW BEST:: SOT 12050 SOS 7192 HAS SOPS 7117 HAS SOUS 3419 HAS SOUPS 3344 WITH SCORE 3351.192
AT ITER 1955 NEW BEST:: SOT 12048 SOS 7190 HAS SOPS 7115 HAS SOUS 3415 HAS SOUPS 3340 WITH SCORE 3347.19
AT ITER 2062 NEW BEST:: SOT 12036 SOS 7178 HAS SOPS 7103 HAS SOUS 3405 HAS SOUPS 3330 WITH SCORE 3337.178
AT ITER 2079 NEW BEST:: SOT 12031 SOS 7173 HAS SOPS 7098 HAS SOUS 3397 HAS SOUPS 3322 WITH SCORE 3329.173
AT ITER 2089 NEW BEST:: SOT 12019 SOS 7167 HAS SOPS 7092 HAS SOUS 3391 HAS SOUPS 3316 WITH SCORE 3323.167
AT ITER 2095 NEW BEST:: SOT 12019 SOS 7161 HAS SOPS 7087 HAS SOUS 3390 HAS SOUPS 3316 WITH SCORE 3323.161
AT ITER 2105 NEW BEST:: SOT 12017 SOS 7161 HAS SOPS 7087 HAS SOUS 3385 HAS SOUPS 3311 WITH SCORE 3318.161
AT ITER 2114 NEW BEST:: SOT 12015 SOS 7197 HAS SOPS 7111 HAS SOUS 3391 HAS SOUPS 3305 WITH SCORE 3312.197
AT ITER 2130 NEW BEST:: SOT 12015 SOS 7193 HAS SOPS 7108 HAS SOUS 3390 HAS SOUPS 3305 WITH SCORE 3312.193
AT ITER 2132 NEW BEST:: SOT 12012 SOS 7189 HAS SOPS 7104 HAS SOUS 3384 HAS SOUPS 3299 WITH SCORE 3306.189
AT ITER 2182 NEW BEST:: SOT 12006 SOS 7202 HAS SOPS 7106 HAS SOUS 3377 HAS SOUPS 3281 WITH SCORE 3288.202
AT ITER 2194 NEW BEST:: SOT 12004 SOS 7200 HAS SOPS 7104 HAS SOUS 3372 HAS SOUPS 3276 WITH SCORE 3283.2
AT ITER 2243 NEW BEST:: SOT 11998 SOS 7238 HAS SOPS 7146 HAS SOUS 3367 HAS SOUPS 3275 WITH SCORE 3282.238
AT ITER 2259 NEW BEST:: SOT 11995 SOS 7231 HAS SOPS 7139 HAS SOUS 3356 HAS SOUPS 3264 WITH SCORE 3271.231
AT ITER 2260 NEW BEST:: SOT 11969 SOS 7217 HAS SOPS 7125 HAS SOUS 3345 HAS SOUPS 3253 WITH SCORE 3260.217
AT ITER 2274 NEW BEST:: SOT 11986 SOS 7237 HAS SOPS 7145 HAS SOUS 3330 HAS SOUPS 3238 WITH SCORE 3245.237
AT ITER 2336 NEW BEST:: SOT 11964 SOS 7204 HAS SOPS 7112 HAS SOUS 3311 HAS SOUPS 3219 WITH SCORE 3226.204
AT ITER 2356 NEW BEST:: SOT 11964 SOS 7200 HAS SOPS 7107 HAS SOUS 3309 HAS SOUPS 3216 WITH SCORE 3223.2
AT ITER 2366 NEW BEST:: SOT 11948 SOS 7184 HAS SOPS 7091 HAS SOUS 3282 HAS SOUPS 3189 WITH SCORE 3196.184
AT ITER 2394 NEW BEST:: SOT 11944 SOS 7174 HAS SOPS 7081 HAS SOUS 3276 HAS SOUPS 3183 WITH SCORE 3190.174
AT ITER 2423 NEW BEST:: SOT 11941 SOS 7171 HAS SOPS 7078 HAS SOUS 3270 HAS SOUPS 3177 WITH SCORE 3184.171
AT ITER 2452 NEW BEST:: SOT 11931 SOS 7161 HAS SOPS 7068 HAS SOUS 3256 HAS SOUPS 3163 WITH SCORE 3170.161
AT ITER 2454 NEW BEST:: SOT 11923 SOS 7153 HAS SOPS 7060 HAS SOUS 3240 HAS SOUPS 3147 WITH SCORE 3154.153
AT ITER 2506 NEW BEST:: SOT 11923 SOS 7152 HAS SOPS 7059 HAS SOUS 3239 HAS SOUPS 3146 WITH SCORE 3153.152
AT ITER 2543 NEW BEST:: SOT 11926 SOS 7155 HAS SOPS 7062 HAS SOUS 3238 HAS SOUPS 3145 WITH SCORE 3152.155
AT ITER 2588 NEW BEST:: SOT 11926 SOS 7155 HAS SOPS 7062 HAS SOUS 3236 HAS SOUPS 3143 WITH SCORE 3150.155
AT ITER 2612 NEW BEST:: SOT 11927 SOS 7128 HAS SOPS 7032 HAS SOUS 3224 HAS SOUPS 3128 WITH SCORE 3135.128
AT ITER 2633 NEW BEST:: SOT 11905 SOS 7116 HAS SOPS 7020 HAS SOUS 3220 HAS SOUPS 3124 WITH SCORE 3131.116
AT ITER 2683 NEW BEST:: SOT 11896 SOS 7107 HAS SOPS 7011 HAS SOUS 3202 HAS SOUPS 3106 WITH SCORE 3113.107
AT ITER 2800 NEW BEST:: SOT 11894 SOS 7105 HAS SOPS 7009 HAS SOUS 3200 HAS SOUPS 3104 WITH SCORE 3111.105
AT ITER 2810 NEW BEST:: SOT 11884 SOS 7102 HAS SOPS 7007 HAS SOUS 3189 HAS SOUPS 3094 WITH SCORE 3101.102
AT ITER 2867 NEW BEST:: SOT 11913 SOS 7084 HAS SOPS 6989 HAS SOUS 3182 HAS SOUPS 3087 WITH SCORE 3094.084
AT ITER 2906 NEW BEST:: SOT 11914 SOS 7074 HAS SOPS 6971 HAS SOUS 3181 HAS SOUPS 3078 WITH SCORE 3085.074
AT ITER 3096 NEW BEST:: SOT 11910 SOS 7070 HAS SOPS 6967 HAS SOUS 3173 HAS SOUPS 3070 WITH SCORE 3077.07
AT ITER 3264 NEW BEST:: SOT 11910 SOS 7069 HAS SOPS 6966 HAS SOUS 3168 HAS SOUPS 3065 WITH SCORE 3072.069
AT ITER 3318 NEW BEST:: SOT 11912 SOS 7070 HAS SOPS 6967 HAS SOUS 3167 HAS SOUPS 3064 WITH SCORE 3071.07
AT ITER 3344 NEW BEST:: SOT 11911 SOS 7069 HAS SOPS 6966 HAS SOUS 3166 HAS SOUPS 3063 WITH SCORE 3070.069
AT ITER 3368 NEW BEST:: SOT 11903 SOS 7057 HAS SOPS 6954 HAS SOUS 3142 HAS SOUPS 3039 WITH SCORE 3046.057
AT ITER 3394 NEW BEST:: SOT 11897 SOS 7051 HAS SOPS 6948 HAS SOUS 3139 HAS SOUPS 3036 WITH SCORE 3043.051
AT ITER 3409 NEW BEST:: SOT 11901 SOS 7045 HAS SOPS 6940 HAS SOUS 3140 HAS SOUPS 3035 WITH SCORE 3042.045
AT ITER 3411 NEW BEST:: SOT 11911 SOS 7050 HAS SOPS 6945 HAS SOUS 3135 HAS SOUPS 3030 WITH SCORE 3037.05
AT ITER 3437 NEW BEST:: SOT 11910 SOS 7049 HAS SOPS 6944 HAS SOUS 3129 HAS SOUPS 3024 WITH SCORE 3031.049
AT ITER 3439 NEW BEST:: SOT 11906 SOS 7041 HAS SOPS 6936 HAS SOUS 3109 HAS SOUPS 3004 WITH SCORE 3011.041
AT ITER 3489 NEW BEST:: SOT 11906 SOS 7041 HAS SOPS 6936 HAS SOUS 3105 HAS SOUPS 3000 WITH SCORE 3007.041
AT ITER 3588 NEW BEST:: SOT 11898 SOS 7029 HAS SOPS 6924 HAS SOUS 3100 HAS SOUPS 2995 WITH SCORE 3002.029
AT ITER 3620 NEW BEST:: SOT 11887 SOS 7023 HAS SOPS 6918 HAS SOUS 3093 HAS SOUPS 2988 WITH SCORE 2995.023
AT ITER 3701 NEW BEST:: SOT 11887 SOS 7022 HAS SOPS 6917 HAS SOUS 3088 HAS SOUPS 2983 WITH SCORE 2990.022
AT ITER 3791 NEW BEST:: SOT 11883 SOS 7015 HAS SOPS 6910 HAS SOUS 3073 HAS SOUPS 2968 WITH SCORE 2975.015
AT ITER 3799 NEW BEST:: SOT 11883 SOS 7010 HAS SOPS 6905 HAS SOUS 3073 HAS SOUPS 2968 WITH SCORE 2975.01
AT ITER 3804 NEW BEST:: SOT 11877 SOS 7008 HAS SOPS 6903 HAS SOUS 3068 HAS SOUPS 2963 WITH SCORE 2970.008
AT ITER 3819 NEW BEST:: SOT 11849 SOS 6934 HAS SOPS 6829 HAS SOUS 2958 HAS SOUPS 2853 WITH SCORE 2859.934
AT ITER 3834 NEW BEST:: SOT 11849 SOS 6934 HAS SOPS 6829 HAS SOUS 2954 HAS SOUPS 2849 WITH SCORE 2855.934
AT ITER 3935 NEW BEST:: SOT 11839 SOS 6920 HAS SOPS 6815 HAS SOUS 2924 HAS SOUPS 2819 WITH SCORE 2825.92
AT ITER 3948 NEW BEST:: SOT 11839 SOS 6920 HAS SOPS 6815 HAS SOUS 2922 HAS SOUPS 2817 WITH SCORE 2823.92
AT ITER 3959 NEW BEST:: SOT 11849 SOS 6906 HAS SOPS 6791 HAS SOUS 2932 HAS SOUPS 2817 WITH SCORE 2823.906
AT ITER 4050 NEW BEST:: SOT 11836 SOS 6899 HAS SOPS 6784 HAS SOUS 2926 HAS SOUPS 2811 WITH SCORE 2817.899
AT ITER 4096 NEW BEST:: SOT 11835 SOS 6898 HAS SOPS 6783 HAS SOUS 2924 HAS SOUPS 2809 WITH SCORE 2815.898
AT ITER 4129 NEW BEST:: SOT 11833 SOS 6896 HAS SOPS 6781 HAS SOUS 2920 HAS SOUPS 2805 WITH SCORE 2811.896
AT ITER 4169 NEW BEST:: SOT 11837 SOS 6884 HAS SOPS 6764 HAS SOUS 2923 HAS SOUPS 2803 WITH SCORE 2809.884
AT ITER 4210 NEW BEST:: SOT 11846 SOS 6890 HAS SOPS 6770 HAS SOUS 2920 HAS SOUPS 2800 WITH SCORE 2806.89
AT ITER 4250 NEW BEST:: SOT 11844 SOS 6888 HAS SOPS 6768 HAS SOUS 2918 HAS SOUPS 2798 WITH SCORE 2804.888
AT ITER 4294 NEW BEST:: SOT 11840 SOS 6884 HAS SOPS 6764 HAS SOUS 2910 HAS SOUPS 2790 WITH SCORE 2796.884
AT ITER 4318 NEW BEST:: SOT 11840 SOS 6883 HAS SOPS 6764 HAS SOUS 2909 HAS SOUPS 2790 WITH SCORE 2796.883
AT ITER 4350 NEW BEST:: SOT 11835 SOS 6878 HAS SOPS 6759 HAS SOUS 2898 HAS SOUPS 2779 WITH SCORE 2785.878
AT ITER 4370 NEW BEST:: SOT 11842 SOS 6881 HAS SOPS 6762 HAS SOUS 2896 HAS SOUPS 2777 WITH SCORE 2783.881
AT ITER 4372 NEW BEST:: SOT 11841 SOS 6889 HAS SOPS 6770 HAS SOUS 2893 HAS SOUPS 2774 WITH SCORE 2780.889
AT ITER 4413 NEW BEST:: SOT 11841 SOS 6888 HAS SOPS 6769 HAS SOUS 2889 HAS SOUPS 2770 WITH SCORE 2776.888
AT ITER 4426 NEW BEST:: SOT 11829 SOS 6876 HAS SOPS 6757 HAS SOUS 2868 HAS SOUPS 2749 WITH SCORE 2755.876
AT ITER 4452 NEW BEST:: SOT 11812 SOS 6859 HAS SOPS 6740 HAS SOUS 2837 HAS SOUPS 2718 WITH SCORE 2724.859
AT ITER 4472 NEW BEST:: SOT 11802 SOS 6849 HAS SOPS 6730 HAS SOUS 2827 HAS SOUPS 2708 WITH SCORE 2714.849
AT ITER 4582 NEW BEST:: SOT 11798 SOS 6846 HAS SOPS 6727 HAS SOUS 2825 HAS SOUPS 2706 WITH SCORE 2712.846
AT ITER 4682 NEW BEST:: SOT 11798 SOS 6845 HAS SOPS 6726 HAS SOUS 2822 HAS SOUPS 2703 WITH SCORE 2709.845
AT ITER 4711 NEW BEST:: SOT 11798 SOS 6833 HAS SOPS 6714 HAS SOUS 2822 HAS SOUPS 2703 WITH SCORE 2709.833
AT ITER 4794 NEW BEST:: SOT 11800 SOS 6835 HAS SOPS 6716 HAS SOUS 2816 HAS SOUPS 2697 WITH SCORE 2703.835
AT ITER 4795 NEW BEST:: SOT 11799 SOS 6829 HAS SOPS 6710 HAS SOUS 2813 HAS SOUPS 2694 WITH SCORE 2700.829
AT ITER 4802 NEW BEST:: SOT 11799 SOS 6829 HAS SOPS 6710 HAS SOUS 2811 HAS SOUPS 2692 WITH SCORE 2698.829
AT ITER 4813 NEW BEST:: SOT 11784 SOS 6819 HAS SOPS 6700 HAS SOUS 2806 HAS SOUPS 2687 WITH SCORE 2693.819
AT ITER 4821 NEW BEST:: SOT 11782 SOS 6817 HAS SOPS 6698 HAS SOUS 2802 HAS SOUPS 2683 WITH SCORE 2689.817
AT ITER 4832 NEW BEST:: SOT 11780 SOS 6814 HAS SOPS 6695 HAS SOUS 2796 HAS SOUPS 2677 WITH SCORE 2683.814
AT ITER 4894 NEW BEST:: SOT 11780 SOS 6813 HAS SOPS 6694 HAS SOUS 2792 HAS SOUPS 2673 WITH SCORE 2679.813
AT ITER 4929 NEW BEST:: SOT 11781 SOS 6813 HAS SOPS 6694 HAS SOUS 2789 HAS SOUPS 2670 WITH SCORE 2676.813
AT ITER 4949 NEW BEST:: SOT 11780 SOS 6801 HAS SOPS 6688 HAS SOUS 2780 HAS SOUPS 2667 WITH SCORE 2673.801
AT ITER 4968 NEW BEST:: SOT 11784 SOS 6803 HAS SOPS 6690 HAS SOUS 2778 HAS SOUPS 2665 WITH SCORE 2671.803
AT ITER 4975 NEW BEST:: SOT 11782 SOS 6801 HAS SOPS 6688 HAS SOUS 2774 HAS SOUPS 2661 WITH SCORE 2667.801
AT ITER 4982 NEW BEST:: SOT 11783 SOS 6801 HAS SOPS 6688 HAS SOUS 2773 HAS SOUPS 2660 WITH SCORE 2666.801
AT ITER 5021 NEW BEST:: SOT 11781 SOS 6799 HAS SOPS 6686 HAS SOUS 2771 HAS SOUPS 2658 WITH SCORE 2664.799
AT ITER 5190 NEW BEST:: SOT 11777 SOS 6795 HAS SOPS 6682 HAS SOUS 2763 HAS SOUPS 2650 WITH SCORE 2656.795
AT ITER 5194 NEW BEST:: SOT 11775 SOS 6793 HAS SOPS 6678 HAS SOUS 2759 HAS SOUPS 2644 WITH SCORE 2650.793
AT ITER 5277 NEW BEST:: SOT 11770 SOS 6788 HAS SOPS 6673 HAS SOUS 2748 HAS SOUPS 2633 WITH SCORE 2639.788
AT ITER 5285 NEW BEST:: SOT 11775 SOS 6791 HAS SOPS 6676 HAS SOUS 2747 HAS SOUPS 2632 WITH SCORE 2638.791
AT ITER 5294 NEW BEST:: SOT 11758 SOS 6853 HAS SOPS 6738 HAS SOUS 2741 HAS SOUPS 2626 WITH SCORE 2632.853
AT ITER 5337 NEW BEST:: SOT 11754 SOS 6849 HAS SOPS 6734 HAS SOUS 2733 HAS SOUPS 2618 WITH SCORE 2624.849
AT ITER 5417 NEW BEST:: SOT 11754 SOS 6833 HAS SOPS 6718 HAS SOUS 2733 HAS SOUPS 2618 WITH SCORE 2624.833
AT ITER 5424 NEW BEST:: SOT 11758 SOS 6835 HAS SOPS 6720 HAS SOUS 2731 HAS SOUPS 2616 WITH SCORE 2622.835
AT ITER 5495 NEW BEST:: SOT 11760 SOS 6834 HAS SOPS 6719 HAS SOUS 2731 HAS SOUPS 2616 WITH SCORE 2622.834
AT ITER 5517 NEW BEST:: SOT 11760 SOS 6833 HAS SOPS 6719 HAS SOUS 2730 HAS SOUPS 2616 WITH SCORE 2622.833
AT ITER 5543 NEW BEST:: SOT 11758 SOS 6831 HAS SOPS 6717 HAS SOUS 2730 HAS SOUPS 2616 WITH SCORE 2622.831
AT ITER 5598 NEW BEST:: SOT 11752 SOS 6825 HAS SOPS 6711 HAS SOUS 2730 HAS SOUPS 2616 WITH SCORE 2622.825
AT ITER 5681 NEW BEST:: SOT 11752 SOS 6822 HAS SOPS 6707 HAS SOUS 2729 HAS SOUPS 2614 WITH SCORE 2620.822
AT ITER 5687 NEW BEST:: SOT 11752 SOS 6822 HAS SOPS 6707 HAS SOUS 2728 HAS SOUPS 2613 WITH SCORE 2619.822
AT ITER 5974 NEW BEST:: SOT 11752 SOS 6822 HAS SOPS 6707 HAS SOUS 2718 HAS SOUPS 2603 WITH SCORE 2609.822
AT ITER 6002 NEW BEST:: SOT 11751 SOS 6819 HAS SOPS 6701 HAS SOUS 2718 HAS SOUPS 2600 WITH SCORE 2606.819
AT ITER 6062 NEW BEST:: SOT 11747 SOS 6813 HAS SOPS 6695 HAS SOUS 2716 HAS SOUPS 2598 WITH SCORE 2604.813
AT ITER 6101 NEW BEST:: SOT 11745 SOS 6811 HAS SOPS 6693 HAS SOUS 2712 HAS SOUPS 2594 WITH SCORE 2600.811
AT ITER 6179 NEW BEST:: SOT 11701 SOS 6787 HAS SOPS 6669 HAS SOUS 2710 HAS SOUPS 2592 WITH SCORE 2598.787
AT ITER 6312 NEW BEST:: SOT 11700 SOS 6786 HAS SOPS 6668 HAS SOUS 2709 HAS SOUPS 2591 WITH SCORE 2597.786
AT ITER 6715 NEW BEST:: SOT 11699 SOS 6784 HAS SOPS 6662 HAS SOUS 2710 HAS SOUPS 2588 WITH SCORE 2594.784
AT ITER 6768 NEW BEST:: SOT 11698 SOS 6774 HAS SOPS 6656 HAS SOUS 2703 HAS SOUPS 2585 WITH SCORE 2591.774
AT ITER 6820 NEW BEST:: SOT 11693 SOS 6771 HAS SOPS 6653 HAS SOUS 2703 HAS SOUPS 2585 WITH SCORE 2591.771
AT ITER 6953 NEW BEST:: SOT 11687 SOS 6765 HAS SOPS 6647 HAS SOUS 2697 HAS SOUPS 2579 WITH SCORE 2585.765
AT ITER 7130 NEW BEST:: SOT 11687 SOS 6765 HAS SOPS 6647 HAS SOUS 2696 HAS SOUPS 2578 WITH SCORE 2584.765
AT ITER 7133 NEW BEST:: SOT 11683 SOS 6761 HAS SOPS 6643 HAS SOUS 2692 HAS SOUPS 2574 WITH SCORE 2580.761
AT ITER 7181 NEW BEST:: SOT 11681 SOS 6761 HAS SOPS 6643 HAS SOUS 2688 HAS SOUPS 2570 WITH SCORE 2576.761
AT ITER 7196 NEW BEST:: SOT 11671 SOS 6751 HAS SOPS 6633 HAS SOUS 2686 HAS SOUPS 2568 WITH SCORE 2574.751
AT ITER 7431 NEW BEST:: SOT 11669 SOS 6749 HAS SOPS 6631 HAS SOUS 2682 HAS SOUPS 2564 WITH SCORE 2570.749
AT ITER 7670 NEW BEST:: SOT 11669 SOS 6747 HAS SOPS 6631 HAS SOUS 2680 HAS SOUPS 2564 WITH SCORE 2570.747
AT ITER 8210 NEW BEST:: SOT 11668 SOS 6741 HAS SOPS 6625 HAS SOUS 2677 HAS SOUPS 2561 WITH SCORE 2567.741
AT ITER 8260 NEW BEST:: SOT 11668 SOS 6738 HAS SOPS 6622 HAS SOUS 2677 HAS SOUPS 2561 WITH SCORE 2567.738
AT ITER 8453 NEW BEST:: SOT 11663 SOS 6733 HAS SOPS 6617 HAS SOUS 2668 HAS SOUPS 2552 WITH SCORE 2558.733
AT ITER 8654 NEW BEST:: SOT 11665 SOS 6734 HAS SOPS 6618 HAS SOUS 2667 HAS SOUPS 2551 WITH SCORE 2557.734
AT ITER 8743 NEW BEST:: SOT 11668 SOS 6735 HAS SOPS 6619 HAS SOUS 2663 HAS SOUPS 2547 WITH SCORE 2553.735
AT ITER 8968 NEW BEST:: SOT 11662 SOS 6749 HAS SOPS 6633 HAS SOUS 2661 HAS SOUPS 2545 WITH SCORE 2551.749
AT ITER 9039 NEW BEST:: SOT 11663 SOS 6749 HAS SOPS 6633 HAS SOUS 2658 HAS SOUPS 2542 WITH SCORE 2548.749
AT ITER 9119 NEW BEST:: SOT 11663 SOS 6747 HAS SOPS 6631 HAS SOUS 2657 HAS SOUPS 2541 WITH SCORE 2547.747
AT ITER 9154 NEW BEST:: SOT 11662 SOS 6746 HAS SOPS 6630 HAS SOUS 2655 HAS SOUPS 2539 WITH SCORE 2545.746
AT ITER 9339 NEW BEST:: SOT 11661 SOS 6745 HAS SOPS 6629 HAS SOUS 2654 HAS SOUPS 2538 WITH SCORE 2544.745
AT ITER 9552 NEW BEST:: SOT 11655 SOS 6738 HAS SOPS 6622 HAS SOUS 2651 HAS SOUPS 2535 WITH SCORE 2541.738
AT ITER 9613 NEW BEST:: SOT 11638 SOS 6748 HAS SOPS 6632 HAS SOUS 2649 HAS SOUPS 2533 WITH SCORE 2539.748
AT ITER 9638 NEW BEST:: SOT 11640 SOS 6750 HAS SOPS 6634 HAS SOUS 2647 HAS SOUPS 2531 WITH SCORE 2537.75
AT ITER 9883 NEW BEST:: SOT 11641 SOS 6750 HAS SOPS 6634 HAS SOUS 2646 HAS SOUPS 2530 WITH SCORE 2536.75
STATE_SPACE STATES 30948223090688 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 471359925256192 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678218791423

--------------------
content from 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="CSRepetitions-COL-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CSRepetitions-COL-04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394300024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-COL-04.tgz
mv CSRepetitions-COL-04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;