Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400312.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.8K Apr 4 18:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 4 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 4 06:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 94K Mar 24 05:37 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 1589413008771

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 123 places, 334 transitions, 1467 arcs.
AT ITER 0 NEW BEST:: SOT 34605 SOS 27847 HAS SOPS 27847 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17088.847
AT ITER 1 NEW BEST:: SOT 34600 SOS 27837 HAS SOPS 27837 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17085.837
AT ITER 2 NEW BEST:: SOT 34686 SOS 27862 HAS SOPS 27862 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17045.862
AT ITER 4 NEW BEST:: SOT 34733 SOS 27843 HAS SOPS 27843 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16566.843
AT ITER 5 NEW BEST:: SOT 34780 SOS 27860 HAS SOPS 27860 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16562.86
AT ITER 6 NEW BEST:: SOT 34734 SOS 27833 HAS SOPS 27833 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16515.833
AT ITER 7 NEW BEST:: SOT 34791 SOS 27797 HAS SOPS 27797 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16481.797
AT ITER 9 NEW BEST:: SOT 34801 SOS 27787 HAS SOPS 27787 HAS SOUS 16444 HAS SOUPS 16444 WITH SCORE 16471.787
AT ITER 11 NEW BEST:: SOT 34799 SOS 27684 HAS SOPS 27684 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16442.684
AT ITER 12 NEW BEST:: SOT 34796 SOS 27682 HAS SOPS 27682 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16440.682
AT ITER 15 NEW BEST:: SOT 34831 SOS 27680 HAS SOPS 27680 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16436.68
AT ITER 17 NEW BEST:: SOT 34630 SOS 27491 HAS SOPS 27491 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16318.491
AT ITER 20 NEW BEST:: SOT 34668 SOS 27447 HAS SOPS 27447 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16303.447
AT ITER 22 NEW BEST:: SOT 34467 SOS 27205 HAS SOPS 27205 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16123.205
AT ITER 24 NEW BEST:: SOT 34226 SOS 26929 HAS SOPS 26929 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 15990.929
AT ITER 26 NEW BEST:: SOT 34180 SOS 26872 HAS SOPS 26872 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15949.872
AT ITER 27 NEW BEST:: SOT 33950 SOS 26668 HAS SOPS 26668 HAS SOUS 15823 HAS SOUPS 15823 WITH SCORE 15849.668
AT ITER 28 NEW BEST:: SOT 34003 SOS 26736 HAS SOPS 26736 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15808.736
AT ITER 30 NEW BEST:: SOT 33791 SOS 26524 HAS SOPS 26524 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15647.524
AT ITER 33 NEW BEST:: SOT 33824 SOS 26306 HAS SOPS 26306 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14985.306
AT ITER 36 NEW BEST:: SOT 32583 SOS 27638 HAS SOPS 24912 HAS SOUS 13842 HAS SOUPS 13734 WITH SCORE 13761.638
AT ITER 37 NEW BEST:: SOT 32427 SOS 27426 HAS SOPS 24700 HAS SOUS 13707 HAS SOUPS 13599 WITH SCORE 13626.426
AT ITER 38 NEW BEST:: SOT 32413 SOS 27417 HAS SOPS 24672 HAS SOUS 13697 HAS SOUPS 13589 WITH SCORE 13616.417
AT ITER 39 NEW BEST:: SOT 32424 SOS 27439 HAS SOPS 24694 HAS SOUS 13695 HAS SOUPS 13587 WITH SCORE 13614.439
AT ITER 45 NEW BEST:: SOT 32442 SOS 27097 HAS SOPS 24380 HAS SOUS 13288 HAS SOUPS 13180 WITH SCORE 13207.097
AT ITER 46 NEW BEST:: SOT 32451 SOS 27036 HAS SOPS 24324 HAS SOUS 13173 HAS SOUPS 13065 WITH SCORE 13092.036
AT ITER 47 NEW BEST:: SOT 32481 SOS 27032 HAS SOPS 24344 HAS SOUS 13103 HAS SOUPS 12995 WITH SCORE 13022.032
AT ITER 49 NEW BEST:: SOT 32516 SOS 26301 HAS SOPS 23750 HAS SOUS 12126 HAS SOUPS 12018 WITH SCORE 12044.301
AT ITER 50 NEW BEST:: SOT 32505 SOS 26249 HAS SOPS 23698 HAS SOUS 12074 HAS SOUPS 11966 WITH SCORE 11992.249
AT ITER 54 NEW BEST:: SOT 32495 SOS 26239 HAS SOPS 23678 HAS SOUS 12068 HAS SOUPS 11960 WITH SCORE 11986.239
AT ITER 56 NEW BEST:: SOT 32112 SOS 25856 HAS SOPS 23295 HAS SOUS 11939 HAS SOUPS 11831 WITH SCORE 11856.856
AT ITER 57 NEW BEST:: SOT 32138 SOS 25862 HAS SOPS 23317 HAS SOUS 11936 HAS SOUPS 11828 WITH SCORE 11853.862
AT ITER 58 NEW BEST:: SOT 32137 SOS 25861 HAS SOPS 23305 HAS SOUS 11927 HAS SOUPS 11816 WITH SCORE 11841.861
AT ITER 60 NEW BEST:: SOT 32137 SOS 25861 HAS SOPS 23305 HAS SOUS 11908 HAS SOUPS 11797 WITH SCORE 11822.861
AT ITER 63 NEW BEST:: SOT 32118 SOS 25841 HAS SOPS 23289 HAS SOUS 11892 HAS SOUPS 11781 WITH SCORE 11806.841
AT ITER 64 NEW BEST:: SOT 32131 SOS 25860 HAS SOPS 23315 HAS SOUS 11889 HAS SOUPS 11778 WITH SCORE 11803.86
AT ITER 66 NEW BEST:: SOT 32127 SOS 25826 HAS SOPS 23294 HAS SOUS 11885 HAS SOUPS 11774 WITH SCORE 11799.826
AT ITER 67 NEW BEST:: SOT 32106 SOS 25784 HAS SOPS 23231 HAS SOUS 11822 HAS SOUPS 11711 WITH SCORE 11736.784
AT ITER 68 NEW BEST:: SOT 32100 SOS 25778 HAS SOPS 23225 HAS SOUS 11816 HAS SOUPS 11705 WITH SCORE 11730.778
AT ITER 69 NEW BEST:: SOT 32102 SOS 25773 HAS SOPS 23172 HAS SOUS 11763 HAS SOUPS 11652 WITH SCORE 11677.773
AT ITER 70 NEW BEST:: SOT 32117 SOS 25731 HAS SOPS 23131 HAS SOUS 11724 HAS SOUPS 11613 WITH SCORE 11638.731
AT ITER 77 NEW BEST:: SOT 32173 SOS 25645 HAS SOPS 23099 HAS SOUS 11715 HAS SOUPS 11604 WITH SCORE 11629.645
AT ITER 79 NEW BEST:: SOT 32180 SOS 25616 HAS SOPS 23081 HAS SOUS 11678 HAS SOUPS 11567 WITH SCORE 11592.616
AT ITER 80 NEW BEST:: SOT 32184 SOS 25498 HAS SOPS 23028 HAS SOUS 11564 HAS SOUPS 11453 WITH SCORE 11478.498
AT ITER 81 NEW BEST:: SOT 32180 SOS 25436 HAS SOPS 22993 HAS SOUS 11560 HAS SOUPS 11449 WITH SCORE 11474.436
AT ITER 82 NEW BEST:: SOT 32096 SOS 25363 HAS SOPS 22903 HAS SOUS 11496 HAS SOUPS 11385 WITH SCORE 11410.363
AT ITER 83 NEW BEST:: SOT 32095 SOS 25267 HAS SOPS 22854 HAS SOUS 11496 HAS SOUPS 11385 WITH SCORE 11410.267
AT ITER 84 NEW BEST:: SOT 32088 SOS 25253 HAS SOPS 22840 HAS SOUS 11489 HAS SOUPS 11378 WITH SCORE 11403.253
AT ITER 90 NEW BEST:: SOT 32133 SOS 25132 HAS SOPS 22758 HAS SOUS 11335 HAS SOUPS 11224 WITH SCORE 11249.132
AT ITER 91 NEW BEST:: SOT 32131 SOS 25128 HAS SOPS 22754 HAS SOUS 11333 HAS SOUPS 11222 WITH SCORE 11247.128
AT ITER 93 NEW BEST:: SOT 32106 SOS 25078 HAS SOPS 22679 HAS SOUS 11302 HAS SOUPS 11191 WITH SCORE 11216.078
AT ITER 94 NEW BEST:: SOT 31889 SOS 24861 HAS SOPS 22462 HAS SOUS 11187 HAS SOUPS 11076 WITH SCORE 11100.861
AT ITER 96 NEW BEST:: SOT 31911 SOS 24445 HAS SOPS 22046 HAS SOUS 10900 HAS SOUPS 10789 WITH SCORE 10813.445
AT ITER 97 NEW BEST:: SOT 31911 SOS 23931 HAS SOPS 21556 HAS SOUS 10737 HAS SOUPS 10626 WITH SCORE 10649.931
AT ITER 98 NEW BEST:: SOT 31886 SOS 23949 HAS SOPS 21506 HAS SOUS 10711 HAS SOUPS 10600 WITH SCORE 10623.949
AT ITER 100 NEW BEST:: SOT 31900 SOS 23963 HAS SOPS 21491 HAS SOUS 10648 HAS SOUPS 10537 WITH SCORE 10560.963
AT ITER 101 NEW BEST:: SOT 31909 SOS 23957 HAS SOPS 21485 HAS SOUS 10569 HAS SOUPS 10458 WITH SCORE 10481.957
AT ITER 106 NEW BEST:: SOT 31890 SOS 23951 HAS SOPS 21451 HAS SOUS 10522 HAS SOUPS 10411 WITH SCORE 10434.951
AT ITER 108 NEW BEST:: SOT 26525 SOS 19056 HAS SOPS 16046 HAS SOUS 8016 HAS SOUPS 7844 WITH SCORE 7863.056
AT ITER 114 NEW BEST:: SOT 26502 SOS 18957 HAS SOPS 15964 HAS SOUS 7953 HAS SOUPS 7781 WITH SCORE 7799.957
AT ITER 115 NEW BEST:: SOT 26494 SOS 18928 HAS SOPS 15935 HAS SOUS 7939 HAS SOUPS 7767 WITH SCORE 7785.928
AT ITER 123 NEW BEST:: SOT 26489 SOS 18918 HAS SOPS 15920 HAS SOUS 7924 HAS SOUPS 7752 WITH SCORE 7770.918
AT ITER 128 NEW BEST:: SOT 26452 SOS 18860 HAS SOPS 15846 HAS SOUS 7896 HAS SOUPS 7724 WITH SCORE 7742.86
AT ITER 130 NEW BEST:: SOT 26600 SOS 18931 HAS SOPS 15818 HAS SOUS 7870 HAS SOUPS 7698 WITH SCORE 7716.931
AT ITER 131 NEW BEST:: SOT 26626 SOS 18957 HAS SOPS 15807 HAS SOUS 7859 HAS SOUPS 7687 WITH SCORE 7705.957
AT ITER 139 NEW BEST:: SOT 27189 SOS 18528 HAS SOPS 15084 HAS SOUS 7586 HAS SOUPS 7414 WITH SCORE 7432.528
AT ITER 141 NEW BEST:: SOT 27189 SOS 18524 HAS SOPS 15084 HAS SOUS 7586 HAS SOUPS 7414 WITH SCORE 7432.524
AT ITER 143 NEW BEST:: SOT 27169 SOS 18486 HAS SOPS 15044 HAS SOUS 7546 HAS SOUPS 7374 WITH SCORE 7392.486
AT ITER 144 NEW BEST:: SOT 27164 SOS 18501 HAS SOPS 15054 HAS SOUS 7536 HAS SOUPS 7364 WITH SCORE 7382.501
AT ITER 146 NEW BEST:: SOT 27160 SOS 18493 HAS SOPS 15046 HAS SOUS 7533 HAS SOUPS 7361 WITH SCORE 7379.493
AT ITER 147 NEW BEST:: SOT 27128 SOS 18465 HAS SOPS 15018 HAS SOUS 7510 HAS SOUPS 7338 WITH SCORE 7356.465
AT ITER 155 NEW BEST:: SOT 27124 SOS 18458 HAS SOPS 15010 HAS SOUS 7505 HAS SOUPS 7333 WITH SCORE 7351.458
AT ITER 162 NEW BEST:: SOT 27098 SOS 18419 HAS SOPS 14958 HAS SOUS 7492 HAS SOUPS 7320 WITH SCORE 7338.419
AT ITER 170 NEW BEST:: SOT 27094 SOS 18460 HAS SOPS 14998 HAS SOUS 7487 HAS SOUPS 7315 WITH SCORE 7333.46
AT ITER 173 NEW BEST:: SOT 27083 SOS 18462 HAS SOPS 14976 HAS SOUS 7465 HAS SOUPS 7293 WITH SCORE 7311.462
AT ITER 181 NEW BEST:: SOT 27071 SOS 18406 HAS SOPS 14908 HAS SOUS 7397 HAS SOUPS 7225 WITH SCORE 7243.406
AT ITER 183 NEW BEST:: SOT 27065 SOS 18400 HAS SOPS 14896 HAS SOUS 7391 HAS SOUPS 7213 WITH SCORE 7231.4
AT ITER 186 NEW BEST:: SOT 27025 SOS 18368 HAS SOPS 14860 HAS SOUS 7377 HAS SOUPS 7199 WITH SCORE 7217.368
AT ITER 196 NEW BEST:: SOT 27057 SOS 18369 HAS SOPS 14841 HAS SOUS 7361 HAS SOUPS 7180 WITH SCORE 7198.369
AT ITER 203 NEW BEST:: SOT 26996 SOS 18308 HAS SOPS 14780 HAS SOUS 7300 HAS SOUPS 7119 WITH SCORE 7137.308
AT ITER 209 NEW BEST:: SOT 27018 SOS 18316 HAS SOPS 14768 HAS SOUS 7273 HAS SOUPS 7092 WITH SCORE 7110.316
AT ITER 211 NEW BEST:: SOT 27006 SOS 18285 HAS SOPS 14737 HAS SOUS 7268 HAS SOUPS 7087 WITH SCORE 7105.285
AT ITER 213 NEW BEST:: SOT 26994 SOS 18263 HAS SOPS 14713 HAS SOUS 7263 HAS SOUPS 7082 WITH SCORE 7100.263
AT ITER 217 NEW BEST:: SOT 26995 SOS 18264 HAS SOPS 14713 HAS SOUS 7237 HAS SOUPS 7056 WITH SCORE 7074.264
AT ITER 218 NEW BEST:: SOT 26989 SOS 18258 HAS SOPS 14707 HAS SOUS 7231 HAS SOUPS 7050 WITH SCORE 7068.258
AT ITER 224 NEW BEST:: SOT 26959 SOS 18228 HAS SOPS 14668 HAS SOUS 7192 HAS SOUPS 7011 WITH SCORE 7029.228
AT ITER 227 NEW BEST:: SOT 26959 SOS 18036 HAS SOPS 14488 HAS SOUS 7168 HAS SOUPS 6987 WITH SCORE 7005.036
AT ITER 228 NEW BEST:: SOT 26958 SOS 18035 HAS SOPS 14486 HAS SOUS 7166 HAS SOUPS 6985 WITH SCORE 7003.035
AT ITER 229 NEW BEST:: SOT 26878 SOS 17955 HAS SOPS 14406 HAS SOUS 7126 HAS SOUPS 6945 WITH SCORE 6962.955
AT ITER 237 NEW BEST:: SOT 26874 SOS 17951 HAS SOPS 14413 HAS SOUS 7118 HAS SOUPS 6937 WITH SCORE 6954.951
AT ITER 240 NEW BEST:: SOT 26874 SOS 17951 HAS SOPS 14397 HAS SOUS 7088 HAS SOUPS 6907 WITH SCORE 6924.951
AT ITER 241 NEW BEST:: SOT 26789 SOS 17820 HAS SOPS 14227 HAS SOUS 6964 HAS SOUPS 6783 WITH SCORE 6800.82
AT ITER 249 NEW BEST:: SOT 26786 SOS 17814 HAS SOPS 14202 HAS SOUS 6924 HAS SOUPS 6743 WITH SCORE 6760.814
AT ITER 250 NEW BEST:: SOT 26783 SOS 17767 HAS SOPS 14196 HAS SOUS 6918 HAS SOUPS 6737 WITH SCORE 6754.767
AT ITER 256 NEW BEST:: SOT 26773 SOS 17758 HAS SOPS 14176 HAS SOUS 6909 HAS SOUPS 6728 WITH SCORE 6745.758
AT ITER 262 NEW BEST:: SOT 26771 SOS 17753 HAS SOPS 14171 HAS SOUS 6907 HAS SOUPS 6726 WITH SCORE 6743.753
AT ITER 265 NEW BEST:: SOT 26456 SOS 17872 HAS SOPS 14237 HAS SOUS 6906 HAS SOUPS 6725 WITH SCORE 6742.872
AT ITER 268 NEW BEST:: SOT 25927 SOS 17516 HAS SOPS 13937 HAS SOUS 6748 HAS SOUPS 6567 WITH SCORE 6584.516
AT ITER 276 NEW BEST:: SOT 25927 SOS 17516 HAS SOPS 13937 HAS SOUS 6740 HAS SOUPS 6559 WITH SCORE 6576.516
AT ITER 284 NEW BEST:: SOT 25870 SOS 17489 HAS SOPS 13881 HAS SOUS 6684 HAS SOUPS 6503 WITH SCORE 6520.489
AT ITER 286 NEW BEST:: SOT 25776 SOS 17413 HAS SOPS 13681 HAS SOUS 6561 HAS SOUPS 6380 WITH SCORE 6397.413
AT ITER 287 NEW BEST:: SOT 25792 SOS 17437 HAS SOPS 13692 HAS SOUS 6553 HAS SOUPS 6372 WITH SCORE 6389.437
AT ITER 288 NEW BEST:: SOT 25323 SOS 16971 HAS SOPS 13243 HAS SOUS 6340 HAS SOUPS 6159 WITH SCORE 6175.971
AT ITER 293 NEW BEST:: SOT 25323 SOS 16971 HAS SOPS 13218 HAS SOUS 6315 HAS SOUPS 6134 WITH SCORE 6150.971
AT ITER 298 NEW BEST:: SOT 25315 SOS 16931 HAS SOPS 13186 HAS SOUS 6299 HAS SOUPS 6118 WITH SCORE 6134.931
AT ITER 299 NEW BEST:: SOT 25302 SOS 16935 HAS SOPS 13160 HAS SOUS 6273 HAS SOUPS 6092 WITH SCORE 6108.935
AT ITER 300 NEW BEST:: SOT 25292 SOS 16828 HAS SOPS 13078 HAS SOUS 6238 HAS SOUPS 6057 WITH SCORE 6073.828
AT ITER 306 NEW BEST:: SOT 25320 SOS 16854 HAS SOPS 13089 HAS SOUS 6234 HAS SOUPS 6053 WITH SCORE 6069.854
AT ITER 313 NEW BEST:: SOT 25314 SOS 16835 HAS SOPS 13077 HAS SOUS 6222 HAS SOUPS 6041 WITH SCORE 6057.835
AT ITER 315 NEW BEST:: SOT 25319 SOS 16509 HAS SOPS 12773 HAS SOUS 6189 HAS SOUPS 6008 WITH SCORE 6024.509
AT ITER 323 NEW BEST:: SOT 25277 SOS 16460 HAS SOPS 12708 HAS SOUS 6124 HAS SOUPS 5943 WITH SCORE 5959.46
AT ITER 325 NEW BEST:: SOT 25268 SOS 16428 HAS SOPS 12690 HAS SOUS 6101 HAS SOUPS 5920 WITH SCORE 5936.428
AT ITER 330 NEW BEST:: SOT 25124 SOS 16284 HAS SOPS 12542 HAS SOUS 6021 HAS SOUPS 5840 WITH SCORE 5856.284
AT ITER 340 NEW BEST:: SOT 25120 SOS 16253 HAS SOPS 12515 HAS SOUS 6010 HAS SOUPS 5829 WITH SCORE 5845.253
AT ITER 351 NEW BEST:: SOT 25112 SOS 16214 HAS SOPS 12494 HAS SOUS 6003 HAS SOUPS 5822 WITH SCORE 5838.214
AT ITER 352 NEW BEST:: SOT 25109 SOS 16211 HAS SOPS 12488 HAS SOUS 5997 HAS SOUPS 5816 WITH SCORE 5832.211
AT ITER 353 NEW BEST:: SOT 25109 SOS 16211 HAS SOPS 12488 HAS SOUS 5996 HAS SOUPS 5815 WITH SCORE 5831.211
AT ITER 354 NEW BEST:: SOT 25152 SOS 16155 HAS SOPS 12462 HAS SOUS 5991 HAS SOUPS 5810 WITH SCORE 5826.155
AT ITER 355 NEW BEST:: SOT 25151 SOS 16155 HAS SOPS 12460 HAS SOUS 5989 HAS SOUPS 5808 WITH SCORE 5824.155
AT ITER 363 NEW BEST:: SOT 25160 SOS 16141 HAS SOPS 12478 HAS SOUS 5987 HAS SOUPS 5806 WITH SCORE 5822.141
AT ITER 365 NEW BEST:: SOT 25125 SOS 16106 HAS SOPS 12408 HAS SOUS 5917 HAS SOUPS 5736 WITH SCORE 5752.106
AT ITER 373 NEW BEST:: SOT 25135 SOS 15753 HAS SOPS 12092 HAS SOUS 5884 HAS SOUPS 5703 WITH SCORE 5718.753
AT ITER 383 NEW BEST:: SOT 25156 SOS 15770 HAS SOPS 12080 HAS SOUS 5821 HAS SOUPS 5640 WITH SCORE 5655.77
AT ITER 387 NEW BEST:: SOT 25144 SOS 15770 HAS SOPS 12068 HAS SOUS 5809 HAS SOUPS 5628 WITH SCORE 5643.77
AT ITER 390 NEW BEST:: SOT 25113 SOS 15630 HAS SOPS 11928 HAS SOUS 5699 HAS SOUPS 5518 WITH SCORE 5533.63
AT ITER 395 NEW BEST:: SOT 25096 SOS 15630 HAS SOPS 11894 HAS SOUS 5665 HAS SOUPS 5484 WITH SCORE 5499.63
AT ITER 407 NEW BEST:: SOT 25074 SOS 15607 HAS SOPS 11871 HAS SOUS 5654 HAS SOUPS 5473 WITH SCORE 5488.607
AT ITER 419 NEW BEST:: SOT 25069 SOS 15603 HAS SOPS 11867 HAS SOUS 5653 HAS SOUPS 5472 WITH SCORE 5487.603
AT ITER 425 NEW BEST:: SOT 25079 SOS 15604 HAS SOPS 11855 HAS SOUS 5642 HAS SOUPS 5461 WITH SCORE 5476.604
AT ITER 426 NEW BEST:: SOT 25079 SOS 15598 HAS SOPS 11852 HAS SOUS 5639 HAS SOUPS 5458 WITH SCORE 5473.598
AT ITER 427 NEW BEST:: SOT 25065 SOS 15584 HAS SOPS 11824 HAS SOUS 5610 HAS SOUPS 5429 WITH SCORE 5444.584
AT ITER 431 NEW BEST:: SOT 25032 SOS 15210 HAS SOPS 11260 HAS SOUS 5379 HAS SOUPS 5198 WITH SCORE 5213.21
AT ITER 437 NEW BEST:: SOT 25032 SOS 15210 HAS SOPS 11259 HAS SOUS 5377 HAS SOUPS 5196 WITH SCORE 5211.21
AT ITER 439 NEW BEST:: SOT 25037 SOS 15215 HAS SOPS 11264 HAS SOUS 5369 HAS SOUPS 5188 WITH SCORE 5203.215
AT ITER 440 NEW BEST:: SOT 25032 SOS 15210 HAS SOPS 11259 HAS SOUS 5365 HAS SOUPS 5184 WITH SCORE 5199.21
AT ITER 441 NEW BEST:: SOT 25025 SOS 15200 HAS SOPS 11245 HAS SOUS 5363 HAS SOUPS 5182 WITH SCORE 5197.2
AT ITER 445 NEW BEST:: SOT 25025 SOS 15020 HAS SOPS 11085 HAS SOUS 5343 HAS SOUPS 5162 WITH SCORE 5177.02
AT ITER 468 NEW BEST:: SOT 25036 SOS 15055 HAS SOPS 11107 HAS SOUS 5341 HAS SOUPS 5160 WITH SCORE 5175.055
AT ITER 485 NEW BEST:: SOT 25036 SOS 14963 HAS SOPS 11015 HAS SOUS 5321 HAS SOUPS 5140 WITH SCORE 5154.963
AT ITER 486 NEW BEST:: SOT 25034 SOS 14961 HAS SOPS 11012 HAS SOUS 5318 HAS SOUPS 5137 WITH SCORE 5151.961
AT ITER 494 NEW BEST:: SOT 25032 SOS 14955 HAS SOPS 11008 HAS SOUS 5282 HAS SOUPS 5101 WITH SCORE 5115.955
AT ITER 496 NEW BEST:: SOT 25111 SOS 15029 HAS SOPS 11013 HAS SOUS 5245 HAS SOUPS 5064 WITH SCORE 5079.029
AT ITER 498 NEW BEST:: SOT 25091 SOS 15009 HAS SOPS 10973 HAS SOUS 5220 HAS SOUPS 5024 WITH SCORE 5039.009
AT ITER 501 NEW BEST:: SOT 25058 SOS 14934 HAS SOPS 10907 HAS SOUS 5208 HAS SOUPS 5012 WITH SCORE 5026.934
AT ITER 506 NEW BEST:: SOT 25054 SOS 14930 HAS SOPS 10899 HAS SOUS 5204 HAS SOUPS 5008 WITH SCORE 5022.93
AT ITER 508 NEW BEST:: SOT 25054 SOS 14589 HAS SOPS 10569 HAS SOUS 5182 HAS SOUPS 4986 WITH SCORE 5000.589
AT ITER 509 NEW BEST:: SOT 25007 SOS 14437 HAS SOPS 10426 HAS SOUS 5121 HAS SOUPS 4925 WITH SCORE 4939.437
AT ITER 512 NEW BEST:: SOT 24932 SOS 14376 HAS SOPS 10374 HAS SOUS 5102 HAS SOUPS 4906 WITH SCORE 4920.376
AT ITER 524 NEW BEST:: SOT 24932 SOS 14373 HAS SOPS 10371 HAS SOUS 5099 HAS SOUPS 4903 WITH SCORE 4917.373
AT ITER 531 NEW BEST:: SOT 24931 SOS 14370 HAS SOPS 10368 HAS SOUS 5098 HAS SOUPS 4902 WITH SCORE 4916.37
AT ITER 542 NEW BEST:: SOT 24922 SOS 14343 HAS SOPS 10332 HAS SOUS 5071 HAS SOUPS 4875 WITH SCORE 4889.343
AT ITER 548 NEW BEST:: SOT 24936 SOS 14344 HAS SOPS 10334 HAS SOUS 5060 HAS SOUPS 4864 WITH SCORE 4878.344
AT ITER 549 NEW BEST:: SOT 24854 SOS 15658 HAS SOPS 10252 HAS SOUS 5055 HAS SOUPS 4844 WITH SCORE 4859.658
AT ITER 576 NEW BEST:: SOT 24854 SOS 15652 HAS SOPS 10246 HAS SOUS 5049 HAS SOUPS 4838 WITH SCORE 4853.652
AT ITER 593 NEW BEST:: SOT 24847 SOS 15639 HAS SOPS 10232 HAS SOUS 5040 HAS SOUPS 4829 WITH SCORE 4844.639
AT ITER 596 NEW BEST:: SOT 24798 SOS 15541 HAS SOPS 10134 HAS SOUS 4970 HAS SOUPS 4759 WITH SCORE 4774.541
AT ITER 600 NEW BEST:: SOT 24770 SOS 15513 HAS SOPS 10092 HAS SOUS 4929 HAS SOUPS 4718 WITH SCORE 4733.513
AT ITER 605 NEW BEST:: SOT 24766 SOS 15507 HAS SOPS 10084 HAS SOUS 4923 HAS SOUPS 4712 WITH SCORE 4727.507
AT ITER 609 NEW BEST:: SOT 24765 SOS 15507 HAS SOPS 10083 HAS SOUS 4922 HAS SOUPS 4711 WITH SCORE 4726.507
AT ITER 636 NEW BEST:: SOT 24761 SOS 15438 HAS SOPS 9899 HAS SOUS 4897 HAS SOUPS 4686 WITH SCORE 4701.438
AT ITER 640 NEW BEST:: SOT 24750 SOS 15413 HAS SOPS 9877 HAS SOUS 4886 HAS SOUPS 4675 WITH SCORE 4690.413
AT ITER 657 NEW BEST:: SOT 24750 SOS 15424 HAS SOPS 9877 HAS SOUS 4875 HAS SOUPS 4664 WITH SCORE 4679.424
AT ITER 660 NEW BEST:: SOT 24744 SOS 15418 HAS SOPS 9868 HAS SOUS 4869 HAS SOUPS 4658 WITH SCORE 4673.418
AT ITER 671 NEW BEST:: SOT 24738 SOS 15412 HAS SOPS 9856 HAS SOUS 4863 HAS SOUPS 4652 WITH SCORE 4667.412
AT ITER 673 NEW BEST:: SOT 24734 SOS 15408 HAS SOPS 9848 HAS SOUS 4855 HAS SOUPS 4644 WITH SCORE 4659.408
AT ITER 680 NEW BEST:: SOT 24715 SOS 15478 HAS SOPS 9868 HAS SOUS 4849 HAS SOUPS 4638 WITH SCORE 4653.478
AT ITER 689 NEW BEST:: SOT 24711 SOS 15470 HAS SOPS 9860 HAS SOUS 4845 HAS SOUPS 4634 WITH SCORE 4649.47
AT ITER 696 NEW BEST:: SOT 24711 SOS 15430 HAS SOPS 9840 HAS SOUS 4845 HAS SOUPS 4634 WITH SCORE 4649.43
AT ITER 698 NEW BEST:: SOT 24691 SOS 15410 HAS SOPS 9834 HAS SOUS 4839 HAS SOUPS 4628 WITH SCORE 4643.41
AT ITER 701 NEW BEST:: SOT 24660 SOS 15347 HAS SOPS 9772 HAS SOUS 4795 HAS SOUPS 4592 WITH SCORE 4607.347
AT ITER 704 NEW BEST:: SOT 24504 SOS 15191 HAS SOPS 9616 HAS SOUS 4717 HAS SOUPS 4514 WITH SCORE 4529.191
AT ITER 706 NEW BEST:: SOT 24490 SOS 15145 HAS SOPS 9588 HAS SOUS 4698 HAS SOUPS 4495 WITH SCORE 4510.145
AT ITER 712 NEW BEST:: SOT 24498 SOS 15148 HAS SOPS 9538 HAS SOUS 4649 HAS SOUPS 4446 WITH SCORE 4461.148
AT ITER 733 NEW BEST:: SOT 24499 SOS 14510 HAS SOPS 9539 HAS SOUS 4642 HAS SOUPS 4444 WITH SCORE 4458.51
AT ITER 737 NEW BEST:: SOT 24485 SOS 14482 HAS SOPS 9511 HAS SOUS 4628 HAS SOUPS 4430 WITH SCORE 4444.482
AT ITER 751 NEW BEST:: SOT 24481 SOS 14501 HAS SOPS 9516 HAS SOUS 4623 HAS SOUPS 4425 WITH SCORE 4439.501
AT ITER 753 NEW BEST:: SOT 24478 SOS 14498 HAS SOPS 9510 HAS SOUS 4617 HAS SOUPS 4419 WITH SCORE 4433.498
AT ITER 769 NEW BEST:: SOT 24472 SOS 14486 HAS SOPS 9484 HAS SOUS 4591 HAS SOUPS 4393 WITH SCORE 4407.486
AT ITER 782 NEW BEST:: SOT 24459 SOS 14473 HAS SOPS 9458 HAS SOUS 4565 HAS SOUPS 4367 WITH SCORE 4381.473
AT ITER 792 NEW BEST:: SOT 24444 SOS 14457 HAS SOPS 9462 HAS SOUS 4563 HAS SOUPS 4365 WITH SCORE 4379.457
AT ITER 807 NEW BEST:: SOT 24432 SOS 14427 HAS SOPS 9420 HAS SOUS 4537 HAS SOUPS 4339 WITH SCORE 4353.427
AT ITER 810 NEW BEST:: SOT 24455 SOS 14439 HAS SOPS 9415 HAS SOUS 4531 HAS SOUPS 4333 WITH SCORE 4347.439
AT ITER 812 NEW BEST:: SOT 24038 SOS 14013 HAS SOPS 8989 HAS SOUS 4308 HAS SOUPS 4110 WITH SCORE 4124.013
AT ITER 836 NEW BEST:: SOT 24034 SOS 14005 HAS SOPS 8981 HAS SOUS 4300 HAS SOUPS 4102 WITH SCORE 4116.005
AT ITER 851 NEW BEST:: SOT 24027 SOS 14003 HAS SOPS 8967 HAS SOUS 4293 HAS SOUPS 4095 WITH SCORE 4109.003
AT ITER 874 NEW BEST:: SOT 23942 SOS 13918 HAS SOPS 8863 HAS SOUS 4189 HAS SOUPS 3991 WITH SCORE 4004.918
AT ITER 905 NEW BEST:: SOT 23965 SOS 13927 HAS SOPS 8872 HAS SOUS 4175 HAS SOUPS 3977 WITH SCORE 3990.927
AT ITER 906 NEW BEST:: SOT 23968 SOS 13926 HAS SOPS 8872 HAS SOUS 4173 HAS SOUPS 3975 WITH SCORE 3988.926
AT ITER 909 NEW BEST:: SOT 23964 SOS 13904 HAS SOPS 8849 HAS SOUS 4159 HAS SOUPS 3961 WITH SCORE 3974.904
AT ITER 911 NEW BEST:: SOT 23953 SOS 13893 HAS SOPS 8838 HAS SOUS 4148 HAS SOUPS 3950 WITH SCORE 3963.893
AT ITER 935 NEW BEST:: SOT 23922 SOS 17213 HAS SOPS 8775 HAS SOUS 4134 HAS SOUPS 3912 WITH SCORE 3929.213
AT ITER 949 NEW BEST:: SOT 23922 SOS 17213 HAS SOPS 8768 HAS SOUS 4125 HAS SOUPS 3903 WITH SCORE 3920.213
AT ITER 956 NEW BEST:: SOT 23939 SOS 17217 HAS SOPS 8780 HAS SOUS 4115 HAS SOUPS 3893 WITH SCORE 3910.217
AT ITER 961 NEW BEST:: SOT 24038 SOS 17319 HAS SOPS 8666 HAS SOUS 4096 HAS SOUPS 3874 WITH SCORE 3891.319
AT ITER 967 NEW BEST:: SOT 24033 SOS 17323 HAS SOPS 8675 HAS SOUS 4082 HAS SOUPS 3860 WITH SCORE 3877.323
AT ITER 984 NEW BEST:: SOT 24016 SOS 17297 HAS SOPS 8641 HAS SOUS 4058 HAS SOUPS 3836 WITH SCORE 3853.297
AT ITER 1029 NEW BEST:: SOT 24006 SOS 17289 HAS SOPS 8625 HAS SOUS 4046 HAS SOUPS 3824 WITH SCORE 3841.289
AT ITER 1051 NEW BEST:: SOT 24006 SOS 17279 HAS SOPS 8620 HAS SOUS 4046 HAS SOUPS 3824 WITH SCORE 3841.279
AT ITER 1066 NEW BEST:: SOT 23983 SOS 17233 HAS SOPS 8574 HAS SOUS 4023 HAS SOUPS 3801 WITH SCORE 3818.233
AT ITER 1069 NEW BEST:: SOT 23987 SOS 17175 HAS SOPS 8536 HAS SOUS 4010 HAS SOUPS 3788 WITH SCORE 3805.175
AT ITER 1079 NEW BEST:: SOT 23983 SOS 17167 HAS SOPS 8528 HAS SOUS 4006 HAS SOUPS 3784 WITH SCORE 3801.167
AT ITER 1083 NEW BEST:: SOT 23973 SOS 17157 HAS SOPS 8508 HAS SOUS 3990 HAS SOUPS 3764 WITH SCORE 3781.157
AT ITER 1085 NEW BEST:: SOT 23974 SOS 17148 HAS SOPS 8500 HAS SOUS 3982 HAS SOUPS 3756 WITH SCORE 3773.148
AT ITER 1091 NEW BEST:: SOT 23971 SOS 16855 HAS SOPS 8182 HAS SOUS 3977 HAS SOUPS 3751 WITH SCORE 3767.855
AT ITER 1097 NEW BEST:: SOT 23912 SOS 16799 HAS SOPS 8145 HAS SOUS 3940 HAS SOUPS 3714 WITH SCORE 3730.799
AT ITER 1100 NEW BEST:: SOT 23906 SOS 16773 HAS SOPS 8119 HAS SOUS 3922 HAS SOUPS 3696 WITH SCORE 3712.773
AT ITER 1123 NEW BEST:: SOT 23904 SOS 16772 HAS SOPS 8116 HAS SOUS 3919 HAS SOUPS 3693 WITH SCORE 3709.772
AT ITER 1145 NEW BEST:: SOT 23905 SOS 16771 HAS SOPS 8118 HAS SOUS 3918 HAS SOUPS 3692 WITH SCORE 3708.771
AT ITER 1157 NEW BEST:: SOT 23905 SOS 16770 HAS SOPS 8117 HAS SOUS 3918 HAS SOUPS 3692 WITH SCORE 3708.77
AT ITER 1178 NEW BEST:: SOT 23912 SOS 16778 HAS SOPS 7957 HAS SOUS 3893 HAS SOUPS 3667 WITH SCORE 3683.778
AT ITER 1189 NEW BEST:: SOT 23907 SOS 16770 HAS SOPS 7947 HAS SOUS 3887 HAS SOUPS 3661 WITH SCORE 3677.77
AT ITER 1251 NEW BEST:: SOT 23885 SOS 16721 HAS SOPS 7903 HAS SOUS 3859 HAS SOUPS 3633 WITH SCORE 3649.721
AT ITER 1264 NEW BEST:: SOT 23867 SOS 16741 HAS SOPS 7867 HAS SOUS 3824 HAS SOUPS 3598 WITH SCORE 3614.741
AT ITER 1271 NEW BEST:: SOT 23868 SOS 16740 HAS SOPS 7867 HAS SOUS 3824 HAS SOUPS 3598 WITH SCORE 3614.74
AT ITER 1324 NEW BEST:: SOT 23881 SOS 16741 HAS SOPS 7860 HAS SOUS 3820 HAS SOUPS 3594 WITH SCORE 3610.741
AT ITER 1352 NEW BEST:: SOT 23760 SOS 16734 HAS SOPS 7780 HAS SOUS 3777 HAS SOUPS 3551 WITH SCORE 3567.734
AT ITER 1361 NEW BEST:: SOT 23757 SOS 16725 HAS SOPS 7771 HAS SOUS 3771 HAS SOUPS 3545 WITH SCORE 3561.725
AT ITER 1364 NEW BEST:: SOT 23739 SOS 16763 HAS SOPS 7784 HAS SOUS 3762 HAS SOUPS 3536 WITH SCORE 3552.763
AT ITER 1372 NEW BEST:: SOT 23739 SOS 16761 HAS SOPS 7782 HAS SOUS 3760 HAS SOUPS 3534 WITH SCORE 3550.761
AT ITER 1374 NEW BEST:: SOT 23737 SOS 16759 HAS SOPS 7780 HAS SOUS 3758 HAS SOUPS 3532 WITH SCORE 3548.759
AT ITER 1379 NEW BEST:: SOT 23728 SOS 16741 HAS SOPS 7762 HAS SOUS 3743 HAS SOUPS 3517 WITH SCORE 3533.741
AT ITER 1380 NEW BEST:: SOT 23726 SOS 16748 HAS SOPS 7758 HAS SOUS 3741 HAS SOUPS 3515 WITH SCORE 3531.748
AT ITER 1383 NEW BEST:: SOT 23725 SOS 16753 HAS SOPS 7756 HAS SOUS 3740 HAS SOUPS 3514 WITH SCORE 3530.753
AT ITER 1399 NEW BEST:: SOT 23738 SOS 16738 HAS SOPS 7754 HAS SOUS 3712 HAS SOUPS 3486 WITH SCORE 3502.738
AT ITER 1402 NEW BEST:: SOT 23668 SOS 16668 HAS SOPS 7684 HAS SOUS 3676 HAS SOUPS 3450 WITH SCORE 3466.668
AT ITER 1408 NEW BEST:: SOT 23701 SOS 16693 HAS SOPS 7555 HAS SOUS 3646 HAS SOUPS 3420 WITH SCORE 3436.693
AT ITER 1417 NEW BEST:: SOT 23698 SOS 16687 HAS SOPS 7549 HAS SOUS 3640 HAS SOUPS 3414 WITH SCORE 3430.687
AT ITER 1439 NEW BEST:: SOT 23697 SOS 16686 HAS SOPS 7548 HAS SOUS 3638 HAS SOUPS 3412 WITH SCORE 3428.686
AT ITER 1478 NEW BEST:: SOT 23680 SOS 16606 HAS SOPS 7476 HAS SOUS 3588 HAS SOUPS 3362 WITH SCORE 3378.606
AT ITER 1490 NEW BEST:: SOT 23673 SOS 16597 HAS SOPS 7468 HAS SOUS 3580 HAS SOUPS 3354 WITH SCORE 3370.597
AT ITER 1510 NEW BEST:: SOT 23673 SOS 16596 HAS SOPS 7468 HAS SOUS 3580 HAS SOUPS 3354 WITH SCORE 3370.596
AT ITER 1526 NEW BEST:: SOT 23672 SOS 16593 HAS SOPS 7466 HAS SOUS 3578 HAS SOUPS 3352 WITH SCORE 3368.593
AT ITER 1533 NEW BEST:: SOT 23669 SOS 16590 HAS SOPS 7460 HAS SOUS 3572 HAS SOUPS 3346 WITH SCORE 3362.59
AT ITER 1534 NEW BEST:: SOT 23682 SOS 16564 HAS SOPS 7434 HAS SOUS 3537 HAS SOUPS 3311 WITH SCORE 3327.564
AT ITER 1551 NEW BEST:: SOT 23691 SOS 16527 HAS SOPS 7412 HAS SOUS 3527 HAS SOUPS 3301 WITH SCORE 3317.527
AT ITER 1553 NEW BEST:: SOT 23643 SOS 16521 HAS SOPS 7360 HAS SOUS 3475 HAS SOUPS 3249 WITH SCORE 3265.521
AT ITER 1558 NEW BEST:: SOT 23636 SOS 16514 HAS SOPS 7354 HAS SOUS 3469 HAS SOUPS 3243 WITH SCORE 3259.514
AT ITER 1579 NEW BEST:: SOT 23636 SOS 16508 HAS SOPS 7354 HAS SOUS 3469 HAS SOUPS 3243 WITH SCORE 3259.508
AT ITER 1591 NEW BEST:: SOT 23636 SOS 16508 HAS SOPS 7353 HAS SOUS 3464 HAS SOUPS 3238 WITH SCORE 3254.508
AT ITER 1601 NEW BEST:: SOT 23632 SOS 16495 HAS SOPS 7336 HAS SOUS 3447 HAS SOUPS 3221 WITH SCORE 3237.495
AT ITER 1604 NEW BEST:: SOT 23627 SOS 16480 HAS SOPS 7316 HAS SOUS 3437 HAS SOUPS 3211 WITH SCORE 3227.48
AT ITER 1620 NEW BEST:: SOT 23599 SOS 16466 HAS SOPS 7316 HAS SOUS 3437 HAS SOUPS 3211 WITH SCORE 3227.466
AT ITER 1654 NEW BEST:: SOT 23581 SOS 16520 HAS SOPS 7325 HAS SOUS 3419 HAS SOUPS 3193 WITH SCORE 3209.52
AT ITER 1656 NEW BEST:: SOT 23576 SOS 16500 HAS SOPS 7305 HAS SOUS 3412 HAS SOUPS 3186 WITH SCORE 3202.5
AT ITER 1687 NEW BEST:: SOT 23571 SOS 16495 HAS SOPS 7300 HAS SOUS 3410 HAS SOUPS 3184 WITH SCORE 3200.495
AT ITER 1730 NEW BEST:: SOT 23563 SOS 16477 HAS SOPS 7284 HAS SOUS 3404 HAS SOUPS 3178 WITH SCORE 3194.477
AT ITER 1747 NEW BEST:: SOT 23526 SOS 16441 HAS SOPS 7230 HAS SOUS 3370 HAS SOUPS 3144 WITH SCORE 3160.441
AT ITER 1751 NEW BEST:: SOT 23529 SOS 16436 HAS SOPS 7222 HAS SOUS 3351 HAS SOUPS 3125 WITH SCORE 3141.436
AT ITER 1760 NEW BEST:: SOT 23524 SOS 16427 HAS SOPS 7212 HAS SOUS 3341 HAS SOUPS 3115 WITH SCORE 3131.427
AT ITER 1825 NEW BEST:: SOT 23524 SOS 16425 HAS SOPS 7210 HAS SOUS 3340 HAS SOUPS 3114 WITH SCORE 3130.425
AT ITER 1850 NEW BEST:: SOT 23517 SOS 16406 HAS SOPS 7185 HAS SOUS 3316 HAS SOUPS 3090 WITH SCORE 3106.406
AT ITER 1858 NEW BEST:: SOT 23517 SOS 16398 HAS SOPS 7185 HAS SOUS 3316 HAS SOUPS 3090 WITH SCORE 3106.398
AT ITER 1862 NEW BEST:: SOT 23537 SOS 16398 HAS SOPS 7178 HAS SOUS 3309 HAS SOUPS 3083 WITH SCORE 3099.398
AT ITER 1883 NEW BEST:: SOT 23537 SOS 16393 HAS SOPS 7178 HAS SOUS 3309 HAS SOUPS 3083 WITH SCORE 3099.393
AT ITER 1889 NEW BEST:: SOT 23536 SOS 16391 HAS SOPS 7176 HAS SOUS 3306 HAS SOUPS 3080 WITH SCORE 3096.391
AT ITER 1914 NEW BEST:: SOT 23532 SOS 16389 HAS SOPS 7168 HAS SOUS 3296 HAS SOUPS 3070 WITH SCORE 3086.389
AT ITER 1926 NEW BEST:: SOT 23514 SOS 16365 HAS SOPS 7142 HAS SOUS 3274 HAS SOUPS 3048 WITH SCORE 3064.365
AT ITER 1954 NEW BEST:: SOT 23503 SOS 16346 HAS SOPS 7120 HAS SOUS 3252 HAS SOUPS 3026 WITH SCORE 3042.346
AT ITER 1963 NEW BEST:: SOT 23503 SOS 16344 HAS SOPS 7120 HAS SOUS 3252 HAS SOUPS 3026 WITH SCORE 3042.344
AT ITER 1973 NEW BEST:: SOT 23502 SOS 16342 HAS SOPS 7118 HAS SOUS 3250 HAS SOUPS 3024 WITH SCORE 3040.342
AT ITER 1974 NEW BEST:: SOT 23496 SOS 16333 HAS SOPS 7106 HAS SOUS 3237 HAS SOUPS 3011 WITH SCORE 3027.333
AT ITER 1975 NEW BEST:: SOT 23493 SOS 16327 HAS SOPS 7100 HAS SOUS 3237 HAS SOUPS 3011 WITH SCORE 3027.327
AT ITER 1995 NEW BEST:: SOT 23477 SOS 16264 HAS SOPS 7041 HAS SOUS 3198 HAS SOUPS 2972 WITH SCORE 2988.264
AT ITER 2000 NEW BEST:: SOT 23405 SOS 16194 HAS SOPS 6971 HAS SOUS 3162 HAS SOUPS 2936 WITH SCORE 2952.194
AT ITER 2030 NEW BEST:: SOT 23396 SOS 16179 HAS SOPS 6956 HAS SOUS 3150 HAS SOUPS 2924 WITH SCORE 2940.179
AT ITER 2089 NEW BEST:: SOT 23392 SOS 16155 HAS SOPS 6928 HAS SOUS 3122 HAS SOUPS 2896 WITH SCORE 2912.155
AT ITER 2105 NEW BEST:: SOT 23394 SOS 16153 HAS SOPS 6928 HAS SOUS 3122 HAS SOUPS 2896 WITH SCORE 2912.153
AT ITER 2120 NEW BEST:: SOT 23383 SOS 16148 HAS SOPS 6912 HAS SOUS 3106 HAS SOUPS 2880 WITH SCORE 2896.148
AT ITER 2152 NEW BEST:: SOT 23380 SOS 16138 HAS SOPS 6894 HAS SOUS 3091 HAS SOUPS 2865 WITH SCORE 2881.138
AT ITER 2210 NEW BEST:: SOT 23341 SOS 16075 HAS SOPS 6816 HAS SOUS 3040 HAS SOUPS 2814 WITH SCORE 2830.075
AT ITER 2211 NEW BEST:: SOT 23338 SOS 16051 HAS SOPS 6810 HAS SOUS 3031 HAS SOUPS 2805 WITH SCORE 2821.051
AT ITER 2230 NEW BEST:: SOT 23333 SOS 16046 HAS SOPS 6800 HAS SOUS 3021 HAS SOUPS 2795 WITH SCORE 2811.046
AT ITER 2273 NEW BEST:: SOT 23347 SOS 16067 HAS SOPS 6250 HAS SOUS 3008 HAS SOUPS 2782 WITH SCORE 2798.067
AT ITER 2288 NEW BEST:: SOT 23347 SOS 16781 HAS SOPS 6245 HAS SOUS 3009 HAS SOUPS 2779 WITH SCORE 2795.781
AT ITER 2308 NEW BEST:: SOT 23421 SOS 16855 HAS SOPS 6229 HAS SOUS 2993 HAS SOUPS 2763 WITH SCORE 2779.855
AT ITER 2309 NEW BEST:: SOT 23418 SOS 16853 HAS SOPS 6223 HAS SOUS 2991 HAS SOUPS 2761 WITH SCORE 2777.853
AT ITER 2368 NEW BEST:: SOT 23417 SOS 16842 HAS SOPS 6207 HAS SOUS 2980 HAS SOUPS 2750 WITH SCORE 2766.842
AT ITER 2376 NEW BEST:: SOT 23404 SOS 16834 HAS SOPS 6187 HAS SOUS 2960 HAS SOUPS 2730 WITH SCORE 2746.834
AT ITER 2379 NEW BEST:: SOT 23403 SOS 16833 HAS SOPS 6185 HAS SOUS 2958 HAS SOUPS 2728 WITH SCORE 2744.833
AT ITER 2473 NEW BEST:: SOT 23385 SOS 16813 HAS SOPS 6157 HAS SOUS 2929 HAS SOUPS 2699 WITH SCORE 2715.813
AT ITER 2515 NEW BEST:: SOT 23369 SOS 16797 HAS SOPS 6141 HAS SOUS 2921 HAS SOUPS 2691 WITH SCORE 2707.797
AT ITER 2562 NEW BEST:: SOT 23365 SOS 16791 HAS SOPS 6133 HAS SOUS 2913 HAS SOUPS 2683 WITH SCORE 2699.791
AT ITER 2572 NEW BEST:: SOT 23364 SOS 16789 HAS SOPS 6131 HAS SOUS 2912 HAS SOUPS 2682 WITH SCORE 2698.789
AT ITER 2577 NEW BEST:: SOT 23360 SOS 16785 HAS SOPS 6128 HAS SOUS 2909 HAS SOUPS 2679 WITH SCORE 2695.785
AT ITER 2585 NEW BEST:: SOT 23360 SOS 16782 HAS SOPS 6128 HAS SOUS 2909 HAS SOUPS 2679 WITH SCORE 2695.782
AT ITER 2602 NEW BEST:: SOT 23320 SOS 16754 HAS SOPS 6102 HAS SOUS 2908 HAS SOUPS 2678 WITH SCORE 2694.754
AT ITER 2609 NEW BEST:: SOT 23322 SOS 16749 HAS SOPS 6098 HAS SOUS 2904 HAS SOUPS 2674 WITH SCORE 2690.749
AT ITER 2636 NEW BEST:: SOT 23322 SOS 16731 HAS SOPS 6080 HAS SOUS 2886 HAS SOUPS 2656 WITH SCORE 2672.731
AT ITER 2660 NEW BEST:: SOT 23323 SOS 16728 HAS SOPS 6046 HAS SOUS 2884 HAS SOUPS 2654 WITH SCORE 2670.728
AT ITER 2733 NEW BEST:: SOT 23321 SOS 16725 HAS SOPS 6042 HAS SOUS 2880 HAS SOUPS 2650 WITH SCORE 2666.725
AT ITER 2796 NEW BEST:: SOT 23319 SOS 16722 HAS SOPS 6038 HAS SOUS 2877 HAS SOUPS 2647 WITH SCORE 2663.722
AT ITER 2800 NEW BEST:: SOT 23319 SOS 16717 HAS SOPS 6032 HAS SOUS 2870 HAS SOUPS 2640 WITH SCORE 2656.717
AT ITER 2866 NEW BEST:: SOT 23319 SOS 16713 HAS SOPS 6025 HAS SOUS 2858 HAS SOUPS 2628 WITH SCORE 2644.713
AT ITER 2967 NEW BEST:: SOT 23318 SOS 16712 HAS SOPS 6023 HAS SOUS 2856 HAS SOUPS 2626 WITH SCORE 2642.712
AT ITER 2991 NEW BEST:: SOT 23316 SOS 16710 HAS SOPS 6020 HAS SOUS 2855 HAS SOUPS 2624 WITH SCORE 2640.71
AT ITER 3016 NEW BEST:: SOT 23318 SOS 16711 HAS SOPS 6021 HAS SOUS 2854 HAS SOUPS 2623 WITH SCORE 2639.711
AT ITER 3032 NEW BEST:: SOT 23312 SOS 16699 HAS SOPS 6009 HAS SOUS 2854 HAS SOUPS 2623 WITH SCORE 2639.699
AT ITER 3059 NEW BEST:: SOT 23311 SOS 16685 HAS SOPS 5995 HAS SOUS 2834 HAS SOUPS 2603 WITH SCORE 2619.685
AT ITER 3070 NEW BEST:: SOT 23306 SOS 16678 HAS SOPS 5985 HAS SOUS 2826 HAS SOUPS 2595 WITH SCORE 2611.678
AT ITER 3110 NEW BEST:: SOT 23305 SOS 16671 HAS SOPS 5980 HAS SOUS 2821 HAS SOUPS 2590 WITH SCORE 2606.671
AT ITER 3188 NEW BEST:: SOT 23303 SOS 16669 HAS SOPS 5977 HAS SOUS 2819 HAS SOUPS 2588 WITH SCORE 2604.669
AT ITER 3227 NEW BEST:: SOT 23303 SOS 16665 HAS SOPS 5973 HAS SOUS 2815 HAS SOUPS 2584 WITH SCORE 2600.665
AT ITER 3266 NEW BEST:: SOT 23305 SOS 16641 HAS SOPS 5951 HAS SOUS 2793 HAS SOUPS 2562 WITH SCORE 2578.641
AT ITER 3401 NEW BEST:: SOT 23298 SOS 16634 HAS SOPS 5937 HAS SOUS 2779 HAS SOUPS 2548 WITH SCORE 2564.634
AT ITER 3460 NEW BEST:: SOT 23290 SOS 16633 HAS SOPS 5930 HAS SOUS 2774 HAS SOUPS 2543 WITH SCORE 2559.633
AT ITER 3473 NEW BEST:: SOT 23283 SOS 16631 HAS SOPS 5922 HAS SOUS 2766 HAS SOUPS 2535 WITH SCORE 2551.631
AT ITER 3542 NEW BEST:: SOT 23282 SOS 16629 HAS SOPS 5920 HAS SOUS 2766 HAS SOUPS 2535 WITH SCORE 2551.629
AT ITER 3550 NEW BEST:: SOT 23279 SOS 16614 HAS SOPS 5908 HAS SOUS 2760 HAS SOUPS 2529 WITH SCORE 2545.614
AT ITER 3746 NEW BEST:: SOT 23272 SOS 16618 HAS SOPS 5906 HAS SOUS 2758 HAS SOUPS 2527 WITH SCORE 2543.618
AT ITER 3870 NEW BEST:: SOT 23271 SOS 16621 HAS SOPS 5904 HAS SOUS 2756 HAS SOUPS 2525 WITH SCORE 2541.621
AT ITER 3898 NEW BEST:: SOT 23271 SOS 16620 HAS SOPS 5902 HAS SOUS 2755 HAS SOUPS 2524 WITH SCORE 2540.62
AT ITER 4042 NEW BEST:: SOT 23273 SOS 16634 HAS SOPS 5906 HAS SOUS 2747 HAS SOUPS 2516 WITH SCORE 2532.634
AT ITER 4077 NEW BEST:: SOT 23275 SOS 16635 HAS SOPS 5893 HAS SOUS 2739 HAS SOUPS 2508 WITH SCORE 2524.635
AT ITER 4096 NEW BEST:: SOT 23268 SOS 16628 HAS SOPS 5886 HAS SOUS 2732 HAS SOUPS 2501 WITH SCORE 2517.628
AT ITER 4278 NEW BEST:: SOT 23265 SOS 16627 HAS SOPS 5882 HAS SOUS 2728 HAS SOUPS 2497 WITH SCORE 2513.627
AT ITER 4339 NEW BEST:: SOT 23265 SOS 16631 HAS SOPS 5882 HAS SOUS 2724 HAS SOUPS 2493 WITH SCORE 2509.631
AT ITER 4397 NEW BEST:: SOT 23264 SOS 16630 HAS SOPS 5880 HAS SOUS 2722 HAS SOUPS 2491 WITH SCORE 2507.63
AT ITER 4404 NEW BEST:: SOT 23262 SOS 16630 HAS SOPS 5878 HAS SOUS 2720 HAS SOUPS 2489 WITH SCORE 2505.63
AT ITER 4422 NEW BEST:: SOT 23263 SOS 16634 HAS SOPS 5880 HAS SOUS 2719 HAS SOUPS 2488 WITH SCORE 2504.634
AT ITER 4484 NEW BEST:: SOT 23262 SOS 17429 HAS SOPS 5879 HAS SOUS 2717 HAS SOUPS 2486 WITH SCORE 2503.429
AT ITER 4508 NEW BEST:: SOT 23261 SOS 17427 HAS SOPS 5877 HAS SOUS 2717 HAS SOUPS 2486 WITH SCORE 2503.427
AT ITER 4529 NEW BEST:: SOT 23263 SOS 17426 HAS SOPS 5878 HAS SOUS 2716 HAS SOUPS 2485 WITH SCORE 2502.426
AT ITER 4611 NEW BEST:: SOT 23264 SOS 17426 HAS SOPS 5880 HAS SOUS 2715 HAS SOUPS 2484 WITH SCORE 2501.426
AT ITER 4687 NEW BEST:: SOT 23262 SOS 17422 HAS SOPS 5876 HAS SOUS 2710 HAS SOUPS 2479 WITH SCORE 2496.422
AT ITER 4822 NEW BEST:: SOT 23261 SOS 17421 HAS SOPS 5874 HAS SOUS 2709 HAS SOUPS 2478 WITH SCORE 2495.421
AT ITER 4860 NEW BEST:: SOT 23257 SOS 17420 HAS SOPS 5866 HAS SOUS 2701 HAS SOUPS 2470 WITH SCORE 2487.42
AT ITER 4871 NEW BEST:: SOT 23257 SOS 17420 HAS SOPS 5862 HAS SOUS 2693 HAS SOUPS 2462 WITH SCORE 2479.42
AT ITER 4945 NEW BEST:: SOT 23256 SOS 17418 HAS SOPS 5860 HAS SOUS 2692 HAS SOUPS 2461 WITH SCORE 2478.418
AT ITER 5057 NEW BEST:: SOT 23250 SOS 17414 HAS SOPS 5848 HAS SOUS 2687 HAS SOUPS 2456 WITH SCORE 2473.414
AT ITER 5143 NEW BEST:: SOT 23251 SOS 17412 HAS SOPS 5847 HAS SOUS 2686 HAS SOUPS 2455 WITH SCORE 2472.412
AT ITER 5190 NEW BEST:: SOT 23249 SOS 17408 HAS SOPS 5843 HAS SOUS 2686 HAS SOUPS 2455 WITH SCORE 2472.408
AT ITER 5231 NEW BEST:: SOT 23247 SOS 17404 HAS SOPS 5837 HAS SOUS 2680 HAS SOUPS 2449 WITH SCORE 2466.404
AT ITER 5286 NEW BEST:: SOT 23246 SOS 17403 HAS SOPS 5835 HAS SOUS 2678 HAS SOUPS 2447 WITH SCORE 2464.403
AT ITER 5311 NEW BEST:: SOT 23246 SOS 17401 HAS SOPS 5835 HAS SOUS 2677 HAS SOUPS 2446 WITH SCORE 2463.401
AT ITER 5372 NEW BEST:: SOT 23249 SOS 17645 HAS SOPS 5833 HAS SOUS 2681 HAS SOUPS 2445 WITH SCORE 2462.645
AT ITER 5423 NEW BEST:: SOT 23249 SOS 17644 HAS SOPS 5832 HAS SOUS 2680 HAS SOUPS 2444 WITH SCORE 2461.644
AT ITER 5547 NEW BEST:: SOT 23247 SOS 17642 HAS SOPS 5832 HAS SOUS 2680 HAS SOUPS 2444 WITH SCORE 2461.642
AT ITER 5564 NEW BEST:: SOT 23245 SOS 17633 HAS SOPS 5828 HAS SOUS 2672 HAS SOUPS 2436 WITH SCORE 2453.633
AT ITER 5586 NEW BEST:: SOT 23238 SOS 17648 HAS SOPS 5814 HAS SOUS 2658 HAS SOUPS 2422 WITH SCORE 2439.648
AT ITER 5588 NEW BEST:: SOT 23236 SOS 17639 HAS SOPS 5810 HAS SOUS 2656 HAS SOUPS 2420 WITH SCORE 2437.639
AT ITER 5869 NEW BEST:: SOT 23236 SOS 17637 HAS SOPS 5809 HAS SOUS 2656 HAS SOUPS 2420 WITH SCORE 2437.637
AT ITER 5888 NEW BEST:: SOT 23236 SOS 17637 HAS SOPS 5809 HAS SOUS 2655 HAS SOUPS 2419 WITH SCORE 2436.637
AT ITER 6028 NEW BEST:: SOT 23235 SOS 17637 HAS SOPS 5808 HAS SOUS 2654 HAS SOUPS 2418 WITH SCORE 2435.637
AT ITER 6140 NEW BEST:: SOT 23235 SOS 17273 HAS SOPS 5808 HAS SOUS 2652 HAS SOUPS 2418 WITH SCORE 2435.273
AT ITER 6223 NEW BEST:: SOT 23233 SOS 17265 HAS SOPS 5800 HAS SOUS 2646 HAS SOUPS 2412 WITH SCORE 2429.265
AT ITER 6368 NEW BEST:: SOT 23231 SOS 17260 HAS SOPS 5793 HAS SOUS 2639 HAS SOUPS 2405 WITH SCORE 2422.26
AT ITER 6424 NEW BEST:: SOT 23231 SOS 17265 HAS SOPS 5793 HAS SOUS 2634 HAS SOUPS 2400 WITH SCORE 2417.265
AT ITER 6437 NEW BEST:: SOT 23229 SOS 17262 HAS SOPS 5789 HAS SOUS 2632 HAS SOUPS 2398 WITH SCORE 2415.262
AT ITER 6510 NEW BEST:: SOT 23237 SOS 17261 HAS SOPS 5789 HAS SOUS 2630 HAS SOUPS 2396 WITH SCORE 2413.261
AT ITER 6760 NEW BEST:: SOT 23233 SOS 17267 HAS SOPS 5787 HAS SOUS 2624 HAS SOUPS 2390 WITH SCORE 2407.267
AT ITER 6776 NEW BEST:: SOT 23233 SOS 17266 HAS SOPS 5787 HAS SOUS 2624 HAS SOUPS 2390 WITH SCORE 2407.266
AT ITER 6778 NEW BEST:: SOT 23233 SOS 17267 HAS SOPS 5787 HAS SOUS 2623 HAS SOUPS 2389 WITH SCORE 2406.267
AT ITER 6814 NEW BEST:: SOT 23232 SOS 17267 HAS SOPS 5786 HAS SOUS 2622 HAS SOUPS 2388 WITH SCORE 2405.267
AT ITER 6825 NEW BEST:: SOT 23233 SOS 17268 HAS SOPS 5785 HAS SOUS 2621 HAS SOUPS 2387 WITH SCORE 2404.268
AT ITER 6945 NEW BEST:: SOT 23231 SOS 17263 HAS SOPS 5781 HAS SOUS 2614 HAS SOUPS 2380 WITH SCORE 2397.263
AT ITER 7078 NEW BEST:: SOT 23229 SOS 17260 HAS SOPS 5777 HAS SOUS 2610 HAS SOUPS 2376 WITH SCORE 2393.26
AT ITER 7282 NEW BEST:: SOT 23229 SOS 17260 HAS SOPS 5777 HAS SOUS 2609 HAS SOUPS 2375 WITH SCORE 2392.26
AT ITER 7331 NEW BEST:: SOT 23228 SOS 17260 HAS SOPS 5776 HAS SOUS 2608 HAS SOUPS 2374 WITH SCORE 2391.26
AT ITER 7360 NEW BEST:: SOT 23226 SOS 17253 HAS SOPS 5772 HAS SOUS 2608 HAS SOUPS 2374 WITH SCORE 2391.253
AT ITER 7389 NEW BEST:: SOT 23225 SOS 17252 HAS SOPS 5770 HAS SOUS 2606 HAS SOUPS 2372 WITH SCORE 2389.252
AT ITER 7525 NEW BEST:: SOT 23225 SOS 17250 HAS SOPS 5768 HAS SOUS 2604 HAS SOUPS 2370 WITH SCORE 2387.25
AT ITER 7658 NEW BEST:: SOT 23225 SOS 17253 HAS SOPS 5768 HAS SOUS 2601 HAS SOUPS 2367 WITH SCORE 2384.253
AT ITER 7731 NEW BEST:: SOT 23226 SOS 17241 HAS SOPS 5761 HAS SOUS 2596 HAS SOUPS 2362 WITH SCORE 2379.241
AT ITER 7902 NEW BEST:: SOT 23224 SOS 17237 HAS SOPS 5757 HAS SOUS 2594 HAS SOUPS 2360 WITH SCORE 2377.237
AT ITER 7969 NEW BEST:: SOT 23223 SOS 17237 HAS SOPS 5755 HAS SOUS 2592 HAS SOUPS 2358 WITH SCORE 2375.237
AT ITER 8007 NEW BEST:: SOT 23219 SOS 17232 HAS SOPS 5749 HAS SOUS 2588 HAS SOUPS 2354 WITH SCORE 2371.232
AT ITER 8289 NEW BEST:: SOT 23196 SOS 17210 HAS SOPS 5739 HAS SOUS 2582 HAS SOUPS 2348 WITH SCORE 2365.21
AT ITER 8330 NEW BEST:: SOT 23195 SOS 17210 HAS SOPS 5738 HAS SOUS 2581 HAS SOUPS 2347 WITH SCORE 2364.21
AT ITER 8602 NEW BEST:: SOT 23195 SOS 17208 HAS SOPS 5738 HAS SOUS 2581 HAS SOUPS 2347 WITH SCORE 2364.208
AT ITER 8686 NEW BEST:: SOT 23192 SOS 17204 HAS SOPS 5734 HAS SOUS 2577 HAS SOUPS 2343 WITH SCORE 2360.204
AT ITER 8761 NEW BEST:: SOT 23192 SOS 17180 HAS SOPS 5734 HAS SOUS 2577 HAS SOUPS 2343 WITH SCORE 2360.18
AT ITER 8770 NEW BEST:: SOT 23192 SOS 17178 HAS SOPS 5732 HAS SOUS 2575 HAS SOUPS 2341 WITH SCORE 2358.178
AT ITER 8774 NEW BEST:: SOT 23188 SOS 17174 HAS SOPS 5726 HAS SOUS 2569 HAS SOUPS 2335 WITH SCORE 2352.174
AT ITER 8813 NEW BEST:: SOT 23186 SOS 17173 HAS SOPS 5723 HAS SOUS 2566 HAS SOUPS 2332 WITH SCORE 2349.173
AT ITER 8879 NEW BEST:: SOT 23184 SOS 17170 HAS SOPS 5719 HAS SOUS 2570 HAS SOUPS 2332 WITH SCORE 2349.17
AT ITER 8888 NEW BEST:: SOT 23183 SOS 17166 HAS SOPS 5712 HAS SOUS 2562 HAS SOUPS 2324 WITH SCORE 2341.166
AT ITER 8988 NEW BEST:: SOT 23182 SOS 17165 HAS SOPS 5710 HAS SOUS 2560 HAS SOUPS 2322 WITH SCORE 2339.165
AT ITER 9052 NEW BEST:: SOT 23182 SOS 17164 HAS SOPS 5710 HAS SOUS 2560 HAS SOUPS 2322 WITH SCORE 2339.164
AT ITER 9113 NEW BEST:: SOT 23181 SOS 17163 HAS SOPS 5708 HAS SOUS 2558 HAS SOUPS 2320 WITH SCORE 2337.163
AT ITER 9247 NEW BEST:: SOT 23180 SOS 17162 HAS SOPS 5706 HAS SOUS 2556 HAS SOUPS 2318 WITH SCORE 2335.162
AT ITER 9663 NEW BEST:: SOT 23170 SOS 17152 HAS SOPS 5696 HAS SOUS 2546 HAS SOUPS 2308 WITH SCORE 2325.152
AT ITER 9762 NEW BEST:: SOT 23169 SOS 17150 HAS SOPS 5694 HAS SOUS 2545 HAS SOUPS 2307 WITH SCORE 2324.15
AT ITER 9825 NEW BEST:: SOT 23165 SOS 17152 HAS SOPS 5692 HAS SOUS 2543 HAS SOUPS 2305 WITH SCORE 2322.152
AT ITER 9956 NEW BEST:: SOT 23164 SOS 17152 HAS SOPS 5691 HAS SOUS 2542 HAS SOUPS 2304 WITH SCORE 2321.152
STATE_SPACE STATES 61917364225 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 951979474945 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589413041402

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

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="FlexibleBarrier-PT-10a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-10a, 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 r078-smll-158922972400312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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