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.r459-smll-167912651500600.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 StigmergyElection-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 6.8K Feb 26 16:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 16:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 16:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 16:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 16:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 203K 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 1679434917662

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=StigmergyElection-PT-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 21:42:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 21:42:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 21:42:01] [INFO ] Load time of PNML (sax parser for PT used): 151 ms
[2023-03-21 21:42:01] [INFO ] Transformed 563 places.
[2023-03-21 21:42:01] [INFO ] Transformed 780 transitions.
[2023-03-21 21:42:01] [INFO ] Found NUPN structural information;
[2023-03-21 21:42:01] [INFO ] Parsed PT model containing 563 places and 780 transitions and 2680 arcs in 292 ms.
[2023-03-21 21:42:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 563 places, 780 transitions and 2680 arcs took 14 ms.
Total runtime 355 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 04b
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: 563 places, 780 transitions, 2680 arcs.
AT ITER 0 NEW BEST:: SOT 273723 SOS 51249 HAS SOPS 51249 HAS SOUS 47008 HAS SOUPS 47008 WITH SCORE 47059.249
AT ITER 36 NEW BEST:: SOT 273722 SOS 51247 HAS SOPS 51247 HAS SOUS 47006 HAS SOUPS 47006 WITH SCORE 47057.247
AT ITER 37 NEW BEST:: SOT 273721 SOS 51245 HAS SOPS 51245 HAS SOUS 47004 HAS SOUPS 47004 WITH SCORE 47055.245
AT ITER 43 NEW BEST:: SOT 273721 SOS 51070 HAS SOPS 51070 HAS SOUS 47004 HAS SOUPS 47004 WITH SCORE 47055.07
AT ITER 44 NEW BEST:: SOT 273588 SOS 51180 HAS SOPS 51180 HAS SOUS 46918 HAS SOUPS 46918 WITH SCORE 46969.18
AT ITER 52 NEW BEST:: SOT 273521 SOS 51141 HAS SOPS 51141 HAS SOUS 46878 HAS SOUPS 46878 WITH SCORE 46929.141
AT ITER 60 NEW BEST:: SOT 273518 SOS 51138 HAS SOPS 51138 HAS SOUS 46875 HAS SOUPS 46875 WITH SCORE 46926.138
AT ITER 63 NEW BEST:: SOT 273517 SOS 51136 HAS SOPS 51136 HAS SOUS 46873 HAS SOUPS 46873 WITH SCORE 46924.136
AT ITER 64 NEW BEST:: SOT 273431 SOS 50964 HAS SOPS 50964 HAS SOUS 46683 HAS SOUPS 46683 WITH SCORE 46733.964
AT ITER 93 NEW BEST:: SOT 273398 SOS 50898 HAS SOPS 50898 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46695.898
AT ITER 103 NEW BEST:: SOT 273174 SOS 51986 HAS SOPS 51986 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46581.986
AT ITER 107 NEW BEST:: SOT 272957 SOS 51760 HAS SOPS 51760 HAS SOUS 46340 HAS SOUPS 46340 WITH SCORE 46391.76
AT ITER 199 NEW BEST:: SOT 272955 SOS 51756 HAS SOPS 51756 HAS SOUS 46336 HAS SOUPS 46336 WITH SCORE 46387.756
AT ITER 213 NEW BEST:: SOT 272907 SOS 51558 HAS SOPS 51558 HAS SOUS 46255 HAS SOUPS 46255 WITH SCORE 46306.558
AT ITER 220 NEW BEST:: SOT 272906 SOS 51556 HAS SOPS 51556 HAS SOUS 46253 HAS SOUPS 46253 WITH SCORE 46304.556
AT ITER 239 NEW BEST:: SOT 272858 SOS 52681 HAS SOPS 52681 HAS SOUS 46156 HAS SOUPS 46156 WITH SCORE 46208.681
AT ITER 281 NEW BEST:: SOT 272802 SOS 54270 HAS SOPS 54270 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46094.27
AT ITER 284 NEW BEST:: SOT 271777 SOS 55418 HAS SOPS 55418 HAS SOUS 45209 HAS SOUPS 45209 WITH SCORE 45264.418
AT ITER 287 NEW BEST:: SOT 271738 SOS 55388 HAS SOPS 55388 HAS SOUS 45174 HAS SOUPS 45174 WITH SCORE 45229.388
AT ITER 297 NEW BEST:: SOT 270348 SOS 54788 HAS SOPS 54788 HAS SOUS 43825 HAS SOUPS 43825 WITH SCORE 43879.788
AT ITER 307 NEW BEST:: SOT 270257 SOS 54692 HAS SOPS 54692 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43791.692
AT ITER 312 NEW BEST:: SOT 270257 SOS 54692 HAS SOPS 54692 HAS SOUS 43720 HAS SOUPS 43720 WITH SCORE 43774.692
AT ITER 334 NEW BEST:: SOT 270194 SOS 54566 HAS SOPS 54566 HAS SOUS 43594 HAS SOUPS 43594 WITH SCORE 43648.566
AT ITER 361 NEW BEST:: SOT 270193 SOS 54564 HAS SOPS 54564 HAS SOUS 43592 HAS SOUPS 43592 WITH SCORE 43646.564
AT ITER 374 NEW BEST:: SOT 270180 SOS 54553 HAS SOPS 54553 HAS SOUS 43580 HAS SOUPS 43580 WITH SCORE 43634.553
AT ITER 386 NEW BEST:: SOT 270170 SOS 54523 HAS SOPS 54523 HAS SOUS 43566 HAS SOUPS 43566 WITH SCORE 43620.523
AT ITER 390 NEW BEST:: SOT 270135 SOS 54453 HAS SOPS 54453 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43550.453
AT ITER 405 NEW BEST:: SOT 270179 SOS 54544 HAS SOPS 54544 HAS SOUS 43453 HAS SOUPS 43453 WITH SCORE 43507.544
AT ITER 417 NEW BEST:: SOT 270174 SOS 54539 HAS SOPS 54539 HAS SOUS 43448 HAS SOUPS 43448 WITH SCORE 43502.539
AT ITER 433 NEW BEST:: SOT 270167 SOS 54525 HAS SOPS 54525 HAS SOUS 43441 HAS SOUPS 43441 WITH SCORE 43495.525
AT ITER 435 NEW BEST:: SOT 268387 SOS 53157 HAS SOPS 53157 HAS SOUS 41725 HAS SOUPS 41725 WITH SCORE 41778.157
AT ITER 438 NEW BEST:: SOT 267818 SOS 52656 HAS SOPS 52656 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41291.656
AT ITER 439 NEW BEST:: SOT 267305 SOS 55585 HAS SOPS 55585 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40930.585
AT ITER 448 NEW BEST:: SOT 267304 SOS 55583 HAS SOPS 55583 HAS SOUS 40873 HAS SOUPS 40873 WITH SCORE 40928.583
AT ITER 462 NEW BEST:: SOT 267304 SOS 55563 HAS SOPS 55563 HAS SOUS 40873 HAS SOUPS 40873 WITH SCORE 40928.563
AT ITER 481 NEW BEST:: SOT 267267 SOS 55489 HAS SOPS 55489 HAS SOUS 40795 HAS SOUPS 40795 WITH SCORE 40850.489
AT ITER 538 NEW BEST:: SOT 267231 SOS 55417 HAS SOPS 55417 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40745.417
AT ITER 579 NEW BEST:: SOT 267231 SOS 55417 HAS SOPS 55417 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40682.417
AT ITER 590 NEW BEST:: SOT 267231 SOS 55409 HAS SOPS 55409 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40682.409
AT ITER 604 NEW BEST:: SOT 267208 SOS 55363 HAS SOPS 55363 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40606.363
AT ITER 611 NEW BEST:: SOT 267224 SOS 55451 HAS SOPS 55451 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40585.451
AT ITER 616 NEW BEST:: SOT 267208 SOS 55437 HAS SOPS 55437 HAS SOUS 40515 HAS SOUPS 40515 WITH SCORE 40570.437
AT ITER 643 NEW BEST:: SOT 267185 SOS 55413 HAS SOPS 55413 HAS SOUS 40491 HAS SOUPS 40491 WITH SCORE 40546.413
AT ITER 671 NEW BEST:: SOT 267152 SOS 55347 HAS SOPS 55347 HAS SOUS 40378 HAS SOUPS 40378 WITH SCORE 40433.347
AT ITER 676 NEW BEST:: SOT 267107 SOS 55257 HAS SOPS 55257 HAS SOUS 40333 HAS SOUPS 40333 WITH SCORE 40388.257
AT ITER 683 NEW BEST:: SOT 267107 SOS 55255 HAS SOPS 55255 HAS SOUS 40331 HAS SOUPS 40331 WITH SCORE 40386.255
AT ITER 709 NEW BEST:: SOT 267107 SOS 55220 HAS SOPS 55220 HAS SOUS 40296 HAS SOUPS 40296 WITH SCORE 40351.22
AT ITER 723 NEW BEST:: SOT 267093 SOS 55192 HAS SOPS 55192 HAS SOUS 40280 HAS SOUPS 40280 WITH SCORE 40335.192
AT ITER 728 NEW BEST:: SOT 267074 SOS 55173 HAS SOPS 55173 HAS SOUS 40261 HAS SOUPS 40261 WITH SCORE 40316.173
AT ITER 759 NEW BEST:: SOT 267050 SOS 55125 HAS SOPS 55125 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40292.125
AT ITER 773 NEW BEST:: SOT 267050 SOS 55079 HAS SOPS 55079 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40292.079
AT ITER 774 NEW BEST:: SOT 267050 SOS 55005 HAS SOPS 55005 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40292.005
AT ITER 811 NEW BEST:: SOT 267030 SOS 54965 HAS SOPS 54965 HAS SOUS 40217 HAS SOUPS 40217 WITH SCORE 40271.965
AT ITER 822 NEW BEST:: SOT 267045 SOS 54896 HAS SOPS 54896 HAS SOUS 40148 HAS SOUPS 40148 WITH SCORE 40202.896
AT ITER 873 NEW BEST:: SOT 267045 SOS 54875 HAS SOPS 54875 HAS SOUS 40127 HAS SOUPS 40127 WITH SCORE 40181.875
AT ITER 881 NEW BEST:: SOT 267007 SOS 54799 HAS SOPS 54799 HAS SOUS 40087 HAS SOUPS 40087 WITH SCORE 40141.799
AT ITER 890 NEW BEST:: SOT 265747 SOS 53986 HAS SOPS 53986 HAS SOUS 39383 HAS SOUPS 39383 WITH SCORE 39436.986
AT ITER 915 NEW BEST:: SOT 265637 SOS 53766 HAS SOPS 53766 HAS SOUS 39273 HAS SOUPS 39273 WITH SCORE 39326.766
AT ITER 959 NEW BEST:: SOT 264932 SOS 55390 HAS SOPS 55390 HAS SOUS 38936 HAS SOUPS 38936 WITH SCORE 38991.39
AT ITER 967 NEW BEST:: SOT 264919 SOS 55377 HAS SOPS 55377 HAS SOUS 38923 HAS SOUPS 38923 WITH SCORE 38978.377
AT ITER 985 NEW BEST:: SOT 264919 SOS 55360 HAS SOPS 55360 HAS SOUS 38906 HAS SOUPS 38906 WITH SCORE 38961.36
AT ITER 1053 NEW BEST:: SOT 264908 SOS 55349 HAS SOPS 55349 HAS SOUS 38895 HAS SOUPS 38895 WITH SCORE 38950.349
AT ITER 1055 NEW BEST:: SOT 264888 SOS 55309 HAS SOPS 55309 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38930.309
AT ITER 1074 NEW BEST:: SOT 264853 SOS 55239 HAS SOPS 55239 HAS SOUS 38805 HAS SOUPS 38805 WITH SCORE 38860.239
AT ITER 1095 NEW BEST:: SOT 264851 SOS 55235 HAS SOPS 55235 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38856.235
AT ITER 1101 NEW BEST:: SOT 264863 SOS 55259 HAS SOPS 55259 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38802.259
AT ITER 1102 NEW BEST:: SOT 264848 SOS 55229 HAS SOPS 55229 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38799.229
AT ITER 1110 NEW BEST:: SOT 264752 SOS 54959 HAS SOPS 54959 HAS SOUS 38615 HAS SOUPS 38615 WITH SCORE 38669.959
AT ITER 1161 NEW BEST:: SOT 264664 SOS 54871 HAS SOPS 54871 HAS SOUS 38527 HAS SOUPS 38527 WITH SCORE 38581.871
AT ITER 1164 NEW BEST:: SOT 264608 SOS 54815 HAS SOPS 54815 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38525.815
AT ITER 1166 NEW BEST:: SOT 264560 SOS 54719 HAS SOPS 54719 HAS SOUS 38375 HAS SOUPS 38375 WITH SCORE 38429.719
AT ITER 1175 NEW BEST:: SOT 264560 SOS 54698 HAS SOPS 54698 HAS SOUS 38375 HAS SOUPS 38375 WITH SCORE 38429.698
AT ITER 1176 NEW BEST:: SOT 264512 SOS 54602 HAS SOPS 54602 HAS SOUS 38327 HAS SOUPS 38327 WITH SCORE 38381.602
AT ITER 1185 NEW BEST:: SOT 264526 SOS 56716 HAS SOPS 56716 HAS SOUS 38322 HAS SOUPS 38322 WITH SCORE 38378.716
AT ITER 1199 NEW BEST:: SOT 264521 SOS 56716 HAS SOPS 56716 HAS SOUS 38314 HAS SOUPS 38314 WITH SCORE 38370.716
AT ITER 1246 NEW BEST:: SOT 264497 SOS 56692 HAS SOPS 56692 HAS SOUS 38290 HAS SOUPS 38290 WITH SCORE 38346.692
AT ITER 1269 NEW BEST:: SOT 264461 SOS 56620 HAS SOPS 56620 HAS SOUS 38218 HAS SOUPS 38218 WITH SCORE 38274.62
AT ITER 1278 NEW BEST:: SOT 264394 SOS 56486 HAS SOPS 56486 HAS SOUS 38151 HAS SOUPS 38151 WITH SCORE 38207.486
AT ITER 1320 NEW BEST:: SOT 264380 SOS 56474 HAS SOPS 56474 HAS SOUS 38139 HAS SOUPS 38139 WITH SCORE 38195.474
AT ITER 1339 NEW BEST:: SOT 264355 SOS 56424 HAS SOPS 56424 HAS SOUS 38089 HAS SOUPS 38089 WITH SCORE 38145.424
AT ITER 1356 NEW BEST:: SOT 264328 SOS 56370 HAS SOPS 56370 HAS SOUS 38062 HAS SOUPS 38062 WITH SCORE 38118.37
AT ITER 1384 NEW BEST:: SOT 264295 SOS 56304 HAS SOPS 56304 HAS SOUS 38029 HAS SOUPS 38029 WITH SCORE 38085.304
AT ITER 1386 NEW BEST:: SOT 264230 SOS 56642 HAS SOPS 56642 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38039.642
AT ITER 1399 NEW BEST:: SOT 264228 SOS 56638 HAS SOPS 56638 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38035.638
AT ITER 1424 NEW BEST:: SOT 264143 SOS 56468 HAS SOPS 56468 HAS SOUS 37809 HAS SOUPS 37809 WITH SCORE 37865.468
AT ITER 1449 NEW BEST:: SOT 264015 SOS 56754 HAS SOPS 56754 HAS SOUS 37758 HAS SOUPS 37758 WITH SCORE 37814.754
AT ITER 1462 NEW BEST:: SOT 263762 SOS 56488 HAS SOPS 56488 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37584.488
AT ITER 1465 NEW BEST:: SOT 263759 SOS 56482 HAS SOPS 56482 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37578.482
AT ITER 1500 NEW BEST:: SOT 263679 SOS 56322 HAS SOPS 56322 HAS SOUS 37442 HAS SOUPS 37442 WITH SCORE 37498.322
AT ITER 1528 NEW BEST:: SOT 263647 SOS 56258 HAS SOPS 56258 HAS SOUS 37410 HAS SOUPS 37410 WITH SCORE 37466.258
AT ITER 1533 NEW BEST:: SOT 263615 SOS 56194 HAS SOPS 56194 HAS SOUS 37377 HAS SOUPS 37377 WITH SCORE 37433.194
AT ITER 1675 NEW BEST:: SOT 263558 SOS 56159 HAS SOPS 56159 HAS SOUS 37342 HAS SOUPS 37342 WITH SCORE 37398.159
AT ITER 1696 NEW BEST:: SOT 263541 SOS 56051 HAS SOPS 56051 HAS SOUS 37204 HAS SOUPS 37204 WITH SCORE 37260.051
AT ITER 1723 NEW BEST:: SOT 263512 SOS 55993 HAS SOPS 55993 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37237.993
AT ITER 1771 NEW BEST:: SOT 263254 SOS 55560 HAS SOPS 55560 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36944.56
AT ITER 1792 NEW BEST:: SOT 263239 SOS 55530 HAS SOPS 55530 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36914.53
AT ITER 1810 NEW BEST:: SOT 263209 SOS 55470 HAS SOPS 55470 HAS SOUS 36799 HAS SOUPS 36799 WITH SCORE 36854.47
AT ITER 1824 NEW BEST:: SOT 263193 SOS 55438 HAS SOPS 55438 HAS SOUS 36767 HAS SOUPS 36767 WITH SCORE 36822.438
AT ITER 1834 NEW BEST:: SOT 263192 SOS 55436 HAS SOPS 55436 HAS SOUS 36765 HAS SOUPS 36765 WITH SCORE 36820.436
AT ITER 1884 NEW BEST:: SOT 263170 SOS 54248 HAS SOPS 54248 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36775.248
AT ITER 1936 NEW BEST:: SOT 263167 SOS 54239 HAS SOPS 54239 HAS SOUS 36715 HAS SOUPS 36715 WITH SCORE 36769.239
AT ITER 1961 NEW BEST:: SOT 263131 SOS 54167 HAS SOPS 54167 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36733.167
AT ITER 1981 NEW BEST:: SOT 263085 SOS 54075 HAS SOPS 54075 HAS SOUS 36587 HAS SOUPS 36587 WITH SCORE 36641.075
AT ITER 1982 NEW BEST:: SOT 263010 SOS 53925 HAS SOPS 53925 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36503.925
AT ITER 1991 NEW BEST:: SOT 263090 SOS 53942 HAS SOPS 53942 HAS SOUS 36420 HAS SOUPS 36420 WITH SCORE 36473.942
AT ITER 2016 NEW BEST:: SOT 263071 SOS 53904 HAS SOPS 53904 HAS SOUS 36382 HAS SOUPS 36382 WITH SCORE 36435.904
AT ITER 2019 NEW BEST:: SOT 263071 SOS 53865 HAS SOPS 53865 HAS SOUS 36343 HAS SOUPS 36343 WITH SCORE 36396.865
AT ITER 2037 NEW BEST:: SOT 263069 SOS 53861 HAS SOPS 53861 HAS SOUS 36339 HAS SOUPS 36339 WITH SCORE 36392.861
AT ITER 2052 NEW BEST:: SOT 263049 SOS 53841 HAS SOPS 53841 HAS SOUS 36319 HAS SOUPS 36319 WITH SCORE 36372.841
AT ITER 2121 NEW BEST:: SOT 263037 SOS 53804 HAS SOPS 53804 HAS SOUS 36295 HAS SOUPS 36295 WITH SCORE 36348.804
AT ITER 2136 NEW BEST:: SOT 261948 SOS 52685 HAS SOPS 52685 HAS SOUS 35333 HAS SOUPS 35333 WITH SCORE 35385.685
AT ITER 2143 NEW BEST:: SOT 261945 SOS 52679 HAS SOPS 52679 HAS SOUS 35327 HAS SOUPS 35327 WITH SCORE 35379.679
AT ITER 2170 NEW BEST:: SOT 261932 SOS 52653 HAS SOPS 52653 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35353.653
AT ITER 2197 NEW BEST:: SOT 261928 SOS 52645 HAS SOPS 52645 HAS SOUS 35293 HAS SOUPS 35293 WITH SCORE 35345.645
AT ITER 2198 NEW BEST:: SOT 261919 SOS 52627 HAS SOPS 52627 HAS SOUS 35284 HAS SOUPS 35284 WITH SCORE 35336.627
AT ITER 2215 NEW BEST:: SOT 261906 SOS 52601 HAS SOPS 52601 HAS SOUS 35258 HAS SOUPS 35258 WITH SCORE 35310.601
AT ITER 2221 NEW BEST:: SOT 261868 SOS 52487 HAS SOPS 52487 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35234.487
AT ITER 2238 NEW BEST:: SOT 261870 SOS 52442 HAS SOPS 52442 HAS SOUS 35180 HAS SOUPS 35180 WITH SCORE 35232.442
AT ITER 2261 NEW BEST:: SOT 261837 SOS 52376 HAS SOPS 52376 HAS SOUS 35147 HAS SOUPS 35147 WITH SCORE 35199.376
AT ITER 2262 NEW BEST:: SOT 261837 SOS 52353 HAS SOPS 52353 HAS SOUS 35124 HAS SOUPS 35124 WITH SCORE 35176.353
AT ITER 2316 NEW BEST:: SOT 261759 SOS 52119 HAS SOPS 52119 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35098.119
AT ITER 2330 NEW BEST:: SOT 261759 SOS 52077 HAS SOPS 52077 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35098.077
AT ITER 2362 NEW BEST:: SOT 261751 SOS 52061 HAS SOPS 52061 HAS SOUS 35030 HAS SOUPS 35030 WITH SCORE 35082.061
AT ITER 2375 NEW BEST:: SOT 261413 SOS 52011 HAS SOPS 52011 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34775.011
AT ITER 2383 NEW BEST:: SOT 261413 SOS 52011 HAS SOPS 52011 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34755.011
AT ITER 2393 NEW BEST:: SOT 261403 SOS 51991 HAS SOPS 51991 HAS SOUS 34683 HAS SOUPS 34683 WITH SCORE 34734.991
AT ITER 2397 NEW BEST:: SOT 261326 SOS 51837 HAS SOPS 51837 HAS SOUS 34619 HAS SOUPS 34619 WITH SCORE 34670.837
AT ITER 2428 NEW BEST:: SOT 261319 SOS 51831 HAS SOPS 51831 HAS SOUS 34612 HAS SOUPS 34612 WITH SCORE 34663.831
AT ITER 2458 NEW BEST:: SOT 261305 SOS 51466 HAS SOPS 51466 HAS SOUS 34581 HAS SOUPS 34581 WITH SCORE 34632.466
AT ITER 2462 NEW BEST:: SOT 261269 SOS 50422 HAS SOPS 50422 HAS SOUS 34509 HAS SOUPS 34509 WITH SCORE 34559.422
AT ITER 2512 NEW BEST:: SOT 261203 SOS 50354 HAS SOPS 50354 HAS SOUS 34489 HAS SOUPS 34489 WITH SCORE 34539.354
AT ITER 2525 NEW BEST:: SOT 260763 SOS 51578 HAS SOPS 51578 HAS SOUS 34220 HAS SOUPS 34220 WITH SCORE 34271.578
AT ITER 2535 NEW BEST:: SOT 260735 SOS 51046 HAS SOPS 51046 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34215.046
AT ITER 2539 NEW BEST:: SOT 260735 SOS 50459 HAS SOPS 50459 HAS SOUS 34131 HAS SOUPS 34131 WITH SCORE 34181.459
AT ITER 2557 NEW BEST:: SOT 260735 SOS 50451 HAS SOPS 50451 HAS SOUS 34123 HAS SOUPS 34123 WITH SCORE 34173.451
AT ITER 2573 NEW BEST:: SOT 260662 SOS 50305 HAS SOPS 50305 HAS SOUS 33977 HAS SOUPS 33977 WITH SCORE 34027.305
AT ITER 2584 NEW BEST:: SOT 260662 SOS 50278 HAS SOPS 50278 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 34000.278
AT ITER 2585 NEW BEST:: SOT 260620 SOS 50194 HAS SOPS 50194 HAS SOUS 33792 HAS SOUPS 33792 WITH SCORE 33842.194
AT ITER 2587 NEW BEST:: SOT 260608 SOS 50170 HAS SOPS 50170 HAS SOUS 33768 HAS SOUPS 33768 WITH SCORE 33818.17
AT ITER 2595 NEW BEST:: SOT 260606 SOS 50130 HAS SOPS 50130 HAS SOUS 33762 HAS SOUPS 33762 WITH SCORE 33812.13
AT ITER 2597 NEW BEST:: SOT 260562 SOS 48854 HAS SOPS 48854 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33766.854
AT ITER 2605 NEW BEST:: SOT 260557 SOS 48849 HAS SOPS 48849 HAS SOUS 33713 HAS SOUPS 33713 WITH SCORE 33761.849
AT ITER 2607 NEW BEST:: SOT 260487 SOS 48709 HAS SOPS 48709 HAS SOUS 33684 HAS SOUPS 33684 WITH SCORE 33732.709
AT ITER 2617 NEW BEST:: SOT 260460 SOS 48655 HAS SOPS 48655 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33705.655
AT ITER 2636 NEW BEST:: SOT 260428 SOS 48591 HAS SOPS 48591 HAS SOUS 33593 HAS SOUPS 33593 WITH SCORE 33641.591
AT ITER 2661 NEW BEST:: SOT 260424 SOS 48583 HAS SOPS 48583 HAS SOUS 33585 HAS SOUPS 33585 WITH SCORE 33633.583
AT ITER 2698 NEW BEST:: SOT 260407 SOS 48549 HAS SOPS 48549 HAS SOUS 33568 HAS SOUPS 33568 WITH SCORE 33616.549
AT ITER 2725 NEW BEST:: SOT 260250 SOS 48423 HAS SOPS 48423 HAS SOUS 33475 HAS SOUPS 33475 WITH SCORE 33523.423
AT ITER 2743 NEW BEST:: SOT 260250 SOS 48400 HAS SOPS 48400 HAS SOUS 33452 HAS SOUPS 33452 WITH SCORE 33500.4
AT ITER 2785 NEW BEST:: SOT 260215 SOS 48330 HAS SOPS 48330 HAS SOUS 33408 HAS SOUPS 33408 WITH SCORE 33456.33
AT ITER 2818 NEW BEST:: SOT 260190 SOS 48296 HAS SOPS 48296 HAS SOUS 33390 HAS SOUPS 33390 WITH SCORE 33438.296
AT ITER 2823 NEW BEST:: SOT 260162 SOS 48282 HAS SOPS 48282 HAS SOUS 33376 HAS SOUPS 33376 WITH SCORE 33424.282
AT ITER 2834 NEW BEST:: SOT 260162 SOS 48293 HAS SOPS 48293 HAS SOUS 33339 HAS SOUPS 33339 WITH SCORE 33387.293
AT ITER 2844 NEW BEST:: SOT 260149 SOS 47929 HAS SOPS 47929 HAS SOUS 33313 HAS SOUPS 33313 WITH SCORE 33360.929
AT ITER 2850 NEW BEST:: SOT 260051 SOS 47831 HAS SOPS 47831 HAS SOUS 33215 HAS SOUPS 33215 WITH SCORE 33262.831
AT ITER 2858 NEW BEST:: SOT 260022 SOS 47773 HAS SOPS 47773 HAS SOUS 33213 HAS SOUPS 33213 WITH SCORE 33260.773
AT ITER 2867 NEW BEST:: SOT 260008 SOS 47745 HAS SOPS 47745 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33232.745
AT ITER 2870 NEW BEST:: SOT 259974 SOS 47677 HAS SOPS 47677 HAS SOUS 33151 HAS SOUPS 33151 WITH SCORE 33198.677
AT ITER 2919 NEW BEST:: SOT 259868 SOS 48433 HAS SOPS 48433 HAS SOUS 33088 HAS SOUPS 33088 WITH SCORE 33136.433
AT ITER 2964 NEW BEST:: SOT 259865 SOS 48430 HAS SOPS 48430 HAS SOUS 33085 HAS SOUPS 33085 WITH SCORE 33133.43
AT ITER 2979 NEW BEST:: SOT 259864 SOS 48428 HAS SOPS 48428 HAS SOUS 33083 HAS SOUPS 33083 WITH SCORE 33131.428
AT ITER 2999 NEW BEST:: SOT 259863 SOS 48426 HAS SOPS 48426 HAS SOUS 33081 HAS SOUPS 33081 WITH SCORE 33129.426
AT ITER 3006 NEW BEST:: SOT 259862 SOS 48424 HAS SOPS 48424 HAS SOUS 33079 HAS SOUPS 33079 WITH SCORE 33127.424
AT ITER 3029 NEW BEST:: SOT 259862 SOS 48288 HAS SOPS 48288 HAS SOUS 32943 HAS SOUPS 32943 WITH SCORE 32991.288
AT ITER 3043 NEW BEST:: SOT 259855 SOS 48281 HAS SOPS 48281 HAS SOUS 32880 HAS SOUPS 32880 WITH SCORE 32928.281
AT ITER 3071 NEW BEST:: SOT 259716 SOS 48177 HAS SOPS 48177 HAS SOUS 32770 HAS SOUPS 32770 WITH SCORE 32818.177
AT ITER 3195 NEW BEST:: SOT 259709 SOS 48156 HAS SOPS 48156 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32804.156
AT ITER 3224 NEW BEST:: SOT 259709 SOS 48147 HAS SOPS 48147 HAS SOUS 32747 HAS SOUPS 32747 WITH SCORE 32795.147
AT ITER 3231 NEW BEST:: SOT 259709 SOS 48147 HAS SOPS 48147 HAS SOUS 32720 HAS SOUPS 32720 WITH SCORE 32768.147
AT ITER 3292 NEW BEST:: SOT 259677 SOS 48083 HAS SOPS 48083 HAS SOUS 32713 HAS SOUPS 32713 WITH SCORE 32761.083
AT ITER 3316 NEW BEST:: SOT 259480 SOS 49225 HAS SOPS 49225 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32716.225
AT ITER 3325 NEW BEST:: SOT 259439 SOS 49143 HAS SOPS 49143 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32584.143
AT ITER 3359 NEW BEST:: SOT 259384 SOS 49033 HAS SOPS 49033 HAS SOUS 32493 HAS SOUPS 32493 WITH SCORE 32542.033
AT ITER 3386 NEW BEST:: SOT 259336 SOS 48937 HAS SOPS 48937 HAS SOUS 32452 HAS SOUPS 32452 WITH SCORE 32500.937
AT ITER 3397 NEW BEST:: SOT 259335 SOS 48936 HAS SOPS 48936 HAS SOUS 32443 HAS SOUPS 32443 WITH SCORE 32491.936
AT ITER 3420 NEW BEST:: SOT 259333 SOS 48884 HAS SOPS 48884 HAS SOUS 32416 HAS SOUPS 32416 WITH SCORE 32464.884
AT ITER 3444 NEW BEST:: SOT 259332 SOS 48786 HAS SOPS 48786 HAS SOUS 32405 HAS SOUPS 32405 WITH SCORE 32453.786
AT ITER 3445 NEW BEST:: SOT 259329 SOS 48780 HAS SOPS 48780 HAS SOUS 32401 HAS SOUPS 32401 WITH SCORE 32449.78
AT ITER 3450 NEW BEST:: SOT 259329 SOS 48780 HAS SOPS 48780 HAS SOUS 32375 HAS SOUPS 32375 WITH SCORE 32423.78
AT ITER 3462 NEW BEST:: SOT 259328 SOS 48778 HAS SOPS 48778 HAS SOUS 32373 HAS SOUPS 32373 WITH SCORE 32421.778
AT ITER 3473 NEW BEST:: SOT 259305 SOS 48732 HAS SOPS 48732 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32374.732
AT ITER 3480 NEW BEST:: SOT 259304 SOS 48730 HAS SOPS 48730 HAS SOUS 32324 HAS SOUPS 32324 WITH SCORE 32372.73
AT ITER 3494 NEW BEST:: SOT 259300 SOS 48722 HAS SOPS 48722 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32364.722
AT ITER 3527 NEW BEST:: SOT 259300 SOS 48678 HAS SOPS 48678 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32364.678
AT ITER 3557 NEW BEST:: SOT 259292 SOS 48659 HAS SOPS 48659 HAS SOUS 32308 HAS SOUPS 32308 WITH SCORE 32356.659
AT ITER 3630 NEW BEST:: SOT 259015 SOS 50101 HAS SOPS 50101 HAS SOUS 32264 HAS SOUPS 32264 WITH SCORE 32314.101
AT ITER 3639 NEW BEST:: SOT 259002 SOS 50110 HAS SOPS 50110 HAS SOUS 32256 HAS SOUPS 32256 WITH SCORE 32306.11
AT ITER 3690 NEW BEST:: SOT 258996 SOS 50092 HAS SOPS 50092 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32294.092
AT ITER 3703 NEW BEST:: SOT 258996 SOS 50048 HAS SOPS 50048 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32294.048
AT ITER 3719 NEW BEST:: SOT 258995 SOS 50046 HAS SOPS 50046 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32292.046
AT ITER 3722 NEW BEST:: SOT 258994 SOS 50044 HAS SOPS 50044 HAS SOUS 32231 HAS SOUPS 32231 WITH SCORE 32281.044
AT ITER 3734 NEW BEST:: SOT 258942 SOS 48296 HAS SOPS 48296 HAS SOUS 32034 HAS SOUPS 32034 WITH SCORE 32082.296
AT ITER 3753 NEW BEST:: SOT 258859 SOS 48547 HAS SOPS 48547 HAS SOUS 31981 HAS SOUPS 31981 WITH SCORE 32029.547
AT ITER 3795 NEW BEST:: SOT 258850 SOS 48518 HAS SOPS 48518 HAS SOUS 31963 HAS SOUPS 31963 WITH SCORE 32011.518
AT ITER 3898 NEW BEST:: SOT 258850 SOS 48518 HAS SOPS 48518 HAS SOUS 31957 HAS SOUPS 31957 WITH SCORE 32005.518
AT ITER 3956 NEW BEST:: SOT 258849 SOS 48516 HAS SOPS 48516 HAS SOUS 31955 HAS SOUPS 31955 WITH SCORE 32003.516
AT ITER 3988 NEW BEST:: SOT 258847 SOS 48512 HAS SOPS 48512 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 31999.512
AT ITER 4098 NEW BEST:: SOT 258847 SOS 48505 HAS SOPS 48505 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 31999.505
AT ITER 4152 NEW BEST:: SOT 258839 SOS 48493 HAS SOPS 48493 HAS SOUS 31939 HAS SOUPS 31939 WITH SCORE 31987.493
AT ITER 4194 NEW BEST:: SOT 258814 SOS 48443 HAS SOPS 48443 HAS SOUS 31889 HAS SOUPS 31889 WITH SCORE 31937.443
AT ITER 4206 NEW BEST:: SOT 258783 SOS 48818 HAS SOPS 48818 HAS SOUS 31846 HAS SOUPS 31846 WITH SCORE 31894.818
AT ITER 4214 NEW BEST:: SOT 258775 SOS 48802 HAS SOPS 48802 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31878.802
AT ITER 4305 NEW BEST:: SOT 258773 SOS 48799 HAS SOPS 48799 HAS SOUS 31828 HAS SOUPS 31828 WITH SCORE 31876.799
AT ITER 4306 NEW BEST:: SOT 258773 SOS 48791 HAS SOPS 48791 HAS SOUS 31820 HAS SOUPS 31820 WITH SCORE 31868.791
AT ITER 4330 NEW BEST:: SOT 258771 SOS 48787 HAS SOPS 48787 HAS SOUS 31818 HAS SOUPS 31818 WITH SCORE 31866.787
AT ITER 4344 NEW BEST:: SOT 258770 SOS 48785 HAS SOPS 48785 HAS SOUS 31816 HAS SOUPS 31816 WITH SCORE 31864.785
AT ITER 4373 NEW BEST:: SOT 258796 SOS 48837 HAS SOPS 48837 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31859.837
AT ITER 4374 NEW BEST:: SOT 258756 SOS 48757 HAS SOPS 48757 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31779.757
AT ITER 4382 NEW BEST:: SOT 258741 SOS 48756 HAS SOPS 48756 HAS SOUS 31730 HAS SOUPS 31730 WITH SCORE 31778.756
AT ITER 4420 NEW BEST:: SOT 258723 SOS 48720 HAS SOPS 48720 HAS SOUS 31694 HAS SOUPS 31694 WITH SCORE 31742.72
AT ITER 4431 NEW BEST:: SOT 258714 SOS 48702 HAS SOPS 48702 HAS SOUS 31676 HAS SOUPS 31676 WITH SCORE 31724.702
AT ITER 4450 NEW BEST:: SOT 258713 SOS 48700 HAS SOPS 48700 HAS SOUS 31674 HAS SOUPS 31674 WITH SCORE 31722.7
AT ITER 4516 NEW BEST:: SOT 258696 SOS 48666 HAS SOPS 48666 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31688.666
AT ITER 4543 NEW BEST:: SOT 258685 SOS 48644 HAS SOPS 48644 HAS SOUS 31618 HAS SOUPS 31618 WITH SCORE 31666.644
AT ITER 4586 NEW BEST:: SOT 258684 SOS 48642 HAS SOPS 48642 HAS SOUS 31616 HAS SOUPS 31616 WITH SCORE 31664.642
AT ITER 4689 NEW BEST:: SOT 258683 SOS 48605 HAS SOPS 48605 HAS SOUS 31615 HAS SOUPS 31615 WITH SCORE 31663.605
AT ITER 4759 NEW BEST:: SOT 258683 SOS 48605 HAS SOPS 48605 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31637.605
AT ITER 4784 NEW BEST:: SOT 258686 SOS 48419 HAS SOPS 48419 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31630.419
AT ITER 4788 NEW BEST:: SOT 258661 SOS 48369 HAS SOPS 48369 HAS SOUS 31557 HAS SOUPS 31557 WITH SCORE 31605.369
AT ITER 4790 NEW BEST:: SOT 258625 SOS 48297 HAS SOPS 48297 HAS SOUS 31485 HAS SOUPS 31485 WITH SCORE 31533.297
AT ITER 4821 NEW BEST:: SOT 258610 SOS 48267 HAS SOPS 48267 HAS SOUS 31481 HAS SOUPS 31481 WITH SCORE 31529.267
AT ITER 4839 NEW BEST:: SOT 258602 SOS 48251 HAS SOPS 48251 HAS SOUS 31473 HAS SOUPS 31473 WITH SCORE 31521.251
AT ITER 4870 NEW BEST:: SOT 258600 SOS 48247 HAS SOPS 48247 HAS SOUS 31469 HAS SOUPS 31469 WITH SCORE 31517.247
AT ITER 4880 NEW BEST:: SOT 258591 SOS 48229 HAS SOPS 48229 HAS SOUS 31451 HAS SOUPS 31451 WITH SCORE 31499.229
AT ITER 4881 NEW BEST:: SOT 258588 SOS 48223 HAS SOPS 48223 HAS SOUS 31445 HAS SOUPS 31445 WITH SCORE 31493.223
AT ITER 4928 NEW BEST:: SOT 258583 SOS 48218 HAS SOPS 48218 HAS SOUS 31440 HAS SOUPS 31440 WITH SCORE 31488.218
AT ITER 5036 NEW BEST:: SOT 258581 SOS 48214 HAS SOPS 48214 HAS SOUS 31423 HAS SOUPS 31423 WITH SCORE 31471.214
AT ITER 5055 NEW BEST:: SOT 258319 SOS 47996 HAS SOPS 47996 HAS SOUS 31177 HAS SOUPS 31177 WITH SCORE 31224.996
AT ITER 5072 NEW BEST:: SOT 258318 SOS 48011 HAS SOPS 48011 HAS SOUS 31175 HAS SOUPS 31175 WITH SCORE 31223.011
AT ITER 5087 NEW BEST:: SOT 258279 SOS 49155 HAS SOPS 49155 HAS SOUS 31147 HAS SOUPS 31147 WITH SCORE 31196.155
AT ITER 5120 NEW BEST:: SOT 258278 SOS 49150 HAS SOPS 49150 HAS SOUS 31145 HAS SOUPS 31145 WITH SCORE 31194.15
AT ITER 5122 NEW BEST:: SOT 258263 SOS 48600 HAS SOPS 48600 HAS SOUS 31115 HAS SOUPS 31115 WITH SCORE 31163.6
AT ITER 5126 NEW BEST:: SOT 258263 SOS 48548 HAS SOPS 48548 HAS SOUS 31113 HAS SOUPS 31113 WITH SCORE 31161.548
AT ITER 5139 NEW BEST:: SOT 258240 SOS 48540 HAS SOPS 48540 HAS SOUS 31105 HAS SOUPS 31105 WITH SCORE 31153.54
AT ITER 5172 NEW BEST:: SOT 258235 SOS 48530 HAS SOPS 48530 HAS SOUS 31095 HAS SOUPS 31095 WITH SCORE 31143.53
AT ITER 5208 NEW BEST:: SOT 258200 SOS 48441 HAS SOPS 48441 HAS SOUS 31075 HAS SOUPS 31075 WITH SCORE 31123.441
AT ITER 5210 NEW BEST:: SOT 258161 SOS 48363 HAS SOPS 48363 HAS SOUS 31045 HAS SOUPS 31045 WITH SCORE 31093.363
AT ITER 5277 NEW BEST:: SOT 258160 SOS 48361 HAS SOPS 48361 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31091.361
AT ITER 5346 NEW BEST:: SOT 258158 SOS 48357 HAS SOPS 48357 HAS SOUS 31039 HAS SOUPS 31039 WITH SCORE 31087.357
AT ITER 5362 NEW BEST:: SOT 258158 SOS 48357 HAS SOPS 48357 HAS SOUS 31017 HAS SOUPS 31017 WITH SCORE 31065.357
AT ITER 5365 NEW BEST:: SOT 258151 SOS 48343 HAS SOPS 48343 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31058.343
AT ITER 5391 NEW BEST:: SOT 258110 SOS 48457 HAS SOPS 48457 HAS SOUS 31002 HAS SOUPS 31002 WITH SCORE 31050.457
AT ITER 5438 NEW BEST:: SOT 258104 SOS 48445 HAS SOPS 48445 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31038.445
AT ITER 5470 NEW BEST:: SOT 258100 SOS 48437 HAS SOPS 48437 HAS SOUS 30986 HAS SOUPS 30986 WITH SCORE 31034.437
AT ITER 5499 NEW BEST:: SOT 258098 SOS 48433 HAS SOPS 48433 HAS SOUS 30982 HAS SOUPS 30982 WITH SCORE 31030.433
AT ITER 5562 NEW BEST:: SOT 258094 SOS 48425 HAS SOPS 48425 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31022.425
AT ITER 5657 NEW BEST:: SOT 258090 SOS 48424 HAS SOPS 48424 HAS SOUS 30970 HAS SOUPS 30970 WITH SCORE 31018.424
AT ITER 5679 NEW BEST:: SOT 257910 SOS 48193 HAS SOPS 48193 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30967.193
AT ITER 5708 NEW BEST:: SOT 257901 SOS 48175 HAS SOPS 48175 HAS SOUS 30901 HAS SOUPS 30901 WITH SCORE 30949.175
AT ITER 5719 NEW BEST:: SOT 257860 SOS 48283 HAS SOPS 48283 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30903.283
AT ITER 5746 NEW BEST:: SOT 257714 SOS 48331 HAS SOPS 48331 HAS SOUS 30830 HAS SOUPS 30830 WITH SCORE 30878.331
AT ITER 5753 NEW BEST:: SOT 257703 SOS 48232 HAS SOPS 48232 HAS SOUS 30808 HAS SOUPS 30808 WITH SCORE 30856.232
AT ITER 5771 NEW BEST:: SOT 257693 SOS 48212 HAS SOPS 48212 HAS SOUS 30798 HAS SOUPS 30798 WITH SCORE 30846.212
AT ITER 5779 NEW BEST:: SOT 257661 SOS 48148 HAS SOPS 48148 HAS SOUS 30766 HAS SOUPS 30766 WITH SCORE 30814.148
AT ITER 5814 NEW BEST:: SOT 257659 SOS 48144 HAS SOPS 48144 HAS SOUS 30762 HAS SOUPS 30762 WITH SCORE 30810.144
AT ITER 5847 NEW BEST:: SOT 257601 SOS 48028 HAS SOPS 48028 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30673.028
AT ITER 5870 NEW BEST:: SOT 257601 SOS 48020 HAS SOPS 48020 HAS SOUS 30617 HAS SOUPS 30617 WITH SCORE 30665.02
AT ITER 5881 NEW BEST:: SOT 257584 SOS 47986 HAS SOPS 47986 HAS SOUS 30583 HAS SOUPS 30583 WITH SCORE 30630.986
AT ITER 5896 NEW BEST:: SOT 257581 SOS 47980 HAS SOPS 47980 HAS SOUS 30577 HAS SOUPS 30577 WITH SCORE 30624.98
AT ITER 5912 NEW BEST:: SOT 257555 SOS 47928 HAS SOPS 47928 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30559.928
AT ITER 5916 NEW BEST:: SOT 257542 SOS 47902 HAS SOPS 47902 HAS SOUS 30486 HAS SOUPS 30486 WITH SCORE 30533.902
AT ITER 5976 NEW BEST:: SOT 257543 SOS 47900 HAS SOPS 47900 HAS SOUS 30486 HAS SOUPS 30486 WITH SCORE 30533.9
AT ITER 5989 NEW BEST:: SOT 257523 SOS 47860 HAS SOPS 47860 HAS SOUS 30446 HAS SOUPS 30446 WITH SCORE 30493.86
AT ITER 6016 NEW BEST:: SOT 257533 SOS 47954 HAS SOPS 47954 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30483.954
AT ITER 6028 NEW BEST:: SOT 257532 SOS 47952 HAS SOPS 47952 HAS SOUS 30434 HAS SOUPS 30434 WITH SCORE 30481.952
AT ITER 6077 NEW BEST:: SOT 257528 SOS 47948 HAS SOPS 47948 HAS SOUS 30426 HAS SOUPS 30426 WITH SCORE 30473.948
AT ITER 6105 NEW BEST:: SOT 257520 SOS 47932 HAS SOPS 47932 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30457.932
AT ITER 6174 NEW BEST:: SOT 257523 SOS 47938 HAS SOPS 47938 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30454.938
AT ITER 6199 NEW BEST:: SOT 257520 SOS 47932 HAS SOPS 47932 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30446.932
AT ITER 6200 NEW BEST:: SOT 257511 SOS 47815 HAS SOPS 47815 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30433.815
AT ITER 6201 NEW BEST:: SOT 257511 SOS 47815 HAS SOPS 47815 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30424.815
AT ITER 6221 NEW BEST:: SOT 257505 SOS 47794 HAS SOPS 47794 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 30412.794
AT ITER 6237 NEW BEST:: SOT 257500 SOS 47784 HAS SOPS 47784 HAS SOUS 30355 HAS SOUPS 30355 WITH SCORE 30402.784
AT ITER 6247 NEW BEST:: SOT 257500 SOS 47727 HAS SOPS 47727 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30397.727
AT ITER 6282 NEW BEST:: SOT 257500 SOS 47723 HAS SOPS 47723 HAS SOUS 30346 HAS SOUPS 30346 WITH SCORE 30393.723
AT ITER 6300 NEW BEST:: SOT 257496 SOS 47715 HAS SOPS 47715 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30385.715
AT ITER 6314 NEW BEST:: SOT 257476 SOS 47675 HAS SOPS 47675 HAS SOUS 30298 HAS SOUPS 30298 WITH SCORE 30345.675
AT ITER 6352 NEW BEST:: SOT 257453 SOS 47629 HAS SOPS 47629 HAS SOUS 30275 HAS SOUPS 30275 WITH SCORE 30322.629
AT ITER 6379 NEW BEST:: SOT 257390 SOS 47503 HAS SOPS 47503 HAS SOUS 30255 HAS SOUPS 30255 WITH SCORE 30302.503
AT ITER 6387 NEW BEST:: SOT 257389 SOS 47351 HAS SOPS 47351 HAS SOUS 30253 HAS SOUPS 30253 WITH SCORE 30300.351
AT ITER 6396 NEW BEST:: SOT 257389 SOS 47075 HAS SOPS 47075 HAS SOUS 30192 HAS SOUPS 30192 WITH SCORE 30239.075
AT ITER 6455 NEW BEST:: SOT 257347 SOS 47049 HAS SOPS 47049 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30208.049
AT ITER 6468 NEW BEST:: SOT 257347 SOS 47049 HAS SOPS 47049 HAS SOUS 30135 HAS SOUPS 30135 WITH SCORE 30182.049
AT ITER 6485 NEW BEST:: SOT 257328 SOS 47011 HAS SOPS 47011 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30144.011
AT ITER 6490 NEW BEST:: SOT 257298 SOS 46981 HAS SOPS 46981 HAS SOUS 30067 HAS SOUPS 30067 WITH SCORE 30113.981
AT ITER 6532 NEW BEST:: SOT 257275 SOS 46935 HAS SOPS 46935 HAS SOUS 30044 HAS SOUPS 30044 WITH SCORE 30090.935
AT ITER 6539 NEW BEST:: SOT 257280 SOS 46938 HAS SOPS 46938 HAS SOUS 30014 HAS SOUPS 30014 WITH SCORE 30060.938
AT ITER 6558 NEW BEST:: SOT 257263 SOS 46904 HAS SOPS 46904 HAS SOUS 29980 HAS SOUPS 29980 WITH SCORE 30026.904
AT ITER 6676 NEW BEST:: SOT 257262 SOS 46902 HAS SOPS 46902 HAS SOUS 29978 HAS SOUPS 29978 WITH SCORE 30024.902
AT ITER 6717 NEW BEST:: SOT 257261 SOS 46900 HAS SOPS 46900 HAS SOUS 29976 HAS SOUPS 29976 WITH SCORE 30022.9
AT ITER 6718 NEW BEST:: SOT 257261 SOS 46856 HAS SOPS 46856 HAS SOUS 29976 HAS SOUPS 29976 WITH SCORE 30022.856
AT ITER 6733 NEW BEST:: SOT 257177 SOS 46688 HAS SOPS 46688 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 29972.688
AT ITER 6734 NEW BEST:: SOT 257221 SOS 47705 HAS SOPS 47705 HAS SOUS 29905 HAS SOUPS 29905 WITH SCORE 29952.705
AT ITER 6748 NEW BEST:: SOT 257206 SOS 47675 HAS SOPS 47675 HAS SOUS 29875 HAS SOUPS 29875 WITH SCORE 29922.675
AT ITER 6759 NEW BEST:: SOT 257203 SOS 47671 HAS SOPS 47671 HAS SOUS 29871 HAS SOUPS 29871 WITH SCORE 29918.671
AT ITER 6776 NEW BEST:: SOT 257190 SOS 47667 HAS SOPS 47667 HAS SOUS 29860 HAS SOUPS 29860 WITH SCORE 29907.667
AT ITER 6778 NEW BEST:: SOT 257190 SOS 47658 HAS SOPS 47658 HAS SOUS 29860 HAS SOUPS 29860 WITH SCORE 29907.658
AT ITER 6780 NEW BEST:: SOT 257174 SOS 47635 HAS SOPS 47635 HAS SOUS 29837 HAS SOUPS 29837 WITH SCORE 29884.635
AT ITER 6785 NEW BEST:: SOT 257172 SOS 47631 HAS SOPS 47631 HAS SOUS 29833 HAS SOUPS 29833 WITH SCORE 29880.631
AT ITER 6792 NEW BEST:: SOT 257172 SOS 47618 HAS SOPS 47618 HAS SOUS 29820 HAS SOUPS 29820 WITH SCORE 29867.618
AT ITER 6813 NEW BEST:: SOT 257171 SOS 47616 HAS SOPS 47616 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29865.616
AT ITER 6851 NEW BEST:: SOT 257171 SOS 47666 HAS SOPS 47666 HAS SOUS 29804 HAS SOUPS 29804 WITH SCORE 29851.666
AT ITER 6955 NEW BEST:: SOT 257179 SOS 47656 HAS SOPS 47656 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29848.656
AT ITER 7037 NEW BEST:: SOT 257174 SOS 47646 HAS SOPS 47646 HAS SOUS 29791 HAS SOUPS 29791 WITH SCORE 29838.646
AT ITER 7104 NEW BEST:: SOT 257204 SOS 47676 HAS SOPS 47676 HAS SOUS 29789 HAS SOUPS 29789 WITH SCORE 29836.676
AT ITER 7115 NEW BEST:: SOT 257190 SOS 47623 HAS SOPS 47623 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29786.623
AT ITER 7132 NEW BEST:: SOT 257190 SOS 47606 HAS SOPS 47606 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29786.606
AT ITER 7189 NEW BEST:: SOT 257190 SOS 47589 HAS SOPS 47589 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29786.589
AT ITER 7263 NEW BEST:: SOT 257178 SOS 47576 HAS SOPS 47576 HAS SOUS 29715 HAS SOUPS 29715 WITH SCORE 29762.576
AT ITER 7341 NEW BEST:: SOT 257175 SOS 47570 HAS SOPS 47570 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29756.57
AT ITER 7371 NEW BEST:: SOT 257146 SOS 47512 HAS SOPS 47512 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29698.512
AT ITER 7380 NEW BEST:: SOT 257138 SOS 47492 HAS SOPS 47492 HAS SOUS 29639 HAS SOUPS 29639 WITH SCORE 29686.492
AT ITER 7426 NEW BEST:: SOT 257105 SOS 47478 HAS SOPS 47478 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29672.478
AT ITER 7455 NEW BEST:: SOT 257074 SOS 47476 HAS SOPS 47476 HAS SOUS 29596 HAS SOUPS 29596 WITH SCORE 29643.476
AT ITER 7505 NEW BEST:: SOT 257028 SOS 47572 HAS SOPS 47572 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29615.572
AT ITER 7522 NEW BEST:: SOT 257014 SOS 47544 HAS SOPS 47544 HAS SOUS 29549 HAS SOUPS 29549 WITH SCORE 29596.544
AT ITER 7613 NEW BEST:: SOT 257014 SOS 47544 HAS SOPS 47544 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29589.544
AT ITER 7670 NEW BEST:: SOT 257014 SOS 47525 HAS SOPS 47525 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29589.525
AT ITER 7697 NEW BEST:: SOT 257003 SOS 47503 HAS SOPS 47503 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29567.503
AT ITER 7708 NEW BEST:: SOT 256999 SOS 47495 HAS SOPS 47495 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29563.495
AT ITER 7719 NEW BEST:: SOT 256994 SOS 47485 HAS SOPS 47485 HAS SOUS 29506 HAS SOUPS 29506 WITH SCORE 29553.485
AT ITER 7774 NEW BEST:: SOT 256991 SOS 47479 HAS SOPS 47479 HAS SOUS 29506 HAS SOUPS 29506 WITH SCORE 29553.479
AT ITER 7977 NEW BEST:: SOT 256952 SOS 47401 HAS SOPS 47401 HAS SOUS 29428 HAS SOUPS 29428 WITH SCORE 29475.401
AT ITER 8015 NEW BEST:: SOT 256943 SOS 47383 HAS SOPS 47383 HAS SOUS 29410 HAS SOUPS 29410 WITH SCORE 29457.383
AT ITER 8179 NEW BEST:: SOT 256934 SOS 47368 HAS SOPS 47368 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29442.368
AT ITER 8229 NEW BEST:: SOT 256934 SOS 47345 HAS SOPS 47345 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29442.345
AT ITER 8235 NEW BEST:: SOT 256930 SOS 47337 HAS SOPS 47337 HAS SOUS 29389 HAS SOUPS 29389 WITH SCORE 29436.337
AT ITER 8254 NEW BEST:: SOT 256926 SOS 47329 HAS SOPS 47329 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29428.329
AT ITER 8268 NEW BEST:: SOT 256923 SOS 47323 HAS SOPS 47323 HAS SOUS 29375 HAS SOUPS 29375 WITH SCORE 29422.323
AT ITER 8269 NEW BEST:: SOT 256922 SOS 47322 HAS SOPS 47322 HAS SOUS 29374 HAS SOUPS 29374 WITH SCORE 29421.322
AT ITER 8272 NEW BEST:: SOT 256915 SOS 47319 HAS SOPS 47319 HAS SOUS 29371 HAS SOUPS 29371 WITH SCORE 29418.319
AT ITER 8367 NEW BEST:: SOT 256915 SOS 47293 HAS SOPS 47293 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29392.293
AT ITER 8401 NEW BEST:: SOT 256811 SOS 47085 HAS SOPS 47085 HAS SOUS 29128 HAS SOUPS 29128 WITH SCORE 29175.085
AT ITER 8423 NEW BEST:: SOT 256784 SOS 47031 HAS SOPS 47031 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29121.031
AT ITER 8426 NEW BEST:: SOT 256748 SOS 46999 HAS SOPS 46999 HAS SOUS 29042 HAS SOUPS 29042 WITH SCORE 29088.999
AT ITER 8467 NEW BEST:: SOT 256736 SOS 46975 HAS SOPS 46975 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29077.975
AT ITER 8547 NEW BEST:: SOT 256728 SOS 46966 HAS SOPS 46966 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29068.966
AT ITER 8585 NEW BEST:: SOT 256728 SOS 46621 HAS SOPS 46621 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29059.621
AT ITER 8646 NEW BEST:: SOT 256728 SOS 46619 HAS SOPS 46619 HAS SOUS 29011 HAS SOUPS 29011 WITH SCORE 29057.619
AT ITER 8780 NEW BEST:: SOT 256721 SOS 46605 HAS SOPS 46605 HAS SOUS 28997 HAS SOUPS 28997 WITH SCORE 29043.605
AT ITER 8795 NEW BEST:: SOT 256721 SOS 46605 HAS SOPS 46605 HAS SOUS 28979 HAS SOUPS 28979 WITH SCORE 29025.605
AT ITER 8797 NEW BEST:: SOT 256709 SOS 46581 HAS SOPS 46581 HAS SOUS 28955 HAS SOUPS 28955 WITH SCORE 29001.581
AT ITER 8860 NEW BEST:: SOT 256703 SOS 46569 HAS SOPS 46569 HAS SOUS 28954 HAS SOUPS 28954 WITH SCORE 29000.569
AT ITER 8888 NEW BEST:: SOT 256690 SOS 46505 HAS SOPS 46505 HAS SOUS 28934 HAS SOUPS 28934 WITH SCORE 28980.505
AT ITER 8894 NEW BEST:: SOT 256618 SOS 46361 HAS SOPS 46361 HAS SOUS 28867 HAS SOUPS 28867 WITH SCORE 28913.361
AT ITER 8945 NEW BEST:: SOT 256617 SOS 46359 HAS SOPS 46359 HAS SOUS 28865 HAS SOUPS 28865 WITH SCORE 28911.359
AT ITER 8946 NEW BEST:: SOT 256610 SOS 46345 HAS SOPS 46345 HAS SOUS 28851 HAS SOUPS 28851 WITH SCORE 28897.345
AT ITER 8977 NEW BEST:: SOT 256586 SOS 46297 HAS SOPS 46297 HAS SOUS 28803 HAS SOUPS 28803 WITH SCORE 28849.297
AT ITER 9038 NEW BEST:: SOT 256584 SOS 46293 HAS SOPS 46293 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28845.293
AT ITER 9102 NEW BEST:: SOT 256572 SOS 46269 HAS SOPS 46269 HAS SOUS 28775 HAS SOUPS 28775 WITH SCORE 28821.269
AT ITER 9135 NEW BEST:: SOT 256554 SOS 46233 HAS SOPS 46233 HAS SOUS 28755 HAS SOUPS 28755 WITH SCORE 28801.233
AT ITER 9199 NEW BEST:: SOT 256563 SOS 46168 HAS SOPS 46168 HAS SOUS 28718 HAS SOUPS 28718 WITH SCORE 28764.168
AT ITER 9201 NEW BEST:: SOT 256563 SOS 47080 HAS SOPS 47080 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28746.08
AT ITER 9205 NEW BEST:: SOT 256559 SOS 47072 HAS SOPS 47072 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28738.072
AT ITER 9288 NEW BEST:: SOT 256521 SOS 46591 HAS SOPS 46591 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28684.591
AT ITER 9338 NEW BEST:: SOT 256520 SOS 46590 HAS SOPS 46590 HAS SOUS 28637 HAS SOUPS 28637 WITH SCORE 28683.59
AT ITER 9342 NEW BEST:: SOT 256520 SOS 46590 HAS SOPS 46590 HAS SOUS 28600 HAS SOUPS 28600 WITH SCORE 28646.59
AT ITER 9365 NEW BEST:: SOT 256501 SOS 46552 HAS SOPS 46552 HAS SOUS 28562 HAS SOUPS 28562 WITH SCORE 28608.552
AT ITER 9381 NEW BEST:: SOT 256490 SOS 46553 HAS SOPS 46553 HAS SOUS 28559 HAS SOUPS 28559 WITH SCORE 28605.553
AT ITER 9415 NEW BEST:: SOT 256486 SOS 46549 HAS SOPS 46549 HAS SOUS 28555 HAS SOUPS 28555 WITH SCORE 28601.549
AT ITER 9543 NEW BEST:: SOT 256479 SOS 46534 HAS SOPS 46534 HAS SOUS 28551 HAS SOUPS 28551 WITH SCORE 28597.534
AT ITER 9582 NEW BEST:: SOT 256507 SOS 46480 HAS SOPS 46480 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28570.48
AT ITER 9591 NEW BEST:: SOT 256495 SOS 46456 HAS SOPS 46456 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28546.456
AT ITER 9749 NEW BEST:: SOT 256494 SOS 46454 HAS SOPS 46454 HAS SOUS 28498 HAS SOUPS 28498 WITH SCORE 28544.454
AT ITER 9794 NEW BEST:: SOT 256481 SOS 46428 HAS SOPS 46428 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28541.428
AT ITER 9801 NEW BEST:: SOT 256467 SOS 46400 HAS SOPS 46400 HAS SOUS 28467 HAS SOUPS 28467 WITH SCORE 28513.4
AT ITER 9946 NEW BEST:: SOT 256466 SOS 46381 HAS SOPS 46381 HAS SOUS 28465 HAS SOUPS 28465 WITH SCORE 28511.381
AT ITER 9948 NEW BEST:: SOT 256481 SOS 46361 HAS SOPS 46361 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28491.361
AT ITER 9959 NEW BEST:: SOT 256477 SOS 46353 HAS SOPS 46353 HAS SOUS 28437 HAS SOUPS 28437 WITH SCORE 28483.353
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 9972484 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16126128 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="StigmergyElection-PT-04b"
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 StigmergyElection-PT-04b, 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 r459-smll-167912651500600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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