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.r123-tajo-158961354800464.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 PolyORBLF-PT-S04J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 9.0K Apr 12 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 12 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 04:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 11 04:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Apr 10 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Apr 9 17:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 147K Apr 9 17:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.6M 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 1589643465167

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

Filename model.pnml
Petri model created: 554 places, 2998 transitions, 20754 arcs.
AT ITER 0 NEW BEST:: SOT 1051008 SOS 614446 HAS SOPS 607150 HAS SOUS 195397 HAS SOUPS 194897 WITH SCORE 195511.446
AT ITER 10 NEW BEST:: SOT 1050983 SOS 614396 HAS SOPS 607100 HAS SOUS 195347 HAS SOUPS 194847 WITH SCORE 195461.396
AT ITER 15 NEW BEST:: SOT 1018294 SOS 581804 HAS SOPS 574508 HAS SOUS 189042 HAS SOUPS 188542 WITH SCORE 189123.804
AT ITER 62 NEW BEST:: SOT 1018330 SOS 581840 HAS SOPS 574460 HAS SOUS 189058 HAS SOUPS 188518 WITH SCORE 189099.84
AT ITER 67 NEW BEST:: SOT 1017937 SOS 581503 HAS SOPS 574123 HAS SOUS 188703 HAS SOUPS 188163 WITH SCORE 188744.503
AT ITER 72 NEW BEST:: SOT 1017601 SOS 581174 HAS SOPS 573794 HAS SOUS 188415 HAS SOUPS 187875 WITH SCORE 188456.174
AT ITER 77 NEW BEST:: SOT 1017601 SOS 581288 HAS SOPS 573908 HAS SOUS 188263 HAS SOUPS 187723 WITH SCORE 188304.288
AT ITER 78 NEW BEST:: SOT 1017446 SOS 580966 HAS SOPS 573586 HAS SOUS 187941 HAS SOUPS 187401 WITH SCORE 187981.966
AT ITER 86 NEW BEST:: SOT 1017214 SOS 580767 HAS SOPS 573387 HAS SOUS 187921 HAS SOUPS 187381 WITH SCORE 187961.767
AT ITER 91 NEW BEST:: SOT 1016060 SOS 579692 HAS SOPS 572312 HAS SOUS 187458 HAS SOUPS 186918 WITH SCORE 187497.692
AT ITER 100 NEW BEST:: SOT 1016060 SOS 579546 HAS SOPS 572166 HAS SOUS 187458 HAS SOUPS 186918 WITH SCORE 187497.546
AT ITER 105 NEW BEST:: SOT 1015944 SOS 579430 HAS SOPS 572050 HAS SOUS 187372 HAS SOUPS 186832 WITH SCORE 187411.43
AT ITER 122 NEW BEST:: SOT 1015845 SOS 579349 HAS SOPS 571969 HAS SOUS 187287 HAS SOUPS 186747 WITH SCORE 187326.349
AT ITER 123 NEW BEST:: SOT 1015671 SOS 579175 HAS SOPS 571795 HAS SOUS 187170 HAS SOUPS 186630 WITH SCORE 187209.175
AT ITER 124 NEW BEST:: SOT 1013394 SOS 581126 HAS SOPS 572440 HAS SOUS 185281 HAS SOUPS 184465 WITH SCORE 185046.126
AT ITER 125 NEW BEST:: SOT 1013185 SOS 580982 HAS SOPS 572296 HAS SOUS 185138 HAS SOUPS 184322 WITH SCORE 184902.982
AT ITER 130 NEW BEST:: SOT 1013000 SOS 580797 HAS SOPS 572111 HAS SOUS 185021 HAS SOUPS 184205 WITH SCORE 184785.797
AT ITER 131 NEW BEST:: SOT 1012615 SOS 580335 HAS SOPS 571649 HAS SOUS 184559 HAS SOUPS 183743 WITH SCORE 184323.335
AT ITER 134 NEW BEST:: SOT 1011735 SOS 579455 HAS SOPS 570769 HAS SOUS 183759 HAS SOUPS 182943 WITH SCORE 183522.455
AT ITER 135 NEW BEST:: SOT 1011821 SOS 579601 HAS SOPS 570912 HAS SOUS 183748 HAS SOUPS 182932 WITH SCORE 183511.601
AT ITER 140 NEW BEST:: SOT 1012307 SOS 580603 HAS SOPS 566482 HAS SOUS 184457 HAS SOUPS 182733 WITH SCORE 183313.603
AT ITER 147 NEW BEST:: SOT 1011919 SOS 580293 HAS SOPS 566172 HAS SOUS 184063 HAS SOUPS 182339 WITH SCORE 182919.293
AT ITER 154 NEW BEST:: SOT 1011961 SOS 580335 HAS SOPS 566190 HAS SOUS 184079 HAS SOUPS 182333 WITH SCORE 182913.335
AT ITER 168 NEW BEST:: SOT 1011564 SOS 580053 HAS SOPS 565908 HAS SOUS 183732 HAS SOUPS 181986 WITH SCORE 182566.053
AT ITER 170 NEW BEST:: SOT 1011564 SOS 580026 HAS SOPS 565881 HAS SOUS 183705 HAS SOUPS 181959 WITH SCORE 182539.026
AT ITER 172 NEW BEST:: SOT 1011536 SOS 579998 HAS SOPS 565853 HAS SOUS 183673 HAS SOUPS 181927 WITH SCORE 182506.998
AT ITER 177 NEW BEST:: SOT 1011304 SOS 579738 HAS SOPS 565593 HAS SOUS 183399 HAS SOUPS 181653 WITH SCORE 182232.738
AT ITER 179 NEW BEST:: SOT 1011576 SOS 580300 HAS SOPS 566300 HAS SOUS 183036 HAS SOUPS 181290 WITH SCORE 181870.3
AT ITER 191 NEW BEST:: SOT 1011252 SOS 579694 HAS SOPS 565694 HAS SOUS 182670 HAS SOUPS 180924 WITH SCORE 181503.694
AT ITER 193 NEW BEST:: SOT 1011273 SOS 579841 HAS SOPS 565841 HAS SOUS 182434 HAS SOUPS 180688 WITH SCORE 181267.841
AT ITER 200 NEW BEST:: SOT 1010917 SOS 579545 HAS SOPS 565545 HAS SOUS 182066 HAS SOUPS 180320 WITH SCORE 180899.545
AT ITER 202 NEW BEST:: SOT 1010915 SOS 579543 HAS SOPS 565541 HAS SOUS 182064 HAS SOUPS 180318 WITH SCORE 180897.543
AT ITER 207 NEW BEST:: SOT 1010906 SOS 579837 HAS SOPS 565850 HAS SOUS 182062 HAS SOUPS 180317 WITH SCORE 180896.837
AT ITER 213 NEW BEST:: SOT 1010791 SOS 579722 HAS SOPS 565735 HAS SOUS 181890 HAS SOUPS 180145 WITH SCORE 180724.722
AT ITER 217 NEW BEST:: SOT 1010621 SOS 579600 HAS SOPS 565613 HAS SOUS 181876 HAS SOUPS 180131 WITH SCORE 180710.6
AT ITER 218 NEW BEST:: SOT 1010453 SOS 579440 HAS SOPS 565314 HAS SOUS 181578 HAS SOUPS 179833 WITH SCORE 180412.44
AT ITER 232 NEW BEST:: SOT 964709 SOS 549258 HAS SOPS 535132 HAS SOUS 173926 HAS SOUPS 172181 WITH SCORE 172730.258
AT ITER 235 NEW BEST:: SOT 964691 SOS 549240 HAS SOPS 535114 HAS SOUS 173890 HAS SOUPS 172145 WITH SCORE 172694.24
AT ITER 250 NEW BEST:: SOT 964691 SOS 549207 HAS SOPS 535081 HAS SOUS 173857 HAS SOUPS 172112 WITH SCORE 172661.207
AT ITER 257 NEW BEST:: SOT 964691 SOS 549218 HAS SOPS 535092 HAS SOUS 173827 HAS SOUPS 172082 WITH SCORE 172631.218
AT ITER 258 NEW BEST:: SOT 937908 SOS 522540 HAS SOPS 508414 HAS SOUS 168632 HAS SOUPS 166887 WITH SCORE 167409.54
AT ITER 262 NEW BEST:: SOT 937927 SOS 522559 HAS SOPS 508414 HAS SOUS 168613 HAS SOUPS 166868 WITH SCORE 167390.559
AT ITER 296 NEW BEST:: SOT 937927 SOS 522615 HAS SOPS 508470 HAS SOUS 168608 HAS SOUPS 166863 WITH SCORE 167385.615
AT ITER 299 NEW BEST:: SOT 938835 SOS 508145 HAS SOPS 494000 HAS SOUS 167469 HAS SOUPS 165724 WITH SCORE 166232.145
AT ITER 322 NEW BEST:: SOT 938752 SOS 508050 HAS SOPS 493905 HAS SOUS 167397 HAS SOUPS 165652 WITH SCORE 166160.05
AT ITER 324 NEW BEST:: SOT 938752 SOS 508050 HAS SOPS 493905 HAS SOUS 167367 HAS SOUPS 165622 WITH SCORE 166130.05
AT ITER 335 NEW BEST:: SOT 938752 SOS 507873 HAS SOPS 493728 HAS SOUS 167367 HAS SOUPS 165622 WITH SCORE 166129.873
AT ITER 342 NEW BEST:: SOT 931329 SOS 504281 HAS SOPS 494790 HAS SOUS 160966 HAS SOUPS 159433 WITH SCORE 159937.281
AT ITER 343 NEW BEST:: SOT 931177 SOS 504109 HAS SOPS 494618 HAS SOUS 160738 HAS SOUPS 159205 WITH SCORE 159709.109
AT ITER 346 NEW BEST:: SOT 931183 SOS 504109 HAS SOPS 494618 HAS SOUS 160732 HAS SOUPS 159199 WITH SCORE 159703.109
AT ITER 360 NEW BEST:: SOT 931010 SOS 503926 HAS SOPS 494435 HAS SOUS 160725 HAS SOUPS 159192 WITH SCORE 159695.926
AT ITER 368 NEW BEST:: SOT 930970 SOS 503846 HAS SOPS 494355 HAS SOUS 160687 HAS SOUPS 159154 WITH SCORE 159657.846
AT ITER 381 NEW BEST:: SOT 930965 SOS 503841 HAS SOPS 494350 HAS SOUS 160682 HAS SOUPS 159149 WITH SCORE 159652.841
AT ITER 388 NEW BEST:: SOT 930962 SOS 503838 HAS SOPS 494347 HAS SOUS 160676 HAS SOUPS 159143 WITH SCORE 159646.838
AT ITER 412 NEW BEST:: SOT 930810 SOS 503657 HAS SOPS 494166 HAS SOUS 160662 HAS SOUPS 159129 WITH SCORE 159632.657
AT ITER 429 NEW BEST:: SOT 930596 SOS 507349 HAS SOPS 497858 HAS SOUS 160575 HAS SOUPS 159042 WITH SCORE 159549.349
AT ITER 431 NEW BEST:: SOT 930271 SOS 506743 HAS SOPS 497252 HAS SOUS 160250 HAS SOUPS 158717 WITH SCORE 159223.743
AT ITER 434 NEW BEST:: SOT 930156 SOS 506621 HAS SOPS 497130 HAS SOUS 160079 HAS SOUPS 158546 WITH SCORE 159052.621
AT ITER 435 NEW BEST:: SOT 930146 SOS 506611 HAS SOPS 497120 HAS SOUS 160069 HAS SOUPS 158536 WITH SCORE 159042.611
AT ITER 470 NEW BEST:: SOT 928999 SOS 505451 HAS SOPS 495960 HAS SOUS 159278 HAS SOUPS 157745 WITH SCORE 158250.451
AT ITER 479 NEW BEST:: SOT 928954 SOS 505413 HAS SOPS 495922 HAS SOUS 159277 HAS SOUPS 157744 WITH SCORE 158249.413
AT ITER 480 NEW BEST:: SOT 928939 SOS 505398 HAS SOPS 495892 HAS SOUS 159253 HAS SOUPS 157714 WITH SCORE 158219.398
AT ITER 489 NEW BEST:: SOT 928266 SOS 504758 HAS SOPS 495252 HAS SOUS 158609 HAS SOUPS 157070 WITH SCORE 157574.758
AT ITER 520 NEW BEST:: SOT 928251 SOS 504713 HAS SOPS 495207 HAS SOUS 158589 HAS SOUPS 157050 WITH SCORE 157554.713
AT ITER 534 NEW BEST:: SOT 928251 SOS 504704 HAS SOPS 495198 HAS SOUS 158571 HAS SOUPS 157032 WITH SCORE 157536.704
AT ITER 537 NEW BEST:: SOT 928011 SOS 504285 HAS SOPS 494779 HAS SOUS 158324 HAS SOUPS 156785 WITH SCORE 157289.285
AT ITER 553 NEW BEST:: SOT 927810 SOS 504084 HAS SOPS 494578 HAS SOUS 157748 HAS SOUPS 156209 WITH SCORE 156713.084
AT ITER 564 NEW BEST:: SOT 927657 SOS 503915 HAS SOPS 494409 HAS SOUS 157738 HAS SOUPS 156199 WITH SCORE 156702.915
AT ITER 571 NEW BEST:: SOT 927063 SOS 503321 HAS SOPS 493815 HAS SOUS 156754 HAS SOUPS 155215 WITH SCORE 155718.321
AT ITER 580 NEW BEST:: SOT 927121 SOS 503379 HAS SOPS 493849 HAS SOUS 156752 HAS SOUPS 155205 WITH SCORE 155708.379
AT ITER 582 NEW BEST:: SOT 926976 SOS 503147 HAS SOPS 493617 HAS SOUS 156483 HAS SOUPS 154936 WITH SCORE 155439.147
AT ITER 591 NEW BEST:: SOT 926845 SOS 503078 HAS SOPS 493548 HAS SOUS 155439 HAS SOUPS 153892 WITH SCORE 154395.078
AT ITER 623 NEW BEST:: SOT 926877 SOS 503074 HAS SOPS 493544 HAS SOUS 155391 HAS SOUPS 153844 WITH SCORE 154347.074
AT ITER 624 NEW BEST:: SOT 926856 SOS 503053 HAS SOPS 493523 HAS SOUS 155342 HAS SOUPS 153795 WITH SCORE 154298.053
AT ITER 629 NEW BEST:: SOT 926856 SOS 502549 HAS SOPS 493019 HAS SOUS 155342 HAS SOUPS 153795 WITH SCORE 154297.549
AT ITER 640 NEW BEST:: SOT 926740 SOS 502359 HAS SOPS 492829 HAS SOUS 155181 HAS SOUPS 153634 WITH SCORE 154136.359
AT ITER 646 NEW BEST:: SOT 926710 SOS 502344 HAS SOPS 492814 HAS SOUS 155121 HAS SOUPS 153574 WITH SCORE 154076.344
AT ITER 673 NEW BEST:: SOT 892887 SOS 468705 HAS SOPS 459175 HAS SOUS 148037 HAS SOUPS 146490 WITH SCORE 146958.705
AT ITER 689 NEW BEST:: SOT 870651 SOS 446541 HAS SOPS 437011 HAS SOUS 143742 HAS SOUPS 142195 WITH SCORE 142641.541
AT ITER 694 NEW BEST:: SOT 870594 SOS 446484 HAS SOPS 436954 HAS SOUS 143247 HAS SOUPS 141700 WITH SCORE 142146.484
AT ITER 701 NEW BEST:: SOT 870457 SOS 446401 HAS SOPS 436871 HAS SOUS 143225 HAS SOUPS 141678 WITH SCORE 142124.401
AT ITER 713 NEW BEST:: SOT 870355 SOS 446279 HAS SOPS 436749 HAS SOUS 142928 HAS SOUPS 141381 WITH SCORE 141827.279
AT ITER 724 NEW BEST:: SOT 870073 SOS 445940 HAS SOPS 436410 HAS SOUS 142626 HAS SOUPS 141079 WITH SCORE 141524.94
AT ITER 729 NEW BEST:: SOT 870070 SOS 445937 HAS SOPS 436407 HAS SOUS 142620 HAS SOUPS 141073 WITH SCORE 141518.937
AT ITER 740 NEW BEST:: SOT 870067 SOS 445934 HAS SOPS 436404 HAS SOUS 142614 HAS SOUPS 141067 WITH SCORE 141512.934
AT ITER 748 NEW BEST:: SOT 870067 SOS 445934 HAS SOPS 436404 HAS SOUS 142599 HAS SOUPS 141052 WITH SCORE 141497.934
AT ITER 750 NEW BEST:: SOT 869900 SOS 445583 HAS SOPS 436053 HAS SOUS 142516 HAS SOUPS 140969 WITH SCORE 141414.583
AT ITER 758 NEW BEST:: SOT 870015 SOS 445675 HAS SOPS 436145 HAS SOUS 142470 HAS SOUPS 140923 WITH SCORE 141368.675
AT ITER 760 NEW BEST:: SOT 818587 SOS 394240 HAS SOPS 384710 HAS SOUS 132505 HAS SOUPS 130958 WITH SCORE 131352.24
AT ITER 765 NEW BEST:: SOT 818566 SOS 403435 HAS SOPS 393905 HAS SOUS 132462 HAS SOUPS 130915 WITH SCORE 131318.435
AT ITER 768 NEW BEST:: SOT 818430 SOS 403227 HAS SOPS 393697 HAS SOUS 132259 HAS SOUPS 130712 WITH SCORE 131115.227
AT ITER 773 NEW BEST:: SOT 818351 SOS 403127 HAS SOPS 393597 HAS SOUS 132149 HAS SOUPS 130602 WITH SCORE 131005.127
AT ITER 774 NEW BEST:: SOT 818018 SOS 402815 HAS SOPS 393285 HAS SOUS 131636 HAS SOUPS 130089 WITH SCORE 130491.815
AT ITER 799 NEW BEST:: SOT 817872 SOS 402321 HAS SOPS 392791 HAS SOUS 131344 HAS SOUPS 129797 WITH SCORE 130199.321
AT ITER 800 NEW BEST:: SOT 817524 SOS 401973 HAS SOPS 392443 HAS SOUS 131272 HAS SOUPS 129725 WITH SCORE 130126.973
AT ITER 813 NEW BEST:: SOT 817255 SOS 401674 HAS SOPS 392144 HAS SOUS 131116 HAS SOUPS 129569 WITH SCORE 129970.674
AT ITER 817 NEW BEST:: SOT 817068 SOS 401487 HAS SOPS 391957 HAS SOUS 130948 HAS SOUPS 129401 WITH SCORE 129802.487
AT ITER 828 NEW BEST:: SOT 817013 SOS 401377 HAS SOPS 391847 HAS SOUS 130835 HAS SOUPS 129288 WITH SCORE 129689.377
AT ITER 841 NEW BEST:: SOT 817055 SOS 401465 HAS SOPS 391935 HAS SOUS 130705 HAS SOUPS 129158 WITH SCORE 129559.465
AT ITER 852 NEW BEST:: SOT 817055 SOS 401465 HAS SOPS 391935 HAS SOUS 130690 HAS SOUPS 129143 WITH SCORE 129544.465
AT ITER 874 NEW BEST:: SOT 817049 SOS 401453 HAS SOPS 391923 HAS SOUS 130678 HAS SOUPS 129131 WITH SCORE 129532.453
AT ITER 888 NEW BEST:: SOT 817045 SOS 401449 HAS SOPS 391919 HAS SOUS 130659 HAS SOUPS 129112 WITH SCORE 129513.449
AT ITER 901 NEW BEST:: SOT 816880 SOS 401263 HAS SOPS 391733 HAS SOUS 130452 HAS SOUPS 128905 WITH SCORE 129306.263
AT ITER 910 NEW BEST:: SOT 816832 SOS 401215 HAS SOPS 391666 HAS SOUS 130368 HAS SOUPS 128821 WITH SCORE 129222.215
AT ITER 921 NEW BEST:: SOT 816844 SOS 401227 HAS SOPS 391654 HAS SOUS 130339 HAS SOUPS 128788 WITH SCORE 129189.227
AT ITER 930 NEW BEST:: SOT 816799 SOS 401144 HAS SOPS 391568 HAS SOUS 130249 HAS SOUPS 128698 WITH SCORE 129099.144
AT ITER 954 NEW BEST:: SOT 816799 SOS 401019 HAS SOPS 391443 HAS SOUS 130234 HAS SOUPS 128683 WITH SCORE 129084.019
AT ITER 994 NEW BEST:: SOT 814111 SOS 398319 HAS SOPS 388743 HAS SOUS 129754 HAS SOUPS 128203 WITH SCORE 128601.319
AT ITER 1000 NEW BEST:: SOT 814111 SOS 398319 HAS SOPS 388743 HAS SOUS 129750 HAS SOUPS 128199 WITH SCORE 128597.319
AT ITER 1003 NEW BEST:: SOT 813831 SOS 398101 HAS SOPS 388525 HAS SOUS 129470 HAS SOUPS 127919 WITH SCORE 128317.101
AT ITER 1081 NEW BEST:: SOT 813471 SOS 397917 HAS SOPS 388341 HAS SOUS 129377 HAS SOUPS 127826 WITH SCORE 128223.917
AT ITER 1082 NEW BEST:: SOT 813408 SOS 397875 HAS SOPS 388299 HAS SOUS 129335 HAS SOUPS 127784 WITH SCORE 128181.875
AT ITER 1086 NEW BEST:: SOT 813162 SOS 397569 HAS SOPS 387993 HAS SOUS 129121 HAS SOUPS 127570 WITH SCORE 127967.569
AT ITER 1096 NEW BEST:: SOT 813306 SOS 397815 HAS SOPS 388239 HAS SOUS 129081 HAS SOUPS 127530 WITH SCORE 127927.815
AT ITER 1105 NEW BEST:: SOT 813214 SOS 397723 HAS SOPS 388147 HAS SOUS 128921 HAS SOUPS 127370 WITH SCORE 127767.723
AT ITER 1108 NEW BEST:: SOT 813168 SOS 397677 HAS SOPS 388101 HAS SOUS 128892 HAS SOUPS 127341 WITH SCORE 127738.677
AT ITER 1112 NEW BEST:: SOT 813168 SOS 397137 HAS SOPS 387561 HAS SOUS 128892 HAS SOUPS 127341 WITH SCORE 127738.137
AT ITER 1113 NEW BEST:: SOT 786376 SOS 384793 HAS SOPS 375217 HAS SOUS 126555 HAS SOUPS 125004 WITH SCORE 125388.793
AT ITER 1114 NEW BEST:: SOT 786086 SOS 384503 HAS SOPS 374927 HAS SOUS 126332 HAS SOUPS 124781 WITH SCORE 125165.503
AT ITER 1115 NEW BEST:: SOT 785994 SOS 384584 HAS SOPS 375084 HAS SOUS 126324 HAS SOUPS 124773 WITH SCORE 125157.584
AT ITER 1133 NEW BEST:: SOT 785865 SOS 384455 HAS SOPS 374955 HAS SOUS 126103 HAS SOUPS 124552 WITH SCORE 124936.455
AT ITER 1140 NEW BEST:: SOT 785887 SOS 384428 HAS SOPS 374928 HAS SOUS 126092 HAS SOUPS 124541 WITH SCORE 124925.428
AT ITER 1142 NEW BEST:: SOT 785827 SOS 384368 HAS SOPS 374868 HAS SOUS 125810 HAS SOUPS 124259 WITH SCORE 124643.368
AT ITER 1146 NEW BEST:: SOT 785730 SOS 384271 HAS SOPS 374771 HAS SOUS 125726 HAS SOUPS 124175 WITH SCORE 124559.271
AT ITER 1152 NEW BEST:: SOT 785585 SOS 384113 HAS SOPS 374613 HAS SOUS 125721 HAS SOUPS 124170 WITH SCORE 124554.113
AT ITER 1161 NEW BEST:: SOT 785589 SOS 384121 HAS SOPS 374621 HAS SOUS 125683 HAS SOUPS 124132 WITH SCORE 124516.121
AT ITER 1176 NEW BEST:: SOT 785583 SOS 384115 HAS SOPS 374615 HAS SOUS 125675 HAS SOUPS 124124 WITH SCORE 124508.115
AT ITER 1186 NEW BEST:: SOT 785550 SOS 383975 HAS SOPS 374475 HAS SOUS 125609 HAS SOUPS 124058 WITH SCORE 124441.975
AT ITER 1192 NEW BEST:: SOT 785489 SOS 383936 HAS SOPS 374436 HAS SOUS 125570 HAS SOUPS 124019 WITH SCORE 124402.936
AT ITER 1246 NEW BEST:: SOT 785187 SOS 383598 HAS SOPS 374098 HAS SOUS 125308 HAS SOUPS 123757 WITH SCORE 124140.598
AT ITER 1271 NEW BEST:: SOT 785213 SOS 383568 HAS SOPS 374068 HAS SOUS 125304 HAS SOUPS 123753 WITH SCORE 124136.568
AT ITER 1278 NEW BEST:: SOT 785010 SOS 383365 HAS SOPS 373761 HAS SOUS 125374 HAS SOUPS 123719 WITH SCORE 124102.365
AT ITER 1285 NEW BEST:: SOT 759113 SOS 357462 HAS SOPS 347858 HAS SOUS 121860 HAS SOUPS 120205 WITH SCORE 120562.462
AT ITER 1286 NEW BEST:: SOT 758836 SOS 357115 HAS SOPS 347511 HAS SOUS 121516 HAS SOUPS 119861 WITH SCORE 120218.115
AT ITER 1290 NEW BEST:: SOT 758400 SOS 356574 HAS SOPS 346970 HAS SOUS 120525 HAS SOUPS 118870 WITH SCORE 119226.574
AT ITER 1337 NEW BEST:: SOT 758377 SOS 356436 HAS SOPS 346832 HAS SOUS 120525 HAS SOUPS 118870 WITH SCORE 119226.436
AT ITER 1340 NEW BEST:: SOT 758272 SOS 356310 HAS SOPS 346706 HAS SOUS 120399 HAS SOUPS 118744 WITH SCORE 119100.31
AT ITER 1344 NEW BEST:: SOT 758158 SOS 356253 HAS SOPS 346649 HAS SOUS 119657 HAS SOUPS 118002 WITH SCORE 118358.253
AT ITER 1370 NEW BEST:: SOT 758186 SOS 356281 HAS SOPS 346672 HAS SOUS 119647 HAS SOUPS 117992 WITH SCORE 118348.281
AT ITER 1380 NEW BEST:: SOT 758171 SOS 356266 HAS SOPS 346657 HAS SOUS 119617 HAS SOUPS 117962 WITH SCORE 118318.266
AT ITER 1382 NEW BEST:: SOT 758009 SOS 356080 HAS SOPS 346471 HAS SOUS 119451 HAS SOUPS 117796 WITH SCORE 118152.08
AT ITER 1400 NEW BEST:: SOT 757826 SOS 355613 HAS SOPS 346004 HAS SOUS 119279 HAS SOUPS 117624 WITH SCORE 117979.613
AT ITER 1402 NEW BEST:: SOT 752576 SOS 350408 HAS SOPS 340799 HAS SOUS 117917 HAS SOUPS 116262 WITH SCORE 116612.408
AT ITER 1408 NEW BEST:: SOT 752568 SOS 350400 HAS SOPS 340783 HAS SOUS 117901 HAS SOUPS 116246 WITH SCORE 116596.4
AT ITER 1419 NEW BEST:: SOT 752502 SOS 350334 HAS SOPS 340717 HAS SOUS 117809 HAS SOUPS 116154 WITH SCORE 116504.334
AT ITER 1422 NEW BEST:: SOT 751992 SOS 349862 HAS SOPS 340245 HAS SOUS 117206 HAS SOUPS 115551 WITH SCORE 115900.862
AT ITER 1432 NEW BEST:: SOT 751884 SOS 349865 HAS SOPS 340248 HAS SOUS 117056 HAS SOUPS 115401 WITH SCORE 115750.865
AT ITER 1440 NEW BEST:: SOT 750631 SOS 348565 HAS SOPS 338948 HAS SOUS 116633 HAS SOUPS 114978 WITH SCORE 115326.565
AT ITER 1460 NEW BEST:: SOT 750620 SOS 348554 HAS SOPS 338937 HAS SOUS 116611 HAS SOUPS 114956 WITH SCORE 115304.554
AT ITER 1491 NEW BEST:: SOT 750617 SOS 348551 HAS SOPS 338934 HAS SOUS 116605 HAS SOUPS 114950 WITH SCORE 115298.551
AT ITER 1507 NEW BEST:: SOT 750603 SOS 348481 HAS SOPS 338864 HAS SOUS 116605 HAS SOUPS 114950 WITH SCORE 115298.481
AT ITER 1539 NEW BEST:: SOT 746759 SOS 344619 HAS SOPS 334984 HAS SOUS 116136 HAS SOUPS 114481 WITH SCORE 114825.619
AT ITER 1553 NEW BEST:: SOT 746868 SOS 344816 HAS SOPS 335181 HAS SOUS 116118 HAS SOUPS 114463 WITH SCORE 114807.816
AT ITER 1566 NEW BEST:: SOT 746568 SOS 344288 HAS SOPS 334653 HAS SOUS 115821 HAS SOUPS 114166 WITH SCORE 114510.288
AT ITER 1578 NEW BEST:: SOT 746562 SOS 344282 HAS SOPS 334647 HAS SOUS 115815 HAS SOUPS 114160 WITH SCORE 114504.282
AT ITER 1588 NEW BEST:: SOT 746467 SOS 344457 HAS SOPS 334834 HAS SOUS 115719 HAS SOUPS 114065 WITH SCORE 114409.457
AT ITER 1591 NEW BEST:: SOT 746437 SOS 344427 HAS SOPS 334774 HAS SOUS 115701 HAS SOUPS 114017 WITH SCORE 114361.427
AT ITER 1608 NEW BEST:: SOT 746437 SOS 344430 HAS SOPS 334777 HAS SOUS 115698 HAS SOUPS 114014 WITH SCORE 114358.43
AT ITER 1610 NEW BEST:: SOT 732839 SOS 345412 HAS SOPS 335759 HAS SOUS 114664 HAS SOUPS 112980 WITH SCORE 113325.412
AT ITER 1618 NEW BEST:: SOT 732752 SOS 345354 HAS SOPS 335701 HAS SOUS 114600 HAS SOUPS 112916 WITH SCORE 113261.354
AT ITER 1639 NEW BEST:: SOT 732719 SOS 345315 HAS SOPS 335662 HAS SOUS 114534 HAS SOUPS 112850 WITH SCORE 113195.315
AT ITER 1643 NEW BEST:: SOT 732716 SOS 345312 HAS SOPS 335659 HAS SOUS 114529 HAS SOUPS 112845 WITH SCORE 113190.312
AT ITER 1654 NEW BEST:: SOT 732141 SOS 344624 HAS SOPS 334794 HAS SOUS 113756 HAS SOUPS 112072 WITH SCORE 112416.624
AT ITER 1665 NEW BEST:: SOT 732135 SOS 344612 HAS SOPS 334782 HAS SOUS 113747 HAS SOUPS 112063 WITH SCORE 112407.612
AT ITER 1672 NEW BEST:: SOT 732130 SOS 344607 HAS SOPS 334777 HAS SOUS 113737 HAS SOUPS 112053 WITH SCORE 112397.607
AT ITER 1678 NEW BEST:: SOT 732114 SOS 344591 HAS SOPS 334761 HAS SOUS 113723 HAS SOUPS 112039 WITH SCORE 112383.591
AT ITER 1684 NEW BEST:: SOT 732114 SOS 344574 HAS SOPS 334744 HAS SOUS 113689 HAS SOUPS 112005 WITH SCORE 112349.574
AT ITER 1689 NEW BEST:: SOT 731959 SOS 344419 HAS SOPS 334589 HAS SOUS 113468 HAS SOUPS 111784 WITH SCORE 112128.419
AT ITER 1696 NEW BEST:: SOT 731962 SOS 344422 HAS SOPS 334589 HAS SOUS 113468 HAS SOUPS 111783 WITH SCORE 112127.422
AT ITER 1698 NEW BEST:: SOT 731746 SOS 344260 HAS SOPS 334427 HAS SOUS 113144 HAS SOUPS 111459 WITH SCORE 111803.26
AT ITER 1714 NEW BEST:: SOT 731735 SOS 344249 HAS SOPS 334416 HAS SOUS 113122 HAS SOUPS 111437 WITH SCORE 111781.249
AT ITER 1721 NEW BEST:: SOT 731715 SOS 344215 HAS SOPS 334382 HAS SOUS 113077 HAS SOUPS 111392 WITH SCORE 111736.215
AT ITER 1732 NEW BEST:: SOT 731661 SOS 344161 HAS SOPS 334328 HAS SOUS 113042 HAS SOUPS 111357 WITH SCORE 111701.161
AT ITER 1758 NEW BEST:: SOT 731637 SOS 344137 HAS SOPS 334304 HAS SOUS 113009 HAS SOUPS 111324 WITH SCORE 111668.137
AT ITER 1759 NEW BEST:: SOT 731616 SOS 344125 HAS SOPS 334292 HAS SOUS 112997 HAS SOUPS 111312 WITH SCORE 111656.125
AT ITER 1767 NEW BEST:: SOT 731599 SOS 343898 HAS SOPS 334065 HAS SOUS 112985 HAS SOUPS 111300 WITH SCORE 111643.898
AT ITER 1770 NEW BEST:: SOT 731515 SOS 343772 HAS SOPS 333939 HAS SOUS 112859 HAS SOUPS 111174 WITH SCORE 111517.772
AT ITER 1783 NEW BEST:: SOT 731524 SOS 342945 HAS SOPS 333112 HAS SOUS 112844 HAS SOUPS 111159 WITH SCORE 111501.945
AT ITER 1789 NEW BEST:: SOT 729569 SOS 340981 HAS SOPS 331148 HAS SOUS 112480 HAS SOUPS 110795 WITH SCORE 111135.981
AT ITER 1798 NEW BEST:: SOT 729534 SOS 341244 HAS SOPS 331423 HAS SOUS 112464 HAS SOUPS 110779 WITH SCORE 111120.244
AT ITER 1820 NEW BEST:: SOT 729522 SOS 341232 HAS SOPS 331411 HAS SOUS 112461 HAS SOUPS 110776 WITH SCORE 111117.232
AT ITER 1833 NEW BEST:: SOT 729462 SOS 342057 HAS SOPS 332246 HAS SOUS 112064 HAS SOUPS 110379 WITH SCORE 110721.057
AT ITER 1840 NEW BEST:: SOT 729331 SOS 341739 HAS SOPS 331928 HAS SOUS 111493 HAS SOUPS 109808 WITH SCORE 110149.739
AT ITER 1874 NEW BEST:: SOT 729203 SOS 341645 HAS SOPS 331834 HAS SOUS 111275 HAS SOUPS 109590 WITH SCORE 109931.645
AT ITER 1893 NEW BEST:: SOT 729120 SOS 341578 HAS SOPS 331767 HAS SOUS 111136 HAS SOUPS 109451 WITH SCORE 109792.578
AT ITER 1902 NEW BEST:: SOT 729096 SOS 341554 HAS SOPS 331743 HAS SOUS 111130 HAS SOUPS 109445 WITH SCORE 109786.554
AT ITER 1909 NEW BEST:: SOT 723068 SOS 338949 HAS SOPS 329138 HAS SOUS 110367 HAS SOUPS 108682 WITH SCORE 109020.949
AT ITER 1910 NEW BEST:: SOT 723048 SOS 338929 HAS SOPS 329118 HAS SOUS 110363 HAS SOUPS 108678 WITH SCORE 109016.929
AT ITER 1916 NEW BEST:: SOT 723035 SOS 338929 HAS SOPS 329118 HAS SOUS 110350 HAS SOUPS 108665 WITH SCORE 109003.929
AT ITER 1922 NEW BEST:: SOT 723035 SOS 338890 HAS SOPS 329079 HAS SOUS 110350 HAS SOUPS 108665 WITH SCORE 109003.89
AT ITER 1935 NEW BEST:: SOT 722975 SOS 338436 HAS SOPS 328757 HAS SOUS 110293 HAS SOUPS 108630 WITH SCORE 108968.436
AT ITER 1952 NEW BEST:: SOT 722970 SOS 338431 HAS SOPS 328729 HAS SOUS 110265 HAS SOUPS 108602 WITH SCORE 108940.431
AT ITER 1955 NEW BEST:: SOT 722994 SOS 338231 HAS SOPS 328529 HAS SOUS 110138 HAS SOUPS 108475 WITH SCORE 108813.231
AT ITER 1966 NEW BEST:: SOT 722966 SOS 338196 HAS SOPS 328497 HAS SOUS 110125 HAS SOUPS 108462 WITH SCORE 108800.196
AT ITER 1978 NEW BEST:: SOT 722938 SOS 338168 HAS SOPS 328469 HAS SOUS 110088 HAS SOUPS 108425 WITH SCORE 108763.168
AT ITER 1982 NEW BEST:: SOT 703557 SOS 318787 HAS SOPS 309088 HAS SOUS 107863 HAS SOUPS 106200 WITH SCORE 106518.787
AT ITER 1988 NEW BEST:: SOT 703567 SOS 318797 HAS SOPS 309097 HAS SOUS 107842 HAS SOUPS 106179 WITH SCORE 106497.797
AT ITER 1993 NEW BEST:: SOT 703575 SOS 318805 HAS SOPS 309089 HAS SOUS 107819 HAS SOUPS 106156 WITH SCORE 106474.805
AT ITER 2007 NEW BEST:: SOT 703410 SOS 318525 HAS SOPS 308809 HAS SOUS 107707 HAS SOUPS 106044 WITH SCORE 106362.525
AT ITER 2008 NEW BEST:: SOT 703286 SOS 318129 HAS SOPS 308413 HAS SOUS 107578 HAS SOUPS 105915 WITH SCORE 106233.129
AT ITER 2016 NEW BEST:: SOT 703552 SOS 314972 HAS SOPS 305256 HAS SOUS 107370 HAS SOUPS 105707 WITH SCORE 106021.972
AT ITER 2019 NEW BEST:: SOT 703542 SOS 314962 HAS SOPS 305246 HAS SOUS 107352 HAS SOUPS 105689 WITH SCORE 106003.962
AT ITER 2030 NEW BEST:: SOT 690463 SOS 301804 HAS SOPS 292088 HAS SOUS 105294 HAS SOUPS 103631 WITH SCORE 103932.804
AT ITER 2033 NEW BEST:: SOT 690445 SOS 301786 HAS SOPS 292070 HAS SOUS 105276 HAS SOUPS 103613 WITH SCORE 103914.786
AT ITER 2038 NEW BEST:: SOT 690516 SOS 301857 HAS SOPS 292141 HAS SOUS 105170 HAS SOUPS 103507 WITH SCORE 103808.857
AT ITER 2077 NEW BEST:: SOT 690515 SOS 301856 HAS SOPS 292140 HAS SOUS 105168 HAS SOUPS 103505 WITH SCORE 103806.856
AT ITER 2094 NEW BEST:: SOT 690471 SOS 301809 HAS SOPS 292093 HAS SOUS 105080 HAS SOUPS 103417 WITH SCORE 103718.809
AT ITER 2105 NEW BEST:: SOT 690469 SOS 301807 HAS SOPS 292091 HAS SOUS 105046 HAS SOUPS 103383 WITH SCORE 103684.807
AT ITER 2123 NEW BEST:: SOT 690446 SOS 301784 HAS SOPS 292045 HAS SOUS 105000 HAS SOUPS 103337 WITH SCORE 103638.784
AT ITER 2124 NEW BEST:: SOT 690321 SOS 301659 HAS SOPS 292520 HAS SOUS 104850 HAS SOUPS 103287 WITH SCORE 103588.659
AT ITER 2128 NEW BEST:: SOT 687197 SOS 298581 HAS SOPS 289442 HAS SOUS 104148 HAS SOUPS 102585 WITH SCORE 102883.581
AT ITER 2132 NEW BEST:: SOT 687000 SOS 298384 HAS SOPS 289245 HAS SOUS 103945 HAS SOUPS 102382 WITH SCORE 102680.384
AT ITER 2137 NEW BEST:: SOT 686989 SOS 298344 HAS SOPS 289205 HAS SOUS 103923 HAS SOUPS 102360 WITH SCORE 102658.344
AT ITER 2145 NEW BEST:: SOT 686781 SOS 298118 HAS SOPS 288979 HAS SOUS 103783 HAS SOUPS 102220 WITH SCORE 102518.118
AT ITER 2149 NEW BEST:: SOT 686741 SOS 298078 HAS SOPS 288939 HAS SOUS 103697 HAS SOUPS 102134 WITH SCORE 102432.078
AT ITER 2151 NEW BEST:: SOT 686685 SOS 298114 HAS SOPS 288975 HAS SOUS 103639 HAS SOUPS 102076 WITH SCORE 102374.114
AT ITER 2176 NEW BEST:: SOT 686685 SOS 297826 HAS SOPS 288687 HAS SOUS 103637 HAS SOUPS 102074 WITH SCORE 102371.826
AT ITER 2191 NEW BEST:: SOT 686361 SOS 297502 HAS SOPS 288363 HAS SOUS 103571 HAS SOUPS 102008 WITH SCORE 102305.502
AT ITER 2202 NEW BEST:: SOT 685710 SOS 296851 HAS SOPS 287712 HAS SOUS 103475 HAS SOUPS 101912 WITH SCORE 102208.851
AT ITER 2206 NEW BEST:: SOT 685707 SOS 296757 HAS SOPS 287618 HAS SOUS 103381 HAS SOUPS 101818 WITH SCORE 102114.757
AT ITER 2208 NEW BEST:: SOT 685707 SOS 296757 HAS SOPS 287618 HAS SOUS 103373 HAS SOUPS 101810 WITH SCORE 102106.757
AT ITER 2224 NEW BEST:: SOT 685695 SOS 296745 HAS SOPS 287606 HAS SOUS 103361 HAS SOUPS 101798 WITH SCORE 102094.745
AT ITER 2226 NEW BEST:: SOT 685686 SOS 296739 HAS SOPS 287600 HAS SOUS 103355 HAS SOUPS 101792 WITH SCORE 102088.739
AT ITER 2228 NEW BEST:: SOT 685403 SOS 296511 HAS SOPS 287372 HAS SOUS 103267 HAS SOUPS 101704 WITH SCORE 102000.511
AT ITER 2229 NEW BEST:: SOT 685382 SOS 296483 HAS SOPS 287344 HAS SOUS 103239 HAS SOUPS 101676 WITH SCORE 101972.483
AT ITER 2256 NEW BEST:: SOT 685370 SOS 296459 HAS SOPS 287320 HAS SOUS 103215 HAS SOUPS 101652 WITH SCORE 101948.459
AT ITER 2257 NEW BEST:: SOT 685338 SOS 296435 HAS SOPS 287296 HAS SOUS 103167 HAS SOUPS 101604 WITH SCORE 101900.435
AT ITER 2276 NEW BEST:: SOT 685262 SOS 296397 HAS SOPS 287258 HAS SOUS 103015 HAS SOUPS 101452 WITH SCORE 101748.397
AT ITER 2282 NEW BEST:: SOT 685094 SOS 296345 HAS SOPS 287206 HAS SOUS 102735 HAS SOUPS 101172 WITH SCORE 101468.345
AT ITER 2293 NEW BEST:: SOT 685076 SOS 296273 HAS SOPS 287134 HAS SOUS 102719 HAS SOUPS 101156 WITH SCORE 101452.273
AT ITER 2301 NEW BEST:: SOT 685071 SOS 296263 HAS SOPS 287124 HAS SOUS 102704 HAS SOUPS 101141 WITH SCORE 101437.263
AT ITER 2344 NEW BEST:: SOT 685069 SOS 296259 HAS SOPS 287120 HAS SOUS 102700 HAS SOUPS 101137 WITH SCORE 101433.259
AT ITER 2350 NEW BEST:: SOT 685059 SOS 296254 HAS SOPS 287115 HAS SOUS 102690 HAS SOUPS 101127 WITH SCORE 101423.254
AT ITER 2357 NEW BEST:: SOT 685019 SOS 295910 HAS SOPS 286771 HAS SOUS 102650 HAS SOUPS 101087 WITH SCORE 101382.91
AT ITER 2360 NEW BEST:: SOT 684995 SOS 295856 HAS SOPS 286717 HAS SOUS 102614 HAS SOUPS 101051 WITH SCORE 101346.856
AT ITER 2362 NEW BEST:: SOT 684995 SOS 295806 HAS SOPS 286667 HAS SOUS 102613 HAS SOUPS 101050 WITH SCORE 101345.806
AT ITER 2364 NEW BEST:: SOT 684983 SOS 295794 HAS SOPS 286655 HAS SOUS 102595 HAS SOUPS 101032 WITH SCORE 101327.794
AT ITER 2375 NEW BEST:: SOT 685170 SOS 295981 HAS SOPS 286885 HAS SOUS 102481 HAS SOUPS 100918 WITH SCORE 101213.981
AT ITER 2376 NEW BEST:: SOT 685187 SOS 295953 HAS SOPS 286857 HAS SOUS 102470 HAS SOUPS 100907 WITH SCORE 101202.953
AT ITER 2428 NEW BEST:: SOT 685178 SOS 295935 HAS SOPS 286839 HAS SOUS 102452 HAS SOUPS 100889 WITH SCORE 101184.935
AT ITER 2431 NEW BEST:: SOT 685161 SOS 295901 HAS SOPS 286805 HAS SOUS 102433 HAS SOUPS 100870 WITH SCORE 101165.901
AT ITER 2436 NEW BEST:: SOT 685163 SOS 295805 HAS SOPS 286709 HAS SOUS 102422 HAS SOUPS 100859 WITH SCORE 101154.805
AT ITER 2457 NEW BEST:: SOT 685157 SOS 295799 HAS SOPS 286696 HAS SOUS 102409 HAS SOUPS 100846 WITH SCORE 101141.799
AT ITER 2458 NEW BEST:: SOT 685122 SOS 295687 HAS SOPS 286584 HAS SOUS 101927 HAS SOUPS 100364 WITH SCORE 100659.687
AT ITER 2470 NEW BEST:: SOT 685140 SOS 295705 HAS SOPS 286601 HAS SOUS 101887 HAS SOUPS 100324 WITH SCORE 100619.705
AT ITER 2475 NEW BEST:: SOT 685140 SOS 295705 HAS SOPS 286601 HAS SOUS 101881 HAS SOUPS 100318 WITH SCORE 100613.705
AT ITER 2491 NEW BEST:: SOT 685032 SOS 295597 HAS SOPS 286493 HAS SOUS 101800 HAS SOUPS 100237 WITH SCORE 100532.597
AT ITER 2493 NEW BEST:: SOT 668776 SOS 280994 HAS SOPS 271890 HAS SOUS 99795 HAS SOUPS 98232 WITH SCORE 98512.994
AT ITER 2494 NEW BEST:: SOT 669055 SOS 281255 HAS SOPS 272151 HAS SOUS 99713 HAS SOUPS 98150 WITH SCORE 98431.255
AT ITER 2545 NEW BEST:: SOT 668976 SOS 281126 HAS SOPS 272022 HAS SOUS 99642 HAS SOUPS 98079 WITH SCORE 98360.126
AT ITER 2546 NEW BEST:: SOT 668960 SOS 281110 HAS SOPS 272006 HAS SOUS 99626 HAS SOUPS 98063 WITH SCORE 98344.11
AT ITER 2592 NEW BEST:: SOT 668938 SOS 281088 HAS SOPS 271984 HAS SOUS 99582 HAS SOUPS 98019 WITH SCORE 98300.088
AT ITER 2594 NEW BEST:: SOT 668616 SOS 280682 HAS SOPS 271578 HAS SOUS 99339 HAS SOUPS 97776 WITH SCORE 98056.682
AT ITER 2597 NEW BEST:: SOT 668600 SOS 280574 HAS SOPS 271470 HAS SOUS 99329 HAS SOUPS 97766 WITH SCORE 98046.574
AT ITER 2619 NEW BEST:: SOT 668607 SOS 280480 HAS SOPS 271376 HAS SOUS 99235 HAS SOUPS 97672 WITH SCORE 97952.48
AT ITER 2634 NEW BEST:: SOT 668695 SOS 280580 HAS SOPS 271476 HAS SOUS 99062 HAS SOUPS 97499 WITH SCORE 97779.58
AT ITER 2636 NEW BEST:: SOT 668680 SOS 280551 HAS SOPS 271447 HAS SOUS 99032 HAS SOUPS 97469 WITH SCORE 97749.551
AT ITER 2680 NEW BEST:: SOT 668713 SOS 285686 HAS SOPS 276582 HAS SOUS 98803 HAS SOUPS 97240 WITH SCORE 97525.686
AT ITER 2724 NEW BEST:: SOT 668665 SOS 285638 HAS SOPS 276534 HAS SOUS 98717 HAS SOUPS 97154 WITH SCORE 97439.638
AT ITER 2732 NEW BEST:: SOT 668665 SOS 285652 HAS SOPS 276548 HAS SOUS 98703 HAS SOUPS 97140 WITH SCORE 97425.652
AT ITER 2738 NEW BEST:: SOT 668703 SOS 285627 HAS SOPS 276523 HAS SOUS 98641 HAS SOUPS 97078 WITH SCORE 97363.627
AT ITER 2745 NEW BEST:: SOT 668674 SOS 283779 HAS SOPS 273408 HAS SOUS 98475 HAS SOUPS 96871 WITH SCORE 97154.779
AT ITER 2773 NEW BEST:: SOT 668620 SOS 283665 HAS SOPS 273294 HAS SOUS 98411 HAS SOUPS 96807 WITH SCORE 97090.665
AT ITER 2780 NEW BEST:: SOT 668556 SOS 283519 HAS SOPS 273148 HAS SOUS 98379 HAS SOUPS 96775 WITH SCORE 97058.519
AT ITER 2795 NEW BEST:: SOT 668556 SOS 283589 HAS SOPS 273218 HAS SOUS 98265 HAS SOUPS 96661 WITH SCORE 96944.589
AT ITER 2796 NEW BEST:: SOT 668371 SOS 283104 HAS SOPS 272733 HAS SOUS 98057 HAS SOUPS 96453 WITH SCORE 96736.104
AT ITER 2806 NEW BEST:: SOT 668360 SOS 283082 HAS SOPS 272711 HAS SOUS 98036 HAS SOUPS 96432 WITH SCORE 96715.082
AT ITER 2825 NEW BEST:: SOT 668360 SOS 283069 HAS SOPS 272698 HAS SOUS 98036 HAS SOUPS 96432 WITH SCORE 96715.069
AT ITER 2826 NEW BEST:: SOT 664804 SOS 281860 HAS SOPS 271489 HAS SOUS 97490 HAS SOUPS 95886 WITH SCORE 96167.86
AT ITER 2834 NEW BEST:: SOT 664817 SOS 281893 HAS SOPS 271522 HAS SOUS 97472 HAS SOUPS 95868 WITH SCORE 96149.893
AT ITER 2845 NEW BEST:: SOT 661779 SOS 278855 HAS SOPS 268484 HAS SOUS 97024 HAS SOUPS 95420 WITH SCORE 95698.855
AT ITER 2865 NEW BEST:: SOT 661738 SOS 278814 HAS SOPS 268443 HAS SOUS 96997 HAS SOUPS 95393 WITH SCORE 95671.814
AT ITER 2867 NEW BEST:: SOT 661718 SOS 278794 HAS SOPS 268410 HAS SOUS 96953 HAS SOUPS 95349 WITH SCORE 95627.794
AT ITER 2879 NEW BEST:: SOT 661678 SOS 278535 HAS SOPS 268151 HAS SOUS 96839 HAS SOUPS 95235 WITH SCORE 95513.535
AT ITER 2883 NEW BEST:: SOT 661673 SOS 278530 HAS SOPS 268145 HAS SOUS 96816 HAS SOUPS 95212 WITH SCORE 95490.53
AT ITER 2884 NEW BEST:: SOT 661615 SOS 278472 HAS SOPS 268087 HAS SOUS 96758 HAS SOUPS 95154 WITH SCORE 95432.472
AT ITER 2894 NEW BEST:: SOT 661656 SOS 278424 HAS SOPS 268046 HAS SOUS 96752 HAS SOUPS 95148 WITH SCORE 95426.424
AT ITER 2898 NEW BEST:: SOT 661651 SOS 278417 HAS SOPS 268039 HAS SOUS 96745 HAS SOUPS 95141 WITH SCORE 95419.417
AT ITER 2913 NEW BEST:: SOT 661647 SOS 278413 HAS SOPS 268035 HAS SOUS 96730 HAS SOUPS 95126 WITH SCORE 95404.413
AT ITER 2931 NEW BEST:: SOT 661641 SOS 278401 HAS SOPS 268023 HAS SOUS 96718 HAS SOUPS 95114 WITH SCORE 95392.401
AT ITER 2939 NEW BEST:: SOT 661634 SOS 278404 HAS SOPS 268026 HAS SOUS 96707 HAS SOUPS 95103 WITH SCORE 95381.404
AT ITER 2954 NEW BEST:: SOT 661384 SOS 278390 HAS SOPS 268012 HAS SOUS 96424 HAS SOUPS 94820 WITH SCORE 95098.39
AT ITER 2960 NEW BEST:: SOT 661384 SOS 278309 HAS SOPS 267931 HAS SOUS 96408 HAS SOUPS 94804 WITH SCORE 95082.309
AT ITER 2967 NEW BEST:: SOT 661262 SOS 278237 HAS SOPS 267992 HAS SOUS 96381 HAS SOUPS 94777 WITH SCORE 95055.237
AT ITER 2979 NEW BEST:: SOT 661302 SOS 278277 HAS SOPS 268008 HAS SOUS 96340 HAS SOUPS 94736 WITH SCORE 95014.277
AT ITER 2981 NEW BEST:: SOT 660947 SOS 277855 HAS SOPS 267586 HAS SOUS 96264 HAS SOUPS 94660 WITH SCORE 94937.855
AT ITER 2985 NEW BEST:: SOT 660856 SOS 277764 HAS SOPS 267495 HAS SOUS 96173 HAS SOUPS 94569 WITH SCORE 94846.764
AT ITER 3020 NEW BEST:: SOT 660655 SOS 277496 HAS SOPS 267227 HAS SOUS 95972 HAS SOUPS 94368 WITH SCORE 94645.496
AT ITER 3021 NEW BEST:: SOT 660650 SOS 277491 HAS SOPS 267222 HAS SOUS 95962 HAS SOUPS 94358 WITH SCORE 94635.491
AT ITER 3035 NEW BEST:: SOT 660432 SOS 277298 HAS SOPS 267029 HAS SOUS 95826 HAS SOUPS 94222 WITH SCORE 94499.298
AT ITER 3037 NEW BEST:: SOT 660432 SOS 277166 HAS SOPS 266897 HAS SOUS 95826 HAS SOUPS 94222 WITH SCORE 94499.166
AT ITER 3053 NEW BEST:: SOT 660432 SOS 277166 HAS SOPS 266894 HAS SOUS 95823 HAS SOUPS 94219 WITH SCORE 94496.166
AT ITER 3061 NEW BEST:: SOT 660405 SOS 277139 HAS SOPS 266867 HAS SOUS 95769 HAS SOUPS 94165 WITH SCORE 94442.139
AT ITER 3066 NEW BEST:: SOT 660383 SOS 277117 HAS SOPS 266860 HAS SOUS 95759 HAS SOUPS 94155 WITH SCORE 94432.117
AT ITER 3070 NEW BEST:: SOT 660376 SOS 277110 HAS SOPS 266853 HAS SOUS 95752 HAS SOUPS 94148 WITH SCORE 94425.11
AT ITER 3086 NEW BEST:: SOT 660274 SOS 277068 HAS SOPS 266811 HAS SOUS 95680 HAS SOUPS 94076 WITH SCORE 94353.068
AT ITER 3089 NEW BEST:: SOT 660185 SOS 276979 HAS SOPS 266722 HAS SOUS 95653 HAS SOUPS 94049 WITH SCORE 94325.979
AT ITER 3104 NEW BEST:: SOT 659688 SOS 276411 HAS SOPS 266154 HAS SOUS 95085 HAS SOUPS 93481 WITH SCORE 93757.411
AT ITER 3107 NEW BEST:: SOT 659628 SOS 276313 HAS SOPS 266056 HAS SOUS 94915 HAS SOUPS 93311 WITH SCORE 93587.313
AT ITER 3120 NEW BEST:: SOT 659439 SOS 276100 HAS SOPS 265843 HAS SOUS 94725 HAS SOUPS 93121 WITH SCORE 93397.1
AT ITER 3121 NEW BEST:: SOT 659448 SOS 276091 HAS SOPS 265834 HAS SOUS 94716 HAS SOUPS 93112 WITH SCORE 93388.091
AT ITER 3126 NEW BEST:: SOT 659448 SOS 275165 HAS SOPS 264908 HAS SOUS 94716 HAS SOUPS 93112 WITH SCORE 93387.165
AT ITER 3182 NEW BEST:: SOT 659448 SOS 275083 HAS SOPS 264826 HAS SOUS 94675 HAS SOUPS 93071 WITH SCORE 93346.083
AT ITER 3184 NEW BEST:: SOT 659436 SOS 275071 HAS SOPS 264814 HAS SOUS 94663 HAS SOUPS 93059 WITH SCORE 93334.071
AT ITER 3241 NEW BEST:: SOT 659424 SOS 275059 HAS SOPS 264802 HAS SOUS 94651 HAS SOUPS 93047 WITH SCORE 93322.059
AT ITER 3253 NEW BEST:: SOT 659282 SOS 274791 HAS SOPS 264534 HAS SOUS 94462 HAS SOUPS 92858 WITH SCORE 93132.791
AT ITER 3264 NEW BEST:: SOT 659268 SOS 274777 HAS SOPS 264520 HAS SOUS 94448 HAS SOUPS 92844 WITH SCORE 93118.777
AT ITER 3303 NEW BEST:: SOT 659245 SOS 274754 HAS SOPS 264497 HAS SOUS 94386 HAS SOUPS 92782 WITH SCORE 93056.754
AT ITER 3314 NEW BEST:: SOT 659185 SOS 274634 HAS SOPS 264377 HAS SOUS 94306 HAS SOUPS 92702 WITH SCORE 92976.634
AT ITER 3328 NEW BEST:: SOT 659227 SOS 274574 HAS SOPS 264681 HAS SOUS 94264 HAS SOUPS 92660 WITH SCORE 92934.574
AT ITER 3339 NEW BEST:: SOT 659093 SOS 274440 HAS SOPS 265227 HAS SOUS 93994 HAS SOUPS 92526 WITH SCORE 92800.44
AT ITER 3341 NEW BEST:: SOT 659079 SOS 274426 HAS SOPS 265213 HAS SOUS 93962 HAS SOUPS 92494 WITH SCORE 92768.426
AT ITER 3356 NEW BEST:: SOT 659068 SOS 274429 HAS SOPS 265216 HAS SOUS 93940 HAS SOUPS 92472 WITH SCORE 92746.429
AT ITER 3364 NEW BEST:: SOT 658916 SOS 274277 HAS SOPS 265064 HAS SOUS 93766 HAS SOUPS 92298 WITH SCORE 92572.277
AT ITER 3380 NEW BEST:: SOT 658849 SOS 274210 HAS SOPS 264974 HAS SOUS 93759 HAS SOUPS 92291 WITH SCORE 92565.21
AT ITER 3398 NEW BEST:: SOT 658861 SOS 274169 HAS SOPS 264933 HAS SOUS 93288 HAS SOUPS 91820 WITH SCORE 92094.169
AT ITER 3425 NEW BEST:: SOT 658772 SOS 274072 HAS SOPS 264836 HAS SOUS 93146 HAS SOUPS 91678 WITH SCORE 91952.072
AT ITER 3467 NEW BEST:: SOT 658777 SOS 274077 HAS SOPS 264825 HAS SOUS 93146 HAS SOUPS 91676 WITH SCORE 91950.077
AT ITER 3484 NEW BEST:: SOT 658380 SOS 273680 HAS SOPS 264428 HAS SOUS 93074 HAS SOUPS 91604 WITH SCORE 91877.68
AT ITER 3510 NEW BEST:: SOT 658396 SOS 273744 HAS SOPS 264396 HAS SOUS 93154 HAS SOUPS 91588 WITH SCORE 91861.744
AT ITER 3517 NEW BEST:: SOT 658385 SOS 273733 HAS SOPS 264375 HAS SOUS 93140 HAS SOUPS 91566 WITH SCORE 91839.733
AT ITER 3529 NEW BEST:: SOT 658243 SOS 273715 HAS SOPS 264357 HAS SOUS 93110 HAS SOUPS 91536 WITH SCORE 91809.715
AT ITER 3530 NEW BEST:: SOT 658236 SOS 273708 HAS SOPS 264350 HAS SOUS 93103 HAS SOUPS 91529 WITH SCORE 91802.708
AT ITER 3562 NEW BEST:: SOT 658162 SOS 273603 HAS SOPS 264245 HAS SOUS 93029 HAS SOUPS 91455 WITH SCORE 91728.603
AT ITER 3592 NEW BEST:: SOT 658156 SOS 273597 HAS SOPS 264242 HAS SOUS 92996 HAS SOUPS 91422 WITH SCORE 91695.597
AT ITER 3605 NEW BEST:: SOT 658174 SOS 273633 HAS SOPS 264278 HAS SOUS 92983 HAS SOUPS 91409 WITH SCORE 91682.633
AT ITER 3633 NEW BEST:: SOT 658126 SOS 273584 HAS SOPS 264211 HAS SOUS 92906 HAS SOUPS 91317 WITH SCORE 91590.584
AT ITER 3635 NEW BEST:: SOT 658126 SOS 273535 HAS SOPS 264162 HAS SOUS 92871 HAS SOUPS 91282 WITH SCORE 91555.535
AT ITER 3672 NEW BEST:: SOT 657496 SOS 272905 HAS SOPS 263532 HAS SOUS 92731 HAS SOUPS 91142 WITH SCORE 91414.905
AT ITER 3680 NEW BEST:: SOT 657380 SOS 272763 HAS SOPS 263390 HAS SOUS 92634 HAS SOUPS 91045 WITH SCORE 91317.763
AT ITER 3686 NEW BEST:: SOT 657380 SOS 272761 HAS SOPS 263388 HAS SOUS 92632 HAS SOUPS 91043 WITH SCORE 91315.761
AT ITER 3692 NEW BEST:: SOT 657425 SOS 272893 HAS SOPS 263520 HAS SOUS 92567 HAS SOUPS 90978 WITH SCORE 91250.893
AT ITER 3713 NEW BEST:: SOT 657415 SOS 269633 HAS SOPS 260260 HAS SOUS 92567 HAS SOUPS 90978 WITH SCORE 91247.633
AT ITER 3734 NEW BEST:: SOT 657373 SOS 269607 HAS SOPS 260234 HAS SOUS 92451 HAS SOUPS 90862 WITH SCORE 91131.607
AT ITER 3737 NEW BEST:: SOT 657373 SOS 269604 HAS SOPS 260231 HAS SOUS 92448 HAS SOUPS 90859 WITH SCORE 91128.604
AT ITER 3740 NEW BEST:: SOT 657371 SOS 268832 HAS SOPS 259459 HAS SOUS 92437 HAS SOUPS 90848 WITH SCORE 91116.832
AT ITER 3768 NEW BEST:: SOT 657347 SOS 268784 HAS SOPS 259411 HAS SOUS 92389 HAS SOUPS 90800 WITH SCORE 91068.784
AT ITER 3795 NEW BEST:: SOT 657340 SOS 268777 HAS SOPS 259380 HAS SOUS 92358 HAS SOUPS 90769 WITH SCORE 91037.777
AT ITER 3796 NEW BEST:: SOT 657331 SOS 268760 HAS SOPS 259363 HAS SOUS 92333 HAS SOUPS 90744 WITH SCORE 91012.76
AT ITER 3797 NEW BEST:: SOT 657258 SOS 268621 HAS SOPS 259267 HAS SOUS 92305 HAS SOUPS 90716 WITH SCORE 90984.621
AT ITER 3814 NEW BEST:: SOT 657256 SOS 268617 HAS SOPS 259263 HAS SOUS 92301 HAS SOUPS 90712 WITH SCORE 90980.617
AT ITER 3816 NEW BEST:: SOT 657246 SOS 268597 HAS SOPS 259243 HAS SOUS 92281 HAS SOUPS 90692 WITH SCORE 90960.597
AT ITER 3849 NEW BEST:: SOT 657229 SOS 268580 HAS SOPS 259226 HAS SOUS 92247 HAS SOUPS 90658 WITH SCORE 90926.58
AT ITER 3858 NEW BEST:: SOT 657202 SOS 268544 HAS SOPS 259190 HAS SOUS 92220 HAS SOUPS 90631 WITH SCORE 90899.544
AT ITER 3874 NEW BEST:: SOT 657164 SOS 268485 HAS SOPS 259131 HAS SOUS 92148 HAS SOUPS 90559 WITH SCORE 90827.485
AT ITER 3896 NEW BEST:: SOT 657236 SOS 268761 HAS SOPS 259407 HAS SOUS 92046 HAS SOUPS 90457 WITH SCORE 90725.761
AT ITER 3906 NEW BEST:: SOT 657086 SOS 268561 HAS SOPS 259207 HAS SOUS 91796 HAS SOUPS 90207 WITH SCORE 90475.561
AT ITER 3914 NEW BEST:: SOT 657080 SOS 268543 HAS SOPS 259189 HAS SOUS 91796 HAS SOUPS 90207 WITH SCORE 90475.543
AT ITER 3957 NEW BEST:: SOT 656827 SOS 268315 HAS SOPS 258961 HAS SOUS 91509 HAS SOUPS 89920 WITH SCORE 90188.315
AT ITER 3975 NEW BEST:: SOT 656818 SOS 268297 HAS SOPS 258943 HAS SOUS 91491 HAS SOUPS 89902 WITH SCORE 90170.297
AT ITER 3984 NEW BEST:: SOT 656790 SOS 268269 HAS SOPS 258915 HAS SOUS 91463 HAS SOUPS 89874 WITH SCORE 90142.269
AT ITER 3989 NEW BEST:: SOT 656763 SOS 268271 HAS SOPS 258917 HAS SOUS 91409 HAS SOUPS 89820 WITH SCORE 90088.271
AT ITER 3991 NEW BEST:: SOT 656815 SOS 268323 HAS SOPS 259009 HAS SOUS 91334 HAS SOUPS 89745 WITH SCORE 90013.323
AT ITER 3993 NEW BEST:: SOT 656698 SOS 268206 HAS SOPS 258892 HAS SOUS 91168 HAS SOUPS 89579 WITH SCORE 89847.206
AT ITER 4002 NEW BEST:: SOT 656640 SOS 268136 HAS SOPS 258822 HAS SOUS 91098 HAS SOUPS 89509 WITH SCORE 89777.136
AT ITER 4031 NEW BEST:: SOT 656721 SOS 268217 HAS SOPS 258899 HAS SOUS 91042 HAS SOUPS 89464 WITH SCORE 89732.217
AT ITER 4050 NEW BEST:: SOT 656304 SOS 267800 HAS SOPS 258482 HAS SOUS 90586 HAS SOUPS 89008 WITH SCORE 89275.8
AT ITER 4059 NEW BEST:: SOT 656304 SOS 267790 HAS SOPS 258482 HAS SOUS 90586 HAS SOUPS 89008 WITH SCORE 89275.79
AT ITER 4063 NEW BEST:: SOT 656257 SOS 267743 HAS SOPS 258411 HAS SOUS 90492 HAS SOUPS 88914 WITH SCORE 89181.743
AT ITER 4067 NEW BEST:: SOT 656179 SOS 267665 HAS SOPS 258333 HAS SOUS 90386 HAS SOUPS 88808 WITH SCORE 89075.665
AT ITER 4109 NEW BEST:: SOT 656153 SOS 267639 HAS SOPS 258307 HAS SOUS 90343 HAS SOUPS 88765 WITH SCORE 89032.639
AT ITER 4125 NEW BEST:: SOT 656008 SOS 267449 HAS SOPS 258117 HAS SOUS 90180 HAS SOUPS 88602 WITH SCORE 88869.449
AT ITER 4131 NEW BEST:: SOT 656023 SOS 267359 HAS SOPS 258027 HAS SOUS 90180 HAS SOUPS 88602 WITH SCORE 88869.359
AT ITER 4156 NEW BEST:: SOT 655777 SOS 267113 HAS SOPS 257781 HAS SOUS 89934 HAS SOUPS 88356 WITH SCORE 88623.113
AT ITER 4180 NEW BEST:: SOT 655781 SOS 267110 HAS SOPS 257778 HAS SOUS 89931 HAS SOUPS 88353 WITH SCORE 88620.11
AT ITER 4187 NEW BEST:: SOT 655780 SOS 267109 HAS SOPS 257777 HAS SOUS 89931 HAS SOUPS 88353 WITH SCORE 88620.109
AT ITER 4225 NEW BEST:: SOT 655751 SOS 266927 HAS SOPS 257595 HAS SOUS 89904 HAS SOUPS 88326 WITH SCORE 88592.927
AT ITER 4271 NEW BEST:: SOT 655740 SOS 266916 HAS SOPS 257595 HAS SOUS 89904 HAS SOUPS 88326 WITH SCORE 88592.916
AT ITER 4286 NEW BEST:: SOT 655738 SOS 266912 HAS SOPS 257591 HAS SOUS 89900 HAS SOUPS 88322 WITH SCORE 88588.912
AT ITER 4303 NEW BEST:: SOT 655693 SOS 263807 HAS SOPS 254486 HAS SOUS 89846 HAS SOUPS 88268 WITH SCORE 88531.807
AT ITER 4309 NEW BEST:: SOT 657432 SOS 261626 HAS SOPS 252305 HAS SOUS 88974 HAS SOUPS 87396 WITH SCORE 87657.626
AT ITER 4324 NEW BEST:: SOT 657427 SOS 261616 HAS SOPS 252295 HAS SOUS 88964 HAS SOUPS 87386 WITH SCORE 87647.616
AT ITER 4329 NEW BEST:: SOT 657420 SOS 260825 HAS SOPS 251504 HAS SOUS 88957 HAS SOUPS 87379 WITH SCORE 87639.825
AT ITER 4338 NEW BEST:: SOT 657609 SOS 260955 HAS SOPS 251634 HAS SOUS 88951 HAS SOUPS 87373 WITH SCORE 87633.955
AT ITER 4352 NEW BEST:: SOT 656897 SOS 260118 HAS SOPS 250797 HAS SOUS 88257 HAS SOUPS 86679 WITH SCORE 86939.118
AT ITER 4372 NEW BEST:: SOT 656898 SOS 260112 HAS SOPS 250791 HAS SOUS 88251 HAS SOUPS 86673 WITH SCORE 86933.112
AT ITER 4375 NEW BEST:: SOT 656858 SOS 248056 HAS SOPS 238735 HAS SOUS 87741 HAS SOUPS 86163 WITH SCORE 86411.056
AT ITER 4423 NEW BEST:: SOT 656856 SOS 248054 HAS SOPS 238735 HAS SOUS 87739 HAS SOUPS 86161 WITH SCORE 86409.054
AT ITER 4431 NEW BEST:: SOT 656839 SOS 248114 HAS SOPS 238795 HAS SOUS 87716 HAS SOUPS 86138 WITH SCORE 86386.114
AT ITER 4448 NEW BEST:: SOT 656757 SOS 248032 HAS SOPS 238713 HAS SOUS 87595 HAS SOUPS 86017 WITH SCORE 86265.032
AT ITER 4461 NEW BEST:: SOT 656264 SOS 247266 HAS SOPS 237947 HAS SOUS 86907 HAS SOUPS 85329 WITH SCORE 85576.266
AT ITER 4465 NEW BEST:: SOT 656220 SOS 247222 HAS SOPS 237903 HAS SOUS 86863 HAS SOUPS 85285 WITH SCORE 85532.222
AT ITER 4480 NEW BEST:: SOT 656220 SOS 247498 HAS SOPS 237995 HAS SOUS 86725 HAS SOUPS 85147 WITH SCORE 85394.498
AT ITER 4509 NEW BEST:: SOT 656220 SOS 247498 HAS SOPS 237995 HAS SOUS 86687 HAS SOUPS 85109 WITH SCORE 85356.498
AT ITER 4522 NEW BEST:: SOT 656184 SOS 247450 HAS SOPS 237947 HAS SOUS 86651 HAS SOUPS 85073 WITH SCORE 85320.45
AT ITER 4548 NEW BEST:: SOT 655888 SOS 247209 HAS SOPS 237706 HAS SOUS 86375 HAS SOUPS 84797 WITH SCORE 85044.209
AT ITER 4550 NEW BEST:: SOT 655765 SOS 247086 HAS SOPS 237583 HAS SOUS 86235 HAS SOUPS 84657 WITH SCORE 84904.086
AT ITER 4565 NEW BEST:: SOT 655753 SOS 247000 HAS SOPS 237497 HAS SOUS 86211 HAS SOUPS 84633 WITH SCORE 84880.0
AT ITER 4571 NEW BEST:: SOT 655735 SOS 246960 HAS SOPS 237457 HAS SOUS 86175 HAS SOUPS 84597 WITH SCORE 84843.96
AT ITER 4625 NEW BEST:: SOT 655712 SOS 246937 HAS SOPS 237428 HAS SOUS 86135 HAS SOUPS 84557 WITH SCORE 84803.937
AT ITER 4659 NEW BEST:: SOT 655964 SOS 247189 HAS SOPS 237680 HAS SOUS 85993 HAS SOUPS 84415 WITH SCORE 84662.189
AT ITER 4677 NEW BEST:: SOT 655942 SOS 247145 HAS SOPS 237636 HAS SOUS 85912 HAS SOUPS 84334 WITH SCORE 84581.145
AT ITER 4686 NEW BEST:: SOT 654785 SOS 245975 HAS SOPS 236466 HAS SOUS 85678 HAS SOUPS 84100 WITH SCORE 84345.975
AT ITER 4722 NEW BEST:: SOT 654702 SOS 245890 HAS SOPS 236381 HAS SOUS 85507 HAS SOUPS 83929 WITH SCORE 84174.89
AT ITER 4730 NEW BEST:: SOT 654684 SOS 245879 HAS SOPS 236370 HAS SOUS 85496 HAS SOUPS 83918 WITH SCORE 84163.879
AT ITER 4800 NEW BEST:: SOT 654501 SOS 245662 HAS SOPS 236153 HAS SOUS 85428 HAS SOUPS 83850 WITH SCORE 84095.662
AT ITER 4820 NEW BEST:: SOT 654373 SOS 245398 HAS SOPS 235889 HAS SOUS 85296 HAS SOUPS 83718 WITH SCORE 83963.398
AT ITER 4837 NEW BEST:: SOT 654438 SOS 245506 HAS SOPS 235997 HAS SOUS 85235 HAS SOUPS 83657 WITH SCORE 83902.506
AT ITER 4861 NEW BEST:: SOT 654509 SOS 245577 HAS SOPS 236040 HAS SOUS 85212 HAS SOUPS 83634 WITH SCORE 83879.577
AT ITER 4877 NEW BEST:: SOT 654473 SOS 245541 HAS SOPS 236004 HAS SOUS 85168 HAS SOUPS 83590 WITH SCORE 83835.541
AT ITER 4919 NEW BEST:: SOT 654520 SOS 245465 HAS SOPS 235988 HAS SOUS 85157 HAS SOUPS 83579 WITH SCORE 83824.465
AT ITER 4933 NEW BEST:: SOT 654392 SOS 245191 HAS SOPS 235714 HAS SOUS 84898 HAS SOUPS 83320 WITH SCORE 83565.191
AT ITER 4969 NEW BEST:: SOT 654372 SOS 245171 HAS SOPS 235694 HAS SOUS 84858 HAS SOUPS 83280 WITH SCORE 83525.171
AT ITER 4970 NEW BEST:: SOT 654343 SOS 245167 HAS SOPS 235690 HAS SOUS 84825 HAS SOUPS 83247 WITH SCORE 83492.167
AT ITER 5002 NEW BEST:: SOT 654291 SOS 245123 HAS SOPS 235646 HAS SOUS 84721 HAS SOUPS 83143 WITH SCORE 83388.123
AT ITER 5024 NEW BEST:: SOT 654291 SOS 245121 HAS SOPS 235644 HAS SOUS 84717 HAS SOUPS 83139 WITH SCORE 83384.121
AT ITER 5052 NEW BEST:: SOT 654267 SOS 244965 HAS SOPS 235537 HAS SOUS 84669 HAS SOUPS 83091 WITH SCORE 83335.965
AT ITER 5054 NEW BEST:: SOT 654261 SOS 244959 HAS SOPS 235531 HAS SOUS 84633 HAS SOUPS 83055 WITH SCORE 83299.959
AT ITER 5068 NEW BEST:: SOT 654259 SOS 244957 HAS SOPS 235529 HAS SOUS 84632 HAS SOUPS 83054 WITH SCORE 83298.957
AT ITER 5070 NEW BEST:: SOT 654263 SOS 244961 HAS SOPS 235535 HAS SOUS 84626 HAS SOUPS 83048 WITH SCORE 83292.961
AT ITER 5073 NEW BEST:: SOT 654263 SOS 244961 HAS SOPS 235535 HAS SOUS 84624 HAS SOUPS 83046 WITH SCORE 83290.961
AT ITER 5123 NEW BEST:: SOT 654216 SOS 244935 HAS SOPS 235460 HAS SOUS 84496 HAS SOUPS 82918 WITH SCORE 83162.935
AT ITER 5149 NEW BEST:: SOT 654213 SOS 244932 HAS SOPS 235457 HAS SOUS 84495 HAS SOUPS 82917 WITH SCORE 83161.932
AT ITER 5151 NEW BEST:: SOT 654163 SOS 244882 HAS SOPS 235407 HAS SOUS 84495 HAS SOUPS 82917 WITH SCORE 83161.882
AT ITER 5160 NEW BEST:: SOT 654138 SOS 244853 HAS SOPS 235378 HAS SOUS 84470 HAS SOUPS 82892 WITH SCORE 83136.853
AT ITER 5167 NEW BEST:: SOT 654122 SOS 244821 HAS SOPS 235346 HAS SOUS 84271 HAS SOUPS 82693 WITH SCORE 82937.821
AT ITER 5175 NEW BEST:: SOT 654092 SOS 244791 HAS SOPS 235316 HAS SOUS 84213 HAS SOUPS 82635 WITH SCORE 82879.791
AT ITER 5183 NEW BEST:: SOT 654087 SOS 244797 HAS SOPS 235322 HAS SOUS 84203 HAS SOUPS 82625 WITH SCORE 82869.797
AT ITER 5213 NEW BEST:: SOT 654073 SOS 244783 HAS SOPS 235294 HAS SOUS 84175 HAS SOUPS 82597 WITH SCORE 82841.783
AT ITER 5270 NEW BEST:: SOT 654017 SOS 243281 HAS SOPS 233792 HAS SOUS 84055 HAS SOUPS 82477 WITH SCORE 82720.281
AT ITER 5291 NEW BEST:: SOT 653838 SOS 243102 HAS SOPS 233599 HAS SOUS 83936 HAS SOUPS 82358 WITH SCORE 82601.102
AT ITER 5311 NEW BEST:: SOT 653810 SOS 243020 HAS SOPS 233517 HAS SOUS 83880 HAS SOUPS 82302 WITH SCORE 82545.02
AT ITER 5316 NEW BEST:: SOT 653722 SOS 242866 HAS SOPS 233363 HAS SOUS 83792 HAS SOUPS 82214 WITH SCORE 82456.866
AT ITER 5360 NEW BEST:: SOT 653504 SOS 242314 HAS SOPS 232811 HAS SOUS 83297 HAS SOUPS 81719 WITH SCORE 81961.314
AT ITER 5368 NEW BEST:: SOT 653471 SOS 242281 HAS SOPS 232778 HAS SOUS 83282 HAS SOUPS 81704 WITH SCORE 81946.281
AT ITER 5387 NEW BEST:: SOT 653465 SOS 242269 HAS SOPS 232766 HAS SOUS 83270 HAS SOUPS 81692 WITH SCORE 81934.269
AT ITER 5405 NEW BEST:: SOT 653438 SOS 242242 HAS SOPS 232739 HAS SOUS 83227 HAS SOUPS 81649 WITH SCORE 81891.242
AT ITER 5428 NEW BEST:: SOT 653360 SOS 242137 HAS SOPS 232634 HAS SOUS 83139 HAS SOUPS 81561 WITH SCORE 81803.137
AT ITER 5499 NEW BEST:: SOT 653337 SOS 242092 HAS SOPS 232589 HAS SOUS 83094 HAS SOUPS 81516 WITH SCORE 81758.092
AT ITER 5563 NEW BEST:: SOT 653339 SOS 242096 HAS SOPS 232593 HAS SOUS 83077 HAS SOUPS 81499 WITH SCORE 81741.096
AT ITER 5626 NEW BEST:: SOT 653277 SOS 241922 HAS SOPS 232450 HAS SOUS 83064 HAS SOUPS 81486 WITH SCORE 81727.922
AT ITER 5634 NEW BEST:: SOT 653277 SOS 241874 HAS SOPS 232402 HAS SOUS 83056 HAS SOUPS 81478 WITH SCORE 81719.874
AT ITER 5659 NEW BEST:: SOT 653276 SOS 241872 HAS SOPS 232400 HAS SOUS 83054 HAS SOUPS 81476 WITH SCORE 81717.872
AT ITER 5677 NEW BEST:: SOT 653263 SOS 241856 HAS SOPS 232384 HAS SOUS 83034 HAS SOUPS 81456 WITH SCORE 81697.856
AT ITER 5700 NEW BEST:: SOT 653169 SOS 241557 HAS SOPS 232085 HAS SOUS 82910 HAS SOUPS 81332 WITH SCORE 81573.557
AT ITER 5721 NEW BEST:: SOT 653038 SOS 241426 HAS SOPS 231954 HAS SOUS 82651 HAS SOUPS 81073 WITH SCORE 81314.426
AT ITER 5734 NEW BEST:: SOT 653023 SOS 241411 HAS SOPS 231939 HAS SOUS 82636 HAS SOUPS 81058 WITH SCORE 81299.411
AT ITER 5737 NEW BEST:: SOT 652936 SOS 241324 HAS SOPS 231852 HAS SOUS 82549 HAS SOUPS 80971 WITH SCORE 81212.324
AT ITER 5788 NEW BEST:: SOT 652884 SOS 241272 HAS SOPS 231800 HAS SOUS 82470 HAS SOUPS 80892 WITH SCORE 81133.272
AT ITER 5810 NEW BEST:: SOT 652877 SOS 241265 HAS SOPS 231793 HAS SOUS 82456 HAS SOUPS 80878 WITH SCORE 81119.265
AT ITER 5814 NEW BEST:: SOT 652877 SOS 241258 HAS SOPS 231786 HAS SOUS 82447 HAS SOUPS 80869 WITH SCORE 81110.258
AT ITER 5821 NEW BEST:: SOT 652877 SOS 241258 HAS SOPS 231788 HAS SOUS 82444 HAS SOUPS 80866 WITH SCORE 81107.258
AT ITER 5828 NEW BEST:: SOT 652871 SOS 241234 HAS SOPS 231764 HAS SOUS 82435 HAS SOUPS 80857 WITH SCORE 81098.234
AT ITER 5837 NEW BEST:: SOT 652863 SOS 241218 HAS SOPS 231748 HAS SOUS 82419 HAS SOUPS 80841 WITH SCORE 81082.218
AT ITER 5840 NEW BEST:: SOT 652827 SOS 241199 HAS SOPS 231729 HAS SOUS 82369 HAS SOUPS 80791 WITH SCORE 81032.199
AT ITER 5888 NEW BEST:: SOT 652799 SOS 241156 HAS SOPS 231688 HAS SOUS 82343 HAS SOUPS 80765 WITH SCORE 81006.156
AT ITER 5934 NEW BEST:: SOT 652303 SOS 240654 HAS SOPS 231186 HAS SOUS 81812 HAS SOUPS 80234 WITH SCORE 80474.654
AT ITER 5977 NEW BEST:: SOT 652295 SOS 240646 HAS SOPS 231178 HAS SOUS 81796 HAS SOUPS 80218 WITH SCORE 80458.646
AT ITER 5988 NEW BEST:: SOT 652257 SOS 240578 HAS SOPS 231175 HAS SOUS 81791 HAS SOUPS 80213 WITH SCORE 80453.578
AT ITER 5990 NEW BEST:: SOT 652229 SOS 240550 HAS SOPS 231147 HAS SOUS 81777 HAS SOUPS 80199 WITH SCORE 80439.55
AT ITER 6044 NEW BEST:: SOT 652211 SOS 240524 HAS SOPS 231121 HAS SOUS 81751 HAS SOUPS 80173 WITH SCORE 80413.524
AT ITER 6066 NEW BEST:: SOT 652205 SOS 240518 HAS SOPS 231109 HAS SOUS 81739 HAS SOUPS 80161 WITH SCORE 80401.518
AT ITER 6069 NEW BEST:: SOT 652205 SOS 240518 HAS SOPS 231109 HAS SOUS 81733 HAS SOUPS 80155 WITH SCORE 80395.518
AT ITER 6070 NEW BEST:: SOT 652185 SOS 240478 HAS SOPS 231069 HAS SOUS 81713 HAS SOUPS 80135 WITH SCORE 80375.478
AT ITER 6110 NEW BEST:: SOT 652031 SOS 240381 HAS SOPS 230972 HAS SOUS 81423 HAS SOUPS 79845 WITH SCORE 80085.381
AT ITER 6116 NEW BEST:: SOT 652023 SOS 240373 HAS SOPS 230964 HAS SOUS 81422 HAS SOUPS 79844 WITH SCORE 80084.373
AT ITER 6136 NEW BEST:: SOT 652048 SOS 240409 HAS SOPS 231000 HAS SOUS 81417 HAS SOUPS 79839 WITH SCORE 80079.409
AT ITER 6183 NEW BEST:: SOT 652064 SOS 240425 HAS SOPS 230990 HAS SOUS 81365 HAS SOUPS 79787 WITH SCORE 80027.425
AT ITER 6191 NEW BEST:: SOT 652063 SOS 240424 HAS SOPS 230989 HAS SOUS 81365 HAS SOUPS 79787 WITH SCORE 80027.424
AT ITER 6247 NEW BEST:: SOT 652058 SOS 240419 HAS SOPS 230984 HAS SOUS 81355 HAS SOUPS 79777 WITH SCORE 80017.419
AT ITER 6262 NEW BEST:: SOT 651973 SOS 240172 HAS SOPS 230737 HAS SOUS 81255 HAS SOUPS 79677 WITH SCORE 79917.172
AT ITER 6263 NEW BEST:: SOT 651973 SOS 240166 HAS SOPS 230737 HAS SOUS 81254 HAS SOUPS 79677 WITH SCORE 79917.166
AT ITER 6297 NEW BEST:: SOT 650873 SOS 239066 HAS SOPS 229637 HAS SOUS 80984 HAS SOUPS 79407 WITH SCORE 79646.066
AT ITER 6308 NEW BEST:: SOT 650873 SOS 239066 HAS SOPS 229622 HAS SOUS 80930 HAS SOUPS 79353 WITH SCORE 79592.066
AT ITER 6321 NEW BEST:: SOT 650819 SOS 239009 HAS SOPS 229565 HAS SOUS 80915 HAS SOUPS 79338 WITH SCORE 79577.009
AT ITER 6360 NEW BEST:: SOT 650819 SOS 239012 HAS SOPS 229568 HAS SOUS 80906 HAS SOUPS 79329 WITH SCORE 79568.012
AT ITER 6403 NEW BEST:: SOT 650758 SOS 238984 HAS SOPS 229540 HAS SOUS 80840 HAS SOUPS 79263 WITH SCORE 79501.984
AT ITER 6404 NEW BEST:: SOT 650758 SOS 238917 HAS SOPS 229540 HAS SOUS 80840 HAS SOUPS 79263 WITH SCORE 79501.917
AT ITER 6413 NEW BEST:: SOT 650710 SOS 238594 HAS SOPS 229217 HAS SOUS 80744 HAS SOUPS 79167 WITH SCORE 79405.594
AT ITER 6440 NEW BEST:: SOT 650709 SOS 238592 HAS SOPS 229215 HAS SOUS 80742 HAS SOUPS 79165 WITH SCORE 79403.592
AT ITER 6518 NEW BEST:: SOT 650529 SOS 238282 HAS SOPS 228905 HAS SOUS 80739 HAS SOUPS 79162 WITH SCORE 79400.282
AT ITER 6559 NEW BEST:: SOT 650513 SOS 238266 HAS SOPS 228883 HAS SOUS 80707 HAS SOUPS 79130 WITH SCORE 79368.266
AT ITER 6567 NEW BEST:: SOT 650513 SOS 238297 HAS SOPS 228870 HAS SOUS 80670 HAS SOUPS 79093 WITH SCORE 79331.297
AT ITER 6579 NEW BEST:: SOT 650521 SOS 238305 HAS SOPS 228878 HAS SOUS 80659 HAS SOUPS 79082 WITH SCORE 79320.305
AT ITER 6588 NEW BEST:: SOT 650521 SOS 238617 HAS SOPS 229190 HAS SOUS 80643 HAS SOUPS 79066 WITH SCORE 79304.617
AT ITER 6593 NEW BEST:: SOT 650525 SOS 238618 HAS SOPS 229209 HAS SOUS 80520 HAS SOUPS 78946 WITH SCORE 79184.618
AT ITER 6611 NEW BEST:: SOT 650529 SOS 238613 HAS SOPS 229204 HAS SOUS 80515 HAS SOUPS 78941 WITH SCORE 79179.613
AT ITER 6630 NEW BEST:: SOT 650497 SOS 238581 HAS SOPS 229172 HAS SOUS 80467 HAS SOUPS 78893 WITH SCORE 79131.581
AT ITER 6634 NEW BEST:: SOT 650427 SOS 238572 HAS SOPS 229106 HAS SOUS 80386 HAS SOUPS 78812 WITH SCORE 79050.572
AT ITER 6637 NEW BEST:: SOT 650427 SOS 238572 HAS SOPS 229106 HAS SOUS 80384 HAS SOUPS 78810 WITH SCORE 79048.572
AT ITER 6640 NEW BEST:: SOT 650398 SOS 238543 HAS SOPS 229077 HAS SOUS 80298 HAS SOUPS 78724 WITH SCORE 78962.543
AT ITER 6647 NEW BEST:: SOT 650359 SOS 238504 HAS SOPS 229007 HAS SOUS 80249 HAS SOUPS 78675 WITH SCORE 78913.504
AT ITER 6651 NEW BEST:: SOT 650394 SOS 239485 HAS SOPS 229988 HAS SOUS 80182 HAS SOUPS 78608 WITH SCORE 78847.485
AT ITER 6654 NEW BEST:: SOT 650406 SOS 239494 HAS SOPS 229997 HAS SOUS 80179 HAS SOUPS 78605 WITH SCORE 78844.494
AT ITER 6737 NEW BEST:: SOT 650406 SOS 239486 HAS SOPS 229989 HAS SOUS 80179 HAS SOUPS 78605 WITH SCORE 78844.486
AT ITER 6745 NEW BEST:: SOT 650341 SOS 239480 HAS SOPS 229983 HAS SOUS 80140 HAS SOUPS 78566 WITH SCORE 78805.48
AT ITER 6783 NEW BEST:: SOT 650340 SOS 239479 HAS SOPS 229982 HAS SOUS 80139 HAS SOUPS 78565 WITH SCORE 78804.479
AT ITER 6790 NEW BEST:: SOT 650330 SOS 239469 HAS SOPS 229972 HAS SOUS 80119 HAS SOUPS 78545 WITH SCORE 78784.469
AT ITER 6806 NEW BEST:: SOT 650484 SOS 239629 HAS SOPS 230180 HAS SOUS 80108 HAS SOUPS 78534 WITH SCORE 78773.629
AT ITER 6811 NEW BEST:: SOT 650203 SOS 239518 HAS SOPS 230069 HAS SOUS 79651 HAS SOUPS 78077 WITH SCORE 78316.518
AT ITER 6835 NEW BEST:: SOT 649947 SOS 239134 HAS SOPS 229685 HAS SOUS 79395 HAS SOUPS 77821 WITH SCORE 78060.134
AT ITER 6851 NEW BEST:: SOT 649979 SOS 239132 HAS SOPS 229683 HAS SOUS 79393 HAS SOUPS 77819 WITH SCORE 78058.132
AT ITER 6896 NEW BEST:: SOT 649899 SOS 239081 HAS SOPS 229632 HAS SOUS 79275 HAS SOUPS 77701 WITH SCORE 77940.081
AT ITER 6917 NEW BEST:: SOT 649892 SOS 239067 HAS SOPS 229618 HAS SOUS 79261 HAS SOUPS 77687 WITH SCORE 77926.067
AT ITER 6919 NEW BEST:: SOT 649892 SOS 239041 HAS SOPS 229592 HAS SOUS 79193 HAS SOUPS 77619 WITH SCORE 77858.041
AT ITER 6920 NEW BEST:: SOT 649886 SOS 239019 HAS SOPS 229578 HAS SOUS 79189 HAS SOUPS 77615 WITH SCORE 77854.019
AT ITER 6946 NEW BEST:: SOT 649873 SOS 238986 HAS SOPS 229545 HAS SOUS 79163 HAS SOUPS 77589 WITH SCORE 77827.986
AT ITER 6953 NEW BEST:: SOT 649904 SOS 239030 HAS SOPS 229589 HAS SOUS 79161 HAS SOUPS 77587 WITH SCORE 77826.03
AT ITER 6968 NEW BEST:: SOT 649905 SOS 239042 HAS SOPS 229601 HAS SOUS 79143 HAS SOUPS 77569 WITH SCORE 77808.042
AT ITER 6996 NEW BEST:: SOT 649906 SOS 239043 HAS SOPS 229602 HAS SOUS 79142 HAS SOUPS 77568 WITH SCORE 77807.043
AT ITER 7019 NEW BEST:: SOT 649921 SOS 239075 HAS SOPS 229634 HAS SOUS 79121 HAS SOUPS 77547 WITH SCORE 77786.075
AT ITER 7042 NEW BEST:: SOT 649911 SOS 239074 HAS SOPS 229633 HAS SOUS 79120 HAS SOUPS 77546 WITH SCORE 77785.074
AT ITER 7107 NEW BEST:: SOT 649904 SOS 239119 HAS SOPS 229657 HAS SOUS 79073 HAS SOUPS 77499 WITH SCORE 77738.119
AT ITER 7118 NEW BEST:: SOT 649896 SOS 239111 HAS SOPS 229649 HAS SOUS 79049 HAS SOUPS 77475 WITH SCORE 77714.111
AT ITER 7152 NEW BEST:: SOT 649884 SOS 239087 HAS SOPS 229625 HAS SOUS 79025 HAS SOUPS 77451 WITH SCORE 77690.087
AT ITER 7153 NEW BEST:: SOT 649884 SOS 239718 HAS SOPS 230136 HAS SOUS 78977 HAS SOUPS 77383 WITH SCORE 77622.718
AT ITER 7161 NEW BEST:: SOT 649884 SOS 239466 HAS SOPS 229884 HAS SOUS 78977 HAS SOUPS 77383 WITH SCORE 77622.466
AT ITER 7173 NEW BEST:: SOT 649879 SOS 239461 HAS SOPS 229879 HAS SOUS 78940 HAS SOUPS 77346 WITH SCORE 77585.461
AT ITER 7262 NEW BEST:: SOT 649863 SOS 239475 HAS SOPS 229877 HAS SOUS 78934 HAS SOUPS 77340 WITH SCORE 77579.475
AT ITER 7264 NEW BEST:: SOT 649828 SOS 239326 HAS SOPS 229728 HAS SOUS 78926 HAS SOUPS 77332 WITH SCORE 77571.326
AT ITER 7265 NEW BEST:: SOT 649828 SOS 239338 HAS SOPS 229728 HAS SOUS 78914 HAS SOUPS 77320 WITH SCORE 77559.338
AT ITER 7273 NEW BEST:: SOT 649822 SOS 239326 HAS SOPS 229716 HAS SOUS 78902 HAS SOUPS 77308 WITH SCORE 77547.326
AT ITER 7277 NEW BEST:: SOT 649797 SOS 239290 HAS SOPS 229680 HAS SOUS 78885 HAS SOUPS 77291 WITH SCORE 77530.29
AT ITER 7286 NEW BEST:: SOT 649819 SOS 239282 HAS SOPS 229672 HAS SOUS 78863 HAS SOUPS 77269 WITH SCORE 77508.282
AT ITER 7288 NEW BEST:: SOT 649801 SOS 239270 HAS SOPS 229660 HAS SOUS 78851 HAS SOUPS 77257 WITH SCORE 77496.27
AT ITER 7314 NEW BEST:: SOT 649701 SOS 239135 HAS SOPS 229573 HAS SOUS 78774 HAS SOUPS 77205 WITH SCORE 77444.135
AT ITER 7338 NEW BEST:: SOT 649699 SOS 239185 HAS SOPS 229623 HAS SOUS 78744 HAS SOUPS 77175 WITH SCORE 77414.185
AT ITER 7374 NEW BEST:: SOT 649620 SOS 239106 HAS SOPS 229544 HAS SOUS 78666 HAS SOUPS 77097 WITH SCORE 77336.106
AT ITER 7395 NEW BEST:: SOT 649592 SOS 239078 HAS SOPS 229516 HAS SOUS 78624 HAS SOUPS 77055 WITH SCORE 77294.078
AT ITER 7399 NEW BEST:: SOT 649536 SOS 238996 HAS SOPS 229434 HAS SOUS 78566 HAS SOUPS 76997 WITH SCORE 77235.996
AT ITER 7427 NEW BEST:: SOT 649560 SOS 238990 HAS SOPS 229431 HAS SOUS 78557 HAS SOUPS 76988 WITH SCORE 77226.99
AT ITER 7436 NEW BEST:: SOT 649560 SOS 238990 HAS SOPS 229431 HAS SOUS 78555 HAS SOUPS 76986 WITH SCORE 77224.99
AT ITER 7442 NEW BEST:: SOT 649526 SOS 238990 HAS SOPS 229431 HAS SOUS 78521 HAS SOUPS 76952 WITH SCORE 77190.99
AT ITER 7445 NEW BEST:: SOT 649481 SOS 238930 HAS SOPS 229371 HAS SOUS 78491 HAS SOUPS 76922 WITH SCORE 77160.93
AT ITER 7502 NEW BEST:: SOT 649467 SOS 239007 HAS SOPS 229448 HAS SOUS 78470 HAS SOUPS 76901 WITH SCORE 77140.007
AT ITER 7505 NEW BEST:: SOT 649453 SOS 238993 HAS SOPS 229438 HAS SOUS 78460 HAS SOUPS 76891 WITH SCORE 77129.993
AT ITER 7509 NEW BEST:: SOT 649530 SOS 239036 HAS SOPS 229481 HAS SOUS 78411 HAS SOUPS 76842 WITH SCORE 77081.036
AT ITER 7517 NEW BEST:: SOT 649525 SOS 239023 HAS SOPS 229468 HAS SOUS 78398 HAS SOUPS 76829 WITH SCORE 77068.023
AT ITER 7534 NEW BEST:: SOT 649374 SOS 238607 HAS SOPS 229052 HAS SOUS 78192 HAS SOUPS 76623 WITH SCORE 76861.607
AT ITER 7573 NEW BEST:: SOT 649367 SOS 238600 HAS SOPS 229045 HAS SOUS 78178 HAS SOUPS 76609 WITH SCORE 76847.6
AT ITER 7591 NEW BEST:: SOT 649361 SOS 238594 HAS SOPS 229039 HAS SOUS 78169 HAS SOUPS 76600 WITH SCORE 76838.594
AT ITER 7625 NEW BEST:: SOT 649356 SOS 238589 HAS SOPS 229034 HAS SOUS 78164 HAS SOUPS 76595 WITH SCORE 76833.589
AT ITER 7639 NEW BEST:: SOT 649356 SOS 238589 HAS SOPS 229034 HAS SOUS 78136 HAS SOUPS 76567 WITH SCORE 76805.589
AT ITER 7697 NEW BEST:: SOT 649357 SOS 238590 HAS SOPS 229036 HAS SOUS 78131 HAS SOUPS 76562 WITH SCORE 76800.59
AT ITER 7749 NEW BEST:: SOT 649306 SOS 238413 HAS SOPS 228859 HAS SOUS 78093 HAS SOUPS 76524 WITH SCORE 76762.413
AT ITER 7758 NEW BEST:: SOT 649296 SOS 238403 HAS SOPS 228849 HAS SOUS 78067 HAS SOUPS 76498 WITH SCORE 76736.403
AT ITER 7786 NEW BEST:: SOT 649296 SOS 238395 HAS SOPS 228841 HAS SOUS 78059 HAS SOUPS 76490 WITH SCORE 76728.395
AT ITER 7789 NEW BEST:: SOT 649296 SOS 238395 HAS SOPS 228837 HAS SOUS 78057 HAS SOUPS 76488 WITH SCORE 76726.395
AT ITER 7840 NEW BEST:: SOT 649293 SOS 238395 HAS SOPS 228837 HAS SOUS 78054 HAS SOUPS 76485 WITH SCORE 76723.395
AT ITER 7841 NEW BEST:: SOT 649237 SOS 238273 HAS SOPS 228715 HAS SOUS 78015 HAS SOUPS 76446 WITH SCORE 76684.273
AT ITER 7853 NEW BEST:: SOT 649292 SOS 238328 HAS SOPS 228788 HAS SOUS 77993 HAS SOUPS 76424 WITH SCORE 76662.328
AT ITER 7913 NEW BEST:: SOT 649190 SOS 238198 HAS SOPS 228658 HAS SOUS 77971 HAS SOUPS 76402 WITH SCORE 76640.198
AT ITER 7928 NEW BEST:: SOT 649101 SOS 238172 HAS SOPS 228632 HAS SOUS 77804 HAS SOUPS 76235 WITH SCORE 76473.172
AT ITER 7935 NEW BEST:: SOT 648755 SOS 237826 HAS SOPS 228286 HAS SOUS 77637 HAS SOUPS 76068 WITH SCORE 76305.826
AT ITER 7962 NEW BEST:: SOT 648735 SOS 237778 HAS SOPS 228238 HAS SOUS 77589 HAS SOUPS 76020 WITH SCORE 76257.778
AT ITER 7984 NEW BEST:: SOT 648682 SOS 237661 HAS SOPS 228121 HAS SOUS 77579 HAS SOUPS 76010 WITH SCORE 76247.661
AT ITER 8016 NEW BEST:: SOT 648673 SOS 237652 HAS SOPS 228103 HAS SOUS 77552 HAS SOUPS 75983 WITH SCORE 76220.652
AT ITER 8049 NEW BEST:: SOT 648591 SOS 237570 HAS SOPS 228021 HAS SOUS 77326 HAS SOUPS 75757 WITH SCORE 75994.57
AT ITER 8051 NEW BEST:: SOT 648387 SOS 237366 HAS SOPS 227817 HAS SOUS 76918 HAS SOUPS 75349 WITH SCORE 75586.366
AT ITER 8055 NEW BEST:: SOT 648400 SOS 237306 HAS SOPS 227757 HAS SOUS 76845 HAS SOUPS 75276 WITH SCORE 75513.306
AT ITER 8102 NEW BEST:: SOT 647408 SOS 236314 HAS SOPS 226765 HAS SOUS 76709 HAS SOUPS 75140 WITH SCORE 75376.314
AT ITER 8138 NEW BEST:: SOT 647362 SOS 236212 HAS SOPS 226663 HAS SOUS 76692 HAS SOUPS 75123 WITH SCORE 75359.212
AT ITER 8150 NEW BEST:: SOT 647334 SOS 236184 HAS SOPS 226635 HAS SOUS 76640 HAS SOUPS 75071 WITH SCORE 75307.184
AT ITER 8166 NEW BEST:: SOT 647246 SOS 236134 HAS SOPS 226585 HAS SOUS 76497 HAS SOUPS 74928 WITH SCORE 75164.134
AT ITER 8181 NEW BEST:: SOT 647225 SOS 236113 HAS SOPS 226564 HAS SOUS 76455 HAS SOUPS 74886 WITH SCORE 75122.113
AT ITER 8189 NEW BEST:: SOT 647229 SOS 236101 HAS SOPS 226552 HAS SOUS 76447 HAS SOUPS 74878 WITH SCORE 75114.101
AT ITER 8264 NEW BEST:: SOT 647069 SOS 235995 HAS SOPS 226446 HAS SOUS 76151 HAS SOUPS 74582 WITH SCORE 74817.995
AT ITER 8267 NEW BEST:: SOT 647060 SOS 236022 HAS SOPS 226473 HAS SOUS 76142 HAS SOUPS 74573 WITH SCORE 74809.022
AT ITER 8286 NEW BEST:: SOT 647034 SOS 235996 HAS SOPS 226447 HAS SOUS 76124 HAS SOUPS 74555 WITH SCORE 74790.996
AT ITER 8293 NEW BEST:: SOT 647034 SOS 235996 HAS SOPS 226447 HAS SOUS 76112 HAS SOUPS 74543 WITH SCORE 74778.996
AT ITER 8354 NEW BEST:: SOT 647031 SOS 235993 HAS SOPS 226441 HAS SOUS 76106 HAS SOUPS 74537 WITH SCORE 74772.993
AT ITER 8359 NEW BEST:: SOT 647028 SOS 235990 HAS SOPS 226438 HAS SOUS 76008 HAS SOUPS 74439 WITH SCORE 74674.99
AT ITER 8370 NEW BEST:: SOT 647015 SOS 235926 HAS SOPS 226377 HAS SOUS 75954 HAS SOUPS 74385 WITH SCORE 74620.926
AT ITER 8405 NEW BEST:: SOT 646997 SOS 235908 HAS SOPS 226359 HAS SOUS 75952 HAS SOUPS 74383 WITH SCORE 74618.908
AT ITER 8432 NEW BEST:: SOT 646966 SOS 235846 HAS SOPS 226297 HAS SOUS 75890 HAS SOUPS 74321 WITH SCORE 74556.846
AT ITER 8463 NEW BEST:: SOT 646965 SOS 235848 HAS SOPS 226299 HAS SOUS 75880 HAS SOUPS 74311 WITH SCORE 74546.848
AT ITER 8469 NEW BEST:: SOT 646938 SOS 235821 HAS SOPS 226272 HAS SOUS 75826 HAS SOUPS 74257 WITH SCORE 74492.821
AT ITER 8475 NEW BEST:: SOT 646682 SOS 235462 HAS SOPS 225913 HAS SOUS 75734 HAS SOUPS 74165 WITH SCORE 74400.462
AT ITER 8477 NEW BEST:: SOT 646685 SOS 235465 HAS SOPS 225916 HAS SOUS 75732 HAS SOUPS 74163 WITH SCORE 74398.465
AT ITER 8498 NEW BEST:: SOT 646559 SOS 235336 HAS SOPS 225787 HAS SOUS 75695 HAS SOUPS 74126 WITH SCORE 74361.336
AT ITER 8526 NEW BEST:: SOT 646554 SOS 235356 HAS SOPS 225807 HAS SOUS 75670 HAS SOUPS 74101 WITH SCORE 74336.356
AT ITER 8530 NEW BEST:: SOT 646546 SOS 235356 HAS SOPS 225807 HAS SOUS 75669 HAS SOUPS 74100 WITH SCORE 74335.356
AT ITER 8544 NEW BEST:: SOT 646514 SOS 235282 HAS SOPS 225733 HAS SOUS 75619 HAS SOUPS 74050 WITH SCORE 74285.282
AT ITER 8555 NEW BEST:: SOT 646445 SOS 235199 HAS SOPS 225650 HAS SOUS 75579 HAS SOUPS 74010 WITH SCORE 74245.199
AT ITER 8590 NEW BEST:: SOT 646125 SOS 234879 HAS SOPS 225330 HAS SOUS 75570 HAS SOUPS 74001 WITH SCORE 74235.879
AT ITER 8597 NEW BEST:: SOT 646101 SOS 234855 HAS SOPS 225294 HAS SOUS 75534 HAS SOUPS 73965 WITH SCORE 74199.855
AT ITER 8600 NEW BEST:: SOT 646115 SOS 234869 HAS SOPS 225279 HAS SOUS 75520 HAS SOUPS 73940 WITH SCORE 74174.869
AT ITER 8618 NEW BEST:: SOT 646070 SOS 234824 HAS SOPS 225234 HAS SOUS 75475 HAS SOUPS 73895 WITH SCORE 74129.824
AT ITER 8636 NEW BEST:: SOT 646005 SOS 233741 HAS SOPS 225098 HAS SOUS 75383 HAS SOUPS 73824 WITH SCORE 74057.741
AT ITER 8643 NEW BEST:: SOT 646014 SOS 233689 HAS SOPS 225046 HAS SOUS 75282 HAS SOUPS 73723 WITH SCORE 73956.689
AT ITER 8682 NEW BEST:: SOT 645917 SOS 233562 HAS SOPS 224919 HAS SOUS 75131 HAS SOUPS 73572 WITH SCORE 73805.562
AT ITER 8717 NEW BEST:: SOT 645892 SOS 233537 HAS SOPS 224894 HAS SOUS 75113 HAS SOUPS 73554 WITH SCORE 73787.537
AT ITER 8722 NEW BEST:: SOT 645862 SOS 233517 HAS SOPS 224874 HAS SOUS 75053 HAS SOUPS 73494 WITH SCORE 73727.517
AT ITER 8724 NEW BEST:: SOT 645861 SOS 233516 HAS SOPS 224873 HAS SOUS 75052 HAS SOUPS 73493 WITH SCORE 73726.516
AT ITER 8750 NEW BEST:: SOT 645860 SOS 233514 HAS SOPS 224871 HAS SOUS 75050 HAS SOUPS 73491 WITH SCORE 73724.514
AT ITER 8762 NEW BEST:: SOT 645938 SOS 233574 HAS SOPS 224931 HAS SOUS 74990 HAS SOUPS 73431 WITH SCORE 73664.574
AT ITER 8763 NEW BEST:: SOT 645959 SOS 233595 HAS SOPS 224909 HAS SOUS 74977 HAS SOUPS 73391 WITH SCORE 73624.595
AT ITER 8819 NEW BEST:: SOT 645932 SOS 233559 HAS SOPS 224860 HAS SOUS 74923 HAS SOUPS 73337 WITH SCORE 73570.559
AT ITER 8820 NEW BEST:: SOT 645913 SOS 233521 HAS SOPS 224822 HAS SOUS 74885 HAS SOUPS 73299 WITH SCORE 73532.521
AT ITER 8821 NEW BEST:: SOT 645902 SOS 233499 HAS SOPS 224800 HAS SOUS 74852 HAS SOUPS 73266 WITH SCORE 73499.499
AT ITER 8860 NEW BEST:: SOT 645051 SOS 232683 HAS SOPS 223984 HAS SOUS 74367 HAS SOUPS 72781 WITH SCORE 73013.683
AT ITER 8869 NEW BEST:: SOT 644964 SOS 232596 HAS SOPS 223876 HAS SOUS 74217 HAS SOUPS 72631 WITH SCORE 72863.596
AT ITER 8914 NEW BEST:: SOT 644908 SOS 232540 HAS SOPS 223820 HAS SOUS 74135 HAS SOUPS 72549 WITH SCORE 72781.54
AT ITER 8941 NEW BEST:: SOT 644908 SOS 232616 HAS SOPS 223881 HAS SOUS 74133 HAS SOUPS 72547 WITH SCORE 72779.616
AT ITER 8944 NEW BEST:: SOT 644796 SOS 232508 HAS SOPS 223773 HAS SOUS 74117 HAS SOUPS 72531 WITH SCORE 72763.508
AT ITER 8977 NEW BEST:: SOT 644836 SOS 232540 HAS SOPS 223805 HAS SOUS 74101 HAS SOUPS 72515 WITH SCORE 72747.54
AT ITER 9011 NEW BEST:: SOT 644828 SOS 232524 HAS SOPS 223789 HAS SOUS 74085 HAS SOUPS 72499 WITH SCORE 72731.524
AT ITER 9026 NEW BEST:: SOT 644820 SOS 232512 HAS SOPS 223777 HAS SOUS 74076 HAS SOUPS 72490 WITH SCORE 72722.512
AT ITER 9042 NEW BEST:: SOT 644816 SOS 232544 HAS SOPS 223809 HAS SOUS 74072 HAS SOUPS 72486 WITH SCORE 72718.544
AT ITER 9078 NEW BEST:: SOT 644720 SOS 232390 HAS SOPS 223655 HAS SOUS 73999 HAS SOUPS 72413 WITH SCORE 72645.39
AT ITER 9145 NEW BEST:: SOT 644722 SOS 232392 HAS SOPS 223655 HAS SOUS 73995 HAS SOUPS 72409 WITH SCORE 72641.392
AT ITER 9149 NEW BEST:: SOT 644827 SOS 232476 HAS SOPS 223739 HAS SOUS 73947 HAS SOUPS 72361 WITH SCORE 72593.476
AT ITER 9215 NEW BEST:: SOT 644821 SOS 232470 HAS SOPS 223733 HAS SOUS 73941 HAS SOUPS 72355 WITH SCORE 72587.47
AT ITER 9364 NEW BEST:: SOT 644797 SOS 232446 HAS SOPS 223709 HAS SOUS 73893 HAS SOUPS 72307 WITH SCORE 72539.446
AT ITER 9370 NEW BEST:: SOT 644733 SOS 232304 HAS SOPS 223567 HAS SOUS 73816 HAS SOUPS 72230 WITH SCORE 72462.304
AT ITER 9429 NEW BEST:: SOT 644723 SOS 232276 HAS SOPS 223539 HAS SOUS 73795 HAS SOUPS 72209 WITH SCORE 72441.276
AT ITER 9436 NEW BEST:: SOT 644730 SOS 232267 HAS SOPS 223530 HAS SOUS 73786 HAS SOUPS 72200 WITH SCORE 72432.267
AT ITER 9444 NEW BEST:: SOT 644688 SOS 232218 HAS SOPS 223474 HAS SOUS 73754 HAS SOUPS 72168 WITH SCORE 72400.218
AT ITER 9454 NEW BEST:: SOT 644655 SOS 232170 HAS SOPS 223426 HAS SOUS 73688 HAS SOUPS 72102 WITH SCORE 72334.17
AT ITER 9462 NEW BEST:: SOT 644656 SOS 232164 HAS SOPS 223420 HAS SOUS 73683 HAS SOUPS 72097 WITH SCORE 72329.164
AT ITER 9471 NEW BEST:: SOT 641419 SOS 228927 HAS SOPS 220183 HAS SOUS 73602 HAS SOUPS 72016 WITH SCORE 72244.927
AT ITER 9473 NEW BEST:: SOT 641390 SOS 229386 HAS SOPS 220642 HAS SOUS 73581 HAS SOUPS 71995 WITH SCORE 72224.386
AT ITER 9493 NEW BEST:: SOT 641407 SOS 229403 HAS SOPS 220639 HAS SOUS 73571 HAS SOUPS 71985 WITH SCORE 72214.403
AT ITER 9505 NEW BEST:: SOT 641407 SOS 229402 HAS SOPS 220638 HAS SOUS 73570 HAS SOUPS 71984 WITH SCORE 72213.402
AT ITER 9543 NEW BEST:: SOT 641405 SOS 229400 HAS SOPS 220634 HAS SOUS 73558 HAS SOUPS 71972 WITH SCORE 72201.4
AT ITER 9561 NEW BEST:: SOT 641401 SOS 229392 HAS SOPS 220626 HAS SOUS 73550 HAS SOUPS 71964 WITH SCORE 72193.392
AT ITER 9573 NEW BEST:: SOT 641399 SOS 229388 HAS SOPS 220622 HAS SOUS 73548 HAS SOUPS 71962 WITH SCORE 72191.388
AT ITER 9589 NEW BEST:: SOT 641399 SOS 229532 HAS SOPS 220766 HAS SOUS 73546 HAS SOUPS 71960 WITH SCORE 72189.532
AT ITER 9614 NEW BEST:: SOT 641384 SOS 229504 HAS SOPS 220749 HAS SOUS 73542 HAS SOUPS 71956 WITH SCORE 72185.504
AT ITER 9642 NEW BEST:: SOT 641357 SOS 229477 HAS SOPS 220706 HAS SOUS 73498 HAS SOUPS 71912 WITH SCORE 72141.477
AT ITER 9660 NEW BEST:: SOT 641357 SOS 229417 HAS SOPS 220646 HAS SOUS 73488 HAS SOUPS 71902 WITH SCORE 72131.417
AT ITER 9692 NEW BEST:: SOT 641333 SOS 229393 HAS SOPS 220622 HAS SOUS 73456 HAS SOUPS 71870 WITH SCORE 72099.393
AT ITER 9827 NEW BEST:: SOT 641330 SOS 229392 HAS SOPS 220621 HAS SOUS 73455 HAS SOUPS 71869 WITH SCORE 72098.392
AT ITER 9830 NEW BEST:: SOT 640812 SOS 228892 HAS SOPS 220121 HAS SOUS 73144 HAS SOUPS 71558 WITH SCORE 71786.892
AT ITER 9870 NEW BEST:: SOT 640770 SOS 228850 HAS SOPS 220079 HAS SOUS 73100 HAS SOUPS 71514 WITH SCORE 71742.85
AT ITER 9886 NEW BEST:: SOT 640740 SOS 228871 HAS SOPS 220100 HAS SOUS 73073 HAS SOUPS 71487 WITH SCORE 71715.871
AT ITER 9887 NEW BEST:: SOT 640690 SOS 228858 HAS SOPS 220087 HAS SOUS 73060 HAS SOUPS 71474 WITH SCORE 71702.858
AT ITER 9928 NEW BEST:: SOT 640690 SOS 228858 HAS SOPS 220087 HAS SOUS 73057 HAS SOUPS 71471 WITH SCORE 71699.858
AT ITER 9953 NEW BEST:: SOT 640659 SOS 228827 HAS SOPS 220056 HAS SOUS 73026 HAS SOUPS 71440 WITH SCORE 71668.827
AT ITER 9995 NEW BEST:: SOT 640531 SOS 228699 HAS SOPS 219928 HAS SOUS 72643 HAS SOUPS 71057 WITH SCORE 71285.699
AT ITER 9998 NEW BEST:: SOT 640495 SOS 228626 HAS SOPS 219855 HAS SOUS 72496 HAS SOUPS 70910 WITH SCORE 71138.626
STATE_SPACE STATES 13861021 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 62 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 48889103 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589645173847

--------------------
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="PolyORBLF-PT-S04J04T06"
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 PolyORBLF-PT-S04J04T06, 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 r123-tajo-158961354800464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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