Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910500616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 SimpleLoadBal-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910500616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 4.7K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 530K Mar 24 05:38 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 1589747143931

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

Filename model.pnml
Petri model created: 104 places, 605 transitions, 4148 arcs.
AT ITER 0 NEW BEST:: SOT 59019 SOS 37636 HAS SOPS 36496 HAS SOUS 26347 HAS SOUPS 26276 WITH SCORE 26313.636
AT ITER 9 NEW BEST:: SOT 58993 SOS 36432 HAS SOPS 35004 HAS SOUS 26483 HAS SOUPS 26016 WITH SCORE 26052.432
AT ITER 18 NEW BEST:: SOT 58985 SOS 36430 HAS SOPS 35002 HAS SOUS 26435 HAS SOUPS 25968 WITH SCORE 26004.43
AT ITER 20 NEW BEST:: SOT 58955 SOS 36402 HAS SOPS 34834 HAS SOUS 26383 HAS SOUPS 25916 WITH SCORE 25952.402
AT ITER 21 NEW BEST:: SOT 58924 SOS 36356 HAS SOPS 34788 HAS SOUS 26247 HAS SOUPS 25780 WITH SCORE 25816.356
AT ITER 29 NEW BEST:: SOT 58924 SOS 36356 HAS SOPS 34788 HAS SOUS 26243 HAS SOUPS 25776 WITH SCORE 25812.356
AT ITER 34 NEW BEST:: SOT 58820 SOS 36252 HAS SOPS 34682 HAS SOUS 26101 HAS SOUPS 25634 WITH SCORE 25670.252
AT ITER 39 NEW BEST:: SOT 58882 SOS 36325 HAS SOPS 34755 HAS SOUS 26084 HAS SOUPS 25617 WITH SCORE 25653.325
AT ITER 41 NEW BEST:: SOT 58882 SOS 36325 HAS SOPS 34755 HAS SOUS 26068 HAS SOUPS 25601 WITH SCORE 25637.325
AT ITER 46 NEW BEST:: SOT 58882 SOS 36325 HAS SOPS 34739 HAS SOUS 25710 HAS SOUPS 25243 WITH SCORE 25279.325
AT ITER 49 NEW BEST:: SOT 58843 SOS 36151 HAS SOPS 34703 HAS SOUS 25670 HAS SOUPS 25213 WITH SCORE 25249.151
AT ITER 50 NEW BEST:: SOT 58843 SOS 36151 HAS SOPS 34701 HAS SOUS 25660 HAS SOUPS 25203 WITH SCORE 25239.151
AT ITER 57 NEW BEST:: SOT 58843 SOS 36151 HAS SOPS 34685 HAS SOUS 25256 HAS SOUPS 24799 WITH SCORE 24835.151
AT ITER 60 NEW BEST:: SOT 50169 SOS 33279 HAS SOPS 33275 HAS SOUS 17083 HAS SOUPS 17079 WITH SCORE 17112.279
AT ITER 66 NEW BEST:: SOT 50169 SOS 33279 HAS SOPS 33275 HAS SOUS 17073 HAS SOUPS 17069 WITH SCORE 17102.279
AT ITER 67 NEW BEST:: SOT 49901 SOS 33011 HAS SOPS 33007 HAS SOUS 16123 HAS SOUPS 16119 WITH SCORE 16152.011
AT ITER 70 NEW BEST:: SOT 49936 SOS 33046 HAS SOPS 33042 HAS SOUS 15927 HAS SOUPS 15923 WITH SCORE 15956.046
AT ITER 71 NEW BEST:: SOT 49596 SOS 32706 HAS SOPS 32702 HAS SOUS 15587 HAS SOUPS 15583 WITH SCORE 15615.706
AT ITER 73 NEW BEST:: SOT 49596 SOS 32704 HAS SOPS 32700 HAS SOUS 15576 HAS SOUPS 15572 WITH SCORE 15604.704
AT ITER 74 NEW BEST:: SOT 49211 SOS 32332 HAS SOPS 32332 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15303.332
AT ITER 85 NEW BEST:: SOT 48694 SOS 34265 HAS SOPS 33940 HAS SOUS 14943 HAS SOUPS 14918 WITH SCORE 14952.265
AT ITER 87 NEW BEST:: SOT 48662 SOS 34233 HAS SOPS 33908 HAS SOUS 14759 HAS SOUPS 14734 WITH SCORE 14768.233
AT ITER 93 NEW BEST:: SOT 48662 SOS 34231 HAS SOPS 33906 HAS SOUS 14749 HAS SOUPS 14724 WITH SCORE 14758.231
AT ITER 101 NEW BEST:: SOT 48662 SOS 34231 HAS SOPS 33906 HAS SOUS 14741 HAS SOUPS 14716 WITH SCORE 14750.231
AT ITER 121 NEW BEST:: SOT 48660 SOS 34229 HAS SOPS 33904 HAS SOUS 14719 HAS SOUPS 14694 WITH SCORE 14728.229
AT ITER 138 NEW BEST:: SOT 48660 SOS 34226 HAS SOPS 33901 HAS SOUS 14716 HAS SOUPS 14691 WITH SCORE 14725.226
AT ITER 140 NEW BEST:: SOT 48660 SOS 34224 HAS SOPS 33899 HAS SOUS 14714 HAS SOUPS 14689 WITH SCORE 14723.224
AT ITER 144 NEW BEST:: SOT 48649 SOS 34222 HAS SOPS 33897 HAS SOUS 14676 HAS SOUPS 14651 WITH SCORE 14685.222
AT ITER 145 NEW BEST:: SOT 48642 SOS 34205 HAS SOPS 33880 HAS SOUS 14659 HAS SOUPS 14634 WITH SCORE 14668.205
AT ITER 150 NEW BEST:: SOT 48642 SOS 34185 HAS SOPS 33860 HAS SOUS 14659 HAS SOUPS 14634 WITH SCORE 14668.185
AT ITER 152 NEW BEST:: SOT 48633 SOS 34171 HAS SOPS 33846 HAS SOUS 14617 HAS SOUPS 14592 WITH SCORE 14626.171
AT ITER 153 NEW BEST:: SOT 48597 SOS 34132 HAS SOPS 33807 HAS SOUS 14611 HAS SOUPS 14586 WITH SCORE 14620.132
AT ITER 154 NEW BEST:: SOT 48621 SOS 34183 HAS SOPS 33858 HAS SOUS 14606 HAS SOUPS 14581 WITH SCORE 14615.183
AT ITER 162 NEW BEST:: SOT 48615 SOS 34177 HAS SOPS 33852 HAS SOUS 14600 HAS SOUPS 14575 WITH SCORE 14609.177
AT ITER 163 NEW BEST:: SOT 48615 SOS 34177 HAS SOPS 33852 HAS SOUS 14597 HAS SOUPS 14572 WITH SCORE 14606.177
AT ITER 178 NEW BEST:: SOT 48664 SOS 34238 HAS SOPS 33909 HAS SOUS 14584 HAS SOUPS 14555 WITH SCORE 14589.238
AT ITER 210 NEW BEST:: SOT 48664 SOS 34238 HAS SOPS 33910 HAS SOUS 14554 HAS SOUPS 14526 WITH SCORE 14560.238
AT ITER 216 NEW BEST:: SOT 48717 SOS 34291 HAS SOPS 33965 HAS SOUS 14503 HAS SOUPS 14477 WITH SCORE 14511.291
AT ITER 220 NEW BEST:: SOT 48695 SOS 34270 HAS SOPS 33943 HAS SOUS 14465 HAS SOUPS 14438 WITH SCORE 14472.27
AT ITER 222 NEW BEST:: SOT 48707 SOS 34280 HAS SOPS 33953 HAS SOUS 14443 HAS SOUPS 14416 WITH SCORE 14450.28
AT ITER 225 NEW BEST:: SOT 48707 SOS 34029 HAS SOPS 33452 HAS SOUS 14433 HAS SOUPS 14406 WITH SCORE 14440.029
AT ITER 226 NEW BEST:: SOT 48707 SOS 31866 HAS SOPS 31864 HAS SOUS 14311 HAS SOUPS 14309 WITH SCORE 14340.866
AT ITER 233 NEW BEST:: SOT 48227 SOS 31386 HAS SOPS 31384 HAS SOUS 13831 HAS SOUPS 13829 WITH SCORE 13860.386
AT ITER 235 NEW BEST:: SOT 47191 SOS 30379 HAS SOPS 30377 HAS SOUS 12954 HAS SOUPS 12952 WITH SCORE 12982.379
AT ITER 237 NEW BEST:: SOT 46999 SOS 30187 HAS SOPS 30185 HAS SOUS 12552 HAS SOUPS 12550 WITH SCORE 12580.187
AT ITER 242 NEW BEST:: SOT 46969 SOS 30238 HAS SOPS 30238 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12564.238
AT ITER 247 NEW BEST:: SOT 46836 SOS 30106 HAS SOPS 30105 HAS SOUS 12409 HAS SOUPS 12408 WITH SCORE 12438.106
AT ITER 273 NEW BEST:: SOT 46814 SOS 30086 HAS SOPS 30085 HAS SOUS 12344 HAS SOUPS 12343 WITH SCORE 12373.086
AT ITER 277 NEW BEST:: SOT 46774 SOS 30049 HAS SOPS 30042 HAS SOUS 12300 HAS SOUPS 12296 WITH SCORE 12326.049
AT ITER 281 NEW BEST:: SOT 46560 SOS 29835 HAS SOPS 29828 HAS SOUS 11822 HAS SOUPS 11818 WITH SCORE 11847.835
AT ITER 284 NEW BEST:: SOT 46503 SOS 29778 HAS SOPS 29771 HAS SOUS 11719 HAS SOUPS 11715 WITH SCORE 11744.778
AT ITER 287 NEW BEST:: SOT 47044 SOS 30368 HAS SOPS 30368 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11600.368
AT ITER 298 NEW BEST:: SOT 46960 SOS 30284 HAS SOPS 30284 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11364.284
AT ITER 305 NEW BEST:: SOT 46950 SOS 30274 HAS SOPS 30274 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11250.274
AT ITER 310 NEW BEST:: SOT 46940 SOS 30264 HAS SOPS 30264 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11240.264
AT ITER 317 NEW BEST:: SOT 46935 SOS 30237 HAS SOPS 30237 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11213.237
AT ITER 328 NEW BEST:: SOT 46945 SOS 30247 HAS SOPS 30247 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11182.247
AT ITER 339 NEW BEST:: SOT 46965 SOS 30267 HAS SOPS 30267 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11169.267
AT ITER 346 NEW BEST:: SOT 46964 SOS 30266 HAS SOPS 30266 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11168.266
AT ITER 355 NEW BEST:: SOT 46847 SOS 30149 HAS SOPS 30149 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11083.149
AT ITER 361 NEW BEST:: SOT 46352 SOS 30208 HAS SOPS 30208 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10620.208
AT ITER 396 NEW BEST:: SOT 46361 SOS 30226 HAS SOPS 30226 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10569.226
AT ITER 403 NEW BEST:: SOT 46361 SOS 30226 HAS SOPS 30226 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10563.226
AT ITER 404 NEW BEST:: SOT 46067 SOS 30181 HAS SOPS 30112 HAS SOUS 10363 HAS SOUPS 10360 WITH SCORE 10390.181
AT ITER 409 NEW BEST:: SOT 46067 SOS 30190 HAS SOPS 30121 HAS SOUS 10342 HAS SOUPS 10339 WITH SCORE 10369.19
AT ITER 410 NEW BEST:: SOT 46046 SOS 30161 HAS SOPS 30092 HAS SOUS 10294 HAS SOUPS 10291 WITH SCORE 10321.161
AT ITER 428 NEW BEST:: SOT 46068 SOS 30183 HAS SOPS 30114 HAS SOUS 10191 HAS SOUPS 10188 WITH SCORE 10218.183
AT ITER 433 NEW BEST:: SOT 45840 SOS 30253 HAS SOPS 30184 HAS SOUS 9944 HAS SOUPS 9941 WITH SCORE 9971.253
AT ITER 434 NEW BEST:: SOT 45916 SOS 30329 HAS SOPS 30260 HAS SOUS 9714 HAS SOUPS 9711 WITH SCORE 9741.329
AT ITER 439 NEW BEST:: SOT 45916 SOS 30324 HAS SOPS 30255 HAS SOUS 9701 HAS SOUPS 9698 WITH SCORE 9728.324
AT ITER 456 NEW BEST:: SOT 45916 SOS 30324 HAS SOPS 30255 HAS SOUS 9694 HAS SOUPS 9691 WITH SCORE 9721.324
AT ITER 477 NEW BEST:: SOT 45916 SOS 30324 HAS SOPS 30255 HAS SOUS 9692 HAS SOUPS 9689 WITH SCORE 9719.324
AT ITER 485 NEW BEST:: SOT 45916 SOS 30310 HAS SOPS 30241 HAS SOUS 9664 HAS SOUPS 9661 WITH SCORE 9691.31
AT ITER 501 NEW BEST:: SOT 45926 SOS 30314 HAS SOPS 30245 HAS SOUS 9651 HAS SOUPS 9648 WITH SCORE 9678.314
AT ITER 505 NEW BEST:: SOT 45776 SOS 30164 HAS SOPS 30095 HAS SOUS 9442 HAS SOUPS 9439 WITH SCORE 9469.164
AT ITER 506 NEW BEST:: SOT 45776 SOS 30154 HAS SOPS 30085 HAS SOUS 9432 HAS SOUPS 9429 WITH SCORE 9459.154
AT ITER 510 NEW BEST:: SOT 45792 SOS 30154 HAS SOPS 30085 HAS SOUS 9416 HAS SOUPS 9413 WITH SCORE 9443.154
AT ITER 530 NEW BEST:: SOT 45756 SOS 30118 HAS SOPS 30049 HAS SOUS 9398 HAS SOUPS 9395 WITH SCORE 9425.118
AT ITER 532 NEW BEST:: SOT 45666 SOS 29966 HAS SOPS 29897 HAS SOUS 9287 HAS SOUPS 9284 WITH SCORE 9313.966
AT ITER 541 NEW BEST:: SOT 45616 SOS 29916 HAS SOPS 29847 HAS SOUS 9217 HAS SOUPS 9214 WITH SCORE 9243.916
AT ITER 553 NEW BEST:: SOT 45588 SOS 29888 HAS SOPS 29819 HAS SOUS 9190 HAS SOUPS 9187 WITH SCORE 9216.888
AT ITER 563 NEW BEST:: SOT 45611 SOS 29999 HAS SOPS 29930 HAS SOUS 9176 HAS SOUPS 9173 WITH SCORE 9202.999
AT ITER 577 NEW BEST:: SOT 45563 SOS 29951 HAS SOPS 29882 HAS SOUS 9078 HAS SOUPS 9075 WITH SCORE 9104.951
AT ITER 579 NEW BEST:: SOT 45476 SOS 29731 HAS SOPS 29662 HAS SOUS 8907 HAS SOUPS 8904 WITH SCORE 8933.731
AT ITER 583 NEW BEST:: SOT 45405 SOS 29792 HAS SOPS 29723 HAS SOUS 8851 HAS SOUPS 8848 WITH SCORE 8877.792
AT ITER 603 NEW BEST:: SOT 45405 SOS 29787 HAS SOPS 29718 HAS SOUS 8846 HAS SOUPS 8843 WITH SCORE 8872.787
AT ITER 606 NEW BEST:: SOT 45398 SOS 27336 HAS SOPS 26922 HAS SOUS 8797 HAS SOUPS 8779 WITH SCORE 8806.336
AT ITER 622 NEW BEST:: SOT 45380 SOS 27318 HAS SOPS 26904 HAS SOUS 8755 HAS SOUPS 8737 WITH SCORE 8764.318
AT ITER 623 NEW BEST:: SOT 45370 SOS 27299 HAS SOPS 26885 HAS SOUS 8736 HAS SOUPS 8718 WITH SCORE 8745.299
AT ITER 625 NEW BEST:: SOT 45363 SOS 27305 HAS SOPS 26891 HAS SOUS 8677 HAS SOUPS 8659 WITH SCORE 8686.305
AT ITER 639 NEW BEST:: SOT 45359 SOS 27170 HAS SOPS 26756 HAS SOUS 8673 HAS SOUPS 8655 WITH SCORE 8682.17
AT ITER 644 NEW BEST:: SOT 45353 SOS 27053 HAS SOPS 26685 HAS SOUS 8643 HAS SOUPS 8627 WITH SCORE 8654.053
AT ITER 667 NEW BEST:: SOT 45254 SOS 26954 HAS SOPS 26586 HAS SOUS 8558 HAS SOUPS 8542 WITH SCORE 8568.954
AT ITER 708 NEW BEST:: SOT 45447 SOS 27147 HAS SOPS 26779 HAS SOUS 8150 HAS SOUPS 8134 WITH SCORE 8161.147
AT ITER 732 NEW BEST:: SOT 45378 SOS 27078 HAS SOPS 26710 HAS SOUS 8014 HAS SOUPS 7998 WITH SCORE 8025.078
AT ITER 745 NEW BEST:: SOT 45304 SOS 26998 HAS SOPS 26630 HAS SOUS 7934 HAS SOUPS 7918 WITH SCORE 7944.998
AT ITER 770 NEW BEST:: SOT 45304 SOS 26998 HAS SOPS 26630 HAS SOUS 7914 HAS SOUPS 7898 WITH SCORE 7924.998
AT ITER 772 NEW BEST:: SOT 45583 SOS 27277 HAS SOPS 26909 HAS SOUS 7907 HAS SOUPS 7891 WITH SCORE 7918.277
AT ITER 797 NEW BEST:: SOT 45638 SOS 27332 HAS SOPS 26964 HAS SOUS 7887 HAS SOUPS 7871 WITH SCORE 7898.332
AT ITER 798 NEW BEST:: SOT 45642 SOS 27336 HAS SOPS 26968 HAS SOUS 7835 HAS SOUPS 7819 WITH SCORE 7846.336
AT ITER 808 NEW BEST:: SOT 45639 SOS 27333 HAS SOPS 26965 HAS SOUS 7821 HAS SOUPS 7805 WITH SCORE 7832.333
AT ITER 813 NEW BEST:: SOT 45639 SOS 27238 HAS SOPS 26870 HAS SOUS 7821 HAS SOUPS 7805 WITH SCORE 7832.238
AT ITER 817 NEW BEST:: SOT 45608 SOS 27207 HAS SOPS 26839 HAS SOUS 7759 HAS SOUPS 7743 WITH SCORE 7770.207
AT ITER 822 NEW BEST:: SOT 45614 SOS 27213 HAS SOPS 26845 HAS SOUS 7756 HAS SOUPS 7740 WITH SCORE 7767.213
AT ITER 835 NEW BEST:: SOT 45582 SOS 27181 HAS SOPS 26813 HAS SOUS 7660 HAS SOUPS 7644 WITH SCORE 7671.181
AT ITER 839 NEW BEST:: SOT 45576 SOS 27175 HAS SOPS 26807 HAS SOUS 7659 HAS SOUPS 7643 WITH SCORE 7670.175
AT ITER 840 NEW BEST:: SOT 45576 SOS 27156 HAS SOPS 26788 HAS SOUS 7659 HAS SOUPS 7643 WITH SCORE 7670.156
AT ITER 853 NEW BEST:: SOT 45643 SOS 27223 HAS SOPS 26855 HAS SOUS 7648 HAS SOUPS 7632 WITH SCORE 7659.223
AT ITER 865 NEW BEST:: SOT 45643 SOS 27225 HAS SOPS 26857 HAS SOUS 7635 HAS SOUPS 7619 WITH SCORE 7646.225
AT ITER 877 NEW BEST:: SOT 45613 SOS 27194 HAS SOPS 26826 HAS SOUS 7604 HAS SOUPS 7588 WITH SCORE 7615.194
AT ITER 895 NEW BEST:: SOT 45617 SOS 27380 HAS SOPS 27012 HAS SOUS 7585 HAS SOUPS 7569 WITH SCORE 7596.38
AT ITER 896 NEW BEST:: SOT 45615 SOS 27325 HAS SOPS 26980 HAS SOUS 7570 HAS SOUPS 7555 WITH SCORE 7582.325
AT ITER 912 NEW BEST:: SOT 45611 SOS 27315 HAS SOPS 26970 HAS SOUS 7560 HAS SOUPS 7545 WITH SCORE 7572.315
AT ITER 923 NEW BEST:: SOT 45612 SOS 27316 HAS SOPS 26971 HAS SOUS 7559 HAS SOUPS 7544 WITH SCORE 7571.316
AT ITER 930 NEW BEST:: SOT 45608 SOS 27312 HAS SOPS 26967 HAS SOUS 7530 HAS SOUPS 7515 WITH SCORE 7542.312
AT ITER 932 NEW BEST:: SOT 45630 SOS 27332 HAS SOPS 26987 HAS SOUS 7511 HAS SOUPS 7496 WITH SCORE 7523.332
AT ITER 941 NEW BEST:: SOT 45636 SOS 27322 HAS SOPS 26977 HAS SOUS 7501 HAS SOUPS 7486 WITH SCORE 7513.322
AT ITER 946 NEW BEST:: SOT 45636 SOS 27320 HAS SOPS 26975 HAS SOUS 7499 HAS SOUPS 7484 WITH SCORE 7511.32
AT ITER 956 NEW BEST:: SOT 45636 SOS 27320 HAS SOPS 26975 HAS SOUS 7479 HAS SOUPS 7464 WITH SCORE 7491.32
AT ITER 979 NEW BEST:: SOT 45622 SOS 27306 HAS SOPS 26961 HAS SOUS 7451 HAS SOUPS 7436 WITH SCORE 7463.306
AT ITER 982 NEW BEST:: SOT 45583 SOS 27675 HAS SOPS 27162 HAS SOUS 7441 HAS SOUPS 7412 WITH SCORE 7439.675
AT ITER 1010 NEW BEST:: SOT 45581 SOS 27673 HAS SOPS 27160 HAS SOUS 7422 HAS SOUPS 7393 WITH SCORE 7420.673
AT ITER 1016 NEW BEST:: SOT 45581 SOS 27672 HAS SOPS 27159 HAS SOUS 7421 HAS SOUPS 7392 WITH SCORE 7419.672
AT ITER 1029 NEW BEST:: SOT 45577 SOS 27671 HAS SOPS 27158 HAS SOUS 7420 HAS SOUPS 7391 WITH SCORE 7418.671
AT ITER 1051 NEW BEST:: SOT 45580 SOS 27665 HAS SOPS 27152 HAS SOUS 7414 HAS SOUPS 7385 WITH SCORE 7412.665
AT ITER 1073 NEW BEST:: SOT 45553 SOS 27640 HAS SOPS 27127 HAS SOUS 7324 HAS SOUPS 7295 WITH SCORE 7322.64
AT ITER 1128 NEW BEST:: SOT 45554 SOS 27641 HAS SOPS 27128 HAS SOUS 7317 HAS SOUPS 7288 WITH SCORE 7315.641
AT ITER 1135 NEW BEST:: SOT 45550 SOS 27631 HAS SOPS 27118 HAS SOUS 7307 HAS SOUPS 7278 WITH SCORE 7305.631
AT ITER 1143 NEW BEST:: SOT 45550 SOS 27631 HAS SOPS 27118 HAS SOUS 7301 HAS SOUPS 7272 WITH SCORE 7299.631
AT ITER 1151 NEW BEST:: SOT 45531 SOS 27612 HAS SOPS 27099 HAS SOUS 7282 HAS SOUPS 7253 WITH SCORE 7280.612
AT ITER 1162 NEW BEST:: SOT 45530 SOS 27611 HAS SOPS 27098 HAS SOUS 7280 HAS SOUPS 7251 WITH SCORE 7278.611
AT ITER 1199 NEW BEST:: SOT 45457 SOS 27538 HAS SOPS 27025 HAS SOUS 7246 HAS SOUPS 7217 WITH SCORE 7244.538
AT ITER 1215 NEW BEST:: SOT 45450 SOS 27531 HAS SOPS 27018 HAS SOUS 7239 HAS SOUPS 7210 WITH SCORE 7237.531
AT ITER 1291 NEW BEST:: SOT 45449 SOS 27530 HAS SOPS 27017 HAS SOUS 7238 HAS SOUPS 7209 WITH SCORE 7236.53
AT ITER 1300 NEW BEST:: SOT 45441 SOS 27278 HAS SOPS 26765 HAS SOUS 7214 HAS SOUPS 7185 WITH SCORE 7212.278
AT ITER 1302 NEW BEST:: SOT 45347 SOS 27184 HAS SOPS 26671 HAS SOUS 7134 HAS SOUPS 7105 WITH SCORE 7132.184
AT ITER 1304 NEW BEST:: SOT 45347 SOS 27218 HAS SOPS 26705 HAS SOUS 7130 HAS SOUPS 7101 WITH SCORE 7128.218
AT ITER 1372 NEW BEST:: SOT 45347 SOS 27218 HAS SOPS 26705 HAS SOUS 7126 HAS SOUPS 7097 WITH SCORE 7124.218
AT ITER 1376 NEW BEST:: SOT 45349 SOS 25916 HAS SOPS 24886 HAS SOUS 7086 HAS SOUPS 7009 WITH SCORE 7034.916
AT ITER 1402 NEW BEST:: SOT 45349 SOS 25667 HAS SOPS 24706 HAS SOUS 7071 HAS SOUPS 6997 WITH SCORE 7022.667
AT ITER 1411 NEW BEST:: SOT 45347 SOS 25665 HAS SOPS 24704 HAS SOUS 7069 HAS SOUPS 6995 WITH SCORE 7020.665
AT ITER 1425 NEW BEST:: SOT 45347 SOS 25735 HAS SOPS 24874 HAS SOUS 7067 HAS SOUPS 6993 WITH SCORE 7018.735
AT ITER 1428 NEW BEST:: SOT 45484 SOS 25872 HAS SOPS 25011 HAS SOUS 7055 HAS SOUPS 6981 WITH SCORE 7006.872
AT ITER 1429 NEW BEST:: SOT 45481 SOS 25869 HAS SOPS 25008 HAS SOUS 7042 HAS SOUPS 6968 WITH SCORE 6993.869
AT ITER 1455 NEW BEST:: SOT 45472 SOS 25875 HAS SOPS 25014 HAS SOUS 7039 HAS SOUPS 6965 WITH SCORE 6990.875
AT ITER 1460 NEW BEST:: SOT 45472 SOS 25875 HAS SOPS 25014 HAS SOUS 7038 HAS SOUPS 6964 WITH SCORE 6989.875
AT ITER 1495 NEW BEST:: SOT 45472 SOS 25813 HAS SOPS 24954 HAS SOUS 7032 HAS SOUPS 6958 WITH SCORE 6983.813
AT ITER 1521 NEW BEST:: SOT 45477 SOS 25849 HAS SOPS 24969 HAS SOUS 7025 HAS SOUPS 6952 WITH SCORE 6977.849
AT ITER 1556 NEW BEST:: SOT 45477 SOS 25845 HAS SOPS 24965 HAS SOUS 7021 HAS SOUPS 6948 WITH SCORE 6973.845
AT ITER 1558 NEW BEST:: SOT 45477 SOS 25843 HAS SOPS 24963 HAS SOUS 7019 HAS SOUPS 6946 WITH SCORE 6971.843
AT ITER 1569 NEW BEST:: SOT 45477 SOS 25834 HAS SOPS 24954 HAS SOUS 7019 HAS SOUPS 6946 WITH SCORE 6971.834
AT ITER 1574 NEW BEST:: SOT 45475 SOS 25830 HAS SOPS 24950 HAS SOUS 7015 HAS SOUPS 6942 WITH SCORE 6967.83
AT ITER 1586 NEW BEST:: SOT 45469 SOS 25824 HAS SOPS 24944 HAS SOUS 7010 HAS SOUPS 6937 WITH SCORE 6962.824
AT ITER 1637 NEW BEST:: SOT 45393 SOS 25748 HAS SOPS 24868 HAS SOUS 6818 HAS SOUPS 6745 WITH SCORE 6770.748
AT ITER 1651 NEW BEST:: SOT 45338 SOS 25852 HAS SOPS 24883 HAS SOUS 6776 HAS SOUPS 6699 WITH SCORE 6724.852
AT ITER 1663 NEW BEST:: SOT 45318 SOS 25832 HAS SOPS 24863 HAS SOUS 6756 HAS SOUPS 6679 WITH SCORE 6704.832
AT ITER 1687 NEW BEST:: SOT 45171 SOS 25685 HAS SOPS 24716 HAS SOUS 6658 HAS SOUPS 6581 WITH SCORE 6606.685
AT ITER 1754 NEW BEST:: SOT 45175 SOS 25609 HAS SOPS 24640 HAS SOUS 6658 HAS SOUPS 6581 WITH SCORE 6606.609
AT ITER 1781 NEW BEST:: SOT 45172 SOS 25496 HAS SOPS 24407 HAS SOUS 6651 HAS SOUPS 6574 WITH SCORE 6599.496
AT ITER 1782 NEW BEST:: SOT 45191 SOS 25024 HAS SOPS 24066 HAS SOUS 6617 HAS SOUPS 6540 WITH SCORE 6565.024
AT ITER 1819 NEW BEST:: SOT 45103 SOS 24936 HAS SOPS 23978 HAS SOUS 6529 HAS SOUPS 6452 WITH SCORE 6476.936
AT ITER 1826 NEW BEST:: SOT 45072 SOS 24905 HAS SOPS 23947 HAS SOUS 6469 HAS SOUPS 6392 WITH SCORE 6416.905
AT ITER 1841 NEW BEST:: SOT 44981 SOS 24856 HAS SOPS 23898 HAS SOUS 6452 HAS SOUPS 6375 WITH SCORE 6399.856
AT ITER 1896 NEW BEST:: SOT 44979 SOS 24983 HAS SOPS 24025 HAS SOUS 6446 HAS SOUPS 6369 WITH SCORE 6393.983
AT ITER 1920 NEW BEST:: SOT 44996 SOS 24992 HAS SOPS 24041 HAS SOUS 6445 HAS SOUPS 6361 WITH SCORE 6385.992
AT ITER 1951 NEW BEST:: SOT 44810 SOS 24806 HAS SOPS 23855 HAS SOUS 6259 HAS SOUPS 6175 WITH SCORE 6199.806
AT ITER 1985 NEW BEST:: SOT 44804 SOS 24308 HAS SOPS 23495 HAS SOUS 6229 HAS SOUPS 6151 WITH SCORE 6175.308
AT ITER 2058 NEW BEST:: SOT 44804 SOS 24270 HAS SOPS 23457 HAS SOUS 6191 HAS SOUPS 6113 WITH SCORE 6137.27
AT ITER 2087 NEW BEST:: SOT 44801 SOS 24264 HAS SOPS 23451 HAS SOUS 6185 HAS SOUPS 6107 WITH SCORE 6131.264
AT ITER 2100 NEW BEST:: SOT 44797 SOS 24260 HAS SOPS 23447 HAS SOUS 6177 HAS SOUPS 6099 WITH SCORE 6123.26
AT ITER 2179 NEW BEST:: SOT 44794 SOS 24277 HAS SOPS 23464 HAS SOUS 6175 HAS SOUPS 6097 WITH SCORE 6121.277
AT ITER 2199 NEW BEST:: SOT 44812 SOS 24148 HAS SOPS 23049 HAS SOUS 6178 HAS SOUPS 6075 WITH SCORE 6099.148
AT ITER 2273 NEW BEST:: SOT 44811 SOS 24145 HAS SOPS 23046 HAS SOUS 6175 HAS SOUPS 6072 WITH SCORE 6096.145
AT ITER 2292 NEW BEST:: SOT 44801 SOS 24179 HAS SOPS 23160 HAS SOUS 6162 HAS SOUPS 6064 WITH SCORE 6088.179
AT ITER 2313 NEW BEST:: SOT 44801 SOS 23999 HAS SOPS 23052 HAS SOUS 6156 HAS SOUPS 6064 WITH SCORE 6087.999
AT ITER 2370 NEW BEST:: SOT 44730 SOS 23811 HAS SOPS 22864 HAS SOUS 6012 HAS SOUPS 5920 WITH SCORE 5943.811
AT ITER 2372 NEW BEST:: SOT 44730 SOS 23809 HAS SOPS 22862 HAS SOUS 6010 HAS SOUPS 5918 WITH SCORE 5941.809
AT ITER 2407 NEW BEST:: SOT 44730 SOS 23880 HAS SOPS 22922 HAS SOUS 6006 HAS SOUPS 5915 WITH SCORE 5938.88
AT ITER 2454 NEW BEST:: SOT 44727 SOS 23835 HAS SOPS 22899 HAS SOUS 6002 HAS SOUPS 5910 WITH SCORE 5933.835
AT ITER 2468 NEW BEST:: SOT 44727 SOS 23775 HAS SOPS 22839 HAS SOUS 5992 HAS SOUPS 5900 WITH SCORE 5923.775
AT ITER 2502 NEW BEST:: SOT 44729 SOS 23769 HAS SOPS 22851 HAS SOUS 5989 HAS SOUPS 5898 WITH SCORE 5921.769
AT ITER 2505 NEW BEST:: SOT 44726 SOS 23766 HAS SOPS 22848 HAS SOUS 5983 HAS SOUPS 5892 WITH SCORE 5915.766
AT ITER 2598 NEW BEST:: SOT 44696 SOS 23736 HAS SOPS 22818 HAS SOUS 5963 HAS SOUPS 5872 WITH SCORE 5895.736
AT ITER 2608 NEW BEST:: SOT 44678 SOS 23718 HAS SOPS 22800 HAS SOUS 5947 HAS SOUPS 5856 WITH SCORE 5879.718
AT ITER 2680 NEW BEST:: SOT 44651 SOS 23691 HAS SOPS 22773 HAS SOUS 5920 HAS SOUPS 5829 WITH SCORE 5852.691
AT ITER 2681 NEW BEST:: SOT 44532 SOS 23568 HAS SOPS 22650 HAS SOUS 5797 HAS SOUPS 5706 WITH SCORE 5729.568
AT ITER 2781 NEW BEST:: SOT 44572 SOS 23608 HAS SOPS 22690 HAS SOUS 5769 HAS SOUPS 5678 WITH SCORE 5701.608
AT ITER 2855 NEW BEST:: SOT 44555 SOS 23591 HAS SOPS 22673 HAS SOUS 5735 HAS SOUPS 5644 WITH SCORE 5667.591
AT ITER 2998 NEW BEST:: SOT 44555 SOS 23589 HAS SOPS 22671 HAS SOUS 5733 HAS SOUPS 5642 WITH SCORE 5665.589
AT ITER 3022 NEW BEST:: SOT 44553 SOS 23587 HAS SOPS 22669 HAS SOUS 5731 HAS SOUPS 5640 WITH SCORE 5663.587
AT ITER 3103 NEW BEST:: SOT 44513 SOS 23547 HAS SOPS 22629 HAS SOUS 5691 HAS SOUPS 5600 WITH SCORE 5623.547
AT ITER 3221 NEW BEST:: SOT 44506 SOS 23540 HAS SOPS 22622 HAS SOUS 5676 HAS SOUPS 5585 WITH SCORE 5608.54
AT ITER 3320 NEW BEST:: SOT 44467 SOS 23501 HAS SOPS 22583 HAS SOUS 5608 HAS SOUPS 5517 WITH SCORE 5540.501
AT ITER 3362 NEW BEST:: SOT 44467 SOS 23381 HAS SOPS 22463 HAS SOUS 5604 HAS SOUPS 5513 WITH SCORE 5536.381
AT ITER 3363 NEW BEST:: SOT 44470 SOS 23417 HAS SOPS 22406 HAS SOUS 5580 HAS SOUPS 5490 WITH SCORE 5513.417
AT ITER 3400 NEW BEST:: SOT 44469 SOS 23416 HAS SOPS 22405 HAS SOUS 5578 HAS SOUPS 5488 WITH SCORE 5511.416
AT ITER 3420 NEW BEST:: SOT 44468 SOS 23415 HAS SOPS 22404 HAS SOUS 5577 HAS SOUPS 5487 WITH SCORE 5510.415
AT ITER 3432 NEW BEST:: SOT 44468 SOS 23418 HAS SOPS 22407 HAS SOUS 5574 HAS SOUPS 5484 WITH SCORE 5507.418
AT ITER 3618 NEW BEST:: SOT 44450 SOS 23400 HAS SOPS 22389 HAS SOUS 5554 HAS SOUPS 5464 WITH SCORE 5487.4
AT ITER 3623 NEW BEST:: SOT 44450 SOS 23390 HAS SOPS 22379 HAS SOUS 5554 HAS SOUPS 5464 WITH SCORE 5487.39
AT ITER 3834 NEW BEST:: SOT 44445 SOS 23225 HAS SOPS 22274 HAS SOUS 5544 HAS SOUPS 5459 WITH SCORE 5482.225
AT ITER 3973 NEW BEST:: SOT 44408 SOS 23186 HAS SOPS 22235 HAS SOUS 5526 HAS SOUPS 5441 WITH SCORE 5464.186
AT ITER 4196 NEW BEST:: SOT 44406 SOS 23184 HAS SOPS 22233 HAS SOUS 5526 HAS SOUPS 5441 WITH SCORE 5464.184
AT ITER 4284 NEW BEST:: SOT 44386 SOS 23164 HAS SOPS 22213 HAS SOUS 5522 HAS SOUPS 5437 WITH SCORE 5460.164
AT ITER 4293 NEW BEST:: SOT 44386 SOS 23165 HAS SOPS 22214 HAS SOUS 5521 HAS SOUPS 5436 WITH SCORE 5459.165
AT ITER 4362 NEW BEST:: SOT 44376 SOS 23155 HAS SOPS 22204 HAS SOUS 5521 HAS SOUPS 5436 WITH SCORE 5459.155
AT ITER 4421 NEW BEST:: SOT 44374 SOS 23153 HAS SOPS 22202 HAS SOUS 5519 HAS SOUPS 5434 WITH SCORE 5457.153
AT ITER 4631 NEW BEST:: SOT 44343 SOS 23122 HAS SOPS 22171 HAS SOUS 5488 HAS SOUPS 5403 WITH SCORE 5426.122
AT ITER 4785 NEW BEST:: SOT 44342 SOS 23121 HAS SOPS 22170 HAS SOUS 5488 HAS SOUPS 5403 WITH SCORE 5426.121
AT ITER 4846 NEW BEST:: SOT 44341 SOS 23101 HAS SOPS 22150 HAS SOUS 5486 HAS SOUPS 5401 WITH SCORE 5424.101
AT ITER 4955 NEW BEST:: SOT 44340 SOS 23100 HAS SOPS 22149 HAS SOUS 5485 HAS SOUPS 5400 WITH SCORE 5423.1
AT ITER 4994 NEW BEST:: SOT 44341 SOS 23101 HAS SOPS 22170 HAS SOUS 5482 HAS SOUPS 5397 WITH SCORE 5420.101
AT ITER 5121 NEW BEST:: SOT 44339 SOS 23099 HAS SOPS 22168 HAS SOUS 5480 HAS SOUPS 5395 WITH SCORE 5418.099
AT ITER 5211 NEW BEST:: SOT 44339 SOS 23099 HAS SOPS 22168 HAS SOUS 5470 HAS SOUPS 5385 WITH SCORE 5408.099
AT ITER 5239 NEW BEST:: SOT 44311 SOS 23071 HAS SOPS 22140 HAS SOUS 5440 HAS SOUPS 5355 WITH SCORE 5378.071
AT ITER 5269 NEW BEST:: SOT 44306 SOS 23069 HAS SOPS 22138 HAS SOUS 5438 HAS SOUPS 5353 WITH SCORE 5376.069
AT ITER 5324 NEW BEST:: SOT 44276 SOS 23039 HAS SOPS 22108 HAS SOUS 5380 HAS SOUPS 5295 WITH SCORE 5318.039
AT ITER 5584 NEW BEST:: SOT 44275 SOS 23007 HAS SOPS 22088 HAS SOUS 5377 HAS SOUPS 5293 WITH SCORE 5316.007
AT ITER 5803 NEW BEST:: SOT 44275 SOS 22986 HAS SOPS 22088 HAS SOUS 5377 HAS SOUPS 5293 WITH SCORE 5315.986
AT ITER 5923 NEW BEST:: SOT 44274 SOS 23021 HAS SOPS 22123 HAS SOUS 5374 HAS SOUPS 5290 WITH SCORE 5313.021
AT ITER 6159 NEW BEST:: SOT 44273 SOS 23020 HAS SOPS 22122 HAS SOUS 5369 HAS SOUPS 5285 WITH SCORE 5308.02
AT ITER 6197 NEW BEST:: SOT 44269 SOS 23017 HAS SOPS 22119 HAS SOUS 5366 HAS SOUPS 5282 WITH SCORE 5305.017
AT ITER 6263 NEW BEST:: SOT 44268 SOS 23016 HAS SOPS 22118 HAS SOUS 5365 HAS SOUPS 5281 WITH SCORE 5304.016
AT ITER 6402 NEW BEST:: SOT 44269 SOS 23015 HAS SOPS 22117 HAS SOUS 5364 HAS SOUPS 5280 WITH SCORE 5303.015
AT ITER 6542 NEW BEST:: SOT 44269 SOS 22975 HAS SOPS 22097 HAS SOUS 5363 HAS SOUPS 5279 WITH SCORE 5301.975
AT ITER 6624 NEW BEST:: SOT 44268 SOS 22974 HAS SOPS 22096 HAS SOUS 5362 HAS SOUPS 5278 WITH SCORE 5300.974
AT ITER 6663 NEW BEST:: SOT 44261 SOS 22967 HAS SOPS 22089 HAS SOUS 5356 HAS SOUPS 5272 WITH SCORE 5294.967
AT ITER 6702 NEW BEST:: SOT 44258 SOS 22785 HAS SOPS 22036 HAS SOUS 5357 HAS SOUPS 5272 WITH SCORE 5294.785
AT ITER 6741 NEW BEST:: SOT 44258 SOS 22783 HAS SOPS 22106 HAS SOUS 5357 HAS SOUPS 5270 WITH SCORE 5292.783
AT ITER 6754 NEW BEST:: SOT 44258 SOS 22742 HAS SOPS 22076 HAS SOUS 5356 HAS SOUPS 5269 WITH SCORE 5291.742
AT ITER 6758 NEW BEST:: SOT 44257 SOS 22739 HAS SOPS 22073 HAS SOUS 5353 HAS SOUPS 5266 WITH SCORE 5288.739
AT ITER 6956 NEW BEST:: SOT 44251 SOS 22733 HAS SOPS 22067 HAS SOUS 5341 HAS SOUPS 5254 WITH SCORE 5276.733
AT ITER 7121 NEW BEST:: SOT 44250 SOS 22701 HAS SOPS 22037 HAS SOUS 5338 HAS SOUPS 5252 WITH SCORE 5274.701
AT ITER 7159 NEW BEST:: SOT 44249 SOS 22669 HAS SOPS 22007 HAS SOUS 5335 HAS SOUPS 5250 WITH SCORE 5272.669
AT ITER 7174 NEW BEST:: SOT 44278 SOS 22715 HAS SOPS 22005 HAS SOUS 5332 HAS SOUPS 5239 WITH SCORE 5261.715
AT ITER 7605 NEW BEST:: SOT 44279 SOS 22696 HAS SOPS 21986 HAS SOUS 5332 HAS SOUPS 5239 WITH SCORE 5261.696
AT ITER 7709 NEW BEST:: SOT 44275 SOS 22692 HAS SOPS 21982 HAS SOUS 5328 HAS SOUPS 5235 WITH SCORE 5257.692
AT ITER 8122 NEW BEST:: SOT 44265 SOS 22682 HAS SOPS 21972 HAS SOUS 5318 HAS SOUPS 5225 WITH SCORE 5247.682
AT ITER 8821 NEW BEST:: SOT 44265 SOS 22683 HAS SOPS 21973 HAS SOUS 5317 HAS SOUPS 5224 WITH SCORE 5246.683
AT ITER 8912 NEW BEST:: SOT 44259 SOS 22682 HAS SOPS 21972 HAS SOUS 5316 HAS SOUPS 5223 WITH SCORE 5245.682
AT ITER 8976 NEW BEST:: SOT 44259 SOS 22831 HAS SOPS 22022 HAS SOUS 5310 HAS SOUPS 5220 WITH SCORE 5242.831
AT ITER 9006 NEW BEST:: SOT 44259 SOS 22830 HAS SOPS 22021 HAS SOUS 5309 HAS SOUPS 5219 WITH SCORE 5241.83
AT ITER 9032 NEW BEST:: SOT 44259 SOS 22829 HAS SOPS 22020 HAS SOUS 5308 HAS SOUPS 5218 WITH SCORE 5240.829
AT ITER 9119 NEW BEST:: SOT 44259 SOS 22827 HAS SOPS 22018 HAS SOUS 5306 HAS SOUPS 5216 WITH SCORE 5238.827
AT ITER 9171 NEW BEST:: SOT 44259 SOS 22828 HAS SOPS 22019 HAS SOUS 5305 HAS SOUPS 5215 WITH SCORE 5237.828
AT ITER 9329 NEW BEST:: SOT 44259 SOS 22807 HAS SOPS 22019 HAS SOUS 5305 HAS SOUPS 5215 WITH SCORE 5237.807
AT ITER 9484 NEW BEST:: SOT 44254 SOS 22797 HAS SOPS 22009 HAS SOUS 5304 HAS SOUPS 5214 WITH SCORE 5236.797
AT ITER 9667 NEW BEST:: SOT 44253 SOS 22794 HAS SOPS 22006 HAS SOUS 5301 HAS SOUPS 5211 WITH SCORE 5233.794
AT ITER 9756 NEW BEST:: SOT 44251 SOS 22775 HAS SOPS 21987 HAS SOUS 5301 HAS SOUPS 5211 WITH SCORE 5233.775
AT ITER 9833 NEW BEST:: SOT 44250 SOS 22774 HAS SOPS 21986 HAS SOUS 5300 HAS SOUPS 5210 WITH SCORE 5232.774
AT ITER 9946 NEW BEST:: SOT 44241 SOS 22742 HAS SOPS 21854 HAS SOUS 5304 HAS SOUPS 5207 WITH SCORE 5229.742
STATE_SPACE STATES 406034376 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 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3051203628 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589747417640

--------------------
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="SimpleLoadBal-PT-10"
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 SimpleLoadBal-PT-10, 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 r153-oct2-158972910500616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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