Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250900720.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Peterson-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250900720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 708K
-rw-r--r-- 1 mcc users 14K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 40K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.8K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 248K Apr 27 15:14 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 1589646456502

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

Filename model.pnml
Petri model created: 244 places, 332 transitions, 1016 arcs.
AT ITER 0 NEW BEST:: SOT 54930 SOS 22154 HAS SOPS 20406 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.154
AT ITER 4 NEW BEST:: SOT 54930 SOS 22124 HAS SOPS 20406 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.124
AT ITER 12 NEW BEST:: SOT 54930 SOS 22075 HAS SOPS 20357 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.075
AT ITER 14 NEW BEST:: SOT 54907 SOS 22006 HAS SOPS 20311 HAS SOUS 20858 HAS SOUPS 19839 WITH SCORE 19861.006
AT ITER 17 NEW BEST:: SOT 54856 SOS 21904 HAS SOPS 20209 HAS SOUS 20756 HAS SOUPS 19737 WITH SCORE 19758.904
AT ITER 28 NEW BEST:: SOT 54848 SOS 21888 HAS SOPS 20193 HAS SOUS 20740 HAS SOUPS 19721 WITH SCORE 19742.888
AT ITER 30 NEW BEST:: SOT 54542 SOS 21780 HAS SOPS 20372 HAS SOUS 20379 HAS SOUPS 19541 WITH SCORE 19562.78
AT ITER 38 NEW BEST:: SOT 54428 SOS 21766 HAS SOPS 20443 HAS SOUS 20327 HAS SOUPS 19539 WITH SCORE 19560.766
AT ITER 40 NEW BEST:: SOT 54380 SOS 21622 HAS SOPS 20203 HAS SOUS 20135 HAS SOUPS 19347 WITH SCORE 19368.622
AT ITER 44 NEW BEST:: SOT 54367 SOS 21596 HAS SOPS 20177 HAS SOUS 20109 HAS SOUPS 19321 WITH SCORE 19342.596
AT ITER 54 NEW BEST:: SOT 54215 SOS 21481 HAS SOPS 20078 HAS SOUS 19989 HAS SOUPS 19220 WITH SCORE 19241.481
AT ITER 56 NEW BEST:: SOT 54214 SOS 21479 HAS SOPS 20076 HAS SOUS 19987 HAS SOUPS 19218 WITH SCORE 19239.479
AT ITER 59 NEW BEST:: SOT 54186 SOS 21399 HAS SOPS 20041 HAS SOUS 19933 HAS SOUPS 19183 WITH SCORE 19204.399
AT ITER 63 NEW BEST:: SOT 54184 SOS 21395 HAS SOPS 20037 HAS SOUS 19929 HAS SOUPS 19179 WITH SCORE 19200.395
AT ITER 64 NEW BEST:: SOT 54181 SOS 21389 HAS SOPS 20031 HAS SOUS 19923 HAS SOUPS 19173 WITH SCORE 19194.389
AT ITER 65 NEW BEST:: SOT 54180 SOS 21387 HAS SOPS 20030 HAS SOUS 19921 HAS SOUPS 19172 WITH SCORE 19193.387
AT ITER 67 NEW BEST:: SOT 54174 SOS 21408 HAS SOPS 20051 HAS SOUS 19909 HAS SOUPS 19160 WITH SCORE 19181.408
AT ITER 72 NEW BEST:: SOT 54146 SOS 21418 HAS SOPS 20067 HAS SOUS 19884 HAS SOUPS 19135 WITH SCORE 19156.418
AT ITER 75 NEW BEST:: SOT 54127 SOS 21415 HAS SOPS 20064 HAS SOUS 19871 HAS SOUPS 19122 WITH SCORE 19143.415
AT ITER 90 NEW BEST:: SOT 54107 SOS 21413 HAS SOPS 20044 HAS SOUS 19869 HAS SOUPS 19102 WITH SCORE 19123.413
AT ITER 91 NEW BEST:: SOT 54094 SOS 21387 HAS SOPS 20018 HAS SOUS 19843 HAS SOUPS 19076 WITH SCORE 19097.387
AT ITER 93 NEW BEST:: SOT 54130 SOS 21405 HAS SOPS 20000 HAS SOUS 19843 HAS SOUPS 19058 WITH SCORE 19079.405
AT ITER 97 NEW BEST:: SOT 54094 SOS 21333 HAS SOPS 19928 HAS SOUS 19771 HAS SOUPS 18986 WITH SCORE 19007.333
AT ITER 99 NEW BEST:: SOT 54051 SOS 21444 HAS SOPS 19921 HAS SOUS 19788 HAS SOUPS 18946 WITH SCORE 18967.444
AT ITER 103 NEW BEST:: SOT 53997 SOS 21336 HAS SOPS 19813 HAS SOUS 19680 HAS SOUPS 18838 WITH SCORE 18859.336
AT ITER 106 NEW BEST:: SOT 54026 SOS 21297 HAS SOPS 19685 HAS SOUS 19639 HAS SOUPS 18775 WITH SCORE 18796.297
AT ITER 107 NEW BEST:: SOT 54006 SOS 21268 HAS SOPS 19665 HAS SOUS 19619 HAS SOUPS 18755 WITH SCORE 18776.268
AT ITER 108 NEW BEST:: SOT 53980 SOS 21213 HAS SOPS 19613 HAS SOUS 19567 HAS SOUPS 18703 WITH SCORE 18724.213
AT ITER 111 NEW BEST:: SOT 53926 SOS 21105 HAS SOPS 19505 HAS SOUS 19459 HAS SOUPS 18595 WITH SCORE 18616.105
AT ITER 115 NEW BEST:: SOT 53917 SOS 21047 HAS SOPS 19504 HAS SOUS 19425 HAS SOUPS 18570 WITH SCORE 18591.047
AT ITER 118 NEW BEST:: SOT 53907 SOS 21034 HAS SOPS 19491 HAS SOUS 19425 HAS SOUPS 18570 WITH SCORE 18591.034
AT ITER 122 NEW BEST:: SOT 54000 SOS 21172 HAS SOPS 19446 HAS SOUS 19419 HAS SOUPS 18525 WITH SCORE 18546.172
AT ITER 123 NEW BEST:: SOT 54222 SOS 21378 HAS SOPS 19749 HAS SOUS 19043 HAS SOUPS 18232 WITH SCORE 18253.378
AT ITER 128 NEW BEST:: SOT 54222 SOS 21372 HAS SOPS 19749 HAS SOUS 19037 HAS SOUPS 18232 WITH SCORE 18253.372
AT ITER 131 NEW BEST:: SOT 54197 SOS 21297 HAS SOPS 19624 HAS SOUS 18937 HAS SOUPS 18132 WITH SCORE 18153.297
AT ITER 134 NEW BEST:: SOT 54169 SOS 21224 HAS SOPS 19621 HAS SOUS 18877 HAS SOUPS 18088 WITH SCORE 18109.224
AT ITER 147 NEW BEST:: SOT 54137 SOS 21160 HAS SOPS 19557 HAS SOUS 18813 HAS SOUPS 18024 WITH SCORE 18045.16
AT ITER 151 NEW BEST:: SOT 54141 SOS 21136 HAS SOPS 19537 HAS SOUS 18765 HAS SOUPS 18004 WITH SCORE 18025.136
AT ITER 152 NEW BEST:: SOT 54122 SOS 21063 HAS SOPS 19499 HAS SOUS 18727 HAS SOUPS 17966 WITH SCORE 17987.063
AT ITER 157 NEW BEST:: SOT 54001 SOS 20984 HAS SOPS 19391 HAS SOUS 18648 HAS SOUPS 17860 WITH SCORE 17880.984
AT ITER 160 NEW BEST:: SOT 53979 SOS 20940 HAS SOPS 19347 HAS SOUS 18604 HAS SOUPS 17816 WITH SCORE 17836.94
AT ITER 161 NEW BEST:: SOT 53979 SOS 20941 HAS SOPS 19348 HAS SOUS 18603 HAS SOUPS 17815 WITH SCORE 17835.941
AT ITER 168 NEW BEST:: SOT 53985 SOS 20918 HAS SOPS 19285 HAS SOUS 18540 HAS SOUPS 17752 WITH SCORE 17772.918
AT ITER 169 NEW BEST:: SOT 53983 SOS 20910 HAS SOPS 19275 HAS SOUS 18532 HAS SOUPS 17744 WITH SCORE 17764.91
AT ITER 174 NEW BEST:: SOT 53949 SOS 20872 HAS SOPS 19237 HAS SOUS 18485 HAS SOUPS 17697 WITH SCORE 17717.872
AT ITER 177 NEW BEST:: SOT 53949 SOS 20872 HAS SOPS 19237 HAS SOUS 18465 HAS SOUPS 17677 WITH SCORE 17697.872
AT ITER 183 NEW BEST:: SOT 53930 SOS 20834 HAS SOPS 19199 HAS SOUS 18427 HAS SOUPS 17639 WITH SCORE 17659.834
AT ITER 188 NEW BEST:: SOT 53909 SOS 20920 HAS SOPS 19285 HAS SOUS 18345 HAS SOUPS 17557 WITH SCORE 17577.92
AT ITER 194 NEW BEST:: SOT 53768 SOS 21112 HAS SOPS 19131 HAS SOUS 18418 HAS SOUPS 17539 WITH SCORE 17560.112
AT ITER 217 NEW BEST:: SOT 53623 SOS 21122 HAS SOPS 18969 HAS SOUS 18408 HAS SOUPS 17460 WITH SCORE 17481.122
AT ITER 218 NEW BEST:: SOT 53519 SOS 20928 HAS SOPS 18786 HAS SOUS 18225 HAS SOUPS 17277 WITH SCORE 17297.928
AT ITER 222 NEW BEST:: SOT 53510 SOS 20910 HAS SOPS 18768 HAS SOUS 18207 HAS SOUPS 17259 WITH SCORE 17279.91
AT ITER 228 NEW BEST:: SOT 53509 SOS 20837 HAS SOPS 18695 HAS SOUS 18205 HAS SOUPS 17257 WITH SCORE 17277.837
AT ITER 231 NEW BEST:: SOT 53615 SOS 21053 HAS SOPS 18632 HAS SOUS 18192 HAS SOUPS 17176 WITH SCORE 17197.053
AT ITER 239 NEW BEST:: SOT 53686 SOS 21892 HAS SOPS 18590 HAS SOUS 18254 HAS SOUPS 17141 WITH SCORE 17162.892
AT ITER 244 NEW BEST:: SOT 53541 SOS 22018 HAS SOPS 18377 HAS SOUS 18177 HAS SOUPS 16962 WITH SCORE 16984.018
AT ITER 246 NEW BEST:: SOT 53528 SOS 21979 HAS SOPS 18338 HAS SOUS 18151 HAS SOUPS 16936 WITH SCORE 16957.979
AT ITER 249 NEW BEST:: SOT 53511 SOS 21945 HAS SOPS 18304 HAS SOUS 18117 HAS SOUPS 16902 WITH SCORE 16923.945
AT ITER 252 NEW BEST:: SOT 53466 SOS 21924 HAS SOPS 18283 HAS SOUS 18027 HAS SOUPS 16812 WITH SCORE 16833.924
AT ITER 254 NEW BEST:: SOT 53473 SOS 21931 HAS SOPS 18274 HAS SOUS 18018 HAS SOUPS 16803 WITH SCORE 16824.931
AT ITER 256 NEW BEST:: SOT 53449 SOS 21859 HAS SOPS 18202 HAS SOUS 17970 HAS SOUPS 16755 WITH SCORE 16776.859
AT ITER 267 NEW BEST:: SOT 53434 SOS 21824 HAS SOPS 18172 HAS SOUS 17940 HAS SOUPS 16725 WITH SCORE 16746.824
AT ITER 271 NEW BEST:: SOT 53425 SOS 21757 HAS SOPS 18105 HAS SOUS 17873 HAS SOUPS 16658 WITH SCORE 16679.757
AT ITER 272 NEW BEST:: SOT 53374 SOS 21564 HAS SOPS 18092 HAS SOUS 17514 HAS SOUPS 16360 WITH SCORE 16381.564
AT ITER 273 NEW BEST:: SOT 53374 SOS 21521 HAS SOPS 18092 HAS SOUS 17514 HAS SOUPS 16360 WITH SCORE 16381.521
AT ITER 275 NEW BEST:: SOT 53325 SOS 21472 HAS SOPS 18030 HAS SOUS 17452 HAS SOUPS 16298 WITH SCORE 16319.472
AT ITER 281 NEW BEST:: SOT 53312 SOS 21407 HAS SOPS 17965 HAS SOUS 17426 HAS SOUPS 16272 WITH SCORE 16293.407
AT ITER 283 NEW BEST:: SOT 53289 SOS 21290 HAS SOPS 17963 HAS SOUS 17397 HAS SOUPS 16266 WITH SCORE 16287.29
AT ITER 284 NEW BEST:: SOT 53271 SOS 21207 HAS SOPS 17880 HAS SOUS 17368 HAS SOUPS 16237 WITH SCORE 16258.207
AT ITER 285 NEW BEST:: SOT 53213 SOS 21044 HAS SOPS 17717 HAS SOUS 17252 HAS SOUPS 16121 WITH SCORE 16142.044
AT ITER 292 NEW BEST:: SOT 53204 SOS 20967 HAS SOPS 17699 HAS SOUS 17234 HAS SOUPS 16103 WITH SCORE 16123.967
AT ITER 294 NEW BEST:: SOT 53206 SOS 20984 HAS SOPS 17683 HAS SOUS 17218 HAS SOUPS 16087 WITH SCORE 16107.984
AT ITER 297 NEW BEST:: SOT 53205 SOS 20982 HAS SOPS 17681 HAS SOUS 17216 HAS SOUPS 16085 WITH SCORE 16105.982
AT ITER 302 NEW BEST:: SOT 53202 SOS 20990 HAS SOPS 17689 HAS SOUS 17210 HAS SOUPS 16079 WITH SCORE 16099.99
AT ITER 315 NEW BEST:: SOT 53178 SOS 20942 HAS SOPS 17641 HAS SOUS 17162 HAS SOUPS 16031 WITH SCORE 16051.942
AT ITER 324 NEW BEST:: SOT 53172 SOS 20930 HAS SOPS 17629 HAS SOUS 17150 HAS SOUPS 16019 WITH SCORE 16039.93
AT ITER 327 NEW BEST:: SOT 53086 SOS 20681 HAS SOPS 17457 HAS SOUS 16978 HAS SOUPS 15847 WITH SCORE 15867.681
AT ITER 332 NEW BEST:: SOT 53090 SOS 20678 HAS SOPS 17465 HAS SOUS 16946 HAS SOUPS 15841 WITH SCORE 15861.678
AT ITER 344 NEW BEST:: SOT 53089 SOS 20659 HAS SOPS 17463 HAS SOUS 16944 HAS SOUPS 15839 WITH SCORE 15859.659
AT ITER 345 NEW BEST:: SOT 52950 SOS 20692 HAS SOPS 17530 HAS SOUS 16897 HAS SOUPS 15792 WITH SCORE 15812.692
AT ITER 348 NEW BEST:: SOT 52896 SOS 20524 HAS SOPS 17362 HAS SOUS 16729 HAS SOUPS 15624 WITH SCORE 15644.524
AT ITER 357 NEW BEST:: SOT 52895 SOS 20492 HAS SOPS 17330 HAS SOUS 16727 HAS SOUPS 15622 WITH SCORE 15642.492
AT ITER 358 NEW BEST:: SOT 52874 SOS 20387 HAS SOPS 17225 HAS SOUS 16685 HAS SOUPS 15580 WITH SCORE 15600.387
AT ITER 366 NEW BEST:: SOT 52846 SOS 20331 HAS SOPS 17169 HAS SOUS 16629 HAS SOUPS 15524 WITH SCORE 15544.331
AT ITER 375 NEW BEST:: SOT 52838 SOS 20356 HAS SOPS 17150 HAS SOUS 16610 HAS SOUPS 15505 WITH SCORE 15525.356
AT ITER 378 NEW BEST:: SOT 52833 SOS 20316 HAS SOPS 17135 HAS SOUS 16600 HAS SOUPS 15500 WITH SCORE 15520.316
AT ITER 385 NEW BEST:: SOT 52894 SOS 20404 HAS SOPS 17121 HAS SOUS 16586 HAS SOUPS 15486 WITH SCORE 15506.404
AT ITER 412 NEW BEST:: SOT 52796 SOS 20263 HAS SOPS 16980 HAS SOUS 16445 HAS SOUPS 15345 WITH SCORE 15365.263
AT ITER 415 NEW BEST:: SOT 52790 SOS 20251 HAS SOPS 16968 HAS SOUS 16433 HAS SOUPS 15333 WITH SCORE 15353.251
AT ITER 416 NEW BEST:: SOT 52770 SOS 20211 HAS SOPS 16948 HAS SOUS 16393 HAS SOUPS 15313 WITH SCORE 15333.211
AT ITER 418 NEW BEST:: SOT 52760 SOS 20191 HAS SOPS 16928 HAS SOUS 16373 HAS SOUPS 15293 WITH SCORE 15313.191
AT ITER 434 NEW BEST:: SOT 52736 SOS 20134 HAS SOPS 16898 HAS SOUS 16336 HAS SOUPS 15263 WITH SCORE 15283.134
AT ITER 446 NEW BEST:: SOT 52719 SOS 20100 HAS SOPS 16864 HAS SOUS 16302 HAS SOUPS 15229 WITH SCORE 15249.1
AT ITER 459 NEW BEST:: SOT 52680 SOS 19912 HAS SOPS 16669 HAS SOUS 16220 HAS SOUPS 15144 WITH SCORE 15163.912
AT ITER 485 NEW BEST:: SOT 52674 SOS 19900 HAS SOPS 16657 HAS SOUS 16208 HAS SOUPS 15132 WITH SCORE 15151.9
AT ITER 487 NEW BEST:: SOT 52554 SOS 19472 HAS SOPS 16606 HAS SOUS 16071 HAS SOUPS 15058 WITH SCORE 15077.472
AT ITER 489 NEW BEST:: SOT 52544 SOS 19462 HAS SOPS 16602 HAS SOUS 16076 HAS SOUPS 15054 WITH SCORE 15073.462
AT ITER 492 NEW BEST:: SOT 52544 SOS 19434 HAS SOPS 16574 HAS SOUS 16076 HAS SOUPS 15054 WITH SCORE 15073.434
AT ITER 498 NEW BEST:: SOT 52590 SOS 19405 HAS SOPS 16492 HAS SOUS 16057 HAS SOUPS 15035 WITH SCORE 15054.405
AT ITER 499 NEW BEST:: SOT 52580 SOS 19368 HAS SOPS 16455 HAS SOUS 16037 HAS SOUPS 15015 WITH SCORE 15034.368
AT ITER 501 NEW BEST:: SOT 52554 SOS 19266 HAS SOPS 16413 HAS SOUS 15935 HAS SOUPS 14933 WITH SCORE 14952.266
AT ITER 504 NEW BEST:: SOT 52552 SOS 19262 HAS SOPS 16409 HAS SOUS 15931 HAS SOUPS 14929 WITH SCORE 14948.262
AT ITER 505 NEW BEST:: SOT 52539 SOS 19236 HAS SOPS 16383 HAS SOUS 15905 HAS SOUPS 14903 WITH SCORE 14922.236
AT ITER 518 NEW BEST:: SOT 52516 SOS 19213 HAS SOPS 16373 HAS SOUS 15884 HAS SOUPS 14893 WITH SCORE 14912.213
AT ITER 537 NEW BEST:: SOT 52499 SOS 19196 HAS SOPS 16339 HAS SOUS 15850 HAS SOUPS 14859 WITH SCORE 14878.196
AT ITER 538 NEW BEST:: SOT 52445 SOS 19068 HAS SOPS 16274 HAS SOUS 15785 HAS SOUPS 14794 WITH SCORE 14813.068
AT ITER 541 NEW BEST:: SOT 52423 SOS 18944 HAS SOPS 16230 HAS SOUS 15715 HAS SOUPS 14750 WITH SCORE 14768.944
AT ITER 547 NEW BEST:: SOT 52414 SOS 18830 HAS SOPS 16122 HAS SOUS 15667 HAS SOUPS 14669 WITH SCORE 14687.83
AT ITER 559 NEW BEST:: SOT 52399 SOS 18806 HAS SOPS 16098 HAS SOUS 15637 HAS SOUPS 14639 WITH SCORE 14657.806
AT ITER 562 NEW BEST:: SOT 52382 SOS 18766 HAS SOPS 16058 HAS SOUS 15603 HAS SOUPS 14605 WITH SCORE 14623.766
AT ITER 563 NEW BEST:: SOT 52353 SOS 18504 HAS SOPS 15938 HAS SOUS 15476 HAS SOUPS 14507 WITH SCORE 14525.504
AT ITER 575 NEW BEST:: SOT 52343 SOS 18484 HAS SOPS 15918 HAS SOUS 15456 HAS SOUPS 14487 WITH SCORE 14505.484
AT ITER 580 NEW BEST:: SOT 52340 SOS 18478 HAS SOPS 15912 HAS SOUS 15450 HAS SOUPS 14481 WITH SCORE 14499.478
AT ITER 584 NEW BEST:: SOT 52348 SOS 18478 HAS SOPS 15904 HAS SOUS 15450 HAS SOUPS 14473 WITH SCORE 14491.478
AT ITER 591 NEW BEST:: SOT 52352 SOS 18474 HAS SOPS 15900 HAS SOUS 15446 HAS SOUPS 14469 WITH SCORE 14487.474
AT ITER 592 NEW BEST:: SOT 52313 SOS 18402 HAS SOPS 15885 HAS SOUS 15431 HAS SOUPS 14454 WITH SCORE 14472.402
AT ITER 595 NEW BEST:: SOT 52291 SOS 18392 HAS SOPS 15875 HAS SOUS 15387 HAS SOUPS 14410 WITH SCORE 14428.392
AT ITER 597 NEW BEST:: SOT 52255 SOS 18200 HAS SOPS 15683 HAS SOUS 15330 HAS SOUPS 14353 WITH SCORE 14371.2
AT ITER 606 NEW BEST:: SOT 52241 SOS 18232 HAS SOPS 15703 HAS SOUS 15317 HAS SOUPS 14340 WITH SCORE 14358.232
AT ITER 607 NEW BEST:: SOT 52164 SOS 18212 HAS SOPS 15697 HAS SOUS 15301 HAS SOUPS 14324 WITH SCORE 14342.212
AT ITER 608 NEW BEST:: SOT 52142 SOS 18168 HAS SOPS 15653 HAS SOUS 15257 HAS SOUPS 14280 WITH SCORE 14298.168
AT ITER 611 NEW BEST:: SOT 52234 SOS 17984 HAS SOPS 15537 HAS SOUS 15255 HAS SOUPS 14278 WITH SCORE 14295.984
AT ITER 614 NEW BEST:: SOT 52230 SOS 17980 HAS SOPS 15526 HAS SOUS 15263 HAS SOUPS 14275 WITH SCORE 14292.98
AT ITER 628 NEW BEST:: SOT 52230 SOS 17977 HAS SOPS 15523 HAS SOUS 15263 HAS SOUPS 14275 WITH SCORE 14292.977
AT ITER 639 NEW BEST:: SOT 52217 SOS 17967 HAS SOPS 15509 HAS SOUS 15249 HAS SOUPS 14261 WITH SCORE 14278.967
AT ITER 641 NEW BEST:: SOT 52222 SOS 17950 HAS SOPS 15458 HAS SOUS 15221 HAS SOUPS 14233 WITH SCORE 14250.95
AT ITER 642 NEW BEST:: SOT 52205 SOS 17862 HAS SOPS 15424 HAS SOUS 15187 HAS SOUPS 14199 WITH SCORE 14216.862
AT ITER 669 NEW BEST:: SOT 52203 SOS 17858 HAS SOPS 15420 HAS SOUS 15183 HAS SOUPS 14195 WITH SCORE 14212.858
AT ITER 677 NEW BEST:: SOT 52215 SOS 17906 HAS SOPS 15421 HAS SOUS 15167 HAS SOUPS 14179 WITH SCORE 14196.906
AT ITER 680 NEW BEST:: SOT 52215 SOS 17921 HAS SOPS 15436 HAS SOUS 15164 HAS SOUPS 14176 WITH SCORE 14193.921
AT ITER 705 NEW BEST:: SOT 52098 SOS 17639 HAS SOPS 15070 HAS SOUS 14915 HAS SOUPS 13892 WITH SCORE 13909.639
AT ITER 710 NEW BEST:: SOT 52087 SOS 17617 HAS SOPS 15048 HAS SOUS 14893 HAS SOUPS 13870 WITH SCORE 13887.617
AT ITER 721 NEW BEST:: SOT 52068 SOS 17558 HAS SOPS 14989 HAS SOUS 14855 HAS SOUPS 13832 WITH SCORE 13849.558
AT ITER 726 NEW BEST:: SOT 52067 SOS 17557 HAS SOPS 14988 HAS SOUS 14854 HAS SOUPS 13831 WITH SCORE 13848.557
AT ITER 746 NEW BEST:: SOT 51961 SOS 17529 HAS SOPS 14974 HAS SOUS 14816 HAS SOUPS 13793 WITH SCORE 13810.529
AT ITER 747 NEW BEST:: SOT 51915 SOS 17325 HAS SOPS 14770 HAS SOUS 14698 HAS SOUPS 13675 WITH SCORE 13692.325
AT ITER 754 NEW BEST:: SOT 51891 SOS 17243 HAS SOPS 14679 HAS SOUS 14643 HAS SOUPS 13620 WITH SCORE 13637.243
AT ITER 757 NEW BEST:: SOT 51883 SOS 17264 HAS SOPS 14700 HAS SOUS 14627 HAS SOUPS 13604 WITH SCORE 13621.264
AT ITER 771 NEW BEST:: SOT 51883 SOS 17194 HAS SOPS 14665 HAS SOUS 14627 HAS SOUPS 13604 WITH SCORE 13621.194
AT ITER 795 NEW BEST:: SOT 51814 SOS 17103 HAS SOPS 14606 HAS SOUS 14548 HAS SOUPS 13525 WITH SCORE 13542.103
AT ITER 819 NEW BEST:: SOT 51848 SOS 17072 HAS SOPS 14575 HAS SOUS 14517 HAS SOUPS 13494 WITH SCORE 13511.072
AT ITER 846 NEW BEST:: SOT 51830 SOS 17053 HAS SOPS 14565 HAS SOUS 14490 HAS SOUPS 13467 WITH SCORE 13484.053
AT ITER 868 NEW BEST:: SOT 51820 SOS 17023 HAS SOPS 14565 HAS SOUS 14440 HAS SOUPS 13427 WITH SCORE 13444.023
AT ITER 870 NEW BEST:: SOT 51789 SOS 16932 HAS SOPS 14456 HAS SOUS 14378 HAS SOUPS 13365 WITH SCORE 13381.932
AT ITER 879 NEW BEST:: SOT 51776 SOS 16815 HAS SOPS 14414 HAS SOUS 14307 HAS SOUPS 13309 WITH SCORE 13325.815
AT ITER 881 NEW BEST:: SOT 51738 SOS 16744 HAS SOPS 14369 HAS SOUS 14262 HAS SOUPS 13264 WITH SCORE 13280.744
AT ITER 884 NEW BEST:: SOT 51690 SOS 16648 HAS SOPS 14273 HAS SOUS 14166 HAS SOUPS 13168 WITH SCORE 13184.648
AT ITER 885 NEW BEST:: SOT 51663 SOS 16513 HAS SOPS 14138 HAS SOUS 14112 HAS SOUPS 13114 WITH SCORE 13130.513
AT ITER 887 NEW BEST:: SOT 51650 SOS 16480 HAS SOPS 14112 HAS SOUS 14086 HAS SOUPS 13088 WITH SCORE 13104.48
AT ITER 893 NEW BEST:: SOT 51646 SOS 16506 HAS SOPS 14129 HAS SOUS 14103 HAS SOUPS 13087 WITH SCORE 13103.506
AT ITER 898 NEW BEST:: SOT 51657 SOS 16481 HAS SOPS 14104 HAS SOUS 14102 HAS SOUPS 13086 WITH SCORE 13102.481
AT ITER 906 NEW BEST:: SOT 51682 SOS 16765 HAS SOPS 14073 HAS SOUS 14134 HAS SOUPS 13072 WITH SCORE 13088.765
AT ITER 925 NEW BEST:: SOT 51670 SOS 16741 HAS SOPS 14049 HAS SOUS 14110 HAS SOUPS 13048 WITH SCORE 13064.741
AT ITER 937 NEW BEST:: SOT 51765 SOS 16757 HAS SOPS 14065 HAS SOUS 14054 HAS SOUPS 12992 WITH SCORE 13008.757
AT ITER 943 NEW BEST:: SOT 51729 SOS 16721 HAS SOPS 13993 HAS SOUS 13982 HAS SOUPS 12920 WITH SCORE 12936.721
AT ITER 964 NEW BEST:: SOT 51698 SOS 16690 HAS SOPS 13978 HAS SOUS 13965 HAS SOUPS 12903 WITH SCORE 12919.69
AT ITER 981 NEW BEST:: SOT 51692 SOS 16678 HAS SOPS 13966 HAS SOUS 13953 HAS SOUPS 12891 WITH SCORE 12907.678
AT ITER 990 NEW BEST:: SOT 51678 SOS 16599 HAS SOPS 13898 HAS SOUS 13936 HAS SOUPS 12874 WITH SCORE 12890.599
AT ITER 998 NEW BEST:: SOT 51678 SOS 16575 HAS SOPS 13874 HAS SOUS 13936 HAS SOUPS 12874 WITH SCORE 12890.575
AT ITER 1011 NEW BEST:: SOT 51649 SOS 16515 HAS SOPS 13840 HAS SOUS 13902 HAS SOUPS 12840 WITH SCORE 12856.515
AT ITER 1038 NEW BEST:: SOT 51631 SOS 16497 HAS SOPS 13822 HAS SOUS 13866 HAS SOUPS 12804 WITH SCORE 12820.497
AT ITER 1046 NEW BEST:: SOT 51625 SOS 16493 HAS SOPS 13809 HAS SOUS 13854 HAS SOUPS 12792 WITH SCORE 12808.493
AT ITER 1074 NEW BEST:: SOT 51621 SOS 16489 HAS SOPS 13805 HAS SOUS 13850 HAS SOUPS 12788 WITH SCORE 12804.489
AT ITER 1079 NEW BEST:: SOT 51581 SOS 16409 HAS SOPS 13725 HAS SOUS 13770 HAS SOUPS 12708 WITH SCORE 12724.409
AT ITER 1085 NEW BEST:: SOT 51578 SOS 16403 HAS SOPS 13719 HAS SOUS 13770 HAS SOUPS 12708 WITH SCORE 12724.403
AT ITER 1087 NEW BEST:: SOT 51566 SOS 16367 HAS SOPS 13695 HAS SOUS 13758 HAS SOUPS 12696 WITH SCORE 12712.367
AT ITER 1088 NEW BEST:: SOT 51500 SOS 16328 HAS SOPS 13574 HAS SOUS 13744 HAS SOUPS 12652 WITH SCORE 12668.328
AT ITER 1089 NEW BEST:: SOT 51499 SOS 16326 HAS SOPS 13572 HAS SOUS 13742 HAS SOUPS 12650 WITH SCORE 12666.326
AT ITER 1095 NEW BEST:: SOT 51498 SOS 16306 HAS SOPS 13550 HAS SOUS 13697 HAS SOUPS 12615 WITH SCORE 12631.306
AT ITER 1121 NEW BEST:: SOT 51498 SOS 16282 HAS SOPS 13526 HAS SOUS 13697 HAS SOUPS 12615 WITH SCORE 12631.282
AT ITER 1133 NEW BEST:: SOT 51493 SOS 16272 HAS SOPS 13516 HAS SOUS 13687 HAS SOUPS 12605 WITH SCORE 12621.272
AT ITER 1146 NEW BEST:: SOT 51488 SOS 16267 HAS SOPS 13506 HAS SOUS 13677 HAS SOUPS 12595 WITH SCORE 12611.267
AT ITER 1153 NEW BEST:: SOT 51479 SOS 16249 HAS SOPS 13497 HAS SOUS 13668 HAS SOUPS 12586 WITH SCORE 12602.249
AT ITER 1156 NEW BEST:: SOT 51456 SOS 16205 HAS SOPS 13474 HAS SOUS 13648 HAS SOUPS 12571 WITH SCORE 12587.205
AT ITER 1163 NEW BEST:: SOT 51417 SOS 16127 HAS SOPS 13396 HAS SOUS 13570 HAS SOUPS 12493 WITH SCORE 12509.127
AT ITER 1178 NEW BEST:: SOT 51414 SOS 16121 HAS SOPS 13390 HAS SOUS 13564 HAS SOUPS 12487 WITH SCORE 12503.121
AT ITER 1182 NEW BEST:: SOT 51403 SOS 16100 HAS SOPS 13368 HAS SOUS 13567 HAS SOUPS 12478 WITH SCORE 12494.1
AT ITER 1192 NEW BEST:: SOT 51403 SOS 16100 HAS SOPS 13362 HAS SOUS 13567 HAS SOUPS 12472 WITH SCORE 12488.1
AT ITER 1194 NEW BEST:: SOT 51400 SOS 16097 HAS SOPS 13356 HAS SOUS 13564 HAS SOUPS 12466 WITH SCORE 12482.097
AT ITER 1197 NEW BEST:: SOT 51336 SOS 15964 HAS SOPS 13297 HAS SOUS 13505 HAS SOUPS 12407 WITH SCORE 12422.964
AT ITER 1201 NEW BEST:: SOT 51329 SOS 16001 HAS SOPS 13293 HAS SOUS 13508 HAS SOUPS 12403 WITH SCORE 12419.001
AT ITER 1217 NEW BEST:: SOT 51323 SOS 15989 HAS SOPS 13281 HAS SOUS 13496 HAS SOUPS 12391 WITH SCORE 12406.989
AT ITER 1219 NEW BEST:: SOT 51320 SOS 15990 HAS SOPS 13275 HAS SOUS 13490 HAS SOUPS 12385 WITH SCORE 12400.99
AT ITER 1248 NEW BEST:: SOT 51320 SOS 15964 HAS SOPS 13246 HAS SOUS 13487 HAS SOUPS 12382 WITH SCORE 12397.964
AT ITER 1258 NEW BEST:: SOT 51278 SOS 15961 HAS SOPS 13240 HAS SOUS 13469 HAS SOUPS 12350 WITH SCORE 12365.961
AT ITER 1265 NEW BEST:: SOT 51170 SOS 15864 HAS SOPS 13209 HAS SOUS 13436 HAS SOUPS 12319 WITH SCORE 12334.864
AT ITER 1269 NEW BEST:: SOT 51164 SOS 15852 HAS SOPS 13197 HAS SOUS 13424 HAS SOUPS 12307 WITH SCORE 12322.852
AT ITER 1273 NEW BEST:: SOT 51121 SOS 15683 HAS SOPS 13028 HAS SOUS 13272 HAS SOUPS 12155 WITH SCORE 12170.683
AT ITER 1280 NEW BEST:: SOT 51135 SOS 15547 HAS SOPS 12995 HAS SOUS 13047 HAS SOUPS 11980 WITH SCORE 11995.547
AT ITER 1284 NEW BEST:: SOT 51069 SOS 15298 HAS SOPS 12785 HAS SOUS 12954 HAS SOUPS 11887 WITH SCORE 11902.298
AT ITER 1300 NEW BEST:: SOT 51118 SOS 15357 HAS SOPS 12789 HAS SOUS 12968 HAS SOUPS 11879 WITH SCORE 11894.357
AT ITER 1332 NEW BEST:: SOT 51007 SOS 15503 HAS SOPS 12728 HAS SOUS 12943 HAS SOUPS 11805 WITH SCORE 11820.503
AT ITER 1351 NEW BEST:: SOT 50949 SOS 15411 HAS SOPS 12647 HAS SOUS 12861 HAS SOUPS 11723 WITH SCORE 11738.411
AT ITER 1356 NEW BEST:: SOT 50946 SOS 15405 HAS SOPS 12641 HAS SOUS 12855 HAS SOUPS 11717 WITH SCORE 11732.405
AT ITER 1363 NEW BEST:: SOT 50945 SOS 15403 HAS SOPS 12639 HAS SOUS 12853 HAS SOUPS 11715 WITH SCORE 11730.403
AT ITER 1374 NEW BEST:: SOT 50928 SOS 15386 HAS SOPS 12619 HAS SOUS 12833 HAS SOUPS 11695 WITH SCORE 11710.386
AT ITER 1384 NEW BEST:: SOT 50927 SOS 15372 HAS SOPS 12605 HAS SOUS 12825 HAS SOUPS 11687 WITH SCORE 11702.372
AT ITER 1397 NEW BEST:: SOT 50915 SOS 15331 HAS SOPS 12552 HAS SOUS 12784 HAS SOUPS 11646 WITH SCORE 11661.331
AT ITER 1406 NEW BEST:: SOT 50880 SOS 15313 HAS SOPS 12483 HAS SOUS 12749 HAS SOUPS 11594 WITH SCORE 11609.313
AT ITER 1424 NEW BEST:: SOT 50822 SOS 15449 HAS SOPS 12593 HAS SOUS 12745 HAS SOUPS 11569 WITH SCORE 11584.449
AT ITER 1425 NEW BEST:: SOT 50833 SOS 15448 HAS SOPS 12582 HAS SOUS 12735 HAS SOUPS 11559 WITH SCORE 11574.448
AT ITER 1427 NEW BEST:: SOT 50833 SOS 15463 HAS SOPS 12567 HAS SOUS 12720 HAS SOUPS 11544 WITH SCORE 11559.463
AT ITER 1430 NEW BEST:: SOT 50830 SOS 15436 HAS SOPS 12555 HAS SOUS 12705 HAS SOUPS 11532 WITH SCORE 11547.436
AT ITER 1469 NEW BEST:: SOT 50828 SOS 15436 HAS SOPS 12553 HAS SOUS 12703 HAS SOUPS 11530 WITH SCORE 11545.436
AT ITER 1472 NEW BEST:: SOT 50702 SOS 15323 HAS SOPS 12440 HAS SOUS 12590 HAS SOUPS 11417 WITH SCORE 11432.323
AT ITER 1473 NEW BEST:: SOT 50694 SOS 15243 HAS SOPS 12360 HAS SOUS 12574 HAS SOUPS 11401 WITH SCORE 11416.243
AT ITER 1496 NEW BEST:: SOT 50694 SOS 15197 HAS SOPS 12318 HAS SOUS 12555 HAS SOUPS 11382 WITH SCORE 11397.197
AT ITER 1502 NEW BEST:: SOT 50654 SOS 15178 HAS SOPS 12322 HAS SOUS 12538 HAS SOUPS 11365 WITH SCORE 11380.178
AT ITER 1534 NEW BEST:: SOT 50641 SOS 15138 HAS SOPS 12282 HAS SOUS 12504 HAS SOUPS 11331 WITH SCORE 11346.138
AT ITER 1535 NEW BEST:: SOT 50621 SOS 15113 HAS SOPS 12257 HAS SOUS 12479 HAS SOUPS 11306 WITH SCORE 11321.113
AT ITER 1536 NEW BEST:: SOT 50650 SOS 15109 HAS SOPS 12253 HAS SOUS 12475 HAS SOUPS 11302 WITH SCORE 11317.109
AT ITER 1538 NEW BEST:: SOT 50632 SOS 15073 HAS SOPS 12217 HAS SOUS 12439 HAS SOUPS 11266 WITH SCORE 11281.073
AT ITER 1555 NEW BEST:: SOT 50629 SOS 15049 HAS SOPS 12193 HAS SOUS 12430 HAS SOUPS 11257 WITH SCORE 11272.049
AT ITER 1596 NEW BEST:: SOT 50625 SOS 15041 HAS SOPS 12185 HAS SOUS 12422 HAS SOUPS 11249 WITH SCORE 11264.041
AT ITER 1626 NEW BEST:: SOT 50619 SOS 15035 HAS SOPS 12173 HAS SOUS 12410 HAS SOUPS 11237 WITH SCORE 11252.035
AT ITER 1653 NEW BEST:: SOT 50619 SOS 15017 HAS SOPS 12173 HAS SOUS 12392 HAS SOUPS 11237 WITH SCORE 11252.017
AT ITER 1655 NEW BEST:: SOT 50619 SOS 15005 HAS SOPS 12173 HAS SOUS 12392 HAS SOUPS 11237 WITH SCORE 11252.005
AT ITER 1658 NEW BEST:: SOT 50619 SOS 14967 HAS SOPS 12135 HAS SOUS 12386 HAS SOUPS 11231 WITH SCORE 11245.967
AT ITER 1669 NEW BEST:: SOT 50607 SOS 14943 HAS SOPS 12111 HAS SOUS 12362 HAS SOUPS 11207 WITH SCORE 11221.943
AT ITER 1677 NEW BEST:: SOT 50605 SOS 14934 HAS SOPS 12065 HAS SOUS 12296 HAS SOUPS 11162 WITH SCORE 11176.934
AT ITER 1740 NEW BEST:: SOT 50596 SOS 14916 HAS SOPS 12047 HAS SOUS 12278 HAS SOUPS 11144 WITH SCORE 11158.916
AT ITER 1767 NEW BEST:: SOT 50607 SOS 14867 HAS SOPS 12032 HAS SOUS 12248 HAS SOUPS 11129 WITH SCORE 11143.867
AT ITER 1816 NEW BEST:: SOT 50614 SOS 14776 HAS SOPS 11992 HAS SOUS 12233 HAS SOUPS 11114 WITH SCORE 11128.776
AT ITER 1822 NEW BEST:: SOT 50603 SOS 14765 HAS SOPS 11986 HAS SOUS 12227 HAS SOUPS 11108 WITH SCORE 11122.765
AT ITER 1842 NEW BEST:: SOT 50603 SOS 14732 HAS SOPS 11953 HAS SOUS 12210 HAS SOUPS 11091 WITH SCORE 11105.732
AT ITER 1859 NEW BEST:: SOT 50572 SOS 14744 HAS SOPS 11965 HAS SOUS 12177 HAS SOUPS 11058 WITH SCORE 11072.744
AT ITER 1876 NEW BEST:: SOT 50572 SOS 14608 HAS SOPS 11897 HAS SOUS 12104 HAS SOUPS 11002 WITH SCORE 11016.608
AT ITER 1905 NEW BEST:: SOT 50552 SOS 14543 HAS SOPS 11844 HAS SOUS 12059 HAS SOUPS 10952 WITH SCORE 10966.543
AT ITER 1910 NEW BEST:: SOT 50545 SOS 14534 HAS SOPS 11836 HAS SOUS 12051 HAS SOUPS 10944 WITH SCORE 10958.534
AT ITER 1914 NEW BEST:: SOT 50543 SOS 14530 HAS SOPS 11833 HAS SOUS 12047 HAS SOUPS 10940 WITH SCORE 10954.53
AT ITER 1927 NEW BEST:: SOT 50544 SOS 14440 HAS SOPS 11852 HAS SOUS 12006 HAS SOUPS 10931 WITH SCORE 10945.44
AT ITER 1939 NEW BEST:: SOT 50538 SOS 14416 HAS SOPS 11849 HAS SOUS 12000 HAS SOUPS 10928 WITH SCORE 10942.416
AT ITER 1955 NEW BEST:: SOT 50525 SOS 14419 HAS SOPS 11794 HAS SOUS 11945 HAS SOUPS 10873 WITH SCORE 10887.419
AT ITER 1957 NEW BEST:: SOT 50524 SOS 14418 HAS SOPS 11792 HAS SOUS 11938 HAS SOUPS 10866 WITH SCORE 10880.418
AT ITER 1959 NEW BEST:: SOT 50521 SOS 14412 HAS SOPS 11786 HAS SOUS 11932 HAS SOUPS 10860 WITH SCORE 10874.412
AT ITER 1969 NEW BEST:: SOT 50517 SOS 14406 HAS SOPS 11780 HAS SOUS 11926 HAS SOUPS 10854 WITH SCORE 10868.406
AT ITER 1971 NEW BEST:: SOT 50478 SOS 14351 HAS SOPS 11702 HAS SOUS 11871 HAS SOUPS 10776 WITH SCORE 10790.351
AT ITER 1973 NEW BEST:: SOT 50478 SOS 14337 HAS SOPS 11688 HAS SOUS 11871 HAS SOUPS 10776 WITH SCORE 10790.337
AT ITER 1999 NEW BEST:: SOT 50557 SOS 14313 HAS SOPS 11776 HAS SOUS 11817 HAS SOUPS 10763 WITH SCORE 10777.313
AT ITER 2011 NEW BEST:: SOT 50525 SOS 14249 HAS SOPS 11712 HAS SOUS 11753 HAS SOUPS 10699 WITH SCORE 10713.249
AT ITER 2026 NEW BEST:: SOT 50525 SOS 14252 HAS SOPS 11709 HAS SOUS 11753 HAS SOUPS 10696 WITH SCORE 10710.252
AT ITER 2033 NEW BEST:: SOT 50475 SOS 14200 HAS SOPS 11642 HAS SOUS 11693 HAS SOUPS 10636 WITH SCORE 10650.2
AT ITER 2050 NEW BEST:: SOT 50471 SOS 14192 HAS SOPS 11634 HAS SOUS 11685 HAS SOUPS 10628 WITH SCORE 10642.192
AT ITER 2069 NEW BEST:: SOT 50467 SOS 14184 HAS SOPS 11626 HAS SOUS 11677 HAS SOUPS 10620 WITH SCORE 10634.184
AT ITER 2074 NEW BEST:: SOT 50388 SOS 14176 HAS SOPS 11648 HAS SOUS 11666 HAS SOUPS 10612 WITH SCORE 10626.176
AT ITER 2075 NEW BEST:: SOT 50386 SOS 14174 HAS SOPS 11646 HAS SOUS 11664 HAS SOUPS 10610 WITH SCORE 10624.174
AT ITER 2092 NEW BEST:: SOT 50423 SOS 14221 HAS SOPS 11639 HAS SOUS 11670 HAS SOUPS 10603 WITH SCORE 10617.221
AT ITER 2121 NEW BEST:: SOT 50422 SOS 14215 HAS SOPS 11637 HAS SOUS 11668 HAS SOUPS 10601 WITH SCORE 10615.215
AT ITER 2133 NEW BEST:: SOT 50419 SOS 14209 HAS SOPS 11631 HAS SOUS 11627 HAS SOUPS 10580 WITH SCORE 10594.209
AT ITER 2181 NEW BEST:: SOT 50419 SOS 14207 HAS SOPS 11629 HAS SOUS 11625 HAS SOUPS 10578 WITH SCORE 10592.207
AT ITER 2204 NEW BEST:: SOT 50411 SOS 14345 HAS SOPS 11595 HAS SOUS 11634 HAS SOUPS 10561 WITH SCORE 10575.345
AT ITER 2234 NEW BEST:: SOT 50408 SOS 14339 HAS SOPS 11589 HAS SOUS 11628 HAS SOUPS 10555 WITH SCORE 10569.339
AT ITER 2237 NEW BEST:: SOT 50404 SOS 14331 HAS SOPS 11581 HAS SOUS 11620 HAS SOUPS 10547 WITH SCORE 10561.331
AT ITER 2245 NEW BEST:: SOT 50403 SOS 14329 HAS SOPS 11579 HAS SOUS 11618 HAS SOUPS 10545 WITH SCORE 10559.329
AT ITER 2274 NEW BEST:: SOT 50412 SOS 14000 HAS SOPS 11489 HAS SOUS 11400 HAS SOUPS 10389 WITH SCORE 10403.0
AT ITER 2292 NEW BEST:: SOT 50369 SOS 13987 HAS SOPS 11476 HAS SOUS 11387 HAS SOUPS 10376 WITH SCORE 10389.987
AT ITER 2294 NEW BEST:: SOT 50355 SOS 13945 HAS SOPS 11448 HAS SOUS 11359 HAS SOUPS 10348 WITH SCORE 10361.945
AT ITER 2297 NEW BEST:: SOT 50343 SOS 13969 HAS SOPS 11380 HAS SOUS 11358 HAS SOUPS 10318 WITH SCORE 10331.969
AT ITER 2311 NEW BEST:: SOT 50343 SOS 13972 HAS SOPS 11377 HAS SOUS 11355 HAS SOUPS 10315 WITH SCORE 10328.972
AT ITER 2319 NEW BEST:: SOT 50341 SOS 13982 HAS SOPS 11371 HAS SOUS 11351 HAS SOUPS 10309 WITH SCORE 10322.982
AT ITER 2336 NEW BEST:: SOT 50341 SOS 13968 HAS SOPS 11357 HAS SOUS 11340 HAS SOUPS 10298 WITH SCORE 10311.968
AT ITER 2347 NEW BEST:: SOT 50341 SOS 13959 HAS SOPS 11357 HAS SOUS 11340 HAS SOUPS 10298 WITH SCORE 10311.959
AT ITER 2349 NEW BEST:: SOT 50331 SOS 13954 HAS SOPS 11352 HAS SOUS 11330 HAS SOUPS 10288 WITH SCORE 10301.954
AT ITER 2356 NEW BEST:: SOT 50330 SOS 13966 HAS SOPS 11350 HAS SOUS 11328 HAS SOUPS 10286 WITH SCORE 10299.966
AT ITER 2400 NEW BEST:: SOT 50330 SOS 13955 HAS SOPS 11350 HAS SOUS 11328 HAS SOUPS 10286 WITH SCORE 10299.955
AT ITER 2417 NEW BEST:: SOT 50328 SOS 13951 HAS SOPS 11344 HAS SOUS 11324 HAS SOUPS 10280 WITH SCORE 10293.951
AT ITER 2436 NEW BEST:: SOT 50318 SOS 13941 HAS SOPS 11324 HAS SOUS 11314 HAS SOUPS 10260 WITH SCORE 10273.941
AT ITER 2443 NEW BEST:: SOT 50318 SOS 13940 HAS SOPS 11324 HAS SOUS 11314 HAS SOUPS 10260 WITH SCORE 10273.94
AT ITER 2448 NEW BEST:: SOT 50319 SOS 13933 HAS SOPS 11326 HAS SOUS 11314 HAS SOUPS 10260 WITH SCORE 10273.933
AT ITER 2465 NEW BEST:: SOT 50297 SOS 13889 HAS SOPS 11293 HAS SOUS 11281 HAS SOUPS 10227 WITH SCORE 10240.889
AT ITER 2472 NEW BEST:: SOT 50291 SOS 13872 HAS SOPS 11281 HAS SOUS 11269 HAS SOUPS 10215 WITH SCORE 10228.872
AT ITER 2473 NEW BEST:: SOT 50291 SOS 13860 HAS SOPS 11269 HAS SOUS 11257 HAS SOUPS 10203 WITH SCORE 10216.86
AT ITER 2476 NEW BEST:: SOT 50268 SOS 13842 HAS SOPS 11245 HAS SOUS 11233 HAS SOUPS 10179 WITH SCORE 10192.842
AT ITER 2511 NEW BEST:: SOT 50255 SOS 13828 HAS SOPS 11255 HAS SOUS 11209 HAS SOUPS 10177 WITH SCORE 10190.828
AT ITER 2537 NEW BEST:: SOT 50262 SOS 13779 HAS SOPS 11199 HAS SOUS 11195 HAS SOUPS 10163 WITH SCORE 10176.779
AT ITER 2542 NEW BEST:: SOT 50257 SOS 13769 HAS SOPS 11189 HAS SOUS 11185 HAS SOUPS 10153 WITH SCORE 10166.769
AT ITER 2555 NEW BEST:: SOT 50256 SOS 13768 HAS SOPS 11188 HAS SOUS 11184 HAS SOUPS 10152 WITH SCORE 10165.768
AT ITER 2558 NEW BEST:: SOT 50254 SOS 13742 HAS SOPS 11162 HAS SOUS 11158 HAS SOUPS 10126 WITH SCORE 10139.742
AT ITER 2578 NEW BEST:: SOT 50254 SOS 13741 HAS SOPS 11162 HAS SOUS 11158 HAS SOUPS 10126 WITH SCORE 10139.741
AT ITER 2589 NEW BEST:: SOT 50272 SOS 13727 HAS SOPS 11171 HAS SOUS 11127 HAS SOUPS 10104 WITH SCORE 10117.727
AT ITER 2590 NEW BEST:: SOT 50269 SOS 13721 HAS SOPS 11165 HAS SOUS 11121 HAS SOUPS 10098 WITH SCORE 10111.721
AT ITER 2678 NEW BEST:: SOT 50268 SOS 13719 HAS SOPS 11163 HAS SOUS 11119 HAS SOUPS 10096 WITH SCORE 10109.719
AT ITER 2707 NEW BEST:: SOT 50265 SOS 13713 HAS SOPS 11157 HAS SOUS 11113 HAS SOUPS 10090 WITH SCORE 10103.713
AT ITER 2719 NEW BEST:: SOT 50265 SOS 13712 HAS SOPS 11156 HAS SOUS 11112 HAS SOUPS 10089 WITH SCORE 10102.712
AT ITER 2743 NEW BEST:: SOT 50263 SOS 13708 HAS SOPS 11152 HAS SOUS 11108 HAS SOUPS 10085 WITH SCORE 10098.708
AT ITER 2745 NEW BEST:: SOT 50228 SOS 13638 HAS SOPS 11114 HAS SOUS 11070 HAS SOUPS 10047 WITH SCORE 10060.638
AT ITER 2822 NEW BEST:: SOT 50240 SOS 13634 HAS SOPS 11128 HAS SOUS 11056 HAS SOUPS 10039 WITH SCORE 10052.634
AT ITER 2841 NEW BEST:: SOT 50251 SOS 13602 HAS SOPS 11063 HAS SOUS 11038 HAS SOUPS 10021 WITH SCORE 10034.602
AT ITER 2850 NEW BEST:: SOT 50218 SOS 13586 HAS SOPS 11021 HAS SOUS 11005 HAS SOUPS 9979 WITH SCORE 9992.586
AT ITER 2861 NEW BEST:: SOT 50217 SOS 13586 HAS SOPS 11027 HAS SOUS 11003 HAS SOUPS 9977 WITH SCORE 9990.586
AT ITER 2868 NEW BEST:: SOT 50216 SOS 13584 HAS SOPS 11025 HAS SOUS 11001 HAS SOUPS 9975 WITH SCORE 9988.584
AT ITER 2870 NEW BEST:: SOT 50214 SOS 13580 HAS SOPS 11021 HAS SOUS 10997 HAS SOUPS 9971 WITH SCORE 9984.58
AT ITER 2892 NEW BEST:: SOT 50209 SOS 13569 HAS SOPS 11017 HAS SOUS 10981 HAS SOUPS 9957 WITH SCORE 9970.569
AT ITER 2898 NEW BEST:: SOT 50136 SOS 13462 HAS SOPS 10910 HAS SOUS 10889 HAS SOUPS 9865 WITH SCORE 9878.462
AT ITER 2918 NEW BEST:: SOT 50133 SOS 13441 HAS SOPS 10889 HAS SOUS 10872 HAS SOUPS 9848 WITH SCORE 9861.441
AT ITER 2920 NEW BEST:: SOT 50037 SOS 13523 HAS SOPS 10874 HAS SOUS 10912 HAS SOUPS 9838 WITH SCORE 9851.523
AT ITER 2921 NEW BEST:: SOT 50020 SOS 13489 HAS SOPS 10840 HAS SOUS 10878 HAS SOUPS 9804 WITH SCORE 9817.489
AT ITER 2938 NEW BEST:: SOT 50020 SOS 13494 HAS SOPS 10845 HAS SOUS 10877 HAS SOUPS 9803 WITH SCORE 9816.494
AT ITER 2941 NEW BEST:: SOT 50056 SOS 13348 HAS SOPS 10795 HAS SOUS 10815 HAS SOUPS 9773 WITH SCORE 9786.348
AT ITER 2987 NEW BEST:: SOT 50049 SOS 13349 HAS SOPS 10781 HAS SOUS 10825 HAS SOUPS 9768 WITH SCORE 9781.349
AT ITER 3000 NEW BEST:: SOT 50047 SOS 13345 HAS SOPS 10777 HAS SOUS 10821 HAS SOUPS 9764 WITH SCORE 9777.345
AT ITER 3002 NEW BEST:: SOT 50041 SOS 13333 HAS SOPS 10765 HAS SOUS 10809 HAS SOUPS 9752 WITH SCORE 9765.333
AT ITER 3055 NEW BEST:: SOT 50031 SOS 13313 HAS SOPS 10745 HAS SOUS 10789 HAS SOUPS 9732 WITH SCORE 9745.313
AT ITER 3061 NEW BEST:: SOT 50028 SOS 13307 HAS SOPS 10739 HAS SOUS 10783 HAS SOUPS 9726 WITH SCORE 9739.307
AT ITER 3071 NEW BEST:: SOT 50015 SOS 13278 HAS SOPS 10713 HAS SOUS 10757 HAS SOUPS 9700 WITH SCORE 9713.278
AT ITER 3081 NEW BEST:: SOT 50002 SOS 13252 HAS SOPS 10687 HAS SOUS 10731 HAS SOUPS 9674 WITH SCORE 9687.252
AT ITER 3086 NEW BEST:: SOT 49926 SOS 13226 HAS SOPS 10666 HAS SOUS 10644 HAS SOUPS 9587 WITH SCORE 9600.226
AT ITER 3103 NEW BEST:: SOT 49922 SOS 13214 HAS SOPS 10658 HAS SOUS 10636 HAS SOUPS 9579 WITH SCORE 9592.214
AT ITER 3129 NEW BEST:: SOT 49918 SOS 13206 HAS SOPS 10650 HAS SOUS 10632 HAS SOUPS 9575 WITH SCORE 9588.206
AT ITER 3134 NEW BEST:: SOT 49915 SOS 13203 HAS SOPS 10644 HAS SOUS 10626 HAS SOUPS 9569 WITH SCORE 9582.203
AT ITER 3138 NEW BEST:: SOT 49909 SOS 13191 HAS SOPS 10632 HAS SOUS 10614 HAS SOUPS 9557 WITH SCORE 9570.191
AT ITER 3146 NEW BEST:: SOT 49899 SOS 13147 HAS SOPS 10588 HAS SOUS 10594 HAS SOUPS 9537 WITH SCORE 9550.147
AT ITER 3163 NEW BEST:: SOT 49891 SOS 13131 HAS SOPS 10572 HAS SOUS 10599 HAS SOUPS 9529 WITH SCORE 9542.131
AT ITER 3182 NEW BEST:: SOT 49894 SOS 13173 HAS SOPS 10562 HAS SOUS 10602 HAS SOUPS 9519 WITH SCORE 9532.173
AT ITER 3184 NEW BEST:: SOT 49892 SOS 13171 HAS SOPS 10560 HAS SOUS 10600 HAS SOUPS 9517 WITH SCORE 9530.171
AT ITER 3202 NEW BEST:: SOT 49862 SOS 13141 HAS SOPS 10530 HAS SOUS 10570 HAS SOUPS 9487 WITH SCORE 9500.141
AT ITER 3219 NEW BEST:: SOT 49859 SOS 13135 HAS SOPS 10527 HAS SOUS 10567 HAS SOUPS 9484 WITH SCORE 9497.135
AT ITER 3232 NEW BEST:: SOT 49849 SOS 13127 HAS SOPS 10515 HAS SOUS 10565 HAS SOUPS 9480 WITH SCORE 9493.127
AT ITER 3239 NEW BEST:: SOT 49840 SOS 13109 HAS SOPS 10497 HAS SOUS 10547 HAS SOUPS 9462 WITH SCORE 9475.109
AT ITER 3243 NEW BEST:: SOT 49838 SOS 13089 HAS SOPS 10477 HAS SOUS 10545 HAS SOUPS 9460 WITH SCORE 9473.089
AT ITER 3295 NEW BEST:: SOT 49816 SOS 13067 HAS SOPS 10433 HAS SOUS 10501 HAS SOUPS 9416 WITH SCORE 9429.067
AT ITER 3303 NEW BEST:: SOT 49780 SOS 13045 HAS SOPS 10387 HAS SOUS 10499 HAS SOUPS 9402 WITH SCORE 9415.045
AT ITER 3310 NEW BEST:: SOT 49765 SOS 13014 HAS SOPS 10357 HAS SOUS 10468 HAS SOUPS 9372 WITH SCORE 9385.014
AT ITER 3325 NEW BEST:: SOT 49727 SOS 12976 HAS SOPS 10325 HAS SOUS 10430 HAS SOUPS 9334 WITH SCORE 9346.976
AT ITER 3344 NEW BEST:: SOT 49730 SOS 12961 HAS SOPS 10310 HAS SOUS 10429 HAS SOUPS 9333 WITH SCORE 9345.961
AT ITER 3349 NEW BEST:: SOT 49712 SOS 12925 HAS SOPS 10274 HAS SOUS 10393 HAS SOUPS 9297 WITH SCORE 9309.925
AT ITER 3395 NEW BEST:: SOT 49699 SOS 12899 HAS SOPS 10248 HAS SOUS 10367 HAS SOUPS 9271 WITH SCORE 9283.899
AT ITER 3425 NEW BEST:: SOT 49698 SOS 12893 HAS SOPS 10246 HAS SOUS 10365 HAS SOUPS 9269 WITH SCORE 9281.893
AT ITER 3467 NEW BEST:: SOT 49698 SOS 12880 HAS SOPS 10233 HAS SOUS 10365 HAS SOUPS 9269 WITH SCORE 9281.88
AT ITER 3506 NEW BEST:: SOT 49694 SOS 12872 HAS SOPS 10225 HAS SOUS 10357 HAS SOUPS 9261 WITH SCORE 9273.872
AT ITER 3513 NEW BEST:: SOT 49681 SOS 12859 HAS SOPS 10225 HAS SOUS 10357 HAS SOUPS 9261 WITH SCORE 9273.859
AT ITER 3521 NEW BEST:: SOT 49685 SOS 12859 HAS SOPS 10203 HAS SOUS 10366 HAS SOUPS 9242 WITH SCORE 9254.859
AT ITER 3546 NEW BEST:: SOT 49676 SOS 12841 HAS SOPS 10185 HAS SOUS 10348 HAS SOUPS 9224 WITH SCORE 9236.841
AT ITER 3567 NEW BEST:: SOT 49661 SOS 12829 HAS SOPS 10167 HAS SOUS 10330 HAS SOUPS 9206 WITH SCORE 9218.829
AT ITER 3605 NEW BEST:: SOT 49639 SOS 12780 HAS SOPS 10136 HAS SOUS 10324 HAS SOUPS 9200 WITH SCORE 9212.78
AT ITER 3606 NEW BEST:: SOT 49629 SOS 12770 HAS SOPS 10126 HAS SOUS 10314 HAS SOUPS 9190 WITH SCORE 9202.77
AT ITER 3610 NEW BEST:: SOT 49625 SOS 12762 HAS SOPS 10118 HAS SOUS 10306 HAS SOUPS 9182 WITH SCORE 9194.762
AT ITER 3621 NEW BEST:: SOT 49557 SOS 12709 HAS SOPS 10037 HAS SOUS 10263 HAS SOUPS 9125 WITH SCORE 9137.709
AT ITER 3626 NEW BEST:: SOT 49554 SOS 12677 HAS SOPS 10031 HAS SOUS 10257 HAS SOUPS 9119 WITH SCORE 9131.677
AT ITER 3627 NEW BEST:: SOT 49541 SOS 12667 HAS SOPS 10017 HAS SOUS 10247 HAS SOUPS 9105 WITH SCORE 9117.667
AT ITER 3629 NEW BEST:: SOT 49530 SOS 12689 HAS SOPS 10020 HAS SOUS 10225 HAS SOUPS 9083 WITH SCORE 9095.689
AT ITER 3631 NEW BEST:: SOT 49516 SOS 12699 HAS SOPS 10032 HAS SOUS 10217 HAS SOUPS 9077 WITH SCORE 9089.699
AT ITER 3674 NEW BEST:: SOT 49516 SOS 12696 HAS SOPS 10029 HAS SOUS 10214 HAS SOUPS 9074 WITH SCORE 9086.696
AT ITER 3695 NEW BEST:: SOT 49514 SOS 12698 HAS SOPS 10027 HAS SOUS 10213 HAS SOUPS 9071 WITH SCORE 9083.698
AT ITER 3816 NEW BEST:: SOT 49519 SOS 12700 HAS SOPS 10023 HAS SOUS 10202 HAS SOUPS 9060 WITH SCORE 9072.7
AT ITER 3837 NEW BEST:: SOT 49513 SOS 12688 HAS SOPS 10011 HAS SOUS 10190 HAS SOUPS 9048 WITH SCORE 9060.688
AT ITER 3857 NEW BEST:: SOT 49498 SOS 12719 HAS SOPS 10026 HAS SOUS 10172 HAS SOUPS 9030 WITH SCORE 9042.719
AT ITER 3889 NEW BEST:: SOT 49495 SOS 12713 HAS SOPS 10020 HAS SOUS 10166 HAS SOUPS 9024 WITH SCORE 9036.713
AT ITER 3918 NEW BEST:: SOT 49491 SOS 12705 HAS SOPS 10012 HAS SOUS 10158 HAS SOUPS 9016 WITH SCORE 9028.705
AT ITER 3921 NEW BEST:: SOT 49489 SOS 12701 HAS SOPS 10008 HAS SOUS 10154 HAS SOUPS 9012 WITH SCORE 9024.701
AT ITER 3930 NEW BEST:: SOT 49480 SOS 12787 HAS SOPS 10063 HAS SOUS 10149 HAS SOUPS 9007 WITH SCORE 9019.787
AT ITER 3935 NEW BEST:: SOT 49475 SOS 12777 HAS SOPS 10053 HAS SOUS 10139 HAS SOUPS 8997 WITH SCORE 9009.777
AT ITER 3953 NEW BEST:: SOT 49475 SOS 12765 HAS SOPS 10045 HAS SOUS 10139 HAS SOUPS 8997 WITH SCORE 9009.765
AT ITER 3965 NEW BEST:: SOT 49475 SOS 12762 HAS SOPS 10042 HAS SOUS 10139 HAS SOUPS 8997 WITH SCORE 9009.762
AT ITER 4015 NEW BEST:: SOT 49473 SOS 12758 HAS SOPS 10038 HAS SOUS 10135 HAS SOUPS 8993 WITH SCORE 9005.758
AT ITER 4052 NEW BEST:: SOT 49449 SOS 12730 HAS SOPS 10010 HAS SOUS 10110 HAS SOUPS 8968 WITH SCORE 8980.73
AT ITER 4063 NEW BEST:: SOT 49445 SOS 12721 HAS SOPS 10001 HAS SOUS 10101 HAS SOUPS 8959 WITH SCORE 8971.721
AT ITER 4144 NEW BEST:: SOT 49439 SOS 12715 HAS SOPS 10000 HAS SOUS 10100 HAS SOUPS 8958 WITH SCORE 8970.715
AT ITER 4249 NEW BEST:: SOT 49426 SOS 12746 HAS SOPS 10031 HAS SOUS 10074 HAS SOUPS 8932 WITH SCORE 8944.746
AT ITER 4266 NEW BEST:: SOT 49426 SOS 12741 HAS SOPS 10021 HAS SOUS 10067 HAS SOUPS 8925 WITH SCORE 8937.741
AT ITER 4316 NEW BEST:: SOT 49427 SOS 12745 HAS SOPS 10025 HAS SOUS 10040 HAS SOUPS 8898 WITH SCORE 8910.745
AT ITER 4365 NEW BEST:: SOT 49433 SOS 12743 HAS SOPS 10023 HAS SOUS 10038 HAS SOUPS 8896 WITH SCORE 8908.743
AT ITER 4390 NEW BEST:: SOT 49430 SOS 12742 HAS SOPS 10022 HAS SOUS 10037 HAS SOUPS 8895 WITH SCORE 8907.742
AT ITER 4401 NEW BEST:: SOT 49426 SOS 12734 HAS SOPS 10018 HAS SOUS 10033 HAS SOUPS 8891 WITH SCORE 8903.734
AT ITER 4408 NEW BEST:: SOT 49418 SOS 12718 HAS SOPS 10006 HAS SOUS 10026 HAS SOUPS 8884 WITH SCORE 8896.718
AT ITER 4415 NEW BEST:: SOT 49419 SOS 12707 HAS SOPS 9991 HAS SOUS 10011 HAS SOUPS 8869 WITH SCORE 8881.707
AT ITER 4425 NEW BEST:: SOT 49415 SOS 12699 HAS SOPS 9983 HAS SOUS 10003 HAS SOUPS 8861 WITH SCORE 8873.699
AT ITER 4439 NEW BEST:: SOT 49413 SOS 12687 HAS SOPS 9971 HAS SOUS 9991 HAS SOUPS 8849 WITH SCORE 8861.687
AT ITER 4450 NEW BEST:: SOT 49411 SOS 12685 HAS SOPS 9970 HAS SOUS 9989 HAS SOUPS 8848 WITH SCORE 8860.685
AT ITER 4472 NEW BEST:: SOT 49411 SOS 12676 HAS SOPS 9970 HAS SOUS 9989 HAS SOUPS 8848 WITH SCORE 8860.676
AT ITER 4487 NEW BEST:: SOT 49406 SOS 12658 HAS SOPS 9952 HAS SOUS 9979 HAS SOUPS 8838 WITH SCORE 8850.658
AT ITER 4515 NEW BEST:: SOT 49364 SOS 12599 HAS SOPS 9923 HAS SOUS 9945 HAS SOUPS 8804 WITH SCORE 8816.599
AT ITER 4516 NEW BEST:: SOT 49360 SOS 12579 HAS SOPS 9903 HAS SOUS 9937 HAS SOUPS 8796 WITH SCORE 8808.579
AT ITER 4517 NEW BEST:: SOT 49371 SOS 12561 HAS SOPS 9883 HAS SOUS 9937 HAS SOUPS 8794 WITH SCORE 8806.561
AT ITER 4557 NEW BEST:: SOT 49365 SOS 12549 HAS SOPS 9871 HAS SOUS 9925 HAS SOUPS 8782 WITH SCORE 8794.549
AT ITER 4580 NEW BEST:: SOT 49340 SOS 12522 HAS SOPS 9858 HAS SOUS 9917 HAS SOUPS 8774 WITH SCORE 8786.522
AT ITER 4617 NEW BEST:: SOT 49332 SOS 12448 HAS SOPS 9820 HAS SOUS 9897 HAS SOUPS 8754 WITH SCORE 8766.448
AT ITER 4628 NEW BEST:: SOT 49350 SOS 12457 HAS SOPS 9824 HAS SOUS 9888 HAS SOUPS 8745 WITH SCORE 8757.457
AT ITER 4678 NEW BEST:: SOT 49356 SOS 12469 HAS SOPS 9820 HAS SOUS 9892 HAS SOUPS 8741 WITH SCORE 8753.469
AT ITER 4772 NEW BEST:: SOT 49355 SOS 12468 HAS SOPS 9818 HAS SOUS 9891 HAS SOUPS 8739 WITH SCORE 8751.468
AT ITER 4783 NEW BEST:: SOT 49344 SOS 12483 HAS SOPS 9833 HAS SOUS 9869 HAS SOUPS 8717 WITH SCORE 8729.483
AT ITER 4822 NEW BEST:: SOT 49343 SOS 12478 HAS SOPS 9828 HAS SOUS 9868 HAS SOUPS 8716 WITH SCORE 8728.478
AT ITER 4834 NEW BEST:: SOT 49340 SOS 12472 HAS SOPS 9822 HAS SOUS 9862 HAS SOUPS 8710 WITH SCORE 8722.472
AT ITER 4887 NEW BEST:: SOT 49344 SOS 12470 HAS SOPS 9820 HAS SOUS 9860 HAS SOUPS 8708 WITH SCORE 8720.47
AT ITER 4890 NEW BEST:: SOT 49327 SOS 12452 HAS SOPS 9810 HAS SOUS 9856 HAS SOUPS 8704 WITH SCORE 8716.452
AT ITER 4937 NEW BEST:: SOT 49327 SOS 12449 HAS SOPS 9807 HAS SOUS 9853 HAS SOUPS 8701 WITH SCORE 8713.449
AT ITER 5024 NEW BEST:: SOT 49300 SOS 12447 HAS SOPS 9778 HAS SOUS 9849 HAS SOUPS 8689 WITH SCORE 8701.447
AT ITER 5046 NEW BEST:: SOT 49300 SOS 12446 HAS SOPS 9777 HAS SOUS 9848 HAS SOUPS 8688 WITH SCORE 8700.446
AT ITER 5110 NEW BEST:: SOT 49300 SOS 12446 HAS SOPS 9773 HAS SOUS 9844 HAS SOUPS 8684 WITH SCORE 8696.446
AT ITER 5132 NEW BEST:: SOT 49325 SOS 12609 HAS SOPS 9767 HAS SOUS 9866 HAS SOUPS 8678 WITH SCORE 8690.609
AT ITER 5162 NEW BEST:: SOT 49319 SOS 12603 HAS SOPS 9755 HAS SOUS 9870 HAS SOUPS 8676 WITH SCORE 8688.603
AT ITER 5231 NEW BEST:: SOT 49318 SOS 12601 HAS SOPS 9753 HAS SOUS 9869 HAS SOUPS 8675 WITH SCORE 8687.601
AT ITER 5271 NEW BEST:: SOT 49294 SOS 12597 HAS SOPS 9749 HAS SOUS 9865 HAS SOUPS 8671 WITH SCORE 8683.597
AT ITER 5320 NEW BEST:: SOT 49283 SOS 12574 HAS SOPS 9726 HAS SOUS 9842 HAS SOUPS 8648 WITH SCORE 8660.574
AT ITER 5322 NEW BEST:: SOT 49283 SOS 12565 HAS SOPS 9717 HAS SOUS 9842 HAS SOUPS 8648 WITH SCORE 8660.565
AT ITER 5408 NEW BEST:: SOT 49277 SOS 12581 HAS SOPS 9711 HAS SOUS 9836 HAS SOUPS 8642 WITH SCORE 8654.581
AT ITER 5465 NEW BEST:: SOT 49268 SOS 12563 HAS SOPS 9682 HAS SOUS 9818 HAS SOUPS 8613 WITH SCORE 8625.563
AT ITER 5497 NEW BEST:: SOT 49271 SOS 12551 HAS SOPS 9670 HAS SOUS 9806 HAS SOUPS 8601 WITH SCORE 8613.551
AT ITER 5503 NEW BEST:: SOT 49263 SOS 12544 HAS SOPS 9663 HAS SOUS 9799 HAS SOUPS 8594 WITH SCORE 8606.544
AT ITER 5519 NEW BEST:: SOT 49263 SOS 12543 HAS SOPS 9663 HAS SOUS 9799 HAS SOUPS 8594 WITH SCORE 8606.543
AT ITER 5528 NEW BEST:: SOT 49262 SOS 12536 HAS SOPS 9663 HAS SOUS 9798 HAS SOUPS 8594 WITH SCORE 8606.536
AT ITER 5531 NEW BEST:: SOT 49262 SOS 12554 HAS SOPS 9645 HAS SOUS 9787 HAS SOUPS 8574 WITH SCORE 8586.554
AT ITER 5544 NEW BEST:: SOT 49260 SOS 12538 HAS SOPS 9635 HAS SOUS 9777 HAS SOUPS 8566 WITH SCORE 8578.538
AT ITER 5590 NEW BEST:: SOT 49260 SOS 12537 HAS SOPS 9634 HAS SOUS 9777 HAS SOUPS 8566 WITH SCORE 8578.537
AT ITER 5624 NEW BEST:: SOT 49251 SOS 12598 HAS SOPS 9623 HAS SOUS 9775 HAS SOUPS 8555 WITH SCORE 8567.598
AT ITER 5629 NEW BEST:: SOT 49249 SOS 12600 HAS SOPS 9619 HAS SOUS 9777 HAS SOUPS 8551 WITH SCORE 8563.6
AT ITER 5643 NEW BEST:: SOT 49245 SOS 12588 HAS SOPS 9615 HAS SOUS 9773 HAS SOUPS 8547 WITH SCORE 8559.588
AT ITER 5661 NEW BEST:: SOT 49241 SOS 12580 HAS SOPS 9607 HAS SOUS 9765 HAS SOUPS 8539 WITH SCORE 8551.58
AT ITER 5677 NEW BEST:: SOT 49239 SOS 12576 HAS SOPS 9603 HAS SOUS 9761 HAS SOUPS 8535 WITH SCORE 8547.576
AT ITER 5703 NEW BEST:: SOT 49233 SOS 12564 HAS SOPS 9599 HAS SOUS 9757 HAS SOUPS 8531 WITH SCORE 8543.564
AT ITER 5723 NEW BEST:: SOT 49200 SOS 12546 HAS SOPS 9588 HAS SOUS 9742 HAS SOUPS 8516 WITH SCORE 8528.546
AT ITER 5724 NEW BEST:: SOT 49180 SOS 12566 HAS SOPS 9578 HAS SOUS 9742 HAS SOUPS 8506 WITH SCORE 8518.566
AT ITER 5734 NEW BEST:: SOT 49154 SOS 12540 HAS SOPS 9552 HAS SOUS 9716 HAS SOUPS 8480 WITH SCORE 8492.54
AT ITER 5742 NEW BEST:: SOT 49188 SOS 12523 HAS SOPS 9567 HAS SOUS 9678 HAS SOUPS 8459 WITH SCORE 8471.523
AT ITER 5747 NEW BEST:: SOT 49183 SOS 12504 HAS SOPS 9557 HAS SOUS 9668 HAS SOUPS 8449 WITH SCORE 8461.504
AT ITER 5773 NEW BEST:: SOT 49180 SOS 12498 HAS SOPS 9551 HAS SOUS 9662 HAS SOUPS 8443 WITH SCORE 8455.498
AT ITER 5826 NEW BEST:: SOT 49180 SOS 12495 HAS SOPS 9551 HAS SOUS 9662 HAS SOUPS 8443 WITH SCORE 8455.495
AT ITER 5859 NEW BEST:: SOT 49177 SOS 12492 HAS SOPS 9548 HAS SOUS 9659 HAS SOUPS 8440 WITH SCORE 8452.492
AT ITER 5941 NEW BEST:: SOT 49173 SOS 12484 HAS SOPS 9540 HAS SOUS 9651 HAS SOUPS 8432 WITH SCORE 8444.484
AT ITER 5954 NEW BEST:: SOT 49151 SOS 12455 HAS SOPS 9511 HAS SOUS 9622 HAS SOUPS 8403 WITH SCORE 8415.455
AT ITER 5964 NEW BEST:: SOT 49151 SOS 12357 HAS SOPS 9400 HAS SOUS 9609 HAS SOUPS 8390 WITH SCORE 8402.357
AT ITER 5989 NEW BEST:: SOT 49141 SOS 12327 HAS SOPS 9380 HAS SOUS 9589 HAS SOUPS 8370 WITH SCORE 8382.327
AT ITER 6002 NEW BEST:: SOT 49139 SOS 12323 HAS SOPS 9376 HAS SOUS 9585 HAS SOUPS 8366 WITH SCORE 8378.323
AT ITER 6024 NEW BEST:: SOT 49139 SOS 12323 HAS SOPS 9376 HAS SOUS 9584 HAS SOUPS 8365 WITH SCORE 8377.323
AT ITER 6045 NEW BEST:: SOT 49131 SOS 12315 HAS SOPS 9368 HAS SOUS 9576 HAS SOUPS 8357 WITH SCORE 8369.315
AT ITER 6059 NEW BEST:: SOT 49131 SOS 12312 HAS SOPS 9358 HAS SOUS 9563 HAS SOUPS 8344 WITH SCORE 8356.312
AT ITER 6070 NEW BEST:: SOT 49131 SOS 12305 HAS SOPS 9351 HAS SOUS 9563 HAS SOUPS 8344 WITH SCORE 8356.305
AT ITER 6112 NEW BEST:: SOT 49129 SOS 12303 HAS SOPS 9347 HAS SOUS 9559 HAS SOUPS 8340 WITH SCORE 8352.303
AT ITER 6132 NEW BEST:: SOT 49123 SOS 12299 HAS SOPS 9341 HAS SOUS 9553 HAS SOUPS 8334 WITH SCORE 8346.299
AT ITER 6137 NEW BEST:: SOT 49123 SOS 12296 HAS SOPS 9341 HAS SOUS 9550 HAS SOUPS 8331 WITH SCORE 8343.296
AT ITER 6141 NEW BEST:: SOT 49058 SOS 12267 HAS SOPS 9246 HAS SOUS 9452 HAS SOUPS 8233 WITH SCORE 8245.267
AT ITER 6166 NEW BEST:: SOT 48978 SOS 12158 HAS SOPS 9237 HAS SOUS 9434 HAS SOUPS 8224 WITH SCORE 8236.158
AT ITER 6213 NEW BEST:: SOT 48971 SOS 12153 HAS SOPS 9227 HAS SOUS 9439 HAS SOUPS 8224 WITH SCORE 8236.153
AT ITER 6292 NEW BEST:: SOT 48971 SOS 12142 HAS SOPS 9227 HAS SOUS 9439 HAS SOUPS 8224 WITH SCORE 8236.142
AT ITER 6364 NEW BEST:: SOT 48971 SOS 12134 HAS SOPS 9223 HAS SOUS 9439 HAS SOUPS 8224 WITH SCORE 8236.134
AT ITER 6381 NEW BEST:: SOT 48970 SOS 12132 HAS SOPS 9221 HAS SOUS 9437 HAS SOUPS 8222 WITH SCORE 8234.132
AT ITER 6393 NEW BEST:: SOT 48968 SOS 12130 HAS SOPS 9217 HAS SOUS 9435 HAS SOUPS 8218 WITH SCORE 8230.13
AT ITER 6427 NEW BEST:: SOT 48964 SOS 12149 HAS SOPS 9236 HAS SOUS 9427 HAS SOUPS 8210 WITH SCORE 8222.149
AT ITER 6700 NEW BEST:: SOT 48959 SOS 12142 HAS SOPS 9229 HAS SOUS 9417 HAS SOUPS 8200 WITH SCORE 8212.142
AT ITER 6702 NEW BEST:: SOT 48937 SOS 12132 HAS SOPS 9204 HAS SOUS 9422 HAS SOUPS 8195 WITH SCORE 8207.132
AT ITER 6723 NEW BEST:: SOT 48932 SOS 12101 HAS SOPS 9178 HAS SOUS 9415 HAS SOUPS 8193 WITH SCORE 8205.101
AT ITER 6730 NEW BEST:: SOT 48928 SOS 12093 HAS SOPS 9170 HAS SOUS 9407 HAS SOUPS 8185 WITH SCORE 8197.093
AT ITER 6749 NEW BEST:: SOT 48928 SOS 12085 HAS SOPS 9162 HAS SOUS 9407 HAS SOUPS 8185 WITH SCORE 8197.085
AT ITER 6777 NEW BEST:: SOT 48930 SOS 12084 HAS SOPS 9161 HAS SOUS 9406 HAS SOUPS 8184 WITH SCORE 8196.084
AT ITER 6826 NEW BEST:: SOT 48932 SOS 12079 HAS SOPS 9156 HAS SOUS 9401 HAS SOUPS 8179 WITH SCORE 8191.079
AT ITER 6844 NEW BEST:: SOT 48930 SOS 12068 HAS SOPS 9145 HAS SOUS 9390 HAS SOUPS 8168 WITH SCORE 8180.068
AT ITER 6879 NEW BEST:: SOT 48928 SOS 12064 HAS SOPS 9141 HAS SOUS 9386 HAS SOUPS 8164 WITH SCORE 8176.064
AT ITER 7023 NEW BEST:: SOT 48932 SOS 12070 HAS SOPS 9139 HAS SOUS 9384 HAS SOUPS 8162 WITH SCORE 8174.07
AT ITER 7091 NEW BEST:: SOT 48932 SOS 12018 HAS SOPS 9087 HAS SOUS 9384 HAS SOUPS 8162 WITH SCORE 8174.018
AT ITER 7096 NEW BEST:: SOT 48928 SOS 12009 HAS SOPS 9084 HAS SOUS 9381 HAS SOUPS 8159 WITH SCORE 8171.009
AT ITER 7156 NEW BEST:: SOT 48940 SOS 12063 HAS SOPS 9072 HAS SOUS 9381 HAS SOUPS 8147 WITH SCORE 8159.063
AT ITER 7161 NEW BEST:: SOT 48938 SOS 12061 HAS SOPS 9072 HAS SOUS 9369 HAS SOUPS 8135 WITH SCORE 8147.061
AT ITER 7175 NEW BEST:: SOT 48936 SOS 12062 HAS SOPS 9068 HAS SOUS 9370 HAS SOUPS 8131 WITH SCORE 8143.062
AT ITER 7190 NEW BEST:: SOT 48933 SOS 12059 HAS SOPS 9059 HAS SOUS 9361 HAS SOUPS 8122 WITH SCORE 8134.059
AT ITER 7216 NEW BEST:: SOT 48933 SOS 12055 HAS SOPS 9054 HAS SOUS 9360 HAS SOUPS 8121 WITH SCORE 8133.055
AT ITER 7327 NEW BEST:: SOT 48932 SOS 12054 HAS SOPS 9053 HAS SOUS 9359 HAS SOUPS 8120 WITH SCORE 8132.054
AT ITER 7377 NEW BEST:: SOT 48929 SOS 12036 HAS SOPS 9047 HAS SOUS 9318 HAS SOUPS 8087 WITH SCORE 8099.036
AT ITER 7431 NEW BEST:: SOT 48924 SOS 12031 HAS SOPS 9037 HAS SOUS 9308 HAS SOUPS 8077 WITH SCORE 8089.031
AT ITER 7463 NEW BEST:: SOT 48924 SOS 12007 HAS SOPS 9025 HAS SOUS 9296 HAS SOUPS 8065 WITH SCORE 8077.007
AT ITER 7495 NEW BEST:: SOT 48927 SOS 12005 HAS SOPS 9025 HAS SOUS 9296 HAS SOUPS 8065 WITH SCORE 8077.005
AT ITER 7590 NEW BEST:: SOT 48919 SOS 11996 HAS SOPS 9016 HAS SOUS 9287 HAS SOUPS 8056 WITH SCORE 8067.996
AT ITER 7606 NEW BEST:: SOT 48917 SOS 11988 HAS SOPS 9009 HAS SOUS 9281 HAS SOUPS 8050 WITH SCORE 8061.988
AT ITER 7619 NEW BEST:: SOT 48916 SOS 11987 HAS SOPS 9005 HAS SOUS 9280 HAS SOUPS 8046 WITH SCORE 8057.987
AT ITER 7762 NEW BEST:: SOT 48902 SOS 11984 HAS SOPS 8994 HAS SOUS 9269 HAS SOUPS 8035 WITH SCORE 8046.984
AT ITER 7786 NEW BEST:: SOT 48882 SOS 11991 HAS SOPS 8954 HAS SOUS 9229 HAS SOUPS 7995 WITH SCORE 8006.991
AT ITER 7936 NEW BEST:: SOT 48882 SOS 11988 HAS SOPS 8951 HAS SOUS 9229 HAS SOUPS 7995 WITH SCORE 8006.988
AT ITER 8030 NEW BEST:: SOT 48882 SOS 11990 HAS SOPS 8949 HAS SOUS 9227 HAS SOUPS 7993 WITH SCORE 8004.99
AT ITER 8085 NEW BEST:: SOT 48884 SOS 11981 HAS SOPS 8937 HAS SOUS 9223 HAS SOUPS 7989 WITH SCORE 8000.981
AT ITER 8111 NEW BEST:: SOT 48856 SOS 12080 HAS SOPS 9038 HAS SOUS 9220 HAS SOUPS 7986 WITH SCORE 7998.08
AT ITER 8125 NEW BEST:: SOT 48853 SOS 12079 HAS SOPS 9037 HAS SOUS 9219 HAS SOUPS 7985 WITH SCORE 7997.079
AT ITER 8141 NEW BEST:: SOT 48775 SOS 11992 HAS SOPS 8950 HAS SOUS 9132 HAS SOUPS 7898 WITH SCORE 7909.992
AT ITER 8245 NEW BEST:: SOT 48779 SOS 11988 HAS SOPS 8950 HAS SOUS 9132 HAS SOUPS 7898 WITH SCORE 7909.988
AT ITER 8288 NEW BEST:: SOT 48779 SOS 11990 HAS SOPS 8948 HAS SOUS 9132 HAS SOUPS 7897 WITH SCORE 7908.99
AT ITER 8391 NEW BEST:: SOT 48770 SOS 11972 HAS SOPS 8930 HAS SOUS 9114 HAS SOUPS 7879 WITH SCORE 7890.972
AT ITER 8468 NEW BEST:: SOT 48769 SOS 11970 HAS SOPS 8928 HAS SOUS 9112 HAS SOUPS 7877 WITH SCORE 7888.97
AT ITER 8485 NEW BEST:: SOT 48778 SOS 11939 HAS SOPS 8896 HAS SOUS 9110 HAS SOUPS 7875 WITH SCORE 7886.939
AT ITER 8494 NEW BEST:: SOT 48769 SOS 11925 HAS SOPS 8894 HAS SOUS 9096 HAS SOUPS 7873 WITH SCORE 7884.925
AT ITER 8547 NEW BEST:: SOT 48768 SOS 11923 HAS SOPS 8892 HAS SOUS 9094 HAS SOUPS 7871 WITH SCORE 7882.923
AT ITER 8612 NEW BEST:: SOT 48768 SOS 11899 HAS SOPS 8868 HAS SOUS 9094 HAS SOUPS 7871 WITH SCORE 7882.899
AT ITER 8613 NEW BEST:: SOT 48766 SOS 11895 HAS SOPS 8864 HAS SOUS 9090 HAS SOUPS 7867 WITH SCORE 7878.895
AT ITER 8641 NEW BEST:: SOT 48768 SOS 11882 HAS SOPS 8866 HAS SOUS 9078 HAS SOUPS 7860 WITH SCORE 7871.882
AT ITER 8685 NEW BEST:: SOT 48752 SOS 11900 HAS SOPS 8852 HAS SOUS 9072 HAS SOUPS 7846 WITH SCORE 7857.9
AT ITER 8694 NEW BEST:: SOT 48753 SOS 11894 HAS SOPS 8847 HAS SOUS 9067 HAS SOUPS 7841 WITH SCORE 7852.894
AT ITER 8735 NEW BEST:: SOT 48755 SOS 12000 HAS SOPS 8837 HAS SOUS 9072 HAS SOUPS 7831 WITH SCORE 7843.0
AT ITER 8772 NEW BEST:: SOT 48773 SOS 11955 HAS SOPS 8803 HAS SOUS 9025 HAS SOUPS 7797 WITH SCORE 7808.955
AT ITER 8891 NEW BEST:: SOT 48774 SOS 11953 HAS SOPS 8800 HAS SOUS 9025 HAS SOUPS 7797 WITH SCORE 7808.953
AT ITER 8977 NEW BEST:: SOT 48773 SOS 11951 HAS SOPS 8798 HAS SOUS 9023 HAS SOUPS 7795 WITH SCORE 7806.951
AT ITER 9029 NEW BEST:: SOT 48772 SOS 11949 HAS SOPS 8796 HAS SOUS 9021 HAS SOUPS 7793 WITH SCORE 7804.949
AT ITER 9049 NEW BEST:: SOT 48766 SOS 11943 HAS SOPS 8796 HAS SOUS 9021 HAS SOUPS 7793 WITH SCORE 7804.943
AT ITER 9059 NEW BEST:: SOT 48761 SOS 11938 HAS SOPS 8789 HAS SOUS 9014 HAS SOUPS 7786 WITH SCORE 7797.938
AT ITER 9080 NEW BEST:: SOT 48756 SOS 11932 HAS SOPS 8783 HAS SOUS 9014 HAS SOUPS 7786 WITH SCORE 7797.932
AT ITER 9084 NEW BEST:: SOT 48753 SOS 11929 HAS SOPS 8780 HAS SOUS 9011 HAS SOUPS 7783 WITH SCORE 7794.929
AT ITER 9120 NEW BEST:: SOT 48752 SOS 11927 HAS SOPS 8778 HAS SOUS 9009 HAS SOUPS 7781 WITH SCORE 7792.927
AT ITER 9168 NEW BEST:: SOT 48743 SOS 11911 HAS SOPS 8768 HAS SOUS 8999 HAS SOUPS 7771 WITH SCORE 7782.911
AT ITER 9221 NEW BEST:: SOT 48740 SOS 11905 HAS SOPS 8762 HAS SOUS 8993 HAS SOUPS 7765 WITH SCORE 7776.905
AT ITER 9267 NEW BEST:: SOT 48737 SOS 11899 HAS SOPS 8756 HAS SOUS 8987 HAS SOUPS 7759 WITH SCORE 7770.899
AT ITER 9340 NEW BEST:: SOT 48739 SOS 11899 HAS SOPS 8755 HAS SOUS 8987 HAS SOUPS 7758 WITH SCORE 7769.899
AT ITER 9417 NEW BEST:: SOT 48739 SOS 11903 HAS SOPS 8751 HAS SOUS 8987 HAS SOUPS 7754 WITH SCORE 7765.903
AT ITER 9526 NEW BEST:: SOT 48739 SOS 11899 HAS SOPS 8747 HAS SOUS 8987 HAS SOUPS 7754 WITH SCORE 7765.899
AT ITER 9531 NEW BEST:: SOT 48737 SOS 11923 HAS SOPS 8736 HAS SOUS 8983 HAS SOUPS 7743 WITH SCORE 7754.923
AT ITER 9590 NEW BEST:: SOT 48736 SOS 11921 HAS SOPS 8735 HAS SOUS 8982 HAS SOUPS 7742 WITH SCORE 7753.921
AT ITER 9591 NEW BEST:: SOT 48734 SOS 11917 HAS SOPS 8731 HAS SOUS 8978 HAS SOUPS 7738 WITH SCORE 7749.917
AT ITER 9599 NEW BEST:: SOT 48734 SOS 11902 HAS SOPS 8716 HAS SOUS 8963 HAS SOUPS 7723 WITH SCORE 7734.902
AT ITER 9603 NEW BEST:: SOT 48738 SOS 11900 HAS SOPS 8714 HAS SOUS 8961 HAS SOUPS 7721 WITH SCORE 7732.9
AT ITER 9671 NEW BEST:: SOT 48729 SOS 11893 HAS SOPS 8701 HAS SOUS 8964 HAS SOUPS 7718 WITH SCORE 7729.893
AT ITER 9723 NEW BEST:: SOT 48728 SOS 11924 HAS SOPS 8732 HAS SOUS 8962 HAS SOUPS 7716 WITH SCORE 7727.924
AT ITER 9795 NEW BEST:: SOT 48726 SOS 11923 HAS SOPS 8731 HAS SOUS 8961 HAS SOUPS 7715 WITH SCORE 7726.923
AT ITER 9936 NEW BEST:: SOT 48718 SOS 12120 HAS SOPS 8661 HAS SOUS 8997 HAS SOUPS 7684 WITH SCORE 7696.12
STATE_SPACE STATES 3407946 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 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13631784 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589646493645

--------------------
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="Peterson-PT-3"
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 Peterson-PT-3, 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 r108-csrt-158961250900720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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