Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421800440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is LamportFastMutEx-PT-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 30K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 165K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 38K Feb 25 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 240K Feb 25 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 93K Feb 25 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 499K Feb 25 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 265K Mar 5 18:22 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 1678656068849

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LamportFastMutEx-PT-7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 21:21:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 21:21:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 21:21:10] [INFO ] Load time of PNML (sax parser for PT used): 80 ms
[2023-03-12 21:21:10] [INFO ] Transformed 264 places.
[2023-03-12 21:21:10] [INFO ] Transformed 536 transitions.
[2023-03-12 21:21:10] [INFO ] Found NUPN structural information;
[2023-03-12 21:21:10] [INFO ] Completing missing partition info from NUPN : creating a component with [P_start_1_0, P_start_1_1, P_start_1_2, P_start_1_3, P_start_1_4, P_start_1_5, P_start_1_6, P_start_1_7, P_b_0_false, P_b_0_true, P_b_1_false, P_b_1_true, P_b_2_false, P_b_2_true, P_b_3_false, P_b_3_true, P_b_4_false, P_b_4_true, P_b_5_false, P_b_5_true, P_b_6_false, P_b_6_true, P_b_7_false, P_b_7_true, P_setx_3_0, P_setx_3_1, P_setx_3_2, P_setx_3_3, P_setx_3_4, P_setx_3_5, P_setx_3_6, P_setx_3_7, P_setbi_5_0, P_setbi_5_1, P_setbi_5_2, P_setbi_5_3, P_setbi_5_4, P_setbi_5_5, P_setbi_5_6, P_setbi_5_7, P_ify0_4_0, P_ify0_4_1, P_ify0_4_2, P_ify0_4_3, P_ify0_4_4, P_ify0_4_5, P_ify0_4_6, P_ify0_4_7, P_sety_9_0, P_sety_9_1, P_sety_9_2, P_sety_9_3, P_sety_9_4, P_sety_9_5, P_sety_9_6, P_sety_9_7, P_ifxi_10_0, P_ifxi_10_1, P_ifxi_10_2, P_ifxi_10_3, P_ifxi_10_4, P_ifxi_10_5, P_ifxi_10_6, P_ifxi_10_7, P_setbi_11_0, P_setbi_11_1, P_setbi_11_2, P_setbi_11_3, P_setbi_11_4, P_setbi_11_5, P_setbi_11_6, P_setbi_11_7, P_fordo_12_0, P_fordo_12_1, P_fordo_12_2, P_fordo_12_3, P_fordo_12_4, P_fordo_12_5, P_fordo_12_6, P_fordo_12_7, P_wait_0_0, P_wait_0_1, P_wait_0_2, P_wait_0_3, P_wait_0_4, P_wait_0_5, P_wait_0_6, P_wait_0_7, P_wait_1_0, P_wait_1_1, P_wait_1_2, P_wait_1_3, P_wait_1_4, P_wait_1_5, P_wait_1_6, P_wait_1_7, P_wait_2_0, P_wait_2_1, P_wait_2_2, P_wait_2_3, P_wait_2_4, P_wait_2_5, P_wait_2_6, P_wait_2_7, P_wait_3_0, P_wait_3_1, P_wait_3_2, P_wait_3_3, P_wait_3_4, P_wait_3_5, P_wait_3_6, P_wait_3_7, P_wait_4_0, P_wait_4_1, P_wait_4_2, P_wait_4_3, P_wait_4_4, P_wait_4_5, P_wait_4_6, P_wait_4_7, P_wait_5_0, P_wait_5_1, P_wait_5_2, P_wait_5_3, P_wait_5_4, P_wait_5_5, P_wait_5_6, P_wait_5_7, P_wait_6_0, P_wait_6_1, P_wait_6_2, P_wait_6_3, P_wait_6_4, P_wait_6_5, P_wait_6_6, P_wait_6_7, P_wait_7_0, P_wait_7_1, P_wait_7_2, P_wait_7_3, P_wait_7_4, P_wait_7_5, P_wait_7_6, P_wait_7_7, P_await_13_0, P_await_13_1, P_await_13_2, P_await_13_3, P_await_13_4, P_await_13_5, P_await_13_6, P_await_13_7, P_done_0_0, P_done_0_1, P_done_0_2, P_done_0_3, P_done_0_4, P_done_0_5, P_done_0_6, P_done_0_7, P_done_1_0, P_done_1_1, P_done_1_2, P_done_1_3, P_done_1_4, P_done_1_5, P_done_1_6, P_done_1_7, P_done_2_0, P_done_2_1, P_done_2_2, P_done_2_3, P_done_2_4, P_done_2_5, P_done_2_6, P_done_2_7, P_done_3_0, P_done_3_1, P_done_3_2, P_done_3_3, P_done_3_4, P_done_3_5, P_done_3_6, P_done_3_7, P_done_4_0, P_done_4_1, P_done_4_2, P_done_4_3, P_done_4_4, P_done_4_5, P_done_4_6, P_done_4_7, P_done_5_0, P_done_5_1, P_done_5_2, P_done_5_3, P_done_5_4, P_done_5_5, P_done_5_6, P_done_5_7, P_done_6_0, P_done_6_1, P_done_6_2, P_done_6_3, P_done_6_4, P_done_6_5, P_done_6_6, P_done_6_7, P_done_7_0, P_done_7_1, P_done_7_2, P_done_7_3, P_done_7_4, P_done_7_5, P_done_7_6, P_done_7_7, P_ifyi_15_0, P_ifyi_15_1, P_ifyi_15_2, P_ifyi_15_3, P_ifyi_15_4, P_ifyi_15_5, P_ifyi_15_6, P_ifyi_15_7, P_awaity_0, P_awaity_1, P_awaity_2, P_awaity_3, P_awaity_4, P_awaity_5, P_awaity_6, P_awaity_7, P_CS_21_0, P_CS_21_1, P_CS_21_2, P_CS_21_3, P_CS_21_4, P_CS_21_5, P_CS_21_6, P_CS_21_7, P_setbi_24_0, P_setbi_24_1, P_setbi_24_2, P_setbi_24_3, P_setbi_24_4, P_setbi_24_5, P_setbi_24_6, P_setbi_24_7]
[2023-03-12 21:21:10] [INFO ] Parsed PT model containing 264 places and 536 transitions and 2352 arcs in 146 ms.
[2023-03-12 21:21:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 264 places, 536 transitions and 2352 arcs took 8 ms.
Total runtime 182 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 7
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 264 places, 536 transitions, 2352 arcs.
AT ITER 0 NEW BEST:: SOT 63147 SOS 40417 HAS SOPS 37273 HAS SOUS 31060 HAS SOUPS 30041 WITH SCORE 30081.417
AT ITER 8 NEW BEST:: SOT 63147 SOS 40395 HAS SOPS 37251 HAS SOUS 31038 HAS SOUPS 30019 WITH SCORE 30059.395
AT ITER 15 NEW BEST:: SOT 62988 SOS 40338 HAS SOPS 37043 HAS SOUS 30925 HAS SOUPS 29811 WITH SCORE 29851.338
AT ITER 27 NEW BEST:: SOT 62988 SOS 40319 HAS SOPS 37024 HAS SOUS 30906 HAS SOUPS 29792 WITH SCORE 29832.319
AT ITER 37 NEW BEST:: SOT 63079 SOS 40394 HAS SOPS 36471 HAS SOUS 30990 HAS SOUPS 29239 WITH SCORE 29279.394
AT ITER 45 NEW BEST:: SOT 62961 SOS 40321 HAS SOPS 36353 HAS SOUS 30917 HAS SOUPS 29121 WITH SCORE 29161.321
AT ITER 48 NEW BEST:: SOT 62961 SOS 40304 HAS SOPS 36336 HAS SOUS 30900 HAS SOUPS 29104 WITH SCORE 29144.304
AT ITER 50 NEW BEST:: SOT 62969 SOS 40312 HAS SOPS 36344 HAS SOUS 30848 HAS SOUPS 29052 WITH SCORE 29092.312
AT ITER 52 NEW BEST:: SOT 62974 SOS 40278 HAS SOPS 36310 HAS SOUS 30814 HAS SOUPS 29018 WITH SCORE 29058.278
AT ITER 56 NEW BEST:: SOT 62974 SOS 40234 HAS SOPS 36266 HAS SOUS 30770 HAS SOUPS 28974 WITH SCORE 29014.234
AT ITER 60 NEW BEST:: SOT 62187 SOS 39599 HAS SOPS 35631 HAS SOUS 30018 HAS SOUPS 28222 WITH SCORE 28261.599
AT ITER 65 NEW BEST:: SOT 62118 SOS 39555 HAS SOPS 35557 HAS SOUS 29969 HAS SOUPS 28148 WITH SCORE 28187.555
AT ITER 76 NEW BEST:: SOT 62094 SOS 39314 HAS SOPS 35014 HAS SOUS 29670 HAS SOUPS 27841 WITH SCORE 27880.314
AT ITER 81 NEW BEST:: SOT 62379 SOS 39723 HAS SOPS 35455 HAS SOUS 29607 HAS SOUPS 27810 WITH SCORE 27849.723
AT ITER 82 NEW BEST:: SOT 62379 SOS 39717 HAS SOPS 35449 HAS SOUS 29601 HAS SOUPS 27804 WITH SCORE 27843.717
AT ITER 91 NEW BEST:: SOT 62379 SOS 39715 HAS SOPS 35447 HAS SOUS 29599 HAS SOUPS 27802 WITH SCORE 27841.715
AT ITER 94 NEW BEST:: SOT 62392 SOS 39512 HAS SOPS 35136 HAS SOUS 29564 HAS SOUPS 27699 WITH SCORE 27738.512
AT ITER 104 NEW BEST:: SOT 62370 SOS 39688 HAS SOPS 35114 HAS SOUS 29632 HAS SOUPS 27677 WITH SCORE 27716.688
AT ITER 111 NEW BEST:: SOT 62137 SOS 39522 HAS SOPS 34948 HAS SOUS 29432 HAS SOUPS 27477 WITH SCORE 27516.522
AT ITER 113 NEW BEST:: SOT 62220 SOS 39658 HAS SOPS 35084 HAS SOUS 29208 HAS SOUPS 27253 WITH SCORE 27292.658
AT ITER 123 NEW BEST:: SOT 62255 SOS 39693 HAS SOPS 35080 HAS SOUS 29204 HAS SOUPS 27249 WITH SCORE 27288.693
AT ITER 125 NEW BEST:: SOT 62264 SOS 39674 HAS SOPS 35061 HAS SOUS 29185 HAS SOUPS 27230 WITH SCORE 27269.674
AT ITER 130 NEW BEST:: SOT 62264 SOS 39641 HAS SOPS 35028 HAS SOUS 29152 HAS SOUPS 27197 WITH SCORE 27236.641
AT ITER 143 NEW BEST:: SOT 62953 SOS 40679 HAS SOPS 34898 HAS SOUS 29235 HAS SOUPS 27067 WITH SCORE 27107.679
AT ITER 150 NEW BEST:: SOT 62942 SOS 40668 HAS SOPS 34887 HAS SOUS 29224 HAS SOUPS 27056 WITH SCORE 27096.668
AT ITER 152 NEW BEST:: SOT 62942 SOS 40656 HAS SOPS 34875 HAS SOUS 29224 HAS SOUPS 27056 WITH SCORE 27096.656
AT ITER 159 NEW BEST:: SOT 62935 SOS 40649 HAS SOPS 34869 HAS SOUS 29218 HAS SOUPS 27050 WITH SCORE 27090.649
AT ITER 166 NEW BEST:: SOT 62903 SOS 40573 HAS SOPS 34860 HAS SOUS 29075 HAS SOUPS 26947 WITH SCORE 26987.573
AT ITER 171 NEW BEST:: SOT 62887 SOS 40557 HAS SOPS 34844 HAS SOUS 29059 HAS SOUPS 26931 WITH SCORE 26971.557
AT ITER 175 NEW BEST:: SOT 62887 SOS 40548 HAS SOPS 34835 HAS SOUS 29050 HAS SOUPS 26922 WITH SCORE 26962.548
AT ITER 177 NEW BEST:: SOT 62815 SOS 40488 HAS SOPS 34775 HAS SOUS 28990 HAS SOUPS 26862 WITH SCORE 26902.488
AT ITER 180 NEW BEST:: SOT 62729 SOS 40388 HAS SOPS 34640 HAS SOUS 28869 HAS SOUPS 26727 WITH SCORE 26767.388
AT ITER 183 NEW BEST:: SOT 62722 SOS 40381 HAS SOPS 34633 HAS SOUS 28862 HAS SOUPS 26720 WITH SCORE 26760.381
AT ITER 191 NEW BEST:: SOT 62754 SOS 40463 HAS SOPS 34715 HAS SOUS 28816 HAS SOUPS 26674 WITH SCORE 26714.463
AT ITER 192 NEW BEST:: SOT 62801 SOS 40461 HAS SOPS 34713 HAS SOUS 28814 HAS SOUPS 26672 WITH SCORE 26712.461
AT ITER 194 NEW BEST:: SOT 62802 SOS 40462 HAS SOPS 34707 HAS SOUS 28808 HAS SOUPS 26666 WITH SCORE 26706.462
AT ITER 196 NEW BEST:: SOT 62697 SOS 40606 HAS SOPS 34541 HAS SOUS 28749 HAS SOUPS 26500 WITH SCORE 26540.606
AT ITER 200 NEW BEST:: SOT 62691 SOS 40600 HAS SOPS 34535 HAS SOUS 28743 HAS SOUPS 26494 WITH SCORE 26534.6
AT ITER 201 NEW BEST:: SOT 61790 SOS 39941 HAS SOPS 33876 HAS SOUS 27963 HAS SOUPS 25714 WITH SCORE 25753.941
AT ITER 217 NEW BEST:: SOT 61360 SOS 39553 HAS SOPS 33446 HAS SOUS 27575 HAS SOUPS 25284 WITH SCORE 25323.553
AT ITER 223 NEW BEST:: SOT 61354 SOS 39547 HAS SOPS 33432 HAS SOUS 27561 HAS SOUPS 25270 WITH SCORE 25309.547
AT ITER 233 NEW BEST:: SOT 61273 SOS 39495 HAS SOPS 33351 HAS SOUS 27509 HAS SOUPS 25189 WITH SCORE 25228.495
AT ITER 237 NEW BEST:: SOT 61273 SOS 39495 HAS SOPS 33346 HAS SOUS 27509 HAS SOUPS 25184 WITH SCORE 25223.495
AT ITER 238 NEW BEST:: SOT 60972 SOS 39232 HAS SOPS 33045 HAS SOUS 27246 HAS SOUPS 24883 WITH SCORE 24922.232
AT ITER 240 NEW BEST:: SOT 60323 SOS 38934 HAS SOPS 32396 HAS SOUS 26766 HAS SOUPS 24234 WITH SCORE 24272.934
AT ITER 246 NEW BEST:: SOT 60233 SOS 38816 HAS SOPS 32278 HAS SOUS 26666 HAS SOUPS 24134 WITH SCORE 24172.816
AT ITER 247 NEW BEST:: SOT 60181 SOS 38794 HAS SOPS 32215 HAS SOUS 26644 HAS SOUPS 24071 WITH SCORE 24109.794
AT ITER 255 NEW BEST:: SOT 60120 SOS 38707 HAS SOPS 31093 HAS SOUS 25667 HAS SOUPS 22962 WITH SCORE 23000.707
AT ITER 257 NEW BEST:: SOT 60120 SOS 38707 HAS SOPS 31057 HAS SOUS 25669 HAS SOUPS 22926 WITH SCORE 22964.707
AT ITER 263 NEW BEST:: SOT 60131 SOS 38730 HAS SOPS 31031 HAS SOUS 25674 HAS SOUPS 22900 WITH SCORE 22938.73
AT ITER 266 NEW BEST:: SOT 59971 SOS 38585 HAS SOPS 30870 HAS SOUS 25529 HAS SOUPS 22739 WITH SCORE 22777.585
AT ITER 272 NEW BEST:: SOT 59949 SOS 38574 HAS SOPS 30859 HAS SOUS 25518 HAS SOUPS 22728 WITH SCORE 22766.574
AT ITER 281 NEW BEST:: SOT 59949 SOS 38574 HAS SOPS 30835 HAS SOUS 25494 HAS SOUPS 22704 WITH SCORE 22742.574
AT ITER 284 NEW BEST:: SOT 59954 SOS 38551 HAS SOPS 30812 HAS SOUS 25485 HAS SOUPS 22695 WITH SCORE 22733.551
AT ITER 287 NEW BEST:: SOT 59690 SOS 38390 HAS SOPS 30538 HAS SOUS 25409 HAS SOUPS 22441 WITH SCORE 22479.39
AT ITER 289 NEW BEST:: SOT 59654 SOS 38366 HAS SOPS 30466 HAS SOUS 25331 HAS SOUPS 22363 WITH SCORE 22401.366
AT ITER 294 NEW BEST:: SOT 59654 SOS 38341 HAS SOPS 30436 HAS SOUS 25301 HAS SOUPS 22333 WITH SCORE 22371.341
AT ITER 300 NEW BEST:: SOT 59654 SOS 38302 HAS SOPS 30403 HAS SOUS 25268 HAS SOUPS 22300 WITH SCORE 22338.302
AT ITER 301 NEW BEST:: SOT 59654 SOS 38290 HAS SOPS 30385 HAS SOUS 25250 HAS SOUPS 22282 WITH SCORE 22320.29
AT ITER 305 NEW BEST:: SOT 59654 SOS 38243 HAS SOPS 30338 HAS SOUS 25203 HAS SOUPS 22235 WITH SCORE 22273.243
AT ITER 324 NEW BEST:: SOT 59804 SOS 38082 HAS SOPS 29971 HAS SOUS 25252 HAS SOUPS 22159 WITH SCORE 22197.082
AT ITER 344 NEW BEST:: SOT 59756 SOS 38034 HAS SOPS 29917 HAS SOUS 25198 HAS SOUPS 22105 WITH SCORE 22143.034
AT ITER 350 NEW BEST:: SOT 59381 SOS 38040 HAS SOPS 29542 HAS SOUS 24970 HAS SOUPS 21730 WITH SCORE 21768.04
AT ITER 354 NEW BEST:: SOT 59387 SOS 37958 HAS SOPS 29537 HAS SOUS 24446 HAS SOUPS 21237 WITH SCORE 21274.958
AT ITER 365 NEW BEST:: SOT 58967 SOS 37534 HAS SOPS 29339 HAS SOUS 24187 HAS SOUPS 21039 WITH SCORE 21076.534
AT ITER 378 NEW BEST:: SOT 58941 SOS 37558 HAS SOPS 29301 HAS SOUS 24061 HAS SOUPS 20979 WITH SCORE 21016.558
AT ITER 382 NEW BEST:: SOT 58925 SOS 37513 HAS SOPS 29286 HAS SOUS 24023 HAS SOUPS 20964 WITH SCORE 21001.513
AT ITER 390 NEW BEST:: SOT 58765 SOS 37322 HAS SOPS 29049 HAS SOUS 23649 HAS SOUPS 20590 WITH SCORE 20627.322
AT ITER 396 NEW BEST:: SOT 58765 SOS 37322 HAS SOPS 29024 HAS SOUS 23637 HAS SOUPS 20565 WITH SCORE 20602.322
AT ITER 402 NEW BEST:: SOT 58751 SOS 37312 HAS SOPS 29008 HAS SOUS 23629 HAS SOUPS 20549 WITH SCORE 20586.312
AT ITER 406 NEW BEST:: SOT 58658 SOS 36993 HAS SOPS 28915 HAS SOUS 23343 HAS SOUPS 20456 WITH SCORE 20492.993
AT ITER 419 NEW BEST:: SOT 58687 SOS 37022 HAS SOPS 28742 HAS SOUS 23199 HAS SOUPS 20283 WITH SCORE 20320.022
AT ITER 421 NEW BEST:: SOT 58687 SOS 37008 HAS SOPS 28728 HAS SOUS 23197 HAS SOUPS 20281 WITH SCORE 20318.008
AT ITER 434 NEW BEST:: SOT 58662 SOS 36983 HAS SOPS 28683 HAS SOUS 23172 HAS SOUPS 20236 WITH SCORE 20272.983
AT ITER 441 NEW BEST:: SOT 58652 SOS 36973 HAS SOPS 28673 HAS SOUS 23162 HAS SOUPS 20226 WITH SCORE 20262.973
AT ITER 444 NEW BEST:: SOT 58642 SOS 36963 HAS SOPS 28653 HAS SOUS 23117 HAS SOUPS 20206 WITH SCORE 20242.963
AT ITER 445 NEW BEST:: SOT 58307 SOS 36812 HAS SOPS 28255 HAS SOUS 23072 HAS SOUPS 20064 WITH SCORE 20100.812
AT ITER 459 NEW BEST:: SOT 58225 SOS 36912 HAS SOPS 28124 HAS SOUS 23098 HAS SOUPS 19933 WITH SCORE 19969.912
AT ITER 460 NEW BEST:: SOT 58232 SOS 36919 HAS SOPS 28138 HAS SOUS 23082 HAS SOUPS 19919 WITH SCORE 19955.919
AT ITER 468 NEW BEST:: SOT 58232 SOS 36916 HAS SOPS 28138 HAS SOUS 23077 HAS SOUPS 19919 WITH SCORE 19955.916
AT ITER 480 NEW BEST:: SOT 58228 SOS 36912 HAS SOPS 28132 HAS SOUS 23071 HAS SOUPS 19913 WITH SCORE 19949.912
AT ITER 486 NEW BEST:: SOT 58179 SOS 36864 HAS SOPS 28088 HAS SOUS 23026 HAS SOUPS 19869 WITH SCORE 19905.864
AT ITER 493 NEW BEST:: SOT 58486 SOS 36848 HAS SOPS 27703 HAS SOUS 23007 HAS SOUPS 19831 WITH SCORE 19867.848
AT ITER 516 NEW BEST:: SOT 58486 SOS 36848 HAS SOPS 27698 HAS SOUS 23007 HAS SOUPS 19826 WITH SCORE 19862.848
AT ITER 523 NEW BEST:: SOT 57803 SOS 36219 HAS SOPS 26966 HAS SOUS 22338 HAS SOUPS 19094 WITH SCORE 19130.219
AT ITER 529 NEW BEST:: SOT 57767 SOS 36183 HAS SOPS 26963 HAS SOUS 22254 HAS SOUPS 19016 WITH SCORE 19052.183
AT ITER 530 NEW BEST:: SOT 57766 SOS 36182 HAS SOPS 26962 HAS SOUS 22253 HAS SOUPS 19015 WITH SCORE 19051.182
AT ITER 532 NEW BEST:: SOT 57928 SOS 36453 HAS SOPS 26892 HAS SOUS 22324 HAS SOUPS 18945 WITH SCORE 18981.453
AT ITER 535 NEW BEST:: SOT 57657 SOS 36181 HAS SOPS 26571 HAS SOUS 22095 HAS SOUPS 18668 WITH SCORE 18704.181
AT ITER 540 NEW BEST:: SOT 57635 SOS 36159 HAS SOPS 26549 HAS SOUS 22073 HAS SOUPS 18646 WITH SCORE 18682.159
AT ITER 547 NEW BEST:: SOT 57635 SOS 36142 HAS SOPS 26516 HAS SOUS 22040 HAS SOUPS 18613 WITH SCORE 18649.142
AT ITER 548 NEW BEST:: SOT 57603 SOS 36153 HAS SOPS 26484 HAS SOUS 21997 HAS SOUPS 18549 WITH SCORE 18585.153
AT ITER 554 NEW BEST:: SOT 57595 SOS 36145 HAS SOPS 26470 HAS SOUS 21989 HAS SOUPS 18535 WITH SCORE 18571.145
AT ITER 561 NEW BEST:: SOT 57544 SOS 36094 HAS SOPS 26429 HAS SOUS 21938 HAS SOUPS 18494 WITH SCORE 18530.094
AT ITER 567 NEW BEST:: SOT 57544 SOS 36068 HAS SOPS 26412 HAS SOUS 21921 HAS SOUPS 18477 WITH SCORE 18513.068
AT ITER 574 NEW BEST:: SOT 57516 SOS 35988 HAS SOPS 26150 HAS SOUS 21715 HAS SOUPS 18241 WITH SCORE 18276.988
AT ITER 577 NEW BEST:: SOT 57439 SOS 35867 HAS SOPS 25998 HAS SOUS 21649 HAS SOUPS 18121 WITH SCORE 18156.867
AT ITER 582 NEW BEST:: SOT 57054 SOS 35749 HAS SOPS 25558 HAS SOUS 21387 HAS SOUPS 17681 WITH SCORE 17716.749
AT ITER 604 NEW BEST:: SOT 57066 SOS 35761 HAS SOPS 25573 HAS SOUS 21360 HAS SOUPS 17657 WITH SCORE 17692.761
AT ITER 607 NEW BEST:: SOT 56977 SOS 35681 HAS SOPS 25477 HAS SOUS 21280 HAS SOUPS 17561 WITH SCORE 17596.681
AT ITER 626 NEW BEST:: SOT 56870 SOS 35783 HAS SOPS 25288 HAS SOUS 21408 HAS SOUPS 17372 WITH SCORE 17407.783
AT ITER 632 NEW BEST:: SOT 56706 SOS 35660 HAS SOPS 25120 HAS SOUS 21224 HAS SOUPS 17276 WITH SCORE 17311.66
AT ITER 634 NEW BEST:: SOT 56642 SOS 35596 HAS SOPS 24976 HAS SOUS 21080 HAS SOUPS 17132 WITH SCORE 17167.596
AT ITER 643 NEW BEST:: SOT 56380 SOS 35334 HAS SOPS 24714 HAS SOUS 20818 HAS SOUPS 16870 WITH SCORE 16905.334
AT ITER 655 NEW BEST:: SOT 56458 SOS 35203 HAS SOPS 24808 HAS SOUS 20728 HAS SOUPS 16820 WITH SCORE 16855.203
AT ITER 662 NEW BEST:: SOT 56418 SOS 35163 HAS SOPS 24762 HAS SOUS 20645 HAS SOUPS 16774 WITH SCORE 16809.163
AT ITER 683 NEW BEST:: SOT 56277 SOS 35032 HAS SOPS 24621 HAS SOUS 20514 HAS SOUPS 16633 WITH SCORE 16668.032
AT ITER 689 NEW BEST:: SOT 56277 SOS 35026 HAS SOPS 24615 HAS SOUS 20514 HAS SOUPS 16633 WITH SCORE 16668.026
AT ITER 704 NEW BEST:: SOT 56259 SOS 35008 HAS SOPS 24588 HAS SOUS 20496 HAS SOUPS 16606 WITH SCORE 16641.008
AT ITER 716 NEW BEST:: SOT 56256 SOS 35005 HAS SOPS 24585 HAS SOUS 20493 HAS SOUPS 16603 WITH SCORE 16638.005
AT ITER 729 NEW BEST:: SOT 56226 SOS 34996 HAS SOPS 24526 HAS SOUS 20296 HAS SOUPS 16406 WITH SCORE 16440.996
AT ITER 731 NEW BEST:: SOT 56195 SOS 34965 HAS SOPS 24447 HAS SOUS 20217 HAS SOUPS 16327 WITH SCORE 16361.965
AT ITER 753 NEW BEST:: SOT 56179 SOS 34955 HAS SOPS 24437 HAS SOUS 20204 HAS SOUPS 16314 WITH SCORE 16348.955
AT ITER 772 NEW BEST:: SOT 56179 SOS 34944 HAS SOPS 24426 HAS SOUS 20195 HAS SOUPS 16305 WITH SCORE 16339.944
AT ITER 779 NEW BEST:: SOT 56162 SOS 34927 HAS SOPS 24392 HAS SOUS 20177 HAS SOUPS 16271 WITH SCORE 16305.927
AT ITER 786 NEW BEST:: SOT 56148 SOS 34907 HAS SOPS 24387 HAS SOUS 20172 HAS SOUPS 16266 WITH SCORE 16300.907
AT ITER 813 NEW BEST:: SOT 56032 SOS 34761 HAS SOPS 24147 HAS SOUS 19951 HAS SOUPS 16058 WITH SCORE 16092.761
AT ITER 835 NEW BEST:: SOT 55989 SOS 34719 HAS SOPS 24102 HAS SOUS 19909 HAS SOUPS 16013 WITH SCORE 16047.719
AT ITER 841 NEW BEST:: SOT 55985 SOS 34715 HAS SOPS 24094 HAS SOUS 19905 HAS SOUPS 16005 WITH SCORE 16039.715
AT ITER 852 NEW BEST:: SOT 55910 SOS 34640 HAS SOPS 24004 HAS SOUS 19815 HAS SOUPS 15915 WITH SCORE 15949.64
AT ITER 856 NEW BEST:: SOT 55910 SOS 34644 HAS SOPS 23908 HAS SOUS 19775 HAS SOUPS 15873 WITH SCORE 15907.644
AT ITER 862 NEW BEST:: SOT 56035 SOS 34750 HAS SOPS 24038 HAS SOUS 19583 HAS SOUPS 15705 WITH SCORE 15739.75
AT ITER 871 NEW BEST:: SOT 55978 SOS 34689 HAS SOPS 23984 HAS SOUS 19529 HAS SOUPS 15651 WITH SCORE 15685.689
AT ITER 874 NEW BEST:: SOT 55975 SOS 34686 HAS SOPS 23978 HAS SOUS 19526 HAS SOUPS 15645 WITH SCORE 15679.686
AT ITER 894 NEW BEST:: SOT 55967 SOS 34704 HAS SOPS 23939 HAS SOUS 19519 HAS SOUPS 15606 WITH SCORE 15640.704
AT ITER 898 NEW BEST:: SOT 55951 SOS 34688 HAS SOPS 23907 HAS SOUS 19503 HAS SOUPS 15574 WITH SCORE 15608.688
AT ITER 900 NEW BEST:: SOT 55951 SOS 34688 HAS SOPS 23891 HAS SOUS 19503 HAS SOUPS 15558 WITH SCORE 15592.688
AT ITER 907 NEW BEST:: SOT 55834 SOS 34597 HAS SOPS 23839 HAS SOUS 19382 HAS SOUPS 15489 WITH SCORE 15523.597
AT ITER 924 NEW BEST:: SOT 55832 SOS 34819 HAS SOPS 23834 HAS SOUS 19636 HAS SOUPS 15484 WITH SCORE 15518.819
AT ITER 948 NEW BEST:: SOT 55832 SOS 34819 HAS SOPS 23833 HAS SOUS 19635 HAS SOUPS 15483 WITH SCORE 15517.819
AT ITER 971 NEW BEST:: SOT 55828 SOS 34870 HAS SOPS 23788 HAS SOUS 19833 HAS SOUPS 15438 WITH SCORE 15472.87
AT ITER 980 NEW BEST:: SOT 55599 SOS 34741 HAS SOPS 23510 HAS SOUS 20030 HAS SOUPS 15400 WITH SCORE 15434.741
AT ITER 989 NEW BEST:: SOT 55595 SOS 34737 HAS SOPS 23491 HAS SOUS 20014 HAS SOUPS 15381 WITH SCORE 15415.737
AT ITER 996 NEW BEST:: SOT 55612 SOS 34426 HAS SOPS 23087 HAS SOUS 19943 HAS SOUPS 15310 WITH SCORE 15344.426
AT ITER 1004 NEW BEST:: SOT 55612 SOS 34487 HAS SOPS 23069 HAS SOUS 20004 HAS SOUPS 15292 WITH SCORE 15326.487
AT ITER 1015 NEW BEST:: SOT 55575 SOS 34459 HAS SOPS 23051 HAS SOUS 19986 HAS SOUPS 15274 WITH SCORE 15308.459
AT ITER 1063 NEW BEST:: SOT 55561 SOS 34445 HAS SOPS 23025 HAS SOUS 19972 HAS SOUPS 15248 WITH SCORE 15282.445
AT ITER 1092 NEW BEST:: SOT 55561 SOS 34354 HAS SOPS 22934 HAS SOUS 19972 HAS SOUPS 15248 WITH SCORE 15282.354
AT ITER 1137 NEW BEST:: SOT 55558 SOS 34351 HAS SOPS 22931 HAS SOUS 19968 HAS SOUPS 15244 WITH SCORE 15278.351
AT ITER 1148 NEW BEST:: SOT 55550 SOS 34343 HAS SOPS 22915 HAS SOUS 19962 HAS SOUPS 15228 WITH SCORE 15262.343
AT ITER 1160 NEW BEST:: SOT 55539 SOS 34332 HAS SOPS 22904 HAS SOUS 19951 HAS SOUPS 15217 WITH SCORE 15251.332
AT ITER 1163 NEW BEST:: SOT 55503 SOS 34296 HAS SOPS 22842 HAS SOUS 19915 HAS SOUPS 15155 WITH SCORE 15189.296
AT ITER 1169 NEW BEST:: SOT 55308 SOS 34101 HAS SOPS 22647 HAS SOUS 19744 HAS SOUPS 14984 WITH SCORE 15018.101
AT ITER 1180 NEW BEST:: SOT 55298 SOS 34091 HAS SOPS 22612 HAS SOUS 19734 HAS SOUPS 14949 WITH SCORE 14983.091
AT ITER 1227 NEW BEST:: SOT 55292 SOS 34085 HAS SOPS 22593 HAS SOUS 19728 HAS SOUPS 14930 WITH SCORE 14964.085
AT ITER 1241 NEW BEST:: SOT 55267 SOS 34086 HAS SOPS 22563 HAS SOUS 19712 HAS SOUPS 14900 WITH SCORE 14934.086
AT ITER 1244 NEW BEST:: SOT 55299 SOS 34094 HAS SOPS 22487 HAS SOUS 19714 HAS SOUPS 14835 WITH SCORE 14869.094
AT ITER 1247 NEW BEST:: SOT 55280 SOS 34075 HAS SOPS 22466 HAS SOUS 19714 HAS SOUPS 14814 WITH SCORE 14848.075
AT ITER 1248 NEW BEST:: SOT 55280 SOS 34084 HAS SOPS 22457 HAS SOUS 19723 HAS SOUPS 14805 WITH SCORE 14839.084
AT ITER 1252 NEW BEST:: SOT 55279 SOS 34083 HAS SOPS 22433 HAS SOUS 19722 HAS SOUPS 14781 WITH SCORE 14815.083
AT ITER 1261 NEW BEST:: SOT 55259 SOS 34077 HAS SOPS 22413 HAS SOUS 19730 HAS SOUPS 14761 WITH SCORE 14795.077
AT ITER 1264 NEW BEST:: SOT 55247 SOS 34065 HAS SOPS 22401 HAS SOUS 19718 HAS SOUPS 14749 WITH SCORE 14783.065
AT ITER 1277 NEW BEST:: SOT 55231 SOS 34049 HAS SOPS 22385 HAS SOUS 19702 HAS SOUPS 14733 WITH SCORE 14767.049
AT ITER 1310 NEW BEST:: SOT 55221 SOS 34039 HAS SOPS 22365 HAS SOUS 19692 HAS SOUPS 14713 WITH SCORE 14747.039
AT ITER 1311 NEW BEST:: SOT 55243 SOS 34072 HAS SOPS 22409 HAS SOUS 19624 HAS SOUPS 14656 WITH SCORE 14690.072
AT ITER 1312 NEW BEST:: SOT 55243 SOS 34199 HAS SOPS 22536 HAS SOUS 19613 HAS SOUPS 14645 WITH SCORE 14679.199
AT ITER 1326 NEW BEST:: SOT 55044 SOS 34089 HAS SOPS 22587 HAS SOUS 19466 HAS SOUPS 14612 WITH SCORE 14646.089
AT ITER 1328 NEW BEST:: SOT 55000 SOS 34045 HAS SOPS 22489 HAS SOUS 19422 HAS SOUPS 14514 WITH SCORE 14548.045
AT ITER 1334 NEW BEST:: SOT 54996 SOS 34041 HAS SOPS 22485 HAS SOUS 19418 HAS SOUPS 14510 WITH SCORE 14544.041
AT ITER 1337 NEW BEST:: SOT 54960 SOS 34005 HAS SOPS 22452 HAS SOUS 19382 HAS SOUPS 14477 WITH SCORE 14511.005
AT ITER 1345 NEW BEST:: SOT 54924 SOS 33969 HAS SOPS 22408 HAS SOUS 19346 HAS SOUPS 14433 WITH SCORE 14466.969
AT ITER 1404 NEW BEST:: SOT 54924 SOS 33829 HAS SOPS 22268 HAS SOUS 19346 HAS SOUPS 14433 WITH SCORE 14466.829
AT ITER 1435 NEW BEST:: SOT 54925 SOS 33786 HAS SOPS 22234 HAS SOUS 19184 HAS SOUPS 14280 WITH SCORE 14313.786
AT ITER 1440 NEW BEST:: SOT 54925 SOS 33586 HAS SOPS 22234 HAS SOUS 18974 HAS SOUPS 14280 WITH SCORE 14313.586
AT ITER 1449 NEW BEST:: SOT 54920 SOS 33581 HAS SOPS 22224 HAS SOUS 18969 HAS SOUPS 14270 WITH SCORE 14303.581
AT ITER 1464 NEW BEST:: SOT 54907 SOS 33568 HAS SOPS 22196 HAS SOUS 18941 HAS SOUPS 14242 WITH SCORE 14275.568
AT ITER 1473 NEW BEST:: SOT 54885 SOS 33610 HAS SOPS 22125 HAS SOUS 18838 HAS SOUPS 14139 WITH SCORE 14172.61
AT ITER 1513 NEW BEST:: SOT 54871 SOS 33596 HAS SOPS 22113 HAS SOUS 18824 HAS SOUPS 14127 WITH SCORE 14160.596
AT ITER 1518 NEW BEST:: SOT 54883 SOS 33608 HAS SOPS 22100 HAS SOUS 18836 HAS SOUPS 14114 WITH SCORE 14147.608
AT ITER 1521 NEW BEST:: SOT 54888 SOS 33625 HAS SOPS 22105 HAS SOUS 18805 HAS SOUPS 14071 WITH SCORE 14104.625
AT ITER 1553 NEW BEST:: SOT 54887 SOS 33422 HAS SOPS 21902 HAS SOUS 18788 HAS SOUPS 14054 WITH SCORE 14087.422
AT ITER 1615 NEW BEST:: SOT 54872 SOS 33412 HAS SOPS 21845 HAS SOUS 18776 HAS SOUPS 13997 WITH SCORE 14030.412
AT ITER 1626 NEW BEST:: SOT 54872 SOS 33358 HAS SOPS 21791 HAS SOUS 18776 HAS SOUPS 13997 WITH SCORE 14030.358
AT ITER 1633 NEW BEST:: SOT 54914 SOS 33454 HAS SOPS 21740 HAS SOUS 18671 HAS SOUPS 13919 WITH SCORE 13952.454
AT ITER 1651 NEW BEST:: SOT 54887 SOS 33424 HAS SOPS 21731 HAS SOUS 18662 HAS SOUPS 13910 WITH SCORE 13943.424
AT ITER 1665 NEW BEST:: SOT 54886 SOS 33423 HAS SOPS 21729 HAS SOUS 18661 HAS SOUPS 13908 WITH SCORE 13941.423
AT ITER 1677 NEW BEST:: SOT 54869 SOS 33400 HAS SOPS 21711 HAS SOUS 18642 HAS SOUPS 13890 WITH SCORE 13923.4
AT ITER 1678 NEW BEST:: SOT 54753 SOS 33284 HAS SOPS 21629 HAS SOUS 18584 HAS SOUPS 13808 WITH SCORE 13841.284
AT ITER 1686 NEW BEST:: SOT 54733 SOS 33256 HAS SOPS 21573 HAS SOUS 18528 HAS SOUPS 13752 WITH SCORE 13785.256
AT ITER 1687 NEW BEST:: SOT 54732 SOS 33255 HAS SOPS 21571 HAS SOUS 18525 HAS SOUPS 13750 WITH SCORE 13783.255
AT ITER 1715 NEW BEST:: SOT 54734 SOS 33257 HAS SOPS 21566 HAS SOUS 18520 HAS SOUPS 13745 WITH SCORE 13778.257
AT ITER 1746 NEW BEST:: SOT 54713 SOS 33215 HAS SOPS 21524 HAS SOUS 18478 HAS SOUPS 13703 WITH SCORE 13736.215
AT ITER 1752 NEW BEST:: SOT 54705 SOS 33213 HAS SOPS 21505 HAS SOUS 18463 HAS SOUPS 13684 WITH SCORE 13717.213
AT ITER 1764 NEW BEST:: SOT 54696 SOS 33204 HAS SOPS 21487 HAS SOUS 18454 HAS SOUPS 13666 WITH SCORE 13699.204
AT ITER 1797 NEW BEST:: SOT 54665 SOS 33151 HAS SOPS 21456 HAS SOUS 18395 HAS SOUPS 13651 WITH SCORE 13684.151
AT ITER 1814 NEW BEST:: SOT 54665 SOS 33279 HAS SOPS 21584 HAS SOUS 18365 HAS SOUPS 13621 WITH SCORE 13654.279
AT ITER 1815 NEW BEST:: SOT 54672 SOS 33259 HAS SOPS 21562 HAS SOUS 18310 HAS SOUPS 13599 WITH SCORE 13632.259
AT ITER 1823 NEW BEST:: SOT 54658 SOS 33245 HAS SOPS 21534 HAS SOUS 18296 HAS SOUPS 13571 WITH SCORE 13604.245
AT ITER 1837 NEW BEST:: SOT 54641 SOS 33222 HAS SOPS 21503 HAS SOUS 18265 HAS SOUPS 13540 WITH SCORE 13573.222
AT ITER 1867 NEW BEST:: SOT 54630 SOS 33211 HAS SOPS 21492 HAS SOUS 18254 HAS SOUPS 13529 WITH SCORE 13562.211
AT ITER 1915 NEW BEST:: SOT 54608 SOS 33197 HAS SOPS 21470 HAS SOUS 18210 HAS SOUPS 13507 WITH SCORE 13540.197
AT ITER 1921 NEW BEST:: SOT 54600 SOS 33204 HAS SOPS 21462 HAS SOUS 18283 HAS SOUPS 13499 WITH SCORE 13532.204
AT ITER 1938 NEW BEST:: SOT 54842 SOS 33391 HAS SOPS 21662 HAS SOUS 18111 HAS SOUPS 13340 WITH SCORE 13373.391
AT ITER 1943 NEW BEST:: SOT 54842 SOS 33307 HAS SOPS 21578 HAS SOUS 18111 HAS SOUPS 13340 WITH SCORE 13373.307
AT ITER 1952 NEW BEST:: SOT 54832 SOS 33297 HAS SOPS 21558 HAS SOUS 18101 HAS SOUPS 13320 WITH SCORE 13353.297
AT ITER 1981 NEW BEST:: SOT 54826 SOS 33291 HAS SOPS 21546 HAS SOUS 18095 HAS SOUPS 13308 WITH SCORE 13341.291
AT ITER 1982 NEW BEST:: SOT 54800 SOS 33275 HAS SOPS 21530 HAS SOUS 18079 HAS SOUPS 13292 WITH SCORE 13325.275
AT ITER 1983 NEW BEST:: SOT 54810 SOS 33285 HAS SOPS 21482 HAS SOUS 18089 HAS SOUPS 13244 WITH SCORE 13277.285
AT ITER 1999 NEW BEST:: SOT 54862 SOS 33263 HAS SOPS 21431 HAS SOUS 18070 HAS SOUPS 13225 WITH SCORE 13258.263
AT ITER 2016 NEW BEST:: SOT 54838 SOS 33233 HAS SOPS 21407 HAS SOUS 18037 HAS SOUPS 13198 WITH SCORE 13231.233
AT ITER 2019 NEW BEST:: SOT 54838 SOS 33173 HAS SOPS 21347 HAS SOUS 18030 HAS SOUPS 13191 WITH SCORE 13224.173
AT ITER 2028 NEW BEST:: SOT 54842 SOS 33179 HAS SOPS 21346 HAS SOUS 18033 HAS SOUPS 13190 WITH SCORE 13223.179
AT ITER 2037 NEW BEST:: SOT 54782 SOS 33119 HAS SOPS 21286 HAS SOUS 17973 HAS SOUPS 13130 WITH SCORE 13163.119
AT ITER 2043 NEW BEST:: SOT 54755 SOS 33140 HAS SOPS 21250 HAS SOUS 17976 HAS SOUPS 13118 WITH SCORE 13151.14
AT ITER 2045 NEW BEST:: SOT 54753 SOS 33139 HAS SOPS 21248 HAS SOUS 17975 HAS SOUPS 13116 WITH SCORE 13149.139
AT ITER 2057 NEW BEST:: SOT 54741 SOS 33127 HAS SOPS 21234 HAS SOUS 17967 HAS SOUPS 13106 WITH SCORE 13139.127
AT ITER 2090 NEW BEST:: SOT 54749 SOS 33135 HAS SOPS 21173 HAS SOUS 17933 HAS SOUPS 13045 WITH SCORE 13078.135
AT ITER 2177 NEW BEST:: SOT 55077 SOS 33467 HAS SOPS 21505 HAS SOUS 17771 HAS SOUPS 12883 WITH SCORE 12916.467
AT ITER 2191 NEW BEST:: SOT 55077 SOS 33467 HAS SOPS 21505 HAS SOUS 17769 HAS SOUPS 12881 WITH SCORE 12914.467
AT ITER 2206 NEW BEST:: SOT 55065 SOS 33455 HAS SOPS 21481 HAS SOUS 17757 HAS SOUPS 12857 WITH SCORE 12890.455
AT ITER 2230 NEW BEST:: SOT 55050 SOS 33455 HAS SOPS 21466 HAS SOUS 17742 HAS SOUPS 12842 WITH SCORE 12875.455
AT ITER 2244 NEW BEST:: SOT 55013 SOS 33436 HAS SOPS 21426 HAS SOUS 17760 HAS SOUPS 12822 WITH SCORE 12855.436
AT ITER 2250 NEW BEST:: SOT 55070 SOS 33405 HAS SOPS 21491 HAS SOUS 17647 HAS SOUPS 12721 WITH SCORE 12754.405
AT ITER 2268 NEW BEST:: SOT 55064 SOS 33402 HAS SOPS 21485 HAS SOUS 17641 HAS SOUPS 12715 WITH SCORE 12748.402
AT ITER 2324 NEW BEST:: SOT 55061 SOS 33383 HAS SOPS 21463 HAS SOUS 17641 HAS SOUPS 12712 WITH SCORE 12745.383
AT ITER 2325 NEW BEST:: SOT 55449 SOS 33749 HAS SOPS 21832 HAS SOUS 17505 HAS SOUPS 12579 WITH SCORE 12612.749
AT ITER 2335 NEW BEST:: SOT 55446 SOS 33746 HAS SOPS 21826 HAS SOUS 17502 HAS SOUPS 12573 WITH SCORE 12606.746
AT ITER 2337 NEW BEST:: SOT 55441 SOS 33730 HAS SOPS 21810 HAS SOUS 17486 HAS SOUPS 12557 WITH SCORE 12590.73
AT ITER 2338 NEW BEST:: SOT 55430 SOS 33719 HAS SOPS 21806 HAS SOUS 17475 HAS SOUPS 12553 WITH SCORE 12586.719
AT ITER 2349 NEW BEST:: SOT 55430 SOS 33716 HAS SOPS 21803 HAS SOUS 17472 HAS SOUPS 12550 WITH SCORE 12583.716
AT ITER 2354 NEW BEST:: SOT 55408 SOS 33691 HAS SOPS 21778 HAS SOUS 17447 HAS SOUPS 12525 WITH SCORE 12558.691
AT ITER 2368 NEW BEST:: SOT 55408 SOS 33691 HAS SOPS 21764 HAS SOUS 17447 HAS SOUPS 12511 WITH SCORE 12544.691
AT ITER 2372 NEW BEST:: SOT 55362 SOS 33672 HAS SOPS 21745 HAS SOUS 17401 HAS SOUPS 12465 WITH SCORE 12498.672
AT ITER 2374 NEW BEST:: SOT 55334 SOS 33375 HAS SOPS 21435 HAS SOUS 17376 HAS SOUPS 12427 WITH SCORE 12460.375
AT ITER 2377 NEW BEST:: SOT 55332 SOS 33373 HAS SOPS 21431 HAS SOUS 17374 HAS SOUPS 12423 WITH SCORE 12456.373
AT ITER 2390 NEW BEST:: SOT 55327 SOS 33362 HAS SOPS 21424 HAS SOUS 17362 HAS SOUPS 12416 WITH SCORE 12449.362
AT ITER 2410 NEW BEST:: SOT 55237 SOS 33267 HAS SOPS 21266 HAS SOUS 17334 HAS SOUPS 12388 WITH SCORE 12421.267
AT ITER 2472 NEW BEST:: SOT 55235 SOS 33265 HAS SOPS 21264 HAS SOUS 17332 HAS SOUPS 12386 WITH SCORE 12419.265
AT ITER 2482 NEW BEST:: SOT 55213 SOS 33243 HAS SOPS 21240 HAS SOUS 17310 HAS SOUPS 12362 WITH SCORE 12395.243
AT ITER 2490 NEW BEST:: SOT 55211 SOS 33241 HAS SOPS 21236 HAS SOUS 17308 HAS SOUPS 12358 WITH SCORE 12391.241
AT ITER 2521 NEW BEST:: SOT 55218 SOS 33357 HAS SOPS 21177 HAS SOUS 17319 HAS SOUPS 12355 WITH SCORE 12388.357
AT ITER 2543 NEW BEST:: SOT 55214 SOS 33353 HAS SOPS 21169 HAS SOUS 17315 HAS SOUPS 12347 WITH SCORE 12380.353
AT ITER 2566 NEW BEST:: SOT 55196 SOS 33317 HAS SOPS 21131 HAS SOUS 17305 HAS SOUPS 12337 WITH SCORE 12370.317
AT ITER 2587 NEW BEST:: SOT 55196 SOS 33173 HAS SOPS 20987 HAS SOUS 17296 HAS SOUPS 12328 WITH SCORE 12361.173
AT ITER 2622 NEW BEST:: SOT 55194 SOS 33171 HAS SOPS 20983 HAS SOUS 17294 HAS SOUPS 12324 WITH SCORE 12357.171
AT ITER 2626 NEW BEST:: SOT 55194 SOS 33097 HAS SOPS 20909 HAS SOUS 17290 HAS SOUPS 12320 WITH SCORE 12353.097
AT ITER 2631 NEW BEST:: SOT 55191 SOS 33094 HAS SOPS 20903 HAS SOUS 17287 HAS SOUPS 12314 WITH SCORE 12347.094
AT ITER 2637 NEW BEST:: SOT 55213 SOS 33120 HAS SOPS 20929 HAS SOUS 17283 HAS SOUPS 12310 WITH SCORE 12343.12
AT ITER 2650 NEW BEST:: SOT 55194 SOS 33101 HAS SOPS 20891 HAS SOUS 17264 HAS SOUPS 12272 WITH SCORE 12305.101
AT ITER 2732 NEW BEST:: SOT 55194 SOS 33077 HAS SOPS 20867 HAS SOUS 17262 HAS SOUPS 12270 WITH SCORE 12303.077
AT ITER 2744 NEW BEST:: SOT 55190 SOS 33062 HAS SOPS 20849 HAS SOUS 17240 HAS SOUPS 12252 WITH SCORE 12285.062
AT ITER 2788 NEW BEST:: SOT 55188 SOS 33060 HAS SOPS 20845 HAS SOUS 17238 HAS SOUPS 12248 WITH SCORE 12281.06
AT ITER 2818 NEW BEST:: SOT 55178 SOS 33050 HAS SOPS 20825 HAS SOUS 17228 HAS SOUPS 12228 WITH SCORE 12261.05
AT ITER 2823 NEW BEST:: SOT 55158 SOS 33104 HAS SOPS 20871 HAS SOUS 17212 HAS SOUPS 12212 WITH SCORE 12245.104
AT ITER 2894 NEW BEST:: SOT 55150 SOS 33071 HAS SOPS 20866 HAS SOUS 17203 HAS SOUPS 12207 WITH SCORE 12240.071
AT ITER 2927 NEW BEST:: SOT 55150 SOS 33071 HAS SOPS 20865 HAS SOUS 17202 HAS SOUPS 12206 WITH SCORE 12239.071
AT ITER 2980 NEW BEST:: SOT 55315 SOS 33237 HAS SOPS 21031 HAS SOUS 17185 HAS SOUPS 12189 WITH SCORE 12222.237
AT ITER 2993 NEW BEST:: SOT 55315 SOS 33264 HAS SOPS 21018 HAS SOUS 17320 HAS SOUPS 12176 WITH SCORE 12209.264
AT ITER 3000 NEW BEST:: SOT 55394 SOS 33356 HAS SOPS 21124 HAS SOUS 17287 HAS SOUPS 12143 WITH SCORE 12176.356
AT ITER 3005 NEW BEST:: SOT 55394 SOS 33353 HAS SOPS 21124 HAS SOUS 17238 HAS SOUPS 12143 WITH SCORE 12176.353
AT ITER 3017 NEW BEST:: SOT 55393 SOS 33356 HAS SOPS 21121 HAS SOUS 17249 HAS SOUPS 12140 WITH SCORE 12173.356
AT ITER 3036 NEW BEST:: SOT 55393 SOS 33362 HAS SOPS 21127 HAS SOUS 17247 HAS SOUPS 12138 WITH SCORE 12171.362
AT ITER 3054 NEW BEST:: SOT 55392 SOS 33361 HAS SOPS 21125 HAS SOUS 17257 HAS SOUPS 12136 WITH SCORE 12169.361
AT ITER 3061 NEW BEST:: SOT 55153 SOS 33088 HAS SOPS 20852 HAS SOUS 17234 HAS SOUPS 12113 WITH SCORE 12146.088
AT ITER 3063 NEW BEST:: SOT 55145 SOS 33080 HAS SOPS 20840 HAS SOUS 17226 HAS SOUPS 12101 WITH SCORE 12134.08
AT ITER 3065 NEW BEST:: SOT 55131 SOS 33080 HAS SOPS 20840 HAS SOUS 17219 HAS SOUPS 12094 WITH SCORE 12127.08
AT ITER 3091 NEW BEST:: SOT 55130 SOS 33079 HAS SOPS 20838 HAS SOUS 17191 HAS SOUPS 12092 WITH SCORE 12125.079
AT ITER 3152 NEW BEST:: SOT 55130 SOS 32969 HAS SOPS 20728 HAS SOUS 17178 HAS SOUPS 12079 WITH SCORE 12111.969
AT ITER 3156 NEW BEST:: SOT 55214 SOS 33127 HAS SOPS 20899 HAS SOUS 17119 HAS SOUPS 12033 WITH SCORE 12066.127
AT ITER 3161 NEW BEST:: SOT 55196 SOS 33127 HAS SOPS 20881 HAS SOUS 17119 HAS SOUPS 12015 WITH SCORE 12048.127
AT ITER 3222 NEW BEST:: SOT 55190 SOS 33121 HAS SOPS 20869 HAS SOUS 17113 HAS SOUPS 12003 WITH SCORE 12036.121
AT ITER 3230 NEW BEST:: SOT 55192 SOS 33135 HAS SOPS 20867 HAS SOUS 17127 HAS SOUPS 12001 WITH SCORE 12034.135
AT ITER 3237 NEW BEST:: SOT 55189 SOS 33132 HAS SOPS 20861 HAS SOUS 17124 HAS SOUPS 11995 WITH SCORE 12028.132
AT ITER 3251 NEW BEST:: SOT 55189 SOS 33134 HAS SOPS 20859 HAS SOUS 17138 HAS SOUPS 11993 WITH SCORE 12026.134
AT ITER 3302 NEW BEST:: SOT 55189 SOS 33107 HAS SOPS 20832 HAS SOUS 17135 HAS SOUPS 11990 WITH SCORE 12023.107
AT ITER 3327 NEW BEST:: SOT 55189 SOS 33092 HAS SOPS 20832 HAS SOUS 17135 HAS SOUPS 11990 WITH SCORE 12023.092
AT ITER 3336 NEW BEST:: SOT 55168 SOS 33091 HAS SOPS 20789 HAS SOUS 17072 HAS SOUPS 11927 WITH SCORE 11960.091
AT ITER 3349 NEW BEST:: SOT 55163 SOS 33086 HAS SOPS 20779 HAS SOUS 17067 HAS SOUPS 11917 WITH SCORE 11950.086
AT ITER 3357 NEW BEST:: SOT 55144 SOS 33067 HAS SOPS 20778 HAS SOUS 17066 HAS SOUPS 11916 WITH SCORE 11949.067
AT ITER 3362 NEW BEST:: SOT 55136 SOS 33057 HAS SOPS 20777 HAS SOUS 17057 HAS SOUPS 11915 WITH SCORE 11948.057
AT ITER 3374 NEW BEST:: SOT 55123 SOS 33044 HAS SOPS 20751 HAS SOUS 17044 HAS SOUPS 11889 WITH SCORE 11922.044
AT ITER 3397 NEW BEST:: SOT 55118 SOS 33039 HAS SOPS 20741 HAS SOUS 17039 HAS SOUPS 11879 WITH SCORE 11912.039
AT ITER 3400 NEW BEST:: SOT 55118 SOS 33021 HAS SOPS 20720 HAS SOUS 17015 HAS SOUPS 11855 WITH SCORE 11888.021
AT ITER 3445 NEW BEST:: SOT 55118 SOS 33015 HAS SOPS 20714 HAS SOUS 17014 HAS SOUPS 11854 WITH SCORE 11887.015
AT ITER 3484 NEW BEST:: SOT 55113 SOS 33045 HAS SOPS 20709 HAS SOUS 17014 HAS SOUPS 11849 WITH SCORE 11882.045
AT ITER 3504 NEW BEST:: SOT 55088 SOS 33020 HAS SOPS 20675 HAS SOUS 16989 HAS SOUPS 11815 WITH SCORE 11848.02
AT ITER 3525 NEW BEST:: SOT 55088 SOS 32948 HAS SOPS 20603 HAS SOUS 16980 HAS SOUPS 11806 WITH SCORE 11838.948
AT ITER 3595 NEW BEST:: SOT 55094 SOS 32940 HAS SOPS 20611 HAS SOUS 16978 HAS SOUPS 11806 WITH SCORE 11838.94
AT ITER 3643 NEW BEST:: SOT 55094 SOS 32854 HAS SOPS 20525 HAS SOUS 16976 HAS SOUPS 11804 WITH SCORE 11836.854
AT ITER 3682 NEW BEST:: SOT 55093 SOS 32842 HAS SOPS 20524 HAS SOUS 16964 HAS SOUPS 11803 WITH SCORE 11835.842
AT ITER 3721 NEW BEST:: SOT 55093 SOS 32727 HAS SOPS 20398 HAS SOUS 16964 HAS SOUPS 11803 WITH SCORE 11835.727
AT ITER 3729 NEW BEST:: SOT 55126 SOS 32756 HAS SOPS 20447 HAS SOUS 16927 HAS SOUPS 11766 WITH SCORE 11798.756
AT ITER 3758 NEW BEST:: SOT 55126 SOS 32718 HAS SOPS 20428 HAS SOUS 16927 HAS SOUPS 11766 WITH SCORE 11798.718
AT ITER 3760 NEW BEST:: SOT 55125 SOS 32717 HAS SOPS 20426 HAS SOUS 16926 HAS SOUPS 11764 WITH SCORE 11796.717
AT ITER 3777 NEW BEST:: SOT 55127 SOS 32719 HAS SOPS 20428 HAS SOUS 16912 HAS SOUPS 11750 WITH SCORE 11782.719
AT ITER 3831 NEW BEST:: SOT 55123 SOS 32708 HAS SOPS 20419 HAS SOUS 16906 HAS SOUPS 11746 WITH SCORE 11778.708
AT ITER 3851 NEW BEST:: SOT 55067 SOS 32785 HAS SOPS 20440 HAS SOUS 16811 HAS SOUPS 11651 WITH SCORE 11683.785
AT ITER 3885 NEW BEST:: SOT 55067 SOS 32776 HAS SOPS 20434 HAS SOUS 16801 HAS SOUPS 11645 WITH SCORE 11677.776
AT ITER 3890 NEW BEST:: SOT 55046 SOS 32755 HAS SOPS 20392 HAS SOUS 16785 HAS SOUPS 11603 WITH SCORE 11635.755
AT ITER 3895 NEW BEST:: SOT 55046 SOS 32755 HAS SOPS 20387 HAS SOUS 16785 HAS SOUPS 11598 WITH SCORE 11630.755
AT ITER 3901 NEW BEST:: SOT 55038 SOS 32749 HAS SOPS 20381 HAS SOUS 16779 HAS SOUPS 11592 WITH SCORE 11624.749
AT ITER 3924 NEW BEST:: SOT 55033 SOS 32744 HAS SOPS 20370 HAS SOUS 16767 HAS SOUPS 11581 WITH SCORE 11613.744
AT ITER 4017 NEW BEST:: SOT 55023 SOS 32734 HAS SOPS 20356 HAS SOUS 16757 HAS SOUPS 11567 WITH SCORE 11599.734
AT ITER 4056 NEW BEST:: SOT 55009 SOS 32722 HAS SOPS 20330 HAS SOUS 16731 HAS SOUPS 11541 WITH SCORE 11573.722
AT ITER 4079 NEW BEST:: SOT 55001 SOS 32704 HAS SOPS 20322 HAS SOUS 16693 HAS SOUPS 11505 WITH SCORE 11537.704
AT ITER 4083 NEW BEST:: SOT 55001 SOS 32706 HAS SOPS 20323 HAS SOUS 16686 HAS SOUPS 11498 WITH SCORE 11530.706
AT ITER 4085 NEW BEST:: SOT 55030 SOS 32721 HAS SOPS 20375 HAS SOUS 16622 HAS SOUPS 11434 WITH SCORE 11466.721
AT ITER 4181 NEW BEST:: SOT 55020 SOS 32711 HAS SOPS 20361 HAS SOUS 16608 HAS SOUPS 11420 WITH SCORE 11452.711
AT ITER 4298 NEW BEST:: SOT 55014 SOS 32706 HAS SOPS 20347 HAS SOUS 16600 HAS SOUPS 11406 WITH SCORE 11438.706
AT ITER 4313 NEW BEST:: SOT 54901 SOS 32582 HAS SOPS 20170 HAS SOUS 16500 HAS SOUPS 11306 WITH SCORE 11338.582
AT ITER 4325 NEW BEST:: SOT 54878 SOS 32574 HAS SOPS 20147 HAS SOUS 16477 HAS SOUPS 11283 WITH SCORE 11315.574
AT ITER 4398 NEW BEST:: SOT 54878 SOS 32590 HAS SOPS 20146 HAS SOUS 16516 HAS SOUPS 11282 WITH SCORE 11314.59
AT ITER 4414 NEW BEST:: SOT 54864 SOS 32576 HAS SOPS 20123 HAS SOUS 16502 HAS SOUPS 11259 WITH SCORE 11291.576
AT ITER 4441 NEW BEST:: SOT 54855 SOS 32567 HAS SOPS 20105 HAS SOUS 16493 HAS SOUPS 11241 WITH SCORE 11273.567
AT ITER 4450 NEW BEST:: SOT 54863 SOS 32575 HAS SOPS 20099 HAS SOUS 16487 HAS SOUPS 11235 WITH SCORE 11267.575
AT ITER 4480 NEW BEST:: SOT 54860 SOS 32572 HAS SOPS 20093 HAS SOUS 16484 HAS SOUPS 11229 WITH SCORE 11261.572
AT ITER 4483 NEW BEST:: SOT 54724 SOS 32538 HAS SOPS 20059 HAS SOUS 16348 HAS SOUPS 11093 WITH SCORE 11125.538
AT ITER 4498 NEW BEST:: SOT 54707 SOS 32474 HAS SOPS 19995 HAS SOUS 16306 HAS SOUPS 11051 WITH SCORE 11083.474
AT ITER 4590 NEW BEST:: SOT 54699 SOS 32466 HAS SOPS 19987 HAS SOUS 16298 HAS SOUPS 11043 WITH SCORE 11075.466
AT ITER 4695 NEW BEST:: SOT 54699 SOS 32442 HAS SOPS 19963 HAS SOUS 16295 HAS SOUPS 11040 WITH SCORE 11072.442
AT ITER 4696 NEW BEST:: SOT 54697 SOS 32440 HAS SOPS 19963 HAS SOUS 16293 HAS SOUPS 11040 WITH SCORE 11072.44
AT ITER 4775 NEW BEST:: SOT 54703 SOS 32437 HAS SOPS 19969 HAS SOUS 16275 HAS SOUPS 11034 WITH SCORE 11066.437
AT ITER 4777 NEW BEST:: SOT 54693 SOS 32427 HAS SOPS 19949 HAS SOUS 16265 HAS SOUPS 11014 WITH SCORE 11046.427
AT ITER 4783 NEW BEST:: SOT 54688 SOS 32436 HAS SOPS 19954 HAS SOUS 16271 HAS SOUPS 11012 WITH SCORE 11044.436
AT ITER 4801 NEW BEST:: SOT 54856 SOS 32597 HAS SOPS 20128 HAS SOUS 16268 HAS SOUPS 11009 WITH SCORE 11041.597
AT ITER 4812 NEW BEST:: SOT 54849 SOS 32590 HAS SOPS 20121 HAS SOUS 16261 HAS SOUPS 11002 WITH SCORE 11034.59
AT ITER 4822 NEW BEST:: SOT 54848 SOS 32589 HAS SOPS 20120 HAS SOUS 16260 HAS SOUPS 11001 WITH SCORE 11033.589
AT ITER 4865 NEW BEST:: SOT 54708 SOS 32530 HAS SOPS 20061 HAS SOUS 16139 HAS SOUPS 10880 WITH SCORE 10912.53
AT ITER 4933 NEW BEST:: SOT 54600 SOS 32412 HAS SOPS 19948 HAS SOUS 16031 HAS SOUPS 10772 WITH SCORE 10804.412
AT ITER 4950 NEW BEST:: SOT 54600 SOS 32384 HAS SOPS 19920 HAS SOUS 16027 HAS SOUPS 10768 WITH SCORE 10800.384
AT ITER 4972 NEW BEST:: SOT 54580 SOS 32360 HAS SOPS 19890 HAS SOUS 15997 HAS SOUPS 10738 WITH SCORE 10770.36
AT ITER 4979 NEW BEST:: SOT 54580 SOS 32331 HAS SOPS 19861 HAS SOUS 15993 HAS SOUPS 10734 WITH SCORE 10766.331
AT ITER 5053 NEW BEST:: SOT 54565 SOS 32316 HAS SOPS 19835 HAS SOUS 15978 HAS SOUPS 10708 WITH SCORE 10740.316
AT ITER 5111 NEW BEST:: SOT 54559 SOS 32310 HAS SOPS 19829 HAS SOUS 15972 HAS SOUPS 10702 WITH SCORE 10734.31
AT ITER 5149 NEW BEST:: SOT 54477 SOS 32304 HAS SOPS 19785 HAS SOUS 15890 HAS SOUPS 10620 WITH SCORE 10652.304
AT ITER 5209 NEW BEST:: SOT 54456 SOS 32240 HAS SOPS 19719 HAS SOUS 15841 HAS SOUPS 10571 WITH SCORE 10603.24
AT ITER 5231 NEW BEST:: SOT 54456 SOS 32216 HAS SOPS 19695 HAS SOUS 15838 HAS SOUPS 10568 WITH SCORE 10600.216
AT ITER 5277 NEW BEST:: SOT 54436 SOS 32196 HAS SOPS 19655 HAS SOUS 15818 HAS SOUPS 10528 WITH SCORE 10560.196
AT ITER 5309 NEW BEST:: SOT 54455 SOS 32212 HAS SOPS 19671 HAS SOUS 15798 HAS SOUPS 10508 WITH SCORE 10540.212
AT ITER 5322 NEW BEST:: SOT 54450 SOS 32207 HAS SOPS 19660 HAS SOUS 15793 HAS SOUPS 10497 WITH SCORE 10529.207
AT ITER 5334 NEW BEST:: SOT 54445 SOS 32202 HAS SOPS 19650 HAS SOUS 15788 HAS SOUPS 10487 WITH SCORE 10519.202
AT ITER 5448 NEW BEST:: SOT 54445 SOS 32162 HAS SOPS 19610 HAS SOUS 15783 HAS SOUPS 10482 WITH SCORE 10514.162
AT ITER 5458 NEW BEST:: SOT 54439 SOS 32156 HAS SOPS 19598 HAS SOUS 15771 HAS SOUPS 10470 WITH SCORE 10502.156
AT ITER 5493 NEW BEST:: SOT 54434 SOS 32151 HAS SOPS 19588 HAS SOUS 15766 HAS SOUPS 10460 WITH SCORE 10492.151
AT ITER 5559 NEW BEST:: SOT 54434 SOS 32155 HAS SOPS 19588 HAS SOUS 15764 HAS SOUPS 10458 WITH SCORE 10490.155
AT ITER 5560 NEW BEST:: SOT 54433 SOS 32161 HAS SOPS 19578 HAS SOUS 15757 HAS SOUPS 10448 WITH SCORE 10480.161
AT ITER 5569 NEW BEST:: SOT 54433 SOS 32148 HAS SOPS 19565 HAS SOUS 15744 HAS SOUPS 10435 WITH SCORE 10467.148
AT ITER 5607 NEW BEST:: SOT 54430 SOS 32145 HAS SOPS 19559 HAS SOUS 15741 HAS SOUPS 10429 WITH SCORE 10461.145
AT ITER 5610 NEW BEST:: SOT 54436 SOS 32137 HAS SOPS 19567 HAS SOUS 15737 HAS SOUPS 10429 WITH SCORE 10461.137
AT ITER 5679 NEW BEST:: SOT 54436 SOS 32135 HAS SOPS 19558 HAS SOUS 15729 HAS SOUPS 10421 WITH SCORE 10453.135
AT ITER 5693 NEW BEST:: SOT 54436 SOS 32106 HAS SOPS 19529 HAS SOUS 15726 HAS SOUPS 10418 WITH SCORE 10450.106
AT ITER 5752 NEW BEST:: SOT 54436 SOS 32103 HAS SOPS 19526 HAS SOUS 15723 HAS SOUPS 10415 WITH SCORE 10447.103
AT ITER 5771 NEW BEST:: SOT 54476 SOS 32171 HAS SOPS 19594 HAS SOUS 15719 HAS SOUPS 10411 WITH SCORE 10443.171
AT ITER 5869 NEW BEST:: SOT 54472 SOS 32167 HAS SOPS 19586 HAS SOUS 15715 HAS SOUPS 10403 WITH SCORE 10435.167
AT ITER 6031 NEW BEST:: SOT 54459 SOS 32140 HAS SOPS 19546 HAS SOUS 15691 HAS SOUPS 10370 WITH SCORE 10402.14
AT ITER 6064 NEW BEST:: SOT 54467 SOS 32156 HAS SOPS 19555 HAS SOUS 15671 HAS SOUPS 10350 WITH SCORE 10382.156
AT ITER 6151 NEW BEST:: SOT 54467 SOS 32156 HAS SOPS 19554 HAS SOUS 15671 HAS SOUPS 10349 WITH SCORE 10381.156
AT ITER 6202 NEW BEST:: SOT 54466 SOS 32155 HAS SOPS 19552 HAS SOUS 15670 HAS SOUPS 10347 WITH SCORE 10379.155
AT ITER 6228 NEW BEST:: SOT 54461 SOS 32150 HAS SOPS 19545 HAS SOUS 15665 HAS SOUPS 10340 WITH SCORE 10372.15
AT ITER 6236 NEW BEST:: SOT 54461 SOS 32137 HAS SOPS 19545 HAS SOUS 15665 HAS SOUPS 10340 WITH SCORE 10372.137
AT ITER 6342 NEW BEST:: SOT 54452 SOS 32128 HAS SOPS 19536 HAS SOUS 15656 HAS SOUPS 10331 WITH SCORE 10363.128
AT ITER 6420 NEW BEST:: SOT 54437 SOS 32116 HAS SOPS 19518 HAS SOUS 15656 HAS SOUPS 10325 WITH SCORE 10357.116
AT ITER 6439 NEW BEST:: SOT 54437 SOS 32116 HAS SOPS 19511 HAS SOUS 15649 HAS SOUPS 10318 WITH SCORE 10350.116
AT ITER 6455 NEW BEST:: SOT 54428 SOS 32109 HAS SOPS 19497 HAS SOUS 15635 HAS SOUPS 10304 WITH SCORE 10336.109
AT ITER 6483 NEW BEST:: SOT 54409 SOS 32068 HAS SOPS 19477 HAS SOUS 15600 HAS SOUPS 10304 WITH SCORE 10336.068
AT ITER 6498 NEW BEST:: SOT 54405 SOS 32064 HAS SOPS 19475 HAS SOUS 15596 HAS SOUPS 10302 WITH SCORE 10334.064
AT ITER 6542 NEW BEST:: SOT 54398 SOS 32057 HAS SOPS 19468 HAS SOUS 15589 HAS SOUPS 10295 WITH SCORE 10327.057
AT ITER 6643 NEW BEST:: SOT 54390 SOS 32049 HAS SOPS 19459 HAS SOUS 15581 HAS SOUPS 10286 WITH SCORE 10318.049
AT ITER 6690 NEW BEST:: SOT 54385 SOS 32044 HAS SOPS 19456 HAS SOUS 15576 HAS SOUPS 10283 WITH SCORE 10315.044
AT ITER 6740 NEW BEST:: SOT 54384 SOS 32043 HAS SOPS 19453 HAS SOUS 15575 HAS SOUPS 10280 WITH SCORE 10312.043
AT ITER 6784 NEW BEST:: SOT 54384 SOS 32043 HAS SOPS 19450 HAS SOUS 15575 HAS SOUPS 10277 WITH SCORE 10309.043
AT ITER 6799 NEW BEST:: SOT 54376 SOS 32035 HAS SOPS 19429 HAS SOUS 15563 HAS SOUPS 10265 WITH SCORE 10297.035
AT ITER 7030 NEW BEST:: SOT 54378 SOS 32039 HAS SOPS 19419 HAS SOUS 15553 HAS SOUPS 10255 WITH SCORE 10287.039
AT ITER 7078 NEW BEST:: SOT 54382 SOS 32029 HAS SOPS 19423 HAS SOUS 15547 HAS SOUPS 10251 WITH SCORE 10283.029
AT ITER 7144 NEW BEST:: SOT 54377 SOS 32023 HAS SOPS 19417 HAS SOUS 15541 HAS SOUPS 10245 WITH SCORE 10277.023
AT ITER 7323 NEW BEST:: SOT 54380 SOS 32038 HAS SOPS 19423 HAS SOUS 15550 HAS SOUPS 10239 WITH SCORE 10271.038
AT ITER 7386 NEW BEST:: SOT 54365 SOS 32023 HAS SOPS 19408 HAS SOUS 15535 HAS SOUPS 10224 WITH SCORE 10256.023
AT ITER 7637 NEW BEST:: SOT 54365 SOS 32027 HAS SOPS 19408 HAS SOUS 15533 HAS SOUPS 10222 WITH SCORE 10254.027
AT ITER 7668 NEW BEST:: SOT 54365 SOS 32086 HAS SOPS 19392 HAS SOUS 15660 HAS SOUPS 10206 WITH SCORE 10238.086
AT ITER 7678 NEW BEST:: SOT 54363 SOS 32086 HAS SOPS 19390 HAS SOUS 15658 HAS SOUPS 10204 WITH SCORE 10236.086
AT ITER 7911 NEW BEST:: SOT 54366 SOS 32089 HAS SOPS 19389 HAS SOUS 15661 HAS SOUPS 10203 WITH SCORE 10235.089
AT ITER 7967 NEW BEST:: SOT 54366 SOS 32019 HAS SOPS 19319 HAS SOUS 15651 HAS SOUPS 10193 WITH SCORE 10225.019
AT ITER 8045 NEW BEST:: SOT 54366 SOS 32012 HAS SOPS 19312 HAS SOUS 15651 HAS SOUPS 10193 WITH SCORE 10225.012
AT ITER 8105 NEW BEST:: SOT 54344 SOS 32001 HAS SOPS 19301 HAS SOUS 15640 HAS SOUPS 10182 WITH SCORE 10214.001
AT ITER 8116 NEW BEST:: SOT 54343 SOS 31988 HAS SOPS 19292 HAS SOUS 15627 HAS SOUPS 10173 WITH SCORE 10204.988
AT ITER 8199 NEW BEST:: SOT 54336 SOS 31999 HAS SOPS 19287 HAS SOUS 15613 HAS SOUPS 10159 WITH SCORE 10190.999
AT ITER 8339 NEW BEST:: SOT 54333 SOS 31996 HAS SOPS 19284 HAS SOUS 15610 HAS SOUPS 10156 WITH SCORE 10187.996
AT ITER 8388 NEW BEST:: SOT 54317 SOS 31991 HAS SOPS 19276 HAS SOUS 15602 HAS SOUPS 10148 WITH SCORE 10179.991
AT ITER 8431 NEW BEST:: SOT 54317 SOS 31991 HAS SOPS 19269 HAS SOUS 15595 HAS SOUPS 10141 WITH SCORE 10172.991
AT ITER 8479 NEW BEST:: SOT 54317 SOS 31991 HAS SOPS 19262 HAS SOUS 15595 HAS SOUPS 10134 WITH SCORE 10165.991
AT ITER 8507 NEW BEST:: SOT 54277 SOS 31956 HAS SOPS 19227 HAS SOUS 15560 HAS SOUPS 10099 WITH SCORE 10130.956
AT ITER 8537 NEW BEST:: SOT 54244 SOS 31923 HAS SOPS 19221 HAS SOUS 15554 HAS SOUPS 10093 WITH SCORE 10124.923
AT ITER 8651 NEW BEST:: SOT 54241 SOS 31920 HAS SOPS 19215 HAS SOUS 15551 HAS SOUPS 10087 WITH SCORE 10118.92
AT ITER 8679 NEW BEST:: SOT 54237 SOS 31916 HAS SOPS 19211 HAS SOUS 15547 HAS SOUPS 10083 WITH SCORE 10114.916
AT ITER 8687 NEW BEST:: SOT 54224 SOS 31900 HAS SOPS 19197 HAS SOUS 15532 HAS SOUPS 10070 WITH SCORE 10101.9
AT ITER 8812 NEW BEST:: SOT 54220 SOS 31896 HAS SOPS 19195 HAS SOUS 15530 HAS SOUPS 10068 WITH SCORE 10099.896
AT ITER 8887 NEW BEST:: SOT 54218 SOS 31894 HAS SOPS 19191 HAS SOUS 15528 HAS SOUPS 10064 WITH SCORE 10095.894
AT ITER 8897 NEW BEST:: SOT 54199 SOS 31865 HAS SOPS 19183 HAS SOUS 15525 HAS SOUPS 10061 WITH SCORE 10092.865
AT ITER 8904 NEW BEST:: SOT 54191 SOS 31857 HAS SOPS 19175 HAS SOUS 15517 HAS SOUPS 10053 WITH SCORE 10084.857
AT ITER 8986 NEW BEST:: SOT 54170 SOS 31836 HAS SOPS 19151 HAS SOUS 15500 HAS SOUPS 10033 WITH SCORE 10064.836
AT ITER 9133 NEW BEST:: SOT 54169 SOS 31835 HAS SOPS 19149 HAS SOUS 15498 HAS SOUPS 10031 WITH SCORE 10062.835
AT ITER 9329 NEW BEST:: SOT 54162 SOS 31828 HAS SOPS 19137 HAS SOUS 15486 HAS SOUPS 10019 WITH SCORE 10050.828
AT ITER 9440 NEW BEST:: SOT 54125 SOS 31803 HAS SOPS 19105 HAS SOUS 15455 HAS SOUPS 9987 WITH SCORE 10018.803
AT ITER 9631 NEW BEST:: SOT 54125 SOS 31802 HAS SOPS 19105 HAS SOUS 15455 HAS SOUPS 9987 WITH SCORE 10018.802
AT ITER 9684 NEW BEST:: SOT 54117 SOS 31784 HAS SOPS 19088 HAS SOUS 15446 HAS SOUPS 9978 WITH SCORE 10009.784
AT ITER 9848 NEW BEST:: SOT 54117 SOS 31777 HAS SOPS 19083 HAS SOUS 15441 HAS SOUPS 9973 WITH SCORE 10004.777
AT ITER 9856 NEW BEST:: SOT 54115 SOS 31775 HAS SOPS 19079 HAS SOUS 15431 HAS SOUPS 9969 WITH SCORE 10000.775
AT ITER 9859 NEW BEST:: SOT 54115 SOS 32172 HAS SOPS 19076 HAS SOUS 15543 HAS SOUPS 9966 WITH SCORE 9998.172

BK_STOP 1678658930449

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 471 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-PT-7"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is LamportFastMutEx-PT-7, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856421800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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