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.r395-oct2-167903719000608.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 20:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 20:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 20:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 20:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K 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 1679573655364

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=ShieldPPPt-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:14:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:14:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:14:18] [INFO ] Load time of PNML (sax parser for PT used): 71 ms
[2023-03-23 12:14:18] [INFO ] Transformed 393 places.
[2023-03-23 12:14:18] [INFO ] Transformed 358 transitions.
[2023-03-23 12:14:18] [INFO ] Found NUPN structural information;
[2023-03-23 12:14:18] [INFO ] Parsed PT model containing 393 places and 358 transitions and 896 arcs in 207 ms.
[2023-03-23 12:14:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 393 places, 358 transitions and 896 arcs took 5 ms.
Total runtime 257 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005B
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: 393 places, 358 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 77150 SOS 20642 HAS SOPS 20642 HAS SOUS 19102 HAS SOUPS 19102 WITH SCORE 19122.642
AT ITER 48 NEW BEST:: SOT 77132 SOS 20624 HAS SOPS 20624 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19086.624
AT ITER 53 NEW BEST:: SOT 77132 SOS 20619 HAS SOPS 20619 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19081.619
AT ITER 73 NEW BEST:: SOT 77062 SOS 20639 HAS SOPS 20639 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19030.639
AT ITER 88 NEW BEST:: SOT 76952 SOS 20529 HAS SOPS 20529 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18920.529
AT ITER 106 NEW BEST:: SOT 76947 SOS 20473 HAS SOPS 20473 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18890.473
AT ITER 151 NEW BEST:: SOT 76930 SOS 20422 HAS SOPS 20422 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18873.422
AT ITER 185 NEW BEST:: SOT 76940 SOS 20439 HAS SOPS 20439 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18823.439
AT ITER 191 NEW BEST:: SOT 76940 SOS 20436 HAS SOPS 20436 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18820.436
AT ITER 205 NEW BEST:: SOT 76898 SOS 20310 HAS SOPS 20310 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18775.31
AT ITER 218 NEW BEST:: SOT 76861 SOS 20273 HAS SOPS 20273 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18738.273
AT ITER 231 NEW BEST:: SOT 76861 SOS 20272 HAS SOPS 20272 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18737.272
AT ITER 245 NEW BEST:: SOT 76861 SOS 20232 HAS SOPS 20232 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18697.232
AT ITER 247 NEW BEST:: SOT 76861 SOS 20231 HAS SOPS 20231 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18696.231
AT ITER 284 NEW BEST:: SOT 76859 SOS 20235 HAS SOPS 20235 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18688.235
AT ITER 294 NEW BEST:: SOT 76859 SOS 20234 HAS SOPS 20234 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18687.234
AT ITER 296 NEW BEST:: SOT 76856 SOS 20212 HAS SOPS 20212 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18677.212
AT ITER 311 NEW BEST:: SOT 76856 SOS 20212 HAS SOPS 20212 HAS SOUS 18636 HAS SOUPS 18636 WITH SCORE 18656.212
AT ITER 319 NEW BEST:: SOT 76856 SOS 20203 HAS SOPS 20203 HAS SOUS 18627 HAS SOUPS 18627 WITH SCORE 18647.203
AT ITER 323 NEW BEST:: SOT 76792 SOS 20066 HAS SOPS 20066 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18510.066
AT ITER 332 NEW BEST:: SOT 76773 SOS 20028 HAS SOPS 20028 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18472.028
AT ITER 340 NEW BEST:: SOT 76761 SOS 20016 HAS SOPS 20016 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18460.016
AT ITER 359 NEW BEST:: SOT 76737 SOS 20000 HAS SOPS 20000 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18444.0
AT ITER 367 NEW BEST:: SOT 76703 SOS 19993 HAS SOPS 19993 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18418.993
AT ITER 374 NEW BEST:: SOT 76634 SOS 20014 HAS SOPS 20014 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18377.014
AT ITER 376 NEW BEST:: SOT 76633 SOS 19961 HAS SOPS 19961 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18374.961
AT ITER 394 NEW BEST:: SOT 76623 SOS 19941 HAS SOPS 19941 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18363.941
AT ITER 406 NEW BEST:: SOT 76619 SOS 19873 HAS SOPS 19873 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18324.873
AT ITER 423 NEW BEST:: SOT 76618 SOS 19871 HAS SOPS 19871 HAS SOUS 18303 HAS SOUPS 18303 WITH SCORE 18322.871
AT ITER 431 NEW BEST:: SOT 76614 SOS 19867 HAS SOPS 19867 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18318.867
AT ITER 437 NEW BEST:: SOT 76535 SOS 19693 HAS SOPS 19693 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18186.693
AT ITER 460 NEW BEST:: SOT 76553 SOS 19575 HAS SOPS 19575 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18130.575
AT ITER 478 NEW BEST:: SOT 76528 SOS 19558 HAS SOPS 19558 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18113.558
AT ITER 489 NEW BEST:: SOT 76528 SOS 19554 HAS SOPS 19554 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18106.554
AT ITER 495 NEW BEST:: SOT 76502 SOS 19528 HAS SOPS 19528 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18099.528
AT ITER 497 NEW BEST:: SOT 76502 SOS 19527 HAS SOPS 19527 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18076.527
AT ITER 502 NEW BEST:: SOT 76502 SOS 19526 HAS SOPS 19526 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18075.526
AT ITER 515 NEW BEST:: SOT 76498 SOS 19518 HAS SOPS 19518 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18071.518
AT ITER 517 NEW BEST:: SOT 76485 SOS 19505 HAS SOPS 19505 HAS SOUS 18039 HAS SOUPS 18039 WITH SCORE 18058.505
AT ITER 542 NEW BEST:: SOT 76464 SOS 19492 HAS SOPS 19492 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18045.492
AT ITER 560 NEW BEST:: SOT 76468 SOS 19521 HAS SOPS 19521 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18028.521
AT ITER 572 NEW BEST:: SOT 76458 SOS 19493 HAS SOPS 19493 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18000.493
AT ITER 574 NEW BEST:: SOT 76432 SOS 19441 HAS SOPS 19441 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17943.441
AT ITER 587 NEW BEST:: SOT 76400 SOS 19369 HAS SOPS 19369 HAS SOUS 17900 HAS SOUPS 17900 WITH SCORE 17919.369
AT ITER 595 NEW BEST:: SOT 76414 SOS 19341 HAS SOPS 19341 HAS SOUS 17896 HAS SOUPS 17896 WITH SCORE 17915.341
AT ITER 609 NEW BEST:: SOT 76414 SOS 19320 HAS SOPS 19320 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17894.32
AT ITER 635 NEW BEST:: SOT 76389 SOS 19206 HAS SOPS 19206 HAS SOUS 17786 HAS SOUPS 17786 WITH SCORE 17805.206
AT ITER 652 NEW BEST:: SOT 76337 SOS 19131 HAS SOPS 19131 HAS SOUS 17711 HAS SOUPS 17711 WITH SCORE 17730.131
AT ITER 657 NEW BEST:: SOT 76337 SOS 19123 HAS SOPS 19123 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17729.123
AT ITER 662 NEW BEST:: SOT 76341 SOS 19101 HAS SOPS 19101 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17707.101
AT ITER 681 NEW BEST:: SOT 76341 SOS 19126 HAS SOPS 19126 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17621.126
AT ITER 693 NEW BEST:: SOT 76330 SOS 19125 HAS SOPS 19125 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17618.125
AT ITER 695 NEW BEST:: SOT 76314 SOS 19093 HAS SOPS 19093 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17595.093
AT ITER 711 NEW BEST:: SOT 76314 SOS 19092 HAS SOPS 19092 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17594.092
AT ITER 729 NEW BEST:: SOT 76314 SOS 19074 HAS SOPS 19074 HAS SOUS 17557 HAS SOUPS 17557 WITH SCORE 17576.074
AT ITER 748 NEW BEST:: SOT 76295 SOS 19052 HAS SOPS 19052 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17554.052
AT ITER 792 NEW BEST:: SOT 76295 SOS 19043 HAS SOPS 19043 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17545.043
AT ITER 813 NEW BEST:: SOT 76295 SOS 19042 HAS SOPS 19042 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17544.042
AT ITER 837 NEW BEST:: SOT 76294 SOS 19040 HAS SOPS 19040 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17542.04
AT ITER 875 NEW BEST:: SOT 76294 SOS 19023 HAS SOPS 19023 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17525.023
AT ITER 880 NEW BEST:: SOT 76279 SOS 18946 HAS SOPS 18946 HAS SOUS 17453 HAS SOUPS 17453 WITH SCORE 17471.946
AT ITER 881 NEW BEST:: SOT 76244 SOS 18876 HAS SOPS 18876 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17368.876
AT ITER 927 NEW BEST:: SOT 76237 SOS 18869 HAS SOPS 18869 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17361.869
AT ITER 964 NEW BEST:: SOT 76242 SOS 18868 HAS SOPS 18868 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17361.868
AT ITER 971 NEW BEST:: SOT 76233 SOS 18850 HAS SOPS 18850 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17347.85
AT ITER 982 NEW BEST:: SOT 76239 SOS 18823 HAS SOPS 18823 HAS SOUS 17304 HAS SOUPS 17304 WITH SCORE 17322.823
AT ITER 983 NEW BEST:: SOT 76226 SOS 18810 HAS SOPS 18810 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17309.81
AT ITER 1009 NEW BEST:: SOT 76226 SOS 18810 HAS SOPS 18810 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17305.81
AT ITER 1053 NEW BEST:: SOT 76226 SOS 18810 HAS SOPS 18810 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17287.81
AT ITER 1068 NEW BEST:: SOT 76222 SOS 18804 HAS SOPS 18804 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17281.804
AT ITER 1078 NEW BEST:: SOT 76204 SOS 18786 HAS SOPS 18786 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17263.786
AT ITER 1108 NEW BEST:: SOT 76185 SOS 18729 HAS SOPS 18729 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17206.729
AT ITER 1110 NEW BEST:: SOT 76184 SOS 18635 HAS SOPS 18635 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17204.635
AT ITER 1117 NEW BEST:: SOT 76159 SOS 18617 HAS SOPS 18617 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17179.617
AT ITER 1134 NEW BEST:: SOT 76177 SOS 18616 HAS SOPS 18616 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17178.616
AT ITER 1152 NEW BEST:: SOT 76168 SOS 18598 HAS SOPS 18598 HAS SOUS 17142 HAS SOUPS 17142 WITH SCORE 17160.598
AT ITER 1153 NEW BEST:: SOT 76167 SOS 18560 HAS SOPS 18560 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17140.56
AT ITER 1162 NEW BEST:: SOT 76176 SOS 18538 HAS SOPS 18538 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17138.538
AT ITER 1183 NEW BEST:: SOT 76192 SOS 18536 HAS SOPS 18536 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17136.536
AT ITER 1207 NEW BEST:: SOT 76169 SOS 18506 HAS SOPS 18506 HAS SOUS 17111 HAS SOUPS 17111 WITH SCORE 17129.506
AT ITER 1217 NEW BEST:: SOT 76156 SOS 18462 HAS SOPS 18462 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17111.462
AT ITER 1233 NEW BEST:: SOT 76156 SOS 18454 HAS SOPS 18454 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17111.454
AT ITER 1234 NEW BEST:: SOT 76156 SOS 18442 HAS SOPS 18442 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17105.442
AT ITER 1261 NEW BEST:: SOT 76130 SOS 18441 HAS SOPS 18441 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17104.441
AT ITER 1292 NEW BEST:: SOT 76128 SOS 18439 HAS SOPS 18439 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17100.439
AT ITER 1353 NEW BEST:: SOT 76117 SOS 18406 HAS SOPS 18406 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17078.406
AT ITER 1369 NEW BEST:: SOT 76088 SOS 18365 HAS SOPS 18365 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17049.365
AT ITER 1456 NEW BEST:: SOT 76060 SOS 18351 HAS SOPS 18351 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17035.351
AT ITER 1491 NEW BEST:: SOT 76060 SOS 18351 HAS SOPS 18351 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17030.351
AT ITER 1505 NEW BEST:: SOT 76060 SOS 18324 HAS SOPS 18324 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17003.324
AT ITER 1521 NEW BEST:: SOT 76016 SOS 18302 HAS SOPS 18302 HAS SOUS 16963 HAS SOUPS 16963 WITH SCORE 16981.302
AT ITER 1523 NEW BEST:: SOT 76008 SOS 18250 HAS SOPS 18250 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16968.25
AT ITER 1557 NEW BEST:: SOT 75996 SOS 18244 HAS SOPS 18244 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16962.244
AT ITER 1601 NEW BEST:: SOT 76001 SOS 18254 HAS SOPS 18254 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16948.254
AT ITER 1614 NEW BEST:: SOT 76001 SOS 18243 HAS SOPS 18243 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16937.243
AT ITER 1639 NEW BEST:: SOT 76000 SOS 18240 HAS SOPS 18240 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16935.24
AT ITER 1647 NEW BEST:: SOT 75996 SOS 18228 HAS SOPS 18228 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16927.228
AT ITER 1649 NEW BEST:: SOT 76029 SOS 18257 HAS SOPS 18257 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16923.257
AT ITER 1654 NEW BEST:: SOT 76029 SOS 18253 HAS SOPS 18253 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16919.253
AT ITER 1675 NEW BEST:: SOT 76048 SOS 18265 HAS SOPS 18265 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16911.265
AT ITER 1678 NEW BEST:: SOT 76062 SOS 18261 HAS SOPS 18261 HAS SOUS 16889 HAS SOUPS 16889 WITH SCORE 16907.261
AT ITER 1685 NEW BEST:: SOT 76052 SOS 18259 HAS SOPS 18259 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16905.259
AT ITER 1720 NEW BEST:: SOT 76060 SOS 18256 HAS SOPS 18256 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16902.256
AT ITER 1779 NEW BEST:: SOT 76037 SOS 18210 HAS SOPS 18210 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16842.21
AT ITER 1783 NEW BEST:: SOT 76048 SOS 18200 HAS SOPS 18200 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16842.2
AT ITER 1796 NEW BEST:: SOT 76048 SOS 18143 HAS SOPS 18143 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16842.143
AT ITER 1818 NEW BEST:: SOT 76058 SOS 18152 HAS SOPS 18152 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16818.152
AT ITER 1824 NEW BEST:: SOT 75986 SOS 18231 HAS SOPS 18231 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16808.231
AT ITER 1839 NEW BEST:: SOT 75994 SOS 18223 HAS SOPS 18223 HAS SOUS 16782 HAS SOUPS 16782 WITH SCORE 16800.223
AT ITER 1884 NEW BEST:: SOT 76009 SOS 18270 HAS SOPS 18270 HAS SOUS 16773 HAS SOUPS 16773 WITH SCORE 16791.27
AT ITER 1933 NEW BEST:: SOT 75997 SOS 18259 HAS SOPS 18259 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16783.259
AT ITER 1948 NEW BEST:: SOT 75997 SOS 18256 HAS SOPS 18256 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16780.256
AT ITER 1958 NEW BEST:: SOT 75997 SOS 18249 HAS SOPS 18249 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16773.249
AT ITER 1967 NEW BEST:: SOT 75997 SOS 18221 HAS SOPS 18221 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16764.221
AT ITER 1973 NEW BEST:: SOT 75997 SOS 18170 HAS SOPS 18170 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16685.17
AT ITER 1980 NEW BEST:: SOT 75993 SOS 18162 HAS SOPS 18162 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16677.162
AT ITER 1983 NEW BEST:: SOT 75991 SOS 18158 HAS SOPS 18158 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16669.158
AT ITER 2005 NEW BEST:: SOT 75977 SOS 18130 HAS SOPS 18130 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16641.13
AT ITER 2049 NEW BEST:: SOT 75977 SOS 18142 HAS SOPS 18142 HAS SOUS 16621 HAS SOUPS 16621 WITH SCORE 16639.142
AT ITER 2079 NEW BEST:: SOT 75982 SOS 18147 HAS SOPS 18147 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16635.147
AT ITER 2092 NEW BEST:: SOT 75982 SOS 18138 HAS SOPS 18138 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16626.138
AT ITER 2093 NEW BEST:: SOT 75971 SOS 18136 HAS SOPS 18136 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16615.136
AT ITER 2096 NEW BEST:: SOT 75971 SOS 18083 HAS SOPS 18083 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16615.083
AT ITER 2103 NEW BEST:: SOT 75971 SOS 18077 HAS SOPS 18077 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16609.077
AT ITER 2127 NEW BEST:: SOT 75971 SOS 18074 HAS SOPS 18074 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16606.074
AT ITER 2173 NEW BEST:: SOT 75943 SOS 18012 HAS SOPS 18012 HAS SOUS 16526 HAS SOUPS 16526 WITH SCORE 16544.012
AT ITER 2259 NEW BEST:: SOT 75943 SOS 17880 HAS SOPS 17880 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16480.88
AT ITER 2272 NEW BEST:: SOT 75939 SOS 17876 HAS SOPS 17876 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16476.876
AT ITER 2380 NEW BEST:: SOT 75938 SOS 17873 HAS SOPS 17873 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16474.873
AT ITER 2383 NEW BEST:: SOT 75928 SOS 17863 HAS SOPS 17863 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16464.863
AT ITER 2413 NEW BEST:: SOT 75914 SOS 17842 HAS SOPS 17842 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16443.842
AT ITER 2414 NEW BEST:: SOT 75951 SOS 17838 HAS SOPS 17838 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16425.838
AT ITER 2463 NEW BEST:: SOT 75941 SOS 17823 HAS SOPS 17823 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16410.823
AT ITER 2503 NEW BEST:: SOT 75941 SOS 17818 HAS SOPS 17818 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16405.818
AT ITER 2512 NEW BEST:: SOT 75936 SOS 17768 HAS SOPS 17768 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16375.768
AT ITER 2515 NEW BEST:: SOT 75922 SOS 17760 HAS SOPS 17760 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16367.76
AT ITER 2525 NEW BEST:: SOT 75921 SOS 17757 HAS SOPS 17757 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16364.757
AT ITER 2539 NEW BEST:: SOT 75916 SOS 17752 HAS SOPS 17752 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16359.752
AT ITER 2556 NEW BEST:: SOT 75893 SOS 17729 HAS SOPS 17729 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16359.729
AT ITER 2575 NEW BEST:: SOT 75893 SOS 17720 HAS SOPS 17720 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16350.72
AT ITER 2613 NEW BEST:: SOT 75893 SOS 17717 HAS SOPS 17717 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16347.717
AT ITER 2646 NEW BEST:: SOT 75893 SOS 17712 HAS SOPS 17712 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16342.712
AT ITER 2654 NEW BEST:: SOT 75895 SOS 17708 HAS SOPS 17708 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16338.708
AT ITER 2662 NEW BEST:: SOT 75895 SOS 17707 HAS SOPS 17707 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16337.707
AT ITER 2665 NEW BEST:: SOT 75895 SOS 17694 HAS SOPS 17694 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16324.694
AT ITER 2672 NEW BEST:: SOT 75895 SOS 17694 HAS SOPS 17694 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16296.694
AT ITER 2698 NEW BEST:: SOT 75899 SOS 17605 HAS SOPS 17605 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16281.605
AT ITER 2707 NEW BEST:: SOT 75900 SOS 17569 HAS SOPS 17569 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16263.569
AT ITER 2708 NEW BEST:: SOT 75900 SOS 17564 HAS SOPS 17564 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16258.564
AT ITER 2712 NEW BEST:: SOT 75902 SOS 17563 HAS SOPS 17563 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.563
AT ITER 2732 NEW BEST:: SOT 75900 SOS 17559 HAS SOPS 17559 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16255.559
AT ITER 2745 NEW BEST:: SOT 75900 SOS 17558 HAS SOPS 17558 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16254.558
AT ITER 2769 NEW BEST:: SOT 75873 SOS 17546 HAS SOPS 17546 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16239.546
AT ITER 2790 NEW BEST:: SOT 75873 SOS 17538 HAS SOPS 17538 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16231.538
AT ITER 2804 NEW BEST:: SOT 75873 SOS 17517 HAS SOPS 17517 HAS SOUS 16193 HAS SOUPS 16193 WITH SCORE 16210.517
AT ITER 2805 NEW BEST:: SOT 75807 SOS 17471 HAS SOPS 17471 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16126.471
AT ITER 2843 NEW BEST:: SOT 75807 SOS 17470 HAS SOPS 17470 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16125.47
AT ITER 2858 NEW BEST:: SOT 75792 SOS 17455 HAS SOPS 17455 HAS SOUS 16093 HAS SOUPS 16093 WITH SCORE 16110.455
AT ITER 2870 NEW BEST:: SOT 75846 SOS 17499 HAS SOPS 17499 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16076.499
AT ITER 2882 NEW BEST:: SOT 75810 SOS 17485 HAS SOPS 17485 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16062.485
AT ITER 2940 NEW BEST:: SOT 75810 SOS 17441 HAS SOPS 17441 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16018.441
AT ITER 2976 NEW BEST:: SOT 75809 SOS 17439 HAS SOPS 17439 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16016.439
AT ITER 2987 NEW BEST:: SOT 75779 SOS 17424 HAS SOPS 17424 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 15986.424
AT ITER 2988 NEW BEST:: SOT 75779 SOS 17416 HAS SOPS 17416 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15978.416
AT ITER 3001 NEW BEST:: SOT 75779 SOS 17415 HAS SOPS 17415 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 15977.415
AT ITER 3025 NEW BEST:: SOT 75770 SOS 17379 HAS SOPS 17379 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15950.379
AT ITER 3028 NEW BEST:: SOT 75770 SOS 17379 HAS SOPS 17379 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15941.379
AT ITER 3043 NEW BEST:: SOT 75741 SOS 17309 HAS SOPS 17309 HAS SOUS 15818 HAS SOUPS 15818 WITH SCORE 15835.309
AT ITER 3045 NEW BEST:: SOT 75739 SOS 17309 HAS SOPS 17309 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15833.309
AT ITER 3050 NEW BEST:: SOT 75739 SOS 17309 HAS SOPS 17309 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15797.309
AT ITER 3120 NEW BEST:: SOT 75741 SOS 17308 HAS SOPS 17308 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15796.308
AT ITER 3155 NEW BEST:: SOT 75747 SOS 17309 HAS SOPS 17309 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15756.309
AT ITER 3158 NEW BEST:: SOT 75747 SOS 17303 HAS SOPS 17303 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15753.303
AT ITER 3167 NEW BEST:: SOT 75755 SOS 17188 HAS SOPS 17188 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15729.188
AT ITER 3168 NEW BEST:: SOT 75755 SOS 17188 HAS SOPS 17188 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15727.188
AT ITER 3173 NEW BEST:: SOT 75781 SOS 17215 HAS SOPS 17215 HAS SOUS 15701 HAS SOUPS 15701 WITH SCORE 15718.215
AT ITER 3185 NEW BEST:: SOT 75783 SOS 17207 HAS SOPS 17207 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15710.207
AT ITER 3247 NEW BEST:: SOT 75783 SOS 17206 HAS SOPS 17206 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15709.206
AT ITER 3255 NEW BEST:: SOT 75783 SOS 17186 HAS SOPS 17186 HAS SOUS 15672 HAS SOUPS 15672 WITH SCORE 15689.186
AT ITER 3257 NEW BEST:: SOT 75761 SOS 17119 HAS SOPS 17119 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15645.119
AT ITER 3277 NEW BEST:: SOT 75741 SOS 17090 HAS SOPS 17090 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15632.09
AT ITER 3278 NEW BEST:: SOT 75742 SOS 17090 HAS SOPS 17090 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.09
AT ITER 3377 NEW BEST:: SOT 75751 SOS 17070 HAS SOPS 17070 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15600.07
AT ITER 3385 NEW BEST:: SOT 75751 SOS 17069 HAS SOPS 17069 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15599.069
AT ITER 3403 NEW BEST:: SOT 75768 SOS 17121 HAS SOPS 17121 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15594.121
AT ITER 3442 NEW BEST:: SOT 75785 SOS 17137 HAS SOPS 17137 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15590.137
AT ITER 3454 NEW BEST:: SOT 75795 SOS 17133 HAS SOPS 17133 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15583.133
AT ITER 3463 NEW BEST:: SOT 75764 SOS 17102 HAS SOPS 17102 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15566.102
AT ITER 3513 NEW BEST:: SOT 75779 SOS 17132 HAS SOPS 17132 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15558.132
AT ITER 3524 NEW BEST:: SOT 75784 SOS 17162 HAS SOPS 17162 HAS SOUS 15528 HAS SOUPS 15528 WITH SCORE 15545.162
AT ITER 3548 NEW BEST:: SOT 75763 SOS 17073 HAS SOPS 17073 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15486.073
AT ITER 3558 NEW BEST:: SOT 75753 SOS 17053 HAS SOPS 17053 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15466.053
AT ITER 3576 NEW BEST:: SOT 75751 SOS 17047 HAS SOPS 17047 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15462.047
AT ITER 3588 NEW BEST:: SOT 75715 SOS 17011 HAS SOPS 17011 HAS SOUS 15409 HAS SOUPS 15409 WITH SCORE 15426.011
AT ITER 3590 NEW BEST:: SOT 75713 SOS 16989 HAS SOPS 16989 HAS SOUS 15404 HAS SOUPS 15404 WITH SCORE 15420.989
AT ITER 3603 NEW BEST:: SOT 75713 SOS 16987 HAS SOPS 16987 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15418.987
AT ITER 3624 NEW BEST:: SOT 75695 SOS 16931 HAS SOPS 16931 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15362.931
AT ITER 3643 NEW BEST:: SOT 75695 SOS 16923 HAS SOPS 16923 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15354.923
AT ITER 3693 NEW BEST:: SOT 75711 SOS 16901 HAS SOPS 16901 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15332.901
AT ITER 3726 NEW BEST:: SOT 75711 SOS 16900 HAS SOPS 16900 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15327.9
AT ITER 3746 NEW BEST:: SOT 75679 SOS 16863 HAS SOPS 16863 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15290.863
AT ITER 3764 NEW BEST:: SOT 75679 SOS 16846 HAS SOPS 16846 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15290.846
AT ITER 3812 NEW BEST:: SOT 75660 SOS 16808 HAS SOPS 16808 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15252.808
AT ITER 3818 NEW BEST:: SOT 75660 SOS 16771 HAS SOPS 16771 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15252.771
AT ITER 3821 NEW BEST:: SOT 75654 SOS 16759 HAS SOPS 16759 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15238.759
AT ITER 3822 NEW BEST:: SOT 75648 SOS 16703 HAS SOPS 16703 HAS SOUS 15210 HAS SOUPS 15210 WITH SCORE 15226.703
AT ITER 3837 NEW BEST:: SOT 75643 SOS 16699 HAS SOPS 16699 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15222.699
AT ITER 3854 NEW BEST:: SOT 75606 SOS 16666 HAS SOPS 16666 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15184.666
AT ITER 3873 NEW BEST:: SOT 75605 SOS 16662 HAS SOPS 16662 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15182.662
AT ITER 3874 NEW BEST:: SOT 75605 SOS 16600 HAS SOPS 16600 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15120.6
AT ITER 3880 NEW BEST:: SOT 75605 SOS 16588 HAS SOPS 16588 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15094.588
AT ITER 3910 NEW BEST:: SOT 75594 SOS 16557 HAS SOPS 16557 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15083.557
AT ITER 3922 NEW BEST:: SOT 75592 SOS 16553 HAS SOPS 16553 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15079.553
AT ITER 3923 NEW BEST:: SOT 75592 SOS 16551 HAS SOPS 16551 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15077.551
AT ITER 3928 NEW BEST:: SOT 75585 SOS 16537 HAS SOPS 16537 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15063.537
AT ITER 3950 NEW BEST:: SOT 75586 SOS 16530 HAS SOPS 16530 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15056.53
AT ITER 3961 NEW BEST:: SOT 75567 SOS 16509 HAS SOPS 16509 HAS SOUS 15037 HAS SOUPS 15037 WITH SCORE 15053.509
AT ITER 3989 NEW BEST:: SOT 75569 SOS 16499 HAS SOPS 16499 HAS SOUS 15027 HAS SOUPS 15027 WITH SCORE 15043.499
AT ITER 4011 NEW BEST:: SOT 75584 SOS 16507 HAS SOPS 16507 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15042.507
AT ITER 4075 NEW BEST:: SOT 75584 SOS 16504 HAS SOPS 16504 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15039.504
AT ITER 4094 NEW BEST:: SOT 75570 SOS 16486 HAS SOPS 16486 HAS SOUS 15003 HAS SOUPS 15003 WITH SCORE 15019.486
AT ITER 4120 NEW BEST:: SOT 75588 SOS 16494 HAS SOPS 16494 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15010.494
AT ITER 4129 NEW BEST:: SOT 75621 SOS 16521 HAS SOPS 16521 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 14996.521
AT ITER 4164 NEW BEST:: SOT 75620 SOS 16520 HAS SOPS 16520 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 14995.52
AT ITER 4171 NEW BEST:: SOT 75620 SOS 16516 HAS SOPS 16516 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14991.516
AT ITER 4238 NEW BEST:: SOT 75618 SOS 16511 HAS SOPS 16511 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14987.511
AT ITER 4273 NEW BEST:: SOT 75625 SOS 16515 HAS SOPS 16515 HAS SOUS 14970 HAS SOUPS 14970 WITH SCORE 14986.515
AT ITER 4300 NEW BEST:: SOT 75595 SOS 16426 HAS SOPS 16426 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14939.426
AT ITER 4377 NEW BEST:: SOT 75595 SOS 16419 HAS SOPS 16419 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14932.419
AT ITER 4391 NEW BEST:: SOT 75595 SOS 16400 HAS SOPS 16400 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14913.4
AT ITER 4419 NEW BEST:: SOT 75594 SOS 16399 HAS SOPS 16399 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14912.399
AT ITER 4482 NEW BEST:: SOT 75597 SOS 16431 HAS SOPS 16431 HAS SOUS 14886 HAS SOUPS 14886 WITH SCORE 14902.431
AT ITER 4503 NEW BEST:: SOT 75586 SOS 16423 HAS SOPS 16423 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14894.423
AT ITER 4516 NEW BEST:: SOT 75571 SOS 16378 HAS SOPS 16378 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14864.378
AT ITER 4541 NEW BEST:: SOT 75566 SOS 16371 HAS SOPS 16371 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14857.371
AT ITER 4542 NEW BEST:: SOT 75557 SOS 16362 HAS SOPS 16362 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.362
AT ITER 4576 NEW BEST:: SOT 75570 SOS 16305 HAS SOPS 16305 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.305
AT ITER 4585 NEW BEST:: SOT 75567 SOS 16305 HAS SOPS 16305 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14845.305
AT ITER 4597 NEW BEST:: SOT 75666 SOS 16363 HAS SOPS 16363 HAS SOUS 14818 HAS SOUPS 14818 WITH SCORE 14834.363
AT ITER 4607 NEW BEST:: SOT 75652 SOS 16335 HAS SOPS 16335 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14806.335
AT ITER 4613 NEW BEST:: SOT 75652 SOS 16331 HAS SOPS 16331 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14802.331
AT ITER 4678 NEW BEST:: SOT 75649 SOS 16308 HAS SOPS 16308 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14799.308
AT ITER 4704 NEW BEST:: SOT 75642 SOS 16300 HAS SOPS 16300 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14791.3
AT ITER 4715 NEW BEST:: SOT 75644 SOS 16290 HAS SOPS 16290 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14787.29
AT ITER 4750 NEW BEST:: SOT 75644 SOS 16290 HAS SOPS 16290 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14781.29
AT ITER 4787 NEW BEST:: SOT 75636 SOS 16274 HAS SOPS 16274 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14765.274
AT ITER 4816 NEW BEST:: SOT 75623 SOS 16265 HAS SOPS 16265 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.265
AT ITER 4828 NEW BEST:: SOT 75608 SOS 16250 HAS SOPS 16250 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14738.25
AT ITER 4892 NEW BEST:: SOT 75593 SOS 16203 HAS SOPS 16203 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14721.203
AT ITER 4899 NEW BEST:: SOT 75604 SOS 16200 HAS SOPS 16200 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14718.2
AT ITER 4902 NEW BEST:: SOT 75593 SOS 16189 HAS SOPS 16189 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14718.189
AT ITER 4908 NEW BEST:: SOT 75610 SOS 16187 HAS SOPS 16187 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14716.187
AT ITER 4916 NEW BEST:: SOT 75610 SOS 16176 HAS SOPS 16176 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14704.176
AT ITER 4923 NEW BEST:: SOT 75610 SOS 16155 HAS SOPS 16155 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14683.155
AT ITER 5000 NEW BEST:: SOT 75619 SOS 16145 HAS SOPS 16145 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14673.145
AT ITER 5037 NEW BEST:: SOT 75619 SOS 16138 HAS SOPS 16138 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14666.138
AT ITER 5078 NEW BEST:: SOT 75620 SOS 16100 HAS SOPS 16100 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14639.1
AT ITER 5154 NEW BEST:: SOT 75612 SOS 16092 HAS SOPS 16092 HAS SOUS 14615 HAS SOUPS 14615 WITH SCORE 14631.092
AT ITER 5167 NEW BEST:: SOT 75517 SOS 16060 HAS SOPS 16060 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14599.06
AT ITER 5209 NEW BEST:: SOT 75499 SOS 16026 HAS SOPS 16026 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14565.026
AT ITER 5313 NEW BEST:: SOT 75485 SOS 16012 HAS SOPS 16012 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14551.012
AT ITER 5329 NEW BEST:: SOT 75485 SOS 16009 HAS SOPS 16009 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14551.009
AT ITER 5330 NEW BEST:: SOT 75485 SOS 16005 HAS SOPS 16005 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14547.005
AT ITER 5342 NEW BEST:: SOT 75483 SOS 16003 HAS SOPS 16003 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14545.003
AT ITER 5351 NEW BEST:: SOT 75548 SOS 16133 HAS SOPS 16133 HAS SOUS 14524 HAS SOUPS 14524 WITH SCORE 14540.133
AT ITER 5401 NEW BEST:: SOT 75548 SOS 16119 HAS SOPS 16119 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14526.119
AT ITER 5404 NEW BEST:: SOT 75548 SOS 16117 HAS SOPS 16117 HAS SOUS 14508 HAS SOUPS 14508 WITH SCORE 14524.117
AT ITER 5410 NEW BEST:: SOT 75548 SOS 16116 HAS SOPS 16116 HAS SOUS 14507 HAS SOUPS 14507 WITH SCORE 14523.116
AT ITER 5417 NEW BEST:: SOT 75546 SOS 16112 HAS SOPS 16112 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14519.112
AT ITER 5448 NEW BEST:: SOT 75550 SOS 16071 HAS SOPS 16071 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14513.071
AT ITER 5455 NEW BEST:: SOT 75538 SOS 16059 HAS SOPS 16059 HAS SOUS 14485 HAS SOUPS 14485 WITH SCORE 14501.059
AT ITER 5516 NEW BEST:: SOT 75538 SOS 16055 HAS SOPS 16055 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14497.055
AT ITER 5536 NEW BEST:: SOT 75540 SOS 16040 HAS SOPS 16040 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14469.04
AT ITER 5591 NEW BEST:: SOT 75553 SOS 16025 HAS SOPS 16025 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14454.025
AT ITER 5596 NEW BEST:: SOT 75553 SOS 16023 HAS SOPS 16023 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14452.023
AT ITER 5612 NEW BEST:: SOT 75544 SOS 15996 HAS SOPS 15996 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14451.996
AT ITER 5668 NEW BEST:: SOT 75544 SOS 15989 HAS SOPS 15989 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14444.989
AT ITER 5669 NEW BEST:: SOT 75544 SOS 15985 HAS SOPS 15985 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14441.985
AT ITER 5717 NEW BEST:: SOT 75543 SOS 15983 HAS SOPS 15983 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14439.983
AT ITER 5786 NEW BEST:: SOT 75542 SOS 15981 HAS SOPS 15981 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14414.981
AT ITER 5790 NEW BEST:: SOT 75535 SOS 15974 HAS SOPS 15974 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14407.974
AT ITER 5852 NEW BEST:: SOT 75536 SOS 15958 HAS SOPS 15958 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14391.958
AT ITER 5854 NEW BEST:: SOT 75521 SOS 15913 HAS SOPS 15913 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14361.913
AT ITER 5900 NEW BEST:: SOT 75527 SOS 15909 HAS SOPS 15909 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14357.909
AT ITER 5920 NEW BEST:: SOT 75522 SOS 15904 HAS SOPS 15904 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14352.904
AT ITER 5947 NEW BEST:: SOT 75522 SOS 15894 HAS SOPS 15894 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14352.894
AT ITER 5952 NEW BEST:: SOT 75522 SOS 15858 HAS SOPS 15858 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14343.858
AT ITER 5981 NEW BEST:: SOT 75522 SOS 15855 HAS SOPS 15855 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14343.855
AT ITER 6079 NEW BEST:: SOT 75522 SOS 15855 HAS SOPS 15855 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14338.855
AT ITER 6138 NEW BEST:: SOT 75522 SOS 15866 HAS SOPS 15866 HAS SOUS 14321 HAS SOUPS 14321 WITH SCORE 14336.866
AT ITER 6297 NEW BEST:: SOT 75547 SOS 15891 HAS SOPS 15891 HAS SOUS 14284 HAS SOUPS 14284 WITH SCORE 14299.891
AT ITER 6299 NEW BEST:: SOT 75547 SOS 15889 HAS SOPS 15889 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14297.889
AT ITER 6326 NEW BEST:: SOT 75538 SOS 15871 HAS SOPS 15871 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14288.871
AT ITER 6411 NEW BEST:: SOT 75544 SOS 15883 HAS SOPS 15883 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14285.883
AT ITER 6418 NEW BEST:: SOT 75541 SOS 15880 HAS SOPS 15880 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14282.88
AT ITER 6425 NEW BEST:: SOT 75540 SOS 15865 HAS SOPS 15865 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14267.865
AT ITER 6429 NEW BEST:: SOT 75538 SOS 15852 HAS SOPS 15852 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14263.852
AT ITER 6476 NEW BEST:: SOT 75532 SOS 15835 HAS SOPS 15835 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14254.835
AT ITER 6524 NEW BEST:: SOT 75539 SOS 15828 HAS SOPS 15828 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14254.828
AT ITER 6538 NEW BEST:: SOT 75536 SOS 15835 HAS SOPS 15835 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14251.835
AT ITER 6592 NEW BEST:: SOT 75532 SOS 15831 HAS SOPS 15831 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14247.831
AT ITER 6600 NEW BEST:: SOT 75548 SOS 15836 HAS SOPS 15836 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14244.836
AT ITER 6601 NEW BEST:: SOT 75533 SOS 15806 HAS SOPS 15806 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14214.806
AT ITER 6608 NEW BEST:: SOT 75549 SOS 15814 HAS SOPS 15814 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14206.814
AT ITER 6614 NEW BEST:: SOT 75518 SOS 15690 HAS SOPS 15690 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14150.69
AT ITER 6629 NEW BEST:: SOT 75518 SOS 15677 HAS SOPS 15677 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14137.677
AT ITER 6653 NEW BEST:: SOT 75518 SOS 15676 HAS SOPS 15676 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14137.676
AT ITER 6654 NEW BEST:: SOT 75498 SOS 15594 HAS SOPS 15594 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14097.594
AT ITER 6691 NEW BEST:: SOT 75561 SOS 15592 HAS SOPS 15592 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14095.592
AT ITER 6693 NEW BEST:: SOT 75536 SOS 15560 HAS SOPS 15560 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14052.56
AT ITER 6703 NEW BEST:: SOT 75536 SOS 15536 HAS SOPS 15536 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14038.536
AT ITER 6733 NEW BEST:: SOT 75536 SOS 15517 HAS SOPS 15517 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14019.517
AT ITER 6785 NEW BEST:: SOT 75536 SOS 15512 HAS SOPS 15512 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14014.512
AT ITER 6811 NEW BEST:: SOT 75536 SOS 15491 HAS SOPS 15491 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13993.491
AT ITER 6828 NEW BEST:: SOT 75536 SOS 15490 HAS SOPS 15490 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 13992.49
AT ITER 6854 NEW BEST:: SOT 75512 SOS 15474 HAS SOPS 15474 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13980.474
AT ITER 6868 NEW BEST:: SOT 75512 SOS 15485 HAS SOPS 15485 HAS SOUS 13964 HAS SOUPS 13964 WITH SCORE 13979.485
AT ITER 6889 NEW BEST:: SOT 75544 SOS 15516 HAS SOPS 15516 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.516
AT ITER 6897 NEW BEST:: SOT 75542 SOS 15513 HAS SOPS 15513 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13972.513
AT ITER 6914 NEW BEST:: SOT 75531 SOS 15491 HAS SOPS 15491 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.491
AT ITER 6923 NEW BEST:: SOT 75538 SOS 15478 HAS SOPS 15478 HAS SOUS 13922 HAS SOUPS 13922 WITH SCORE 13937.478
AT ITER 6925 NEW BEST:: SOT 75530 SOS 15462 HAS SOPS 15462 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13921.462
AT ITER 6978 NEW BEST:: SOT 75530 SOS 15461 HAS SOPS 15461 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13920.461
AT ITER 6998 NEW BEST:: SOT 75530 SOS 15460 HAS SOPS 15460 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13919.46
AT ITER 7023 NEW BEST:: SOT 75521 SOS 15447 HAS SOPS 15447 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13906.447
AT ITER 7067 NEW BEST:: SOT 75497 SOS 15364 HAS SOPS 15364 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13858.364
AT ITER 7098 NEW BEST:: SOT 75479 SOS 15345 HAS SOPS 15345 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13840.345
AT ITER 7177 NEW BEST:: SOT 75479 SOS 15343 HAS SOPS 15343 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.343
AT ITER 7231 NEW BEST:: SOT 75479 SOS 15298 HAS SOPS 15298 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.298
AT ITER 7257 NEW BEST:: SOT 75483 SOS 15262 HAS SOPS 15262 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13816.262
AT ITER 7288 NEW BEST:: SOT 75481 SOS 15279 HAS SOPS 15279 HAS SOUS 13800 HAS SOUPS 13800 WITH SCORE 13815.279
AT ITER 7306 NEW BEST:: SOT 75479 SOS 15275 HAS SOPS 15275 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.275
AT ITER 7389 NEW BEST:: SOT 75479 SOS 15271 HAS SOPS 15271 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13807.271
AT ITER 7397 NEW BEST:: SOT 75479 SOS 15252 HAS SOPS 15252 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13807.252
AT ITER 7445 NEW BEST:: SOT 75478 SOS 15242 HAS SOPS 15242 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13797.242
AT ITER 7507 NEW BEST:: SOT 75476 SOS 15241 HAS SOPS 15241 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13795.241
AT ITER 7510 NEW BEST:: SOT 75480 SOS 15227 HAS SOPS 15227 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13786.227
AT ITER 7527 NEW BEST:: SOT 75479 SOS 15227 HAS SOPS 15227 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13785.227
AT ITER 7618 NEW BEST:: SOT 75479 SOS 15201 HAS SOPS 15201 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13785.201
AT ITER 7651 NEW BEST:: SOT 75457 SOS 15179 HAS SOPS 15179 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13763.179
AT ITER 7706 NEW BEST:: SOT 75432 SOS 15101 HAS SOPS 15101 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13685.101
AT ITER 7758 NEW BEST:: SOT 75435 SOS 15097 HAS SOPS 15097 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.097
AT ITER 7796 NEW BEST:: SOT 75435 SOS 15063 HAS SOPS 15063 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13676.063
AT ITER 7815 NEW BEST:: SOT 75435 SOS 15062 HAS SOPS 15062 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13675.062
AT ITER 7839 NEW BEST:: SOT 75434 SOS 15052 HAS SOPS 15052 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13674.052
AT ITER 7850 NEW BEST:: SOT 75434 SOS 15050 HAS SOPS 15050 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13672.05
AT ITER 7919 NEW BEST:: SOT 75440 SOS 14994 HAS SOPS 14994 HAS SOUS 13646 HAS SOUPS 13646 WITH SCORE 13660.994
AT ITER 7972 NEW BEST:: SOT 75438 SOS 14988 HAS SOPS 14988 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13656.988
AT ITER 7983 NEW BEST:: SOT 75425 SOS 14988 HAS SOPS 14988 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13643.988
AT ITER 8040 NEW BEST:: SOT 75473 SOS 15097 HAS SOPS 15097 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13640.097
AT ITER 8051 NEW BEST:: SOT 75462 SOS 15075 HAS SOPS 15075 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13629.075
AT ITER 8061 NEW BEST:: SOT 75458 SOS 15067 HAS SOPS 15067 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13624.067
AT ITER 8129 NEW BEST:: SOT 75458 SOS 15061 HAS SOPS 15061 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13618.061
AT ITER 8210 NEW BEST:: SOT 75445 SOS 15048 HAS SOPS 15048 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13605.048
AT ITER 8212 NEW BEST:: SOT 75462 SOS 15028 HAS SOPS 15028 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13587.028
AT ITER 8239 NEW BEST:: SOT 75462 SOS 15024 HAS SOPS 15024 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13583.024
AT ITER 8257 NEW BEST:: SOT 75465 SOS 15022 HAS SOPS 15022 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13581.022
AT ITER 8305 NEW BEST:: SOT 75455 SOS 15012 HAS SOPS 15012 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13571.012
AT ITER 8346 NEW BEST:: SOT 75453 SOS 14960 HAS SOPS 14960 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.96
AT ITER 8369 NEW BEST:: SOT 75456 SOS 14966 HAS SOPS 14966 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13531.966
AT ITER 8383 NEW BEST:: SOT 75458 SOS 14954 HAS SOPS 14954 HAS SOUS 13505 HAS SOUPS 13505 WITH SCORE 13519.954
AT ITER 8416 NEW BEST:: SOT 75440 SOS 14929 HAS SOPS 14929 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13499.929
AT ITER 8432 NEW BEST:: SOT 75428 SOS 14905 HAS SOPS 14905 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13481.905
AT ITER 8502 NEW BEST:: SOT 75429 SOS 14901 HAS SOPS 14901 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13477.901
AT ITER 8518 NEW BEST:: SOT 75423 SOS 14891 HAS SOPS 14891 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13471.891
AT ITER 8519 NEW BEST:: SOT 75397 SOS 14871 HAS SOPS 14871 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13460.871
AT ITER 8605 NEW BEST:: SOT 75394 SOS 14868 HAS SOPS 14868 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13460.868
AT ITER 8629 NEW BEST:: SOT 75418 SOS 14862 HAS SOPS 14862 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13458.862
AT ITER 8630 NEW BEST:: SOT 75417 SOS 14857 HAS SOPS 14857 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.857
AT ITER 8648 NEW BEST:: SOT 75408 SOS 14854 HAS SOPS 14854 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.854
AT ITER 8687 NEW BEST:: SOT 75361 SOS 14792 HAS SOPS 14792 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13418.792
AT ITER 8714 NEW BEST:: SOT 75353 SOS 14752 HAS SOPS 14752 HAS SOUS 13388 HAS SOUPS 13388 WITH SCORE 13402.752
AT ITER 8716 NEW BEST:: SOT 75335 SOS 14734 HAS SOPS 14734 HAS SOUS 13377 HAS SOUPS 13377 WITH SCORE 13391.734
AT ITER 8825 NEW BEST:: SOT 75335 SOS 14734 HAS SOPS 14734 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13375.734
AT ITER 8854 NEW BEST:: SOT 75310 SOS 14709 HAS SOPS 14709 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13375.709
AT ITER 8892 NEW BEST:: SOT 75285 SOS 14703 HAS SOPS 14703 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13364.703
AT ITER 8944 NEW BEST:: SOT 75299 SOS 14701 HAS SOPS 14701 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13362.701
AT ITER 8946 NEW BEST:: SOT 75286 SOS 14699 HAS SOPS 14699 HAS SOUS 13343 HAS SOUPS 13343 WITH SCORE 13357.699
AT ITER 9015 NEW BEST:: SOT 75246 SOS 14651 HAS SOPS 14651 HAS SOUS 13295 HAS SOUPS 13295 WITH SCORE 13309.651
AT ITER 9042 NEW BEST:: SOT 75246 SOS 14607 HAS SOPS 14607 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13308.607
AT ITER 9049 NEW BEST:: SOT 75240 SOS 14585 HAS SOPS 14585 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13286.585
AT ITER 9199 NEW BEST:: SOT 75240 SOS 14580 HAS SOPS 14580 HAS SOUS 13267 HAS SOUPS 13267 WITH SCORE 13281.58
AT ITER 9201 NEW BEST:: SOT 75248 SOS 14490 HAS SOPS 14490 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13259.49
AT ITER 9211 NEW BEST:: SOT 75239 SOS 14477 HAS SOPS 14477 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13259.477
AT ITER 9216 NEW BEST:: SOT 75239 SOS 14437 HAS SOPS 14437 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13219.437
AT ITER 9229 NEW BEST:: SOT 75207 SOS 14389 HAS SOPS 14389 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13207.389
AT ITER 9241 NEW BEST:: SOT 75199 SOS 14381 HAS SOPS 14381 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13199.381
AT ITER 9248 NEW BEST:: SOT 75199 SOS 14370 HAS SOPS 14370 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13188.37
AT ITER 9255 NEW BEST:: SOT 75196 SOS 14364 HAS SOPS 14364 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13185.364
AT ITER 9277 NEW BEST:: SOT 75196 SOS 14348 HAS SOPS 14348 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13185.348
AT ITER 9289 NEW BEST:: SOT 75183 SOS 14373 HAS SOPS 14373 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13183.373
AT ITER 9304 NEW BEST:: SOT 75183 SOS 14362 HAS SOPS 14362 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13172.362
AT ITER 9318 NEW BEST:: SOT 75182 SOS 14360 HAS SOPS 14360 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13170.36
AT ITER 9334 NEW BEST:: SOT 75182 SOS 14323 HAS SOPS 14323 HAS SOUS 13152 HAS SOUPS 13152 WITH SCORE 13166.323
AT ITER 9350 NEW BEST:: SOT 75182 SOS 14307 HAS SOPS 14307 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.307
AT ITER 9407 NEW BEST:: SOT 75176 SOS 14295 HAS SOPS 14295 HAS SOUS 13124 HAS SOUPS 13124 WITH SCORE 13138.295
AT ITER 9427 NEW BEST:: SOT 75170 SOS 14282 HAS SOPS 14282 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13132.282
AT ITER 9444 NEW BEST:: SOT 75167 SOS 14282 HAS SOPS 14282 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13129.282
AT ITER 9456 NEW BEST:: SOT 75167 SOS 14281 HAS SOPS 14281 HAS SOUS 13113 HAS SOUPS 13113 WITH SCORE 13127.281
AT ITER 9489 NEW BEST:: SOT 75168 SOS 14271 HAS SOPS 14271 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13117.271
AT ITER 9520 NEW BEST:: SOT 75162 SOS 14259 HAS SOPS 14259 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13102.259
AT ITER 9621 NEW BEST:: SOT 75157 SOS 14249 HAS SOPS 14249 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13097.249
AT ITER 9669 NEW BEST:: SOT 75150 SOS 14168 HAS SOPS 14168 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13030.168
AT ITER 9687 NEW BEST:: SOT 75148 SOS 14164 HAS SOPS 14164 HAS SOUS 13014 HAS SOUPS 13014 WITH SCORE 13028.164
AT ITER 9696 NEW BEST:: SOT 75138 SOS 14154 HAS SOPS 14154 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.154
AT ITER 9722 NEW BEST:: SOT 75135 SOS 14164 HAS SOPS 14164 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13020.164
AT ITER 9736 NEW BEST:: SOT 75135 SOS 14162 HAS SOPS 14162 HAS SOUS 13004 HAS SOUPS 13004 WITH SCORE 13018.162
AT ITER 9747 NEW BEST:: SOT 75132 SOS 14156 HAS SOPS 14156 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13012.156
AT ITER 9755 NEW BEST:: SOT 75132 SOS 14152 HAS SOPS 14152 HAS SOUS 12994 HAS SOUPS 12994 WITH SCORE 13008.152
AT ITER 9810 NEW BEST:: SOT 75112 SOS 14125 HAS SOPS 14125 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13003.125
AT ITER 9912 NEW BEST:: SOT 75110 SOS 14121 HAS SOPS 14121 HAS SOUS 12985 HAS SOUPS 12985 WITH SCORE 12999.121
AT ITER 9927 NEW BEST:: SOT 75107 SOS 14115 HAS SOPS 14115 HAS SOUS 12979 HAS SOUPS 12979 WITH SCORE 12993.115
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 9937960 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16119952 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="ShieldPPPt-PT-005B"
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 ShieldPPPt-PT-005B, 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 r395-oct2-167903719000608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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