Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979800528.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SimpleLoadBal-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979800528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 11K Feb 26 03:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 03:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 03:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 03:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 03:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 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 1679391132024

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=SimpleLoadBal-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:32:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:32:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:32:13] [INFO ] Load time of PNML (sax parser for PT used): 134 ms
[2023-03-21 09:32:13] [INFO ] Transformed 149 places.
[2023-03-21 09:32:14] [INFO ] Transformed 1280 transitions.
[2023-03-21 09:32:14] [INFO ] Found NUPN structural information;
[2023-03-21 09:32:14] [INFO ] Completing missing partition info from NUPN : creating a component with [P_client_idle_1, P_client_idle_2, P_client_idle_3, P_client_idle_4, P_client_idle_5, P_client_idle_6, P_client_idle_7, P_client_idle_8, P_client_idle_9, P_client_idle_10, P_client_idle_11, P_client_idle_12, P_client_idle_13, P_client_idle_14, P_client_idle_15, P_client_waiting_1, P_client_waiting_2, P_client_waiting_3, P_client_waiting_4, P_client_waiting_5, P_client_waiting_6, P_client_waiting_7, P_client_waiting_8, P_client_waiting_9, P_client_waiting_10, P_client_waiting_11, P_client_waiting_12, P_client_waiting_13, P_client_waiting_14, P_client_waiting_15, P_client_request_1, P_client_request_2, P_client_request_3, P_client_request_4, P_client_request_5, P_client_request_6, P_client_request_7, P_client_request_8, P_client_request_9, P_client_request_10, P_client_request_11, P_client_request_12, P_client_request_13, P_client_request_14, P_client_request_15, P_client_ack_1, P_client_ack_2, P_client_ack_3, P_client_ack_4, P_client_ack_5, P_client_ack_6, P_client_ack_7, P_client_ack_8, P_client_ack_9, P_client_ack_10, P_client_ack_11, P_client_ack_12, P_client_ack_13, P_client_ack_14, P_client_ack_15, P_server_idle_1, P_server_idle_2, P_server_waiting_1, P_server_waiting_2, P_server_processed_1, P_server_processed_2, P_server_notification_1, P_server_notification_2, P_server_notification_ack_1, P_server_notification_ack_2, P_server_request_1_1, P_server_request_1_2, P_server_request_2_1, P_server_request_2_2, P_server_request_3_1, P_server_request_3_2, P_server_request_4_1, P_server_request_4_2, P_server_request_5_1, P_server_request_5_2, P_server_request_6_1, P_server_request_6_2, P_server_request_7_1, P_server_request_7_2, P_server_request_8_1, P_server_request_8_2, P_server_request_9_1, P_server_request_9_2, P_server_request_10_1, P_server_request_10_2, P_server_request_11_1, P_server_request_11_2, P_server_request_12_1, P_server_request_12_2, P_server_request_13_1, P_server_request_13_2, P_server_request_14_1, P_server_request_14_2, P_server_request_15_1, P_server_request_15_2, P_lb_idle_1, P_lb_routing_1_1, P_lb_routing_1_2, P_lb_routing_1_3, P_lb_routing_1_4, P_lb_routing_1_5, P_lb_routing_1_6, P_lb_routing_1_7, P_lb_routing_1_8, P_lb_routing_1_9, P_lb_routing_1_10, P_lb_routing_1_11, P_lb_routing_1_12, P_lb_routing_1_13, P_lb_routing_1_14, P_lb_routing_1_15, P_lb_balancing_1, P_lb_load_1_0, P_lb_load_1_1, P_lb_load_1_2, P_lb_load_1_3, P_lb_load_1_4, P_lb_load_1_5, P_lb_load_1_6, P_lb_load_1_7, P_lb_load_1_8, P_lb_load_1_9, P_lb_load_1_10, P_lb_load_1_11, P_lb_load_1_12, P_lb_load_1_13, P_lb_load_1_14, P_lb_load_1_15, P_lb_load_2_0, P_lb_load_2_1, P_lb_load_2_2, P_lb_load_2_3, P_lb_load_2_4, P_lb_load_2_5, P_lb_load_2_6, P_lb_load_2_7, P_lb_load_2_8, P_lb_load_2_9, P_lb_load_2_10, P_lb_load_2_11, P_lb_load_2_12, P_lb_load_2_13, P_lb_load_2_14, P_lb_load_2_15]
[2023-03-21 09:32:14] [INFO ] Parsed PT model containing 149 places and 1280 transitions and 8988 arcs in 221 ms.
[2023-03-21 09:32:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 149 places, 1280 transitions and 8988 arcs took 21 ms.
Total runtime 276 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 15
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: 149 places, 1280 transitions, 8988 arcs.
AT ITER 0 NEW BEST:: SOT 175702 SOS 130924 HAS SOPS 126289 HAS SOUS 92580 HAS SOUPS 92404 WITH SCORE 92534.924
AT ITER 3 NEW BEST:: SOT 175664 SOS 130405 HAS SOPS 126071 HAS SOUS 92487 HAS SOUPS 92321 WITH SCORE 92451.405
AT ITER 7 NEW BEST:: SOT 175625 SOS 130348 HAS SOPS 126014 HAS SOUS 92430 HAS SOUPS 92264 WITH SCORE 92394.348
AT ITER 9 NEW BEST:: SOT 175625 SOS 130348 HAS SOPS 126014 HAS SOUS 91522 HAS SOUPS 91356 WITH SCORE 91486.348
AT ITER 11 NEW BEST:: SOT 175598 SOS 130321 HAS SOPS 125987 HAS SOUS 91495 HAS SOUPS 91329 WITH SCORE 91459.321
AT ITER 13 NEW BEST:: SOT 175572 SOS 130285 HAS SOPS 125951 HAS SOUS 91459 HAS SOUPS 91293 WITH SCORE 91423.285
AT ITER 15 NEW BEST:: SOT 175572 SOS 130277 HAS SOPS 125943 HAS SOUS 91421 HAS SOUPS 91255 WITH SCORE 91385.277
AT ITER 16 NEW BEST:: SOT 175505 SOS 130269 HAS SOPS 125935 HAS SOUS 91413 HAS SOUPS 91247 WITH SCORE 91377.269
AT ITER 17 NEW BEST:: SOT 175469 SOS 130233 HAS SOPS 125899 HAS SOUS 91167 HAS SOUPS 91001 WITH SCORE 91131.233
AT ITER 18 NEW BEST:: SOT 175456 SOS 130207 HAS SOPS 125873 HAS SOUS 91141 HAS SOUPS 90975 WITH SCORE 91105.207
AT ITER 21 NEW BEST:: SOT 175415 SOS 130168 HAS SOPS 125834 HAS SOUS 90892 HAS SOUPS 90726 WITH SCORE 90856.168
AT ITER 23 NEW BEST:: SOT 175415 SOS 130168 HAS SOPS 125834 HAS SOUS 89120 HAS SOUPS 88954 WITH SCORE 89084.168
AT ITER 28 NEW BEST:: SOT 175374 SOS 130109 HAS SOPS 125775 HAS SOUS 88686 HAS SOUPS 88520 WITH SCORE 88650.109
AT ITER 29 NEW BEST:: SOT 175346 SOS 130081 HAS SOPS 125747 HAS SOUS 87396 HAS SOUPS 87230 WITH SCORE 87360.081
AT ITER 34 NEW BEST:: SOT 175303 SOS 130038 HAS SOPS 125704 HAS SOUS 85699 HAS SOUPS 85533 WITH SCORE 85663.038
AT ITER 37 NEW BEST:: SOT 175855 SOS 125947 HAS SOPS 118019 HAS SOUS 83217 HAS SOUPS 79452 WITH SCORE 79577.947
AT ITER 40 NEW BEST:: SOT 175855 SOS 125943 HAS SOPS 118015 HAS SOUS 83213 HAS SOUPS 79448 WITH SCORE 79573.943
AT ITER 43 NEW BEST:: SOT 175838 SOS 125922 HAS SOPS 117994 HAS SOUS 82848 HAS SOUPS 79083 WITH SCORE 79208.922
AT ITER 46 NEW BEST:: SOT 175838 SOS 125940 HAS SOPS 118012 HAS SOUS 82206 HAS SOUPS 78441 WITH SCORE 78566.94
AT ITER 48 NEW BEST:: SOT 175838 SOS 125941 HAS SOPS 118013 HAS SOUS 81449 HAS SOUPS 77684 WITH SCORE 77809.941
AT ITER 49 NEW BEST:: SOT 175838 SOS 125923 HAS SOPS 117995 HAS SOUS 81251 HAS SOUPS 77486 WITH SCORE 77611.923
AT ITER 57 NEW BEST:: SOT 175794 SOS 125835 HAS SOPS 117907 HAS SOUS 79901 HAS SOUPS 76136 WITH SCORE 76261.835
AT ITER 58 NEW BEST:: SOT 176256 SOS 126511 HAS SOPS 118583 HAS SOUS 78094 HAS SOUPS 74329 WITH SCORE 74455.511
AT ITER 62 NEW BEST:: SOT 176256 SOS 126510 HAS SOPS 118582 HAS SOUS 78093 HAS SOUPS 74328 WITH SCORE 74454.51
AT ITER 64 NEW BEST:: SOT 176193 SOS 126407 HAS SOPS 118082 HAS SOUS 77961 HAS SOUPS 74233 WITH SCORE 74359.407
AT ITER 65 NEW BEST:: SOT 176173 SOS 126389 HAS SOPS 118064 HAS SOUS 77733 HAS SOUPS 74005 WITH SCORE 74131.389
AT ITER 67 NEW BEST:: SOT 176163 SOS 126263 HAS SOPS 117571 HAS SOUS 77127 HAS SOUPS 73481 WITH SCORE 73607.263
AT ITER 72 NEW BEST:: SOT 176163 SOS 126289 HAS SOPS 117590 HAS SOUS 77064 HAS SOUPS 73418 WITH SCORE 73544.289
AT ITER 76 NEW BEST:: SOT 176163 SOS 126272 HAS SOPS 117573 HAS SOUS 77055 HAS SOUPS 73409 WITH SCORE 73535.272
AT ITER 79 NEW BEST:: SOT 176090 SOS 126296 HAS SOPS 117567 HAS SOUS 77029 HAS SOUPS 73386 WITH SCORE 73512.296
AT ITER 84 NEW BEST:: SOT 176038 SOS 125862 HAS SOPS 117514 HAS SOUS 76977 HAS SOUPS 73355 WITH SCORE 73480.862
AT ITER 89 NEW BEST:: SOT 176038 SOS 125862 HAS SOPS 117514 HAS SOUS 76613 HAS SOUPS 72991 WITH SCORE 73116.862
AT ITER 90 NEW BEST:: SOT 176047 SOS 125849 HAS SOPS 117501 HAS SOUS 76600 HAS SOUPS 72978 WITH SCORE 73103.849
AT ITER 99 NEW BEST:: SOT 175980 SOS 125814 HAS SOPS 117498 HAS SOUS 76470 HAS SOUPS 72947 WITH SCORE 73072.814
AT ITER 108 NEW BEST:: SOT 175980 SOS 125814 HAS SOPS 117507 HAS SOUS 76362 HAS SOUPS 72839 WITH SCORE 72964.814
AT ITER 115 NEW BEST:: SOT 175945 SOS 125761 HAS SOPS 117454 HAS SOUS 76309 HAS SOUPS 72786 WITH SCORE 72911.761
AT ITER 116 NEW BEST:: SOT 175924 SOS 125761 HAS SOPS 117383 HAS SOUS 75884 HAS SOUPS 72403 WITH SCORE 72528.761
AT ITER 119 NEW BEST:: SOT 159422 SOS 109449 HAS SOPS 103951 HAS SOUS 60787 HAS SOUPS 59720 WITH SCORE 59829.449
AT ITER 125 NEW BEST:: SOT 159376 SOS 109366 HAS SOPS 103850 HAS SOUS 58624 HAS SOUPS 57557 WITH SCORE 57666.366
AT ITER 131 NEW BEST:: SOT 159376 SOS 109358 HAS SOPS 103842 HAS SOUS 58616 HAS SOUPS 57549 WITH SCORE 57658.358
AT ITER 132 NEW BEST:: SOT 159347 SOS 109274 HAS SOPS 103758 HAS SOUS 58558 HAS SOUPS 57491 WITH SCORE 57600.274
AT ITER 134 NEW BEST:: SOT 158474 SOS 109506 HAS SOPS 104566 HAS SOUS 57821 HAS SOUPS 56707 WITH SCORE 56816.506
AT ITER 140 NEW BEST:: SOT 158447 SOS 109461 HAS SOPS 104521 HAS SOUS 57776 HAS SOUPS 56662 WITH SCORE 56771.461
AT ITER 147 NEW BEST:: SOT 158399 SOS 109414 HAS SOPS 104474 HAS SOUS 57740 HAS SOUPS 56626 WITH SCORE 56735.414
AT ITER 166 NEW BEST:: SOT 158375 SOS 109389 HAS SOPS 104449 HAS SOUS 57715 HAS SOUPS 56601 WITH SCORE 56710.389
AT ITER 169 NEW BEST:: SOT 158531 SOS 108125 HAS SOPS 103363 HAS SOUS 57147 HAS SOUPS 56105 WITH SCORE 56213.125
AT ITER 170 NEW BEST:: SOT 158519 SOS 108113 HAS SOPS 103351 HAS SOUS 56619 HAS SOUPS 55577 WITH SCORE 55685.113
AT ITER 171 NEW BEST:: SOT 158656 SOS 108229 HAS SOPS 103467 HAS SOUS 56108 HAS SOUPS 55066 WITH SCORE 55174.229
AT ITER 175 NEW BEST:: SOT 157130 SOS 106685 HAS SOPS 101923 HAS SOUS 54578 HAS SOUPS 53536 WITH SCORE 53642.685
AT ITER 178 NEW BEST:: SOT 157130 SOS 106775 HAS SOPS 101765 HAS SOUS 54536 HAS SOUPS 53502 WITH SCORE 53608.775
AT ITER 180 NEW BEST:: SOT 157095 SOS 106740 HAS SOPS 101730 HAS SOUS 54466 HAS SOUPS 53432 WITH SCORE 53538.74
AT ITER 183 NEW BEST:: SOT 157066 SOS 105668 HAS SOPS 100794 HAS SOUS 54297 HAS SOUPS 53309 WITH SCORE 53414.668
AT ITER 194 NEW BEST:: SOT 156972 SOS 105640 HAS SOPS 100766 HAS SOUS 54276 HAS SOUPS 53288 WITH SCORE 53393.64
AT ITER 201 NEW BEST:: SOT 156972 SOS 105685 HAS SOPS 100811 HAS SOUS 53646 HAS SOUPS 52658 WITH SCORE 52763.685
AT ITER 202 NEW BEST:: SOT 156972 SOS 105649 HAS SOPS 100775 HAS SOUS 53646 HAS SOUPS 52658 WITH SCORE 52763.649
AT ITER 206 NEW BEST:: SOT 156972 SOS 105641 HAS SOPS 100767 HAS SOUS 53638 HAS SOUPS 52650 WITH SCORE 52755.641
AT ITER 207 NEW BEST:: SOT 156889 SOS 105558 HAS SOPS 100684 HAS SOUS 53423 HAS SOUPS 52435 WITH SCORE 52540.558
AT ITER 219 NEW BEST:: SOT 156889 SOS 105555 HAS SOPS 100681 HAS SOUS 53420 HAS SOUPS 52432 WITH SCORE 52537.555
AT ITER 221 NEW BEST:: SOT 156615 SOS 105281 HAS SOPS 100407 HAS SOUS 52897 HAS SOUPS 51909 WITH SCORE 52014.281
AT ITER 226 NEW BEST:: SOT 156633 SOS 105297 HAS SOPS 100423 HAS SOUS 52857 HAS SOUPS 51869 WITH SCORE 51974.297
AT ITER 242 NEW BEST:: SOT 156633 SOS 105323 HAS SOPS 100454 HAS SOUS 52537 HAS SOUPS 51549 WITH SCORE 51654.323
AT ITER 249 NEW BEST:: SOT 156303 SOS 106358 HAS SOPS 101703 HAS SOUS 51515 HAS SOUPS 50527 WITH SCORE 50633.358
AT ITER 254 NEW BEST:: SOT 156210 SOS 106264 HAS SOPS 101609 HAS SOUS 51129 HAS SOUPS 50141 WITH SCORE 50247.264
AT ITER 257 NEW BEST:: SOT 156156 SOS 106210 HAS SOPS 101555 HAS SOUS 50987 HAS SOUPS 49999 WITH SCORE 50105.21
AT ITER 260 NEW BEST:: SOT 155875 SOS 105931 HAS SOPS 101282 HAS SOUS 49854 HAS SOUPS 48866 WITH SCORE 48971.931
AT ITER 263 NEW BEST:: SOT 155875 SOS 105931 HAS SOPS 101282 HAS SOUS 49599 HAS SOUPS 48611 WITH SCORE 48716.931
AT ITER 266 NEW BEST:: SOT 155360 SOS 105416 HAS SOPS 100767 HAS SOUS 48170 HAS SOUPS 47182 WITH SCORE 47287.416
AT ITER 272 NEW BEST:: SOT 155236 SOS 105292 HAS SOPS 100643 HAS SOUS 48070 HAS SOUPS 47082 WITH SCORE 47187.292
AT ITER 278 NEW BEST:: SOT 154881 SOS 104937 HAS SOPS 100288 HAS SOUS 47715 HAS SOUPS 46727 WITH SCORE 46831.937
AT ITER 282 NEW BEST:: SOT 154869 SOS 104907 HAS SOPS 100258 HAS SOUS 47691 HAS SOUPS 46703 WITH SCORE 46807.907
AT ITER 283 NEW BEST:: SOT 154869 SOS 104907 HAS SOPS 100329 HAS SOUS 47427 HAS SOUPS 46427 WITH SCORE 46531.907
AT ITER 285 NEW BEST:: SOT 154851 SOS 104923 HAS SOPS 100315 HAS SOUS 47418 HAS SOUPS 46421 WITH SCORE 46525.923
AT ITER 308 NEW BEST:: SOT 154652 SOS 104717 HAS SOPS 100109 HAS SOUS 47263 HAS SOUPS 46266 WITH SCORE 46370.717
AT ITER 313 NEW BEST:: SOT 154569 SOS 104658 HAS SOPS 100050 HAS SOUS 47102 HAS SOUPS 46105 WITH SCORE 46209.658
AT ITER 317 NEW BEST:: SOT 154574 SOS 104648 HAS SOPS 99470 HAS SOUS 46994 HAS SOUPS 46035 WITH SCORE 46139.648
AT ITER 323 NEW BEST:: SOT 154075 SOS 104105 HAS SOPS 98925 HAS SOUS 46247 HAS SOUPS 45288 WITH SCORE 45392.105
AT ITER 329 NEW BEST:: SOT 154841 SOS 104851 HAS SOPS 98384 HAS SOUS 46552 HAS SOUPS 44959 WITH SCORE 45063.851
AT ITER 332 NEW BEST:: SOT 154841 SOS 105115 HAS SOPS 97690 HAS SOUS 46481 HAS SOUPS 44901 WITH SCORE 45006.115
AT ITER 344 NEW BEST:: SOT 155086 SOS 105373 HAS SOPS 97939 HAS SOUS 46440 HAS SOUPS 44860 WITH SCORE 44965.373
AT ITER 346 NEW BEST:: SOT 155086 SOS 105373 HAS SOPS 97933 HAS SOUS 46404 HAS SOUPS 44824 WITH SCORE 44929.373
AT ITER 347 NEW BEST:: SOT 154769 SOS 105047 HAS SOPS 97607 HAS SOUS 46078 HAS SOUPS 44498 WITH SCORE 44603.047
AT ITER 364 NEW BEST:: SOT 154769 SOS 105033 HAS SOPS 97593 HAS SOUS 46064 HAS SOUPS 44484 WITH SCORE 44589.033
AT ITER 372 NEW BEST:: SOT 154365 SOS 104624 HAS SOPS 97184 HAS SOUS 45685 HAS SOUPS 44105 WITH SCORE 44209.624
AT ITER 373 NEW BEST:: SOT 145553 SOS 96585 HAS SOPS 90792 HAS SOUS 38834 HAS SOUPS 38441 WITH SCORE 38537.585
AT ITER 377 NEW BEST:: SOT 145551 SOS 96585 HAS SOPS 90786 HAS SOUS 38802 HAS SOUPS 38409 WITH SCORE 38505.585
AT ITER 383 NEW BEST:: SOT 144763 SOS 95794 HAS SOPS 89995 HAS SOUS 38446 HAS SOUPS 38053 WITH SCORE 38148.794
AT ITER 387 NEW BEST:: SOT 143457 SOS 94551 HAS SOPS 89446 HAS SOUS 36780 HAS SOUPS 36451 WITH SCORE 36545.551
AT ITER 395 NEW BEST:: SOT 143451 SOS 94546 HAS SOPS 89441 HAS SOUS 36759 HAS SOUPS 36430 WITH SCORE 36524.546
AT ITER 397 NEW BEST:: SOT 143429 SOS 93974 HAS SOPS 89394 HAS SOUS 36721 HAS SOUPS 36414 WITH SCORE 36507.974
AT ITER 399 NEW BEST:: SOT 143428 SOS 93959 HAS SOPS 89394 HAS SOUS 36718 HAS SOUPS 36412 WITH SCORE 36505.959
AT ITER 407 NEW BEST:: SOT 143428 SOS 93180 HAS SOPS 88812 HAS SOUS 36669 HAS SOUPS 36363 WITH SCORE 36456.18
AT ITER 410 NEW BEST:: SOT 143428 SOS 93174 HAS SOPS 88806 HAS SOUS 36663 HAS SOUPS 36357 WITH SCORE 36450.174
AT ITER 411 NEW BEST:: SOT 143428 SOS 93172 HAS SOPS 88804 HAS SOUS 36661 HAS SOUPS 36355 WITH SCORE 36448.172
AT ITER 415 NEW BEST:: SOT 144005 SOS 93749 HAS SOPS 89474 HAS SOUS 35966 HAS SOUPS 35668 WITH SCORE 35761.749
AT ITER 416 NEW BEST:: SOT 143715 SOS 93485 HAS SOPS 89210 HAS SOUS 35227 HAS SOUPS 34929 WITH SCORE 35022.485
AT ITER 419 NEW BEST:: SOT 143708 SOS 93478 HAS SOPS 89203 HAS SOUS 35220 HAS SOUPS 34922 WITH SCORE 35015.478
AT ITER 421 NEW BEST:: SOT 143718 SOS 93494 HAS SOPS 89219 HAS SOUS 34473 HAS SOUPS 34175 WITH SCORE 34268.494
AT ITER 427 NEW BEST:: SOT 143701 SOS 93329 HAS SOPS 88692 HAS SOUS 34382 HAS SOUPS 34067 WITH SCORE 34160.329
AT ITER 433 NEW BEST:: SOT 143500 SOS 93128 HAS SOPS 88491 HAS SOUS 34346 HAS SOUPS 34031 WITH SCORE 34124.128
AT ITER 447 NEW BEST:: SOT 143490 SOS 93128 HAS SOPS 88491 HAS SOUS 33906 HAS SOUPS 33591 WITH SCORE 33684.128
AT ITER 457 NEW BEST:: SOT 143409 SOS 93047 HAS SOPS 88410 HAS SOUS 33825 HAS SOUPS 33510 WITH SCORE 33603.047
AT ITER 460 NEW BEST:: SOT 143307 SOS 93148 HAS SOPS 88511 HAS SOUS 33824 HAS SOUPS 33509 WITH SCORE 33602.148
AT ITER 464 NEW BEST:: SOT 143207 SOS 93048 HAS SOPS 88411 HAS SOUS 33651 HAS SOUPS 33336 WITH SCORE 33429.048
AT ITER 467 NEW BEST:: SOT 143123 SOS 92952 HAS SOPS 88315 HAS SOUS 33651 HAS SOUPS 33336 WITH SCORE 33428.952
AT ITER 468 NEW BEST:: SOT 142673 SOS 93501 HAS SOPS 88884 HAS SOUS 33631 HAS SOUPS 33322 WITH SCORE 33415.501
AT ITER 493 NEW BEST:: SOT 142673 SOS 93186 HAS SOPS 88649 HAS SOUS 33631 HAS SOUPS 33322 WITH SCORE 33415.186
AT ITER 508 NEW BEST:: SOT 142472 SOS 92976 HAS SOPS 88439 HAS SOUS 33604 HAS SOUPS 33295 WITH SCORE 33387.976
AT ITER 521 NEW BEST:: SOT 142459 SOS 92962 HAS SOPS 88425 HAS SOUS 33592 HAS SOUPS 33283 WITH SCORE 33375.962
AT ITER 524 NEW BEST:: SOT 142459 SOS 94313 HAS SOPS 87845 HAS SOUS 33471 HAS SOUPS 33162 WITH SCORE 33256.313
AT ITER 530 NEW BEST:: SOT 142652 SOS 94506 HAS SOPS 88038 HAS SOUS 33339 HAS SOUPS 33030 WITH SCORE 33124.506
AT ITER 534 NEW BEST:: SOT 142642 SOS 94516 HAS SOPS 88048 HAS SOUS 32889 HAS SOUPS 32580 WITH SCORE 32674.516
AT ITER 536 NEW BEST:: SOT 142774 SOS 94662 HAS SOPS 88194 HAS SOUS 32854 HAS SOUPS 32545 WITH SCORE 32639.662
AT ITER 547 NEW BEST:: SOT 142124 SOS 94012 HAS SOPS 87544 HAS SOUS 32262 HAS SOUPS 31953 WITH SCORE 32047.012
AT ITER 549 NEW BEST:: SOT 142095 SOS 93983 HAS SOPS 87515 HAS SOUS 32204 HAS SOUPS 31895 WITH SCORE 31988.983
AT ITER 552 NEW BEST:: SOT 142095 SOS 93969 HAS SOPS 87501 HAS SOUS 31711 HAS SOUPS 31402 WITH SCORE 31495.969
AT ITER 553 NEW BEST:: SOT 142102 SOS 93976 HAS SOPS 87508 HAS SOUS 31410 HAS SOUPS 31101 WITH SCORE 31194.976
AT ITER 556 NEW BEST:: SOT 142085 SOS 94836 HAS SOPS 87809 HAS SOUS 31348 HAS SOUPS 31019 WITH SCORE 31113.836
AT ITER 572 NEW BEST:: SOT 141997 SOS 94748 HAS SOPS 87721 HAS SOUS 31111 HAS SOUPS 30782 WITH SCORE 30876.748
AT ITER 574 NEW BEST:: SOT 141993 SOS 94552 HAS SOPS 87593 HAS SOUS 31099 HAS SOUPS 30774 WITH SCORE 30868.552
AT ITER 577 NEW BEST:: SOT 142053 SOS 94612 HAS SOPS 87653 HAS SOUS 29818 HAS SOUPS 29493 WITH SCORE 29587.612
AT ITER 586 NEW BEST:: SOT 142012 SOS 94564 HAS SOPS 87605 HAS SOUS 29736 HAS SOUPS 29411 WITH SCORE 29505.564
AT ITER 610 NEW BEST:: SOT 141826 SOS 94378 HAS SOPS 87419 HAS SOUS 29550 HAS SOUPS 29225 WITH SCORE 29319.378
AT ITER 626 NEW BEST:: SOT 141556 SOS 94086 HAS SOPS 87127 HAS SOUS 29398 HAS SOUPS 29073 WITH SCORE 29167.086
AT ITER 629 NEW BEST:: SOT 141368 SOS 93898 HAS SOPS 86939 HAS SOUS 29210 HAS SOUPS 28885 WITH SCORE 28978.898
AT ITER 633 NEW BEST:: SOT 141356 SOS 93886 HAS SOPS 86927 HAS SOUS 29198 HAS SOUPS 28873 WITH SCORE 28966.886
AT ITER 643 NEW BEST:: SOT 141356 SOS 93853 HAS SOPS 86894 HAS SOUS 29183 HAS SOUPS 28858 WITH SCORE 28951.853
AT ITER 648 NEW BEST:: SOT 141348 SOS 93817 HAS SOPS 86847 HAS SOUS 29152 HAS SOUPS 28831 WITH SCORE 28924.817
AT ITER 656 NEW BEST:: SOT 141348 SOS 93787 HAS SOPS 86847 HAS SOUS 29150 HAS SOUPS 28831 WITH SCORE 28924.787
AT ITER 660 NEW BEST:: SOT 141379 SOS 92595 HAS SOPS 85836 HAS SOUS 29071 HAS SOUPS 28752 WITH SCORE 28844.595
AT ITER 662 NEW BEST:: SOT 141829 SOS 93075 HAS SOPS 86316 HAS SOUS 28807 HAS SOUPS 28488 WITH SCORE 28581.075
AT ITER 666 NEW BEST:: SOT 141831 SOS 93067 HAS SOPS 86308 HAS SOUS 28799 HAS SOUPS 28480 WITH SCORE 28573.067
AT ITER 667 NEW BEST:: SOT 141801 SOS 93059 HAS SOPS 86300 HAS SOUS 28764 HAS SOUPS 28445 WITH SCORE 28538.059
AT ITER 689 NEW BEST:: SOT 141741 SOS 92999 HAS SOPS 86240 HAS SOUS 28644 HAS SOUPS 28325 WITH SCORE 28417.999
AT ITER 694 NEW BEST:: SOT 141756 SOS 93048 HAS SOPS 86289 HAS SOUS 27926 HAS SOUPS 27607 WITH SCORE 27700.048
AT ITER 706 NEW BEST:: SOT 141716 SOS 92606 HAS SOPS 86058 HAS SOUS 27797 HAS SOUPS 27489 WITH SCORE 27581.606
AT ITER 722 NEW BEST:: SOT 141483 SOS 93397 HAS SOPS 86980 HAS SOUS 27552 HAS SOUPS 27267 WITH SCORE 27360.397
AT ITER 733 NEW BEST:: SOT 139633 SOS 91631 HAS SOPS 85214 HAS SOUS 25786 HAS SOUPS 25501 WITH SCORE 25592.631
AT ITER 739 NEW BEST:: SOT 139437 SOS 91433 HAS SOPS 85016 HAS SOUS 25693 HAS SOUPS 25408 WITH SCORE 25499.433
AT ITER 761 NEW BEST:: SOT 139437 SOS 91449 HAS SOPS 85032 HAS SOUS 25349 HAS SOUPS 25064 WITH SCORE 25155.449
AT ITER 766 NEW BEST:: SOT 139417 SOS 91429 HAS SOPS 85012 HAS SOUS 25329 HAS SOUPS 25044 WITH SCORE 25135.429
AT ITER 772 NEW BEST:: SOT 139421 SOS 91345 HAS SOPS 84473 HAS SOUS 25235 HAS SOUPS 24938 WITH SCORE 25029.345
AT ITER 773 NEW BEST:: SOT 139414 SOS 91338 HAS SOPS 84466 HAS SOUS 25228 HAS SOUPS 24931 WITH SCORE 25022.338
AT ITER 779 NEW BEST:: SOT 139357 SOS 91281 HAS SOPS 84439 HAS SOUS 25171 HAS SOUPS 24880 WITH SCORE 24971.281
AT ITER 781 NEW BEST:: SOT 139356 SOS 90902 HAS SOPS 84159 HAS SOUS 25164 HAS SOUPS 24876 WITH SCORE 24966.902
AT ITER 786 NEW BEST:: SOT 139330 SOS 90876 HAS SOPS 84133 HAS SOUS 25106 HAS SOUPS 24818 WITH SCORE 24908.876
AT ITER 788 NEW BEST:: SOT 139329 SOS 90796 HAS SOPS 84086 HAS SOUS 25101 HAS SOUPS 24814 WITH SCORE 24904.796
AT ITER 797 NEW BEST:: SOT 139324 SOS 90786 HAS SOPS 84076 HAS SOUS 25096 HAS SOUPS 24809 WITH SCORE 24899.786
AT ITER 822 NEW BEST:: SOT 139324 SOS 90743 HAS SOPS 84033 HAS SOUS 25096 HAS SOUPS 24809 WITH SCORE 24899.743
AT ITER 827 NEW BEST:: SOT 139324 SOS 90603 HAS SOPS 83941 HAS SOUS 25094 HAS SOUPS 24807 WITH SCORE 24897.603
AT ITER 835 NEW BEST:: SOT 139270 SOS 90630 HAS SOPS 83968 HAS SOUS 25082 HAS SOUPS 24795 WITH SCORE 24885.63
AT ITER 836 NEW BEST:: SOT 139158 SOS 90531 HAS SOPS 83869 HAS SOUS 24787 HAS SOUPS 24500 WITH SCORE 24590.531
AT ITER 856 NEW BEST:: SOT 139140 SOS 90539 HAS SOPS 83877 HAS SOUS 24763 HAS SOUPS 24476 WITH SCORE 24566.539
AT ITER 857 NEW BEST:: SOT 139139 SOS 90508 HAS SOPS 83846 HAS SOUS 24761 HAS SOUPS 24474 WITH SCORE 24564.508
AT ITER 859 NEW BEST:: SOT 139132 SOS 90471 HAS SOPS 83809 HAS SOUS 24738 HAS SOUPS 24451 WITH SCORE 24541.471
AT ITER 860 NEW BEST:: SOT 139132 SOS 90864 HAS SOPS 84232 HAS SOUS 24704 HAS SOUPS 24417 WITH SCORE 24507.864
AT ITER 861 NEW BEST:: SOT 139018 SOS 90810 HAS SOPS 84153 HAS SOUS 24510 HAS SOUPS 24220 WITH SCORE 24310.81
AT ITER 889 NEW BEST:: SOT 140248 SOS 91297 HAS SOPS 83703 HAS SOUS 24765 HAS SOUPS 24085 WITH SCORE 24176.297
AT ITER 908 NEW BEST:: SOT 140222 SOS 91212 HAS SOPS 83618 HAS SOUS 24743 HAS SOUPS 24063 WITH SCORE 24154.212
AT ITER 912 NEW BEST:: SOT 140088 SOS 91078 HAS SOPS 83484 HAS SOUS 24609 HAS SOUPS 23929 WITH SCORE 24020.078
AT ITER 913 NEW BEST:: SOT 140089 SOS 91081 HAS SOPS 83487 HAS SOUS 24566 HAS SOUPS 23886 WITH SCORE 23977.081
AT ITER 949 NEW BEST:: SOT 140077 SOS 91069 HAS SOPS 83475 HAS SOUS 24386 HAS SOUPS 23706 WITH SCORE 23797.069
AT ITER 952 NEW BEST:: SOT 140130 SOS 91108 HAS SOPS 83636 HAS SOUS 24304 HAS SOUPS 23614 WITH SCORE 23705.108
AT ITER 953 NEW BEST:: SOT 140130 SOS 91108 HAS SOPS 83636 HAS SOUS 24084 HAS SOUPS 23394 WITH SCORE 23485.108
AT ITER 955 NEW BEST:: SOT 140520 SOS 91490 HAS SOPS 84018 HAS SOUS 24050 HAS SOUPS 23360 WITH SCORE 23451.49
AT ITER 960 NEW BEST:: SOT 140348 SOS 91318 HAS SOPS 83846 HAS SOUS 23969 HAS SOUPS 23279 WITH SCORE 23370.318
AT ITER 975 NEW BEST:: SOT 140277 SOS 91247 HAS SOPS 83775 HAS SOUS 23795 HAS SOUPS 23105 WITH SCORE 23196.247
AT ITER 979 NEW BEST:: SOT 140032 SOS 91002 HAS SOPS 83530 HAS SOUS 23295 HAS SOUPS 22605 WITH SCORE 22696.002
AT ITER 980 NEW BEST:: SOT 139903 SOS 90873 HAS SOPS 83401 HAS SOUS 23166 HAS SOUPS 22476 WITH SCORE 22566.873
AT ITER 985 NEW BEST:: SOT 139885 SOS 90297 HAS SOPS 83419 HAS SOUS 23138 HAS SOUPS 22466 WITH SCORE 22556.297
AT ITER 990 NEW BEST:: SOT 139935 SOS 90399 HAS SOPS 82961 HAS SOUS 23086 HAS SOUPS 22448 WITH SCORE 22538.399
AT ITER 1004 NEW BEST:: SOT 139935 SOS 90751 HAS SOPS 82950 HAS SOUS 23086 HAS SOUPS 22437 WITH SCORE 22527.751
AT ITER 1009 NEW BEST:: SOT 139797 SOS 90602 HAS SOPS 82801 HAS SOUS 23037 HAS SOUPS 22388 WITH SCORE 22478.602
AT ITER 1020 NEW BEST:: SOT 139967 SOS 90815 HAS SOPS 83014 HAS SOUS 22414 HAS SOUPS 21765 WITH SCORE 21855.815
AT ITER 1024 NEW BEST:: SOT 139963 SOS 90811 HAS SOPS 83010 HAS SOUS 22400 HAS SOUPS 21751 WITH SCORE 21841.811
AT ITER 1030 NEW BEST:: SOT 139963 SOS 90832 HAS SOPS 83031 HAS SOUS 22390 HAS SOUPS 21741 WITH SCORE 21831.832
AT ITER 1036 NEW BEST:: SOT 139965 SOS 90830 HAS SOPS 83029 HAS SOUS 22388 HAS SOUPS 21739 WITH SCORE 21829.83
AT ITER 1046 NEW BEST:: SOT 139997 SOS 90742 HAS SOPS 82941 HAS SOUS 22352 HAS SOUPS 21703 WITH SCORE 21793.742
AT ITER 1089 NEW BEST:: SOT 139843 SOS 90588 HAS SOPS 82787 HAS SOUS 21973 HAS SOUPS 21324 WITH SCORE 21414.588
AT ITER 1106 NEW BEST:: SOT 139833 SOS 90530 HAS SOPS 82729 HAS SOUS 21973 HAS SOUPS 21324 WITH SCORE 21414.53
AT ITER 1112 NEW BEST:: SOT 139815 SOS 90512 HAS SOPS 82711 HAS SOUS 21972 HAS SOUPS 21323 WITH SCORE 21413.512
AT ITER 1113 NEW BEST:: SOT 139815 SOS 90494 HAS SOPS 82693 HAS SOUS 21965 HAS SOUPS 21316 WITH SCORE 21406.494
AT ITER 1125 NEW BEST:: SOT 139826 SOS 90548 HAS SOPS 82747 HAS SOUS 21940 HAS SOUPS 21291 WITH SCORE 21381.548
AT ITER 1127 NEW BEST:: SOT 139825 SOS 90554 HAS SOPS 82753 HAS SOUS 21939 HAS SOUPS 21290 WITH SCORE 21380.554
AT ITER 1150 NEW BEST:: SOT 139785 SOS 90514 HAS SOPS 82713 HAS SOUS 21825 HAS SOUPS 21176 WITH SCORE 21266.514
AT ITER 1151 NEW BEST:: SOT 139781 SOS 90510 HAS SOPS 82731 HAS SOUS 21558 HAS SOUPS 20905 WITH SCORE 20995.51
AT ITER 1167 NEW BEST:: SOT 139774 SOS 90503 HAS SOPS 82724 HAS SOUS 21551 HAS SOUPS 20898 WITH SCORE 20988.503
AT ITER 1170 NEW BEST:: SOT 139774 SOS 90503 HAS SOPS 82784 HAS SOUS 21547 HAS SOUPS 20894 WITH SCORE 20984.503
AT ITER 1172 NEW BEST:: SOT 139771 SOS 90500 HAS SOPS 82781 HAS SOUS 21544 HAS SOUPS 20891 WITH SCORE 20981.5
AT ITER 1186 NEW BEST:: SOT 139833 SOS 89884 HAS SOPS 82227 HAS SOUS 21468 HAS SOUPS 20881 WITH SCORE 20970.884
AT ITER 1194 NEW BEST:: SOT 139827 SOS 89856 HAS SOPS 82199 HAS SOUS 21462 HAS SOUPS 20875 WITH SCORE 20964.856
AT ITER 1200 NEW BEST:: SOT 139807 SOS 89816 HAS SOPS 82159 HAS SOUS 21422 HAS SOUPS 20835 WITH SCORE 20924.816
AT ITER 1202 NEW BEST:: SOT 139781 SOS 89756 HAS SOPS 82099 HAS SOUS 21417 HAS SOUPS 20830 WITH SCORE 20919.756
AT ITER 1206 NEW BEST:: SOT 139780 SOS 89754 HAS SOPS 82097 HAS SOUS 21415 HAS SOUPS 20828 WITH SCORE 20917.754
AT ITER 1235 NEW BEST:: SOT 139793 SOS 89773 HAS SOPS 82114 HAS SOUS 21392 HAS SOUPS 20805 WITH SCORE 20894.773
AT ITER 1246 NEW BEST:: SOT 139806 SOS 89764 HAS SOPS 81757 HAS SOUS 21505 HAS SOUPS 20761 WITH SCORE 20850.764
AT ITER 1259 NEW BEST:: SOT 139804 SOS 89758 HAS SOPS 81751 HAS SOUS 21499 HAS SOUPS 20755 WITH SCORE 20844.758
AT ITER 1266 NEW BEST:: SOT 139804 SOS 89730 HAS SOPS 81723 HAS SOUS 21499 HAS SOUPS 20755 WITH SCORE 20844.73
AT ITER 1277 NEW BEST:: SOT 139804 SOS 89730 HAS SOPS 81693 HAS SOUS 21496 HAS SOUPS 20753 WITH SCORE 20842.73
AT ITER 1282 NEW BEST:: SOT 139794 SOS 89717 HAS SOPS 81680 HAS SOUS 21483 HAS SOUPS 20740 WITH SCORE 20829.717
AT ITER 1299 NEW BEST:: SOT 139632 SOS 89555 HAS SOPS 81518 HAS SOUS 21127 HAS SOUPS 20384 WITH SCORE 20473.555
AT ITER 1314 NEW BEST:: SOT 139628 SOS 89551 HAS SOPS 81514 HAS SOUS 20943 HAS SOUPS 20200 WITH SCORE 20289.551
AT ITER 1371 NEW BEST:: SOT 139619 SOS 89542 HAS SOPS 81505 HAS SOUS 20925 HAS SOUPS 20182 WITH SCORE 20271.542
AT ITER 1375 NEW BEST:: SOT 139619 SOS 89522 HAS SOPS 81485 HAS SOUS 20909 HAS SOUPS 20166 WITH SCORE 20255.522
AT ITER 1385 NEW BEST:: SOT 139619 SOS 88472 HAS SOPS 80308 HAS SOUS 20812 HAS SOUPS 20088 WITH SCORE 20176.472
AT ITER 1414 NEW BEST:: SOT 139619 SOS 85274 HAS SOPS 77968 HAS SOUS 20764 HAS SOUPS 20066 WITH SCORE 20151.274
AT ITER 1423 NEW BEST:: SOT 139619 SOS 85274 HAS SOPS 77968 HAS SOUS 20720 HAS SOUPS 20022 WITH SCORE 20107.274
AT ITER 1458 NEW BEST:: SOT 139603 SOS 85250 HAS SOPS 77944 HAS SOUS 20696 HAS SOUPS 19998 WITH SCORE 20083.25
AT ITER 1476 NEW BEST:: SOT 139586 SOS 83392 HAS SOPS 76647 HAS SOUS 20644 HAS SOUPS 19963 WITH SCORE 20046.392
AT ITER 1498 NEW BEST:: SOT 139596 SOS 83412 HAS SOPS 76667 HAS SOUS 20614 HAS SOUPS 19933 WITH SCORE 20016.412
AT ITER 1499 NEW BEST:: SOT 139596 SOS 82886 HAS SOPS 76682 HAS SOUS 20594 HAS SOUPS 19914 WITH SCORE 19996.886
AT ITER 1500 NEW BEST:: SOT 139596 SOS 82876 HAS SOPS 76672 HAS SOUS 20584 HAS SOUPS 19904 WITH SCORE 19986.876
AT ITER 1514 NEW BEST:: SOT 139661 SOS 82934 HAS SOPS 76730 HAS SOUS 20156 HAS SOUPS 19476 WITH SCORE 19558.934
AT ITER 1541 NEW BEST:: SOT 139645 SOS 82922 HAS SOPS 76718 HAS SOUS 20153 HAS SOUPS 19473 WITH SCORE 19555.922
AT ITER 1545 NEW BEST:: SOT 139642 SOS 82919 HAS SOPS 76715 HAS SOUS 20108 HAS SOUPS 19428 WITH SCORE 19510.919
AT ITER 1547 NEW BEST:: SOT 139359 SOS 82556 HAS SOPS 76882 HAS SOUS 20089 HAS SOUPS 19346 WITH SCORE 19428.556
AT ITER 1548 NEW BEST:: SOT 139340 SOS 82553 HAS SOPS 76879 HAS SOUS 20066 HAS SOUPS 19323 WITH SCORE 19405.553
AT ITER 1585 NEW BEST:: SOT 139353 SOS 82568 HAS SOPS 76894 HAS SOUS 20008 HAS SOUPS 19265 WITH SCORE 19347.568
AT ITER 1605 NEW BEST:: SOT 139353 SOS 82567 HAS SOPS 76893 HAS SOUS 20007 HAS SOUPS 19264 WITH SCORE 19346.567
AT ITER 1618 NEW BEST:: SOT 139353 SOS 82646 HAS SOPS 76758 HAS SOUS 19985 HAS SOUPS 19248 WITH SCORE 19330.646
AT ITER 1630 NEW BEST:: SOT 139350 SOS 82637 HAS SOPS 76749 HAS SOUS 19976 HAS SOUPS 19239 WITH SCORE 19321.637
AT ITER 1663 NEW BEST:: SOT 139322 SOS 82701 HAS SOPS 77073 HAS SOUS 19899 HAS SOUPS 19160 WITH SCORE 19242.701
AT ITER 1679 NEW BEST:: SOT 139190 SOS 82565 HAS SOPS 76937 HAS SOUS 19857 HAS SOUPS 19118 WITH SCORE 19200.565
AT ITER 1697 NEW BEST:: SOT 139132 SOS 82507 HAS SOPS 76879 HAS SOUS 19741 HAS SOUPS 19002 WITH SCORE 19084.507
AT ITER 1700 NEW BEST:: SOT 139131 SOS 82524 HAS SOPS 76896 HAS SOUS 19740 HAS SOUPS 19001 WITH SCORE 19083.524
AT ITER 1706 NEW BEST:: SOT 139131 SOS 82734 HAS SOPS 77016 HAS SOUS 19726 HAS SOUPS 18990 WITH SCORE 19072.734
AT ITER 1708 NEW BEST:: SOT 139128 SOS 82725 HAS SOPS 77007 HAS SOUS 19720 HAS SOUPS 18984 WITH SCORE 19066.725
AT ITER 1722 NEW BEST:: SOT 139027 SOS 82519 HAS SOPS 76801 HAS SOUS 19514 HAS SOUPS 18778 WITH SCORE 18860.519
AT ITER 1731 NEW BEST:: SOT 139017 SOS 81909 HAS SOPS 76361 HAS SOUS 19452 HAS SOUPS 18734 WITH SCORE 18815.909
AT ITER 1747 NEW BEST:: SOT 139017 SOS 81908 HAS SOPS 76360 HAS SOUS 19451 HAS SOUPS 18733 WITH SCORE 18814.908
AT ITER 1749 NEW BEST:: SOT 139017 SOS 80753 HAS SOPS 75439 HAS SOUS 19430 HAS SOUPS 18725 WITH SCORE 18805.753
AT ITER 1756 NEW BEST:: SOT 139017 SOS 80750 HAS SOPS 75436 HAS SOUS 19427 HAS SOUPS 18722 WITH SCORE 18802.75
AT ITER 1758 NEW BEST:: SOT 139093 SOS 80826 HAS SOPS 74714 HAS SOUS 19366 HAS SOUPS 18715 WITH SCORE 18795.826
AT ITER 1764 NEW BEST:: SOT 139093 SOS 80826 HAS SOPS 74684 HAS SOUS 19354 HAS SOUPS 18707 WITH SCORE 18787.826
AT ITER 1779 NEW BEST:: SOT 139077 SOS 80795 HAS SOPS 74653 HAS SOUS 19308 HAS SOUPS 18661 WITH SCORE 18741.795
AT ITER 1800 NEW BEST:: SOT 138957 SOS 80579 HAS SOPS 75295 HAS SOUS 19288 HAS SOUPS 18583 WITH SCORE 18663.579
AT ITER 1862 NEW BEST:: SOT 138957 SOS 80457 HAS SOPS 75115 HAS SOUS 19250 HAS SOUPS 18549 WITH SCORE 18629.457
AT ITER 1864 NEW BEST:: SOT 138953 SOS 80445 HAS SOPS 75204 HAS SOUS 18918 HAS SOUPS 18209 WITH SCORE 18289.445
AT ITER 1903 NEW BEST:: SOT 138953 SOS 80443 HAS SOPS 75202 HAS SOUS 18916 HAS SOUPS 18207 WITH SCORE 18287.443
AT ITER 1918 NEW BEST:: SOT 138955 SOS 80445 HAS SOPS 75204 HAS SOUS 18828 HAS SOUPS 18119 WITH SCORE 18199.445
AT ITER 1924 NEW BEST:: SOT 138902 SOS 80392 HAS SOPS 75151 HAS SOUS 18806 HAS SOUPS 18097 WITH SCORE 18177.392
AT ITER 1951 NEW BEST:: SOT 138902 SOS 80392 HAS SOPS 75155 HAS SOUS 18782 HAS SOUPS 18073 WITH SCORE 18153.392
AT ITER 1987 NEW BEST:: SOT 138892 SOS 80362 HAS SOPS 75125 HAS SOUS 18752 HAS SOUPS 18043 WITH SCORE 18123.362
AT ITER 2001 NEW BEST:: SOT 138875 SOS 80357 HAS SOPS 75120 HAS SOUS 18730 HAS SOUPS 18021 WITH SCORE 18101.357
AT ITER 2020 NEW BEST:: SOT 138852 SOS 80334 HAS SOPS 75097 HAS SOUS 18730 HAS SOUPS 18021 WITH SCORE 18101.334
AT ITER 2031 NEW BEST:: SOT 138852 SOS 80805 HAS SOPS 75352 HAS SOUS 18712 HAS SOUPS 18008 WITH SCORE 18088.805
AT ITER 2050 NEW BEST:: SOT 138852 SOS 80728 HAS SOPS 75293 HAS SOUS 18707 HAS SOUPS 18004 WITH SCORE 18084.728
AT ITER 2055 NEW BEST:: SOT 138840 SOS 80724 HAS SOPS 75289 HAS SOUS 18703 HAS SOUPS 18000 WITH SCORE 18080.724
AT ITER 2073 NEW BEST:: SOT 138853 SOS 80735 HAS SOPS 75300 HAS SOUS 18654 HAS SOUPS 17951 WITH SCORE 18031.735
AT ITER 2097 NEW BEST:: SOT 138853 SOS 80734 HAS SOPS 75299 HAS SOUS 18653 HAS SOUPS 17950 WITH SCORE 18030.734
AT ITER 2130 NEW BEST:: SOT 138853 SOS 80828 HAS SOPS 75299 HAS SOUS 18644 HAS SOUPS 17945 WITH SCORE 18025.828
AT ITER 2149 NEW BEST:: SOT 138853 SOS 80820 HAS SOPS 75291 HAS SOUS 18636 HAS SOUPS 17937 WITH SCORE 18017.82
AT ITER 2150 NEW BEST:: SOT 138836 SOS 80808 HAS SOPS 75279 HAS SOUS 18624 HAS SOUPS 17925 WITH SCORE 18005.808
AT ITER 2202 NEW BEST:: SOT 138836 SOS 80328 HAS SOPS 74799 HAS SOUS 18608 HAS SOUPS 17909 WITH SCORE 17989.328
AT ITER 2204 NEW BEST:: SOT 138748 SOS 80240 HAS SOPS 74711 HAS SOUS 18431 HAS SOUPS 17732 WITH SCORE 17812.24
AT ITER 2242 NEW BEST:: SOT 138714 SOS 80206 HAS SOPS 74677 HAS SOUS 18368 HAS SOUPS 17669 WITH SCORE 17749.206
AT ITER 2254 NEW BEST:: SOT 138665 SOS 80170 HAS SOPS 74641 HAS SOUS 18270 HAS SOUPS 17571 WITH SCORE 17651.17
AT ITER 2263 NEW BEST:: SOT 138575 SOS 80080 HAS SOPS 74551 HAS SOUS 18090 HAS SOUPS 17391 WITH SCORE 17471.08
AT ITER 2282 NEW BEST:: SOT 138485 SOS 79990 HAS SOPS 74461 HAS SOUS 17910 HAS SOUPS 17211 WITH SCORE 17290.99
AT ITER 2301 NEW BEST:: SOT 138485 SOS 80280 HAS SOPS 74626 HAS SOUS 17902 HAS SOUPS 17206 WITH SCORE 17286.28
AT ITER 2311 NEW BEST:: SOT 138478 SOS 80269 HAS SOPS 74615 HAS SOUS 17756 HAS SOUPS 17060 WITH SCORE 17140.269
AT ITER 2364 NEW BEST:: SOT 138471 SOS 79933 HAS SOPS 74398 HAS SOUS 17735 HAS SOUPS 17046 WITH SCORE 17125.933
AT ITER 2367 NEW BEST:: SOT 138450 SOS 79646 HAS SOPS 74111 HAS SOUS 17703 HAS SOUPS 17014 WITH SCORE 17093.646
AT ITER 2410 NEW BEST:: SOT 138346 SOS 79572 HAS SOPS 74037 HAS SOUS 17664 HAS SOUPS 16975 WITH SCORE 17054.572
AT ITER 2427 NEW BEST:: SOT 138346 SOS 79272 HAS SOPS 73737 HAS SOUS 17659 HAS SOUPS 16970 WITH SCORE 17049.272
AT ITER 2433 NEW BEST:: SOT 138344 SOS 79270 HAS SOPS 73735 HAS SOUS 17573 HAS SOUPS 16884 WITH SCORE 16963.27
AT ITER 2442 NEW BEST:: SOT 138344 SOS 79267 HAS SOPS 73732 HAS SOUS 17573 HAS SOUPS 16884 WITH SCORE 16963.267
AT ITER 2459 NEW BEST:: SOT 138344 SOS 79246 HAS SOPS 73711 HAS SOUS 17537 HAS SOUPS 16848 WITH SCORE 16927.246
AT ITER 2461 NEW BEST:: SOT 138340 SOS 79234 HAS SOPS 73699 HAS SOUS 17520 HAS SOUPS 16831 WITH SCORE 16910.234
AT ITER 2574 NEW BEST:: SOT 138338 SOS 79230 HAS SOPS 73695 HAS SOUS 17490 HAS SOUPS 16801 WITH SCORE 16880.23
AT ITER 2615 NEW BEST:: SOT 138338 SOS 78999 HAS SOPS 73518 HAS SOUS 17481 HAS SOUPS 16795 WITH SCORE 16873.999
AT ITER 2649 NEW BEST:: SOT 138346 SOS 78991 HAS SOPS 73510 HAS SOUS 17481 HAS SOUPS 16795 WITH SCORE 16873.991
AT ITER 2651 NEW BEST:: SOT 138346 SOS 78516 HAS SOPS 73495 HAS SOUS 17490 HAS SOUPS 16793 WITH SCORE 16871.516
AT ITER 2667 NEW BEST:: SOT 138346 SOS 77148 HAS SOPS 72771 HAS SOUS 17453 HAS SOUPS 16777 WITH SCORE 16854.148
AT ITER 2670 NEW BEST:: SOT 138312 SOS 77126 HAS SOPS 72749 HAS SOUS 17440 HAS SOUPS 16764 WITH SCORE 16841.126
AT ITER 2673 NEW BEST:: SOT 138298 SOS 77120 HAS SOPS 72743 HAS SOUS 17434 HAS SOUPS 16758 WITH SCORE 16835.12
AT ITER 2679 NEW BEST:: SOT 138296 SOS 77101 HAS SOPS 72724 HAS SOUS 17425 HAS SOUPS 16749 WITH SCORE 16826.101
AT ITER 2727 NEW BEST:: SOT 138238 SOS 77042 HAS SOPS 72665 HAS SOUS 17365 HAS SOUPS 16689 WITH SCORE 16766.042
AT ITER 2775 NEW BEST:: SOT 137968 SOS 76754 HAS SOPS 72377 HAS SOUS 17221 HAS SOUPS 16545 WITH SCORE 16621.754
AT ITER 2790 NEW BEST:: SOT 137967 SOS 76753 HAS SOPS 72376 HAS SOUS 17220 HAS SOUPS 16544 WITH SCORE 16620.753
AT ITER 2836 NEW BEST:: SOT 137963 SOS 76754 HAS SOPS 72377 HAS SOUS 17196 HAS SOUPS 16520 WITH SCORE 16596.754
AT ITER 2899 NEW BEST:: SOT 137963 SOS 76749 HAS SOPS 72372 HAS SOUS 17196 HAS SOUPS 16520 WITH SCORE 16596.749
AT ITER 2905 NEW BEST:: SOT 137959 SOS 76745 HAS SOPS 72368 HAS SOUS 17181 HAS SOUPS 16505 WITH SCORE 16581.745
AT ITER 2914 NEW BEST:: SOT 137959 SOS 76663 HAS SOPS 72286 HAS SOUS 17177 HAS SOUPS 16501 WITH SCORE 16577.663
AT ITER 2933 NEW BEST:: SOT 138000 SOS 76704 HAS SOPS 72327 HAS SOUS 17083 HAS SOUPS 16407 WITH SCORE 16483.704
AT ITER 2945 NEW BEST:: SOT 138000 SOS 76430 HAS SOPS 72089 HAS SOUS 17075 HAS SOUPS 16401 WITH SCORE 16477.43
AT ITER 2954 NEW BEST:: SOT 137998 SOS 76427 HAS SOPS 72086 HAS SOUS 17072 HAS SOUPS 16398 WITH SCORE 16474.427
AT ITER 2956 NEW BEST:: SOT 137998 SOS 76427 HAS SOPS 72146 HAS SOUS 17062 HAS SOUPS 16389 WITH SCORE 16465.427
AT ITER 2960 NEW BEST:: SOT 137940 SOS 76369 HAS SOPS 72088 HAS SOUS 17004 HAS SOUPS 16331 WITH SCORE 16407.369
AT ITER 2970 NEW BEST:: SOT 137985 SOS 76400 HAS SOPS 71988 HAS SOUS 17021 HAS SOUPS 16262 WITH SCORE 16338.4
AT ITER 2994 NEW BEST:: SOT 137983 SOS 76392 HAS SOPS 71980 HAS SOUS 17013 HAS SOUPS 16254 WITH SCORE 16330.392
AT ITER 3044 NEW BEST:: SOT 137982 SOS 76391 HAS SOPS 71979 HAS SOUS 17009 HAS SOUPS 16250 WITH SCORE 16326.391
AT ITER 3046 NEW BEST:: SOT 137941 SOS 76175 HAS SOPS 71763 HAS SOUS 16927 HAS SOUPS 16168 WITH SCORE 16244.175
AT ITER 3059 NEW BEST:: SOT 137972 SOS 76206 HAS SOPS 71794 HAS SOUS 16884 HAS SOUPS 16125 WITH SCORE 16201.206
AT ITER 3069 NEW BEST:: SOT 137972 SOS 76203 HAS SOPS 71791 HAS SOUS 16884 HAS SOUPS 16125 WITH SCORE 16201.203
AT ITER 3090 NEW BEST:: SOT 137972 SOS 76508 HAS SOPS 71926 HAS SOUS 16867 HAS SOUPS 16113 WITH SCORE 16189.508
AT ITER 3099 NEW BEST:: SOT 137972 SOS 76508 HAS SOPS 71928 HAS SOUS 16855 HAS SOUPS 16101 WITH SCORE 16177.508
AT ITER 3117 NEW BEST:: SOT 137972 SOS 76568 HAS SOPS 71988 HAS SOUS 16854 HAS SOUPS 16100 WITH SCORE 16176.568
AT ITER 3130 NEW BEST:: SOT 137852 SOS 76448 HAS SOPS 71868 HAS SOUS 16779 HAS SOUPS 16025 WITH SCORE 16101.448
AT ITER 3166 NEW BEST:: SOT 137878 SOS 76482 HAS SOPS 71902 HAS SOUS 16603 HAS SOUPS 15849 WITH SCORE 15925.482
AT ITER 3248 NEW BEST:: SOT 137865 SOS 76476 HAS SOPS 71896 HAS SOUS 16597 HAS SOUPS 15843 WITH SCORE 15919.476
AT ITER 3249 NEW BEST:: SOT 137865 SOS 76476 HAS SOPS 71896 HAS SOUS 16571 HAS SOUPS 15817 WITH SCORE 15893.476
AT ITER 3284 NEW BEST:: SOT 137865 SOS 75614 HAS SOPS 71298 HAS SOUS 16556 HAS SOUPS 15810 WITH SCORE 15885.614
AT ITER 3324 NEW BEST:: SOT 137861 SOS 75606 HAS SOPS 71290 HAS SOUS 16548 HAS SOUPS 15802 WITH SCORE 15877.606
AT ITER 3432 NEW BEST:: SOT 137861 SOS 75512 HAS SOPS 71290 HAS SOUS 16550 HAS SOUPS 15802 WITH SCORE 15877.512
AT ITER 3436 NEW BEST:: SOT 137861 SOS 75504 HAS SOPS 71282 HAS SOUS 16542 HAS SOUPS 15794 WITH SCORE 15869.504
AT ITER 3469 NEW BEST:: SOT 137861 SOS 75502 HAS SOPS 71280 HAS SOUS 16540 HAS SOUPS 15792 WITH SCORE 15867.502
AT ITER 3486 NEW BEST:: SOT 137861 SOS 75494 HAS SOPS 71272 HAS SOUS 16538 HAS SOUPS 15790 WITH SCORE 15865.494
AT ITER 3545 NEW BEST:: SOT 137857 SOS 75485 HAS SOPS 71263 HAS SOUS 16525 HAS SOUPS 15777 WITH SCORE 15852.485
AT ITER 3573 NEW BEST:: SOT 137857 SOS 75438 HAS SOPS 71233 HAS SOUS 16521 HAS SOUPS 15774 WITH SCORE 15849.438
AT ITER 3624 NEW BEST:: SOT 137842 SOS 75423 HAS SOPS 71218 HAS SOUS 16491 HAS SOUPS 15744 WITH SCORE 15819.423
AT ITER 3659 NEW BEST:: SOT 137815 SOS 75399 HAS SOPS 71194 HAS SOUS 16476 HAS SOUPS 15729 WITH SCORE 15804.399
AT ITER 3667 NEW BEST:: SOT 137815 SOS 75307 HAS SOPS 71136 HAS SOUS 16470 HAS SOUPS 15725 WITH SCORE 15800.307
AT ITER 3675 NEW BEST:: SOT 137810 SOS 75297 HAS SOPS 71126 HAS SOUS 16460 HAS SOUPS 15715 WITH SCORE 15790.297
AT ITER 3678 NEW BEST:: SOT 137810 SOS 75297 HAS SOPS 71126 HAS SOUS 16458 HAS SOUPS 15713 WITH SCORE 15788.297
AT ITER 3727 NEW BEST:: SOT 137810 SOS 75291 HAS SOPS 71120 HAS SOUS 16452 HAS SOUPS 15707 WITH SCORE 15782.291
AT ITER 3761 NEW BEST:: SOT 137759 SOS 75240 HAS SOPS 71069 HAS SOUS 16344 HAS SOUPS 15599 WITH SCORE 15674.24
AT ITER 3773 NEW BEST:: SOT 137747 SOS 75228 HAS SOPS 71057 HAS SOUS 16332 HAS SOUPS 15587 WITH SCORE 15662.228
AT ITER 3810 NEW BEST:: SOT 137747 SOS 75166 HAS SOPS 70967 HAS SOUS 16322 HAS SOUPS 15581 WITH SCORE 15656.166
AT ITER 3818 NEW BEST:: SOT 137747 SOS 75167 HAS SOPS 70968 HAS SOUS 16279 HAS SOUPS 15538 WITH SCORE 15613.167
AT ITER 3883 NEW BEST:: SOT 137740 SOS 75167 HAS SOPS 70968 HAS SOUS 16274 HAS SOUPS 15533 WITH SCORE 15608.167
AT ITER 3886 NEW BEST:: SOT 137740 SOS 75167 HAS SOPS 70938 HAS SOUS 16264 HAS SOUPS 15525 WITH SCORE 15600.167
AT ITER 3888 NEW BEST:: SOT 137741 SOS 75166 HAS SOPS 70937 HAS SOUS 16264 HAS SOUPS 15525 WITH SCORE 15600.166
AT ITER 3909 NEW BEST:: SOT 137741 SOS 75162 HAS SOPS 70933 HAS SOUS 16264 HAS SOUPS 15525 WITH SCORE 15600.162
AT ITER 3919 NEW BEST:: SOT 137740 SOS 75161 HAS SOPS 70932 HAS SOUS 16219 HAS SOUPS 15480 WITH SCORE 15555.161
AT ITER 3947 NEW BEST:: SOT 137740 SOS 75160 HAS SOPS 70931 HAS SOUS 16219 HAS SOUPS 15480 WITH SCORE 15555.16
AT ITER 3998 NEW BEST:: SOT 137740 SOS 75160 HAS SOPS 70797 HAS SOUS 16163 HAS SOUPS 15443 WITH SCORE 15518.16
AT ITER 4009 NEW BEST:: SOT 137740 SOS 75158 HAS SOPS 70795 HAS SOUS 16161 HAS SOUPS 15441 WITH SCORE 15516.158
AT ITER 4029 NEW BEST:: SOT 137694 SOS 75111 HAS SOPS 70748 HAS SOUS 16114 HAS SOUPS 15394 WITH SCORE 15469.111
AT ITER 4032 NEW BEST:: SOT 137893 SOS 75308 HAS SOPS 70945 HAS SOUS 16049 HAS SOUPS 15329 WITH SCORE 15404.308
AT ITER 4040 NEW BEST:: SOT 137893 SOS 74782 HAS SOPS 70624 HAS SOUS 16023 HAS SOUPS 15317 WITH SCORE 15391.782
AT ITER 4077 NEW BEST:: SOT 137889 SOS 74778 HAS SOPS 70620 HAS SOUS 16014 HAS SOUPS 15308 WITH SCORE 15382.778
AT ITER 4080 NEW BEST:: SOT 137889 SOS 74778 HAS SOPS 70605 HAS SOUS 16010 HAS SOUPS 15304 WITH SCORE 15378.778
AT ITER 4106 NEW BEST:: SOT 137888 SOS 74774 HAS SOPS 70601 HAS SOUS 16006 HAS SOUPS 15300 WITH SCORE 15374.774
AT ITER 4114 NEW BEST:: SOT 137987 SOS 74880 HAS SOPS 70707 HAS SOUS 15906 HAS SOUPS 15200 WITH SCORE 15274.88
AT ITER 4136 NEW BEST:: SOT 137945 SOS 74838 HAS SOPS 70665 HAS SOUS 15869 HAS SOUPS 15163 WITH SCORE 15237.838
AT ITER 4173 NEW BEST:: SOT 137931 SOS 74893 HAS SOPS 70720 HAS SOUS 15838 HAS SOUPS 15132 WITH SCORE 15206.893
AT ITER 4187 NEW BEST:: SOT 137932 SOS 74892 HAS SOPS 70719 HAS SOUS 15837 HAS SOUPS 15131 WITH SCORE 15205.892
AT ITER 4225 NEW BEST:: SOT 137616 SOS 74570 HAS SOPS 70397 HAS SOUS 15714 HAS SOUPS 15008 WITH SCORE 15082.57
AT ITER 4250 NEW BEST:: SOT 137618 SOS 74572 HAS SOPS 70399 HAS SOUS 15710 HAS SOUPS 15004 WITH SCORE 15078.572
AT ITER 4263 NEW BEST:: SOT 137618 SOS 74572 HAS SOPS 70399 HAS SOUS 15666 HAS SOUPS 14960 WITH SCORE 15034.572
AT ITER 4290 NEW BEST:: SOT 137597 SOS 74551 HAS SOPS 70380 HAS SOUS 15595 HAS SOUPS 14889 WITH SCORE 14963.551
AT ITER 4298 NEW BEST:: SOT 137597 SOS 74756 HAS SOPS 70320 HAS SOUS 15574 HAS SOUPS 14878 WITH SCORE 14952.756
AT ITER 4411 NEW BEST:: SOT 137596 SOS 74752 HAS SOPS 70316 HAS SOUS 15570 HAS SOUPS 14874 WITH SCORE 14948.752
AT ITER 4442 NEW BEST:: SOT 137584 SOS 74740 HAS SOPS 70304 HAS SOUS 15558 HAS SOUPS 14862 WITH SCORE 14936.74
AT ITER 4476 NEW BEST:: SOT 137204 SOS 74360 HAS SOPS 70056 HAS SOUS 15205 HAS SOUPS 14629 WITH SCORE 14703.36
AT ITER 4502 NEW BEST:: SOT 137204 SOS 74270 HAS SOPS 70056 HAS SOUS 15201 HAS SOUPS 14625 WITH SCORE 14699.27
AT ITER 4576 NEW BEST:: SOT 137204 SOS 74269 HAS SOPS 70056 HAS SOUS 15200 HAS SOUPS 14625 WITH SCORE 14699.269
AT ITER 4698 NEW BEST:: SOT 137199 SOS 74268 HAS SOPS 70055 HAS SOUS 15193 HAS SOUPS 14618 WITH SCORE 14692.268
AT ITER 4712 NEW BEST:: SOT 137199 SOS 74127 HAS SOPS 69965 HAS SOUS 15190 HAS SOUPS 14615 WITH SCORE 14689.127
AT ITER 4729 NEW BEST:: SOT 137199 SOS 73647 HAS SOPS 69485 HAS SOUS 15178 HAS SOUPS 14603 WITH SCORE 14676.647
AT ITER 4736 NEW BEST:: SOT 137189 SOS 73637 HAS SOPS 69475 HAS SOUS 15168 HAS SOUPS 14593 WITH SCORE 14666.637
AT ITER 4740 NEW BEST:: SOT 137187 SOS 73635 HAS SOPS 69473 HAS SOUS 15166 HAS SOUPS 14591 WITH SCORE 14664.635
AT ITER 4762 NEW BEST:: SOT 137177 SOS 73625 HAS SOPS 69463 HAS SOUS 15141 HAS SOUPS 14566 WITH SCORE 14639.625
AT ITER 4792 NEW BEST:: SOT 137177 SOS 73385 HAS SOPS 69223 HAS SOUS 15137 HAS SOUPS 14562 WITH SCORE 14635.385
AT ITER 4807 NEW BEST:: SOT 137318 SOS 73526 HAS SOPS 69392 HAS SOUS 15042 HAS SOUPS 14469 WITH SCORE 14542.526
AT ITER 4848 NEW BEST:: SOT 137318 SOS 73521 HAS SOPS 69387 HAS SOUS 15042 HAS SOUPS 14469 WITH SCORE 14542.521
AT ITER 4850 NEW BEST:: SOT 137317 SOS 73471 HAS SOPS 69339 HAS SOUS 15038 HAS SOUPS 14466 WITH SCORE 14539.471
AT ITER 4857 NEW BEST:: SOT 137314 SOS 73468 HAS SOPS 69336 HAS SOUS 15035 HAS SOUPS 14463 WITH SCORE 14536.468
AT ITER 4929 NEW BEST:: SOT 137455 SOS 73609 HAS SOPS 69477 HAS SOUS 15033 HAS SOUPS 14461 WITH SCORE 14534.609
AT ITER 4936 NEW BEST:: SOT 137453 SOS 73607 HAS SOPS 69449 HAS SOUS 15016 HAS SOUPS 14443 WITH SCORE 14516.607
AT ITER 5171 NEW BEST:: SOT 137466 SOS 72515 HAS SOPS 68567 HAS SOUS 14913 HAS SOUPS 14376 WITH SCORE 14448.515
AT ITER 5269 NEW BEST:: SOT 137241 SOS 72320 HAS SOPS 68688 HAS SOUS 14747 HAS SOUPS 14294 WITH SCORE 14366.32
AT ITER 5277 NEW BEST:: SOT 137364 SOS 72443 HAS SOPS 68822 HAS SOUS 14747 HAS SOUPS 14292 WITH SCORE 14364.443
AT ITER 5388 NEW BEST:: SOT 137361 SOS 72383 HAS SOPS 68765 HAS SOUS 14736 HAS SOUPS 14286 WITH SCORE 14358.383
AT ITER 5409 NEW BEST:: SOT 137573 SOS 72595 HAS SOPS 68977 HAS SOUS 14648 HAS SOUPS 14198 WITH SCORE 14270.595
AT ITER 5448 NEW BEST:: SOT 137576 SOS 72584 HAS SOPS 68966 HAS SOUS 14644 HAS SOUPS 14194 WITH SCORE 14266.584
AT ITER 5452 NEW BEST:: SOT 137574 SOS 72582 HAS SOPS 68964 HAS SOUS 14639 HAS SOUPS 14189 WITH SCORE 14261.582
AT ITER 5594 NEW BEST:: SOT 137574 SOS 72488 HAS SOPS 68874 HAS SOUS 14635 HAS SOUPS 14187 WITH SCORE 14259.488
AT ITER 5607 NEW BEST:: SOT 137557 SOS 72471 HAS SOPS 68857 HAS SOUS 14588 HAS SOUPS 14140 WITH SCORE 14212.471
AT ITER 5765 NEW BEST:: SOT 137563 SOS 72465 HAS SOPS 68851 HAS SOUS 14588 HAS SOUPS 14140 WITH SCORE 14212.465
AT ITER 5779 NEW BEST:: SOT 137563 SOS 72343 HAS SOPS 68729 HAS SOUS 14582 HAS SOUPS 14134 WITH SCORE 14206.343
AT ITER 5877 NEW BEST:: SOT 137490 SOS 72270 HAS SOPS 68656 HAS SOUS 14508 HAS SOUPS 14060 WITH SCORE 14132.27
AT ITER 5945 NEW BEST:: SOT 137491 SOS 72269 HAS SOPS 68655 HAS SOUS 14507 HAS SOUPS 14059 WITH SCORE 14131.269
AT ITER 5949 NEW BEST:: SOT 137318 SOS 72096 HAS SOPS 68482 HAS SOUS 14246 HAS SOUPS 13798 WITH SCORE 13870.096
AT ITER 6029 NEW BEST:: SOT 137318 SOS 72092 HAS SOPS 68478 HAS SOUS 14242 HAS SOUPS 13794 WITH SCORE 13866.092
AT ITER 6056 NEW BEST:: SOT 137312 SOS 72086 HAS SOPS 68442 HAS SOUS 14202 HAS SOUPS 13758 WITH SCORE 13830.086
AT ITER 6071 NEW BEST:: SOT 137312 SOS 72085 HAS SOPS 68441 HAS SOUS 14201 HAS SOUPS 13757 WITH SCORE 13829.085
AT ITER 6121 NEW BEST:: SOT 137423 SOS 72214 HAS SOPS 68570 HAS SOUS 14168 HAS SOUPS 13724 WITH SCORE 13796.214
AT ITER 6126 NEW BEST:: SOT 137422 SOS 72213 HAS SOPS 68569 HAS SOUS 14152 HAS SOUPS 13708 WITH SCORE 13780.213
AT ITER 6131 NEW BEST:: SOT 137379 SOS 72171 HAS SOPS 68527 HAS SOUS 14110 HAS SOUPS 13666 WITH SCORE 13738.171
AT ITER 6141 NEW BEST:: SOT 137379 SOS 72047 HAS SOPS 68437 HAS SOUS 14108 HAS SOUPS 13663 WITH SCORE 13735.047
AT ITER 6147 NEW BEST:: SOT 137334 SOS 72002 HAS SOPS 68392 HAS SOUS 14003 HAS SOUPS 13558 WITH SCORE 13630.002
AT ITER 6318 NEW BEST:: SOT 137280 SOS 71965 HAS SOPS 68355 HAS SOUS 13976 HAS SOUPS 13531 WITH SCORE 13602.965
AT ITER 6340 NEW BEST:: SOT 137279 SOS 71983 HAS SOPS 68373 HAS SOUS 13975 HAS SOUPS 13530 WITH SCORE 13601.983
AT ITER 6356 NEW BEST:: SOT 137241 SOS 71954 HAS SOPS 68344 HAS SOUS 13952 HAS SOUPS 13507 WITH SCORE 13578.954
AT ITER 6568 NEW BEST:: SOT 137199 SOS 71912 HAS SOPS 68302 HAS SOUS 13911 HAS SOUPS 13466 WITH SCORE 13537.912
AT ITER 6659 NEW BEST:: SOT 137079 SOS 71797 HAS SOPS 68187 HAS SOUS 13794 HAS SOUPS 13349 WITH SCORE 13420.797
AT ITER 6661 NEW BEST:: SOT 136987 SOS 71703 HAS SOPS 68093 HAS SOUS 13700 HAS SOUPS 13255 WITH SCORE 13326.703
AT ITER 6674 NEW BEST:: SOT 136986 SOS 71702 HAS SOPS 68092 HAS SOUS 13685 HAS SOUPS 13240 WITH SCORE 13311.702
AT ITER 6757 NEW BEST:: SOT 136985 SOS 71672 HAS SOPS 68062 HAS SOUS 13683 HAS SOUPS 13238 WITH SCORE 13309.672
AT ITER 6807 NEW BEST:: SOT 136974 SOS 71686 HAS SOPS 68076 HAS SOUS 13665 HAS SOUPS 13220 WITH SCORE 13291.686
AT ITER 6829 NEW BEST:: SOT 136974 SOS 71594 HAS SOPS 67988 HAS SOUS 13661 HAS SOUPS 13218 WITH SCORE 13289.594
AT ITER 6845 NEW BEST:: SOT 136965 SOS 71585 HAS SOPS 67979 HAS SOUS 13649 HAS SOUPS 13206 WITH SCORE 13277.585
AT ITER 6854 NEW BEST:: SOT 136959 SOS 71589 HAS SOPS 67983 HAS SOUS 13647 HAS SOUPS 13204 WITH SCORE 13275.589
AT ITER 6868 NEW BEST:: SOT 136945 SOS 71567 HAS SOPS 67961 HAS SOUS 13625 HAS SOUPS 13182 WITH SCORE 13253.567
AT ITER 6959 NEW BEST:: SOT 137110 SOS 71732 HAS SOPS 68126 HAS SOUS 13605 HAS SOUPS 13162 WITH SCORE 13233.732
AT ITER 6993 NEW BEST:: SOT 137110 SOS 71730 HAS SOPS 68124 HAS SOUS 13603 HAS SOUPS 13160 WITH SCORE 13231.73
AT ITER 7050 NEW BEST:: SOT 137107 SOS 71727 HAS SOPS 68121 HAS SOUS 13600 HAS SOUPS 13157 WITH SCORE 13228.727
AT ITER 7341 NEW BEST:: SOT 137106 SOS 71732 HAS SOPS 68126 HAS SOUS 13599 HAS SOUPS 13156 WITH SCORE 13227.732
AT ITER 7456 NEW BEST:: SOT 137101 SOS 71582 HAS SOPS 67668 HAS SOUS 13559 HAS SOUPS 13147 WITH SCORE 13218.582
AT ITER 7461 NEW BEST:: SOT 137098 SOS 71579 HAS SOPS 67665 HAS SOUS 13556 HAS SOUPS 13144 WITH SCORE 13215.579
AT ITER 7491 NEW BEST:: SOT 137098 SOS 71577 HAS SOPS 67663 HAS SOUS 13556 HAS SOUPS 13144 WITH SCORE 13215.577
AT ITER 7594 NEW BEST:: SOT 137095 SOS 71574 HAS SOPS 67660 HAS SOUS 13553 HAS SOUPS 13141 WITH SCORE 13212.574
AT ITER 7605 NEW BEST:: SOT 137092 SOS 71570 HAS SOPS 67656 HAS SOUS 13549 HAS SOUPS 13137 WITH SCORE 13208.57
AT ITER 7738 NEW BEST:: SOT 137090 SOS 71568 HAS SOPS 67654 HAS SOUS 13547 HAS SOUPS 13135 WITH SCORE 13206.568
AT ITER 7801 NEW BEST:: SOT 137091 SOS 71567 HAS SOPS 67653 HAS SOUS 13547 HAS SOUPS 13135 WITH SCORE 13206.567
AT ITER 7824 NEW BEST:: SOT 137091 SOS 71567 HAS SOPS 67638 HAS SOUS 13542 HAS SOUPS 13131 WITH SCORE 13202.567
AT ITER 7841 NEW BEST:: SOT 137104 SOS 71580 HAS SOPS 67636 HAS SOUS 13519 HAS SOUPS 13110 WITH SCORE 13181.58
AT ITER 7853 NEW BEST:: SOT 137104 SOS 71262 HAS SOPS 67516 HAS SOUS 13506 HAS SOUPS 13103 WITH SCORE 13174.262
AT ITER 7871 NEW BEST:: SOT 137097 SOS 71267 HAS SOPS 67521 HAS SOUS 13504 HAS SOUPS 13101 WITH SCORE 13172.267
AT ITER 7896 NEW BEST:: SOT 137119 SOS 71289 HAS SOPS 67543 HAS SOUS 13500 HAS SOUPS 13097 WITH SCORE 13168.289
AT ITER 7955 NEW BEST:: SOT 137119 SOS 71290 HAS SOPS 67513 HAS SOUS 13490 HAS SOUPS 13089 WITH SCORE 13160.29
AT ITER 8018 NEW BEST:: SOT 137126 SOS 71177 HAS SOPS 67400 HAS SOUS 13462 HAS SOUPS 13061 WITH SCORE 13132.177
AT ITER 8071 NEW BEST:: SOT 137126 SOS 71172 HAS SOPS 67395 HAS SOUS 13457 HAS SOUPS 13056 WITH SCORE 13127.172
AT ITER 8096 NEW BEST:: SOT 137093 SOS 71144 HAS SOPS 67367 HAS SOUS 13429 HAS SOUPS 13028 WITH SCORE 13099.144
AT ITER 8240 NEW BEST:: SOT 137201 SOS 71252 HAS SOPS 67475 HAS SOUS 13365 HAS SOUPS 12964 WITH SCORE 13035.252
AT ITER 8266 NEW BEST:: SOT 137200 SOS 71251 HAS SOPS 67474 HAS SOUS 13365 HAS SOUPS 12964 WITH SCORE 13035.251
AT ITER 8287 NEW BEST:: SOT 137198 SOS 71247 HAS SOPS 67470 HAS SOUS 13361 HAS SOUPS 12960 WITH SCORE 13031.247
AT ITER 8315 NEW BEST:: SOT 137198 SOS 71319 HAS SOPS 67455 HAS SOUS 13356 HAS SOUPS 12956 WITH SCORE 13027.319
AT ITER 8388 NEW BEST:: SOT 137192 SOS 71313 HAS SOPS 67449 HAS SOUS 13336 HAS SOUPS 12936 WITH SCORE 13007.313
AT ITER 8563 NEW BEST:: SOT 137187 SOS 71311 HAS SOPS 67447 HAS SOUS 13334 HAS SOUPS 12934 WITH SCORE 13005.311
AT ITER 8633 NEW BEST:: SOT 137190 SOS 71308 HAS SOPS 67444 HAS SOUS 13334 HAS SOUPS 12934 WITH SCORE 13005.308
AT ITER 8672 NEW BEST:: SOT 137122 SOS 71300 HAS SOPS 67436 HAS SOUS 13278 HAS SOUPS 12878 WITH SCORE 12949.3
AT ITER 8749 NEW BEST:: SOT 137122 SOS 71270 HAS SOPS 67406 HAS SOUS 13277 HAS SOUPS 12877 WITH SCORE 12948.27
AT ITER 8757 NEW BEST:: SOT 137122 SOS 71090 HAS SOPS 67226 HAS SOUS 13268 HAS SOUPS 12868 WITH SCORE 12939.09
AT ITER 8765 NEW BEST:: SOT 137074 SOS 71097 HAS SOPS 67233 HAS SOUS 13243 HAS SOUPS 12843 WITH SCORE 12914.097
AT ITER 8803 NEW BEST:: SOT 137074 SOS 71095 HAS SOPS 67231 HAS SOUS 13241 HAS SOUPS 12841 WITH SCORE 12912.095
AT ITER 8904 NEW BEST:: SOT 137009 SOS 71030 HAS SOPS 67166 HAS SOUS 13176 HAS SOUPS 12776 WITH SCORE 12847.03
AT ITER 8913 NEW BEST:: SOT 137009 SOS 71030 HAS SOPS 67121 HAS SOUS 13161 HAS SOUPS 12764 WITH SCORE 12835.03
AT ITER 8958 NEW BEST:: SOT 136966 SOS 70986 HAS SOPS 67077 HAS SOUS 13117 HAS SOUPS 12720 WITH SCORE 12790.986
AT ITER 9086 NEW BEST:: SOT 136962 SOS 70941 HAS SOPS 67032 HAS SOUS 13111 HAS SOUPS 12714 WITH SCORE 12784.941
AT ITER 9225 NEW BEST:: SOT 137012 SOS 70973 HAS SOPS 67064 HAS SOUS 13085 HAS SOUPS 12688 WITH SCORE 12758.973
AT ITER 9321 NEW BEST:: SOT 136976 SOS 70949 HAS SOPS 67040 HAS SOUS 13063 HAS SOUPS 12666 WITH SCORE 12736.949
AT ITER 9330 NEW BEST:: SOT 136946 SOS 70919 HAS SOPS 67010 HAS SOUS 13033 HAS SOUPS 12636 WITH SCORE 12706.919
AT ITER 9344 NEW BEST:: SOT 136902 SOS 70849 HAS SOPS 66940 HAS SOUS 13014 HAS SOUPS 12617 WITH SCORE 12687.849
AT ITER 9355 NEW BEST:: SOT 136929 SOS 70876 HAS SOPS 66967 HAS SOUS 13011 HAS SOUPS 12614 WITH SCORE 12684.876
AT ITER 9433 NEW BEST:: SOT 136924 SOS 70874 HAS SOPS 66965 HAS SOUS 13009 HAS SOUPS 12612 WITH SCORE 12682.874
AT ITER 9605 NEW BEST:: SOT 136922 SOS 70872 HAS SOPS 66963 HAS SOUS 13005 HAS SOUPS 12608 WITH SCORE 12678.872
AT ITER 9909 NEW BEST:: SOT 136922 SOS 70758 HAS SOPS 66963 HAS SOUS 13004 HAS SOUPS 12605 WITH SCORE 12675.758
AT ITER 9919 NEW BEST:: SOT 136955 SOS 70764 HAS SOPS 66969 HAS SOUS 12976 HAS SOUPS 12577 WITH SCORE 12647.764

BK_STOP 1679394204158

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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: 497 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="SimpleLoadBal-PT-15"
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 SimpleLoadBal-PT-15, 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 r427-tajo-167905979800528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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