fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r267-smll-167863541700320
Last Updated
May 14, 2023

About the Execution of Smart+red for NoC3x3-PT-6B

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4709.352 3600000.00 3627088.00 11322.40 [undef] Time out reached

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.r267-smll-167863541700320.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 NoC3x3-PT-6B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 996K
-rw-r--r-- 1 mcc users 7.9K Feb 26 09:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 09:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 09:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 09:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 09:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 552K 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 1678851209624

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=NoC3x3-PT-6B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 03:33:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 03:33:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 03:33:33] [INFO ] Load time of PNML (sax parser for PT used): 341 ms
[2023-03-15 03:33:33] [INFO ] Transformed 1544 places.
[2023-03-15 03:33:33] [INFO ] Transformed 2229 transitions.
[2023-03-15 03:33:33] [INFO ] Found NUPN structural information;
[2023-03-15 03:33:33] [INFO ] Parsed PT model containing 1544 places and 2229 transitions and 6663 arcs in 540 ms.
[2023-03-15 03:33:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1544 places, 2229 transitions and 6663 arcs took 40 ms.
Total runtime 655 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6B
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: 1544 places, 2229 transitions, 6663 arcs.
AT ITER 0 NEW BEST:: SOT 1868159 SOS 300531 HAS SOPS 300531 HAS SOUS 227648 HAS SOUPS 227648 WITH SCORE 227948.531
AT ITER 36 NEW BEST:: SOT 1868030 SOS 299578 HAS SOPS 299578 HAS SOUS 227080 HAS SOUPS 227080 WITH SCORE 227379.578
AT ITER 47 NEW BEST:: SOT 1867931 SOS 299429 HAS SOPS 299429 HAS SOUS 226883 HAS SOUPS 226883 WITH SCORE 227182.429
AT ITER 57 NEW BEST:: SOT 1867929 SOS 299426 HAS SOPS 299426 HAS SOUS 226883 HAS SOUPS 226883 WITH SCORE 227182.426
AT ITER 90 NEW BEST:: SOT 1867208 SOS 299209 HAS SOPS 299209 HAS SOUS 226234 HAS SOUPS 226234 WITH SCORE 226533.209
AT ITER 119 NEW BEST:: SOT 1867082 SOS 298806 HAS SOPS 298806 HAS SOUS 226052 HAS SOUPS 226052 WITH SCORE 226350.806
AT ITER 131 NEW BEST:: SOT 1867056 SOS 298909 HAS SOPS 298909 HAS SOUS 226020 HAS SOUPS 226020 WITH SCORE 226318.909
AT ITER 203 NEW BEST:: SOT 1867012 SOS 298689 HAS SOPS 298689 HAS SOUS 225888 HAS SOUPS 225888 WITH SCORE 226186.689
AT ITER 237 NEW BEST:: SOT 1866935 SOS 298458 HAS SOPS 298458 HAS SOUS 225734 HAS SOUPS 225734 WITH SCORE 226032.458
AT ITER 277 NEW BEST:: SOT 1866926 SOS 298458 HAS SOPS 298458 HAS SOUS 225732 HAS SOUPS 225732 WITH SCORE 226030.458
AT ITER 290 NEW BEST:: SOT 1867019 SOS 298869 HAS SOPS 298869 HAS SOUS 225723 HAS SOUPS 225723 WITH SCORE 226021.869
AT ITER 317 NEW BEST:: SOT 1866856 SOS 298735 HAS SOPS 298735 HAS SOUS 225589 HAS SOUPS 225589 WITH SCORE 225887.735
AT ITER 329 NEW BEST:: SOT 1866676 SOS 298623 HAS SOPS 298623 HAS SOUS 225528 HAS SOUPS 225528 WITH SCORE 225826.623
AT ITER 332 NEW BEST:: SOT 1866534 SOS 298320 HAS SOPS 298320 HAS SOUS 225182 HAS SOUPS 225182 WITH SCORE 225480.32
AT ITER 343 NEW BEST:: SOT 1866523 SOS 298298 HAS SOPS 298298 HAS SOUS 225182 HAS SOUPS 225182 WITH SCORE 225480.298
AT ITER 349 NEW BEST:: SOT 1866465 SOS 298214 HAS SOPS 298214 HAS SOUS 225174 HAS SOUPS 225174 WITH SCORE 225472.214
AT ITER 352 NEW BEST:: SOT 1866388 SOS 298267 HAS SOPS 298267 HAS SOUS 225115 HAS SOUPS 225115 WITH SCORE 225413.267
AT ITER 356 NEW BEST:: SOT 1866444 SOS 298155 HAS SOPS 298155 HAS SOUS 225115 HAS SOUPS 225115 WITH SCORE 225413.155
AT ITER 358 NEW BEST:: SOT 1866444 SOS 298081 HAS SOPS 298081 HAS SOUS 225041 HAS SOUPS 225041 WITH SCORE 225339.081
AT ITER 380 NEW BEST:: SOT 1866335 SOS 297729 HAS SOPS 297729 HAS SOUS 224754 HAS SOUPS 224754 WITH SCORE 225051.729
AT ITER 394 NEW BEST:: SOT 1866331 SOS 297733 HAS SOPS 297733 HAS SOUS 224746 HAS SOUPS 224746 WITH SCORE 225043.733
AT ITER 402 NEW BEST:: SOT 1866331 SOS 297706 HAS SOPS 297706 HAS SOUS 224719 HAS SOUPS 224719 WITH SCORE 225016.706
AT ITER 406 NEW BEST:: SOT 1866374 SOS 297639 HAS SOPS 297639 HAS SOUS 224560 HAS SOUPS 224560 WITH SCORE 224857.639
AT ITER 519 NEW BEST:: SOT 1866374 SOS 297701 HAS SOPS 297701 HAS SOUS 224558 HAS SOUPS 224558 WITH SCORE 224855.701
AT ITER 524 NEW BEST:: SOT 1865997 SOS 297925 HAS SOPS 297925 HAS SOUS 224528 HAS SOUPS 224528 WITH SCORE 224825.925
AT ITER 535 NEW BEST:: SOT 1865955 SOS 297841 HAS SOPS 297841 HAS SOUS 224444 HAS SOUPS 224444 WITH SCORE 224741.841
AT ITER 545 NEW BEST:: SOT 1865884 SOS 297770 HAS SOPS 297770 HAS SOUS 224373 HAS SOUPS 224373 WITH SCORE 224670.77
AT ITER 607 NEW BEST:: SOT 1865743 SOS 297959 HAS SOPS 297959 HAS SOUS 224236 HAS SOUPS 224236 WITH SCORE 224533.959
AT ITER 619 NEW BEST:: SOT 1865598 SOS 297855 HAS SOPS 297855 HAS SOUS 224091 HAS SOUPS 224091 WITH SCORE 224388.855
AT ITER 632 NEW BEST:: SOT 1865869 SOS 298334 HAS SOPS 298334 HAS SOUS 224054 HAS SOUPS 224054 WITH SCORE 224352.334
AT ITER 633 NEW BEST:: SOT 1865868 SOS 298172 HAS SOPS 298172 HAS SOUS 224052 HAS SOUPS 224052 WITH SCORE 224350.172
AT ITER 646 NEW BEST:: SOT 1865868 SOS 298106 HAS SOPS 298106 HAS SOUS 223920 HAS SOUPS 223920 WITH SCORE 224218.106
AT ITER 661 NEW BEST:: SOT 1865667 SOS 297989 HAS SOPS 297989 HAS SOUS 223636 HAS SOUPS 223636 WITH SCORE 223933.989
AT ITER 675 NEW BEST:: SOT 1865604 SOS 298073 HAS SOPS 298073 HAS SOUS 223494 HAS SOUPS 223494 WITH SCORE 223792.073
AT ITER 739 NEW BEST:: SOT 1865482 SOS 297951 HAS SOPS 297951 HAS SOUS 223372 HAS SOUPS 223372 WITH SCORE 223669.951
AT ITER 752 NEW BEST:: SOT 1865407 SOS 297967 HAS SOPS 297967 HAS SOUS 223297 HAS SOUPS 223297 WITH SCORE 223594.967
AT ITER 779 NEW BEST:: SOT 1865089 SOS 297669 HAS SOPS 297669 HAS SOUS 223006 HAS SOUPS 223006 WITH SCORE 223303.669
AT ITER 781 NEW BEST:: SOT 1864701 SOS 297281 HAS SOPS 297281 HAS SOUS 222618 HAS SOUPS 222618 WITH SCORE 222915.281
AT ITER 790 NEW BEST:: SOT 1864404 SOS 297467 HAS SOPS 297467 HAS SOUS 222314 HAS SOUPS 222314 WITH SCORE 222611.467
AT ITER 792 NEW BEST:: SOT 1864357 SOS 297478 HAS SOPS 297478 HAS SOUS 222294 HAS SOUPS 222294 WITH SCORE 222591.478
AT ITER 809 NEW BEST:: SOT 1864304 SOS 297167 HAS SOPS 297167 HAS SOUS 222235 HAS SOUPS 222235 WITH SCORE 222532.167
AT ITER 824 NEW BEST:: SOT 1864278 SOS 297141 HAS SOPS 297141 HAS SOUS 222209 HAS SOUPS 222209 WITH SCORE 222506.141
AT ITER 826 NEW BEST:: SOT 1864271 SOS 297127 HAS SOPS 297127 HAS SOUS 222202 HAS SOUPS 222202 WITH SCORE 222499.127
AT ITER 862 NEW BEST:: SOT 1864133 SOS 296537 HAS SOPS 296537 HAS SOUS 221759 HAS SOUPS 221759 WITH SCORE 222055.537
AT ITER 872 NEW BEST:: SOT 1864115 SOS 296306 HAS SOPS 296306 HAS SOUS 221758 HAS SOUPS 221758 WITH SCORE 222054.306
AT ITER 886 NEW BEST:: SOT 1864115 SOS 296265 HAS SOPS 296265 HAS SOUS 221717 HAS SOUPS 221717 WITH SCORE 222013.265
AT ITER 897 NEW BEST:: SOT 1864112 SOS 296262 HAS SOPS 296262 HAS SOUS 221710 HAS SOUPS 221710 WITH SCORE 222006.262
AT ITER 907 NEW BEST:: SOT 1864112 SOS 296291 HAS SOPS 296291 HAS SOUS 221699 HAS SOUPS 221699 WITH SCORE 221995.291
AT ITER 916 NEW BEST:: SOT 1864059 SOS 296003 HAS SOPS 296003 HAS SOUS 221536 HAS SOUPS 221536 WITH SCORE 221832.003
AT ITER 924 NEW BEST:: SOT 1863673 SOS 297228 HAS SOPS 297228 HAS SOUS 221347 HAS SOUPS 221347 WITH SCORE 221644.228
AT ITER 933 NEW BEST:: SOT 1863499 SOS 297054 HAS SOPS 297054 HAS SOUS 221173 HAS SOUPS 221173 WITH SCORE 221470.054
AT ITER 946 NEW BEST:: SOT 1863379 SOS 296847 HAS SOPS 296847 HAS SOUS 220966 HAS SOUPS 220966 WITH SCORE 221262.847
AT ITER 951 NEW BEST:: SOT 1863379 SOS 296827 HAS SOPS 296827 HAS SOUS 220953 HAS SOUPS 220953 WITH SCORE 221249.827
AT ITER 956 NEW BEST:: SOT 1863361 SOS 296809 HAS SOPS 296809 HAS SOUS 220926 HAS SOUPS 220926 WITH SCORE 221222.809
AT ITER 959 NEW BEST:: SOT 1863079 SOS 296677 HAS SOPS 296677 HAS SOUS 220647 HAS SOUPS 220647 WITH SCORE 220943.677
AT ITER 968 NEW BEST:: SOT 1863079 SOS 296677 HAS SOPS 296677 HAS SOUS 220642 HAS SOUPS 220642 WITH SCORE 220938.677
AT ITER 996 NEW BEST:: SOT 1863028 SOS 296502 HAS SOPS 296502 HAS SOUS 220629 HAS SOUPS 220629 WITH SCORE 220925.502
AT ITER 998 NEW BEST:: SOT 1862969 SOS 296476 HAS SOPS 296476 HAS SOUS 220501 HAS SOUPS 220501 WITH SCORE 220797.476
AT ITER 1021 NEW BEST:: SOT 1862898 SOS 295799 HAS SOPS 295799 HAS SOUS 220306 HAS SOUPS 220306 WITH SCORE 220601.799
AT ITER 1043 NEW BEST:: SOT 1862898 SOS 295745 HAS SOPS 295745 HAS SOUS 220144 HAS SOUPS 220144 WITH SCORE 220439.745
AT ITER 1050 NEW BEST:: SOT 1861883 SOS 295589 HAS SOPS 295589 HAS SOUS 219751 HAS SOUPS 219751 WITH SCORE 220046.589
AT ITER 1075 NEW BEST:: SOT 1861774 SOS 295589 HAS SOPS 295589 HAS SOUS 219647 HAS SOUPS 219647 WITH SCORE 219942.589
AT ITER 1080 NEW BEST:: SOT 1861744 SOS 295401 HAS SOPS 295401 HAS SOUS 219637 HAS SOUPS 219637 WITH SCORE 219932.401
AT ITER 1108 NEW BEST:: SOT 1861373 SOS 295208 HAS SOPS 295208 HAS SOUS 219366 HAS SOUPS 219366 WITH SCORE 219661.208
AT ITER 1136 NEW BEST:: SOT 1861043 SOS 295973 HAS SOPS 295973 HAS SOUS 219232 HAS SOUPS 219232 WITH SCORE 219527.973
AT ITER 1139 NEW BEST:: SOT 1860992 SOS 295911 HAS SOPS 295911 HAS SOUS 219212 HAS SOUPS 219212 WITH SCORE 219507.911
AT ITER 1149 NEW BEST:: SOT 1860967 SOS 295824 HAS SOPS 295824 HAS SOUS 219156 HAS SOUPS 219156 WITH SCORE 219451.824
AT ITER 1150 NEW BEST:: SOT 1860967 SOS 295530 HAS SOPS 295530 HAS SOUS 219156 HAS SOUPS 219156 WITH SCORE 219451.53
AT ITER 1178 NEW BEST:: SOT 1860965 SOS 295528 HAS SOPS 295528 HAS SOUS 219154 HAS SOUPS 219154 WITH SCORE 219449.528
AT ITER 1192 NEW BEST:: SOT 1860719 SOS 294813 HAS SOPS 294813 HAS SOUS 218965 HAS SOUPS 218965 WITH SCORE 219259.813
AT ITER 1211 NEW BEST:: SOT 1860719 SOS 294921 HAS SOPS 294921 HAS SOUS 218892 HAS SOUPS 218892 WITH SCORE 219186.921
AT ITER 1234 NEW BEST:: SOT 1860283 SOS 295395 HAS SOPS 295395 HAS SOUS 218541 HAS SOUPS 218541 WITH SCORE 218836.395
AT ITER 1237 NEW BEST:: SOT 1860250 SOS 295345 HAS SOPS 295345 HAS SOUS 218499 HAS SOUPS 218499 WITH SCORE 218794.345
AT ITER 1243 NEW BEST:: SOT 1860250 SOS 295336 HAS SOPS 295336 HAS SOUS 218483 HAS SOUPS 218483 WITH SCORE 218778.336
AT ITER 1254 NEW BEST:: SOT 1860330 SOS 295444 HAS SOPS 295444 HAS SOUS 218477 HAS SOUPS 218477 WITH SCORE 218772.444
AT ITER 1269 NEW BEST:: SOT 1860313 SOS 295399 HAS SOPS 295399 HAS SOUS 218460 HAS SOUPS 218460 WITH SCORE 218755.399
AT ITER 1293 NEW BEST:: SOT 1859865 SOS 295782 HAS SOPS 295782 HAS SOUS 218448 HAS SOUPS 218448 WITH SCORE 218743.782
AT ITER 1302 NEW BEST:: SOT 1859853 SOS 295758 HAS SOPS 295758 HAS SOUS 218436 HAS SOUPS 218436 WITH SCORE 218731.758
AT ITER 1333 NEW BEST:: SOT 1859741 SOS 295642 HAS SOPS 295642 HAS SOUS 218301 HAS SOUPS 218301 WITH SCORE 218596.642
AT ITER 1366 NEW BEST:: SOT 1859654 SOS 295544 HAS SOPS 295544 HAS SOUS 218263 HAS SOUPS 218263 WITH SCORE 218558.544
AT ITER 1422 NEW BEST:: SOT 1859490 SOS 295513 HAS SOPS 295513 HAS SOUS 218232 HAS SOUPS 218232 WITH SCORE 218527.513
AT ITER 1425 NEW BEST:: SOT 1859485 SOS 295503 HAS SOPS 295503 HAS SOUS 218222 HAS SOUPS 218222 WITH SCORE 218517.503
AT ITER 1430 NEW BEST:: SOT 1859458 SOS 295476 HAS SOPS 295476 HAS SOUS 218114 HAS SOUPS 218114 WITH SCORE 218409.476
AT ITER 1475 NEW BEST:: SOT 1859332 SOS 295315 HAS SOPS 295315 HAS SOUS 217806 HAS SOUPS 217806 WITH SCORE 218101.315
AT ITER 1517 NEW BEST:: SOT 1859376 SOS 295341 HAS SOPS 295341 HAS SOUS 217796 HAS SOUPS 217796 WITH SCORE 218091.341
AT ITER 1521 NEW BEST:: SOT 1859055 SOS 295263 HAS SOPS 295263 HAS SOUS 217681 HAS SOUPS 217681 WITH SCORE 217976.263
AT ITER 1528 NEW BEST:: SOT 1858823 SOS 295480 HAS SOPS 295480 HAS SOUS 217623 HAS SOUPS 217623 WITH SCORE 217918.48
AT ITER 1542 NEW BEST:: SOT 1858863 SOS 295892 HAS SOPS 295892 HAS SOUS 217618 HAS SOUPS 217618 WITH SCORE 217913.892
AT ITER 1616 NEW BEST:: SOT 1858549 SOS 295443 HAS SOPS 295443 HAS SOUS 217175 HAS SOUPS 217175 WITH SCORE 217470.443
AT ITER 1618 NEW BEST:: SOT 1858371 SOS 294989 HAS SOPS 294989 HAS SOUS 216732 HAS SOUPS 216732 WITH SCORE 217026.989
AT ITER 1645 NEW BEST:: SOT 1858269 SOS 294836 HAS SOPS 294836 HAS SOUS 216575 HAS SOUPS 216575 WITH SCORE 216869.836
AT ITER 1646 NEW BEST:: SOT 1858269 SOS 294836 HAS SOPS 294836 HAS SOUS 216573 HAS SOUPS 216573 WITH SCORE 216867.836
AT ITER 1665 NEW BEST:: SOT 1858099 SOS 294071 HAS SOPS 294071 HAS SOUS 216318 HAS SOUPS 216318 WITH SCORE 216612.071
AT ITER 1667 NEW BEST:: SOT 1858087 SOS 294047 HAS SOPS 294047 HAS SOUS 216237 HAS SOUPS 216237 WITH SCORE 216531.047
AT ITER 1669 NEW BEST:: SOT 1858043 SOS 294003 HAS SOPS 294003 HAS SOUS 216193 HAS SOUPS 216193 WITH SCORE 216487.003
AT ITER 1686 NEW BEST:: SOT 1857903 SOS 293855 HAS SOPS 293855 HAS SOUS 216088 HAS SOUPS 216088 WITH SCORE 216381.855
AT ITER 1690 NEW BEST:: SOT 1857840 SOS 293848 HAS SOPS 293848 HAS SOUS 216079 HAS SOUPS 216079 WITH SCORE 216372.848
AT ITER 1727 NEW BEST:: SOT 1857718 SOS 293868 HAS SOPS 293868 HAS SOUS 216048 HAS SOUPS 216048 WITH SCORE 216341.868
AT ITER 1804 NEW BEST:: SOT 1857897 SOS 294030 HAS SOPS 294030 HAS SOUS 216033 HAS SOUPS 216033 WITH SCORE 216327.03
AT ITER 1817 NEW BEST:: SOT 1857860 SOS 294030 HAS SOPS 294030 HAS SOUS 216013 HAS SOUPS 216013 WITH SCORE 216307.03
AT ITER 1984 NEW BEST:: SOT 1857860 SOS 294029 HAS SOPS 294029 HAS SOUS 216012 HAS SOUPS 216012 WITH SCORE 216306.029
AT ITER 1987 NEW BEST:: SOT 1857899 SOS 293858 HAS SOPS 293858 HAS SOUS 215989 HAS SOUPS 215989 WITH SCORE 216282.858
AT ITER 1993 NEW BEST:: SOT 1857736 SOS 293593 HAS SOPS 293593 HAS SOUS 215905 HAS SOUPS 215905 WITH SCORE 216198.593
AT ITER 2012 NEW BEST:: SOT 1857650 SOS 293373 HAS SOPS 293373 HAS SOUS 215752 HAS SOUPS 215752 WITH SCORE 216045.373
AT ITER 2084 NEW BEST:: SOT 1857650 SOS 292981 HAS SOPS 292981 HAS SOUS 215752 HAS SOUPS 215752 WITH SCORE 216044.981
AT ITER 2128 NEW BEST:: SOT 1857606 SOS 292951 HAS SOPS 292951 HAS SOUS 215708 HAS SOUPS 215708 WITH SCORE 216000.951
AT ITER 2154 NEW BEST:: SOT 1857606 SOS 292942 HAS SOPS 292942 HAS SOUS 215702 HAS SOUPS 215702 WITH SCORE 215994.942
AT ITER 2165 NEW BEST:: SOT 1857579 SOS 292984 HAS SOPS 292984 HAS SOUS 215673 HAS SOUPS 215673 WITH SCORE 215965.984
AT ITER 2176 NEW BEST:: SOT 1857419 SOS 292871 HAS SOPS 292871 HAS SOUS 215560 HAS SOUPS 215560 WITH SCORE 215852.871
AT ITER 2217 NEW BEST:: SOT 1857371 SOS 292759 HAS SOPS 292759 HAS SOUS 215512 HAS SOUPS 215512 WITH SCORE 215804.759
AT ITER 2228 NEW BEST:: SOT 1857286 SOS 292782 HAS SOPS 292782 HAS SOUS 215403 HAS SOUPS 215403 WITH SCORE 215695.782
AT ITER 2234 NEW BEST:: SOT 1857230 SOS 292726 HAS SOPS 292726 HAS SOUS 215347 HAS SOUPS 215347 WITH SCORE 215639.726
AT ITER 2236 NEW BEST:: SOT 1856954 SOS 292331 HAS SOPS 292331 HAS SOUS 214864 HAS SOUPS 214864 WITH SCORE 215156.331
AT ITER 2266 NEW BEST:: SOT 1856810 SOS 292187 HAS SOPS 292187 HAS SOUS 214720 HAS SOUPS 214720 WITH SCORE 215012.187
AT ITER 2271 NEW BEST:: SOT 1856784 SOS 292135 HAS SOPS 292135 HAS SOUS 214660 HAS SOUPS 214660 WITH SCORE 214952.135
AT ITER 2293 NEW BEST:: SOT 1856784 SOS 292138 HAS SOPS 292138 HAS SOUS 214601 HAS SOUPS 214601 WITH SCORE 214893.138
AT ITER 2298 NEW BEST:: SOT 1856784 SOS 292136 HAS SOPS 292136 HAS SOUS 214601 HAS SOUPS 214601 WITH SCORE 214893.136
AT ITER 2321 NEW BEST:: SOT 1856768 SOS 292120 HAS SOPS 292120 HAS SOUS 214585 HAS SOUPS 214585 WITH SCORE 214877.12
AT ITER 2330 NEW BEST:: SOT 1856599 SOS 292411 HAS SOPS 292411 HAS SOUS 214475 HAS SOUPS 214475 WITH SCORE 214767.411
AT ITER 2345 NEW BEST:: SOT 1856628 SOS 292382 HAS SOPS 292382 HAS SOUS 214475 HAS SOUPS 214475 WITH SCORE 214767.382
AT ITER 2347 NEW BEST:: SOT 1856450 SOS 292491 HAS SOPS 292491 HAS SOUS 214322 HAS SOUPS 214322 WITH SCORE 214614.491
AT ITER 2372 NEW BEST:: SOT 1856396 SOS 292450 HAS SOPS 292450 HAS SOUS 214296 HAS SOUPS 214296 WITH SCORE 214588.45
AT ITER 2373 NEW BEST:: SOT 1856396 SOS 292273 HAS SOPS 292273 HAS SOUS 214296 HAS SOUPS 214296 WITH SCORE 214588.273
AT ITER 2390 NEW BEST:: SOT 1856366 SOS 292183 HAS SOPS 292183 HAS SOUS 214231 HAS SOUPS 214231 WITH SCORE 214523.183
AT ITER 2392 NEW BEST:: SOT 1856224 SOS 291954 HAS SOPS 291954 HAS SOUS 214126 HAS SOUPS 214126 WITH SCORE 214417.954
AT ITER 2429 NEW BEST:: SOT 1856234 SOS 292171 HAS SOPS 292171 HAS SOUS 213896 HAS SOUPS 213896 WITH SCORE 214188.171
AT ITER 2449 NEW BEST:: SOT 1856224 SOS 292149 HAS SOPS 292149 HAS SOUS 213854 HAS SOUPS 213854 WITH SCORE 214146.149
AT ITER 2457 NEW BEST:: SOT 1856224 SOS 292143 HAS SOPS 292143 HAS SOUS 213848 HAS SOUPS 213848 WITH SCORE 214140.143
AT ITER 2463 NEW BEST:: SOT 1856176 SOS 291853 HAS SOPS 291853 HAS SOUS 213752 HAS SOUPS 213752 WITH SCORE 214043.853
AT ITER 2469 NEW BEST:: SOT 1856202 SOS 291681 HAS SOPS 291681 HAS SOUS 213752 HAS SOUPS 213752 WITH SCORE 214043.681
AT ITER 2474 NEW BEST:: SOT 1856104 SOS 291683 HAS SOPS 291683 HAS SOUS 213654 HAS SOUPS 213654 WITH SCORE 213945.683
AT ITER 2504 NEW BEST:: SOT 1855955 SOS 291545 HAS SOPS 291545 HAS SOUS 213516 HAS SOUPS 213516 WITH SCORE 213807.545
AT ITER 2516 NEW BEST:: SOT 1855900 SOS 291579 HAS SOPS 291579 HAS SOUS 213406 HAS SOUPS 213406 WITH SCORE 213697.579
AT ITER 2568 NEW BEST:: SOT 1855897 SOS 291572 HAS SOPS 291572 HAS SOUS 213398 HAS SOUPS 213398 WITH SCORE 213689.572
AT ITER 2588 NEW BEST:: SOT 1855820 SOS 291336 HAS SOPS 291336 HAS SOUS 213287 HAS SOUPS 213287 WITH SCORE 213578.336
AT ITER 2616 NEW BEST:: SOT 1855678 SOS 291335 HAS SOPS 291335 HAS SOUS 213226 HAS SOUPS 213226 WITH SCORE 213517.335
AT ITER 2624 NEW BEST:: SOT 1855737 SOS 291508 HAS SOPS 291508 HAS SOUS 213211 HAS SOUPS 213211 WITH SCORE 213502.508
AT ITER 2638 NEW BEST:: SOT 1855737 SOS 291435 HAS SOPS 291435 HAS SOUS 213138 HAS SOUPS 213138 WITH SCORE 213429.435
AT ITER 2640 NEW BEST:: SOT 1855691 SOS 291421 HAS SOPS 291421 HAS SOUS 213107 HAS SOUPS 213107 WITH SCORE 213398.421
AT ITER 2670 NEW BEST:: SOT 1855581 SOS 291341 HAS SOPS 291341 HAS SOUS 213022 HAS SOUPS 213022 WITH SCORE 213313.341
AT ITER 2710 NEW BEST:: SOT 1855511 SOS 291301 HAS SOPS 291301 HAS SOUS 212982 HAS SOUPS 212982 WITH SCORE 213273.301
AT ITER 2719 NEW BEST:: SOT 1855399 SOS 290965 HAS SOPS 290965 HAS SOUS 212809 HAS SOUPS 212809 WITH SCORE 213099.965
AT ITER 2783 NEW BEST:: SOT 1855399 SOS 290965 HAS SOPS 290965 HAS SOUS 212769 HAS SOUPS 212769 WITH SCORE 213059.965
AT ITER 2790 NEW BEST:: SOT 1855369 SOS 290926 HAS SOPS 290926 HAS SOUS 212737 HAS SOUPS 212737 WITH SCORE 213027.926
AT ITER 2792 NEW BEST:: SOT 1854687 SOS 292425 HAS SOPS 292425 HAS SOUS 212329 HAS SOUPS 212329 WITH SCORE 212621.425
AT ITER 2838 NEW BEST:: SOT 1854473 SOS 292211 HAS SOPS 292211 HAS SOUS 212115 HAS SOUPS 212115 WITH SCORE 212407.211
AT ITER 2858 NEW BEST:: SOT 1854408 SOS 292142 HAS SOPS 292142 HAS SOUS 212095 HAS SOUPS 212095 WITH SCORE 212387.142
AT ITER 2861 NEW BEST:: SOT 1854397 SOS 292075 HAS SOPS 292075 HAS SOUS 211974 HAS SOUPS 211974 WITH SCORE 212266.075
AT ITER 2887 NEW BEST:: SOT 1854382 SOS 292063 HAS SOPS 292063 HAS SOUS 211926 HAS SOUPS 211926 WITH SCORE 212218.063
AT ITER 2897 NEW BEST:: SOT 1854249 SOS 291714 HAS SOPS 291714 HAS SOUS 211721 HAS SOUPS 211721 WITH SCORE 212012.714
AT ITER 2901 NEW BEST:: SOT 1854125 SOS 290591 HAS SOPS 290591 HAS SOUS 211676 HAS SOUPS 211676 WITH SCORE 211966.591
AT ITER 2905 NEW BEST:: SOT 1854116 SOS 290573 HAS SOPS 290573 HAS SOUS 211658 HAS SOUPS 211658 WITH SCORE 211948.573
AT ITER 2907 NEW BEST:: SOT 1854038 SOS 290417 HAS SOPS 290417 HAS SOUS 211599 HAS SOUPS 211599 WITH SCORE 211889.417
AT ITER 2923 NEW BEST:: SOT 1854038 SOS 290407 HAS SOPS 290407 HAS SOUS 211589 HAS SOUPS 211589 WITH SCORE 211879.407
AT ITER 2924 NEW BEST:: SOT 1854038 SOS 290367 HAS SOPS 290367 HAS SOUS 211589 HAS SOUPS 211589 WITH SCORE 211879.367
AT ITER 2954 NEW BEST:: SOT 1854015 SOS 290298 HAS SOPS 290298 HAS SOUS 211543 HAS SOUPS 211543 WITH SCORE 211833.298
AT ITER 2960 NEW BEST:: SOT 1854140 SOS 290567 HAS SOPS 290567 HAS SOUS 211232 HAS SOUPS 211232 WITH SCORE 211522.567
AT ITER 2982 NEW BEST:: SOT 1854228 SOS 290650 HAS SOPS 290650 HAS SOUS 211131 HAS SOUPS 211131 WITH SCORE 211421.65
AT ITER 3005 NEW BEST:: SOT 1854188 SOS 290610 HAS SOPS 290610 HAS SOUS 211011 HAS SOUPS 211011 WITH SCORE 211301.61
AT ITER 3010 NEW BEST:: SOT 1854161 SOS 290565 HAS SOPS 290565 HAS SOUS 210975 HAS SOUPS 210975 WITH SCORE 211265.565
AT ITER 3020 NEW BEST:: SOT 1854123 SOS 290431 HAS SOPS 290431 HAS SOUS 210853 HAS SOUPS 210853 WITH SCORE 211143.431
AT ITER 3044 NEW BEST:: SOT 1854102 SOS 290389 HAS SOPS 290389 HAS SOUS 210846 HAS SOUPS 210846 WITH SCORE 211136.389
AT ITER 3061 NEW BEST:: SOT 1853838 SOS 290320 HAS SOPS 290320 HAS SOUS 210743 HAS SOUPS 210743 WITH SCORE 211033.32
AT ITER 3064 NEW BEST:: SOT 1852393 SOS 290027 HAS SOPS 290027 HAS SOUS 209482 HAS SOUPS 209482 WITH SCORE 209772.027
AT ITER 3076 NEW BEST:: SOT 1852393 SOS 290027 HAS SOPS 290027 HAS SOUS 209475 HAS SOUPS 209475 WITH SCORE 209765.027
AT ITER 3106 NEW BEST:: SOT 1852355 SOS 289946 HAS SOPS 289946 HAS SOUS 209432 HAS SOUPS 209432 WITH SCORE 209721.946
AT ITER 3135 NEW BEST:: SOT 1852300 SOS 289205 HAS SOPS 289205 HAS SOUS 209178 HAS SOUPS 209178 WITH SCORE 209467.205
AT ITER 3142 NEW BEST:: SOT 1852227 SOS 288951 HAS SOPS 288951 HAS SOUS 208834 HAS SOUPS 208834 WITH SCORE 209122.951
AT ITER 3191 NEW BEST:: SOT 1851942 SOS 288380 HAS SOPS 288380 HAS SOUS 208360 HAS SOUPS 208360 WITH SCORE 208648.38
AT ITER 3251 NEW BEST:: SOT 1851869 SOS 287796 HAS SOPS 287796 HAS SOUS 208214 HAS SOUPS 208214 WITH SCORE 208501.796
AT ITER 3292 NEW BEST:: SOT 1851739 SOS 287536 HAS SOPS 287536 HAS SOUS 208131 HAS SOUPS 208131 WITH SCORE 208418.536
AT ITER 3319 NEW BEST:: SOT 1851661 SOS 287534 HAS SOPS 287534 HAS SOUS 208130 HAS SOUPS 208130 WITH SCORE 208417.534
AT ITER 3345 NEW BEST:: SOT 1851458 SOS 287432 HAS SOPS 287432 HAS SOUS 208028 HAS SOUPS 208028 WITH SCORE 208315.432
AT ITER 3383 NEW BEST:: SOT 1851360 SOS 287184 HAS SOPS 287184 HAS SOUS 208019 HAS SOUPS 208019 WITH SCORE 208306.184
AT ITER 3423 NEW BEST:: SOT 1851316 SOS 286959 HAS SOPS 286959 HAS SOUS 207887 HAS SOUPS 207887 WITH SCORE 208173.959
AT ITER 3446 NEW BEST:: SOT 1851106 SOS 286765 HAS SOPS 286765 HAS SOUS 207783 HAS SOUPS 207783 WITH SCORE 208069.765
AT ITER 3472 NEW BEST:: SOT 1850913 SOS 286639 HAS SOPS 286639 HAS SOUS 207590 HAS SOUPS 207590 WITH SCORE 207876.639
AT ITER 3484 NEW BEST:: SOT 1850932 SOS 286423 HAS SOPS 286423 HAS SOUS 207501 HAS SOUPS 207501 WITH SCORE 207787.423
AT ITER 3494 NEW BEST:: SOT 1850672 SOS 286298 HAS SOPS 286298 HAS SOUS 207360 HAS SOUPS 207360 WITH SCORE 207646.298
AT ITER 3512 NEW BEST:: SOT 1850551 SOS 286174 HAS SOPS 286174 HAS SOUS 207214 HAS SOUPS 207214 WITH SCORE 207500.174
AT ITER 3515 NEW BEST:: SOT 1850599 SOS 286320 HAS SOPS 286320 HAS SOUS 207210 HAS SOUPS 207210 WITH SCORE 207496.32
AT ITER 3530 NEW BEST:: SOT 1850531 SOS 286079 HAS SOPS 286079 HAS SOUS 206964 HAS SOUPS 206964 WITH SCORE 207250.079
AT ITER 3548 NEW BEST:: SOT 1850474 SOS 286043 HAS SOPS 286043 HAS SOUS 206928 HAS SOUPS 206928 WITH SCORE 207214.043
AT ITER 3553 NEW BEST:: SOT 1850179 SOS 286992 HAS SOPS 286992 HAS SOUS 206714 HAS SOUPS 206714 WITH SCORE 207000.992
AT ITER 3599 NEW BEST:: SOT 1850192 SOS 286986 HAS SOPS 286986 HAS SOUS 206567 HAS SOUPS 206567 WITH SCORE 206853.986
AT ITER 3605 NEW BEST:: SOT 1850103 SOS 286946 HAS SOPS 286946 HAS SOUS 206478 HAS SOUPS 206478 WITH SCORE 206764.946
AT ITER 3607 NEW BEST:: SOT 1850082 SOS 286852 HAS SOPS 286852 HAS SOUS 206434 HAS SOUPS 206434 WITH SCORE 206720.852
AT ITER 3614 NEW BEST:: SOT 1849930 SOS 286645 HAS SOPS 286645 HAS SOUS 206052 HAS SOUPS 206052 WITH SCORE 206338.645
AT ITER 3632 NEW BEST:: SOT 1849838 SOS 286379 HAS SOPS 286379 HAS SOUS 205626 HAS SOUPS 205626 WITH SCORE 205912.379
AT ITER 3665 NEW BEST:: SOT 1849834 SOS 286375 HAS SOPS 286375 HAS SOUS 205620 HAS SOUPS 205620 WITH SCORE 205906.375
AT ITER 3670 NEW BEST:: SOT 1849806 SOS 286326 HAS SOPS 286326 HAS SOUS 205609 HAS SOUPS 205609 WITH SCORE 205895.326
AT ITER 3685 NEW BEST:: SOT 1849698 SOS 286244 HAS SOPS 286244 HAS SOUS 205566 HAS SOUPS 205566 WITH SCORE 205852.244
AT ITER 3731 NEW BEST:: SOT 1849637 SOS 286353 HAS SOPS 286353 HAS SOUS 205520 HAS SOUPS 205520 WITH SCORE 205806.353
AT ITER 3802 NEW BEST:: SOT 1849745 SOS 286130 HAS SOPS 286130 HAS SOUS 205389 HAS SOUPS 205389 WITH SCORE 205675.13
AT ITER 3811 NEW BEST:: SOT 1849728 SOS 286264 HAS SOPS 286264 HAS SOUS 205315 HAS SOUPS 205315 WITH SCORE 205601.264
AT ITER 3833 NEW BEST:: SOT 1849531 SOS 286180 HAS SOPS 286180 HAS SOUS 205231 HAS SOUPS 205231 WITH SCORE 205517.18
AT ITER 3874 NEW BEST:: SOT 1849426 SOS 286022 HAS SOPS 286022 HAS SOUS 205025 HAS SOUPS 205025 WITH SCORE 205311.022
AT ITER 3935 NEW BEST:: SOT 1849388 SOS 285946 HAS SOPS 285946 HAS SOUS 204949 HAS SOUPS 204949 WITH SCORE 205234.946
AT ITER 3946 NEW BEST:: SOT 1849347 SOS 285864 HAS SOPS 285864 HAS SOUS 204867 HAS SOUPS 204867 WITH SCORE 205152.864
AT ITER 3949 NEW BEST:: SOT 1849152 SOS 285801 HAS SOPS 285801 HAS SOUS 204594 HAS SOUPS 204594 WITH SCORE 204879.801
AT ITER 4005 NEW BEST:: SOT 1849110 SOS 285759 HAS SOPS 285759 HAS SOUS 204510 HAS SOUPS 204510 WITH SCORE 204795.759
AT ITER 4159 NEW BEST:: SOT 1849106 SOS 285684 HAS SOPS 285684 HAS SOUS 204502 HAS SOUPS 204502 WITH SCORE 204787.684
AT ITER 4161 NEW BEST:: SOT 1849070 SOS 285729 HAS SOPS 285729 HAS SOUS 204394 HAS SOUPS 204394 WITH SCORE 204679.729
AT ITER 4182 NEW BEST:: SOT 1849009 SOS 285728 HAS SOPS 285728 HAS SOUS 204022 HAS SOUPS 204022 WITH SCORE 204307.728
AT ITER 4184 NEW BEST:: SOT 1848773 SOS 285744 HAS SOPS 285744 HAS SOUS 203906 HAS SOUPS 203906 WITH SCORE 204191.744
AT ITER 4207 NEW BEST:: SOT 1848734 SOS 285666 HAS SOPS 285666 HAS SOUS 203850 HAS SOUPS 203850 WITH SCORE 204135.666
AT ITER 4224 NEW BEST:: SOT 1848720 SOS 285607 HAS SOPS 285607 HAS SOUS 203830 HAS SOUPS 203830 WITH SCORE 204115.607
AT ITER 4258 NEW BEST:: SOT 1848616 SOS 284945 HAS SOPS 284945 HAS SOUS 203724 HAS SOUPS 203724 WITH SCORE 204008.945
AT ITER 4267 NEW BEST:: SOT 1848588 SOS 284889 HAS SOPS 284889 HAS SOUS 203654 HAS SOUPS 203654 WITH SCORE 203938.889
AT ITER 4281 NEW BEST:: SOT 1848557 SOS 284858 HAS SOPS 284858 HAS SOUS 203592 HAS SOUPS 203592 WITH SCORE 203876.858
AT ITER 4285 NEW BEST:: SOT 1848619 SOS 284889 HAS SOPS 284889 HAS SOUS 203590 HAS SOUPS 203590 WITH SCORE 203874.889
AT ITER 4307 NEW BEST:: SOT 1848566 SOS 284851 HAS SOPS 284851 HAS SOUS 203541 HAS SOUPS 203541 WITH SCORE 203825.851
AT ITER 4343 NEW BEST:: SOT 1848391 SOS 284295 HAS SOPS 284295 HAS SOUS 203160 HAS SOUPS 203160 WITH SCORE 203444.295
AT ITER 4371 NEW BEST:: SOT 1848371 SOS 284255 HAS SOPS 284255 HAS SOUS 203120 HAS SOUPS 203120 WITH SCORE 203404.255
AT ITER 4405 NEW BEST:: SOT 1848522 SOS 284731 HAS SOPS 284731 HAS SOUS 203093 HAS SOUPS 203093 WITH SCORE 203377.731
AT ITER 4424 NEW BEST:: SOT 1848446 SOS 284351 HAS SOPS 284351 HAS SOUS 202941 HAS SOUPS 202941 WITH SCORE 203225.351
AT ITER 4439 NEW BEST:: SOT 1848415 SOS 284305 HAS SOPS 284305 HAS SOUS 202878 HAS SOUPS 202878 WITH SCORE 203162.305
AT ITER 4446 NEW BEST:: SOT 1848389 SOS 284266 HAS SOPS 284266 HAS SOUS 202839 HAS SOUPS 202839 WITH SCORE 203123.266
AT ITER 4465 NEW BEST:: SOT 1848552 SOS 284510 HAS SOPS 284510 HAS SOUS 202831 HAS SOUPS 202831 WITH SCORE 203115.51
AT ITER 4479 NEW BEST:: SOT 1848552 SOS 285532 HAS SOPS 285532 HAS SOUS 202621 HAS SOUPS 202621 WITH SCORE 202906.532
AT ITER 4480 NEW BEST:: SOT 1847807 SOS 288241 HAS SOPS 288241 HAS SOUS 202075 HAS SOUPS 202075 WITH SCORE 202363.241
AT ITER 4500 NEW BEST:: SOT 1847597 SOS 288367 HAS SOPS 288367 HAS SOUS 201926 HAS SOUPS 201926 WITH SCORE 202214.367
AT ITER 4504 NEW BEST:: SOT 1847593 SOS 288270 HAS SOPS 288270 HAS SOUS 201882 HAS SOUPS 201882 WITH SCORE 202170.27
AT ITER 4513 NEW BEST:: SOT 1847589 SOS 288266 HAS SOPS 288266 HAS SOUS 201878 HAS SOUPS 201878 WITH SCORE 202166.266
AT ITER 4554 NEW BEST:: SOT 1847588 SOS 288265 HAS SOPS 288265 HAS SOUS 201875 HAS SOUPS 201875 WITH SCORE 202163.265
AT ITER 4560 NEW BEST:: SOT 1847575 SOS 288239 HAS SOPS 288239 HAS SOUS 201862 HAS SOUPS 201862 WITH SCORE 202150.239
AT ITER 4565 NEW BEST:: SOT 1847523 SOS 286836 HAS SOPS 286836 HAS SOUS 201669 HAS SOUPS 201669 WITH SCORE 201955.836
AT ITER 4586 NEW BEST:: SOT 1847495 SOS 286780 HAS SOPS 286780 HAS SOUS 201607 HAS SOUPS 201607 WITH SCORE 201893.78
AT ITER 4599 NEW BEST:: SOT 1847400 SOS 286790 HAS SOPS 286790 HAS SOUS 201555 HAS SOUPS 201555 WITH SCORE 201841.79
AT ITER 4614 NEW BEST:: SOT 1847710 SOS 287059 HAS SOPS 287059 HAS SOUS 201505 HAS SOUPS 201505 WITH SCORE 201792.059
AT ITER 4618 NEW BEST:: SOT 1847707 SOS 287050 HAS SOPS 287050 HAS SOUS 201499 HAS SOUPS 201499 WITH SCORE 201786.05
AT ITER 4629 NEW BEST:: SOT 1847740 SOS 286568 HAS SOPS 286568 HAS SOUS 201365 HAS SOUPS 201365 WITH SCORE 201651.568
AT ITER 4630 NEW BEST:: SOT 1847660 SOS 286263 HAS SOPS 286263 HAS SOUS 201279 HAS SOUPS 201279 WITH SCORE 201565.263
AT ITER 4699 NEW BEST:: SOT 1847535 SOS 286111 HAS SOPS 286111 HAS SOUS 201154 HAS SOUPS 201154 WITH SCORE 201440.111
AT ITER 4715 NEW BEST:: SOT 1847717 SOS 286287 HAS SOPS 286287 HAS SOUS 201153 HAS SOUPS 201153 WITH SCORE 201439.287
AT ITER 4731 NEW BEST:: SOT 1847668 SOS 286287 HAS SOPS 286287 HAS SOUS 201152 HAS SOUPS 201152 WITH SCORE 201438.287
AT ITER 4743 NEW BEST:: SOT 1847665 SOS 286275 HAS SOPS 286275 HAS SOUS 201146 HAS SOUPS 201146 WITH SCORE 201432.275
AT ITER 4749 NEW BEST:: SOT 1847653 SOS 286289 HAS SOPS 286289 HAS SOUS 201141 HAS SOUPS 201141 WITH SCORE 201427.289
AT ITER 4809 NEW BEST:: SOT 1847635 SOS 285986 HAS SOPS 285986 HAS SOUS 201060 HAS SOUPS 201060 WITH SCORE 201345.986
AT ITER 4825 NEW BEST:: SOT 1847647 SOS 286068 HAS SOPS 286068 HAS SOUS 201014 HAS SOUPS 201014 WITH SCORE 201300.068
AT ITER 4842 NEW BEST:: SOT 1847647 SOS 286064 HAS SOPS 286064 HAS SOUS 201010 HAS SOUPS 201010 WITH SCORE 201296.064
AT ITER 4854 NEW BEST:: SOT 1847625 SOS 285835 HAS SOPS 285835 HAS SOUS 200966 HAS SOUPS 200966 WITH SCORE 201251.835
AT ITER 4869 NEW BEST:: SOT 1847852 SOS 286013 HAS SOPS 286013 HAS SOUS 200796 HAS SOUPS 200796 WITH SCORE 201082.013
AT ITER 4910 NEW BEST:: SOT 1847849 SOS 286009 HAS SOPS 286009 HAS SOUS 200788 HAS SOUPS 200788 WITH SCORE 201074.009
AT ITER 4922 NEW BEST:: SOT 1847849 SOS 286008 HAS SOPS 286008 HAS SOUS 200787 HAS SOUPS 200787 WITH SCORE 201073.008
AT ITER 4932 NEW BEST:: SOT 1847480 SOS 285827 HAS SOPS 285827 HAS SOUS 200527 HAS SOUPS 200527 WITH SCORE 200812.827
AT ITER 4965 NEW BEST:: SOT 1847408 SOS 285642 HAS SOPS 285642 HAS SOUS 200367 HAS SOUPS 200367 WITH SCORE 200652.642
AT ITER 4995 NEW BEST:: SOT 1847390 SOS 285605 HAS SOPS 285605 HAS SOUS 200349 HAS SOUPS 200349 WITH SCORE 200634.605
AT ITER 5019 NEW BEST:: SOT 1847376 SOS 285577 HAS SOPS 285577 HAS SOUS 200347 HAS SOUPS 200347 WITH SCORE 200632.577
AT ITER 5022 NEW BEST:: SOT 1847210 SOS 285394 HAS SOPS 285394 HAS SOUS 200164 HAS SOUPS 200164 WITH SCORE 200449.394
AT ITER 5027 NEW BEST:: SOT 1847202 SOS 285386 HAS SOPS 285386 HAS SOUS 200155 HAS SOUPS 200155 WITH SCORE 200440.386
AT ITER 5059 NEW BEST:: SOT 1847185 SOS 285352 HAS SOPS 285352 HAS SOUS 200138 HAS SOUPS 200138 WITH SCORE 200423.352
AT ITER 5060 NEW BEST:: SOT 1847029 SOS 285097 HAS SOPS 285097 HAS SOUS 199887 HAS SOUPS 199887 WITH SCORE 200172.097
AT ITER 5101 NEW BEST:: SOT 1846975 SOS 285017 HAS SOPS 285017 HAS SOUS 199703 HAS SOUPS 199703 WITH SCORE 199988.017
AT ITER 5110 NEW BEST:: SOT 1846913 SOS 284955 HAS SOPS 284955 HAS SOUS 199641 HAS SOUPS 199641 WITH SCORE 199925.955
AT ITER 5112 NEW BEST:: SOT 1846604 SOS 285760 HAS SOPS 285760 HAS SOUS 199496 HAS SOUPS 199496 WITH SCORE 199781.76
AT ITER 5119 NEW BEST:: SOT 1846337 SOS 285283 HAS SOPS 285283 HAS SOUS 199102 HAS SOUPS 199102 WITH SCORE 199387.283
AT ITER 5138 NEW BEST:: SOT 1846337 SOS 285135 HAS SOPS 285135 HAS SOUS 199088 HAS SOUPS 199088 WITH SCORE 199373.135
AT ITER 5183 NEW BEST:: SOT 1846289 SOS 285069 HAS SOPS 285069 HAS SOUS 199047 HAS SOUPS 199047 WITH SCORE 199332.069
AT ITER 5206 NEW BEST:: SOT 1846138 SOS 285044 HAS SOPS 285044 HAS SOUS 199041 HAS SOUPS 199041 WITH SCORE 199326.044
AT ITER 5273 NEW BEST:: SOT 1846124 SOS 285042 HAS SOPS 285042 HAS SOUS 199027 HAS SOUPS 199027 WITH SCORE 199312.042
AT ITER 5316 NEW BEST:: SOT 1846101 SOS 285040 HAS SOPS 285040 HAS SOUS 199026 HAS SOUPS 199026 WITH SCORE 199311.04
AT ITER 5330 NEW BEST:: SOT 1846097 SOS 284920 HAS SOPS 284920 HAS SOUS 199019 HAS SOUPS 199019 WITH SCORE 199303.92
AT ITER 5334 NEW BEST:: SOT 1846152 SOS 285061 HAS SOPS 285061 HAS SOUS 199013 HAS SOUPS 199013 WITH SCORE 199298.061
AT ITER 5374 NEW BEST:: SOT 1845962 SOS 284871 HAS SOPS 284871 HAS SOUS 198823 HAS SOUPS 198823 WITH SCORE 199107.871
AT ITER 5415 NEW BEST:: SOT 1845930 SOS 284855 HAS SOPS 284855 HAS SOUS 198748 HAS SOUPS 198748 WITH SCORE 199032.855
AT ITER 5420 NEW BEST:: SOT 1845921 SOS 284828 HAS SOPS 284828 HAS SOUS 198739 HAS SOUPS 198739 WITH SCORE 199023.828
AT ITER 5422 NEW BEST:: SOT 1845910 SOS 284806 HAS SOPS 284806 HAS SOUS 198717 HAS SOUPS 198717 WITH SCORE 199001.806
AT ITER 5428 NEW BEST:: SOT 1845892 SOS 284788 HAS SOPS 284788 HAS SOUS 198699 HAS SOUPS 198699 WITH SCORE 198983.788
AT ITER 5438 NEW BEST:: SOT 1845874 SOS 284770 HAS SOPS 284770 HAS SOUS 198681 HAS SOUPS 198681 WITH SCORE 198965.77
AT ITER 5484 NEW BEST:: SOT 1845774 SOS 284645 HAS SOPS 284645 HAS SOUS 198581 HAS SOUPS 198581 WITH SCORE 198865.645
AT ITER 5541 NEW BEST:: SOT 1845696 SOS 284567 HAS SOPS 284567 HAS SOUS 198386 HAS SOUPS 198386 WITH SCORE 198670.567
AT ITER 5555 NEW BEST:: SOT 1845382 SOS 284365 HAS SOPS 284365 HAS SOUS 198280 HAS SOUPS 198280 WITH SCORE 198564.365
AT ITER 5559 NEW BEST:: SOT 1845333 SOS 284550 HAS SOPS 284550 HAS SOUS 198182 HAS SOUPS 198182 WITH SCORE 198466.55
AT ITER 5566 NEW BEST:: SOT 1845341 SOS 284617 HAS SOPS 284617 HAS SOUS 198165 HAS SOUPS 198165 WITH SCORE 198449.617
AT ITER 5603 NEW BEST:: SOT 1845197 SOS 284710 HAS SOPS 284710 HAS SOUS 198068 HAS SOUPS 198068 WITH SCORE 198352.71
AT ITER 5623 NEW BEST:: SOT 1844987 SOS 284542 HAS SOPS 284542 HAS SOUS 197984 HAS SOUPS 197984 WITH SCORE 198268.542
AT ITER 5625 NEW BEST:: SOT 1844962 SOS 284492 HAS SOPS 284492 HAS SOUS 197978 HAS SOUPS 197978 WITH SCORE 198262.492
AT ITER 5649 NEW BEST:: SOT 1844868 SOS 284490 HAS SOPS 284490 HAS SOUS 197970 HAS SOUPS 197970 WITH SCORE 198254.49
AT ITER 5725 NEW BEST:: SOT 1844868 SOS 284501 HAS SOPS 284501 HAS SOUS 197959 HAS SOUPS 197959 WITH SCORE 198243.501
AT ITER 5740 NEW BEST:: SOT 1844739 SOS 284243 HAS SOPS 284243 HAS SOUS 197787 HAS SOUPS 197787 WITH SCORE 198071.243
AT ITER 5743 NEW BEST:: SOT 1844657 SOS 284079 HAS SOPS 284079 HAS SOUS 197705 HAS SOUPS 197705 WITH SCORE 197989.079
AT ITER 5783 NEW BEST:: SOT 1844628 SOS 283457 HAS SOPS 283457 HAS SOUS 197632 HAS SOUPS 197632 WITH SCORE 197915.457
AT ITER 5800 NEW BEST:: SOT 1844616 SOS 283445 HAS SOPS 283445 HAS SOUS 197620 HAS SOUPS 197620 WITH SCORE 197903.445
AT ITER 5811 NEW BEST:: SOT 1844547 SOS 283335 HAS SOPS 283335 HAS SOUS 197467 HAS SOUPS 197467 WITH SCORE 197750.335
AT ITER 5819 NEW BEST:: SOT 1844522 SOS 283168 HAS SOPS 283168 HAS SOUS 197413 HAS SOUPS 197413 WITH SCORE 197696.168
AT ITER 5833 NEW BEST:: SOT 1844269 SOS 283092 HAS SOPS 283092 HAS SOUS 197160 HAS SOUPS 197160 WITH SCORE 197443.092
AT ITER 5839 NEW BEST:: SOT 1844051 SOS 282538 HAS SOPS 282538 HAS SOUS 196856 HAS SOUPS 196856 WITH SCORE 197138.538
AT ITER 5866 NEW BEST:: SOT 1844036 SOS 282523 HAS SOPS 282523 HAS SOUS 196840 HAS SOUPS 196840 WITH SCORE 197122.523
AT ITER 5956 NEW BEST:: SOT 1844036 SOS 282471 HAS SOPS 282471 HAS SOUS 196806 HAS SOUPS 196806 WITH SCORE 197088.471
AT ITER 5961 NEW BEST:: SOT 1844026 SOS 282461 HAS SOPS 282461 HAS SOUS 196796 HAS SOUPS 196796 WITH SCORE 197078.461
AT ITER 5975 NEW BEST:: SOT 1844115 SOS 282654 HAS SOPS 282654 HAS SOUS 196679 HAS SOUPS 196679 WITH SCORE 196961.654
AT ITER 5997 NEW BEST:: SOT 1844111 SOS 282652 HAS SOPS 282652 HAS SOUS 196673 HAS SOUPS 196673 WITH SCORE 196955.652
AT ITER 6019 NEW BEST:: SOT 1844074 SOS 282615 HAS SOPS 282615 HAS SOUS 196599 HAS SOUPS 196599 WITH SCORE 196881.615
AT ITER 6061 NEW BEST:: SOT 1843675 SOS 282083 HAS SOPS 282083 HAS SOUS 196344 HAS SOUPS 196344 WITH SCORE 196626.083
AT ITER 6100 NEW BEST:: SOT 1843644 SOS 282059 HAS SOPS 282059 HAS SOUS 196262 HAS SOUPS 196262 WITH SCORE 196544.059
AT ITER 6118 NEW BEST:: SOT 1843614 SOS 282282 HAS SOPS 282282 HAS SOUS 195873 HAS SOUPS 195873 WITH SCORE 196155.282
AT ITER 6196 NEW BEST:: SOT 1843440 SOS 282028 HAS SOPS 282028 HAS SOUS 195619 HAS SOUPS 195619 WITH SCORE 195901.028
AT ITER 6204 NEW BEST:: SOT 1843400 SOS 281988 HAS SOPS 281988 HAS SOUS 195582 HAS SOUPS 195582 WITH SCORE 195863.988
AT ITER 6212 NEW BEST:: SOT 1843400 SOS 281984 HAS SOPS 281984 HAS SOUS 195582 HAS SOUPS 195582 WITH SCORE 195863.984
AT ITER 6218 NEW BEST:: SOT 1843364 SOS 282083 HAS SOPS 282083 HAS SOUS 195562 HAS SOUPS 195562 WITH SCORE 195844.083
AT ITER 6236 NEW BEST:: SOT 1843374 SOS 282103 HAS SOPS 282103 HAS SOUS 195540 HAS SOUPS 195540 WITH SCORE 195822.103
AT ITER 6245 NEW BEST:: SOT 1843324 SOS 282055 HAS SOPS 282055 HAS SOUS 195440 HAS SOUPS 195440 WITH SCORE 195722.055
AT ITER 6325 NEW BEST:: SOT 1843279 SOS 281968 HAS SOPS 281968 HAS SOUS 195306 HAS SOUPS 195306 WITH SCORE 195587.968
AT ITER 6375 NEW BEST:: SOT 1843240 SOS 281812 HAS SOPS 281812 HAS SOUS 195267 HAS SOUPS 195267 WITH SCORE 195548.812
AT ITER 6422 NEW BEST:: SOT 1843200 SOS 281784 HAS SOPS 281784 HAS SOUS 195251 HAS SOUPS 195251 WITH SCORE 195532.784
AT ITER 6456 NEW BEST:: SOT 1843155 SOS 281694 HAS SOPS 281694 HAS SOUS 195206 HAS SOUPS 195206 WITH SCORE 195487.694
AT ITER 6462 NEW BEST:: SOT 1842945 SOS 281291 HAS SOPS 281291 HAS SOUS 194961 HAS SOUPS 194961 WITH SCORE 195242.291
AT ITER 6496 NEW BEST:: SOT 1842883 SOS 281248 HAS SOPS 281248 HAS SOUS 194918 HAS SOUPS 194918 WITH SCORE 195199.248
AT ITER 6556 NEW BEST:: SOT 1842883 SOS 281248 HAS SOPS 281248 HAS SOUS 194914 HAS SOUPS 194914 WITH SCORE 195195.248
AT ITER 6557 NEW BEST:: SOT 1842882 SOS 281246 HAS SOPS 281246 HAS SOUS 194912 HAS SOUPS 194912 WITH SCORE 195193.246
AT ITER 6559 NEW BEST:: SOT 1842594 SOS 281184 HAS SOPS 281184 HAS SOUS 194903 HAS SOUPS 194903 WITH SCORE 195184.184
AT ITER 6564 NEW BEST:: SOT 1842565 SOS 280900 HAS SOPS 280900 HAS SOUS 194879 HAS SOUPS 194879 WITH SCORE 195159.9
AT ITER 6610 NEW BEST:: SOT 1842427 SOS 280801 HAS SOPS 280801 HAS SOUS 194572 HAS SOUPS 194572 WITH SCORE 194852.801
AT ITER 6633 NEW BEST:: SOT 1842426 SOS 280799 HAS SOPS 280799 HAS SOUS 194571 HAS SOUPS 194571 WITH SCORE 194851.799
AT ITER 6676 NEW BEST:: SOT 1842372 SOS 280747 HAS SOPS 280747 HAS SOUS 194519 HAS SOUPS 194519 WITH SCORE 194799.747
AT ITER 6703 NEW BEST:: SOT 1842828 SOS 281965 HAS SOPS 281965 HAS SOUS 194350 HAS SOUPS 194350 WITH SCORE 194631.965
AT ITER 6735 NEW BEST:: SOT 1842828 SOS 281975 HAS SOPS 281975 HAS SOUS 194332 HAS SOUPS 194332 WITH SCORE 194613.975
AT ITER 6757 NEW BEST:: SOT 1842742 SOS 281936 HAS SOPS 281936 HAS SOUS 194295 HAS SOUPS 194295 WITH SCORE 194576.936
AT ITER 6794 NEW BEST:: SOT 1842803 SOS 282101 HAS SOPS 282101 HAS SOUS 194268 HAS SOUPS 194268 WITH SCORE 194550.101
AT ITER 6836 NEW BEST:: SOT 1842781 SOS 282079 HAS SOPS 282079 HAS SOUS 194246 HAS SOUPS 194246 WITH SCORE 194528.079
AT ITER 6839 NEW BEST:: SOT 1842406 SOS 281899 HAS SOPS 281899 HAS SOUS 193946 HAS SOUPS 193946 WITH SCORE 194227.899
AT ITER 6852 NEW BEST:: SOT 1842303 SOS 281638 HAS SOPS 281638 HAS SOUS 193636 HAS SOUPS 193636 WITH SCORE 193917.638
AT ITER 6859 NEW BEST:: SOT 1842125 SOS 281460 HAS SOPS 281460 HAS SOUS 193458 HAS SOUPS 193458 WITH SCORE 193739.46
AT ITER 6891 NEW BEST:: SOT 1842401 SOS 281727 HAS SOPS 281727 HAS SOUS 193457 HAS SOUPS 193457 WITH SCORE 193738.727
AT ITER 6894 NEW BEST:: SOT 1842369 SOS 281695 HAS SOPS 281695 HAS SOUS 193425 HAS SOUPS 193425 WITH SCORE 193706.695
AT ITER 6913 NEW BEST:: SOT 1842321 SOS 281653 HAS SOPS 281653 HAS SOUS 193383 HAS SOUPS 193383 WITH SCORE 193664.653
AT ITER 6930 NEW BEST:: SOT 1842317 SOS 281649 HAS SOPS 281649 HAS SOUS 193377 HAS SOUPS 193377 WITH SCORE 193658.649
AT ITER 6931 NEW BEST:: SOT 1842276 SOS 281802 HAS SOPS 281802 HAS SOUS 193359 HAS SOUPS 193359 WITH SCORE 193640.802
AT ITER 6935 NEW BEST:: SOT 1842262 SOS 281800 HAS SOPS 281800 HAS SOUS 193332 HAS SOUPS 193332 WITH SCORE 193613.8
AT ITER 6965 NEW BEST:: SOT 1842252 SOS 281782 HAS SOPS 281782 HAS SOUS 193312 HAS SOUPS 193312 WITH SCORE 193593.782
AT ITER 6984 NEW BEST:: SOT 1842176 SOS 281777 HAS SOPS 281777 HAS SOUS 193197 HAS SOUPS 193197 WITH SCORE 193478.777
AT ITER 7018 NEW BEST:: SOT 1842176 SOS 281600 HAS SOPS 281600 HAS SOUS 193136 HAS SOUPS 193136 WITH SCORE 193417.6
AT ITER 7020 NEW BEST:: SOT 1842166 SOS 281641 HAS SOPS 281641 HAS SOUS 193055 HAS SOUPS 193055 WITH SCORE 193336.641
AT ITER 7027 NEW BEST:: SOT 1842163 SOS 281472 HAS SOPS 281472 HAS SOUS 193054 HAS SOUPS 193054 WITH SCORE 193335.472
AT ITER 7063 NEW BEST:: SOT 1842151 SOS 281460 HAS SOPS 281460 HAS SOUS 193030 HAS SOUPS 193030 WITH SCORE 193311.46
AT ITER 7084 NEW BEST:: SOT 1842063 SOS 281165 HAS SOPS 281165 HAS SOUS 192830 HAS SOUPS 192830 WITH SCORE 193111.165
AT ITER 7119 NEW BEST:: SOT 1842063 SOS 281192 HAS SOPS 281192 HAS SOUS 192803 HAS SOUPS 192803 WITH SCORE 193084.192
AT ITER 7257 NEW BEST:: SOT 1842063 SOS 281131 HAS SOPS 281131 HAS SOUS 192803 HAS SOUPS 192803 WITH SCORE 193084.131
AT ITER 7275 NEW BEST:: SOT 1841535 SOS 281910 HAS SOPS 281910 HAS SOUS 192426 HAS SOUPS 192426 WITH SCORE 192707.91
AT ITER 7328 NEW BEST:: SOT 1841505 SOS 281850 HAS SOPS 281850 HAS SOUS 192396 HAS SOUPS 192396 WITH SCORE 192677.85
AT ITER 7348 NEW BEST:: SOT 1841505 SOS 281692 HAS SOPS 281692 HAS SOUS 192355 HAS SOUPS 192355 WITH SCORE 192636.692
AT ITER 7359 NEW BEST:: SOT 1841480 SOS 281622 HAS SOPS 281622 HAS SOUS 192351 HAS SOUPS 192351 WITH SCORE 192632.622
AT ITER 7365 NEW BEST:: SOT 1841389 SOS 281544 HAS SOPS 281544 HAS SOUS 192260 HAS SOUPS 192260 WITH SCORE 192541.544
AT ITER 7404 NEW BEST:: SOT 1841389 SOS 281526 HAS SOPS 281526 HAS SOUS 192254 HAS SOUPS 192254 WITH SCORE 192535.526
AT ITER 7421 NEW BEST:: SOT 1841410 SOS 282185 HAS SOPS 282185 HAS SOUS 192243 HAS SOUPS 192243 WITH SCORE 192525.185
AT ITER 7485 NEW BEST:: SOT 1841387 SOS 282139 HAS SOPS 282139 HAS SOUS 192197 HAS SOUPS 192197 WITH SCORE 192479.139
AT ITER 7519 NEW BEST:: SOT 1841389 SOS 282141 HAS SOPS 282141 HAS SOUS 192164 HAS SOUPS 192164 WITH SCORE 192446.141
AT ITER 7558 NEW BEST:: SOT 1841350 SOS 282063 HAS SOPS 282063 HAS SOUS 192126 HAS SOUPS 192126 WITH SCORE 192408.063
AT ITER 7581 NEW BEST:: SOT 1841304 SOS 282029 HAS SOPS 282029 HAS SOUS 192122 HAS SOUPS 192122 WITH SCORE 192404.029
AT ITER 7593 NEW BEST:: SOT 1841220 SOS 281962 HAS SOPS 281962 HAS SOUS 192055 HAS SOUPS 192055 WITH SCORE 192336.962
AT ITER 7611 NEW BEST:: SOT 1841156 SOS 281876 HAS SOPS 281876 HAS SOUS 191993 HAS SOUPS 191993 WITH SCORE 192274.876
AT ITER 7612 NEW BEST:: SOT 1841152 SOS 281868 HAS SOPS 281868 HAS SOUS 191985 HAS SOUPS 191985 WITH SCORE 192266.868
AT ITER 7629 NEW BEST:: SOT 1841123 SOS 281801 HAS SOPS 281801 HAS SOUS 191934 HAS SOUPS 191934 WITH SCORE 192215.801
AT ITER 7648 NEW BEST:: SOT 1841064 SOS 281715 HAS SOPS 281715 HAS SOUS 191838 HAS SOUPS 191838 WITH SCORE 192119.715
AT ITER 7669 NEW BEST:: SOT 1840999 SOS 281592 HAS SOPS 281592 HAS SOUS 191770 HAS SOUPS 191770 WITH SCORE 192051.592
AT ITER 7678 NEW BEST:: SOT 1840627 SOS 281052 HAS SOPS 281052 HAS SOUS 191532 HAS SOUPS 191532 WITH SCORE 191813.052
AT ITER 7719 NEW BEST:: SOT 1840427 SOS 280987 HAS SOPS 280987 HAS SOUS 191235 HAS SOUPS 191235 WITH SCORE 191515.987
AT ITER 7754 NEW BEST:: SOT 1840376 SOS 280579 HAS SOPS 280579 HAS SOUS 191133 HAS SOUPS 191133 WITH SCORE 191413.579
AT ITER 7763 NEW BEST:: SOT 1840375 SOS 280523 HAS SOPS 280523 HAS SOUS 191085 HAS SOUPS 191085 WITH SCORE 191365.523
AT ITER 7803 NEW BEST:: SOT 1840212 SOS 280295 HAS SOPS 280295 HAS SOUS 190857 HAS SOUPS 190857 WITH SCORE 191137.295
AT ITER 7804 NEW BEST:: SOT 1840261 SOS 282445 HAS SOPS 282445 HAS SOUS 190789 HAS SOUPS 190789 WITH SCORE 191071.445
AT ITER 7814 NEW BEST:: SOT 1840199 SOS 282357 HAS SOPS 282357 HAS SOUS 190789 HAS SOUPS 190789 WITH SCORE 191071.357
AT ITER 7824 NEW BEST:: SOT 1840256 SOS 282431 HAS SOPS 282431 HAS SOUS 190718 HAS SOUPS 190718 WITH SCORE 191000.431
AT ITER 7880 NEW BEST:: SOT 1839990 SOS 283291 HAS SOPS 283291 HAS SOUS 190570 HAS SOUPS 190570 WITH SCORE 190853.291
AT ITER 7904 NEW BEST:: SOT 1839950 SOS 283251 HAS SOPS 283251 HAS SOUS 190489 HAS SOUPS 190489 WITH SCORE 190772.251
AT ITER 7927 NEW BEST:: SOT 1839898 SOS 283014 HAS SOPS 283014 HAS SOUS 190423 HAS SOUPS 190423 WITH SCORE 190706.014
AT ITER 7985 NEW BEST:: SOT 1839863 SOS 283019 HAS SOPS 283019 HAS SOUS 190388 HAS SOUPS 190388 WITH SCORE 190671.019
AT ITER 8014 NEW BEST:: SOT 1839829 SOS 282938 HAS SOPS 282938 HAS SOUS 190325 HAS SOUPS 190325 WITH SCORE 190607.938
AT ITER 8028 NEW BEST:: SOT 1839949 SOS 283192 HAS SOPS 283192 HAS SOUS 190043 HAS SOUPS 190043 WITH SCORE 190326.192
AT ITER 8089 NEW BEST:: SOT 1839949 SOS 283005 HAS SOPS 283005 HAS SOUS 190043 HAS SOUPS 190043 WITH SCORE 190326.005
AT ITER 8108 NEW BEST:: SOT 1839936 SOS 282991 HAS SOPS 282991 HAS SOUS 190023 HAS SOUPS 190023 WITH SCORE 190305.991
AT ITER 8123 NEW BEST:: SOT 1839751 SOS 282899 HAS SOPS 282899 HAS SOUS 189961 HAS SOUPS 189961 WITH SCORE 190243.899
AT ITER 8161 NEW BEST:: SOT 1839665 SOS 282580 HAS SOPS 282580 HAS SOUS 189799 HAS SOUPS 189799 WITH SCORE 190081.58
AT ITER 8185 NEW BEST:: SOT 1839609 SOS 282449 HAS SOPS 282449 HAS SOUS 189765 HAS SOUPS 189765 WITH SCORE 190047.449
AT ITER 8229 NEW BEST:: SOT 1839605 SOS 282445 HAS SOPS 282445 HAS SOUS 189761 HAS SOUPS 189761 WITH SCORE 190043.445
AT ITER 8249 NEW BEST:: SOT 1839605 SOS 282424 HAS SOPS 282424 HAS SOUS 189741 HAS SOUPS 189741 WITH SCORE 190023.424
AT ITER 8266 NEW BEST:: SOT 1839565 SOS 282416 HAS SOPS 282416 HAS SOUS 189730 HAS SOUPS 189730 WITH SCORE 190012.416
AT ITER 8292 NEW BEST:: SOT 1839474 SOS 282497 HAS SOPS 282497 HAS SOUS 189677 HAS SOUPS 189677 WITH SCORE 189959.497
AT ITER 8293 NEW BEST:: SOT 1839474 SOS 282485 HAS SOPS 282485 HAS SOUS 189630 HAS SOUPS 189630 WITH SCORE 189912.485
AT ITER 8312 NEW BEST:: SOT 1839464 SOS 282475 HAS SOPS 282475 HAS SOUS 189630 HAS SOUPS 189630 WITH SCORE 189912.475
AT ITER 8399 NEW BEST:: SOT 1839381 SOS 282744 HAS SOPS 282744 HAS SOUS 189568 HAS SOUPS 189568 WITH SCORE 189850.744
AT ITER 8467 NEW BEST:: SOT 1839381 SOS 282393 HAS SOPS 282393 HAS SOUS 189184 HAS SOUPS 189184 WITH SCORE 189466.393
AT ITER 8468 NEW BEST:: SOT 1839381 SOS 282393 HAS SOPS 282393 HAS SOUS 189172 HAS SOUPS 189172 WITH SCORE 189454.393
AT ITER 8476 NEW BEST:: SOT 1838657 SOS 282426 HAS SOPS 282426 HAS SOUS 188596 HAS SOUPS 188596 WITH SCORE 188878.426
AT ITER 8489 NEW BEST:: SOT 1838630 SOS 282291 HAS SOPS 282291 HAS SOUS 188596 HAS SOUPS 188596 WITH SCORE 188878.291
AT ITER 8528 NEW BEST:: SOT 1838367 SOS 282586 HAS SOPS 282586 HAS SOUS 188500 HAS SOUPS 188500 WITH SCORE 188782.586
AT ITER 8544 NEW BEST:: SOT 1838324 SOS 282543 HAS SOPS 282543 HAS SOUS 188457 HAS SOUPS 188457 WITH SCORE 188739.543
AT ITER 8556 NEW BEST:: SOT 1838321 SOS 282537 HAS SOPS 282537 HAS SOUS 188451 HAS SOUPS 188451 WITH SCORE 188733.537
AT ITER 8590 NEW BEST:: SOT 1838303 SOS 282501 HAS SOPS 282501 HAS SOUS 188401 HAS SOUPS 188401 WITH SCORE 188683.501
AT ITER 8617 NEW BEST:: SOT 1838226 SOS 282225 HAS SOPS 282225 HAS SOUS 188263 HAS SOUPS 188263 WITH SCORE 188545.225
AT ITER 8667 NEW BEST:: SOT 1838213 SOS 282149 HAS SOPS 282149 HAS SOUS 188245 HAS SOUPS 188245 WITH SCORE 188527.149
AT ITER 8698 NEW BEST:: SOT 1838131 SOS 282067 HAS SOPS 282067 HAS SOUS 188163 HAS SOUPS 188163 WITH SCORE 188445.067
AT ITER 8707 NEW BEST:: SOT 1838033 SOS 281871 HAS SOPS 281871 HAS SOUS 187864 HAS SOUPS 187864 WITH SCORE 188145.871
AT ITER 8778 NEW BEST:: SOT 1838033 SOS 281919 HAS SOPS 281919 HAS SOUS 187826 HAS SOUPS 187826 WITH SCORE 188107.919
AT ITER 8784 NEW BEST:: SOT 1837965 SOS 281905 HAS SOPS 281905 HAS SOUS 187812 HAS SOUPS 187812 WITH SCORE 188093.905
AT ITER 8803 NEW BEST:: SOT 1837935 SOS 281875 HAS SOPS 281875 HAS SOUS 187797 HAS SOUPS 187797 WITH SCORE 188078.875
AT ITER 8886 NEW BEST:: SOT 1837954 SOS 281894 HAS SOPS 281894 HAS SOUS 187796 HAS SOUPS 187796 WITH SCORE 188077.894
AT ITER 8889 NEW BEST:: SOT 1837886 SOS 281690 HAS SOPS 281690 HAS SOUS 187727 HAS SOUPS 187727 WITH SCORE 188008.69
AT ITER 8897 NEW BEST:: SOT 1837824 SOS 281524 HAS SOPS 281524 HAS SOUS 187675 HAS SOUPS 187675 WITH SCORE 187956.524
AT ITER 8914 NEW BEST:: SOT 1837805 SOS 281527 HAS SOPS 281527 HAS SOUS 187661 HAS SOUPS 187661 WITH SCORE 187942.527
AT ITER 8993 NEW BEST:: SOT 1837812 SOS 281542 HAS SOPS 281542 HAS SOUS 187650 HAS SOUPS 187650 WITH SCORE 187931.542
AT ITER 9006 NEW BEST:: SOT 1837812 SOS 281514 HAS SOPS 281514 HAS SOUS 187622 HAS SOUPS 187622 WITH SCORE 187903.514
AT ITER 9117 NEW BEST:: SOT 1837682 SOS 279826 HAS SOPS 279826 HAS SOUS 187362 HAS SOUPS 187362 WITH SCORE 187641.826
AT ITER 9160 NEW BEST:: SOT 1837568 SOS 279674 HAS SOPS 279674 HAS SOUS 187362 HAS SOUPS 187362 WITH SCORE 187641.674
AT ITER 9171 NEW BEST:: SOT 1837428 SOS 279777 HAS SOPS 279777 HAS SOUS 187189 HAS SOUPS 187189 WITH SCORE 187468.777
AT ITER 9257 NEW BEST:: SOT 1836980 SOS 279893 HAS SOPS 279893 HAS SOUS 186903 HAS SOUPS 186903 WITH SCORE 187182.893
AT ITER 9260 NEW BEST:: SOT 1836975 SOS 279885 HAS SOPS 279885 HAS SOUS 186895 HAS SOUPS 186895 WITH SCORE 187174.885
AT ITER 9274 NEW BEST:: SOT 1836929 SOS 279839 HAS SOPS 279839 HAS SOUS 186849 HAS SOUPS 186849 WITH SCORE 187128.839
AT ITER 9286 NEW BEST:: SOT 1837026 SOS 280675 HAS SOPS 280675 HAS SOUS 186805 HAS SOUPS 186805 WITH SCORE 187085.675
AT ITER 9373 NEW BEST:: SOT 1836970 SOS 280611 HAS SOPS 280611 HAS SOUS 186741 HAS SOUPS 186741 WITH SCORE 187021.611
AT ITER 9379 NEW BEST:: SOT 1836952 SOS 280575 HAS SOPS 280575 HAS SOUS 186705 HAS SOUPS 186705 WITH SCORE 186985.575
AT ITER 9384 NEW BEST:: SOT 1836878 SOS 280631 HAS SOPS 280631 HAS SOUS 186667 HAS SOUPS 186667 WITH SCORE 186947.631
AT ITER 9409 NEW BEST:: SOT 1836813 SOS 280574 HAS SOPS 280574 HAS SOUS 186602 HAS SOUPS 186602 WITH SCORE 186882.574
AT ITER 9479 NEW BEST:: SOT 1836772 SOS 280534 HAS SOPS 280534 HAS SOUS 186528 HAS SOUPS 186528 WITH SCORE 186808.534
AT ITER 9480 NEW BEST:: SOT 1836569 SOS 280982 HAS SOPS 280982 HAS SOUS 186527 HAS SOUPS 186527 WITH SCORE 186807.982
AT ITER 9534 NEW BEST:: SOT 1836824 SOS 281195 HAS SOPS 281195 HAS SOUS 186467 HAS SOUPS 186467 WITH SCORE 186748.195
AT ITER 9536 NEW BEST:: SOT 1836799 SOS 281183 HAS SOPS 281183 HAS SOUS 186417 HAS SOUPS 186417 WITH SCORE 186698.183
AT ITER 9543 NEW BEST:: SOT 1836699 SOS 281083 HAS SOPS 281083 HAS SOUS 186317 HAS SOUPS 186317 WITH SCORE 186598.083
AT ITER 9548 NEW BEST:: SOT 1836388 SOS 282614 HAS SOPS 282614 HAS SOUS 186093 HAS SOUPS 186093 WITH SCORE 186375.614
AT ITER 9557 NEW BEST:: SOT 1836272 SOS 282498 HAS SOPS 282498 HAS SOUS 185977 HAS SOUPS 185977 WITH SCORE 186259.498
AT ITER 9578 NEW BEST:: SOT 1836213 SOS 282443 HAS SOPS 282443 HAS SOUS 185861 HAS SOUPS 185861 WITH SCORE 186143.443
AT ITER 9595 NEW BEST:: SOT 1836128 SOS 282209 HAS SOPS 282209 HAS SOUS 185782 HAS SOUPS 185782 WITH SCORE 186064.209
AT ITER 9623 NEW BEST:: SOT 1836065 SOS 282083 HAS SOPS 282083 HAS SOUS 185704 HAS SOUPS 185704 WITH SCORE 185986.083
AT ITER 9631 NEW BEST:: SOT 1835803 SOS 281633 HAS SOPS 281633 HAS SOUS 185307 HAS SOUPS 185307 WITH SCORE 185588.633
AT ITER 9652 NEW BEST:: SOT 1835803 SOS 281634 HAS SOPS 281634 HAS SOUS 185305 HAS SOUPS 185305 WITH SCORE 185586.634
AT ITER 9657 NEW BEST:: SOT 1835286 SOS 281464 HAS SOPS 281464 HAS SOUS 184807 HAS SOUPS 184807 WITH SCORE 185088.464
AT ITER 9668 NEW BEST:: SOT 1835275 SOS 281442 HAS SOPS 281442 HAS SOUS 184721 HAS SOUPS 184721 WITH SCORE 185002.442
AT ITER 9684 NEW BEST:: SOT 1835251 SOS 281346 HAS SOPS 281346 HAS SOUS 184673 HAS SOUPS 184673 WITH SCORE 184954.346
AT ITER 9717 NEW BEST:: SOT 1835217 SOS 281278 HAS SOPS 281278 HAS SOUS 184605 HAS SOUPS 184605 WITH SCORE 184886.278
AT ITER 9747 NEW BEST:: SOT 1835217 SOS 281253 HAS SOPS 281253 HAS SOUS 184555 HAS SOUPS 184555 WITH SCORE 184836.253
AT ITER 9782 NEW BEST:: SOT 1835205 SOS 281253 HAS SOPS 281253 HAS SOUS 184543 HAS SOUPS 184543 WITH SCORE 184824.253
AT ITER 9814 NEW BEST:: SOT 1835152 SOS 281039 HAS SOPS 281039 HAS SOUS 184440 HAS SOUPS 184440 WITH SCORE 184721.039
AT ITER 9829 NEW BEST:: SOT 1835129 SOS 280997 HAS SOPS 280997 HAS SOUS 184435 HAS SOUPS 184435 WITH SCORE 184715.997
AT ITER 9872 NEW BEST:: SOT 1835103 SOS 280849 HAS SOPS 280849 HAS SOUS 184272 HAS SOUPS 184272 WITH SCORE 184552.849
AT ITER 9928 NEW BEST:: SOT 1835092 SOS 280860 HAS SOPS 280860 HAS SOUS 184250 HAS SOUPS 184250 WITH SCORE 184530.86
AT ITER 9937 NEW BEST:: SOT 1835086 SOS 280854 HAS SOPS 280854 HAS SOUS 184230 HAS SOUPS 184230 WITH SCORE 184510.854
AT ITER 9957 NEW BEST:: SOT 1834771 SOS 280360 HAS SOPS 280360 HAS SOUS 183631 HAS SOUPS 183631 WITH SCORE 183911.36
AT ITER 9960 NEW BEST:: SOT 1834738 SOS 279962 HAS SOPS 279962 HAS SOUS 183559 HAS SOUPS 183559 WITH SCORE 183838.962
AT ITER 9967 NEW BEST:: SOT 1834793 SOS 280028 HAS SOPS 280028 HAS SOUS 183557 HAS SOUPS 183557 WITH SCORE 183837.028
AT ITER 9990 NEW BEST:: SOT 1834571 SOS 280155 HAS SOPS 280155 HAS SOUS 183389 HAS SOUPS 183389 WITH SCORE 183669.155
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11455620 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16119336 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="NoC3x3-PT-6B"
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 NoC3x3-PT-6B, 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 r267-smll-167863541700320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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