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.r363-smll-167891814600560.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 smartxred
Input is SharedMemory-COL-000010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814600560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 14:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 12K Mar 5 18:23 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 1679272530902

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SharedMemory-COL-000010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:35:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:35:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:35:33] [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-20 00:35:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 00:35:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 770 ms
[2023-03-20 00:35:34] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 141 PT places and 320.0 transition bindings in 24 ms.
[2023-03-20 00:35:34] [INFO ] Unfolded HLPN to a Petri net with 141 places and 220 transitions 840 arcs in 34 ms.
[2023-03-20 00:35:34] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 00:35:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 141 places, 220 transitions and 840 arcs took 19 ms.
Total runtime 1015 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (COL), instance 000010
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 141 places, 220 transitions, 840 arcs.
AT ITER 0 NEW BEST:: SOT 27387 SOS 24098 HAS SOPS 24098 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22102.098
AT ITER 6 NEW BEST:: SOT 27458 SOS 24140 HAS SOPS 24140 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21968.14
AT ITER 7 NEW BEST:: SOT 27458 SOS 24140 HAS SOPS 24140 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21965.14
AT ITER 8 NEW BEST:: SOT 27646 SOS 24275 HAS SOPS 24275 HAS SOUS 21670 HAS SOUPS 21670 WITH SCORE 21694.275
AT ITER 9 NEW BEST:: SOT 27646 SOS 24275 HAS SOPS 24275 HAS SOUS 21645 HAS SOUPS 21645 WITH SCORE 21669.275
AT ITER 12 NEW BEST:: SOT 27650 SOS 24275 HAS SOPS 24275 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21657.275
AT ITER 13 NEW BEST:: SOT 27734 SOS 23934 HAS SOPS 23934 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20967.934
AT ITER 14 NEW BEST:: SOT 27780 SOS 23736 HAS SOPS 23736 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20448.736
AT ITER 17 NEW BEST:: SOT 27801 SOS 23380 HAS SOPS 23380 HAS SOUS 19580 HAS SOUPS 19580 WITH SCORE 19603.38
AT ITER 18 NEW BEST:: SOT 21140 SOS 16865 HAS SOPS 16865 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 12998.865
AT ITER 19 NEW BEST:: SOT 21094 SOS 16819 HAS SOPS 16819 HAS SOUS 12926 HAS SOUPS 12926 WITH SCORE 12942.819
AT ITER 21 NEW BEST:: SOT 21140 SOS 16684 HAS SOPS 16684 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12918.684
AT ITER 23 NEW BEST:: SOT 21273 SOS 16617 HAS SOPS 16617 HAS SOUS 12708 HAS SOUPS 12708 WITH SCORE 12724.617
AT ITER 26 NEW BEST:: SOT 21218 SOS 16555 HAS SOPS 16555 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12625.555
AT ITER 31 NEW BEST:: SOT 21155 SOS 16492 HAS SOPS 16492 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12587.492
AT ITER 33 NEW BEST:: SOT 21123 SOS 16460 HAS SOPS 16460 HAS SOUS 12522 HAS SOUPS 12522 WITH SCORE 12538.46
AT ITER 39 NEW BEST:: SOT 20951 SOS 16337 HAS SOPS 16337 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12527.337
AT ITER 43 NEW BEST:: SOT 20851 SOS 16241 HAS SOPS 16241 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12445.241
AT ITER 46 NEW BEST:: SOT 20834 SOS 16228 HAS SOPS 16228 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12422.228
AT ITER 54 NEW BEST:: SOT 20923 SOS 16241 HAS SOPS 16241 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12322.241
AT ITER 55 NEW BEST:: SOT 20504 SOS 15822 HAS SOPS 15822 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11926.822
AT ITER 57 NEW BEST:: SOT 20504 SOS 15822 HAS SOPS 15822 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11924.822
AT ITER 59 NEW BEST:: SOT 20578 SOS 15774 HAS SOPS 15774 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11827.774
AT ITER 62 NEW BEST:: SOT 20540 SOS 15736 HAS SOPS 15736 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11789.736
AT ITER 66 NEW BEST:: SOT 20514 SOS 15710 HAS SOPS 15710 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11763.71
AT ITER 68 NEW BEST:: SOT 20821 SOS 15475 HAS SOPS 15475 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11256.475
AT ITER 69 NEW BEST:: SOT 20880 SOS 15371 HAS SOPS 15371 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11218.371
AT ITER 73 NEW BEST:: SOT 20893 SOS 15384 HAS SOPS 15384 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11205.384
AT ITER 75 NEW BEST:: SOT 20959 SOS 15250 HAS SOPS 15250 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11097.25
AT ITER 79 NEW BEST:: SOT 20904 SOS 15308 HAS SOPS 15308 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11079.308
AT ITER 80 NEW BEST:: SOT 21367 SOS 15270 HAS SOPS 15270 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10981.27
AT ITER 83 NEW BEST:: SOT 21372 SOS 14909 HAS SOPS 14909 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10792.909
AT ITER 87 NEW BEST:: SOT 21364 SOS 14861 HAS SOPS 14861 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10725.861
AT ITER 93 NEW BEST:: SOT 21328 SOS 14825 HAS SOPS 14825 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10637.825
AT ITER 97 NEW BEST:: SOT 21328 SOS 14825 HAS SOPS 14825 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10631.825
AT ITER 98 NEW BEST:: SOT 21312 SOS 14835 HAS SOPS 14835 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10626.835
AT ITER 104 NEW BEST:: SOT 21312 SOS 14827 HAS SOPS 14827 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10614.827
AT ITER 106 NEW BEST:: SOT 21333 SOS 14673 HAS SOPS 14673 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10593.673
AT ITER 107 NEW BEST:: SOT 21399 SOS 14478 HAS SOPS 14478 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10508.478
AT ITER 110 NEW BEST:: SOT 21418 SOS 14377 HAS SOPS 14377 HAS SOUS 10466 HAS SOUPS 10466 WITH SCORE 10480.377
AT ITER 114 NEW BEST:: SOT 21358 SOS 14317 HAS SOPS 14317 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10360.317
AT ITER 117 NEW BEST:: SOT 21358 SOS 14317 HAS SOPS 14317 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10354.317
AT ITER 118 NEW BEST:: SOT 21331 SOS 14290 HAS SOPS 14290 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10300.29
AT ITER 119 NEW BEST:: SOT 21326 SOS 14285 HAS SOPS 14285 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10279.285
AT ITER 120 NEW BEST:: SOT 21307 SOS 14266 HAS SOPS 14266 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10226.266
AT ITER 130 NEW BEST:: SOT 21298 SOS 14257 HAS SOPS 14257 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10222.257
AT ITER 135 NEW BEST:: SOT 21298 SOS 14167 HAS SOPS 14167 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10199.167
AT ITER 138 NEW BEST:: SOT 21325 SOS 14219 HAS SOPS 14219 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10177.219
AT ITER 146 NEW BEST:: SOT 21325 SOS 14215 HAS SOPS 14215 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10177.215
AT ITER 149 NEW BEST:: SOT 21325 SOS 14140 HAS SOPS 14140 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10177.14
AT ITER 151 NEW BEST:: SOT 21288 SOS 14093 HAS SOPS 14093 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10135.093
AT ITER 152 NEW BEST:: SOT 21214 SOS 14023 HAS SOPS 14023 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9972.023
AT ITER 155 NEW BEST:: SOT 21199 SOS 13990 HAS SOPS 13990 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9898.99
AT ITER 156 NEW BEST:: SOT 21199 SOS 13958 HAS SOPS 13958 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9898.958
AT ITER 157 NEW BEST:: SOT 21058 SOS 13938 HAS SOPS 13938 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9727.938
AT ITER 158 NEW BEST:: SOT 21098 SOS 13978 HAS SOPS 13978 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9685.978
AT ITER 160 NEW BEST:: SOT 21098 SOS 13973 HAS SOPS 13973 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9654.973
AT ITER 170 NEW BEST:: SOT 21098 SOS 13934 HAS SOPS 13934 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9629.934
AT ITER 174 NEW BEST:: SOT 21103 SOS 13898 HAS SOPS 13898 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9626.898
AT ITER 177 NEW BEST:: SOT 21085 SOS 13867 HAS SOPS 13867 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9520.867
AT ITER 178 NEW BEST:: SOT 20891 SOS 13673 HAS SOPS 13673 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9418.673
AT ITER 183 NEW BEST:: SOT 20887 SOS 13669 HAS SOPS 13669 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9410.669
AT ITER 192 NEW BEST:: SOT 20872 SOS 13654 HAS SOPS 13654 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.654
AT ITER 196 NEW BEST:: SOT 20879 SOS 13632 HAS SOPS 13632 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.632
AT ITER 210 NEW BEST:: SOT 20879 SOS 13632 HAS SOPS 13632 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9390.632
AT ITER 213 NEW BEST:: SOT 20863 SOS 13519 HAS SOPS 13519 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9308.519
AT ITER 214 NEW BEST:: SOT 20858 SOS 13514 HAS SOPS 13514 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9302.514
AT ITER 215 NEW BEST:: SOT 20882 SOS 13464 HAS SOPS 13464 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9247.464
AT ITER 218 NEW BEST:: SOT 20878 SOS 13421 HAS SOPS 13421 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9202.421
AT ITER 222 NEW BEST:: SOT 20878 SOS 13409 HAS SOPS 13409 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9202.409
AT ITER 224 NEW BEST:: SOT 20898 SOS 13274 HAS SOPS 13274 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9164.274
AT ITER 229 NEW BEST:: SOT 20898 SOS 13254 HAS SOPS 13254 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9059.254
AT ITER 232 NEW BEST:: SOT 20898 SOS 13247 HAS SOPS 13247 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9044.247
AT ITER 233 NEW BEST:: SOT 20992 SOS 12944 HAS SOPS 12944 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8910.944
AT ITER 239 NEW BEST:: SOT 20964 SOS 12920 HAS SOPS 12920 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8896.92
AT ITER 240 NEW BEST:: SOT 20964 SOS 12912 HAS SOPS 12912 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8896.912
AT ITER 259 NEW BEST:: SOT 20904 SOS 12852 HAS SOPS 12852 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8766.852
AT ITER 268 NEW BEST:: SOT 20904 SOS 12844 HAS SOPS 12844 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8766.844
AT ITER 270 NEW BEST:: SOT 20904 SOS 12834 HAS SOPS 12834 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8765.834
AT ITER 275 NEW BEST:: SOT 20881 SOS 12843 HAS SOPS 12843 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8744.843
AT ITER 278 NEW BEST:: SOT 20645 SOS 12607 HAS SOPS 12607 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8684.607
AT ITER 280 NEW BEST:: SOT 20620 SOS 12509 HAS SOPS 12509 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8374.509
AT ITER 283 NEW BEST:: SOT 20557 SOS 12634 HAS SOPS 12634 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8320.634
AT ITER 284 NEW BEST:: SOT 20570 SOS 12647 HAS SOPS 12647 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8312.647
AT ITER 286 NEW BEST:: SOT 20570 SOS 12646 HAS SOPS 12646 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8312.646
AT ITER 287 NEW BEST:: SOT 20570 SOS 12631 HAS SOPS 12631 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8308.631
AT ITER 288 NEW BEST:: SOT 20536 SOS 12597 HAS SOPS 12597 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8240.597
AT ITER 293 NEW BEST:: SOT 20536 SOS 12559 HAS SOPS 12559 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8231.559
AT ITER 297 NEW BEST:: SOT 20511 SOS 12500 HAS SOPS 12500 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8190.5
AT ITER 298 NEW BEST:: SOT 20496 SOS 12509 HAS SOPS 12509 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8185.509
AT ITER 300 NEW BEST:: SOT 20511 SOS 12381 HAS SOPS 12381 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8174.381
AT ITER 304 NEW BEST:: SOT 20505 SOS 12529 HAS SOPS 12529 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8171.529
AT ITER 305 NEW BEST:: SOT 20503 SOS 12527 HAS SOPS 12527 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8161.527
AT ITER 311 NEW BEST:: SOT 20503 SOS 12479 HAS SOPS 12479 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8161.479
AT ITER 313 NEW BEST:: SOT 20452 SOS 12797 HAS SOPS 12797 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.797
AT ITER 321 NEW BEST:: SOT 20478 SOS 12778 HAS SOPS 12778 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8068.778
AT ITER 339 NEW BEST:: SOT 20472 SOS 12772 HAS SOPS 12772 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.772
AT ITER 347 NEW BEST:: SOT 20472 SOS 12762 HAS SOPS 12762 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.762
AT ITER 354 NEW BEST:: SOT 20472 SOS 12761 HAS SOPS 12761 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.761
AT ITER 365 NEW BEST:: SOT 20468 SOS 12757 HAS SOPS 12757 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8052.757
AT ITER 367 NEW BEST:: SOT 20492 SOS 12577 HAS SOPS 12577 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8047.577
AT ITER 368 NEW BEST:: SOT 20492 SOS 12577 HAS SOPS 12577 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8041.577
AT ITER 370 NEW BEST:: SOT 20492 SOS 12560 HAS SOPS 12560 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8041.56
AT ITER 376 NEW BEST:: SOT 20510 SOS 12585 HAS SOPS 12585 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8026.585
AT ITER 394 NEW BEST:: SOT 20510 SOS 12328 HAS SOPS 12328 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8026.328
AT ITER 398 NEW BEST:: SOT 20510 SOS 12250 HAS SOPS 12250 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8024.25
AT ITER 413 NEW BEST:: SOT 20502 SOS 12244 HAS SOPS 12244 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7966.244
AT ITER 429 NEW BEST:: SOT 20502 SOS 12196 HAS SOPS 12196 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7966.196
AT ITER 433 NEW BEST:: SOT 20502 SOS 12184 HAS SOPS 12184 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7964.184
AT ITER 438 NEW BEST:: SOT 20494 SOS 12176 HAS SOPS 12176 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7954.176
AT ITER 448 NEW BEST:: SOT 20494 SOS 12139 HAS SOPS 12139 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7954.139
AT ITER 449 NEW BEST:: SOT 20474 SOS 12151 HAS SOPS 12151 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7914.151
AT ITER 453 NEW BEST:: SOT 20427 SOS 12458 HAS SOPS 12458 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7851.458
AT ITER 457 NEW BEST:: SOT 20404 SOS 12642 HAS SOPS 12642 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7834.642
AT ITER 460 NEW BEST:: SOT 20384 SOS 13046 HAS SOPS 13046 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7815.046
AT ITER 472 NEW BEST:: SOT 20370 SOS 13113 HAS SOPS 13113 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7804.113
AT ITER 479 NEW BEST:: SOT 20342 SOS 13085 HAS SOPS 13085 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7736.085
AT ITER 480 NEW BEST:: SOT 20342 SOS 13071 HAS SOPS 13071 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7736.071
AT ITER 498 NEW BEST:: SOT 20372 SOS 13101 HAS SOPS 13101 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7724.101
AT ITER 510 NEW BEST:: SOT 19766 SOS 13282 HAS SOPS 13282 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7132.282
AT ITER 520 NEW BEST:: SOT 19740 SOS 13256 HAS SOPS 13256 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7080.256
AT ITER 524 NEW BEST:: SOT 19741 SOS 13323 HAS SOPS 13323 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7077.323
AT ITER 526 NEW BEST:: SOT 19721 SOS 13303 HAS SOPS 13303 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7037.303
AT ITER 532 NEW BEST:: SOT 19719 SOS 13309 HAS SOPS 13309 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7035.309
AT ITER 536 NEW BEST:: SOT 19703 SOS 13293 HAS SOPS 13293 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 7003.293
AT ITER 545 NEW BEST:: SOT 19710 SOS 13266 HAS SOPS 13266 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6998.266
AT ITER 568 NEW BEST:: SOT 19694 SOS 13250 HAS SOPS 13250 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6966.25
AT ITER 572 NEW BEST:: SOT 19541 SOS 13338 HAS SOPS 13338 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6801.338
AT ITER 582 NEW BEST:: SOT 19541 SOS 13324 HAS SOPS 13324 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6801.324
AT ITER 586 NEW BEST:: SOT 19541 SOS 13270 HAS SOPS 13270 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6801.27
AT ITER 618 NEW BEST:: SOT 19541 SOS 13151 HAS SOPS 13151 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6801.151
AT ITER 620 NEW BEST:: SOT 19539 SOS 13149 HAS SOPS 13149 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6797.149
AT ITER 623 NEW BEST:: SOT 19534 SOS 13343 HAS SOPS 13343 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6794.343
AT ITER 631 NEW BEST:: SOT 19522 SOS 13331 HAS SOPS 13331 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6770.331
AT ITER 668 NEW BEST:: SOT 19522 SOS 13329 HAS SOPS 13329 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6770.329
AT ITER 669 NEW BEST:: SOT 19472 SOS 13558 HAS SOPS 13558 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6721.558
AT ITER 670 NEW BEST:: SOT 19458 SOS 13554 HAS SOPS 13554 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6704.554
AT ITER 680 NEW BEST:: SOT 19452 SOS 13548 HAS SOPS 13548 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6698.548
AT ITER 681 NEW BEST:: SOT 19452 SOS 13535 HAS SOPS 13535 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6676.535
AT ITER 689 NEW BEST:: SOT 19389 SOS 13659 HAS SOPS 13659 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6617.659
AT ITER 696 NEW BEST:: SOT 19387 SOS 13657 HAS SOPS 13657 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6613.657
AT ITER 701 NEW BEST:: SOT 19363 SOS 13633 HAS SOPS 13633 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6565.633
AT ITER 718 NEW BEST:: SOT 19363 SOS 13627 HAS SOPS 13627 HAS SOUS 6549 HAS SOUPS 6549 WITH SCORE 6562.627
AT ITER 731 NEW BEST:: SOT 19299 SOS 13693 HAS SOPS 13693 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6516.693
AT ITER 741 NEW BEST:: SOT 19297 SOS 13687 HAS SOPS 13687 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6512.687
AT ITER 749 NEW BEST:: SOT 19297 SOS 13477 HAS SOPS 13477 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6512.477
AT ITER 761 NEW BEST:: SOT 19272 SOS 13452 HAS SOPS 13452 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6458.452
AT ITER 767 NEW BEST:: SOT 19250 SOS 13430 HAS SOPS 13430 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6450.43
AT ITER 770 NEW BEST:: SOT 19250 SOS 13311 HAS SOPS 13311 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6448.311
AT ITER 772 NEW BEST:: SOT 19198 SOS 13259 HAS SOPS 13259 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6400.259
AT ITER 781 NEW BEST:: SOT 19199 SOS 13250 HAS SOPS 13250 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6396.25
AT ITER 800 NEW BEST:: SOT 19161 SOS 13212 HAS SOPS 13212 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6320.212
AT ITER 807 NEW BEST:: SOT 19127 SOS 13178 HAS SOPS 13178 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6286.178
AT ITER 820 NEW BEST:: SOT 19111 SOS 13242 HAS SOPS 13242 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6265.242
AT ITER 822 NEW BEST:: SOT 19097 SOS 13228 HAS SOPS 13228 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6223.228
AT ITER 823 NEW BEST:: SOT 19085 SOS 13208 HAS SOPS 13208 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6199.208
AT ITER 831 NEW BEST:: SOT 19075 SOS 13268 HAS SOPS 13268 HAS SOUS 6166 HAS SOUPS 6166 WITH SCORE 6179.268
AT ITER 834 NEW BEST:: SOT 19062 SOS 13255 HAS SOPS 13255 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6166.255
AT ITER 836 NEW BEST:: SOT 19060 SOS 13258 HAS SOPS 13258 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6162.258
AT ITER 846 NEW BEST:: SOT 19059 SOS 13278 HAS SOPS 13278 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6151.278
AT ITER 854 NEW BEST:: SOT 19039 SOS 13258 HAS SOPS 13258 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6147.258
AT ITER 858 NEW BEST:: SOT 19051 SOS 13146 HAS SOPS 13146 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6136.146
AT ITER 867 NEW BEST:: SOT 19020 SOS 13122 HAS SOPS 13122 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6085.122
AT ITER 869 NEW BEST:: SOT 18938 SOS 13038 HAS SOPS 13038 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6036.038
AT ITER 877 NEW BEST:: SOT 18938 SOS 13037 HAS SOPS 13037 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6036.037
AT ITER 887 NEW BEST:: SOT 18926 SOS 13025 HAS SOPS 13025 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6012.025
AT ITER 908 NEW BEST:: SOT 18925 SOS 13041 HAS SOPS 13041 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6010.041
AT ITER 920 NEW BEST:: SOT 18909 SOS 13014 HAS SOPS 13014 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 5989.014
AT ITER 922 NEW BEST:: SOT 18905 SOS 13010 HAS SOPS 13010 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5985.01
AT ITER 927 NEW BEST:: SOT 18888 SOS 12971 HAS SOPS 12971 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5960.971
AT ITER 928 NEW BEST:: SOT 18873 SOS 12956 HAS SOPS 12956 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5935.956
AT ITER 931 NEW BEST:: SOT 18870 SOS 12951 HAS SOPS 12951 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5928.951
AT ITER 936 NEW BEST:: SOT 18887 SOS 12968 HAS SOPS 12968 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5918.968
AT ITER 944 NEW BEST:: SOT 18894 SOS 12975 HAS SOPS 12975 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5911.975
AT ITER 945 NEW BEST:: SOT 18892 SOS 12973 HAS SOPS 12973 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5907.973
AT ITER 946 NEW BEST:: SOT 18828 SOS 13341 HAS SOPS 13341 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5860.341
AT ITER 956 NEW BEST:: SOT 18824 SOS 13340 HAS SOPS 13340 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5852.34
AT ITER 980 NEW BEST:: SOT 18832 SOS 13345 HAS SOPS 13345 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5794.345
AT ITER 1017 NEW BEST:: SOT 18818 SOS 13449 HAS SOPS 13449 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5766.449
AT ITER 1019 NEW BEST:: SOT 18818 SOS 13425 HAS SOPS 13425 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5740.425
AT ITER 1061 NEW BEST:: SOT 18818 SOS 13380 HAS SOPS 13380 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5736.38
AT ITER 1106 NEW BEST:: SOT 18832 SOS 13394 HAS SOPS 13394 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5728.394
AT ITER 1124 NEW BEST:: SOT 18816 SOS 13378 HAS SOPS 13378 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5696.378
AT ITER 1128 NEW BEST:: SOT 18797 SOS 13359 HAS SOPS 13359 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5677.359
AT ITER 1151 NEW BEST:: SOT 18792 SOS 13354 HAS SOPS 13354 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5672.354
AT ITER 1171 NEW BEST:: SOT 18783 SOS 13408 HAS SOPS 13408 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5654.408
AT ITER 1204 NEW BEST:: SOT 18782 SOS 13407 HAS SOPS 13407 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5654.407
AT ITER 1232 NEW BEST:: SOT 18770 SOS 13395 HAS SOPS 13395 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5630.395
AT ITER 1237 NEW BEST:: SOT 18773 SOS 13398 HAS SOPS 13398 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5620.398
AT ITER 1273 NEW BEST:: SOT 18703 SOS 13318 HAS SOPS 13308 HAS SOUS 5607 HAS SOUPS 5597 WITH SCORE 5610.318
AT ITER 1277 NEW BEST:: SOT 18700 SOS 13339 HAS SOPS 13329 HAS SOUS 5601 HAS SOUPS 5591 WITH SCORE 5604.339
AT ITER 1278 NEW BEST:: SOT 18694 SOS 13330 HAS SOPS 13320 HAS SOUS 5591 HAS SOUPS 5581 WITH SCORE 5594.33
AT ITER 1288 NEW BEST:: SOT 18694 SOS 13310 HAS SOPS 13300 HAS SOUS 5591 HAS SOUPS 5581 WITH SCORE 5594.31
AT ITER 1301 NEW BEST:: SOT 18694 SOS 13310 HAS SOPS 13300 HAS SOUS 5588 HAS SOUPS 5578 WITH SCORE 5591.31
AT ITER 1319 NEW BEST:: SOT 18636 SOS 13252 HAS SOPS 13242 HAS SOUS 5580 HAS SOUPS 5570 WITH SCORE 5583.252
AT ITER 1334 NEW BEST:: SOT 18636 SOS 13231 HAS SOPS 13221 HAS SOUS 5580 HAS SOUPS 5570 WITH SCORE 5583.231
AT ITER 1344 NEW BEST:: SOT 18630 SOS 13225 HAS SOPS 13215 HAS SOUS 5571 HAS SOUPS 5561 WITH SCORE 5574.225
AT ITER 1360 NEW BEST:: SOT 18630 SOS 13221 HAS SOPS 13211 HAS SOUS 5571 HAS SOUPS 5561 WITH SCORE 5574.221
AT ITER 1382 NEW BEST:: SOT 18628 SOS 13259 HAS SOPS 13249 HAS SOUS 5569 HAS SOUPS 5559 WITH SCORE 5572.259
AT ITER 1398 NEW BEST:: SOT 18758 SOS 13389 HAS SOPS 13379 HAS SOUS 5559 HAS SOUPS 5549 WITH SCORE 5562.389
AT ITER 1402 NEW BEST:: SOT 18754 SOS 13385 HAS SOPS 13375 HAS SOUS 5551 HAS SOUPS 5541 WITH SCORE 5554.385
AT ITER 1430 NEW BEST:: SOT 18750 SOS 13381 HAS SOPS 13371 HAS SOUS 5543 HAS SOUPS 5533 WITH SCORE 5546.381
AT ITER 1435 NEW BEST:: SOT 18746 SOS 13377 HAS SOPS 13367 HAS SOUS 5535 HAS SOUPS 5525 WITH SCORE 5538.377
AT ITER 1566 NEW BEST:: SOT 18746 SOS 13370 HAS SOPS 13360 HAS SOUS 5535 HAS SOUPS 5525 WITH SCORE 5538.37
AT ITER 1576 NEW BEST:: SOT 18738 SOS 13540 HAS SOPS 13530 HAS SOUS 5526 HAS SOUPS 5516 WITH SCORE 5529.54
AT ITER 1586 NEW BEST:: SOT 18718 SOS 13520 HAS SOPS 13510 HAS SOUS 5486 HAS SOUPS 5476 WITH SCORE 5489.52
AT ITER 1616 NEW BEST:: SOT 18704 SOS 13506 HAS SOPS 13496 HAS SOUS 5458 HAS SOUPS 5448 WITH SCORE 5461.506
AT ITER 1618 NEW BEST:: SOT 18691 SOS 13570 HAS SOPS 13560 HAS SOUS 5447 HAS SOUPS 5437 WITH SCORE 5450.57
AT ITER 1633 NEW BEST:: SOT 18723 SOS 13602 HAS SOPS 13592 HAS SOUS 5440 HAS SOUPS 5430 WITH SCORE 5443.602
AT ITER 1653 NEW BEST:: SOT 18714 SOS 13593 HAS SOPS 13583 HAS SOUS 5420 HAS SOUPS 5410 WITH SCORE 5423.593
AT ITER 1661 NEW BEST:: SOT 18714 SOS 13596 HAS SOPS 13586 HAS SOUS 5417 HAS SOUPS 5407 WITH SCORE 5420.596
AT ITER 1670 NEW BEST:: SOT 18680 SOS 13562 HAS SOPS 13552 HAS SOUS 5349 HAS SOUPS 5339 WITH SCORE 5352.562
AT ITER 1675 NEW BEST:: SOT 18680 SOS 13562 HAS SOPS 13552 HAS SOUS 5345 HAS SOUPS 5335 WITH SCORE 5348.562
AT ITER 1716 NEW BEST:: SOT 18683 SOS 13607 HAS SOPS 13597 HAS SOUS 5342 HAS SOUPS 5332 WITH SCORE 5345.607
AT ITER 1723 NEW BEST:: SOT 18682 SOS 13614 HAS SOPS 13604 HAS SOUS 5330 HAS SOUPS 5320 WITH SCORE 5333.614
AT ITER 1749 NEW BEST:: SOT 18682 SOS 13604 HAS SOPS 13594 HAS SOUS 5330 HAS SOUPS 5320 WITH SCORE 5333.604
AT ITER 1750 NEW BEST:: SOT 18682 SOS 13580 HAS SOPS 13570 HAS SOUS 5300 HAS SOUPS 5290 WITH SCORE 5303.58
AT ITER 1767 NEW BEST:: SOT 18748 SOS 13637 HAS SOPS 13636 HAS SOUS 5279 HAS SOUPS 5278 WITH SCORE 5291.637
AT ITER 1786 NEW BEST:: SOT 18743 SOS 13681 HAS SOPS 13680 HAS SOUS 5276 HAS SOUPS 5275 WITH SCORE 5288.681
AT ITER 1797 NEW BEST:: SOT 18741 SOS 13679 HAS SOPS 13678 HAS SOUS 5272 HAS SOUPS 5271 WITH SCORE 5284.679
AT ITER 1818 NEW BEST:: SOT 18741 SOS 13669 HAS SOPS 13668 HAS SOUS 5272 HAS SOUPS 5271 WITH SCORE 5284.669
AT ITER 1845 NEW BEST:: SOT 18723 SOS 13651 HAS SOPS 13650 HAS SOUS 5236 HAS SOUPS 5235 WITH SCORE 5248.651
AT ITER 1863 NEW BEST:: SOT 18721 SOS 13697 HAS SOPS 13696 HAS SOUS 5232 HAS SOUPS 5231 WITH SCORE 5244.697
AT ITER 1883 NEW BEST:: SOT 18717 SOS 13693 HAS SOPS 13692 HAS SOUS 5228 HAS SOUPS 5227 WITH SCORE 5240.693
AT ITER 1895 NEW BEST:: SOT 18714 SOS 13689 HAS SOPS 13688 HAS SOUS 5203 HAS SOUPS 5202 WITH SCORE 5215.689
AT ITER 1910 NEW BEST:: SOT 18712 SOS 13678 HAS SOPS 13677 HAS SOUS 5196 HAS SOUPS 5195 WITH SCORE 5208.678
AT ITER 1915 NEW BEST:: SOT 18706 SOS 13672 HAS SOPS 13671 HAS SOUS 5184 HAS SOUPS 5183 WITH SCORE 5196.672
AT ITER 1917 NEW BEST:: SOT 18703 SOS 13669 HAS SOPS 13668 HAS SOUS 5181 HAS SOUPS 5180 WITH SCORE 5193.669
AT ITER 1954 NEW BEST:: SOT 18703 SOS 13665 HAS SOPS 13664 HAS SOUS 5181 HAS SOUPS 5180 WITH SCORE 5193.665
AT ITER 1976 NEW BEST:: SOT 18703 SOS 13653 HAS SOPS 13652 HAS SOUS 5181 HAS SOUPS 5180 WITH SCORE 5193.653
AT ITER 1981 NEW BEST:: SOT 18699 SOS 13642 HAS SOPS 13641 HAS SOUS 5177 HAS SOUPS 5176 WITH SCORE 5189.642
AT ITER 2000 NEW BEST:: SOT 18682 SOS 13774 HAS SOPS 13773 HAS SOUS 5170 HAS SOUPS 5169 WITH SCORE 5182.774
AT ITER 2011 NEW BEST:: SOT 18680 SOS 13768 HAS SOPS 13767 HAS SOUS 5168 HAS SOUPS 5167 WITH SCORE 5180.768
AT ITER 2033 NEW BEST:: SOT 18674 SOS 13762 HAS SOPS 13761 HAS SOUS 5156 HAS SOUPS 5155 WITH SCORE 5168.762
AT ITER 2057 NEW BEST:: SOT 18674 SOS 13732 HAS SOPS 13731 HAS SOUS 5156 HAS SOUPS 5155 WITH SCORE 5168.732
AT ITER 2074 NEW BEST:: SOT 18679 SOS 13739 HAS SOPS 13738 HAS SOUS 5153 HAS SOUPS 5152 WITH SCORE 5165.739
AT ITER 2108 NEW BEST:: SOT 18679 SOS 13737 HAS SOPS 13736 HAS SOUS 5153 HAS SOUPS 5152 WITH SCORE 5165.737
AT ITER 2124 NEW BEST:: SOT 18678 SOS 13736 HAS SOPS 13735 HAS SOUS 5149 HAS SOUPS 5148 WITH SCORE 5161.736
AT ITER 2129 NEW BEST:: SOT 18674 SOS 13732 HAS SOPS 13731 HAS SOUS 5141 HAS SOUPS 5140 WITH SCORE 5153.732
AT ITER 2153 NEW BEST:: SOT 18638 SOS 13813 HAS SOPS 13812 HAS SOUS 5088 HAS SOUPS 5087 WITH SCORE 5100.813
AT ITER 2206 NEW BEST:: SOT 18637 SOS 13841 HAS SOPS 13840 HAS SOUS 5087 HAS SOUPS 5086 WITH SCORE 5099.841
AT ITER 2292 NEW BEST:: SOT 18637 SOS 13940 HAS SOPS 13939 HAS SOUS 5086 HAS SOUPS 5085 WITH SCORE 5098.94
AT ITER 2294 NEW BEST:: SOT 18648 SOS 13934 HAS SOPS 13933 HAS SOUS 5068 HAS SOUPS 5067 WITH SCORE 5080.934
AT ITER 2304 NEW BEST:: SOT 18584 SOS 13870 HAS SOPS 13869 HAS SOUS 5030 HAS SOUPS 5029 WITH SCORE 5042.87
AT ITER 2309 NEW BEST:: SOT 18581 SOS 13864 HAS SOPS 13863 HAS SOUS 5024 HAS SOUPS 5023 WITH SCORE 5036.864
AT ITER 2355 NEW BEST:: SOT 18574 SOS 13957 HAS SOPS 13956 HAS SOUS 5021 HAS SOUPS 5020 WITH SCORE 5033.957
AT ITER 2362 NEW BEST:: SOT 18574 SOS 13953 HAS SOPS 13952 HAS SOUS 5017 HAS SOUPS 5016 WITH SCORE 5029.953
AT ITER 2384 NEW BEST:: SOT 18560 SOS 13939 HAS SOPS 13938 HAS SOUS 4989 HAS SOUPS 4988 WITH SCORE 5001.939
AT ITER 2397 NEW BEST:: SOT 18558 SOS 13937 HAS SOPS 13936 HAS SOUS 4985 HAS SOUPS 4984 WITH SCORE 4997.937
AT ITER 2404 NEW BEST:: SOT 18554 SOS 13928 HAS SOPS 13927 HAS SOUS 4981 HAS SOUPS 4980 WITH SCORE 4993.928
AT ITER 2454 NEW BEST:: SOT 18538 SOS 13915 HAS SOPS 13914 HAS SOUS 4971 HAS SOUPS 4970 WITH SCORE 4983.915
AT ITER 2466 NEW BEST:: SOT 18536 SOS 13921 HAS SOPS 13920 HAS SOUS 4967 HAS SOUPS 4966 WITH SCORE 4979.921
AT ITER 2493 NEW BEST:: SOT 18531 SOS 13919 HAS SOPS 13919 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4976.919
AT ITER 2495 NEW BEST:: SOT 18526 SOS 13909 HAS SOPS 13909 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4967.909
AT ITER 2524 NEW BEST:: SOT 18489 SOS 13889 HAS SOPS 13889 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4893.889
AT ITER 2551 NEW BEST:: SOT 18487 SOS 13887 HAS SOPS 13887 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4889.887
AT ITER 2571 NEW BEST:: SOT 18487 SOS 13887 HAS SOPS 13887 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4888.887
AT ITER 2600 NEW BEST:: SOT 18486 SOS 13895 HAS SOPS 13895 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4887.895
AT ITER 2619 NEW BEST:: SOT 18485 SOS 13906 HAS SOPS 13906 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4884.906
AT ITER 2660 NEW BEST:: SOT 18488 SOS 13909 HAS SOPS 13909 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4874.909
AT ITER 2668 NEW BEST:: SOT 18463 SOS 13898 HAS SOPS 13898 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4842.898
AT ITER 2707 NEW BEST:: SOT 18458 SOS 13873 HAS SOPS 13873 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4837.873
AT ITER 2713 NEW BEST:: SOT 18448 SOS 14042 HAS SOPS 14042 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4833.042
AT ITER 2729 NEW BEST:: SOT 18431 SOS 14025 HAS SOPS 14025 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4808.025
AT ITER 2829 NEW BEST:: SOT 18419 SOS 14013 HAS SOPS 14013 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4784.013
AT ITER 2891 NEW BEST:: SOT 18418 SOS 14022 HAS SOPS 14022 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4783.022
AT ITER 2953 NEW BEST:: SOT 18421 SOS 13998 HAS SOPS 13998 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4782.998
AT ITER 2972 NEW BEST:: SOT 18405 SOS 13982 HAS SOPS 13982 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4750.982
AT ITER 2988 NEW BEST:: SOT 18403 SOS 13980 HAS SOPS 13980 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4746.98
AT ITER 3000 NEW BEST:: SOT 18399 SOS 13976 HAS SOPS 13976 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4740.976
AT ITER 3050 NEW BEST:: SOT 18399 SOS 13974 HAS SOPS 13974 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4738.974
AT ITER 3126 NEW BEST:: SOT 18405 SOS 13980 HAS SOPS 13980 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4736.98
AT ITER 3177 NEW BEST:: SOT 18404 SOS 13988 HAS SOPS 13988 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4735.988
AT ITER 3200 NEW BEST:: SOT 18402 SOS 13986 HAS SOPS 13986 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4731.986
AT ITER 3227 NEW BEST:: SOT 18399 SOS 13983 HAS SOPS 13983 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4725.983
AT ITER 3267 NEW BEST:: SOT 18394 SOS 13978 HAS SOPS 13978 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4717.978
AT ITER 3309 NEW BEST:: SOT 18391 SOS 14011 HAS SOPS 14011 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4715.011
AT ITER 3389 NEW BEST:: SOT 18379 SOS 13999 HAS SOPS 13999 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4690.999
AT ITER 3450 NEW BEST:: SOT 18376 SOS 14000 HAS SOPS 14000 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4683.0
AT ITER 3479 NEW BEST:: SOT 18376 SOS 13999 HAS SOPS 13999 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4682.999
AT ITER 3504 NEW BEST:: SOT 18376 SOS 13986 HAS SOPS 13986 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4681.986
AT ITER 3566 NEW BEST:: SOT 18366 SOS 13976 HAS SOPS 13976 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4661.976
AT ITER 3578 NEW BEST:: SOT 18364 SOS 13974 HAS SOPS 13974 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4657.974
AT ITER 3611 NEW BEST:: SOT 18363 SOS 13973 HAS SOPS 13973 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4656.973
AT ITER 3668 NEW BEST:: SOT 18359 SOS 13906 HAS SOPS 13906 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4647.906
AT ITER 3669 NEW BEST:: SOT 18357 SOS 13904 HAS SOPS 13904 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4643.904
AT ITER 3696 NEW BEST:: SOT 18357 SOS 13916 HAS SOPS 13916 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4633.916
AT ITER 3798 NEW BEST:: SOT 18343 SOS 13902 HAS SOPS 13902 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4605.902
AT ITER 3858 NEW BEST:: SOT 18333 SOS 13892 HAS SOPS 13892 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4603.892
AT ITER 3936 NEW BEST:: SOT 18329 SOS 13900 HAS SOPS 13900 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4595.9
AT ITER 3962 NEW BEST:: SOT 18329 SOS 13896 HAS SOPS 13896 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4595.896
AT ITER 3985 NEW BEST:: SOT 18343 SOS 13910 HAS SOPS 13910 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4587.91
AT ITER 4066 NEW BEST:: SOT 18343 SOS 13840 HAS SOPS 13840 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4587.84
AT ITER 4104 NEW BEST:: SOT 18337 SOS 13834 HAS SOPS 13834 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4575.834
AT ITER 4234 NEW BEST:: SOT 18327 SOS 13824 HAS SOPS 13824 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4555.824
AT ITER 4356 NEW BEST:: SOT 18329 SOS 13801 HAS SOPS 13801 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4555.801
AT ITER 4409 NEW BEST:: SOT 18329 SOS 13799 HAS SOPS 13799 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4553.799
AT ITER 4455 NEW BEST:: SOT 18328 SOS 13798 HAS SOPS 13798 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4552.798
AT ITER 4468 NEW BEST:: SOT 18327 SOS 13815 HAS SOPS 13815 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4551.815
AT ITER 4469 NEW BEST:: SOT 18320 SOS 13899 HAS SOPS 13899 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4543.899
AT ITER 4570 NEW BEST:: SOT 18315 SOS 13894 HAS SOPS 13894 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4538.894
AT ITER 4600 NEW BEST:: SOT 18309 SOS 13888 HAS SOPS 13888 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4526.888
AT ITER 4614 NEW BEST:: SOT 18309 SOS 13884 HAS SOPS 13884 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4526.884
AT ITER 4724 NEW BEST:: SOT 18308 SOS 13899 HAS SOPS 13899 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4524.899
AT ITER 4767 NEW BEST:: SOT 18302 SOS 13893 HAS SOPS 13893 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4512.893
AT ITER 4796 NEW BEST:: SOT 18294 SOS 13885 HAS SOPS 13885 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4496.885
AT ITER 4797 NEW BEST:: SOT 18293 SOS 13882 HAS SOPS 13882 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4495.882
AT ITER 5003 NEW BEST:: SOT 18289 SOS 13878 HAS SOPS 13878 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4487.878
AT ITER 5179 NEW BEST:: SOT 18287 SOS 13876 HAS SOPS 13876 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4485.876
AT ITER 5279 NEW BEST:: SOT 18286 SOS 13868 HAS SOPS 13868 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4483.868
AT ITER 5476 NEW BEST:: SOT 18282 SOS 13864 HAS SOPS 13864 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4475.864
AT ITER 5537 NEW BEST:: SOT 18281 SOS 13892 HAS SOPS 13892 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4473.892
AT ITER 5713 NEW BEST:: SOT 18275 SOS 13886 HAS SOPS 13886 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4466.886
AT ITER 5719 NEW BEST:: SOT 18275 SOS 13886 HAS SOPS 13886 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4464.886
AT ITER 5761 NEW BEST:: SOT 18269 SOS 13880 HAS SOPS 13880 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4452.88
AT ITER 5808 NEW BEST:: SOT 18269 SOS 13879 HAS SOPS 13879 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4451.879
AT ITER 5909 NEW BEST:: SOT 18265 SOS 13875 HAS SOPS 13875 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4447.875
AT ITER 5978 NEW BEST:: SOT 18259 SOS 13861 HAS SOPS 13861 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4443.861
AT ITER 6038 NEW BEST:: SOT 18258 SOS 13860 HAS SOPS 13860 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4442.86
AT ITER 6067 NEW BEST:: SOT 18249 SOS 13859 HAS SOPS 13859 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4431.859
AT ITER 6112 NEW BEST:: SOT 18231 SOS 13845 HAS SOPS 13845 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4419.845
AT ITER 6215 NEW BEST:: SOT 18231 SOS 13842 HAS SOPS 13842 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4418.842
AT ITER 6227 NEW BEST:: SOT 18227 SOS 13838 HAS SOPS 13838 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4415.838
AT ITER 6324 NEW BEST:: SOT 18234 SOS 13845 HAS SOPS 13845 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4411.845
AT ITER 6361 NEW BEST:: SOT 18259 SOS 13870 HAS SOPS 13870 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4407.87
AT ITER 6670 NEW BEST:: SOT 18233 SOS 13984 HAS SOPS 13984 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4385.984
AT ITER 6829 NEW BEST:: SOT 18235 SOS 13934 HAS SOPS 13934 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4382.934
AT ITER 7038 NEW BEST:: SOT 18185 SOS 13884 HAS SOPS 13884 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4372.884
AT ITER 7083 NEW BEST:: SOT 18173 SOS 13872 HAS SOPS 13872 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4366.872
AT ITER 7121 NEW BEST:: SOT 18165 SOS 13864 HAS SOPS 13864 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4350.864
AT ITER 7183 NEW BEST:: SOT 18165 SOS 13854 HAS SOPS 13854 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4350.854
AT ITER 7337 NEW BEST:: SOT 18171 SOS 13860 HAS SOPS 13860 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4341.86
AT ITER 7367 NEW BEST:: SOT 18169 SOS 13858 HAS SOPS 13858 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4340.858
AT ITER 7429 NEW BEST:: SOT 18167 SOS 13856 HAS SOPS 13856 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4336.856
AT ITER 7664 NEW BEST:: SOT 18163 SOS 13858 HAS SOPS 13858 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4325.858
AT ITER 7958 NEW BEST:: SOT 18161 SOS 13856 HAS SOPS 13856 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4321.856
AT ITER 8030 NEW BEST:: SOT 18159 SOS 13854 HAS SOPS 13854 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4317.854
AT ITER 8175 NEW BEST:: SOT 18157 SOS 13852 HAS SOPS 13852 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4313.852
AT ITER 8255 NEW BEST:: SOT 18155 SOS 13850 HAS SOPS 13850 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4309.85
AT ITER 8585 NEW BEST:: SOT 18155 SOS 13830 HAS SOPS 13830 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4309.83
AT ITER 8710 NEW BEST:: SOT 18152 SOS 13904 HAS SOPS 13904 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4303.904
AT ITER 8734 NEW BEST:: SOT 18130 SOS 13882 HAS SOPS 13882 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4295.882
AT ITER 8750 NEW BEST:: SOT 18130 SOS 13866 HAS SOPS 13866 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4295.866
AT ITER 8762 NEW BEST:: SOT 18130 SOS 13856 HAS SOPS 13856 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4295.856
AT ITER 8794 NEW BEST:: SOT 18130 SOS 13845 HAS SOPS 13845 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4295.845
AT ITER 8895 NEW BEST:: SOT 18069 SOS 13786 HAS SOPS 13786 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4272.786
AT ITER 9290 NEW BEST:: SOT 18068 SOS 13785 HAS SOPS 13785 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4271.785
AT ITER 9338 NEW BEST:: SOT 18066 SOS 13783 HAS SOPS 13783 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4267.783
AT ITER 9406 NEW BEST:: SOT 18066 SOS 13780 HAS SOPS 13780 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4267.78
AT ITER 9409 NEW BEST:: SOT 18074 SOS 13788 HAS SOPS 13788 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4265.788
AT ITER 9499 NEW BEST:: SOT 18064 SOS 13778 HAS SOPS 13778 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4245.778
AT ITER 9528 NEW BEST:: SOT 18058 SOS 13772 HAS SOPS 13772 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4233.772
AT ITER 9570 NEW BEST:: SOT 18030 SOS 13761 HAS SOPS 13761 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4214.761
AT ITER 9720 NEW BEST:: SOT 18029 SOS 13770 HAS SOPS 13770 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4213.77
AT ITER 9736 NEW BEST:: SOT 18025 SOS 13766 HAS SOPS 13766 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4205.766
AT ITER 9804 NEW BEST:: SOT 18023 SOS 13764 HAS SOPS 13764 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4199.764
STATE_SPACE STATES 1830519 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19486170 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679272549026

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="SharedMemory-COL-000010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SharedMemory-COL-000010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r363-smll-167891814600560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SharedMemory-COL-000010.tgz
mv SharedMemory-COL-000010 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 ;