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.r331-tall-167889204400392.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 smartxred
Input is Railroad-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204400392
=====================================================================

--------------------
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 1679143808503

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Railroad-PT-050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 12:50:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 12:50:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 12:50:10] [INFO ] Load time of PNML (sax parser for PT used): 164 ms
[2023-03-18 12:50:10] [INFO ] Transformed 518 places.
[2023-03-18 12:50:10] [INFO ] Transformed 2756 transitions.
[2023-03-18 12:50:10] [INFO ] Found NUPN structural information;
[2023-03-18 12:50:10] [INFO ] Parsed PT model containing 518 places and 2756 transitions and 16378 arcs in 254 ms.
[2023-03-18 12:50:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 518 places, 2756 transitions and 16378 arcs took 32 ms.
Total runtime 317 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 518 places, 2756 transitions, 16378 arcs.
AT ITER 0 NEW BEST:: SOT 439120 SOS 346608 HAS SOPS 344319 HAS SOUS 206118 HAS SOUPS 206067 WITH SCORE 206413.608
AT ITER 11 NEW BEST:: SOT 439114 SOS 346596 HAS SOPS 344307 HAS SOUS 206106 HAS SOUPS 206055 WITH SCORE 206401.596
AT ITER 27 NEW BEST:: SOT 439134 SOS 346569 HAS SOPS 344280 HAS SOUS 206079 HAS SOUPS 206028 WITH SCORE 206374.569
AT ITER 32 NEW BEST:: SOT 437559 SOS 343985 HAS SOPS 340553 HAS SOUS 202629 HAS SOUPS 202578 WITH SCORE 202921.985
AT ITER 33 NEW BEST:: SOT 437558 SOS 341330 HAS SOPS 337898 HAS SOUS 202571 HAS SOUPS 202520 WITH SCORE 202861.33
AT ITER 58 NEW BEST:: SOT 436582 SOS 340380 HAS SOPS 336945 HAS SOUS 201619 HAS SOUPS 201568 WITH SCORE 201908.38
AT ITER 63 NEW BEST:: SOT 434692 SOS 336858 HAS SOPS 332279 HAS SOUS 197543 HAS SOUPS 197492 WITH SCORE 197828.858
AT ITER 70 NEW BEST:: SOT 436874 SOS 337854 HAS SOPS 332131 HAS SOUS 197369 HAS SOUPS 197318 WITH SCORE 197655.854
AT ITER 93 NEW BEST:: SOT 436874 SOS 337796 HAS SOPS 332073 HAS SOUS 197311 HAS SOUPS 197260 WITH SCORE 197597.796
AT ITER 98 NEW BEST:: SOT 436821 SOS 337696 HAS SOPS 331973 HAS SOUS 197211 HAS SOUPS 197160 WITH SCORE 197497.696
AT ITER 145 NEW BEST:: SOT 436785 SOS 337660 HAS SOPS 331937 HAS SOUS 197175 HAS SOUPS 197124 WITH SCORE 197461.66
AT ITER 154 NEW BEST:: SOT 436776 SOS 337650 HAS SOPS 331927 HAS SOUS 197165 HAS SOUPS 197114 WITH SCORE 197451.65
AT ITER 165 NEW BEST:: SOT 436776 SOS 337550 HAS SOPS 331827 HAS SOUS 197163 HAS SOUPS 197112 WITH SCORE 197449.55
AT ITER 171 NEW BEST:: SOT 436776 SOS 337548 HAS SOPS 331825 HAS SOUS 197161 HAS SOUPS 197110 WITH SCORE 197447.548
AT ITER 176 NEW BEST:: SOT 436776 SOS 335847 HAS SOPS 330124 HAS SOUS 197126 HAS SOUPS 197075 WITH SCORE 197410.847
AT ITER 177 NEW BEST:: SOT 436772 SOS 335839 HAS SOPS 330116 HAS SOUS 197118 HAS SOUPS 197067 WITH SCORE 197402.839
AT ITER 184 NEW BEST:: SOT 436765 SOS 335832 HAS SOPS 330109 HAS SOUS 197111 HAS SOUPS 197060 WITH SCORE 197395.832
AT ITER 208 NEW BEST:: SOT 436765 SOS 335950 HAS SOPS 330227 HAS SOUS 195840 HAS SOUPS 195789 WITH SCORE 196124.95
AT ITER 235 NEW BEST:: SOT 436309 SOS 335499 HAS SOPS 329771 HAS SOUS 195346 HAS SOUPS 195295 WITH SCORE 195630.499
AT ITER 239 NEW BEST:: SOT 436309 SOS 335482 HAS SOPS 329754 HAS SOUS 195346 HAS SOUPS 195295 WITH SCORE 195630.482
AT ITER 242 NEW BEST:: SOT 436309 SOS 335467 HAS SOPS 329739 HAS SOUS 195331 HAS SOUPS 195280 WITH SCORE 195615.467
AT ITER 250 NEW BEST:: SOT 437497 SOS 335645 HAS SOPS 328772 HAS SOUS 192835 HAS SOUPS 192784 WITH SCORE 193119.645
AT ITER 265 NEW BEST:: SOT 437497 SOS 335351 HAS SOPS 328478 HAS SOUS 192835 HAS SOUPS 192784 WITH SCORE 193119.351
AT ITER 276 NEW BEST:: SOT 437436 SOS 335287 HAS SOPS 328414 HAS SOUS 192771 HAS SOUPS 192720 WITH SCORE 193055.287
AT ITER 277 NEW BEST:: SOT 437447 SOS 335191 HAS SOPS 328318 HAS SOUS 192675 HAS SOUPS 192624 WITH SCORE 192959.191
AT ITER 278 NEW BEST:: SOT 436181 SOS 333970 HAS SOPS 326795 HAS SOUS 189334 HAS SOUPS 189277 WITH SCORE 189610.97
AT ITER 286 NEW BEST:: SOT 435720 SOS 333522 HAS SOPS 326341 HAS SOUS 188877 HAS SOUPS 188820 WITH SCORE 189153.522
AT ITER 289 NEW BEST:: SOT 435196 SOS 333006 HAS SOPS 325819 HAS SOUS 188339 HAS SOUPS 188282 WITH SCORE 188615.006
AT ITER 302 NEW BEST:: SOT 435150 SOS 332893 HAS SOPS 325706 HAS SOUS 188226 HAS SOUPS 188169 WITH SCORE 188501.893
AT ITER 321 NEW BEST:: SOT 433382 SOS 330425 HAS SOPS 322040 HAS SOUS 184138 HAS SOUPS 184081 WITH SCORE 184411.425
AT ITER 329 NEW BEST:: SOT 431944 SOS 329391 HAS SOPS 321006 HAS SOUS 182823 HAS SOUPS 182766 WITH SCORE 183095.391
AT ITER 334 NEW BEST:: SOT 431848 SOS 329295 HAS SOPS 320910 HAS SOUS 182727 HAS SOUPS 182670 WITH SCORE 182999.295
AT ITER 336 NEW BEST:: SOT 431500 SOS 328954 HAS SOPS 320569 HAS SOUS 182386 HAS SOUPS 182329 WITH SCORE 182657.954
AT ITER 337 NEW BEST:: SOT 431500 SOS 328951 HAS SOPS 320566 HAS SOUS 182383 HAS SOUPS 182326 WITH SCORE 182654.951
AT ITER 352 NEW BEST:: SOT 431494 SOS 328945 HAS SOPS 320560 HAS SOUS 182377 HAS SOUPS 182320 WITH SCORE 182648.945
AT ITER 370 NEW BEST:: SOT 430986 SOS 328467 HAS SOPS 320075 HAS SOUS 181862 HAS SOUPS 181805 WITH SCORE 182133.467
AT ITER 375 NEW BEST:: SOT 430957 SOS 328443 HAS SOPS 320051 HAS SOUS 181838 HAS SOUPS 181781 WITH SCORE 182109.443
AT ITER 381 NEW BEST:: SOT 434349 SOS 331100 HAS SOPS 321509 HAS SOUS 181664 HAS SOUPS 181607 WITH SCORE 181938.1
AT ITER 393 NEW BEST:: SOT 434404 SOS 331083 HAS SOPS 321492 HAS SOUS 181641 HAS SOUPS 181584 WITH SCORE 181915.083
AT ITER 394 NEW BEST:: SOT 434385 SOS 331063 HAS SOPS 321472 HAS SOUS 181621 HAS SOUPS 181564 WITH SCORE 181895.063
AT ITER 406 NEW BEST:: SOT 434365 SOS 331043 HAS SOPS 321452 HAS SOUS 181601 HAS SOUPS 181544 WITH SCORE 181875.043
AT ITER 408 NEW BEST:: SOT 436201 SOS 331320 HAS SOPS 320530 HAS SOUS 180317 HAS SOUPS 180260 WITH SCORE 180591.32
AT ITER 419 NEW BEST:: SOT 436329 SOS 331200 HAS SOPS 320410 HAS SOUS 180156 HAS SOUPS 180099 WITH SCORE 180430.2
AT ITER 427 NEW BEST:: SOT 436323 SOS 331188 HAS SOPS 320398 HAS SOUS 180144 HAS SOUPS 180087 WITH SCORE 180418.188
AT ITER 441 NEW BEST:: SOT 438915 SOS 332268 HAS SOPS 320279 HAS SOUS 179547 HAS SOUPS 179490 WITH SCORE 179822.268
AT ITER 444 NEW BEST:: SOT 438959 SOS 332312 HAS SOPS 320264 HAS SOUS 179327 HAS SOUPS 179270 WITH SCORE 179602.312
AT ITER 454 NEW BEST:: SOT 441359 SOS 334014 HAS SOPS 320761 HAS SOUS 177686 HAS SOUPS 177629 WITH SCORE 177963.014
AT ITER 459 NEW BEST:: SOT 441359 SOS 334008 HAS SOPS 320755 HAS SOUS 177680 HAS SOUPS 177623 WITH SCORE 177957.008
AT ITER 491 NEW BEST:: SOT 441352 SOS 334001 HAS SOPS 320748 HAS SOUS 177673 HAS SOUPS 177616 WITH SCORE 177950.001
AT ITER 510 NEW BEST:: SOT 444068 SOS 335614 HAS SOPS 321156 HAS SOUS 176918 HAS SOUPS 176861 WITH SCORE 177196.614
AT ITER 523 NEW BEST:: SOT 445544 SOS 335107 HAS SOPS 319444 HAS SOUS 175772 HAS SOUPS 175715 WITH SCORE 176050.107
AT ITER 531 NEW BEST:: SOT 445535 SOS 335098 HAS SOPS 319435 HAS SOUS 175763 HAS SOUPS 175706 WITH SCORE 176041.098
AT ITER 547 NEW BEST:: SOT 445521 SOS 335084 HAS SOPS 319421 HAS SOUS 175749 HAS SOUPS 175692 WITH SCORE 176027.084
AT ITER 558 NEW BEST:: SOT 443721 SOS 333347 HAS SOPS 317684 HAS SOUS 172156 HAS SOUPS 172099 WITH SCORE 172432.347
AT ITER 579 NEW BEST:: SOT 443363 SOS 333023 HAS SOPS 317334 HAS SOUS 171774 HAS SOUPS 171717 WITH SCORE 172050.023
AT ITER 591 NEW BEST:: SOT 443329 SOS 332988 HAS SOPS 317299 HAS SOUS 171739 HAS SOUPS 171682 WITH SCORE 172014.988
AT ITER 617 NEW BEST:: SOT 443319 SOS 332968 HAS SOPS 317279 HAS SOUS 171719 HAS SOUPS 171662 WITH SCORE 171994.968
AT ITER 621 NEW BEST:: SOT 442845 SOS 332450 HAS SOPS 316761 HAS SOUS 170645 HAS SOUPS 170588 WITH SCORE 170920.45
AT ITER 625 NEW BEST:: SOT 442833 SOS 332438 HAS SOPS 316749 HAS SOUS 170633 HAS SOUPS 170576 WITH SCORE 170908.438
AT ITER 626 NEW BEST:: SOT 442748 SOS 330703 HAS SOPS 314363 HAS SOUS 170350 HAS SOUPS 170293 WITH SCORE 170623.703
AT ITER 631 NEW BEST:: SOT 442748 SOS 331520 HAS SOPS 315180 HAS SOUS 170236 HAS SOUPS 170179 WITH SCORE 170510.52
AT ITER 639 NEW BEST:: SOT 442742 SOS 331514 HAS SOPS 315174 HAS SOUS 170230 HAS SOUPS 170173 WITH SCORE 170504.514
AT ITER 643 NEW BEST:: SOT 442742 SOS 330472 HAS SOPS 314127 HAS SOUS 170231 HAS SOUPS 170174 WITH SCORE 170504.472
AT ITER 648 NEW BEST:: SOT 442722 SOS 330452 HAS SOPS 314107 HAS SOUS 170211 HAS SOUPS 170154 WITH SCORE 170484.452
AT ITER 666 NEW BEST:: SOT 441803 SOS 329185 HAS SOPS 312225 HAS SOUS 170055 HAS SOUPS 169998 WITH SCORE 170327.185
AT ITER 677 NEW BEST:: SOT 441513 SOS 328944 HAS SOPS 311830 HAS SOUS 169374 HAS SOUPS 169317 WITH SCORE 169645.944
AT ITER 681 NEW BEST:: SOT 441446 SOS 328890 HAS SOPS 311762 HAS SOUS 169278 HAS SOUPS 169221 WITH SCORE 169549.89
AT ITER 711 NEW BEST:: SOT 441441 SOS 328881 HAS SOPS 311753 HAS SOUS 169269 HAS SOUPS 169212 WITH SCORE 169540.881
AT ITER 717 NEW BEST:: SOT 441437 SOS 328876 HAS SOPS 311748 HAS SOUS 169264 HAS SOUPS 169207 WITH SCORE 169535.876
AT ITER 718 NEW BEST:: SOT 439388 SOS 326911 HAS SOPS 309783 HAS SOUS 167299 HAS SOUPS 167242 WITH SCORE 167568.911
AT ITER 721 NEW BEST:: SOT 439988 SOS 327565 HAS SOPS 310437 HAS SOUS 165003 HAS SOUPS 164946 WITH SCORE 165273.565
AT ITER 730 NEW BEST:: SOT 439950 SOS 327527 HAS SOPS 310399 HAS SOUS 164965 HAS SOUPS 164908 WITH SCORE 165235.527
AT ITER 750 NEW BEST:: SOT 439940 SOS 327507 HAS SOPS 310379 HAS SOUS 164945 HAS SOUPS 164888 WITH SCORE 165215.507
AT ITER 760 NEW BEST:: SOT 439416 SOS 327015 HAS SOPS 309887 HAS SOUS 163803 HAS SOUPS 163746 WITH SCORE 164073.015
AT ITER 786 NEW BEST:: SOT 439392 SOS 326991 HAS SOPS 309863 HAS SOUS 163779 HAS SOUPS 163722 WITH SCORE 164048.991
AT ITER 791 NEW BEST:: SOT 439381 SOS 326971 HAS SOPS 309843 HAS SOUS 163759 HAS SOUPS 163702 WITH SCORE 164028.971
AT ITER 792 NEW BEST:: SOT 439360 SOS 326950 HAS SOPS 309822 HAS SOUS 163738 HAS SOUPS 163681 WITH SCORE 164007.95
AT ITER 794 NEW BEST:: SOT 437795 SOS 324702 HAS SOPS 306395 HAS SOUS 159885 HAS SOUPS 159828 WITH SCORE 160152.702
AT ITER 802 NEW BEST:: SOT 437769 SOS 324651 HAS SOPS 306344 HAS SOUS 159834 HAS SOUPS 159777 WITH SCORE 160101.651
AT ITER 813 NEW BEST:: SOT 437751 SOS 324633 HAS SOPS 306326 HAS SOUS 159816 HAS SOUPS 159759 WITH SCORE 160083.633
AT ITER 842 NEW BEST:: SOT 429107 SOS 316523 HAS SOPS 297682 HAS SOUS 151252 HAS SOUPS 151115 WITH SCORE 151431.523
AT ITER 845 NEW BEST:: SOT 428639 SOS 316085 HAS SOPS 296798 HAS SOUS 150100 HAS SOUPS 149951 WITH SCORE 150267.085
AT ITER 863 NEW BEST:: SOT 428740 SOS 316186 HAS SOPS 296824 HAS SOUS 149992 HAS SOUPS 149843 WITH SCORE 150159.186
AT ITER 917 NEW BEST:: SOT 428740 SOS 316115 HAS SOPS 296753 HAS SOUS 149966 HAS SOUPS 149817 WITH SCORE 150133.115
AT ITER 918 NEW BEST:: SOT 428721 SOS 316096 HAS SOPS 296734 HAS SOUS 149947 HAS SOUPS 149798 WITH SCORE 150114.096
AT ITER 922 NEW BEST:: SOT 428672 SOS 316047 HAS SOPS 296681 HAS SOUS 149894 HAS SOUPS 149745 WITH SCORE 150061.047
AT ITER 959 NEW BEST:: SOT 428072 SOS 315426 HAS SOPS 296060 HAS SOUS 149273 HAS SOUPS 149124 WITH SCORE 149439.426
AT ITER 966 NEW BEST:: SOT 428066 SOS 314892 HAS SOPS 295305 HAS SOUS 149200 HAS SOUPS 149051 WITH SCORE 149365.892
AT ITER 984 NEW BEST:: SOT 428039 SOS 314865 HAS SOPS 295273 HAS SOUS 149168 HAS SOUPS 149019 WITH SCORE 149333.865
AT ITER 1026 NEW BEST:: SOT 428039 SOS 314848 HAS SOPS 295256 HAS SOUS 147551 HAS SOUPS 147402 WITH SCORE 147716.848
AT ITER 1036 NEW BEST:: SOT 427954 SOS 314763 HAS SOPS 295171 HAS SOUS 147466 HAS SOUPS 147317 WITH SCORE 147631.763
AT ITER 1099 NEW BEST:: SOT 427904 SOS 314680 HAS SOPS 295054 HAS SOUS 147349 HAS SOUPS 147200 WITH SCORE 147514.68
AT ITER 1103 NEW BEST:: SOT 427904 SOS 314430 HAS SOPS 294804 HAS SOUS 147344 HAS SOUPS 147195 WITH SCORE 147509.43
AT ITER 1113 NEW BEST:: SOT 427894 SOS 314364 HAS SOPS 294738 HAS SOUS 147278 HAS SOUPS 147129 WITH SCORE 147443.364
AT ITER 1137 NEW BEST:: SOT 427882 SOS 314352 HAS SOPS 294709 HAS SOUS 147249 HAS SOUPS 147100 WITH SCORE 147414.352
AT ITER 1143 NEW BEST:: SOT 427882 SOS 314348 HAS SOPS 294705 HAS SOUS 147245 HAS SOUPS 147096 WITH SCORE 147410.348
AT ITER 1154 NEW BEST:: SOT 427863 SOS 314329 HAS SOPS 294686 HAS SOUS 147226 HAS SOUPS 147077 WITH SCORE 147391.329
AT ITER 1155 NEW BEST:: SOT 427854 SOS 314320 HAS SOPS 294677 HAS SOUS 147217 HAS SOUPS 147068 WITH SCORE 147382.32
AT ITER 1183 NEW BEST:: SOT 425717 SOS 312276 HAS SOPS 292633 HAS SOUS 145173 HAS SOUPS 145024 WITH SCORE 145336.276
AT ITER 1198 NEW BEST:: SOT 425717 SOS 312272 HAS SOPS 292629 HAS SOUS 145169 HAS SOUPS 145020 WITH SCORE 145332.272
AT ITER 1210 NEW BEST:: SOT 425717 SOS 311404 HAS SOPS 291761 HAS SOUS 145119 HAS SOUPS 144970 WITH SCORE 145281.404
AT ITER 1213 NEW BEST:: SOT 425713 SOS 311400 HAS SOPS 291753 HAS SOUS 145111 HAS SOUPS 144962 WITH SCORE 145273.4
AT ITER 1219 NEW BEST:: SOT 426861 SOS 312492 HAS SOPS 292845 HAS SOUS 144553 HAS SOUPS 144404 WITH SCORE 144716.492
AT ITER 1220 NEW BEST:: SOT 426737 SOS 312390 HAS SOPS 292743 HAS SOUS 144451 HAS SOUPS 144302 WITH SCORE 144614.39
AT ITER 1245 NEW BEST:: SOT 426735 SOS 312388 HAS SOPS 292741 HAS SOUS 144449 HAS SOUPS 144300 WITH SCORE 144612.388
AT ITER 1256 NEW BEST:: SOT 426735 SOS 312318 HAS SOPS 292671 HAS SOUS 144379 HAS SOUPS 144230 WITH SCORE 144542.318
AT ITER 1273 NEW BEST:: SOT 425522 SOS 309541 HAS SOPS 288685 HAS SOUS 141196 HAS SOUPS 141047 WITH SCORE 141356.541
AT ITER 1295 NEW BEST:: SOT 427588 SOS 309069 HAS SOPS 287001 HAS SOUS 141001 HAS SOUPS 140852 WITH SCORE 141161.069
AT ITER 1315 NEW BEST:: SOT 427738 SOS 309165 HAS SOPS 287097 HAS SOUS 138347 HAS SOUPS 138198 WITH SCORE 138507.165
AT ITER 1318 NEW BEST:: SOT 429940 SOS 309161 HAS SOPS 285879 HAS SOUS 138075 HAS SOUPS 137926 WITH SCORE 138235.161
AT ITER 1358 NEW BEST:: SOT 429932 SOS 309153 HAS SOPS 285871 HAS SOUS 138067 HAS SOUPS 137918 WITH SCORE 138227.153
AT ITER 1370 NEW BEST:: SOT 429843 SOS 309078 HAS SOPS 285544 HAS SOUS 137488 HAS SOUPS 137339 WITH SCORE 137648.078
AT ITER 1371 NEW BEST:: SOT 429777 SOS 309011 HAS SOPS 285477 HAS SOUS 137421 HAS SOUPS 137272 WITH SCORE 137581.011
AT ITER 1380 NEW BEST:: SOT 423962 SOS 303307 HAS SOPS 279773 HAS SOUS 131717 HAS SOUPS 131568 WITH SCORE 131871.307
AT ITER 1405 NEW BEST:: SOT 424612 SOS 303939 HAS SOPS 280405 HAS SOUS 130749 HAS SOUPS 130600 WITH SCORE 130903.939
AT ITER 1416 NEW BEST:: SOT 424616 SOS 303945 HAS SOPS 280393 HAS SOUS 130713 HAS SOUPS 130564 WITH SCORE 130867.945
AT ITER 1432 NEW BEST:: SOT 425151 SOS 304498 HAS SOPS 280492 HAS SOUS 130354 HAS SOUPS 130204 WITH SCORE 130508.498
AT ITER 1437 NEW BEST:: SOT 424551 SOS 303910 HAS SOPS 279904 HAS SOUS 129766 HAS SOUPS 129616 WITH SCORE 129919.91
AT ITER 1438 NEW BEST:: SOT 424495 SOS 303854 HAS SOPS 279848 HAS SOUS 129710 HAS SOUPS 129560 WITH SCORE 129863.854
AT ITER 1447 NEW BEST:: SOT 424483 SOS 303842 HAS SOPS 279791 HAS SOUS 129653 HAS SOUPS 129503 WITH SCORE 129806.842
AT ITER 1473 NEW BEST:: SOT 426683 SOS 306055 HAS SOPS 281999 HAS SOUS 129518 HAS SOUPS 129368 WITH SCORE 129674.055
AT ITER 1478 NEW BEST:: SOT 426797 SOS 305401 HAS SOPS 280583 HAS SOUS 127250 HAS SOUPS 127100 WITH SCORE 127405.401
AT ITER 1488 NEW BEST:: SOT 426797 SOS 306179 HAS SOPS 281361 HAS SOUS 127244 HAS SOUPS 127094 WITH SCORE 127400.179
AT ITER 1533 NEW BEST:: SOT 426731 SOS 306113 HAS SOPS 281295 HAS SOUS 127178 HAS SOUPS 127028 WITH SCORE 127334.113
AT ITER 1540 NEW BEST:: SOT 426731 SOS 305069 HAS SOPS 278987 HAS SOUS 126709 HAS SOUPS 126559 WITH SCORE 126864.069
AT ITER 1549 NEW BEST:: SOT 426731 SOS 304040 HAS SOPS 277958 HAS SOUS 126667 HAS SOUPS 126517 WITH SCORE 126821.04
AT ITER 1574 NEW BEST:: SOT 426715 SOS 304017 HAS SOPS 277935 HAS SOUS 126644 HAS SOUPS 126494 WITH SCORE 126798.017
AT ITER 1591 NEW BEST:: SOT 426715 SOS 304016 HAS SOPS 277934 HAS SOUS 126643 HAS SOUPS 126493 WITH SCORE 126797.016
AT ITER 1606 NEW BEST:: SOT 426560 SOS 303997 HAS SOPS 277915 HAS SOUS 126624 HAS SOUPS 126474 WITH SCORE 126777.997
AT ITER 1625 NEW BEST:: SOT 426423 SOS 302137 HAS SOPS 275280 HAS SOUS 126070 HAS SOUPS 125920 WITH SCORE 126222.137
AT ITER 1633 NEW BEST:: SOT 426381 SOS 302095 HAS SOPS 275238 HAS SOUS 126028 HAS SOUPS 125878 WITH SCORE 126180.095
AT ITER 1663 NEW BEST:: SOT 426381 SOS 302086 HAS SOPS 275229 HAS SOUS 126019 HAS SOUPS 125869 WITH SCORE 126171.086
AT ITER 1678 NEW BEST:: SOT 426352 SOS 302076 HAS SOPS 275219 HAS SOUS 126009 HAS SOUPS 125859 WITH SCORE 126161.076
AT ITER 1693 NEW BEST:: SOT 426786 SOS 302532 HAS SOPS 275258 HAS SOUS 125614 HAS SOUPS 125464 WITH SCORE 125766.532
AT ITER 1697 NEW BEST:: SOT 426126 SOS 301946 HAS SOPS 273506 HAS SOUS 123465 HAS SOUPS 123283 WITH SCORE 123584.946
AT ITER 1720 NEW BEST:: SOT 426109 SOS 301929 HAS SOPS 273499 HAS SOUS 123458 HAS SOUPS 123276 WITH SCORE 123577.929
AT ITER 1735 NEW BEST:: SOT 426090 SOS 301910 HAS SOPS 273478 HAS SOUS 123437 HAS SOUPS 123255 WITH SCORE 123556.91
AT ITER 1743 NEW BEST:: SOT 426340 SOS 302160 HAS SOPS 273481 HAS SOUS 123232 HAS SOUPS 123050 WITH SCORE 123352.16
AT ITER 1795 NEW BEST:: SOT 426337 SOS 302157 HAS SOPS 273478 HAS SOUS 123229 HAS SOUPS 123047 WITH SCORE 123349.157
AT ITER 1864 NEW BEST:: SOT 425737 SOS 301575 HAS SOPS 272896 HAS SOUS 122947 HAS SOUPS 122765 WITH SCORE 123066.575
AT ITER 1880 NEW BEST:: SOT 425565 SOS 301403 HAS SOPS 272652 HAS SOUS 122647 HAS SOUPS 122465 WITH SCORE 122766.403
AT ITER 1885 NEW BEST:: SOT 428815 SOS 304332 HAS SOPS 274171 HAS SOUS 122157 HAS SOUPS 121975 WITH SCORE 122279.332
AT ITER 1915 NEW BEST:: SOT 428814 SOS 304331 HAS SOPS 274170 HAS SOUS 122156 HAS SOUPS 121974 WITH SCORE 122278.331
AT ITER 1930 NEW BEST:: SOT 428813 SOS 304330 HAS SOPS 274169 HAS SOUS 122155 HAS SOUPS 121973 WITH SCORE 122277.33
AT ITER 1943 NEW BEST:: SOT 430207 SOS 304544 HAS SOPS 272985 HAS SOUS 120599 HAS SOUPS 120417 WITH SCORE 120721.544
AT ITER 1956 NEW BEST:: SOT 430202 SOS 304539 HAS SOPS 272979 HAS SOUS 120593 HAS SOUPS 120411 WITH SCORE 120715.539
AT ITER 1974 NEW BEST:: SOT 430158 SOS 304495 HAS SOPS 272912 HAS SOUS 120526 HAS SOUPS 120344 WITH SCORE 120648.495
AT ITER 1984 NEW BEST:: SOT 430142 SOS 304479 HAS SOPS 272896 HAS SOUS 120510 HAS SOUPS 120328 WITH SCORE 120632.479
AT ITER 1991 NEW BEST:: SOT 430142 SOS 304384 HAS SOPS 272801 HAS SOUS 120415 HAS SOUPS 120233 WITH SCORE 120537.384
AT ITER 1994 NEW BEST:: SOT 430546 SOS 304813 HAS SOPS 272681 HAS SOUS 119945 HAS SOUPS 119763 WITH SCORE 120067.813
AT ITER 2005 NEW BEST:: SOT 430499 SOS 304766 HAS SOPS 272643 HAS SOUS 119907 HAS SOUPS 119725 WITH SCORE 120029.766
AT ITER 2016 NEW BEST:: SOT 430564 SOS 304754 HAS SOPS 272631 HAS SOUS 119895 HAS SOUPS 119713 WITH SCORE 120017.754
AT ITER 2023 NEW BEST:: SOT 430562 SOS 304752 HAS SOPS 272629 HAS SOUS 119893 HAS SOUPS 119711 WITH SCORE 120015.752
AT ITER 2025 NEW BEST:: SOT 430462 SOS 304652 HAS SOPS 272240 HAS SOUS 119326 HAS SOUPS 119144 WITH SCORE 119448.652
AT ITER 2045 NEW BEST:: SOT 430717 SOS 302119 HAS SOPS 268333 HAS SOUS 118018 HAS SOUPS 117836 WITH SCORE 118138.119
AT ITER 2111 NEW BEST:: SOT 430796 SOS 302228 HAS SOPS 267973 HAS SOUS 117537 HAS SOUPS 117355 WITH SCORE 117657.228
AT ITER 2165 NEW BEST:: SOT 430788 SOS 302220 HAS SOPS 267965 HAS SOUS 117529 HAS SOUPS 117347 WITH SCORE 117649.22
AT ITER 2186 NEW BEST:: SOT 430741 SOS 302173 HAS SOPS 267917 HAS SOUS 117432 HAS SOUPS 117250 WITH SCORE 117552.173
AT ITER 2187 NEW BEST:: SOT 430709 SOS 302141 HAS SOPS 267903 HAS SOUS 117418 HAS SOUPS 117236 WITH SCORE 117538.141
AT ITER 2206 NEW BEST:: SOT 430709 SOS 302138 HAS SOPS 267900 HAS SOUS 117415 HAS SOUPS 117233 WITH SCORE 117535.138
AT ITER 2221 NEW BEST:: SOT 430709 SOS 300977 HAS SOPS 265563 HAS SOUS 116624 HAS SOUPS 116442 WITH SCORE 116742.977
AT ITER 2228 NEW BEST:: SOT 430664 SOS 300932 HAS SOPS 265364 HAS SOUS 116353 HAS SOUPS 116171 WITH SCORE 116471.932
AT ITER 2259 NEW BEST:: SOT 430664 SOS 301163 HAS SOPS 265595 HAS SOUS 116339 HAS SOUPS 116157 WITH SCORE 116458.163
AT ITER 2276 NEW BEST:: SOT 430658 SOS 301159 HAS SOPS 265591 HAS SOUS 116335 HAS SOUPS 116153 WITH SCORE 116454.159
AT ITER 2280 NEW BEST:: SOT 430899 SOS 301025 HAS SOPS 265457 HAS SOUS 116201 HAS SOUPS 116019 WITH SCORE 116320.025
AT ITER 2284 NEW BEST:: SOT 430899 SOS 300633 HAS SOPS 265065 HAS SOUS 116185 HAS SOUPS 116003 WITH SCORE 116303.633
AT ITER 2302 NEW BEST:: SOT 430899 SOS 300606 HAS SOPS 264981 HAS SOUS 114838 HAS SOUPS 114656 WITH SCORE 114956.606
AT ITER 2316 NEW BEST:: SOT 430892 SOS 300584 HAS SOPS 264959 HAS SOUS 114816 HAS SOUPS 114634 WITH SCORE 114934.584
AT ITER 2321 NEW BEST:: SOT 430885 SOS 300577 HAS SOPS 264945 HAS SOUS 114802 HAS SOUPS 114620 WITH SCORE 114920.577
AT ITER 2327 NEW BEST:: SOT 428787 SOS 298508 HAS SOPS 262876 HAS SOUS 112733 HAS SOUPS 112551 WITH SCORE 112849.508
AT ITER 2339 NEW BEST:: SOT 428787 SOS 298485 HAS SOPS 262853 HAS SOUS 112710 HAS SOUPS 112528 WITH SCORE 112826.485
AT ITER 2350 NEW BEST:: SOT 428785 SOS 298483 HAS SOPS 262851 HAS SOUS 112708 HAS SOUPS 112526 WITH SCORE 112824.483
AT ITER 2359 NEW BEST:: SOT 428759 SOS 298457 HAS SOPS 262825 HAS SOUS 112682 HAS SOUPS 112500 WITH SCORE 112798.457
AT ITER 2388 NEW BEST:: SOT 428612 SOS 298306 HAS SOPS 262666 HAS SOUS 112403 HAS SOUPS 112221 WITH SCORE 112519.306
AT ITER 2396 NEW BEST:: SOT 428609 SOS 298303 HAS SOPS 262660 HAS SOUS 112397 HAS SOUPS 112215 WITH SCORE 112513.303
AT ITER 2418 NEW BEST:: SOT 428609 SOS 298300 HAS SOPS 262657 HAS SOUS 112394 HAS SOUPS 112212 WITH SCORE 112510.3
AT ITER 2455 NEW BEST:: SOT 430079 SOS 299827 HAS SOPS 263882 HAS SOUS 111469 HAS SOUPS 111287 WITH SCORE 111586.827
AT ITER 2510 NEW BEST:: SOT 430079 SOS 298900 HAS SOPS 262955 HAS SOUS 111465 HAS SOUPS 111283 WITH SCORE 111581.9
AT ITER 2559 NEW BEST:: SOT 429462 SOS 298283 HAS SOPS 261255 HAS SOUS 109789 HAS SOUPS 109607 WITH SCORE 109905.283
AT ITER 2586 NEW BEST:: SOT 429418 SOS 298218 HAS SOPS 261190 HAS SOUS 109724 HAS SOUPS 109542 WITH SCORE 109840.218
AT ITER 2593 NEW BEST:: SOT 429418 SOS 297736 HAS SOPS 260708 HAS SOUS 109712 HAS SOUPS 109530 WITH SCORE 109827.736
AT ITER 2613 NEW BEST:: SOT 428568 SOS 296857 HAS SOPS 259829 HAS SOUS 107983 HAS SOUPS 107801 WITH SCORE 108097.857
AT ITER 2614 NEW BEST:: SOT 428107 SOS 296429 HAS SOPS 258694 HAS SOUS 106480 HAS SOUPS 106298 WITH SCORE 106594.429
AT ITER 2632 NEW BEST:: SOT 427866 SOS 296188 HAS SOPS 258453 HAS SOUS 106239 HAS SOUPS 106057 WITH SCORE 106353.188
AT ITER 2646 NEW BEST:: SOT 428002 SOS 296107 HAS SOPS 258372 HAS SOUS 106158 HAS SOUPS 105976 WITH SCORE 106272.107
AT ITER 2662 NEW BEST:: SOT 428002 SOS 295531 HAS SOPS 257796 HAS SOUS 106146 HAS SOUPS 105964 WITH SCORE 106259.531
AT ITER 2780 NEW BEST:: SOT 428002 SOS 295518 HAS SOPS 257783 HAS SOUS 106133 HAS SOUPS 105951 WITH SCORE 106246.518
AT ITER 2798 NEW BEST:: SOT 425602 SOS 293146 HAS SOPS 255417 HAS SOUS 105161 HAS SOUPS 104979 WITH SCORE 105272.146
AT ITER 2811 NEW BEST:: SOT 425588 SOS 293132 HAS SOPS 255377 HAS SOUS 105119 HAS SOUPS 104937 WITH SCORE 105230.132
AT ITER 2825 NEW BEST:: SOT 425588 SOS 293132 HAS SOPS 255364 HAS SOUS 105106 HAS SOUPS 104924 WITH SCORE 105217.132
AT ITER 2828 NEW BEST:: SOT 425588 SOS 293157 HAS SOPS 254798 HAS SOUS 104447 HAS SOUPS 104265 WITH SCORE 104558.157
AT ITER 2835 NEW BEST:: SOT 425574 SOS 293143 HAS SOPS 254787 HAS SOUS 104436 HAS SOUPS 104254 WITH SCORE 104547.143
AT ITER 2861 NEW BEST:: SOT 425574 SOS 293128 HAS SOPS 254772 HAS SOUS 104421 HAS SOUPS 104239 WITH SCORE 104532.128
AT ITER 2875 NEW BEST:: SOT 425570 SOS 293124 HAS SOPS 254768 HAS SOUS 104417 HAS SOUPS 104235 WITH SCORE 104528.124
AT ITER 2912 NEW BEST:: SOT 425570 SOS 293008 HAS SOPS 254652 HAS SOUS 104301 HAS SOUPS 104119 WITH SCORE 104412.008
AT ITER 2917 NEW BEST:: SOT 425570 SOS 292658 HAS SOPS 254302 HAS SOUS 104280 HAS SOUPS 104098 WITH SCORE 104390.658
AT ITER 2940 NEW BEST:: SOT 425570 SOS 292649 HAS SOPS 254293 HAS SOUS 104271 HAS SOUPS 104089 WITH SCORE 104381.649
AT ITER 2948 NEW BEST:: SOT 425322 SOS 292416 HAS SOPS 254060 HAS SOUS 104038 HAS SOUPS 103856 WITH SCORE 104148.416
AT ITER 2960 NEW BEST:: SOT 425322 SOS 291407 HAS SOPS 253051 HAS SOUS 104020 HAS SOUPS 103838 WITH SCORE 104129.407
AT ITER 2967 NEW BEST:: SOT 424185 SOS 290295 HAS SOPS 251936 HAS SOUS 101758 HAS SOUPS 101576 WITH SCORE 101866.295
AT ITER 3025 NEW BEST:: SOT 424134 SOS 290257 HAS SOPS 251898 HAS SOUS 101720 HAS SOUPS 101538 WITH SCORE 101828.257
AT ITER 3032 NEW BEST:: SOT 423141 SOS 287549 HAS SOPS 247759 HAS SOUS 99028 HAS SOUPS 98846 WITH SCORE 99133.549
AT ITER 3043 NEW BEST:: SOT 423138 SOS 287546 HAS SOPS 247756 HAS SOUS 99025 HAS SOUPS 98843 WITH SCORE 99130.546
AT ITER 3045 NEW BEST:: SOT 423138 SOS 286129 HAS SOPS 245622 HAS SOUS 98723 HAS SOUPS 98541 WITH SCORE 98827.129
AT ITER 3070 NEW BEST:: SOT 422740 SOS 285724 HAS SOPS 245200 HAS SOUS 97978 HAS SOUPS 97796 WITH SCORE 98081.724
AT ITER 3178 NEW BEST:: SOT 421587 SOS 285891 HAS SOPS 244048 HAS SOUS 96874 HAS SOUPS 96644 WITH SCORE 96929.891
AT ITER 3180 NEW BEST:: SOT 421570 SOS 285874 HAS SOPS 244031 HAS SOUS 96857 HAS SOUPS 96627 WITH SCORE 96912.874
AT ITER 3187 NEW BEST:: SOT 421557 SOS 285681 HAS SOPS 243825 HAS SOUS 96651 HAS SOUPS 96421 WITH SCORE 96706.681
AT ITER 3189 NEW BEST:: SOT 421535 SOS 285659 HAS SOPS 243803 HAS SOUS 96629 HAS SOUPS 96399 WITH SCORE 96684.659
AT ITER 3245 NEW BEST:: SOT 421535 SOS 285030 HAS SOPS 243174 HAS SOUS 96611 HAS SOUPS 96381 WITH SCORE 96666.03
AT ITER 3294 NEW BEST:: SOT 421336 SOS 284831 HAS SOPS 242975 HAS SOUS 96412 HAS SOUPS 96182 WITH SCORE 96466.831
AT ITER 3315 NEW BEST:: SOT 421338 SOS 284833 HAS SOPS 242968 HAS SOUS 96405 HAS SOUPS 96175 WITH SCORE 96459.833
AT ITER 3365 NEW BEST:: SOT 421501 SOS 284951 HAS SOPS 242827 HAS SOUS 94742 HAS SOUPS 94512 WITH SCORE 94796.951
AT ITER 3390 NEW BEST:: SOT 421473 SOS 284923 HAS SOPS 242818 HAS SOUS 94733 HAS SOUPS 94503 WITH SCORE 94787.923
AT ITER 3426 NEW BEST:: SOT 421424 SOS 284874 HAS SOPS 242769 HAS SOUS 94684 HAS SOUPS 94454 WITH SCORE 94738.874
AT ITER 3434 NEW BEST:: SOT 419999 SOS 283449 HAS SOPS 241303 HAS SOUS 91621 HAS SOUPS 91391 WITH SCORE 91674.449
AT ITER 3435 NEW BEST:: SOT 420019 SOS 283452 HAS SOPS 241283 HAS SOUS 91601 HAS SOUPS 91371 WITH SCORE 91654.452
AT ITER 3436 NEW BEST:: SOT 420008 SOS 283441 HAS SOPS 241274 HAS SOUS 91592 HAS SOUPS 91362 WITH SCORE 91645.441
AT ITER 3440 NEW BEST:: SOT 419998 SOS 283431 HAS SOPS 241261 HAS SOUS 91579 HAS SOUPS 91349 WITH SCORE 91632.431
AT ITER 3446 NEW BEST:: SOT 419998 SOS 283055 HAS SOPS 240885 HAS SOUS 91532 HAS SOUPS 91302 WITH SCORE 91585.055
AT ITER 3524 NEW BEST:: SOT 419150 SOS 282231 HAS SOPS 240061 HAS SOUS 90958 HAS SOUPS 90728 WITH SCORE 91010.231
AT ITER 3529 NEW BEST:: SOT 419150 SOS 282231 HAS SOPS 240027 HAS SOUS 90924 HAS SOUPS 90694 WITH SCORE 90976.231
AT ITER 3583 NEW BEST:: SOT 419136 SOS 282217 HAS SOPS 240013 HAS SOUS 90910 HAS SOUPS 90680 WITH SCORE 90962.217
AT ITER 3588 NEW BEST:: SOT 419115 SOS 282196 HAS SOPS 239992 HAS SOUS 90889 HAS SOUPS 90659 WITH SCORE 90941.196
AT ITER 3594 NEW BEST:: SOT 419114 SOS 282195 HAS SOPS 239991 HAS SOUS 90888 HAS SOUPS 90658 WITH SCORE 90940.195
AT ITER 3602 NEW BEST:: SOT 419114 SOS 282195 HAS SOPS 239970 HAS SOUS 90867 HAS SOUPS 90637 WITH SCORE 90919.195
AT ITER 3626 NEW BEST:: SOT 419414 SOS 282476 HAS SOPS 240251 HAS SOUS 90498 HAS SOUPS 90268 WITH SCORE 90550.476
AT ITER 3684 NEW BEST:: SOT 419404 SOS 282466 HAS SOPS 240236 HAS SOUS 90483 HAS SOUPS 90253 WITH SCORE 90535.466
AT ITER 3693 NEW BEST:: SOT 419366 SOS 282450 HAS SOPS 240220 HAS SOUS 90467 HAS SOUPS 90237 WITH SCORE 90519.45
AT ITER 3699 NEW BEST:: SOT 419587 SOS 282701 HAS SOPS 240023 HAS SOUS 90302 HAS SOUPS 90072 WITH SCORE 90354.701
AT ITER 3725 NEW BEST:: SOT 419565 SOS 281189 HAS SOPS 238511 HAS SOUS 89534 HAS SOUPS 89304 WITH SCORE 89585.189
AT ITER 3748 NEW BEST:: SOT 419554 SOS 281178 HAS SOPS 238500 HAS SOUS 89523 HAS SOUPS 89293 WITH SCORE 89574.178
AT ITER 3761 NEW BEST:: SOT 419554 SOS 281167 HAS SOPS 238489 HAS SOUS 89512 HAS SOUPS 89282 WITH SCORE 89563.167
AT ITER 3767 NEW BEST:: SOT 419554 SOS 281160 HAS SOPS 238482 HAS SOUS 89505 HAS SOUPS 89275 WITH SCORE 89556.16
AT ITER 3812 NEW BEST:: SOT 419524 SOS 281130 HAS SOPS 238435 HAS SOUS 89458 HAS SOUPS 89228 WITH SCORE 89509.13
AT ITER 3816 NEW BEST:: SOT 419524 SOS 281125 HAS SOPS 238430 HAS SOUS 89453 HAS SOUPS 89223 WITH SCORE 89504.125
AT ITER 3844 NEW BEST:: SOT 419524 SOS 280775 HAS SOPS 238080 HAS SOUS 89446 HAS SOUPS 89216 WITH SCORE 89496.775
AT ITER 3849 NEW BEST:: SOT 419524 SOS 280867 HAS SOPS 238172 HAS SOUS 89440 HAS SOUPS 89210 WITH SCORE 89490.867
AT ITER 3883 NEW BEST:: SOT 419524 SOS 280862 HAS SOPS 238167 HAS SOUS 89435 HAS SOUPS 89205 WITH SCORE 89485.862
AT ITER 3930 NEW BEST:: SOT 419974 SOS 281312 HAS SOPS 238143 HAS SOUS 89239 HAS SOUPS 89009 WITH SCORE 89290.312
AT ITER 3964 NEW BEST:: SOT 419972 SOS 281310 HAS SOPS 238139 HAS SOUS 89235 HAS SOUPS 89005 WITH SCORE 89286.31
AT ITER 3999 NEW BEST:: SOT 419958 SOS 281296 HAS SOPS 238125 HAS SOUS 89221 HAS SOUPS 88991 WITH SCORE 89272.296
AT ITER 4034 NEW BEST:: SOT 419949 SOS 281287 HAS SOPS 238107 HAS SOUS 89203 HAS SOUPS 88973 WITH SCORE 89254.287
AT ITER 4063 NEW BEST:: SOT 419930 SOS 281235 HAS SOPS 238055 HAS SOUS 89151 HAS SOUPS 88921 WITH SCORE 89202.235
AT ITER 4087 NEW BEST:: SOT 419888 SOS 281193 HAS SOPS 238041 HAS SOUS 89137 HAS SOUPS 88907 WITH SCORE 89188.193
AT ITER 4123 NEW BEST:: SOT 417588 SOS 278939 HAS SOPS 235787 HAS SOUS 86852 HAS SOUPS 86622 WITH SCORE 86900.939
AT ITER 4163 NEW BEST:: SOT 417588 SOS 278883 HAS SOPS 235731 HAS SOUS 86796 HAS SOUPS 86566 WITH SCORE 86844.883
AT ITER 4208 NEW BEST:: SOT 417588 SOS 278373 HAS SOPS 235221 HAS SOUS 86776 HAS SOUPS 86546 WITH SCORE 86824.373
AT ITER 4220 NEW BEST:: SOT 417587 SOS 278372 HAS SOPS 235220 HAS SOUS 86775 HAS SOUPS 86545 WITH SCORE 86823.372
AT ITER 4230 NEW BEST:: SOT 417536 SOS 278348 HAS SOPS 235205 HAS SOUS 86760 HAS SOUPS 86530 WITH SCORE 86808.348
AT ITER 4290 NEW BEST:: SOT 417536 SOS 278334 HAS SOPS 235191 HAS SOUS 86746 HAS SOUPS 86516 WITH SCORE 86794.334
AT ITER 4297 NEW BEST:: SOT 417536 SOS 278334 HAS SOPS 235191 HAS SOUS 86740 HAS SOUPS 86510 WITH SCORE 86788.334
AT ITER 4354 NEW BEST:: SOT 417440 SOS 278238 HAS SOPS 235095 HAS SOUS 86644 HAS SOUPS 86414 WITH SCORE 86692.238
AT ITER 4364 NEW BEST:: SOT 417440 SOS 278217 HAS SOPS 235074 HAS SOUS 86623 HAS SOUPS 86393 WITH SCORE 86671.217
AT ITER 4390 NEW BEST:: SOT 417432 SOS 278209 HAS SOPS 235066 HAS SOUS 86615 HAS SOUPS 86385 WITH SCORE 86663.209
AT ITER 4393 NEW BEST:: SOT 417417 SOS 278194 HAS SOPS 235051 HAS SOUS 86600 HAS SOUPS 86370 WITH SCORE 86648.194
AT ITER 4420 NEW BEST:: SOT 417410 SOS 278187 HAS SOPS 235037 HAS SOUS 86586 HAS SOUPS 86356 WITH SCORE 86634.187
AT ITER 4424 NEW BEST:: SOT 417410 SOS 278138 HAS SOPS 234988 HAS SOUS 86586 HAS SOUPS 86356 WITH SCORE 86634.138
AT ITER 4441 NEW BEST:: SOT 417372 SOS 278114 HAS SOPS 234964 HAS SOUS 86562 HAS SOUPS 86332 WITH SCORE 86610.114
AT ITER 4445 NEW BEST:: SOT 417369 SOS 278111 HAS SOPS 234961 HAS SOUS 86559 HAS SOUPS 86329 WITH SCORE 86607.111
AT ITER 4518 NEW BEST:: SOT 417351 SOS 278093 HAS SOPS 234961 HAS SOUS 86559 HAS SOUPS 86329 WITH SCORE 86607.093
AT ITER 4570 NEW BEST:: SOT 416863 SOS 277621 HAS SOPS 234377 HAS SOUS 85383 HAS SOUPS 85153 WITH SCORE 85430.621
AT ITER 4572 NEW BEST:: SOT 416863 SOS 277614 HAS SOPS 234370 HAS SOUS 85376 HAS SOUPS 85146 WITH SCORE 85423.614
AT ITER 4574 NEW BEST:: SOT 416434 SOS 277185 HAS SOPS 234149 HAS SOUS 85171 HAS SOUPS 84941 WITH SCORE 85218.185
AT ITER 4629 NEW BEST:: SOT 416434 SOS 277158 HAS SOPS 234110 HAS SOUS 83794 HAS SOUPS 83564 WITH SCORE 83841.158
AT ITER 4651 NEW BEST:: SOT 416420 SOS 277144 HAS SOPS 234096 HAS SOUS 83780 HAS SOUPS 83550 WITH SCORE 83827.144
AT ITER 4653 NEW BEST:: SOT 416403 SOS 277127 HAS SOPS 234062 HAS SOUS 83746 HAS SOUPS 83516 WITH SCORE 83793.127
AT ITER 4719 NEW BEST:: SOT 416349 SOS 277073 HAS SOPS 234019 HAS SOUS 83703 HAS SOUPS 83473 WITH SCORE 83750.073
AT ITER 4734 NEW BEST:: SOT 416354 SOS 277078 HAS SOPS 234017 HAS SOUS 83701 HAS SOUPS 83471 WITH SCORE 83748.078
AT ITER 4780 NEW BEST:: SOT 416710 SOS 277434 HAS SOPS 233827 HAS SOUS 83433 HAS SOUPS 83203 WITH SCORE 83480.434
AT ITER 4790 NEW BEST:: SOT 416742 SOS 277466 HAS SOPS 233826 HAS SOUS 83432 HAS SOUPS 83202 WITH SCORE 83479.466
AT ITER 4792 NEW BEST:: SOT 416743 SOS 277458 HAS SOPS 233818 HAS SOUS 83424 HAS SOUPS 83194 WITH SCORE 83471.458
AT ITER 4794 NEW BEST:: SOT 416730 SOS 277454 HAS SOPS 233814 HAS SOUS 83420 HAS SOUPS 83190 WITH SCORE 83467.454
AT ITER 4803 NEW BEST:: SOT 417021 SOS 275349 HAS SOPS 230299 HAS SOUS 82327 HAS SOUPS 82097 WITH SCORE 82372.349
AT ITER 4958 NEW BEST:: SOT 417001 SOS 275329 HAS SOPS 230259 HAS SOUS 82287 HAS SOUPS 82057 WITH SCORE 82332.329
AT ITER 4969 NEW BEST:: SOT 416992 SOS 275320 HAS SOPS 230259 HAS SOUS 82287 HAS SOUPS 82057 WITH SCORE 82332.32
AT ITER 5008 NEW BEST:: SOT 416557 SOS 274885 HAS SOPS 229765 HAS SOUS 81248 HAS SOUPS 81018 WITH SCORE 81292.885
AT ITER 5095 NEW BEST:: SOT 416487 SOS 274815 HAS SOPS 229695 HAS SOUS 81178 HAS SOUPS 80948 WITH SCORE 81222.815
AT ITER 5121 NEW BEST:: SOT 416487 SOS 274950 HAS SOPS 229830 HAS SOUS 81166 HAS SOUPS 80936 WITH SCORE 81210.95
AT ITER 5186 NEW BEST:: SOT 416479 SOS 274942 HAS SOPS 229822 HAS SOUS 81158 HAS SOUPS 80928 WITH SCORE 81202.942
AT ITER 5190 NEW BEST:: SOT 416479 SOS 274942 HAS SOPS 229812 HAS SOUS 81148 HAS SOUPS 80918 WITH SCORE 81192.942
AT ITER 5205 NEW BEST:: SOT 416469 SOS 274932 HAS SOPS 229802 HAS SOUS 81138 HAS SOUPS 80908 WITH SCORE 81182.932
AT ITER 5275 NEW BEST:: SOT 416307 SOS 276213 HAS SOPS 231083 HAS SOUS 81047 HAS SOUPS 80817 WITH SCORE 81093.213
AT ITER 5280 NEW BEST:: SOT 416297 SOS 276203 HAS SOPS 231071 HAS SOUS 81035 HAS SOUPS 80805 WITH SCORE 81081.203
AT ITER 5298 NEW BEST:: SOT 414259 SOS 279337 HAS SOPS 229740 HAS SOUS 79185 HAS SOUPS 78855 WITH SCORE 79134.337
AT ITER 5323 NEW BEST:: SOT 414259 SOS 279301 HAS SOPS 229692 HAS SOUS 79137 HAS SOUPS 78807 WITH SCORE 79086.301
AT ITER 5342 NEW BEST:: SOT 411655 SOS 276697 HAS SOPS 227088 HAS SOUS 76533 HAS SOUPS 76203 WITH SCORE 76479.697
AT ITER 5351 NEW BEST:: SOT 410835 SOS 277427 HAS SOPS 227818 HAS SOUS 75744 HAS SOUPS 75414 WITH SCORE 75691.427
AT ITER 5358 NEW BEST:: SOT 410235 SOS 276827 HAS SOPS 227218 HAS SOUS 75513 HAS SOUPS 75183 WITH SCORE 75459.827
AT ITER 5362 NEW BEST:: SOT 409169 SOS 275761 HAS SOPS 226878 HAS SOUS 75341 HAS SOUPS 75011 WITH SCORE 75286.761
AT ITER 5366 NEW BEST:: SOT 409167 SOS 275759 HAS SOPS 226876 HAS SOUS 75339 HAS SOUPS 75009 WITH SCORE 75284.759
AT ITER 5493 NEW BEST:: SOT 409167 SOS 275698 HAS SOPS 226827 HAS SOUS 75290 HAS SOUPS 74960 WITH SCORE 75235.698
AT ITER 5512 NEW BEST:: SOT 409138 SOS 275669 HAS SOPS 226818 HAS SOUS 75281 HAS SOUPS 74951 WITH SCORE 75226.669
AT ITER 5525 NEW BEST:: SOT 409138 SOS 274119 HAS SOPS 225268 HAS SOUS 75250 HAS SOUPS 74920 WITH SCORE 75194.119
AT ITER 5667 NEW BEST:: SOT 409078 SOS 274058 HAS SOPS 225205 HAS SOUS 75140 HAS SOUPS 74810 WITH SCORE 75084.058
AT ITER 5671 NEW BEST:: SOT 409042 SOS 274022 HAS SOPS 225167 HAS SOUS 75055 HAS SOUPS 74725 WITH SCORE 74999.022
AT ITER 5689 NEW BEST:: SOT 409016 SOS 273996 HAS SOPS 225141 HAS SOUS 75029 HAS SOUPS 74699 WITH SCORE 74972.996
AT ITER 5700 NEW BEST:: SOT 409016 SOS 273996 HAS SOPS 225138 HAS SOUS 75026 HAS SOUPS 74696 WITH SCORE 74969.996
AT ITER 5703 NEW BEST:: SOT 408923 SOS 273903 HAS SOPS 225070 HAS SOUS 74958 HAS SOUPS 74628 WITH SCORE 74901.903
AT ITER 5719 NEW BEST:: SOT 407229 SOS 272244 HAS SOPS 223411 HAS SOUS 73299 HAS SOUPS 72969 WITH SCORE 73241.244
AT ITER 5737 NEW BEST:: SOT 407228 SOS 272243 HAS SOPS 223410 HAS SOUS 73298 HAS SOUPS 72968 WITH SCORE 73240.243
AT ITER 5846 NEW BEST:: SOT 407200 SOS 272215 HAS SOPS 223382 HAS SOUS 73270 HAS SOUPS 72940 WITH SCORE 73212.215
AT ITER 5870 NEW BEST:: SOT 407198 SOS 272213 HAS SOPS 223380 HAS SOUS 73268 HAS SOUPS 72938 WITH SCORE 73210.213
AT ITER 5947 NEW BEST:: SOT 406802 SOS 271817 HAS SOPS 222471 HAS SOUS 72435 HAS SOUPS 72105 WITH SCORE 72376.817
AT ITER 5998 NEW BEST:: SOT 407113 SOS 272298 HAS SOPS 222748 HAS SOUS 72399 HAS SOUPS 72069 WITH SCORE 72341.298
AT ITER 6021 NEW BEST:: SOT 407093 SOS 272278 HAS SOPS 222716 HAS SOUS 72367 HAS SOUPS 72037 WITH SCORE 72309.278
AT ITER 6041 NEW BEST:: SOT 407093 SOS 272277 HAS SOPS 222715 HAS SOUS 72367 HAS SOUPS 72037 WITH SCORE 72309.277
AT ITER 6085 NEW BEST:: SOT 407069 SOS 272253 HAS SOPS 222664 HAS SOUS 72330 HAS SOUPS 72000 WITH SCORE 72272.253
AT ITER 6112 NEW BEST:: SOT 407069 SOS 272245 HAS SOPS 222656 HAS SOUS 72322 HAS SOUPS 71992 WITH SCORE 72264.245
AT ITER 6150 NEW BEST:: SOT 407067 SOS 272243 HAS SOPS 222654 HAS SOUS 72320 HAS SOUPS 71990 WITH SCORE 72262.243
AT ITER 6185 NEW BEST:: SOT 405416 SOS 270592 HAS SOPS 220688 HAS SOUS 69971 HAS SOUPS 69641 WITH SCORE 69911.592
AT ITER 6252 NEW BEST:: SOT 405366 SOS 270542 HAS SOPS 220688 HAS SOUS 69971 HAS SOUPS 69641 WITH SCORE 69911.542
AT ITER 6270 NEW BEST:: SOT 405360 SOS 270536 HAS SOPS 220682 HAS SOUS 69965 HAS SOUPS 69635 WITH SCORE 69905.536
AT ITER 6324 NEW BEST:: SOT 405341 SOS 270519 HAS SOPS 220665 HAS SOUS 69948 HAS SOUPS 69618 WITH SCORE 69888.519
AT ITER 6361 NEW BEST:: SOT 405325 SOS 270503 HAS SOPS 220656 HAS SOUS 69939 HAS SOUPS 69609 WITH SCORE 69879.503
AT ITER 6363 NEW BEST:: SOT 405825 SOS 271003 HAS SOPS 221165 HAS SOUS 69265 HAS SOUPS 68935 WITH SCORE 69206.003
AT ITER 6364 NEW BEST:: SOT 405730 SOS 270908 HAS SOPS 221153 HAS SOUS 69253 HAS SOUPS 68923 WITH SCORE 69193.908
AT ITER 6369 NEW BEST:: SOT 405730 SOS 270904 HAS SOPS 221149 HAS SOUS 69253 HAS SOUPS 68923 WITH SCORE 69193.904
AT ITER 6390 NEW BEST:: SOT 405704 SOS 270878 HAS SOPS 221110 HAS SOUS 69214 HAS SOUPS 68884 WITH SCORE 69154.878
AT ITER 6405 NEW BEST:: SOT 405688 SOS 270862 HAS SOPS 221094 HAS SOUS 68943 HAS SOUPS 68613 WITH SCORE 68883.862
AT ITER 6410 NEW BEST:: SOT 405616 SOS 270787 HAS SOPS 221068 HAS SOUS 68828 HAS SOUPS 68498 WITH SCORE 68768.787
AT ITER 6426 NEW BEST:: SOT 405609 SOS 270780 HAS SOPS 221061 HAS SOUS 68821 HAS SOUPS 68491 WITH SCORE 68761.78
AT ITER 6487 NEW BEST:: SOT 405603 SOS 270774 HAS SOPS 221055 HAS SOUS 68815 HAS SOUPS 68485 WITH SCORE 68755.774
AT ITER 6503 NEW BEST:: SOT 405603 SOS 269124 HAS SOPS 219356 HAS SOUS 68780 HAS SOUPS 68450 WITH SCORE 68719.124
AT ITER 6523 NEW BEST:: SOT 405549 SOS 269067 HAS SOPS 219299 HAS SOUS 68735 HAS SOUPS 68405 WITH SCORE 68674.067
AT ITER 6569 NEW BEST:: SOT 405138 SOS 268630 HAS SOPS 218848 HAS SOUS 67879 HAS SOUPS 67549 WITH SCORE 67817.63
AT ITER 6572 NEW BEST:: SOT 405101 SOS 268571 HAS SOPS 218785 HAS SOUS 67841 HAS SOUPS 67511 WITH SCORE 67779.571
AT ITER 6623 NEW BEST:: SOT 405096 SOS 268546 HAS SOPS 218720 HAS SOUS 67776 HAS SOUPS 67446 WITH SCORE 67714.546
AT ITER 6638 NEW BEST:: SOT 405111 SOS 268473 HAS SOPS 218647 HAS SOUS 67703 HAS SOUPS 67373 WITH SCORE 67641.473
AT ITER 6663 NEW BEST:: SOT 405111 SOS 268765 HAS SOPS 218939 HAS SOUS 67701 HAS SOUPS 67371 WITH SCORE 67639.765
AT ITER 6679 NEW BEST:: SOT 405111 SOS 268761 HAS SOPS 218935 HAS SOUS 67497 HAS SOUPS 67167 WITH SCORE 67435.761
AT ITER 6689 NEW BEST:: SOT 405111 SOS 268758 HAS SOPS 218932 HAS SOUS 67494 HAS SOUPS 67164 WITH SCORE 67432.758
AT ITER 6776 NEW BEST:: SOT 404379 SOS 268047 HAS SOPS 218235 HAS SOUS 67024 HAS SOUPS 66694 WITH SCORE 66962.047
AT ITER 6838 NEW BEST:: SOT 404375 SOS 268043 HAS SOPS 218231 HAS SOUS 67020 HAS SOUPS 66690 WITH SCORE 66958.043
AT ITER 6875 NEW BEST:: SOT 404375 SOS 268043 HAS SOPS 218209 HAS SOUS 66998 HAS SOUPS 66668 WITH SCORE 66936.043
AT ITER 6887 NEW BEST:: SOT 404229 SOS 267933 HAS SOPS 218121 HAS SOUS 66910 HAS SOUPS 66580 WITH SCORE 66847.933
AT ITER 6891 NEW BEST:: SOT 404227 SOS 267931 HAS SOPS 218117 HAS SOUS 66906 HAS SOUPS 66576 WITH SCORE 66843.931
AT ITER 6946 NEW BEST:: SOT 402445 SOS 267347 HAS SOPS 218602 HAS SOUS 66717 HAS SOUPS 66387 WITH SCORE 66654.347
AT ITER 6978 NEW BEST:: SOT 402441 SOS 267343 HAS SOPS 218598 HAS SOUS 66713 HAS SOUPS 66383 WITH SCORE 66650.343
AT ITER 7047 NEW BEST:: SOT 402441 SOS 267245 HAS SOPS 218500 HAS SOUS 66713 HAS SOUPS 66383 WITH SCORE 66650.245
AT ITER 7091 NEW BEST:: SOT 402429 SOS 267233 HAS SOPS 218482 HAS SOUS 66695 HAS SOUPS 66365 WITH SCORE 66632.233
AT ITER 7211 NEW BEST:: SOT 402432 SOS 267236 HAS SOPS 218480 HAS SOUS 66693 HAS SOUPS 66363 WITH SCORE 66630.236
AT ITER 7222 NEW BEST:: SOT 402575 SOS 267396 HAS SOPS 218157 HAS SOUS 66418 HAS SOUPS 66088 WITH SCORE 66355.396
AT ITER 7265 NEW BEST:: SOT 402032 SOS 266839 HAS SOPS 217554 HAS SOUS 65546 HAS SOUPS 65216 WITH SCORE 65482.839
AT ITER 7269 NEW BEST:: SOT 401996 SOS 266803 HAS SOPS 217518 HAS SOUS 65510 HAS SOUPS 65180 WITH SCORE 65446.803
AT ITER 7344 NEW BEST:: SOT 401550 SOS 267582 HAS SOPS 218297 HAS SOUS 65124 HAS SOUPS 64794 WITH SCORE 65061.582
AT ITER 7364 NEW BEST:: SOT 401542 SOS 267574 HAS SOPS 218289 HAS SOUS 65116 HAS SOUPS 64786 WITH SCORE 65053.574
AT ITER 7421 NEW BEST:: SOT 401508 SOS 267540 HAS SOPS 218289 HAS SOUS 65116 HAS SOUPS 64786 WITH SCORE 65053.54
AT ITER 7521 NEW BEST:: SOT 401508 SOS 267473 HAS SOPS 218222 HAS SOUS 65049 HAS SOUPS 64719 WITH SCORE 64986.473
AT ITER 7566 NEW BEST:: SOT 401410 SOS 267374 HAS SOPS 218123 HAS SOUS 64945 HAS SOUPS 64615 WITH SCORE 64882.374
AT ITER 7638 NEW BEST:: SOT 401367 SOS 267331 HAS SOPS 218123 HAS SOUS 64945 HAS SOUPS 64615 WITH SCORE 64882.331
AT ITER 7772 NEW BEST:: SOT 401367 SOS 267329 HAS SOPS 218121 HAS SOUS 64943 HAS SOUPS 64613 WITH SCORE 64880.329
AT ITER 7803 NEW BEST:: SOT 401333 SOS 267295 HAS SOPS 218075 HAS SOUS 64897 HAS SOUPS 64567 WITH SCORE 64834.295
AT ITER 7854 NEW BEST:: SOT 401330 SOS 267292 HAS SOPS 218069 HAS SOUS 64891 HAS SOUPS 64561 WITH SCORE 64828.292
AT ITER 7860 NEW BEST:: SOT 401305 SOS 267248 HAS SOPS 218025 HAS SOUS 64847 HAS SOUPS 64517 WITH SCORE 64784.248
AT ITER 7892 NEW BEST:: SOT 401316 SOS 267186 HAS SOPS 217913 HAS SOUS 64735 HAS SOUPS 64405 WITH SCORE 64672.186
AT ITER 7898 NEW BEST:: SOT 401303 SOS 267173 HAS SOPS 217900 HAS SOUS 64722 HAS SOUPS 64392 WITH SCORE 64659.173
AT ITER 8009 NEW BEST:: SOT 401300 SOS 267170 HAS SOPS 217894 HAS SOUS 64716 HAS SOUPS 64386 WITH SCORE 64653.17
AT ITER 8020 NEW BEST:: SOT 401300 SOS 267296 HAS SOPS 218020 HAS SOUS 64695 HAS SOUPS 64365 WITH SCORE 64632.296
AT ITER 8037 NEW BEST:: SOT 401295 SOS 267291 HAS SOPS 218015 HAS SOUS 64690 HAS SOUPS 64360 WITH SCORE 64627.291
AT ITER 8055 NEW BEST:: SOT 401281 SOS 267277 HAS SOPS 218000 HAS SOUS 64675 HAS SOUPS 64345 WITH SCORE 64612.277
AT ITER 8059 NEW BEST:: SOT 401281 SOS 267277 HAS SOPS 218000 HAS SOUS 64522 HAS SOUPS 64192 WITH SCORE 64459.277
AT ITER 8095 NEW BEST:: SOT 401381 SOS 267139 HAS SOPS 217655 HAS SOUS 63313 HAS SOUPS 62983 WITH SCORE 63250.139
AT ITER 8101 NEW BEST:: SOT 401434 SOS 267192 HAS SOPS 217634 HAS SOUS 63292 HAS SOUPS 62962 WITH SCORE 63229.192
AT ITER 8114 NEW BEST:: SOT 401425 SOS 267183 HAS SOPS 217634 HAS SOUS 63292 HAS SOUPS 62962 WITH SCORE 63229.183
AT ITER 8193 NEW BEST:: SOT 401425 SOS 266882 HAS SOPS 217333 HAS SOUS 63285 HAS SOUPS 62955 WITH SCORE 63221.882
AT ITER 8346 NEW BEST:: SOT 401425 SOS 266879 HAS SOPS 217330 HAS SOUS 63282 HAS SOUPS 62952 WITH SCORE 63218.879
AT ITER 8393 NEW BEST:: SOT 401398 SOS 266852 HAS SOPS 217330 HAS SOUS 63282 HAS SOUPS 62952 WITH SCORE 63218.852
AT ITER 8435 NEW BEST:: SOT 401398 SOS 265952 HAS SOPS 216430 HAS SOUS 63264 HAS SOUPS 62934 WITH SCORE 63199.952
AT ITER 8452 NEW BEST:: SOT 401387 SOS 265941 HAS SOPS 216419 HAS SOUS 63253 HAS SOUPS 62923 WITH SCORE 63188.941
AT ITER 8507 NEW BEST:: SOT 401365 SOS 265919 HAS SOPS 216402 HAS SOUS 63236 HAS SOUPS 62906 WITH SCORE 63171.919
AT ITER 8578 NEW BEST:: SOT 401357 SOS 265911 HAS SOPS 216402 HAS SOUS 63236 HAS SOUPS 62906 WITH SCORE 63171.911
AT ITER 8634 NEW BEST:: SOT 401343 SOS 265897 HAS SOPS 216388 HAS SOUS 63222 HAS SOUPS 62892 WITH SCORE 63157.897
AT ITER 8693 NEW BEST:: SOT 401323 SOS 265877 HAS SOPS 216368 HAS SOUS 63202 HAS SOUPS 62872 WITH SCORE 63137.877
AT ITER 8700 NEW BEST:: SOT 401312 SOS 265866 HAS SOPS 216357 HAS SOUS 63191 HAS SOUPS 62861 WITH SCORE 63126.866
AT ITER 8728 NEW BEST:: SOT 401312 SOS 265816 HAS SOPS 216307 HAS SOUS 63190 HAS SOUPS 62860 WITH SCORE 63125.816
AT ITER 8764 NEW BEST:: SOT 401310 SOS 265814 HAS SOPS 216305 HAS SOUS 63188 HAS SOUPS 62858 WITH SCORE 63123.814
AT ITER 8785 NEW BEST:: SOT 401294 SOS 265798 HAS SOPS 216296 HAS SOUS 63179 HAS SOUPS 62849 WITH SCORE 63114.798
AT ITER 8802 NEW BEST:: SOT 401290 SOS 265794 HAS SOPS 216292 HAS SOUS 63175 HAS SOUPS 62845 WITH SCORE 63110.794
AT ITER 8837 NEW BEST:: SOT 401275 SOS 265779 HAS SOPS 216283 HAS SOUS 63166 HAS SOUPS 62836 WITH SCORE 63101.779
AT ITER 8912 NEW BEST:: SOT 401267 SOS 265771 HAS SOPS 216275 HAS SOUS 63158 HAS SOUPS 62828 WITH SCORE 63093.771
AT ITER 8913 NEW BEST:: SOT 400102 SOS 265991 HAS SOPS 216495 HAS SOUS 62104 HAS SOUPS 61774 WITH SCORE 62039.991
AT ITER 8942 NEW BEST:: SOT 400102 SOS 265991 HAS SOPS 216489 HAS SOUS 62098 HAS SOUPS 61768 WITH SCORE 62033.991
AT ITER 8992 NEW BEST:: SOT 400060 SOS 265949 HAS SOPS 216447 HAS SOUS 62056 HAS SOUPS 61726 WITH SCORE 61991.949
AT ITER 9015 NEW BEST:: SOT 400032 SOS 265921 HAS SOPS 216419 HAS SOUS 62028 HAS SOUPS 61698 WITH SCORE 61963.921
AT ITER 9037 NEW BEST:: SOT 399937 SOS 265826 HAS SOPS 216419 HAS SOUS 62028 HAS SOUPS 61698 WITH SCORE 61963.826
AT ITER 9084 NEW BEST:: SOT 399937 SOS 265776 HAS SOPS 216369 HAS SOUS 62027 HAS SOUPS 61697 WITH SCORE 61962.776
AT ITER 9090 NEW BEST:: SOT 399927 SOS 265766 HAS SOPS 216352 HAS SOUS 62010 HAS SOUPS 61680 WITH SCORE 61945.766
AT ITER 9139 NEW BEST:: SOT 399355 SOS 265179 HAS SOPS 215698 HAS SOUS 60980 HAS SOUPS 60650 WITH SCORE 60915.179
AT ITER 9143 NEW BEST:: SOT 398993 SOS 278133 HAS SOPS 223686 HAS SOUS 61043 HAS SOUPS 60582 WITH SCORE 60860.133
AT ITER 9219 NEW BEST:: SOT 398571 SOS 277750 HAS SOPS 223303 HAS SOUS 60660 HAS SOUPS 60199 WITH SCORE 60476.75
AT ITER 9222 NEW BEST:: SOT 398946 SOS 278125 HAS SOPS 223106 HAS SOUS 60441 HAS SOUPS 59980 WITH SCORE 60258.125
AT ITER 9234 NEW BEST:: SOT 398944 SOS 278123 HAS SOPS 223104 HAS SOUS 60439 HAS SOUPS 59978 WITH SCORE 60256.123
AT ITER 9276 NEW BEST:: SOT 398780 SOS 277959 HAS SOPS 222143 HAS SOUS 59376 HAS SOUPS 58915 WITH SCORE 59192.959
AT ITER 9387 NEW BEST:: SOT 398754 SOS 277933 HAS SOPS 222091 HAS SOUS 59323 HAS SOUPS 58862 WITH SCORE 59139.933
AT ITER 9401 NEW BEST:: SOT 398754 SOS 277928 HAS SOPS 222086 HAS SOUS 59323 HAS SOUPS 58862 WITH SCORE 59139.928
AT ITER 9404 NEW BEST:: SOT 398777 SOS 277951 HAS SOPS 222076 HAS SOUS 59313 HAS SOUPS 58852 WITH SCORE 59129.951
AT ITER 9448 NEW BEST:: SOT 398773 SOS 277947 HAS SOPS 222072 HAS SOUS 59309 HAS SOUPS 58848 WITH SCORE 59125.947
AT ITER 9470 NEW BEST:: SOT 398764 SOS 277938 HAS SOPS 222072 HAS SOUS 59309 HAS SOUPS 58848 WITH SCORE 59125.938
AT ITER 9529 NEW BEST:: SOT 398760 SOS 277934 HAS SOPS 222064 HAS SOUS 59301 HAS SOUPS 58840 WITH SCORE 59117.934
AT ITER 9580 NEW BEST:: SOT 398754 SOS 277928 HAS SOPS 222061 HAS SOUS 59298 HAS SOUPS 58837 WITH SCORE 59114.928
AT ITER 9636 NEW BEST:: SOT 398734 SOS 277908 HAS SOPS 222041 HAS SOUS 59278 HAS SOUPS 58817 WITH SCORE 59094.908
AT ITER 9644 NEW BEST:: SOT 398734 SOS 277908 HAS SOPS 222033 HAS SOUS 59270 HAS SOUPS 58809 WITH SCORE 59086.908
AT ITER 9711 NEW BEST:: SOT 398792 SOS 277966 HAS SOPS 222017 HAS SOUS 59254 HAS SOUPS 58793 WITH SCORE 59070.966
AT ITER 9799 NEW BEST:: SOT 398792 SOS 277816 HAS SOPS 221867 HAS SOUS 59246 HAS SOUPS 58785 WITH SCORE 59062.816
AT ITER 9801 NEW BEST:: SOT 398789 SOS 277813 HAS SOPS 221849 HAS SOUS 59228 HAS SOUPS 58767 WITH SCORE 59044.813
AT ITER 9813 NEW BEST:: SOT 399439 SOS 278437 HAS SOPS 222465 HAS SOUS 59202 HAS SOUPS 58741 WITH SCORE 59019.437
AT ITER 9931 NEW BEST:: SOT 399328 SOS 278326 HAS SOPS 222336 HAS SOUS 58956 HAS SOUPS 58495 WITH SCORE 58773.326
AT ITER 9971 NEW BEST:: SOT 399304 SOS 278302 HAS SOPS 222288 HAS SOUS 58908 HAS SOUPS 58447 WITH SCORE 58725.302
AT ITER 9975 NEW BEST:: SOT 399294 SOS 278292 HAS SOPS 222288 HAS SOUS 58908 HAS SOUPS 58447 WITH SCORE 58725.292
AT ITER 9978 NEW BEST:: SOT 399283 SOS 278281 HAS SOPS 222277 HAS SOUS 58897 HAS SOUPS 58436 WITH SCORE 58714.281
AT ITER 9992 NEW BEST:: SOT 399238 SOS 278242 HAS SOPS 222238 HAS SOUS 58858 HAS SOUPS 58397 WITH SCORE 58675.242
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3571540 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119676 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r331-tall-167889204400392"
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 ;