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.r018-oct2-158897680100512.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 BusinessProcesses-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.7K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 91K 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 1589018790950

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

Filename model.pnml
Petri model created: 393 places, 344 transitions, 911 arcs.
AT ITER 0 NEW BEST:: SOT 85386 SOS 32582 HAS SOPS 32582 HAS SOUS 30991 HAS SOUPS 30991 WITH SCORE 31023.582
AT ITER 9 NEW BEST:: SOT 85287 SOS 32438 HAS SOPS 32438 HAS SOUS 30866 HAS SOUPS 30866 WITH SCORE 30898.438
AT ITER 10 NEW BEST:: SOT 85336 SOS 32536 HAS SOPS 32536 HAS SOUS 30850 HAS SOUPS 30850 WITH SCORE 30882.536
AT ITER 11 NEW BEST:: SOT 85232 SOS 32323 HAS SOPS 32323 HAS SOUS 30637 HAS SOUPS 30637 WITH SCORE 30669.323
AT ITER 21 NEW BEST:: SOT 85125 SOS 32218 HAS SOPS 32218 HAS SOUS 30532 HAS SOUPS 30532 WITH SCORE 30564.218
AT ITER 30 NEW BEST:: SOT 85031 SOS 32154 HAS SOPS 32154 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30500.154
AT ITER 31 NEW BEST:: SOT 85065 SOS 32142 HAS SOPS 32142 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30488.142
AT ITER 48 NEW BEST:: SOT 85065 SOS 31968 HAS SOPS 31968 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30487.968
AT ITER 56 NEW BEST:: SOT 84802 SOS 31953 HAS SOPS 31953 HAS SOUS 30313 HAS SOUPS 30313 WITH SCORE 30344.953
AT ITER 60 NEW BEST:: SOT 84783 SOS 31934 HAS SOPS 31934 HAS SOUS 30294 HAS SOUPS 30294 WITH SCORE 30325.934
AT ITER 80 NEW BEST:: SOT 84783 SOS 31852 HAS SOPS 31852 HAS SOUS 30212 HAS SOUPS 30212 WITH SCORE 30243.852
AT ITER 85 NEW BEST:: SOT 84798 SOS 31830 HAS SOPS 31830 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30221.83
AT ITER 88 NEW BEST:: SOT 84698 SOS 31812 HAS SOPS 31812 HAS SOUS 30183 HAS SOUPS 30183 WITH SCORE 30214.812
AT ITER 100 NEW BEST:: SOT 84679 SOS 31774 HAS SOPS 31774 HAS SOUS 30145 HAS SOUPS 30145 WITH SCORE 30176.774
AT ITER 104 NEW BEST:: SOT 84586 SOS 31655 HAS SOPS 31655 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30076.655
AT ITER 107 NEW BEST:: SOT 84556 SOS 31595 HAS SOPS 31595 HAS SOUS 29985 HAS SOUPS 29985 WITH SCORE 30016.595
AT ITER 111 NEW BEST:: SOT 84556 SOS 31530 HAS SOPS 31530 HAS SOUS 29920 HAS SOUPS 29920 WITH SCORE 29951.53
AT ITER 128 NEW BEST:: SOT 84429 SOS 31407 HAS SOPS 31407 HAS SOUS 29797 HAS SOUPS 29797 WITH SCORE 29828.407
AT ITER 135 NEW BEST:: SOT 84429 SOS 31337 HAS SOPS 31337 HAS SOUS 29725 HAS SOUPS 29725 WITH SCORE 29756.337
AT ITER 147 NEW BEST:: SOT 84419 SOS 31327 HAS SOPS 31327 HAS SOUS 29715 HAS SOUPS 29715 WITH SCORE 29746.327
AT ITER 151 NEW BEST:: SOT 84453 SOS 31027 HAS SOPS 31027 HAS SOUS 29706 HAS SOUPS 29706 WITH SCORE 29737.027
AT ITER 156 NEW BEST:: SOT 84454 SOS 31023 HAS SOPS 31023 HAS SOUS 29702 HAS SOUPS 29702 WITH SCORE 29733.023
AT ITER 164 NEW BEST:: SOT 84465 SOS 30989 HAS SOPS 30989 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29698.989
AT ITER 174 NEW BEST:: SOT 84403 SOS 30839 HAS SOPS 30839 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29460.839
AT ITER 194 NEW BEST:: SOT 84296 SOS 30695 HAS SOPS 30695 HAS SOUS 29286 HAS SOUPS 29286 WITH SCORE 29316.695
AT ITER 198 NEW BEST:: SOT 84268 SOS 30661 HAS SOPS 30661 HAS SOUS 29267 HAS SOUPS 29267 WITH SCORE 29297.661
AT ITER 208 NEW BEST:: SOT 84221 SOS 30614 HAS SOPS 30614 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29250.614
AT ITER 216 NEW BEST:: SOT 84221 SOS 30614 HAS SOPS 30614 HAS SOUS 29219 HAS SOUPS 29219 WITH SCORE 29249.614
AT ITER 218 NEW BEST:: SOT 84400 SOS 30527 HAS SOPS 30527 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29189.527
AT ITER 244 NEW BEST:: SOT 84462 SOS 30505 HAS SOPS 30505 HAS SOUS 29137 HAS SOUPS 29137 WITH SCORE 29167.505
AT ITER 248 NEW BEST:: SOT 84462 SOS 30464 HAS SOPS 30464 HAS SOUS 29122 HAS SOUPS 29122 WITH SCORE 29152.464
AT ITER 250 NEW BEST:: SOT 84462 SOS 30402 HAS SOPS 30402 HAS SOUS 29070 HAS SOUPS 29070 WITH SCORE 29100.402
AT ITER 254 NEW BEST:: SOT 84409 SOS 30300 HAS SOPS 30300 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 28996.3
AT ITER 256 NEW BEST:: SOT 84467 SOS 30200 HAS SOPS 30200 HAS SOUS 28866 HAS SOUPS 28866 WITH SCORE 28896.2
AT ITER 258 NEW BEST:: SOT 84467 SOS 30072 HAS SOPS 30072 HAS SOUS 28738 HAS SOUPS 28738 WITH SCORE 28768.072
AT ITER 260 NEW BEST:: SOT 84414 SOS 30019 HAS SOPS 30019 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28715.019
AT ITER 266 NEW BEST:: SOT 84414 SOS 29964 HAS SOPS 29964 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28659.964
AT ITER 290 NEW BEST:: SOT 84317 SOS 29850 HAS SOPS 29850 HAS SOUS 28614 HAS SOUPS 28614 WITH SCORE 28643.85
AT ITER 291 NEW BEST:: SOT 84316 SOS 29849 HAS SOPS 29849 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28642.849
AT ITER 309 NEW BEST:: SOT 84301 SOS 29819 HAS SOPS 29819 HAS SOUS 28583 HAS SOUPS 28583 WITH SCORE 28612.819
AT ITER 328 NEW BEST:: SOT 84080 SOS 29389 HAS SOPS 29389 HAS SOUS 28153 HAS SOUPS 28153 WITH SCORE 28182.389
AT ITER 359 NEW BEST:: SOT 84127 SOS 29335 HAS SOPS 29335 HAS SOUS 28099 HAS SOUPS 28099 WITH SCORE 28128.335
AT ITER 368 NEW BEST:: SOT 84052 SOS 29260 HAS SOPS 29260 HAS SOUS 28024 HAS SOUPS 28024 WITH SCORE 28053.26
AT ITER 384 NEW BEST:: SOT 83977 SOS 29183 HAS SOPS 29183 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27976.183
AT ITER 394 NEW BEST:: SOT 81036 SOS 32344 HAS SOPS 32344 HAS SOUS 25431 HAS SOUPS 25431 WITH SCORE 25463.344
AT ITER 405 NEW BEST:: SOT 81034 SOS 32342 HAS SOPS 32342 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25461.342
AT ITER 406 NEW BEST:: SOT 81008 SOS 32288 HAS SOPS 32288 HAS SOUS 25375 HAS SOUPS 25375 WITH SCORE 25407.288
AT ITER 409 NEW BEST:: SOT 80951 SOS 32145 HAS SOPS 32145 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25371.145
AT ITER 438 NEW BEST:: SOT 80934 SOS 32128 HAS SOPS 32128 HAS SOUS 25322 HAS SOUPS 25322 WITH SCORE 25354.128
AT ITER 443 NEW BEST:: SOT 80934 SOS 32128 HAS SOPS 32128 HAS SOUS 25263 HAS SOUPS 25263 WITH SCORE 25295.128
AT ITER 445 NEW BEST:: SOT 80918 SOS 32096 HAS SOPS 32096 HAS SOUS 25253 HAS SOUPS 25253 WITH SCORE 25285.096
AT ITER 447 NEW BEST:: SOT 80754 SOS 31870 HAS SOPS 31870 HAS SOUS 25129 HAS SOUPS 25129 WITH SCORE 25160.87
AT ITER 451 NEW BEST:: SOT 80753 SOS 31620 HAS SOPS 31620 HAS SOUS 24973 HAS SOUPS 24973 WITH SCORE 25004.62
AT ITER 460 NEW BEST:: SOT 80753 SOS 31620 HAS SOPS 31620 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24975.62
AT ITER 463 NEW BEST:: SOT 80753 SOS 31575 HAS SOPS 31575 HAS SOUS 24874 HAS SOUPS 24874 WITH SCORE 24905.575
AT ITER 467 NEW BEST:: SOT 80657 SOS 31479 HAS SOPS 31479 HAS SOUS 24869 HAS SOUPS 24869 WITH SCORE 24900.479
AT ITER 487 NEW BEST:: SOT 80502 SOS 31170 HAS SOPS 31170 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24639.17
AT ITER 492 NEW BEST:: SOT 80461 SOS 31128 HAS SOPS 31128 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24637.128
AT ITER 511 NEW BEST:: SOT 80483 SOS 31054 HAS SOPS 31054 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24563.054
AT ITER 529 NEW BEST:: SOT 80433 SOS 31006 HAS SOPS 31006 HAS SOUS 24523 HAS SOUPS 24523 WITH SCORE 24554.006
AT ITER 533 NEW BEST:: SOT 80458 SOS 30969 HAS SOPS 30969 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24546.969
AT ITER 542 NEW BEST:: SOT 80214 SOS 30602 HAS SOPS 30602 HAS SOUS 24272 HAS SOUPS 24272 WITH SCORE 24302.602
AT ITER 570 NEW BEST:: SOT 80206 SOS 30586 HAS SOPS 30586 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24294.586
AT ITER 572 NEW BEST:: SOT 80206 SOS 30383 HAS SOPS 30383 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24091.383
AT ITER 587 NEW BEST:: SOT 80206 SOS 30383 HAS SOPS 30383 HAS SOUS 24060 HAS SOUPS 24060 WITH SCORE 24090.383
AT ITER 591 NEW BEST:: SOT 80137 SOS 30314 HAS SOPS 30314 HAS SOUS 23993 HAS SOUPS 23993 WITH SCORE 24023.314
AT ITER 594 NEW BEST:: SOT 80170 SOS 30314 HAS SOPS 30314 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23990.314
AT ITER 600 NEW BEST:: SOT 80220 SOS 30364 HAS SOPS 30364 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23987.364
AT ITER 602 NEW BEST:: SOT 80304 SOS 30295 HAS SOPS 30295 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23864.295
AT ITER 604 NEW BEST:: SOT 80270 SOS 30244 HAS SOPS 30244 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23830.244
AT ITER 622 NEW BEST:: SOT 80060 SOS 29941 HAS SOPS 29941 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23643.941
AT ITER 625 NEW BEST:: SOT 80027 SOS 29908 HAS SOPS 29908 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23643.908
AT ITER 642 NEW BEST:: SOT 80065 SOS 29931 HAS SOPS 29931 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23612.931
AT ITER 648 NEW BEST:: SOT 80000 SOS 29852 HAS SOPS 29852 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23450.852
AT ITER 661 NEW BEST:: SOT 79926 SOS 29704 HAS SOPS 29704 HAS SOUS 23273 HAS SOUPS 23273 WITH SCORE 23302.704
AT ITER 694 NEW BEST:: SOT 79926 SOS 29647 HAS SOPS 29647 HAS SOUS 23145 HAS SOUPS 23145 WITH SCORE 23174.647
AT ITER 700 NEW BEST:: SOT 79937 SOS 29669 HAS SOPS 29669 HAS SOUS 23117 HAS SOUPS 23117 WITH SCORE 23146.669
AT ITER 704 NEW BEST:: SOT 79945 SOS 29588 HAS SOPS 29588 HAS SOUS 23108 HAS SOUPS 23108 WITH SCORE 23137.588
AT ITER 711 NEW BEST:: SOT 79812 SOS 29341 HAS SOPS 29341 HAS SOUS 22861 HAS SOUPS 22861 WITH SCORE 22890.341
AT ITER 716 NEW BEST:: SOT 79812 SOS 29263 HAS SOPS 29263 HAS SOUS 22852 HAS SOUPS 22852 WITH SCORE 22881.263
AT ITER 728 NEW BEST:: SOT 79809 SOS 29260 HAS SOPS 29260 HAS SOUS 22849 HAS SOUPS 22849 WITH SCORE 22878.26
AT ITER 734 NEW BEST:: SOT 79798 SOS 29129 HAS SOPS 29129 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22747.129
AT ITER 737 NEW BEST:: SOT 79755 SOS 28991 HAS SOPS 28991 HAS SOUS 22594 HAS SOUPS 22594 WITH SCORE 22622.991
AT ITER 738 NEW BEST:: SOT 79749 SOS 28924 HAS SOPS 28924 HAS SOUS 22581 HAS SOUPS 22581 WITH SCORE 22609.924
AT ITER 761 NEW BEST:: SOT 79749 SOS 28912 HAS SOPS 28912 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22597.912
AT ITER 768 NEW BEST:: SOT 79710 SOS 28717 HAS SOPS 28717 HAS SOUS 22471 HAS SOUPS 22471 WITH SCORE 22499.717
AT ITER 797 NEW BEST:: SOT 79698 SOS 28674 HAS SOPS 28674 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22456.674
AT ITER 801 NEW BEST:: SOT 79648 SOS 28624 HAS SOPS 28624 HAS SOUS 22403 HAS SOUPS 22403 WITH SCORE 22431.624
AT ITER 804 NEW BEST:: SOT 79646 SOS 28621 HAS SOPS 28621 HAS SOUS 22400 HAS SOUPS 22400 WITH SCORE 22428.621
AT ITER 812 NEW BEST:: SOT 79587 SOS 28562 HAS SOPS 28562 HAS SOUS 22348 HAS SOUPS 22348 WITH SCORE 22376.562
AT ITER 816 NEW BEST:: SOT 79595 SOS 28542 HAS SOPS 28542 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22354.542
AT ITER 832 NEW BEST:: SOT 79584 SOS 28541 HAS SOPS 28541 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22353.541
AT ITER 842 NEW BEST:: SOT 79600 SOS 28573 HAS SOPS 28573 HAS SOUS 22301 HAS SOUPS 22301 WITH SCORE 22329.573
AT ITER 850 NEW BEST:: SOT 79600 SOS 28568 HAS SOPS 28568 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22324.568
AT ITER 851 NEW BEST:: SOT 79620 SOS 28539 HAS SOPS 28539 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22219.539
AT ITER 854 NEW BEST:: SOT 79599 SOS 28497 HAS SOPS 28497 HAS SOUS 22156 HAS SOUPS 22156 WITH SCORE 22184.497
AT ITER 855 NEW BEST:: SOT 79575 SOS 28449 HAS SOPS 28449 HAS SOUS 22108 HAS SOUPS 22108 WITH SCORE 22136.449
AT ITER 872 NEW BEST:: SOT 79595 SOS 28387 HAS SOPS 28387 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22095.387
AT ITER 874 NEW BEST:: SOT 79595 SOS 28324 HAS SOPS 28324 HAS SOUS 22004 HAS SOUPS 22004 WITH SCORE 22032.324
AT ITER 888 NEW BEST:: SOT 79595 SOS 28288 HAS SOPS 28288 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21996.288
AT ITER 892 NEW BEST:: SOT 79595 SOS 28252 HAS SOPS 28252 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21996.252
AT ITER 896 NEW BEST:: SOT 79575 SOS 28212 HAS SOPS 28212 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21958.212
AT ITER 900 NEW BEST:: SOT 79581 SOS 28188 HAS SOPS 28188 HAS SOUS 21906 HAS SOUPS 21906 WITH SCORE 21934.188
AT ITER 905 NEW BEST:: SOT 79460 SOS 28048 HAS SOPS 28048 HAS SOUS 21901 HAS SOUPS 21901 WITH SCORE 21929.048
AT ITER 935 NEW BEST:: SOT 79432 SOS 28020 HAS SOPS 28020 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21926.02
AT ITER 941 NEW BEST:: SOT 79358 SOS 27811 HAS SOPS 27811 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21762.811
AT ITER 942 NEW BEST:: SOT 79320 SOS 27754 HAS SOPS 27754 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21705.754
AT ITER 943 NEW BEST:: SOT 79222 SOS 27607 HAS SOPS 27607 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21656.607
AT ITER 947 NEW BEST:: SOT 79255 SOS 27607 HAS SOPS 27607 HAS SOUS 21596 HAS SOUPS 21596 WITH SCORE 21623.607
AT ITER 969 NEW BEST:: SOT 79242 SOS 27594 HAS SOPS 27594 HAS SOUS 21583 HAS SOUPS 21583 WITH SCORE 21610.594
AT ITER 985 NEW BEST:: SOT 79147 SOS 27419 HAS SOPS 27419 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21531.419
AT ITER 987 NEW BEST:: SOT 79150 SOS 27421 HAS SOPS 27421 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21495.421
AT ITER 995 NEW BEST:: SOT 79145 SOS 27416 HAS SOPS 27416 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21490.416
AT ITER 1009 NEW BEST:: SOT 79024 SOS 27294 HAS SOPS 27294 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21474.294
AT ITER 1012 NEW BEST:: SOT 79012 SOS 27270 HAS SOPS 27270 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21450.27
AT ITER 1016 NEW BEST:: SOT 78986 SOS 27218 HAS SOPS 27218 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21398.218
AT ITER 1019 NEW BEST:: SOT 79002 SOS 27140 HAS SOPS 27140 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21342.14
AT ITER 1023 NEW BEST:: SOT 78976 SOS 27117 HAS SOPS 27117 HAS SOUS 21292 HAS SOUPS 21292 WITH SCORE 21319.117
AT ITER 1027 NEW BEST:: SOT 78996 SOS 27129 HAS SOPS 27129 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21311.129
AT ITER 1045 NEW BEST:: SOT 78802 SOS 27091 HAS SOPS 27091 HAS SOUS 21092 HAS SOUPS 21092 WITH SCORE 21119.091
AT ITER 1064 NEW BEST:: SOT 78821 SOS 27075 HAS SOPS 27075 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21114.075
AT ITER 1072 NEW BEST:: SOT 78855 SOS 27043 HAS SOPS 27043 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21110.043
AT ITER 1086 NEW BEST:: SOT 78834 SOS 27032 HAS SOPS 27032 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21099.032
AT ITER 1118 NEW BEST:: SOT 78830 SOS 27031 HAS SOPS 27031 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21098.031
AT ITER 1130 NEW BEST:: SOT 78891 SOS 27083 HAS SOPS 27083 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21079.083
AT ITER 1133 NEW BEST:: SOT 78828 SOS 27019 HAS SOPS 27019 HAS SOUS 21050 HAS SOUPS 21050 WITH SCORE 21077.019
AT ITER 1141 NEW BEST:: SOT 78820 SOS 27012 HAS SOPS 27012 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21074.012
AT ITER 1158 NEW BEST:: SOT 78812 SOS 26996 HAS SOPS 26996 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21057.996
AT ITER 1176 NEW BEST:: SOT 78818 SOS 26986 HAS SOPS 26986 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21043.986
AT ITER 1193 NEW BEST:: SOT 78818 SOS 26984 HAS SOPS 26984 HAS SOUS 21015 HAS SOUPS 21015 WITH SCORE 21041.984
AT ITER 1199 NEW BEST:: SOT 78818 SOS 26996 HAS SOPS 26996 HAS SOUS 21011 HAS SOUPS 21011 WITH SCORE 21037.996
AT ITER 1204 NEW BEST:: SOT 78554 SOS 26814 HAS SOPS 26814 HAS SOUS 20829 HAS SOUPS 20829 WITH SCORE 20855.814
AT ITER 1214 NEW BEST:: SOT 78570 SOS 26973 HAS SOPS 26973 HAS SOUS 20745 HAS SOUPS 20745 WITH SCORE 20771.973
AT ITER 1219 NEW BEST:: SOT 78563 SOS 26965 HAS SOPS 26965 HAS SOUS 20737 HAS SOUPS 20737 WITH SCORE 20763.965
AT ITER 1221 NEW BEST:: SOT 78580 SOS 26921 HAS SOPS 26921 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20652.921
AT ITER 1222 NEW BEST:: SOT 78559 SOS 26829 HAS SOPS 26829 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20644.829
AT ITER 1238 NEW BEST:: SOT 78547 SOS 26833 HAS SOPS 26833 HAS SOUS 20600 HAS SOUPS 20600 WITH SCORE 20626.833
AT ITER 1252 NEW BEST:: SOT 78442 SOS 26702 HAS SOPS 26702 HAS SOUS 20565 HAS SOUPS 20565 WITH SCORE 20591.702
AT ITER 1260 NEW BEST:: SOT 78365 SOS 26548 HAS SOPS 26548 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20531.548
AT ITER 1269 NEW BEST:: SOT 78319 SOS 26482 HAS SOPS 26482 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20465.482
AT ITER 1296 NEW BEST:: SOT 78304 SOS 26466 HAS SOPS 26466 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20449.466
AT ITER 1304 NEW BEST:: SOT 78304 SOS 26465 HAS SOPS 26465 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20448.465
AT ITER 1326 NEW BEST:: SOT 78318 SOS 26465 HAS SOPS 26465 HAS SOUS 20408 HAS SOUPS 20408 WITH SCORE 20434.465
AT ITER 1331 NEW BEST:: SOT 78292 SOS 26421 HAS SOPS 26421 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20412.421
AT ITER 1340 NEW BEST:: SOT 78271 SOS 26430 HAS SOPS 26430 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20398.43
AT ITER 1341 NEW BEST:: SOT 78313 SOS 26402 HAS SOPS 26402 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20384.402
AT ITER 1361 NEW BEST:: SOT 78260 SOS 26319 HAS SOPS 26319 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20309.319
AT ITER 1365 NEW BEST:: SOT 78255 SOS 26314 HAS SOPS 26314 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20304.314
AT ITER 1387 NEW BEST:: SOT 78242 SOS 26177 HAS SOPS 26177 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20258.177
AT ITER 1395 NEW BEST:: SOT 78242 SOS 26147 HAS SOPS 26147 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20258.147
AT ITER 1397 NEW BEST:: SOT 78241 SOS 26127 HAS SOPS 26127 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20238.127
AT ITER 1407 NEW BEST:: SOT 78257 SOS 26170 HAS SOPS 26170 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20212.17
AT ITER 1410 NEW BEST:: SOT 78304 SOS 26131 HAS SOPS 26131 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20162.131
AT ITER 1419 NEW BEST:: SOT 78303 SOS 26053 HAS SOPS 26053 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20084.053
AT ITER 1430 NEW BEST:: SOT 78303 SOS 26005 HAS SOPS 26005 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20084.005
AT ITER 1433 NEW BEST:: SOT 78291 SOS 25987 HAS SOPS 25987 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20065.987
AT ITER 1434 NEW BEST:: SOT 78269 SOS 25887 HAS SOPS 25887 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19931.887
AT ITER 1451 NEW BEST:: SOT 78232 SOS 25765 HAS SOPS 25765 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19898.765
AT ITER 1453 NEW BEST:: SOT 78095 SOS 25621 HAS SOPS 25621 HAS SOUS 19862 HAS SOUPS 19862 WITH SCORE 19887.621
AT ITER 1457 NEW BEST:: SOT 78095 SOS 25621 HAS SOPS 25621 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19881.621
AT ITER 1487 NEW BEST:: SOT 78095 SOS 25586 HAS SOPS 25586 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19846.586
AT ITER 1532 NEW BEST:: SOT 78095 SOS 25586 HAS SOPS 25586 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19830.586
AT ITER 1561 NEW BEST:: SOT 78025 SOS 25508 HAS SOPS 25508 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19822.508
AT ITER 1592 NEW BEST:: SOT 78028 SOS 25514 HAS SOPS 25514 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19789.514
AT ITER 1595 NEW BEST:: SOT 78028 SOS 25492 HAS SOPS 25492 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19767.492
AT ITER 1607 NEW BEST:: SOT 78018 SOS 25482 HAS SOPS 25482 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19765.482
AT ITER 1620 NEW BEST:: SOT 78012 SOS 25470 HAS SOPS 25470 HAS SOUS 19728 HAS SOUPS 19728 WITH SCORE 19753.47
AT ITER 1633 NEW BEST:: SOT 78039 SOS 25468 HAS SOPS 25468 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19751.468
AT ITER 1635 NEW BEST:: SOT 78039 SOS 25450 HAS SOPS 25450 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19733.45
AT ITER 1636 NEW BEST:: SOT 78039 SOS 25417 HAS SOPS 25417 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19733.417
AT ITER 1646 NEW BEST:: SOT 78036 SOS 25421 HAS SOPS 25421 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19730.421
AT ITER 1663 NEW BEST:: SOT 78022 SOS 25350 HAS SOPS 25350 HAS SOUS 19639 HAS SOUPS 19639 WITH SCORE 19664.35
AT ITER 1686 NEW BEST:: SOT 78114 SOS 25440 HAS SOPS 25440 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19636.44
AT ITER 1698 NEW BEST:: SOT 78113 SOS 25438 HAS SOPS 25438 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19634.438
AT ITER 1707 NEW BEST:: SOT 78110 SOS 25428 HAS SOPS 25428 HAS SOUS 19599 HAS SOUPS 19599 WITH SCORE 19624.428
AT ITER 1739 NEW BEST:: SOT 78018 SOS 25244 HAS SOPS 25244 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19482.244
AT ITER 1759 NEW BEST:: SOT 77995 SOS 25198 HAS SOPS 25198 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19436.198
AT ITER 1770 NEW BEST:: SOT 78011 SOS 25120 HAS SOPS 25120 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19404.12
AT ITER 1784 NEW BEST:: SOT 77988 SOS 25097 HAS SOPS 25097 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19381.097
AT ITER 1811 NEW BEST:: SOT 78000 SOS 25081 HAS SOPS 25081 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19365.081
AT ITER 1826 NEW BEST:: SOT 78005 SOS 25086 HAS SOPS 25086 HAS SOUS 19337 HAS SOUPS 19337 WITH SCORE 19362.086
AT ITER 1839 NEW BEST:: SOT 77983 SOS 25042 HAS SOPS 25042 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19340.042
AT ITER 1841 NEW BEST:: SOT 77893 SOS 24945 HAS SOPS 24945 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19309.945
AT ITER 1846 NEW BEST:: SOT 77779 SOS 24637 HAS SOPS 24637 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19213.637
AT ITER 1876 NEW BEST:: SOT 77773 SOS 24631 HAS SOPS 24631 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19213.631
AT ITER 1883 NEW BEST:: SOT 77772 SOS 24630 HAS SOPS 24630 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19212.63
AT ITER 1893 NEW BEST:: SOT 77833 SOS 24691 HAS SOPS 24691 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19201.691
AT ITER 1920 NEW BEST:: SOT 77788 SOS 24625 HAS SOPS 24625 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19135.625
AT ITER 1931 NEW BEST:: SOT 77707 SOS 24567 HAS SOPS 24567 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19077.567
AT ITER 1949 NEW BEST:: SOT 77706 SOS 24557 HAS SOPS 24557 HAS SOUS 19040 HAS SOUPS 19040 WITH SCORE 19064.557
AT ITER 1950 NEW BEST:: SOT 77726 SOS 24545 HAS SOPS 24545 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19052.545
AT ITER 1967 NEW BEST:: SOT 77725 SOS 24543 HAS SOPS 24543 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19050.543
AT ITER 1986 NEW BEST:: SOT 77708 SOS 24526 HAS SOPS 24526 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19050.526
AT ITER 1988 NEW BEST:: SOT 77700 SOS 24524 HAS SOPS 24524 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19048.524
AT ITER 1994 NEW BEST:: SOT 77699 SOS 24522 HAS SOPS 24522 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19046.522
AT ITER 2034 NEW BEST:: SOT 77679 SOS 24482 HAS SOPS 24482 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19006.482
AT ITER 2044 NEW BEST:: SOT 77678 SOS 24480 HAS SOPS 24480 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19004.48
AT ITER 2062 NEW BEST:: SOT 77663 SOS 24452 HAS SOPS 24452 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18976.452
AT ITER 2083 NEW BEST:: SOT 77707 SOS 24475 HAS SOPS 24475 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18966.475
AT ITER 2121 NEW BEST:: SOT 77707 SOS 24437 HAS SOPS 24437 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18956.437
AT ITER 2124 NEW BEST:: SOT 77707 SOS 24431 HAS SOPS 24431 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18950.431
AT ITER 2162 NEW BEST:: SOT 77609 SOS 24333 HAS SOPS 24333 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18950.333
AT ITER 2182 NEW BEST:: SOT 77609 SOS 24333 HAS SOPS 24333 HAS SOUS 18885 HAS SOUPS 18885 WITH SCORE 18909.333
AT ITER 2183 NEW BEST:: SOT 77579 SOS 24204 HAS SOPS 24204 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18780.204
AT ITER 2187 NEW BEST:: SOT 77545 SOS 24136 HAS SOPS 24136 HAS SOUS 18688 HAS SOUPS 18688 WITH SCORE 18712.136
AT ITER 2191 NEW BEST:: SOT 77501 SOS 24092 HAS SOPS 24092 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18668.092
AT ITER 2199 NEW BEST:: SOT 77500 SOS 24090 HAS SOPS 24090 HAS SOUS 18642 HAS SOUPS 18642 WITH SCORE 18666.09
AT ITER 2215 NEW BEST:: SOT 77500 SOS 24090 HAS SOPS 24090 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18621.09
AT ITER 2295 NEW BEST:: SOT 77500 SOS 24087 HAS SOPS 24087 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18618.087
AT ITER 2313 NEW BEST:: SOT 77500 SOS 24084 HAS SOPS 24084 HAS SOUS 18591 HAS SOUPS 18591 WITH SCORE 18615.084
AT ITER 2360 NEW BEST:: SOT 77486 SOS 24070 HAS SOPS 24070 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18601.07
AT ITER 2361 NEW BEST:: SOT 77483 SOS 24064 HAS SOPS 24064 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18595.064
AT ITER 2381 NEW BEST:: SOT 77443 SOS 24060 HAS SOPS 24060 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18591.06
AT ITER 2419 NEW BEST:: SOT 77441 SOS 24056 HAS SOPS 24056 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18563.056
AT ITER 2440 NEW BEST:: SOT 77356 SOS 23886 HAS SOPS 23886 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18392.886
AT ITER 2441 NEW BEST:: SOT 77339 SOS 23880 HAS SOPS 23880 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18386.88
AT ITER 2459 NEW BEST:: SOT 77333 SOS 23868 HAS SOPS 23868 HAS SOUS 18351 HAS SOUPS 18351 WITH SCORE 18374.868
AT ITER 2467 NEW BEST:: SOT 77333 SOS 23866 HAS SOPS 23866 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18372.866
AT ITER 2478 NEW BEST:: SOT 77328 SOS 23861 HAS SOPS 23861 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18367.861
AT ITER 2482 NEW BEST:: SOT 77323 SOS 23860 HAS SOPS 23860 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18366.86
AT ITER 2510 NEW BEST:: SOT 77323 SOS 23860 HAS SOPS 23860 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18363.86
AT ITER 2524 NEW BEST:: SOT 77221 SOS 23656 HAS SOPS 23656 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18276.656
AT ITER 2532 NEW BEST:: SOT 77216 SOS 23652 HAS SOPS 23652 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18223.652
AT ITER 2533 NEW BEST:: SOT 77150 SOS 23586 HAS SOPS 23586 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18223.586
AT ITER 2559 NEW BEST:: SOT 77134 SOS 23570 HAS SOPS 23570 HAS SOUS 18184 HAS SOUPS 18184 WITH SCORE 18207.57
AT ITER 2561 NEW BEST:: SOT 77134 SOS 23557 HAS SOPS 23557 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18194.557
AT ITER 2619 NEW BEST:: SOT 77134 SOS 23557 HAS SOPS 23557 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18144.557
AT ITER 2629 NEW BEST:: SOT 77179 SOS 23559 HAS SOPS 23559 HAS SOUS 18035 HAS SOUPS 18035 WITH SCORE 18058.559
AT ITER 2630 NEW BEST:: SOT 77157 SOS 23515 HAS SOPS 23515 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18014.515
AT ITER 2634 NEW BEST:: SOT 77157 SOS 23507 HAS SOPS 23507 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17998.507
AT ITER 2637 NEW BEST:: SOT 77154 SOS 23501 HAS SOPS 23501 HAS SOUS 17969 HAS SOUPS 17969 WITH SCORE 17992.501
AT ITER 2639 NEW BEST:: SOT 77150 SOS 23475 HAS SOPS 23475 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17966.475
AT ITER 2657 NEW BEST:: SOT 77135 SOS 23445 HAS SOPS 23445 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17936.445
AT ITER 2670 NEW BEST:: SOT 77065 SOS 23374 HAS SOPS 23374 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17865.374
AT ITER 2690 NEW BEST:: SOT 77065 SOS 23373 HAS SOPS 23373 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17863.373
AT ITER 2701 NEW BEST:: SOT 76984 SOS 23130 HAS SOPS 23130 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17635.13
AT ITER 2740 NEW BEST:: SOT 76941 SOS 22921 HAS SOPS 22921 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17514.921
AT ITER 2778 NEW BEST:: SOT 76905 SOS 22849 HAS SOPS 22849 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17460.849
AT ITER 2783 NEW BEST:: SOT 76883 SOS 22828 HAS SOPS 22828 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17439.828
AT ITER 2802 NEW BEST:: SOT 76883 SOS 22758 HAS SOPS 22758 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17299.758
AT ITER 2834 NEW BEST:: SOT 76855 SOS 22741 HAS SOPS 22741 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17282.741
AT ITER 2835 NEW BEST:: SOT 76846 SOS 22732 HAS SOPS 22732 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17273.732
AT ITER 2844 NEW BEST:: SOT 76807 SOS 22693 HAS SOPS 22693 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17234.693
AT ITER 2853 NEW BEST:: SOT 76807 SOS 22693 HAS SOPS 22693 HAS SOUS 17211 HAS SOUPS 17211 WITH SCORE 17233.693
AT ITER 2886 NEW BEST:: SOT 76775 SOS 22647 HAS SOPS 22647 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17205.647
AT ITER 2896 NEW BEST:: SOT 76757 SOS 22568 HAS SOPS 22568 HAS SOUS 17165 HAS SOUPS 17165 WITH SCORE 17187.568
AT ITER 2902 NEW BEST:: SOT 76791 SOS 22564 HAS SOPS 22564 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17183.564
AT ITER 2909 NEW BEST:: SOT 76751 SOS 22524 HAS SOPS 22524 HAS SOUS 17121 HAS SOUPS 17121 WITH SCORE 17143.524
AT ITER 2935 NEW BEST:: SOT 76699 SOS 22437 HAS SOPS 22437 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17056.437
AT ITER 2948 NEW BEST:: SOT 76640 SOS 22378 HAS SOPS 22378 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16982.378
AT ITER 2957 NEW BEST:: SOT 76604 SOS 22342 HAS SOPS 22342 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16946.342
AT ITER 2962 NEW BEST:: SOT 76595 SOS 22333 HAS SOPS 22333 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16937.333
AT ITER 2993 NEW BEST:: SOT 76595 SOS 22329 HAS SOPS 22329 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16933.329
AT ITER 3022 NEW BEST:: SOT 76593 SOS 22325 HAS SOPS 22325 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16931.325
AT ITER 3053 NEW BEST:: SOT 76570 SOS 22315 HAS SOPS 22315 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16928.315
AT ITER 3079 NEW BEST:: SOT 76570 SOS 22315 HAS SOPS 22315 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16923.315
AT ITER 3123 NEW BEST:: SOT 76572 SOS 22321 HAS SOPS 22321 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16919.321
AT ITER 3125 NEW BEST:: SOT 76563 SOS 22316 HAS SOPS 22316 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16914.316
AT ITER 3138 NEW BEST:: SOT 76555 SOS 22256 HAS SOPS 22256 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16898.256
AT ITER 3174 NEW BEST:: SOT 76543 SOS 22232 HAS SOPS 22232 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16874.232
AT ITER 3181 NEW BEST:: SOT 76505 SOS 22194 HAS SOPS 22194 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16874.194
AT ITER 3186 NEW BEST:: SOT 76556 SOS 22166 HAS SOPS 22166 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16767.166
AT ITER 3194 NEW BEST:: SOT 76538 SOS 22130 HAS SOPS 22130 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16731.13
AT ITER 3197 NEW BEST:: SOT 76520 SOS 22112 HAS SOPS 22112 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16713.112
AT ITER 3215 NEW BEST:: SOT 76478 SOS 23877 HAS SOPS 23877 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16702.877
AT ITER 3222 NEW BEST:: SOT 76470 SOS 23861 HAS SOPS 23861 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16700.861
AT ITER 3262 NEW BEST:: SOT 76475 SOS 23871 HAS SOPS 23871 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16638.871
AT ITER 3288 NEW BEST:: SOT 76475 SOS 23871 HAS SOPS 23871 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16632.871
AT ITER 3291 NEW BEST:: SOT 76646 SOS 23899 HAS SOPS 23899 HAS SOUS 16596 HAS SOUPS 16596 WITH SCORE 16619.899
AT ITER 3310 NEW BEST:: SOT 76640 SOS 23892 HAS SOPS 23892 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16612.892
AT ITER 3311 NEW BEST:: SOT 76856 SOS 23914 HAS SOPS 23914 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16585.914
AT ITER 3324 NEW BEST:: SOT 76855 SOS 23913 HAS SOPS 23913 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16584.913
AT ITER 3331 NEW BEST:: SOT 76830 SOS 23863 HAS SOPS 23863 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16534.863
AT ITER 3344 NEW BEST:: SOT 76844 SOS 23842 HAS SOPS 23842 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16513.842
AT ITER 3421 NEW BEST:: SOT 76824 SOS 23777 HAS SOPS 23777 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16424.777
AT ITER 3425 NEW BEST:: SOT 76822 SOS 23767 HAS SOPS 23767 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16403.767
AT ITER 3439 NEW BEST:: SOT 76828 SOS 23761 HAS SOPS 23761 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16401.761
AT ITER 3454 NEW BEST:: SOT 76825 SOS 23755 HAS SOPS 23755 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16394.755
AT ITER 3460 NEW BEST:: SOT 76814 SOS 23733 HAS SOPS 23733 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16326.733
AT ITER 3473 NEW BEST:: SOT 76800 SOS 23770 HAS SOPS 23770 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16298.77
AT ITER 3482 NEW BEST:: SOT 76798 SOS 23768 HAS SOPS 23768 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16296.768
AT ITER 3521 NEW BEST:: SOT 76800 SOS 23767 HAS SOPS 23767 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16295.767
AT ITER 3529 NEW BEST:: SOT 76788 SOS 23754 HAS SOPS 23754 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16293.754
AT ITER 3537 NEW BEST:: SOT 76765 SOS 23747 HAS SOPS 23747 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16283.747
AT ITER 3579 NEW BEST:: SOT 76756 SOS 23738 HAS SOPS 23738 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16274.738
AT ITER 3589 NEW BEST:: SOT 76725 SOS 23676 HAS SOPS 23676 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16243.676
AT ITER 3601 NEW BEST:: SOT 76700 SOS 23668 HAS SOPS 23668 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16235.668
AT ITER 3603 NEW BEST:: SOT 76686 SOS 23623 HAS SOPS 23623 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16204.623
AT ITER 3606 NEW BEST:: SOT 76684 SOS 23619 HAS SOPS 23619 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16200.619
AT ITER 3656 NEW BEST:: SOT 76686 SOS 23616 HAS SOPS 23616 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16197.616
AT ITER 3666 NEW BEST:: SOT 76664 SOS 23594 HAS SOPS 23594 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16197.594
AT ITER 3700 NEW BEST:: SOT 76659 SOS 23581 HAS SOPS 23581 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16183.581
AT ITER 3713 NEW BEST:: SOT 76746 SOS 23664 HAS SOPS 23664 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16172.664
AT ITER 3746 NEW BEST:: SOT 76774 SOS 23557 HAS SOPS 23557 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16157.557
AT ITER 3766 NEW BEST:: SOT 76802 SOS 23496 HAS SOPS 23496 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16132.496
AT ITER 3777 NEW BEST:: SOT 76802 SOS 23493 HAS SOPS 23493 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16126.493
AT ITER 3804 NEW BEST:: SOT 76801 SOS 23492 HAS SOPS 23492 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16125.492
AT ITER 3835 NEW BEST:: SOT 76779 SOS 23470 HAS SOPS 23470 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16125.47
AT ITER 3912 NEW BEST:: SOT 76779 SOS 23469 HAS SOPS 23469 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16125.469
AT ITER 3941 NEW BEST:: SOT 76855 SOS 23528 HAS SOPS 23528 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16102.528
AT ITER 3951 NEW BEST:: SOT 76855 SOS 23526 HAS SOPS 23526 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16102.526
AT ITER 3957 NEW BEST:: SOT 76852 SOS 23523 HAS SOPS 23523 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16102.523
AT ITER 3959 NEW BEST:: SOT 76845 SOS 23506 HAS SOPS 23506 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16085.506
AT ITER 4019 NEW BEST:: SOT 76815 SOS 23459 HAS SOPS 23459 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16038.459
AT ITER 4021 NEW BEST:: SOT 76794 SOS 23438 HAS SOPS 23438 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16017.438
AT ITER 4028 NEW BEST:: SOT 76809 SOS 23422 HAS SOPS 23422 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16008.422
AT ITER 4046 NEW BEST:: SOT 76779 SOS 23377 HAS SOPS 23377 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15949.377
AT ITER 4058 NEW BEST:: SOT 76756 SOS 23331 HAS SOPS 23331 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15939.331
AT ITER 4064 NEW BEST:: SOT 76753 SOS 23330 HAS SOPS 23330 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15938.33
AT ITER 4082 NEW BEST:: SOT 76705 SOS 23282 HAS SOPS 23282 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15938.282
AT ITER 4094 NEW BEST:: SOT 76685 SOS 23261 HAS SOPS 23261 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15917.261
AT ITER 4097 NEW BEST:: SOT 76664 SOS 23248 HAS SOPS 23248 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15904.248
AT ITER 4116 NEW BEST:: SOT 76657 SOS 23234 HAS SOPS 23234 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15890.234
AT ITER 4126 NEW BEST:: SOT 76633 SOS 23186 HAS SOPS 23186 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15842.186
AT ITER 4136 NEW BEST:: SOT 76633 SOS 23154 HAS SOPS 23154 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15842.154
AT ITER 4141 NEW BEST:: SOT 76611 SOS 23121 HAS SOPS 23121 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15809.121
AT ITER 4165 NEW BEST:: SOT 76601 SOS 23097 HAS SOPS 23097 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15785.097
AT ITER 4167 NEW BEST:: SOT 76601 SOS 23095 HAS SOPS 23095 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15785.095
AT ITER 4180 NEW BEST:: SOT 76568 SOS 23084 HAS SOPS 23084 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15774.084
AT ITER 4196 NEW BEST:: SOT 76556 SOS 22974 HAS SOPS 22974 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15761.974
AT ITER 4216 NEW BEST:: SOT 76540 SOS 22958 HAS SOPS 22958 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15745.958
AT ITER 4222 NEW BEST:: SOT 76540 SOS 22957 HAS SOPS 22957 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15745.957
AT ITER 4230 NEW BEST:: SOT 76536 SOS 22949 HAS SOPS 22949 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15737.949
AT ITER 4250 NEW BEST:: SOT 76577 SOS 22984 HAS SOPS 22984 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15702.984
AT ITER 4274 NEW BEST:: SOT 76560 SOS 22978 HAS SOPS 22978 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15696.978
AT ITER 4298 NEW BEST:: SOT 76534 SOS 22939 HAS SOPS 22939 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15670.939
AT ITER 4300 NEW BEST:: SOT 76491 SOS 22580 HAS SOPS 22580 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15627.58
AT ITER 4322 NEW BEST:: SOT 76491 SOS 22570 HAS SOPS 22570 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15617.57
AT ITER 4353 NEW BEST:: SOT 76494 SOS 22576 HAS SOPS 22576 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15578.576
AT ITER 4381 NEW BEST:: SOT 76493 SOS 22574 HAS SOPS 22574 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15576.574
AT ITER 4412 NEW BEST:: SOT 76477 SOS 22580 HAS SOPS 22580 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15575.58
AT ITER 4418 NEW BEST:: SOT 76476 SOS 22597 HAS SOPS 22597 HAS SOUS 15551 HAS SOUPS 15551 WITH SCORE 15573.597
AT ITER 4433 NEW BEST:: SOT 76474 SOS 22593 HAS SOPS 22593 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15569.593
AT ITER 4453 NEW BEST:: SOT 76470 SOS 22585 HAS SOPS 22585 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15554.585
AT ITER 4461 NEW BEST:: SOT 76494 SOS 22603 HAS SOPS 22603 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15520.603
AT ITER 4477 NEW BEST:: SOT 76494 SOS 22603 HAS SOPS 22603 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15514.603
AT ITER 4478 NEW BEST:: SOT 76458 SOS 22567 HAS SOPS 22567 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15514.567
AT ITER 4481 NEW BEST:: SOT 76462 SOS 22552 HAS SOPS 22552 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15502.552
AT ITER 4503 NEW BEST:: SOT 76445 SOS 22539 HAS SOPS 22539 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15489.539
AT ITER 4508 NEW BEST:: SOT 76450 SOS 22535 HAS SOPS 22535 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15485.535
AT ITER 4529 NEW BEST:: SOT 76433 SOS 22479 HAS SOPS 22479 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15446.479
AT ITER 4541 NEW BEST:: SOT 76433 SOS 22479 HAS SOPS 22479 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15377.479
AT ITER 4543 NEW BEST:: SOT 76370 SOS 22353 HAS SOPS 22353 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15338.353
AT ITER 4593 NEW BEST:: SOT 76370 SOS 22361 HAS SOPS 22361 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15325.361
AT ITER 4619 NEW BEST:: SOT 76368 SOS 22348 HAS SOPS 22348 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15315.348
AT ITER 4700 NEW BEST:: SOT 76361 SOS 22334 HAS SOPS 22334 HAS SOUS 15279 HAS SOUPS 15279 WITH SCORE 15301.334
AT ITER 4704 NEW BEST:: SOT 76360 SOS 22332 HAS SOPS 22332 HAS SOUS 15276 HAS SOUPS 15276 WITH SCORE 15298.332
AT ITER 4715 NEW BEST:: SOT 76348 SOS 22320 HAS SOPS 22320 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15286.32
AT ITER 4732 NEW BEST:: SOT 76347 SOS 22318 HAS SOPS 22318 HAS SOUS 15262 HAS SOUPS 15262 WITH SCORE 15284.318
AT ITER 4741 NEW BEST:: SOT 76346 SOS 22301 HAS SOPS 22301 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15267.301
AT ITER 4742 NEW BEST:: SOT 76339 SOS 22307 HAS SOPS 22307 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15260.307
AT ITER 4747 NEW BEST:: SOT 76335 SOS 22303 HAS SOPS 22303 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15256.303
AT ITER 4761 NEW BEST:: SOT 76308 SOS 22268 HAS SOPS 22268 HAS SOUS 15199 HAS SOUPS 15199 WITH SCORE 15221.268
AT ITER 4796 NEW BEST:: SOT 76294 SOS 22249 HAS SOPS 22249 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15192.249
AT ITER 4829 NEW BEST:: SOT 76293 SOS 22247 HAS SOPS 22247 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15188.247
AT ITER 4845 NEW BEST:: SOT 76269 SOS 22249 HAS SOPS 22249 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15165.249
AT ITER 4851 NEW BEST:: SOT 76258 SOS 22174 HAS SOPS 22174 HAS SOUS 15132 HAS SOUPS 15132 WITH SCORE 15154.174
AT ITER 4854 NEW BEST:: SOT 76258 SOS 22173 HAS SOPS 22173 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15153.173
AT ITER 4856 NEW BEST:: SOT 76250 SOS 22165 HAS SOPS 22165 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15145.165
AT ITER 4859 NEW BEST:: SOT 76247 SOS 22161 HAS SOPS 22161 HAS SOUS 15121 HAS SOUPS 15121 WITH SCORE 15143.161
AT ITER 4867 NEW BEST:: SOT 76243 SOS 22153 HAS SOPS 22153 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15135.153
AT ITER 4874 NEW BEST:: SOT 76240 SOS 22147 HAS SOPS 22147 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15129.147
AT ITER 4886 NEW BEST:: SOT 76209 SOS 22117 HAS SOPS 22117 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15099.117
AT ITER 4891 NEW BEST:: SOT 76200 SOS 22108 HAS SOPS 22108 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15090.108
AT ITER 4918 NEW BEST:: SOT 76184 SOS 22086 HAS SOPS 22086 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15084.086
AT ITER 4919 NEW BEST:: SOT 76181 SOS 22093 HAS SOPS 22093 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15081.093
AT ITER 4965 NEW BEST:: SOT 76170 SOS 22082 HAS SOPS 22082 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15070.082
AT ITER 4979 NEW BEST:: SOT 76170 SOS 22065 HAS SOPS 22065 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15053.065
AT ITER 4993 NEW BEST:: SOT 76143 SOS 22058 HAS SOPS 22058 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15046.058
AT ITER 5009 NEW BEST:: SOT 76127 SOS 22026 HAS SOPS 22026 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15038.026
AT ITER 5013 NEW BEST:: SOT 76140 SOS 22015 HAS SOPS 22015 HAS SOUS 15004 HAS SOUPS 15004 WITH SCORE 15026.015
AT ITER 5018 NEW BEST:: SOT 76131 SOS 21988 HAS SOPS 21988 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15007.988
AT ITER 5044 NEW BEST:: SOT 76111 SOS 21968 HAS SOPS 21968 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14987.968
AT ITER 5052 NEW BEST:: SOT 76105 SOS 21950 HAS SOPS 21950 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14969.95
AT ITER 5053 NEW BEST:: SOT 76103 SOS 21946 HAS SOPS 21946 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14965.946
AT ITER 5057 NEW BEST:: SOT 76108 SOS 21939 HAS SOPS 21939 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14958.939
AT ITER 5060 NEW BEST:: SOT 76089 SOS 21870 HAS SOPS 21870 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14889.87
AT ITER 5085 NEW BEST:: SOT 76088 SOS 21868 HAS SOPS 21868 HAS SOUS 14866 HAS SOUPS 14866 WITH SCORE 14887.868
AT ITER 5100 NEW BEST:: SOT 76067 SOS 21826 HAS SOPS 21826 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14872.826
AT ITER 5109 NEW BEST:: SOT 76057 SOS 21806 HAS SOPS 21806 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14862.806
AT ITER 5134 NEW BEST:: SOT 76198 SOS 21944 HAS SOPS 21944 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14854.944
AT ITER 5216 NEW BEST:: SOT 76191 SOS 21930 HAS SOPS 21930 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14850.93
AT ITER 5325 NEW BEST:: SOT 76169 SOS 21908 HAS SOPS 21908 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14850.908
AT ITER 5361 NEW BEST:: SOT 76122 SOS 21814 HAS SOPS 21814 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14803.814
AT ITER 5383 NEW BEST:: SOT 76094 SOS 21793 HAS SOPS 21793 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14782.793
AT ITER 5397 NEW BEST:: SOT 76094 SOS 21777 HAS SOPS 21777 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14766.777
AT ITER 5405 NEW BEST:: SOT 76087 SOS 21770 HAS SOPS 21770 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14759.77
AT ITER 5443 NEW BEST:: SOT 76069 SOS 21760 HAS SOPS 21760 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14749.76
AT ITER 5455 NEW BEST:: SOT 76087 SOS 21690 HAS SOPS 21690 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14732.69
AT ITER 5466 NEW BEST:: SOT 76081 SOS 21688 HAS SOPS 21688 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14731.688
AT ITER 5502 NEW BEST:: SOT 76079 SOS 21684 HAS SOPS 21684 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14730.684
AT ITER 5561 NEW BEST:: SOT 76082 SOS 21671 HAS SOPS 21671 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14730.671
AT ITER 5565 NEW BEST:: SOT 76081 SOS 21669 HAS SOPS 21669 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14713.669
AT ITER 5587 NEW BEST:: SOT 76081 SOS 21667 HAS SOPS 21667 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14709.667
AT ITER 5597 NEW BEST:: SOT 76076 SOS 21662 HAS SOPS 21662 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14704.662
AT ITER 5622 NEW BEST:: SOT 76075 SOS 21660 HAS SOPS 21660 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14702.66
AT ITER 5624 NEW BEST:: SOT 76069 SOS 21655 HAS SOPS 21655 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14697.655
AT ITER 5653 NEW BEST:: SOT 76069 SOS 21655 HAS SOPS 21655 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14688.655
AT ITER 5654 NEW BEST:: SOT 76068 SOS 21651 HAS SOPS 21651 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14686.651
AT ITER 5707 NEW BEST:: SOT 76064 SOS 21649 HAS SOPS 21649 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14684.649
AT ITER 5761 NEW BEST:: SOT 76017 SOS 21602 HAS SOPS 21602 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14667.602
AT ITER 5763 NEW BEST:: SOT 76011 SOS 21575 HAS SOPS 21575 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14647.575
AT ITER 5797 NEW BEST:: SOT 76011 SOS 21553 HAS SOPS 21553 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14647.553
AT ITER 5878 NEW BEST:: SOT 76007 SOS 21553 HAS SOPS 21553 HAS SOUS 14622 HAS SOUPS 14622 WITH SCORE 14643.553
AT ITER 5892 NEW BEST:: SOT 76016 SOS 21536 HAS SOPS 21536 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14626.536
AT ITER 5905 NEW BEST:: SOT 76016 SOS 21536 HAS SOPS 21536 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14625.536
AT ITER 5976 NEW BEST:: SOT 76016 SOS 21528 HAS SOPS 21528 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14617.528
AT ITER 5996 NEW BEST:: SOT 75996 SOS 21457 HAS SOPS 21457 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14577.457
AT ITER 6020 NEW BEST:: SOT 75996 SOS 21453 HAS SOPS 21453 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14573.453
AT ITER 6065 NEW BEST:: SOT 75976 SOS 21413 HAS SOPS 21413 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14533.413
AT ITER 6072 NEW BEST:: SOT 75974 SOS 21411 HAS SOPS 21411 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14531.411
AT ITER 6110 NEW BEST:: SOT 75971 SOS 21385 HAS SOPS 21385 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14505.385
AT ITER 6122 NEW BEST:: SOT 75969 SOS 21381 HAS SOPS 21381 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14503.381
AT ITER 6129 NEW BEST:: SOT 75962 SOS 21409 HAS SOPS 21409 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14496.409
AT ITER 6143 NEW BEST:: SOT 75924 SOS 21356 HAS SOPS 21356 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14466.356
AT ITER 6201 NEW BEST:: SOT 75972 SOS 21350 HAS SOPS 21350 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14460.35
AT ITER 6215 NEW BEST:: SOT 75970 SOS 21348 HAS SOPS 21348 HAS SOUS 14437 HAS SOUPS 14437 WITH SCORE 14458.348
AT ITER 6242 NEW BEST:: SOT 75976 SOS 21360 HAS SOPS 21360 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14457.36
AT ITER 6256 NEW BEST:: SOT 75976 SOS 21343 HAS SOPS 21343 HAS SOUS 14419 HAS SOUPS 14419 WITH SCORE 14440.343
AT ITER 6269 NEW BEST:: SOT 75964 SOS 21339 HAS SOPS 21339 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14436.339
AT ITER 6282 NEW BEST:: SOT 75960 SOS 21331 HAS SOPS 21331 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14432.331
AT ITER 6295 NEW BEST:: SOT 75944 SOS 21299 HAS SOPS 21299 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14416.299
AT ITER 6330 NEW BEST:: SOT 75944 SOS 21251 HAS SOPS 21251 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14404.251
AT ITER 6348 NEW BEST:: SOT 75944 SOS 21249 HAS SOPS 21249 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.249
AT ITER 6359 NEW BEST:: SOT 75933 SOS 21227 HAS SOPS 21227 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14366.227
AT ITER 6371 NEW BEST:: SOT 75931 SOS 21225 HAS SOPS 21225 HAS SOUS 14343 HAS SOUPS 14343 WITH SCORE 14364.225
AT ITER 6439 NEW BEST:: SOT 75916 SOS 21220 HAS SOPS 21220 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14359.22
AT ITER 6453 NEW BEST:: SOT 75906 SOS 21210 HAS SOPS 21210 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14349.21
AT ITER 6494 NEW BEST:: SOT 75906 SOS 21206 HAS SOPS 21206 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14345.206
AT ITER 6544 NEW BEST:: SOT 75905 SOS 21204 HAS SOPS 21204 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14343.204
AT ITER 6548 NEW BEST:: SOT 75908 SOS 21210 HAS SOPS 21210 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14323.21
AT ITER 6552 NEW BEST:: SOT 75877 SOS 21274 HAS SOPS 21274 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14317.274
AT ITER 6638 NEW BEST:: SOT 75868 SOS 21273 HAS SOPS 21273 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14316.273
AT ITER 6641 NEW BEST:: SOT 75865 SOS 21270 HAS SOPS 21270 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14313.27
AT ITER 6658 NEW BEST:: SOT 75864 SOS 21252 HAS SOPS 21252 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14311.252
AT ITER 6684 NEW BEST:: SOT 75857 SOS 21238 HAS SOPS 21238 HAS SOUS 14276 HAS SOUPS 14276 WITH SCORE 14297.238
AT ITER 6711 NEW BEST:: SOT 75851 SOS 21226 HAS SOPS 21226 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14285.226
AT ITER 6753 NEW BEST:: SOT 75829 SOS 21181 HAS SOPS 21181 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14240.181
AT ITER 6756 NEW BEST:: SOT 75828 SOS 21180 HAS SOPS 21180 HAS SOUS 14218 HAS SOUPS 14218 WITH SCORE 14239.18
AT ITER 6759 NEW BEST:: SOT 75822 SOS 21159 HAS SOPS 21159 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14218.159
AT ITER 6800 NEW BEST:: SOT 75772 SOS 21142 HAS SOPS 21142 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14201.142
AT ITER 6826 NEW BEST:: SOT 75769 SOS 21122 HAS SOPS 21122 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14198.122
AT ITER 6840 NEW BEST:: SOT 75769 SOS 21112 HAS SOPS 21112 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14196.112
AT ITER 6860 NEW BEST:: SOT 75772 SOS 21109 HAS SOPS 21109 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14193.109
AT ITER 6874 NEW BEST:: SOT 75761 SOS 21087 HAS SOPS 21087 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14171.087
AT ITER 6902 NEW BEST:: SOT 75761 SOS 21074 HAS SOPS 21074 HAS SOUS 14137 HAS SOUPS 14137 WITH SCORE 14158.074
AT ITER 6914 NEW BEST:: SOT 75761 SOS 21028 HAS SOPS 21028 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14112.028
AT ITER 6966 NEW BEST:: SOT 75742 SOS 21003 HAS SOPS 21003 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14100.003
AT ITER 7035 NEW BEST:: SOT 75669 SOS 20906 HAS SOPS 20906 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14002.906
AT ITER 7139 NEW BEST:: SOT 75641 SOS 20878 HAS SOPS 20878 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 13988.878
AT ITER 7148 NEW BEST:: SOT 75646 SOS 20815 HAS SOPS 20815 HAS SOUS 13955 HAS SOUPS 13955 WITH SCORE 13975.815
AT ITER 7201 NEW BEST:: SOT 75649 SOS 20816 HAS SOPS 20816 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13971.816
AT ITER 7205 NEW BEST:: SOT 75649 SOS 20816 HAS SOPS 20816 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13950.816
AT ITER 7218 NEW BEST:: SOT 75632 SOS 20782 HAS SOPS 20782 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13933.782
AT ITER 7221 NEW BEST:: SOT 75646 SOS 20710 HAS SOPS 20710 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13926.71
AT ITER 7235 NEW BEST:: SOT 75651 SOS 20720 HAS SOPS 20720 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13919.72
AT ITER 7257 NEW BEST:: SOT 75649 SOS 20747 HAS SOPS 20747 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13915.747
AT ITER 7264 NEW BEST:: SOT 75644 SOS 20737 HAS SOPS 20737 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13905.737
AT ITER 7272 NEW BEST:: SOT 75643 SOS 20735 HAS SOPS 20735 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13896.735
AT ITER 7330 NEW BEST:: SOT 75626 SOS 20701 HAS SOPS 20701 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13896.701
AT ITER 7335 NEW BEST:: SOT 75620 SOS 20689 HAS SOPS 20689 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13884.689
AT ITER 7397 NEW BEST:: SOT 75639 SOS 20676 HAS SOPS 20676 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13871.676
AT ITER 7409 NEW BEST:: SOT 75618 SOS 20667 HAS SOPS 20667 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13862.667
AT ITER 7507 NEW BEST:: SOT 75668 SOS 20741 HAS SOPS 20741 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13861.741
AT ITER 7527 NEW BEST:: SOT 75641 SOS 20700 HAS SOPS 20700 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13812.7
AT ITER 7529 NEW BEST:: SOT 75656 SOS 20681 HAS SOPS 20681 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13767.681
AT ITER 7561 NEW BEST:: SOT 75652 SOS 20673 HAS SOPS 20673 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13759.673
AT ITER 7578 NEW BEST:: SOT 75652 SOS 20659 HAS SOPS 20659 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13745.659
AT ITER 7595 NEW BEST:: SOT 75635 SOS 20663 HAS SOPS 20663 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13737.663
AT ITER 7614 NEW BEST:: SOT 75678 SOS 20706 HAS SOPS 20706 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13728.706
AT ITER 7647 NEW BEST:: SOT 75691 SOS 20732 HAS SOPS 20732 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13724.732
AT ITER 7736 NEW BEST:: SOT 75677 SOS 20704 HAS SOPS 20704 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13711.704
AT ITER 7748 NEW BEST:: SOT 75677 SOS 20702 HAS SOPS 20702 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13709.702
AT ITER 7783 NEW BEST:: SOT 75677 SOS 20702 HAS SOPS 20702 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13706.702
AT ITER 7790 NEW BEST:: SOT 75677 SOS 20538 HAS SOPS 20538 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13669.538
AT ITER 7935 NEW BEST:: SOT 75674 SOS 20532 HAS SOPS 20532 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13663.532
AT ITER 7951 NEW BEST:: SOT 75672 SOS 20528 HAS SOPS 20528 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13659.528
AT ITER 7973 NEW BEST:: SOT 75661 SOS 20517 HAS SOPS 20517 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13648.517
AT ITER 8011 NEW BEST:: SOT 75658 SOS 20511 HAS SOPS 20511 HAS SOUS 13595 HAS SOUPS 13595 WITH SCORE 13615.511
AT ITER 8028 NEW BEST:: SOT 75658 SOS 20504 HAS SOPS 20504 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13610.504
AT ITER 8029 NEW BEST:: SOT 75658 SOS 20499 HAS SOPS 20499 HAS SOUS 13585 HAS SOUPS 13585 WITH SCORE 13605.499
AT ITER 8127 NEW BEST:: SOT 75647 SOS 20493 HAS SOPS 20493 HAS SOUS 13579 HAS SOUPS 13579 WITH SCORE 13599.493
AT ITER 8193 NEW BEST:: SOT 75621 SOS 20467 HAS SOPS 20467 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13573.467
AT ITER 8234 NEW BEST:: SOT 75602 SOS 20448 HAS SOPS 20448 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13554.448
AT ITER 8284 NEW BEST:: SOT 75559 SOS 20384 HAS SOPS 20384 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13490.384
AT ITER 8296 NEW BEST:: SOT 75547 SOS 20360 HAS SOPS 20360 HAS SOUS 13443 HAS SOUPS 13443 WITH SCORE 13463.36
AT ITER 8374 NEW BEST:: SOT 75544 SOS 20346 HAS SOPS 20346 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13457.346
AT ITER 8439 NEW BEST:: SOT 75563 SOS 20364 HAS SOPS 20364 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13455.364
AT ITER 8464 NEW BEST:: SOT 75536 SOS 20337 HAS SOPS 20337 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13439.337
AT ITER 8478 NEW BEST:: SOT 75534 SOS 20333 HAS SOPS 20333 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13437.333
AT ITER 8495 NEW BEST:: SOT 75573 SOS 20354 HAS SOPS 20354 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13414.354
AT ITER 8504 NEW BEST:: SOT 75567 SOS 20342 HAS SOPS 20342 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13402.342
AT ITER 8602 NEW BEST:: SOT 75564 SOS 20336 HAS SOPS 20336 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13399.336
AT ITER 8718 NEW BEST:: SOT 75558 SOS 20330 HAS SOPS 20330 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13393.33
AT ITER 8821 NEW BEST:: SOT 75536 SOS 20330 HAS SOPS 20330 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13386.33
AT ITER 8825 NEW BEST:: SOT 75532 SOS 20326 HAS SOPS 20326 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13386.326
AT ITER 8983 NEW BEST:: SOT 75529 SOS 20320 HAS SOPS 20320 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13380.32
AT ITER 9340 NEW BEST:: SOT 75529 SOS 20331 HAS SOPS 20331 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13377.331
AT ITER 9357 NEW BEST:: SOT 75531 SOS 20331 HAS SOPS 20331 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13375.331
AT ITER 9388 NEW BEST:: SOT 75536 SOS 20341 HAS SOPS 20341 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13373.341
AT ITER 9436 NEW BEST:: SOT 75536 SOS 20340 HAS SOPS 20340 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13372.34
AT ITER 9653 NEW BEST:: SOT 75536 SOS 20328 HAS SOPS 20328 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13354.328
AT ITER 9707 NEW BEST:: SOT 75534 SOS 20329 HAS SOPS 20329 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13353.329
AT ITER 9711 NEW BEST:: SOT 75533 SOS 20327 HAS SOPS 20327 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13351.327
AT ITER 9818 NEW BEST:: SOT 75524 SOS 20282 HAS SOPS 20282 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13348.282
AT ITER 9857 NEW BEST:: SOT 75543 SOS 20297 HAS SOPS 20297 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13339.297
AT ITER 9860 NEW BEST:: SOT 75537 SOS 20291 HAS SOPS 20291 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13339.291
AT ITER 9985 NEW BEST:: SOT 75526 SOS 20269 HAS SOPS 20269 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13317.269

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-08"
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 BusinessProcesses-PT-08, 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 r018-oct2-158897680100512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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