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.r003-oct2-167813591200672.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 smart
Input is AutonomousCar-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591200672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 865K Mar 5 18:22 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 1678476449834

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

Filename model.pnml
Petri model created: 391 places, 1554 transitions, 16243 arcs.
AT ITER 0 NEW BEST:: SOT 474892 SOS 151390 HAS SOPS 151390 HAS SOUS 88236 HAS SOUPS 88236 WITH SCORE 88387.39
AT ITER 12 NEW BEST:: SOT 474862 SOS 156470 HAS SOPS 156470 HAS SOUS 88206 HAS SOUPS 88206 WITH SCORE 88362.47
AT ITER 35 NEW BEST:: SOT 474843 SOS 156451 HAS SOPS 156451 HAS SOUS 88168 HAS SOUPS 88168 WITH SCORE 88324.451
AT ITER 39 NEW BEST:: SOT 474840 SOS 156445 HAS SOPS 156445 HAS SOUS 88162 HAS SOUPS 88162 WITH SCORE 88318.445
AT ITER 40 NEW BEST:: SOT 474844 SOS 156453 HAS SOPS 156453 HAS SOUS 88151 HAS SOUPS 88151 WITH SCORE 88307.453
AT ITER 47 NEW BEST:: SOT 474911 SOS 156429 HAS SOPS 156429 HAS SOUS 86405 HAS SOUPS 86405 WITH SCORE 86561.429
AT ITER 52 NEW BEST:: SOT 474871 SOS 156337 HAS SOPS 156337 HAS SOUS 86384 HAS SOUPS 86384 WITH SCORE 86540.337
AT ITER 55 NEW BEST:: SOT 474866 SOS 156327 HAS SOPS 156327 HAS SOUS 86374 HAS SOUPS 86374 WITH SCORE 86530.327
AT ITER 59 NEW BEST:: SOT 474792 SOS 156277 HAS SOPS 156277 HAS SOUS 86349 HAS SOUPS 86349 WITH SCORE 86505.277
AT ITER 72 NEW BEST:: SOT 474787 SOS 156267 HAS SOPS 156267 HAS SOUS 86339 HAS SOUPS 86339 WITH SCORE 86495.267
AT ITER 78 NEW BEST:: SOT 474334 SOS 155797 HAS SOPS 155797 HAS SOUS 86243 HAS SOUPS 86243 WITH SCORE 86398.797
AT ITER 82 NEW BEST:: SOT 474357 SOS 155825 HAS SOPS 155825 HAS SOUS 84869 HAS SOUPS 84869 WITH SCORE 85024.825
AT ITER 89 NEW BEST:: SOT 474358 SOS 155803 HAS SOPS 155803 HAS SOUS 84847 HAS SOUPS 84847 WITH SCORE 85002.803
AT ITER 94 NEW BEST:: SOT 474358 SOS 155800 HAS SOPS 155800 HAS SOUS 84847 HAS SOUPS 84847 WITH SCORE 85002.8
AT ITER 95 NEW BEST:: SOT 474307 SOS 155715 HAS SOPS 155715 HAS SOUS 84796 HAS SOUPS 84796 WITH SCORE 84951.715
AT ITER 100 NEW BEST:: SOT 474305 SOS 155711 HAS SOPS 155711 HAS SOUS 84795 HAS SOUPS 84795 WITH SCORE 84950.711
AT ITER 126 NEW BEST:: SOT 474269 SOS 155771 HAS SOPS 155771 HAS SOUS 84756 HAS SOUPS 84756 WITH SCORE 84911.771
AT ITER 131 NEW BEST:: SOT 474260 SOS 155753 HAS SOPS 155753 HAS SOUS 84738 HAS SOUPS 84738 WITH SCORE 84893.753
AT ITER 135 NEW BEST:: SOT 474260 SOS 155753 HAS SOPS 155753 HAS SOUS 84734 HAS SOUPS 84734 WITH SCORE 84889.753
AT ITER 138 NEW BEST:: SOT 474283 SOS 155828 HAS SOPS 155828 HAS SOUS 84656 HAS SOUPS 84656 WITH SCORE 84811.828
AT ITER 145 NEW BEST:: SOT 472899 SOS 154537 HAS SOPS 154537 HAS SOUS 83319 HAS SOUPS 83319 WITH SCORE 83473.537
AT ITER 146 NEW BEST:: SOT 472861 SOS 154499 HAS SOPS 154499 HAS SOUS 83297 HAS SOUPS 83297 WITH SCORE 83451.499
AT ITER 149 NEW BEST:: SOT 472852 SOS 154439 HAS SOPS 154439 HAS SOUS 83269 HAS SOUPS 83269 WITH SCORE 83423.439
AT ITER 158 NEW BEST:: SOT 472852 SOS 153215 HAS SOPS 153215 HAS SOUS 83252 HAS SOUPS 83252 WITH SCORE 83405.215
AT ITER 170 NEW BEST:: SOT 472927 SOS 153671 HAS SOPS 153671 HAS SOUS 81604 HAS SOUPS 81604 WITH SCORE 81757.671
AT ITER 180 NEW BEST:: SOT 472894 SOS 153617 HAS SOPS 153617 HAS SOUS 78502 HAS SOUPS 78502 WITH SCORE 78655.617
AT ITER 193 NEW BEST:: SOT 472876 SOS 153581 HAS SOPS 153581 HAS SOUS 78493 HAS SOUPS 78493 WITH SCORE 78646.581
AT ITER 194 NEW BEST:: SOT 472896 SOS 153621 HAS SOPS 153621 HAS SOUS 78470 HAS SOUPS 78470 WITH SCORE 78623.621
AT ITER 230 NEW BEST:: SOT 472880 SOS 153605 HAS SOPS 153605 HAS SOUS 78436 HAS SOUPS 78436 WITH SCORE 78589.605
AT ITER 242 NEW BEST:: SOT 472880 SOS 153594 HAS SOPS 153594 HAS SOUS 78436 HAS SOUPS 78436 WITH SCORE 78589.594
AT ITER 252 NEW BEST:: SOT 472851 SOS 153618 HAS SOPS 153618 HAS SOUS 78429 HAS SOUPS 78429 WITH SCORE 78582.618
AT ITER 272 NEW BEST:: SOT 472851 SOS 153618 HAS SOPS 153618 HAS SOUS 78388 HAS SOUPS 78388 WITH SCORE 78541.618
AT ITER 285 NEW BEST:: SOT 472911 SOS 153528 HAS SOPS 153528 HAS SOUS 78216 HAS SOUPS 78216 WITH SCORE 78369.528
AT ITER 316 NEW BEST:: SOT 472910 SOS 153526 HAS SOPS 153526 HAS SOUS 78214 HAS SOUPS 78214 WITH SCORE 78367.526
AT ITER 317 NEW BEST:: SOT 472868 SOS 151965 HAS SOPS 151965 HAS SOUS 78149 HAS SOUPS 78149 WITH SCORE 78300.965
AT ITER 319 NEW BEST:: SOT 472777 SOS 150525 HAS SOPS 150525 HAS SOUS 78069 HAS SOUPS 78069 WITH SCORE 78219.525
AT ITER 323 NEW BEST:: SOT 472653 SOS 150359 HAS SOPS 150359 HAS SOUS 77902 HAS SOUPS 77902 WITH SCORE 78052.359
AT ITER 333 NEW BEST:: SOT 472425 SOS 150131 HAS SOPS 150131 HAS SOUS 77601 HAS SOUPS 77601 WITH SCORE 77751.131
AT ITER 356 NEW BEST:: SOT 472411 SOS 150089 HAS SOPS 150089 HAS SOUS 77587 HAS SOUPS 77587 WITH SCORE 77737.089
AT ITER 366 NEW BEST:: SOT 472372 SOS 150024 HAS SOPS 150024 HAS SOUS 77561 HAS SOUPS 77561 WITH SCORE 77711.024
AT ITER 374 NEW BEST:: SOT 472354 SOS 150006 HAS SOPS 150006 HAS SOUS 77525 HAS SOUPS 77525 WITH SCORE 77675.006
AT ITER 379 NEW BEST:: SOT 471145 SOS 149627 HAS SOPS 149627 HAS SOUS 76929 HAS SOUPS 76929 WITH SCORE 77078.627
AT ITER 384 NEW BEST:: SOT 471145 SOS 149627 HAS SOPS 149627 HAS SOUS 76902 HAS SOUPS 76902 WITH SCORE 77051.627
AT ITER 404 NEW BEST:: SOT 471140 SOS 149622 HAS SOPS 149622 HAS SOUS 76897 HAS SOUPS 76897 WITH SCORE 77046.622
AT ITER 425 NEW BEST:: SOT 471136 SOS 149614 HAS SOPS 149614 HAS SOUS 76893 HAS SOUPS 76893 WITH SCORE 77042.614
AT ITER 433 NEW BEST:: SOT 471087 SOS 149748 HAS SOPS 149748 HAS SOUS 76881 HAS SOUPS 76881 WITH SCORE 77030.748
AT ITER 453 NEW BEST:: SOT 471087 SOS 149727 HAS SOPS 149727 HAS SOUS 76881 HAS SOUPS 76881 WITH SCORE 77030.727
AT ITER 457 NEW BEST:: SOT 471066 SOS 149685 HAS SOPS 149685 HAS SOUS 76839 HAS SOUPS 76839 WITH SCORE 76988.685
AT ITER 459 NEW BEST:: SOT 471054 SOS 149661 HAS SOPS 149661 HAS SOUS 76806 HAS SOUPS 76806 WITH SCORE 76955.661
AT ITER 468 NEW BEST:: SOT 471042 SOS 149661 HAS SOPS 149661 HAS SOUS 76794 HAS SOUPS 76794 WITH SCORE 76943.661
AT ITER 473 NEW BEST:: SOT 470958 SOS 148769 HAS SOPS 148769 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76597.769
AT ITER 484 NEW BEST:: SOT 470964 SOS 148763 HAS SOPS 148763 HAS SOUS 76443 HAS SOUPS 76443 WITH SCORE 76591.763
AT ITER 501 NEW BEST:: SOT 471020 SOS 148760 HAS SOPS 148760 HAS SOUS 76440 HAS SOUPS 76440 WITH SCORE 76588.76
AT ITER 522 NEW BEST:: SOT 471019 SOS 148758 HAS SOPS 148758 HAS SOUS 76438 HAS SOUPS 76438 WITH SCORE 76586.758
AT ITER 530 NEW BEST:: SOT 471018 SOS 148757 HAS SOPS 148757 HAS SOUS 76437 HAS SOUPS 76437 WITH SCORE 76585.757
AT ITER 533 NEW BEST:: SOT 471071 SOS 148815 HAS SOPS 148815 HAS SOUS 76399 HAS SOUPS 76399 WITH SCORE 76547.815
AT ITER 541 NEW BEST:: SOT 470729 SOS 148473 HAS SOPS 148473 HAS SOUS 75639 HAS SOUPS 75639 WITH SCORE 75787.473
AT ITER 545 NEW BEST:: SOT 470595 SOS 151801 HAS SOPS 151801 HAS SOUS 75582 HAS SOUPS 75582 WITH SCORE 75733.801
AT ITER 547 NEW BEST:: SOT 470581 SOS 151773 HAS SOPS 151773 HAS SOUS 75575 HAS SOUPS 75575 WITH SCORE 75726.773
AT ITER 603 NEW BEST:: SOT 470473 SOS 151665 HAS SOPS 151665 HAS SOUS 75372 HAS SOUPS 75372 WITH SCORE 75523.665
AT ITER 604 NEW BEST:: SOT 470466 SOS 151651 HAS SOPS 151651 HAS SOUS 75358 HAS SOUPS 75358 WITH SCORE 75509.651
AT ITER 619 NEW BEST:: SOT 470461 SOS 151641 HAS SOPS 151641 HAS SOUS 75348 HAS SOUPS 75348 WITH SCORE 75499.641
AT ITER 631 NEW BEST:: SOT 470445 SOS 151609 HAS SOPS 151609 HAS SOUS 75316 HAS SOUPS 75316 WITH SCORE 75467.609
AT ITER 633 NEW BEST:: SOT 470123 SOS 151247 HAS SOPS 151247 HAS SOUS 75178 HAS SOUPS 75178 WITH SCORE 75329.247
AT ITER 665 NEW BEST:: SOT 469745 SOS 150848 HAS SOPS 150848 HAS SOUS 74380 HAS SOUPS 74380 WITH SCORE 74530.848
AT ITER 688 NEW BEST:: SOT 469739 SOS 150836 HAS SOPS 150836 HAS SOUS 71057 HAS SOUPS 71057 WITH SCORE 71207.836
AT ITER 692 NEW BEST:: SOT 469683 SOS 143218 HAS SOPS 143218 HAS SOUS 70849 HAS SOUPS 70849 WITH SCORE 70992.218
AT ITER 698 NEW BEST:: SOT 469673 SOS 143144 HAS SOPS 143144 HAS SOUS 70785 HAS SOUPS 70785 WITH SCORE 70928.144
AT ITER 712 NEW BEST:: SOT 469631 SOS 143116 HAS SOPS 143116 HAS SOUS 70743 HAS SOUPS 70743 WITH SCORE 70886.116
AT ITER 716 NEW BEST:: SOT 469515 SOS 142986 HAS SOPS 142986 HAS SOUS 70546 HAS SOUPS 70546 WITH SCORE 70688.986
AT ITER 737 NEW BEST:: SOT 469503 SOS 142933 HAS SOPS 142933 HAS SOUS 70513 HAS SOUPS 70513 WITH SCORE 70655.933
AT ITER 739 NEW BEST:: SOT 469359 SOS 142789 HAS SOPS 142789 HAS SOUS 70217 HAS SOUPS 70217 WITH SCORE 70359.789
AT ITER 759 NEW BEST:: SOT 468652 SOS 142157 HAS SOPS 142157 HAS SOUS 69976 HAS SOUPS 69976 WITH SCORE 70118.157
AT ITER 792 NEW BEST:: SOT 468712 SOS 142172 HAS SOPS 142172 HAS SOUS 69970 HAS SOUPS 69970 WITH SCORE 70112.172
AT ITER 807 NEW BEST:: SOT 468726 SOS 142112 HAS SOPS 142112 HAS SOUS 69946 HAS SOUPS 69946 WITH SCORE 70088.112
AT ITER 809 NEW BEST:: SOT 468674 SOS 142008 HAS SOPS 142008 HAS SOUS 69909 HAS SOUPS 69909 WITH SCORE 70051.008
AT ITER 810 NEW BEST:: SOT 468671 SOS 141999 HAS SOPS 141999 HAS SOUS 69903 HAS SOUPS 69903 WITH SCORE 70044.999
AT ITER 818 NEW BEST:: SOT 468668 SOS 141993 HAS SOPS 141993 HAS SOUS 69897 HAS SOUPS 69897 WITH SCORE 70038.993
AT ITER 820 NEW BEST:: SOT 468668 SOS 141968 HAS SOPS 141968 HAS SOUS 69872 HAS SOUPS 69872 WITH SCORE 70013.968
AT ITER 822 NEW BEST:: SOT 468667 SOS 141966 HAS SOPS 141966 HAS SOUS 69870 HAS SOUPS 69870 WITH SCORE 70011.966
AT ITER 835 NEW BEST:: SOT 468634 SOS 141966 HAS SOPS 141966 HAS SOUS 69842 HAS SOUPS 69842 WITH SCORE 69983.966
AT ITER 858 NEW BEST:: SOT 468623 SOS 141944 HAS SOPS 141944 HAS SOUS 69820 HAS SOUPS 69820 WITH SCORE 69961.944
AT ITER 874 NEW BEST:: SOT 468622 SOS 141942 HAS SOPS 141942 HAS SOUS 69819 HAS SOUPS 69819 WITH SCORE 69960.942
AT ITER 888 NEW BEST:: SOT 468561 SOS 141881 HAS SOPS 141881 HAS SOUS 69758 HAS SOUPS 69758 WITH SCORE 69899.881
AT ITER 902 NEW BEST:: SOT 468661 SOS 141993 HAS SOPS 141993 HAS SOUS 69582 HAS SOUPS 69582 WITH SCORE 69723.993
AT ITER 929 NEW BEST:: SOT 468676 SOS 141991 HAS SOPS 141991 HAS SOUS 69582 HAS SOUPS 69582 WITH SCORE 69723.991
AT ITER 934 NEW BEST:: SOT 468621 SOS 141963 HAS SOPS 141963 HAS SOUS 69566 HAS SOUPS 69566 WITH SCORE 69707.963
AT ITER 935 NEW BEST:: SOT 468596 SOS 141940 HAS SOPS 141940 HAS SOUS 69541 HAS SOUPS 69541 WITH SCORE 69682.94
AT ITER 938 NEW BEST:: SOT 468562 SOS 141922 HAS SOPS 141922 HAS SOUS 69507 HAS SOUPS 69507 WITH SCORE 69648.922
AT ITER 952 NEW BEST:: SOT 468562 SOS 141911 HAS SOPS 141911 HAS SOUS 69507 HAS SOUPS 69507 WITH SCORE 69648.911
AT ITER 969 NEW BEST:: SOT 467792 SOS 142302 HAS SOPS 142302 HAS SOUS 69361 HAS SOUPS 69361 WITH SCORE 69503.302
AT ITER 973 NEW BEST:: SOT 467792 SOS 142297 HAS SOPS 142297 HAS SOUS 69356 HAS SOUPS 69356 WITH SCORE 69498.297
AT ITER 981 NEW BEST:: SOT 467787 SOS 142287 HAS SOPS 142287 HAS SOUS 69346 HAS SOUPS 69346 WITH SCORE 69488.287
AT ITER 990 NEW BEST:: SOT 467765 SOS 142243 HAS SOPS 142243 HAS SOUS 69342 HAS SOUPS 69342 WITH SCORE 69484.243
AT ITER 1004 NEW BEST:: SOT 467726 SOS 142189 HAS SOPS 142189 HAS SOUS 69303 HAS SOUPS 69303 WITH SCORE 69445.189
AT ITER 1017 NEW BEST:: SOT 467751 SOS 142640 HAS SOPS 142640 HAS SOUS 69299 HAS SOUPS 69299 WITH SCORE 69441.64
AT ITER 1022 NEW BEST:: SOT 467703 SOS 141528 HAS SOPS 141528 HAS SOUS 68904 HAS SOUPS 68904 WITH SCORE 69045.528
AT ITER 1031 NEW BEST:: SOT 467685 SOS 141510 HAS SOPS 141510 HAS SOUS 68868 HAS SOUPS 68868 WITH SCORE 69009.51
AT ITER 1034 NEW BEST:: SOT 467671 SOS 141481 HAS SOPS 141481 HAS SOUS 68833 HAS SOUPS 68833 WITH SCORE 68974.481
AT ITER 1043 NEW BEST:: SOT 467618 SOS 141409 HAS SOPS 141409 HAS SOUS 68761 HAS SOUPS 68761 WITH SCORE 68902.409
AT ITER 1059 NEW BEST:: SOT 467482 SOS 141273 HAS SOPS 141273 HAS SOUS 68473 HAS SOUPS 68473 WITH SCORE 68614.273
AT ITER 1065 NEW BEST:: SOT 467465 SOS 141239 HAS SOPS 141239 HAS SOUS 68451 HAS SOUPS 68451 WITH SCORE 68592.239
AT ITER 1105 NEW BEST:: SOT 467465 SOS 141188 HAS SOPS 141188 HAS SOUS 68315 HAS SOUPS 68315 WITH SCORE 68456.188
AT ITER 1116 NEW BEST:: SOT 467451 SOS 141137 HAS SOPS 141137 HAS SOUS 68234 HAS SOUPS 68234 WITH SCORE 68375.137
AT ITER 1125 NEW BEST:: SOT 467443 SOS 141121 HAS SOPS 141121 HAS SOUS 68218 HAS SOUPS 68218 WITH SCORE 68359.121
AT ITER 1156 NEW BEST:: SOT 467426 SOS 141121 HAS SOPS 141121 HAS SOUS 68201 HAS SOUPS 68201 WITH SCORE 68342.121
AT ITER 1167 NEW BEST:: SOT 467406 SOS 141081 HAS SOPS 141081 HAS SOUS 68161 HAS SOUPS 68161 WITH SCORE 68302.081
AT ITER 1170 NEW BEST:: SOT 467349 SOS 141034 HAS SOPS 141034 HAS SOUS 68090 HAS SOUPS 68090 WITH SCORE 68231.034
AT ITER 1175 NEW BEST:: SOT 467349 SOS 141027 HAS SOPS 141027 HAS SOUS 68083 HAS SOUPS 68083 WITH SCORE 68224.027
AT ITER 1182 NEW BEST:: SOT 467339 SOS 141017 HAS SOPS 141017 HAS SOUS 68073 HAS SOUPS 68073 WITH SCORE 68214.017
AT ITER 1223 NEW BEST:: SOT 467337 SOS 140896 HAS SOPS 140896 HAS SOUS 68034 HAS SOUPS 68034 WITH SCORE 68174.896
AT ITER 1232 NEW BEST:: SOT 467329 SOS 140880 HAS SOPS 140880 HAS SOUS 68018 HAS SOUPS 68018 WITH SCORE 68158.88
AT ITER 1235 NEW BEST:: SOT 467247 SOS 140598 HAS SOPS 140598 HAS SOUS 67884 HAS SOUPS 67884 WITH SCORE 68024.598
AT ITER 1238 NEW BEST:: SOT 466688 SOS 140066 HAS SOPS 140066 HAS SOUS 67869 HAS SOUPS 67869 WITH SCORE 68009.066
AT ITER 1245 NEW BEST:: SOT 466639 SOS 139968 HAS SOPS 139968 HAS SOUS 67830 HAS SOUPS 67830 WITH SCORE 67969.968
AT ITER 1250 NEW BEST:: SOT 466624 SOS 139938 HAS SOPS 139938 HAS SOUS 67830 HAS SOUPS 67830 WITH SCORE 67969.938
AT ITER 1267 NEW BEST:: SOT 466644 SOS 137650 HAS SOPS 137650 HAS SOUS 67790 HAS SOUPS 67790 WITH SCORE 67927.65
AT ITER 1285 NEW BEST:: SOT 466626 SOS 137632 HAS SOPS 137632 HAS SOUS 67754 HAS SOUPS 67754 WITH SCORE 67891.632
AT ITER 1298 NEW BEST:: SOT 466617 SOS 137614 HAS SOPS 137614 HAS SOUS 67745 HAS SOUPS 67745 WITH SCORE 67882.614
AT ITER 1311 NEW BEST:: SOT 466587 SOS 137524 HAS SOPS 137524 HAS SOUS 67685 HAS SOUPS 67685 WITH SCORE 67822.524
AT ITER 1330 NEW BEST:: SOT 466608 SOS 137566 HAS SOPS 137566 HAS SOUS 67677 HAS SOUPS 67677 WITH SCORE 67814.566
AT ITER 1344 NEW BEST:: SOT 466563 SOS 137528 HAS SOPS 137528 HAS SOUS 67635 HAS SOUPS 67635 WITH SCORE 67772.528
AT ITER 1356 NEW BEST:: SOT 466446 SOS 137445 HAS SOPS 137445 HAS SOUS 67606 HAS SOUPS 67606 WITH SCORE 67743.445
AT ITER 1371 NEW BEST:: SOT 466413 SOS 135376 HAS SOPS 135376 HAS SOUS 67539 HAS SOUPS 67539 WITH SCORE 67674.376
AT ITER 1385 NEW BEST:: SOT 466384 SOS 135318 HAS SOPS 135318 HAS SOUS 67495 HAS SOUPS 67495 WITH SCORE 67630.318
AT ITER 1391 NEW BEST:: SOT 466373 SOS 135310 HAS SOPS 135310 HAS SOUS 67487 HAS SOUPS 67487 WITH SCORE 67622.31
AT ITER 1397 NEW BEST:: SOT 465897 SOS 134834 HAS SOPS 134834 HAS SOUS 67125 HAS SOUPS 67125 WITH SCORE 67259.834
AT ITER 1429 NEW BEST:: SOT 465898 SOS 134836 HAS SOPS 134836 HAS SOUS 67117 HAS SOUPS 67117 WITH SCORE 67251.836
AT ITER 1444 NEW BEST:: SOT 465882 SOS 134804 HAS SOPS 134804 HAS SOUS 67059 HAS SOUPS 67059 WITH SCORE 67193.804
AT ITER 1465 NEW BEST:: SOT 465860 SOS 134709 HAS SOPS 134709 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67135.709
AT ITER 1482 NEW BEST:: SOT 465831 SOS 134680 HAS SOPS 134680 HAS SOUS 66972 HAS SOUPS 66972 WITH SCORE 67106.68
AT ITER 1483 NEW BEST:: SOT 465811 SOS 134681 HAS SOPS 134681 HAS SOUS 66932 HAS SOUPS 66932 WITH SCORE 67066.681
AT ITER 1485 NEW BEST:: SOT 465801 SOS 134671 HAS SOPS 134671 HAS SOUS 66922 HAS SOUPS 66922 WITH SCORE 67056.671
AT ITER 1513 NEW BEST:: SOT 465791 SOS 134651 HAS SOPS 134651 HAS SOUS 66902 HAS SOUPS 66902 WITH SCORE 67036.651
AT ITER 1520 NEW BEST:: SOT 465755 SOS 134651 HAS SOPS 134651 HAS SOUS 66866 HAS SOUPS 66866 WITH SCORE 67000.651
AT ITER 1532 NEW BEST:: SOT 465754 SOS 134649 HAS SOPS 134649 HAS SOUS 66864 HAS SOUPS 66864 WITH SCORE 66998.649
AT ITER 1540 NEW BEST:: SOT 465731 SOS 132753 HAS SOPS 132753 HAS SOUS 66799 HAS SOUPS 66799 WITH SCORE 66931.753
AT ITER 1545 NEW BEST:: SOT 465691 SOS 131505 HAS SOPS 131505 HAS SOUS 66737 HAS SOUPS 66737 WITH SCORE 66868.505
AT ITER 1571 NEW BEST:: SOT 465674 SOS 132149 HAS SOPS 132149 HAS SOUS 66201 HAS SOUPS 66201 WITH SCORE 66333.149
AT ITER 1576 NEW BEST:: SOT 465674 SOS 132143 HAS SOPS 132143 HAS SOUS 66195 HAS SOUPS 66195 WITH SCORE 66327.143
AT ITER 1588 NEW BEST:: SOT 465664 SOS 132123 HAS SOPS 132123 HAS SOUS 66175 HAS SOUPS 66175 WITH SCORE 66307.123
AT ITER 1615 NEW BEST:: SOT 465619 SOS 132033 HAS SOPS 132033 HAS SOUS 66130 HAS SOUPS 66130 WITH SCORE 66262.033
AT ITER 1636 NEW BEST:: SOT 465601 SOS 132013 HAS SOPS 132013 HAS SOUS 66090 HAS SOUPS 66090 WITH SCORE 66222.013
AT ITER 1637 NEW BEST:: SOT 465601 SOS 132013 HAS SOPS 132013 HAS SOUS 65460 HAS SOUPS 65460 WITH SCORE 65592.013
AT ITER 1657 NEW BEST:: SOT 465571 SOS 135135 HAS SOPS 135135 HAS SOUS 65418 HAS SOUPS 65418 WITH SCORE 65553.135
AT ITER 1661 NEW BEST:: SOT 465554 SOS 135063 HAS SOPS 135063 HAS SOUS 65384 HAS SOUPS 65384 WITH SCORE 65519.063
AT ITER 1672 NEW BEST:: SOT 464750 SOS 134734 HAS SOPS 134734 HAS SOUS 64557 HAS SOUPS 64557 WITH SCORE 64691.734
AT ITER 1675 NEW BEST:: SOT 464678 SOS 134770 HAS SOPS 134770 HAS SOUS 64527 HAS SOUPS 64527 WITH SCORE 64661.77
AT ITER 1684 NEW BEST:: SOT 464675 SOS 134767 HAS SOPS 134767 HAS SOUS 64524 HAS SOUPS 64524 WITH SCORE 64658.767
AT ITER 1708 NEW BEST:: SOT 464671 SOS 134759 HAS SOPS 134759 HAS SOUS 64516 HAS SOUPS 64516 WITH SCORE 64650.759
AT ITER 1709 NEW BEST:: SOT 464356 SOS 134433 HAS SOPS 134433 HAS SOUS 64190 HAS SOUPS 64190 WITH SCORE 64324.433
AT ITER 1722 NEW BEST:: SOT 464334 SOS 134389 HAS SOPS 134389 HAS SOUS 64162 HAS SOUPS 64162 WITH SCORE 64296.389
AT ITER 1760 NEW BEST:: SOT 464292 SOS 134327 HAS SOPS 134327 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64276.327
AT ITER 1795 NEW BEST:: SOT 464274 SOS 134331 HAS SOPS 134331 HAS SOUS 64138 HAS SOUPS 64138 WITH SCORE 64272.331
AT ITER 1800 NEW BEST:: SOT 464274 SOS 134269 HAS SOPS 134269 HAS SOUS 64107 HAS SOUPS 64107 WITH SCORE 64241.269
AT ITER 1817 NEW BEST:: SOT 464268 SOS 134263 HAS SOPS 134263 HAS SOUS 64101 HAS SOUPS 64101 WITH SCORE 64235.263
AT ITER 1820 NEW BEST:: SOT 464268 SOS 134218 HAS SOPS 134218 HAS SOUS 63965 HAS SOUPS 63965 WITH SCORE 64099.218
AT ITER 1826 NEW BEST:: SOT 464256 SOS 134224 HAS SOPS 134224 HAS SOUS 63822 HAS SOUPS 63822 WITH SCORE 63956.224
AT ITER 1854 NEW BEST:: SOT 464277 SOS 134266 HAS SOPS 134266 HAS SOUS 63799 HAS SOUPS 63799 WITH SCORE 63933.266
AT ITER 1861 NEW BEST:: SOT 464275 SOS 134262 HAS SOPS 134262 HAS SOUS 63790 HAS SOUPS 63790 WITH SCORE 63924.262
AT ITER 1872 NEW BEST:: SOT 464221 SOS 131842 HAS SOPS 131842 HAS SOUS 63608 HAS SOUPS 63608 WITH SCORE 63739.842
AT ITER 1874 NEW BEST:: SOT 464193 SOS 131786 HAS SOPS 131786 HAS SOUS 63576 HAS SOUPS 63576 WITH SCORE 63707.786
AT ITER 1883 NEW BEST:: SOT 464193 SOS 131780 HAS SOPS 131780 HAS SOUS 63576 HAS SOUPS 63576 WITH SCORE 63707.78
AT ITER 1891 NEW BEST:: SOT 464168 SOS 131777 HAS SOPS 131777 HAS SOUS 63541 HAS SOUPS 63541 WITH SCORE 63672.777
AT ITER 1896 NEW BEST:: SOT 464146 SOS 131777 HAS SOPS 131777 HAS SOUS 63519 HAS SOUPS 63519 WITH SCORE 63650.777
AT ITER 1910 NEW BEST:: SOT 463656 SOS 131287 HAS SOPS 131287 HAS SOUS 63289 HAS SOUPS 63289 WITH SCORE 63420.287
AT ITER 1913 NEW BEST:: SOT 463656 SOS 131234 HAS SOPS 131234 HAS SOUS 63289 HAS SOUPS 63289 WITH SCORE 63420.234
AT ITER 1915 NEW BEST:: SOT 463557 SOS 131114 HAS SOPS 131114 HAS SOUS 63156 HAS SOUPS 63156 WITH SCORE 63287.114
AT ITER 1919 NEW BEST:: SOT 463556 SOS 131112 HAS SOPS 131112 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63286.112
AT ITER 1921 NEW BEST:: SOT 463556 SOS 131092 HAS SOPS 131092 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63286.092
AT ITER 1924 NEW BEST:: SOT 463536 SOS 130797 HAS SOPS 130797 HAS SOUS 63130 HAS SOUPS 63130 WITH SCORE 63260.797
AT ITER 1939 NEW BEST:: SOT 463531 SOS 130787 HAS SOPS 130787 HAS SOUS 63108 HAS SOUPS 63108 WITH SCORE 63238.787
AT ITER 1955 NEW BEST:: SOT 463531 SOS 130787 HAS SOPS 130787 HAS SOUS 63101 HAS SOUPS 63101 WITH SCORE 63231.787
AT ITER 1993 NEW BEST:: SOT 463513 SOS 130742 HAS SOPS 130742 HAS SOUS 62754 HAS SOUPS 62754 WITH SCORE 62884.742
AT ITER 1995 NEW BEST:: SOT 463507 SOS 130718 HAS SOPS 130718 HAS SOUS 62742 HAS SOUPS 62742 WITH SCORE 62872.718
AT ITER 2000 NEW BEST:: SOT 463507 SOS 130715 HAS SOPS 130715 HAS SOUS 62736 HAS SOUPS 62736 WITH SCORE 62866.715
AT ITER 2025 NEW BEST:: SOT 462161 SOS 129355 HAS SOPS 129355 HAS SOUS 61387 HAS SOUPS 61387 WITH SCORE 61516.355
AT ITER 2029 NEW BEST:: SOT 462155 SOS 129343 HAS SOPS 129343 HAS SOUS 61381 HAS SOUPS 61381 WITH SCORE 61510.343
AT ITER 2035 NEW BEST:: SOT 461400 SOS 129729 HAS SOPS 129729 HAS SOUS 60808 HAS SOUPS 60808 WITH SCORE 60937.729
AT ITER 2054 NEW BEST:: SOT 461397 SOS 129723 HAS SOPS 129723 HAS SOUS 60802 HAS SOUPS 60802 WITH SCORE 60931.723
AT ITER 2066 NEW BEST:: SOT 461262 SOS 131952 HAS SOPS 131952 HAS SOUS 60786 HAS SOUPS 60786 WITH SCORE 60917.952
AT ITER 2072 NEW BEST:: SOT 461273 SOS 131952 HAS SOPS 131952 HAS SOUS 60775 HAS SOUPS 60775 WITH SCORE 60906.952
AT ITER 2074 NEW BEST:: SOT 461258 SOS 131922 HAS SOPS 131922 HAS SOUS 60755 HAS SOUPS 60755 WITH SCORE 60886.922
AT ITER 2096 NEW BEST:: SOT 461273 SOS 131820 HAS SOPS 131820 HAS SOUS 60653 HAS SOUPS 60653 WITH SCORE 60784.82
AT ITER 2117 NEW BEST:: SOT 461267 SOS 131817 HAS SOPS 131817 HAS SOUS 60641 HAS SOUPS 60641 WITH SCORE 60772.817
AT ITER 2126 NEW BEST:: SOT 461249 SOS 131800 HAS SOPS 131800 HAS SOUS 60462 HAS SOUPS 60462 WITH SCORE 60593.8
AT ITER 2150 NEW BEST:: SOT 461249 SOS 131800 HAS SOPS 131800 HAS SOUS 60449 HAS SOUPS 60449 WITH SCORE 60580.8
AT ITER 2151 NEW BEST:: SOT 461242 SOS 131786 HAS SOPS 131786 HAS SOUS 60443 HAS SOUPS 60443 WITH SCORE 60574.786
AT ITER 2161 NEW BEST:: SOT 461225 SOS 131769 HAS SOPS 131769 HAS SOUS 60426 HAS SOUPS 60426 WITH SCORE 60557.769
AT ITER 2162 NEW BEST:: SOT 461112 SOS 131614 HAS SOPS 131614 HAS SOUS 60231 HAS SOUPS 60231 WITH SCORE 60362.614
AT ITER 2163 NEW BEST:: SOT 460504 SOS 130974 HAS SOPS 130974 HAS SOUS 59812 HAS SOUPS 59812 WITH SCORE 59942.974
AT ITER 2200 NEW BEST:: SOT 460478 SOS 130922 HAS SOPS 130922 HAS SOUS 59775 HAS SOUPS 59775 WITH SCORE 59905.922
AT ITER 2221 NEW BEST:: SOT 460478 SOS 130910 HAS SOPS 130910 HAS SOUS 59763 HAS SOUPS 59763 WITH SCORE 59893.91
AT ITER 2240 NEW BEST:: SOT 460466 SOS 130886 HAS SOPS 130886 HAS SOUS 59739 HAS SOUPS 59739 WITH SCORE 59869.886
AT ITER 2302 NEW BEST:: SOT 460474 SOS 130893 HAS SOPS 130893 HAS SOUS 59625 HAS SOUPS 59625 WITH SCORE 59755.893
AT ITER 2307 NEW BEST:: SOT 460470 SOS 130889 HAS SOPS 130889 HAS SOUS 59621 HAS SOUPS 59621 WITH SCORE 59751.889
AT ITER 2313 NEW BEST:: SOT 460233 SOS 130652 HAS SOPS 130652 HAS SOUS 59492 HAS SOUPS 59492 WITH SCORE 59622.652
AT ITER 2347 NEW BEST:: SOT 460232 SOS 130650 HAS SOPS 130650 HAS SOUS 59491 HAS SOUPS 59491 WITH SCORE 59621.65
AT ITER 2359 NEW BEST:: SOT 460213 SOS 130612 HAS SOPS 130612 HAS SOUS 59438 HAS SOUPS 59438 WITH SCORE 59568.612
AT ITER 2371 NEW BEST:: SOT 460211 SOS 130512 HAS SOPS 130512 HAS SOUS 59414 HAS SOUPS 59414 WITH SCORE 59544.512
AT ITER 2445 NEW BEST:: SOT 460210 SOS 130510 HAS SOPS 130510 HAS SOUS 59412 HAS SOUPS 59412 WITH SCORE 59542.51
AT ITER 2457 NEW BEST:: SOT 460209 SOS 130508 HAS SOPS 130508 HAS SOUS 59410 HAS SOUPS 59410 WITH SCORE 59540.508
AT ITER 2470 NEW BEST:: SOT 460208 SOS 130506 HAS SOPS 130506 HAS SOUS 59408 HAS SOUPS 59408 WITH SCORE 59538.506
AT ITER 2484 NEW BEST:: SOT 460208 SOS 130506 HAS SOPS 130506 HAS SOUS 59397 HAS SOUPS 59397 WITH SCORE 59527.506
AT ITER 2502 NEW BEST:: SOT 459621 SOS 139252 HAS SOPS 139252 HAS SOUS 58760 HAS SOUPS 58760 WITH SCORE 58899.252
AT ITER 2536 NEW BEST:: SOT 459620 SOS 139249 HAS SOPS 139249 HAS SOUS 58759 HAS SOUPS 58759 WITH SCORE 58898.249
AT ITER 2554 NEW BEST:: SOT 459467 SOS 139119 HAS SOPS 139119 HAS SOUS 58734 HAS SOUPS 58734 WITH SCORE 58873.119
AT ITER 2565 NEW BEST:: SOT 458204 SOS 137774 HAS SOPS 137774 HAS SOUS 57718 HAS SOUPS 57718 WITH SCORE 57855.774
AT ITER 2579 NEW BEST:: SOT 458204 SOS 137774 HAS SOPS 137774 HAS SOUS 57534 HAS SOUPS 57534 WITH SCORE 57671.774
AT ITER 2598 NEW BEST:: SOT 458186 SOS 137756 HAS SOPS 137756 HAS SOUS 57498 HAS SOUPS 57498 WITH SCORE 57635.756
AT ITER 2599 NEW BEST:: SOT 458186 SOS 137756 HAS SOPS 137756 HAS SOUS 57471 HAS SOUPS 57471 WITH SCORE 57608.756
AT ITER 2630 NEW BEST:: SOT 458186 SOS 137756 HAS SOPS 137756 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57601.756
AT ITER 2652 NEW BEST:: SOT 458180 SOS 137744 HAS SOPS 137744 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57592.744
AT ITER 2694 NEW BEST:: SOT 456274 SOS 153365 HAS SOPS 153365 HAS SOUS 57019 HAS SOUPS 57019 WITH SCORE 57172.365
AT ITER 2697 NEW BEST:: SOT 456269 SOS 153361 HAS SOPS 153361 HAS SOUS 57015 HAS SOUPS 57015 WITH SCORE 57168.361
AT ITER 2702 NEW BEST:: SOT 456265 SOS 153353 HAS SOPS 153353 HAS SOUS 57007 HAS SOUPS 57007 WITH SCORE 57160.353
AT ITER 2745 NEW BEST:: SOT 456265 SOS 153330 HAS SOPS 153330 HAS SOUS 57007 HAS SOUPS 57007 WITH SCORE 57160.33
AT ITER 2756 NEW BEST:: SOT 456264 SOS 153328 HAS SOPS 153328 HAS SOUS 57005 HAS SOUPS 57005 WITH SCORE 57158.328
AT ITER 2782 NEW BEST:: SOT 456264 SOS 153328 HAS SOPS 153328 HAS SOUS 57001 HAS SOUPS 57001 WITH SCORE 57154.328
AT ITER 2792 NEW BEST:: SOT 456260 SOS 153324 HAS SOPS 153324 HAS SOUS 57001 HAS SOUPS 57001 WITH SCORE 57154.324
AT ITER 2814 NEW BEST:: SOT 456238 SOS 153302 HAS SOPS 153302 HAS SOUS 56961 HAS SOUPS 56961 WITH SCORE 57114.302
AT ITER 2839 NEW BEST:: SOT 456217 SOS 153260 HAS SOPS 153260 HAS SOUS 56940 HAS SOUPS 56940 WITH SCORE 57093.26
AT ITER 2845 NEW BEST:: SOT 456202 SOS 153246 HAS SOPS 153246 HAS SOUS 56926 HAS SOUPS 56926 WITH SCORE 57079.246
AT ITER 2882 NEW BEST:: SOT 456077 SOS 152333 HAS SOPS 152333 HAS SOUS 56608 HAS SOUPS 56608 WITH SCORE 56760.333
AT ITER 2924 NEW BEST:: SOT 456077 SOS 152329 HAS SOPS 152329 HAS SOUS 56608 HAS SOUPS 56608 WITH SCORE 56760.329
AT ITER 2939 NEW BEST:: SOT 456071 SOS 152215 HAS SOPS 152215 HAS SOUS 56597 HAS SOUPS 56597 WITH SCORE 56749.215
AT ITER 2950 NEW BEST:: SOT 456070 SOS 152253 HAS SOPS 152253 HAS SOUS 56595 HAS SOUPS 56595 WITH SCORE 56747.253
AT ITER 2968 NEW BEST:: SOT 456121 SOS 152304 HAS SOPS 152304 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56712.304
AT ITER 2981 NEW BEST:: SOT 456045 SOS 152270 HAS SOPS 152270 HAS SOUS 56543 HAS SOUPS 56543 WITH SCORE 56695.27
AT ITER 2997 NEW BEST:: SOT 456044 SOS 152276 HAS SOPS 152276 HAS SOUS 56539 HAS SOUPS 56539 WITH SCORE 56691.276
AT ITER 2999 NEW BEST:: SOT 456035 SOS 152258 HAS SOPS 152258 HAS SOUS 56521 HAS SOUPS 56521 WITH SCORE 56673.258
AT ITER 3010 NEW BEST:: SOT 456010 SOS 152235 HAS SOPS 152235 HAS SOUS 56498 HAS SOUPS 56498 WITH SCORE 56650.235
AT ITER 3044 NEW BEST:: SOT 456047 SOS 152196 HAS SOPS 152196 HAS SOUS 56498 HAS SOUPS 56498 WITH SCORE 56650.196
AT ITER 3103 NEW BEST:: SOT 456023 SOS 152148 HAS SOPS 152148 HAS SOUS 56474 HAS SOUPS 56474 WITH SCORE 56626.148
AT ITER 3104 NEW BEST:: SOT 456021 SOS 151222 HAS SOPS 151222 HAS SOUS 56470 HAS SOUPS 56470 WITH SCORE 56621.222
AT ITER 3105 NEW BEST:: SOT 455962 SOS 151154 HAS SOPS 151154 HAS SOUS 56411 HAS SOUPS 56411 WITH SCORE 56562.154
AT ITER 3114 NEW BEST:: SOT 455942 SOS 152600 HAS SOPS 152600 HAS SOUS 56317 HAS SOUPS 56317 WITH SCORE 56469.6
AT ITER 3137 NEW BEST:: SOT 455922 SOS 152584 HAS SOPS 152584 HAS SOUS 56277 HAS SOUPS 56277 WITH SCORE 56429.584
AT ITER 3169 NEW BEST:: SOT 455893 SOS 152584 HAS SOPS 152584 HAS SOUS 56252 HAS SOUPS 56252 WITH SCORE 56404.584
AT ITER 3172 NEW BEST:: SOT 455890 SOS 152578 HAS SOPS 152578 HAS SOUS 56246 HAS SOUPS 56246 WITH SCORE 56398.578
AT ITER 3176 NEW BEST:: SOT 455880 SOS 152572 HAS SOPS 152572 HAS SOUS 56226 HAS SOUPS 56226 WITH SCORE 56378.572
AT ITER 3193 NEW BEST:: SOT 455880 SOS 152572 HAS SOPS 152572 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56363.572
AT ITER 3201 NEW BEST:: SOT 453165 SOS 153221 HAS SOPS 153221 HAS SOUS 53776 HAS SOUPS 53776 WITH SCORE 53929.221
AT ITER 3205 NEW BEST:: SOT 453152 SOS 143403 HAS SOPS 143403 HAS SOUS 53757 HAS SOUPS 53757 WITH SCORE 53900.403
AT ITER 3208 NEW BEST:: SOT 453142 SOS 143393 HAS SOPS 143393 HAS SOUS 53629 HAS SOUPS 53629 WITH SCORE 53772.393
AT ITER 3227 NEW BEST:: SOT 452486 SOS 142724 HAS SOPS 142724 HAS SOUS 52960 HAS SOUPS 52960 WITH SCORE 53102.724
AT ITER 3256 NEW BEST:: SOT 452445 SOS 142683 HAS SOPS 142683 HAS SOUS 52944 HAS SOUPS 52944 WITH SCORE 53086.683
AT ITER 3266 NEW BEST:: SOT 452445 SOS 142658 HAS SOPS 142658 HAS SOUS 52944 HAS SOUPS 52944 WITH SCORE 53086.658
AT ITER 3268 NEW BEST:: SOT 452445 SOS 142636 HAS SOPS 142636 HAS SOUS 52922 HAS SOUPS 52922 WITH SCORE 53064.636
AT ITER 3272 NEW BEST:: SOT 452426 SOS 142546 HAS SOPS 142546 HAS SOUS 52811 HAS SOUPS 52811 WITH SCORE 52953.546
AT ITER 3276 NEW BEST:: SOT 452426 SOS 142528 HAS SOPS 142528 HAS SOUS 52811 HAS SOUPS 52811 WITH SCORE 52953.528
AT ITER 3307 NEW BEST:: SOT 452409 SOS 142210 HAS SOPS 142210 HAS SOUS 52700 HAS SOUPS 52700 WITH SCORE 52842.21
AT ITER 3318 NEW BEST:: SOT 452379 SOS 139002 HAS SOPS 139002 HAS SOUS 52529 HAS SOUPS 52529 WITH SCORE 52668.002
AT ITER 3321 NEW BEST:: SOT 450638 SOS 137427 HAS SOPS 137427 HAS SOUS 51370 HAS SOUPS 51370 WITH SCORE 51507.427
AT ITER 3335 NEW BEST:: SOT 450628 SOS 137407 HAS SOPS 137407 HAS SOUS 51360 HAS SOUPS 51360 WITH SCORE 51497.407
AT ITER 3348 NEW BEST:: SOT 450625 SOS 137422 HAS SOPS 137422 HAS SOUS 51342 HAS SOUPS 51342 WITH SCORE 51479.422
AT ITER 3389 NEW BEST:: SOT 450543 SOS 137346 HAS SOPS 137346 HAS SOUS 51328 HAS SOUPS 51328 WITH SCORE 51465.346
AT ITER 3410 NEW BEST:: SOT 450539 SOS 137338 HAS SOPS 137338 HAS SOUS 51320 HAS SOUPS 51320 WITH SCORE 51457.338
AT ITER 3439 NEW BEST:: SOT 450533 SOS 137348 HAS SOPS 137348 HAS SOUS 51290 HAS SOUPS 51290 WITH SCORE 51427.348
AT ITER 3443 NEW BEST:: SOT 450457 SOS 137272 HAS SOPS 137272 HAS SOUS 51119 HAS SOUPS 51119 WITH SCORE 51256.272
AT ITER 3445 NEW BEST:: SOT 444613 SOS 131426 HAS SOPS 131426 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45647.426
AT ITER 3448 NEW BEST:: SOT 444613 SOS 131409 HAS SOPS 131409 HAS SOUS 45417 HAS SOUPS 45417 WITH SCORE 45548.409
AT ITER 3458 NEW BEST:: SOT 444613 SOS 131403 HAS SOPS 131403 HAS SOUS 45417 HAS SOUPS 45417 WITH SCORE 45548.403
AT ITER 3459 NEW BEST:: SOT 444545 SOS 131335 HAS SOPS 131335 HAS SOUS 45273 HAS SOUPS 45273 WITH SCORE 45404.335
AT ITER 3473 NEW BEST:: SOT 444469 SOS 131238 HAS SOPS 131238 HAS SOUS 45191 HAS SOUPS 45191 WITH SCORE 45322.238
AT ITER 3475 NEW BEST:: SOT 444468 SOS 131236 HAS SOPS 131236 HAS SOUS 45189 HAS SOUPS 45189 WITH SCORE 45320.236
AT ITER 3497 NEW BEST:: SOT 444468 SOS 131222 HAS SOPS 131222 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45291.222
AT ITER 3559 NEW BEST:: SOT 444470 SOS 130172 HAS SOPS 130172 HAS SOUS 44966 HAS SOUPS 44966 WITH SCORE 45096.172
AT ITER 3565 NEW BEST:: SOT 444470 SOS 130172 HAS SOPS 130172 HAS SOUS 44919 HAS SOUPS 44919 WITH SCORE 45049.172
AT ITER 3627 NEW BEST:: SOT 444459 SOS 127096 HAS SOPS 127096 HAS SOUS 44908 HAS SOUPS 44908 WITH SCORE 45035.096
AT ITER 3634 NEW BEST:: SOT 444459 SOS 127095 HAS SOPS 127095 HAS SOUS 44908 HAS SOUPS 44908 WITH SCORE 45035.095
AT ITER 3658 NEW BEST:: SOT 444276 SOS 126874 HAS SOPS 126874 HAS SOUS 44649 HAS SOUPS 44649 WITH SCORE 44775.874
AT ITER 3682 NEW BEST:: SOT 444192 SOS 126754 HAS SOPS 126754 HAS SOUS 44547 HAS SOUPS 44547 WITH SCORE 44673.754
AT ITER 3723 NEW BEST:: SOT 444174 SOS 126394 HAS SOPS 126394 HAS SOUS 44511 HAS SOUPS 44511 WITH SCORE 44637.394
AT ITER 3725 NEW BEST:: SOT 444203 SOS 126384 HAS SOPS 126384 HAS SOUS 44501 HAS SOUPS 44501 WITH SCORE 44627.384
AT ITER 3763 NEW BEST:: SOT 444203 SOS 126376 HAS SOPS 126376 HAS SOUS 44501 HAS SOUPS 44501 WITH SCORE 44627.376
AT ITER 3764 NEW BEST:: SOT 444160 SOS 126261 HAS SOPS 126261 HAS SOUS 44445 HAS SOUPS 44445 WITH SCORE 44571.261
AT ITER 3804 NEW BEST:: SOT 444160 SOS 126249 HAS SOPS 126249 HAS SOUS 44433 HAS SOUPS 44433 WITH SCORE 44559.249
AT ITER 3815 NEW BEST:: SOT 444142 SOS 126237 HAS SOPS 126237 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44547.237
AT ITER 3847 NEW BEST:: SOT 444141 SOS 126236 HAS SOPS 126236 HAS SOUS 44420 HAS SOUPS 44420 WITH SCORE 44546.236
AT ITER 3855 NEW BEST:: SOT 444141 SOS 126236 HAS SOPS 126236 HAS SOUS 44391 HAS SOUPS 44391 WITH SCORE 44517.236
AT ITER 3878 NEW BEST:: SOT 440046 SOS 167510 HAS SOPS 167510 HAS SOUS 42519 HAS SOUPS 42519 WITH SCORE 42686.51
AT ITER 3901 NEW BEST:: SOT 440106 SOS 167550 HAS SOPS 167550 HAS SOUS 42161 HAS SOUPS 42161 WITH SCORE 42328.55
AT ITER 3915 NEW BEST:: SOT 440089 SOS 167584 HAS SOPS 167584 HAS SOUS 42132 HAS SOUPS 42132 WITH SCORE 42299.584
AT ITER 3924 NEW BEST:: SOT 440074 SOS 168604 HAS SOPS 168604 HAS SOUS 42129 HAS SOUPS 42129 WITH SCORE 42297.604
AT ITER 3984 NEW BEST:: SOT 440069 SOS 168609 HAS SOPS 168609 HAS SOUS 42124 HAS SOUPS 42124 WITH SCORE 42292.609
AT ITER 3985 NEW BEST:: SOT 440051 SOS 168573 HAS SOPS 168573 HAS SOUS 42088 HAS SOUPS 42088 WITH SCORE 42256.573
AT ITER 3991 NEW BEST:: SOT 440044 SOS 168559 HAS SOPS 168559 HAS SOUS 42081 HAS SOUPS 42081 WITH SCORE 42249.559
AT ITER 4037 NEW BEST:: SOT 440605 SOS 169027 HAS SOPS 169027 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41885.027
AT ITER 4071 NEW BEST:: SOT 440500 SOS 168517 HAS SOPS 168517 HAS SOUS 41580 HAS SOUPS 41580 WITH SCORE 41748.517
AT ITER 4092 NEW BEST:: SOT 440496 SOS 168509 HAS SOPS 168509 HAS SOUS 41572 HAS SOUPS 41572 WITH SCORE 41740.509
AT ITER 4095 NEW BEST:: SOT 440496 SOS 168509 HAS SOPS 168509 HAS SOUS 41560 HAS SOUPS 41560 WITH SCORE 41728.509
AT ITER 4105 NEW BEST:: SOT 440448 SOS 168486 HAS SOPS 168486 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41700.486
AT ITER 4133 NEW BEST:: SOT 440448 SOS 168441 HAS SOPS 168441 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41700.441
AT ITER 4134 NEW BEST:: SOT 440446 SOS 168441 HAS SOPS 168441 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41656.441
AT ITER 4155 NEW BEST:: SOT 440437 SOS 154823 HAS SOPS 154823 HAS SOUS 41470 HAS SOUPS 41470 WITH SCORE 41624.823
AT ITER 4184 NEW BEST:: SOT 440436 SOS 154822 HAS SOPS 154822 HAS SOUS 41469 HAS SOUPS 41469 WITH SCORE 41623.822
AT ITER 4191 NEW BEST:: SOT 440435 SOS 154820 HAS SOPS 154820 HAS SOUS 41467 HAS SOUPS 41467 WITH SCORE 41621.82
AT ITER 4202 NEW BEST:: SOT 440414 SOS 154757 HAS SOPS 154757 HAS SOUS 41425 HAS SOUPS 41425 WITH SCORE 41579.757
AT ITER 4238 NEW BEST:: SOT 440414 SOS 154613 HAS SOPS 154613 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41570.613
AT ITER 4282 NEW BEST:: SOT 440338 SOS 154461 HAS SOPS 154461 HAS SOUS 41340 HAS SOUPS 41340 WITH SCORE 41494.461
AT ITER 4315 NEW BEST:: SOT 440338 SOS 154461 HAS SOPS 154461 HAS SOUS 41304 HAS SOUPS 41304 WITH SCORE 41458.461
AT ITER 4326 NEW BEST:: SOT 440316 SOS 154417 HAS SOPS 154417 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41259.417
AT ITER 4327 NEW BEST:: SOT 440264 SOS 154791 HAS SOPS 154791 HAS SOUS 41026 HAS SOUPS 41026 WITH SCORE 41180.791
AT ITER 4362 NEW BEST:: SOT 440245 SOS 154887 HAS SOPS 154887 HAS SOUS 40944 HAS SOUPS 40944 WITH SCORE 41098.887
AT ITER 4380 NEW BEST:: SOT 440235 SOS 154867 HAS SOPS 154867 HAS SOUS 40934 HAS SOUPS 40934 WITH SCORE 41088.867
AT ITER 4436 NEW BEST:: SOT 440235 SOS 154843 HAS SOPS 154843 HAS SOUS 40918 HAS SOUPS 40918 WITH SCORE 41072.843
AT ITER 4445 NEW BEST:: SOT 440180 SOS 154665 HAS SOPS 154665 HAS SOUS 40813 HAS SOUPS 40813 WITH SCORE 40967.665
AT ITER 4449 NEW BEST:: SOT 440150 SOS 154626 HAS SOPS 154626 HAS SOUS 40762 HAS SOUPS 40762 WITH SCORE 40916.626
AT ITER 4487 NEW BEST:: SOT 439773 SOS 155960 HAS SOPS 155960 HAS SOUS 40726 HAS SOUPS 40726 WITH SCORE 40881.96
AT ITER 4504 NEW BEST:: SOT 439773 SOS 155951 HAS SOPS 155951 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40872.951
AT ITER 4549 NEW BEST:: SOT 439771 SOS 155947 HAS SOPS 155947 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40864.947
AT ITER 4551 NEW BEST:: SOT 439766 SOS 155451 HAS SOPS 155451 HAS SOUS 40699 HAS SOUPS 40699 WITH SCORE 40854.451
AT ITER 4557 NEW BEST:: SOT 439762 SOS 155443 HAS SOPS 155443 HAS SOUS 40691 HAS SOUPS 40691 WITH SCORE 40846.443
AT ITER 4588 NEW BEST:: SOT 439740 SOS 155284 HAS SOPS 155284 HAS SOUS 40601 HAS SOUPS 40601 WITH SCORE 40756.284
AT ITER 4591 NEW BEST:: SOT 439725 SOS 155254 HAS SOPS 155254 HAS SOUS 40586 HAS SOUPS 40586 WITH SCORE 40741.254
AT ITER 4645 NEW BEST:: SOT 439720 SOS 156534 HAS SOPS 156534 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40737.534
AT ITER 4647 NEW BEST:: SOT 439709 SOS 156512 HAS SOPS 156512 HAS SOUS 40559 HAS SOUPS 40559 WITH SCORE 40715.512
AT ITER 4649 NEW BEST:: SOT 439709 SOS 156512 HAS SOPS 156512 HAS SOUS 40554 HAS SOUPS 40554 WITH SCORE 40710.512
AT ITER 4653 NEW BEST:: SOT 439712 SOS 156504 HAS SOPS 156504 HAS SOUS 40547 HAS SOUPS 40547 WITH SCORE 40703.504
AT ITER 4656 NEW BEST:: SOT 439709 SOS 156494 HAS SOPS 156494 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40693.494
AT ITER 4669 NEW BEST:: SOT 439686 SOS 156448 HAS SOPS 156448 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40676.448
AT ITER 4672 NEW BEST:: SOT 439654 SOS 156437 HAS SOPS 156437 HAS SOUS 40508 HAS SOUPS 40508 WITH SCORE 40664.437
AT ITER 4688 NEW BEST:: SOT 439650 SOS 156436 HAS SOPS 156436 HAS SOUS 40507 HAS SOUPS 40507 WITH SCORE 40663.436
AT ITER 4693 NEW BEST:: SOT 439650 SOS 156397 HAS SOPS 156397 HAS SOUS 40494 HAS SOUPS 40494 WITH SCORE 40650.397
AT ITER 4704 NEW BEST:: SOT 439656 SOS 156362 HAS SOPS 156362 HAS SOUS 40458 HAS SOUPS 40458 WITH SCORE 40614.362
AT ITER 4730 NEW BEST:: SOT 439649 SOS 154444 HAS SOPS 154444 HAS SOUS 40451 HAS SOUPS 40451 WITH SCORE 40605.444
AT ITER 4731 NEW BEST:: SOT 439629 SOS 154394 HAS SOPS 154394 HAS SOUS 40293 HAS SOUPS 40293 WITH SCORE 40447.394
AT ITER 4751 NEW BEST:: SOT 439559 SOS 154254 HAS SOPS 154254 HAS SOUS 40127 HAS SOUPS 40127 WITH SCORE 40281.254
AT ITER 4760 NEW BEST:: SOT 439553 SOS 154231 HAS SOPS 154231 HAS SOUS 40104 HAS SOUPS 40104 WITH SCORE 40258.231
AT ITER 4776 NEW BEST:: SOT 439543 SOS 154211 HAS SOPS 154211 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40238.211
AT ITER 4812 NEW BEST:: SOT 439550 SOS 154162 HAS SOPS 154162 HAS SOUS 40028 HAS SOUPS 40028 WITH SCORE 40182.162
AT ITER 4825 NEW BEST:: SOT 439475 SOS 133537 HAS SOPS 133537 HAS SOUS 39878 HAS SOUPS 39878 WITH SCORE 40011.537
AT ITER 4830 NEW BEST:: SOT 439459 SOS 133523 HAS SOPS 133523 HAS SOUS 39864 HAS SOUPS 39864 WITH SCORE 39997.523
AT ITER 4895 NEW BEST:: SOT 439459 SOS 133515 HAS SOPS 133515 HAS SOUS 39856 HAS SOUPS 39856 WITH SCORE 39989.515
AT ITER 4924 NEW BEST:: SOT 439396 SOS 133444 HAS SOPS 133444 HAS SOUS 39785 HAS SOUPS 39785 WITH SCORE 39918.444
AT ITER 4942 NEW BEST:: SOT 439384 SOS 133444 HAS SOPS 133444 HAS SOUS 39593 HAS SOUPS 39593 WITH SCORE 39726.444
AT ITER 4992 NEW BEST:: SOT 439384 SOS 133440 HAS SOPS 133440 HAS SOUS 39593 HAS SOUPS 39593 WITH SCORE 39726.44
AT ITER 5024 NEW BEST:: SOT 439384 SOS 133440 HAS SOPS 133440 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38650.44
AT ITER 5039 NEW BEST:: SOT 439381 SOS 133463 HAS SOPS 133463 HAS SOUS 38511 HAS SOUPS 38511 WITH SCORE 38644.463
AT ITER 5093 NEW BEST:: SOT 439377 SOS 133455 HAS SOPS 133455 HAS SOUS 38503 HAS SOUPS 38503 WITH SCORE 38636.455
AT ITER 5097 NEW BEST:: SOT 439351 SOS 133277 HAS SOPS 133277 HAS SOUS 38489 HAS SOUPS 38489 WITH SCORE 38622.277
AT ITER 5109 NEW BEST:: SOT 439330 SOS 133235 HAS SOPS 133235 HAS SOUS 38447 HAS SOUPS 38447 WITH SCORE 38580.235
AT ITER 5147 NEW BEST:: SOT 439317 SOS 133222 HAS SOPS 133222 HAS SOUS 38434 HAS SOUPS 38434 WITH SCORE 38567.222
AT ITER 5161 NEW BEST:: SOT 439312 SOS 133212 HAS SOPS 133212 HAS SOUS 38424 HAS SOUPS 38424 WITH SCORE 38557.212
AT ITER 5176 NEW BEST:: SOT 439291 SOS 133170 HAS SOPS 133170 HAS SOUS 38382 HAS SOUPS 38382 WITH SCORE 38515.17
AT ITER 5209 NEW BEST:: SOT 439279 SOS 133086 HAS SOPS 133086 HAS SOUS 38354 HAS SOUPS 38354 WITH SCORE 38487.086
AT ITER 5212 NEW BEST:: SOT 439272 SOS 133079 HAS SOPS 133079 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38480.079
AT ITER 5231 NEW BEST:: SOT 439260 SOS 133074 HAS SOPS 133074 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38475.074
AT ITER 5232 NEW BEST:: SOT 439267 SOS 131774 HAS SOPS 131774 HAS SOUS 38338 HAS SOUPS 38338 WITH SCORE 38469.774
AT ITER 5275 NEW BEST:: SOT 439261 SOS 131762 HAS SOPS 131762 HAS SOUS 38326 HAS SOUPS 38326 WITH SCORE 38457.762
AT ITER 5293 NEW BEST:: SOT 439261 SOS 131762 HAS SOPS 131762 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38422.762
AT ITER 5328 NEW BEST:: SOT 439255 SOS 131750 HAS SOPS 131750 HAS SOUS 38279 HAS SOUPS 38279 WITH SCORE 38410.75
AT ITER 5364 NEW BEST:: SOT 439236 SOS 131712 HAS SOPS 131712 HAS SOUS 38082 HAS SOUPS 38082 WITH SCORE 38213.712
AT ITER 5409 NEW BEST:: SOT 439228 SOS 131711 HAS SOPS 131711 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38207.711
AT ITER 5413 NEW BEST:: SOT 439222 SOS 131699 HAS SOPS 131699 HAS SOUS 38064 HAS SOUPS 38064 WITH SCORE 38195.699
AT ITER 5425 NEW BEST:: SOT 439222 SOS 131695 HAS SOPS 131695 HAS SOUS 38064 HAS SOUPS 38064 WITH SCORE 38195.695
AT ITER 5459 NEW BEST:: SOT 439222 SOS 131759 HAS SOPS 131759 HAS SOUS 38052 HAS SOUPS 38052 WITH SCORE 38183.759
AT ITER 5464 NEW BEST:: SOT 439214 SOS 131311 HAS SOPS 131311 HAS SOUS 38025 HAS SOUPS 38025 WITH SCORE 38156.311
AT ITER 5474 NEW BEST:: SOT 439193 SOS 131255 HAS SOPS 131255 HAS SOUS 37969 HAS SOUPS 37969 WITH SCORE 38100.255
AT ITER 5534 NEW BEST:: SOT 439190 SOS 131252 HAS SOPS 131252 HAS SOUS 37966 HAS SOUPS 37966 WITH SCORE 38097.252
AT ITER 5584 NEW BEST:: SOT 439173 SOS 131218 HAS SOPS 131218 HAS SOUS 37903 HAS SOUPS 37903 WITH SCORE 38034.218
AT ITER 5586 NEW BEST:: SOT 439168 SOS 131129 HAS SOPS 131129 HAS SOUS 37893 HAS SOUPS 37893 WITH SCORE 38024.129
AT ITER 5597 NEW BEST:: SOT 439164 SOS 131669 HAS SOPS 131669 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 38022.669
AT ITER 5629 NEW BEST:: SOT 439155 SOS 131651 HAS SOPS 131651 HAS SOUS 37803 HAS SOUPS 37803 WITH SCORE 37934.651
AT ITER 5638 NEW BEST:: SOT 439151 SOS 131633 HAS SOPS 131633 HAS SOUS 37794 HAS SOUPS 37794 WITH SCORE 37925.633
AT ITER 5641 NEW BEST:: SOT 439140 SOS 131611 HAS SOPS 131611 HAS SOUS 37781 HAS SOUPS 37781 WITH SCORE 37912.611
AT ITER 5676 NEW BEST:: SOT 439140 SOS 131611 HAS SOPS 131611 HAS SOUS 37737 HAS SOUPS 37737 WITH SCORE 37868.611
AT ITER 5691 NEW BEST:: SOT 439131 SOS 131593 HAS SOPS 131593 HAS SOUS 37714 HAS SOUPS 37714 WITH SCORE 37845.593
AT ITER 5710 NEW BEST:: SOT 439130 SOS 131581 HAS SOPS 131581 HAS SOUS 37701 HAS SOUPS 37701 WITH SCORE 37832.581
AT ITER 5801 NEW BEST:: SOT 439118 SOS 131581 HAS SOPS 131581 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37724.581
AT ITER 5812 NEW BEST:: SOT 439109 SOS 131567 HAS SOPS 131567 HAS SOUS 37579 HAS SOUPS 37579 WITH SCORE 37710.567
AT ITER 5850 NEW BEST:: SOT 439100 SOS 131549 HAS SOPS 131549 HAS SOUS 37561 HAS SOUPS 37561 WITH SCORE 37692.549
AT ITER 5851 NEW BEST:: SOT 439106 SOS 131561 HAS SOPS 131561 HAS SOUS 37515 HAS SOUPS 37515 WITH SCORE 37646.561
AT ITER 6006 NEW BEST:: SOT 439106 SOS 131561 HAS SOPS 131561 HAS SOUS 37514 HAS SOUPS 37514 WITH SCORE 37645.561
AT ITER 6031 NEW BEST:: SOT 438585 SOS 131095 HAS SOPS 131095 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37597.095
AT ITER 6044 NEW BEST:: SOT 438565 SOS 131034 HAS SOPS 131034 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37557.034
AT ITER 6052 NEW BEST:: SOT 438565 SOS 131034 HAS SOPS 131034 HAS SOUS 37423 HAS SOUPS 37423 WITH SCORE 37554.034
AT ITER 6072 NEW BEST:: SOT 438559 SOS 131014 HAS SOPS 131014 HAS SOUS 35371 HAS SOUPS 35371 WITH SCORE 35502.014
AT ITER 6098 NEW BEST:: SOT 438559 SOS 131014 HAS SOPS 131014 HAS SOUS 35368 HAS SOUPS 35368 WITH SCORE 35499.014
AT ITER 6115 NEW BEST:: SOT 438558 SOS 131012 HAS SOPS 131012 HAS SOUS 35367 HAS SOUPS 35367 WITH SCORE 35498.012
AT ITER 6121 NEW BEST:: SOT 438556 SOS 131008 HAS SOPS 131008 HAS SOUS 35363 HAS SOUPS 35363 WITH SCORE 35494.008
AT ITER 6209 NEW BEST:: SOT 438553 SOS 131002 HAS SOPS 131002 HAS SOUS 35357 HAS SOUPS 35357 WITH SCORE 35488.002
AT ITER 6240 NEW BEST:: SOT 438469 SOS 130906 HAS SOPS 130906 HAS SOUS 35272 HAS SOUPS 35272 WITH SCORE 35402.906
AT ITER 6259 NEW BEST:: SOT 438468 SOS 130904 HAS SOPS 130904 HAS SOUS 35270 HAS SOUPS 35270 WITH SCORE 35400.904
AT ITER 6267 NEW BEST:: SOT 438454 SOS 130876 HAS SOPS 130876 HAS SOUS 35258 HAS SOUPS 35258 WITH SCORE 35388.876
AT ITER 6289 NEW BEST:: SOT 438454 SOS 130788 HAS SOPS 130788 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35334.788
AT ITER 6310 NEW BEST:: SOT 438439 SOS 130796 HAS SOPS 130796 HAS SOUS 35196 HAS SOUPS 35196 WITH SCORE 35326.796
AT ITER 6326 NEW BEST:: SOT 438425 SOS 130782 HAS SOPS 130782 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35312.782
AT ITER 6342 NEW BEST:: SOT 438425 SOS 130771 HAS SOPS 130771 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35312.771
AT ITER 6383 NEW BEST:: SOT 438325 SOS 130571 HAS SOPS 130571 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35180.571
AT ITER 6449 NEW BEST:: SOT 438325 SOS 130599 HAS SOPS 130599 HAS SOUS 34986 HAS SOUPS 34986 WITH SCORE 35116.599
AT ITER 6494 NEW BEST:: SOT 438318 SOS 130585 HAS SOPS 130585 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35102.585
AT ITER 6519 NEW BEST:: SOT 438310 SOS 130529 HAS SOPS 130529 HAS SOUS 34956 HAS SOUPS 34956 WITH SCORE 35086.529
AT ITER 6539 NEW BEST:: SOT 438307 SOS 130523 HAS SOPS 130523 HAS SOUS 34950 HAS SOUPS 34950 WITH SCORE 35080.523
AT ITER 6633 NEW BEST:: SOT 438274 SOS 127080 HAS SOPS 127080 HAS SOUS 34904 HAS SOUPS 34904 WITH SCORE 35031.08
AT ITER 6649 NEW BEST:: SOT 438269 SOS 127070 HAS SOPS 127070 HAS SOUS 34884 HAS SOUPS 34884 WITH SCORE 35011.07
AT ITER 6658 NEW BEST:: SOT 438269 SOS 127052 HAS SOPS 127052 HAS SOUS 34875 HAS SOUPS 34875 WITH SCORE 35002.052
AT ITER 6687 NEW BEST:: SOT 438271 SOS 127056 HAS SOPS 127056 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34994.056
AT ITER 6688 NEW BEST:: SOT 438271 SOS 127039 HAS SOPS 127039 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34994.039
AT ITER 6698 NEW BEST:: SOT 438204 SOS 126982 HAS SOPS 126982 HAS SOUS 34792 HAS SOUPS 34792 WITH SCORE 34918.982
AT ITER 6791 NEW BEST:: SOT 438197 SOS 126770 HAS SOPS 126770 HAS SOUS 34743 HAS SOUPS 34743 WITH SCORE 34869.77
AT ITER 6883 NEW BEST:: SOT 438175 SOS 126726 HAS SOPS 126726 HAS SOUS 34649 HAS SOUPS 34649 WITH SCORE 34775.726
AT ITER 6900 NEW BEST:: SOT 438165 SOS 126706 HAS SOPS 126706 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34755.706
AT ITER 6951 NEW BEST:: SOT 438158 SOS 126661 HAS SOPS 126661 HAS SOUS 34622 HAS SOUPS 34622 WITH SCORE 34748.661
AT ITER 6962 NEW BEST:: SOT 438157 SOS 126658 HAS SOPS 126658 HAS SOUS 34558 HAS SOUPS 34558 WITH SCORE 34684.658
AT ITER 6978 NEW BEST:: SOT 438157 SOS 126658 HAS SOPS 126658 HAS SOUS 34556 HAS SOUPS 34556 WITH SCORE 34682.658
AT ITER 7011 NEW BEST:: SOT 438156 SOS 126656 HAS SOPS 126656 HAS SOUS 34554 HAS SOUPS 34554 WITH SCORE 34680.656
AT ITER 7025 NEW BEST:: SOT 438317 SOS 126824 HAS SOPS 126824 HAS SOUS 34482 HAS SOUPS 34482 WITH SCORE 34608.824
AT ITER 7078 NEW BEST:: SOT 438317 SOS 126810 HAS SOPS 126810 HAS SOUS 34468 HAS SOUPS 34468 WITH SCORE 34594.81
AT ITER 7091 NEW BEST:: SOT 438316 SOS 126809 HAS SOPS 126809 HAS SOUS 34467 HAS SOUPS 34467 WITH SCORE 34593.809
AT ITER 7108 NEW BEST:: SOT 438308 SOS 126749 HAS SOPS 126749 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34585.749
AT ITER 7117 NEW BEST:: SOT 438301 SOS 126735 HAS SOPS 126735 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34571.735
AT ITER 7141 NEW BEST:: SOT 438306 SOS 126697 HAS SOPS 126697 HAS SOUS 34407 HAS SOUPS 34407 WITH SCORE 34533.697
AT ITER 7161 NEW BEST:: SOT 438304 SOS 126719 HAS SOPS 126719 HAS SOUS 34403 HAS SOUPS 34403 WITH SCORE 34529.719
AT ITER 7186 NEW BEST:: SOT 438304 SOS 126721 HAS SOPS 126721 HAS SOUS 34402 HAS SOUPS 34402 WITH SCORE 34528.721
AT ITER 7231 NEW BEST:: SOT 438303 SOS 126720 HAS SOPS 126720 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34527.72
AT ITER 7273 NEW BEST:: SOT 438303 SOS 126719 HAS SOPS 126719 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34527.719
AT ITER 7279 NEW BEST:: SOT 438303 SOS 126707 HAS SOPS 126707 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34527.707
AT ITER 7348 NEW BEST:: SOT 438301 SOS 126703 HAS SOPS 126703 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34525.703
AT ITER 7360 NEW BEST:: SOT 438143 SOS 126545 HAS SOPS 126545 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34355.545
AT ITER 7383 NEW BEST:: SOT 438155 SOS 126569 HAS SOPS 126569 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34331.569
AT ITER 7395 NEW BEST:: SOT 438152 SOS 126560 HAS SOPS 126560 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34331.56
AT ITER 7416 NEW BEST:: SOT 438150 SOS 126556 HAS SOPS 126556 HAS SOUS 34201 HAS SOUPS 34201 WITH SCORE 34327.556
AT ITER 7446 NEW BEST:: SOT 438139 SOS 126534 HAS SOPS 126534 HAS SOUS 34190 HAS SOUPS 34190 WITH SCORE 34316.534
AT ITER 7447 NEW BEST:: SOT 438117 SOS 126512 HAS SOPS 126512 HAS SOUS 34168 HAS SOUPS 34168 WITH SCORE 34294.512
AT ITER 7487 NEW BEST:: SOT 437690 SOS 126064 HAS SOPS 126064 HAS SOUS 33756 HAS SOUPS 33756 WITH SCORE 33882.064
AT ITER 7530 NEW BEST:: SOT 437681 SOS 126059 HAS SOPS 126059 HAS SOUS 33751 HAS SOUPS 33751 WITH SCORE 33877.059
AT ITER 7551 NEW BEST:: SOT 437681 SOS 126056 HAS SOPS 126056 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33874.056
AT ITER 7578 NEW BEST:: SOT 437664 SOS 125716 HAS SOPS 125716 HAS SOUS 33714 HAS SOUPS 33714 WITH SCORE 33839.716
AT ITER 7623 NEW BEST:: SOT 437648 SOS 125412 HAS SOPS 125412 HAS SOUS 33682 HAS SOUPS 33682 WITH SCORE 33807.412
AT ITER 7643 NEW BEST:: SOT 437650 SOS 125272 HAS SOPS 125272 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33803.272
AT ITER 7729 NEW BEST:: SOT 437649 SOS 125270 HAS SOPS 125270 HAS SOUS 33676 HAS SOUPS 33676 WITH SCORE 33801.27
AT ITER 7733 NEW BEST:: SOT 437570 SOS 125198 HAS SOPS 125198 HAS SOUS 33549 HAS SOUPS 33549 WITH SCORE 33674.198
AT ITER 7744 NEW BEST:: SOT 437568 SOS 125203 HAS SOPS 125203 HAS SOUS 33545 HAS SOUPS 33545 WITH SCORE 33670.203
AT ITER 7746 NEW BEST:: SOT 437564 SOS 125195 HAS SOPS 125195 HAS SOUS 33541 HAS SOUPS 33541 WITH SCORE 33666.195
AT ITER 7792 NEW BEST:: SOT 437562 SOS 125191 HAS SOPS 125191 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33662.191
AT ITER 7795 NEW BEST:: SOT 437578 SOS 125718 HAS SOPS 125718 HAS SOUS 33514 HAS SOUPS 33514 WITH SCORE 33639.718
AT ITER 7835 NEW BEST:: SOT 437576 SOS 125716 HAS SOPS 125716 HAS SOUS 33512 HAS SOUPS 33512 WITH SCORE 33637.716
AT ITER 7846 NEW BEST:: SOT 437576 SOS 125716 HAS SOPS 125716 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33630.716
AT ITER 7859 NEW BEST:: SOT 437558 SOS 125696 HAS SOPS 125696 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33628.696
AT ITER 7865 NEW BEST:: SOT 437003 SOS 125390 HAS SOPS 125390 HAS SOUS 32967 HAS SOUPS 32967 WITH SCORE 33092.39
AT ITER 7903 NEW BEST:: SOT 436981 SOS 125324 HAS SOPS 125324 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 33075.324
AT ITER 7950 NEW BEST:: SOT 436977 SOS 125301 HAS SOPS 125301 HAS SOUS 32946 HAS SOUPS 32946 WITH SCORE 33071.301
AT ITER 8011 NEW BEST:: SOT 436959 SOS 125283 HAS SOPS 125283 HAS SOUS 32910 HAS SOUPS 32910 WITH SCORE 33035.283
AT ITER 8033 NEW BEST:: SOT 436956 SOS 125273 HAS SOPS 125273 HAS SOUS 32900 HAS SOUPS 32900 WITH SCORE 33025.273
AT ITER 8101 NEW BEST:: SOT 436963 SOS 125268 HAS SOPS 125268 HAS SOUS 32767 HAS SOUPS 32767 WITH SCORE 32892.268
AT ITER 8137 NEW BEST:: SOT 436731 SOS 128980 HAS SOPS 128980 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32663.98
AT ITER 8158 NEW BEST:: SOT 436740 SOS 128981 HAS SOPS 128981 HAS SOUS 32506 HAS SOUPS 32506 WITH SCORE 32634.981
AT ITER 8171 NEW BEST:: SOT 436752 SOS 128964 HAS SOPS 128964 HAS SOUS 32486 HAS SOUPS 32486 WITH SCORE 32614.964
AT ITER 8193 NEW BEST:: SOT 436752 SOS 128957 HAS SOPS 128957 HAS SOUS 32486 HAS SOUPS 32486 WITH SCORE 32614.957
AT ITER 8212 NEW BEST:: SOT 436739 SOS 128944 HAS SOPS 128944 HAS SOUS 32473 HAS SOUPS 32473 WITH SCORE 32601.944
AT ITER 8217 NEW BEST:: SOT 436743 SOS 128976 HAS SOPS 128976 HAS SOUS 32468 HAS SOUPS 32468 WITH SCORE 32596.976
AT ITER 8250 NEW BEST:: SOT 436706 SOS 128605 HAS SOPS 128605 HAS SOUS 32447 HAS SOUPS 32447 WITH SCORE 32575.605
AT ITER 8277 NEW BEST:: SOT 436706 SOS 127971 HAS SOPS 127971 HAS SOUS 32403 HAS SOUPS 32403 WITH SCORE 32530.971
AT ITER 8298 NEW BEST:: SOT 436586 SOS 127846 HAS SOPS 127846 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32481.846
AT ITER 8391 NEW BEST:: SOT 436031 SOS 154702 HAS SOPS 154702 HAS SOUS 32313 HAS SOUPS 32313 WITH SCORE 32467.702
AT ITER 8420 NEW BEST:: SOT 436030 SOS 139023 HAS SOPS 139023 HAS SOUS 32311 HAS SOUPS 32311 WITH SCORE 32450.023
AT ITER 8436 NEW BEST:: SOT 436018 SOS 138999 HAS SOPS 138999 HAS SOUS 32280 HAS SOUPS 32280 WITH SCORE 32418.999
AT ITER 8494 NEW BEST:: SOT 436018 SOS 138987 HAS SOPS 138987 HAS SOUS 32280 HAS SOUPS 32280 WITH SCORE 32418.987
AT ITER 8500 NEW BEST:: SOT 436014 SOS 136885 HAS SOPS 136885 HAS SOUS 32280 HAS SOUPS 32280 WITH SCORE 32416.885
AT ITER 8655 NEW BEST:: SOT 436015 SOS 136887 HAS SOPS 136887 HAS SOUS 32263 HAS SOUPS 32263 WITH SCORE 32399.887
AT ITER 8699 NEW BEST:: SOT 436015 SOS 136887 HAS SOPS 136887 HAS SOUS 32260 HAS SOUPS 32260 WITH SCORE 32396.887
AT ITER 8775 NEW BEST:: SOT 436015 SOS 136880 HAS SOPS 136880 HAS SOUS 32260 HAS SOUPS 32260 WITH SCORE 32396.88
AT ITER 8806 NEW BEST:: SOT 436000 SOS 136850 HAS SOPS 136850 HAS SOUS 32230 HAS SOUPS 32230 WITH SCORE 32366.85
AT ITER 8901 NEW BEST:: SOT 436001 SOS 136852 HAS SOPS 136852 HAS SOUS 32218 HAS SOUPS 32218 WITH SCORE 32354.852
AT ITER 8966 NEW BEST:: SOT 435970 SOS 137341 HAS SOPS 137341 HAS SOUS 32187 HAS SOUPS 32187 WITH SCORE 32324.341
AT ITER 8987 NEW BEST:: SOT 435984 SOS 137369 HAS SOPS 137369 HAS SOUS 32184 HAS SOUPS 32184 WITH SCORE 32321.369
AT ITER 9028 NEW BEST:: SOT 435981 SOS 137363 HAS SOPS 137363 HAS SOUS 32178 HAS SOUPS 32178 WITH SCORE 32315.363
AT ITER 9090 NEW BEST:: SOT 435980 SOS 137361 HAS SOPS 137361 HAS SOUS 32176 HAS SOUPS 32176 WITH SCORE 32313.361
AT ITER 9099 NEW BEST:: SOT 435980 SOS 137361 HAS SOPS 137361 HAS SOUS 32167 HAS SOUPS 32167 WITH SCORE 32304.361
AT ITER 9129 NEW BEST:: SOT 435977 SOS 126047 HAS SOPS 126047 HAS SOUS 32161 HAS SOUPS 32161 WITH SCORE 32287.047
AT ITER 9149 NEW BEST:: SOT 435939 SOS 125675 HAS SOPS 125675 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32209.675
AT ITER 9192 NEW BEST:: SOT 435933 SOS 125669 HAS SOPS 125669 HAS SOUS 32072 HAS SOUPS 32072 WITH SCORE 32197.669
AT ITER 9235 NEW BEST:: SOT 436160 SOS 125833 HAS SOPS 125833 HAS SOUS 32045 HAS SOUPS 32045 WITH SCORE 32170.833
AT ITER 9305 NEW BEST:: SOT 436152 SOS 125841 HAS SOPS 125841 HAS SOUS 32009 HAS SOUPS 32009 WITH SCORE 32134.841
AT ITER 9307 NEW BEST:: SOT 436152 SOS 125823 HAS SOPS 125823 HAS SOUS 32009 HAS SOUPS 32009 WITH SCORE 32134.823
AT ITER 9322 NEW BEST:: SOT 436177 SOS 125821 HAS SOPS 125821 HAS SOUS 32007 HAS SOUPS 32007 WITH SCORE 32132.821
AT ITER 9364 NEW BEST:: SOT 436168 SOS 125803 HAS SOPS 125803 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32115.803
AT ITER 9442 NEW BEST:: SOT 436168 SOS 125802 HAS SOPS 125802 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32114.802
AT ITER 9447 NEW BEST:: SOT 436127 SOS 125790 HAS SOPS 125790 HAS SOUS 31956 HAS SOUPS 31956 WITH SCORE 32081.79
AT ITER 9450 NEW BEST:: SOT 436088 SOS 125672 HAS SOPS 125672 HAS SOUS 31941 HAS SOUPS 31941 WITH SCORE 32066.672
AT ITER 9513 NEW BEST:: SOT 436088 SOS 125671 HAS SOPS 125671 HAS SOUS 31941 HAS SOUPS 31941 WITH SCORE 32066.671
AT ITER 9561 NEW BEST:: SOT 436088 SOS 125689 HAS SOPS 125689 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 32048.689
AT ITER 9592 NEW BEST:: SOT 436094 SOS 125694 HAS SOPS 125694 HAS SOUS 31866 HAS SOUPS 31866 WITH SCORE 31991.694
AT ITER 9613 NEW BEST:: SOT 436189 SOS 125789 HAS SOPS 125789 HAS SOUS 31835 HAS SOUPS 31835 WITH SCORE 31960.789
AT ITER 9631 NEW BEST:: SOT 436188 SOS 125787 HAS SOPS 125787 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31958.787
AT ITER 9678 NEW BEST:: SOT 436145 SOS 125751 HAS SOPS 125751 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31952.751
AT ITER 9711 NEW BEST:: SOT 436145 SOS 125750 HAS SOPS 125750 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31952.75
AT ITER 9733 NEW BEST:: SOT 436171 SOS 126006 HAS SOPS 126006 HAS SOUS 31612 HAS SOUPS 31612 WITH SCORE 31738.006
AT ITER 9743 NEW BEST:: SOT 436170 SOS 126008 HAS SOPS 126008 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 31668.008
AT ITER 9762 NEW BEST:: SOT 436149 SOS 125987 HAS SOPS 125987 HAS SOUS 31521 HAS SOUPS 31521 WITH SCORE 31646.987
AT ITER 9765 NEW BEST:: SOT 436149 SOS 125987 HAS SOPS 125987 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31636.987
AT ITER 9810 NEW BEST:: SOT 436165 SOS 125971 HAS SOPS 125971 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31636.971
AT ITER 9830 NEW BEST:: SOT 436154 SOS 125969 HAS SOPS 125969 HAS SOUS 31509 HAS SOUPS 31509 WITH SCORE 31634.969
AT ITER 9902 NEW BEST:: SOT 436092 SOS 125905 HAS SOPS 125905 HAS SOUS 31385 HAS SOUPS 31385 WITH SCORE 31510.905
AT ITER 9904 NEW BEST:: SOT 436080 SOS 125898 HAS SOPS 125898 HAS SOUS 31361 HAS SOUPS 31361 WITH SCORE 31486.898
AT ITER 9996 NEW BEST:: SOT 436079 SOS 125880 HAS SOPS 125880 HAS SOUS 31360 HAS SOUPS 31360 WITH SCORE 31485.88
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4587984 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149200 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is AutonomousCar-PT-09b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813591200672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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