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.r355-smll-167891802900128.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RwMutex-PT-r0010w0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891802900128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 5.3K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 22:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 22:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 22:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 22:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 95K 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 1679854320878

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RwMutex-PT-r0010w0050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 130 places, 120 transitions, 1260 arcs.
AT ITER 0 NEW BEST:: SOT 15274 SOS 11616 HAS SOPS 11616 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11627.616
AT ITER 1 NEW BEST:: SOT 15274 SOS 11576 HAS SOPS 11576 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11587.576
AT ITER 6 NEW BEST:: SOT 15274 SOS 11500 HAS SOPS 11500 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11511.5
AT ITER 9 NEW BEST:: SOT 15274 SOS 11466 HAS SOPS 11466 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11477.466
AT ITER 12 NEW BEST:: SOT 15274 SOS 11324 HAS SOPS 11324 HAS SOUS 11324 HAS SOUPS 11324 WITH SCORE 11335.324
AT ITER 19 NEW BEST:: SOT 15050 SOS 11388 HAS SOPS 11388 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11221.388
AT ITER 20 NEW BEST:: SOT 15050 SOS 11370 HAS SOPS 11370 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11203.37
AT ITER 22 NEW BEST:: SOT 15050 SOS 11344 HAS SOPS 11344 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11177.344
AT ITER 23 NEW BEST:: SOT 15050 SOS 11312 HAS SOPS 11312 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11135.312
AT ITER 24 NEW BEST:: SOT 15050 SOS 11270 HAS SOPS 11270 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11093.27
AT ITER 28 NEW BEST:: SOT 15050 SOS 11260 HAS SOPS 11260 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11083.26
AT ITER 29 NEW BEST:: SOT 14968 SOS 11178 HAS SOPS 11178 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11001.178
AT ITER 30 NEW BEST:: SOT 14968 SOS 11148 HAS SOPS 11148 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10971.148
AT ITER 31 NEW BEST:: SOT 14968 SOS 11112 HAS SOPS 11112 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10929.112
AT ITER 33 NEW BEST:: SOT 14968 SOS 11058 HAS SOPS 11058 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10779.058
AT ITER 34 NEW BEST:: SOT 14968 SOS 11018 HAS SOPS 11018 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10737.018
AT ITER 36 NEW BEST:: SOT 14968 SOS 10994 HAS SOPS 10994 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10712.994
AT ITER 37 NEW BEST:: SOT 14886 SOS 12078 HAS SOPS 12078 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10686.078
AT ITER 38 NEW BEST:: SOT 14876 SOS 12068 HAS SOPS 12068 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.068
AT ITER 41 NEW BEST:: SOT 14876 SOS 12068 HAS SOPS 12068 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10660.068
AT ITER 43 NEW BEST:: SOT 14876 SOS 11954 HAS SOPS 11954 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10545.954
AT ITER 45 NEW BEST:: SOT 14794 SOS 11874 HAS SOPS 11874 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10341.874
AT ITER 46 NEW BEST:: SOT 14662 SOS 11742 HAS SOPS 11742 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.742
AT ITER 49 NEW BEST:: SOT 14662 SOS 11706 HAS SOPS 11706 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10057.706
AT ITER 50 NEW BEST:: SOT 14580 SOS 12918 HAS SOPS 12918 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10012.918
AT ITER 52 NEW BEST:: SOT 14580 SOS 12918 HAS SOPS 12918 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9850.918
AT ITER 53 NEW BEST:: SOT 14580 SOS 12918 HAS SOPS 12918 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9744.918
AT ITER 55 NEW BEST:: SOT 14580 SOS 12918 HAS SOPS 12918 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9608.918
AT ITER 61 NEW BEST:: SOT 14580 SOS 12918 HAS SOPS 12918 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9472.918
AT ITER 63 NEW BEST:: SOT 14560 SOS 12898 HAS SOPS 12898 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9432.898
AT ITER 66 NEW BEST:: SOT 14614 SOS 13228 HAS SOPS 13228 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9415.228
AT ITER 70 NEW BEST:: SOT 14614 SOS 13202 HAS SOPS 13202 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9413.202
AT ITER 80 NEW BEST:: SOT 14532 SOS 13192 HAS SOPS 13192 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9239.192
AT ITER 82 NEW BEST:: SOT 14532 SOS 13192 HAS SOPS 13192 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9215.192
AT ITER 85 NEW BEST:: SOT 14532 SOS 13192 HAS SOPS 13192 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9199.192
AT ITER 88 NEW BEST:: SOT 14452 SOS 13174 HAS SOPS 13174 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9123.174
AT ITER 95 NEW BEST:: SOT 12840 SOS 11562 HAS SOPS 11562 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7347.562
AT ITER 96 NEW BEST:: SOT 12840 SOS 11562 HAS SOPS 11562 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7343.562
AT ITER 100 NEW BEST:: SOT 12780 SOS 11464 HAS SOPS 11464 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7245.464
AT ITER 105 NEW BEST:: SOT 12780 SOS 11464 HAS SOPS 11464 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7153.464
AT ITER 106 NEW BEST:: SOT 12780 SOS 11464 HAS SOPS 11464 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7125.464
AT ITER 107 NEW BEST:: SOT 12780 SOS 11488 HAS SOPS 11488 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7119.488
AT ITER 108 NEW BEST:: SOT 12776 SOS 11484 HAS SOPS 11484 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7111.484
AT ITER 111 NEW BEST:: SOT 12776 SOS 11484 HAS SOPS 11484 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7101.484
AT ITER 112 NEW BEST:: SOT 12776 SOS 11486 HAS SOPS 11486 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7077.486
AT ITER 116 NEW BEST:: SOT 12776 SOS 11486 HAS SOPS 11486 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7005.486
AT ITER 121 NEW BEST:: SOT 12776 SOS 11474 HAS SOPS 11474 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6993.474
AT ITER 125 NEW BEST:: SOT 12776 SOS 11474 HAS SOPS 11474 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6953.474
AT ITER 127 NEW BEST:: SOT 12760 SOS 11458 HAS SOPS 11458 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.458
AT ITER 128 NEW BEST:: SOT 12760 SOS 11458 HAS SOPS 11458 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6915.458
AT ITER 134 NEW BEST:: SOT 12760 SOS 11458 HAS SOPS 11458 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6911.458
AT ITER 138 NEW BEST:: SOT 12658 SOS 11354 HAS SOPS 11354 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6769.354
AT ITER 139 NEW BEST:: SOT 12592 SOS 11288 HAS SOPS 11288 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6703.288
AT ITER 142 NEW BEST:: SOT 12512 SOS 11208 HAS SOPS 11208 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.208
AT ITER 143 NEW BEST:: SOT 12512 SOS 11208 HAS SOPS 11208 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6505.208
AT ITER 148 NEW BEST:: SOT 12472 SOS 11242 HAS SOPS 11242 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6495.242
AT ITER 154 NEW BEST:: SOT 12472 SOS 11242 HAS SOPS 11242 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6485.242
AT ITER 157 NEW BEST:: SOT 12472 SOS 11242 HAS SOPS 11242 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6481.242
AT ITER 159 NEW BEST:: SOT 10632 SOS 9414 HAS SOPS 9414 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.414
AT ITER 161 NEW BEST:: SOT 10630 SOS 9412 HAS SOPS 9412 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4643.412
AT ITER 162 NEW BEST:: SOT 10630 SOS 9412 HAS SOPS 9412 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4631.412
AT ITER 165 NEW BEST:: SOT 10604 SOS 9386 HAS SOPS 9386 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4579.386
AT ITER 166 NEW BEST:: SOT 10578 SOS 9360 HAS SOPS 9360 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4463.36
AT ITER 167 NEW BEST:: SOT 10558 SOS 9330 HAS SOPS 9330 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4433.33
AT ITER 170 NEW BEST:: SOT 10526 SOS 9306 HAS SOPS 9306 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4409.306
AT ITER 179 NEW BEST:: SOT 10526 SOS 9286 HAS SOPS 9286 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4409.286
AT ITER 180 NEW BEST:: SOT 10526 SOS 9286 HAS SOPS 9286 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4407.286
AT ITER 182 NEW BEST:: SOT 10512 SOS 9272 HAS SOPS 9272 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4379.272
AT ITER 196 NEW BEST:: SOT 10488 SOS 9248 HAS SOPS 9248 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4331.248
AT ITER 200 NEW BEST:: SOT 10480 SOS 9240 HAS SOPS 9240 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4315.24
AT ITER 201 NEW BEST:: SOT 10480 SOS 9240 HAS SOPS 9240 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4311.24
AT ITER 205 NEW BEST:: SOT 10462 SOS 9222 HAS SOPS 9222 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4233.222
AT ITER 215 NEW BEST:: SOT 10430 SOS 9190 HAS SOPS 9190 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4169.19
AT ITER 218 NEW BEST:: SOT 10430 SOS 9190 HAS SOPS 9190 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4167.19
AT ITER 232 NEW BEST:: SOT 10406 SOS 9166 HAS SOPS 9166 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4119.166
AT ITER 240 NEW BEST:: SOT 10362 SOS 9122 HAS SOPS 9122 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4031.122
AT ITER 244 NEW BEST:: SOT 10340 SOS 9100 HAS SOPS 9100 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3997.1
AT ITER 249 NEW BEST:: SOT 10340 SOS 9100 HAS SOPS 9100 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3955.1
AT ITER 250 NEW BEST:: SOT 10324 SOS 9082 HAS SOPS 9082 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3937.082
AT ITER 251 NEW BEST:: SOT 10324 SOS 9082 HAS SOPS 9082 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3933.082
AT ITER 257 NEW BEST:: SOT 10324 SOS 9082 HAS SOPS 9082 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3927.082
AT ITER 262 NEW BEST:: SOT 10326 SOS 9106 HAS SOPS 9106 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3911.106
AT ITER 263 NEW BEST:: SOT 10326 SOS 9074 HAS SOPS 9074 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3911.074
AT ITER 264 NEW BEST:: SOT 10302 SOS 9050 HAS SOPS 9050 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3863.05
AT ITER 272 NEW BEST:: SOT 10286 SOS 9034 HAS SOPS 9034 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3805.034
AT ITER 279 NEW BEST:: SOT 10286 SOS 9034 HAS SOPS 9034 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3765.034
AT ITER 283 NEW BEST:: SOT 10284 SOS 9032 HAS SOPS 9032 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3761.032
AT ITER 292 NEW BEST:: SOT 10210 SOS 8958 HAS SOPS 8958 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3634.958
AT ITER 295 NEW BEST:: SOT 10206 SOS 8954 HAS SOPS 8954 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3618.954
AT ITER 296 NEW BEST:: SOT 10206 SOS 8932 HAS SOPS 8932 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3614.932
AT ITER 311 NEW BEST:: SOT 10190 SOS 8916 HAS SOPS 8916 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3582.916
AT ITER 317 NEW BEST:: SOT 10146 SOS 8872 HAS SOPS 8872 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3494.872
AT ITER 320 NEW BEST:: SOT 10144 SOS 8870 HAS SOPS 8870 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3490.87
AT ITER 321 NEW BEST:: SOT 10144 SOS 8870 HAS SOPS 8870 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3472.87
AT ITER 336 NEW BEST:: SOT 10144 SOS 8864 HAS SOPS 8864 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3460.864
AT ITER 338 NEW BEST:: SOT 10100 SOS 8820 HAS SOPS 8820 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3372.82
AT ITER 340 NEW BEST:: SOT 10088 SOS 8808 HAS SOPS 8808 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3348.808
AT ITER 345 NEW BEST:: SOT 10088 SOS 8802 HAS SOPS 8802 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3348.802
AT ITER 348 NEW BEST:: SOT 10072 SOS 8786 HAS SOPS 8786 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3316.786
AT ITER 358 NEW BEST:: SOT 10012 SOS 8726 HAS SOPS 8726 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3196.726
AT ITER 360 NEW BEST:: SOT 10012 SOS 8726 HAS SOPS 8726 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3172.726
AT ITER 362 NEW BEST:: SOT 9996 SOS 8688 HAS SOPS 8688 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3170.688
AT ITER 371 NEW BEST:: SOT 9922 SOS 8614 HAS SOPS 8614 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3096.614
AT ITER 378 NEW BEST:: SOT 9922 SOS 8614 HAS SOPS 8614 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3094.614
AT ITER 379 NEW BEST:: SOT 9922 SOS 8570 HAS SOPS 8570 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3094.57
AT ITER 382 NEW BEST:: SOT 9916 SOS 8564 HAS SOPS 8564 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3082.564
AT ITER 413 NEW BEST:: SOT 9914 SOS 8562 HAS SOPS 8562 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3078.562
AT ITER 435 NEW BEST:: SOT 9910 SOS 8642 HAS SOPS 8642 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3040.642
AT ITER 437 NEW BEST:: SOT 9816 SOS 8570 HAS SOPS 8570 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2968.57
AT ITER 444 NEW BEST:: SOT 9802 SOS 8556 HAS SOPS 8556 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2940.556
AT ITER 450 NEW BEST:: SOT 9802 SOS 8556 HAS SOPS 8556 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2926.556
AT ITER 456 NEW BEST:: SOT 9786 SOS 8540 HAS SOPS 8540 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2890.54
AT ITER 461 NEW BEST:: SOT 9772 SOS 8526 HAS SOPS 8526 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2876.526
AT ITER 463 NEW BEST:: SOT 9772 SOS 8526 HAS SOPS 8526 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2858.526
AT ITER 470 NEW BEST:: SOT 9770 SOS 8524 HAS SOPS 8524 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2856.524
AT ITER 472 NEW BEST:: SOT 9770 SOS 8744 HAS SOPS 8744 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2830.744
AT ITER 487 NEW BEST:: SOT 9770 SOS 8744 HAS SOPS 8744 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2828.744
AT ITER 497 NEW BEST:: SOT 9768 SOS 8742 HAS SOPS 8742 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2826.742
AT ITER 500 NEW BEST:: SOT 9766 SOS 8740 HAS SOPS 8740 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2822.74
AT ITER 509 NEW BEST:: SOT 9750 SOS 8742 HAS SOPS 8742 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2786.742
AT ITER 515 NEW BEST:: SOT 9508 SOS 8816 HAS SOPS 8816 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2668.816
AT ITER 516 NEW BEST:: SOT 9512 SOS 8820 HAS SOPS 8820 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2662.82
AT ITER 527 NEW BEST:: SOT 9506 SOS 8814 HAS SOPS 8814 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2650.814
AT ITER 534 NEW BEST:: SOT 9466 SOS 8774 HAS SOPS 8774 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2584.774
AT ITER 554 NEW BEST:: SOT 9464 SOS 8772 HAS SOPS 8772 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2580.772
AT ITER 557 NEW BEST:: SOT 9464 SOS 8810 HAS SOPS 8810 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2564.81
AT ITER 582 NEW BEST:: SOT 9462 SOS 8808 HAS SOPS 8808 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2560.808
AT ITER 588 NEW BEST:: SOT 9452 SOS 8798 HAS SOPS 8798 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2550.798
AT ITER 608 NEW BEST:: SOT 9450 SOS 8796 HAS SOPS 8796 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2546.796
AT ITER 609 NEW BEST:: SOT 9448 SOS 8794 HAS SOPS 8794 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2540.794
AT ITER 611 NEW BEST:: SOT 9434 SOS 8780 HAS SOPS 8780 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2512.78
AT ITER 612 NEW BEST:: SOT 9434 SOS 8534 HAS SOPS 8534 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2502.534
AT ITER 619 NEW BEST:: SOT 9434 SOS 8534 HAS SOPS 8534 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2480.534
AT ITER 620 NEW BEST:: SOT 9424 SOS 8524 HAS SOPS 8524 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2460.524
AT ITER 632 NEW BEST:: SOT 9354 SOS 8454 HAS SOPS 8454 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2366.454
AT ITER 648 NEW BEST:: SOT 9346 SOS 8446 HAS SOPS 8446 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2334.446
AT ITER 673 NEW BEST:: SOT 9344 SOS 8444 HAS SOPS 8444 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2330.444
AT ITER 685 NEW BEST:: SOT 9344 SOS 8414 HAS SOPS 8414 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2330.414
AT ITER 717 NEW BEST:: SOT 9342 SOS 8412 HAS SOPS 8412 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2314.412
AT ITER 735 NEW BEST:: SOT 9342 SOS 8192 HAS SOPS 8192 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2314.192
AT ITER 736 NEW BEST:: SOT 9300 SOS 8184 HAS SOPS 8184 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2280.184
AT ITER 746 NEW BEST:: SOT 9300 SOS 8184 HAS SOPS 8184 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2224.184
AT ITER 749 NEW BEST:: SOT 9286 SOS 8170 HAS SOPS 8170 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2196.17
AT ITER 761 NEW BEST:: SOT 9282 SOS 8446 HAS SOPS 8446 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2184.446
AT ITER 768 NEW BEST:: SOT 9280 SOS 8444 HAS SOPS 8444 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2180.444
AT ITER 785 NEW BEST:: SOT 9280 SOS 8404 HAS SOPS 8404 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2178.404
AT ITER 788 NEW BEST:: SOT 9302 SOS 8470 HAS SOPS 8470 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2174.47
AT ITER 789 NEW BEST:: SOT 9300 SOS 8450 HAS SOPS 8450 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2154.45
AT ITER 797 NEW BEST:: SOT 9300 SOS 8450 HAS SOPS 8450 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2150.45
AT ITER 809 NEW BEST:: SOT 9288 SOS 8432 HAS SOPS 8432 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2132.432
AT ITER 896 NEW BEST:: SOT 9284 SOS 8428 HAS SOPS 8428 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2124.428
AT ITER 899 NEW BEST:: SOT 9280 SOS 8424 HAS SOPS 8424 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2120.424
AT ITER 936 NEW BEST:: SOT 9280 SOS 8424 HAS SOPS 8424 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2110.424
AT ITER 944 NEW BEST:: SOT 9272 SOS 8416 HAS SOPS 8416 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2094.416
AT ITER 965 NEW BEST:: SOT 9272 SOS 8392 HAS SOPS 8392 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2094.392
AT ITER 970 NEW BEST:: SOT 9272 SOS 8392 HAS SOPS 8392 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2086.392
AT ITER 1006 NEW BEST:: SOT 9268 SOS 8388 HAS SOPS 8388 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2066.388
AT ITER 1011 NEW BEST:: SOT 9248 SOS 8416 HAS SOPS 8416 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2056.416
AT ITER 1032 NEW BEST:: SOT 9240 SOS 8408 HAS SOPS 8408 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2040.408
AT ITER 1040 NEW BEST:: SOT 9228 SOS 8422 HAS SOPS 8422 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2006.422
AT ITER 1041 NEW BEST:: SOT 9220 SOS 8414 HAS SOPS 8414 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1986.414
AT ITER 1056 NEW BEST:: SOT 9212 SOS 8406 HAS SOPS 8406 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1970.406
AT ITER 1092 NEW BEST:: SOT 9210 SOS 8404 HAS SOPS 8404 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1966.404
AT ITER 1096 NEW BEST:: SOT 9206 SOS 8400 HAS SOPS 8400 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1958.4
AT ITER 1102 NEW BEST:: SOT 9200 SOS 8394 HAS SOPS 8394 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1952.394
AT ITER 1106 NEW BEST:: SOT 9200 SOS 8390 HAS SOPS 8390 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1948.39
AT ITER 1110 NEW BEST:: SOT 9182 SOS 8372 HAS SOPS 8372 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1912.372
AT ITER 1120 NEW BEST:: SOT 9180 SOS 8370 HAS SOPS 8370 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1908.37
AT ITER 1164 NEW BEST:: SOT 9174 SOS 8364 HAS SOPS 8364 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1896.364
AT ITER 1251 NEW BEST:: SOT 9174 SOS 8360 HAS SOPS 8360 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1888.36
AT ITER 1253 NEW BEST:: SOT 9174 SOS 8360 HAS SOPS 8360 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1878.36
AT ITER 1293 NEW BEST:: SOT 9174 SOS 8360 HAS SOPS 8360 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1874.36
AT ITER 1299 NEW BEST:: SOT 9108 SOS 8300 HAS SOPS 8300 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1792.3
AT ITER 1326 NEW BEST:: SOT 8978 SOS 8202 HAS SOPS 8202 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1694.202
AT ITER 1344 NEW BEST:: SOT 8976 SOS 8200 HAS SOPS 8200 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1690.2
AT ITER 1345 NEW BEST:: SOT 8972 SOS 8196 HAS SOPS 8196 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1682.196
AT ITER 1352 NEW BEST:: SOT 8962 SOS 8220 HAS SOPS 8220 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1656.22
AT ITER 1357 NEW BEST:: SOT 8956 SOS 8214 HAS SOPS 8214 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1644.214
AT ITER 1358 NEW BEST:: SOT 8946 SOS 8204 HAS SOPS 8204 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1624.204
AT ITER 1373 NEW BEST:: SOT 8912 SOS 8170 HAS SOPS 8170 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1584.17
AT ITER 1384 NEW BEST:: SOT 8910 SOS 8168 HAS SOPS 8168 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1576.168
AT ITER 1392 NEW BEST:: SOT 8898 SOS 8156 HAS SOPS 8156 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1560.156
AT ITER 1408 NEW BEST:: SOT 8876 SOS 8134 HAS SOPS 8134 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1516.134
AT ITER 1421 NEW BEST:: SOT 8872 SOS 8130 HAS SOPS 8130 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1508.13
AT ITER 1434 NEW BEST:: SOT 8870 SOS 8128 HAS SOPS 8128 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1504.128
AT ITER 1438 NEW BEST:: SOT 8874 SOS 8132 HAS SOPS 8132 HAS SOUS 1492 HAS SOUPS 1492 WITH SCORE 1500.132
AT ITER 1466 NEW BEST:: SOT 8874 SOS 8418 HAS SOPS 8418 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1498.418
AT ITER 1558 NEW BEST:: SOT 8872 SOS 8416 HAS SOPS 8416 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1494.416
AT ITER 1612 NEW BEST:: SOT 8862 SOS 8406 HAS SOPS 8406 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1474.406
AT ITER 1618 NEW BEST:: SOT 8856 SOS 8400 HAS SOPS 8400 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1462.4
AT ITER 1622 NEW BEST:: SOT 8844 SOS 8388 HAS SOPS 8388 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1426.388
AT ITER 1691 NEW BEST:: SOT 8840 SOS 8384 HAS SOPS 8384 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1418.384
AT ITER 1720 NEW BEST:: SOT 8836 SOS 8380 HAS SOPS 8380 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1410.38
AT ITER 1726 NEW BEST:: SOT 8834 SOS 8378 HAS SOPS 8378 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1406.378
AT ITER 1746 NEW BEST:: SOT 8848 SOS 8392 HAS SOPS 8392 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1400.392
AT ITER 1798 NEW BEST:: SOT 8844 SOS 8388 HAS SOPS 8388 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1396.388
AT ITER 1811 NEW BEST:: SOT 8840 SOS 8384 HAS SOPS 8384 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1388.384
AT ITER 1813 NEW BEST:: SOT 8840 SOS 8392 HAS SOPS 8392 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1378.392
AT ITER 1822 NEW BEST:: SOT 8836 SOS 8388 HAS SOPS 8388 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1370.388
AT ITER 1826 NEW BEST:: SOT 8832 SOS 8384 HAS SOPS 8384 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1362.384
AT ITER 1873 NEW BEST:: SOT 8830 SOS 8382 HAS SOPS 8382 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1358.382
AT ITER 1904 NEW BEST:: SOT 8822 SOS 8080 HAS SOPS 8080 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1350.08
AT ITER 1908 NEW BEST:: SOT 8820 SOS 8078 HAS SOPS 8078 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1346.078
AT ITER 1926 NEW BEST:: SOT 8814 SOS 8066 HAS SOPS 8066 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1334.066
AT ITER 1959 NEW BEST:: SOT 8806 SOS 8058 HAS SOPS 8058 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1318.058
AT ITER 1970 NEW BEST:: SOT 8804 SOS 8056 HAS SOPS 8056 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1314.056
AT ITER 1987 NEW BEST:: SOT 8796 SOS 8048 HAS SOPS 8048 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1298.048
AT ITER 2105 NEW BEST:: SOT 8794 SOS 8046 HAS SOPS 8046 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1294.046
AT ITER 2111 NEW BEST:: SOT 8794 SOS 8042 HAS SOPS 8042 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1290.042
AT ITER 2113 NEW BEST:: SOT 8794 SOS 8042 HAS SOPS 8042 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1288.042
AT ITER 2181 NEW BEST:: SOT 8794 SOS 8034 HAS SOPS 8034 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1280.034
AT ITER 2184 NEW BEST:: SOT 8772 SOS 8022 HAS SOPS 8022 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1262.022
AT ITER 2187 NEW BEST:: SOT 8754 SOS 8004 HAS SOPS 8004 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1244.004
AT ITER 2197 NEW BEST:: SOT 8752 SOS 8002 HAS SOPS 8002 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1230.002
AT ITER 2201 NEW BEST:: SOT 8748 SOS 7998 HAS SOPS 7998 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1221.998
AT ITER 2212 NEW BEST:: SOT 8746 SOS 7996 HAS SOPS 7996 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1217.996
AT ITER 2261 NEW BEST:: SOT 8730 SOS 7994 HAS SOPS 7994 HAS SOUS 1176 HAS SOUPS 1176 WITH SCORE 1183.994
AT ITER 2287 NEW BEST:: SOT 8730 SOS 7990 HAS SOPS 7990 HAS SOUS 1172 HAS SOUPS 1172 WITH SCORE 1179.99
AT ITER 2322 NEW BEST:: SOT 8728 SOS 7988 HAS SOPS 7988 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1175.988
AT ITER 2372 NEW BEST:: SOT 8714 SOS 7974 HAS SOPS 7974 HAS SOUS 1140 HAS SOUPS 1140 WITH SCORE 1147.974
AT ITER 2420 NEW BEST:: SOT 8704 SOS 7964 HAS SOPS 7964 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1125.964
AT ITER 2425 NEW BEST:: SOT 8692 SOS 8346 HAS SOPS 8346 HAS SOUS 1108 HAS SOUPS 1108 WITH SCORE 1116.346
AT ITER 2512 NEW BEST:: SOT 8686 SOS 8340 HAS SOPS 8340 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1104.34
AT ITER 2577 NEW BEST:: SOT 8682 SOS 8336 HAS SOPS 8336 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1096.336
AT ITER 2595 NEW BEST:: SOT 8680 SOS 8334 HAS SOPS 8334 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1092.334
AT ITER 2629 NEW BEST:: SOT 8676 SOS 8330 HAS SOPS 8330 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1084.33
AT ITER 2647 NEW BEST:: SOT 8674 SOS 8316 HAS SOPS 8316 HAS SOUS 1062 HAS SOUPS 1062 WITH SCORE 1070.316
AT ITER 2657 NEW BEST:: SOT 8670 SOS 8312 HAS SOPS 8312 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1062.312
AT ITER 2669 NEW BEST:: SOT 8664 SOS 8306 HAS SOPS 8306 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1050.306
AT ITER 2684 NEW BEST:: SOT 8684 SOS 8326 HAS SOPS 8326 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1044.326
AT ITER 2724 NEW BEST:: SOT 8680 SOS 8322 HAS SOPS 8322 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1036.322
AT ITER 2745 NEW BEST:: SOT 8672 SOS 8306 HAS SOPS 8306 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1020.306
AT ITER 2780 NEW BEST:: SOT 8660 SOS 8282 HAS SOPS 8282 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 996.282
AT ITER 2803 NEW BEST:: SOT 8660 SOS 8282 HAS SOPS 8282 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 988.282
AT ITER 2878 NEW BEST:: SOT 8660 SOS 8286 HAS SOPS 8286 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 984.286
AT ITER 2908 NEW BEST:: SOT 8654 SOS 8280 HAS SOPS 8280 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 972.28
AT ITER 2929 NEW BEST:: SOT 8652 SOS 8278 HAS SOPS 8278 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 968.278
AT ITER 2938 NEW BEST:: SOT 8638 SOS 8264 HAS SOPS 8264 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 934.264
AT ITER 2943 NEW BEST:: SOT 8636 SOS 8262 HAS SOPS 8262 HAS SOUS 922 HAS SOUPS 922 WITH SCORE 930.262
AT ITER 2949 NEW BEST:: SOT 8636 SOS 8262 HAS SOPS 8262 HAS SOUS 920 HAS SOUPS 920 WITH SCORE 928.262
AT ITER 2992 NEW BEST:: SOT 8636 SOS 8268 HAS SOPS 8268 HAS SOUS 916 HAS SOUPS 916 WITH SCORE 924.268
AT ITER 3037 NEW BEST:: SOT 8620 SOS 8252 HAS SOPS 8252 HAS SOUS 884 HAS SOUPS 884 WITH SCORE 892.252
AT ITER 3071 NEW BEST:: SOT 8612 SOS 8244 HAS SOPS 8244 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 876.244
AT ITER 3129 NEW BEST:: SOT 8602 SOS 8234 HAS SOPS 8234 HAS SOUS 848 HAS SOUPS 848 WITH SCORE 856.234
AT ITER 3133 NEW BEST:: SOT 8596 SOS 8228 HAS SOPS 8228 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 844.228
AT ITER 3201 NEW BEST:: SOT 8594 SOS 8226 HAS SOPS 8226 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 840.226
AT ITER 3242 NEW BEST:: SOT 8592 SOS 8224 HAS SOPS 8224 HAS SOUS 828 HAS SOUPS 828 WITH SCORE 836.224
AT ITER 3249 NEW BEST:: SOT 8576 SOS 8216 HAS SOPS 8216 HAS SOUS 818 HAS SOUPS 818 WITH SCORE 826.216
AT ITER 3361 NEW BEST:: SOT 8568 SOS 8208 HAS SOPS 8208 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 810.208
AT ITER 3370 NEW BEST:: SOT 8566 SOS 8206 HAS SOPS 8206 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 796.206
AT ITER 3507 NEW BEST:: SOT 8562 SOS 8202 HAS SOPS 8202 HAS SOUS 782 HAS SOUPS 782 WITH SCORE 790.202
AT ITER 3513 NEW BEST:: SOT 8560 SOS 8200 HAS SOPS 8200 HAS SOUS 778 HAS SOUPS 778 WITH SCORE 786.2
AT ITER 3550 NEW BEST:: SOT 8558 SOS 8198 HAS SOPS 8198 HAS SOUS 774 HAS SOUPS 774 WITH SCORE 782.198
AT ITER 3602 NEW BEST:: SOT 8554 SOS 8194 HAS SOPS 8194 HAS SOUS 766 HAS SOUPS 766 WITH SCORE 774.194
AT ITER 3624 NEW BEST:: SOT 8552 SOS 8192 HAS SOPS 8192 HAS SOUS 762 HAS SOUPS 762 WITH SCORE 770.192
AT ITER 3704 NEW BEST:: SOT 8550 SOS 8190 HAS SOPS 8190 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 766.19
AT ITER 3709 NEW BEST:: SOT 8548 SOS 8188 HAS SOPS 8188 HAS SOUS 754 HAS SOUPS 754 WITH SCORE 762.188
AT ITER 3847 NEW BEST:: SOT 8544 SOS 8184 HAS SOPS 8184 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 754.184
AT ITER 3957 NEW BEST:: SOT 8538 SOS 8172 HAS SOPS 8172 HAS SOUS 734 HAS SOUPS 734 WITH SCORE 742.172
AT ITER 4238 NEW BEST:: SOT 8540 SOS 8174 HAS SOPS 8174 HAS SOUS 730 HAS SOUPS 730 WITH SCORE 738.174
AT ITER 4266 NEW BEST:: SOT 8538 SOS 8172 HAS SOPS 8172 HAS SOUS 726 HAS SOUPS 726 WITH SCORE 734.172
AT ITER 4421 NEW BEST:: SOT 8536 SOS 8170 HAS SOPS 8170 HAS SOUS 722 HAS SOUPS 722 WITH SCORE 730.17
AT ITER 4602 NEW BEST:: SOT 8532 SOS 8162 HAS SOPS 8162 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 722.162
AT ITER 4633 NEW BEST:: SOT 8532 SOS 8064 HAS SOPS 8064 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 722.064
AT ITER 4642 NEW BEST:: SOT 8530 SOS 8062 HAS SOPS 8062 HAS SOUS 710 HAS SOUPS 710 WITH SCORE 718.062
AT ITER 4752 NEW BEST:: SOT 8526 SOS 8058 HAS SOPS 8058 HAS SOUS 700 HAS SOUPS 700 WITH SCORE 708.058
AT ITER 4936 NEW BEST:: SOT 8524 SOS 8054 HAS SOPS 8054 HAS SOUS 696 HAS SOUPS 696 WITH SCORE 704.054
AT ITER 5010 NEW BEST:: SOT 8522 SOS 8052 HAS SOPS 8052 HAS SOUS 692 HAS SOUPS 692 WITH SCORE 700.052
AT ITER 5039 NEW BEST:: SOT 8518 SOS 8050 HAS SOPS 8050 HAS SOUS 686 HAS SOUPS 686 WITH SCORE 694.05
AT ITER 5060 NEW BEST:: SOT 8512 SOS 8044 HAS SOPS 8044 HAS SOUS 674 HAS SOUPS 674 WITH SCORE 682.044
AT ITER 5123 NEW BEST:: SOT 8510 SOS 8042 HAS SOPS 8042 HAS SOUS 670 HAS SOUPS 670 WITH SCORE 678.042
AT ITER 5156 NEW BEST:: SOT 8508 SOS 8040 HAS SOPS 8040 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 674.04
AT ITER 5320 NEW BEST:: SOT 8506 SOS 8038 HAS SOPS 8038 HAS SOUS 662 HAS SOUPS 662 WITH SCORE 670.038
AT ITER 5419 NEW BEST:: SOT 8504 SOS 8036 HAS SOPS 8036 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 666.036
AT ITER 5566 NEW BEST:: SOT 8502 SOS 8034 HAS SOPS 8034 HAS SOUS 654 HAS SOUPS 654 WITH SCORE 662.034
AT ITER 6006 NEW BEST:: SOT 8500 SOS 8032 HAS SOPS 8032 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 658.032
AT ITER 6069 NEW BEST:: SOT 8498 SOS 8030 HAS SOPS 8030 HAS SOUS 646 HAS SOUPS 646 WITH SCORE 654.03
AT ITER 6081 NEW BEST:: SOT 8498 SOS 7930 HAS SOPS 7930 HAS SOUS 644 HAS SOUPS 644 WITH SCORE 651.93
AT ITER 6242 NEW BEST:: SOT 8494 SOS 7926 HAS SOPS 7926 HAS SOUS 640 HAS SOUPS 640 WITH SCORE 647.926
AT ITER 6273 NEW BEST:: SOT 8490 SOS 7922 HAS SOPS 7922 HAS SOUS 632 HAS SOUPS 632 WITH SCORE 639.922
AT ITER 6654 NEW BEST:: SOT 8486 SOS 7922 HAS SOPS 7922 HAS SOUS 630 HAS SOUPS 630 WITH SCORE 637.922
AT ITER 6949 NEW BEST:: SOT 8484 SOS 7920 HAS SOPS 7920 HAS SOUS 626 HAS SOUPS 626 WITH SCORE 633.92
AT ITER 6959 NEW BEST:: SOT 8482 SOS 7918 HAS SOPS 7918 HAS SOUS 624 HAS SOUPS 624 WITH SCORE 631.918
AT ITER 7085 NEW BEST:: SOT 8480 SOS 7916 HAS SOPS 7916 HAS SOUS 620 HAS SOUPS 620 WITH SCORE 627.916
AT ITER 7114 NEW BEST:: SOT 8478 SOS 7914 HAS SOPS 7914 HAS SOUS 616 HAS SOUPS 616 WITH SCORE 623.914
AT ITER 7152 NEW BEST:: SOT 8476 SOS 7912 HAS SOPS 7912 HAS SOUS 612 HAS SOUPS 612 WITH SCORE 619.912
AT ITER 7213 NEW BEST:: SOT 8474 SOS 7910 HAS SOPS 7910 HAS SOUS 608 HAS SOUPS 608 WITH SCORE 615.91
AT ITER 7697 NEW BEST:: SOT 8472 SOS 7908 HAS SOPS 7908 HAS SOUS 604 HAS SOUPS 604 WITH SCORE 611.908
AT ITER 7720 NEW BEST:: SOT 8470 SOS 7906 HAS SOPS 7906 HAS SOUS 600 HAS SOUPS 600 WITH SCORE 607.906
AT ITER 7765 NEW BEST:: SOT 8468 SOS 7904 HAS SOPS 7904 HAS SOUS 596 HAS SOUPS 596 WITH SCORE 603.904
AT ITER 8731 NEW BEST:: SOT 8464 SOS 7904 HAS SOPS 7904 HAS SOUS 586 HAS SOUPS 586 WITH SCORE 593.904
AT ITER 8940 NEW BEST:: SOT 8462 SOS 7900 HAS SOPS 7900 HAS SOUS 582 HAS SOUPS 582 WITH SCORE 589.9
STATE_SPACE STATES 1074 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 70 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10340 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679854349368

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RwMutex-PT-r0010w0050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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

tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0010w0050.tgz
mv RwMutex-PT-r0010w0050 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 ;