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-167856421800432.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-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 16K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 175K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 200K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 68K Feb 25 13:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 349K Feb 25 13:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K 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 208K 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 1678653551792

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-6
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 20:39:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 20:39:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 20:39:13] [INFO ] Load time of PNML (sax parser for PT used): 67 ms
[2023-03-12 20:39:13] [INFO ] Transformed 217 places.
[2023-03-12 20:39:13] [INFO ] Transformed 420 transitions.
[2023-03-12 20:39:13] [INFO ] Found NUPN structural information;
[2023-03-12 20:39:13] [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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_awaity_0, P_awaity_1, P_awaity_2, P_awaity_3, P_awaity_4, P_awaity_5, P_awaity_6, 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_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]
[2023-03-12 20:39:13] [INFO ] Parsed PT model containing 217 places and 420 transitions and 1834 arcs in 130 ms.
[2023-03-12 20:39:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 217 places, 420 transitions and 1834 arcs took 6 ms.
Total runtime 163 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 6
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: 217 places, 420 transitions, 1834 arcs.
AT ITER 0 NEW BEST:: SOT 42331 SOS 26676 HAS SOPS 24448 HAS SOUS 20566 HAS SOUPS 19781 WITH SCORE 19807.676
AT ITER 2 NEW BEST:: SOT 42047 SOS 26490 HAS SOPS 24262 HAS SOUS 20331 HAS SOUPS 19546 WITH SCORE 19572.49
AT ITER 3 NEW BEST:: SOT 42047 SOS 26455 HAS SOPS 24227 HAS SOUS 20296 HAS SOUPS 19511 WITH SCORE 19537.455
AT ITER 7 NEW BEST:: SOT 42047 SOS 26426 HAS SOPS 24198 HAS SOUS 20267 HAS SOUPS 19482 WITH SCORE 19508.426
AT ITER 11 NEW BEST:: SOT 42086 SOS 26510 HAS SOPS 24282 HAS SOUS 20171 HAS SOUPS 19386 WITH SCORE 19412.51
AT ITER 17 NEW BEST:: SOT 42086 SOS 26476 HAS SOPS 24248 HAS SOUS 20137 HAS SOUPS 19352 WITH SCORE 19378.476
AT ITER 20 NEW BEST:: SOT 42082 SOS 26256 HAS SOPS 23785 HAS SOUS 19903 HAS SOUPS 19115 WITH SCORE 19141.256
AT ITER 25 NEW BEST:: SOT 42120 SOS 26338 HAS SOPS 23867 HAS SOUS 19809 HAS SOUPS 19021 WITH SCORE 19047.338
AT ITER 26 NEW BEST:: SOT 41578 SOS 25949 HAS SOPS 23266 HAS SOUS 19286 HAS SOUPS 18420 WITH SCORE 18445.949
AT ITER 34 NEW BEST:: SOT 41438 SOS 25837 HAS SOPS 23119 HAS SOUS 19167 HAS SOUPS 18273 WITH SCORE 18298.837
AT ITER 36 NEW BEST:: SOT 41428 SOS 25827 HAS SOPS 23109 HAS SOUS 19157 HAS SOUPS 18263 WITH SCORE 18288.827
AT ITER 38 NEW BEST:: SOT 41308 SOS 25731 HAS SOPS 22989 HAS SOUS 19061 HAS SOUPS 18143 WITH SCORE 18168.731
AT ITER 39 NEW BEST:: SOT 41308 SOS 25695 HAS SOPS 22986 HAS SOUS 19058 HAS SOUPS 18140 WITH SCORE 18165.695
AT ITER 40 NEW BEST:: SOT 41469 SOS 25921 HAS SOPS 23212 HAS SOUS 19040 HAS SOUPS 18122 WITH SCORE 18147.921
AT ITER 41 NEW BEST:: SOT 41517 SOS 25955 HAS SOPS 23270 HAS SOUS 18978 HAS SOUPS 18084 WITH SCORE 18109.955
AT ITER 53 NEW BEST:: SOT 41517 SOS 25919 HAS SOPS 23234 HAS SOUS 18942 HAS SOUPS 18048 WITH SCORE 18073.919
AT ITER 61 NEW BEST:: SOT 41543 SOS 25970 HAS SOPS 23129 HAS SOUS 18993 HAS SOUPS 17943 WITH SCORE 17968.97
AT ITER 67 NEW BEST:: SOT 41543 SOS 25962 HAS SOPS 23121 HAS SOUS 18985 HAS SOUPS 17935 WITH SCORE 17960.962
AT ITER 71 NEW BEST:: SOT 42163 SOS 26756 HAS SOPS 22913 HAS SOUS 19395 HAS SOUPS 17727 WITH SCORE 17753.756
AT ITER 81 NEW BEST:: SOT 42187 SOS 26810 HAS SOPS 22967 HAS SOUS 19329 HAS SOUPS 17661 WITH SCORE 17687.81
AT ITER 83 NEW BEST:: SOT 42004 SOS 26656 HAS SOPS 22813 HAS SOUS 19175 HAS SOUPS 17507 WITH SCORE 17533.656
AT ITER 84 NEW BEST:: SOT 41754 SOS 26903 HAS SOPS 22412 HAS SOUS 19169 HAS SOUPS 17382 WITH SCORE 17408.903
AT ITER 86 NEW BEST:: SOT 41754 SOS 26889 HAS SOPS 22412 HAS SOUS 19169 HAS SOUPS 17382 WITH SCORE 17408.889
AT ITER 89 NEW BEST:: SOT 41754 SOS 26867 HAS SOPS 22390 HAS SOUS 19147 HAS SOUPS 17360 WITH SCORE 17386.867
AT ITER 96 NEW BEST:: SOT 41754 SOS 26836 HAS SOPS 22359 HAS SOUS 19116 HAS SOUPS 17329 WITH SCORE 17355.836
AT ITER 98 NEW BEST:: SOT 41754 SOS 26848 HAS SOPS 22343 HAS SOUS 19100 HAS SOUPS 17313 WITH SCORE 17339.848
AT ITER 103 NEW BEST:: SOT 41666 SOS 26849 HAS SOPS 22255 HAS SOUS 18861 HAS SOUPS 16989 WITH SCORE 17015.849
AT ITER 108 NEW BEST:: SOT 41666 SOS 26860 HAS SOPS 22250 HAS SOUS 18856 HAS SOUPS 16984 WITH SCORE 17010.86
AT ITER 112 NEW BEST:: SOT 41322 SOS 26601 HAS SOPS 21906 HAS SOUS 18555 HAS SOUPS 16640 WITH SCORE 16666.601
AT ITER 120 NEW BEST:: SOT 41322 SOS 26622 HAS SOPS 21905 HAS SOUS 18554 HAS SOUPS 16639 WITH SCORE 16665.622
AT ITER 124 NEW BEST:: SOT 41322 SOS 26567 HAS SOPS 21850 HAS SOUS 18554 HAS SOUPS 16639 WITH SCORE 16665.567
AT ITER 125 NEW BEST:: SOT 41322 SOS 26552 HAS SOPS 21850 HAS SOUS 18539 HAS SOUPS 16639 WITH SCORE 16665.552
AT ITER 136 NEW BEST:: SOT 41221 SOS 26498 HAS SOPS 21749 HAS SOUS 18469 HAS SOUPS 16538 WITH SCORE 16564.498
AT ITER 142 NEW BEST:: SOT 41226 SOS 26503 HAS SOPS 21758 HAS SOUS 18439 HAS SOUPS 16512 WITH SCORE 16538.503
AT ITER 148 NEW BEST:: SOT 41226 SOS 26503 HAS SOPS 21708 HAS SOUS 18439 HAS SOUPS 16462 WITH SCORE 16488.503
AT ITER 166 NEW BEST:: SOT 41226 SOS 26481 HAS SOPS 21686 HAS SOUS 18417 HAS SOUPS 16440 WITH SCORE 16466.481
AT ITER 174 NEW BEST:: SOT 41226 SOS 26492 HAS SOPS 21650 HAS SOUS 18381 HAS SOUPS 16404 WITH SCORE 16430.492
AT ITER 179 NEW BEST:: SOT 41223 SOS 26489 HAS SOPS 21647 HAS SOUS 18378 HAS SOUPS 16401 WITH SCORE 16427.489
AT ITER 188 NEW BEST:: SOT 41210 SOS 26505 HAS SOPS 21613 HAS SOUS 18344 HAS SOUPS 16367 WITH SCORE 16393.505
AT ITER 192 NEW BEST:: SOT 41210 SOS 26525 HAS SOPS 21577 HAS SOUS 18308 HAS SOUPS 16331 WITH SCORE 16357.525
AT ITER 201 NEW BEST:: SOT 41273 SOS 27053 HAS SOPS 21647 HAS SOUS 18279 HAS SOUPS 16261 WITH SCORE 16288.053
AT ITER 207 NEW BEST:: SOT 41186 SOS 26978 HAS SOPS 21506 HAS SOUS 17985 HAS SOUPS 15967 WITH SCORE 15993.978
AT ITER 208 NEW BEST:: SOT 41125 SOS 27189 HAS SOPS 21459 HAS SOUS 18152 HAS SOUPS 15920 WITH SCORE 15947.189
AT ITER 227 NEW BEST:: SOT 41182 SOS 27222 HAS SOPS 21357 HAS SOUS 18062 HAS SOUPS 15830 WITH SCORE 15857.222
AT ITER 248 NEW BEST:: SOT 41176 SOS 27210 HAS SOPS 21348 HAS SOUS 18056 HAS SOUPS 15824 WITH SCORE 15851.21
AT ITER 255 NEW BEST:: SOT 41110 SOS 27144 HAS SOPS 21194 HAS SOUS 17896 HAS SOUPS 15664 WITH SCORE 15691.144
AT ITER 259 NEW BEST:: SOT 41117 SOS 27151 HAS SOPS 21165 HAS SOUS 17867 HAS SOUPS 15635 WITH SCORE 15662.151
AT ITER 264 NEW BEST:: SOT 41117 SOS 27135 HAS SOPS 21151 HAS SOUS 17853 HAS SOUPS 15621 WITH SCORE 15648.135
AT ITER 268 NEW BEST:: SOT 41117 SOS 27133 HAS SOPS 21149 HAS SOUS 17851 HAS SOUPS 15619 WITH SCORE 15646.133
AT ITER 269 NEW BEST:: SOT 41117 SOS 27133 HAS SOPS 21089 HAS SOUS 17851 HAS SOUPS 15559 WITH SCORE 15586.133
AT ITER 271 NEW BEST:: SOT 41113 SOS 27179 HAS SOPS 21137 HAS SOUS 17838 HAS SOUPS 15548 WITH SCORE 15575.179
AT ITER 287 NEW BEST:: SOT 40996 SOS 27136 HAS SOPS 20984 HAS SOUS 17786 HAS SOUPS 15395 WITH SCORE 15422.136
AT ITER 293 NEW BEST:: SOT 40926 SOS 27147 HAS SOPS 20991 HAS SOUS 17629 HAS SOUPS 15250 WITH SCORE 15277.147
AT ITER 304 NEW BEST:: SOT 41012 SOS 26895 HAS SOPS 20580 HAS SOUS 17764 HAS SOUPS 15213 WITH SCORE 15239.895
AT ITER 305 NEW BEST:: SOT 40979 SOS 26862 HAS SOPS 20547 HAS SOUS 17731 HAS SOUPS 15180 WITH SCORE 15206.862
AT ITER 308 NEW BEST:: SOT 40946 SOS 26829 HAS SOPS 20514 HAS SOUS 17698 HAS SOUPS 15147 WITH SCORE 15173.829
AT ITER 314 NEW BEST:: SOT 40941 SOS 26824 HAS SOPS 20504 HAS SOUS 17693 HAS SOUPS 15137 WITH SCORE 15163.824
AT ITER 316 NEW BEST:: SOT 40946 SOS 26829 HAS SOPS 20503 HAS SOUS 17698 HAS SOUPS 15136 WITH SCORE 15162.829
AT ITER 320 NEW BEST:: SOT 40745 SOS 26703 HAS SOPS 20377 HAS SOUS 17528 HAS SOUPS 14966 WITH SCORE 14992.703
AT ITER 321 NEW BEST:: SOT 40745 SOS 26484 HAS SOPS 20158 HAS SOUS 17512 HAS SOUPS 14950 WITH SCORE 14976.484
AT ITER 327 NEW BEST:: SOT 40679 SOS 26440 HAS SOPS 20092 HAS SOUS 17358 HAS SOUPS 14796 WITH SCORE 14822.44
AT ITER 333 NEW BEST:: SOT 40665 SOS 26424 HAS SOPS 20078 HAS SOUS 17344 HAS SOUPS 14782 WITH SCORE 14808.424
AT ITER 349 NEW BEST:: SOT 40665 SOS 26424 HAS SOPS 20058 HAS SOUS 17324 HAS SOUPS 14762 WITH SCORE 14788.424
AT ITER 362 NEW BEST:: SOT 40560 SOS 26319 HAS SOPS 19952 HAS SOUS 17219 HAS SOUPS 14656 WITH SCORE 14682.319
AT ITER 371 NEW BEST:: SOT 40560 SOS 26323 HAS SOPS 19950 HAS SOUS 17223 HAS SOUPS 14654 WITH SCORE 14680.323
AT ITER 372 NEW BEST:: SOT 40386 SOS 26200 HAS SOPS 19827 HAS SOUS 17071 HAS SOUPS 14502 WITH SCORE 14528.2
AT ITER 376 NEW BEST:: SOT 40507 SOS 25561 HAS SOPS 19967 HAS SOUS 16821 HAS SOUPS 14397 WITH SCORE 14422.561
AT ITER 392 NEW BEST:: SOT 40459 SOS 25513 HAS SOPS 19863 HAS SOUS 16717 HAS SOUPS 14293 WITH SCORE 14318.513
AT ITER 394 NEW BEST:: SOT 40459 SOS 25347 HAS SOPS 19697 HAS SOUS 16705 HAS SOUPS 14281 WITH SCORE 14306.347
AT ITER 405 NEW BEST:: SOT 40433 SOS 25321 HAS SOPS 19671 HAS SOUS 16679 HAS SOUPS 14255 WITH SCORE 14280.321
AT ITER 411 NEW BEST:: SOT 40362 SOS 25246 HAS SOPS 19596 HAS SOUS 16579 HAS SOUPS 14155 WITH SCORE 14180.246
AT ITER 413 NEW BEST:: SOT 40330 SOS 25259 HAS SOPS 19564 HAS SOUS 16615 HAS SOUPS 14123 WITH SCORE 14148.259
AT ITER 423 NEW BEST:: SOT 40173 SOS 25164 HAS SOPS 19482 HAS SOUS 16511 HAS SOUPS 14010 WITH SCORE 14035.164
AT ITER 434 NEW BEST:: SOT 40322 SOS 25313 HAS SOPS 19468 HAS SOUS 16641 HAS SOUPS 13996 WITH SCORE 14021.313
AT ITER 442 NEW BEST:: SOT 40308 SOS 25299 HAS SOPS 19454 HAS SOUS 16627 HAS SOUPS 13982 WITH SCORE 14007.299
AT ITER 450 NEW BEST:: SOT 40303 SOS 25294 HAS SOPS 19443 HAS SOUS 16616 HAS SOUPS 13971 WITH SCORE 13996.294
AT ITER 484 NEW BEST:: SOT 40256 SOS 25247 HAS SOPS 19396 HAS SOUS 16573 HAS SOUPS 13928 WITH SCORE 13953.247
AT ITER 486 NEW BEST:: SOT 40247 SOS 25238 HAS SOPS 19387 HAS SOUS 16564 HAS SOUPS 13919 WITH SCORE 13944.238
AT ITER 497 NEW BEST:: SOT 40274 SOS 25261 HAS SOPS 19378 HAS SOUS 16567 HAS SOUPS 13910 WITH SCORE 13935.261
AT ITER 498 NEW BEST:: SOT 40309 SOS 25136 HAS SOPS 19033 HAS SOUS 16383 HAS SOUPS 13726 WITH SCORE 13751.136
AT ITER 516 NEW BEST:: SOT 40164 SOS 24991 HAS SOPS 18971 HAS SOUS 16299 HAS SOUPS 13664 WITH SCORE 13688.991
AT ITER 521 NEW BEST:: SOT 39886 SOS 24802 HAS SOPS 18856 HAS SOUS 16082 HAS SOUPS 13498 WITH SCORE 13522.802
AT ITER 526 NEW BEST:: SOT 39831 SOS 24782 HAS SOPS 18836 HAS SOUS 16062 HAS SOUPS 13478 WITH SCORE 13502.782
AT ITER 527 NEW BEST:: SOT 39782 SOS 24733 HAS SOPS 18787 HAS SOUS 16013 HAS SOUPS 13429 WITH SCORE 13453.733
AT ITER 528 NEW BEST:: SOT 39782 SOS 24597 HAS SOPS 18651 HAS SOUS 16004 HAS SOUPS 13420 WITH SCORE 13444.597
AT ITER 552 NEW BEST:: SOT 39546 SOS 24478 HAS SOPS 18415 HAS SOUS 15877 HAS SOUPS 13184 WITH SCORE 13208.478
AT ITER 567 NEW BEST:: SOT 39546 SOS 24472 HAS SOPS 18409 HAS SOUS 15874 HAS SOUPS 13181 WITH SCORE 13205.472
AT ITER 578 NEW BEST:: SOT 39546 SOS 24480 HAS SOPS 18407 HAS SOUS 15872 HAS SOUPS 13179 WITH SCORE 13203.48
AT ITER 580 NEW BEST:: SOT 39546 SOS 24480 HAS SOPS 18407 HAS SOUS 15868 HAS SOUPS 13175 WITH SCORE 13199.48
AT ITER 584 NEW BEST:: SOT 39537 SOS 24471 HAS SOPS 18405 HAS SOUS 15840 HAS SOUPS 13173 WITH SCORE 13197.471
AT ITER 588 NEW BEST:: SOT 39537 SOS 24460 HAS SOPS 18366 HAS SOUS 15820 HAS SOUPS 13134 WITH SCORE 13158.46
AT ITER 599 NEW BEST:: SOT 39501 SOS 24424 HAS SOPS 18330 HAS SOUS 15784 HAS SOUPS 13098 WITH SCORE 13122.424
AT ITER 608 NEW BEST:: SOT 39504 SOS 24427 HAS SOPS 18336 HAS SOUS 15778 HAS SOUPS 13092 WITH SCORE 13116.427
AT ITER 613 NEW BEST:: SOT 39504 SOS 24436 HAS SOPS 18307 HAS SOUS 15749 HAS SOUPS 13063 WITH SCORE 13087.436
AT ITER 623 NEW BEST:: SOT 39554 SOS 24401 HAS SOPS 18374 HAS SOUS 15714 HAS SOUPS 13062 WITH SCORE 13086.401
AT ITER 626 NEW BEST:: SOT 39524 SOS 24440 HAS SOPS 18314 HAS SOUS 15751 HAS SOUPS 13002 WITH SCORE 13026.44
AT ITER 635 NEW BEST:: SOT 39467 SOS 24343 HAS SOPS 18273 HAS SOUS 15571 HAS SOUPS 12850 WITH SCORE 12874.343
AT ITER 643 NEW BEST:: SOT 39467 SOS 24327 HAS SOPS 18270 HAS SOUS 15567 HAS SOUPS 12847 WITH SCORE 12871.327
AT ITER 646 NEW BEST:: SOT 39441 SOS 24282 HAS SOPS 18220 HAS SOUS 15517 HAS SOUPS 12797 WITH SCORE 12821.282
AT ITER 653 NEW BEST:: SOT 38964 SOS 23974 HAS SOPS 17914 HAS SOUS 15125 HAS SOUPS 12405 WITH SCORE 12428.974
AT ITER 654 NEW BEST:: SOT 38622 SOS 23810 HAS SOPS 17490 HAS SOUS 15178 HAS SOUPS 12309 WITH SCORE 12332.81
AT ITER 658 NEW BEST:: SOT 38686 SOS 23899 HAS SOPS 17511 HAS SOUS 15177 HAS SOUPS 12308 WITH SCORE 12331.899
AT ITER 665 NEW BEST:: SOT 38686 SOS 23874 HAS SOPS 17486 HAS SOUS 15172 HAS SOUPS 12303 WITH SCORE 12326.874
AT ITER 672 NEW BEST:: SOT 38687 SOS 23875 HAS SOPS 17480 HAS SOUS 15173 HAS SOUPS 12297 WITH SCORE 12320.875
AT ITER 675 NEW BEST:: SOT 38663 SOS 23859 HAS SOPS 17460 HAS SOUS 15149 HAS SOUPS 12273 WITH SCORE 12296.859
AT ITER 684 NEW BEST:: SOT 38662 SOS 23858 HAS SOPS 17458 HAS SOUS 15148 HAS SOUPS 12271 WITH SCORE 12294.858
AT ITER 706 NEW BEST:: SOT 38446 SOS 23637 HAS SOPS 17183 HAS SOUS 15142 HAS SOUPS 12239 WITH SCORE 12262.637
AT ITER 710 NEW BEST:: SOT 38419 SOS 23610 HAS SOPS 17157 HAS SOUS 15111 HAS SOUPS 12213 WITH SCORE 12236.61
AT ITER 713 NEW BEST:: SOT 38362 SOS 23553 HAS SOPS 17113 HAS SOUS 15067 HAS SOUPS 12169 WITH SCORE 12192.553
AT ITER 719 NEW BEST:: SOT 38173 SOS 23453 HAS SOPS 17259 HAS SOUS 14971 HAS SOUPS 12099 WITH SCORE 12122.453
AT ITER 734 NEW BEST:: SOT 37808 SOS 23058 HAS SOPS 16864 HAS SOUS 14576 HAS SOUPS 11704 WITH SCORE 11727.058
AT ITER 743 NEW BEST:: SOT 37906 SOS 23156 HAS SOPS 17000 HAS SOUS 14462 HAS SOUPS 11609 WITH SCORE 11632.156
AT ITER 750 NEW BEST:: SOT 37900 SOS 23150 HAS SOPS 16994 HAS SOUS 14456 HAS SOUPS 11603 WITH SCORE 11626.15
AT ITER 754 NEW BEST:: SOT 37896 SOS 23146 HAS SOPS 16986 HAS SOUS 14452 HAS SOUPS 11595 WITH SCORE 11618.146
AT ITER 767 NEW BEST:: SOT 37816 SOS 22912 HAS SOPS 16646 HAS SOUS 14240 HAS SOUPS 11383 WITH SCORE 11405.912
AT ITER 779 NEW BEST:: SOT 37804 SOS 22900 HAS SOPS 16629 HAS SOUS 14228 HAS SOUPS 11366 WITH SCORE 11388.9
AT ITER 801 NEW BEST:: SOT 37868 SOS 22964 HAS SOPS 16555 HAS SOUS 14154 HAS SOUPS 11292 WITH SCORE 11314.964
AT ITER 807 NEW BEST:: SOT 37866 SOS 22962 HAS SOPS 16546 HAS SOUS 14150 HAS SOUPS 11283 WITH SCORE 11305.962
AT ITER 809 NEW BEST:: SOT 37866 SOS 22979 HAS SOPS 16705 HAS SOUS 14121 HAS SOUPS 11254 WITH SCORE 11276.979
AT ITER 822 NEW BEST:: SOT 37852 SOS 22965 HAS SOPS 16691 HAS SOUS 14107 HAS SOUPS 11240 WITH SCORE 11262.965
AT ITER 840 NEW BEST:: SOT 37792 SOS 22929 HAS SOPS 16631 HAS SOUS 14047 HAS SOUPS 11180 WITH SCORE 11202.929
AT ITER 852 NEW BEST:: SOT 37794 SOS 22932 HAS SOPS 16639 HAS SOUS 14023 HAS SOUPS 11158 WITH SCORE 11180.932
AT ITER 855 NEW BEST:: SOT 37788 SOS 22926 HAS SOPS 16633 HAS SOUS 14017 HAS SOUPS 11152 WITH SCORE 11174.926
AT ITER 868 NEW BEST:: SOT 37746 SOS 22898 HAS SOPS 16556 HAS SOUS 13933 HAS SOUPS 11068 WITH SCORE 11090.898
AT ITER 878 NEW BEST:: SOT 37747 SOS 22899 HAS SOPS 16545 HAS SOUS 13934 HAS SOUPS 11057 WITH SCORE 11079.899
AT ITER 894 NEW BEST:: SOT 37749 SOS 22901 HAS SOPS 16527 HAS SOUS 13936 HAS SOUPS 11039 WITH SCORE 11061.901
AT ITER 902 NEW BEST:: SOT 37644 SOS 22884 HAS SOPS 16420 HAS SOUS 13859 HAS SOUPS 10932 WITH SCORE 10954.884
AT ITER 903 NEW BEST:: SOT 37656 SOS 22896 HAS SOPS 16414 HAS SOUS 13894 HAS SOUPS 10926 WITH SCORE 10948.896
AT ITER 965 NEW BEST:: SOT 37656 SOS 22884 HAS SOPS 16399 HAS SOUS 13876 HAS SOUPS 10911 WITH SCORE 10933.884
AT ITER 980 NEW BEST:: SOT 37654 SOS 22933 HAS SOPS 16395 HAS SOUS 13944 HAS SOUPS 10907 WITH SCORE 10929.933
AT ITER 1005 NEW BEST:: SOT 37594 SOS 22902 HAS SOPS 16322 HAS SOUS 13951 HAS SOUPS 10878 WITH SCORE 10900.902
AT ITER 1015 NEW BEST:: SOT 37587 SOS 22895 HAS SOPS 16311 HAS SOUS 13940 HAS SOUPS 10867 WITH SCORE 10889.895
AT ITER 1040 NEW BEST:: SOT 37587 SOS 22887 HAS SOPS 16303 HAS SOUS 13938 HAS SOUPS 10865 WITH SCORE 10887.887
AT ITER 1052 NEW BEST:: SOT 37542 SOS 22842 HAS SOPS 16249 HAS SOUS 13893 HAS SOUPS 10811 WITH SCORE 10833.842
AT ITER 1070 NEW BEST:: SOT 37540 SOS 22840 HAS SOPS 16238 HAS SOUS 13882 HAS SOUPS 10800 WITH SCORE 10822.84
AT ITER 1072 NEW BEST:: SOT 37563 SOS 22863 HAS SOPS 16165 HAS SOUS 13809 HAS SOUPS 10727 WITH SCORE 10749.863
AT ITER 1093 NEW BEST:: SOT 37563 SOS 22877 HAS SOPS 15999 HAS SOUS 13641 HAS SOUPS 10559 WITH SCORE 10581.877
AT ITER 1119 NEW BEST:: SOT 37571 SOS 22893 HAS SOPS 16015 HAS SOUS 13625 HAS SOUPS 10543 WITH SCORE 10565.893
AT ITER 1127 NEW BEST:: SOT 37568 SOS 22890 HAS SOPS 16009 HAS SOUS 13622 HAS SOUPS 10537 WITH SCORE 10559.89
AT ITER 1135 NEW BEST:: SOT 37568 SOS 22711 HAS SOPS 16003 HAS SOUS 13469 HAS SOUPS 10531 WITH SCORE 10553.711
AT ITER 1143 NEW BEST:: SOT 37512 SOS 22647 HAS SOPS 15931 HAS SOUS 13401 HAS SOUPS 10463 WITH SCORE 10485.647
AT ITER 1178 NEW BEST:: SOT 37491 SOS 22626 HAS SOPS 15909 HAS SOUS 13380 HAS SOUPS 10441 WITH SCORE 10463.626
AT ITER 1183 NEW BEST:: SOT 37487 SOS 22597 HAS SOPS 15901 HAS SOUS 13346 HAS SOUPS 10433 WITH SCORE 10455.597
AT ITER 1195 NEW BEST:: SOT 37523 SOS 22633 HAS SOPS 15883 HAS SOUS 13376 HAS SOUPS 10425 WITH SCORE 10447.633
AT ITER 1210 NEW BEST:: SOT 37523 SOS 22633 HAS SOPS 15879 HAS SOUS 13372 HAS SOUPS 10421 WITH SCORE 10443.633
AT ITER 1219 NEW BEST:: SOT 37556 SOS 22668 HAS SOPS 15921 HAS SOUS 13345 HAS SOUPS 10401 WITH SCORE 10423.668
AT ITER 1224 NEW BEST:: SOT 37497 SOS 22592 HAS SOPS 15905 HAS SOUS 13329 HAS SOUPS 10385 WITH SCORE 10407.592
AT ITER 1235 NEW BEST:: SOT 37500 SOS 22598 HAS SOPS 15911 HAS SOUS 13323 HAS SOUPS 10379 WITH SCORE 10401.598
AT ITER 1238 NEW BEST:: SOT 37497 SOS 22596 HAS SOPS 15909 HAS SOUS 13322 HAS SOUPS 10378 WITH SCORE 10400.596
AT ITER 1239 NEW BEST:: SOT 37489 SOS 22587 HAS SOPS 15900 HAS SOUS 13313 HAS SOUPS 10369 WITH SCORE 10391.587
AT ITER 1247 NEW BEST:: SOT 37495 SOS 22551 HAS SOPS 15906 HAS SOUS 13289 HAS SOUPS 10351 WITH SCORE 10373.551
AT ITER 1254 NEW BEST:: SOT 37484 SOS 22540 HAS SOPS 15895 HAS SOUS 13278 HAS SOUPS 10340 WITH SCORE 10362.54
AT ITER 1255 NEW BEST:: SOT 37458 SOS 22547 HAS SOPS 15861 HAS SOUS 13264 HAS SOUPS 10318 WITH SCORE 10340.547
AT ITER 1274 NEW BEST:: SOT 37571 SOS 22656 HAS SOPS 16046 HAS SOUS 13171 HAS SOUPS 10247 WITH SCORE 10269.656
AT ITER 1278 NEW BEST:: SOT 37561 SOS 22626 HAS SOPS 16006 HAS SOUS 13141 HAS SOUPS 10217 WITH SCORE 10239.626
AT ITER 1284 NEW BEST:: SOT 37550 SOS 22615 HAS SOPS 15984 HAS SOUS 13119 HAS SOUPS 10195 WITH SCORE 10217.615
AT ITER 1291 NEW BEST:: SOT 37543 SOS 22608 HAS SOPS 15977 HAS SOUS 13112 HAS SOUPS 10188 WITH SCORE 10210.608
AT ITER 1307 NEW BEST:: SOT 37500 SOS 22565 HAS SOPS 15969 HAS SOUS 13069 HAS SOUPS 10180 WITH SCORE 10202.565
AT ITER 1311 NEW BEST:: SOT 37500 SOS 22527 HAS SOPS 15931 HAS SOUS 13059 HAS SOUPS 10170 WITH SCORE 10192.527
AT ITER 1322 NEW BEST:: SOT 37479 SOS 22506 HAS SOPS 15889 HAS SOUS 13017 HAS SOUPS 10128 WITH SCORE 10150.506
AT ITER 1329 NEW BEST:: SOT 37482 SOS 22522 HAS SOPS 15908 HAS SOUS 12995 HAS SOUPS 10109 WITH SCORE 10131.522
AT ITER 1331 NEW BEST:: SOT 37467 SOS 22507 HAS SOPS 15893 HAS SOUS 12980 HAS SOUPS 10094 WITH SCORE 10116.507
AT ITER 1361 NEW BEST:: SOT 37449 SOS 22489 HAS SOPS 15857 HAS SOUS 12962 HAS SOUPS 10058 WITH SCORE 10080.489
AT ITER 1363 NEW BEST:: SOT 37445 SOS 22482 HAS SOPS 15855 HAS SOUS 12954 HAS SOUPS 10056 WITH SCORE 10078.482
AT ITER 1365 NEW BEST:: SOT 37445 SOS 22470 HAS SOPS 15843 HAS SOUS 12953 HAS SOUPS 10055 WITH SCORE 10077.47
AT ITER 1368 NEW BEST:: SOT 37450 SOS 22475 HAS SOPS 15839 HAS SOUS 12958 HAS SOUPS 10051 WITH SCORE 10073.475
AT ITER 1369 NEW BEST:: SOT 37450 SOS 22467 HAS SOPS 15795 HAS SOUS 12918 HAS SOUPS 10011 WITH SCORE 10033.467
AT ITER 1383 NEW BEST:: SOT 37425 SOS 22442 HAS SOPS 15747 HAS SOUS 12893 HAS SOUPS 9963 WITH SCORE 9985.442
AT ITER 1384 NEW BEST:: SOT 37417 SOS 22438 HAS SOPS 15743 HAS SOUS 12887 HAS SOUPS 9957 WITH SCORE 9979.438
AT ITER 1393 NEW BEST:: SOT 37417 SOS 22495 HAS SOPS 15742 HAS SOUS 12972 HAS SOUPS 9956 WITH SCORE 9978.495
AT ITER 1449 NEW BEST:: SOT 37389 SOS 22463 HAS SOPS 15710 HAS SOUS 12942 HAS SOUPS 9926 WITH SCORE 9948.463
AT ITER 1453 NEW BEST:: SOT 37522 SOS 22659 HAS SOPS 15821 HAS SOUS 12897 HAS SOUPS 9881 WITH SCORE 9903.659
AT ITER 1499 NEW BEST:: SOT 37505 SOS 22642 HAS SOPS 15804 HAS SOUS 12880 HAS SOUPS 9864 WITH SCORE 9886.642
AT ITER 1512 NEW BEST:: SOT 37465 SOS 22602 HAS SOPS 15777 HAS SOUS 12853 HAS SOUPS 9837 WITH SCORE 9859.602
AT ITER 1523 NEW BEST:: SOT 37440 SOS 22434 HAS SOPS 15759 HAS SOUS 12846 HAS SOUPS 9830 WITH SCORE 9852.434
AT ITER 1531 NEW BEST:: SOT 37427 SOS 22421 HAS SOPS 15739 HAS SOUS 12784 HAS SOUPS 9768 WITH SCORE 9790.421
AT ITER 1550 NEW BEST:: SOT 37427 SOS 22418 HAS SOPS 15739 HAS SOUS 12784 HAS SOUPS 9768 WITH SCORE 9790.418
AT ITER 1551 NEW BEST:: SOT 37421 SOS 22414 HAS SOPS 15734 HAS SOUS 12772 HAS SOUPS 9756 WITH SCORE 9778.414
AT ITER 1570 NEW BEST:: SOT 37394 SOS 22387 HAS SOPS 15691 HAS SOUS 12729 HAS SOUPS 9713 WITH SCORE 9735.387
AT ITER 1580 NEW BEST:: SOT 37304 SOS 22333 HAS SOPS 15679 HAS SOUS 12642 HAS SOUPS 9677 WITH SCORE 9699.333
AT ITER 1681 NEW BEST:: SOT 37288 SOS 22317 HAS SOPS 15663 HAS SOUS 12617 HAS SOUPS 9652 WITH SCORE 9674.317
AT ITER 1686 NEW BEST:: SOT 37316 SOS 22241 HAS SOPS 15566 HAS SOUS 12615 HAS SOUPS 9650 WITH SCORE 9672.241
AT ITER 1688 NEW BEST:: SOT 37315 SOS 22240 HAS SOPS 15564 HAS SOUS 12614 HAS SOUPS 9648 WITH SCORE 9670.24
AT ITER 1690 NEW BEST:: SOT 37198 SOS 22123 HAS SOPS 15487 HAS SOUS 12497 HAS SOUPS 9571 WITH SCORE 9593.123
AT ITER 1692 NEW BEST:: SOT 37172 SOS 22092 HAS SOPS 15461 HAS SOUS 12471 HAS SOUPS 9545 WITH SCORE 9567.092
AT ITER 1703 NEW BEST:: SOT 37151 SOS 22071 HAS SOPS 15450 HAS SOUS 12447 HAS SOUPS 9534 WITH SCORE 9556.071
AT ITER 1723 NEW BEST:: SOT 37150 SOS 22070 HAS SOPS 15446 HAS SOUS 12449 HAS SOUPS 9530 WITH SCORE 9552.07
AT ITER 1747 NEW BEST:: SOT 37145 SOS 22052 HAS SOPS 15436 HAS SOUS 12434 HAS SOUPS 9520 WITH SCORE 9542.052
AT ITER 1759 NEW BEST:: SOT 37137 SOS 22044 HAS SOPS 15424 HAS SOUS 12422 HAS SOUPS 9508 WITH SCORE 9530.044
AT ITER 1766 NEW BEST:: SOT 37134 SOS 22038 HAS SOPS 15418 HAS SOUS 12416 HAS SOUPS 9502 WITH SCORE 9524.038
AT ITER 1780 NEW BEST:: SOT 37134 SOS 22033 HAS SOPS 15413 HAS SOUS 12411 HAS SOUPS 9497 WITH SCORE 9519.033
AT ITER 1782 NEW BEST:: SOT 37132 SOS 22031 HAS SOPS 15410 HAS SOUS 12409 HAS SOUPS 9494 WITH SCORE 9516.031
AT ITER 1789 NEW BEST:: SOT 37103 SOS 21983 HAS SOPS 15376 HAS SOUS 12231 HAS SOUPS 9330 WITH SCORE 9351.983
AT ITER 1797 NEW BEST:: SOT 37093 SOS 21973 HAS SOPS 15366 HAS SOUS 12212 HAS SOUPS 9320 WITH SCORE 9341.973
AT ITER 1812 NEW BEST:: SOT 37045 SOS 21912 HAS SOPS 15305 HAS SOUS 12164 HAS SOUPS 9272 WITH SCORE 9293.912
AT ITER 1828 NEW BEST:: SOT 37046 SOS 21905 HAS SOPS 15299 HAS SOUS 12134 HAS SOUPS 9242 WITH SCORE 9263.905
AT ITER 1843 NEW BEST:: SOT 37046 SOS 21904 HAS SOPS 15299 HAS SOUS 12134 HAS SOUPS 9242 WITH SCORE 9263.904
AT ITER 1857 NEW BEST:: SOT 37001 SOS 21850 HAS SOPS 15253 HAS SOUS 12002 HAS SOUPS 9118 WITH SCORE 9139.85
AT ITER 1929 NEW BEST:: SOT 36789 SOS 22167 HAS SOPS 15021 HAS SOUS 11990 HAS SOUPS 9035 WITH SCORE 9057.167
AT ITER 2015 NEW BEST:: SOT 36780 SOS 22158 HAS SOPS 15003 HAS SOUS 11978 HAS SOUPS 9017 WITH SCORE 9039.158
AT ITER 2053 NEW BEST:: SOT 36582 SOS 21960 HAS SOPS 14898 HAS SOUS 11780 HAS SOUPS 8912 WITH SCORE 8933.96
AT ITER 2063 NEW BEST:: SOT 36578 SOS 21956 HAS SOPS 14890 HAS SOUS 11776 HAS SOUPS 8904 WITH SCORE 8925.956
AT ITER 2065 NEW BEST:: SOT 36576 SOS 21954 HAS SOPS 14888 HAS SOUS 11774 HAS SOUPS 8902 WITH SCORE 8923.954
AT ITER 2072 NEW BEST:: SOT 36576 SOS 22071 HAS SOPS 14881 HAS SOUS 11845 HAS SOUPS 8895 WITH SCORE 8917.071
AT ITER 2097 NEW BEST:: SOT 36576 SOS 22070 HAS SOPS 14881 HAS SOUS 11845 HAS SOUPS 8895 WITH SCORE 8917.07
AT ITER 2103 NEW BEST:: SOT 36573 SOS 22067 HAS SOPS 14875 HAS SOUS 11842 HAS SOUPS 8889 WITH SCORE 8911.067
AT ITER 2104 NEW BEST:: SOT 36565 SOS 22101 HAS SOPS 14861 HAS SOUS 11824 HAS SOUPS 8871 WITH SCORE 8893.101
AT ITER 2138 NEW BEST:: SOT 36565 SOS 22090 HAS SOPS 14854 HAS SOUS 11817 HAS SOUPS 8864 WITH SCORE 8886.09
AT ITER 2145 NEW BEST:: SOT 36565 SOS 22044 HAS SOPS 14808 HAS SOUS 11815 HAS SOUPS 8862 WITH SCORE 8884.044
AT ITER 2155 NEW BEST:: SOT 36565 SOS 22030 HAS SOPS 14794 HAS SOUS 11803 HAS SOUPS 8850 WITH SCORE 8872.03
AT ITER 2158 NEW BEST:: SOT 36550 SOS 22015 HAS SOPS 14771 HAS SOUS 11788 HAS SOUPS 8827 WITH SCORE 8849.015
AT ITER 2200 NEW BEST:: SOT 36548 SOS 22013 HAS SOPS 14769 HAS SOUS 11795 HAS SOUPS 8825 WITH SCORE 8847.013
AT ITER 2203 NEW BEST:: SOT 36545 SOS 22011 HAS SOPS 14767 HAS SOUS 11792 HAS SOUPS 8822 WITH SCORE 8844.011
AT ITER 2252 NEW BEST:: SOT 36506 SOS 21959 HAS SOPS 14715 HAS SOUS 11740 HAS SOUPS 8770 WITH SCORE 8791.959
AT ITER 2306 NEW BEST:: SOT 36506 SOS 21955 HAS SOPS 14715 HAS SOUS 11740 HAS SOUPS 8770 WITH SCORE 8791.955
AT ITER 2372 NEW BEST:: SOT 36506 SOS 21949 HAS SOPS 14709 HAS SOUS 11719 HAS SOUPS 8749 WITH SCORE 8770.949
AT ITER 2375 NEW BEST:: SOT 36501 SOS 21939 HAS SOPS 14699 HAS SOUS 11709 HAS SOUPS 8739 WITH SCORE 8760.939
AT ITER 2376 NEW BEST:: SOT 36504 SOS 22097 HAS SOPS 14684 HAS SOUS 11800 HAS SOUPS 8724 WITH SCORE 8746.097
AT ITER 2406 NEW BEST:: SOT 36500 SOS 22093 HAS SOPS 14676 HAS SOUS 11803 HAS SOUPS 8716 WITH SCORE 8738.093
AT ITER 2418 NEW BEST:: SOT 36473 SOS 22066 HAS SOPS 14649 HAS SOUS 11772 HAS SOUPS 8685 WITH SCORE 8707.066
AT ITER 2438 NEW BEST:: SOT 36468 SOS 22030 HAS SOPS 14627 HAS SOUS 11750 HAS SOUPS 8663 WITH SCORE 8685.03
AT ITER 2441 NEW BEST:: SOT 36468 SOS 22026 HAS SOPS 14627 HAS SOUS 11741 HAS SOUPS 8663 WITH SCORE 8685.026
AT ITER 2450 NEW BEST:: SOT 36467 SOS 22025 HAS SOPS 14614 HAS SOUS 11731 HAS SOUPS 8650 WITH SCORE 8672.025
AT ITER 2462 NEW BEST:: SOT 36461 SOS 22019 HAS SOPS 14608 HAS SOUS 11725 HAS SOUPS 8644 WITH SCORE 8666.019
AT ITER 2541 NEW BEST:: SOT 36457 SOS 22015 HAS SOPS 14604 HAS SOUS 11721 HAS SOUPS 8640 WITH SCORE 8662.015
AT ITER 2545 NEW BEST:: SOT 36450 SOS 22006 HAS SOPS 14594 HAS SOUS 11707 HAS SOUPS 8626 WITH SCORE 8648.006
AT ITER 2570 NEW BEST:: SOT 36446 SOS 21965 HAS SOPS 14586 HAS SOUS 11683 HAS SOUPS 8618 WITH SCORE 8639.965
AT ITER 2576 NEW BEST:: SOT 36446 SOS 21963 HAS SOPS 14585 HAS SOUS 11683 HAS SOUPS 8618 WITH SCORE 8639.963
AT ITER 2590 NEW BEST:: SOT 36399 SOS 21902 HAS SOPS 14484 HAS SOUS 11631 HAS SOUPS 8524 WITH SCORE 8545.902
AT ITER 2646 NEW BEST:: SOT 36399 SOS 21917 HAS SOPS 14471 HAS SOUS 11643 HAS SOUPS 8511 WITH SCORE 8532.917
AT ITER 2703 NEW BEST:: SOT 36396 SOS 21914 HAS SOPS 14465 HAS SOUS 11640 HAS SOUPS 8505 WITH SCORE 8526.914
AT ITER 2709 NEW BEST:: SOT 36389 SOS 21907 HAS SOPS 14453 HAS SOUS 11628 HAS SOUPS 8493 WITH SCORE 8514.907
AT ITER 2741 NEW BEST:: SOT 36378 SOS 21896 HAS SOPS 14431 HAS SOUS 11617 HAS SOUPS 8471 WITH SCORE 8492.896
AT ITER 2776 NEW BEST:: SOT 36350 SOS 21930 HAS SOPS 14461 HAS SOUS 11603 HAS SOUPS 8470 WITH SCORE 8491.93
AT ITER 2791 NEW BEST:: SOT 36466 SOS 22106 HAS SOPS 14653 HAS SOUS 11583 HAS SOUPS 8466 WITH SCORE 8488.106
AT ITER 2840 NEW BEST:: SOT 36488 SOS 22077 HAS SOPS 14703 HAS SOUS 11538 HAS SOUPS 8460 WITH SCORE 8482.077
AT ITER 2846 NEW BEST:: SOT 36488 SOS 22077 HAS SOPS 14702 HAS SOUS 11538 HAS SOUPS 8459 WITH SCORE 8481.077
AT ITER 2849 NEW BEST:: SOT 36479 SOS 22090 HAS SOPS 14712 HAS SOUS 11519 HAS SOUPS 8440 WITH SCORE 8462.09
AT ITER 2854 NEW BEST:: SOT 36478 SOS 22089 HAS SOPS 14710 HAS SOUS 11518 HAS SOUPS 8438 WITH SCORE 8460.089
AT ITER 2864 NEW BEST:: SOT 36475 SOS 22086 HAS SOPS 14705 HAS SOUS 11515 HAS SOUPS 8433 WITH SCORE 8455.086
AT ITER 2885 NEW BEST:: SOT 36475 SOS 22087 HAS SOPS 14706 HAS SOUS 11512 HAS SOUPS 8430 WITH SCORE 8452.087
AT ITER 2895 NEW BEST:: SOT 36474 SOS 22086 HAS SOPS 14704 HAS SOUS 11510 HAS SOUPS 8428 WITH SCORE 8450.086
AT ITER 2945 NEW BEST:: SOT 36483 SOS 21828 HAS SOPS 14750 HAS SOUS 11398 HAS SOUPS 8354 WITH SCORE 8375.828
AT ITER 2953 NEW BEST:: SOT 36471 SOS 21829 HAS SOPS 14739 HAS SOUS 11377 HAS SOUPS 8333 WITH SCORE 8354.829
AT ITER 2965 NEW BEST:: SOT 36352 SOS 21710 HAS SOPS 14722 HAS SOUS 11258 HAS SOUPS 8316 WITH SCORE 8337.71
AT ITER 2979 NEW BEST:: SOT 36338 SOS 21706 HAS SOPS 14703 HAS SOUS 11259 HAS SOUPS 8297 WITH SCORE 8318.706
AT ITER 3095 NEW BEST:: SOT 36327 SOS 21695 HAS SOPS 14686 HAS SOUS 11248 HAS SOUPS 8280 WITH SCORE 8301.695
AT ITER 3112 NEW BEST:: SOT 36338 SOS 21702 HAS SOPS 14701 HAS SOUS 11239 HAS SOUPS 8279 WITH SCORE 8300.702
AT ITER 3151 NEW BEST:: SOT 36344 SOS 21708 HAS SOPS 14700 HAS SOUS 11245 HAS SOUPS 8278 WITH SCORE 8299.708
AT ITER 3188 NEW BEST:: SOT 36350 SOS 21708 HAS SOPS 14721 HAS SOUS 11236 HAS SOUPS 8272 WITH SCORE 8293.708
AT ITER 3224 NEW BEST:: SOT 36350 SOS 21708 HAS SOPS 14718 HAS SOUS 11236 HAS SOUPS 8269 WITH SCORE 8290.708
AT ITER 3236 NEW BEST:: SOT 36350 SOS 21702 HAS SOPS 14712 HAS SOUS 11230 HAS SOUPS 8263 WITH SCORE 8284.702
AT ITER 3242 NEW BEST:: SOT 36329 SOS 21681 HAS SOPS 14677 HAS SOUS 11153 HAS SOUPS 8186 WITH SCORE 8207.681
AT ITER 3254 NEW BEST:: SOT 36323 SOS 21689 HAS SOPS 14667 HAS SOUS 11170 HAS SOUPS 8176 WITH SCORE 8197.689
AT ITER 3274 NEW BEST:: SOT 36413 SOS 21779 HAS SOPS 14768 HAS SOUS 11139 HAS SOUPS 8156 WITH SCORE 8177.779
AT ITER 3293 NEW BEST:: SOT 36413 SOS 21776 HAS SOPS 14765 HAS SOUS 11139 HAS SOUPS 8156 WITH SCORE 8177.776
AT ITER 3324 NEW BEST:: SOT 36406 SOS 21769 HAS SOPS 14752 HAS SOUS 11114 HAS SOUPS 8143 WITH SCORE 8164.769
AT ITER 3380 NEW BEST:: SOT 36403 SOS 21766 HAS SOPS 14746 HAS SOUS 11111 HAS SOUPS 8137 WITH SCORE 8158.766
AT ITER 3419 NEW BEST:: SOT 36402 SOS 21765 HAS SOPS 14744 HAS SOUS 11110 HAS SOUPS 8135 WITH SCORE 8156.765
AT ITER 3427 NEW BEST:: SOT 36402 SOS 21765 HAS SOPS 14737 HAS SOUS 11110 HAS SOUPS 8128 WITH SCORE 8149.765
AT ITER 3476 NEW BEST:: SOT 36393 SOS 21784 HAS SOPS 14728 HAS SOUS 11136 HAS SOUPS 8119 WITH SCORE 8140.784
AT ITER 3491 NEW BEST:: SOT 36387 SOS 21778 HAS SOPS 14716 HAS SOUS 11130 HAS SOUPS 8107 WITH SCORE 8128.778
AT ITER 3523 NEW BEST:: SOT 36343 SOS 21733 HAS SOPS 14661 HAS SOUS 11075 HAS SOUPS 8052 WITH SCORE 8073.733
AT ITER 3534 NEW BEST:: SOT 36338 SOS 21728 HAS SOPS 14656 HAS SOUS 11070 HAS SOUPS 8047 WITH SCORE 8068.728
AT ITER 3566 NEW BEST:: SOT 36338 SOS 21718 HAS SOPS 14646 HAS SOUS 11070 HAS SOUPS 8047 WITH SCORE 8068.718
AT ITER 3601 NEW BEST:: SOT 36246 SOS 21626 HAS SOPS 14638 HAS SOUS 10978 HAS SOUPS 8039 WITH SCORE 8060.626
AT ITER 3604 NEW BEST:: SOT 36246 SOS 21626 HAS SOPS 14633 HAS SOUS 10973 HAS SOUPS 8034 WITH SCORE 8055.626
AT ITER 3606 NEW BEST:: SOT 36244 SOS 21624 HAS SOPS 14629 HAS SOUS 10971 HAS SOUPS 8030 WITH SCORE 8051.624
AT ITER 3608 NEW BEST:: SOT 36220 SOS 21600 HAS SOPS 14601 HAS SOUS 10947 HAS SOUPS 8002 WITH SCORE 8023.6
AT ITER 3640 NEW BEST:: SOT 36218 SOS 21598 HAS SOPS 14597 HAS SOUS 10945 HAS SOUPS 7998 WITH SCORE 8019.598
AT ITER 3642 NEW BEST:: SOT 36204 SOS 21584 HAS SOPS 14577 HAS SOUS 10931 HAS SOUPS 7978 WITH SCORE 7999.584
AT ITER 3754 NEW BEST:: SOT 36120 SOS 21500 HAS SOPS 14487 HAS SOUS 10847 HAS SOUPS 7888 WITH SCORE 7909.5
AT ITER 3824 NEW BEST:: SOT 36115 SOS 21495 HAS SOPS 14482 HAS SOUS 10842 HAS SOUPS 7883 WITH SCORE 7904.495
AT ITER 3831 NEW BEST:: SOT 36115 SOS 21494 HAS SOPS 14481 HAS SOUS 10842 HAS SOUPS 7883 WITH SCORE 7904.494
AT ITER 3842 NEW BEST:: SOT 36115 SOS 21488 HAS SOPS 14475 HAS SOUS 10836 HAS SOUPS 7877 WITH SCORE 7898.488
AT ITER 3855 NEW BEST:: SOT 36114 SOS 21487 HAS SOPS 14473 HAS SOUS 10835 HAS SOUPS 7875 WITH SCORE 7896.487
AT ITER 3867 NEW BEST:: SOT 36111 SOS 21485 HAS SOPS 14469 HAS SOUS 10837 HAS SOUPS 7875 WITH SCORE 7896.485
AT ITER 3898 NEW BEST:: SOT 36111 SOS 21459 HAS SOPS 14462 HAS SOUS 10825 HAS SOUPS 7868 WITH SCORE 7889.459
AT ITER 3903 NEW BEST:: SOT 36352 SOS 21682 HAS SOPS 14735 HAS SOUS 10749 HAS SOUPS 7829 WITH SCORE 7850.682
AT ITER 3945 NEW BEST:: SOT 36352 SOS 21674 HAS SOPS 14727 HAS SOUS 10741 HAS SOUPS 7821 WITH SCORE 7842.674
AT ITER 4055 NEW BEST:: SOT 36352 SOS 21672 HAS SOPS 14725 HAS SOUS 10739 HAS SOUPS 7819 WITH SCORE 7840.672
AT ITER 4088 NEW BEST:: SOT 36352 SOS 21672 HAS SOPS 14724 HAS SOUS 10738 HAS SOUPS 7818 WITH SCORE 7839.672
AT ITER 4118 NEW BEST:: SOT 36347 SOS 21667 HAS SOPS 14719 HAS SOUS 10730 HAS SOUPS 7810 WITH SCORE 7831.667
AT ITER 4135 NEW BEST:: SOT 36342 SOS 21662 HAS SOPS 14714 HAS SOUS 10725 HAS SOUPS 7805 WITH SCORE 7826.662
AT ITER 4193 NEW BEST:: SOT 36350 SOS 21658 HAS SOPS 14706 HAS SOUS 10727 HAS SOUPS 7803 WITH SCORE 7824.658
AT ITER 4223 NEW BEST:: SOT 36350 SOS 21657 HAS SOPS 14706 HAS SOUS 10727 HAS SOUPS 7803 WITH SCORE 7824.657
AT ITER 4242 NEW BEST:: SOT 36335 SOS 21655 HAS SOPS 14692 HAS SOUS 10725 HAS SOUPS 7789 WITH SCORE 7810.655
AT ITER 4251 NEW BEST:: SOT 36331 SOS 21651 HAS SOPS 14688 HAS SOUS 10721 HAS SOUPS 7785 WITH SCORE 7806.651
AT ITER 4257 NEW BEST:: SOT 36277 SOS 21597 HAS SOPS 14678 HAS SOUS 10667 HAS SOUPS 7775 WITH SCORE 7796.597
AT ITER 4293 NEW BEST:: SOT 36281 SOS 21601 HAS SOPS 14658 HAS SOUS 10647 HAS SOUPS 7755 WITH SCORE 7776.601
AT ITER 4307 NEW BEST:: SOT 36281 SOS 21614 HAS SOPS 14656 HAS SOUS 10712 HAS SOUPS 7753 WITH SCORE 7774.614
AT ITER 4434 NEW BEST:: SOT 36324 SOS 21697 HAS SOPS 14642 HAS SOUS 10698 HAS SOUPS 7739 WITH SCORE 7760.697
AT ITER 4453 NEW BEST:: SOT 36317 SOS 21690 HAS SOPS 14618 HAS SOUS 10691 HAS SOUPS 7715 WITH SCORE 7736.69
AT ITER 4456 NEW BEST:: SOT 36189 SOS 21598 HAS SOPS 14473 HAS SOUS 10904 HAS SOUPS 7714 WITH SCORE 7735.598
AT ITER 4466 NEW BEST:: SOT 36184 SOS 21593 HAS SOPS 14463 HAS SOUS 10899 HAS SOUPS 7704 WITH SCORE 7725.593
AT ITER 4553 NEW BEST:: SOT 36184 SOS 21593 HAS SOPS 14445 HAS SOUS 10881 HAS SOUPS 7686 WITH SCORE 7707.593
AT ITER 4591 NEW BEST:: SOT 36184 SOS 21556 HAS SOPS 14408 HAS SOUS 10880 HAS SOUPS 7685 WITH SCORE 7706.556
AT ITER 4629 NEW BEST:: SOT 36180 SOS 21552 HAS SOPS 14403 HAS SOUS 10875 HAS SOUPS 7680 WITH SCORE 7701.552
AT ITER 4659 NEW BEST:: SOT 36088 SOS 21460 HAS SOPS 14311 HAS SOUS 10783 HAS SOUPS 7588 WITH SCORE 7609.46
AT ITER 4668 NEW BEST:: SOT 36061 SOS 21433 HAS SOPS 14275 HAS SOUS 10756 HAS SOUPS 7552 WITH SCORE 7573.433
AT ITER 4783 NEW BEST:: SOT 36061 SOS 21421 HAS SOPS 14274 HAS SOUS 10755 HAS SOUPS 7551 WITH SCORE 7572.421
AT ITER 4792 NEW BEST:: SOT 36055 SOS 21407 HAS SOPS 14246 HAS SOUS 10727 HAS SOUPS 7523 WITH SCORE 7544.407
AT ITER 4816 NEW BEST:: SOT 36055 SOS 21390 HAS SOPS 14246 HAS SOUS 10727 HAS SOUPS 7523 WITH SCORE 7544.39
AT ITER 4829 NEW BEST:: SOT 36055 SOS 21390 HAS SOPS 14246 HAS SOUS 10716 HAS SOUPS 7512 WITH SCORE 7533.39
AT ITER 4832 NEW BEST:: SOT 36054 SOS 21389 HAS SOPS 14244 HAS SOUS 10715 HAS SOUPS 7510 WITH SCORE 7531.389
AT ITER 4882 NEW BEST:: SOT 35680 SOS 21014 HAS SOPS 13830 HAS SOUS 10644 HAS SOUPS 7400 WITH SCORE 7421.014
AT ITER 4885 NEW BEST:: SOT 35678 SOS 21012 HAS SOPS 13821 HAS SOUS 10642 HAS SOUPS 7391 WITH SCORE 7412.012
AT ITER 4893 NEW BEST:: SOT 35677 SOS 21011 HAS SOPS 13819 HAS SOUS 10641 HAS SOUPS 7389 WITH SCORE 7410.011
AT ITER 4922 NEW BEST:: SOT 35677 SOS 21011 HAS SOPS 13814 HAS SOUS 10641 HAS SOUPS 7384 WITH SCORE 7405.011
AT ITER 4968 NEW BEST:: SOT 35667 SOS 20976 HAS SOPS 13809 HAS SOUS 10626 HAS SOUPS 7379 WITH SCORE 7399.976
AT ITER 5175 NEW BEST:: SOT 35679 SOS 20988 HAS SOPS 13791 HAS SOUS 10608 HAS SOUPS 7361 WITH SCORE 7381.988
AT ITER 5194 NEW BEST:: SOT 35671 SOS 20980 HAS SOPS 13783 HAS SOUS 10600 HAS SOUPS 7353 WITH SCORE 7373.98
AT ITER 5207 NEW BEST:: SOT 35671 SOS 20971 HAS SOPS 13779 HAS SOUS 10596 HAS SOUPS 7349 WITH SCORE 7369.971
AT ITER 5244 NEW BEST:: SOT 35671 SOS 20976 HAS SOPS 13775 HAS SOUS 10619 HAS SOUPS 7345 WITH SCORE 7365.976
AT ITER 5307 NEW BEST:: SOT 35640 SOS 20938 HAS SOPS 13748 HAS SOUS 10599 HAS SOUPS 7325 WITH SCORE 7345.938
AT ITER 5314 NEW BEST:: SOT 35638 SOS 20932 HAS SOPS 13744 HAS SOUS 10597 HAS SOUPS 7323 WITH SCORE 7343.932
AT ITER 5359 NEW BEST:: SOT 35636 SOS 20930 HAS SOPS 13744 HAS SOUS 10595 HAS SOUPS 7323 WITH SCORE 7343.93
AT ITER 5367 NEW BEST:: SOT 35629 SOS 20925 HAS SOPS 13744 HAS SOUS 10595 HAS SOUPS 7323 WITH SCORE 7343.925
AT ITER 5477 NEW BEST:: SOT 35626 SOS 20922 HAS SOPS 13738 HAS SOUS 10592 HAS SOUPS 7317 WITH SCORE 7337.922
AT ITER 5497 NEW BEST:: SOT 35547 SOS 20927 HAS SOPS 13655 HAS SOUS 10597 HAS SOUPS 7314 WITH SCORE 7334.927
AT ITER 5504 NEW BEST:: SOT 35514 SOS 20894 HAS SOPS 13621 HAS SOUS 10564 HAS SOUPS 7280 WITH SCORE 7300.894
AT ITER 5550 NEW BEST:: SOT 35514 SOS 20888 HAS SOPS 13621 HAS SOUS 10564 HAS SOUPS 7280 WITH SCORE 7300.888
AT ITER 5574 NEW BEST:: SOT 35519 SOS 20893 HAS SOPS 13619 HAS SOUS 10569 HAS SOUPS 7278 WITH SCORE 7298.893
AT ITER 5595 NEW BEST:: SOT 35518 SOS 20890 HAS SOPS 13617 HAS SOUS 10568 HAS SOUPS 7277 WITH SCORE 7297.89
AT ITER 5764 NEW BEST:: SOT 35564 SOS 20910 HAS SOPS 13749 HAS SOUS 10512 HAS SOUPS 7237 WITH SCORE 7257.91
AT ITER 5800 NEW BEST:: SOT 35564 SOS 20910 HAS SOPS 13748 HAS SOUS 10512 HAS SOUPS 7236 WITH SCORE 7256.91
AT ITER 5835 NEW BEST:: SOT 35564 SOS 20968 HAS SOPS 13806 HAS SOUS 10511 HAS SOUPS 7235 WITH SCORE 7255.968
AT ITER 5922 NEW BEST:: SOT 35558 SOS 20962 HAS SOPS 13800 HAS SOUS 10505 HAS SOUPS 7229 WITH SCORE 7249.962
AT ITER 5965 NEW BEST:: SOT 35555 SOS 20965 HAS SOPS 13797 HAS SOUS 10514 HAS SOUPS 7226 WITH SCORE 7246.965
AT ITER 5996 NEW BEST:: SOT 35552 SOS 20965 HAS SOPS 13790 HAS SOUS 10514 HAS SOUPS 7219 WITH SCORE 7239.965
AT ITER 6081 NEW BEST:: SOT 35549 SOS 20962 HAS SOPS 13784 HAS SOUS 10511 HAS SOUPS 7213 WITH SCORE 7233.962
AT ITER 6082 NEW BEST:: SOT 35549 SOS 20962 HAS SOPS 13784 HAS SOUS 10503 HAS SOUPS 7205 WITH SCORE 7225.962
AT ITER 6102 NEW BEST:: SOT 35549 SOS 20962 HAS SOPS 13781 HAS SOUS 10509 HAS SOUPS 7202 WITH SCORE 7222.962
AT ITER 6125 NEW BEST:: SOT 35547 SOS 20960 HAS SOPS 13777 HAS SOUS 10507 HAS SOUPS 7198 WITH SCORE 7218.96
AT ITER 6139 NEW BEST:: SOT 35541 SOS 20956 HAS SOPS 13773 HAS SOUS 10502 HAS SOUPS 7193 WITH SCORE 7213.956
AT ITER 6217 NEW BEST:: SOT 35541 SOS 20938 HAS SOPS 13755 HAS SOUS 10488 HAS SOUPS 7179 WITH SCORE 7199.938
AT ITER 6228 NEW BEST:: SOT 35530 SOS 20978 HAS SOPS 13744 HAS SOUS 10503 HAS SOUPS 7168 WITH SCORE 7188.978
AT ITER 6282 NEW BEST:: SOT 35542 SOS 21000 HAS SOPS 13728 HAS SOUS 10487 HAS SOUPS 7152 WITH SCORE 7173.0
AT ITER 6292 NEW BEST:: SOT 35540 SOS 20997 HAS SOPS 13726 HAS SOUS 10484 HAS SOUPS 7150 WITH SCORE 7170.997
AT ITER 6299 NEW BEST:: SOT 35540 SOS 20997 HAS SOPS 13722 HAS SOUS 10484 HAS SOUPS 7146 WITH SCORE 7166.997
AT ITER 6329 NEW BEST:: SOT 35538 SOS 20995 HAS SOPS 13722 HAS SOUS 10482 HAS SOUPS 7146 WITH SCORE 7166.995
AT ITER 6350 NEW BEST:: SOT 35538 SOS 20998 HAS SOPS 13714 HAS SOUS 10474 HAS SOUPS 7138 WITH SCORE 7158.998
AT ITER 6366 NEW BEST:: SOT 35536 SOS 20996 HAS SOPS 13712 HAS SOUS 10472 HAS SOUPS 7136 WITH SCORE 7156.996
AT ITER 6368 NEW BEST:: SOT 35535 SOS 20995 HAS SOPS 13710 HAS SOUS 10471 HAS SOUPS 7134 WITH SCORE 7154.995
AT ITER 6415 NEW BEST:: SOT 35542 SOS 21006 HAS SOPS 13718 HAS SOUS 10469 HAS SOUPS 7132 WITH SCORE 7153.006
AT ITER 6477 NEW BEST:: SOT 35539 SOS 21003 HAS SOPS 13715 HAS SOUS 10466 HAS SOUPS 7129 WITH SCORE 7150.003
AT ITER 6489 NEW BEST:: SOT 35539 SOS 21003 HAS SOPS 13713 HAS SOUS 10466 HAS SOUPS 7127 WITH SCORE 7148.003
AT ITER 6595 NEW BEST:: SOT 35539 SOS 20992 HAS SOPS 13713 HAS SOUS 10466 HAS SOUPS 7127 WITH SCORE 7147.992
AT ITER 6671 NEW BEST:: SOT 35534 SOS 20987 HAS SOPS 13703 HAS SOUS 10461 HAS SOUPS 7117 WITH SCORE 7137.987
AT ITER 6753 NEW BEST:: SOT 35534 SOS 20982 HAS SOPS 13698 HAS SOUS 10461 HAS SOUPS 7117 WITH SCORE 7137.982
AT ITER 6787 NEW BEST:: SOT 35515 SOS 20931 HAS SOPS 13679 HAS SOUS 10441 HAS SOUPS 7114 WITH SCORE 7134.931
AT ITER 6847 NEW BEST:: SOT 35515 SOS 20931 HAS SOPS 13677 HAS SOUS 10441 HAS SOUPS 7112 WITH SCORE 7132.931
AT ITER 6947 NEW BEST:: SOT 35514 SOS 20930 HAS SOPS 13676 HAS SOUS 10440 HAS SOUPS 7111 WITH SCORE 7131.93
AT ITER 7002 NEW BEST:: SOT 35506 SOS 20946 HAS SOPS 13668 HAS SOUS 10440 HAS SOUPS 7103 WITH SCORE 7123.946
AT ITER 7133 NEW BEST:: SOT 35425 SOS 20919 HAS SOPS 13650 HAS SOUS 10386 HAS SOUPS 7058 WITH SCORE 7078.919
AT ITER 7177 NEW BEST:: SOT 35424 SOS 20918 HAS SOPS 13648 HAS SOUS 10385 HAS SOUPS 7056 WITH SCORE 7076.918
AT ITER 7183 NEW BEST:: SOT 35426 SOS 20955 HAS SOPS 13646 HAS SOUS 10404 HAS SOUPS 7054 WITH SCORE 7074.955
AT ITER 7221 NEW BEST:: SOT 35421 SOS 20950 HAS SOPS 13636 HAS SOUS 10399 HAS SOUPS 7044 WITH SCORE 7064.95
AT ITER 7236 NEW BEST:: SOT 35419 SOS 20948 HAS SOPS 13632 HAS SOUS 10397 HAS SOUPS 7040 WITH SCORE 7060.948
AT ITER 7249 NEW BEST:: SOT 35415 SOS 20943 HAS SOPS 13621 HAS SOUS 10386 HAS SOUPS 7029 WITH SCORE 7049.943
AT ITER 7276 NEW BEST:: SOT 35412 SOS 20940 HAS SOPS 13615 HAS SOUS 10383 HAS SOUPS 7023 WITH SCORE 7043.94
AT ITER 7349 NEW BEST:: SOT 35407 SOS 20935 HAS SOPS 13605 HAS SOUS 10378 HAS SOUPS 7013 WITH SCORE 7033.935
AT ITER 7420 NEW BEST:: SOT 35387 SOS 20915 HAS SOPS 13585 HAS SOUS 10358 HAS SOUPS 6993 WITH SCORE 7013.915
AT ITER 7428 NEW BEST:: SOT 35384 SOS 20912 HAS SOPS 13581 HAS SOUS 10355 HAS SOUPS 6989 WITH SCORE 7009.912
AT ITER 7776 NEW BEST:: SOT 35383 SOS 20911 HAS SOPS 13579 HAS SOUS 10354 HAS SOUPS 6987 WITH SCORE 7007.911
AT ITER 7814 NEW BEST:: SOT 35381 SOS 20909 HAS SOPS 13576 HAS SOUS 10352 HAS SOUPS 6984 WITH SCORE 7004.909
AT ITER 7817 NEW BEST:: SOT 35378 SOS 20906 HAS SOPS 13572 HAS SOUS 10353 HAS SOUPS 6984 WITH SCORE 7004.906
AT ITER 7871 NEW BEST:: SOT 35373 SOS 20901 HAS SOPS 13565 HAS SOUS 10348 HAS SOUPS 6977 WITH SCORE 6997.901
AT ITER 7895 NEW BEST:: SOT 35373 SOS 20891 HAS SOPS 13560 HAS SOUS 10348 HAS SOUPS 6977 WITH SCORE 6997.891
AT ITER 7968 NEW BEST:: SOT 35365 SOS 20883 HAS SOPS 13544 HAS SOUS 10340 HAS SOUPS 6961 WITH SCORE 6981.883
AT ITER 8039 NEW BEST:: SOT 35363 SOS 20881 HAS SOPS 13540 HAS SOUS 10338 HAS SOUPS 6957 WITH SCORE 6977.881
AT ITER 8070 NEW BEST:: SOT 35362 SOS 20873 HAS SOPS 13538 HAS SOUS 10334 HAS SOUPS 6955 WITH SCORE 6975.873
AT ITER 8227 NEW BEST:: SOT 35360 SOS 20871 HAS SOPS 13534 HAS SOUS 10332 HAS SOUPS 6951 WITH SCORE 6971.871
AT ITER 8281 NEW BEST:: SOT 35330 SOS 20838 HAS SOPS 13513 HAS SOUS 10311 HAS SOUPS 6930 WITH SCORE 6950.838
AT ITER 8311 NEW BEST:: SOT 35329 SOS 20837 HAS SOPS 13513 HAS SOUS 10310 HAS SOUPS 6930 WITH SCORE 6950.837
AT ITER 8320 NEW BEST:: SOT 35280 SOS 20788 HAS SOPS 13506 HAS SOUS 10261 HAS SOUPS 6923 WITH SCORE 6943.788
AT ITER 8325 NEW BEST:: SOT 35271 SOS 20779 HAS SOPS 13497 HAS SOUS 10256 HAS SOUPS 6918 WITH SCORE 6938.779
AT ITER 8410 NEW BEST:: SOT 35240 SOS 20733 HAS SOPS 13451 HAS SOUS 10254 HAS SOUPS 6916 WITH SCORE 6936.733
AT ITER 8428 NEW BEST:: SOT 35238 SOS 20731 HAS SOPS 13447 HAS SOUS 10252 HAS SOUPS 6912 WITH SCORE 6932.731
AT ITER 8516 NEW BEST:: SOT 35238 SOS 20729 HAS SOPS 13445 HAS SOUS 10250 HAS SOUPS 6910 WITH SCORE 6930.729
AT ITER 8563 NEW BEST:: SOT 35225 SOS 20716 HAS SOPS 13430 HAS SOUS 10241 HAS SOUPS 6901 WITH SCORE 6921.716
AT ITER 8607 NEW BEST:: SOT 35166 SOS 20751 HAS SOPS 13361 HAS SOUS 10201 HAS SOUPS 6845 WITH SCORE 6865.751
AT ITER 8620 NEW BEST:: SOT 35166 SOS 20750 HAS SOPS 13360 HAS SOUS 10200 HAS SOUPS 6844 WITH SCORE 6864.75
AT ITER 8716 NEW BEST:: SOT 35162 SOS 20746 HAS SOPS 13358 HAS SOUS 10196 HAS SOUPS 6842 WITH SCORE 6862.746
AT ITER 8760 NEW BEST:: SOT 35159 SOS 20743 HAS SOPS 13352 HAS SOUS 10193 HAS SOUPS 6836 WITH SCORE 6856.743
AT ITER 8845 NEW BEST:: SOT 35149 SOS 20733 HAS SOPS 13342 HAS SOUS 10183 HAS SOUPS 6826 WITH SCORE 6846.733
AT ITER 8875 NEW BEST:: SOT 35142 SOS 20726 HAS SOPS 13328 HAS SOUS 10176 HAS SOUPS 6812 WITH SCORE 6832.726
AT ITER 9065 NEW BEST:: SOT 35157 SOS 20741 HAS SOPS 13348 HAS SOUS 10169 HAS SOUPS 6808 WITH SCORE 6828.741
AT ITER 9075 NEW BEST:: SOT 35152 SOS 20736 HAS SOPS 13338 HAS SOUS 10164 HAS SOUPS 6798 WITH SCORE 6818.736
AT ITER 9090 NEW BEST:: SOT 35147 SOS 20731 HAS SOPS 13328 HAS SOUS 10159 HAS SOUPS 6788 WITH SCORE 6808.731
AT ITER 9093 NEW BEST:: SOT 35143 SOS 20727 HAS SOPS 13326 HAS SOUS 10155 HAS SOUPS 6786 WITH SCORE 6806.727
AT ITER 9114 NEW BEST:: SOT 35146 SOS 20727 HAS SOPS 13320 HAS SOUS 10149 HAS SOUPS 6780 WITH SCORE 6800.727
AT ITER 9194 NEW BEST:: SOT 35136 SOS 20743 HAS SOPS 13315 HAS SOUS 10144 HAS SOUPS 6775 WITH SCORE 6795.743
AT ITER 9219 NEW BEST:: SOT 35136 SOS 20743 HAS SOPS 13315 HAS SOUS 10142 HAS SOUPS 6773 WITH SCORE 6793.743
AT ITER 9226 NEW BEST:: SOT 35128 SOS 20733 HAS SOPS 13303 HAS SOUS 10142 HAS SOUPS 6773 WITH SCORE 6793.733
AT ITER 9231 NEW BEST:: SOT 35121 SOS 20726 HAS SOPS 13289 HAS SOUS 10135 HAS SOUPS 6759 WITH SCORE 6779.726
AT ITER 9241 NEW BEST:: SOT 35120 SOS 20730 HAS SOPS 13293 HAS SOUS 10134 HAS SOUPS 6758 WITH SCORE 6778.73
AT ITER 9249 NEW BEST:: SOT 35127 SOS 20793 HAS SOPS 13314 HAS SOUS 10106 HAS SOUPS 6730 WITH SCORE 6750.793
AT ITER 9415 NEW BEST:: SOT 35066 SOS 20785 HAS SOPS 13251 HAS SOUS 10158 HAS SOUPS 6727 WITH SCORE 6747.785
AT ITER 9565 NEW BEST:: SOT 35063 SOS 20782 HAS SOPS 13250 HAS SOUS 10155 HAS SOUPS 6726 WITH SCORE 6746.782
AT ITER 9572 NEW BEST:: SOT 35061 SOS 20780 HAS SOPS 13245 HAS SOUS 10153 HAS SOUPS 6721 WITH SCORE 6741.78
AT ITER 9583 NEW BEST:: SOT 35059 SOS 20778 HAS SOPS 13241 HAS SOUS 10151 HAS SOUPS 6717 WITH SCORE 6737.778
AT ITER 9757 NEW BEST:: SOT 34979 SOS 20674 HAS SOPS 13137 HAS SOUS 10059 HAS SOUPS 6625 WITH SCORE 6645.674
AT ITER 9789 NEW BEST:: SOT 35003 SOS 20698 HAS SOPS 13165 HAS SOUS 10031 HAS SOUPS 6601 WITH SCORE 6621.698
AT ITER 9835 NEW BEST:: SOT 35005 SOS 20700 HAS SOPS 13163 HAS SOUS 10044 HAS SOUPS 6599 WITH SCORE 6619.7
AT ITER 9947 NEW BEST:: SOT 35005 SOS 20696 HAS SOPS 13161 HAS SOUS 10044 HAS SOUPS 6599 WITH SCORE 6619.696

BK_STOP 1678656728963

--------------------
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: 474 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-6"
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-6, 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-167856421800432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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