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.r099-tall-167814472200256.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 smart
Input is DBSingleClientW-PT-d1m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 15:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678233502920

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d1m06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216889 HAS SOPS 216874 HAS SOUS 156585 HAS SOUPS 156570 WITH SCORE 156786.889
AT ITER 14 NEW BEST:: SOT 229387 SOS 216963 HAS SOPS 216948 HAS SOUS 156548 HAS SOUPS 156533 WITH SCORE 156749.963
AT ITER 39 NEW BEST:: SOT 229387 SOS 216963 HAS SOPS 216948 HAS SOUS 156544 HAS SOUPS 156529 WITH SCORE 156745.963
AT ITER 67 NEW BEST:: SOT 229387 SOS 216963 HAS SOPS 216948 HAS SOUS 156245 HAS SOUPS 156230 WITH SCORE 156446.963
AT ITER 102 NEW BEST:: SOT 229387 SOS 216886 HAS SOPS 216871 HAS SOUS 156245 HAS SOUPS 156230 WITH SCORE 156446.886
AT ITER 159 NEW BEST:: SOT 229387 SOS 216743 HAS SOPS 216728 HAS SOUS 156214 HAS SOUPS 156199 WITH SCORE 156415.743
AT ITER 198 NEW BEST:: SOT 229603 SOS 216959 HAS SOPS 216944 HAS SOUS 156199 HAS SOUPS 156184 WITH SCORE 156400.959
AT ITER 214 NEW BEST:: SOT 229603 SOS 216959 HAS SOPS 216944 HAS SOUS 156105 HAS SOUPS 156090 WITH SCORE 156306.959
AT ITER 256 NEW BEST:: SOT 229660 SOS 217016 HAS SOPS 217001 HAS SOUS 155612 HAS SOUPS 155597 WITH SCORE 155814.016
AT ITER 294 NEW BEST:: SOT 232240 SOS 218378 HAS SOPS 218363 HAS SOUS 155126 HAS SOUPS 155111 WITH SCORE 155329.378
AT ITER 320 NEW BEST:: SOT 232277 SOS 218415 HAS SOPS 218400 HAS SOUS 154931 HAS SOUPS 154916 WITH SCORE 155134.415
AT ITER 321 NEW BEST:: SOT 232277 SOS 218415 HAS SOPS 218400 HAS SOUS 154776 HAS SOUPS 154761 WITH SCORE 154979.415
AT ITER 334 NEW BEST:: SOT 232538 SOS 218676 HAS SOPS 218661 HAS SOUS 154729 HAS SOUPS 154714 WITH SCORE 154932.676
AT ITER 397 NEW BEST:: SOT 232588 SOS 218726 HAS SOPS 218711 HAS SOUS 154601 HAS SOUPS 154586 WITH SCORE 154804.726
AT ITER 436 NEW BEST:: SOT 232588 SOS 218726 HAS SOPS 218711 HAS SOUS 154599 HAS SOUPS 154584 WITH SCORE 154802.726
AT ITER 487 NEW BEST:: SOT 236398 SOS 221939 HAS SOPS 221924 HAS SOUS 153934 HAS SOUPS 153919 WITH SCORE 154140.939
AT ITER 488 NEW BEST:: SOT 237838 SOS 223379 HAS SOPS 223364 HAS SOUS 151568 HAS SOUPS 151553 WITH SCORE 151776.379
AT ITER 515 NEW BEST:: SOT 237838 SOS 223379 HAS SOPS 223364 HAS SOUS 151552 HAS SOUPS 151537 WITH SCORE 151760.379
AT ITER 556 NEW BEST:: SOT 234938 SOS 220479 HAS SOPS 220464 HAS SOUS 149644 HAS SOUPS 149629 WITH SCORE 149849.479
AT ITER 573 NEW BEST:: SOT 234938 SOS 220479 HAS SOPS 220464 HAS SOUS 149614 HAS SOUPS 149599 WITH SCORE 149819.479
AT ITER 604 NEW BEST:: SOT 234938 SOS 220400 HAS SOPS 220385 HAS SOUS 149611 HAS SOUPS 149596 WITH SCORE 149816.4
AT ITER 623 NEW BEST:: SOT 234938 SOS 220304 HAS SOPS 220289 HAS SOUS 149595 HAS SOUPS 149580 WITH SCORE 149800.304
AT ITER 770 NEW BEST:: SOT 234938 SOS 220304 HAS SOPS 220289 HAS SOUS 149581 HAS SOUPS 149566 WITH SCORE 149786.304
AT ITER 781 NEW BEST:: SOT 234938 SOS 220326 HAS SOPS 220311 HAS SOUS 149189 HAS SOUPS 149174 WITH SCORE 149394.326
AT ITER 847 NEW BEST:: SOT 234938 SOS 220326 HAS SOPS 220311 HAS SOUS 149188 HAS SOUPS 149173 WITH SCORE 149393.326
AT ITER 879 NEW BEST:: SOT 234842 SOS 220230 HAS SOPS 220215 HAS SOUS 149092 HAS SOUPS 149077 WITH SCORE 149297.23
AT ITER 892 NEW BEST:: SOT 234842 SOS 220230 HAS SOPS 220215 HAS SOUS 149091 HAS SOUPS 149076 WITH SCORE 149296.23
AT ITER 904 NEW BEST:: SOT 234842 SOS 220230 HAS SOPS 220215 HAS SOUS 148967 HAS SOUPS 148952 WITH SCORE 149172.23
AT ITER 961 NEW BEST:: SOT 234842 SOS 220502 HAS SOPS 220487 HAS SOUS 147130 HAS SOUPS 147115 WITH SCORE 147335.502
AT ITER 978 NEW BEST:: SOT 234838 SOS 220494 HAS SOPS 220479 HAS SOUS 147130 HAS SOUPS 147115 WITH SCORE 147335.494
AT ITER 990 NEW BEST:: SOT 234838 SOS 220524 HAS SOPS 220509 HAS SOUS 147097 HAS SOUPS 147082 WITH SCORE 147302.524
AT ITER 1000 NEW BEST:: SOT 234838 SOS 220524 HAS SOPS 220509 HAS SOUS 147093 HAS SOUPS 147078 WITH SCORE 147298.524
AT ITER 1039 NEW BEST:: SOT 235108 SOS 220794 HAS SOPS 220779 HAS SOUS 147001 HAS SOUPS 146986 WITH SCORE 147206.794
AT ITER 1073 NEW BEST:: SOT 235108 SOS 220506 HAS SOPS 220491 HAS SOUS 146420 HAS SOUPS 146405 WITH SCORE 146625.506
AT ITER 1094 NEW BEST:: SOT 235108 SOS 220506 HAS SOPS 220491 HAS SOUS 146386 HAS SOUPS 146371 WITH SCORE 146591.506
AT ITER 1117 NEW BEST:: SOT 235122 SOS 220520 HAS SOPS 220505 HAS SOUS 146256 HAS SOUPS 146241 WITH SCORE 146461.52
AT ITER 1149 NEW BEST:: SOT 235326 SOS 220724 HAS SOPS 220709 HAS SOUS 145973 HAS SOUPS 145958 WITH SCORE 146178.724
AT ITER 1184 NEW BEST:: SOT 235326 SOS 220732 HAS SOPS 220717 HAS SOUS 145953 HAS SOUPS 145938 WITH SCORE 146158.732
AT ITER 1187 NEW BEST:: SOT 235749 SOS 221155 HAS SOPS 221140 HAS SOUS 145938 HAS SOUPS 145923 WITH SCORE 146144.155
AT ITER 1191 NEW BEST:: SOT 235749 SOS 221060 HAS SOPS 221045 HAS SOUS 145799 HAS SOUPS 145784 WITH SCORE 146005.06
AT ITER 1205 NEW BEST:: SOT 235749 SOS 221060 HAS SOPS 221045 HAS SOUS 145277 HAS SOUPS 145262 WITH SCORE 145483.06
AT ITER 1238 NEW BEST:: SOT 235749 SOS 220931 HAS SOPS 220916 HAS SOUS 144503 HAS SOUPS 144488 WITH SCORE 144708.931
AT ITER 1246 NEW BEST:: SOT 235749 SOS 220931 HAS SOPS 220916 HAS SOUS 144401 HAS SOUPS 144386 WITH SCORE 144606.931
AT ITER 1256 NEW BEST:: SOT 235662 SOS 220844 HAS SOPS 220829 HAS SOUS 144314 HAS SOUPS 144299 WITH SCORE 144519.844
AT ITER 1317 NEW BEST:: SOT 240112 SOS 224695 HAS SOPS 224680 HAS SOUS 144296 HAS SOUPS 144281 WITH SCORE 144505.695
AT ITER 1327 NEW BEST:: SOT 240112 SOS 224695 HAS SOPS 224680 HAS SOUS 143813 HAS SOUPS 143798 WITH SCORE 144022.695
AT ITER 1368 NEW BEST:: SOT 240760 SOS 225343 HAS SOPS 225328 HAS SOUS 143628 HAS SOUPS 143613 WITH SCORE 143838.343
AT ITER 1388 NEW BEST:: SOT 244770 SOS 229353 HAS SOPS 229338 HAS SOUS 141788 HAS SOUPS 141773 WITH SCORE 142002.353
AT ITER 1391 NEW BEST:: SOT 245638 SOS 230221 HAS SOPS 230206 HAS SOUS 141457 HAS SOUPS 141442 WITH SCORE 141672.221
AT ITER 1465 NEW BEST:: SOT 245088 SOS 229671 HAS SOPS 229656 HAS SOUS 141347 HAS SOUPS 141332 WITH SCORE 141561.671
AT ITER 1476 NEW BEST:: SOT 245088 SOS 228763 HAS SOPS 228748 HAS SOUS 141208 HAS SOUPS 141193 WITH SCORE 141421.763
AT ITER 1587 NEW BEST:: SOT 245088 SOS 228763 HAS SOPS 228748 HAS SOUS 141207 HAS SOUPS 141192 WITH SCORE 141420.763
AT ITER 1590 NEW BEST:: SOT 245275 SOS 225488 HAS SOPS 225407 HAS SOUS 140981 HAS SOUPS 140956 WITH SCORE 141181.488
AT ITER 1598 NEW BEST:: SOT 245524 SOS 225737 HAS SOPS 225656 HAS SOUS 140925 HAS SOUPS 140900 WITH SCORE 141125.737
AT ITER 1606 NEW BEST:: SOT 245524 SOS 223208 HAS SOPS 223127 HAS SOUS 138720 HAS SOUPS 138695 WITH SCORE 138918.208
AT ITER 1608 NEW BEST:: SOT 245524 SOS 223245 HAS SOPS 223164 HAS SOUS 138683 HAS SOUPS 138658 WITH SCORE 138881.245
AT ITER 1640 NEW BEST:: SOT 245923 SOS 222497 HAS SOPS 222405 HAS SOUS 136218 HAS SOUPS 136193 WITH SCORE 136415.497
AT ITER 1651 NEW BEST:: SOT 245923 SOS 222497 HAS SOPS 222405 HAS SOUS 136102 HAS SOUPS 136077 WITH SCORE 136299.497
AT ITER 1652 NEW BEST:: SOT 245923 SOS 222497 HAS SOPS 222405 HAS SOUS 136075 HAS SOUPS 136050 WITH SCORE 136272.497
AT ITER 1686 NEW BEST:: SOT 245923 SOS 222232 HAS SOPS 222140 HAS SOUS 135206 HAS SOUPS 135181 WITH SCORE 135403.232
AT ITER 1771 NEW BEST:: SOT 245951 SOS 222260 HAS SOPS 222168 HAS SOUS 135160 HAS SOUPS 135135 WITH SCORE 135357.26
AT ITER 1786 NEW BEST:: SOT 245951 SOS 222260 HAS SOPS 222168 HAS SOUS 134172 HAS SOUPS 134147 WITH SCORE 134369.26
AT ITER 1802 NEW BEST:: SOT 245991 SOS 222300 HAS SOPS 222208 HAS SOUS 134135 HAS SOUPS 134110 WITH SCORE 134332.3
AT ITER 1811 NEW BEST:: SOT 249740 SOS 224906 HAS SOPS 224803 HAS SOUS 132354 HAS SOUPS 132329 WITH SCORE 132553.906
AT ITER 1844 NEW BEST:: SOT 250068 SOS 225234 HAS SOPS 225131 HAS SOUS 131723 HAS SOUPS 131698 WITH SCORE 131923.234
AT ITER 1846 NEW BEST:: SOT 250155 SOS 225321 HAS SOPS 225218 HAS SOUS 131626 HAS SOUPS 131601 WITH SCORE 131826.321
AT ITER 1848 NEW BEST:: SOT 250173 SOS 225339 HAS SOPS 225236 HAS SOUS 131599 HAS SOUPS 131574 WITH SCORE 131799.339
AT ITER 1854 NEW BEST:: SOT 250965 SOS 226131 HAS SOPS 226028 HAS SOUS 131223 HAS SOUPS 131198 WITH SCORE 131424.131
AT ITER 1857 NEW BEST:: SOT 253915 SOS 228266 HAS SOPS 228152 HAS SOUS 129095 HAS SOUPS 129070 WITH SCORE 129298.266
AT ITER 1899 NEW BEST:: SOT 254468 SOS 228532 HAS SOPS 228203 HAS SOUS 129225 HAS SOUPS 128996 WITH SCORE 129224.532
AT ITER 1921 NEW BEST:: SOT 254512 SOS 228576 HAS SOPS 228247 HAS SOUS 129140 HAS SOUPS 128911 WITH SCORE 129139.576
AT ITER 1947 NEW BEST:: SOT 254512 SOS 228576 HAS SOPS 228247 HAS SOUS 129006 HAS SOUPS 128777 WITH SCORE 129005.576
AT ITER 1982 NEW BEST:: SOT 254615 SOS 228672 HAS SOPS 228240 HAS SOUS 128999 HAS SOUPS 128770 WITH SCORE 128998.672
AT ITER 1999 NEW BEST:: SOT 256883 SOS 230940 HAS SOPS 230508 HAS SOUS 128129 HAS SOUPS 127900 WITH SCORE 128130.94
AT ITER 2015 NEW BEST:: SOT 256075 SOS 230134 HAS SOPS 229713 HAS SOUS 128065 HAS SOUPS 127836 WITH SCORE 128066.134
AT ITER 2022 NEW BEST:: SOT 256075 SOS 230134 HAS SOPS 229713 HAS SOUS 127913 HAS SOUPS 127684 WITH SCORE 127914.134
AT ITER 2027 NEW BEST:: SOT 256121 SOS 230180 HAS SOPS 229759 HAS SOUS 127902 HAS SOUPS 127673 WITH SCORE 127903.18
AT ITER 2040 NEW BEST:: SOT 255051 SOS 229110 HAS SOPS 228689 HAS SOUS 127688 HAS SOUPS 127459 WITH SCORE 127688.11
AT ITER 2056 NEW BEST:: SOT 255608 SOS 229652 HAS SOPS 229220 HAS SOUS 127471 HAS SOUPS 127242 WITH SCORE 127471.652
AT ITER 2064 NEW BEST:: SOT 255608 SOS 229652 HAS SOPS 229220 HAS SOUS 127375 HAS SOUPS 127146 WITH SCORE 127375.652
AT ITER 2134 NEW BEST:: SOT 255608 SOS 229652 HAS SOPS 229220 HAS SOUS 127362 HAS SOUPS 127133 WITH SCORE 127362.652
AT ITER 2169 NEW BEST:: SOT 257615 SOS 231659 HAS SOPS 231227 HAS SOUS 125117 HAS SOUPS 124888 WITH SCORE 125119.659
AT ITER 2200 NEW BEST:: SOT 262274 SOS 235634 HAS SOPS 235191 HAS SOUS 123874 HAS SOUPS 123645 WITH SCORE 123880.634
AT ITER 2230 NEW BEST:: SOT 264470 SOS 237830 HAS SOPS 237387 HAS SOUS 122734 HAS SOUPS 122505 WITH SCORE 122742.83
AT ITER 2254 NEW BEST:: SOT 264470 SOS 237820 HAS SOPS 237286 HAS SOUS 122633 HAS SOUPS 122404 WITH SCORE 122641.82
AT ITER 2288 NEW BEST:: SOT 267141 SOS 239892 HAS SOPS 239347 HAS SOUS 120680 HAS SOUPS 120451 WITH SCORE 120690.892
AT ITER 2297 NEW BEST:: SOT 266413 SOS 239164 HAS SOPS 238619 HAS SOUS 120314 HAS SOUPS 120085 WITH SCORE 120324.164
AT ITER 2309 NEW BEST:: SOT 267430 SOS 240181 HAS SOPS 239636 HAS SOUS 118568 HAS SOUPS 118339 WITH SCORE 118579.181
AT ITER 2359 NEW BEST:: SOT 267787 SOS 240538 HAS SOPS 239993 HAS SOUS 118477 HAS SOUPS 118248 WITH SCORE 118488.538
AT ITER 2367 NEW BEST:: SOT 271063 SOS 243577 HAS SOPS 243236 HAS SOUS 116808 HAS SOUPS 116691 WITH SCORE 116934.577
AT ITER 2370 NEW BEST:: SOT 270253 SOS 242767 HAS SOPS 242426 HAS SOUS 116654 HAS SOUPS 116537 WITH SCORE 116779.767
AT ITER 2383 NEW BEST:: SOT 270295 SOS 242670 HAS SOPS 242329 HAS SOUS 116557 HAS SOUPS 116440 WITH SCORE 116682.67
AT ITER 2417 NEW BEST:: SOT 270295 SOS 242670 HAS SOPS 242329 HAS SOUS 116408 HAS SOUPS 116291 WITH SCORE 116533.67
AT ITER 2455 NEW BEST:: SOT 270595 SOS 242970 HAS SOPS 242629 HAS SOUS 116355 HAS SOUPS 116238 WITH SCORE 116480.97
AT ITER 2511 NEW BEST:: SOT 270595 SOS 242624 HAS SOPS 242283 HAS SOUS 115241 HAS SOUPS 115124 WITH SCORE 115366.624
AT ITER 2523 NEW BEST:: SOT 270595 SOS 240175 HAS SOPS 239834 HAS SOUS 115170 HAS SOUPS 115053 WITH SCORE 115293.175
AT ITER 2528 NEW BEST:: SOT 270595 SOS 240175 HAS SOPS 239834 HAS SOUS 115169 HAS SOUPS 115052 WITH SCORE 115292.175
AT ITER 2533 NEW BEST:: SOT 270283 SOS 239863 HAS SOPS 239522 HAS SOUS 115065 HAS SOUPS 114948 WITH SCORE 115187.863
AT ITER 2543 NEW BEST:: SOT 270283 SOS 240057 HAS SOPS 239716 HAS SOUS 115035 HAS SOUPS 114918 WITH SCORE 115158.057
AT ITER 2559 NEW BEST:: SOT 270427 SOS 240193 HAS SOPS 239852 HAS SOUS 114963 HAS SOUPS 114846 WITH SCORE 115086.193
AT ITER 2583 NEW BEST:: SOT 270747 SOS 240513 HAS SOPS 240172 HAS SOUS 114867 HAS SOUPS 114750 WITH SCORE 114990.513
AT ITER 2632 NEW BEST:: SOT 271084 SOS 240839 HAS SOPS 240161 HAS SOUS 115090 HAS SOUPS 114739 WITH SCORE 114979.839
AT ITER 2633 NEW BEST:: SOT 271084 SOS 240839 HAS SOPS 240161 HAS SOUS 114932 HAS SOUPS 114581 WITH SCORE 114821.839
AT ITER 2656 NEW BEST:: SOT 271216 SOS 240971 HAS SOPS 240293 HAS SOUS 114201 HAS SOUPS 113850 WITH SCORE 114090.971
AT ITER 2661 NEW BEST:: SOT 271216 SOS 240971 HAS SOPS 240293 HAS SOUS 114181 HAS SOUPS 113830 WITH SCORE 114070.971
AT ITER 2698 NEW BEST:: SOT 271216 SOS 240971 HAS SOPS 240293 HAS SOUS 114059 HAS SOUPS 113708 WITH SCORE 113948.971
AT ITER 2713 NEW BEST:: SOT 271246 SOS 241001 HAS SOPS 240323 HAS SOUS 113568 HAS SOUPS 113217 WITH SCORE 113458.001
AT ITER 2769 NEW BEST:: SOT 272767 SOS 242522 HAS SOPS 241844 HAS SOUS 111283 HAS SOUPS 110932 WITH SCORE 111174.522
AT ITER 2774 NEW BEST:: SOT 272767 SOS 242522 HAS SOPS 241844 HAS SOUS 109884 HAS SOUPS 109533 WITH SCORE 109775.522
AT ITER 2776 NEW BEST:: SOT 272977 SOS 242732 HAS SOPS 242054 HAS SOUS 109676 HAS SOUPS 109325 WITH SCORE 109567.732
AT ITER 2786 NEW BEST:: SOT 272977 SOS 242732 HAS SOPS 242054 HAS SOUS 109567 HAS SOUPS 109216 WITH SCORE 109458.732
AT ITER 2871 NEW BEST:: SOT 272697 SOS 242452 HAS SOPS 241774 HAS SOUS 109511 HAS SOUPS 109160 WITH SCORE 109402.452
AT ITER 2881 NEW BEST:: SOT 273030 SOS 242785 HAS SOPS 242107 HAS SOUS 109414 HAS SOUPS 109063 WITH SCORE 109305.785
AT ITER 2934 NEW BEST:: SOT 273030 SOS 242785 HAS SOPS 242107 HAS SOUS 109388 HAS SOUPS 109037 WITH SCORE 109279.785
AT ITER 2948 NEW BEST:: SOT 274078 SOS 243833 HAS SOPS 243155 HAS SOUS 109333 HAS SOUPS 108982 WITH SCORE 109225.833
AT ITER 2966 NEW BEST:: SOT 274531 SOS 244286 HAS SOPS 243608 HAS SOUS 108974 HAS SOUPS 108623 WITH SCORE 108867.286
AT ITER 2968 NEW BEST:: SOT 274531 SOS 241388 HAS SOPS 240710 HAS SOUS 108943 HAS SOUPS 108592 WITH SCORE 108833.388
AT ITER 2972 NEW BEST:: SOT 274399 SOS 241256 HAS SOPS 240578 HAS SOUS 108815 HAS SOUPS 108464 WITH SCORE 108705.256
AT ITER 3025 NEW BEST:: SOT 274399 SOS 241256 HAS SOPS 240578 HAS SOUS 108797 HAS SOUPS 108446 WITH SCORE 108687.256
AT ITER 3037 NEW BEST:: SOT 274399 SOS 241348 HAS SOPS 240670 HAS SOUS 108739 HAS SOUPS 108388 WITH SCORE 108629.348
AT ITER 3042 NEW BEST:: SOT 274399 SOS 241346 HAS SOPS 240668 HAS SOUS 108735 HAS SOUPS 108384 WITH SCORE 108625.346
AT ITER 3048 NEW BEST:: SOT 277918 SOS 243989 HAS SOPS 243300 HAS SOUS 107175 HAS SOUPS 106824 WITH SCORE 107067.989
AT ITER 3063 NEW BEST:: SOT 277871 SOS 243942 HAS SOPS 243253 HAS SOUS 107175 HAS SOUPS 106824 WITH SCORE 107067.942
AT ITER 3067 NEW BEST:: SOT 278777 SOS 244848 HAS SOPS 244159 HAS SOUS 107144 HAS SOUPS 106793 WITH SCORE 107037.848
AT ITER 3099 NEW BEST:: SOT 280845 SOS 246572 HAS SOPS 245872 HAS SOUS 106029 HAS SOUPS 105678 WITH SCORE 105924.572
AT ITER 3123 NEW BEST:: SOT 280845 SOS 243502 HAS SOPS 242802 HAS SOUS 105583 HAS SOUPS 105232 WITH SCORE 105475.502
AT ITER 3127 NEW BEST:: SOT 280845 SOS 243685 HAS SOPS 242985 HAS SOUS 105156 HAS SOUPS 104805 WITH SCORE 105048.685
AT ITER 3164 NEW BEST:: SOT 280563 SOS 243403 HAS SOPS 242703 HAS SOUS 105149 HAS SOUPS 104798 WITH SCORE 105041.403
AT ITER 3170 NEW BEST:: SOT 280563 SOS 243403 HAS SOPS 242703 HAS SOUS 105100 HAS SOUPS 104749 WITH SCORE 104992.403
AT ITER 3177 NEW BEST:: SOT 280799 SOS 242970 HAS SOPS 242270 HAS SOUS 105081 HAS SOUPS 104730 WITH SCORE 104972.97
AT ITER 3188 NEW BEST:: SOT 281089 SOS 240908 HAS SOPS 240208 HAS SOUS 105026 HAS SOUPS 104675 WITH SCORE 104915.908
AT ITER 3195 NEW BEST:: SOT 282131 SOS 241778 HAS SOPS 241078 HAS SOUS 104882 HAS SOUPS 104531 WITH SCORE 104772.778
AT ITER 3201 NEW BEST:: SOT 282185 SOS 241658 HAS SOPS 240958 HAS SOUS 104673 HAS SOUPS 104322 WITH SCORE 104563.658
AT ITER 3225 NEW BEST:: SOT 281963 SOS 241328 HAS SOPS 240517 HAS SOUS 104451 HAS SOUPS 104100 WITH SCORE 104341.328
AT ITER 3275 NEW BEST:: SOT 282813 SOS 241892 HAS SOPS 240656 HAS SOUS 104502 HAS SOUPS 104063 WITH SCORE 104304.892
AT ITER 3334 NEW BEST:: SOT 283040 SOS 242119 HAS SOPS 240883 HAS SOUS 104372 HAS SOUPS 103933 WITH SCORE 104175.119
AT ITER 3346 NEW BEST:: SOT 283040 SOS 242119 HAS SOPS 240883 HAS SOUS 104341 HAS SOUPS 103902 WITH SCORE 104144.119
AT ITER 3364 NEW BEST:: SOT 283230 SOS 242309 HAS SOPS 241073 HAS SOUS 104196 HAS SOUPS 103757 WITH SCORE 103999.309
AT ITER 3446 NEW BEST:: SOT 283230 SOS 242309 HAS SOPS 241073 HAS SOUS 104152 HAS SOUPS 103713 WITH SCORE 103955.309
AT ITER 3536 NEW BEST:: SOT 283230 SOS 242304 HAS SOPS 241068 HAS SOUS 104147 HAS SOUPS 103708 WITH SCORE 103950.304
AT ITER 3539 NEW BEST:: SOT 282380 SOS 241647 HAS SOPS 240836 HAS SOUS 103827 HAS SOUPS 103476 WITH SCORE 103717.647
AT ITER 3552 NEW BEST:: SOT 282737 SOS 241929 HAS SOPS 241118 HAS SOUS 103271 HAS SOUPS 102920 WITH SCORE 103161.929
AT ITER 3581 NEW BEST:: SOT 282742 SOS 241934 HAS SOPS 241123 HAS SOUS 103131 HAS SOUPS 102780 WITH SCORE 103021.934
AT ITER 3607 NEW BEST:: SOT 285377 SOS 244059 HAS SOPS 243237 HAS SOUS 102009 HAS SOUPS 101658 WITH SCORE 101902.059
AT ITER 3618 NEW BEST:: SOT 285411 SOS 244080 HAS SOPS 243224 HAS SOUS 101996 HAS SOUPS 101645 WITH SCORE 101889.08
AT ITER 3653 NEW BEST:: SOT 285411 SOS 244080 HAS SOPS 243224 HAS SOUS 101989 HAS SOUPS 101638 WITH SCORE 101882.08
AT ITER 3690 NEW BEST:: SOT 285411 SOS 240281 HAS SOPS 239425 HAS SOUS 101717 HAS SOUPS 101366 WITH SCORE 101606.281
AT ITER 3747 NEW BEST:: SOT 285725 SOS 238561 HAS SOPS 237705 HAS SOUS 101595 HAS SOUPS 101244 WITH SCORE 101482.561
AT ITER 3750 NEW BEST:: SOT 286319 SOS 239155 HAS SOPS 238299 HAS SOUS 101471 HAS SOUPS 101120 WITH SCORE 101359.155
AT ITER 3753 NEW BEST:: SOT 286333 SOS 239169 HAS SOPS 238313 HAS SOUS 101444 HAS SOUPS 101093 WITH SCORE 101332.169
AT ITER 3766 NEW BEST:: SOT 286333 SOS 234636 HAS SOPS 233780 HAS SOUS 101422 HAS SOUPS 101071 WITH SCORE 101305.636
AT ITER 3826 NEW BEST:: SOT 286399 SOS 234702 HAS SOPS 233846 HAS SOUS 101402 HAS SOUPS 101051 WITH SCORE 101285.702
AT ITER 3868 NEW BEST:: SOT 287113 SOS 235246 HAS SOPS 234390 HAS SOUS 101175 HAS SOUPS 100824 WITH SCORE 101059.246
AT ITER 3929 NEW BEST:: SOT 284674 SOS 232807 HAS SOPS 231951 HAS SOUS 100904 HAS SOUPS 100553 WITH SCORE 100785.807
AT ITER 4008 NEW BEST:: SOT 284674 SOS 232807 HAS SOPS 231951 HAS SOUS 100886 HAS SOUPS 100535 WITH SCORE 100767.807
AT ITER 4027 NEW BEST:: SOT 284674 SOS 232807 HAS SOPS 231951 HAS SOUS 100863 HAS SOUPS 100512 WITH SCORE 100744.807
AT ITER 4037 NEW BEST:: SOT 285320 SOS 233377 HAS SOPS 232521 HAS SOUS 100831 HAS SOUPS 100480 WITH SCORE 100713.377
AT ITER 4058 NEW BEST:: SOT 285320 SOS 233118 HAS SOPS 232262 HAS SOUS 100644 HAS SOUPS 100293 WITH SCORE 100526.118
AT ITER 4062 NEW BEST:: SOT 285320 SOS 232995 HAS SOPS 232139 HAS SOUS 100475 HAS SOUPS 100124 WITH SCORE 100356.995
AT ITER 4099 NEW BEST:: SOT 285310 SOS 232984 HAS SOPS 232127 HAS SOUS 100472 HAS SOUPS 100121 WITH SCORE 100353.984
AT ITER 4112 NEW BEST:: SOT 283497 SOS 231171 HAS SOPS 230314 HAS SOUS 100131 HAS SOUPS 99780 WITH SCORE 100011.171
AT ITER 4124 NEW BEST:: SOT 283497 SOS 231269 HAS SOPS 230412 HAS SOUS 100040 HAS SOUPS 99689 WITH SCORE 99920.269
AT ITER 4126 NEW BEST:: SOT 283497 SOS 231269 HAS SOPS 230412 HAS SOUS 99984 HAS SOUPS 99633 WITH SCORE 99864.269
AT ITER 4147 NEW BEST:: SOT 283860 SOS 231522 HAS SOPS 230665 HAS SOUS 99735 HAS SOUPS 99384 WITH SCORE 99615.522
AT ITER 4179 NEW BEST:: SOT 284289 SOS 230710 HAS SOPS 229842 HAS SOUS 98723 HAS SOUPS 98372 WITH SCORE 98602.71
AT ITER 4196 NEW BEST:: SOT 284523 SOS 228970 HAS SOPS 228102 HAS SOUS 98374 HAS SOUPS 98023 WITH SCORE 98251.97
AT ITER 4230 NEW BEST:: SOT 284490 SOS 228937 HAS SOPS 228069 HAS SOUS 98258 HAS SOUPS 97907 WITH SCORE 98135.937
AT ITER 4232 NEW BEST:: SOT 284592 SOS 229039 HAS SOPS 228171 HAS SOUS 98132 HAS SOUPS 97781 WITH SCORE 98010.039
AT ITER 4287 NEW BEST:: SOT 284520 SOS 228967 HAS SOPS 228099 HAS SOUS 98025 HAS SOUPS 97674 WITH SCORE 97902.967
AT ITER 4295 NEW BEST:: SOT 284780 SOS 229227 HAS SOPS 228359 HAS SOUS 98010 HAS SOUPS 97659 WITH SCORE 97888.227
AT ITER 4308 NEW BEST:: SOT 284827 SOS 229260 HAS SOPS 228316 HAS SOUS 97967 HAS SOUPS 97616 WITH SCORE 97845.26
AT ITER 4310 NEW BEST:: SOT 282628 SOS 227061 HAS SOPS 226318 HAS SOUS 97688 HAS SOUPS 97538 WITH SCORE 97765.061
AT ITER 4335 NEW BEST:: SOT 282628 SOS 227061 HAS SOPS 226318 HAS SOUS 97673 HAS SOUPS 97523 WITH SCORE 97750.061
AT ITER 4345 NEW BEST:: SOT 282552 SOS 226985 HAS SOPS 226242 HAS SOUS 97673 HAS SOUPS 97523 WITH SCORE 97749.985
AT ITER 4386 NEW BEST:: SOT 282552 SOS 226889 HAS SOPS 226146 HAS SOUS 97337 HAS SOUPS 97187 WITH SCORE 97413.889
AT ITER 4405 NEW BEST:: SOT 282586 SOS 226913 HAS SOPS 226111 HAS SOUS 97302 HAS SOUPS 97152 WITH SCORE 97378.913
AT ITER 4408 NEW BEST:: SOT 282676 SOS 226965 HAS SOPS 226163 HAS SOUS 97121 HAS SOUPS 96971 WITH SCORE 97197.965
AT ITER 4414 NEW BEST:: SOT 282786 SOS 225972 HAS SOPS 225170 HAS SOUS 96865 HAS SOUPS 96715 WITH SCORE 96940.972
AT ITER 4420 NEW BEST:: SOT 282786 SOS 226013 HAS SOPS 225211 HAS SOUS 96824 HAS SOUPS 96674 WITH SCORE 96900.013
AT ITER 4439 NEW BEST:: SOT 282786 SOS 225976 HAS SOPS 225174 HAS SOUS 96750 HAS SOUPS 96600 WITH SCORE 96825.976
AT ITER 4451 NEW BEST:: SOT 281409 SOS 224599 HAS SOPS 223797 HAS SOUS 96597 HAS SOUPS 96447 WITH SCORE 96671.599
AT ITER 4453 NEW BEST:: SOT 281409 SOS 224597 HAS SOPS 223795 HAS SOUS 96595 HAS SOUPS 96445 WITH SCORE 96669.597
AT ITER 4472 NEW BEST:: SOT 281409 SOS 224597 HAS SOPS 223795 HAS SOUS 96593 HAS SOUPS 96443 WITH SCORE 96667.597
AT ITER 4473 NEW BEST:: SOT 281877 SOS 224807 HAS SOPS 224005 HAS SOUS 96141 HAS SOUPS 95991 WITH SCORE 96215.807
AT ITER 4474 NEW BEST:: SOT 281877 SOS 224807 HAS SOPS 224005 HAS SOUS 96042 HAS SOUPS 95892 WITH SCORE 96116.807
AT ITER 4483 NEW BEST:: SOT 284253 SOS 226856 HAS SOPS 226054 HAS SOUS 94824 HAS SOUPS 94674 WITH SCORE 94900.856
AT ITER 4574 NEW BEST:: SOT 282975 SOS 225578 HAS SOPS 224776 HAS SOUS 94522 HAS SOUPS 94372 WITH SCORE 94597.578
AT ITER 4606 NEW BEST:: SOT 282798 SOS 225510 HAS SOPS 224767 HAS SOUS 94479 HAS SOUPS 94329 WITH SCORE 94554.51
AT ITER 4654 NEW BEST:: SOT 283266 SOS 225929 HAS SOPS 225186 HAS SOUS 94320 HAS SOUPS 94170 WITH SCORE 94395.929
AT ITER 4668 NEW BEST:: SOT 283350 SOS 224172 HAS SOPS 223429 HAS SOUS 94054 HAS SOUPS 93904 WITH SCORE 94128.172
AT ITER 4780 NEW BEST:: SOT 283350 SOS 224152 HAS SOPS 223409 HAS SOUS 94034 HAS SOUPS 93884 WITH SCORE 94108.152
AT ITER 4806 NEW BEST:: SOT 283410 SOS 224212 HAS SOPS 223469 HAS SOUS 94019 HAS SOUPS 93869 WITH SCORE 94093.212
AT ITER 4809 NEW BEST:: SOT 283178 SOS 223980 HAS SOPS 223221 HAS SOUS 93997 HAS SOUPS 93847 WITH SCORE 94070.98
AT ITER 4818 NEW BEST:: SOT 283178 SOS 223980 HAS SOPS 223221 HAS SOUS 93966 HAS SOUPS 93816 WITH SCORE 94039.98
AT ITER 4841 NEW BEST:: SOT 283225 SOS 224027 HAS SOPS 223268 HAS SOUS 93877 HAS SOUPS 93727 WITH SCORE 93951.027
AT ITER 4848 NEW BEST:: SOT 283165 SOS 223967 HAS SOPS 223208 HAS SOUS 93877 HAS SOUPS 93727 WITH SCORE 93950.967
AT ITER 4852 NEW BEST:: SOT 283165 SOS 223967 HAS SOPS 223208 HAS SOUS 93874 HAS SOUPS 93724 WITH SCORE 93947.967
AT ITER 4859 NEW BEST:: SOT 283383 SOS 224042 HAS SOPS 223283 HAS SOUS 93629 HAS SOUPS 93479 WITH SCORE 93703.042
AT ITER 4862 NEW BEST:: SOT 283133 SOS 224031 HAS SOPS 223272 HAS SOUS 93427 HAS SOUPS 93277 WITH SCORE 93501.031
AT ITER 4878 NEW BEST:: SOT 283313 SOS 224205 HAS SOPS 223252 HAS SOUS 93465 HAS SOUPS 93257 WITH SCORE 93481.205
AT ITER 4893 NEW BEST:: SOT 283329 SOS 224221 HAS SOPS 223268 HAS SOUS 93168 HAS SOUPS 92960 WITH SCORE 93184.221
AT ITER 4896 NEW BEST:: SOT 283513 SOS 224190 HAS SOPS 223237 HAS SOUS 93017 HAS SOUPS 92809 WITH SCORE 93033.19
AT ITER 4910 NEW BEST:: SOT 283541 SOS 224218 HAS SOPS 223265 HAS SOUS 93010 HAS SOUPS 92802 WITH SCORE 93026.218
AT ITER 4954 NEW BEST:: SOT 283541 SOS 223827 HAS SOPS 222874 HAS SOUS 92980 HAS SOUPS 92772 WITH SCORE 92995.827
AT ITER 5018 NEW BEST:: SOT 283002 SOS 223288 HAS SOPS 222335 HAS SOUS 92901 HAS SOUPS 92693 WITH SCORE 92916.288
AT ITER 5094 NEW BEST:: SOT 283002 SOS 223200 HAS SOPS 222247 HAS SOUS 92849 HAS SOUPS 92641 WITH SCORE 92864.2
AT ITER 5123 NEW BEST:: SOT 283002 SOS 223200 HAS SOPS 222247 HAS SOUS 92820 HAS SOUPS 92612 WITH SCORE 92835.2
AT ITER 5227 NEW BEST:: SOT 283002 SOS 223199 HAS SOPS 222246 HAS SOUS 92819 HAS SOUPS 92611 WITH SCORE 92834.199
AT ITER 5247 NEW BEST:: SOT 283002 SOS 223199 HAS SOPS 222246 HAS SOUS 92719 HAS SOUPS 92511 WITH SCORE 92734.199
AT ITER 5248 NEW BEST:: SOT 283482 SOS 223679 HAS SOPS 222726 HAS SOUS 92617 HAS SOUPS 92409 WITH SCORE 92632.679
AT ITER 5253 NEW BEST:: SOT 282702 SOS 222899 HAS SOPS 221946 HAS SOUS 92461 HAS SOUPS 92253 WITH SCORE 92475.899
AT ITER 5262 NEW BEST:: SOT 282702 SOS 222892 HAS SOPS 221939 HAS SOUS 92447 HAS SOUPS 92239 WITH SCORE 92461.892
AT ITER 5278 NEW BEST:: SOT 281870 SOS 222060 HAS SOPS 221107 HAS SOUS 92447 HAS SOUPS 92239 WITH SCORE 92461.06
AT ITER 5329 NEW BEST:: SOT 281873 SOS 222046 HAS SOPS 221061 HAS SOUS 92401 HAS SOUPS 92193 WITH SCORE 92415.046
AT ITER 5330 NEW BEST:: SOT 281873 SOS 222046 HAS SOPS 221061 HAS SOUS 92321 HAS SOUPS 92113 WITH SCORE 92335.046
AT ITER 5368 NEW BEST:: SOT 281873 SOS 222046 HAS SOPS 221061 HAS SOUS 92291 HAS SOUPS 92083 WITH SCORE 92305.046
AT ITER 5373 NEW BEST:: SOT 281901 SOS 221902 HAS SOPS 220917 HAS SOUS 92135 HAS SOUPS 91927 WITH SCORE 92148.902
AT ITER 5409 NEW BEST:: SOT 281901 SOS 221789 HAS SOPS 220804 HAS SOUS 92036 HAS SOUPS 91828 WITH SCORE 92049.789
AT ITER 5417 NEW BEST:: SOT 282774 SOS 222276 HAS SOPS 220824 HAS SOUS 92293 HAS SOUPS 91812 WITH SCORE 92034.276
AT ITER 5428 NEW BEST:: SOT 282774 SOS 222238 HAS SOPS 220786 HAS SOUS 92274 HAS SOUPS 91793 WITH SCORE 92015.238
AT ITER 5456 NEW BEST:: SOT 282774 SOS 222082 HAS SOPS 220630 HAS SOUS 92148 HAS SOUPS 91667 WITH SCORE 91889.082
AT ITER 5478 NEW BEST:: SOT 282774 SOS 222082 HAS SOPS 220630 HAS SOUS 92119 HAS SOUPS 91638 WITH SCORE 91860.082
AT ITER 5523 NEW BEST:: SOT 282578 SOS 221886 HAS SOPS 220434 HAS SOUS 92021 HAS SOUPS 91540 WITH SCORE 91761.886
AT ITER 5531 NEW BEST:: SOT 283292 SOS 222437 HAS SOPS 220985 HAS SOUS 90786 HAS SOUPS 90305 WITH SCORE 90527.437
AT ITER 5577 NEW BEST:: SOT 283292 SOS 222569 HAS SOPS 221117 HAS SOUS 90783 HAS SOUPS 90302 WITH SCORE 90524.569
AT ITER 5594 NEW BEST:: SOT 283376 SOS 222653 HAS SOPS 221201 HAS SOUS 90745 HAS SOUPS 90264 WITH SCORE 90486.653
AT ITER 5618 NEW BEST:: SOT 283376 SOS 222653 HAS SOPS 221201 HAS SOUS 90728 HAS SOUPS 90247 WITH SCORE 90469.653
AT ITER 5632 NEW BEST:: SOT 282696 SOS 221973 HAS SOPS 220834 HAS SOUS 90088 HAS SOUPS 89880 WITH SCORE 90101.973
AT ITER 5652 NEW BEST:: SOT 282696 SOS 220774 HAS SOPS 219635 HAS SOUS 90088 HAS SOUPS 89880 WITH SCORE 90100.774
AT ITER 5660 NEW BEST:: SOT 282696 SOS 220656 HAS SOPS 219517 HAS SOUS 90088 HAS SOUPS 89880 WITH SCORE 90100.656
AT ITER 5676 NEW BEST:: SOT 282696 SOS 219598 HAS SOPS 218459 HAS SOUS 90057 HAS SOUPS 89849 WITH SCORE 90068.598
AT ITER 5681 NEW BEST:: SOT 283164 SOS 219946 HAS SOPS 218807 HAS SOUS 89995 HAS SOUPS 89787 WITH SCORE 90006.946
AT ITER 5684 NEW BEST:: SOT 283164 SOS 219917 HAS SOPS 218778 HAS SOUS 89995 HAS SOUPS 89787 WITH SCORE 90006.917
AT ITER 5718 NEW BEST:: SOT 285289 SOS 221673 HAS SOPS 220523 HAS SOUS 88617 HAS SOUPS 88409 WITH SCORE 88630.673
AT ITER 5840 NEW BEST:: SOT 285287 SOS 221671 HAS SOPS 220521 HAS SOUS 88617 HAS SOUPS 88409 WITH SCORE 88630.671
AT ITER 5887 NEW BEST:: SOT 283982 SOS 220366 HAS SOPS 219216 HAS SOUS 88304 HAS SOUPS 88096 WITH SCORE 88316.366
AT ITER 5912 NEW BEST:: SOT 284022 SOS 220166 HAS SOPS 219016 HAS SOUS 88304 HAS SOUPS 88096 WITH SCORE 88316.166
AT ITER 6040 NEW BEST:: SOT 282772 SOS 218916 HAS SOPS 217766 HAS SOUS 88054 HAS SOUPS 87846 WITH SCORE 88064.916
AT ITER 6044 NEW BEST:: SOT 282970 SOS 218808 HAS SOPS 217553 HAS SOUS 87732 HAS SOUPS 87524 WITH SCORE 87742.808
AT ITER 6078 NEW BEST:: SOT 283109 SOS 218947 HAS SOPS 217692 HAS SOUS 87704 HAS SOUPS 87496 WITH SCORE 87714.947
AT ITER 6128 NEW BEST:: SOT 283184 SOS 219218 HAS SOPS 217964 HAS SOUS 87681 HAS SOUPS 87473 WITH SCORE 87692.218
AT ITER 6136 NEW BEST:: SOT 283245 SOS 219279 HAS SOPS 218025 HAS SOUS 87508 HAS SOUPS 87300 WITH SCORE 87519.279
AT ITER 6233 NEW BEST:: SOT 283245 SOS 219279 HAS SOPS 218025 HAS SOUS 87454 HAS SOUPS 87246 WITH SCORE 87465.279
AT ITER 6239 NEW BEST:: SOT 283164 SOS 219198 HAS SOPS 217944 HAS SOUS 87444 HAS SOUPS 87236 WITH SCORE 87455.198
AT ITER 6258 NEW BEST:: SOT 283164 SOS 219111 HAS SOPS 217857 HAS SOUS 87444 HAS SOUPS 87236 WITH SCORE 87455.111
AT ITER 6262 NEW BEST:: SOT 283129 SOS 219076 HAS SOPS 217822 HAS SOUS 87439 HAS SOUPS 87231 WITH SCORE 87450.076
AT ITER 6297 NEW BEST:: SOT 283129 SOS 219050 HAS SOPS 217796 HAS SOUS 87386 HAS SOUPS 87178 WITH SCORE 87397.05
AT ITER 6319 NEW BEST:: SOT 284385 SOS 220067 HAS SOPS 218813 HAS SOUS 87382 HAS SOUPS 87174 WITH SCORE 87394.067
AT ITER 6322 NEW BEST:: SOT 284305 SOS 219987 HAS SOPS 218813 HAS SOUS 87382 HAS SOUPS 87174 WITH SCORE 87393.987
AT ITER 6332 NEW BEST:: SOT 284398 SOS 220152 HAS SOPS 219010 HAS SOUS 87267 HAS SOUPS 87059 WITH SCORE 87279.152
AT ITER 6333 NEW BEST:: SOT 284398 SOS 220221 HAS SOPS 219079 HAS SOUS 87238 HAS SOUPS 87030 WITH SCORE 87250.221
AT ITER 6343 NEW BEST:: SOT 284108 SOS 219931 HAS SOPS 218789 HAS SOUS 87238 HAS SOUPS 87030 WITH SCORE 87249.931
AT ITER 6346 NEW BEST:: SOT 284108 SOS 217946 HAS SOPS 216804 HAS SOUS 87195 HAS SOUPS 86987 WITH SCORE 87204.946
AT ITER 6355 NEW BEST:: SOT 283554 SOS 217392 HAS SOPS 216250 HAS SOUS 87172 HAS SOUPS 86964 WITH SCORE 87181.392
AT ITER 6453 NEW BEST:: SOT 282114 SOS 215952 HAS SOPS 214810 HAS SOUS 86812 HAS SOUPS 86604 WITH SCORE 86819.952
AT ITER 6468 NEW BEST:: SOT 282855 SOS 216549 HAS SOPS 215407 HAS SOUS 86807 HAS SOUPS 86599 WITH SCORE 86815.549
AT ITER 6480 NEW BEST:: SOT 282855 SOS 216434 HAS SOPS 215292 HAS SOUS 86755 HAS SOUPS 86547 WITH SCORE 86763.434
AT ITER 6502 NEW BEST:: SOT 282893 SOS 216472 HAS SOPS 215330 HAS SOUS 86417 HAS SOUPS 86209 WITH SCORE 86425.472
AT ITER 6566 NEW BEST:: SOT 282873 SOS 216452 HAS SOPS 215310 HAS SOUS 86377 HAS SOUPS 86169 WITH SCORE 86385.452
AT ITER 6570 NEW BEST:: SOT 282027 SOS 215606 HAS SOPS 214464 HAS SOUS 86283 HAS SOUPS 86075 WITH SCORE 86290.606
AT ITER 6642 NEW BEST:: SOT 282027 SOS 215606 HAS SOPS 214464 HAS SOUS 86153 HAS SOUPS 85945 WITH SCORE 86160.606
AT ITER 6669 NEW BEST:: SOT 282035 SOS 215270 HAS SOPS 214128 HAS SOUS 86131 HAS SOUPS 85923 WITH SCORE 86138.27
AT ITER 6685 NEW BEST:: SOT 282259 SOS 215400 HAS SOPS 214258 HAS SOUS 85960 HAS SOUPS 85752 WITH SCORE 85967.4
AT ITER 6691 NEW BEST:: SOT 282460 SOS 215601 HAS SOPS 214459 HAS SOUS 85944 HAS SOUPS 85736 WITH SCORE 85951.601
AT ITER 6738 NEW BEST:: SOT 282418 SOS 215559 HAS SOPS 214417 HAS SOUS 85851 HAS SOUPS 85643 WITH SCORE 85858.559
AT ITER 6760 NEW BEST:: SOT 282609 SOS 215583 HAS SOPS 214441 HAS SOUS 85580 HAS SOUPS 85372 WITH SCORE 85587.583
AT ITER 6798 NEW BEST:: SOT 282612 SOS 215422 HAS SOPS 214280 HAS SOUS 85416 HAS SOUPS 85208 WITH SCORE 85423.422
AT ITER 6805 NEW BEST:: SOT 283188 SOS 215820 HAS SOPS 214678 HAS SOUS 84595 HAS SOUPS 84387 WITH SCORE 84602.82
AT ITER 6819 NEW BEST:: SOT 283100 SOS 215732 HAS SOPS 214590 HAS SOUS 84507 HAS SOUPS 84299 WITH SCORE 84514.732
AT ITER 6847 NEW BEST:: SOT 283100 SOS 215588 HAS SOPS 214446 HAS SOUS 84289 HAS SOUPS 84081 WITH SCORE 84296.588
AT ITER 6850 NEW BEST:: SOT 283100 SOS 215501 HAS SOPS 214359 HAS SOUS 84191 HAS SOUPS 83983 WITH SCORE 84198.501
AT ITER 6870 NEW BEST:: SOT 282866 SOS 215295 HAS SOPS 214153 HAS SOUS 83988 HAS SOUPS 83780 WITH SCORE 83995.295
AT ITER 6887 NEW BEST:: SOT 282837 SOS 215266 HAS SOPS 214153 HAS SOUS 83988 HAS SOUPS 83780 WITH SCORE 83995.266
AT ITER 6895 NEW BEST:: SOT 282497 SOS 214926 HAS SOPS 213813 HAS SOUS 83648 HAS SOUPS 83440 WITH SCORE 83654.926
AT ITER 6910 NEW BEST:: SOT 282635 SOS 215064 HAS SOPS 213951 HAS SOUS 83575 HAS SOUPS 83367 WITH SCORE 83582.064
AT ITER 6941 NEW BEST:: SOT 282661 SOS 215090 HAS SOPS 213977 HAS SOUS 83427 HAS SOUPS 83219 WITH SCORE 83434.09
AT ITER 6955 NEW BEST:: SOT 283324 SOS 212645 HAS SOPS 210872 HAS SOUS 83330 HAS SOUPS 83122 WITH SCORE 83334.645
AT ITER 6981 NEW BEST:: SOT 283919 SOS 211228 HAS SOPS 208761 HAS SOUS 82900 HAS SOUPS 82692 WITH SCORE 82903.228
AT ITER 6998 NEW BEST:: SOT 283858 SOS 211167 HAS SOPS 208700 HAS SOUS 82846 HAS SOUPS 82638 WITH SCORE 82849.167
AT ITER 7026 NEW BEST:: SOT 283858 SOS 211167 HAS SOPS 208700 HAS SOUS 82729 HAS SOUPS 82521 WITH SCORE 82732.167
AT ITER 7048 NEW BEST:: SOT 283858 SOS 211167 HAS SOPS 208700 HAS SOUS 82721 HAS SOUPS 82513 WITH SCORE 82724.167
AT ITER 7078 NEW BEST:: SOT 283903 SOS 211212 HAS SOPS 208745 HAS SOUS 82428 HAS SOUPS 82220 WITH SCORE 82431.212
AT ITER 7154 NEW BEST:: SOT 283903 SOS 209651 HAS SOPS 207184 HAS SOUS 82428 HAS SOUPS 82220 WITH SCORE 82429.651
AT ITER 7203 NEW BEST:: SOT 283884 SOS 209632 HAS SOPS 207165 HAS SOUS 82409 HAS SOUPS 82201 WITH SCORE 82410.632
AT ITER 7216 NEW BEST:: SOT 282527 SOS 208275 HAS SOPS 205808 HAS SOUS 82395 HAS SOUPS 82187 WITH SCORE 82395.275
AT ITER 7233 NEW BEST:: SOT 282960 SOS 208708 HAS SOPS 206241 HAS SOUS 82342 HAS SOUPS 82134 WITH SCORE 82342.708
AT ITER 7239 NEW BEST:: SOT 282960 SOS 208600 HAS SOPS 206133 HAS SOUS 82342 HAS SOUPS 82134 WITH SCORE 82342.6
AT ITER 7275 NEW BEST:: SOT 282960 SOS 208088 HAS SOPS 205621 HAS SOUS 81844 HAS SOUPS 81636 WITH SCORE 81844.088
AT ITER 7322 NEW BEST:: SOT 283620 SOS 208707 HAS SOPS 206240 HAS SOUS 81593 HAS SOUPS 81385 WITH SCORE 81593.707
AT ITER 7326 NEW BEST:: SOT 283620 SOS 211425 HAS SOPS 208958 HAS SOUS 81359 HAS SOUPS 81151 WITH SCORE 81362.425
AT ITER 7346 NEW BEST:: SOT 283792 SOS 211453 HAS SOPS 208986 HAS SOUS 81210 HAS SOUPS 81002 WITH SCORE 81213.453
AT ITER 7368 NEW BEST:: SOT 283896 SOS 211557 HAS SOPS 209090 HAS SOUS 80856 HAS SOUPS 80648 WITH SCORE 80859.557
AT ITER 7389 NEW BEST:: SOT 283896 SOS 211077 HAS SOPS 208610 HAS SOUS 80856 HAS SOUPS 80648 WITH SCORE 80859.077
AT ITER 7407 NEW BEST:: SOT 283896 SOS 211102 HAS SOPS 208635 HAS SOUS 80831 HAS SOUPS 80623 WITH SCORE 80834.102
AT ITER 7418 NEW BEST:: SOT 283896 SOS 211102 HAS SOPS 208635 HAS SOUS 80804 HAS SOUPS 80596 WITH SCORE 80807.102
AT ITER 7553 NEW BEST:: SOT 283980 SOS 211556 HAS SOPS 209120 HAS SOUS 80774 HAS SOUPS 80566 WITH SCORE 80777.556
AT ITER 7575 NEW BEST:: SOT 283710 SOS 211286 HAS SOPS 208850 HAS SOUS 80684 HAS SOUPS 80476 WITH SCORE 80687.286
AT ITER 7630 NEW BEST:: SOT 284962 SOS 209419 HAS SOPS 206095 HAS SOUS 80378 HAS SOUPS 80170 WITH SCORE 80379.419
AT ITER 7637 NEW BEST:: SOT 284962 SOS 209396 HAS SOPS 206072 HAS SOUS 80360 HAS SOUPS 80152 WITH SCORE 80361.396
AT ITER 7642 NEW BEST:: SOT 284962 SOS 209370 HAS SOPS 206046 HAS SOUS 80343 HAS SOUPS 80135 WITH SCORE 80344.37
AT ITER 7658 NEW BEST:: SOT 284962 SOS 208884 HAS SOPS 205560 HAS SOUS 80316 HAS SOUPS 80108 WITH SCORE 80316.884
AT ITER 7675 NEW BEST:: SOT 285076 SOS 208984 HAS SOPS 205660 HAS SOUS 80204 HAS SOUPS 79996 WITH SCORE 80204.984
AT ITER 7698 NEW BEST:: SOT 285056 SOS 208989 HAS SOPS 205665 HAS SOUS 80172 HAS SOUPS 79964 WITH SCORE 80172.989
AT ITER 7720 NEW BEST:: SOT 285228 SOS 208842 HAS SOPS 205518 HAS SOUS 80108 HAS SOUPS 79900 WITH SCORE 80108.842
AT ITER 7746 NEW BEST:: SOT 285449 SOS 208896 HAS SOPS 205572 HAS SOUS 80046 HAS SOUPS 79838 WITH SCORE 80046.896
AT ITER 7758 NEW BEST:: SOT 285449 SOS 208895 HAS SOPS 205571 HAS SOUS 79998 HAS SOUPS 79790 WITH SCORE 79998.895
AT ITER 7769 NEW BEST:: SOT 285449 SOS 208982 HAS SOPS 205658 HAS SOUS 79880 HAS SOUPS 79672 WITH SCORE 79880.982
AT ITER 7786 NEW BEST:: SOT 285254 SOS 208787 HAS SOPS 205463 HAS SOUS 79805 HAS SOUPS 79597 WITH SCORE 79805.787
AT ITER 7798 NEW BEST:: SOT 285258 SOS 208773 HAS SOPS 205449 HAS SOUS 79758 HAS SOUPS 79550 WITH SCORE 79758.773
AT ITER 7810 NEW BEST:: SOT 285312 SOS 209015 HAS SOPS 205718 HAS SOUS 79515 HAS SOUPS 79307 WITH SCORE 79516.015
AT ITER 7841 NEW BEST:: SOT 285312 SOS 209015 HAS SOPS 205718 HAS SOUS 79510 HAS SOUPS 79302 WITH SCORE 79511.015
AT ITER 7918 NEW BEST:: SOT 285306 SOS 209009 HAS SOPS 205712 HAS SOUS 79510 HAS SOUPS 79302 WITH SCORE 79511.009
AT ITER 7940 NEW BEST:: SOT 285306 SOS 208903 HAS SOPS 205606 HAS SOUS 79404 HAS SOUPS 79196 WITH SCORE 79404.903
AT ITER 7941 NEW BEST:: SOT 285357 SOS 208444 HAS SOPS 205147 HAS SOUS 79404 HAS SOUPS 79196 WITH SCORE 79404.444
AT ITER 8015 NEW BEST:: SOT 285407 SOS 208494 HAS SOPS 205197 HAS SOUS 79386 HAS SOUPS 79178 WITH SCORE 79386.494
AT ITER 8129 NEW BEST:: SOT 285407 SOS 208428 HAS SOPS 205131 HAS SOUS 79262 HAS SOUPS 79054 WITH SCORE 79262.428
AT ITER 8145 NEW BEST:: SOT 282528 SOS 205549 HAS SOPS 202293 HAS SOUS 78720 HAS SOUPS 78552 WITH SCORE 78757.549
AT ITER 8153 NEW BEST:: SOT 282935 SOS 206460 HAS SOPS 203853 HAS SOUS 78679 HAS SOUPS 78511 WITH SCORE 78717.46
AT ITER 8167 NEW BEST:: SOT 282673 SOS 206198 HAS SOPS 203591 HAS SOUS 78417 HAS SOUPS 78249 WITH SCORE 78455.198
AT ITER 8181 NEW BEST:: SOT 282643 SOS 206029 HAS SOPS 203392 HAS SOUS 78332 HAS SOUPS 78164 WITH SCORE 78370.029
AT ITER 8183 NEW BEST:: SOT 282701 SOS 206087 HAS SOPS 203450 HAS SOUS 78280 HAS SOUPS 78112 WITH SCORE 78318.087
AT ITER 8221 NEW BEST:: SOT 283018 SOS 206074 HAS SOPS 203402 HAS SOUS 78232 HAS SOUPS 78064 WITH SCORE 78270.074
AT ITER 8244 NEW BEST:: SOT 283018 SOS 203556 HAS SOPS 200884 HAS SOUS 78136 HAS SOUPS 77968 WITH SCORE 78171.556
AT ITER 8291 NEW BEST:: SOT 282950 SOS 203488 HAS SOPS 200816 HAS SOUS 78068 HAS SOUPS 77900 WITH SCORE 78103.488
AT ITER 8352 NEW BEST:: SOT 283131 SOS 203669 HAS SOPS 200997 HAS SOUS 77978 HAS SOUPS 77810 WITH SCORE 78013.669
AT ITER 8373 NEW BEST:: SOT 283131 SOS 203603 HAS SOPS 200931 HAS SOUS 77814 HAS SOUPS 77646 WITH SCORE 77849.603
AT ITER 8401 NEW BEST:: SOT 283184 SOS 203612 HAS SOPS 200940 HAS SOUS 77724 HAS SOUPS 77556 WITH SCORE 77759.612
AT ITER 8414 NEW BEST:: SOT 283326 SOS 203558 HAS SOPS 200885 HAS SOUS 77649 HAS SOUPS 77481 WITH SCORE 77684.558
AT ITER 8416 NEW BEST:: SOT 283522 SOS 203563 HAS SOPS 200890 HAS SOUS 77490 HAS SOUPS 77322 WITH SCORE 77525.563
AT ITER 8495 NEW BEST:: SOT 283522 SOS 203463 HAS SOPS 200790 HAS SOUS 77309 HAS SOUPS 77141 WITH SCORE 77344.463
AT ITER 8521 NEW BEST:: SOT 283522 SOS 203463 HAS SOPS 200790 HAS SOUS 77174 HAS SOUPS 77006 WITH SCORE 77209.463
AT ITER 8541 NEW BEST:: SOT 283522 SOS 203463 HAS SOPS 200790 HAS SOUS 77104 HAS SOUPS 76936 WITH SCORE 77139.463
AT ITER 8587 NEW BEST:: SOT 283693 SOS 203634 HAS SOPS 200961 HAS SOUS 77006 HAS SOUPS 76838 WITH SCORE 77041.634
AT ITER 8598 NEW BEST:: SOT 283985 SOS 203770 HAS SOPS 201097 HAS SOUS 76852 HAS SOUPS 76684 WITH SCORE 76887.77
AT ITER 8626 NEW BEST:: SOT 284053 SOS 203838 HAS SOPS 201165 HAS SOUS 76818 HAS SOUPS 76650 WITH SCORE 76853.838
AT ITER 8634 NEW BEST:: SOT 284240 SOS 203746 HAS SOPS 201073 HAS SOUS 76448 HAS SOUPS 76280 WITH SCORE 76483.746
AT ITER 8662 NEW BEST:: SOT 284240 SOS 203746 HAS SOPS 201073 HAS SOUS 76381 HAS SOUPS 76213 WITH SCORE 76416.746
AT ITER 8672 NEW BEST:: SOT 284321 SOS 203704 HAS SOPS 200982 HAS SOUS 76270 HAS SOUPS 76102 WITH SCORE 76305.704
AT ITER 8712 NEW BEST:: SOT 284029 SOS 203464 HAS SOPS 200742 HAS SOUS 76216 HAS SOUPS 76048 WITH SCORE 76251.464
AT ITER 8729 NEW BEST:: SOT 284029 SOS 203464 HAS SOPS 200742 HAS SOUS 76172 HAS SOUPS 76004 WITH SCORE 76207.464
AT ITER 8748 NEW BEST:: SOT 284969 SOS 204404 HAS SOPS 201803 HAS SOUS 76163 HAS SOUPS 75996 WITH SCORE 76200.404
AT ITER 8775 NEW BEST:: SOT 284969 SOS 204404 HAS SOPS 201803 HAS SOUS 76081 HAS SOUPS 75914 WITH SCORE 76118.404
AT ITER 8863 NEW BEST:: SOT 285025 SOS 204364 HAS SOPS 201761 HAS SOUS 75914 HAS SOUPS 75747 WITH SCORE 75951.364
AT ITER 8865 NEW BEST:: SOT 284995 SOS 204277 HAS SOPS 201674 HAS SOUS 75833 HAS SOUPS 75666 WITH SCORE 75870.277
AT ITER 8867 NEW BEST:: SOT 284995 SOS 204260 HAS SOPS 201657 HAS SOUS 75799 HAS SOUPS 75632 WITH SCORE 75836.26
AT ITER 8986 NEW BEST:: SOT 286281 SOS 204880 HAS SOPS 201353 HAS SOUS 75700 HAS SOUPS 75508 WITH SCORE 75712.88
AT ITER 8991 NEW BEST:: SOT 286206 SOS 204805 HAS SOPS 201278 HAS SOUS 75675 HAS SOUPS 75483 WITH SCORE 75687.805
AT ITER 9029 NEW BEST:: SOT 286583 SOS 205091 HAS SOPS 201564 HAS SOUS 75616 HAS SOUPS 75424 WITH SCORE 75629.091
AT ITER 9040 NEW BEST:: SOT 286553 SOS 205061 HAS SOPS 201534 HAS SOUS 75606 HAS SOUPS 75414 WITH SCORE 75619.061
AT ITER 9066 NEW BEST:: SOT 286493 SOS 205001 HAS SOPS 201474 HAS SOUS 75606 HAS SOUPS 75414 WITH SCORE 75619.001
AT ITER 9112 NEW BEST:: SOT 286686 SOS 205194 HAS SOPS 201667 HAS SOUS 75479 HAS SOUPS 75287 WITH SCORE 75492.194
AT ITER 9115 NEW BEST:: SOT 286843 SOS 205286 HAS SOPS 201759 HAS SOUS 75292 HAS SOUPS 75100 WITH SCORE 75305.286
AT ITER 9128 NEW BEST:: SOT 285511 SOS 203954 HAS SOPS 200427 HAS SOUS 75144 HAS SOUPS 74952 WITH SCORE 75155.954
AT ITER 9161 NEW BEST:: SOT 285426 SOS 203911 HAS SOPS 200384 HAS SOUS 74894 HAS SOUPS 74702 WITH SCORE 74905.911
AT ITER 9190 NEW BEST:: SOT 285570 SOS 203497 HAS SOPS 199874 HAS SOUS 74711 HAS SOUPS 74519 WITH SCORE 74722.497
AT ITER 9231 NEW BEST:: SOT 285847 SOS 202922 HAS SOPS 199299 HAS SOUS 74579 HAS SOUPS 74387 WITH SCORE 74589.922
AT ITER 9237 NEW BEST:: SOT 285847 SOS 202857 HAS SOPS 199234 HAS SOUS 74553 HAS SOUPS 74361 WITH SCORE 74563.857
AT ITER 9240 NEW BEST:: SOT 285847 SOS 202142 HAS SOPS 198519 HAS SOUS 74192 HAS SOUPS 74000 WITH SCORE 74202.142
AT ITER 9261 NEW BEST:: SOT 285873 SOS 202168 HAS SOPS 198545 HAS SOUS 74018 HAS SOUPS 73826 WITH SCORE 74028.168
AT ITER 9302 NEW BEST:: SOT 285821 SOS 202116 HAS SOPS 198493 HAS SOUS 74018 HAS SOUPS 73826 WITH SCORE 74028.116
AT ITER 9325 NEW BEST:: SOT 286045 SOS 201703 HAS SOPS 198080 HAS SOUS 73517 HAS SOUPS 73325 WITH SCORE 73526.703
AT ITER 9357 NEW BEST:: SOT 285883 SOS 201541 HAS SOPS 197918 HAS SOUS 73499 HAS SOUPS 73307 WITH SCORE 73508.541
AT ITER 9394 NEW BEST:: SOT 285946 SOS 200961 HAS SOPS 197338 HAS SOUS 73423 HAS SOUPS 73231 WITH SCORE 73431.961
AT ITER 9457 NEW BEST:: SOT 286362 SOS 201174 HAS SOPS 197551 HAS SOUS 73384 HAS SOUPS 73192 WITH SCORE 73393.174
AT ITER 9458 NEW BEST:: SOT 286558 SOS 201370 HAS SOPS 197747 HAS SOUS 73165 HAS SOUPS 72973 WITH SCORE 73174.37
AT ITER 9465 NEW BEST:: SOT 286582 SOS 201324 HAS SOPS 197701 HAS SOUS 72933 HAS SOUPS 72741 WITH SCORE 72942.324
AT ITER 9495 NEW BEST:: SOT 286640 SOS 199767 HAS SOPS 196090 HAS SOUS 72329 HAS SOUPS 72137 WITH SCORE 72336.767
AT ITER 9574 NEW BEST:: SOT 286460 SOS 199587 HAS SOPS 195910 HAS SOUS 72309 HAS SOUPS 72117 WITH SCORE 72316.587
AT ITER 9622 NEW BEST:: SOT 286836 SOS 199963 HAS SOPS 196286 HAS SOUS 72192 HAS SOUPS 72000 WITH SCORE 72199.963
AT ITER 9650 NEW BEST:: SOT 286823 SOS 199950 HAS SOPS 196273 HAS SOUS 72179 HAS SOUPS 71987 WITH SCORE 72186.95
AT ITER 9690 NEW BEST:: SOT 284263 SOS 197390 HAS SOPS 193713 HAS SOUS 70043 HAS SOUPS 69851 WITH SCORE 70048.39
AT ITER 9706 NEW BEST:: SOT 284215 SOS 197342 HAS SOPS 193665 HAS SOUS 69995 HAS SOUPS 69803 WITH SCORE 70000.342
AT ITER 9727 NEW BEST:: SOT 284215 SOS 197023 HAS SOPS 193346 HAS SOUS 69919 HAS SOUPS 69727 WITH SCORE 69924.023
AT ITER 9782 NEW BEST:: SOT 284696 SOS 197282 HAS SOPS 193605 HAS SOUS 69867 HAS SOUPS 69675 WITH SCORE 69872.282
AT ITER 9788 NEW BEST:: SOT 284652 SOS 197238 HAS SOPS 193561 HAS SOUS 69642 HAS SOUPS 69450 WITH SCORE 69647.238
AT ITER 9844 NEW BEST:: SOT 284652 SOS 192314 HAS SOPS 188637 HAS SOUS 69615 HAS SOUPS 69423 WITH SCORE 69615.314
AT ITER 9879 NEW BEST:: SOT 284652 SOS 192314 HAS SOPS 188637 HAS SOUS 69392 HAS SOUPS 69200 WITH SCORE 69392.314
AT ITER 9884 NEW BEST:: SOT 284652 SOS 192182 HAS SOPS 188505 HAS SOUS 69128 HAS SOUPS 68936 WITH SCORE 69128.182
AT ITER 9891 NEW BEST:: SOT 284819 SOS 192247 HAS SOPS 188570 HAS SOUS 68840 HAS SOUPS 68648 WITH SCORE 68840.247
AT ITER 9892 NEW BEST:: SOT 284819 SOS 192213 HAS SOPS 188536 HAS SOUS 68806 HAS SOUPS 68614 WITH SCORE 68806.213
AT ITER 9924 NEW BEST:: SOT 284959 SOS 192353 HAS SOPS 188676 HAS SOUS 68759 HAS SOUPS 68567 WITH SCORE 68759.353
AT ITER 9940 NEW BEST:: SOT 284959 SOS 192289 HAS SOPS 188612 HAS SOUS 68714 HAS SOUPS 68522 WITH SCORE 68714.289
AT ITER 9960 NEW BEST:: SOT 284959 SOS 192694 HAS SOPS 189017 HAS SOUS 68629 HAS SOUPS 68437 WITH SCORE 68629.694
AT ITER 9961 NEW BEST:: SOT 284959 SOS 192693 HAS SOPS 189016 HAS SOUS 68627 HAS SOUPS 68435 WITH SCORE 68627.693
AT ITER 9970 NEW BEST:: SOT 284904 SOS 194419 HAS SOPS 190929 HAS SOUS 68537 HAS SOUPS 68345 WITH SCORE 68539.419
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9716892 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153848 kB

BK_TIME_CONFINEMENT_REACHED

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

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="DBSingleClientW-PT-d1m06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is DBSingleClientW-PT-d1m06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472200256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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