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-158961250800616.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 PermAdmissibility-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 892K
-rw-r--r-- 1 mcc users 4.1K Apr 12 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 10 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 85K Apr 10 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 9 12:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Apr 9 12:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 484K 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 1589645202431

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

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 3 NEW BEST:: SOT 73670 SOS 47260 HAS SOPS 47260 HAS SOUS 28953 HAS SOUPS 28953 WITH SCORE 29000.26
AT ITER 4 NEW BEST:: SOT 73670 SOS 47484 HAS SOPS 47484 HAS SOUS 28932 HAS SOUPS 28932 WITH SCORE 28979.484
AT ITER 10 NEW BEST:: SOT 73450 SOS 47849 HAS SOPS 47849 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28959.849
AT ITER 14 NEW BEST:: SOT 73246 SOS 48139 HAS SOPS 48139 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28676.139
AT ITER 16 NEW BEST:: SOT 73061 SOS 48854 HAS SOPS 48854 HAS SOUS 28627 HAS SOUPS 28627 WITH SCORE 28675.854
AT ITER 18 NEW BEST:: SOT 73294 SOS 49851 HAS SOPS 49851 HAS SOUS 28493 HAS SOUPS 28493 WITH SCORE 28542.851
AT ITER 19 NEW BEST:: SOT 73258 SOS 49815 HAS SOPS 49815 HAS SOUS 28450 HAS SOUPS 28450 WITH SCORE 28499.815
AT ITER 24 NEW BEST:: SOT 73222 SOS 49869 HAS SOPS 49869 HAS SOUS 28427 HAS SOUPS 28427 WITH SCORE 28476.869
AT ITER 31 NEW BEST:: SOT 73222 SOS 50274 HAS SOPS 50274 HAS SOUS 28389 HAS SOUPS 28389 WITH SCORE 28439.274
AT ITER 36 NEW BEST:: SOT 73222 SOS 50306 HAS SOPS 50306 HAS SOUS 28366 HAS SOUPS 28366 WITH SCORE 28416.306
AT ITER 40 NEW BEST:: SOT 73222 SOS 50306 HAS SOPS 50306 HAS SOUS 28363 HAS SOUPS 28363 WITH SCORE 28413.306
AT ITER 44 NEW BEST:: SOT 73158 SOS 50288 HAS SOPS 50288 HAS SOUS 28345 HAS SOUPS 28345 WITH SCORE 28395.288
AT ITER 52 NEW BEST:: SOT 73074 SOS 50711 HAS SOPS 50711 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28298.711
AT ITER 54 NEW BEST:: SOT 72934 SOS 50631 HAS SOPS 50631 HAS SOUS 28177 HAS SOUPS 28177 WITH SCORE 28227.631
AT ITER 59 NEW BEST:: SOT 72934 SOS 54758 HAS SOPS 54758 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 27978.758
AT ITER 70 NEW BEST:: SOT 72884 SOS 54936 HAS SOPS 54936 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27977.936
AT ITER 87 NEW BEST:: SOT 72770 SOS 54822 HAS SOPS 54822 HAS SOUS 27748 HAS SOUPS 27748 WITH SCORE 27802.822
AT ITER 95 NEW BEST:: SOT 72462 SOS 54511 HAS SOPS 54511 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27513.511
AT ITER 99 NEW BEST:: SOT 72462 SOS 54511 HAS SOPS 54511 HAS SOUS 27302 HAS SOUPS 27302 WITH SCORE 27356.511
AT ITER 109 NEW BEST:: SOT 72464 SOS 54571 HAS SOPS 54571 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27342.571
AT ITER 110 NEW BEST:: SOT 72486 SOS 53750 HAS SOPS 53750 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27166.75
AT ITER 111 NEW BEST:: SOT 72474 SOS 53738 HAS SOPS 53738 HAS SOUS 26962 HAS SOUPS 26962 WITH SCORE 27015.738
AT ITER 112 NEW BEST:: SOT 72258 SOS 54184 HAS SOPS 54184 HAS SOUS 26914 HAS SOUPS 26914 WITH SCORE 26968.184
AT ITER 115 NEW BEST:: SOT 72119 SOS 54121 HAS SOPS 54121 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26912.121
AT ITER 116 NEW BEST:: SOT 71885 SOS 53941 HAS SOPS 53941 HAS SOUS 26708 HAS SOUPS 26708 WITH SCORE 26761.941
AT ITER 122 NEW BEST:: SOT 71887 SOS 53731 HAS SOPS 53731 HAS SOUS 26704 HAS SOUPS 26704 WITH SCORE 26757.731
AT ITER 124 NEW BEST:: SOT 71480 SOS 53815 HAS SOPS 53815 HAS SOUS 26647 HAS SOUPS 26647 WITH SCORE 26700.815
AT ITER 130 NEW BEST:: SOT 71300 SOS 53617 HAS SOPS 53617 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26559.617
AT ITER 151 NEW BEST:: SOT 71300 SOS 53617 HAS SOPS 53617 HAS SOUS 26496 HAS SOUPS 26496 WITH SCORE 26549.617
AT ITER 154 NEW BEST:: SOT 71184 SOS 53501 HAS SOPS 53501 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26388.501
AT ITER 159 NEW BEST:: SOT 70950 SOS 53237 HAS SOPS 53237 HAS SOUS 26221 HAS SOUPS 26221 WITH SCORE 26274.237
AT ITER 161 NEW BEST:: SOT 70950 SOS 53237 HAS SOPS 53237 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 26004.237
AT ITER 165 NEW BEST:: SOT 70772 SOS 53059 HAS SOPS 53059 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25861.059
AT ITER 175 NEW BEST:: SOT 70735 SOS 53022 HAS SOPS 53022 HAS SOUS 25738 HAS SOUPS 25738 WITH SCORE 25791.022
AT ITER 193 NEW BEST:: SOT 70735 SOS 53022 HAS SOPS 53022 HAS SOUS 25620 HAS SOUPS 25620 WITH SCORE 25673.022
AT ITER 204 NEW BEST:: SOT 70588 SOS 52995 HAS SOPS 52995 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25607.995
AT ITER 206 NEW BEST:: SOT 70588 SOS 52883 HAS SOPS 52883 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25607.883
AT ITER 223 NEW BEST:: SOT 70488 SOS 52719 HAS SOPS 52719 HAS SOUS 25540 HAS SOUPS 25540 WITH SCORE 25592.719
AT ITER 224 NEW BEST:: SOT 70489 SOS 52720 HAS SOPS 52720 HAS SOUS 25533 HAS SOUPS 25533 WITH SCORE 25585.72
AT ITER 228 NEW BEST:: SOT 70489 SOS 52976 HAS SOPS 52976 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25516.976
AT ITER 243 NEW BEST:: SOT 70718 SOS 53889 HAS SOPS 53889 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25402.889
AT ITER 253 NEW BEST:: SOT 70564 SOS 53747 HAS SOPS 53747 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25267.747
AT ITER 255 NEW BEST:: SOT 70600 SOS 55259 HAS SOPS 55259 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25151.259
AT ITER 256 NEW BEST:: SOT 70600 SOS 55266 HAS SOPS 55266 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25074.266
AT ITER 259 NEW BEST:: SOT 70578 SOS 55238 HAS SOPS 55238 HAS SOUS 24993 HAS SOUPS 24993 WITH SCORE 25048.238
AT ITER 271 NEW BEST:: SOT 70552 SOS 55221 HAS SOPS 55221 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 25020.221
AT ITER 277 NEW BEST:: SOT 70543 SOS 55212 HAS SOPS 55212 HAS SOUS 24956 HAS SOUPS 24956 WITH SCORE 25011.212
AT ITER 287 NEW BEST:: SOT 70435 SOS 55152 HAS SOPS 55152 HAS SOUS 24896 HAS SOUPS 24896 WITH SCORE 24951.152
AT ITER 301 NEW BEST:: SOT 70472 SOS 55189 HAS SOPS 55189 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24684.189
AT ITER 305 NEW BEST:: SOT 70471 SOS 55188 HAS SOPS 55188 HAS SOUS 24627 HAS SOUPS 24627 WITH SCORE 24682.188
AT ITER 306 NEW BEST:: SOT 70471 SOS 55416 HAS SOPS 55416 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24607.416
AT ITER 308 NEW BEST:: SOT 70428 SOS 55416 HAS SOPS 55416 HAS SOUS 24546 HAS SOUPS 24546 WITH SCORE 24601.416
AT ITER 336 NEW BEST:: SOT 70428 SOS 55416 HAS SOPS 55416 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24586.416
AT ITER 341 NEW BEST:: SOT 70428 SOS 55416 HAS SOPS 55416 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24426.416
AT ITER 351 NEW BEST:: SOT 70230 SOS 55218 HAS SOPS 55218 HAS SOUS 24298 HAS SOUPS 24298 WITH SCORE 24353.218
AT ITER 352 NEW BEST:: SOT 70100 SOS 55088 HAS SOPS 55088 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24274.088
AT ITER 354 NEW BEST:: SOT 70099 SOS 55087 HAS SOPS 55087 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24243.087
AT ITER 372 NEW BEST:: SOT 70030 SOS 55018 HAS SOPS 55018 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24070.018
AT ITER 387 NEW BEST:: SOT 70030 SOS 55018 HAS SOPS 55018 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 24014.018
AT ITER 426 NEW BEST:: SOT 70017 SOS 55005 HAS SOPS 55005 HAS SOUS 23818 HAS SOUPS 23818 WITH SCORE 23873.005
AT ITER 436 NEW BEST:: SOT 70017 SOS 55005 HAS SOPS 55005 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23810.005
AT ITER 452 NEW BEST:: SOT 69896 SOS 54884 HAS SOPS 54884 HAS SOUS 23669 HAS SOUPS 23669 WITH SCORE 23723.884
AT ITER 468 NEW BEST:: SOT 69756 SOS 54768 HAS SOPS 54768 HAS SOUS 23490 HAS SOUPS 23490 WITH SCORE 23544.768
AT ITER 482 NEW BEST:: SOT 69643 SOS 54655 HAS SOPS 54655 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23326.655
AT ITER 488 NEW BEST:: SOT 69643 SOS 54655 HAS SOPS 54655 HAS SOUS 23204 HAS SOUPS 23204 WITH SCORE 23258.655
AT ITER 492 NEW BEST:: SOT 69613 SOS 54205 HAS SOPS 54205 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23247.205
AT ITER 502 NEW BEST:: SOT 69613 SOS 54093 HAS SOPS 54093 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23218.093
AT ITER 505 NEW BEST:: SOT 69613 SOS 54309 HAS SOPS 54309 HAS SOUS 23119 HAS SOUPS 23119 WITH SCORE 23173.309
AT ITER 531 NEW BEST:: SOT 69617 SOS 54313 HAS SOPS 54313 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23172.313
AT ITER 539 NEW BEST:: SOT 69617 SOS 54313 HAS SOPS 54313 HAS SOUS 23067 HAS SOUPS 23067 WITH SCORE 23121.313
AT ITER 542 NEW BEST:: SOT 69620 SOS 54316 HAS SOPS 54316 HAS SOUS 23063 HAS SOUPS 23063 WITH SCORE 23117.316
AT ITER 563 NEW BEST:: SOT 69620 SOS 54309 HAS SOPS 54309 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23112.309
AT ITER 572 NEW BEST:: SOT 69580 SOS 54285 HAS SOPS 54285 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23080.285
AT ITER 581 NEW BEST:: SOT 69580 SOS 54271 HAS SOPS 54271 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23077.271
AT ITER 598 NEW BEST:: SOT 69580 SOS 54271 HAS SOPS 54271 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22985.271
AT ITER 622 NEW BEST:: SOT 69580 SOS 54271 HAS SOPS 54271 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22961.271
AT ITER 625 NEW BEST:: SOT 69580 SOS 54265 HAS SOPS 54265 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22954.265
AT ITER 642 NEW BEST:: SOT 69366 SOS 52707 HAS SOPS 52707 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22877.707
AT ITER 645 NEW BEST:: SOT 69390 SOS 52731 HAS SOPS 52731 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22871.731
AT ITER 661 NEW BEST:: SOT 69364 SOS 52705 HAS SOPS 52705 HAS SOUS 22714 HAS SOUPS 22714 WITH SCORE 22766.705
AT ITER 673 NEW BEST:: SOT 69309 SOS 54889 HAS SOPS 54889 HAS SOUS 22662 HAS SOUPS 22662 WITH SCORE 22716.889
AT ITER 675 NEW BEST:: SOT 69320 SOS 54832 HAS SOPS 54832 HAS SOUS 22489 HAS SOUPS 22489 WITH SCORE 22543.832
AT ITER 720 NEW BEST:: SOT 69297 SOS 54809 HAS SOPS 54809 HAS SOUS 22457 HAS SOUPS 22457 WITH SCORE 22511.809
AT ITER 726 NEW BEST:: SOT 69291 SOS 54803 HAS SOPS 54803 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22473.803
AT ITER 727 NEW BEST:: SOT 69203 SOS 54715 HAS SOPS 54715 HAS SOUS 22412 HAS SOUPS 22412 WITH SCORE 22466.715
AT ITER 747 NEW BEST:: SOT 69203 SOS 54715 HAS SOPS 54715 HAS SOUS 22409 HAS SOUPS 22409 WITH SCORE 22463.715
AT ITER 752 NEW BEST:: SOT 69064 SOS 54576 HAS SOPS 54576 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22251.576
AT ITER 770 NEW BEST:: SOT 69064 SOS 53645 HAS SOPS 53645 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22250.645
AT ITER 771 NEW BEST:: SOT 69079 SOS 53660 HAS SOPS 53660 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22240.66
AT ITER 795 NEW BEST:: SOT 69079 SOS 53375 HAS SOPS 53375 HAS SOUS 22151 HAS SOUPS 22151 WITH SCORE 22204.375
AT ITER 800 NEW BEST:: SOT 69077 SOS 53373 HAS SOPS 53373 HAS SOUS 22128 HAS SOUPS 22128 WITH SCORE 22181.373
AT ITER 801 NEW BEST:: SOT 69047 SOS 53343 HAS SOPS 53343 HAS SOUS 22091 HAS SOUPS 22091 WITH SCORE 22144.343
AT ITER 804 NEW BEST:: SOT 69051 SOS 53353 HAS SOPS 53353 HAS SOUS 22085 HAS SOUPS 22085 WITH SCORE 22138.353
AT ITER 806 NEW BEST:: SOT 68935 SOS 53204 HAS SOPS 53204 HAS SOUS 21889 HAS SOUPS 21889 WITH SCORE 21942.204
AT ITER 821 NEW BEST:: SOT 68935 SOS 53684 HAS SOPS 53684 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21851.684
AT ITER 823 NEW BEST:: SOT 68845 SOS 53593 HAS SOPS 53593 HAS SOUS 21707 HAS SOUPS 21707 WITH SCORE 21760.593
AT ITER 842 NEW BEST:: SOT 68656 SOS 53404 HAS SOPS 53404 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21748.404
AT ITER 843 NEW BEST:: SOT 68656 SOS 53488 HAS SOPS 53488 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21727.488
AT ITER 847 NEW BEST:: SOT 68656 SOS 53488 HAS SOPS 53488 HAS SOUS 21656 HAS SOUPS 21656 WITH SCORE 21709.488
AT ITER 856 NEW BEST:: SOT 68656 SOS 53488 HAS SOPS 53488 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21679.488
AT ITER 858 NEW BEST:: SOT 68656 SOS 53476 HAS SOPS 53476 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21679.476
AT ITER 870 NEW BEST:: SOT 68454 SOS 53278 HAS SOPS 53278 HAS SOUS 21432 HAS SOUPS 21432 WITH SCORE 21485.278
AT ITER 878 NEW BEST:: SOT 68454 SOS 54013 HAS SOPS 54013 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21471.013
AT ITER 884 NEW BEST:: SOT 68332 SOS 53891 HAS SOPS 53891 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21253.891
AT ITER 886 NEW BEST:: SOT 68268 SOS 53827 HAS SOPS 53827 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21189.827
AT ITER 896 NEW BEST:: SOT 68293 SOS 53852 HAS SOPS 53852 HAS SOUS 21102 HAS SOUPS 21102 WITH SCORE 21155.852
AT ITER 902 NEW BEST:: SOT 68313 SOS 53872 HAS SOPS 53872 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21140.872
AT ITER 909 NEW BEST:: SOT 68339 SOS 53836 HAS SOPS 53836 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21100.836
AT ITER 920 NEW BEST:: SOT 68334 SOS 53831 HAS SOPS 53831 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21085.831
AT ITER 929 NEW BEST:: SOT 68312 SOS 53817 HAS SOPS 53817 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21078.817
AT ITER 931 NEW BEST:: SOT 68312 SOS 54087 HAS SOPS 54087 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21030.087
AT ITER 945 NEW BEST:: SOT 68350 SOS 54125 HAS SOPS 54125 HAS SOUS 20964 HAS SOUPS 20964 WITH SCORE 21018.125
AT ITER 966 NEW BEST:: SOT 68301 SOS 54109 HAS SOPS 54109 HAS SOUS 20946 HAS SOUPS 20946 WITH SCORE 21000.109
AT ITER 971 NEW BEST:: SOT 68539 SOS 54350 HAS SOPS 54350 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20744.35
AT ITER 995 NEW BEST:: SOT 68507 SOS 54318 HAS SOPS 54318 HAS SOUS 20634 HAS SOUPS 20634 WITH SCORE 20688.318
AT ITER 999 NEW BEST:: SOT 68507 SOS 54318 HAS SOPS 54318 HAS SOUS 20604 HAS SOUPS 20604 WITH SCORE 20658.318
AT ITER 1041 NEW BEST:: SOT 68483 SOS 54294 HAS SOPS 54294 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20586.294
AT ITER 1070 NEW BEST:: SOT 68483 SOS 54294 HAS SOPS 54294 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20583.294
AT ITER 1080 NEW BEST:: SOT 68483 SOS 54234 HAS SOPS 54234 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20576.234
AT ITER 1098 NEW BEST:: SOT 68413 SOS 54164 HAS SOPS 54164 HAS SOUS 20481 HAS SOUPS 20481 WITH SCORE 20535.164
AT ITER 1106 NEW BEST:: SOT 68462 SOS 54213 HAS SOPS 54213 HAS SOUS 20446 HAS SOUPS 20446 WITH SCORE 20500.213
AT ITER 1133 NEW BEST:: SOT 68462 SOS 54159 HAS SOPS 54159 HAS SOUS 20446 HAS SOUPS 20446 WITH SCORE 20500.159
AT ITER 1136 NEW BEST:: SOT 68462 SOS 54159 HAS SOPS 54159 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20417.159
AT ITER 1178 NEW BEST:: SOT 68454 SOS 54151 HAS SOPS 54151 HAS SOUS 20331 HAS SOUPS 20331 WITH SCORE 20385.151
AT ITER 1187 NEW BEST:: SOT 68468 SOS 54165 HAS SOPS 54165 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20383.165
AT ITER 1193 NEW BEST:: SOT 68298 SOS 53986 HAS SOPS 53986 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20255.986
AT ITER 1196 NEW BEST:: SOT 68298 SOS 53954 HAS SOPS 53954 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20252.954
AT ITER 1198 NEW BEST:: SOT 68298 SOS 53968 HAS SOPS 53968 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20223.968
AT ITER 1210 NEW BEST:: SOT 68291 SOS 53997 HAS SOPS 53997 HAS SOUS 20169 HAS SOUPS 20169 WITH SCORE 20222.997
AT ITER 1281 NEW BEST:: SOT 68296 SOS 54002 HAS SOPS 54002 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20186.002
AT ITER 1287 NEW BEST:: SOT 68226 SOS 53910 HAS SOPS 53910 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20136.91
AT ITER 1303 NEW BEST:: SOT 68226 SOS 53910 HAS SOPS 53910 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20133.91
AT ITER 1356 NEW BEST:: SOT 68226 SOS 53910 HAS SOPS 53910 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20089.91
AT ITER 1372 NEW BEST:: SOT 68226 SOS 53893 HAS SOPS 53893 HAS SOUS 20033 HAS SOUPS 20033 WITH SCORE 20086.893
AT ITER 1393 NEW BEST:: SOT 68213 SOS 53900 HAS SOPS 53900 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20064.9
AT ITER 1401 NEW BEST:: SOT 68193 SOS 53880 HAS SOPS 53880 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20044.88
AT ITER 1418 NEW BEST:: SOT 68193 SOS 53880 HAS SOPS 53880 HAS SOUS 19984 HAS SOUPS 19984 WITH SCORE 20037.88
AT ITER 1429 NEW BEST:: SOT 68125 SOS 53812 HAS SOPS 53812 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19985.812
AT ITER 1477 NEW BEST:: SOT 68148 SOS 53886 HAS SOPS 53886 HAS SOUS 19899 HAS SOUPS 19899 WITH SCORE 19952.886
AT ITER 1478 NEW BEST:: SOT 68020 SOS 53750 HAS SOPS 53750 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19795.75
AT ITER 1507 NEW BEST:: SOT 67928 SOS 52762 HAS SOPS 52762 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19784.762
AT ITER 1515 NEW BEST:: SOT 67922 SOS 52756 HAS SOPS 52756 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19778.756
AT ITER 1564 NEW BEST:: SOT 67866 SOS 52710 HAS SOPS 52710 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19744.71
AT ITER 1617 NEW BEST:: SOT 67866 SOS 52582 HAS SOPS 52582 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19744.582
AT ITER 1639 NEW BEST:: SOT 67871 SOS 52588 HAS SOPS 52588 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19736.588
AT ITER 1665 NEW BEST:: SOT 67871 SOS 52587 HAS SOPS 52587 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19720.587
AT ITER 1721 NEW BEST:: SOT 67803 SOS 52519 HAS SOPS 52519 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19612.519
AT ITER 1733 NEW BEST:: SOT 67780 SOS 52496 HAS SOPS 52496 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19604.496
AT ITER 1734 NEW BEST:: SOT 67780 SOS 52640 HAS SOPS 52640 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19601.64
AT ITER 1753 NEW BEST:: SOT 68071 SOS 53729 HAS SOPS 53729 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19585.729
AT ITER 1776 NEW BEST:: SOT 68071 SOS 53729 HAS SOPS 53729 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19576.729
AT ITER 1780 NEW BEST:: SOT 68071 SOS 53793 HAS SOPS 53793 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19572.793
AT ITER 1806 NEW BEST:: SOT 68066 SOS 53787 HAS SOPS 53787 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19536.787
AT ITER 1832 NEW BEST:: SOT 68050 SOS 53735 HAS SOPS 53735 HAS SOUS 19471 HAS SOUPS 19471 WITH SCORE 19524.735
AT ITER 1858 NEW BEST:: SOT 68056 SOS 53741 HAS SOPS 53741 HAS SOUS 19463 HAS SOUPS 19463 WITH SCORE 19516.741
AT ITER 1891 NEW BEST:: SOT 68048 SOS 53733 HAS SOPS 53733 HAS SOUS 19427 HAS SOUPS 19427 WITH SCORE 19480.733
AT ITER 1913 NEW BEST:: SOT 68048 SOS 52957 HAS SOPS 52957 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19476.957
AT ITER 1916 NEW BEST:: SOT 68048 SOS 54949 HAS SOPS 54949 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19407.949
AT ITER 1922 NEW BEST:: SOT 68012 SOS 54913 HAS SOPS 54913 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19335.913
AT ITER 1934 NEW BEST:: SOT 68012 SOS 54377 HAS SOPS 54377 HAS SOUS 19278 HAS SOUPS 19278 WITH SCORE 19332.377
AT ITER 2000 NEW BEST:: SOT 68012 SOS 54377 HAS SOPS 54377 HAS SOUS 19277 HAS SOUPS 19277 WITH SCORE 19331.377
AT ITER 2013 NEW BEST:: SOT 67988 SOS 54353 HAS SOPS 54353 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19307.353
AT ITER 2017 NEW BEST:: SOT 67834 SOS 54142 HAS SOPS 54142 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19145.142
AT ITER 2023 NEW BEST:: SOT 67834 SOS 54142 HAS SOPS 54142 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19143.142
AT ITER 2029 NEW BEST:: SOT 67818 SOS 54126 HAS SOPS 54126 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19128.126
AT ITER 2069 NEW BEST:: SOT 67818 SOS 53940 HAS SOPS 53940 HAS SOUS 19073 HAS SOUPS 19073 WITH SCORE 19126.94
AT ITER 2096 NEW BEST:: SOT 67820 SOS 53942 HAS SOPS 53942 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19125.942
AT ITER 2115 NEW BEST:: SOT 67673 SOS 53855 HAS SOPS 53855 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19089.855
AT ITER 2127 NEW BEST:: SOT 67642 SOS 53843 HAS SOPS 53843 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19044.843
AT ITER 2131 NEW BEST:: SOT 67632 SOS 53833 HAS SOPS 53833 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19038.833
AT ITER 2181 NEW BEST:: SOT 67576 SOS 53777 HAS SOPS 53777 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18909.777
AT ITER 2216 NEW BEST:: SOT 67573 SOS 52761 HAS SOPS 52761 HAS SOUS 18836 HAS SOUPS 18836 WITH SCORE 18888.761
AT ITER 2221 NEW BEST:: SOT 67587 SOS 52760 HAS SOPS 52760 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18788.76
AT ITER 2293 NEW BEST:: SOT 67587 SOS 52760 HAS SOPS 52760 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18765.76
AT ITER 2310 NEW BEST:: SOT 67540 SOS 52713 HAS SOPS 52713 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18739.713
AT ITER 2355 NEW BEST:: SOT 67540 SOS 52737 HAS SOPS 52737 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18738.737
AT ITER 2366 NEW BEST:: SOT 67540 SOS 52705 HAS SOPS 52705 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18736.705
AT ITER 2373 NEW BEST:: SOT 67532 SOS 52697 HAS SOPS 52697 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18720.697
AT ITER 2391 NEW BEST:: SOT 67521 SOS 52686 HAS SOPS 52686 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18701.686
AT ITER 2403 NEW BEST:: SOT 67493 SOS 52658 HAS SOPS 52658 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18692.658
AT ITER 2414 NEW BEST:: SOT 67493 SOS 52658 HAS SOPS 52658 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18684.658
AT ITER 2440 NEW BEST:: SOT 67460 SOS 52591 HAS SOPS 52591 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18669.591
AT ITER 2455 NEW BEST:: SOT 67448 SOS 52579 HAS SOPS 52579 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18636.579
AT ITER 2472 NEW BEST:: SOT 67366 SOS 52497 HAS SOPS 52497 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18591.497
AT ITER 2509 NEW BEST:: SOT 67310 SOS 52441 HAS SOPS 52441 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18555.441
AT ITER 2538 NEW BEST:: SOT 67292 SOS 52423 HAS SOPS 52423 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18552.423
AT ITER 2541 NEW BEST:: SOT 67290 SOS 52421 HAS SOPS 52421 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18534.421
AT ITER 2551 NEW BEST:: SOT 67274 SOS 52405 HAS SOPS 52405 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18502.405
AT ITER 2581 NEW BEST:: SOT 67272 SOS 52403 HAS SOPS 52403 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18492.403
AT ITER 2609 NEW BEST:: SOT 67272 SOS 52379 HAS SOPS 52379 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18492.379
AT ITER 2683 NEW BEST:: SOT 67257 SOS 52364 HAS SOPS 52364 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18437.364
AT ITER 2691 NEW BEST:: SOT 67252 SOS 52359 HAS SOPS 52359 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18424.359
AT ITER 2704 NEW BEST:: SOT 67244 SOS 52351 HAS SOPS 52351 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18416.351
AT ITER 2714 NEW BEST:: SOT 67225 SOS 52319 HAS SOPS 52319 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18388.319
AT ITER 2726 NEW BEST:: SOT 67227 SOS 52201 HAS SOPS 52201 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18336.201
AT ITER 2732 NEW BEST:: SOT 67253 SOS 52227 HAS SOPS 52227 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18279.227
AT ITER 2775 NEW BEST:: SOT 67247 SOS 52221 HAS SOPS 52221 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18267.221
AT ITER 2781 NEW BEST:: SOT 67215 SOS 52189 HAS SOPS 52189 HAS SOUS 18187 HAS SOUPS 18187 WITH SCORE 18239.189
AT ITER 2795 NEW BEST:: SOT 67215 SOS 52189 HAS SOPS 52189 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18207.189
AT ITER 2845 NEW BEST:: SOT 67254 SOS 52484 HAS SOPS 52484 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18119.484
AT ITER 2897 NEW BEST:: SOT 67226 SOS 52456 HAS SOPS 52456 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18056.456
AT ITER 2913 NEW BEST:: SOT 67234 SOS 52464 HAS SOPS 52464 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18050.464
AT ITER 2924 NEW BEST:: SOT 67236 SOS 52466 HAS SOPS 52466 HAS SOUS 17992 HAS SOUPS 17992 WITH SCORE 18044.466
AT ITER 2973 NEW BEST:: SOT 67197 SOS 52428 HAS SOPS 52428 HAS SOUS 17969 HAS SOUPS 17969 WITH SCORE 18021.428
AT ITER 3047 NEW BEST:: SOT 67154 SOS 52385 HAS SOPS 52385 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17950.385
AT ITER 3049 NEW BEST:: SOT 67154 SOS 51225 HAS SOPS 51225 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17943.225
AT ITER 3052 NEW BEST:: SOT 67155 SOS 51226 HAS SOPS 51226 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17939.226
AT ITER 3053 NEW BEST:: SOT 67039 SOS 51110 HAS SOPS 51110 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17865.11
AT ITER 3107 NEW BEST:: SOT 67039 SOS 51126 HAS SOPS 51126 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17864.126
AT ITER 3108 NEW BEST:: SOT 67036 SOS 51123 HAS SOPS 51123 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17861.123
AT ITER 3114 NEW BEST:: SOT 67025 SOS 51112 HAS SOPS 51112 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17844.112
AT ITER 3175 NEW BEST:: SOT 66994 SOS 51059 HAS SOPS 51059 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17800.059
AT ITER 3177 NEW BEST:: SOT 66996 SOS 51061 HAS SOPS 51061 HAS SOUS 17736 HAS SOUPS 17736 WITH SCORE 17787.061
AT ITER 3190 NEW BEST:: SOT 66996 SOS 51029 HAS SOPS 51029 HAS SOUS 17736 HAS SOUPS 17736 WITH SCORE 17787.029
AT ITER 3244 NEW BEST:: SOT 66988 SOS 50469 HAS SOPS 50469 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17781.469
AT ITER 3269 NEW BEST:: SOT 66988 SOS 50837 HAS SOPS 50837 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17744.837
AT ITER 3306 NEW BEST:: SOT 66988 SOS 50837 HAS SOPS 50837 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17726.837
AT ITER 3343 NEW BEST:: SOT 67008 SOS 50857 HAS SOPS 50857 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17721.857
AT ITER 3374 NEW BEST:: SOT 66914 SOS 50746 HAS SOPS 50746 HAS SOUS 17568 HAS SOUPS 17568 WITH SCORE 17618.746
AT ITER 3449 NEW BEST:: SOT 66917 SOS 50883 HAS SOPS 50883 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17605.883
AT ITER 3458 NEW BEST:: SOT 66909 SOS 50875 HAS SOPS 50875 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17581.875
AT ITER 3481 NEW BEST:: SOT 66915 SOS 50953 HAS SOPS 50953 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17557.953
AT ITER 3523 NEW BEST:: SOT 66915 SOS 50505 HAS SOPS 50505 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17554.505
AT ITER 3561 NEW BEST:: SOT 66905 SOS 50495 HAS SOPS 50495 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17548.495
AT ITER 3635 NEW BEST:: SOT 66883 SOS 50473 HAS SOPS 50473 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17428.473
AT ITER 3679 NEW BEST:: SOT 66879 SOS 49573 HAS SOPS 49573 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17416.573
AT ITER 3722 NEW BEST:: SOT 66879 SOS 49571 HAS SOPS 49571 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17404.571
AT ITER 3736 NEW BEST:: SOT 66879 SOS 49387 HAS SOPS 49387 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17401.387
AT ITER 3758 NEW BEST:: SOT 66879 SOS 49387 HAS SOPS 49387 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17389.387
AT ITER 3823 NEW BEST:: SOT 66874 SOS 49380 HAS SOPS 49380 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17378.38
AT ITER 3824 NEW BEST:: SOT 66864 SOS 49370 HAS SOPS 49370 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17366.37
AT ITER 3860 NEW BEST:: SOT 66864 SOS 49442 HAS SOPS 49442 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17360.442
AT ITER 3905 NEW BEST:: SOT 66874 SOS 49452 HAS SOPS 49452 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17351.452
AT ITER 3934 NEW BEST:: SOT 66800 SOS 49360 HAS SOPS 49360 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17253.36
AT ITER 3940 NEW BEST:: SOT 66800 SOS 48592 HAS SOPS 48592 HAS SOUS 17201 HAS SOUPS 17201 WITH SCORE 17249.592
AT ITER 4042 NEW BEST:: SOT 66797 SOS 48589 HAS SOPS 48589 HAS SOUS 17201 HAS SOUPS 17201 WITH SCORE 17249.589
AT ITER 4045 NEW BEST:: SOT 66779 SOS 48574 HAS SOPS 48574 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17236.574
AT ITER 4060 NEW BEST:: SOT 66779 SOS 48542 HAS SOPS 48542 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17236.542
AT ITER 4197 NEW BEST:: SOT 66779 SOS 48542 HAS SOPS 48542 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17202.542
AT ITER 4323 NEW BEST:: SOT 66815 SOS 48578 HAS SOPS 48578 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17160.578
AT ITER 4371 NEW BEST:: SOT 66813 SOS 48576 HAS SOPS 48576 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17156.576
AT ITER 4436 NEW BEST:: SOT 66773 SOS 50547 HAS SOPS 50547 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17112.547
AT ITER 4462 NEW BEST:: SOT 66771 SOS 50545 HAS SOPS 50545 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17098.545
AT ITER 4475 NEW BEST:: SOT 66685 SOS 50459 HAS SOPS 50459 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16935.459
AT ITER 4524 NEW BEST:: SOT 66673 SOS 50471 HAS SOPS 50471 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16926.471
AT ITER 4561 NEW BEST:: SOT 66674 SOS 50390 HAS SOPS 50390 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16904.39
AT ITER 4568 NEW BEST:: SOT 66676 SOS 50386 HAS SOPS 50386 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16903.386
AT ITER 4792 NEW BEST:: SOT 66702 SOS 50412 HAS SOPS 50412 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16898.412
AT ITER 4818 NEW BEST:: SOT 66686 SOS 50396 HAS SOPS 50396 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16890.396
AT ITER 4852 NEW BEST:: SOT 66690 SOS 50400 HAS SOPS 50400 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16886.4
AT ITER 4886 NEW BEST:: SOT 66592 SOS 50302 HAS SOPS 50302 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16816.302
AT ITER 4975 NEW BEST:: SOT 66600 SOS 50310 HAS SOPS 50310 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16804.31
AT ITER 4990 NEW BEST:: SOT 66585 SOS 50295 HAS SOPS 50295 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16779.295
AT ITER 4992 NEW BEST:: SOT 66585 SOS 50295 HAS SOPS 50295 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16765.295
AT ITER 5025 NEW BEST:: SOT 66583 SOS 50293 HAS SOPS 50293 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16763.293
AT ITER 5056 NEW BEST:: SOT 66583 SOS 50293 HAS SOPS 50293 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16753.293
AT ITER 5075 NEW BEST:: SOT 66589 SOS 50299 HAS SOPS 50299 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16723.299
AT ITER 5126 NEW BEST:: SOT 66589 SOS 50687 HAS SOPS 50687 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16718.687
AT ITER 5127 NEW BEST:: SOT 66495 SOS 50579 HAS SOPS 50579 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16645.579
AT ITER 5172 NEW BEST:: SOT 66490 SOS 50574 HAS SOPS 50574 HAS SOUS 16586 HAS SOUPS 16586 WITH SCORE 16636.574
AT ITER 5191 NEW BEST:: SOT 66488 SOS 50572 HAS SOPS 50572 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16629.572
AT ITER 5199 NEW BEST:: SOT 66450 SOS 50534 HAS SOPS 50534 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16591.534
AT ITER 5314 NEW BEST:: SOT 66450 SOS 50534 HAS SOPS 50534 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16575.534
AT ITER 5348 NEW BEST:: SOT 66450 SOS 50390 HAS SOPS 50390 HAS SOUS 16522 HAS SOUPS 16522 WITH SCORE 16572.39
AT ITER 5352 NEW BEST:: SOT 66448 SOS 50388 HAS SOPS 50388 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16562.388
AT ITER 5423 NEW BEST:: SOT 66448 SOS 50388 HAS SOPS 50388 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16559.388
AT ITER 5428 NEW BEST:: SOT 66448 SOS 50307 HAS SOPS 50307 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16559.307
AT ITER 5584 NEW BEST:: SOT 66448 SOS 50179 HAS SOPS 50179 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16557.179
AT ITER 5589 NEW BEST:: SOT 66448 SOS 49827 HAS SOPS 49827 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16556.827
AT ITER 5676 NEW BEST:: SOT 66446 SOS 49825 HAS SOPS 49825 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16555.825
AT ITER 5807 NEW BEST:: SOT 66446 SOS 49801 HAS SOPS 49801 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16555.801
AT ITER 5832 NEW BEST:: SOT 66446 SOS 49793 HAS SOPS 49793 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16555.793
AT ITER 5924 NEW BEST:: SOT 66446 SOS 49761 HAS SOPS 49761 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16555.761
AT ITER 5999 NEW BEST:: SOT 66446 SOS 49777 HAS SOPS 49777 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16553.777
AT ITER 6211 NEW BEST:: SOT 66412 SOS 49743 HAS SOPS 49743 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16551.743
AT ITER 6234 NEW BEST:: SOT 66413 SOS 49744 HAS SOPS 49744 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16544.744
AT ITER 6235 NEW BEST:: SOT 66413 SOS 49744 HAS SOPS 49744 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16543.744
AT ITER 6347 NEW BEST:: SOT 66413 SOS 49680 HAS SOPS 49680 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16543.68
AT ITER 6446 NEW BEST:: SOT 66414 SOS 49681 HAS SOPS 49681 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16541.681
AT ITER 6510 NEW BEST:: SOT 66414 SOS 49671 HAS SOPS 49671 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16529.671
AT ITER 6950 NEW BEST:: SOT 66390 SOS 49647 HAS SOPS 49647 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16489.647
AT ITER 6954 NEW BEST:: SOT 66386 SOS 49643 HAS SOPS 49643 HAS SOUS 16434 HAS SOUPS 16434 WITH SCORE 16483.643
AT ITER 7056 NEW BEST:: SOT 66385 SOS 49642 HAS SOPS 49642 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16482.642
AT ITER 7081 NEW BEST:: SOT 66388 SOS 49645 HAS SOPS 49645 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16481.645
AT ITER 7177 NEW BEST:: SOT 66381 SOS 49638 HAS SOPS 49638 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16474.638
AT ITER 7285 NEW BEST:: SOT 66384 SOS 49641 HAS SOPS 49641 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16463.641
AT ITER 7538 NEW BEST:: SOT 66384 SOS 49601 HAS SOPS 49601 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16460.601
AT ITER 7755 NEW BEST:: SOT 66384 SOS 49601 HAS SOPS 49601 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16455.601
AT ITER 7867 NEW BEST:: SOT 66392 SOS 49609 HAS SOPS 49609 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16444.609
AT ITER 7870 NEW BEST:: SOT 66378 SOS 49595 HAS SOPS 49595 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16433.595
AT ITER 7885 NEW BEST:: SOT 66382 SOS 49599 HAS SOPS 49599 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16432.599
AT ITER 8006 NEW BEST:: SOT 66385 SOS 49602 HAS SOPS 49602 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16426.602
AT ITER 8100 NEW BEST:: SOT 66397 SOS 49614 HAS SOPS 49614 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16398.614
AT ITER 8243 NEW BEST:: SOT 66401 SOS 49608 HAS SOPS 49608 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16397.608
AT ITER 8292 NEW BEST:: SOT 66400 SOS 49607 HAS SOPS 49607 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16396.607
AT ITER 8369 NEW BEST:: SOT 66398 SOS 49605 HAS SOPS 49605 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16381.605
AT ITER 8479 NEW BEST:: SOT 66396 SOS 49611 HAS SOPS 49611 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16379.611
AT ITER 8505 NEW BEST:: SOT 66396 SOS 49515 HAS SOPS 49515 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16379.515
AT ITER 8584 NEW BEST:: SOT 66395 SOS 49514 HAS SOPS 49514 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16377.514
AT ITER 8589 NEW BEST:: SOT 66377 SOS 49496 HAS SOPS 49496 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16354.496
AT ITER 8648 NEW BEST:: SOT 66384 SOS 49503 HAS SOPS 49503 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16350.503
AT ITER 8796 NEW BEST:: SOT 66384 SOS 49503 HAS SOPS 49503 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16330.503
AT ITER 8961 NEW BEST:: SOT 66325 SOS 49444 HAS SOPS 49444 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16271.444
AT ITER 9014 NEW BEST:: SOT 66287 SOS 49406 HAS SOPS 49406 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16201.406
AT ITER 9058 NEW BEST:: SOT 66243 SOS 49362 HAS SOPS 49362 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16148.362
AT ITER 9064 NEW BEST:: SOT 66243 SOS 49361 HAS SOPS 49361 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16147.361
AT ITER 9067 NEW BEST:: SOT 66243 SOS 49361 HAS SOPS 49361 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16135.361
AT ITER 9109 NEW BEST:: SOT 66245 SOS 49363 HAS SOPS 49363 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16134.363
AT ITER 9250 NEW BEST:: SOT 66239 SOS 49357 HAS SOPS 49357 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16126.357
AT ITER 9322 NEW BEST:: SOT 66275 SOS 49393 HAS SOPS 49393 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16121.393
AT ITER 9349 NEW BEST:: SOT 66275 SOS 49395 HAS SOPS 49395 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16119.395
AT ITER 9994 NEW BEST:: SOT 66266 SOS 49386 HAS SOPS 49386 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16102.386
STATE_SPACE STATES 52537 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589645285083

--------------------
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="PermAdmissibility-PT-01"
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 PermAdmissibility-PT-01, 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-158961250800616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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