Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194600392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Railroad-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194600392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 7.0K Feb 25 22:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 22:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 22:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 22:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 22:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 22:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 22:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 22:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679497073299

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Railroad-PT-050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 518 places, 2756 transitions, 16378 arcs.
AT ITER 0 NEW BEST:: SOT 439031 SOS 346384 HAS SOPS 344095 HAS SOUS 205894 HAS SOUPS 205843 WITH SCORE 206189.384
AT ITER 1 NEW BEST:: SOT 439031 SOS 346381 HAS SOPS 344092 HAS SOUS 205891 HAS SOUPS 205840 WITH SCORE 206186.381
AT ITER 10 NEW BEST:: SOT 437707 SOS 345073 HAS SOPS 342782 HAS SOUS 204556 HAS SOUPS 204505 WITH SCORE 204850.073
AT ITER 15 NEW BEST:: SOT 424744 SOS 334171 HAS SOPS 329819 HAS SOUS 191736 HAS SOUPS 191542 WITH SCORE 191876.171
AT ITER 27 NEW BEST:: SOT 423595 SOS 333050 HAS SOPS 328696 HAS SOUS 190571 HAS SOUPS 190377 WITH SCORE 190710.05
AT ITER 31 NEW BEST:: SOT 423238 SOS 332698 HAS SOPS 328342 HAS SOUS 190214 HAS SOUPS 190020 WITH SCORE 190352.698
AT ITER 33 NEW BEST:: SOT 420266 SOS 329025 HAS SOPS 323523 HAS SOUS 185077 HAS SOUPS 184883 WITH SCORE 185212.025
AT ITER 46 NEW BEST:: SOT 420359 SOS 329118 HAS SOPS 323504 HAS SOUS 185058 HAS SOUPS 184864 WITH SCORE 185193.118
AT ITER 52 NEW BEST:: SOT 420316 SOS 329075 HAS SOPS 323456 HAS SOUS 185010 HAS SOUPS 184816 WITH SCORE 185145.075
AT ITER 54 NEW BEST:: SOT 418432 SOS 325363 HAS SOPS 318598 HAS SOUS 180738 HAS SOUPS 180544 WITH SCORE 180869.363
AT ITER 71 NEW BEST:: SOT 418497 SOS 325428 HAS SOPS 318561 HAS SOUS 180701 HAS SOUPS 180507 WITH SCORE 180832.428
AT ITER 73 NEW BEST:: SOT 418488 SOS 325421 HAS SOPS 318561 HAS SOUS 180701 HAS SOUPS 180507 WITH SCORE 180832.421
AT ITER 89 NEW BEST:: SOT 418212 SOS 325145 HAS SOPS 318285 HAS SOUS 180125 HAS SOUPS 179931 WITH SCORE 180256.145
AT ITER 92 NEW BEST:: SOT 419674 SOS 324865 HAS SOPS 316859 HAS SOUS 178657 HAS SOUPS 178463 WITH SCORE 178787.865
AT ITER 104 NEW BEST:: SOT 419569 SOS 324795 HAS SOPS 316855 HAS SOUS 178653 HAS SOUPS 178459 WITH SCORE 178783.795
AT ITER 116 NEW BEST:: SOT 420063 SOS 324333 HAS SOPS 315247 HAS SOUS 175607 HAS SOUPS 175413 WITH SCORE 175737.333
AT ITER 132 NEW BEST:: SOT 419197 SOS 323504 HAS SOPS 314412 HAS SOUS 174765 HAS SOUPS 174571 WITH SCORE 174894.504
AT ITER 135 NEW BEST:: SOT 417565 SOS 321906 HAS SOPS 312814 HAS SOUS 173167 HAS SOUPS 172973 WITH SCORE 173294.906
AT ITER 142 NEW BEST:: SOT 420487 SOS 323496 HAS SOPS 313257 HAS SOUS 172961 HAS SOUPS 172767 WITH SCORE 173090.496
AT ITER 145 NEW BEST:: SOT 420483 SOS 323492 HAS SOPS 313246 HAS SOUS 172908 HAS SOUPS 172714 WITH SCORE 173037.492
AT ITER 151 NEW BEST:: SOT 420482 SOS 323491 HAS SOPS 313245 HAS SOUS 172907 HAS SOUPS 172713 WITH SCORE 173036.491
AT ITER 162 NEW BEST:: SOT 420482 SOS 323473 HAS SOPS 313227 HAS SOUS 172889 HAS SOUPS 172695 WITH SCORE 173018.473
AT ITER 167 NEW BEST:: SOT 420482 SOS 323473 HAS SOPS 313220 HAS SOUS 172842 HAS SOUPS 172648 WITH SCORE 172971.473
AT ITER 177 NEW BEST:: SOT 420482 SOS 321070 HAS SOPS 310817 HAS SOUS 172840 HAS SOUPS 172646 WITH SCORE 172967.07
AT ITER 180 NEW BEST:: SOT 420424 SOS 321012 HAS SOPS 310759 HAS SOUS 172782 HAS SOUPS 172588 WITH SCORE 172909.012
AT ITER 198 NEW BEST:: SOT 420384 SOS 320972 HAS SOPS 310718 HAS SOUS 172741 HAS SOUPS 172547 WITH SCORE 172867.972
AT ITER 222 NEW BEST:: SOT 420366 SOS 320954 HAS SOPS 310692 HAS SOUS 172715 HAS SOUPS 172521 WITH SCORE 172841.954
AT ITER 246 NEW BEST:: SOT 420313 SOS 320901 HAS SOPS 310664 HAS SOUS 172687 HAS SOUPS 172493 WITH SCORE 172813.901
AT ITER 256 NEW BEST:: SOT 420323 SOS 320911 HAS SOPS 310602 HAS SOUS 172625 HAS SOUPS 172431 WITH SCORE 172751.911
AT ITER 260 NEW BEST:: SOT 418652 SOS 319649 HAS SOPS 309340 HAS SOUS 170988 HAS SOUPS 170794 WITH SCORE 171113.649
AT ITER 262 NEW BEST:: SOT 418609 SOS 319606 HAS SOPS 309297 HAS SOUS 170946 HAS SOUPS 170752 WITH SCORE 171071.606
AT ITER 268 NEW BEST:: SOT 418589 SOS 319586 HAS SOPS 309269 HAS SOUS 170918 HAS SOUPS 170724 WITH SCORE 171043.586
AT ITER 278 NEW BEST:: SOT 418507 SOS 319504 HAS SOPS 309187 HAS SOUS 170836 HAS SOUPS 170642 WITH SCORE 170961.504
AT ITER 298 NEW BEST:: SOT 418367 SOS 319392 HAS SOPS 308998 HAS SOUS 170185 HAS SOUPS 169991 WITH SCORE 170310.392
AT ITER 302 NEW BEST:: SOT 418867 SOS 319348 HAS SOPS 307794 HAS SOUS 167087 HAS SOUPS 166893 WITH SCORE 167212.348
AT ITER 312 NEW BEST:: SOT 418859 SOS 319340 HAS SOPS 307782 HAS SOUS 167075 HAS SOUPS 166881 WITH SCORE 167200.34
AT ITER 338 NEW BEST:: SOT 418959 SOS 319440 HAS SOPS 307882 HAS SOUS 166375 HAS SOUPS 166181 WITH SCORE 166500.44
AT ITER 350 NEW BEST:: SOT 418959 SOS 319410 HAS SOPS 307852 HAS SOUS 166375 HAS SOUPS 166181 WITH SCORE 166500.41
AT ITER 368 NEW BEST:: SOT 418837 SOS 319408 HAS SOPS 307858 HAS SOUS 166333 HAS SOUPS 166139 WITH SCORE 166458.408
AT ITER 388 NEW BEST:: SOT 418836 SOS 319407 HAS SOPS 307857 HAS SOUS 166332 HAS SOUPS 166138 WITH SCORE 166457.407
AT ITER 393 NEW BEST:: SOT 416931 SOS 316017 HAS SOPS 303307 HAS SOUS 161860 HAS SOUPS 161666 WITH SCORE 161982.017
AT ITER 400 NEW BEST:: SOT 416829 SOS 315921 HAS SOPS 303202 HAS SOUS 161717 HAS SOUPS 161523 WITH SCORE 161838.921
AT ITER 418 NEW BEST:: SOT 415071 SOS 314213 HAS SOPS 301494 HAS SOUS 159978 HAS SOUPS 159784 WITH SCORE 160098.213
AT ITER 437 NEW BEST:: SOT 415062 SOS 314204 HAS SOPS 301485 HAS SOUS 159969 HAS SOUPS 159775 WITH SCORE 160089.204
AT ITER 441 NEW BEST:: SOT 415061 SOS 314203 HAS SOPS 301484 HAS SOUS 159968 HAS SOUPS 159774 WITH SCORE 160088.203
AT ITER 442 NEW BEST:: SOT 414906 SOS 314048 HAS SOPS 301346 HAS SOUS 159830 HAS SOUPS 159636 WITH SCORE 159950.048
AT ITER 443 NEW BEST:: SOT 414876 SOS 314018 HAS SOPS 301316 HAS SOUS 159800 HAS SOUPS 159606 WITH SCORE 159920.018
AT ITER 444 NEW BEST:: SOT 411675 SOS 310867 HAS SOPS 298165 HAS SOUS 156664 HAS SOUPS 156470 WITH SCORE 156780.867
AT ITER 508 NEW BEST:: SOT 408519 SOS 307157 HAS SOPS 293294 HAS SOUS 149609 HAS SOUPS 149415 WITH SCORE 149722.157
AT ITER 519 NEW BEST:: SOT 408493 SOS 307139 HAS SOPS 293279 HAS SOUS 149594 HAS SOUPS 149400 WITH SCORE 149707.139
AT ITER 523 NEW BEST:: SOT 408484 SOS 305280 HAS SOPS 291147 HAS SOUS 149515 HAS SOUPS 149321 WITH SCORE 149626.28
AT ITER 545 NEW BEST:: SOT 408484 SOS 304830 HAS SOPS 290697 HAS SOUS 149506 HAS SOUPS 149312 WITH SCORE 149616.83
AT ITER 548 NEW BEST:: SOT 408470 SOS 304816 HAS SOPS 290683 HAS SOUS 149492 HAS SOUPS 149298 WITH SCORE 149602.816
AT ITER 574 NEW BEST:: SOT 408282 SOS 304664 HAS SOPS 290471 HAS SOUS 149091 HAS SOUPS 148897 WITH SCORE 149201.664
AT ITER 593 NEW BEST:: SOT 408282 SOS 304664 HAS SOPS 290470 HAS SOUS 149090 HAS SOUPS 148896 WITH SCORE 149200.664
AT ITER 609 NEW BEST:: SOT 407126 SOS 303562 HAS SOPS 289368 HAS SOUS 147996 HAS SOUPS 147802 WITH SCORE 148105.562
AT ITER 636 NEW BEST:: SOT 405722 SOS 300544 HAS SOPS 285183 HAS SOUS 144479 HAS SOUPS 144285 WITH SCORE 144585.544
AT ITER 658 NEW BEST:: SOT 405660 SOS 300601 HAS SOPS 285288 HAS SOUS 140853 HAS SOUPS 140659 WITH SCORE 140959.601
AT ITER 660 NEW BEST:: SOT 405656 SOS 300597 HAS SOPS 285284 HAS SOUS 140849 HAS SOUPS 140655 WITH SCORE 140955.597
AT ITER 673 NEW BEST:: SOT 405573 SOS 300514 HAS SOPS 285172 HAS SOUS 140737 HAS SOUPS 140543 WITH SCORE 140843.514
AT ITER 698 NEW BEST:: SOT 405554 SOS 300495 HAS SOPS 285172 HAS SOUS 140737 HAS SOUPS 140543 WITH SCORE 140843.495
AT ITER 700 NEW BEST:: SOT 405513 SOS 300454 HAS SOPS 285148 HAS SOUS 140713 HAS SOUPS 140519 WITH SCORE 140819.454
AT ITER 703 NEW BEST:: SOT 405481 SOS 300422 HAS SOPS 285116 HAS SOUS 140681 HAS SOUPS 140487 WITH SCORE 140787.422
AT ITER 704 NEW BEST:: SOT 407313 SOS 300983 HAS SOPS 284510 HAS SOUS 139043 HAS SOUPS 138849 WITH SCORE 139149.983
AT ITER 708 NEW BEST:: SOT 406799 SOS 300473 HAS SOPS 283727 HAS SOUS 138425 HAS SOUPS 138209 WITH SCORE 138509.473
AT ITER 709 NEW BEST:: SOT 406799 SOS 300461 HAS SOPS 283715 HAS SOUS 138425 HAS SOUPS 138209 WITH SCORE 138509.461
AT ITER 712 NEW BEST:: SOT 406795 SOS 300457 HAS SOPS 283711 HAS SOUS 138421 HAS SOUPS 138205 WITH SCORE 138505.457
AT ITER 714 NEW BEST:: SOT 406765 SOS 300427 HAS SOPS 283684 HAS SOUS 138394 HAS SOUPS 138178 WITH SCORE 138478.427
AT ITER 728 NEW BEST:: SOT 405257 SOS 298548 HAS SOPS 281072 HAS SOUS 137269 HAS SOUPS 137053 WITH SCORE 137351.548
AT ITER 738 NEW BEST:: SOT 405203 SOS 298494 HAS SOPS 281018 HAS SOUS 137215 HAS SOUPS 136999 WITH SCORE 137297.494
AT ITER 740 NEW BEST:: SOT 405326 SOS 295686 HAS SOPS 277067 HAS SOUS 135519 HAS SOUPS 135303 WITH SCORE 135598.686
AT ITER 746 NEW BEST:: SOT 405264 SOS 295627 HAS SOPS 276719 HAS SOUS 134516 HAS SOUPS 134300 WITH SCORE 134595.627
AT ITER 761 NEW BEST:: SOT 404764 SOS 295154 HAS SOPS 275873 HAS SOUS 132916 HAS SOUPS 132700 WITH SCORE 132995.154
AT ITER 763 NEW BEST:: SOT 404678 SOS 295085 HAS SOPS 275844 HAS SOUS 132887 HAS SOUPS 132671 WITH SCORE 132966.085
AT ITER 765 NEW BEST:: SOT 404678 SOS 294480 HAS SOPS 275239 HAS SOUS 132870 HAS SOUPS 132654 WITH SCORE 132948.48
AT ITER 770 NEW BEST:: SOT 404648 SOS 294450 HAS SOPS 275209 HAS SOUS 132840 HAS SOUPS 132624 WITH SCORE 132918.45
AT ITER 784 NEW BEST:: SOT 404606 SOS 294408 HAS SOPS 275149 HAS SOUS 132780 HAS SOUPS 132564 WITH SCORE 132858.408
AT ITER 790 NEW BEST:: SOT 404178 SOS 293960 HAS SOPS 274701 HAS SOUS 132342 HAS SOUPS 132126 WITH SCORE 132419.96
AT ITER 812 NEW BEST:: SOT 404266 SOS 292640 HAS SOPS 272171 HAS SOUS 129396 HAS SOUPS 129180 WITH SCORE 129472.64
AT ITER 832 NEW BEST:: SOT 404035 SOS 292438 HAS SOPS 271399 HAS SOUS 127639 HAS SOUPS 127423 WITH SCORE 127715.438
AT ITER 834 NEW BEST:: SOT 403917 SOS 292312 HAS SOPS 271287 HAS SOUS 127481 HAS SOUPS 127265 WITH SCORE 127557.312
AT ITER 885 NEW BEST:: SOT 403913 SOS 292308 HAS SOPS 271283 HAS SOUS 127477 HAS SOUPS 127261 WITH SCORE 127553.308
AT ITER 918 NEW BEST:: SOT 403913 SOS 292324 HAS SOPS 271299 HAS SOUS 127085 HAS SOUPS 126869 WITH SCORE 127161.324
AT ITER 967 NEW BEST:: SOT 403913 SOS 292324 HAS SOPS 271289 HAS SOUS 127075 HAS SOUPS 126859 WITH SCORE 127151.324
AT ITER 990 NEW BEST:: SOT 403906 SOS 292317 HAS SOPS 271282 HAS SOUS 127068 HAS SOUPS 126852 WITH SCORE 127144.317
AT ITER 998 NEW BEST:: SOT 403872 SOS 292283 HAS SOPS 271218 HAS SOUS 127004 HAS SOUPS 126788 WITH SCORE 127080.283
AT ITER 1018 NEW BEST:: SOT 403468 SOS 290963 HAS SOPS 268841 HAS SOUS 125819 HAS SOUPS 125603 WITH SCORE 125893.963
AT ITER 1020 NEW BEST:: SOT 402386 SOS 288339 HAS SOPS 265006 HAS SOUS 123120 HAS SOUPS 122904 WITH SCORE 123192.339
AT ITER 1089 NEW BEST:: SOT 402334 SOS 288287 HAS SOPS 264958 HAS SOUS 123072 HAS SOUPS 122856 WITH SCORE 123144.287
AT ITER 1091 NEW BEST:: SOT 402334 SOS 288228 HAS SOPS 264899 HAS SOUS 123013 HAS SOUPS 122797 WITH SCORE 123085.228
AT ITER 1114 NEW BEST:: SOT 399526 SOS 287602 HAS SOPS 264273 HAS SOUS 120381 HAS SOUPS 120165 WITH SCORE 120452.602
AT ITER 1158 NEW BEST:: SOT 399518 SOS 287594 HAS SOPS 264264 HAS SOUS 120372 HAS SOUPS 120156 WITH SCORE 120443.594
AT ITER 1168 NEW BEST:: SOT 398192 SOS 286359 HAS SOPS 263029 HAS SOUS 119137 HAS SOUPS 118921 WITH SCORE 119207.359
AT ITER 1213 NEW BEST:: SOT 398192 SOS 286359 HAS SOPS 263029 HAS SOUS 119122 HAS SOUPS 118906 WITH SCORE 119192.359
AT ITER 1223 NEW BEST:: SOT 399642 SOS 287848 HAS SOPS 264508 HAS SOUS 118346 HAS SOUPS 118130 WITH SCORE 118417.848
AT ITER 1241 NEW BEST:: SOT 399639 SOS 287845 HAS SOPS 264505 HAS SOUS 118343 HAS SOUPS 118127 WITH SCORE 118414.845
AT ITER 1255 NEW BEST:: SOT 399561 SOS 287792 HAS SOPS 264457 HAS SOUS 118295 HAS SOUPS 118079 WITH SCORE 118366.792
AT ITER 1263 NEW BEST:: SOT 399549 SOS 287780 HAS SOPS 264439 HAS SOUS 118277 HAS SOUPS 118061 WITH SCORE 118348.78
AT ITER 1273 NEW BEST:: SOT 399501 SOS 287732 HAS SOPS 264391 HAS SOUS 118229 HAS SOUPS 118013 WITH SCORE 118300.732
AT ITER 1289 NEW BEST:: SOT 400302 SOS 288579 HAS SOPS 264726 HAS SOUS 118000 HAS SOUPS 117784 WITH SCORE 118072.579
AT ITER 1295 NEW BEST:: SOT 400274 SOS 288551 HAS SOPS 264671 HAS SOUS 117945 HAS SOUPS 117729 WITH SCORE 118017.551
AT ITER 1296 NEW BEST:: SOT 400258 SOS 288535 HAS SOPS 264639 HAS SOUS 117913 HAS SOUPS 117697 WITH SCORE 117985.535
AT ITER 1299 NEW BEST:: SOT 400265 SOS 288483 HAS SOPS 264587 HAS SOUS 117764 HAS SOUPS 117548 WITH SCORE 117836.483
AT ITER 1325 NEW BEST:: SOT 398545 SOS 285472 HAS SOPS 260297 HAS SOUS 113443 HAS SOUPS 113227 WITH SCORE 113512.472
AT ITER 1327 NEW BEST:: SOT 398515 SOS 285442 HAS SOPS 260281 HAS SOUS 113427 HAS SOUPS 113211 WITH SCORE 113496.442
AT ITER 1368 NEW BEST:: SOT 398504 SOS 285431 HAS SOPS 260270 HAS SOUS 113416 HAS SOUPS 113200 WITH SCORE 113485.431
AT ITER 1381 NEW BEST:: SOT 398571 SOS 285324 HAS SOPS 260163 HAS SOUS 113292 HAS SOUPS 113076 WITH SCORE 113361.324
AT ITER 1397 NEW BEST:: SOT 398537 SOS 285290 HAS SOPS 260106 HAS SOUS 113235 HAS SOUPS 113019 WITH SCORE 113304.29
AT ITER 1409 NEW BEST:: SOT 398532 SOS 285285 HAS SOPS 260105 HAS SOUS 113234 HAS SOUPS 113018 WITH SCORE 113303.285
AT ITER 1411 NEW BEST:: SOT 398515 SOS 285268 HAS SOPS 260079 HAS SOUS 113208 HAS SOUPS 112992 WITH SCORE 113277.268
AT ITER 1412 NEW BEST:: SOT 398315 SOS 285036 HAS SOPS 259401 HAS SOUS 113010 HAS SOUPS 112794 WITH SCORE 113079.036
AT ITER 1424 NEW BEST:: SOT 395415 SOS 282136 HAS SOPS 256501 HAS SOUS 111642 HAS SOUPS 111426 WITH SCORE 111708.136
AT ITER 1429 NEW BEST:: SOT 395347 SOS 282068 HAS SOPS 256427 HAS SOUS 111568 HAS SOUPS 111352 WITH SCORE 111634.068
AT ITER 1435 NEW BEST:: SOT 395296 SOS 282017 HAS SOPS 256319 HAS SOUS 111416 HAS SOUPS 111200 WITH SCORE 111482.017
AT ITER 1495 NEW BEST:: SOT 395270 SOS 281991 HAS SOPS 256319 HAS SOUS 111416 HAS SOUPS 111200 WITH SCORE 111481.991
AT ITER 1516 NEW BEST:: SOT 395206 SOS 281927 HAS SOPS 256203 HAS SOUS 111300 HAS SOUPS 111084 WITH SCORE 111365.927
AT ITER 1534 NEW BEST:: SOT 395199 SOS 281920 HAS SOPS 256196 HAS SOUS 111293 HAS SOUPS 111077 WITH SCORE 111358.92
AT ITER 1546 NEW BEST:: SOT 395179 SOS 281900 HAS SOPS 256176 HAS SOUS 111273 HAS SOUPS 111057 WITH SCORE 111338.9
AT ITER 1572 NEW BEST:: SOT 395179 SOS 281900 HAS SOPS 256172 HAS SOUS 111269 HAS SOUPS 111053 WITH SCORE 111334.9
AT ITER 1590 NEW BEST:: SOT 395141 SOS 281862 HAS SOPS 256134 HAS SOUS 111231 HAS SOUPS 111015 WITH SCORE 111296.862
AT ITER 1610 NEW BEST:: SOT 395127 SOS 281848 HAS SOPS 256119 HAS SOUS 111216 HAS SOUPS 111000 WITH SCORE 111281.848
AT ITER 1614 NEW BEST:: SOT 395127 SOS 281198 HAS SOPS 255469 HAS SOUS 111203 HAS SOUPS 110987 WITH SCORE 111268.198
AT ITER 1624 NEW BEST:: SOT 395123 SOS 281194 HAS SOPS 255465 HAS SOUS 111199 HAS SOUPS 110983 WITH SCORE 111264.194
AT ITER 1693 NEW BEST:: SOT 395029 SOS 281129 HAS SOPS 255422 HAS SOUS 111156 HAS SOUPS 110940 WITH SCORE 111221.129
AT ITER 1712 NEW BEST:: SOT 394986 SOS 280654 HAS SOPS 254424 HAS SOUS 110946 HAS SOUPS 110730 WITH SCORE 111010.654
AT ITER 1733 NEW BEST:: SOT 394986 SOS 281762 HAS SOPS 255532 HAS SOUS 110927 HAS SOUPS 110711 WITH SCORE 110992.762
AT ITER 1742 NEW BEST:: SOT 393857 SOS 278741 HAS SOPS 251277 HAS SOUS 107951 HAS SOUPS 107735 WITH SCORE 108013.741
AT ITER 1750 NEW BEST:: SOT 393829 SOS 278713 HAS SOPS 251249 HAS SOUS 107923 HAS SOUPS 107707 WITH SCORE 107985.713
AT ITER 1784 NEW BEST:: SOT 393487 SOS 278362 HAS SOPS 250898 HAS SOUS 107572 HAS SOUPS 107356 WITH SCORE 107634.362
AT ITER 1810 NEW BEST:: SOT 393399 SOS 278274 HAS SOPS 250810 HAS SOUS 107384 HAS SOUPS 107168 WITH SCORE 107446.274
AT ITER 1823 NEW BEST:: SOT 393398 SOS 278272 HAS SOPS 250808 HAS SOUS 107382 HAS SOUPS 107166 WITH SCORE 107444.272
AT ITER 1829 NEW BEST:: SOT 393376 SOS 278261 HAS SOPS 250797 HAS SOUS 107352 HAS SOUPS 107136 WITH SCORE 107414.261
AT ITER 1832 NEW BEST:: SOT 393376 SOS 278146 HAS SOPS 250680 HAS SOUS 107235 HAS SOUPS 107019 WITH SCORE 107297.146
AT ITER 1858 NEW BEST:: SOT 393376 SOS 276558 HAS SOPS 249092 HAS SOUS 107215 HAS SOUPS 106999 WITH SCORE 107275.558
AT ITER 1877 NEW BEST:: SOT 393369 SOS 276551 HAS SOPS 249087 HAS SOUS 107210 HAS SOUPS 106994 WITH SCORE 107270.551
AT ITER 1893 NEW BEST:: SOT 393298 SOS 276480 HAS SOPS 249050 HAS SOUS 107173 HAS SOUPS 106957 WITH SCORE 107233.48
AT ITER 1924 NEW BEST:: SOT 393660 SOS 276402 HAS SOPS 247852 HAS SOUS 107025 HAS SOUPS 106809 WITH SCORE 107085.402
AT ITER 1927 NEW BEST:: SOT 393660 SOS 276386 HAS SOPS 247836 HAS SOUS 107025 HAS SOUPS 106809 WITH SCORE 107085.386
AT ITER 1942 NEW BEST:: SOT 393660 SOS 276295 HAS SOPS 247745 HAS SOUS 107020 HAS SOUPS 106804 WITH SCORE 107080.295
AT ITER 1972 NEW BEST:: SOT 393660 SOS 276300 HAS SOPS 247750 HAS SOUS 106770 HAS SOUPS 106554 WITH SCORE 106830.3
AT ITER 1989 NEW BEST:: SOT 393790 SOS 278203 HAS SOPS 249673 HAS SOUS 105891 HAS SOUPS 105675 WITH SCORE 105953.203
AT ITER 2001 NEW BEST:: SOT 393790 SOS 278203 HAS SOPS 249665 HAS SOUS 105883 HAS SOUPS 105667 WITH SCORE 105945.203
AT ITER 2007 NEW BEST:: SOT 393787 SOS 278200 HAS SOPS 249662 HAS SOUS 105880 HAS SOUPS 105664 WITH SCORE 105942.2
AT ITER 2024 NEW BEST:: SOT 393425 SOS 277838 HAS SOPS 249218 HAS SOUS 104988 HAS SOUPS 104772 WITH SCORE 105049.838
AT ITER 2047 NEW BEST:: SOT 393394 SOS 277831 HAS SOPS 249211 HAS SOUS 104981 HAS SOUPS 104765 WITH SCORE 105042.831
AT ITER 2087 NEW BEST:: SOT 393390 SOS 277827 HAS SOPS 249206 HAS SOUS 104976 HAS SOUPS 104760 WITH SCORE 105037.827
AT ITER 2131 NEW BEST:: SOT 393390 SOS 277811 HAS SOPS 249190 HAS SOUS 103910 HAS SOUPS 103694 WITH SCORE 103971.811
AT ITER 2144 NEW BEST:: SOT 393390 SOS 277811 HAS SOPS 249189 HAS SOUS 103909 HAS SOUPS 103693 WITH SCORE 103970.811
AT ITER 2240 NEW BEST:: SOT 393203 SOS 277653 HAS SOPS 249031 HAS SOUS 103751 HAS SOUPS 103535 WITH SCORE 103812.653
AT ITER 2262 NEW BEST:: SOT 393203 SOS 277203 HAS SOPS 248581 HAS SOUS 103742 HAS SOUPS 103526 WITH SCORE 103803.203
AT ITER 2263 NEW BEST:: SOT 395443 SOS 277957 HAS SOPS 248075 HAS SOUS 103027 HAS SOUPS 102811 WITH SCORE 103088.957
AT ITER 2269 NEW BEST:: SOT 395492 SOS 278005 HAS SOPS 248074 HAS SOUS 103026 HAS SOUPS 102810 WITH SCORE 103088.005
AT ITER 2271 NEW BEST:: SOT 395008 SOS 278716 HAS SOPS 248785 HAS SOUS 102662 HAS SOUPS 102446 WITH SCORE 102724.716
AT ITER 2280 NEW BEST:: SOT 394881 SOS 277286 HAS SOPS 246582 HAS SOUS 102163 HAS SOUPS 101947 WITH SCORE 102224.286
AT ITER 2309 NEW BEST:: SOT 394871 SOS 277282 HAS SOPS 246578 HAS SOUS 102159 HAS SOUPS 101943 WITH SCORE 102220.282
AT ITER 2372 NEW BEST:: SOT 394521 SOS 276924 HAS SOPS 246220 HAS SOUS 101409 HAS SOUPS 101193 WITH SCORE 101469.924
AT ITER 2384 NEW BEST:: SOT 394521 SOS 275725 HAS SOPS 245021 HAS SOUS 101386 HAS SOUPS 101170 WITH SCORE 101445.725
AT ITER 2399 NEW BEST:: SOT 393130 SOS 274334 HAS SOPS 243630 HAS SOUS 99995 HAS SOUPS 99779 WITH SCORE 100053.334
AT ITER 2401 NEW BEST:: SOT 393119 SOS 274323 HAS SOPS 243624 HAS SOUS 99989 HAS SOUPS 99773 WITH SCORE 100047.323
AT ITER 2405 NEW BEST:: SOT 391143 SOS 272347 HAS SOPS 241161 HAS SOUS 95301 HAS SOUPS 95085 WITH SCORE 95357.347
AT ITER 2501 NEW BEST:: SOT 390199 SOS 272124 HAS SOPS 240217 HAS SOUS 94375 HAS SOUPS 94141 WITH SCORE 94413.124
AT ITER 2547 NEW BEST:: SOT 390178 SOS 272103 HAS SOPS 240195 HAS SOUS 94354 HAS SOUPS 94119 WITH SCORE 94391.103
AT ITER 2563 NEW BEST:: SOT 390140 SOS 272065 HAS SOPS 240138 HAS SOUS 94297 HAS SOUPS 94062 WITH SCORE 94334.065
AT ITER 2616 NEW BEST:: SOT 390074 SOS 271999 HAS SOPS 240072 HAS SOUS 94231 HAS SOUPS 93996 WITH SCORE 94267.999
AT ITER 2619 NEW BEST:: SOT 390073 SOS 271998 HAS SOPS 240071 HAS SOUS 94230 HAS SOUPS 93995 WITH SCORE 94266.998
AT ITER 2668 NEW BEST:: SOT 390073 SOS 270211 HAS SOPS 238284 HAS SOUS 94181 HAS SOUPS 93946 WITH SCORE 94216.211
AT ITER 2670 NEW BEST:: SOT 390048 SOS 270186 HAS SOPS 238280 HAS SOUS 94177 HAS SOUPS 93942 WITH SCORE 94212.186
AT ITER 2689 NEW BEST:: SOT 390048 SOS 269993 HAS SOPS 238087 HAS SOUS 94161 HAS SOUPS 93926 WITH SCORE 94195.993
AT ITER 2693 NEW BEST:: SOT 387861 SOS 267806 HAS SOPS 235929 HAS SOUS 92051 HAS SOUPS 91816 WITH SCORE 92083.806
AT ITER 2694 NEW BEST:: SOT 387861 SOS 267800 HAS SOPS 235923 HAS SOUS 92051 HAS SOUPS 91816 WITH SCORE 92083.8
AT ITER 2719 NEW BEST:: SOT 387861 SOS 267770 HAS SOPS 235893 HAS SOUS 91995 HAS SOUPS 91760 WITH SCORE 92027.77
AT ITER 2744 NEW BEST:: SOT 387858 SOS 267767 HAS SOPS 235887 HAS SOUS 91989 HAS SOUPS 91754 WITH SCORE 92021.767
AT ITER 2760 NEW BEST:: SOT 384058 SOS 267169 HAS SOPS 236189 HAS SOUS 91207 HAS SOUPS 90972 WITH SCORE 91239.169
AT ITER 2765 NEW BEST:: SOT 384056 SOS 267167 HAS SOPS 236187 HAS SOUS 91205 HAS SOUPS 90970 WITH SCORE 91237.167
AT ITER 2781 NEW BEST:: SOT 384035 SOS 267146 HAS SOPS 236166 HAS SOUS 91184 HAS SOUPS 90949 WITH SCORE 91216.146
AT ITER 2786 NEW BEST:: SOT 383991 SOS 267102 HAS SOPS 236122 HAS SOUS 91140 HAS SOUPS 90905 WITH SCORE 91172.102
AT ITER 2804 NEW BEST:: SOT 383543 SOS 266665 HAS SOPS 235685 HAS SOUS 90242 HAS SOUPS 90007 WITH SCORE 90273.665
AT ITER 2807 NEW BEST:: SOT 383343 SOS 266633 HAS SOPS 235485 HAS SOUS 90046 HAS SOUPS 89807 WITH SCORE 90073.633
AT ITER 2839 NEW BEST:: SOT 383366 SOS 266656 HAS SOPS 235479 HAS SOUS 90040 HAS SOUPS 89801 WITH SCORE 90067.656
AT ITER 2908 NEW BEST:: SOT 383356 SOS 266646 HAS SOPS 235469 HAS SOUS 90030 HAS SOUPS 89791 WITH SCORE 90057.646
AT ITER 3007 NEW BEST:: SOT 383350 SOS 266640 HAS SOPS 235463 HAS SOUS 90024 HAS SOUPS 89785 WITH SCORE 90051.64
AT ITER 3050 NEW BEST:: SOT 383342 SOS 266632 HAS SOPS 235433 HAS SOUS 89994 HAS SOUPS 89755 WITH SCORE 90021.632
AT ITER 3073 NEW BEST:: SOT 383392 SOS 266673 HAS SOPS 235474 HAS SOUS 89635 HAS SOUPS 89396 WITH SCORE 89662.673
AT ITER 3097 NEW BEST:: SOT 383442 SOS 266723 HAS SOPS 235524 HAS SOUS 89633 HAS SOUPS 89394 WITH SCORE 89660.723
AT ITER 3105 NEW BEST:: SOT 382392 SOS 265673 HAS SOPS 234474 HAS SOUS 88583 HAS SOUPS 88344 WITH SCORE 88609.673
AT ITER 3113 NEW BEST:: SOT 382392 SOS 264885 HAS SOPS 233686 HAS SOUS 88560 HAS SOUPS 88321 WITH SCORE 88585.885
AT ITER 3119 NEW BEST:: SOT 382379 SOS 264872 HAS SOPS 233679 HAS SOUS 88553 HAS SOUPS 88314 WITH SCORE 88578.872
AT ITER 3126 NEW BEST:: SOT 382410 SOS 264903 HAS SOPS 233671 HAS SOUS 88545 HAS SOUPS 88306 WITH SCORE 88570.903
AT ITER 3193 NEW BEST:: SOT 382402 SOS 264895 HAS SOPS 233663 HAS SOUS 88537 HAS SOUPS 88298 WITH SCORE 88562.895
AT ITER 3221 NEW BEST:: SOT 382402 SOS 264751 HAS SOPS 233519 HAS SOUS 88528 HAS SOUPS 88289 WITH SCORE 88553.751
AT ITER 3229 NEW BEST:: SOT 382370 SOS 264719 HAS SOPS 233487 HAS SOUS 88496 HAS SOUPS 88257 WITH SCORE 88521.719
AT ITER 3265 NEW BEST:: SOT 382358 SOS 264707 HAS SOPS 233475 HAS SOUS 88484 HAS SOUPS 88245 WITH SCORE 88509.707
AT ITER 3290 NEW BEST:: SOT 382352 SOS 264701 HAS SOPS 233469 HAS SOUS 88478 HAS SOUPS 88239 WITH SCORE 88503.701
AT ITER 3296 NEW BEST:: SOT 383725 SOS 266074 HAS SOPS 233730 HAS SOUS 88459 HAS SOUPS 88220 WITH SCORE 88486.074
AT ITER 3297 NEW BEST:: SOT 383717 SOS 266066 HAS SOPS 233722 HAS SOUS 88451 HAS SOUPS 88212 WITH SCORE 88478.066
AT ITER 3326 NEW BEST:: SOT 383708 SOS 266057 HAS SOPS 233713 HAS SOUS 88442 HAS SOUPS 88203 WITH SCORE 88469.057
AT ITER 3342 NEW BEST:: SOT 383708 SOS 265980 HAS SOPS 233636 HAS SOUS 88442 HAS SOUPS 88203 WITH SCORE 88468.98
AT ITER 3356 NEW BEST:: SOT 383708 SOS 265933 HAS SOPS 233589 HAS SOUS 88395 HAS SOUPS 88156 WITH SCORE 88421.933
AT ITER 3396 NEW BEST:: SOT 383669 SOS 265894 HAS SOPS 233550 HAS SOUS 88356 HAS SOUPS 88117 WITH SCORE 88382.894
AT ITER 3414 NEW BEST:: SOT 385851 SOS 267998 HAS SOPS 235450 HAS SOUS 87940 HAS SOUPS 87701 WITH SCORE 87968.998
AT ITER 3415 NEW BEST:: SOT 385813 SOS 267960 HAS SOPS 235436 HAS SOUS 87926 HAS SOUPS 87687 WITH SCORE 87954.96
AT ITER 3422 NEW BEST:: SOT 385813 SOS 267960 HAS SOPS 235403 HAS SOUS 87893 HAS SOUPS 87654 WITH SCORE 87921.96
AT ITER 3473 NEW BEST:: SOT 385809 SOS 267952 HAS SOPS 235381 HAS SOUS 87871 HAS SOUPS 87632 WITH SCORE 87899.952
AT ITER 3477 NEW BEST:: SOT 385472 SOS 267596 HAS SOPS 235094 HAS SOUS 87658 HAS SOUPS 87419 WITH SCORE 87686.596
AT ITER 3540 NEW BEST:: SOT 385501 SOS 267625 HAS SOPS 235090 HAS SOUS 87654 HAS SOUPS 87415 WITH SCORE 87682.625
AT ITER 3551 NEW BEST:: SOT 385419 SOS 267574 HAS SOPS 235089 HAS SOUS 87653 HAS SOUPS 87414 WITH SCORE 87681.574
AT ITER 3566 NEW BEST:: SOT 385419 SOS 267545 HAS SOPS 235060 HAS SOUS 87624 HAS SOUPS 87385 WITH SCORE 87652.545
AT ITER 3611 NEW BEST:: SOT 385419 SOS 267281 HAS SOPS 234796 HAS SOUS 87519 HAS SOUPS 87280 WITH SCORE 87547.281
AT ITER 3627 NEW BEST:: SOT 385419 SOS 267281 HAS SOPS 234792 HAS SOUS 87515 HAS SOUPS 87276 WITH SCORE 87543.281
AT ITER 3737 NEW BEST:: SOT 385392 SOS 267334 HAS SOPS 234845 HAS SOUS 87498 HAS SOUPS 87259 WITH SCORE 87526.334
AT ITER 3742 NEW BEST:: SOT 385342 SOS 267284 HAS SOPS 234795 HAS SOUS 87398 HAS SOUPS 87159 WITH SCORE 87426.284
AT ITER 3862 NEW BEST:: SOT 387608 SOS 267558 HAS SOPS 233812 HAS SOUS 87338 HAS SOUPS 87099 WITH SCORE 87366.558
AT ITER 3879 NEW BEST:: SOT 387603 SOS 267553 HAS SOPS 233807 HAS SOUS 87333 HAS SOUPS 87094 WITH SCORE 87361.553
AT ITER 3923 NEW BEST:: SOT 387375 SOS 267325 HAS SOPS 233044 HAS SOUS 86515 HAS SOUPS 86276 WITH SCORE 86543.325
AT ITER 3985 NEW BEST:: SOT 386863 SOS 266813 HAS SOPS 232532 HAS SOUS 85429 HAS SOUPS 85190 WITH SCORE 85456.813
AT ITER 3990 NEW BEST:: SOT 387513 SOS 267481 HAS SOPS 233254 HAS SOUS 84874 HAS SOUPS 84635 WITH SCORE 84902.481
AT ITER 4005 NEW BEST:: SOT 387507 SOS 267475 HAS SOPS 233243 HAS SOUS 84863 HAS SOUPS 84624 WITH SCORE 84891.475
AT ITER 4015 NEW BEST:: SOT 387507 SOS 267511 HAS SOPS 233279 HAS SOUS 84858 HAS SOUPS 84619 WITH SCORE 84886.511
AT ITER 4023 NEW BEST:: SOT 387494 SOS 267498 HAS SOPS 233266 HAS SOUS 84845 HAS SOUPS 84606 WITH SCORE 84873.498
AT ITER 4025 NEW BEST:: SOT 387487 SOS 267491 HAS SOPS 233266 HAS SOUS 84845 HAS SOUPS 84606 WITH SCORE 84873.491
AT ITER 4044 NEW BEST:: SOT 387487 SOS 267491 HAS SOPS 233260 HAS SOUS 84839 HAS SOUPS 84600 WITH SCORE 84867.491
AT ITER 4061 NEW BEST:: SOT 387487 SOS 266227 HAS SOPS 231996 HAS SOUS 84715 HAS SOUPS 84476 WITH SCORE 84742.227
AT ITER 4087 NEW BEST:: SOT 385821 SOS 264561 HAS SOPS 230330 HAS SOUS 83083 HAS SOUPS 82844 WITH SCORE 83108.561
AT ITER 4122 NEW BEST:: SOT 385821 SOS 264561 HAS SOPS 230330 HAS SOUS 82573 HAS SOUPS 82334 WITH SCORE 82598.561
AT ITER 4155 NEW BEST:: SOT 385821 SOS 264543 HAS SOPS 230284 HAS SOUS 82527 HAS SOUPS 82288 WITH SCORE 82552.543
AT ITER 4165 NEW BEST:: SOT 385789 SOS 264511 HAS SOPS 230252 HAS SOUS 82495 HAS SOUPS 82256 WITH SCORE 82520.511
AT ITER 4181 NEW BEST:: SOT 385786 SOS 264097 HAS SOPS 229838 HAS SOUS 82129 HAS SOUPS 81890 WITH SCORE 82154.097
AT ITER 4253 NEW BEST:: SOT 385752 SOS 264063 HAS SOPS 229807 HAS SOUS 82098 HAS SOUPS 81859 WITH SCORE 82123.063
AT ITER 4255 NEW BEST:: SOT 385743 SOS 264054 HAS SOPS 229795 HAS SOUS 82086 HAS SOUPS 81847 WITH SCORE 82111.054
AT ITER 4279 NEW BEST:: SOT 385861 SOS 264066 HAS SOPS 229807 HAS SOUS 82029 HAS SOUPS 81790 WITH SCORE 82054.066
AT ITER 4337 NEW BEST:: SOT 385857 SOS 264062 HAS SOPS 229790 HAS SOUS 82012 HAS SOUPS 81773 WITH SCORE 82037.062
AT ITER 4338 NEW BEST:: SOT 385825 SOS 264030 HAS SOPS 229758 HAS SOUS 81980 HAS SOUPS 81741 WITH SCORE 82005.03
AT ITER 4347 NEW BEST:: SOT 385825 SOS 263790 HAS SOPS 229518 HAS SOUS 81965 HAS SOUPS 81726 WITH SCORE 81989.79
AT ITER 4393 NEW BEST:: SOT 385799 SOS 263764 HAS SOPS 229469 HAS SOUS 81909 HAS SOUPS 81670 WITH SCORE 81933.764
AT ITER 4411 NEW BEST:: SOT 385349 SOS 263314 HAS SOPS 229019 HAS SOUS 81009 HAS SOUPS 80770 WITH SCORE 81033.314
AT ITER 4415 NEW BEST:: SOT 385337 SOS 263302 HAS SOPS 229007 HAS SOUS 80997 HAS SOUPS 80758 WITH SCORE 81021.302
AT ITER 4426 NEW BEST:: SOT 385337 SOS 262750 HAS SOPS 228455 HAS SOUS 80954 HAS SOUPS 80715 WITH SCORE 80977.75
AT ITER 4504 NEW BEST:: SOT 385331 SOS 262744 HAS SOPS 228446 HAS SOUS 80945 HAS SOUPS 80706 WITH SCORE 80968.744
AT ITER 4526 NEW BEST:: SOT 385255 SOS 262668 HAS SOPS 228304 HAS SOUS 80803 HAS SOUPS 80564 WITH SCORE 80826.668
AT ITER 4589 NEW BEST:: SOT 385576 SOS 262989 HAS SOPS 228085 HAS SOUS 80455 HAS SOUPS 80216 WITH SCORE 80478.989
AT ITER 4601 NEW BEST:: SOT 384012 SOS 261425 HAS SOPS 226521 HAS SOUS 78891 HAS SOUPS 78652 WITH SCORE 78913.425
AT ITER 4608 NEW BEST:: SOT 383994 SOS 261407 HAS SOPS 226494 HAS SOUS 78864 HAS SOUPS 78625 WITH SCORE 78886.407
AT ITER 4626 NEW BEST:: SOT 382809 SOS 261248 HAS SOPS 225309 HAS SOUS 77702 HAS SOUPS 77440 WITH SCORE 77701.248
AT ITER 4631 NEW BEST:: SOT 381993 SOS 260432 HAS SOPS 224777 HAS SOUS 77375 HAS SOUPS 77115 WITH SCORE 77375.432
AT ITER 4666 NEW BEST:: SOT 381989 SOS 260428 HAS SOPS 224764 HAS SOUS 77362 HAS SOUPS 77102 WITH SCORE 77362.428
AT ITER 4681 NEW BEST:: SOT 381948 SOS 260387 HAS SOPS 224723 HAS SOUS 77335 HAS SOUPS 77075 WITH SCORE 77335.387
AT ITER 4740 NEW BEST:: SOT 382312 SOS 260611 HAS SOPS 225038 HAS SOUS 76387 HAS SOUPS 76127 WITH SCORE 76387.611
AT ITER 4750 NEW BEST:: SOT 382312 SOS 260609 HAS SOPS 225036 HAS SOUS 76385 HAS SOUPS 76125 WITH SCORE 76385.609
AT ITER 4796 NEW BEST:: SOT 382285 SOS 260582 HAS SOPS 224986 HAS SOUS 76328 HAS SOUPS 76068 WITH SCORE 76328.582
AT ITER 4814 NEW BEST:: SOT 382281 SOS 260578 HAS SOPS 224986 HAS SOUS 76328 HAS SOUPS 76068 WITH SCORE 76328.578
AT ITER 4817 NEW BEST:: SOT 382275 SOS 260572 HAS SOPS 224980 HAS SOUS 76322 HAS SOUPS 76062 WITH SCORE 76322.572
AT ITER 4883 NEW BEST:: SOT 382271 SOS 260568 HAS SOPS 224976 HAS SOUS 76318 HAS SOUPS 76058 WITH SCORE 76318.568
AT ITER 4939 NEW BEST:: SOT 382257 SOS 260554 HAS SOPS 224962 HAS SOUS 76304 HAS SOUPS 76044 WITH SCORE 76304.554
AT ITER 4998 NEW BEST:: SOT 381929 SOS 260226 HAS SOPS 224871 HAS SOUS 76269 HAS SOUPS 76009 WITH SCORE 76269.226
AT ITER 5006 NEW BEST:: SOT 381929 SOS 259772 HAS SOPS 224417 HAS SOUS 76245 HAS SOUPS 75985 WITH SCORE 76244.772
AT ITER 5042 NEW BEST:: SOT 381928 SOS 259771 HAS SOPS 224416 HAS SOUS 76244 HAS SOUPS 75984 WITH SCORE 76243.771
AT ITER 5077 NEW BEST:: SOT 381840 SOS 259677 HAS SOPS 224410 HAS SOUS 76238 HAS SOUPS 75978 WITH SCORE 76237.677
AT ITER 5085 NEW BEST:: SOT 381838 SOS 259674 HAS SOPS 224407 HAS SOUS 76235 HAS SOUPS 75975 WITH SCORE 76234.674
AT ITER 5177 NEW BEST:: SOT 382711 SOS 259004 HAS SOPS 223120 HAS SOUS 74714 HAS SOUPS 74454 WITH SCORE 74713.004
AT ITER 5184 NEW BEST:: SOT 382711 SOS 259831 HAS SOPS 223947 HAS SOUS 74708 HAS SOUPS 74448 WITH SCORE 74707.831
AT ITER 5247 NEW BEST:: SOT 382711 SOS 259827 HAS SOPS 223943 HAS SOUS 74708 HAS SOUPS 74448 WITH SCORE 74707.827
AT ITER 5271 NEW BEST:: SOT 382722 SOS 259838 HAS SOPS 223748 HAS SOUS 74546 HAS SOUPS 74286 WITH SCORE 74545.838
AT ITER 5312 NEW BEST:: SOT 382701 SOS 259817 HAS SOPS 223738 HAS SOUS 74536 HAS SOUPS 74276 WITH SCORE 74535.817
AT ITER 5326 NEW BEST:: SOT 382711 SOS 259827 HAS SOPS 223718 HAS SOUS 74516 HAS SOUPS 74256 WITH SCORE 74515.827
AT ITER 5350 NEW BEST:: SOT 382708 SOS 259824 HAS SOPS 223715 HAS SOUS 74513 HAS SOUPS 74253 WITH SCORE 74512.824
AT ITER 5359 NEW BEST:: SOT 382690 SOS 259806 HAS SOPS 223697 HAS SOUS 74495 HAS SOUPS 74235 WITH SCORE 74494.806
AT ITER 5391 NEW BEST:: SOT 382690 SOS 259806 HAS SOPS 223671 HAS SOUS 74469 HAS SOUPS 74209 WITH SCORE 74468.806
AT ITER 5459 NEW BEST:: SOT 382656 SOS 259772 HAS SOPS 223631 HAS SOUS 74429 HAS SOUPS 74169 WITH SCORE 74428.772
AT ITER 5466 NEW BEST:: SOT 382656 SOS 258837 HAS SOPS 222696 HAS SOUS 74425 HAS SOUPS 74165 WITH SCORE 74423.837
AT ITER 5479 NEW BEST:: SOT 382509 SOS 258690 HAS SOPS 222549 HAS SOUS 74128 HAS SOUPS 73868 WITH SCORE 74126.69
AT ITER 5517 NEW BEST:: SOT 382501 SOS 258682 HAS SOPS 222548 HAS SOUS 74127 HAS SOUPS 73867 WITH SCORE 74125.682
AT ITER 5572 NEW BEST:: SOT 381544 SOS 257725 HAS SOPS 221591 HAS SOUS 73170 HAS SOUPS 72910 WITH SCORE 73167.725
AT ITER 5611 NEW BEST:: SOT 381044 SOS 257831 HAS SOPS 221091 HAS SOUS 72170 HAS SOUPS 71897 WITH SCORE 72154.831
AT ITER 5620 NEW BEST:: SOT 380991 SOS 257778 HAS SOPS 221033 HAS SOUS 72112 HAS SOUPS 71839 WITH SCORE 72096.778
AT ITER 5635 NEW BEST:: SOT 380979 SOS 257766 HAS SOPS 221021 HAS SOUS 72100 HAS SOUPS 71827 WITH SCORE 72084.766
AT ITER 5692 NEW BEST:: SOT 380945 SOS 257732 HAS SOPS 221021 HAS SOUS 72100 HAS SOUPS 71827 WITH SCORE 72084.732
AT ITER 5714 NEW BEST:: SOT 380922 SOS 257709 HAS SOPS 220993 HAS SOUS 72072 HAS SOUPS 71799 WITH SCORE 72056.709
AT ITER 5726 NEW BEST:: SOT 380816 SOS 257603 HAS SOPS 220887 HAS SOUS 71492 HAS SOUPS 71219 WITH SCORE 71476.603
AT ITER 5754 NEW BEST:: SOT 380810 SOS 257597 HAS SOPS 220881 HAS SOUS 71486 HAS SOUPS 71213 WITH SCORE 71470.597
AT ITER 5826 NEW BEST:: SOT 380805 SOS 257592 HAS SOPS 220870 HAS SOUS 71475 HAS SOUPS 71202 WITH SCORE 71459.592
AT ITER 5851 NEW BEST:: SOT 381595 SOS 258382 HAS SOPS 220258 HAS SOUS 70275 HAS SOUPS 70002 WITH SCORE 70260.382
AT ITER 5991 NEW BEST:: SOT 381378 SOS 258165 HAS SOPS 220041 HAS SOUS 70050 HAS SOUPS 69777 WITH SCORE 70035.165
AT ITER 5994 NEW BEST:: SOT 381353 SOS 258126 HAS SOPS 220002 HAS SOUS 70011 HAS SOUPS 69738 WITH SCORE 69996.126
AT ITER 6029 NEW BEST:: SOT 381353 SOS 257657 HAS SOPS 219533 HAS SOUS 69999 HAS SOUPS 69726 WITH SCORE 69983.657
AT ITER 6057 NEW BEST:: SOT 381352 SOS 257656 HAS SOPS 219531 HAS SOUS 69997 HAS SOUPS 69724 WITH SCORE 69981.656
AT ITER 6080 NEW BEST:: SOT 380490 SOS 256794 HAS SOPS 218800 HAS SOUS 68549 HAS SOUPS 68276 WITH SCORE 68532.794
AT ITER 6096 NEW BEST:: SOT 380490 SOS 256594 HAS SOPS 218600 HAS SOUS 68545 HAS SOUPS 68272 WITH SCORE 68528.594
AT ITER 6165 NEW BEST:: SOT 380434 SOS 256538 HAS SOPS 218554 HAS SOUS 68499 HAS SOUPS 68226 WITH SCORE 68482.538
AT ITER 6234 NEW BEST:: SOT 380429 SOS 256533 HAS SOPS 218549 HAS SOUS 68494 HAS SOUPS 68221 WITH SCORE 68477.533
AT ITER 6289 NEW BEST:: SOT 380415 SOS 256519 HAS SOPS 218521 HAS SOUS 68466 HAS SOUPS 68193 WITH SCORE 68449.519
AT ITER 6308 NEW BEST:: SOT 380365 SOS 256471 HAS SOPS 218473 HAS SOUS 68368 HAS SOUPS 68095 WITH SCORE 68351.471
AT ITER 6377 NEW BEST:: SOT 380715 SOS 256821 HAS SOPS 218823 HAS SOUS 67895 HAS SOUPS 67622 WITH SCORE 67878.821
AT ITER 6398 NEW BEST:: SOT 380701 SOS 256807 HAS SOPS 218809 HAS SOUS 67881 HAS SOUPS 67608 WITH SCORE 67864.807
AT ITER 6407 NEW BEST:: SOT 380691 SOS 256797 HAS SOPS 218809 HAS SOUS 67881 HAS SOUPS 67608 WITH SCORE 67864.797
AT ITER 6483 NEW BEST:: SOT 380605 SOS 256711 HAS SOPS 218671 HAS SOUS 67743 HAS SOUPS 67470 WITH SCORE 67726.711
AT ITER 6525 NEW BEST:: SOT 380545 SOS 256651 HAS SOPS 218611 HAS SOUS 67683 HAS SOUPS 67410 WITH SCORE 67666.651
AT ITER 6574 NEW BEST:: SOT 380428 SOS 256534 HAS SOPS 218418 HAS SOUS 67430 HAS SOUPS 67157 WITH SCORE 67413.534
AT ITER 6591 NEW BEST:: SOT 380025 SOS 256131 HAS SOPS 217733 HAS SOUS 66567 HAS SOUPS 66294 WITH SCORE 66550.131
AT ITER 6595 NEW BEST:: SOT 380009 SOS 256115 HAS SOPS 217717 HAS SOUS 66551 HAS SOUPS 66278 WITH SCORE 66534.115
AT ITER 6601 NEW BEST:: SOT 380029 SOS 256135 HAS SOPS 217716 HAS SOUS 66550 HAS SOUPS 66277 WITH SCORE 66533.135
AT ITER 6611 NEW BEST:: SOT 379934 SOS 256040 HAS SOPS 217621 HAS SOUS 66455 HAS SOUPS 66182 WITH SCORE 66438.04
AT ITER 6720 NEW BEST:: SOT 379911 SOS 256017 HAS SOPS 217608 HAS SOUS 66442 HAS SOUPS 66169 WITH SCORE 66425.017
AT ITER 6770 NEW BEST:: SOT 379867 SOS 255973 HAS SOPS 217564 HAS SOUS 66398 HAS SOUPS 66125 WITH SCORE 66380.973
AT ITER 6800 NEW BEST:: SOT 379861 SOS 255967 HAS SOPS 217555 HAS SOUS 66389 HAS SOUPS 66116 WITH SCORE 66371.967
AT ITER 6911 NEW BEST:: SOT 379860 SOS 255966 HAS SOPS 217553 HAS SOUS 66387 HAS SOUPS 66114 WITH SCORE 66369.966
AT ITER 6921 NEW BEST:: SOT 379853 SOS 255959 HAS SOPS 217521 HAS SOUS 66355 HAS SOUPS 66082 WITH SCORE 66337.959
AT ITER 6923 NEW BEST:: SOT 379853 SOS 254489 HAS SOPS 216051 HAS SOUS 66355 HAS SOUPS 66082 WITH SCORE 66336.489
AT ITER 6946 NEW BEST:: SOT 379587 SOS 254223 HAS SOPS 215779 HAS SOUS 65792 HAS SOUPS 65519 WITH SCORE 65773.223
AT ITER 6988 NEW BEST:: SOT 378201 SOS 254180 HAS SOPS 214393 HAS SOUS 64434 HAS SOUPS 64133 WITH SCORE 64387.18
AT ITER 7013 NEW BEST:: SOT 378171 SOS 254150 HAS SOPS 214370 HAS SOUS 64411 HAS SOUPS 64110 WITH SCORE 64364.15
AT ITER 7060 NEW BEST:: SOT 378169 SOS 254148 HAS SOPS 214358 HAS SOUS 64399 HAS SOUPS 64098 WITH SCORE 64352.148
AT ITER 7086 NEW BEST:: SOT 377687 SOS 253666 HAS SOPS 213876 HAS SOUS 63917 HAS SOUPS 63616 WITH SCORE 63869.666
AT ITER 7098 NEW BEST:: SOT 377687 SOS 253662 HAS SOPS 213872 HAS SOUS 63913 HAS SOUPS 63612 WITH SCORE 63865.662
AT ITER 7167 NEW BEST:: SOT 377637 SOS 253605 HAS SOPS 213815 HAS SOUS 63806 HAS SOUPS 63505 WITH SCORE 63758.605
AT ITER 7180 NEW BEST:: SOT 377637 SOS 253305 HAS SOPS 213515 HAS SOUS 63800 HAS SOUPS 63499 WITH SCORE 63752.305
AT ITER 7205 NEW BEST:: SOT 377637 SOS 253305 HAS SOPS 213493 HAS SOUS 63778 HAS SOUPS 63477 WITH SCORE 63730.305
AT ITER 7256 NEW BEST:: SOT 377502 SOS 253170 HAS SOPS 213243 HAS SOUS 63493 HAS SOUPS 63192 WITH SCORE 63445.17
AT ITER 7258 NEW BEST:: SOT 377502 SOS 252809 HAS SOPS 212882 HAS SOUS 63475 HAS SOUPS 63174 WITH SCORE 63426.809
AT ITER 7259 NEW BEST:: SOT 377458 SOS 252765 HAS SOPS 212813 HAS SOUS 63406 HAS SOUPS 63105 WITH SCORE 63357.765
AT ITER 7260 NEW BEST:: SOT 377386 SOS 252693 HAS SOPS 212741 HAS SOUS 63334 HAS SOUPS 63033 WITH SCORE 63285.693
AT ITER 7263 NEW BEST:: SOT 377376 SOS 252683 HAS SOPS 212731 HAS SOUS 63324 HAS SOUPS 63023 WITH SCORE 63275.683
AT ITER 7356 NEW BEST:: SOT 377258 SOS 252565 HAS SOPS 212537 HAS SOUS 63070 HAS SOUPS 62769 WITH SCORE 63021.565
AT ITER 7409 NEW BEST:: SOT 377261 SOS 252568 HAS SOPS 212530 HAS SOUS 63063 HAS SOUPS 62762 WITH SCORE 63014.568
AT ITER 7440 NEW BEST:: SOT 377204 SOS 252511 HAS SOPS 212295 HAS SOUS 62716 HAS SOUPS 62415 WITH SCORE 62667.511
AT ITER 7483 NEW BEST:: SOT 377197 SOS 252504 HAS SOPS 212288 HAS SOUS 62709 HAS SOUPS 62408 WITH SCORE 62660.504
AT ITER 7582 NEW BEST:: SOT 377195 SOS 252502 HAS SOPS 212287 HAS SOUS 62708 HAS SOUPS 62407 WITH SCORE 62659.502
AT ITER 7585 NEW BEST:: SOT 377189 SOS 252496 HAS SOPS 212281 HAS SOUS 62702 HAS SOUPS 62401 WITH SCORE 62653.496
AT ITER 7675 NEW BEST:: SOT 377189 SOS 252495 HAS SOPS 212280 HAS SOUS 62701 HAS SOUPS 62400 WITH SCORE 62652.495
AT ITER 7682 NEW BEST:: SOT 377189 SOS 252473 HAS SOPS 212256 HAS SOUS 62677 HAS SOUPS 62376 WITH SCORE 62628.473
AT ITER 7720 NEW BEST:: SOT 377189 SOS 253837 HAS SOPS 213620 HAS SOUS 62661 HAS SOUPS 62360 WITH SCORE 62613.837
AT ITER 7762 NEW BEST:: SOT 377217 SOS 253865 HAS SOPS 213588 HAS SOUS 62629 HAS SOUPS 62328 WITH SCORE 62581.865
AT ITER 7777 NEW BEST:: SOT 377207 SOS 253855 HAS SOPS 213578 HAS SOUS 62619 HAS SOUPS 62318 WITH SCORE 62571.855
AT ITER 7836 NEW BEST:: SOT 377204 SOS 253852 HAS SOPS 213575 HAS SOUS 62616 HAS SOUPS 62315 WITH SCORE 62568.852
AT ITER 8016 NEW BEST:: SOT 377117 SOS 253765 HAS SOPS 213475 HAS SOUS 62516 HAS SOUPS 62215 WITH SCORE 62468.765
AT ITER 8037 NEW BEST:: SOT 377110 SOS 253758 HAS SOPS 213474 HAS SOUS 62515 HAS SOUPS 62214 WITH SCORE 62467.758
AT ITER 8041 NEW BEST:: SOT 377123 SOS 253740 HAS SOPS 213456 HAS SOUS 62497 HAS SOUPS 62196 WITH SCORE 62449.74
AT ITER 8046 NEW BEST:: SOT 377123 SOS 252840 HAS SOPS 212556 HAS SOUS 62479 HAS SOUPS 62178 WITH SCORE 62430.84
AT ITER 8062 NEW BEST:: SOT 377083 SOS 252800 HAS SOPS 212478 HAS SOUS 62401 HAS SOUPS 62100 WITH SCORE 62352.8
AT ITER 8120 NEW BEST:: SOT 377083 SOS 252800 HAS SOPS 212477 HAS SOUS 62400 HAS SOUPS 62099 WITH SCORE 62351.8
AT ITER 8125 NEW BEST:: SOT 377083 SOS 252600 HAS SOPS 212277 HAS SOUS 62396 HAS SOUPS 62095 WITH SCORE 62347.6
AT ITER 8130 NEW BEST:: SOT 377076 SOS 252593 HAS SOPS 212270 HAS SOUS 62389 HAS SOUPS 62088 WITH SCORE 62340.593
AT ITER 8155 NEW BEST:: SOT 377076 SOS 252504 HAS SOPS 212181 HAS SOUS 62217 HAS SOUPS 61916 WITH SCORE 62168.504
AT ITER 8168 NEW BEST:: SOT 377056 SOS 252484 HAS SOPS 212155 HAS SOUS 62191 HAS SOUPS 61890 WITH SCORE 62142.484
AT ITER 8196 NEW BEST:: SOT 377056 SOS 252482 HAS SOPS 212153 HAS SOUS 62191 HAS SOUPS 61890 WITH SCORE 62142.482
AT ITER 8327 NEW BEST:: SOT 377459 SOS 256197 HAS SOPS 211105 HAS SOUS 60693 HAS SOUPS 60322 WITH SCORE 60578.197
AT ITER 8356 NEW BEST:: SOT 377437 SOS 256175 HAS SOPS 211083 HAS SOUS 60671 HAS SOUPS 60300 WITH SCORE 60556.175
AT ITER 8388 NEW BEST:: SOT 377437 SOS 256175 HAS SOPS 211068 HAS SOUS 60656 HAS SOUPS 60285 WITH SCORE 60541.175
AT ITER 8484 NEW BEST:: SOT 377443 SOS 256181 HAS SOPS 211058 HAS SOUS 60646 HAS SOUPS 60275 WITH SCORE 60531.181
AT ITER 8512 NEW BEST:: SOT 377692 SOS 256403 HAS SOPS 211301 HAS SOUS 59789 HAS SOUPS 59418 WITH SCORE 59674.403
AT ITER 8569 NEW BEST:: SOT 377670 SOS 256381 HAS SOPS 211279 HAS SOUS 59767 HAS SOUPS 59396 WITH SCORE 59652.381
AT ITER 8586 NEW BEST:: SOT 377671 SOS 256382 HAS SOPS 211259 HAS SOUS 59747 HAS SOUPS 59376 WITH SCORE 59632.382
AT ITER 8610 NEW BEST:: SOT 377577 SOS 256288 HAS SOPS 211110 HAS SOUS 59549 HAS SOUPS 59178 WITH SCORE 59434.288
AT ITER 8643 NEW BEST:: SOT 377577 SOS 256288 HAS SOPS 211103 HAS SOUS 59542 HAS SOUPS 59171 WITH SCORE 59427.288
AT ITER 8675 NEW BEST:: SOT 377577 SOS 256273 HAS SOPS 211088 HAS SOUS 59527 HAS SOUPS 59156 WITH SCORE 59412.273
AT ITER 8746 NEW BEST:: SOT 377545 SOS 256241 HAS SOPS 211056 HAS SOUS 59495 HAS SOUPS 59124 WITH SCORE 59380.241
AT ITER 8849 NEW BEST:: SOT 377544 SOS 256240 HAS SOPS 211055 HAS SOUS 59494 HAS SOUPS 59123 WITH SCORE 59379.24
AT ITER 8911 NEW BEST:: SOT 377246 SOS 255942 HAS SOPS 210757 HAS SOUS 59196 HAS SOUPS 58825 WITH SCORE 59080.942
AT ITER 8916 NEW BEST:: SOT 377146 SOS 255842 HAS SOPS 210657 HAS SOUS 58996 HAS SOUPS 58625 WITH SCORE 58880.842
AT ITER 8947 NEW BEST:: SOT 377146 SOS 255842 HAS SOPS 210651 HAS SOUS 58990 HAS SOUPS 58619 WITH SCORE 58874.842
AT ITER 9075 NEW BEST:: SOT 377140 SOS 255836 HAS SOPS 210645 HAS SOUS 58984 HAS SOUPS 58613 WITH SCORE 58868.836
AT ITER 9122 NEW BEST:: SOT 377140 SOS 255836 HAS SOPS 210643 HAS SOUS 58982 HAS SOUPS 58611 WITH SCORE 58866.836
AT ITER 9147 NEW BEST:: SOT 377145 SOS 255841 HAS SOPS 210628 HAS SOUS 58967 HAS SOUPS 58596 WITH SCORE 58851.841
AT ITER 9181 NEW BEST:: SOT 377145 SOS 255291 HAS SOPS 210078 HAS SOUS 58956 HAS SOUPS 58585 WITH SCORE 58840.291
AT ITER 9197 NEW BEST:: SOT 377147 SOS 255293 HAS SOPS 210064 HAS SOUS 58942 HAS SOUPS 58571 WITH SCORE 58826.293
AT ITER 9254 NEW BEST:: SOT 377145 SOS 255291 HAS SOPS 210060 HAS SOUS 58938 HAS SOUPS 58567 WITH SCORE 58822.291
AT ITER 9351 NEW BEST:: SOT 377142 SOS 255288 HAS SOPS 210057 HAS SOUS 58935 HAS SOUPS 58564 WITH SCORE 58819.288
AT ITER 9386 NEW BEST:: SOT 377136 SOS 255282 HAS SOPS 210014 HAS SOUS 58915 HAS SOUPS 58544 WITH SCORE 58799.282
AT ITER 9484 NEW BEST:: SOT 377121 SOS 255267 HAS SOPS 209999 HAS SOUS 58900 HAS SOUPS 58529 WITH SCORE 58784.267
AT ITER 9536 NEW BEST:: SOT 377055 SOS 255203 HAS SOPS 209921 HAS SOUS 58746 HAS SOUPS 58375 WITH SCORE 58630.203
AT ITER 9568 NEW BEST:: SOT 376955 SOS 255103 HAS SOPS 209821 HAS SOUS 58648 HAS SOUPS 58277 WITH SCORE 58532.103
AT ITER 9570 NEW BEST:: SOT 376952 SOS 255100 HAS SOPS 209821 HAS SOUS 58648 HAS SOUPS 58277 WITH SCORE 58532.1
AT ITER 9652 NEW BEST:: SOT 376953 SOS 255101 HAS SOPS 209812 HAS SOUS 58639 HAS SOUPS 58268 WITH SCORE 58523.101
AT ITER 9709 NEW BEST:: SOT 376919 SOS 255067 HAS SOPS 209809 HAS SOUS 58636 HAS SOUPS 58265 WITH SCORE 58520.067
AT ITER 9742 NEW BEST:: SOT 376583 SOS 254724 HAS SOPS 209558 HAS SOUS 58405 HAS SOUPS 58034 WITH SCORE 58288.724
AT ITER 9776 NEW BEST:: SOT 376561 SOS 254702 HAS SOPS 209536 HAS SOUS 58383 HAS SOUPS 58012 WITH SCORE 58266.702
AT ITER 9852 NEW BEST:: SOT 376595 SOS 254753 HAS SOPS 209234 HAS SOUS 57939 HAS SOUPS 57568 WITH SCORE 57822.753
AT ITER 9994 NEW BEST:: SOT 376593 SOS 254751 HAS SOPS 209231 HAS SOUS 57936 HAS SOUPS 57565 WITH SCORE 57819.751
AT ITER 9995 NEW BEST:: SOT 376583 SOS 254741 HAS SOPS 209221 HAS SOUS 57926 HAS SOUPS 57555 WITH SCORE 57809.741
AT ITER 9998 NEW BEST:: SOT 376783 SOS 254941 HAS SOPS 209421 HAS SOUS 57867 HAS SOUPS 57496 WITH SCORE 57750.941
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5736844 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16148096 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Railroad-PT-050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Railroad-PT-050, 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 r323-tall-167889194600392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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