Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900256.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 28 16:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 79K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589106356392

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

Filename model.pnml
Petri model created: 320 places, 271 transitions, 827 arcs.
AT ITER 0 NEW BEST:: SOT 52285 SOS 10667 HAS SOPS 10667 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9648.667
AT ITER 51 NEW BEST:: SOT 52285 SOS 10598 HAS SOPS 10598 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9647.598
AT ITER 71 NEW BEST:: SOT 52283 SOS 10596 HAS SOPS 10596 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9645.596
AT ITER 73 NEW BEST:: SOT 52283 SOS 10562 HAS SOPS 10562 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9611.562
AT ITER 87 NEW BEST:: SOT 52200 SOS 10600 HAS SOPS 10600 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9549.6
AT ITER 98 NEW BEST:: SOT 52200 SOS 10580 HAS SOPS 10580 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9529.58
AT ITER 123 NEW BEST:: SOT 52200 SOS 10602 HAS SOPS 10602 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9508.602
AT ITER 154 NEW BEST:: SOT 52133 SOS 10563 HAS SOPS 10563 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9469.563
AT ITER 213 NEW BEST:: SOT 52132 SOS 10547 HAS SOPS 10547 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.547
AT ITER 222 NEW BEST:: SOT 51973 SOS 10684 HAS SOPS 10684 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9359.684
AT ITER 243 NEW BEST:: SOT 51918 SOS 10709 HAS SOPS 10709 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9270.709
AT ITER 249 NEW BEST:: SOT 51913 SOS 10700 HAS SOPS 10700 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9265.7
AT ITER 251 NEW BEST:: SOT 51912 SOS 10699 HAS SOPS 10699 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9264.699
AT ITER 265 NEW BEST:: SOT 51900 SOS 10603 HAS SOPS 10603 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9264.603
AT ITER 270 NEW BEST:: SOT 51875 SOS 10555 HAS SOPS 10555 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9216.555
AT ITER 295 NEW BEST:: SOT 51861 SOS 10536 HAS SOPS 10536 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9199.536
AT ITER 306 NEW BEST:: SOT 51872 SOS 10537 HAS SOPS 10537 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.537
AT ITER 316 NEW BEST:: SOT 51851 SOS 10516 HAS SOPS 10516 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9169.516
AT ITER 318 NEW BEST:: SOT 51851 SOS 10412 HAS SOPS 10412 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9169.412
AT ITER 340 NEW BEST:: SOT 51820 SOS 10394 HAS SOPS 10394 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9126.394
AT ITER 348 NEW BEST:: SOT 51811 SOS 10361 HAS SOPS 10361 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.361
AT ITER 350 NEW BEST:: SOT 51800 SOS 10355 HAS SOPS 10355 HAS SOUS 9092 HAS SOUPS 9092 WITH SCORE 9102.355
AT ITER 361 NEW BEST:: SOT 51784 SOS 10338 HAS SOPS 10338 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9085.338
AT ITER 374 NEW BEST:: SOT 51776 SOS 10304 HAS SOPS 10304 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9051.304
AT ITER 386 NEW BEST:: SOT 51773 SOS 10303 HAS SOPS 10303 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9050.303
AT ITER 387 NEW BEST:: SOT 51773 SOS 10275 HAS SOPS 10275 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9036.275
AT ITER 389 NEW BEST:: SOT 51750 SOS 10216 HAS SOPS 10216 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.216
AT ITER 393 NEW BEST:: SOT 51744 SOS 10191 HAS SOPS 10191 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8966.191
AT ITER 396 NEW BEST:: SOT 51736 SOS 10175 HAS SOPS 10175 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8950.175
AT ITER 415 NEW BEST:: SOT 51729 SOS 10160 HAS SOPS 10160 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8935.16
AT ITER 426 NEW BEST:: SOT 51702 SOS 10133 HAS SOPS 10133 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.133
AT ITER 431 NEW BEST:: SOT 51691 SOS 10132 HAS SOPS 10132 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8907.132
AT ITER 450 NEW BEST:: SOT 51660 SOS 10112 HAS SOPS 10112 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8874.112
AT ITER 486 NEW BEST:: SOT 51670 SOS 9932 HAS SOPS 9932 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.932
AT ITER 487 NEW BEST:: SOT 51670 SOS 9919 HAS SOPS 9919 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.919
AT ITER 513 NEW BEST:: SOT 51660 SOS 9909 HAS SOPS 9909 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8858.909
AT ITER 548 NEW BEST:: SOT 51652 SOS 9901 HAS SOPS 9901 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8850.901
AT ITER 560 NEW BEST:: SOT 51629 SOS 9832 HAS SOPS 9832 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8781.832
AT ITER 568 NEW BEST:: SOT 51587 SOS 9800 HAS SOPS 9800 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8744.8
AT ITER 576 NEW BEST:: SOT 51581 SOS 9794 HAS SOPS 9794 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8738.794
AT ITER 578 NEW BEST:: SOT 51528 SOS 9692 HAS SOPS 9692 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.692
AT ITER 637 NEW BEST:: SOT 51478 SOS 9672 HAS SOPS 9672 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8585.672
AT ITER 656 NEW BEST:: SOT 51447 SOS 9656 HAS SOPS 9656 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8531.656
AT ITER 664 NEW BEST:: SOT 51392 SOS 9627 HAS SOPS 9627 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.627
AT ITER 672 NEW BEST:: SOT 51387 SOS 9612 HAS SOPS 9612 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8468.612
AT ITER 689 NEW BEST:: SOT 51359 SOS 9598 HAS SOPS 9598 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8440.598
AT ITER 744 NEW BEST:: SOT 51327 SOS 9582 HAS SOPS 9582 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8424.582
AT ITER 747 NEW BEST:: SOT 51326 SOS 9567 HAS SOPS 9567 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8417.567
AT ITER 762 NEW BEST:: SOT 51288 SOS 9620 HAS SOPS 9620 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8352.62
AT ITER 766 NEW BEST:: SOT 51288 SOS 9600 HAS SOPS 9600 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.6
AT ITER 792 NEW BEST:: SOT 51288 SOS 9592 HAS SOPS 9592 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8324.592
AT ITER 803 NEW BEST:: SOT 51274 SOS 9582 HAS SOPS 9582 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8310.582
AT ITER 822 NEW BEST:: SOT 51274 SOS 9563 HAS SOPS 9563 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8303.563
AT ITER 823 NEW BEST:: SOT 51271 SOS 9559 HAS SOPS 9559 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8299.559
AT ITER 903 NEW BEST:: SOT 51273 SOS 9561 HAS SOPS 9561 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.561
AT ITER 919 NEW BEST:: SOT 51273 SOS 9560 HAS SOPS 9560 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8295.56
AT ITER 960 NEW BEST:: SOT 51273 SOS 9551 HAS SOPS 9551 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8286.551
AT ITER 986 NEW BEST:: SOT 51256 SOS 9503 HAS SOPS 9503 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8278.503
AT ITER 1006 NEW BEST:: SOT 51242 SOS 9489 HAS SOPS 9489 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8278.489
AT ITER 1008 NEW BEST:: SOT 51223 SOS 9517 HAS SOPS 9517 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8276.517
AT ITER 1056 NEW BEST:: SOT 51218 SOS 9512 HAS SOPS 9512 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8271.512
AT ITER 1068 NEW BEST:: SOT 51206 SOS 9487 HAS SOPS 9487 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.487
AT ITER 1070 NEW BEST:: SOT 51202 SOS 9483 HAS SOPS 9483 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8242.483
AT ITER 1086 NEW BEST:: SOT 51202 SOS 9483 HAS SOPS 9483 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.483
AT ITER 1088 NEW BEST:: SOT 51202 SOS 9472 HAS SOPS 9472 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.472
AT ITER 1089 NEW BEST:: SOT 51196 SOS 9460 HAS SOPS 9460 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.46
AT ITER 1113 NEW BEST:: SOT 51196 SOS 9458 HAS SOPS 9458 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.458
AT ITER 1114 NEW BEST:: SOT 51175 SOS 9403 HAS SOPS 9403 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8139.403
AT ITER 1141 NEW BEST:: SOT 51154 SOS 9382 HAS SOPS 9382 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8118.382
AT ITER 1149 NEW BEST:: SOT 51120 SOS 9379 HAS SOPS 9379 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.379
AT ITER 1155 NEW BEST:: SOT 51132 SOS 9274 HAS SOPS 9274 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.274
AT ITER 1156 NEW BEST:: SOT 51131 SOS 9273 HAS SOPS 9273 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8114.273
AT ITER 1169 NEW BEST:: SOT 51123 SOS 9257 HAS SOPS 9257 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8098.257
AT ITER 1216 NEW BEST:: SOT 51115 SOS 9249 HAS SOPS 9249 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.249
AT ITER 1267 NEW BEST:: SOT 51066 SOS 9293 HAS SOPS 9293 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8066.293
AT ITER 1294 NEW BEST:: SOT 51055 SOS 9289 HAS SOPS 9289 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8053.289
AT ITER 1311 NEW BEST:: SOT 51031 SOS 9273 HAS SOPS 9273 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8037.273
AT ITER 1332 NEW BEST:: SOT 51031 SOS 9272 HAS SOPS 9272 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8036.272
AT ITER 1334 NEW BEST:: SOT 51031 SOS 9262 HAS SOPS 9262 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8026.262
AT ITER 1357 NEW BEST:: SOT 51030 SOS 9261 HAS SOPS 9261 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8025.261
AT ITER 1410 NEW BEST:: SOT 51022 SOS 9260 HAS SOPS 9260 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.26
AT ITER 1427 NEW BEST:: SOT 50961 SOS 9210 HAS SOPS 9210 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7964.21
AT ITER 1451 NEW BEST:: SOT 50965 SOS 9204 HAS SOPS 9204 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7921.204
AT ITER 1456 NEW BEST:: SOT 50963 SOS 9202 HAS SOPS 9202 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7919.202
AT ITER 1468 NEW BEST:: SOT 50963 SOS 9202 HAS SOPS 9202 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.202
AT ITER 1484 NEW BEST:: SOT 50967 SOS 9204 HAS SOPS 9204 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7903.204
AT ITER 1549 NEW BEST:: SOT 50958 SOS 9195 HAS SOPS 9195 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7894.195
AT ITER 1553 NEW BEST:: SOT 50950 SOS 9178 HAS SOPS 9178 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7886.178
AT ITER 1558 NEW BEST:: SOT 50969 SOS 9172 HAS SOPS 9172 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7880.172
AT ITER 1564 NEW BEST:: SOT 50955 SOS 9153 HAS SOPS 9153 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7866.153
AT ITER 1586 NEW BEST:: SOT 50955 SOS 9146 HAS SOPS 9146 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7856.146
AT ITER 1618 NEW BEST:: SOT 50923 SOS 9066 HAS SOPS 9066 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7808.066
AT ITER 1641 NEW BEST:: SOT 50920 SOS 9062 HAS SOPS 9062 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7804.062
AT ITER 1652 NEW BEST:: SOT 50914 SOS 9050 HAS SOPS 9050 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7770.05
AT ITER 1699 NEW BEST:: SOT 50896 SOS 9062 HAS SOPS 9062 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7762.062
AT ITER 1764 NEW BEST:: SOT 50889 SOS 9055 HAS SOPS 9055 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.055
AT ITER 1783 NEW BEST:: SOT 50875 SOS 8989 HAS SOPS 8989 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7752.989
AT ITER 1793 NEW BEST:: SOT 50874 SOS 8988 HAS SOPS 8988 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7751.988
AT ITER 1802 NEW BEST:: SOT 50874 SOS 8988 HAS SOPS 8988 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.988
AT ITER 1845 NEW BEST:: SOT 50877 SOS 8971 HAS SOPS 8971 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7749.971
AT ITER 1846 NEW BEST:: SOT 50834 SOS 8962 HAS SOPS 8962 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7734.962
AT ITER 1850 NEW BEST:: SOT 50833 SOS 8961 HAS SOPS 8961 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7733.961
AT ITER 1859 NEW BEST:: SOT 50833 SOS 8949 HAS SOPS 8949 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7721.949
AT ITER 1898 NEW BEST:: SOT 50796 SOS 9002 HAS SOPS 9002 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7714.002
AT ITER 1929 NEW BEST:: SOT 50787 SOS 8989 HAS SOPS 8989 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7688.989
AT ITER 1972 NEW BEST:: SOT 50803 SOS 8982 HAS SOPS 8982 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.982
AT ITER 1973 NEW BEST:: SOT 50837 SOS 9050 HAS SOPS 9050 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7660.05
AT ITER 2009 NEW BEST:: SOT 50853 SOS 9020 HAS SOPS 9020 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7640.02
AT ITER 2087 NEW BEST:: SOT 50853 SOS 9016 HAS SOPS 9016 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7636.016
AT ITER 2124 NEW BEST:: SOT 50846 SOS 9015 HAS SOPS 9015 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7635.015
AT ITER 2130 NEW BEST:: SOT 50810 SOS 9004 HAS SOPS 9004 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7622.004
AT ITER 2163 NEW BEST:: SOT 50801 SOS 8978 HAS SOPS 8978 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7596.978
AT ITER 2265 NEW BEST:: SOT 50803 SOS 9227 HAS SOPS 9227 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7593.227
AT ITER 2268 NEW BEST:: SOT 50736 SOS 9160 HAS SOPS 9160 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.16
AT ITER 2271 NEW BEST:: SOT 50706 SOS 9110 HAS SOPS 9110 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7476.11
AT ITER 2272 NEW BEST:: SOT 50689 SOS 9161 HAS SOPS 9161 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7468.161
AT ITER 2282 NEW BEST:: SOT 50674 SOS 9132 HAS SOPS 9132 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7438.132
AT ITER 2291 NEW BEST:: SOT 50682 SOS 9140 HAS SOPS 9140 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7425.14
AT ITER 2319 NEW BEST:: SOT 50660 SOS 9096 HAS SOPS 9096 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7381.096
AT ITER 2320 NEW BEST:: SOT 50651 SOS 9065 HAS SOPS 9065 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7356.065
AT ITER 2335 NEW BEST:: SOT 50651 SOS 9021 HAS SOPS 9021 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7356.021
AT ITER 2348 NEW BEST:: SOT 50627 SOS 9007 HAS SOPS 9007 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7342.007
AT ITER 2382 NEW BEST:: SOT 50627 SOS 9001 HAS SOPS 9001 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7341.001
AT ITER 2470 NEW BEST:: SOT 50629 SOS 8999 HAS SOPS 8999 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7338.999
AT ITER 2496 NEW BEST:: SOT 50625 SOS 8968 HAS SOPS 8968 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.968
AT ITER 2556 NEW BEST:: SOT 50629 SOS 8963 HAS SOPS 8963 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7295.963
AT ITER 2576 NEW BEST:: SOT 50629 SOS 8958 HAS SOPS 8958 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.958
AT ITER 2595 NEW BEST:: SOT 50628 SOS 8957 HAS SOPS 8957 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.957
AT ITER 2598 NEW BEST:: SOT 50626 SOS 8952 HAS SOPS 8952 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7284.952
AT ITER 2618 NEW BEST:: SOT 50598 SOS 8816 HAS SOPS 8816 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7241.816
AT ITER 2671 NEW BEST:: SOT 50567 SOS 8799 HAS SOPS 8799 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.799
AT ITER 2710 NEW BEST:: SOT 50558 SOS 8775 HAS SOPS 8775 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.775
AT ITER 2714 NEW BEST:: SOT 50558 SOS 8767 HAS SOPS 8767 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7190.767
AT ITER 2748 NEW BEST:: SOT 50552 SOS 8761 HAS SOPS 8761 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7181.761
AT ITER 2777 NEW BEST:: SOT 50548 SOS 8737 HAS SOPS 8737 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.737
AT ITER 2784 NEW BEST:: SOT 50544 SOS 8721 HAS SOPS 8721 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.721
AT ITER 2825 NEW BEST:: SOT 50550 SOS 8727 HAS SOPS 8727 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7130.727
AT ITER 2835 NEW BEST:: SOT 50550 SOS 8704 HAS SOPS 8704 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.704
AT ITER 2854 NEW BEST:: SOT 50559 SOS 8696 HAS SOPS 8696 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.696
AT ITER 2862 NEW BEST:: SOT 50559 SOS 8695 HAS SOPS 8695 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.695
AT ITER 2874 NEW BEST:: SOT 50558 SOS 8694 HAS SOPS 8694 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.694
AT ITER 2878 NEW BEST:: SOT 50553 SOS 8659 HAS SOPS 8659 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7055.659
AT ITER 2894 NEW BEST:: SOT 50523 SOS 8629 HAS SOPS 8629 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7025.629
AT ITER 2930 NEW BEST:: SOT 50506 SOS 8612 HAS SOPS 8612 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.612
AT ITER 2962 NEW BEST:: SOT 50506 SOS 8611 HAS SOPS 8611 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7007.611
AT ITER 2987 NEW BEST:: SOT 50501 SOS 8601 HAS SOPS 8601 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6997.601
AT ITER 2993 NEW BEST:: SOT 50477 SOS 8545 HAS SOPS 8545 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6969.545
AT ITER 3012 NEW BEST:: SOT 50476 SOS 8548 HAS SOPS 8548 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6967.548
AT ITER 3102 NEW BEST:: SOT 50498 SOS 8547 HAS SOPS 8547 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.547
AT ITER 3108 NEW BEST:: SOT 50498 SOS 8540 HAS SOPS 8540 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6962.54
AT ITER 3120 NEW BEST:: SOT 50494 SOS 8535 HAS SOPS 8535 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6961.535
AT ITER 3121 NEW BEST:: SOT 50503 SOS 8511 HAS SOPS 8511 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.511
AT ITER 3135 NEW BEST:: SOT 50498 SOS 8378 HAS SOPS 8378 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.378
AT ITER 3139 NEW BEST:: SOT 50496 SOS 8386 HAS SOPS 8386 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.386
AT ITER 3164 NEW BEST:: SOT 50464 SOS 8114 HAS SOPS 8114 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6832.114
AT ITER 3173 NEW BEST:: SOT 50464 SOS 8102 HAS SOPS 8102 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6820.102
AT ITER 3176 NEW BEST:: SOT 50463 SOS 8100 HAS SOPS 8100 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.1
AT ITER 3204 NEW BEST:: SOT 50464 SOS 8091 HAS SOPS 8091 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.091
AT ITER 3248 NEW BEST:: SOT 50476 SOS 8076 HAS SOPS 8076 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6785.076
AT ITER 3320 NEW BEST:: SOT 50485 SOS 8085 HAS SOPS 8085 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6782.085
AT ITER 3352 NEW BEST:: SOT 50473 SOS 8079 HAS SOPS 8079 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6782.079
AT ITER 3353 NEW BEST:: SOT 50483 SOS 8089 HAS SOPS 8089 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.089
AT ITER 3357 NEW BEST:: SOT 50482 SOS 8084 HAS SOPS 8084 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6772.084
AT ITER 3382 NEW BEST:: SOT 50478 SOS 8080 HAS SOPS 8080 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.08
AT ITER 3390 NEW BEST:: SOT 50477 SOS 8077 HAS SOPS 8077 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6764.077
AT ITER 3398 NEW BEST:: SOT 50467 SOS 8062 HAS SOPS 8062 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.062
AT ITER 3402 NEW BEST:: SOT 50461 SOS 8057 HAS SOPS 8057 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.057
AT ITER 3409 NEW BEST:: SOT 50456 SOS 8047 HAS SOPS 8047 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6734.047
AT ITER 3433 NEW BEST:: SOT 50438 SOS 8086 HAS SOPS 8086 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.086
AT ITER 3520 NEW BEST:: SOT 50428 SOS 8076 HAS SOPS 8076 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6716.076
AT ITER 3559 NEW BEST:: SOT 50428 SOS 8061 HAS SOPS 8061 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.061
AT ITER 3561 NEW BEST:: SOT 50428 SOS 8059 HAS SOPS 8059 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.059
AT ITER 3599 NEW BEST:: SOT 50427 SOS 8057 HAS SOPS 8057 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.057
AT ITER 3646 NEW BEST:: SOT 50405 SOS 7969 HAS SOPS 7969 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.969
AT ITER 3656 NEW BEST:: SOT 50404 SOS 7968 HAS SOPS 7968 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6694.968
AT ITER 3670 NEW BEST:: SOT 50390 SOS 7937 HAS SOPS 7937 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6652.937
AT ITER 3698 NEW BEST:: SOT 50376 SOS 7911 HAS SOPS 7911 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6626.911
AT ITER 3779 NEW BEST:: SOT 50376 SOS 7911 HAS SOPS 7911 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.911
AT ITER 3813 NEW BEST:: SOT 50362 SOS 7892 HAS SOPS 7892 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.892
AT ITER 3821 NEW BEST:: SOT 50352 SOS 7879 HAS SOPS 7879 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6595.879
AT ITER 3830 NEW BEST:: SOT 50350 SOS 7877 HAS SOPS 7877 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6593.877
AT ITER 3848 NEW BEST:: SOT 50374 SOS 7876 HAS SOPS 7876 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.876
AT ITER 3864 NEW BEST:: SOT 50374 SOS 7876 HAS SOPS 7876 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6587.876
AT ITER 3952 NEW BEST:: SOT 50374 SOS 7870 HAS SOPS 7870 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.87
AT ITER 3996 NEW BEST:: SOT 50362 SOS 7838 HAS SOPS 7838 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.838
AT ITER 4000 NEW BEST:: SOT 50362 SOS 7836 HAS SOPS 7836 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.836
AT ITER 4012 NEW BEST:: SOT 50362 SOS 7828 HAS SOPS 7828 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.828
AT ITER 4060 NEW BEST:: SOT 50358 SOS 7821 HAS SOPS 7821 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.821
AT ITER 4125 NEW BEST:: SOT 50356 SOS 7812 HAS SOPS 7812 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6515.812
AT ITER 4134 NEW BEST:: SOT 50356 SOS 7795 HAS SOPS 7795 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6513.795
AT ITER 4139 NEW BEST:: SOT 50356 SOS 7791 HAS SOPS 7791 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.791
AT ITER 4224 NEW BEST:: SOT 50343 SOS 7798 HAS SOPS 7798 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6483.798
AT ITER 4271 NEW BEST:: SOT 50343 SOS 7797 HAS SOPS 7797 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.797
AT ITER 4278 NEW BEST:: SOT 50339 SOS 7793 HAS SOPS 7793 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.793
AT ITER 4279 NEW BEST:: SOT 50336 SOS 7787 HAS SOPS 7787 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.787
AT ITER 4315 NEW BEST:: SOT 50332 SOS 7775 HAS SOPS 7775 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.775
AT ITER 4330 NEW BEST:: SOT 50327 SOS 7727 HAS SOPS 7727 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6438.727
AT ITER 4370 NEW BEST:: SOT 50305 SOS 7723 HAS SOPS 7723 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.723
AT ITER 4376 NEW BEST:: SOT 50304 SOS 7702 HAS SOPS 7702 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6418.702
AT ITER 4420 NEW BEST:: SOT 50284 SOS 7789 HAS SOPS 7789 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6412.789
AT ITER 4424 NEW BEST:: SOT 50285 SOS 7764 HAS SOPS 7764 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.764
AT ITER 4489 NEW BEST:: SOT 50277 SOS 7768 HAS SOPS 7768 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.768
AT ITER 4496 NEW BEST:: SOT 50273 SOS 7773 HAS SOPS 7773 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6397.773
AT ITER 4509 NEW BEST:: SOT 50271 SOS 7766 HAS SOPS 7766 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.766
AT ITER 4555 NEW BEST:: SOT 50260 SOS 7773 HAS SOPS 7773 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.773
AT ITER 4577 NEW BEST:: SOT 50250 SOS 7770 HAS SOPS 7770 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.77
AT ITER 4579 NEW BEST:: SOT 50250 SOS 7768 HAS SOPS 7768 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6368.768
AT ITER 4627 NEW BEST:: SOT 50245 SOS 7763 HAS SOPS 7763 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6363.763
AT ITER 4686 NEW BEST:: SOT 50245 SOS 7764 HAS SOPS 7764 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.764
AT ITER 4703 NEW BEST:: SOT 50234 SOS 7753 HAS SOPS 7753 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.753
AT ITER 4704 NEW BEST:: SOT 50237 SOS 7756 HAS SOPS 7756 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.756
AT ITER 4714 NEW BEST:: SOT 50231 SOS 7739 HAS SOPS 7739 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6337.739
AT ITER 4716 NEW BEST:: SOT 50213 SOS 7700 HAS SOPS 7700 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.7
AT ITER 4732 NEW BEST:: SOT 50213 SOS 7690 HAS SOPS 7690 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6280.69
AT ITER 4739 NEW BEST:: SOT 50204 SOS 7686 HAS SOPS 7686 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.686
AT ITER 4797 NEW BEST:: SOT 50204 SOS 7679 HAS SOPS 7679 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.679
AT ITER 4980 NEW BEST:: SOT 50230 SOS 7646 HAS SOPS 7646 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6248.646
AT ITER 4986 NEW BEST:: SOT 50230 SOS 7586 HAS SOPS 7586 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6248.586
AT ITER 5152 NEW BEST:: SOT 50218 SOS 7590 HAS SOPS 7590 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6244.59
AT ITER 5159 NEW BEST:: SOT 50252 SOS 7588 HAS SOPS 7588 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6242.588
AT ITER 5170 NEW BEST:: SOT 50250 SOS 7578 HAS SOPS 7578 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.578
AT ITER 5215 NEW BEST:: SOT 50233 SOS 7585 HAS SOPS 7585 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6231.585
AT ITER 5241 NEW BEST:: SOT 50235 SOS 7566 HAS SOPS 7566 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6218.566
AT ITER 5259 NEW BEST:: SOT 50238 SOS 7560 HAS SOPS 7560 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6215.56
AT ITER 5298 NEW BEST:: SOT 50235 SOS 7557 HAS SOPS 7557 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.557
AT ITER 5306 NEW BEST:: SOT 50233 SOS 7553 HAS SOPS 7553 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6205.553
AT ITER 5330 NEW BEST:: SOT 50227 SOS 7525 HAS SOPS 7525 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.525
AT ITER 5368 NEW BEST:: SOT 50222 SOS 7503 HAS SOPS 7503 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6143.503
AT ITER 5372 NEW BEST:: SOT 50221 SOS 7502 HAS SOPS 7502 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6143.502
AT ITER 5382 NEW BEST:: SOT 50220 SOS 7501 HAS SOPS 7501 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6142.501
AT ITER 5400 NEW BEST:: SOT 50207 SOS 7488 HAS SOPS 7488 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.488
AT ITER 5423 NEW BEST:: SOT 50177 SOS 7366 HAS SOPS 7366 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6099.366
AT ITER 5425 NEW BEST:: SOT 50159 SOS 7348 HAS SOPS 7348 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6078.348
AT ITER 5436 NEW BEST:: SOT 50171 SOS 7360 HAS SOPS 7360 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6074.36
AT ITER 5504 NEW BEST:: SOT 50155 SOS 7317 HAS SOPS 7317 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.317
AT ITER 5668 NEW BEST:: SOT 50149 SOS 7313 HAS SOPS 7313 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6027.313
AT ITER 5688 NEW BEST:: SOT 50142 SOS 7318 HAS SOPS 7318 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.318
AT ITER 5750 NEW BEST:: SOT 50158 SOS 7298 HAS SOPS 7298 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6006.298
AT ITER 5854 NEW BEST:: SOT 50151 SOS 7241 HAS SOPS 7241 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5999.241
AT ITER 5891 NEW BEST:: SOT 50148 SOS 7235 HAS SOPS 7235 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.235
AT ITER 5919 NEW BEST:: SOT 50142 SOS 7223 HAS SOPS 7223 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.223
AT ITER 5979 NEW BEST:: SOT 50136 SOS 7226 HAS SOPS 7226 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5980.226
AT ITER 5998 NEW BEST:: SOT 50180 SOS 7244 HAS SOPS 7244 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5978.244
AT ITER 6084 NEW BEST:: SOT 50172 SOS 7236 HAS SOPS 7236 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.236
AT ITER 6129 NEW BEST:: SOT 50169 SOS 7235 HAS SOPS 7235 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5969.235
AT ITER 6152 NEW BEST:: SOT 50225 SOS 7292 HAS SOPS 7292 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.292
AT ITER 6168 NEW BEST:: SOT 50214 SOS 7283 HAS SOPS 7283 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5958.283
AT ITER 6192 NEW BEST:: SOT 50214 SOS 7282 HAS SOPS 7282 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5957.282
AT ITER 6236 NEW BEST:: SOT 50203 SOS 7263 HAS SOPS 7263 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5957.263
AT ITER 6286 NEW BEST:: SOT 50188 SOS 7253 HAS SOPS 7253 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5947.253
AT ITER 6310 NEW BEST:: SOT 50193 SOS 7223 HAS SOPS 7223 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.223
AT ITER 6313 NEW BEST:: SOT 50185 SOS 7194 HAS SOPS 7194 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.194
AT ITER 6412 NEW BEST:: SOT 50185 SOS 7228 HAS SOPS 7228 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.228
AT ITER 6415 NEW BEST:: SOT 50204 SOS 7225 HAS SOPS 7225 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5926.225
AT ITER 6428 NEW BEST:: SOT 50188 SOS 7202 HAS SOPS 7202 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5890.202
AT ITER 6465 NEW BEST:: SOT 50188 SOS 7198 HAS SOPS 7198 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5886.198
AT ITER 6477 NEW BEST:: SOT 50179 SOS 7200 HAS SOPS 7200 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5882.2
AT ITER 6499 NEW BEST:: SOT 50196 SOS 7065 HAS SOPS 7065 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5859.065
AT ITER 6521 NEW BEST:: SOT 50197 SOS 7064 HAS SOPS 7064 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5858.064
AT ITER 6610 NEW BEST:: SOT 50191 SOS 7058 HAS SOPS 7058 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.058
AT ITER 6637 NEW BEST:: SOT 50174 SOS 7112 HAS SOPS 7112 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5846.112
AT ITER 6741 NEW BEST:: SOT 50169 SOS 7102 HAS SOPS 7102 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5841.102
AT ITER 6746 NEW BEST:: SOT 50165 SOS 7100 HAS SOPS 7100 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5839.1
AT ITER 6841 NEW BEST:: SOT 50152 SOS 7087 HAS SOPS 7087 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5826.087
AT ITER 6948 NEW BEST:: SOT 50159 SOS 7085 HAS SOPS 7085 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5817.085
AT ITER 7004 NEW BEST:: SOT 50156 SOS 7082 HAS SOPS 7082 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5814.082
AT ITER 7070 NEW BEST:: SOT 50154 SOS 7079 HAS SOPS 7079 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5802.079
AT ITER 7095 NEW BEST:: SOT 50152 SOS 7076 HAS SOPS 7076 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5799.076
AT ITER 7105 NEW BEST:: SOT 50151 SOS 7074 HAS SOPS 7074 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5788.074
AT ITER 7181 NEW BEST:: SOT 50142 SOS 7064 HAS SOPS 7064 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5778.064
AT ITER 7256 NEW BEST:: SOT 50141 SOS 7060 HAS SOPS 7060 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.06
AT ITER 7257 NEW BEST:: SOT 50134 SOS 7111 HAS SOPS 7111 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5765.111
AT ITER 7258 NEW BEST:: SOT 50130 SOS 7107 HAS SOPS 7107 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5761.107
AT ITER 7278 NEW BEST:: SOT 50125 SOS 7099 HAS SOPS 7099 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5753.099
AT ITER 7286 NEW BEST:: SOT 50104 SOS 7096 HAS SOPS 7096 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5750.096
AT ITER 7305 NEW BEST:: SOT 50104 SOS 7096 HAS SOPS 7096 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5749.096
AT ITER 7379 NEW BEST:: SOT 50103 SOS 7095 HAS SOPS 7095 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5748.095
AT ITER 7388 NEW BEST:: SOT 50090 SOS 7079 HAS SOPS 7079 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5732.079
AT ITER 7531 NEW BEST:: SOT 50090 SOS 7078 HAS SOPS 7078 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5731.078
AT ITER 7549 NEW BEST:: SOT 50086 SOS 7070 HAS SOPS 7070 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5723.07
AT ITER 7570 NEW BEST:: SOT 50080 SOS 7078 HAS SOPS 7078 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5717.078
AT ITER 7591 NEW BEST:: SOT 50080 SOS 7076 HAS SOPS 7076 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5715.076
AT ITER 7597 NEW BEST:: SOT 50053 SOS 7045 HAS SOPS 7045 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5698.045
AT ITER 7613 NEW BEST:: SOT 50050 SOS 7039 HAS SOPS 7039 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5692.039
AT ITER 7635 NEW BEST:: SOT 50050 SOS 7031 HAS SOPS 7031 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5684.031
AT ITER 7775 NEW BEST:: SOT 50049 SOS 7030 HAS SOPS 7030 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5684.03
AT ITER 7849 NEW BEST:: SOT 50044 SOS 7027 HAS SOPS 7027 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5681.027
AT ITER 7966 NEW BEST:: SOT 50044 SOS 7028 HAS SOPS 7028 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5680.028
AT ITER 7987 NEW BEST:: SOT 50044 SOS 7027 HAS SOPS 7027 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5679.027
AT ITER 7995 NEW BEST:: SOT 50032 SOS 7010 HAS SOPS 7010 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5662.01
AT ITER 8005 NEW BEST:: SOT 50032 SOS 7080 HAS SOPS 7080 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5660.08
AT ITER 8017 NEW BEST:: SOT 50032 SOS 7073 HAS SOPS 7073 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5660.073
AT ITER 8078 NEW BEST:: SOT 50040 SOS 7065 HAS SOPS 7065 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5660.065
AT ITER 8145 NEW BEST:: SOT 50039 SOS 7066 HAS SOPS 7066 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5659.066
AT ITER 8161 NEW BEST:: SOT 50037 SOS 7067 HAS SOPS 7067 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.067
AT ITER 8343 NEW BEST:: SOT 50038 SOS 7065 HAS SOPS 7065 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.065
AT ITER 8366 NEW BEST:: SOT 50038 SOS 7065 HAS SOPS 7065 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5653.065
AT ITER 8428 NEW BEST:: SOT 50038 SOS 7055 HAS SOPS 7055 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5649.055
AT ITER 8508 NEW BEST:: SOT 50038 SOS 7046 HAS SOPS 7046 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5640.046
AT ITER 8529 NEW BEST:: SOT 50022 SOS 7044 HAS SOPS 7044 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.044
AT ITER 8582 NEW BEST:: SOT 50023 SOS 7037 HAS SOPS 7037 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5630.037
AT ITER 8590 NEW BEST:: SOT 50023 SOS 7032 HAS SOPS 7032 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5630.032
AT ITER 8629 NEW BEST:: SOT 50021 SOS 7038 HAS SOPS 7038 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5626.038
AT ITER 8636 NEW BEST:: SOT 50019 SOS 7030 HAS SOPS 7030 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5618.03
AT ITER 8662 NEW BEST:: SOT 50030 SOS 7019 HAS SOPS 7019 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5618.019
AT ITER 8674 NEW BEST:: SOT 50019 SOS 6924 HAS SOPS 6924 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5584.924
AT ITER 8675 NEW BEST:: SOT 50019 SOS 6922 HAS SOPS 6922 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5582.922
AT ITER 8838 NEW BEST:: SOT 50018 SOS 6919 HAS SOPS 6919 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5579.919
AT ITER 8887 NEW BEST:: SOT 50012 SOS 6906 HAS SOPS 6906 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.906
AT ITER 8942 NEW BEST:: SOT 50001 SOS 6895 HAS SOPS 6895 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5545.895
AT ITER 8971 NEW BEST:: SOT 50000 SOS 6894 HAS SOPS 6894 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.894
AT ITER 9043 NEW BEST:: SOT 49997 SOS 6891 HAS SOPS 6891 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5541.891
AT ITER 9181 NEW BEST:: SOT 49988 SOS 6882 HAS SOPS 6882 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5523.882
AT ITER 9208 NEW BEST:: SOT 49987 SOS 6844 HAS SOPS 6844 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.844
AT ITER 9220 NEW BEST:: SOT 49985 SOS 6842 HAS SOPS 6842 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.842
AT ITER 9254 NEW BEST:: SOT 49981 SOS 6837 HAS SOPS 6837 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5494.837
AT ITER 9256 NEW BEST:: SOT 49982 SOS 6835 HAS SOPS 6835 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5492.835
AT ITER 9450 NEW BEST:: SOT 49982 SOS 6829 HAS SOPS 6829 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.829
AT ITER 9509 NEW BEST:: SOT 49982 SOS 6828 HAS SOPS 6828 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.828
AT ITER 9528 NEW BEST:: SOT 49979 SOS 6826 HAS SOPS 6826 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5483.826
AT ITER 9593 NEW BEST:: SOT 49969 SOS 6818 HAS SOPS 6818 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5475.818
AT ITER 9621 NEW BEST:: SOT 49969 SOS 6817 HAS SOPS 6817 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.817
AT ITER 9681 NEW BEST:: SOT 49967 SOS 6813 HAS SOPS 6813 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.813
AT ITER 9697 NEW BEST:: SOT 49956 SOS 6806 HAS SOPS 6806 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.806
AT ITER 9710 NEW BEST:: SOT 49955 SOS 6805 HAS SOPS 6805 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.805
AT ITER 9724 NEW BEST:: SOT 49934 SOS 6768 HAS SOPS 6768 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.768
AT ITER 9976 NEW BEST:: SOT 49930 SOS 6752 HAS SOPS 6752 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.752

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-10b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541900256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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