Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400392.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-4B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 6 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 608K Mar 24 05:37 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 1589641519568

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2328 places, 2701 transitions, 6091 arcs.
AT ITER 0 NEW BEST:: SOT 3272806 SOS 300764 HAS SOPS 300764 HAS SOUS 271709 HAS SOUPS 271709 WITH SCORE 272009.764
AT ITER 5 NEW BEST:: SOT 3272755 SOS 300738 HAS SOPS 300738 HAS SOUS 271683 HAS SOUPS 271683 WITH SCORE 271983.738
AT ITER 45 NEW BEST:: SOT 3272755 SOS 300724 HAS SOPS 300724 HAS SOUS 271669 HAS SOUPS 271669 WITH SCORE 271969.724
AT ITER 46 NEW BEST:: SOT 3272375 SOS 300344 HAS SOPS 300344 HAS SOUS 271289 HAS SOUPS 271289 WITH SCORE 271589.344
AT ITER 127 NEW BEST:: SOT 3272429 SOS 300300 HAS SOPS 300300 HAS SOUS 271245 HAS SOUPS 271245 WITH SCORE 271545.3
AT ITER 211 NEW BEST:: SOT 3272045 SOS 300585 HAS SOPS 300585 HAS SOUS 271216 HAS SOUPS 271216 WITH SCORE 271516.585
AT ITER 216 NEW BEST:: SOT 3271788 SOS 301035 HAS SOPS 301035 HAS SOUS 271207 HAS SOUPS 271207 WITH SCORE 271508.035
AT ITER 281 NEW BEST:: SOT 3271752 SOS 301023 HAS SOPS 301023 HAS SOUS 271183 HAS SOUPS 271183 WITH SCORE 271484.023
AT ITER 283 NEW BEST:: SOT 3271635 SOS 300906 HAS SOPS 300906 HAS SOUS 271066 HAS SOUPS 271066 WITH SCORE 271366.906
AT ITER 312 NEW BEST:: SOT 3271634 SOS 300904 HAS SOPS 300904 HAS SOUS 271064 HAS SOUPS 271064 WITH SCORE 271364.904
AT ITER 319 NEW BEST:: SOT 3271723 SOS 300993 HAS SOPS 300993 HAS SOUS 271063 HAS SOUPS 271063 WITH SCORE 271363.993
AT ITER 393 NEW BEST:: SOT 3271368 SOS 300709 HAS SOPS 300709 HAS SOUS 270779 HAS SOUPS 270779 WITH SCORE 271079.709
AT ITER 404 NEW BEST:: SOT 3271422 SOS 300699 HAS SOPS 300699 HAS SOUS 270769 HAS SOUPS 270769 WITH SCORE 271069.699
AT ITER 418 NEW BEST:: SOT 3271327 SOS 300610 HAS SOPS 300610 HAS SOUS 270672 HAS SOUPS 270672 WITH SCORE 270972.61
AT ITER 440 NEW BEST:: SOT 3271312 SOS 300598 HAS SOPS 300598 HAS SOUS 270660 HAS SOUPS 270660 WITH SCORE 270960.598
AT ITER 444 NEW BEST:: SOT 3270597 SOS 300539 HAS SOPS 300539 HAS SOUS 270091 HAS SOUPS 270091 WITH SCORE 270391.539
AT ITER 546 NEW BEST:: SOT 3270596 SOS 300573 HAS SOPS 300573 HAS SOUS 270089 HAS SOUPS 270089 WITH SCORE 270389.573
AT ITER 556 NEW BEST:: SOT 3270571 SOS 300569 HAS SOPS 300569 HAS SOUS 270057 HAS SOUPS 270057 WITH SCORE 270357.569
AT ITER 638 NEW BEST:: SOT 3270570 SOS 300567 HAS SOPS 300567 HAS SOUS 270055 HAS SOUPS 270055 WITH SCORE 270355.567
AT ITER 646 NEW BEST:: SOT 3270569 SOS 300565 HAS SOPS 300565 HAS SOUS 270053 HAS SOUPS 270053 WITH SCORE 270353.565
AT ITER 718 NEW BEST:: SOT 3270527 SOS 300523 HAS SOPS 300523 HAS SOUS 270011 HAS SOUPS 270011 WITH SCORE 270311.523
AT ITER 775 NEW BEST:: SOT 3270401 SOS 300446 HAS SOPS 300446 HAS SOUS 269884 HAS SOUPS 269884 WITH SCORE 270184.446
AT ITER 794 NEW BEST:: SOT 3270401 SOS 300446 HAS SOPS 300446 HAS SOUS 269883 HAS SOUPS 269883 WITH SCORE 270183.446
AT ITER 795 NEW BEST:: SOT 3270401 SOS 300446 HAS SOPS 300446 HAS SOUS 269859 HAS SOUPS 269859 WITH SCORE 270159.446
AT ITER 813 NEW BEST:: SOT 3270335 SOS 300998 HAS SOPS 300998 HAS SOUS 269841 HAS SOUPS 269841 WITH SCORE 270141.998
AT ITER 823 NEW BEST:: SOT 3270408 SOS 300995 HAS SOPS 300995 HAS SOUS 269765 HAS SOUPS 269765 WITH SCORE 270065.995
AT ITER 840 NEW BEST:: SOT 3270202 SOS 300583 HAS SOPS 300583 HAS SOUS 269353 HAS SOUPS 269353 WITH SCORE 269653.583
AT ITER 911 NEW BEST:: SOT 3270168 SOS 300653 HAS SOPS 300653 HAS SOUS 269318 HAS SOUPS 269318 WITH SCORE 269618.653
AT ITER 930 NEW BEST:: SOT 3270006 SOS 300505 HAS SOPS 300505 HAS SOUS 269157 HAS SOUPS 269157 WITH SCORE 269457.505
AT ITER 970 NEW BEST:: SOT 3269938 SOS 300437 HAS SOPS 300437 HAS SOUS 269089 HAS SOUPS 269089 WITH SCORE 269389.437
AT ITER 998 NEW BEST:: SOT 3269860 SOS 300333 HAS SOPS 300333 HAS SOUS 268985 HAS SOUPS 268985 WITH SCORE 269285.333
AT ITER 1026 NEW BEST:: SOT 3269415 SOS 299888 HAS SOPS 299888 HAS SOUS 268451 HAS SOUPS 268451 WITH SCORE 268750.888
AT ITER 1053 NEW BEST:: SOT 3269225 SOS 299706 HAS SOPS 299706 HAS SOUS 268261 HAS SOUPS 268261 WITH SCORE 268560.706
AT ITER 1124 NEW BEST:: SOT 3269316 SOS 299747 HAS SOPS 299747 HAS SOUS 268113 HAS SOUPS 268113 WITH SCORE 268412.747
AT ITER 1160 NEW BEST:: SOT 3269236 SOS 299666 HAS SOPS 299666 HAS SOUS 268028 HAS SOUPS 268028 WITH SCORE 268327.666
AT ITER 1175 NEW BEST:: SOT 3269235 SOS 299665 HAS SOPS 299665 HAS SOUS 268027 HAS SOUPS 268027 WITH SCORE 268326.665
AT ITER 1191 NEW BEST:: SOT 3269162 SOS 299575 HAS SOPS 299575 HAS SOUS 267926 HAS SOUPS 267926 WITH SCORE 268225.575
AT ITER 1235 NEW BEST:: SOT 3269162 SOS 299575 HAS SOPS 299575 HAS SOUS 267904 HAS SOUPS 267904 WITH SCORE 268203.575
AT ITER 1276 NEW BEST:: SOT 3269088 SOS 299501 HAS SOPS 299501 HAS SOUS 267830 HAS SOUPS 267830 WITH SCORE 268129.501
AT ITER 1283 NEW BEST:: SOT 3269037 SOS 299449 HAS SOPS 299449 HAS SOUS 267778 HAS SOUPS 267778 WITH SCORE 268077.449
AT ITER 1313 NEW BEST:: SOT 3269032 SOS 299482 HAS SOPS 299482 HAS SOUS 267773 HAS SOUPS 267773 WITH SCORE 268072.482
AT ITER 1332 NEW BEST:: SOT 3269000 SOS 299460 HAS SOPS 299460 HAS SOUS 267741 HAS SOUPS 267741 WITH SCORE 268040.46
AT ITER 1419 NEW BEST:: SOT 3268835 SOS 299980 HAS SOPS 299980 HAS SOUS 267507 HAS SOUPS 267507 WITH SCORE 267806.98
AT ITER 1436 NEW BEST:: SOT 3268815 SOS 299960 HAS SOPS 299960 HAS SOUS 267487 HAS SOUPS 267487 WITH SCORE 267786.96
AT ITER 1437 NEW BEST:: SOT 3268580 SOS 299740 HAS SOPS 299740 HAS SOUS 267220 HAS SOUPS 267220 WITH SCORE 267519.74
AT ITER 1445 NEW BEST:: SOT 3268544 SOS 299737 HAS SOPS 299737 HAS SOUS 267217 HAS SOUPS 267217 WITH SCORE 267516.737
AT ITER 1505 NEW BEST:: SOT 3268368 SOS 300023 HAS SOPS 300023 HAS SOUS 266809 HAS SOUPS 266809 WITH SCORE 267109.023
AT ITER 1539 NEW BEST:: SOT 3268367 SOS 300021 HAS SOPS 300021 HAS SOUS 266807 HAS SOUPS 266807 WITH SCORE 267107.021
AT ITER 1584 NEW BEST:: SOT 3268235 SOS 299756 HAS SOPS 299756 HAS SOUS 266536 HAS SOUPS 266536 WITH SCORE 266835.756
AT ITER 1602 NEW BEST:: SOT 3268174 SOS 299761 HAS SOPS 299761 HAS SOUS 266487 HAS SOUPS 266487 WITH SCORE 266786.761
AT ITER 1629 NEW BEST:: SOT 3268174 SOS 299756 HAS SOPS 299756 HAS SOUS 266480 HAS SOUPS 266480 WITH SCORE 266779.756
AT ITER 1705 NEW BEST:: SOT 3267930 SOS 299528 HAS SOPS 299528 HAS SOUS 266236 HAS SOUPS 266236 WITH SCORE 266535.528
AT ITER 1730 NEW BEST:: SOT 3267868 SOS 299549 HAS SOPS 299549 HAS SOUS 266174 HAS SOUPS 266174 WITH SCORE 266473.549
AT ITER 1874 NEW BEST:: SOT 3267867 SOS 299500 HAS SOPS 299500 HAS SOUS 266172 HAS SOUPS 266172 WITH SCORE 266471.5
AT ITER 1880 NEW BEST:: SOT 3267806 SOS 299500 HAS SOPS 299500 HAS SOUS 266111 HAS SOUPS 266111 WITH SCORE 266410.5
AT ITER 1959 NEW BEST:: SOT 3267668 SOS 299473 HAS SOPS 299473 HAS SOUS 266036 HAS SOUPS 266036 WITH SCORE 266335.473
AT ITER 1971 NEW BEST:: SOT 3267353 SOS 299158 HAS SOPS 299158 HAS SOUS 265721 HAS SOUPS 265721 WITH SCORE 266020.158
AT ITER 2025 NEW BEST:: SOT 3267353 SOS 299073 HAS SOPS 299073 HAS SOUS 265692 HAS SOUPS 265692 WITH SCORE 265991.073
AT ITER 2033 NEW BEST:: SOT 3267351 SOS 299069 HAS SOPS 299069 HAS SOUS 265638 HAS SOUPS 265638 WITH SCORE 265937.069
AT ITER 2101 NEW BEST:: SOT 3267331 SOS 299053 HAS SOPS 299053 HAS SOUS 265628 HAS SOUPS 265628 WITH SCORE 265927.053
AT ITER 2148 NEW BEST:: SOT 3267142 SOS 298873 HAS SOPS 298873 HAS SOUS 265448 HAS SOUPS 265448 WITH SCORE 265746.873
AT ITER 2308 NEW BEST:: SOT 3267097 SOS 298828 HAS SOPS 298828 HAS SOUS 265448 HAS SOUPS 265448 WITH SCORE 265746.828
AT ITER 2346 NEW BEST:: SOT 3266577 SOS 298328 HAS SOPS 298328 HAS SOUS 264928 HAS SOUPS 264928 WITH SCORE 265226.328
AT ITER 2359 NEW BEST:: SOT 3266577 SOS 298301 HAS SOPS 298301 HAS SOUS 264901 HAS SOUPS 264901 WITH SCORE 265199.301
AT ITER 2400 NEW BEST:: SOT 3266358 SOS 298083 HAS SOPS 298083 HAS SOUS 264681 HAS SOUPS 264681 WITH SCORE 264979.083
AT ITER 2402 NEW BEST:: SOT 3266264 SOS 298141 HAS SOPS 298141 HAS SOUS 264667 HAS SOUPS 264667 WITH SCORE 264965.141
AT ITER 2414 NEW BEST:: SOT 3266229 SOS 298071 HAS SOPS 298071 HAS SOUS 264597 HAS SOUPS 264597 WITH SCORE 264895.071
AT ITER 2420 NEW BEST:: SOT 3266187 SOS 297926 HAS SOPS 297926 HAS SOUS 264554 HAS SOUPS 264554 WITH SCORE 264851.926
AT ITER 2422 NEW BEST:: SOT 3266081 SOS 297858 HAS SOPS 297858 HAS SOUS 264466 HAS SOUPS 264466 WITH SCORE 264763.858
AT ITER 2465 NEW BEST:: SOT 3266081 SOS 297953 HAS SOPS 297953 HAS SOUS 264465 HAS SOUPS 264465 WITH SCORE 264762.953
AT ITER 2521 NEW BEST:: SOT 3266069 SOS 297839 HAS SOPS 297839 HAS SOUS 264341 HAS SOUPS 264341 WITH SCORE 264638.839
AT ITER 2570 NEW BEST:: SOT 3266171 SOS 298043 HAS SOPS 298043 HAS SOUS 264285 HAS SOUPS 264285 WITH SCORE 264583.043
AT ITER 2579 NEW BEST:: SOT 3266170 SOS 298041 HAS SOPS 298041 HAS SOUS 264283 HAS SOUPS 264283 WITH SCORE 264581.041
AT ITER 2583 NEW BEST:: SOT 3266157 SOS 298015 HAS SOPS 298015 HAS SOUS 264269 HAS SOUPS 264269 WITH SCORE 264567.015
AT ITER 2615 NEW BEST:: SOT 3266053 SOS 298122 HAS SOPS 298122 HAS SOUS 264228 HAS SOUPS 264228 WITH SCORE 264526.122
AT ITER 2650 NEW BEST:: SOT 3265051 SOS 297204 HAS SOPS 297204 HAS SOUS 263262 HAS SOUPS 263262 WITH SCORE 263559.204
AT ITER 2665 NEW BEST:: SOT 3265051 SOS 297204 HAS SOPS 297204 HAS SOUS 263240 HAS SOUPS 263240 WITH SCORE 263537.204
AT ITER 2676 NEW BEST:: SOT 3264961 SOS 297043 HAS SOPS 297043 HAS SOUS 263079 HAS SOUPS 263079 WITH SCORE 263376.043
AT ITER 2685 NEW BEST:: SOT 3264911 SOS 297139 HAS SOPS 297139 HAS SOUS 263026 HAS SOUPS 263026 WITH SCORE 263323.139
AT ITER 2691 NEW BEST:: SOT 3264502 SOS 297119 HAS SOPS 297119 HAS SOUS 263007 HAS SOUPS 263007 WITH SCORE 263304.119
AT ITER 2711 NEW BEST:: SOT 3264387 SOS 297131 HAS SOPS 297131 HAS SOUS 262910 HAS SOUPS 262910 WITH SCORE 263207.131
AT ITER 2728 NEW BEST:: SOT 3264378 SOS 297122 HAS SOPS 297122 HAS SOUS 262897 HAS SOUPS 262897 WITH SCORE 263194.122
AT ITER 2774 NEW BEST:: SOT 3264363 SOS 297104 HAS SOPS 297104 HAS SOUS 262880 HAS SOUPS 262880 WITH SCORE 263177.104
AT ITER 2781 NEW BEST:: SOT 3264363 SOS 296999 HAS SOPS 296999 HAS SOUS 262775 HAS SOUPS 262775 WITH SCORE 263071.999
AT ITER 2840 NEW BEST:: SOT 3264351 SOS 296987 HAS SOPS 296987 HAS SOUS 262763 HAS SOUPS 262763 WITH SCORE 263059.987
AT ITER 2862 NEW BEST:: SOT 3264350 SOS 296985 HAS SOPS 296985 HAS SOUS 262761 HAS SOUPS 262761 WITH SCORE 263057.985
AT ITER 2868 NEW BEST:: SOT 3264310 SOS 296865 HAS SOPS 296865 HAS SOUS 262681 HAS SOUPS 262681 WITH SCORE 262977.865
AT ITER 2875 NEW BEST:: SOT 3264211 SOS 296389 HAS SOPS 296389 HAS SOUS 262536 HAS SOUPS 262536 WITH SCORE 262832.389
AT ITER 2902 NEW BEST:: SOT 3264211 SOS 296389 HAS SOPS 296389 HAS SOUS 262402 HAS SOUPS 262402 WITH SCORE 262698.389
AT ITER 2940 NEW BEST:: SOT 3264010 SOS 296525 HAS SOPS 296525 HAS SOUS 262389 HAS SOUPS 262389 WITH SCORE 262685.525
AT ITER 2958 NEW BEST:: SOT 3263869 SOS 296243 HAS SOPS 296243 HAS SOUS 262107 HAS SOUPS 262107 WITH SCORE 262403.243
AT ITER 3002 NEW BEST:: SOT 3263868 SOS 296241 HAS SOPS 296241 HAS SOUS 262105 HAS SOUPS 262105 WITH SCORE 262401.241
AT ITER 3010 NEW BEST:: SOT 3263866 SOS 296234 HAS SOPS 296234 HAS SOUS 262103 HAS SOUPS 262103 WITH SCORE 262399.234
AT ITER 3013 NEW BEST:: SOT 3263806 SOS 296178 HAS SOPS 296178 HAS SOUS 262047 HAS SOUPS 262047 WITH SCORE 262343.178
AT ITER 3017 NEW BEST:: SOT 3263834 SOS 296178 HAS SOPS 296178 HAS SOUS 262045 HAS SOUPS 262045 WITH SCORE 262341.178
AT ITER 3055 NEW BEST:: SOT 3263834 SOS 296178 HAS SOPS 296178 HAS SOUS 262036 HAS SOUPS 262036 WITH SCORE 262332.178
AT ITER 3091 NEW BEST:: SOT 3263834 SOS 296070 HAS SOPS 296070 HAS SOUS 262036 HAS SOUPS 262036 WITH SCORE 262332.07
AT ITER 3096 NEW BEST:: SOT 3263716 SOS 295952 HAS SOPS 295952 HAS SOUS 261918 HAS SOUPS 261918 WITH SCORE 262213.952
AT ITER 3205 NEW BEST:: SOT 3263251 SOS 296047 HAS SOPS 296047 HAS SOUS 261657 HAS SOUPS 261657 WITH SCORE 261953.047
AT ITER 3228 NEW BEST:: SOT 3263251 SOS 296020 HAS SOPS 296020 HAS SOUS 261657 HAS SOUPS 261657 WITH SCORE 261953.02
AT ITER 3296 NEW BEST:: SOT 3263150 SOS 295899 HAS SOPS 295899 HAS SOUS 261455 HAS SOUPS 261455 WITH SCORE 261750.899
AT ITER 3304 NEW BEST:: SOT 3263095 SOS 295893 HAS SOPS 295893 HAS SOUS 261449 HAS SOUPS 261449 WITH SCORE 261744.893
AT ITER 3329 NEW BEST:: SOT 3263108 SOS 295919 HAS SOPS 295919 HAS SOUS 261202 HAS SOUPS 261202 WITH SCORE 261497.919
AT ITER 3351 NEW BEST:: SOT 3262117 SOS 294927 HAS SOPS 294927 HAS SOUS 260210 HAS SOUPS 260210 WITH SCORE 260504.927
AT ITER 3378 NEW BEST:: SOT 3262039 SOS 294853 HAS SOPS 294853 HAS SOUS 260132 HAS SOUPS 260132 WITH SCORE 260426.853
AT ITER 3412 NEW BEST:: SOT 3261622 SOS 294539 HAS SOPS 294539 HAS SOUS 259714 HAS SOUPS 259714 WITH SCORE 260008.539
AT ITER 3470 NEW BEST:: SOT 3261622 SOS 294584 HAS SOPS 294584 HAS SOUS 259681 HAS SOUPS 259681 WITH SCORE 259975.584
AT ITER 3487 NEW BEST:: SOT 3261482 SOS 294464 HAS SOPS 294464 HAS SOUS 259541 HAS SOUPS 259541 WITH SCORE 259835.464
AT ITER 3510 NEW BEST:: SOT 3261005 SOS 294158 HAS SOPS 294158 HAS SOUS 259077 HAS SOUPS 259077 WITH SCORE 259371.158
AT ITER 3567 NEW BEST:: SOT 3260924 SOS 294766 HAS SOPS 294766 HAS SOUS 259049 HAS SOUPS 259049 WITH SCORE 259343.766
AT ITER 3592 NEW BEST:: SOT 3260924 SOS 294766 HAS SOPS 294766 HAS SOUS 259021 HAS SOUPS 259021 WITH SCORE 259315.766
AT ITER 3622 NEW BEST:: SOT 3260698 SOS 295364 HAS SOPS 295364 HAS SOUS 258696 HAS SOUPS 258696 WITH SCORE 258991.364
AT ITER 3638 NEW BEST:: SOT 3260698 SOS 295364 HAS SOPS 295364 HAS SOUS 258692 HAS SOUPS 258692 WITH SCORE 258987.364
AT ITER 3694 NEW BEST:: SOT 3260686 SOS 295340 HAS SOPS 295340 HAS SOUS 258668 HAS SOUPS 258668 WITH SCORE 258963.34
AT ITER 3732 NEW BEST:: SOT 3260686 SOS 295319 HAS SOPS 295319 HAS SOUS 258647 HAS SOUPS 258647 WITH SCORE 258942.319
AT ITER 3749 NEW BEST:: SOT 3260685 SOS 295317 HAS SOPS 295317 HAS SOUS 258645 HAS SOUPS 258645 WITH SCORE 258940.317
AT ITER 3753 NEW BEST:: SOT 3260493 SOS 295125 HAS SOPS 295125 HAS SOUS 258453 HAS SOUPS 258453 WITH SCORE 258748.125
AT ITER 3777 NEW BEST:: SOT 3260190 SOS 295024 HAS SOPS 295024 HAS SOUS 258345 HAS SOUPS 258345 WITH SCORE 258640.024
AT ITER 3815 NEW BEST:: SOT 3260189 SOS 295062 HAS SOPS 295062 HAS SOUS 258343 HAS SOUPS 258343 WITH SCORE 258638.062
AT ITER 3839 NEW BEST:: SOT 3260066 SOS 294816 HAS SOPS 294816 HAS SOUS 258206 HAS SOUPS 258206 WITH SCORE 258500.816
AT ITER 3923 NEW BEST:: SOT 3260047 SOS 294797 HAS SOPS 294797 HAS SOUS 258168 HAS SOUPS 258168 WITH SCORE 258462.797
AT ITER 3943 NEW BEST:: SOT 3259771 SOS 294520 HAS SOPS 294520 HAS SOUS 257891 HAS SOUPS 257891 WITH SCORE 258185.52
AT ITER 3979 NEW BEST:: SOT 3259771 SOS 294470 HAS SOPS 294470 HAS SOUS 257841 HAS SOUPS 257841 WITH SCORE 258135.47
AT ITER 4003 NEW BEST:: SOT 3259458 SOS 294844 HAS SOPS 294844 HAS SOUS 257817 HAS SOUPS 257817 WITH SCORE 258111.844
AT ITER 4013 NEW BEST:: SOT 3259510 SOS 294927 HAS SOPS 294927 HAS SOUS 257750 HAS SOUPS 257750 WITH SCORE 258044.927
AT ITER 4022 NEW BEST:: SOT 3259429 SOS 294860 HAS SOPS 294860 HAS SOUS 257664 HAS SOUPS 257664 WITH SCORE 257958.86
AT ITER 4027 NEW BEST:: SOT 3259401 SOS 294832 HAS SOPS 294832 HAS SOUS 257636 HAS SOUPS 257636 WITH SCORE 257930.832
AT ITER 4141 NEW BEST:: SOT 3259198 SOS 294629 HAS SOPS 294629 HAS SOUS 257313 HAS SOUPS 257313 WITH SCORE 257607.629
AT ITER 4163 NEW BEST:: SOT 3259162 SOS 294595 HAS SOPS 294595 HAS SOUS 257279 HAS SOUPS 257279 WITH SCORE 257573.595
AT ITER 4238 NEW BEST:: SOT 3258622 SOS 294175 HAS SOPS 294175 HAS SOUS 256831 HAS SOUPS 256831 WITH SCORE 257125.175
AT ITER 4241 NEW BEST:: SOT 3258523 SOS 293698 HAS SOPS 293698 HAS SOUS 256686 HAS SOUPS 256686 WITH SCORE 256979.698
AT ITER 4258 NEW BEST:: SOT 3258421 SOS 293682 HAS SOPS 293682 HAS SOUS 256641 HAS SOUPS 256641 WITH SCORE 256934.682
AT ITER 4315 NEW BEST:: SOT 3258408 SOS 293656 HAS SOPS 293656 HAS SOUS 256635 HAS SOUPS 256635 WITH SCORE 256928.656
AT ITER 4325 NEW BEST:: SOT 3258188 SOS 293436 HAS SOPS 293436 HAS SOUS 256415 HAS SOUPS 256415 WITH SCORE 256708.436
AT ITER 4400 NEW BEST:: SOT 3258157 SOS 293374 HAS SOPS 293374 HAS SOUS 256384 HAS SOUPS 256384 WITH SCORE 256677.374
AT ITER 4415 NEW BEST:: SOT 3258139 SOS 294088 HAS SOPS 294088 HAS SOUS 256366 HAS SOUPS 256366 WITH SCORE 256660.088
AT ITER 4420 NEW BEST:: SOT 3258139 SOS 294035 HAS SOPS 294035 HAS SOUS 256313 HAS SOUPS 256313 WITH SCORE 256607.035
AT ITER 4476 NEW BEST:: SOT 3257765 SOS 294017 HAS SOPS 294017 HAS SOUS 256084 HAS SOUPS 256084 WITH SCORE 256378.017
AT ITER 4529 NEW BEST:: SOT 3257765 SOS 294010 HAS SOPS 294010 HAS SOUS 256084 HAS SOUPS 256084 WITH SCORE 256378.01
AT ITER 4562 NEW BEST:: SOT 3257723 SOS 293968 HAS SOPS 293968 HAS SOUS 256021 HAS SOUPS 256021 WITH SCORE 256314.968
AT ITER 4564 NEW BEST:: SOT 3257575 SOS 294062 HAS SOPS 294062 HAS SOUS 255916 HAS SOUPS 255916 WITH SCORE 256210.062
AT ITER 4585 NEW BEST:: SOT 3257739 SOS 294577 HAS SOPS 294577 HAS SOUS 255890 HAS SOUPS 255890 WITH SCORE 256184.577
AT ITER 4590 NEW BEST:: SOT 3257739 SOS 294572 HAS SOPS 294572 HAS SOUS 255890 HAS SOUPS 255890 WITH SCORE 256184.572
AT ITER 4620 NEW BEST:: SOT 3257706 SOS 294482 HAS SOPS 294482 HAS SOUS 255800 HAS SOUPS 255800 WITH SCORE 256094.482
AT ITER 4662 NEW BEST:: SOT 3257637 SOS 294400 HAS SOPS 294400 HAS SOUS 255738 HAS SOUPS 255738 WITH SCORE 256032.4
AT ITER 4747 NEW BEST:: SOT 3257676 SOS 294634 HAS SOPS 294634 HAS SOUS 255725 HAS SOUPS 255725 WITH SCORE 256019.634
AT ITER 4752 NEW BEST:: SOT 3257636 SOS 294523 HAS SOPS 294523 HAS SOUS 255614 HAS SOUPS 255614 WITH SCORE 255908.523
AT ITER 4816 NEW BEST:: SOT 3256666 SOS 293553 HAS SOPS 293553 HAS SOUS 254487 HAS SOUPS 254487 WITH SCORE 254780.553
AT ITER 4934 NEW BEST:: SOT 3256385 SOS 293596 HAS SOPS 293596 HAS SOUS 254311 HAS SOUPS 254311 WITH SCORE 254604.596
AT ITER 4942 NEW BEST:: SOT 3256383 SOS 293592 HAS SOPS 293592 HAS SOUS 254306 HAS SOUPS 254306 WITH SCORE 254599.592
AT ITER 4970 NEW BEST:: SOT 3256380 SOS 293586 HAS SOPS 293586 HAS SOUS 254303 HAS SOUPS 254303 WITH SCORE 254596.586
AT ITER 5002 NEW BEST:: SOT 3256323 SOS 293625 HAS SOPS 293625 HAS SOUS 254246 HAS SOUPS 254246 WITH SCORE 254539.625
AT ITER 5039 NEW BEST:: SOT 3256185 SOS 293694 HAS SOPS 293694 HAS SOUS 254177 HAS SOUPS 254177 WITH SCORE 254470.694
AT ITER 5050 NEW BEST:: SOT 3256213 SOS 293643 HAS SOPS 293643 HAS SOUS 254152 HAS SOUPS 254152 WITH SCORE 254445.643
AT ITER 5074 NEW BEST:: SOT 3256168 SOS 293604 HAS SOPS 293604 HAS SOUS 254108 HAS SOUPS 254108 WITH SCORE 254401.604
AT ITER 5101 NEW BEST:: SOT 3256018 SOS 294039 HAS SOPS 294039 HAS SOUS 254105 HAS SOUPS 254105 WITH SCORE 254399.039
AT ITER 5146 NEW BEST:: SOT 3256018 SOS 294034 HAS SOPS 294034 HAS SOUS 254100 HAS SOUPS 254100 WITH SCORE 254394.034
AT ITER 5149 NEW BEST:: SOT 3255828 SOS 293889 HAS SOPS 293889 HAS SOUS 253955 HAS SOUPS 253955 WITH SCORE 254248.889
AT ITER 5155 NEW BEST:: SOT 3255683 SOS 294395 HAS SOPS 294395 HAS SOUS 253866 HAS SOUPS 253866 WITH SCORE 254160.395
AT ITER 5172 NEW BEST:: SOT 3255583 SOS 294295 HAS SOPS 294295 HAS SOUS 253766 HAS SOUPS 253766 WITH SCORE 254060.295
AT ITER 5181 NEW BEST:: SOT 3255515 SOS 293917 HAS SOPS 293917 HAS SOUS 253511 HAS SOUPS 253511 WITH SCORE 253804.917
AT ITER 5194 NEW BEST:: SOT 3254908 SOS 293699 HAS SOPS 293699 HAS SOUS 253129 HAS SOUPS 253129 WITH SCORE 253422.699
AT ITER 5227 NEW BEST:: SOT 3254908 SOS 293640 HAS SOPS 293640 HAS SOUS 253097 HAS SOUPS 253097 WITH SCORE 253390.64
AT ITER 5319 NEW BEST:: SOT 3254815 SOS 293622 HAS SOPS 293622 HAS SOUS 253038 HAS SOUPS 253038 WITH SCORE 253331.622
AT ITER 5323 NEW BEST:: SOT 3254726 SOS 293444 HAS SOPS 293444 HAS SOUS 252806 HAS SOUPS 252806 WITH SCORE 253099.444
AT ITER 5364 NEW BEST:: SOT 3254709 SOS 293410 HAS SOPS 293410 HAS SOUS 252677 HAS SOUPS 252677 WITH SCORE 252970.41
AT ITER 5371 NEW BEST:: SOT 3254283 SOS 292913 HAS SOPS 292913 HAS SOUS 252180 HAS SOUPS 252180 WITH SCORE 252472.913
AT ITER 5386 NEW BEST:: SOT 3254278 SOS 292903 HAS SOPS 292903 HAS SOUS 252175 HAS SOUPS 252175 WITH SCORE 252467.903
AT ITER 5408 NEW BEST:: SOT 3253407 SOS 292568 HAS SOPS 292568 HAS SOUS 251494 HAS SOUPS 251494 WITH SCORE 251786.568
AT ITER 5424 NEW BEST:: SOT 3253263 SOS 292279 HAS SOPS 292279 HAS SOUS 251205 HAS SOUPS 251205 WITH SCORE 251497.279
AT ITER 5461 NEW BEST:: SOT 3253262 SOS 292277 HAS SOPS 292277 HAS SOUS 251203 HAS SOUPS 251203 WITH SCORE 251495.277
AT ITER 5489 NEW BEST:: SOT 3253170 SOS 292185 HAS SOPS 292185 HAS SOUS 251111 HAS SOUPS 251111 WITH SCORE 251403.185
AT ITER 5494 NEW BEST:: SOT 3253043 SOS 291931 HAS SOPS 291931 HAS SOUS 250908 HAS SOUPS 250908 WITH SCORE 251199.931
AT ITER 5523 NEW BEST:: SOT 3252894 SOS 291443 HAS SOPS 291443 HAS SOUS 250757 HAS SOUPS 250757 WITH SCORE 251048.443
AT ITER 5607 NEW BEST:: SOT 3252903 SOS 291291 HAS SOPS 291291 HAS SOUS 250595 HAS SOUPS 250595 WITH SCORE 250886.291
AT ITER 5697 NEW BEST:: SOT 3252902 SOS 291289 HAS SOPS 291289 HAS SOUS 250593 HAS SOUPS 250593 WITH SCORE 250884.289
AT ITER 5709 NEW BEST:: SOT 3252832 SOS 291497 HAS SOPS 291497 HAS SOUS 250453 HAS SOUPS 250453 WITH SCORE 250744.497
AT ITER 5727 NEW BEST:: SOT 3252831 SOS 291481 HAS SOPS 291481 HAS SOUS 250437 HAS SOUPS 250437 WITH SCORE 250728.481
AT ITER 5744 NEW BEST:: SOT 3252416 SOS 291901 HAS SOPS 291901 HAS SOUS 250164 HAS SOUPS 250164 WITH SCORE 250455.901
AT ITER 5758 NEW BEST:: SOT 3252308 SOS 291685 HAS SOPS 291685 HAS SOUS 249977 HAS SOUPS 249977 WITH SCORE 250268.685
AT ITER 5804 NEW BEST:: SOT 3252123 SOS 291537 HAS SOPS 291537 HAS SOUS 249829 HAS SOUPS 249829 WITH SCORE 250120.537
AT ITER 5833 NEW BEST:: SOT 3252110 SOS 291446 HAS SOPS 291446 HAS SOUS 249816 HAS SOUPS 249816 WITH SCORE 250107.446
AT ITER 5851 NEW BEST:: SOT 3252099 SOS 291455 HAS SOPS 291455 HAS SOUS 249805 HAS SOUPS 249805 WITH SCORE 250096.455
AT ITER 5875 NEW BEST:: SOT 3252054 SOS 291410 HAS SOPS 291410 HAS SOUS 249760 HAS SOUPS 249760 WITH SCORE 250051.41
AT ITER 5919 NEW BEST:: SOT 3252054 SOS 291406 HAS SOPS 291406 HAS SOUS 249756 HAS SOUPS 249756 WITH SCORE 250047.406
AT ITER 5921 NEW BEST:: SOT 3251974 SOS 291326 HAS SOPS 291326 HAS SOUS 249676 HAS SOUPS 249676 WITH SCORE 249967.326
AT ITER 5927 NEW BEST:: SOT 3251892 SOS 291471 HAS SOPS 291471 HAS SOUS 249666 HAS SOUPS 249666 WITH SCORE 249957.471
AT ITER 5929 NEW BEST:: SOT 3251854 SOS 291433 HAS SOPS 291433 HAS SOUS 249628 HAS SOUPS 249628 WITH SCORE 249919.433
AT ITER 5977 NEW BEST:: SOT 3251818 SOS 291361 HAS SOPS 291361 HAS SOUS 249591 HAS SOUPS 249591 WITH SCORE 249882.361
AT ITER 5980 NEW BEST:: SOT 3251818 SOS 291324 HAS SOPS 291324 HAS SOUS 249554 HAS SOUPS 249554 WITH SCORE 249845.324
AT ITER 5989 NEW BEST:: SOT 3251528 SOS 291078 HAS SOPS 291078 HAS SOUS 249264 HAS SOUPS 249264 WITH SCORE 249555.078
AT ITER 5991 NEW BEST:: SOT 3251528 SOS 291064 HAS SOPS 291064 HAS SOUS 249253 HAS SOUPS 249253 WITH SCORE 249544.064
AT ITER 6023 NEW BEST:: SOT 3251288 SOS 290944 HAS SOPS 290944 HAS SOUS 249073 HAS SOUPS 249073 WITH SCORE 249363.944
AT ITER 6041 NEW BEST:: SOT 3251129 SOS 290838 HAS SOPS 290838 HAS SOUS 248967 HAS SOUPS 248967 WITH SCORE 249257.838
AT ITER 6062 NEW BEST:: SOT 3251083 SOS 290682 HAS SOPS 290682 HAS SOUS 248811 HAS SOUPS 248811 WITH SCORE 249101.682
AT ITER 6064 NEW BEST:: SOT 3250994 SOS 290504 HAS SOPS 290504 HAS SOUS 248722 HAS SOUPS 248722 WITH SCORE 249012.504
AT ITER 6087 NEW BEST:: SOT 3250985 SOS 290486 HAS SOPS 290486 HAS SOUS 248704 HAS SOUPS 248704 WITH SCORE 248994.486
AT ITER 6100 NEW BEST:: SOT 3250984 SOS 290484 HAS SOPS 290484 HAS SOUS 248702 HAS SOUPS 248702 WITH SCORE 248992.484
AT ITER 6145 NEW BEST:: SOT 3251023 SOS 290562 HAS SOPS 290562 HAS SOUS 248686 HAS SOUPS 248686 WITH SCORE 248976.562
AT ITER 6172 NEW BEST:: SOT 3251022 SOS 290560 HAS SOPS 290560 HAS SOUS 248684 HAS SOUPS 248684 WITH SCORE 248974.56
AT ITER 6176 NEW BEST:: SOT 3250968 SOS 290505 HAS SOPS 290505 HAS SOUS 248629 HAS SOUPS 248629 WITH SCORE 248919.505
AT ITER 6186 NEW BEST:: SOT 3250939 SOS 290447 HAS SOPS 290447 HAS SOUS 248571 HAS SOUPS 248571 WITH SCORE 248861.447
AT ITER 6198 NEW BEST:: SOT 3250887 SOS 290343 HAS SOPS 290343 HAS SOUS 248467 HAS SOUPS 248467 WITH SCORE 248757.343
AT ITER 6305 NEW BEST:: SOT 3250837 SOS 290242 HAS SOPS 290242 HAS SOUS 248414 HAS SOUPS 248414 WITH SCORE 248704.242
AT ITER 6335 NEW BEST:: SOT 3250619 SOS 290106 HAS SOPS 290106 HAS SOUS 248238 HAS SOUPS 248238 WITH SCORE 248528.106
AT ITER 6364 NEW BEST:: SOT 3250625 SOS 289834 HAS SOPS 289834 HAS SOUS 248229 HAS SOUPS 248229 WITH SCORE 248518.834
AT ITER 6402 NEW BEST:: SOT 3250615 SOS 289824 HAS SOPS 289824 HAS SOUS 248219 HAS SOUPS 248219 WITH SCORE 248508.824
AT ITER 6418 NEW BEST:: SOT 3250600 SOS 289809 HAS SOPS 289809 HAS SOUS 248204 HAS SOUPS 248204 WITH SCORE 248493.809
AT ITER 6461 NEW BEST:: SOT 3250524 SOS 289567 HAS SOPS 289567 HAS SOUS 248128 HAS SOUPS 248128 WITH SCORE 248417.567
AT ITER 6540 NEW BEST:: SOT 3250509 SOS 289515 HAS SOPS 289515 HAS SOUS 248091 HAS SOUPS 248091 WITH SCORE 248380.515
AT ITER 6563 NEW BEST:: SOT 3250401 SOS 289380 HAS SOPS 289380 HAS SOUS 247956 HAS SOUPS 247956 WITH SCORE 248245.38
AT ITER 6565 NEW BEST:: SOT 3250261 SOS 289090 HAS SOPS 289090 HAS SOUS 247804 HAS SOUPS 247804 WITH SCORE 248093.09
AT ITER 6567 NEW BEST:: SOT 3250261 SOS 289089 HAS SOPS 289089 HAS SOUS 247803 HAS SOUPS 247803 WITH SCORE 248092.089
AT ITER 6617 NEW BEST:: SOT 3250167 SOS 289042 HAS SOPS 289042 HAS SOUS 247754 HAS SOUPS 247754 WITH SCORE 248043.042
AT ITER 6692 NEW BEST:: SOT 3250167 SOS 289042 HAS SOPS 289042 HAS SOUS 247736 HAS SOUPS 247736 WITH SCORE 248025.042
AT ITER 6783 NEW BEST:: SOT 3250084 SOS 288876 HAS SOPS 288876 HAS SOUS 247570 HAS SOUPS 247570 WITH SCORE 247858.876
AT ITER 6805 NEW BEST:: SOT 3250000 SOS 288834 HAS SOPS 288834 HAS SOUS 247528 HAS SOUPS 247528 WITH SCORE 247816.834
AT ITER 6878 NEW BEST:: SOT 3250000 SOS 288834 HAS SOPS 288834 HAS SOUS 247520 HAS SOUPS 247520 WITH SCORE 247808.834
AT ITER 6897 NEW BEST:: SOT 3250059 SOS 288809 HAS SOPS 288809 HAS SOUS 247514 HAS SOUPS 247514 WITH SCORE 247802.809
AT ITER 6906 NEW BEST:: SOT 3250065 SOS 288821 HAS SOPS 288821 HAS SOUS 247413 HAS SOUPS 247413 WITH SCORE 247701.821
AT ITER 6943 NEW BEST:: SOT 3250065 SOS 288821 HAS SOPS 288821 HAS SOUS 247412 HAS SOUPS 247412 WITH SCORE 247700.821
AT ITER 7047 NEW BEST:: SOT 3250065 SOS 288774 HAS SOPS 288774 HAS SOUS 247365 HAS SOUPS 247365 WITH SCORE 247653.774
AT ITER 7064 NEW BEST:: SOT 3250077 SOS 288798 HAS SOPS 288798 HAS SOUS 247339 HAS SOUPS 247339 WITH SCORE 247627.798
AT ITER 7069 NEW BEST:: SOT 3250077 SOS 288798 HAS SOPS 288798 HAS SOUS 247330 HAS SOUPS 247330 WITH SCORE 247618.798
AT ITER 7075 NEW BEST:: SOT 3250053 SOS 288879 HAS SOPS 288879 HAS SOUS 247317 HAS SOUPS 247317 WITH SCORE 247605.879
AT ITER 7097 NEW BEST:: SOT 3249733 SOS 288559 HAS SOPS 288559 HAS SOUS 246997 HAS SOUPS 246997 WITH SCORE 247285.559
AT ITER 7128 NEW BEST:: SOT 3249706 SOS 288505 HAS SOPS 288505 HAS SOUS 246970 HAS SOUPS 246970 WITH SCORE 247258.505
AT ITER 7149 NEW BEST:: SOT 3249661 SOS 288415 HAS SOPS 288415 HAS SOUS 246880 HAS SOUPS 246880 WITH SCORE 247168.415
AT ITER 7217 NEW BEST:: SOT 3249176 SOS 288215 HAS SOPS 288215 HAS SOUS 246497 HAS SOUPS 246497 WITH SCORE 246785.215
AT ITER 7271 NEW BEST:: SOT 3249105 SOS 288144 HAS SOPS 288144 HAS SOUS 246425 HAS SOUPS 246425 WITH SCORE 246713.144
AT ITER 7325 NEW BEST:: SOT 3249031 SOS 288070 HAS SOPS 288070 HAS SOUS 246351 HAS SOUPS 246351 WITH SCORE 246639.07
AT ITER 7333 NEW BEST:: SOT 3248576 SOS 288730 HAS SOPS 288730 HAS SOUS 246030 HAS SOUPS 246030 WITH SCORE 246318.73
AT ITER 7466 NEW BEST:: SOT 3248564 SOS 288718 HAS SOPS 288718 HAS SOUS 246010 HAS SOUPS 246010 WITH SCORE 246298.718
AT ITER 7570 NEW BEST:: SOT 3248504 SOS 288515 HAS SOPS 288515 HAS SOUS 245950 HAS SOUPS 245950 WITH SCORE 246238.515
AT ITER 7576 NEW BEST:: SOT 3248466 SOS 288515 HAS SOPS 288515 HAS SOUS 245912 HAS SOUPS 245912 WITH SCORE 246200.515
AT ITER 7633 NEW BEST:: SOT 3248418 SOS 289094 HAS SOPS 289094 HAS SOUS 245874 HAS SOUPS 245874 WITH SCORE 246163.094
AT ITER 7762 NEW BEST:: SOT 3248261 SOS 288780 HAS SOPS 288780 HAS SOUS 245560 HAS SOUPS 245560 WITH SCORE 245848.78
AT ITER 7775 NEW BEST:: SOT 3248141 SOS 288660 HAS SOPS 288660 HAS SOUS 245440 HAS SOUPS 245440 WITH SCORE 245728.66
AT ITER 7804 NEW BEST:: SOT 3248029 SOS 288488 HAS SOPS 288488 HAS SOUS 245328 HAS SOUPS 245328 WITH SCORE 245616.488
AT ITER 7811 NEW BEST:: SOT 3247986 SOS 288503 HAS SOPS 288503 HAS SOUS 245261 HAS SOUPS 245261 WITH SCORE 245549.503
AT ITER 7938 NEW BEST:: SOT 3247932 SOS 288509 HAS SOPS 288509 HAS SOUS 245260 HAS SOUPS 245260 WITH SCORE 245548.509
AT ITER 7992 NEW BEST:: SOT 3247857 SOS 288314 HAS SOPS 288314 HAS SOUS 245065 HAS SOUPS 245065 WITH SCORE 245353.314
AT ITER 8058 NEW BEST:: SOT 3247779 SOS 288247 HAS SOPS 288247 HAS SOUS 244998 HAS SOUPS 244998 WITH SCORE 245286.247
AT ITER 8093 NEW BEST:: SOT 3247758 SOS 288226 HAS SOPS 288226 HAS SOUS 244996 HAS SOUPS 244996 WITH SCORE 245284.226
AT ITER 8100 NEW BEST:: SOT 3247725 SOS 288221 HAS SOPS 288221 HAS SOUS 244972 HAS SOUPS 244972 WITH SCORE 245260.221
AT ITER 8104 NEW BEST:: SOT 3247725 SOS 287969 HAS SOPS 287969 HAS SOUS 244930 HAS SOUPS 244930 WITH SCORE 245217.969
AT ITER 8119 NEW BEST:: SOT 3247690 SOS 287853 HAS SOPS 287853 HAS SOUS 244906 HAS SOUPS 244906 WITH SCORE 245193.853
AT ITER 8185 NEW BEST:: SOT 3247678 SOS 287929 HAS SOPS 287929 HAS SOUS 244887 HAS SOUPS 244887 WITH SCORE 245174.929
AT ITER 8186 NEW BEST:: SOT 3247372 SOS 288484 HAS SOPS 288484 HAS SOUS 244717 HAS SOUPS 244717 WITH SCORE 245005.484
AT ITER 8189 NEW BEST:: SOT 3247300 SOS 288448 HAS SOPS 288448 HAS SOUS 244627 HAS SOUPS 244627 WITH SCORE 244915.448
AT ITER 8195 NEW BEST:: SOT 3247198 SOS 288312 HAS SOPS 288312 HAS SOUS 244491 HAS SOUPS 244491 WITH SCORE 244779.312
AT ITER 8244 NEW BEST:: SOT 3247074 SOS 288799 HAS SOPS 288799 HAS SOUS 244454 HAS SOUPS 244454 WITH SCORE 244742.799
AT ITER 8246 NEW BEST:: SOT 3247029 SOS 288828 HAS SOPS 288828 HAS SOUS 244435 HAS SOUPS 244435 WITH SCORE 244723.828
AT ITER 8248 NEW BEST:: SOT 3247001 SOS 288772 HAS SOPS 288772 HAS SOUS 244379 HAS SOUPS 244379 WITH SCORE 244667.772
AT ITER 8252 NEW BEST:: SOT 3246994 SOS 288758 HAS SOPS 288758 HAS SOUS 244365 HAS SOUPS 244365 WITH SCORE 244653.758
AT ITER 8286 NEW BEST:: SOT 3246915 SOS 288740 HAS SOPS 288740 HAS SOUS 244341 HAS SOUPS 244341 WITH SCORE 244629.74
AT ITER 8308 NEW BEST:: SOT 3246915 SOS 288740 HAS SOPS 288740 HAS SOUS 244329 HAS SOUPS 244329 WITH SCORE 244617.74
AT ITER 8310 NEW BEST:: SOT 3246852 SOS 288678 HAS SOPS 288678 HAS SOUS 244093 HAS SOUPS 244093 WITH SCORE 244381.678
AT ITER 8316 NEW BEST:: SOT 3246805 SOS 288546 HAS SOPS 288546 HAS SOUS 243917 HAS SOUPS 243917 WITH SCORE 244205.546
AT ITER 8353 NEW BEST:: SOT 3246634 SOS 288439 HAS SOPS 288439 HAS SOUS 243765 HAS SOUPS 243765 WITH SCORE 244053.439
AT ITER 8391 NEW BEST:: SOT 3246634 SOS 288438 HAS SOPS 288438 HAS SOUS 243764 HAS SOUPS 243764 WITH SCORE 244052.438
AT ITER 8401 NEW BEST:: SOT 3246634 SOS 288438 HAS SOPS 288438 HAS SOUS 243695 HAS SOUPS 243695 WITH SCORE 243983.438
AT ITER 8460 NEW BEST:: SOT 3246421 SOS 288327 HAS SOPS 288327 HAS SOUS 243481 HAS SOUPS 243481 WITH SCORE 243769.327
AT ITER 8515 NEW BEST:: SOT 3246421 SOS 288327 HAS SOPS 288327 HAS SOUS 243475 HAS SOUPS 243475 WITH SCORE 243763.327
AT ITER 8595 NEW BEST:: SOT 3246337 SOS 288243 HAS SOPS 288243 HAS SOUS 243391 HAS SOUPS 243391 WITH SCORE 243679.243
AT ITER 8613 NEW BEST:: SOT 3246284 SOS 288255 HAS SOPS 288255 HAS SOUS 243355 HAS SOUPS 243355 WITH SCORE 243643.255
AT ITER 8758 NEW BEST:: SOT 3246267 SOS 288239 HAS SOPS 288239 HAS SOUS 243332 HAS SOUPS 243332 WITH SCORE 243620.239
AT ITER 8827 NEW BEST:: SOT 3246157 SOS 288204 HAS SOPS 288204 HAS SOUS 243221 HAS SOUPS 243221 WITH SCORE 243509.204
AT ITER 8847 NEW BEST:: SOT 3246045 SOS 288212 HAS SOPS 288212 HAS SOUS 243114 HAS SOUPS 243114 WITH SCORE 243402.212
AT ITER 8889 NEW BEST:: SOT 3246013 SOS 288148 HAS SOPS 288148 HAS SOUS 243050 HAS SOUPS 243050 WITH SCORE 243338.148
AT ITER 8895 NEW BEST:: SOT 3245964 SOS 288205 HAS SOPS 288205 HAS SOUS 243032 HAS SOUPS 243032 WITH SCORE 243320.205
AT ITER 8962 NEW BEST:: SOT 3245823 SOS 288133 HAS SOPS 288133 HAS SOUS 242926 HAS SOUPS 242926 WITH SCORE 243214.133
AT ITER 8991 NEW BEST:: SOT 3245672 SOS 288456 HAS SOPS 288456 HAS SOUS 242738 HAS SOUPS 242738 WITH SCORE 243026.456
AT ITER 9041 NEW BEST:: SOT 3245431 SOS 288684 HAS SOPS 288684 HAS SOUS 242504 HAS SOUPS 242504 WITH SCORE 242792.684
AT ITER 9138 NEW BEST:: SOT 3245348 SOS 288445 HAS SOPS 288445 HAS SOUS 242134 HAS SOUPS 242134 WITH SCORE 242422.445
AT ITER 9186 NEW BEST:: SOT 3245204 SOS 288291 HAS SOPS 288291 HAS SOUS 241936 HAS SOUPS 241936 WITH SCORE 242224.291
AT ITER 9187 NEW BEST:: SOT 3245135 SOS 288382 HAS SOPS 288382 HAS SOUS 241876 HAS SOUPS 241876 WITH SCORE 242164.382
AT ITER 9234 NEW BEST:: SOT 3245032 SOS 288382 HAS SOPS 288382 HAS SOUS 241773 HAS SOUPS 241773 WITH SCORE 242061.382
AT ITER 9235 NEW BEST:: SOT 3244990 SOS 288248 HAS SOPS 288248 HAS SOUS 241639 HAS SOUPS 241639 WITH SCORE 241927.248
AT ITER 9323 NEW BEST:: SOT 3244386 SOS 287795 HAS SOPS 287795 HAS SOUS 241035 HAS SOUPS 241035 WITH SCORE 241322.795
AT ITER 9348 NEW BEST:: SOT 3244293 SOS 287942 HAS SOPS 287942 HAS SOUS 241000 HAS SOUPS 241000 WITH SCORE 241287.942
AT ITER 9359 NEW BEST:: SOT 3244274 SOS 287904 HAS SOPS 287904 HAS SOUS 240962 HAS SOUPS 240962 WITH SCORE 241249.904
AT ITER 9378 NEW BEST:: SOT 3244273 SOS 287902 HAS SOPS 287902 HAS SOUS 240960 HAS SOUPS 240960 WITH SCORE 241247.902
AT ITER 9379 NEW BEST:: SOT 3244250 SOS 287895 HAS SOPS 287895 HAS SOUS 240953 HAS SOUPS 240953 WITH SCORE 241240.895
AT ITER 9411 NEW BEST:: SOT 3244235 SOS 287849 HAS SOPS 287849 HAS SOUS 240833 HAS SOUPS 240833 WITH SCORE 241120.849
AT ITER 9487 NEW BEST:: SOT 3244202 SOS 287816 HAS SOPS 287816 HAS SOUS 240800 HAS SOUPS 240800 WITH SCORE 241087.816
AT ITER 9490 NEW BEST:: SOT 3244127 SOS 287791 HAS SOPS 287791 HAS SOUS 240700 HAS SOUPS 240700 WITH SCORE 240987.791
AT ITER 9565 NEW BEST:: SOT 3243886 SOS 287709 HAS SOPS 287709 HAS SOUS 240458 HAS SOUPS 240458 WITH SCORE 240745.709
AT ITER 9582 NEW BEST:: SOT 3243854 SOS 287645 HAS SOPS 287645 HAS SOUS 240394 HAS SOUPS 240394 WITH SCORE 240681.645
AT ITER 9600 NEW BEST:: SOT 3243853 SOS 287643 HAS SOPS 287643 HAS SOUS 240392 HAS SOUPS 240392 WITH SCORE 240679.643
AT ITER 9613 NEW BEST:: SOT 3243823 SOS 287613 HAS SOPS 287613 HAS SOUS 240362 HAS SOUPS 240362 WITH SCORE 240649.613
AT ITER 9650 NEW BEST:: SOT 3243801 SOS 287567 HAS SOPS 287567 HAS SOUS 240316 HAS SOUPS 240316 WITH SCORE 240603.567
AT ITER 9735 NEW BEST:: SOT 3243775 SOS 287514 HAS SOPS 287514 HAS SOUS 240263 HAS SOUPS 240263 WITH SCORE 240550.514
AT ITER 9797 NEW BEST:: SOT 3243447 SOS 287545 HAS SOPS 287545 HAS SOUS 240117 HAS SOUPS 240117 WITH SCORE 240404.545
AT ITER 9841 NEW BEST:: SOT 3243410 SOS 287425 HAS SOPS 287425 HAS SOUS 239997 HAS SOUPS 239997 WITH SCORE 240284.425
AT ITER 9895 NEW BEST:: SOT 3243395 SOS 287425 HAS SOPS 287425 HAS SOUS 239995 HAS SOUPS 239995 WITH SCORE 240282.425
AT ITER 9917 NEW BEST:: SOT 3243398 SOS 287387 HAS SOPS 287387 HAS SOUS 239995 HAS SOUPS 239995 WITH SCORE 240282.387
AT ITER 9925 NEW BEST:: SOT 3243383 SOS 287357 HAS SOPS 287357 HAS SOUS 239979 HAS SOUPS 239979 WITH SCORE 240266.357
AT ITER 9930 NEW BEST:: SOT 3243382 SOS 287355 HAS SOPS 287355 HAS SOUS 239977 HAS SOUPS 239977 WITH SCORE 240264.355
AT ITER 9931 NEW BEST:: SOT 3243371 SOS 287333 HAS SOPS 287333 HAS SOUS 239955 HAS SOUPS 239955 WITH SCORE 240242.333
AT ITER 9939 NEW BEST:: SOT 3243345 SOS 287651 HAS SOPS 287651 HAS SOUS 239944 HAS SOUPS 239944 WITH SCORE 240231.651
AT ITER 9960 NEW BEST:: SOT 3243261 SOS 287588 HAS SOPS 287588 HAS SOUS 239839 HAS SOUPS 239839 WITH SCORE 240126.588
AT ITER 9986 NEW BEST:: SOT 3242964 SOS 286994 HAS SOPS 286994 HAS SOUS 239372 HAS SOUPS 239372 WITH SCORE 239658.994
AT ITER 9995 NEW BEST:: SOT 3242963 SOS 286992 HAS SOPS 286992 HAS SOUS 239370 HAS SOUPS 239370 WITH SCORE 239656.992

BK_TIME_CONFINEMENT_REACHED

--------------------
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="NoC3x3-PT-4B"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-4B, 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 r108-csrt-158961250400392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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