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.r235-tall-167856421700368.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 LamportFastMutEx-COL-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421700368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:40 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 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 13:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1678649175953

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=LamportFastMutEx-COL-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 19:26:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 19:26:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 19:26:17] [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-12 19:26:17] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 19:26:18] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 742 ms
[2023-03-12 19:26:18] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 174 PT places and 396.0 transition bindings in 16 ms.
[2023-03-12 19:26:18] [INFO ] Unfolded HLPN to a Petri net with 174 places and 318 transitions 1380 arcs in 23 ms.
[2023-03-12 19:26:18] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-12 19:26:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 174 places, 318 transitions and 1380 arcs took 6 ms.
Total runtime 878 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 5
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: 174 places, 318 transitions, 1380 arcs.
AT ITER 0 NEW BEST:: SOT 26833 SOS 16577 HAS SOPS 15068 HAS SOUS 12859 HAS SOUPS 12278 WITH SCORE 12294.577
AT ITER 1 NEW BEST:: SOT 26588 SOS 16345 HAS SOPS 14798 HAS SOUS 12624 HAS SOUPS 12008 WITH SCORE 12024.345
AT ITER 3 NEW BEST:: SOT 26680 SOS 16340 HAS SOPS 14666 HAS SOUS 12706 HAS SOUPS 11981 WITH SCORE 11997.34
AT ITER 10 NEW BEST:: SOT 26680 SOS 16337 HAS SOPS 14655 HAS SOUS 12695 HAS SOUPS 11970 WITH SCORE 11986.337
AT ITER 13 NEW BEST:: SOT 26569 SOS 16208 HAS SOPS 14475 HAS SOUS 12452 HAS SOUPS 11718 WITH SCORE 11734.208
AT ITER 19 NEW BEST:: SOT 26513 SOS 16165 HAS SOPS 14419 HAS SOUS 12409 HAS SOUPS 11662 WITH SCORE 11678.165
AT ITER 24 NEW BEST:: SOT 26268 SOS 16056 HAS SOPS 14310 HAS SOUS 12232 HAS SOUPS 11485 WITH SCORE 11501.056
AT ITER 32 NEW BEST:: SOT 26328 SOS 16185 HAS SOPS 14439 HAS SOUS 12105 HAS SOUPS 11358 WITH SCORE 11374.185
AT ITER 36 NEW BEST:: SOT 26328 SOS 16161 HAS SOPS 14415 HAS SOUS 12081 HAS SOUPS 11334 WITH SCORE 11350.161
AT ITER 37 NEW BEST:: SOT 26253 SOS 16086 HAS SOPS 14340 HAS SOUS 11750 HAS SOUPS 11003 WITH SCORE 11019.086
AT ITER 38 NEW BEST:: SOT 26253 SOS 16086 HAS SOPS 14335 HAS SOUS 11745 HAS SOUPS 10998 WITH SCORE 11014.086
AT ITER 41 NEW BEST:: SOT 26239 SOS 16078 HAS SOPS 14320 HAS SOUS 11732 HAS SOUPS 10983 WITH SCORE 10999.078
AT ITER 52 NEW BEST:: SOT 26183 SOS 16073 HAS SOPS 14264 HAS SOUS 11714 HAS SOUPS 10927 WITH SCORE 10943.073
AT ITER 57 NEW BEST:: SOT 26183 SOS 16067 HAS SOPS 14264 HAS SOUS 11714 HAS SOUPS 10927 WITH SCORE 10943.067
AT ITER 58 NEW BEST:: SOT 26174 SOS 15909 HAS SOPS 14027 HAS SOUS 11618 HAS SOUPS 10831 WITH SCORE 10846.909
AT ITER 66 NEW BEST:: SOT 26174 SOS 15901 HAS SOPS 14019 HAS SOUS 11610 HAS SOUPS 10823 WITH SCORE 10838.901
AT ITER 69 NEW BEST:: SOT 26174 SOS 15878 HAS SOPS 13996 HAS SOUS 11587 HAS SOUPS 10800 WITH SCORE 10815.878
AT ITER 71 NEW BEST:: SOT 26215 SOS 15931 HAS SOPS 13844 HAS SOUS 11640 HAS SOUPS 10648 WITH SCORE 10663.931
AT ITER 77 NEW BEST:: SOT 26215 SOS 15925 HAS SOPS 13838 HAS SOUS 11634 HAS SOUPS 10642 WITH SCORE 10657.925
AT ITER 79 NEW BEST:: SOT 26210 SOS 15920 HAS SOPS 13833 HAS SOUS 11629 HAS SOUPS 10637 WITH SCORE 10652.92
AT ITER 80 NEW BEST:: SOT 26166 SOS 15887 HAS SOPS 13789 HAS SOUS 11640 HAS SOUPS 10637 WITH SCORE 10652.887
AT ITER 81 NEW BEST:: SOT 26108 SOS 15844 HAS SOPS 13731 HAS SOUS 11597 HAS SOUPS 10579 WITH SCORE 10594.844
AT ITER 84 NEW BEST:: SOT 26044 SOS 15858 HAS SOPS 13653 HAS SOUS 11529 HAS SOUPS 10511 WITH SCORE 10526.858
AT ITER 86 NEW BEST:: SOT 26044 SOS 15837 HAS SOPS 13632 HAS SOUS 11508 HAS SOUPS 10490 WITH SCORE 10505.837
AT ITER 94 NEW BEST:: SOT 25989 SOS 15764 HAS SOPS 13493 HAS SOUS 11378 HAS SOUPS 10360 WITH SCORE 10375.764
AT ITER 103 NEW BEST:: SOT 25989 SOS 15739 HAS SOPS 13468 HAS SOUS 11353 HAS SOUPS 10335 WITH SCORE 10350.739
AT ITER 124 NEW BEST:: SOT 25986 SOS 15733 HAS SOPS 13462 HAS SOUS 11347 HAS SOUPS 10329 WITH SCORE 10344.733
AT ITER 126 NEW BEST:: SOT 25983 SOS 15730 HAS SOPS 13459 HAS SOUS 11344 HAS SOUPS 10326 WITH SCORE 10341.73
AT ITER 131 NEW BEST:: SOT 25785 SOS 15609 HAS SOPS 13249 HAS SOUS 11181 HAS SOUPS 10116 WITH SCORE 10131.609
AT ITER 134 NEW BEST:: SOT 25556 SOS 15515 HAS SOPS 13020 HAS SOUS 11013 HAS SOUPS 9887 WITH SCORE 9902.515
AT ITER 137 NEW BEST:: SOT 25431 SOS 15433 HAS SOPS 12938 HAS SOUS 10907 HAS SOUPS 9781 WITH SCORE 9796.433
AT ITER 139 NEW BEST:: SOT 25453 SOS 15475 HAS SOPS 12870 HAS SOUS 10839 HAS SOUPS 9713 WITH SCORE 9728.475
AT ITER 143 NEW BEST:: SOT 25422 SOS 15528 HAS SOPS 12798 HAS SOUS 10809 HAS SOUPS 9641 WITH SCORE 9656.528
AT ITER 155 NEW BEST:: SOT 25455 SOS 15627 HAS SOPS 12699 HAS SOUS 10722 HAS SOUPS 9542 WITH SCORE 9557.627
AT ITER 158 NEW BEST:: SOT 25386 SOS 15649 HAS SOPS 12630 HAS SOUS 10670 HAS SOUPS 9473 WITH SCORE 9488.649
AT ITER 182 NEW BEST:: SOT 25404 SOS 15548 HAS SOPS 12362 HAS SOUS 10529 HAS SOUPS 9332 WITH SCORE 9347.548
AT ITER 185 NEW BEST:: SOT 25404 SOS 15562 HAS SOPS 12358 HAS SOUS 10525 HAS SOUPS 9328 WITH SCORE 9343.562
AT ITER 196 NEW BEST:: SOT 25404 SOS 15410 HAS SOPS 12206 HAS SOUS 10513 HAS SOUPS 9316 WITH SCORE 9331.41
AT ITER 222 NEW BEST:: SOT 25384 SOS 15459 HAS SOPS 12206 HAS SOUS 10430 HAS SOUPS 9233 WITH SCORE 9248.459
AT ITER 235 NEW BEST:: SOT 25376 SOS 15519 HAS SOPS 12165 HAS SOUS 10453 HAS SOUPS 9192 WITH SCORE 9207.519
AT ITER 244 NEW BEST:: SOT 25319 SOS 15477 HAS SOPS 12108 HAS SOUS 10478 HAS SOUPS 9191 WITH SCORE 9206.477
AT ITER 248 NEW BEST:: SOT 25127 SOS 15285 HAS SOPS 11916 HAS SOUS 10286 HAS SOUPS 8999 WITH SCORE 9014.285
AT ITER 256 NEW BEST:: SOT 25127 SOS 15277 HAS SOPS 11908 HAS SOUS 10278 HAS SOUPS 8991 WITH SCORE 9006.277
AT ITER 267 NEW BEST:: SOT 25127 SOS 15262 HAS SOPS 11893 HAS SOUS 10275 HAS SOUPS 8988 WITH SCORE 9003.262
AT ITER 273 NEW BEST:: SOT 25113 SOS 15224 HAS SOPS 11854 HAS SOUS 10236 HAS SOUPS 8949 WITH SCORE 8964.224
AT ITER 277 NEW BEST:: SOT 25118 SOS 15212 HAS SOPS 11784 HAS SOUS 10188 HAS SOUPS 8901 WITH SCORE 8916.212
AT ITER 282 NEW BEST:: SOT 25095 SOS 15189 HAS SOPS 11761 HAS SOUS 10165 HAS SOUPS 8878 WITH SCORE 8893.189
AT ITER 284 NEW BEST:: SOT 25077 SOS 15171 HAS SOPS 11748 HAS SOUS 10152 HAS SOUPS 8865 WITH SCORE 8880.171
AT ITER 318 NEW BEST:: SOT 25077 SOS 15166 HAS SOPS 11748 HAS SOUS 10152 HAS SOUPS 8865 WITH SCORE 8880.166
AT ITER 326 NEW BEST:: SOT 25077 SOS 15166 HAS SOPS 11745 HAS SOUS 10149 HAS SOUPS 8862 WITH SCORE 8877.166
AT ITER 332 NEW BEST:: SOT 25077 SOS 15048 HAS SOPS 11627 HAS SOUS 10139 HAS SOUPS 8852 WITH SCORE 8867.048
AT ITER 334 NEW BEST:: SOT 24826 SOS 14923 HAS SOPS 11496 HAS SOUS 9947 HAS SOUPS 8658 WITH SCORE 8672.923
AT ITER 339 NEW BEST:: SOT 24826 SOS 14923 HAS SOPS 11494 HAS SOUS 9947 HAS SOUPS 8656 WITH SCORE 8670.923
AT ITER 340 NEW BEST:: SOT 24900 SOS 14944 HAS SOPS 11400 HAS SOUS 9940 HAS SOUPS 8639 WITH SCORE 8653.944
AT ITER 348 NEW BEST:: SOT 24889 SOS 14933 HAS SOPS 11393 HAS SOUS 9927 HAS SOUPS 8632 WITH SCORE 8646.933
AT ITER 386 NEW BEST:: SOT 24889 SOS 14933 HAS SOPS 11383 HAS SOUS 9917 HAS SOUPS 8622 WITH SCORE 8636.933
AT ITER 403 NEW BEST:: SOT 24779 SOS 14880 HAS SOPS 11256 HAS SOUS 9825 HAS SOUPS 8495 WITH SCORE 8509.88
AT ITER 407 NEW BEST:: SOT 24773 SOS 14889 HAS SOPS 11244 HAS SOUS 9748 HAS SOUPS 8418 WITH SCORE 8432.889
AT ITER 408 NEW BEST:: SOT 24658 SOS 14774 HAS SOPS 11129 HAS SOUS 9633 HAS SOUPS 8303 WITH SCORE 8317.774
AT ITER 414 NEW BEST:: SOT 24638 SOS 14754 HAS SOPS 11109 HAS SOUS 9613 HAS SOUPS 8283 WITH SCORE 8297.754
AT ITER 420 NEW BEST:: SOT 24387 SOS 14614 HAS SOPS 10969 HAS SOUS 9409 HAS SOUPS 8079 WITH SCORE 8093.614
AT ITER 428 NEW BEST:: SOT 24372 SOS 14600 HAS SOPS 10945 HAS SOUS 9392 HAS SOUPS 8063 WITH SCORE 8077.6
AT ITER 434 NEW BEST:: SOT 24372 SOS 14615 HAS SOPS 10960 HAS SOUS 9388 HAS SOUPS 8059 WITH SCORE 8073.615
AT ITER 453 NEW BEST:: SOT 24358 SOS 14615 HAS SOPS 10946 HAS SOUS 9374 HAS SOUPS 8045 WITH SCORE 8059.615
AT ITER 462 NEW BEST:: SOT 24353 SOS 14612 HAS SOPS 10941 HAS SOUS 9363 HAS SOUPS 8034 WITH SCORE 8048.612
AT ITER 472 NEW BEST:: SOT 24353 SOS 14609 HAS SOPS 10938 HAS SOUS 9362 HAS SOUPS 8033 WITH SCORE 8047.609
AT ITER 479 NEW BEST:: SOT 24363 SOS 14629 HAS SOPS 10933 HAS SOUS 9352 HAS SOUPS 8023 WITH SCORE 8037.629
AT ITER 480 NEW BEST:: SOT 24354 SOS 14620 HAS SOPS 10921 HAS SOUS 9343 HAS SOUPS 8011 WITH SCORE 8025.62
AT ITER 507 NEW BEST:: SOT 24354 SOS 14618 HAS SOPS 10919 HAS SOUS 9341 HAS SOUPS 8009 WITH SCORE 8023.618
AT ITER 513 NEW BEST:: SOT 24354 SOS 14604 HAS SOPS 10915 HAS SOUS 9327 HAS SOUPS 8005 WITH SCORE 8019.604
AT ITER 514 NEW BEST:: SOT 24350 SOS 14600 HAS SOPS 10771 HAS SOUS 9303 HAS SOUPS 7961 WITH SCORE 7975.6
AT ITER 520 NEW BEST:: SOT 24309 SOS 14559 HAS SOPS 10723 HAS SOUS 9255 HAS SOUPS 7913 WITH SCORE 7927.559
AT ITER 541 NEW BEST:: SOT 24059 SOS 14397 HAS SOPS 10553 HAS SOUS 9028 HAS SOUPS 7686 WITH SCORE 7700.397
AT ITER 551 NEW BEST:: SOT 24059 SOS 14381 HAS SOPS 10537 HAS SOUS 9020 HAS SOUPS 7678 WITH SCORE 7692.381
AT ITER 556 NEW BEST:: SOT 24005 SOS 14345 HAS SOPS 10501 HAS SOUS 8939 HAS SOUPS 7597 WITH SCORE 7611.345
AT ITER 566 NEW BEST:: SOT 24013 SOS 14365 HAS SOPS 10528 HAS SOUS 8902 HAS SOUPS 7560 WITH SCORE 7574.365
AT ITER 571 NEW BEST:: SOT 24012 SOS 14364 HAS SOPS 10527 HAS SOUS 8901 HAS SOUPS 7559 WITH SCORE 7573.364
AT ITER 594 NEW BEST:: SOT 24005 SOS 14350 HAS SOPS 10520 HAS SOUS 8887 HAS SOUPS 7552 WITH SCORE 7566.35
AT ITER 643 NEW BEST:: SOT 23993 SOS 14336 HAS SOPS 10506 HAS SOUS 8871 HAS SOUPS 7538 WITH SCORE 7552.336
AT ITER 650 NEW BEST:: SOT 23952 SOS 14300 HAS SOPS 10465 HAS SOUS 8835 HAS SOUPS 7497 WITH SCORE 7511.3
AT ITER 663 NEW BEST:: SOT 23897 SOS 14245 HAS SOPS 10410 HAS SOUS 8780 HAS SOUPS 7442 WITH SCORE 7456.245
AT ITER 665 NEW BEST:: SOT 23873 SOS 14239 HAS SOPS 10380 HAS SOUS 8741 HAS SOUPS 7403 WITH SCORE 7417.239
AT ITER 674 NEW BEST:: SOT 23877 SOS 14245 HAS SOPS 10390 HAS SOUS 8735 HAS SOUPS 7397 WITH SCORE 7411.245
AT ITER 708 NEW BEST:: SOT 23701 SOS 14069 HAS SOPS 10260 HAS SOUS 8573 HAS SOUPS 7267 WITH SCORE 7281.069
AT ITER 713 NEW BEST:: SOT 23633 SOS 14049 HAS SOPS 10192 HAS SOUS 8610 HAS SOUPS 7251 WITH SCORE 7265.049
AT ITER 714 NEW BEST:: SOT 23633 SOS 14047 HAS SOPS 10190 HAS SOUS 8608 HAS SOUPS 7249 WITH SCORE 7263.047
AT ITER 716 NEW BEST:: SOT 23623 SOS 14037 HAS SOPS 10170 HAS SOUS 8588 HAS SOUPS 7229 WITH SCORE 7243.037
AT ITER 719 NEW BEST:: SOT 23487 SOS 13857 HAS SOPS 10103 HAS SOUS 8521 HAS SOUPS 7162 WITH SCORE 7175.857
AT ITER 747 NEW BEST:: SOT 23476 SOS 13846 HAS SOPS 10089 HAS SOUS 8507 HAS SOUPS 7148 WITH SCORE 7161.846
AT ITER 750 NEW BEST:: SOT 23490 SOS 13872 HAS SOPS 10058 HAS SOUS 8478 HAS SOUPS 7119 WITH SCORE 7132.872
AT ITER 757 NEW BEST:: SOT 23437 SOS 13831 HAS SOPS 10010 HAS SOUS 8437 HAS SOUPS 7071 WITH SCORE 7084.831
AT ITER 788 NEW BEST:: SOT 23449 SOS 13843 HAS SOPS 10032 HAS SOUS 8397 HAS SOUPS 7041 WITH SCORE 7054.843
AT ITER 789 NEW BEST:: SOT 23442 SOS 13836 HAS SOPS 10025 HAS SOUS 8390 HAS SOUPS 7034 WITH SCORE 7047.836
AT ITER 797 NEW BEST:: SOT 23365 SOS 13759 HAS SOPS 9939 HAS SOUS 8313 HAS SOUPS 6948 WITH SCORE 6961.759
AT ITER 801 NEW BEST:: SOT 23362 SOS 13752 HAS SOPS 9928 HAS SOUS 8302 HAS SOUPS 6937 WITH SCORE 6950.752
AT ITER 806 NEW BEST:: SOT 23386 SOS 13776 HAS SOPS 9912 HAS SOUS 8294 HAS SOUPS 6921 WITH SCORE 6934.776
AT ITER 812 NEW BEST:: SOT 23386 SOS 13772 HAS SOPS 9908 HAS SOUS 8290 HAS SOUPS 6917 WITH SCORE 6930.772
AT ITER 813 NEW BEST:: SOT 23384 SOS 13765 HAS SOPS 9902 HAS SOUS 8284 HAS SOUPS 6911 WITH SCORE 6924.765
AT ITER 843 NEW BEST:: SOT 23327 SOS 13700 HAS SOPS 9824 HAS SOUS 8218 HAS SOUPS 6845 WITH SCORE 6858.7
AT ITER 852 NEW BEST:: SOT 23169 SOS 13596 HAS SOPS 9833 HAS SOUS 8162 HAS SOUPS 6811 WITH SCORE 6824.596
AT ITER 857 NEW BEST:: SOT 23173 SOS 13606 HAS SOPS 9829 HAS SOUS 8158 HAS SOUPS 6807 WITH SCORE 6820.606
AT ITER 868 NEW BEST:: SOT 23183 SOS 13616 HAS SOPS 9844 HAS SOUS 8128 HAS SOUPS 6782 WITH SCORE 6795.616
AT ITER 895 NEW BEST:: SOT 23193 SOS 13626 HAS SOPS 9814 HAS SOUS 8140 HAS SOUPS 6752 WITH SCORE 6765.626
AT ITER 900 NEW BEST:: SOT 23174 SOS 13636 HAS SOPS 9801 HAS SOUS 8150 HAS SOUPS 6739 WITH SCORE 6752.636
AT ITER 906 NEW BEST:: SOT 23174 SOS 13625 HAS SOPS 9786 HAS SOUS 8135 HAS SOUPS 6724 WITH SCORE 6737.625
AT ITER 907 NEW BEST:: SOT 23180 SOS 13631 HAS SOPS 9761 HAS SOUS 8145 HAS SOUPS 6699 WITH SCORE 6712.631
AT ITER 913 NEW BEST:: SOT 23162 SOS 13618 HAS SOPS 9720 HAS SOUS 8099 HAS SOUPS 6653 WITH SCORE 6666.618
AT ITER 919 NEW BEST:: SOT 23162 SOS 13616 HAS SOPS 9718 HAS SOUS 8097 HAS SOUPS 6651 WITH SCORE 6664.616
AT ITER 920 NEW BEST:: SOT 23136 SOS 13688 HAS SOPS 9675 HAS SOUS 8216 HAS SOUPS 6608 WITH SCORE 6621.688
AT ITER 923 NEW BEST:: SOT 23131 SOS 13683 HAS SOPS 9674 HAS SOUS 8196 HAS SOUPS 6607 WITH SCORE 6620.683
AT ITER 951 NEW BEST:: SOT 23131 SOS 13668 HAS SOPS 9674 HAS SOUS 8171 HAS SOUPS 6607 WITH SCORE 6620.668
AT ITER 955 NEW BEST:: SOT 23095 SOS 13650 HAS SOPS 9656 HAS SOUS 8144 HAS SOUPS 6580 WITH SCORE 6593.65
AT ITER 958 NEW BEST:: SOT 23073 SOS 13628 HAS SOPS 9623 HAS SOUS 8122 HAS SOUPS 6547 WITH SCORE 6560.628
AT ITER 963 NEW BEST:: SOT 23060 SOS 13615 HAS SOPS 9604 HAS SOUS 8109 HAS SOUPS 6528 WITH SCORE 6541.615
AT ITER 966 NEW BEST:: SOT 23050 SOS 13605 HAS SOPS 9594 HAS SOUS 8099 HAS SOUPS 6518 WITH SCORE 6531.605
AT ITER 991 NEW BEST:: SOT 23047 SOS 13602 HAS SOPS 9590 HAS SOUS 8095 HAS SOUPS 6514 WITH SCORE 6527.602
AT ITER 1010 NEW BEST:: SOT 23047 SOS 13502 HAS SOPS 9588 HAS SOUS 8010 HAS SOUPS 6512 WITH SCORE 6525.502
AT ITER 1017 NEW BEST:: SOT 23049 SOS 13530 HAS SOPS 9592 HAS SOUS 8001 HAS SOUPS 6503 WITH SCORE 6516.53
AT ITER 1023 NEW BEST:: SOT 23029 SOS 13510 HAS SOPS 9572 HAS SOUS 7981 HAS SOUPS 6483 WITH SCORE 6496.51
AT ITER 1037 NEW BEST:: SOT 22989 SOS 13470 HAS SOPS 9527 HAS SOUS 7969 HAS SOUPS 6466 WITH SCORE 6479.47
AT ITER 1045 NEW BEST:: SOT 22989 SOS 13460 HAS SOPS 9517 HAS SOUS 7969 HAS SOUPS 6466 WITH SCORE 6479.46
AT ITER 1088 NEW BEST:: SOT 22989 SOS 13443 HAS SOPS 9500 HAS SOUS 7967 HAS SOUPS 6464 WITH SCORE 6477.443
AT ITER 1131 NEW BEST:: SOT 22989 SOS 13451 HAS SOPS 9508 HAS SOUS 7965 HAS SOUPS 6462 WITH SCORE 6475.451
AT ITER 1134 NEW BEST:: SOT 22987 SOS 13449 HAS SOPS 9508 HAS SOUS 7963 HAS SOUPS 6462 WITH SCORE 6475.449
AT ITER 1159 NEW BEST:: SOT 23000 SOS 13529 HAS SOPS 9505 HAS SOUS 8080 HAS SOUPS 6459 WITH SCORE 6472.529
AT ITER 1196 NEW BEST:: SOT 22979 SOS 13508 HAS SOPS 9463 HAS SOUS 8038 HAS SOUPS 6417 WITH SCORE 6430.508
AT ITER 1202 NEW BEST:: SOT 22972 SOS 13498 HAS SOPS 9453 HAS SOUS 8029 HAS SOUPS 6408 WITH SCORE 6421.498
AT ITER 1224 NEW BEST:: SOT 22957 SOS 13483 HAS SOPS 9438 HAS SOUS 8014 HAS SOUPS 6393 WITH SCORE 6406.483
AT ITER 1238 NEW BEST:: SOT 22947 SOS 13479 HAS SOPS 9430 HAS SOUS 8006 HAS SOUPS 6385 WITH SCORE 6398.479
AT ITER 1248 NEW BEST:: SOT 22946 SOS 13475 HAS SOPS 9428 HAS SOUS 8000 HAS SOUPS 6383 WITH SCORE 6396.475
AT ITER 1253 NEW BEST:: SOT 22950 SOS 13465 HAS SOPS 9422 HAS SOUS 7994 HAS SOUPS 6377 WITH SCORE 6390.465
AT ITER 1266 NEW BEST:: SOT 22941 SOS 13504 HAS SOPS 9415 HAS SOUS 8033 HAS SOUPS 6370 WITH SCORE 6383.504
AT ITER 1268 NEW BEST:: SOT 22974 SOS 13565 HAS SOPS 9411 HAS SOUS 8015 HAS SOUPS 6352 WITH SCORE 6365.565
AT ITER 1272 NEW BEST:: SOT 22942 SOS 13541 HAS SOPS 9379 HAS SOUS 8013 HAS SOUPS 6344 WITH SCORE 6357.541
AT ITER 1273 NEW BEST:: SOT 22937 SOS 13531 HAS SOPS 9374 HAS SOUS 8012 HAS SOUPS 6343 WITH SCORE 6356.531
AT ITER 1279 NEW BEST:: SOT 22937 SOS 13525 HAS SOPS 9368 HAS SOUS 8012 HAS SOUPS 6343 WITH SCORE 6356.525
AT ITER 1285 NEW BEST:: SOT 22937 SOS 13525 HAS SOPS 9366 HAS SOUS 8010 HAS SOUPS 6341 WITH SCORE 6354.525
AT ITER 1326 NEW BEST:: SOT 22923 SOS 13523 HAS SOPS 9350 HAS SOUS 8026 HAS SOUPS 6325 WITH SCORE 6338.523
AT ITER 1363 NEW BEST:: SOT 22919 SOS 13512 HAS SOPS 9346 HAS SOUS 8015 HAS SOUPS 6321 WITH SCORE 6334.512
AT ITER 1401 NEW BEST:: SOT 22883 SOS 13454 HAS SOPS 9329 HAS SOUS 7989 HAS SOUPS 6304 WITH SCORE 6317.454
AT ITER 1438 NEW BEST:: SOT 22883 SOS 13428 HAS SOPS 9303 HAS SOUS 7988 HAS SOUPS 6303 WITH SCORE 6316.428
AT ITER 1449 NEW BEST:: SOT 22826 SOS 13407 HAS SOPS 9156 HAS SOUS 8040 HAS SOUPS 6228 WITH SCORE 6241.407
AT ITER 1455 NEW BEST:: SOT 22821 SOS 13388 HAS SOPS 9142 HAS SOUS 8033 HAS SOUPS 6221 WITH SCORE 6234.388
AT ITER 1456 NEW BEST:: SOT 22821 SOS 13388 HAS SOPS 9139 HAS SOUS 8030 HAS SOUPS 6218 WITH SCORE 6231.388
AT ITER 1470 NEW BEST:: SOT 22821 SOS 13385 HAS SOPS 9139 HAS SOUS 8022 HAS SOUPS 6218 WITH SCORE 6231.385
AT ITER 1494 NEW BEST:: SOT 22838 SOS 13402 HAS SOPS 9138 HAS SOUS 8040 HAS SOUPS 6217 WITH SCORE 6230.402
AT ITER 1515 NEW BEST:: SOT 22828 SOS 13392 HAS SOPS 9125 HAS SOUS 8030 HAS SOUPS 6204 WITH SCORE 6217.392
AT ITER 1526 NEW BEST:: SOT 22818 SOS 13400 HAS SOPS 9118 HAS SOUS 8050 HAS SOUPS 6197 WITH SCORE 6210.4
AT ITER 1531 NEW BEST:: SOT 22818 SOS 13374 HAS SOPS 9118 HAS SOUS 7968 HAS SOUPS 6197 WITH SCORE 6210.374
AT ITER 1595 NEW BEST:: SOT 22807 SOS 13363 HAS SOPS 9107 HAS SOUS 7957 HAS SOUPS 6186 WITH SCORE 6199.363
AT ITER 1596 NEW BEST:: SOT 22807 SOS 13357 HAS SOPS 9102 HAS SOUS 7952 HAS SOUPS 6181 WITH SCORE 6194.357
AT ITER 1622 NEW BEST:: SOT 22807 SOS 13356 HAS SOPS 9102 HAS SOUS 7947 HAS SOUPS 6181 WITH SCORE 6194.356
AT ITER 1643 NEW BEST:: SOT 22807 SOS 13344 HAS SOPS 9102 HAS SOUS 7945 HAS SOUPS 6181 WITH SCORE 6194.344
AT ITER 1702 NEW BEST:: SOT 22804 SOS 13341 HAS SOPS 9099 HAS SOUS 7938 HAS SOUPS 6174 WITH SCORE 6187.341
AT ITER 1703 NEW BEST:: SOT 22800 SOS 13337 HAS SOPS 9091 HAS SOUS 7934 HAS SOUPS 6166 WITH SCORE 6179.337
AT ITER 1738 NEW BEST:: SOT 22765 SOS 13302 HAS SOPS 9071 HAS SOUS 7880 HAS SOUPS 6146 WITH SCORE 6159.302
AT ITER 1753 NEW BEST:: SOT 22761 SOS 13298 HAS SOPS 9062 HAS SOUS 7876 HAS SOUPS 6137 WITH SCORE 6150.298
AT ITER 1776 NEW BEST:: SOT 22755 SOS 13292 HAS SOPS 9053 HAS SOUS 7867 HAS SOUPS 6128 WITH SCORE 6141.292
AT ITER 1786 NEW BEST:: SOT 22740 SOS 13277 HAS SOPS 9043 HAS SOUS 7857 HAS SOUPS 6118 WITH SCORE 6131.277
AT ITER 1788 NEW BEST:: SOT 22722 SOS 13259 HAS SOPS 9026 HAS SOUS 7840 HAS SOUPS 6101 WITH SCORE 6114.259
AT ITER 1798 NEW BEST:: SOT 22714 SOS 13251 HAS SOPS 9004 HAS SOUS 7850 HAS SOUPS 6079 WITH SCORE 6092.251
AT ITER 1800 NEW BEST:: SOT 22705 SOS 13226 HAS SOPS 8990 HAS SOUS 7829 HAS SOUPS 6065 WITH SCORE 6078.226
AT ITER 1823 NEW BEST:: SOT 22697 SOS 13218 HAS SOPS 8979 HAS SOUS 7799 HAS SOUPS 6054 WITH SCORE 6067.218
AT ITER 1832 NEW BEST:: SOT 22697 SOS 13210 HAS SOPS 8971 HAS SOUS 7791 HAS SOUPS 6046 WITH SCORE 6059.21
AT ITER 1836 NEW BEST:: SOT 22691 SOS 13189 HAS SOPS 8965 HAS SOUS 7743 HAS SOUPS 6040 WITH SCORE 6053.189
AT ITER 1870 NEW BEST:: SOT 22691 SOS 13189 HAS SOPS 8950 HAS SOUS 7743 HAS SOUPS 6025 WITH SCORE 6038.189
AT ITER 1925 NEW BEST:: SOT 22687 SOS 13185 HAS SOPS 8947 HAS SOUS 7739 HAS SOUPS 6022 WITH SCORE 6035.185
AT ITER 1975 NEW BEST:: SOT 22682 SOS 13161 HAS SOPS 8924 HAS SOUS 7715 HAS SOUPS 5999 WITH SCORE 6012.161
AT ITER 2031 NEW BEST:: SOT 22682 SOS 13153 HAS SOPS 8916 HAS SOUS 7699 HAS SOUPS 5991 WITH SCORE 6004.153
AT ITER 2034 NEW BEST:: SOT 22706 SOS 13166 HAS SOPS 8909 HAS SOUS 7692 HAS SOUPS 5984 WITH SCORE 5997.166
AT ITER 2056 NEW BEST:: SOT 22706 SOS 13148 HAS SOPS 8891 HAS SOUS 7689 HAS SOUPS 5981 WITH SCORE 5994.148
AT ITER 2060 NEW BEST:: SOT 22705 SOS 13147 HAS SOPS 8889 HAS SOUS 7688 HAS SOUPS 5979 WITH SCORE 5992.147
AT ITER 2100 NEW BEST:: SOT 22705 SOS 13137 HAS SOPS 8879 HAS SOUS 7684 HAS SOUPS 5975 WITH SCORE 5988.137
AT ITER 2105 NEW BEST:: SOT 22703 SOS 13123 HAS SOPS 8879 HAS SOUS 7682 HAS SOUPS 5975 WITH SCORE 5988.123
AT ITER 2113 NEW BEST:: SOT 22678 SOS 13104 HAS SOPS 8835 HAS SOUS 7635 HAS SOUPS 5928 WITH SCORE 5941.104
AT ITER 2118 NEW BEST:: SOT 22675 SOS 13101 HAS SOPS 8829 HAS SOUS 7632 HAS SOUPS 5922 WITH SCORE 5935.101
AT ITER 2121 NEW BEST:: SOT 22669 SOS 13095 HAS SOPS 8822 HAS SOUS 7625 HAS SOUPS 5915 WITH SCORE 5928.095
AT ITER 2139 NEW BEST:: SOT 22609 SOS 13013 HAS SOPS 8796 HAS SOUS 7588 HAS SOUPS 5900 WITH SCORE 5913.013
AT ITER 2147 NEW BEST:: SOT 22597 SOS 13001 HAS SOPS 8784 HAS SOUS 7576 HAS SOUPS 5888 WITH SCORE 5901.001
AT ITER 2153 NEW BEST:: SOT 22577 SOS 12989 HAS SOPS 8748 HAS SOUS 7536 HAS SOUPS 5848 WITH SCORE 5860.989
AT ITER 2156 NEW BEST:: SOT 22567 SOS 12979 HAS SOPS 8736 HAS SOUS 7526 HAS SOUPS 5836 WITH SCORE 5848.979
AT ITER 2170 NEW BEST:: SOT 22567 SOS 12967 HAS SOPS 8727 HAS SOUS 7517 HAS SOUPS 5827 WITH SCORE 5839.967
AT ITER 2213 NEW BEST:: SOT 22567 SOS 12961 HAS SOPS 8713 HAS SOUS 7506 HAS SOUPS 5816 WITH SCORE 5828.961
AT ITER 2215 NEW BEST:: SOT 22565 SOS 12959 HAS SOPS 8711 HAS SOUS 7504 HAS SOUPS 5814 WITH SCORE 5826.959
AT ITER 2260 NEW BEST:: SOT 22564 SOS 12957 HAS SOPS 8710 HAS SOUS 7501 HAS SOUPS 5813 WITH SCORE 5825.957
AT ITER 2290 NEW BEST:: SOT 22562 SOS 12955 HAS SOPS 8706 HAS SOUS 7499 HAS SOUPS 5809 WITH SCORE 5821.955
AT ITER 2306 NEW BEST:: SOT 22580 SOS 12981 HAS SOPS 8702 HAS SOUS 7534 HAS SOUPS 5805 WITH SCORE 5817.981
AT ITER 2326 NEW BEST:: SOT 22550 SOS 12951 HAS SOPS 8669 HAS SOUS 7504 HAS SOUPS 5772 WITH SCORE 5784.951
AT ITER 2337 NEW BEST:: SOT 22545 SOS 12944 HAS SOPS 8662 HAS SOUS 7497 HAS SOUPS 5765 WITH SCORE 5777.944
AT ITER 2369 NEW BEST:: SOT 22542 SOS 12941 HAS SOPS 8659 HAS SOUS 7494 HAS SOUPS 5762 WITH SCORE 5774.941
AT ITER 2397 NEW BEST:: SOT 22515 SOS 12928 HAS SOPS 8646 HAS SOUS 7474 HAS SOUPS 5742 WITH SCORE 5754.928
AT ITER 2421 NEW BEST:: SOT 22516 SOS 12931 HAS SOPS 8640 HAS SOUS 7477 HAS SOUPS 5736 WITH SCORE 5748.931
AT ITER 2434 NEW BEST:: SOT 22437 SOS 12836 HAS SOPS 8531 HAS SOUS 7392 HAS SOUPS 5651 WITH SCORE 5663.836
AT ITER 2470 NEW BEST:: SOT 22435 SOS 12834 HAS SOPS 8527 HAS SOUS 7390 HAS SOUPS 5647 WITH SCORE 5659.834
AT ITER 2521 NEW BEST:: SOT 22434 SOS 12833 HAS SOPS 8525 HAS SOUS 7389 HAS SOUPS 5645 WITH SCORE 5657.833
AT ITER 2540 NEW BEST:: SOT 22406 SOS 12797 HAS SOPS 8462 HAS SOUS 7396 HAS SOUPS 5643 WITH SCORE 5655.797
AT ITER 2565 NEW BEST:: SOT 22402 SOS 12791 HAS SOPS 8456 HAS SOUS 7388 HAS SOUPS 5637 WITH SCORE 5649.791
AT ITER 2566 NEW BEST:: SOT 22404 SOS 12784 HAS SOPS 8472 HAS SOUS 7370 HAS SOUPS 5628 WITH SCORE 5640.784
AT ITER 2638 NEW BEST:: SOT 22397 SOS 12777 HAS SOPS 8459 HAS SOUS 7357 HAS SOUPS 5615 WITH SCORE 5627.777
AT ITER 2671 NEW BEST:: SOT 22385 SOS 12757 HAS SOPS 8439 HAS SOUS 7341 HAS SOUPS 5599 WITH SCORE 5611.757
AT ITER 2694 NEW BEST:: SOT 22370 SOS 12742 HAS SOPS 8424 HAS SOUS 7313 HAS SOUPS 5571 WITH SCORE 5583.742
AT ITER 2711 NEW BEST:: SOT 22360 SOS 12732 HAS SOPS 8414 HAS SOUS 7301 HAS SOUPS 5559 WITH SCORE 5571.732
AT ITER 2744 NEW BEST:: SOT 22358 SOS 12710 HAS SOPS 8412 HAS SOUS 7239 HAS SOUPS 5502 WITH SCORE 5514.71
AT ITER 2768 NEW BEST:: SOT 22358 SOS 12710 HAS SOPS 8407 HAS SOUS 7234 HAS SOUPS 5497 WITH SCORE 5509.71
AT ITER 2774 NEW BEST:: SOT 22353 SOS 12705 HAS SOPS 8401 HAS SOUS 7229 HAS SOUPS 5491 WITH SCORE 5503.705
AT ITER 2786 NEW BEST:: SOT 22348 SOS 12728 HAS SOPS 8405 HAS SOUS 7219 HAS SOUPS 5481 WITH SCORE 5493.728
AT ITER 2801 NEW BEST:: SOT 22349 SOS 12717 HAS SOPS 8406 HAS SOUS 7214 HAS SOUPS 5478 WITH SCORE 5490.717
AT ITER 2810 NEW BEST:: SOT 22344 SOS 12712 HAS SOPS 8404 HAS SOUS 7205 HAS SOUPS 5476 WITH SCORE 5488.712
AT ITER 2835 NEW BEST:: SOT 22339 SOS 12712 HAS SOPS 8394 HAS SOUS 7210 HAS SOUPS 5466 WITH SCORE 5478.712
AT ITER 2884 NEW BEST:: SOT 22352 SOS 12713 HAS SOPS 8411 HAS SOUS 7195 HAS SOUPS 5455 WITH SCORE 5467.713
AT ITER 2908 NEW BEST:: SOT 22352 SOS 12713 HAS SOPS 8410 HAS SOUS 7195 HAS SOUPS 5454 WITH SCORE 5466.713
AT ITER 2929 NEW BEST:: SOT 22351 SOS 12712 HAS SOPS 8408 HAS SOUS 7194 HAS SOUPS 5452 WITH SCORE 5464.712
AT ITER 2934 NEW BEST:: SOT 22323 SOS 12700 HAS SOPS 8377 HAS SOUS 7180 HAS SOUPS 5421 WITH SCORE 5433.7
AT ITER 2941 NEW BEST:: SOT 22321 SOS 12698 HAS SOPS 8371 HAS SOUS 7178 HAS SOUPS 5415 WITH SCORE 5427.698
AT ITER 2950 NEW BEST:: SOT 22315 SOS 12692 HAS SOPS 8362 HAS SOUS 7172 HAS SOUPS 5406 WITH SCORE 5418.692
AT ITER 2997 NEW BEST:: SOT 22315 SOS 12682 HAS SOPS 8362 HAS SOUS 7142 HAS SOUPS 5406 WITH SCORE 5418.682
AT ITER 3010 NEW BEST:: SOT 22313 SOS 12669 HAS SOPS 8360 HAS SOUS 7125 HAS SOUPS 5404 WITH SCORE 5416.669
AT ITER 3038 NEW BEST:: SOT 22313 SOS 12675 HAS SOPS 8356 HAS SOUS 7121 HAS SOUPS 5400 WITH SCORE 5412.675
AT ITER 3050 NEW BEST:: SOT 22313 SOS 12670 HAS SOPS 8351 HAS SOUS 7119 HAS SOUPS 5395 WITH SCORE 5407.67
AT ITER 3078 NEW BEST:: SOT 22264 SOS 12674 HAS SOPS 8369 HAS SOUS 7105 HAS SOUPS 5381 WITH SCORE 5393.674
AT ITER 3193 NEW BEST:: SOT 22258 SOS 12668 HAS SOPS 8357 HAS SOUS 7092 HAS SOUPS 5369 WITH SCORE 5381.668
AT ITER 3296 NEW BEST:: SOT 22257 SOS 12667 HAS SOPS 8355 HAS SOUS 7091 HAS SOUPS 5367 WITH SCORE 5379.667
AT ITER 3361 NEW BEST:: SOT 22246 SOS 12656 HAS SOPS 8342 HAS SOUS 7080 HAS SOUPS 5354 WITH SCORE 5366.656
AT ITER 3387 NEW BEST:: SOT 22238 SOS 12648 HAS SOPS 8326 HAS SOUS 7063 HAS SOUPS 5338 WITH SCORE 5350.648
AT ITER 3414 NEW BEST:: SOT 22318 SOS 12694 HAS SOPS 8283 HAS SOUS 7020 HAS SOUPS 5295 WITH SCORE 5307.694
AT ITER 3436 NEW BEST:: SOT 22317 SOS 12693 HAS SOPS 8281 HAS SOUS 7019 HAS SOUPS 5293 WITH SCORE 5305.693
AT ITER 3476 NEW BEST:: SOT 22317 SOS 12692 HAS SOPS 8280 HAS SOUS 7018 HAS SOUPS 5292 WITH SCORE 5304.692
AT ITER 3494 NEW BEST:: SOT 22316 SOS 12691 HAS SOPS 8278 HAS SOUS 7016 HAS SOUPS 5290 WITH SCORE 5302.691
AT ITER 3535 NEW BEST:: SOT 22311 SOS 12692 HAS SOPS 8269 HAS SOUS 6984 HAS SOUPS 5278 WITH SCORE 5290.692
AT ITER 3556 NEW BEST:: SOT 22310 SOS 12691 HAS SOPS 8268 HAS SOUS 6978 HAS SOUPS 5277 WITH SCORE 5289.691
AT ITER 3559 NEW BEST:: SOT 22299 SOS 12760 HAS SOPS 8257 HAS SOUS 7047 HAS SOUPS 5266 WITH SCORE 5278.76
AT ITER 3567 NEW BEST:: SOT 22295 SOS 12812 HAS SOPS 8299 HAS SOUS 7040 HAS SOUPS 5259 WITH SCORE 5271.812
AT ITER 3583 NEW BEST:: SOT 22295 SOS 12824 HAS SOPS 8297 HAS SOUS 7058 HAS SOUPS 5257 WITH SCORE 5269.824
AT ITER 3614 NEW BEST:: SOT 22267 SOS 12793 HAS SOPS 8257 HAS SOUS 7015 HAS SOUPS 5214 WITH SCORE 5226.793
AT ITER 3630 NEW BEST:: SOT 22272 SOS 12789 HAS SOPS 8257 HAS SOUS 7011 HAS SOUPS 5214 WITH SCORE 5226.789
AT ITER 3650 NEW BEST:: SOT 22271 SOS 12785 HAS SOPS 8254 HAS SOUS 7002 HAS SOUPS 5211 WITH SCORE 5223.785
AT ITER 3682 NEW BEST:: SOT 22270 SOS 12784 HAS SOPS 8252 HAS SOUS 6996 HAS SOUPS 5209 WITH SCORE 5221.784
AT ITER 3720 NEW BEST:: SOT 22263 SOS 12777 HAS SOPS 8240 HAS SOUS 6989 HAS SOUPS 5197 WITH SCORE 5209.777
AT ITER 3731 NEW BEST:: SOT 22256 SOS 12739 HAS SOPS 8226 HAS SOUS 6950 HAS SOUPS 5183 WITH SCORE 5195.739
AT ITER 3797 NEW BEST:: SOT 22254 SOS 12734 HAS SOPS 8222 HAS SOUS 6940 HAS SOUPS 5179 WITH SCORE 5191.734
AT ITER 3889 NEW BEST:: SOT 22247 SOS 12734 HAS SOPS 8215 HAS SOUS 6933 HAS SOUPS 5172 WITH SCORE 5184.734
AT ITER 3899 NEW BEST:: SOT 22246 SOS 12730 HAS SOPS 8214 HAS SOUS 6928 HAS SOUPS 5171 WITH SCORE 5183.73
AT ITER 3961 NEW BEST:: SOT 22245 SOS 12729 HAS SOPS 8212 HAS SOUS 6927 HAS SOUPS 5169 WITH SCORE 5181.729
AT ITER 4077 NEW BEST:: SOT 22243 SOS 12727 HAS SOPS 8208 HAS SOUS 6925 HAS SOUPS 5165 WITH SCORE 5177.727
AT ITER 4113 NEW BEST:: SOT 22233 SOS 12717 HAS SOPS 8198 HAS SOUS 6915 HAS SOUPS 5155 WITH SCORE 5167.717
AT ITER 4168 NEW BEST:: SOT 22228 SOS 12718 HAS SOPS 8187 HAS SOUS 6905 HAS SOUPS 5144 WITH SCORE 5156.718
AT ITER 4192 NEW BEST:: SOT 22210 SOS 12700 HAS SOPS 8185 HAS SOUS 6887 HAS SOUPS 5142 WITH SCORE 5154.7
AT ITER 4231 NEW BEST:: SOT 22207 SOS 12697 HAS SOPS 8182 HAS SOUS 6884 HAS SOUPS 5139 WITH SCORE 5151.697
AT ITER 4253 NEW BEST:: SOT 22216 SOS 12697 HAS SOPS 8190 HAS SOUS 6862 HAS SOUPS 5121 WITH SCORE 5133.697
AT ITER 4261 NEW BEST:: SOT 22216 SOS 12727 HAS SOPS 8220 HAS SOUS 6857 HAS SOUPS 5116 WITH SCORE 5128.727
AT ITER 4270 NEW BEST:: SOT 22209 SOS 12720 HAS SOPS 8210 HAS SOUS 6850 HAS SOUPS 5106 WITH SCORE 5118.72
AT ITER 4416 NEW BEST:: SOT 22208 SOS 12719 HAS SOPS 8208 HAS SOUS 6849 HAS SOUPS 5104 WITH SCORE 5116.719
AT ITER 4464 NEW BEST:: SOT 22210 SOS 12714 HAS SOPS 8203 HAS SOUS 6844 HAS SOUPS 5099 WITH SCORE 5111.714
AT ITER 4585 NEW BEST:: SOT 22209 SOS 12712 HAS SOPS 8202 HAS SOUS 6842 HAS SOUPS 5098 WITH SCORE 5110.712
AT ITER 4634 NEW BEST:: SOT 22205 SOS 12708 HAS SOPS 8207 HAS SOUS 6842 HAS SOUPS 5098 WITH SCORE 5110.708
AT ITER 4687 NEW BEST:: SOT 22205 SOS 12708 HAS SOPS 8205 HAS SOUS 6842 HAS SOUPS 5096 WITH SCORE 5108.708
AT ITER 4803 NEW BEST:: SOT 22191 SOS 12694 HAS SOPS 8191 HAS SOUS 6828 HAS SOUPS 5082 WITH SCORE 5094.694
AT ITER 4843 NEW BEST:: SOT 22189 SOS 12692 HAS SOPS 8190 HAS SOUS 6826 HAS SOUPS 5081 WITH SCORE 5093.692
AT ITER 4927 NEW BEST:: SOT 22189 SOS 12674 HAS SOPS 8166 HAS SOUS 6797 HAS SOUPS 5052 WITH SCORE 5064.674
AT ITER 4987 NEW BEST:: SOT 22188 SOS 12673 HAS SOPS 8165 HAS SOUS 6796 HAS SOUPS 5051 WITH SCORE 5063.673
AT ITER 5114 NEW BEST:: SOT 22184 SOS 12669 HAS SOPS 8160 HAS SOUS 6786 HAS SOUPS 5041 WITH SCORE 5053.669
AT ITER 5135 NEW BEST:: SOT 22176 SOS 12666 HAS SOPS 8153 HAS SOUS 6777 HAS SOUPS 5034 WITH SCORE 5046.666
AT ITER 5144 NEW BEST:: SOT 22178 SOS 12677 HAS SOPS 8144 HAS SOUS 6768 HAS SOUPS 5025 WITH SCORE 5037.677
AT ITER 5307 NEW BEST:: SOT 22153 SOS 12685 HAS SOPS 8142 HAS SOUS 6776 HAS SOUPS 5023 WITH SCORE 5035.685
AT ITER 5375 NEW BEST:: SOT 22152 SOS 12684 HAS SOPS 8141 HAS SOUS 6776 HAS SOUPS 5023 WITH SCORE 5035.684
AT ITER 5466 NEW BEST:: SOT 22152 SOS 12675 HAS SOPS 8132 HAS SOUS 6774 HAS SOUPS 5021 WITH SCORE 5033.675
AT ITER 5471 NEW BEST:: SOT 22170 SOS 12675 HAS SOPS 8160 HAS SOUS 6761 HAS SOUPS 5015 WITH SCORE 5027.675
AT ITER 5508 NEW BEST:: SOT 22169 SOS 12674 HAS SOPS 8158 HAS SOUS 6760 HAS SOUPS 5013 WITH SCORE 5025.674
AT ITER 5521 NEW BEST:: SOT 22149 SOS 12654 HAS SOPS 8127 HAS SOUS 6740 HAS SOUPS 4982 WITH SCORE 4994.654
AT ITER 5555 NEW BEST:: SOT 22109 SOS 12629 HAS SOPS 8047 HAS SOUS 6645 HAS SOUPS 4887 WITH SCORE 4899.629
AT ITER 5614 NEW BEST:: SOT 22109 SOS 12621 HAS SOPS 8039 HAS SOUS 6637 HAS SOUPS 4879 WITH SCORE 4891.621
AT ITER 5617 NEW BEST:: SOT 22109 SOS 12626 HAS SOPS 8044 HAS SOUS 6636 HAS SOUPS 4878 WITH SCORE 4890.626
AT ITER 5639 NEW BEST:: SOT 21998 SOS 12561 HAS SOPS 7960 HAS SOUS 6529 HAS SOUPS 4771 WITH SCORE 4783.561
AT ITER 5668 NEW BEST:: SOT 21960 SOS 12505 HAS SOPS 7929 HAS SOUS 6484 HAS SOUPS 4749 WITH SCORE 4761.505
AT ITER 5690 NEW BEST:: SOT 21959 SOS 12504 HAS SOPS 7927 HAS SOUS 6483 HAS SOUPS 4747 WITH SCORE 4759.504
AT ITER 5745 NEW BEST:: SOT 21951 SOS 12496 HAS SOPS 7916 HAS SOUS 6473 HAS SOUPS 4736 WITH SCORE 4748.496
AT ITER 5798 NEW BEST:: SOT 21949 SOS 12492 HAS SOPS 7913 HAS SOUS 6471 HAS SOUPS 4734 WITH SCORE 4746.492
AT ITER 5954 NEW BEST:: SOT 21960 SOS 12491 HAS SOPS 7924 HAS SOUS 6455 HAS SOUPS 4722 WITH SCORE 4734.491
AT ITER 5999 NEW BEST:: SOT 21956 SOS 12487 HAS SOPS 7909 HAS SOUS 6451 HAS SOUPS 4707 WITH SCORE 4719.487
AT ITER 6111 NEW BEST:: SOT 21958 SOS 12485 HAS SOPS 7910 HAS SOUS 6448 HAS SOUPS 4705 WITH SCORE 4717.485
AT ITER 6128 NEW BEST:: SOT 21958 SOS 12480 HAS SOPS 7905 HAS SOUS 6447 HAS SOUPS 4704 WITH SCORE 4716.48
AT ITER 6130 NEW BEST:: SOT 21955 SOS 12475 HAS SOPS 7902 HAS SOUS 6434 HAS SOUPS 4701 WITH SCORE 4713.475
AT ITER 6172 NEW BEST:: SOT 21955 SOS 12471 HAS SOPS 7902 HAS SOUS 6434 HAS SOUPS 4701 WITH SCORE 4713.471
AT ITER 6173 NEW BEST:: SOT 21949 SOS 12465 HAS SOPS 7891 HAS SOUS 6403 HAS SOUPS 4670 WITH SCORE 4682.465
AT ITER 6266 NEW BEST:: SOT 21947 SOS 12463 HAS SOPS 7887 HAS SOUS 6401 HAS SOUPS 4666 WITH SCORE 4678.463
AT ITER 6298 NEW BEST:: SOT 21949 SOS 12465 HAS SOPS 7879 HAS SOUS 6403 HAS SOUPS 4658 WITH SCORE 4670.465
AT ITER 6308 NEW BEST:: SOT 21946 SOS 12465 HAS SOPS 7876 HAS SOUS 6403 HAS SOUPS 4655 WITH SCORE 4667.465
AT ITER 6550 NEW BEST:: SOT 21942 SOS 12463 HAS SOPS 7872 HAS SOUS 6399 HAS SOUPS 4651 WITH SCORE 4663.463
AT ITER 6561 NEW BEST:: SOT 21936 SOS 12457 HAS SOPS 7850 HAS SOUS 6375 HAS SOUPS 4629 WITH SCORE 4641.457
AT ITER 6638 NEW BEST:: SOT 21934 SOS 12461 HAS SOPS 7848 HAS SOUS 6374 HAS SOUPS 4627 WITH SCORE 4639.461
AT ITER 6761 NEW BEST:: SOT 21927 SOS 12457 HAS SOPS 7840 HAS SOUS 6368 HAS SOUPS 4620 WITH SCORE 4632.457
AT ITER 6778 NEW BEST:: SOT 21926 SOS 12453 HAS SOPS 7838 HAS SOUS 6364 HAS SOUPS 4618 WITH SCORE 4630.453
AT ITER 6863 NEW BEST:: SOT 21909 SOS 12430 HAS SOPS 7809 HAS SOUS 6362 HAS SOUPS 4613 WITH SCORE 4625.43
AT ITER 7210 NEW BEST:: SOT 21910 SOS 12446 HAS SOPS 7801 HAS SOUS 6481 HAS SOUPS 4605 WITH SCORE 4617.446
AT ITER 7297 NEW BEST:: SOT 21911 SOS 12447 HAS SOPS 7800 HAS SOUS 6482 HAS SOUPS 4604 WITH SCORE 4616.447
AT ITER 7478 NEW BEST:: SOT 21903 SOS 12446 HAS SOPS 7792 HAS SOUS 6481 HAS SOUPS 4596 WITH SCORE 4608.446
AT ITER 7487 NEW BEST:: SOT 21903 SOS 12434 HAS SOPS 7780 HAS SOUS 6479 HAS SOUPS 4594 WITH SCORE 4606.434
AT ITER 7537 NEW BEST:: SOT 21898 SOS 12427 HAS SOPS 7773 HAS SOUS 6469 HAS SOUPS 4584 WITH SCORE 4596.427
AT ITER 7594 NEW BEST:: SOT 21898 SOS 12417 HAS SOPS 7763 HAS SOUS 6468 HAS SOUPS 4583 WITH SCORE 4595.417
AT ITER 7632 NEW BEST:: SOT 21896 SOS 12415 HAS SOPS 7762 HAS SOUS 6466 HAS SOUPS 4582 WITH SCORE 4594.415
AT ITER 7759 NEW BEST:: SOT 21896 SOS 12424 HAS SOPS 7771 HAS SOUS 6465 HAS SOUPS 4581 WITH SCORE 4593.424
AT ITER 7780 NEW BEST:: SOT 21896 SOS 12426 HAS SOPS 7773 HAS SOUS 6464 HAS SOUPS 4580 WITH SCORE 4592.426
AT ITER 7836 NEW BEST:: SOT 21895 SOS 12423 HAS SOPS 7771 HAS SOUS 6463 HAS SOUPS 4579 WITH SCORE 4591.423
AT ITER 7910 NEW BEST:: SOT 21894 SOS 12422 HAS SOPS 7769 HAS SOUS 6462 HAS SOUPS 4577 WITH SCORE 4589.422
AT ITER 7994 NEW BEST:: SOT 21895 SOS 12423 HAS SOPS 7767 HAS SOUS 6463 HAS SOUPS 4575 WITH SCORE 4587.423
AT ITER 8068 NEW BEST:: SOT 21890 SOS 12418 HAS SOPS 7761 HAS SOUS 6457 HAS SOUPS 4569 WITH SCORE 4581.418
AT ITER 8074 NEW BEST:: SOT 21886 SOS 12414 HAS SOPS 7756 HAS SOUS 6453 HAS SOUPS 4564 WITH SCORE 4576.414
AT ITER 8091 NEW BEST:: SOT 21884 SOS 12412 HAS SOPS 7752 HAS SOUS 6451 HAS SOUPS 4560 WITH SCORE 4572.412
AT ITER 8175 NEW BEST:: SOT 21884 SOS 12406 HAS SOPS 7752 HAS SOUS 6445 HAS SOUPS 4560 WITH SCORE 4572.406
AT ITER 8388 NEW BEST:: SOT 21880 SOS 12394 HAS SOPS 7748 HAS SOUS 6413 HAS SOUPS 4556 WITH SCORE 4568.394
AT ITER 8464 NEW BEST:: SOT 21871 SOS 12382 HAS SOPS 7738 HAS SOUS 6400 HAS SOUPS 4543 WITH SCORE 4555.382
AT ITER 8539 NEW BEST:: SOT 21871 SOS 12382 HAS SOPS 7733 HAS SOUS 6395 HAS SOUPS 4538 WITH SCORE 4550.382
AT ITER 8585 NEW BEST:: SOT 21869 SOS 12380 HAS SOPS 7730 HAS SOUS 6393 HAS SOUPS 4535 WITH SCORE 4547.38
AT ITER 8694 NEW BEST:: SOT 21869 SOS 12396 HAS SOPS 7746 HAS SOUS 6389 HAS SOUPS 4531 WITH SCORE 4543.396
AT ITER 8787 NEW BEST:: SOT 21865 SOS 12394 HAS SOPS 7744 HAS SOUS 6386 HAS SOUPS 4528 WITH SCORE 4540.394
AT ITER 8851 NEW BEST:: SOT 21864 SOS 12393 HAS SOPS 7740 HAS SOUS 6385 HAS SOUPS 4524 WITH SCORE 4536.393
AT ITER 8965 NEW BEST:: SOT 21864 SOS 12393 HAS SOPS 7739 HAS SOUS 6385 HAS SOUPS 4523 WITH SCORE 4535.393
AT ITER 8991 NEW BEST:: SOT 21875 SOS 12398 HAS SOPS 7748 HAS SOUS 6382 HAS SOUPS 4522 WITH SCORE 4534.398
AT ITER 9041 NEW BEST:: SOT 21883 SOS 12396 HAS SOPS 7746 HAS SOUS 6380 HAS SOUPS 4520 WITH SCORE 4532.396
AT ITER 9112 NEW BEST:: SOT 21877 SOS 12390 HAS SOPS 7738 HAS SOUS 6378 HAS SOUPS 4516 WITH SCORE 4528.39
AT ITER 9161 NEW BEST:: SOT 21874 SOS 12387 HAS SOPS 7736 HAS SOUS 6372 HAS SOUPS 4510 WITH SCORE 4522.387
AT ITER 9275 NEW BEST:: SOT 21873 SOS 12386 HAS SOPS 7734 HAS SOUS 6371 HAS SOUPS 4508 WITH SCORE 4520.386
AT ITER 9281 NEW BEST:: SOT 21881 SOS 12402 HAS SOPS 7730 HAS SOUS 6363 HAS SOUPS 4500 WITH SCORE 4512.402
AT ITER 9288 NEW BEST:: SOT 21878 SOS 12399 HAS SOPS 7727 HAS SOUS 6348 HAS SOUPS 4485 WITH SCORE 4497.399
AT ITER 9372 NEW BEST:: SOT 21875 SOS 12396 HAS SOPS 7723 HAS SOUS 6345 HAS SOUPS 4481 WITH SCORE 4493.396
AT ITER 9406 NEW BEST:: SOT 21873 SOS 12393 HAS SOPS 7720 HAS SOUS 6342 HAS SOUPS 4478 WITH SCORE 4490.393
AT ITER 9480 NEW BEST:: SOT 21868 SOS 12392 HAS SOPS 7715 HAS SOUS 6339 HAS SOUPS 4477 WITH SCORE 4489.392
AT ITER 9538 NEW BEST:: SOT 21876 SOS 12398 HAS SOPS 7726 HAS SOUS 6335 HAS SOUPS 4475 WITH SCORE 4487.398
AT ITER 9629 NEW BEST:: SOT 21870 SOS 12395 HAS SOPS 7723 HAS SOUS 6332 HAS SOUPS 4472 WITH SCORE 4484.395
AT ITER 9853 NEW BEST:: SOT 21868 SOS 12391 HAS SOPS 7719 HAS SOUS 6332 HAS SOUPS 4472 WITH SCORE 4484.391
AT ITER 9876 NEW BEST:: SOT 21868 SOS 12390 HAS SOPS 7719 HAS SOUS 6331 HAS SOUPS 4472 WITH SCORE 4484.39
AT ITER 9929 NEW BEST:: SOT 21866 SOS 12384 HAS SOPS 7717 HAS SOUS 6319 HAS SOUPS 4470 WITH SCORE 4482.384

BK_STOP 1678652736718

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-5"
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 LamportFastMutEx-COL-5, 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 r235-tall-167856421700368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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