Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300552.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DLCround-PT-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 740K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 566K 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 1589128975178

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

Filename model.pnml
Petri model created: 299 places, 2243 transitions, 8689 arcs.
AT ITER 0 NEW BEST:: SOT 425059 SOS 356202 HAS SOPS 215063 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30914.202
AT ITER 7 NEW BEST:: SOT 425046 SOS 355266 HAS SOPS 214127 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30913.266
AT ITER 13 NEW BEST:: SOT 425305 SOS 355611 HAS SOPS 214042 HAS SOUS 44487 HAS SOUPS 30175 WITH SCORE 30530.611
AT ITER 22 NEW BEST:: SOT 425353 SOS 355746 HAS SOPS 213742 HAS SOUS 44247 HAS SOUPS 29599 WITH SCORE 29954.746
AT ITER 33 NEW BEST:: SOT 425296 SOS 352707 HAS SOPS 210703 HAS SOUS 44229 HAS SOUPS 29581 WITH SCORE 29933.707
AT ITER 37 NEW BEST:: SOT 425277 SOS 352460 HAS SOPS 210646 HAS SOUS 44153 HAS SOUPS 29524 WITH SCORE 29876.46
AT ITER 42 NEW BEST:: SOT 425230 SOS 352413 HAS SOPS 210599 HAS SOUS 44106 HAS SOUPS 29477 WITH SCORE 29829.413
AT ITER 46 NEW BEST:: SOT 423788 SOS 349365 HAS SOPS 209311 HAS SOUS 42652 HAS SOUPS 28199 WITH SCORE 28548.365
AT ITER 61 NEW BEST:: SOT 423677 SOS 349338 HAS SOPS 208864 HAS SOUS 41533 HAS SOUPS 27080 WITH SCORE 27429.338
AT ITER 63 NEW BEST:: SOT 423787 SOS 349564 HAS SOPS 208394 HAS SOUS 40740 HAS SOUPS 26107 WITH SCORE 26456.564
AT ITER 64 NEW BEST:: SOT 424154 SOS 350059 HAS SOPS 208121 HAS SOUS 39627 HAS SOUPS 24994 WITH SCORE 25344.059
AT ITER 79 NEW BEST:: SOT 424108 SOS 349392 HAS SOPS 207753 HAS SOUS 39558 HAS SOUPS 24948 WITH SCORE 25297.392
AT ITER 84 NEW BEST:: SOT 424112 SOS 349396 HAS SOPS 207757 HAS SOUS 39556 HAS SOUPS 24946 WITH SCORE 25295.396
AT ITER 87 NEW BEST:: SOT 424127 SOS 349411 HAS SOPS 207730 HAS SOUS 39529 HAS SOUPS 24919 WITH SCORE 25268.411
AT ITER 95 NEW BEST:: SOT 424102 SOS 349066 HAS SOPS 207385 HAS SOUS 39509 HAS SOUPS 24899 WITH SCORE 25248.066
AT ITER 105 NEW BEST:: SOT 424107 SOS 349097 HAS SOPS 207416 HAS SOUS 39424 HAS SOUPS 24814 WITH SCORE 25163.097
AT ITER 107 NEW BEST:: SOT 424117 SOS 349107 HAS SOPS 207350 HAS SOUS 39358 HAS SOUPS 24748 WITH SCORE 25097.107
AT ITER 111 NEW BEST:: SOT 424077 SOS 349067 HAS SOPS 207310 HAS SOUS 39318 HAS SOUPS 24708 WITH SCORE 25057.067
AT ITER 114 NEW BEST:: SOT 423754 SOS 347832 HAS SOPS 206995 HAS SOUS 38970 HAS SOUPS 24452 WITH SCORE 24799.832
AT ITER 116 NEW BEST:: SOT 423836 SOS 346649 HAS SOPS 206709 HAS SOUS 38858 HAS SOUPS 24409 WITH SCORE 24755.649
AT ITER 118 NEW BEST:: SOT 424174 SOS 347026 HAS SOPS 206852 HAS SOUS 38689 HAS SOUPS 24240 WITH SCORE 24587.026
AT ITER 124 NEW BEST:: SOT 424905 SOS 348417 HAS SOPS 207187 HAS SOUS 38830 HAS SOUPS 24203 WITH SCORE 24551.417
AT ITER 132 NEW BEST:: SOT 424786 SOS 347803 HAS SOPS 207043 HAS SOUS 38648 HAS SOUPS 24068 WITH SCORE 24415.803
AT ITER 133 NEW BEST:: SOT 424775 SOS 347792 HAS SOPS 207032 HAS SOUS 38637 HAS SOUPS 24057 WITH SCORE 24404.792
AT ITER 144 NEW BEST:: SOT 424821 SOS 346494 HAS SOPS 206488 HAS SOUS 38497 HAS SOUPS 23975 WITH SCORE 24321.494
AT ITER 145 NEW BEST:: SOT 424819 SOS 346477 HAS SOPS 206471 HAS SOUS 38496 HAS SOUPS 23974 WITH SCORE 24320.477
AT ITER 150 NEW BEST:: SOT 424754 SOS 345502 HAS SOPS 206341 HAS SOUS 38417 HAS SOUPS 23960 WITH SCORE 24305.502
AT ITER 151 NEW BEST:: SOT 424641 SOS 348466 HAS SOPS 207639 HAS SOUS 38396 HAS SOUPS 23939 WITH SCORE 24287.466
AT ITER 176 NEW BEST:: SOT 424554 SOS 346876 HAS SOPS 207629 HAS SOUS 38204 HAS SOUPS 23866 WITH SCORE 24212.876
AT ITER 189 NEW BEST:: SOT 424526 SOS 346848 HAS SOPS 207601 HAS SOUS 38176 HAS SOUPS 23838 WITH SCORE 24184.848
AT ITER 193 NEW BEST:: SOT 424527 SOS 344908 HAS SOPS 205960 HAS SOUS 38154 HAS SOUPS 23839 WITH SCORE 24183.908
AT ITER 201 NEW BEST:: SOT 424495 SOS 342151 HAS SOPS 203203 HAS SOUS 38154 HAS SOUPS 23839 WITH SCORE 24181.151
AT ITER 219 NEW BEST:: SOT 424207 SOS 339372 HAS SOPS 202515 HAS SOUS 37470 HAS SOUPS 22943 WITH SCORE 23282.372
AT ITER 221 NEW BEST:: SOT 424193 SOS 339116 HAS SOPS 202506 HAS SOUS 37423 HAS SOUPS 22915 WITH SCORE 23254.116
AT ITER 224 NEW BEST:: SOT 424216 SOS 339139 HAS SOPS 202447 HAS SOUS 37418 HAS SOUPS 22886 WITH SCORE 23225.139
AT ITER 241 NEW BEST:: SOT 424206 SOS 339071 HAS SOPS 202379 HAS SOUS 37408 HAS SOUPS 22876 WITH SCORE 23215.071
AT ITER 296 NEW BEST:: SOT 424136 SOS 335431 HAS SOPS 199298 HAS SOUS 37295 HAS SOUPS 22806 WITH SCORE 23141.431
AT ITER 298 NEW BEST:: SOT 423579 SOS 334412 HAS SOPS 198922 HAS SOUS 37228 HAS SOUPS 22754 WITH SCORE 23088.412
AT ITER 302 NEW BEST:: SOT 423544 SOS 332217 HAS SOPS 196727 HAS SOUS 37203 HAS SOUPS 22729 WITH SCORE 23061.217
AT ITER 303 NEW BEST:: SOT 423615 SOS 330343 HAS SOPS 195217 HAS SOUS 37149 HAS SOUPS 22703 WITH SCORE 23033.343
AT ITER 308 NEW BEST:: SOT 423675 SOS 329727 HAS SOPS 195199 HAS SOUS 37039 HAS SOUPS 22639 WITH SCORE 22968.727
AT ITER 314 NEW BEST:: SOT 423669 SOS 329699 HAS SOPS 195191 HAS SOUS 37031 HAS SOUPS 22633 WITH SCORE 22962.699
AT ITER 328 NEW BEST:: SOT 424213 SOS 330352 HAS SOPS 195190 HAS SOUS 36586 HAS SOUPS 22084 WITH SCORE 22414.352
AT ITER 334 NEW BEST:: SOT 424391 SOS 327963 HAS SOPS 193529 HAS SOUS 36532 HAS SOUPS 22086 WITH SCORE 22413.963
AT ITER 337 NEW BEST:: SOT 424358 SOS 327435 HAS SOPS 193430 HAS SOUS 36477 HAS SOUPS 22064 WITH SCORE 22391.435
AT ITER 340 NEW BEST:: SOT 424251 SOS 325818 HAS SOPS 192704 HAS SOUS 36282 HAS SOUPS 21935 WITH SCORE 22260.818
AT ITER 368 NEW BEST:: SOT 424191 SOS 325728 HAS SOPS 192644 HAS SOUS 36243 HAS SOUPS 21930 WITH SCORE 22255.728
AT ITER 384 NEW BEST:: SOT 424219 SOS 325955 HAS SOPS 192871 HAS SOUS 36223 HAS SOUPS 21910 WITH SCORE 22235.955
AT ITER 396 NEW BEST:: SOT 424077 SOS 325742 HAS SOPS 192800 HAS SOUS 36081 HAS SOUPS 21839 WITH SCORE 22164.742
AT ITER 400 NEW BEST:: SOT 424065 SOS 325562 HAS SOPS 192776 HAS SOUS 36069 HAS SOUPS 21839 WITH SCORE 22164.562
AT ITER 406 NEW BEST:: SOT 424065 SOS 325436 HAS SOPS 192650 HAS SOUS 36069 HAS SOUPS 21839 WITH SCORE 22164.436
AT ITER 421 NEW BEST:: SOT 424063 SOS 325433 HAS SOPS 192649 HAS SOUS 36067 HAS SOUPS 21838 WITH SCORE 22163.433
AT ITER 441 NEW BEST:: SOT 424057 SOS 325343 HAS SOPS 193066 HAS SOUS 36008 HAS SOUPS 21818 WITH SCORE 22143.343
AT ITER 453 NEW BEST:: SOT 424057 SOS 325189 HAS SOPS 193055 HAS SOUS 35985 HAS SOUPS 21806 WITH SCORE 22131.189
AT ITER 462 NEW BEST:: SOT 423987 SOS 325119 HAS SOPS 193020 HAS SOUS 35950 HAS SOUPS 21771 WITH SCORE 22096.119
AT ITER 468 NEW BEST:: SOT 423987 SOS 324694 HAS SOPS 192660 HAS SOUS 35945 HAS SOUPS 21771 WITH SCORE 22095.694
AT ITER 472 NEW BEST:: SOT 423982 SOS 324679 HAS SOPS 192645 HAS SOUS 35940 HAS SOUPS 21766 WITH SCORE 22090.679
AT ITER 490 NEW BEST:: SOT 424069 SOS 326065 HAS SOPS 192828 HAS SOUS 35992 HAS SOUPS 21728 WITH SCORE 22054.065
AT ITER 494 NEW BEST:: SOT 424069 SOS 326065 HAS SOPS 192828 HAS SOUS 35830 HAS SOUPS 21638 WITH SCORE 21964.065
AT ITER 495 NEW BEST:: SOT 423870 SOS 327358 HAS SOPS 192932 HAS SOUS 35793 HAS SOUPS 21593 WITH SCORE 21920.358
AT ITER 510 NEW BEST:: SOT 423891 SOS 327422 HAS SOPS 192781 HAS SOUS 35298 HAS SOUPS 21098 WITH SCORE 21425.422
AT ITER 515 NEW BEST:: SOT 423891 SOS 326451 HAS SOPS 192686 HAS SOUS 35216 HAS SOUPS 21003 WITH SCORE 21329.451
AT ITER 522 NEW BEST:: SOT 423891 SOS 326451 HAS SOPS 192686 HAS SOUS 35198 HAS SOUPS 20993 WITH SCORE 21319.451
AT ITER 526 NEW BEST:: SOT 423891 SOS 326451 HAS SOPS 192629 HAS SOUS 35171 HAS SOUPS 20966 WITH SCORE 21292.451
AT ITER 527 NEW BEST:: SOT 423684 SOS 326497 HAS SOPS 192589 HAS SOUS 34986 HAS SOUPS 20876 WITH SCORE 21202.497
AT ITER 532 NEW BEST:: SOT 423683 SOS 326482 HAS SOPS 192574 HAS SOUS 34980 HAS SOUPS 20870 WITH SCORE 21196.482
AT ITER 533 NEW BEST:: SOT 423692 SOS 326968 HAS SOPS 192709 HAS SOUS 34953 HAS SOUPS 20816 WITH SCORE 21142.968
AT ITER 536 NEW BEST:: SOT 423690 SOS 326914 HAS SOPS 192681 HAS SOUS 34949 HAS SOUPS 20814 WITH SCORE 21140.914
AT ITER 539 NEW BEST:: SOT 423669 SOS 326893 HAS SOPS 192681 HAS SOUS 34916 HAS SOUPS 20777 WITH SCORE 21103.893
AT ITER 548 NEW BEST:: SOT 423679 SOS 324135 HAS SOPS 190586 HAS SOUS 34817 HAS SOUPS 20729 WITH SCORE 21053.135
AT ITER 550 NEW BEST:: SOT 423643 SOS 324081 HAS SOPS 190550 HAS SOUS 34760 HAS SOUPS 20694 WITH SCORE 21018.081
AT ITER 551 NEW BEST:: SOT 423556 SOS 323149 HAS SOPS 190749 HAS SOUS 34471 HAS SOUPS 20492 WITH SCORE 20815.149
AT ITER 553 NEW BEST:: SOT 424064 SOS 323714 HAS SOPS 190972 HAS SOUS 34238 HAS SOUPS 20259 WITH SCORE 20582.714
AT ITER 568 NEW BEST:: SOT 424047 SOS 321733 HAS SOPS 190671 HAS SOUS 34582 HAS SOUPS 20191 WITH SCORE 20512.733
AT ITER 573 NEW BEST:: SOT 424030 SOS 321478 HAS SOPS 190416 HAS SOUS 34531 HAS SOUPS 20140 WITH SCORE 20461.478
AT ITER 581 NEW BEST:: SOT 424017 SOS 320615 HAS SOPS 189696 HAS SOUS 34507 HAS SOUPS 20127 WITH SCORE 20447.615
AT ITER 592 NEW BEST:: SOT 424297 SOS 321175 HAS SOPS 189836 HAS SOUS 34375 HAS SOUPS 19995 WITH SCORE 20316.175
AT ITER 600 NEW BEST:: SOT 424311 SOS 321189 HAS SOPS 189830 HAS SOUS 34369 HAS SOUPS 19989 WITH SCORE 20310.189
AT ITER 603 NEW BEST:: SOT 424308 SOS 321144 HAS SOPS 189785 HAS SOUS 34366 HAS SOUPS 19986 WITH SCORE 20307.144
AT ITER 614 NEW BEST:: SOT 424473 SOS 321444 HAS SOPS 189875 HAS SOUS 34336 HAS SOUPS 19956 WITH SCORE 20277.444
AT ITER 619 NEW BEST:: SOT 424529 SOS 321415 HAS SOPS 189846 HAS SOUS 34332 HAS SOUPS 19952 WITH SCORE 20273.415
AT ITER 623 NEW BEST:: SOT 424489 SOS 321355 HAS SOPS 189826 HAS SOUS 34248 HAS SOUPS 19906 WITH SCORE 20227.355
AT ITER 630 NEW BEST:: SOT 423579 SOS 319626 HAS SOPS 189280 HAS SOUS 33980 HAS SOUPS 19838 WITH SCORE 20157.626
AT ITER 636 NEW BEST:: SOT 422691 SOS 318595 HAS SOPS 188535 HAS SOUS 33851 HAS SOUPS 19831 WITH SCORE 20149.595
AT ITER 645 NEW BEST:: SOT 422670 SOS 318553 HAS SOPS 188535 HAS SOUS 33770 HAS SOUPS 19771 WITH SCORE 20089.553
AT ITER 646 NEW BEST:: SOT 422546 SOS 314818 HAS SOPS 185359 HAS SOUS 33660 HAS SOUPS 19704 WITH SCORE 20018.818
AT ITER 662 NEW BEST:: SOT 422519 SOS 314257 HAS SOPS 185383 HAS SOUS 33561 HAS SOUPS 19650 WITH SCORE 19964.257
AT ITER 684 NEW BEST:: SOT 422522 SOS 313933 HAS SOPS 185359 HAS SOUS 33477 HAS SOUPS 19596 WITH SCORE 19909.933
AT ITER 690 NEW BEST:: SOT 422536 SOS 314026 HAS SOPS 185452 HAS SOUS 33466 HAS SOUPS 19585 WITH SCORE 19899.026
AT ITER 706 NEW BEST:: SOT 422356 SOS 313636 HAS SOPS 185347 HAS SOUS 33451 HAS SOUPS 19585 WITH SCORE 19898.636
AT ITER 732 NEW BEST:: SOT 422334 SOS 313586 HAS SOPS 185333 HAS SOUS 33449 HAS SOUPS 19585 WITH SCORE 19898.586
AT ITER 737 NEW BEST:: SOT 422334 SOS 313586 HAS SOPS 185333 HAS SOUS 33443 HAS SOUPS 19579 WITH SCORE 19892.586
AT ITER 762 NEW BEST:: SOT 422350 SOS 313715 HAS SOPS 184877 HAS SOUS 33456 HAS SOUPS 19547 WITH SCORE 19860.715
AT ITER 763 NEW BEST:: SOT 422179 SOS 313430 HAS SOPS 184763 HAS SOUS 33383 HAS SOUPS 19531 WITH SCORE 19844.43
AT ITER 768 NEW BEST:: SOT 423405 SOS 316365 HAS SOPS 185513 HAS SOUS 33367 HAS SOUPS 19361 WITH SCORE 19677.365
AT ITER 789 NEW BEST:: SOT 423395 SOS 316355 HAS SOPS 185513 HAS SOUS 33367 HAS SOUPS 19361 WITH SCORE 19677.355
AT ITER 814 NEW BEST:: SOT 423350 SOS 316310 HAS SOPS 185468 HAS SOUS 33367 HAS SOUPS 19361 WITH SCORE 19677.31
AT ITER 817 NEW BEST:: SOT 423326 SOS 314936 HAS SOPS 184757 HAS SOUS 33273 HAS SOUPS 19318 WITH SCORE 19632.936
AT ITER 824 NEW BEST:: SOT 423256 SOS 314866 HAS SOPS 184757 HAS SOUS 33273 HAS SOUPS 19318 WITH SCORE 19632.866
AT ITER 864 NEW BEST:: SOT 423269 SOS 315115 HAS SOPS 184789 HAS SOUS 33274 HAS SOUPS 19304 WITH SCORE 19619.115
AT ITER 882 NEW BEST:: SOT 422475 SOS 313583 HAS SOPS 184247 HAS SOUS 33194 HAS SOUPS 19290 WITH SCORE 19603.583
AT ITER 905 NEW BEST:: SOT 422475 SOS 313583 HAS SOPS 184247 HAS SOUS 33141 HAS SOUPS 19257 WITH SCORE 19570.583
AT ITER 927 NEW BEST:: SOT 422410 SOS 313518 HAS SOPS 184247 HAS SOUS 33078 HAS SOUPS 19174 WITH SCORE 19487.518
AT ITER 968 NEW BEST:: SOT 422414 SOS 313496 HAS SOPS 184225 HAS SOUS 33076 HAS SOUPS 19172 WITH SCORE 19485.496
AT ITER 1017 NEW BEST:: SOT 422386 SOS 313245 HAS SOPS 184169 HAS SOUS 33033 HAS SOUPS 19144 WITH SCORE 19457.245
AT ITER 1043 NEW BEST:: SOT 422384 SOS 313217 HAS SOPS 184141 HAS SOUS 33031 HAS SOUPS 19142 WITH SCORE 19455.217
AT ITER 1050 NEW BEST:: SOT 422338 SOS 314087 HAS SOPS 184231 HAS SOUS 33042 HAS SOUPS 19127 WITH SCORE 19441.087
AT ITER 1058 NEW BEST:: SOT 422359 SOS 314129 HAS SOPS 184231 HAS SOUS 33072 HAS SOUPS 19125 WITH SCORE 19439.129
AT ITER 1070 NEW BEST:: SOT 422324 SOS 316397 HAS SOPS 186499 HAS SOUS 33047 HAS SOUPS 19100 WITH SCORE 19416.397
AT ITER 1077 NEW BEST:: SOT 422285 SOS 315809 HAS SOPS 186470 HAS SOUS 32989 HAS SOUPS 19085 WITH SCORE 19400.809
AT ITER 1078 NEW BEST:: SOT 422306 SOS 316014 HAS SOPS 186455 HAS SOUS 32997 HAS SOUPS 19071 WITH SCORE 19387.014
AT ITER 1079 NEW BEST:: SOT 422302 SOS 316054 HAS SOPS 186443 HAS SOUS 32989 HAS SOUPS 19059 WITH SCORE 19375.054
AT ITER 1105 NEW BEST:: SOT 422278 SOS 316030 HAS SOPS 186419 HAS SOUS 32973 HAS SOUPS 19043 WITH SCORE 19359.03
AT ITER 1128 NEW BEST:: SOT 422290 SOS 315746 HAS SOPS 186355 HAS SOUS 32971 HAS SOUPS 19041 WITH SCORE 19356.746
AT ITER 1131 NEW BEST:: SOT 422317 SOS 315773 HAS SOPS 186355 HAS SOUS 32962 HAS SOUPS 19036 WITH SCORE 19351.773
AT ITER 1134 NEW BEST:: SOT 422309 SOS 314912 HAS SOPS 185494 HAS SOUS 32943 HAS SOUPS 19017 WITH SCORE 19331.912
AT ITER 1152 NEW BEST:: SOT 422296 SOS 314580 HAS SOPS 185409 HAS SOUS 32924 HAS SOUPS 19017 WITH SCORE 19331.58
AT ITER 1175 NEW BEST:: SOT 422188 SOS 314382 HAS SOPS 185355 HAS SOUS 32915 HAS SOUPS 19017 WITH SCORE 19331.382
AT ITER 1179 NEW BEST:: SOT 422204 SOS 310701 HAS SOPS 182532 HAS SOUS 32824 HAS SOUPS 18992 WITH SCORE 19302.701
AT ITER 1183 NEW BEST:: SOT 422400 SOS 310965 HAS SOPS 182626 HAS SOUS 32697 HAS SOUPS 18857 WITH SCORE 19167.965
AT ITER 1201 NEW BEST:: SOT 422366 SOS 310421 HAS SOPS 182524 HAS SOUS 32619 HAS SOUPS 18813 WITH SCORE 19123.421
AT ITER 1229 NEW BEST:: SOT 421393 SOS 308220 HAS SOPS 180656 HAS SOUS 32604 HAS SOUPS 18747 WITH SCORE 19055.22
AT ITER 1230 NEW BEST:: SOT 421276 SOS 308116 HAS SOPS 180656 HAS SOUS 32448 HAS SOUPS 18747 WITH SCORE 19055.116
AT ITER 1233 NEW BEST:: SOT 421276 SOS 308116 HAS SOPS 180656 HAS SOUS 32445 HAS SOUPS 18745 WITH SCORE 19053.116
AT ITER 1249 NEW BEST:: SOT 420781 SOS 307351 HAS SOPS 180137 HAS SOUS 32423 HAS SOUPS 18723 WITH SCORE 19030.351
AT ITER 1250 NEW BEST:: SOT 420769 SOS 307327 HAS SOPS 180113 HAS SOUS 32411 HAS SOUPS 18711 WITH SCORE 19018.327
AT ITER 1262 NEW BEST:: SOT 420361 SOS 306747 HAS SOPS 179719 HAS SOUS 32373 HAS SOUPS 18673 WITH SCORE 18979.747
AT ITER 1303 NEW BEST:: SOT 420207 SOS 306453 HAS SOPS 179635 HAS SOUS 32359 HAS SOUPS 18673 WITH SCORE 18979.453
AT ITER 1327 NEW BEST:: SOT 420256 SOS 306543 HAS SOPS 179643 HAS SOUS 32368 HAS SOUPS 18656 WITH SCORE 18962.543
AT ITER 1331 NEW BEST:: SOT 420252 SOS 306539 HAS SOPS 179643 HAS SOUS 32360 HAS SOUPS 18648 WITH SCORE 18954.539
AT ITER 1368 NEW BEST:: SOT 419549 SOS 299635 HAS SOPS 173861 HAS SOUS 32337 HAS SOUPS 18643 WITH SCORE 18942.635
AT ITER 1383 NEW BEST:: SOT 419604 SOS 299740 HAS SOPS 173886 HAS SOUS 32337 HAS SOUPS 18638 WITH SCORE 18937.74
AT ITER 1390 NEW BEST:: SOT 419877 SOS 299884 HAS SOPS 174041 HAS SOUS 32294 HAS SOUPS 18637 WITH SCORE 18936.884
AT ITER 1435 NEW BEST:: SOT 419843 SOS 299824 HAS SOPS 174033 HAS SOUS 32260 HAS SOUPS 18629 WITH SCORE 18928.824
AT ITER 1455 NEW BEST:: SOT 419356 SOS 297257 HAS SOPS 172508 HAS SOUS 32195 HAS SOUPS 18579 WITH SCORE 18876.257
AT ITER 1459 NEW BEST:: SOT 419595 SOS 296110 HAS SOPS 172286 HAS SOUS 32169 HAS SOUPS 18541 WITH SCORE 18837.11
AT ITER 1483 NEW BEST:: SOT 419695 SOS 296290 HAS SOPS 172346 HAS SOUS 32153 HAS SOUPS 18535 WITH SCORE 18831.29
AT ITER 1486 NEW BEST:: SOT 419357 SOS 295937 HAS SOPS 172128 HAS SOUS 32151 HAS SOUPS 18533 WITH SCORE 18828.937
AT ITER 1495 NEW BEST:: SOT 418795 SOS 294937 HAS SOPS 171320 HAS SOUS 32169 HAS SOUPS 18532 WITH SCORE 18826.937
AT ITER 1505 NEW BEST:: SOT 418923 SOS 295087 HAS SOPS 171404 HAS SOUS 32165 HAS SOUPS 18528 WITH SCORE 18823.087
AT ITER 1508 NEW BEST:: SOT 418953 SOS 295117 HAS SOPS 171388 HAS SOUS 32140 HAS SOUPS 18507 WITH SCORE 18802.117
AT ITER 1516 NEW BEST:: SOT 418912 SOS 295076 HAS SOPS 171388 HAS SOUS 32140 HAS SOUPS 18507 WITH SCORE 18802.076
AT ITER 1544 NEW BEST:: SOT 418777 SOS 294956 HAS SOPS 171388 HAS SOUS 31951 HAS SOUPS 18501 WITH SCORE 18795.956
AT ITER 1565 NEW BEST:: SOT 418815 SOS 294959 HAS SOPS 171364 HAS SOUS 31926 HAS SOUPS 18488 WITH SCORE 18782.959
AT ITER 1574 NEW BEST:: SOT 418518 SOS 294392 HAS SOPS 171202 HAS SOUS 31899 HAS SOUPS 18488 WITH SCORE 18782.392
AT ITER 1577 NEW BEST:: SOT 418486 SOS 294524 HAS SOPS 171195 HAS SOUS 31904 HAS SOUPS 18487 WITH SCORE 18781.524
AT ITER 1593 NEW BEST:: SOT 418515 SOS 293796 HAS SOPS 170844 HAS SOUS 31859 HAS SOUPS 18471 WITH SCORE 18764.796
AT ITER 1629 NEW BEST:: SOT 418912 SOS 294497 HAS SOPS 171063 HAS SOUS 31850 HAS SOUPS 18462 WITH SCORE 18756.497
AT ITER 1650 NEW BEST:: SOT 418892 SOS 293554 HAS SOPS 170477 HAS SOUS 31830 HAS SOUPS 18442 WITH SCORE 18735.554
AT ITER 1658 NEW BEST:: SOT 418864 SOS 293078 HAS SOPS 170391 HAS SOUS 31750 HAS SOUPS 18392 WITH SCORE 18685.078
AT ITER 1671 NEW BEST:: SOT 418748 SOS 292890 HAS SOPS 170203 HAS SOUS 31647 HAS SOUPS 18289 WITH SCORE 18581.89
AT ITER 1708 NEW BEST:: SOT 418811 SOS 292209 HAS SOPS 169840 HAS SOUS 31582 HAS SOUPS 18235 WITH SCORE 18527.209
AT ITER 1761 NEW BEST:: SOT 418819 SOS 292227 HAS SOPS 169845 HAS SOUS 31581 HAS SOUPS 18234 WITH SCORE 18526.227
AT ITER 1767 NEW BEST:: SOT 418815 SOS 292193 HAS SOPS 169785 HAS SOUS 31581 HAS SOUPS 18232 WITH SCORE 18524.193
AT ITER 1776 NEW BEST:: SOT 418909 SOS 292436 HAS SOPS 169850 HAS SOUS 31562 HAS SOUPS 18201 WITH SCORE 18493.436
AT ITER 1804 NEW BEST:: SOT 418893 SOS 292196 HAS SOPS 169610 HAS SOUS 31562 HAS SOUPS 18201 WITH SCORE 18493.196
AT ITER 1823 NEW BEST:: SOT 418973 SOS 292276 HAS SOPS 169610 HAS SOUS 31553 HAS SOUPS 18196 WITH SCORE 18488.276
AT ITER 1835 NEW BEST:: SOT 418951 SOS 292254 HAS SOPS 169600 HAS SOUS 31551 HAS SOUPS 18194 WITH SCORE 18486.254
AT ITER 1844 NEW BEST:: SOT 417996 SOS 290082 HAS SOPS 168992 HAS SOUS 31451 HAS SOUPS 18181 WITH SCORE 18471.082
AT ITER 1863 NEW BEST:: SOT 418046 SOS 290132 HAS SOPS 168992 HAS SOUS 31442 HAS SOUPS 18176 WITH SCORE 18466.132
AT ITER 1872 NEW BEST:: SOT 417418 SOS 289450 HAS SOPS 168620 HAS SOUS 31438 HAS SOUPS 18172 WITH SCORE 18461.45
AT ITER 1895 NEW BEST:: SOT 417958 SOS 290440 HAS SOPS 168890 HAS SOUS 31410 HAS SOUPS 18099 WITH SCORE 18389.44
AT ITER 1900 NEW BEST:: SOT 418354 SOS 291166 HAS SOPS 169088 HAS SOUS 31393 HAS SOUPS 18049 WITH SCORE 18340.166
AT ITER 1904 NEW BEST:: SOT 418348 SOS 291160 HAS SOPS 169088 HAS SOUS 31366 HAS SOUPS 18034 WITH SCORE 18325.16
AT ITER 1907 NEW BEST:: SOT 418322 SOS 291134 HAS SOPS 169088 HAS SOUS 31366 HAS SOUPS 18034 WITH SCORE 18325.134
AT ITER 1911 NEW BEST:: SOT 418301 SOS 290685 HAS SOPS 168630 HAS SOUS 31355 HAS SOUPS 18023 WITH SCORE 18313.685
AT ITER 1920 NEW BEST:: SOT 418238 SOS 290629 HAS SOPS 168630 HAS SOUS 31265 HAS SOUPS 18019 WITH SCORE 18309.629
AT ITER 1939 NEW BEST:: SOT 418128 SOS 292245 HAS SOPS 169522 HAS SOUS 31244 HAS SOUPS 18016 WITH SCORE 18308.245
AT ITER 1946 NEW BEST:: SOT 418121 SOS 292238 HAS SOPS 169515 HAS SOUS 31237 HAS SOUPS 18009 WITH SCORE 18301.238
AT ITER 1950 NEW BEST:: SOT 418110 SOS 292606 HAS SOPS 169883 HAS SOUS 31215 HAS SOUPS 17987 WITH SCORE 18279.606
AT ITER 1953 NEW BEST:: SOT 418091 SOS 289982 HAS SOPS 167636 HAS SOUS 31170 HAS SOUPS 17971 WITH SCORE 18260.982
AT ITER 1955 NEW BEST:: SOT 418091 SOS 289982 HAS SOPS 167636 HAS SOUS 31161 HAS SOUPS 17966 WITH SCORE 18255.982
AT ITER 1964 NEW BEST:: SOT 418079 SOS 289970 HAS SOPS 167636 HAS SOUS 31161 HAS SOUPS 17966 WITH SCORE 18255.97
AT ITER 1981 NEW BEST:: SOT 417534 SOS 288633 HAS SOPS 167106 HAS SOUS 31081 HAS SOUPS 17924 WITH SCORE 18212.633
AT ITER 1985 NEW BEST:: SOT 417521 SOS 288615 HAS SOPS 167080 HAS SOUS 31060 HAS SOUPS 17908 WITH SCORE 18196.615
AT ITER 2016 NEW BEST:: SOT 417349 SOS 288315 HAS SOPS 166844 HAS SOUS 31046 HAS SOUPS 17894 WITH SCORE 18182.315
AT ITER 2022 NEW BEST:: SOT 417217 SOS 287875 HAS SOPS 166602 HAS SOUS 31013 HAS SOUPS 17872 WITH SCORE 18159.875
AT ITER 2025 NEW BEST:: SOT 416322 SOS 285760 HAS SOPS 165996 HAS SOUS 30913 HAS SOUPS 17843 WITH SCORE 18128.76
AT ITER 2050 NEW BEST:: SOT 416321 SOS 285759 HAS SOPS 165996 HAS SOUS 30913 HAS SOUPS 17843 WITH SCORE 18128.759
AT ITER 2060 NEW BEST:: SOT 416132 SOS 285335 HAS SOPS 165537 HAS SOUS 30932 HAS SOUPS 17835 WITH SCORE 18120.335
AT ITER 2075 NEW BEST:: SOT 415747 SOS 284460 HAS SOPS 165292 HAS SOUS 30862 HAS SOUPS 17800 WITH SCORE 18084.46
AT ITER 2088 NEW BEST:: SOT 416203 SOS 284921 HAS SOPS 165507 HAS SOUS 30846 HAS SOUPS 17784 WITH SCORE 18068.921
AT ITER 2101 NEW BEST:: SOT 416203 SOS 284897 HAS SOPS 165483 HAS SOUS 30846 HAS SOUPS 17784 WITH SCORE 18068.897
AT ITER 2110 NEW BEST:: SOT 416206 SOS 284828 HAS SOPS 165479 HAS SOUS 30837 HAS SOUPS 17780 WITH SCORE 18064.828
AT ITER 2111 NEW BEST:: SOT 415794 SOS 283693 HAS SOPS 165000 HAS SOUS 30771 HAS SOUPS 17758 WITH SCORE 18041.693
AT ITER 2142 NEW BEST:: SOT 415785 SOS 283685 HAS SOPS 165000 HAS SOUS 30756 HAS SOUPS 17756 WITH SCORE 18039.685
AT ITER 2150 NEW BEST:: SOT 415332 SOS 282398 HAS SOPS 164506 HAS SOUS 30700 HAS SOUPS 17743 WITH SCORE 18025.398
AT ITER 2167 NEW BEST:: SOT 415069 SOS 281392 HAS SOPS 163916 HAS SOUS 30680 HAS SOUPS 17723 WITH SCORE 18004.392
AT ITER 2188 NEW BEST:: SOT 415044 SOS 281342 HAS SOPS 163474 HAS SOUS 30664 HAS SOUPS 17679 WITH SCORE 17960.342
AT ITER 2190 NEW BEST:: SOT 415047 SOS 281339 HAS SOPS 163471 HAS SOUS 30658 HAS SOUPS 17673 WITH SCORE 17954.339
AT ITER 2202 NEW BEST:: SOT 415045 SOS 281309 HAS SOPS 163454 HAS SOUS 30656 HAS SOUPS 17672 WITH SCORE 17953.309
AT ITER 2217 NEW BEST:: SOT 415072 SOS 281375 HAS SOPS 163472 HAS SOUS 30655 HAS SOUPS 17668 WITH SCORE 17949.375
AT ITER 2266 NEW BEST:: SOT 414988 SOS 281186 HAS SOPS 163325 HAS SOUS 30641 HAS SOUPS 17654 WITH SCORE 17935.186
AT ITER 2287 NEW BEST:: SOT 414987 SOS 281185 HAS SOPS 163325 HAS SOUS 30641 HAS SOUPS 17654 WITH SCORE 17935.185
AT ITER 2290 NEW BEST:: SOT 414986 SOS 281156 HAS SOPS 163237 HAS SOUS 30636 HAS SOUPS 17630 WITH SCORE 17911.156
AT ITER 2299 NEW BEST:: SOT 414986 SOS 281156 HAS SOPS 163237 HAS SOUS 30600 HAS SOUPS 17610 WITH SCORE 17891.156
AT ITER 2310 NEW BEST:: SOT 414985 SOS 281128 HAS SOPS 163222 HAS SOUS 30599 HAS SOUPS 17610 WITH SCORE 17891.128
AT ITER 2334 NEW BEST:: SOT 414897 SOS 280920 HAS SOPS 163054 HAS SOUS 30583 HAS SOUPS 17594 WITH SCORE 17874.92
AT ITER 2338 NEW BEST:: SOT 414897 SOS 280920 HAS SOPS 163054 HAS SOUS 30403 HAS SOUPS 17494 WITH SCORE 17774.92
AT ITER 2341 NEW BEST:: SOT 414884 SOS 281133 HAS SOPS 163027 HAS SOUS 30423 HAS SOUPS 17490 WITH SCORE 17771.133
AT ITER 2347 NEW BEST:: SOT 414331 SOS 279940 HAS SOPS 162610 HAS SOUS 30375 HAS SOUPS 17470 WITH SCORE 17749.94
AT ITER 2358 NEW BEST:: SOT 414330 SOS 279939 HAS SOPS 162610 HAS SOUS 30375 HAS SOUPS 17470 WITH SCORE 17749.939
AT ITER 2448 NEW BEST:: SOT 414392 SOS 280007 HAS SOPS 162588 HAS SOUS 30359 HAS SOUPS 17451 WITH SCORE 17731.007
AT ITER 2472 NEW BEST:: SOT 414399 SOS 280007 HAS SOPS 162588 HAS SOUS 30345 HAS SOUPS 17437 WITH SCORE 17717.007
AT ITER 2479 NEW BEST:: SOT 414399 SOS 280007 HAS SOPS 162588 HAS SOUS 30336 HAS SOUPS 17432 WITH SCORE 17712.007
AT ITER 2493 NEW BEST:: SOT 414746 SOS 280933 HAS SOPS 162976 HAS SOUS 30099 HAS SOUPS 17381 WITH SCORE 17661.933
AT ITER 2510 NEW BEST:: SOT 414769 SOS 280834 HAS SOPS 162877 HAS SOUS 30061 HAS SOUPS 17343 WITH SCORE 17623.834
AT ITER 2519 NEW BEST:: SOT 414768 SOS 280832 HAS SOPS 162875 HAS SOUS 30060 HAS SOUPS 17342 WITH SCORE 17622.832
AT ITER 2556 NEW BEST:: SOT 414742 SOS 280804 HAS SOPS 162859 HAS SOUS 30060 HAS SOUPS 17342 WITH SCORE 17622.804
AT ITER 2560 NEW BEST:: SOT 414728 SOS 280790 HAS SOPS 162859 HAS SOUS 30060 HAS SOUPS 17342 WITH SCORE 17622.79
AT ITER 2568 NEW BEST:: SOT 414617 SOS 279887 HAS SOPS 162108 HAS SOUS 30037 HAS SOUPS 17327 WITH SCORE 17606.887
AT ITER 2587 NEW BEST:: SOT 414601 SOS 279871 HAS SOPS 162092 HAS SOUS 30021 HAS SOUPS 17311 WITH SCORE 17590.871
AT ITER 2609 NEW BEST:: SOT 414609 SOS 279276 HAS SOPS 161887 HAS SOUS 30007 HAS SOUPS 17310 WITH SCORE 17589.276
AT ITER 2611 NEW BEST:: SOT 414621 SOS 279298 HAS SOPS 161893 HAS SOUS 30007 HAS SOUPS 17309 WITH SCORE 17588.298
AT ITER 2642 NEW BEST:: SOT 414618 SOS 279253 HAS SOPS 161848 HAS SOUS 30007 HAS SOUPS 17309 WITH SCORE 17588.253
AT ITER 2645 NEW BEST:: SOT 414602 SOS 279243 HAS SOPS 161838 HAS SOUS 30005 HAS SOUPS 17305 WITH SCORE 17584.243
AT ITER 2648 NEW BEST:: SOT 414482 SOS 279013 HAS SOPS 161768 HAS SOUS 29995 HAS SOUPS 17305 WITH SCORE 17584.013
AT ITER 2731 NEW BEST:: SOT 414481 SOS 279011 HAS SOPS 161766 HAS SOUS 29993 HAS SOUPS 17303 WITH SCORE 17582.011
AT ITER 2756 NEW BEST:: SOT 414480 SOS 279010 HAS SOPS 161765 HAS SOUS 29992 HAS SOUPS 17302 WITH SCORE 17581.01
AT ITER 2763 NEW BEST:: SOT 414491 SOS 279040 HAS SOPS 161768 HAS SOUS 29992 HAS SOUPS 17294 WITH SCORE 17573.04
AT ITER 2808 NEW BEST:: SOT 414466 SOS 278038 HAS SOPS 160896 HAS SOUS 29978 HAS SOUPS 17290 WITH SCORE 17568.038
AT ITER 2834 NEW BEST:: SOT 414430 SOS 278128 HAS SOPS 160869 HAS SOUS 29969 HAS SOUPS 17272 WITH SCORE 17550.128
AT ITER 2840 NEW BEST:: SOT 414418 SOS 277955 HAS SOPS 160787 HAS SOUS 29952 HAS SOUPS 17262 WITH SCORE 17539.955
AT ITER 2873 NEW BEST:: SOT 413405 SOS 275730 HAS SOPS 160097 HAS SOUS 29838 HAS SOUPS 17211 WITH SCORE 17486.73
AT ITER 2936 NEW BEST:: SOT 413495 SOS 275966 HAS SOPS 160157 HAS SOUS 29852 HAS SOUPS 17195 WITH SCORE 17470.966
AT ITER 2969 NEW BEST:: SOT 413476 SOS 275949 HAS SOPS 160163 HAS SOUS 29834 HAS SOUPS 17175 WITH SCORE 17450.949
AT ITER 2981 NEW BEST:: SOT 413480 SOS 275785 HAS SOPS 160051 HAS SOUS 29830 HAS SOUPS 17175 WITH SCORE 17450.785
AT ITER 2989 NEW BEST:: SOT 413459 SOS 275741 HAS SOPS 160041 HAS SOUS 29812 HAS SOUPS 17172 WITH SCORE 17447.741
AT ITER 3020 NEW BEST:: SOT 413116 SOS 273074 HAS SOPS 158037 HAS SOUS 29751 HAS SOUPS 17142 WITH SCORE 17415.074
AT ITER 3028 NEW BEST:: SOT 413116 SOS 273074 HAS SOPS 158037 HAS SOUS 29748 HAS SOUPS 17140 WITH SCORE 17413.074
AT ITER 3042 NEW BEST:: SOT 412682 SOS 270077 HAS SOPS 156637 HAS SOUS 29669 HAS SOUPS 17070 WITH SCORE 17340.077
AT ITER 3047 NEW BEST:: SOT 412692 SOS 269397 HAS SOPS 155957 HAS SOUS 29648 HAS SOUPS 17049 WITH SCORE 17318.397
AT ITER 3057 NEW BEST:: SOT 412667 SOS 269372 HAS SOPS 155957 HAS SOUS 29620 HAS SOUPS 17021 WITH SCORE 17290.372
AT ITER 3066 NEW BEST:: SOT 412708 SOS 269487 HAS SOPS 155986 HAS SOUS 29599 HAS SOUPS 16988 WITH SCORE 17257.487
AT ITER 3076 NEW BEST:: SOT 412708 SOS 269487 HAS SOPS 155986 HAS SOUS 29581 HAS SOUPS 16978 WITH SCORE 17247.487
AT ITER 3086 NEW BEST:: SOT 412702 SOS 268293 HAS SOPS 154792 HAS SOUS 29579 HAS SOUPS 16976 WITH SCORE 17244.293
AT ITER 3092 NEW BEST:: SOT 412606 SOS 268197 HAS SOPS 154696 HAS SOUS 29579 HAS SOUPS 16976 WITH SCORE 17244.197
AT ITER 3093 NEW BEST:: SOT 412606 SOS 268197 HAS SOPS 154696 HAS SOUS 29543 HAS SOUPS 16956 WITH SCORE 17224.197
AT ITER 3127 NEW BEST:: SOT 413080 SOS 269080 HAS SOPS 154971 HAS SOUS 29558 HAS SOUPS 16933 WITH SCORE 17202.08
AT ITER 3138 NEW BEST:: SOT 412888 SOS 268712 HAS SOPS 154683 HAS SOUS 29542 HAS SOUPS 16917 WITH SCORE 17185.712
AT ITER 3228 NEW BEST:: SOT 412886 SOS 268552 HAS SOPS 154523 HAS SOUS 29528 HAS SOUPS 16903 WITH SCORE 17171.552
AT ITER 3287 NEW BEST:: SOT 412872 SOS 268476 HAS SOPS 154507 HAS SOUS 29513 HAS SOUPS 16894 WITH SCORE 17162.476
AT ITER 3288 NEW BEST:: SOT 412555 SOS 265478 HAS SOPS 152211 HAS SOUS 29483 HAS SOUPS 16894 WITH SCORE 17159.478
AT ITER 3303 NEW BEST:: SOT 412489 SOS 265412 HAS SOPS 152145 HAS SOUS 29483 HAS SOUPS 16894 WITH SCORE 17159.412
AT ITER 3363 NEW BEST:: SOT 412432 SOS 265500 HAS SOPS 152127 HAS SOUS 29462 HAS SOUPS 16878 WITH SCORE 17143.5
AT ITER 3381 NEW BEST:: SOT 412742 SOS 266173 HAS SOPS 152308 HAS SOUS 29487 HAS SOUPS 16877 WITH SCORE 17143.173
AT ITER 3386 NEW BEST:: SOT 412742 SOS 266173 HAS SOPS 152308 HAS SOUS 29478 HAS SOUPS 16872 WITH SCORE 17138.173
AT ITER 3392 NEW BEST:: SOT 412695 SOS 266141 HAS SOPS 152276 HAS SOUS 29481 HAS SOUPS 16870 WITH SCORE 17136.141
AT ITER 3435 NEW BEST:: SOT 412691 SOS 266133 HAS SOPS 152268 HAS SOUS 29474 HAS SOUPS 16863 WITH SCORE 17129.133
AT ITER 3459 NEW BEST:: SOT 412685 SOS 266121 HAS SOPS 152256 HAS SOUS 29468 HAS SOUPS 16857 WITH SCORE 17123.121
AT ITER 3483 NEW BEST:: SOT 412681 SOS 266117 HAS SOPS 152252 HAS SOUS 29465 HAS SOUPS 16854 WITH SCORE 17120.117
AT ITER 3484 NEW BEST:: SOT 412686 SOS 266122 HAS SOPS 152252 HAS SOUS 29456 HAS SOUPS 16849 WITH SCORE 17115.122
AT ITER 3492 NEW BEST:: SOT 412718 SOS 266156 HAS SOPS 152286 HAS SOUS 29455 HAS SOUPS 16848 WITH SCORE 17114.156
AT ITER 3546 NEW BEST:: SOT 412377 SOS 265381 HAS SOPS 152069 HAS SOUS 29415 HAS SOUPS 16843 WITH SCORE 17108.381
AT ITER 3549 NEW BEST:: SOT 412373 SOS 265361 HAS SOPS 152069 HAS SOUS 29412 HAS SOUPS 16842 WITH SCORE 17107.361
AT ITER 3568 NEW BEST:: SOT 412427 SOS 265884 HAS SOPS 152538 HAS SOUS 29411 HAS SOUPS 16841 WITH SCORE 17106.884
AT ITER 3571 NEW BEST:: SOT 412426 SOS 265875 HAS SOPS 152527 HAS SOUS 29407 HAS SOUPS 16837 WITH SCORE 17102.875
AT ITER 3587 NEW BEST:: SOT 412336 SOS 263216 HAS SOPS 150349 HAS SOUS 29317 HAS SOUPS 16784 WITH SCORE 17047.216
AT ITER 3619 NEW BEST:: SOT 412314 SOS 263194 HAS SOPS 150327 HAS SOUS 29306 HAS SOUPS 16773 WITH SCORE 17036.194
AT ITER 3636 NEW BEST:: SOT 412314 SOS 263158 HAS SOPS 150291 HAS SOUS 29306 HAS SOUPS 16773 WITH SCORE 17036.158
AT ITER 3645 NEW BEST:: SOT 412162 SOS 262794 HAS SOPS 150171 HAS SOUS 29276 HAS SOUPS 16758 WITH SCORE 17020.794
AT ITER 3661 NEW BEST:: SOT 412137 SOS 262412 HAS SOPS 150335 HAS SOUS 29212 HAS SOUPS 16736 WITH SCORE 16998.412
AT ITER 3686 NEW BEST:: SOT 412212 SOS 262443 HAS SOPS 150388 HAS SOUS 29193 HAS SOUPS 16728 WITH SCORE 16990.443
AT ITER 3702 NEW BEST:: SOT 412113 SOS 262344 HAS SOPS 150343 HAS SOUS 29184 HAS SOUPS 16719 WITH SCORE 16981.344
AT ITER 3715 NEW BEST:: SOT 412045 SOS 262718 HAS SOPS 150717 HAS SOUS 29167 HAS SOUPS 16702 WITH SCORE 16964.718
AT ITER 3730 NEW BEST:: SOT 412108 SOS 262880 HAS SOPS 150762 HAS SOUS 29191 HAS SOUPS 16701 WITH SCORE 16963.88
AT ITER 3742 NEW BEST:: SOT 411649 SOS 262028 HAS SOPS 150113 HAS SOUS 29175 HAS SOUPS 16685 WITH SCORE 16947.028
AT ITER 3761 NEW BEST:: SOT 411941 SOS 262763 HAS SOPS 150372 HAS SOUS 29184 HAS SOUPS 16672 WITH SCORE 16934.763
AT ITER 3791 NEW BEST:: SOT 411391 SOS 261576 HAS SOPS 149430 HAS SOUS 29176 HAS SOUPS 16664 WITH SCORE 16925.576
AT ITER 3806 NEW BEST:: SOT 411331 SOS 261534 HAS SOPS 149388 HAS SOUS 29176 HAS SOUPS 16658 WITH SCORE 16919.534
AT ITER 3808 NEW BEST:: SOT 411293 SOS 261250 HAS SOPS 148818 HAS SOUS 29182 HAS SOUPS 16642 WITH SCORE 16903.25
AT ITER 3834 NEW BEST:: SOT 411287 SOS 261098 HAS SOPS 148316 HAS SOUS 29211 HAS SOUPS 16636 WITH SCORE 16897.098
AT ITER 3923 NEW BEST:: SOT 411394 SOS 261205 HAS SOPS 148353 HAS SOUS 29179 HAS SOUPS 16600 WITH SCORE 16861.205
AT ITER 3938 NEW BEST:: SOT 411268 SOS 261037 HAS SOPS 148245 HAS SOUS 29176 HAS SOUPS 16597 WITH SCORE 16858.037
AT ITER 3984 NEW BEST:: SOT 411338 SOS 261103 HAS SOPS 148311 HAS SOUS 29156 HAS SOUPS 16587 WITH SCORE 16848.103
AT ITER 4000 NEW BEST:: SOT 411302 SOS 261067 HAS SOPS 148311 HAS SOUS 29156 HAS SOUPS 16587 WITH SCORE 16848.067
AT ITER 4015 NEW BEST:: SOT 411272 SOS 261017 HAS SOPS 148291 HAS SOUS 29146 HAS SOUPS 16587 WITH SCORE 16848.017
AT ITER 4018 NEW BEST:: SOT 411051 SOS 260796 HAS SOPS 148190 HAS SOUS 29141 HAS SOUPS 16582 WITH SCORE 16842.796
AT ITER 4020 NEW BEST:: SOT 410878 SOS 260355 HAS SOPS 148014 HAS SOUS 29240 HAS SOUPS 16575 WITH SCORE 16835.355
AT ITER 4070 NEW BEST:: SOT 409988 SOS 258757 HAS SOPS 146822 HAS SOUS 29211 HAS SOUPS 16541 WITH SCORE 16799.757
AT ITER 4074 NEW BEST:: SOT 409894 SOS 258562 HAS SOPS 146640 HAS SOUS 29208 HAS SOUPS 16530 WITH SCORE 16788.562
AT ITER 4099 NEW BEST:: SOT 409880 SOS 258518 HAS SOPS 146594 HAS SOUS 29192 HAS SOUPS 16514 WITH SCORE 16772.518
AT ITER 4105 NEW BEST:: SOT 409910 SOS 258578 HAS SOPS 146609 HAS SOUS 29189 HAS SOUPS 16508 WITH SCORE 16766.578
AT ITER 4106 NEW BEST:: SOT 409904 SOS 258998 HAS SOPS 147029 HAS SOUS 29182 HAS SOUPS 16501 WITH SCORE 16759.998
AT ITER 4124 NEW BEST:: SOT 409904 SOS 258993 HAS SOPS 147029 HAS SOUS 29177 HAS SOUPS 16501 WITH SCORE 16759.993
AT ITER 4126 NEW BEST:: SOT 409892 SOS 259093 HAS SOPS 147061 HAS SOUS 29165 HAS SOUPS 16489 WITH SCORE 16748.093
AT ITER 4151 NEW BEST:: SOT 409606 SOS 256629 HAS SOPS 144993 HAS SOUS 29099 HAS SOUPS 16445 WITH SCORE 16701.629
AT ITER 4163 NEW BEST:: SOT 409451 SOS 256267 HAS SOPS 144696 HAS SOUS 29074 HAS SOUPS 16420 WITH SCORE 16676.267
AT ITER 4177 NEW BEST:: SOT 409451 SOS 256267 HAS SOPS 144696 HAS SOUS 29065 HAS SOUPS 16415 WITH SCORE 16671.267
AT ITER 4183 NEW BEST:: SOT 409262 SOS 255918 HAS SOPS 144564 HAS SOUS 29048 HAS SOUPS 16403 WITH SCORE 16658.918
AT ITER 4184 NEW BEST:: SOT 409322 SOS 255991 HAS SOPS 144640 HAS SOUS 29039 HAS SOUPS 16402 WITH SCORE 16657.991
AT ITER 4195 NEW BEST:: SOT 409302 SOS 255480 HAS SOPS 144121 HAS SOUS 29003 HAS SOUPS 16366 WITH SCORE 16621.48
AT ITER 4242 NEW BEST:: SOT 409327 SOS 254458 HAS SOPS 143346 HAS SOUS 28971 HAS SOUPS 16353 WITH SCORE 16607.458
AT ITER 4244 NEW BEST:: SOT 409331 SOS 254478 HAS SOPS 143364 HAS SOUS 28942 HAS SOUPS 16347 WITH SCORE 16601.478
AT ITER 4250 NEW BEST:: SOT 409299 SOS 254446 HAS SOPS 143364 HAS SOUS 28942 HAS SOUPS 16347 WITH SCORE 16601.446
AT ITER 4256 NEW BEST:: SOT 409234 SOS 254900 HAS SOPS 143851 HAS SOUS 28932 HAS SOUPS 16345 WITH SCORE 16599.9
AT ITER 4260 NEW BEST:: SOT 409242 SOS 254884 HAS SOPS 143847 HAS SOUS 28916 HAS SOUPS 16333 WITH SCORE 16587.884
AT ITER 4294 NEW BEST:: SOT 409291 SOS 254933 HAS SOPS 143839 HAS SOUS 28908 HAS SOUPS 16325 WITH SCORE 16579.933
AT ITER 4295 NEW BEST:: SOT 409287 SOS 255087 HAS SOPS 144083 HAS SOUS 28895 HAS SOUPS 16321 WITH SCORE 16576.087
AT ITER 4300 NEW BEST:: SOT 409289 SOS 255089 HAS SOPS 144083 HAS SOUS 28877 HAS SOUPS 16311 WITH SCORE 16566.089
AT ITER 4346 NEW BEST:: SOT 409260 SOS 255057 HAS SOPS 144051 HAS SOUS 28866 HAS SOUPS 16300 WITH SCORE 16555.057
AT ITER 4358 NEW BEST:: SOT 409266 SOS 255082 HAS SOPS 144167 HAS SOUS 28858 HAS SOUPS 16299 WITH SCORE 16554.082
AT ITER 4368 NEW BEST:: SOT 409266 SOS 255186 HAS SOPS 144167 HAS SOUS 28850 HAS SOUPS 16283 WITH SCORE 16538.186
AT ITER 4390 NEW BEST:: SOT 409084 SOS 254822 HAS SOPS 143881 HAS SOUS 28824 HAS SOUPS 16257 WITH SCORE 16511.822
AT ITER 4395 NEW BEST:: SOT 409216 SOS 255139 HAS SOPS 143968 HAS SOUS 28827 HAS SOUPS 16246 WITH SCORE 16501.139
AT ITER 4396 NEW BEST:: SOT 409201 SOS 255081 HAS SOPS 143932 HAS SOUS 28805 HAS SOUPS 16231 WITH SCORE 16486.081
AT ITER 4412 NEW BEST:: SOT 409146 SOS 255005 HAS SOPS 143909 HAS SOUS 28792 HAS SOUPS 16225 WITH SCORE 16480.005
AT ITER 4413 NEW BEST:: SOT 408893 SOS 254430 HAS SOPS 143748 HAS SOUS 28769 HAS SOUPS 16225 WITH SCORE 16479.43
AT ITER 4425 NEW BEST:: SOT 408884 SOS 254421 HAS SOPS 143748 HAS SOUS 28769 HAS SOUPS 16225 WITH SCORE 16479.421
AT ITER 4487 NEW BEST:: SOT 408872 SOS 254409 HAS SOPS 143748 HAS SOUS 28769 HAS SOUPS 16225 WITH SCORE 16479.409
AT ITER 4544 NEW BEST:: SOT 408930 SOS 254467 HAS SOPS 143806 HAS SOUS 28739 HAS SOUPS 16195 WITH SCORE 16449.467
AT ITER 4563 NEW BEST:: SOT 408935 SOS 254550 HAS SOPS 143779 HAS SOUS 28726 HAS SOUPS 16171 WITH SCORE 16425.55
AT ITER 4571 NEW BEST:: SOT 408935 SOS 254550 HAS SOPS 143779 HAS SOUS 28717 HAS SOUPS 16166 WITH SCORE 16420.55
AT ITER 4576 NEW BEST:: SOT 408932 SOS 254589 HAS SOPS 143806 HAS SOUS 28717 HAS SOUPS 16165 WITH SCORE 16419.589
AT ITER 4635 NEW BEST:: SOT 409267 SOS 255070 HAS SOPS 143928 HAS SOUS 28774 HAS SOUPS 16158 WITH SCORE 16413.07
AT ITER 4643 NEW BEST:: SOT 408920 SOS 254147 HAS SOPS 143185 HAS SOUS 28732 HAS SOUPS 16116 WITH SCORE 16370.147
AT ITER 4661 NEW BEST:: SOT 408939 SOS 254199 HAS SOPS 143193 HAS SOUS 28731 HAS SOUPS 16104 WITH SCORE 16358.199
AT ITER 4677 NEW BEST:: SOT 408966 SOS 254226 HAS SOPS 143193 HAS SOUS 28713 HAS SOUPS 16094 WITH SCORE 16348.226
AT ITER 4777 NEW BEST:: SOT 408699 SOS 253734 HAS SOPS 143013 HAS SOUS 28699 HAS SOUPS 16080 WITH SCORE 16333.734
AT ITER 4820 NEW BEST:: SOT 408695 SOS 253730 HAS SOPS 143013 HAS SOUS 28699 HAS SOUPS 16080 WITH SCORE 16333.73
AT ITER 4844 NEW BEST:: SOT 408647 SOS 253682 HAS SOPS 143013 HAS SOUS 28691 HAS SOUPS 16072 WITH SCORE 16325.682
AT ITER 4919 NEW BEST:: SOT 408660 SOS 253695 HAS SOPS 143013 HAS SOUS 28682 HAS SOUPS 16067 WITH SCORE 16320.695
AT ITER 4986 NEW BEST:: SOT 408667 SOS 253709 HAS SOPS 143020 HAS SOUS 28682 HAS SOUPS 16060 WITH SCORE 16313.709
AT ITER 5026 NEW BEST:: SOT 408605 SOS 253597 HAS SOPS 142974 HAS SOUS 28674 HAS SOUPS 16052 WITH SCORE 16305.597
AT ITER 5031 NEW BEST:: SOT 408588 SOS 253499 HAS SOPS 142956 HAS SOUS 28664 HAS SOUPS 16050 WITH SCORE 16303.499
AT ITER 5039 NEW BEST:: SOT 408590 SOS 253503 HAS SOPS 142958 HAS SOUS 28664 HAS SOUPS 16048 WITH SCORE 16301.503
AT ITER 5057 NEW BEST:: SOT 408506 SOS 252825 HAS SOPS 142394 HAS SOUS 28646 HAS SOUPS 16036 WITH SCORE 16288.825
AT ITER 5072 NEW BEST:: SOT 408532 SOS 252542 HAS SOPS 142345 HAS SOUS 28618 HAS SOUPS 16026 WITH SCORE 16278.542
AT ITER 5081 NEW BEST:: SOT 408518 SOS 252528 HAS SOPS 142345 HAS SOUS 28618 HAS SOUPS 16026 WITH SCORE 16278.528
AT ITER 5088 NEW BEST:: SOT 408521 SOS 252534 HAS SOPS 142345 HAS SOUS 28612 HAS SOUPS 16021 WITH SCORE 16273.534
AT ITER 5133 NEW BEST:: SOT 408598 SOS 252696 HAS SOPS 142376 HAS SOUS 28629 HAS SOUPS 16015 WITH SCORE 16267.696
AT ITER 5186 NEW BEST:: SOT 408601 SOS 252657 HAS SOPS 142376 HAS SOUS 28620 HAS SOUPS 16009 WITH SCORE 16261.657
AT ITER 5191 NEW BEST:: SOT 408585 SOS 252641 HAS SOPS 142376 HAS SOUS 28618 HAS SOUPS 16007 WITH SCORE 16259.641
AT ITER 5209 NEW BEST:: SOT 408494 SOS 252543 HAS SOPS 142313 HAS SOUS 28611 HAS SOUPS 16000 WITH SCORE 16252.543
AT ITER 5215 NEW BEST:: SOT 408474 SOS 252523 HAS SOPS 142303 HAS SOUS 28611 HAS SOUPS 16000 WITH SCORE 16252.523
AT ITER 5218 NEW BEST:: SOT 407716 SOS 250986 HAS SOPS 141066 HAS SOUS 28538 HAS SOUPS 15927 WITH SCORE 16177.986
AT ITER 5223 NEW BEST:: SOT 407696 SOS 250634 HAS SOPS 140714 HAS SOUS 28534 HAS SOUPS 15923 WITH SCORE 16173.634
AT ITER 5224 NEW BEST:: SOT 407681 SOS 251138 HAS SOPS 141211 HAS SOUS 28529 HAS SOUPS 15918 WITH SCORE 16169.138
AT ITER 5240 NEW BEST:: SOT 407399 SOS 250834 HAS SOPS 141037 HAS SOUS 28487 HAS SOUPS 15876 WITH SCORE 16126.834
AT ITER 5278 NEW BEST:: SOT 407359 SOS 250761 HAS SOPS 141008 HAS SOUS 28472 HAS SOUPS 15872 WITH SCORE 16122.761
AT ITER 5317 NEW BEST:: SOT 407353 SOS 250758 HAS SOPS 140999 HAS SOUS 28473 HAS SOUPS 15870 WITH SCORE 16120.758
AT ITER 5333 NEW BEST:: SOT 407353 SOS 250758 HAS SOPS 140999 HAS SOUS 28419 HAS SOUPS 15840 WITH SCORE 16090.758
AT ITER 5361 NEW BEST:: SOT 407371 SOS 250157 HAS SOPS 140983 HAS SOUS 28370 HAS SOUPS 15836 WITH SCORE 16086.157
AT ITER 5403 NEW BEST:: SOT 407339 SOS 250133 HAS SOPS 140959 HAS SOUS 28362 HAS SOUPS 15828 WITH SCORE 16078.133
AT ITER 5405 NEW BEST:: SOT 407212 SOS 249846 HAS SOPS 140880 HAS SOUS 28357 HAS SOUPS 15823 WITH SCORE 16072.846
AT ITER 5429 NEW BEST:: SOT 407278 SOS 249972 HAS SOPS 140916 HAS SOUS 28351 HAS SOUPS 15811 WITH SCORE 16060.972
AT ITER 5445 NEW BEST:: SOT 407354 SOS 250601 HAS SOPS 141215 HAS SOUS 28350 HAS SOUPS 15810 WITH SCORE 16060.601
AT ITER 5468 NEW BEST:: SOT 407354 SOS 250484 HAS SOPS 141098 HAS SOUS 28336 HAS SOUPS 15796 WITH SCORE 16046.484
AT ITER 5505 NEW BEST:: SOT 407345 SOS 250472 HAS SOPS 141086 HAS SOUS 28336 HAS SOUPS 15796 WITH SCORE 16046.472
AT ITER 5562 NEW BEST:: SOT 407208 SOS 249354 HAS SOPS 140146 HAS SOUS 28306 HAS SOUPS 15773 WITH SCORE 16022.354
AT ITER 5579 NEW BEST:: SOT 407175 SOS 249205 HAS SOPS 140133 HAS SOUS 28294 HAS SOUPS 15768 WITH SCORE 16017.205
AT ITER 5629 NEW BEST:: SOT 407173 SOS 249175 HAS SOPS 140103 HAS SOUS 28290 HAS SOUPS 15764 WITH SCORE 16013.175
AT ITER 5668 NEW BEST:: SOT 407196 SOS 248830 HAS SOPS 140083 HAS SOUS 28254 HAS SOUPS 15755 WITH SCORE 16003.83
AT ITER 5689 NEW BEST:: SOT 407146 SOS 248780 HAS SOPS 140083 HAS SOUS 28254 HAS SOUPS 15755 WITH SCORE 16003.78
AT ITER 5760 NEW BEST:: SOT 407146 SOS 248780 HAS SOPS 140083 HAS SOUS 28227 HAS SOUPS 15740 WITH SCORE 15988.78
AT ITER 5766 NEW BEST:: SOT 407102 SOS 248547 HAS SOPS 139850 HAS SOUS 28216 HAS SOUPS 15729 WITH SCORE 15977.547
AT ITER 5785 NEW BEST:: SOT 407115 SOS 248645 HAS SOPS 139853 HAS SOUS 28175 HAS SOUPS 15688 WITH SCORE 15936.645
AT ITER 5792 NEW BEST:: SOT 406749 SOS 247798 HAS SOPS 139080 HAS SOUS 28178 HAS SOUPS 15666 WITH SCORE 15913.798
AT ITER 5794 NEW BEST:: SOT 406813 SOS 247911 HAS SOPS 139112 HAS SOUS 28175 HAS SOUPS 15663 WITH SCORE 15910.911
AT ITER 5812 NEW BEST:: SOT 406791 SOS 247786 HAS SOPS 139056 HAS SOUS 28130 HAS SOUPS 15649 WITH SCORE 15896.786
AT ITER 5905 NEW BEST:: SOT 406806 SOS 248014 HAS SOPS 139141 HAS SOUS 28128 HAS SOUPS 15636 WITH SCORE 15884.014
AT ITER 5908 NEW BEST:: SOT 406669 SOS 247639 HAS SOPS 138982 HAS SOUS 28064 HAS SOUPS 15604 WITH SCORE 15851.639
AT ITER 5917 NEW BEST:: SOT 406647 SOS 247589 HAS SOPS 138968 HAS SOUS 28062 HAS SOUPS 15604 WITH SCORE 15851.589
AT ITER 5927 NEW BEST:: SOT 406634 SOS 247547 HAS SOPS 138931 HAS SOUS 28060 HAS SOUPS 15602 WITH SCORE 15849.547
AT ITER 5944 NEW BEST:: SOT 406635 SOS 247562 HAS SOPS 138946 HAS SOUS 28058 HAS SOUPS 15600 WITH SCORE 15847.562
AT ITER 5987 NEW BEST:: SOT 406651 SOS 247578 HAS SOPS 138946 HAS SOUS 28013 HAS SOUPS 15575 WITH SCORE 15822.578
AT ITER 5989 NEW BEST:: SOT 406640 SOS 247567 HAS SOPS 138946 HAS SOUS 28013 HAS SOUPS 15575 WITH SCORE 15822.567
AT ITER 6057 NEW BEST:: SOT 406700 SOS 247677 HAS SOPS 138976 HAS SOUS 28008 HAS SOUPS 15565 WITH SCORE 15812.677
AT ITER 6094 NEW BEST:: SOT 406766 SOS 247803 HAS SOPS 139012 HAS SOUS 28004 HAS SOUPS 15555 WITH SCORE 15802.803
AT ITER 6171 NEW BEST:: SOT 406785 SOS 247808 HAS SOPS 139002 HAS SOUS 27993 HAS SOUPS 15549 WITH SCORE 15796.808
AT ITER 6184 NEW BEST:: SOT 406921 SOS 248073 HAS SOPS 139095 HAS SOUS 27914 HAS SOUPS 15483 WITH SCORE 15731.073
AT ITER 6199 NEW BEST:: SOT 406932 SOS 247442 HAS SOPS 138535 HAS SOUS 27917 HAS SOUPS 15483 WITH SCORE 15730.442
AT ITER 6282 NEW BEST:: SOT 406966 SOS 247476 HAS SOPS 138535 HAS SOUS 27899 HAS SOUPS 15473 WITH SCORE 15720.476
AT ITER 6318 NEW BEST:: SOT 406966 SOS 247476 HAS SOPS 138535 HAS SOUS 27890 HAS SOUPS 15468 WITH SCORE 15715.476
AT ITER 6319 NEW BEST:: SOT 406922 SOS 246343 HAS SOPS 138377 HAS SOUS 27758 HAS SOUPS 15411 WITH SCORE 15657.343
AT ITER 6347 NEW BEST:: SOT 406930 SOS 246450 HAS SOPS 138263 HAS SOUS 27769 HAS SOUPS 15405 WITH SCORE 15651.45
AT ITER 6348 NEW BEST:: SOT 406906 SOS 247170 HAS SOPS 138663 HAS SOUS 27767 HAS SOUPS 15403 WITH SCORE 15650.17
AT ITER 6371 NEW BEST:: SOT 406925 SOS 247189 HAS SOPS 138663 HAS SOUS 27758 HAS SOUPS 15398 WITH SCORE 15645.189
AT ITER 6404 NEW BEST:: SOT 406906 SOS 247164 HAS SOPS 138647 HAS SOUS 27742 HAS SOUPS 15385 WITH SCORE 15632.164
AT ITER 6405 NEW BEST:: SOT 406892 SOS 247150 HAS SOPS 138647 HAS SOUS 27742 HAS SOUPS 15385 WITH SCORE 15632.15
AT ITER 6510 NEW BEST:: SOT 406892 SOS 247150 HAS SOPS 138647 HAS SOUS 27718 HAS SOUPS 15369 WITH SCORE 15616.15
AT ITER 6540 NEW BEST:: SOT 406816 SOS 246870 HAS SOPS 138375 HAS SOUS 27714 HAS SOUPS 15357 WITH SCORE 15603.87
AT ITER 6549 NEW BEST:: SOT 406819 SOS 247170 HAS SOPS 138406 HAS SOUS 27705 HAS SOUPS 15329 WITH SCORE 15576.17
AT ITER 6609 NEW BEST:: SOT 406817 SOS 247168 HAS SOPS 138404 HAS SOUS 27700 HAS SOUPS 15324 WITH SCORE 15571.168
AT ITER 6645 NEW BEST:: SOT 406709 SOS 246742 HAS SOPS 137975 HAS SOUS 27707 HAS SOUPS 15318 WITH SCORE 15564.742
AT ITER 6679 NEW BEST:: SOT 408360 SOS 248714 HAS SOPS 139246 HAS SOUS 27752 HAS SOUPS 15280 WITH SCORE 15528.714
AT ITER 6691 NEW BEST:: SOT 408359 SOS 248699 HAS SOPS 139218 HAS SOUS 27752 HAS SOUPS 15279 WITH SCORE 15527.699
AT ITER 6703 NEW BEST:: SOT 408455 SOS 248817 HAS SOPS 139281 HAS SOUS 27738 HAS SOUPS 15265 WITH SCORE 15513.817
AT ITER 6708 NEW BEST:: SOT 408465 SOS 249019 HAS SOPS 139483 HAS SOUS 27737 HAS SOUPS 15264 WITH SCORE 15513.019
AT ITER 6752 NEW BEST:: SOT 408443 SOS 248966 HAS SOPS 139457 HAS SOUS 27723 HAS SOUPS 15259 WITH SCORE 15507.966
AT ITER 6756 NEW BEST:: SOT 408443 SOS 248966 HAS SOPS 139457 HAS SOUS 27721 HAS SOUPS 15257 WITH SCORE 15505.966
AT ITER 6809 NEW BEST:: SOT 408440 SOS 248954 HAS SOPS 139367 HAS SOUS 27727 HAS SOUPS 15257 WITH SCORE 15505.954
AT ITER 6875 NEW BEST:: SOT 408419 SOS 248933 HAS SOPS 139367 HAS SOUS 27727 HAS SOUPS 15257 WITH SCORE 15505.933
AT ITER 6898 NEW BEST:: SOT 408419 SOS 248933 HAS SOPS 139367 HAS SOUS 27724 HAS SOUPS 15254 WITH SCORE 15502.933
AT ITER 6963 NEW BEST:: SOT 408396 SOS 248814 HAS SOPS 139338 HAS SOUS 27706 HAS SOUPS 15254 WITH SCORE 15502.814
AT ITER 6985 NEW BEST:: SOT 408365 SOS 248752 HAS SOPS 139338 HAS SOUS 27708 HAS SOUPS 15254 WITH SCORE 15502.752
AT ITER 7033 NEW BEST:: SOT 408366 SOS 248294 HAS SOPS 138880 HAS SOUS 27668 HAS SOUPS 15214 WITH SCORE 15462.294
AT ITER 7080 NEW BEST:: SOT 408356 SOS 248284 HAS SOPS 138875 HAS SOUS 27668 HAS SOUPS 15214 WITH SCORE 15462.284
AT ITER 7126 NEW BEST:: SOT 408017 SOS 247615 HAS SOPS 138646 HAS SOUS 27552 HAS SOUPS 15208 WITH SCORE 15455.615
AT ITER 7141 NEW BEST:: SOT 408005 SOS 247603 HAS SOPS 138634 HAS SOUS 27540 HAS SOUPS 15196 WITH SCORE 15443.603
AT ITER 7143 NEW BEST:: SOT 407962 SOS 247501 HAS SOPS 138604 HAS SOUS 27535 HAS SOUPS 15195 WITH SCORE 15442.501
AT ITER 7146 NEW BEST:: SOT 407946 SOS 247469 HAS SOPS 138594 HAS SOUS 27502 HAS SOUPS 15173 WITH SCORE 15420.469
AT ITER 7223 NEW BEST:: SOT 407825 SOS 247155 HAS SOPS 138478 HAS SOUS 27490 HAS SOUPS 15172 WITH SCORE 15419.155
AT ITER 7224 NEW BEST:: SOT 407807 SOS 247074 HAS SOPS 138427 HAS SOUS 27487 HAS SOUPS 15169 WITH SCORE 15416.074
AT ITER 7247 NEW BEST:: SOT 407711 SOS 246882 HAS SOPS 138363 HAS SOUS 27455 HAS SOUPS 15169 WITH SCORE 15415.882
AT ITER 7365 NEW BEST:: SOT 407680 SOS 246779 HAS SOPS 138324 HAS SOUS 27448 HAS SOUPS 15162 WITH SCORE 15408.779
AT ITER 7376 NEW BEST:: SOT 407256 SOS 245922 HAS SOPS 137642 HAS SOUS 27425 HAS SOUPS 15139 WITH SCORE 15384.922
AT ITER 7403 NEW BEST:: SOT 407168 SOS 245385 HAS SOPS 137296 HAS SOUS 27418 HAS SOUPS 15132 WITH SCORE 15377.385
AT ITER 7409 NEW BEST:: SOT 407165 SOS 245344 HAS SOPS 137307 HAS SOUS 27413 HAS SOUPS 15131 WITH SCORE 15376.344
AT ITER 7425 NEW BEST:: SOT 407165 SOS 245344 HAS SOPS 137307 HAS SOUS 27403 HAS SOUPS 15121 WITH SCORE 15366.344
AT ITER 7450 NEW BEST:: SOT 407109 SOS 245228 HAS SOPS 137211 HAS SOUS 27391 HAS SOUPS 15109 WITH SCORE 15354.228
AT ITER 7552 NEW BEST:: SOT 407106 SOS 245225 HAS SOPS 137211 HAS SOUS 27391 HAS SOUPS 15109 WITH SCORE 15354.225
AT ITER 7613 NEW BEST:: SOT 407090 SOS 245209 HAS SOPS 137211 HAS SOUS 27391 HAS SOUPS 15109 WITH SCORE 15354.209
AT ITER 7633 NEW BEST:: SOT 407025 SOS 244117 HAS SOPS 136275 HAS SOUS 27404 HAS SOUPS 15109 WITH SCORE 15353.117
AT ITER 7662 NEW BEST:: SOT 406789 SOS 243503 HAS SOPS 136022 HAS SOUS 27371 HAS SOUPS 15095 WITH SCORE 15338.503
AT ITER 7672 NEW BEST:: SOT 406719 SOS 243321 HAS SOPS 135882 HAS SOUS 27371 HAS SOUPS 15095 WITH SCORE 15338.321
AT ITER 7698 NEW BEST:: SOT 406699 SOS 243286 HAS SOPS 135872 HAS SOUS 27366 HAS SOUPS 15095 WITH SCORE 15338.286
AT ITER 7705 NEW BEST:: SOT 406689 SOS 243276 HAS SOPS 135872 HAS SOUS 27366 HAS SOUPS 15095 WITH SCORE 15338.276
AT ITER 7774 NEW BEST:: SOT 406718 SOS 243234 HAS SOPS 135872 HAS SOUS 27350 HAS SOUPS 15091 WITH SCORE 15334.234
AT ITER 7856 NEW BEST:: SOT 406719 SOS 242868 HAS SOPS 135506 HAS SOUS 27346 HAS SOUPS 15087 WITH SCORE 15329.868
AT ITER 7881 NEW BEST:: SOT 406715 SOS 242864 HAS SOPS 135506 HAS SOUS 27346 HAS SOUPS 15087 WITH SCORE 15329.864
AT ITER 7884 NEW BEST:: SOT 406680 SOS 242332 HAS SOPS 135296 HAS SOUS 27320 HAS SOUPS 15071 WITH SCORE 15313.332
AT ITER 7886 NEW BEST:: SOT 406656 SOS 242308 HAS SOPS 135296 HAS SOUS 27320 HAS SOUPS 15071 WITH SCORE 15313.308
AT ITER 7912 NEW BEST:: SOT 406656 SOS 242308 HAS SOPS 135296 HAS SOUS 27311 HAS SOUPS 15066 WITH SCORE 15308.308
AT ITER 7987 NEW BEST:: SOT 406470 SOS 242108 HAS SOPS 135176 HAS SOUS 27306 HAS SOUPS 15061 WITH SCORE 15303.108
AT ITER 8002 NEW BEST:: SOT 406462 SOS 242100 HAS SOPS 135176 HAS SOUS 27306 HAS SOUPS 15061 WITH SCORE 15303.1
AT ITER 8041 NEW BEST:: SOT 406347 SOS 241985 HAS SOPS 135176 HAS SOUS 27306 HAS SOUPS 15061 WITH SCORE 15302.985
AT ITER 8067 NEW BEST:: SOT 406327 SOS 241965 HAS SOPS 135176 HAS SOUS 27306 HAS SOUPS 15061 WITH SCORE 15302.965
AT ITER 8084 NEW BEST:: SOT 406296 SOS 241934 HAS SOPS 135176 HAS SOUS 27306 HAS SOUPS 15061 WITH SCORE 15302.934
AT ITER 8145 NEW BEST:: SOT 406296 SOS 241934 HAS SOPS 135176 HAS SOUS 27297 HAS SOUPS 15056 WITH SCORE 15297.934
AT ITER 8151 NEW BEST:: SOT 406274 SOS 241892 HAS SOPS 135164 HAS SOUS 27295 HAS SOUPS 15056 WITH SCORE 15297.892
AT ITER 8183 NEW BEST:: SOT 406258 SOS 241876 HAS SOPS 135164 HAS SOUS 27295 HAS SOUPS 15056 WITH SCORE 15297.876
AT ITER 8312 NEW BEST:: SOT 406136 SOS 241633 HAS SOPS 135097 HAS SOUS 27284 HAS SOUPS 15056 WITH SCORE 15297.633
AT ITER 8367 NEW BEST:: SOT 406131 SOS 241628 HAS SOPS 135097 HAS SOUS 27284 HAS SOUPS 15056 WITH SCORE 15297.628
AT ITER 8382 NEW BEST:: SOT 406125 SOS 241446 HAS SOPS 134977 HAS SOUS 27268 HAS SOUPS 15039 WITH SCORE 15280.446
AT ITER 8393 NEW BEST:: SOT 406122 SOS 241462 HAS SOPS 134993 HAS SOUS 27266 HAS SOUPS 15037 WITH SCORE 15278.462
AT ITER 8418 NEW BEST:: SOT 406154 SOS 241518 HAS SOPS 135009 HAS SOUS 27256 HAS SOUPS 15027 WITH SCORE 15268.518
AT ITER 8420 NEW BEST:: SOT 406217 SOS 241672 HAS SOPS 135051 HAS SOUS 27248 HAS SOUPS 15019 WITH SCORE 15260.672
AT ITER 8456 NEW BEST:: SOT 406152 SOS 241494 HAS SOPS 134991 HAS SOUS 27211 HAS SOUPS 15012 WITH SCORE 15253.494
AT ITER 8470 NEW BEST:: SOT 406162 SOS 241518 HAS SOPS 134997 HAS SOUS 27211 HAS SOUPS 15011 WITH SCORE 15252.518
AT ITER 8499 NEW BEST:: SOT 406131 SOS 241487 HAS SOPS 134997 HAS SOUS 27211 HAS SOUPS 15011 WITH SCORE 15252.487
AT ITER 8521 NEW BEST:: SOT 406141 SOS 241493 HAS SOPS 134972 HAS SOUS 27196 HAS SOUPS 14997 WITH SCORE 15238.493
AT ITER 8638 NEW BEST:: SOT 406111 SOS 241463 HAS SOPS 134972 HAS SOUS 27196 HAS SOUPS 14997 WITH SCORE 15238.463
AT ITER 8674 NEW BEST:: SOT 406111 SOS 241463 HAS SOPS 134972 HAS SOUS 27178 HAS SOUPS 14987 WITH SCORE 15228.463
AT ITER 8686 NEW BEST:: SOT 406144 SOS 241538 HAS SOPS 134990 HAS SOUS 27176 HAS SOUPS 14982 WITH SCORE 15223.538
AT ITER 8689 NEW BEST:: SOT 406127 SOS 241548 HAS SOPS 135000 HAS SOUS 27165 HAS SOUPS 14971 WITH SCORE 15212.548
AT ITER 8693 NEW BEST:: SOT 406466 SOS 242406 HAS SOPS 135296 HAS SOUS 27107 HAS SOUPS 14960 WITH SCORE 15202.406
AT ITER 8704 NEW BEST:: SOT 406457 SOS 242391 HAS SOPS 135254 HAS SOUS 27096 HAS SOUPS 14947 WITH SCORE 15189.391
AT ITER 8739 NEW BEST:: SOT 406485 SOS 242619 HAS SOPS 135377 HAS SOUS 27130 HAS SOUPS 14931 WITH SCORE 15173.619
AT ITER 8850 NEW BEST:: SOT 406484 SOS 242618 HAS SOPS 135389 HAS SOUS 27127 HAS SOUPS 14929 WITH SCORE 15171.618
AT ITER 8864 NEW BEST:: SOT 406477 SOS 242611 HAS SOPS 135389 HAS SOUS 27119 HAS SOUPS 14921 WITH SCORE 15163.611
AT ITER 8919 NEW BEST:: SOT 406477 SOS 242611 HAS SOPS 135389 HAS SOUS 27110 HAS SOUPS 14916 WITH SCORE 15158.611
AT ITER 9035 NEW BEST:: SOT 406489 SOS 242599 HAS SOPS 135393 HAS SOUS 27101 HAS SOUPS 14911 WITH SCORE 15153.599
AT ITER 9047 NEW BEST:: SOT 406493 SOS 242751 HAS SOPS 135389 HAS SOUS 27111 HAS SOUPS 14909 WITH SCORE 15151.751
AT ITER 9082 NEW BEST:: SOT 406219 SOS 242203 HAS SOPS 135389 HAS SOUS 27042 HAS SOUPS 14909 WITH SCORE 15151.203
AT ITER 9137 NEW BEST:: SOT 405837 SOS 241579 HAS SOPS 134939 HAS SOUS 26965 HAS SOUPS 14832 WITH SCORE 15073.579
AT ITER 9167 NEW BEST:: SOT 405828 SOS 241570 HAS SOPS 134939 HAS SOUS 26965 HAS SOUPS 14832 WITH SCORE 15073.57
AT ITER 9172 NEW BEST:: SOT 405814 SOS 241458 HAS SOPS 134918 HAS SOUS 26957 HAS SOUPS 14831 WITH SCORE 15072.458
AT ITER 9187 NEW BEST:: SOT 406016 SOS 241954 HAS SOPS 135036 HAS SOUS 26952 HAS SOUPS 14805 WITH SCORE 15046.954
AT ITER 9229 NEW BEST:: SOT 406023 SOS 242038 HAS SOPS 135045 HAS SOUS 26954 HAS SOUPS 14802 WITH SCORE 15044.038
AT ITER 9327 NEW BEST:: SOT 406003 SOS 241986 HAS SOPS 135003 HAS SOUS 26936 HAS SOUPS 14792 WITH SCORE 15033.986
AT ITER 9378 NEW BEST:: SOT 406003 SOS 241986 HAS SOPS 135003 HAS SOUS 26927 HAS SOUPS 14787 WITH SCORE 15028.986
AT ITER 9391 NEW BEST:: SOT 406003 SOS 241986 HAS SOPS 135003 HAS SOUS 26912 HAS SOUPS 14777 WITH SCORE 15018.986
AT ITER 9409 NEW BEST:: SOT 405995 SOS 241866 HAS SOPS 134879 HAS SOUS 26908 HAS SOUPS 14773 WITH SCORE 15014.866
AT ITER 9468 NEW BEST:: SOT 406015 SOS 241698 HAS SOPS 134807 HAS SOUS 26906 HAS SOUPS 14771 WITH SCORE 15012.698
AT ITER 9471 NEW BEST:: SOT 406009 SOS 241692 HAS SOPS 134807 HAS SOUS 26906 HAS SOUPS 14771 WITH SCORE 15012.692
AT ITER 9503 NEW BEST:: SOT 406005 SOS 241688 HAS SOPS 134807 HAS SOUS 26906 HAS SOUPS 14771 WITH SCORE 15012.688
AT ITER 9657 NEW BEST:: SOT 405860 SOS 241504 HAS SOPS 134685 HAS SOUS 26905 HAS SOUPS 14770 WITH SCORE 15011.504
AT ITER 9795 NEW BEST:: SOT 405727 SOS 241406 HAS SOPS 134589 HAS SOUS 26909 HAS SOUPS 14770 WITH SCORE 15011.406
AT ITER 9820 NEW BEST:: SOT 405615 SOS 241186 HAS SOPS 134414 HAS SOUS 26902 HAS SOUPS 14763 WITH SCORE 15004.186
AT ITER 9871 NEW BEST:: SOT 405664 SOS 241235 HAS SOPS 134414 HAS SOUS 26857 HAS SOUPS 14738 WITH SCORE 14979.235
AT ITER 9875 NEW BEST:: SOT 405652 SOS 241223 HAS SOPS 134414 HAS SOUS 26857 HAS SOUPS 14738 WITH SCORE 14979.223
AT ITER 9877 NEW BEST:: SOT 405630 SOS 241196 HAS SOPS 134397 HAS SOUS 26841 HAS SOUPS 14727 WITH SCORE 14968.196
AT ITER 9894 NEW BEST:: SOT 405626 SOS 241136 HAS SOPS 134335 HAS SOUS 26839 HAS SOUPS 14725 WITH SCORE 14966.136
AT ITER 9903 NEW BEST:: SOT 405624 SOS 241134 HAS SOPS 134333 HAS SOUS 26838 HAS SOUPS 14724 WITH SCORE 14965.134
AT ITER 9967 NEW BEST:: SOT 405614 SOS 241124 HAS SOPS 134333 HAS SOUS 26838 HAS SOUPS 14724 WITH SCORE 14965.124
STATE_SPACE STATES 24010000000001 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 184 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5765830000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_TIME_CONFINEMENT_REACHED

--------------------
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="DLCround-PT-09a"
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 DLCround-PT-09a, 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 r048-ebro-158902542300552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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