Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807800632.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 23:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 23:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 61K 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 1589363241186

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

Filename model.pnml
Petri model created: 240 places, 254 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 42396 SOS 20015 HAS SOPS 20015 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.015
AT ITER 4 NEW BEST:: SOT 42333 SOS 19984 HAS SOPS 19984 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17802.984
AT ITER 8 NEW BEST:: SOT 42311 SOS 19956 HAS SOPS 19956 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17779.956
AT ITER 9 NEW BEST:: SOT 42311 SOS 19956 HAS SOPS 19956 HAS SOUS 17759 HAS SOUPS 17759 WITH SCORE 17778.956
AT ITER 12 NEW BEST:: SOT 42246 SOS 19844 HAS SOPS 19844 HAS SOUS 17647 HAS SOUPS 17647 WITH SCORE 17666.844
AT ITER 13 NEW BEST:: SOT 42237 SOS 19835 HAS SOPS 19835 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17657.835
AT ITER 18 NEW BEST:: SOT 42127 SOS 19734 HAS SOPS 19734 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17506.734
AT ITER 22 NEW BEST:: SOT 42078 SOS 19685 HAS SOPS 19685 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17457.685
AT ITER 24 NEW BEST:: SOT 42090 SOS 19632 HAS SOPS 19632 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17448.632
AT ITER 35 NEW BEST:: SOT 42090 SOS 19595 HAS SOPS 19595 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17447.595
AT ITER 36 NEW BEST:: SOT 42066 SOS 19547 HAS SOPS 19547 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17421.547
AT ITER 40 NEW BEST:: SOT 42066 SOS 19515 HAS SOPS 19515 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17421.515
AT ITER 47 NEW BEST:: SOT 42050 SOS 19499 HAS SOPS 19499 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17402.499
AT ITER 48 NEW BEST:: SOT 41032 SOS 18525 HAS SOPS 18525 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16423.525
AT ITER 49 NEW BEST:: SOT 40975 SOS 18450 HAS SOPS 18450 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16421.45
AT ITER 53 NEW BEST:: SOT 40972 SOS 18450 HAS SOPS 18450 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16418.45
AT ITER 54 NEW BEST:: SOT 40955 SOS 18416 HAS SOPS 18416 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16400.416
AT ITER 58 NEW BEST:: SOT 40865 SOS 18337 HAS SOPS 18337 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16310.337
AT ITER 60 NEW BEST:: SOT 40854 SOS 18317 HAS SOPS 18317 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16300.317
AT ITER 63 NEW BEST:: SOT 40814 SOS 18277 HAS SOPS 18277 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16260.277
AT ITER 64 NEW BEST:: SOT 40775 SOS 18137 HAS SOPS 18137 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16141.137
AT ITER 67 NEW BEST:: SOT 40770 SOS 18057 HAS SOPS 18057 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16125.057
AT ITER 71 NEW BEST:: SOT 40688 SOS 17974 HAS SOPS 17974 HAS SOUS 16024 HAS SOUPS 16024 WITH SCORE 16041.974
AT ITER 75 NEW BEST:: SOT 40670 SOS 17981 HAS SOPS 17981 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16000.981
AT ITER 81 NEW BEST:: SOT 40739 SOS 17955 HAS SOPS 17955 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15967.955
AT ITER 96 NEW BEST:: SOT 40645 SOS 17851 HAS SOPS 17851 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15899.851
AT ITER 101 NEW BEST:: SOT 40529 SOS 17767 HAS SOPS 17767 HAS SOUS 15726 HAS SOUPS 15726 WITH SCORE 15743.767
AT ITER 110 NEW BEST:: SOT 40297 SOS 17659 HAS SOPS 17659 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15593.659
AT ITER 115 NEW BEST:: SOT 40297 SOS 17659 HAS SOPS 17659 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15589.659
AT ITER 116 NEW BEST:: SOT 40223 SOS 17559 HAS SOPS 17559 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15497.559
AT ITER 117 NEW BEST:: SOT 40111 SOS 17391 HAS SOPS 17391 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15329.391
AT ITER 129 NEW BEST:: SOT 40105 SOS 17390 HAS SOPS 17390 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15328.39
AT ITER 130 NEW BEST:: SOT 40010 SOS 17299 HAS SOPS 17299 HAS SOUS 15227 HAS SOUPS 15227 WITH SCORE 15244.299
AT ITER 134 NEW BEST:: SOT 40004 SOS 17275 HAS SOPS 17275 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15238.275
AT ITER 135 NEW BEST:: SOT 39942 SOS 17151 HAS SOPS 17151 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15096.151
AT ITER 139 NEW BEST:: SOT 39933 SOS 17149 HAS SOPS 17149 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15094.149
AT ITER 141 NEW BEST:: SOT 39907 SOS 17110 HAS SOPS 17110 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15055.11
AT ITER 142 NEW BEST:: SOT 39905 SOS 17106 HAS SOPS 17106 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15051.106
AT ITER 145 NEW BEST:: SOT 39870 SOS 16941 HAS SOPS 16941 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14933.941
AT ITER 148 NEW BEST:: SOT 39860 SOS 16926 HAS SOPS 16926 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14932.926
AT ITER 163 NEW BEST:: SOT 39860 SOS 16883 HAS SOPS 16883 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14888.883
AT ITER 165 NEW BEST:: SOT 39823 SOS 16809 HAS SOPS 16809 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14836.809
AT ITER 166 NEW BEST:: SOT 39800 SOS 16786 HAS SOPS 16786 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14813.786
AT ITER 168 NEW BEST:: SOT 39800 SOS 16841 HAS SOPS 16841 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14792.841
AT ITER 170 NEW BEST:: SOT 39764 SOS 16695 HAS SOPS 16695 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14629.695
AT ITER 171 NEW BEST:: SOT 39777 SOS 16577 HAS SOPS 16577 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14619.577
AT ITER 172 NEW BEST:: SOT 39776 SOS 16575 HAS SOPS 16575 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14617.575
AT ITER 174 NEW BEST:: SOT 39775 SOS 16573 HAS SOPS 16573 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14615.573
AT ITER 175 NEW BEST:: SOT 39748 SOS 15758 HAS SOPS 15758 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14502.758
AT ITER 177 NEW BEST:: SOT 39742 SOS 15728 HAS SOPS 15728 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14472.728
AT ITER 179 NEW BEST:: SOT 39675 SOS 15640 HAS SOPS 15640 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14384.64
AT ITER 184 NEW BEST:: SOT 39675 SOS 15488 HAS SOPS 15488 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14384.488
AT ITER 187 NEW BEST:: SOT 39641 SOS 15390 HAS SOPS 15390 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14342.39
AT ITER 190 NEW BEST:: SOT 39608 SOS 15362 HAS SOPS 15362 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14317.362
AT ITER 209 NEW BEST:: SOT 39572 SOS 15261 HAS SOPS 15261 HAS SOUS 14233 HAS SOUPS 14233 WITH SCORE 14248.261
AT ITER 214 NEW BEST:: SOT 39546 SOS 15232 HAS SOPS 15232 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14222.232
AT ITER 216 NEW BEST:: SOT 39524 SOS 15217 HAS SOPS 15217 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14207.217
AT ITER 219 NEW BEST:: SOT 39460 SOS 15157 HAS SOPS 15157 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14165.157
AT ITER 229 NEW BEST:: SOT 39449 SOS 15124 HAS SOPS 15124 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14153.124
AT ITER 243 NEW BEST:: SOT 39425 SOS 15029 HAS SOPS 15029 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14091.029
AT ITER 255 NEW BEST:: SOT 39425 SOS 14999 HAS SOPS 14999 HAS SOUS 14046 HAS SOUPS 14046 WITH SCORE 14060.999
AT ITER 265 NEW BEST:: SOT 39374 SOS 14984 HAS SOPS 14984 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14021.984
AT ITER 282 NEW BEST:: SOT 39350 SOS 14983 HAS SOPS 14983 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14020.983
AT ITER 285 NEW BEST:: SOT 39339 SOS 14937 HAS SOPS 14937 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13990.937
AT ITER 289 NEW BEST:: SOT 39339 SOS 14936 HAS SOPS 14936 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13989.936
AT ITER 294 NEW BEST:: SOT 39339 SOS 14932 HAS SOPS 14932 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13985.932
AT ITER 299 NEW BEST:: SOT 39309 SOS 14832 HAS SOPS 14832 HAS SOUS 13871 HAS SOUPS 13871 WITH SCORE 13885.832
AT ITER 300 NEW BEST:: SOT 39285 SOS 14812 HAS SOPS 14812 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13865.812
AT ITER 308 NEW BEST:: SOT 38611 SOS 16368 HAS SOPS 16368 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13290.368
AT ITER 316 NEW BEST:: SOT 38599 SOS 16356 HAS SOPS 16356 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13259.356
AT ITER 324 NEW BEST:: SOT 38594 SOS 16326 HAS SOPS 16326 HAS SOUS 13232 HAS SOUPS 13232 WITH SCORE 13248.326
AT ITER 330 NEW BEST:: SOT 38579 SOS 16311 HAS SOPS 16311 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13246.311
AT ITER 336 NEW BEST:: SOT 38568 SOS 16300 HAS SOPS 16300 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13224.3
AT ITER 344 NEW BEST:: SOT 38558 SOS 16280 HAS SOPS 16280 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13204.28
AT ITER 351 NEW BEST:: SOT 38558 SOS 16280 HAS SOPS 16280 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13192.28
AT ITER 352 NEW BEST:: SOT 38565 SOS 16225 HAS SOPS 16225 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13123.225
AT ITER 363 NEW BEST:: SOT 38565 SOS 16182 HAS SOPS 16182 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13123.182
AT ITER 364 NEW BEST:: SOT 38513 SOS 16122 HAS SOPS 16122 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13118.122
AT ITER 365 NEW BEST:: SOT 38507 SOS 16120 HAS SOPS 16120 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13118.12
AT ITER 366 NEW BEST:: SOT 38502 SOS 16099 HAS SOPS 16099 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13112.099
AT ITER 370 NEW BEST:: SOT 38424 SOS 15956 HAS SOPS 15956 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13021.956
AT ITER 373 NEW BEST:: SOT 38312 SOS 15794 HAS SOPS 15794 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12803.794
AT ITER 384 NEW BEST:: SOT 38304 SOS 15778 HAS SOPS 15778 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12787.778
AT ITER 398 NEW BEST:: SOT 38295 SOS 15769 HAS SOPS 15769 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12778.769
AT ITER 402 NEW BEST:: SOT 38286 SOS 15772 HAS SOPS 15772 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12773.772
AT ITER 404 NEW BEST:: SOT 38303 SOS 15804 HAS SOPS 15804 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12765.804
AT ITER 405 NEW BEST:: SOT 38268 SOS 15754 HAS SOPS 15754 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12735.754
AT ITER 407 NEW BEST:: SOT 38240 SOS 15712 HAS SOPS 15712 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12660.712
AT ITER 411 NEW BEST:: SOT 38214 SOS 15677 HAS SOPS 15677 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12642.677
AT ITER 414 NEW BEST:: SOT 38201 SOS 15626 HAS SOPS 15626 HAS SOUS 12589 HAS SOUPS 12589 WITH SCORE 12604.626
AT ITER 423 NEW BEST:: SOT 38244 SOS 15650 HAS SOPS 15650 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12576.65
AT ITER 426 NEW BEST:: SOT 38239 SOS 15645 HAS SOPS 15645 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12576.645
AT ITER 449 NEW BEST:: SOT 38227 SOS 15621 HAS SOPS 15621 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12552.621
AT ITER 453 NEW BEST:: SOT 38209 SOS 15604 HAS SOPS 15604 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12534.604
AT ITER 454 NEW BEST:: SOT 38174 SOS 15534 HAS SOPS 15534 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12517.534
AT ITER 468 NEW BEST:: SOT 38165 SOS 15516 HAS SOPS 15516 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12461.516
AT ITER 471 NEW BEST:: SOT 38202 SOS 15480 HAS SOPS 15480 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12425.48
AT ITER 475 NEW BEST:: SOT 38178 SOS 15432 HAS SOPS 15432 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12377.432
AT ITER 480 NEW BEST:: SOT 38081 SOS 15399 HAS SOPS 15399 HAS SOUS 12297 HAS SOUPS 12297 WITH SCORE 12312.399
AT ITER 494 NEW BEST:: SOT 38051 SOS 15354 HAS SOPS 15354 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12280.354
AT ITER 497 NEW BEST:: SOT 38029 SOS 15352 HAS SOPS 15352 HAS SOUS 12243 HAS SOUPS 12243 WITH SCORE 12258.352
AT ITER 498 NEW BEST:: SOT 38024 SOS 15326 HAS SOPS 15326 HAS SOUS 12231 HAS SOUPS 12231 WITH SCORE 12246.326
AT ITER 528 NEW BEST:: SOT 38023 SOS 15324 HAS SOPS 15324 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12244.324
AT ITER 536 NEW BEST:: SOT 37993 SOS 15264 HAS SOPS 15264 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12184.264
AT ITER 537 NEW BEST:: SOT 37967 SOS 15212 HAS SOPS 15212 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12156.212
AT ITER 542 NEW BEST:: SOT 37966 SOS 15194 HAS SOPS 15194 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12137.194
AT ITER 543 NEW BEST:: SOT 37966 SOS 15169 HAS SOPS 15169 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12137.169
AT ITER 545 NEW BEST:: SOT 38035 SOS 15310 HAS SOPS 15310 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12132.31
AT ITER 560 NEW BEST:: SOT 38000 SOS 15295 HAS SOPS 15295 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12102.295
AT ITER 562 NEW BEST:: SOT 37992 SOS 15252 HAS SOPS 15252 HAS SOUS 12070 HAS SOUPS 12070 WITH SCORE 12085.252
AT ITER 568 NEW BEST:: SOT 37991 SOS 15277 HAS SOPS 15277 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12083.277
AT ITER 577 NEW BEST:: SOT 37935 SOS 15147 HAS SOPS 15147 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 11965.147
AT ITER 582 NEW BEST:: SOT 37927 SOS 15131 HAS SOPS 15131 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11949.131
AT ITER 615 NEW BEST:: SOT 37928 SOS 15103 HAS SOPS 15103 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11921.103
AT ITER 620 NEW BEST:: SOT 37867 SOS 14981 HAS SOPS 14981 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11874.981
AT ITER 625 NEW BEST:: SOT 37862 SOS 14971 HAS SOPS 14971 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11864.971
AT ITER 633 NEW BEST:: SOT 37861 SOS 14935 HAS SOPS 14935 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11845.935
AT ITER 649 NEW BEST:: SOT 37860 SOS 14889 HAS SOPS 14889 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11821.889
AT ITER 659 NEW BEST:: SOT 37848 SOS 14865 HAS SOPS 14865 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11784.865
AT ITER 679 NEW BEST:: SOT 37831 SOS 14831 HAS SOPS 14831 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11750.831
AT ITER 693 NEW BEST:: SOT 37827 SOS 14761 HAS SOPS 14761 HAS SOUS 11707 HAS SOUPS 11707 WITH SCORE 11721.761
AT ITER 712 NEW BEST:: SOT 37812 SOS 14775 HAS SOPS 14775 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11706.775
AT ITER 718 NEW BEST:: SOT 37848 SOS 14773 HAS SOPS 14773 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11704.773
AT ITER 738 NEW BEST:: SOT 37848 SOS 14769 HAS SOPS 14769 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11704.769
AT ITER 749 NEW BEST:: SOT 37766 SOS 14589 HAS SOPS 14589 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11615.589
AT ITER 753 NEW BEST:: SOT 37771 SOS 14568 HAS SOPS 14568 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11594.568
AT ITER 758 NEW BEST:: SOT 37768 SOS 14562 HAS SOPS 14562 HAS SOUS 11577 HAS SOUPS 11577 WITH SCORE 11591.562
AT ITER 766 NEW BEST:: SOT 37744 SOS 14542 HAS SOPS 14542 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11543.542
AT ITER 769 NEW BEST:: SOT 37747 SOS 14576 HAS SOPS 14576 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11528.576
AT ITER 784 NEW BEST:: SOT 37732 SOS 14575 HAS SOPS 14575 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11527.575
AT ITER 796 NEW BEST:: SOT 37732 SOS 14575 HAS SOPS 14575 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11522.575
AT ITER 799 NEW BEST:: SOT 37711 SOS 14540 HAS SOPS 14540 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11487.54
AT ITER 810 NEW BEST:: SOT 37691 SOS 14523 HAS SOPS 14523 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11470.523
AT ITER 811 NEW BEST:: SOT 37669 SOS 14521 HAS SOPS 14521 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11467.521
AT ITER 833 NEW BEST:: SOT 37651 SOS 14494 HAS SOPS 14494 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11449.494
AT ITER 841 NEW BEST:: SOT 37449 SOS 15358 HAS SOPS 15358 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11394.358
AT ITER 849 NEW BEST:: SOT 37445 SOS 15354 HAS SOPS 15354 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11390.354
AT ITER 858 NEW BEST:: SOT 37438 SOS 15340 HAS SOPS 15340 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11376.34
AT ITER 871 NEW BEST:: SOT 37424 SOS 15320 HAS SOPS 15320 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11364.32
AT ITER 880 NEW BEST:: SOT 37424 SOS 15320 HAS SOPS 15320 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11355.32
AT ITER 882 NEW BEST:: SOT 37383 SOS 15265 HAS SOPS 15265 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11291.265
AT ITER 884 NEW BEST:: SOT 37383 SOS 15265 HAS SOPS 15265 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11290.265
AT ITER 889 NEW BEST:: SOT 37383 SOS 15264 HAS SOPS 15264 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11290.264
AT ITER 895 NEW BEST:: SOT 37380 SOS 15258 HAS SOPS 15258 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11287.258
AT ITER 899 NEW BEST:: SOT 37380 SOS 14352 HAS SOPS 14352 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11286.352
AT ITER 904 NEW BEST:: SOT 37391 SOS 14374 HAS SOPS 14374 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11268.374
AT ITER 905 NEW BEST:: SOT 36951 SOS 13846 HAS SOPS 13846 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10754.846
AT ITER 921 NEW BEST:: SOT 36959 SOS 13872 HAS SOPS 13872 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10752.872
AT ITER 934 NEW BEST:: SOT 36941 SOS 13836 HAS SOPS 13836 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10716.836
AT ITER 946 NEW BEST:: SOT 36907 SOS 13727 HAS SOPS 13727 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10641.727
AT ITER 950 NEW BEST:: SOT 36888 SOS 13652 HAS SOPS 13652 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10544.652
AT ITER 958 NEW BEST:: SOT 36884 SOS 13648 HAS SOPS 13648 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10536.648
AT ITER 961 NEW BEST:: SOT 36878 SOS 13642 HAS SOPS 13642 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10529.642
AT ITER 975 NEW BEST:: SOT 36878 SOS 13642 HAS SOPS 13642 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10525.642
AT ITER 985 NEW BEST:: SOT 36878 SOS 13642 HAS SOPS 13642 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10523.642
AT ITER 1008 NEW BEST:: SOT 36818 SOS 13621 HAS SOPS 13621 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10475.621
AT ITER 1017 NEW BEST:: SOT 36835 SOS 13610 HAS SOPS 13610 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10417.61
AT ITER 1035 NEW BEST:: SOT 36835 SOS 13587 HAS SOPS 13587 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10417.587
AT ITER 1042 NEW BEST:: SOT 36835 SOS 13582 HAS SOPS 13582 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10417.582
AT ITER 1049 NEW BEST:: SOT 36819 SOS 13574 HAS SOPS 13574 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10401.574
AT ITER 1054 NEW BEST:: SOT 36785 SOS 13570 HAS SOPS 13570 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10397.57
AT ITER 1064 NEW BEST:: SOT 36784 SOS 13554 HAS SOPS 13554 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10380.554
AT ITER 1065 NEW BEST:: SOT 36773 SOS 13532 HAS SOPS 13532 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10369.532
AT ITER 1067 NEW BEST:: SOT 36759 SOS 13504 HAS SOPS 13504 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10341.504
AT ITER 1073 NEW BEST:: SOT 36750 SOS 13495 HAS SOPS 13495 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10332.495
AT ITER 1074 NEW BEST:: SOT 36734 SOS 12985 HAS SOPS 12985 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10285.985
AT ITER 1078 NEW BEST:: SOT 36734 SOS 12979 HAS SOPS 12979 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10279.979
AT ITER 1088 NEW BEST:: SOT 36712 SOS 12881 HAS SOPS 12881 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10234.881
AT ITER 1091 NEW BEST:: SOT 36705 SOS 12867 HAS SOPS 12867 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.867
AT ITER 1092 NEW BEST:: SOT 36684 SOS 12837 HAS SOPS 12837 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10208.837
AT ITER 1124 NEW BEST:: SOT 36683 SOS 12835 HAS SOPS 12835 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10206.835
AT ITER 1129 NEW BEST:: SOT 36679 SOS 12827 HAS SOPS 12827 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10202.827
AT ITER 1139 NEW BEST:: SOT 36677 SOS 12825 HAS SOPS 12825 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10200.825
AT ITER 1149 NEW BEST:: SOT 36676 SOS 12799 HAS SOPS 12799 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10186.799
AT ITER 1150 NEW BEST:: SOT 36680 SOS 12803 HAS SOPS 12803 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10183.803
AT ITER 1158 NEW BEST:: SOT 36671 SOS 12791 HAS SOPS 12791 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10171.791
AT ITER 1162 NEW BEST:: SOT 36671 SOS 12791 HAS SOPS 12791 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10169.791
AT ITER 1168 NEW BEST:: SOT 36662 SOS 12854 HAS SOPS 12854 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10144.854
AT ITER 1185 NEW BEST:: SOT 36656 SOS 12856 HAS SOPS 12856 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10132.856
AT ITER 1188 NEW BEST:: SOT 36638 SOS 12820 HAS SOPS 12820 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10096.82
AT ITER 1191 NEW BEST:: SOT 36600 SOS 12782 HAS SOPS 12782 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10020.782
AT ITER 1198 NEW BEST:: SOT 36598 SOS 12778 HAS SOPS 12778 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10016.778
AT ITER 1205 NEW BEST:: SOT 36581 SOS 12766 HAS SOPS 12766 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9999.766
AT ITER 1215 NEW BEST:: SOT 36577 SOS 12758 HAS SOPS 12758 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9987.758
AT ITER 1234 NEW BEST:: SOT 36576 SOS 12705 HAS SOPS 12705 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9971.705
AT ITER 1236 NEW BEST:: SOT 36571 SOS 12695 HAS SOPS 12695 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9945.695
AT ITER 1238 NEW BEST:: SOT 36571 SOS 12694 HAS SOPS 12694 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9945.694
AT ITER 1246 NEW BEST:: SOT 36567 SOS 12776 HAS SOPS 12776 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9941.776
AT ITER 1261 NEW BEST:: SOT 36566 SOS 12775 HAS SOPS 12775 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9940.775
AT ITER 1263 NEW BEST:: SOT 36593 SOS 12748 HAS SOPS 12748 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9940.748
AT ITER 1264 NEW BEST:: SOT 36593 SOS 12748 HAS SOPS 12748 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9939.748
AT ITER 1274 NEW BEST:: SOT 36596 SOS 12760 HAS SOPS 12760 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9938.76
AT ITER 1311 NEW BEST:: SOT 36596 SOS 12760 HAS SOPS 12760 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9932.76
AT ITER 1320 NEW BEST:: SOT 36578 SOS 12742 HAS SOPS 12742 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9914.742
AT ITER 1323 NEW BEST:: SOT 36565 SOS 12716 HAS SOPS 12716 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9897.716
AT ITER 1334 NEW BEST:: SOT 36567 SOS 12709 HAS SOPS 12709 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9890.709
AT ITER 1337 NEW BEST:: SOT 36524 SOS 12672 HAS SOPS 12672 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9840.672
AT ITER 1342 NEW BEST:: SOT 36524 SOS 12689 HAS SOPS 12689 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9823.689
AT ITER 1355 NEW BEST:: SOT 36524 SOS 12676 HAS SOPS 12676 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9810.676
AT ITER 1357 NEW BEST:: SOT 36509 SOS 12646 HAS SOPS 12646 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9780.646
AT ITER 1363 NEW BEST:: SOT 36492 SOS 12630 HAS SOPS 12630 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9763.63
AT ITER 1371 NEW BEST:: SOT 36484 SOS 12616 HAS SOPS 12616 HAS SOUS 9746 HAS SOUPS 9746 WITH SCORE 9758.616
AT ITER 1372 NEW BEST:: SOT 36482 SOS 12612 HAS SOPS 12612 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9756.612
AT ITER 1380 NEW BEST:: SOT 36463 SOS 12574 HAS SOPS 12574 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9737.574
AT ITER 1411 NEW BEST:: SOT 36447 SOS 12558 HAS SOPS 12558 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9721.558
AT ITER 1425 NEW BEST:: SOT 36446 SOS 12556 HAS SOPS 12556 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9703.556
AT ITER 1464 NEW BEST:: SOT 36437 SOS 12522 HAS SOPS 12522 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9702.522
AT ITER 1473 NEW BEST:: SOT 36428 SOS 12504 HAS SOPS 12504 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9693.504
AT ITER 1477 NEW BEST:: SOT 36419 SOS 12486 HAS SOPS 12486 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9675.486
AT ITER 1491 NEW BEST:: SOT 36420 SOS 12482 HAS SOPS 12482 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9671.482
AT ITER 1524 NEW BEST:: SOT 36420 SOS 12478 HAS SOPS 12478 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.478
AT ITER 1540 NEW BEST:: SOT 36416 SOS 12396 HAS SOPS 12396 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9585.396
AT ITER 1552 NEW BEST:: SOT 36399 SOS 12359 HAS SOPS 12359 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9548.359
AT ITER 1567 NEW BEST:: SOT 36391 SOS 12343 HAS SOPS 12343 HAS SOUS 9520 HAS SOUPS 9520 WITH SCORE 9532.343
AT ITER 1573 NEW BEST:: SOT 36366 SOS 12281 HAS SOPS 12281 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9470.281
AT ITER 1578 NEW BEST:: SOT 36357 SOS 12269 HAS SOPS 12269 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9458.269
AT ITER 1599 NEW BEST:: SOT 36337 SOS 12271 HAS SOPS 12271 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9439.271
AT ITER 1600 NEW BEST:: SOT 36325 SOS 12235 HAS SOPS 12235 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9416.235
AT ITER 1607 NEW BEST:: SOT 36309 SOS 12219 HAS SOPS 12219 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9400.219
AT ITER 1608 NEW BEST:: SOT 36309 SOS 12201 HAS SOPS 12201 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9400.201
AT ITER 1609 NEW BEST:: SOT 36354 SOS 12198 HAS SOPS 12198 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9397.198
AT ITER 1619 NEW BEST:: SOT 36261 SOS 12012 HAS SOPS 12012 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9271.012
AT ITER 1638 NEW BEST:: SOT 36257 SOS 12004 HAS SOPS 12004 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9263.004
AT ITER 1664 NEW BEST:: SOT 36253 SOS 12008 HAS SOPS 12008 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9255.008
AT ITER 1677 NEW BEST:: SOT 36232 SOS 11961 HAS SOPS 11961 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9238.961
AT ITER 1685 NEW BEST:: SOT 36220 SOS 11945 HAS SOPS 11945 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9219.945
AT ITER 1721 NEW BEST:: SOT 36221 SOS 11917 HAS SOPS 11917 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9191.917
AT ITER 1731 NEW BEST:: SOT 36217 SOS 11896 HAS SOPS 11896 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9174.896
AT ITER 1738 NEW BEST:: SOT 36221 SOS 11875 HAS SOPS 11875 HAS SOUS 9142 HAS SOUPS 9142 WITH SCORE 9153.875
AT ITER 1753 NEW BEST:: SOT 36214 SOS 11861 HAS SOPS 11861 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9140.861
AT ITER 1765 NEW BEST:: SOT 36206 SOS 11845 HAS SOPS 11845 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9124.845
AT ITER 1766 NEW BEST:: SOT 36188 SOS 11816 HAS SOPS 11816 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9112.816
AT ITER 1775 NEW BEST:: SOT 36188 SOS 11741 HAS SOPS 11741 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9087.741
AT ITER 1788 NEW BEST:: SOT 36172 SOS 11724 HAS SOPS 11724 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9081.724
AT ITER 1807 NEW BEST:: SOT 36168 SOS 11716 HAS SOPS 11716 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9073.716
AT ITER 1843 NEW BEST:: SOT 36153 SOS 11725 HAS SOPS 11725 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9067.725
AT ITER 1847 NEW BEST:: SOT 36153 SOS 11721 HAS SOPS 11721 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9063.721
AT ITER 1855 NEW BEST:: SOT 36134 SOS 11690 HAS SOPS 11690 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9032.69
AT ITER 1858 NEW BEST:: SOT 36132 SOS 11686 HAS SOPS 11686 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9028.686
AT ITER 1872 NEW BEST:: SOT 36128 SOS 11674 HAS SOPS 11674 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9016.674
AT ITER 1877 NEW BEST:: SOT 36128 SOS 11674 HAS SOPS 11674 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9004.674
AT ITER 1889 NEW BEST:: SOT 36108 SOS 11615 HAS SOPS 11615 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8968.615
AT ITER 1905 NEW BEST:: SOT 36107 SOS 11612 HAS SOPS 11612 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8966.612
AT ITER 1925 NEW BEST:: SOT 36099 SOS 11579 HAS SOPS 11579 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8950.579
AT ITER 1940 NEW BEST:: SOT 36098 SOS 11578 HAS SOPS 11578 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8949.578
AT ITER 1963 NEW BEST:: SOT 36089 SOS 11569 HAS SOPS 11569 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8940.569
AT ITER 1978 NEW BEST:: SOT 36084 SOS 11559 HAS SOPS 11559 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8930.559
AT ITER 1991 NEW BEST:: SOT 36065 SOS 11502 HAS SOPS 11502 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8911.502
AT ITER 2014 NEW BEST:: SOT 36062 SOS 11499 HAS SOPS 11499 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8908.499
AT ITER 2024 NEW BEST:: SOT 36062 SOS 11492 HAS SOPS 11492 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8901.492
AT ITER 2031 NEW BEST:: SOT 35974 SOS 11436 HAS SOPS 11436 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8855.436
AT ITER 2038 NEW BEST:: SOT 35963 SOS 11426 HAS SOPS 11426 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8845.426
AT ITER 2068 NEW BEST:: SOT 35955 SOS 11418 HAS SOPS 11418 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8826.418
AT ITER 2078 NEW BEST:: SOT 35948 SOS 11402 HAS SOPS 11402 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8812.402
AT ITER 2080 NEW BEST:: SOT 35953 SOS 11407 HAS SOPS 11407 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8808.407
AT ITER 2090 NEW BEST:: SOT 35966 SOS 11120 HAS SOPS 11120 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8806.12
AT ITER 2091 NEW BEST:: SOT 35956 SOS 11100 HAS SOPS 11100 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8786.1
AT ITER 2100 NEW BEST:: SOT 35951 SOS 11090 HAS SOPS 11090 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8786.09
AT ITER 2101 NEW BEST:: SOT 35951 SOS 11086 HAS SOPS 11086 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8782.086
AT ITER 2107 NEW BEST:: SOT 35905 SOS 10994 HAS SOPS 10994 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8738.994
AT ITER 2152 NEW BEST:: SOT 35903 SOS 10996 HAS SOPS 10996 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8734.996
AT ITER 2228 NEW BEST:: SOT 35903 SOS 10989 HAS SOPS 10989 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8734.989
AT ITER 2302 NEW BEST:: SOT 35902 SOS 10987 HAS SOPS 10987 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8732.987
AT ITER 2328 NEW BEST:: SOT 35880 SOS 10943 HAS SOPS 10943 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8662.943
AT ITER 2360 NEW BEST:: SOT 35842 SOS 10870 HAS SOPS 10870 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8639.87
AT ITER 2378 NEW BEST:: SOT 35842 SOS 10865 HAS SOPS 10865 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8639.865
AT ITER 2391 NEW BEST:: SOT 35830 SOS 10846 HAS SOPS 10846 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8622.846
AT ITER 2394 NEW BEST:: SOT 35826 SOS 10838 HAS SOPS 10838 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8614.838
AT ITER 2402 NEW BEST:: SOT 35835 SOS 10822 HAS SOPS 10822 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8606.822
AT ITER 2411 NEW BEST:: SOT 35807 SOS 10799 HAS SOPS 10799 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8583.799
AT ITER 2455 NEW BEST:: SOT 35805 SOS 10761 HAS SOPS 10761 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8569.761
AT ITER 2471 NEW BEST:: SOT 35785 SOS 10759 HAS SOPS 10759 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8567.759
AT ITER 2492 NEW BEST:: SOT 35779 SOS 10753 HAS SOPS 10753 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.753
AT ITER 2526 NEW BEST:: SOT 35770 SOS 10758 HAS SOPS 10758 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8555.758
AT ITER 2528 NEW BEST:: SOT 35721 SOS 10775 HAS SOPS 10775 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8518.775
AT ITER 2558 NEW BEST:: SOT 35700 SOS 10754 HAS SOPS 10754 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8476.754
AT ITER 2559 NEW BEST:: SOT 35701 SOS 10762 HAS SOPS 10762 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8472.762
AT ITER 2579 NEW BEST:: SOT 35704 SOS 10747 HAS SOPS 10747 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8468.747
AT ITER 2613 NEW BEST:: SOT 35704 SOS 10721 HAS SOPS 10721 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8442.721
AT ITER 2652 NEW BEST:: SOT 35697 SOS 10714 HAS SOPS 10714 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8435.714
AT ITER 2654 NEW BEST:: SOT 35707 SOS 10669 HAS SOPS 10669 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8401.669
AT ITER 2661 NEW BEST:: SOT 35688 SOS 10731 HAS SOPS 10731 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8368.731
AT ITER 2665 NEW BEST:: SOT 35686 SOS 10729 HAS SOPS 10729 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8366.729
AT ITER 2674 NEW BEST:: SOT 35675 SOS 10719 HAS SOPS 10719 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8356.719
AT ITER 2680 NEW BEST:: SOT 35659 SOS 10686 HAS SOPS 10686 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8321.686
AT ITER 2688 NEW BEST:: SOT 35648 SOS 10663 HAS SOPS 10663 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8299.663
AT ITER 2689 NEW BEST:: SOT 35648 SOS 10661 HAS SOPS 10661 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8297.661
AT ITER 2690 NEW BEST:: SOT 35647 SOS 10639 HAS SOPS 10639 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8295.639
AT ITER 2713 NEW BEST:: SOT 35610 SOS 10591 HAS SOPS 10591 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8247.591
AT ITER 2716 NEW BEST:: SOT 35609 SOS 10591 HAS SOPS 10591 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8246.591
AT ITER 2728 NEW BEST:: SOT 35596 SOS 10583 HAS SOPS 10583 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8238.583
AT ITER 2736 NEW BEST:: SOT 35599 SOS 10586 HAS SOPS 10586 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8237.586
AT ITER 2764 NEW BEST:: SOT 35590 SOS 10568 HAS SOPS 10568 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8219.568
AT ITER 2767 NEW BEST:: SOT 35578 SOS 10560 HAS SOPS 10560 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8203.56
AT ITER 2777 NEW BEST:: SOT 35572 SOS 10560 HAS SOPS 10560 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8197.56
AT ITER 2782 NEW BEST:: SOT 35547 SOS 10505 HAS SOPS 10505 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8153.505
AT ITER 2793 NEW BEST:: SOT 35547 SOS 10493 HAS SOPS 10493 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8153.493
AT ITER 2797 NEW BEST:: SOT 35554 SOS 10507 HAS SOPS 10507 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8152.507
AT ITER 2798 NEW BEST:: SOT 35548 SOS 10495 HAS SOPS 10495 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8134.495
AT ITER 2803 NEW BEST:: SOT 35507 SOS 10423 HAS SOPS 10423 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8093.423
AT ITER 2840 NEW BEST:: SOT 35507 SOS 10415 HAS SOPS 10415 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8085.415
AT ITER 2843 NEW BEST:: SOT 35500 SOS 10401 HAS SOPS 10401 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8080.401
AT ITER 2882 NEW BEST:: SOT 35504 SOS 10385 HAS SOPS 10385 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8064.385
AT ITER 2912 NEW BEST:: SOT 35489 SOS 10355 HAS SOPS 10355 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8049.355
AT ITER 2940 NEW BEST:: SOT 35484 SOS 10345 HAS SOPS 10345 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8039.345
AT ITER 2968 NEW BEST:: SOT 35482 SOS 10345 HAS SOPS 10345 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8037.345
AT ITER 2970 NEW BEST:: SOT 35471 SOS 10323 HAS SOPS 10323 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8004.323
AT ITER 3010 NEW BEST:: SOT 35480 SOS 10341 HAS SOPS 10341 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8003.341
AT ITER 3031 NEW BEST:: SOT 35480 SOS 10338 HAS SOPS 10338 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8000.338
AT ITER 3044 NEW BEST:: SOT 35480 SOS 10305 HAS SOPS 10305 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8000.305
AT ITER 3052 NEW BEST:: SOT 35466 SOS 10291 HAS SOPS 10291 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7999.291
AT ITER 3086 NEW BEST:: SOT 35466 SOS 10289 HAS SOPS 10289 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7997.289
AT ITER 3110 NEW BEST:: SOT 35466 SOS 10280 HAS SOPS 10280 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7997.28
AT ITER 3111 NEW BEST:: SOT 35456 SOS 10226 HAS SOPS 10226 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7977.226
AT ITER 3128 NEW BEST:: SOT 35451 SOS 10221 HAS SOPS 10221 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7967.221
AT ITER 3134 NEW BEST:: SOT 35448 SOS 10201 HAS SOPS 10201 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7932.201
AT ITER 3138 NEW BEST:: SOT 35448 SOS 10173 HAS SOPS 10173 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7918.173
AT ITER 3147 NEW BEST:: SOT 35438 SOS 10163 HAS SOPS 10163 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7908.163
AT ITER 3149 NEW BEST:: SOT 35437 SOS 10161 HAS SOPS 10161 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7897.161
AT ITER 3151 NEW BEST:: SOT 35437 SOS 10151 HAS SOPS 10151 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7887.151
AT ITER 3157 NEW BEST:: SOT 35426 SOS 10151 HAS SOPS 10151 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7876.151
AT ITER 3163 NEW BEST:: SOT 35428 SOS 10127 HAS SOPS 10127 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7853.127
AT ITER 3210 NEW BEST:: SOT 35424 SOS 10119 HAS SOPS 10119 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7849.119
AT ITER 3225 NEW BEST:: SOT 35421 SOS 10116 HAS SOPS 10116 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7846.116
AT ITER 3240 NEW BEST:: SOT 35418 SOS 10110 HAS SOPS 10110 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7840.11
AT ITER 3254 NEW BEST:: SOT 35406 SOS 10067 HAS SOPS 10067 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7790.067
AT ITER 3268 NEW BEST:: SOT 35401 SOS 10057 HAS SOPS 10057 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7782.057
AT ITER 3318 NEW BEST:: SOT 35408 SOS 10046 HAS SOPS 10046 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7769.046
AT ITER 3321 NEW BEST:: SOT 35406 SOS 10031 HAS SOPS 10031 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7754.031
AT ITER 3328 NEW BEST:: SOT 35400 SOS 10025 HAS SOPS 10025 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7748.025
AT ITER 3346 NEW BEST:: SOT 35386 SOS 9986 HAS SOPS 9986 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7719.986
AT ITER 3385 NEW BEST:: SOT 35379 SOS 9972 HAS SOPS 9972 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7708.972
AT ITER 3391 NEW BEST:: SOT 35379 SOS 9924 HAS SOPS 9924 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7704.924
AT ITER 3399 NEW BEST:: SOT 35357 SOS 9940 HAS SOPS 9940 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7699.94
AT ITER 3428 NEW BEST:: SOT 35357 SOS 9932 HAS SOPS 9932 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7691.932
AT ITER 3471 NEW BEST:: SOT 35344 SOS 9931 HAS SOPS 9931 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7690.931
AT ITER 3497 NEW BEST:: SOT 35332 SOS 9907 HAS SOPS 9907 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7666.907
AT ITER 3504 NEW BEST:: SOT 35332 SOS 9907 HAS SOPS 9907 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.907
AT ITER 3510 NEW BEST:: SOT 35332 SOS 9907 HAS SOPS 9907 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7662.907
AT ITER 3530 NEW BEST:: SOT 35331 SOS 9905 HAS SOPS 9905 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7662.905
AT ITER 3545 NEW BEST:: SOT 35331 SOS 9865 HAS SOPS 9865 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7662.865
AT ITER 3551 NEW BEST:: SOT 35325 SOS 9853 HAS SOPS 9853 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7656.853
AT ITER 3583 NEW BEST:: SOT 35320 SOS 9848 HAS SOPS 9848 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7640.848
AT ITER 3627 NEW BEST:: SOT 35319 SOS 9832 HAS SOPS 9832 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7638.832
AT ITER 3697 NEW BEST:: SOT 35308 SOS 9810 HAS SOPS 9810 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7623.81
AT ITER 3717 NEW BEST:: SOT 35286 SOS 9797 HAS SOPS 9797 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7610.797
AT ITER 3740 NEW BEST:: SOT 35285 SOS 9795 HAS SOPS 9795 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7608.795
AT ITER 3742 NEW BEST:: SOT 35261 SOS 9776 HAS SOPS 9776 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7560.776
AT ITER 3768 NEW BEST:: SOT 35255 SOS 9764 HAS SOPS 9764 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7552.764
AT ITER 3771 NEW BEST:: SOT 35255 SOS 9764 HAS SOPS 9764 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7534.764
AT ITER 3774 NEW BEST:: SOT 35250 SOS 9754 HAS SOPS 9754 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7524.754
AT ITER 3782 NEW BEST:: SOT 35250 SOS 9766 HAS SOPS 9766 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7498.766
AT ITER 3818 NEW BEST:: SOT 35250 SOS 9741 HAS SOPS 9741 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7498.741
AT ITER 3824 NEW BEST:: SOT 35259 SOS 9748 HAS SOPS 9748 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7493.748
AT ITER 3906 NEW BEST:: SOT 35253 SOS 9736 HAS SOPS 9736 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7489.736
AT ITER 3919 NEW BEST:: SOT 35239 SOS 9770 HAS SOPS 9770 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7478.77
AT ITER 3938 NEW BEST:: SOT 35225 SOS 9756 HAS SOPS 9756 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7462.756
AT ITER 3981 NEW BEST:: SOT 35209 SOS 9692 HAS SOPS 9692 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7440.692
AT ITER 4002 NEW BEST:: SOT 35228 SOS 9673 HAS SOPS 9673 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7425.673
AT ITER 4017 NEW BEST:: SOT 35226 SOS 9669 HAS SOPS 9669 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7419.669
AT ITER 4030 NEW BEST:: SOT 35217 SOS 9659 HAS SOPS 9659 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7405.659
AT ITER 4036 NEW BEST:: SOT 35216 SOS 9653 HAS SOPS 9653 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7403.653
AT ITER 4129 NEW BEST:: SOT 35210 SOS 9635 HAS SOPS 9635 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7399.635
AT ITER 4200 NEW BEST:: SOT 35208 SOS 9631 HAS SOPS 9631 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7393.631
AT ITER 4203 NEW BEST:: SOT 35191 SOS 9624 HAS SOPS 9624 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7386.624
AT ITER 4205 NEW BEST:: SOT 35191 SOS 9615 HAS SOPS 9615 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7379.615
AT ITER 4219 NEW BEST:: SOT 35183 SOS 9607 HAS SOPS 9607 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7371.607
AT ITER 4235 NEW BEST:: SOT 35138 SOS 9564 HAS SOPS 9564 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7324.564
AT ITER 4331 NEW BEST:: SOT 35108 SOS 9534 HAS SOPS 9534 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7294.534
AT ITER 4340 NEW BEST:: SOT 35108 SOS 9533 HAS SOPS 9533 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.533
AT ITER 4348 NEW BEST:: SOT 35098 SOS 9518 HAS SOPS 9518 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7278.518
AT ITER 4376 NEW BEST:: SOT 35094 SOS 9514 HAS SOPS 9514 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7275.514
AT ITER 4441 NEW BEST:: SOT 35091 SOS 9510 HAS SOPS 9510 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7269.51
AT ITER 4491 NEW BEST:: SOT 35090 SOS 9508 HAS SOPS 9508 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7262.508
AT ITER 4496 NEW BEST:: SOT 35090 SOS 9503 HAS SOPS 9503 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7262.503
AT ITER 4500 NEW BEST:: SOT 35087 SOS 9500 HAS SOPS 9500 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7259.5
AT ITER 4538 NEW BEST:: SOT 35077 SOS 9469 HAS SOPS 9469 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7239.469
AT ITER 4595 NEW BEST:: SOT 35081 SOS 9477 HAS SOPS 9477 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7226.477
AT ITER 4608 NEW BEST:: SOT 35089 SOS 9504 HAS SOPS 9504 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7218.504
AT ITER 4641 NEW BEST:: SOT 35095 SOS 9503 HAS SOPS 9503 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7217.503
AT ITER 4646 NEW BEST:: SOT 35095 SOS 9499 HAS SOPS 9499 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7217.499
AT ITER 4651 NEW BEST:: SOT 35092 SOS 9498 HAS SOPS 9498 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7216.498
AT ITER 4652 NEW BEST:: SOT 35089 SOS 9492 HAS SOPS 9492 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7214.492
AT ITER 4665 NEW BEST:: SOT 35086 SOS 9482 HAS SOPS 9482 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7208.482
AT ITER 4684 NEW BEST:: SOT 35086 SOS 9489 HAS SOPS 9489 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7200.489
AT ITER 4774 NEW BEST:: SOT 35083 SOS 9483 HAS SOPS 9483 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7194.483
AT ITER 4840 NEW BEST:: SOT 35082 SOS 9483 HAS SOPS 9483 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7193.483
AT ITER 4876 NEW BEST:: SOT 35082 SOS 9473 HAS SOPS 9473 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7188.473
AT ITER 4908 NEW BEST:: SOT 35084 SOS 9472 HAS SOPS 9472 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7185.472
AT ITER 5038 NEW BEST:: SOT 35079 SOS 9490 HAS SOPS 9490 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7178.49
AT ITER 5155 NEW BEST:: SOT 35073 SOS 9478 HAS SOPS 9478 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7176.478
AT ITER 5193 NEW BEST:: SOT 35071 SOS 9462 HAS SOPS 9462 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7160.462
AT ITER 5209 NEW BEST:: SOT 35066 SOS 9452 HAS SOPS 9452 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7145.452
AT ITER 5227 NEW BEST:: SOT 35076 SOS 9433 HAS SOPS 9433 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7143.433
AT ITER 5233 NEW BEST:: SOT 35059 SOS 9380 HAS SOPS 9380 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7121.38
AT ITER 5288 NEW BEST:: SOT 35046 SOS 9339 HAS SOPS 9339 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7095.339
AT ITER 5344 NEW BEST:: SOT 35044 SOS 9337 HAS SOPS 9337 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7091.337
AT ITER 5440 NEW BEST:: SOT 35031 SOS 9324 HAS SOPS 9324 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7078.324
AT ITER 5469 NEW BEST:: SOT 35031 SOS 9320 HAS SOPS 9320 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7074.32
AT ITER 5494 NEW BEST:: SOT 35030 SOS 9318 HAS SOPS 9318 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7073.318
AT ITER 5535 NEW BEST:: SOT 35030 SOS 9307 HAS SOPS 9307 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7073.307
AT ITER 5548 NEW BEST:: SOT 35028 SOS 9303 HAS SOPS 9303 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7069.303
AT ITER 5554 NEW BEST:: SOT 35028 SOS 9299 HAS SOPS 9299 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7067.299
AT ITER 5606 NEW BEST:: SOT 35033 SOS 9297 HAS SOPS 9297 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7065.297
AT ITER 5634 NEW BEST:: SOT 35034 SOS 9288 HAS SOPS 9288 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7062.288
AT ITER 5652 NEW BEST:: SOT 35028 SOS 9263 HAS SOPS 9263 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7037.263
AT ITER 5869 NEW BEST:: SOT 35028 SOS 9259 HAS SOPS 9259 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7030.259
AT ITER 5897 NEW BEST:: SOT 35027 SOS 9257 HAS SOPS 9257 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7028.257
AT ITER 5900 NEW BEST:: SOT 35019 SOS 9244 HAS SOPS 9244 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7012.244
AT ITER 5995 NEW BEST:: SOT 35015 SOS 9240 HAS SOPS 9240 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7008.24
AT ITER 6030 NEW BEST:: SOT 35013 SOS 9236 HAS SOPS 9236 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7004.236
AT ITER 6134 NEW BEST:: SOT 35013 SOS 9231 HAS SOPS 9231 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6999.231
AT ITER 6172 NEW BEST:: SOT 35020 SOS 9215 HAS SOPS 9215 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6998.215
AT ITER 6233 NEW BEST:: SOT 35008 SOS 9215 HAS SOPS 9215 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6986.215
AT ITER 6268 NEW BEST:: SOT 35004 SOS 9207 HAS SOPS 9207 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6978.207
AT ITER 6314 NEW BEST:: SOT 35000 SOS 9199 HAS SOPS 9199 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6974.199
AT ITER 6342 NEW BEST:: SOT 34999 SOS 9197 HAS SOPS 9197 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6972.197
AT ITER 6527 NEW BEST:: SOT 34986 SOS 9184 HAS SOPS 9184 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6959.184
AT ITER 6595 NEW BEST:: SOT 34986 SOS 9173 HAS SOPS 9173 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6959.173
AT ITER 6651 NEW BEST:: SOT 34984 SOS 9171 HAS SOPS 9171 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6957.171
AT ITER 6675 NEW BEST:: SOT 34983 SOS 9169 HAS SOPS 9169 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6946.169
AT ITER 6733 NEW BEST:: SOT 34982 SOS 9165 HAS SOPS 9165 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6944.165
AT ITER 6745 NEW BEST:: SOT 34914 SOS 9174 HAS SOPS 9174 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6876.174
AT ITER 6768 NEW BEST:: SOT 34916 SOS 9167 HAS SOPS 9167 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6873.167
AT ITER 6802 NEW BEST:: SOT 34915 SOS 9166 HAS SOPS 9166 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6871.166
AT ITER 6838 NEW BEST:: SOT 34915 SOS 9164 HAS SOPS 9164 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6869.164
AT ITER 6890 NEW BEST:: SOT 34913 SOS 9161 HAS SOPS 9161 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6865.161
AT ITER 6896 NEW BEST:: SOT 34909 SOS 9157 HAS SOPS 9157 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6861.157
AT ITER 6971 NEW BEST:: SOT 34902 SOS 9157 HAS SOPS 9157 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6854.157
AT ITER 6988 NEW BEST:: SOT 34900 SOS 9155 HAS SOPS 9155 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6852.155
AT ITER 7045 NEW BEST:: SOT 34897 SOS 9171 HAS SOPS 9171 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6847.171
AT ITER 7086 NEW BEST:: SOT 34888 SOS 9153 HAS SOPS 9153 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6829.153
AT ITER 7101 NEW BEST:: SOT 34885 SOS 9150 HAS SOPS 9150 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6823.15
AT ITER 7157 NEW BEST:: SOT 34884 SOS 9148 HAS SOPS 9148 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6821.148
AT ITER 7188 NEW BEST:: SOT 34878 SOS 9177 HAS SOPS 9177 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6814.177
AT ITER 7189 NEW BEST:: SOT 34877 SOS 9175 HAS SOPS 9175 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6812.175
AT ITER 7219 NEW BEST:: SOT 34877 SOS 9172 HAS SOPS 9172 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6812.172
AT ITER 7271 NEW BEST:: SOT 34877 SOS 9165 HAS SOPS 9165 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6805.165
AT ITER 7273 NEW BEST:: SOT 34880 SOS 9171 HAS SOPS 9171 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6792.171
AT ITER 7317 NEW BEST:: SOT 34878 SOS 9169 HAS SOPS 9169 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6788.169
AT ITER 7338 NEW BEST:: SOT 34874 SOS 9165 HAS SOPS 9165 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6782.165
AT ITER 7375 NEW BEST:: SOT 34873 SOS 9165 HAS SOPS 9165 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6781.165
AT ITER 7579 NEW BEST:: SOT 34870 SOS 9155 HAS SOPS 9155 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6780.155
AT ITER 7616 NEW BEST:: SOT 34866 SOS 9171 HAS SOPS 9171 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6772.171
AT ITER 7699 NEW BEST:: SOT 34864 SOS 9168 HAS SOPS 9168 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6767.168
AT ITER 7709 NEW BEST:: SOT 34864 SOS 9167 HAS SOPS 9167 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6767.167
AT ITER 7778 NEW BEST:: SOT 34854 SOS 9159 HAS SOPS 9159 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6763.159
AT ITER 7822 NEW BEST:: SOT 34837 SOS 9158 HAS SOPS 9158 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6762.158
AT ITER 7851 NEW BEST:: SOT 34836 SOS 9156 HAS SOPS 9156 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6759.156
AT ITER 7858 NEW BEST:: SOT 34836 SOS 9127 HAS SOPS 9127 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6759.127
AT ITER 7896 NEW BEST:: SOT 34836 SOS 9126 HAS SOPS 9126 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6757.126
AT ITER 7994 NEW BEST:: SOT 34840 SOS 9121 HAS SOPS 9121 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6752.121
AT ITER 8047 NEW BEST:: SOT 34840 SOS 9112 HAS SOPS 9112 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6743.112
AT ITER 8068 NEW BEST:: SOT 34830 SOS 9104 HAS SOPS 9104 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6733.104
AT ITER 8121 NEW BEST:: SOT 34828 SOS 9100 HAS SOPS 9100 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6729.1
AT ITER 8146 NEW BEST:: SOT 34828 SOS 9095 HAS SOPS 9095 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6719.095
AT ITER 8245 NEW BEST:: SOT 34808 SOS 9073 HAS SOPS 9073 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6692.073
AT ITER 8262 NEW BEST:: SOT 34803 SOS 9068 HAS SOPS 9068 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6682.068
AT ITER 8263 NEW BEST:: SOT 34801 SOS 9061 HAS SOPS 9061 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6678.061
AT ITER 8265 NEW BEST:: SOT 34807 SOS 9057 HAS SOPS 9057 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6673.057
AT ITER 8296 NEW BEST:: SOT 34806 SOS 9055 HAS SOPS 9055 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6671.055
AT ITER 8330 NEW BEST:: SOT 34805 SOS 9053 HAS SOPS 9053 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6664.053
AT ITER 8412 NEW BEST:: SOT 34803 SOS 9054 HAS SOPS 9054 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6663.054
AT ITER 8469 NEW BEST:: SOT 34776 SOS 9027 HAS SOPS 9027 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6638.027
AT ITER 8538 NEW BEST:: SOT 34775 SOS 9025 HAS SOPS 9025 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6636.025
AT ITER 8557 NEW BEST:: SOT 34774 SOS 9018 HAS SOPS 9018 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6630.018
AT ITER 8566 NEW BEST:: SOT 34783 SOS 9032 HAS SOPS 9032 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6624.032
AT ITER 8597 NEW BEST:: SOT 34783 SOS 9020 HAS SOPS 9020 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6605.02
AT ITER 8673 NEW BEST:: SOT 34776 SOS 9006 HAS SOPS 9006 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6591.006
AT ITER 8701 NEW BEST:: SOT 34775 SOS 9006 HAS SOPS 9006 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6590.006
AT ITER 8748 NEW BEST:: SOT 34772 SOS 9000 HAS SOPS 9000 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6583.0
AT ITER 8753 NEW BEST:: SOT 34769 SOS 8994 HAS SOPS 8994 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6579.994
AT ITER 8891 NEW BEST:: SOT 34765 SOS 8970 HAS SOPS 8970 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6571.97
AT ITER 8920 NEW BEST:: SOT 34766 SOS 8967 HAS SOPS 8967 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.967
AT ITER 8959 NEW BEST:: SOT 34765 SOS 8965 HAS SOPS 8965 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6563.965
AT ITER 9284 NEW BEST:: SOT 34764 SOS 8964 HAS SOPS 8964 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.964
AT ITER 9375 NEW BEST:: SOT 34765 SOS 8963 HAS SOPS 8963 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6560.963
AT ITER 9379 NEW BEST:: SOT 34762 SOS 8960 HAS SOPS 8960 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6556.96
AT ITER 9415 NEW BEST:: SOT 34758 SOS 8960 HAS SOPS 8960 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6548.96
AT ITER 9417 NEW BEST:: SOT 34755 SOS 8954 HAS SOPS 8954 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6545.954
AT ITER 9562 NEW BEST:: SOT 34752 SOS 8951 HAS SOPS 8951 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.951
AT ITER 9676 NEW BEST:: SOT 34751 SOS 8949 HAS SOPS 8949 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6537.949
AT ITER 9781 NEW BEST:: SOT 34751 SOS 8946 HAS SOPS 8946 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6534.946
AT ITER 9825 NEW BEST:: SOT 34751 SOS 8946 HAS SOPS 8946 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6530.946
AT ITER 9847 NEW BEST:: SOT 34751 SOS 8945 HAS SOPS 8945 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6530.945
AT ITER 9865 NEW BEST:: SOT 34748 SOS 8942 HAS SOPS 8942 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6530.942
AT ITER 9874 NEW BEST:: SOT 34741 SOS 8928 HAS SOPS 8928 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6516.928
AT ITER 9890 NEW BEST:: SOT 34741 SOS 8927 HAS SOPS 8927 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6512.927
AT ITER 9953 NEW BEST:: SOT 34740 SOS 8926 HAS SOPS 8926 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6510.926

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="DiscoveryGPU-PT-08b"
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 DiscoveryGPU-PT-08b, 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 r063-tajo-158922807800632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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