About the Execution of smart for DES-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.980 | 3600000.00 | 3600059.00 | 0.00 | [undef] | Time out reached |
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-158902541900240.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-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900240
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 73K 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 1589103833267
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 300 places, 251 transitions, 747 arcs.
AT ITER 0 NEW BEST:: SOT 45873 SOS 11059 HAS SOPS 11059 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9954.059
AT ITER 7 NEW BEST:: SOT 45833 SOS 11008 HAS SOPS 11008 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9903.008
AT ITER 24 NEW BEST:: SOT 45824 SOS 10992 HAS SOPS 10992 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9886.992
AT ITER 62 NEW BEST:: SOT 45824 SOS 10947 HAS SOPS 10947 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9841.947
AT ITER 69 NEW BEST:: SOT 45823 SOS 10919 HAS SOPS 10919 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9813.919
AT ITER 70 NEW BEST:: SOT 45823 SOS 10907 HAS SOPS 10907 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9801.907
AT ITER 83 NEW BEST:: SOT 45823 SOS 10885 HAS SOPS 10885 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9779.885
AT ITER 86 NEW BEST:: SOT 45802 SOS 10861 HAS SOPS 10861 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.861
AT ITER 88 NEW BEST:: SOT 45797 SOS 10851 HAS SOPS 10851 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9744.851
AT ITER 103 NEW BEST:: SOT 45773 SOS 10843 HAS SOPS 10843 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9734.843
AT ITER 104 NEW BEST:: SOT 45738 SOS 10913 HAS SOPS 10913 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9697.913
AT ITER 136 NEW BEST:: SOT 45702 SOS 10867 HAS SOPS 10867 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9651.867
AT ITER 142 NEW BEST:: SOT 45715 SOS 10853 HAS SOPS 10853 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.853
AT ITER 162 NEW BEST:: SOT 45712 SOS 10850 HAS SOPS 10850 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9647.85
AT ITER 179 NEW BEST:: SOT 45697 SOS 10828 HAS SOPS 10828 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9625.828
AT ITER 194 NEW BEST:: SOT 45654 SOS 10921 HAS SOPS 10921 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9618.921
AT ITER 213 NEW BEST:: SOT 45641 SOS 10894 HAS SOPS 10894 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.894
AT ITER 225 NEW BEST:: SOT 45639 SOS 10892 HAS SOPS 10892 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9589.892
AT ITER 226 NEW BEST:: SOT 45547 SOS 10811 HAS SOPS 10811 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9493.811
AT ITER 242 NEW BEST:: SOT 45502 SOS 10788 HAS SOPS 10788 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.788
AT ITER 248 NEW BEST:: SOT 45464 SOS 10749 HAS SOPS 10749 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9420.749
AT ITER 286 NEW BEST:: SOT 45428 SOS 10613 HAS SOPS 10613 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9404.613
AT ITER 289 NEW BEST:: SOT 45428 SOS 10593 HAS SOPS 10593 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9384.593
AT ITER 290 NEW BEST:: SOT 45428 SOS 10567 HAS SOPS 10567 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9382.567
AT ITER 299 NEW BEST:: SOT 45404 SOS 10565 HAS SOPS 10565 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9380.565
AT ITER 309 NEW BEST:: SOT 45401 SOS 10589 HAS SOPS 10589 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9360.589
AT ITER 318 NEW BEST:: SOT 45395 SOS 10550 HAS SOPS 10550 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9321.55
AT ITER 345 NEW BEST:: SOT 45395 SOS 10542 HAS SOPS 10542 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.542
AT ITER 357 NEW BEST:: SOT 45396 SOS 10533 HAS SOPS 10533 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9304.533
AT ITER 368 NEW BEST:: SOT 45396 SOS 10517 HAS SOPS 10517 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9288.517
AT ITER 375 NEW BEST:: SOT 45388 SOS 10565 HAS SOPS 10565 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.565
AT ITER 379 NEW BEST:: SOT 45291 SOS 10508 HAS SOPS 10508 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9197.508
AT ITER 410 NEW BEST:: SOT 45263 SOS 10516 HAS SOPS 10516 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9186.516
AT ITER 417 NEW BEST:: SOT 45257 SOS 10510 HAS SOPS 10510 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9180.51
AT ITER 418 NEW BEST:: SOT 45257 SOS 10505 HAS SOPS 10505 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9175.505
AT ITER 419 NEW BEST:: SOT 45237 SOS 10485 HAS SOPS 10485 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9155.485
AT ITER 466 NEW BEST:: SOT 45237 SOS 10480 HAS SOPS 10480 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9150.48
AT ITER 492 NEW BEST:: SOT 45215 SOS 10436 HAS SOPS 10436 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.436
AT ITER 498 NEW BEST:: SOT 45172 SOS 10393 HAS SOPS 10393 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9104.393
AT ITER 517 NEW BEST:: SOT 45134 SOS 10389 HAS SOPS 10389 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9100.389
AT ITER 535 NEW BEST:: SOT 45086 SOS 10358 HAS SOPS 10358 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9069.358
AT ITER 542 NEW BEST:: SOT 45062 SOS 10352 HAS SOPS 10352 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9063.352
AT ITER 568 NEW BEST:: SOT 45057 SOS 10350 HAS SOPS 10350 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9061.35
AT ITER 604 NEW BEST:: SOT 45053 SOS 10346 HAS SOPS 10346 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9057.346
AT ITER 620 NEW BEST:: SOT 45053 SOS 10311 HAS SOPS 10311 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9022.311
AT ITER 621 NEW BEST:: SOT 45005 SOS 10275 HAS SOPS 10275 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8986.275
AT ITER 629 NEW BEST:: SOT 44986 SOS 10260 HAS SOPS 10260 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8971.26
AT ITER 631 NEW BEST:: SOT 44973 SOS 10254 HAS SOPS 10254 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8965.254
AT ITER 674 NEW BEST:: SOT 44973 SOS 10252 HAS SOPS 10252 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8963.252
AT ITER 704 NEW BEST:: SOT 44915 SOS 10134 HAS SOPS 10134 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8858.134
AT ITER 714 NEW BEST:: SOT 44893 SOS 10112 HAS SOPS 10112 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8836.112
AT ITER 731 NEW BEST:: SOT 44872 SOS 10047 HAS SOPS 10047 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8815.047
AT ITER 736 NEW BEST:: SOT 44837 SOS 10038 HAS SOPS 10038 HAS SOUS 8796 HAS SOUPS 8796 WITH SCORE 8806.038
AT ITER 753 NEW BEST:: SOT 44837 SOS 10029 HAS SOPS 10029 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8797.029
AT ITER 756 NEW BEST:: SOT 44823 SOS 10001 HAS SOPS 10001 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8769.001
AT ITER 759 NEW BEST:: SOT 44821 SOS 9998 HAS SOPS 9998 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8765.998
AT ITER 767 NEW BEST:: SOT 44813 SOS 9982 HAS SOPS 9982 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.982
AT ITER 781 NEW BEST:: SOT 44789 SOS 9950 HAS SOPS 9950 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.95
AT ITER 795 NEW BEST:: SOT 44783 SOS 9918 HAS SOPS 9918 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8708.918
AT ITER 800 NEW BEST:: SOT 44783 SOS 9913 HAS SOPS 9913 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8703.913
AT ITER 801 NEW BEST:: SOT 44783 SOS 9907 HAS SOPS 9907 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8697.907
AT ITER 836 NEW BEST:: SOT 44765 SOS 9889 HAS SOPS 9889 HAS SOUS 8670 HAS SOUPS 8670 WITH SCORE 8679.889
AT ITER 840 NEW BEST:: SOT 44750 SOS 9845 HAS SOPS 9845 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.845
AT ITER 868 NEW BEST:: SOT 44750 SOS 9830 HAS SOPS 9830 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8620.83
AT ITER 872 NEW BEST:: SOT 44750 SOS 9829 HAS SOPS 9829 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8619.829
AT ITER 907 NEW BEST:: SOT 44734 SOS 9813 HAS SOPS 9813 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8603.813
AT ITER 909 NEW BEST:: SOT 44734 SOS 9810 HAS SOPS 9810 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8600.81
AT ITER 912 NEW BEST:: SOT 44730 SOS 9796 HAS SOPS 9796 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.796
AT ITER 922 NEW BEST:: SOT 44728 SOS 9790 HAS SOPS 9790 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.79
AT ITER 935 NEW BEST:: SOT 44675 SOS 9739 HAS SOPS 9739 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8529.739
AT ITER 1000 NEW BEST:: SOT 44655 SOS 9743 HAS SOPS 9743 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8514.743
AT ITER 1001 NEW BEST:: SOT 44612 SOS 9687 HAS SOPS 9687 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.687
AT ITER 1025 NEW BEST:: SOT 44609 SOS 9684 HAS SOPS 9684 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.684
AT ITER 1028 NEW BEST:: SOT 44577 SOS 9564 HAS SOPS 9564 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8379.564
AT ITER 1092 NEW BEST:: SOT 44566 SOS 9550 HAS SOPS 9550 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.55
AT ITER 1126 NEW BEST:: SOT 44558 SOS 9542 HAS SOPS 9542 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8363.542
AT ITER 1135 NEW BEST:: SOT 44535 SOS 9519 HAS SOPS 9519 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8340.519
AT ITER 1158 NEW BEST:: SOT 44523 SOS 9512 HAS SOPS 9512 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8327.512
AT ITER 1168 NEW BEST:: SOT 44512 SOS 9492 HAS SOPS 9492 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8316.492
AT ITER 1172 NEW BEST:: SOT 44524 SOS 9483 HAS SOPS 9483 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.483
AT ITER 1202 NEW BEST:: SOT 44500 SOS 9434 HAS SOPS 9434 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8254.434
AT ITER 1252 NEW BEST:: SOT 44496 SOS 9430 HAS SOPS 9430 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.43
AT ITER 1260 NEW BEST:: SOT 44489 SOS 9413 HAS SOPS 9413 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8231.413
AT ITER 1286 NEW BEST:: SOT 44485 SOS 9407 HAS SOPS 9407 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8225.407
AT ITER 1331 NEW BEST:: SOT 44485 SOS 9405 HAS SOPS 9405 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8223.405
AT ITER 1336 NEW BEST:: SOT 44474 SOS 9344 HAS SOPS 9344 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.344
AT ITER 1372 NEW BEST:: SOT 44474 SOS 9331 HAS SOPS 9331 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8173.331
AT ITER 1412 NEW BEST:: SOT 44469 SOS 9329 HAS SOPS 9329 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8171.329
AT ITER 1421 NEW BEST:: SOT 44488 SOS 9273 HAS SOPS 9273 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8163.273
AT ITER 1428 NEW BEST:: SOT 44487 SOS 9272 HAS SOPS 9272 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8161.272
AT ITER 1437 NEW BEST:: SOT 44480 SOS 9265 HAS SOPS 9265 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8154.265
AT ITER 1444 NEW BEST:: SOT 44467 SOS 9252 HAS SOPS 9252 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8149.252
AT ITER 1522 NEW BEST:: SOT 44455 SOS 9239 HAS SOPS 9239 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8136.239
AT ITER 1524 NEW BEST:: SOT 44448 SOS 9225 HAS SOPS 9225 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8122.225
AT ITER 1526 NEW BEST:: SOT 44429 SOS 9224 HAS SOPS 9224 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8121.224
AT ITER 1574 NEW BEST:: SOT 44429 SOS 9194 HAS SOPS 9194 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.194
AT ITER 1588 NEW BEST:: SOT 44422 SOS 9184 HAS SOPS 9184 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8105.184
AT ITER 1593 NEW BEST:: SOT 44407 SOS 9174 HAS SOPS 9174 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8095.174
AT ITER 1611 NEW BEST:: SOT 44390 SOS 9152 HAS SOPS 9152 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8073.152
AT ITER 1613 NEW BEST:: SOT 44408 SOS 9168 HAS SOPS 9168 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8071.168
AT ITER 1614 NEW BEST:: SOT 44387 SOS 9130 HAS SOPS 9130 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8033.13
AT ITER 1655 NEW BEST:: SOT 44387 SOS 9138 HAS SOPS 9138 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8032.138
AT ITER 1662 NEW BEST:: SOT 44394 SOS 9106 HAS SOPS 9106 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8016.106
AT ITER 1673 NEW BEST:: SOT 44388 SOS 9111 HAS SOPS 9111 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7998.111
AT ITER 1677 NEW BEST:: SOT 44388 SOS 9073 HAS SOPS 9073 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.073
AT ITER 1683 NEW BEST:: SOT 44388 SOS 9069 HAS SOPS 9069 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7959.069
AT ITER 1703 NEW BEST:: SOT 44372 SOS 9051 HAS SOPS 9051 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7941.051
AT ITER 1796 NEW BEST:: SOT 44372 SOS 9041 HAS SOPS 9041 HAS SOUS 7922 HAS SOUPS 7922 WITH SCORE 7931.041
AT ITER 1797 NEW BEST:: SOT 44376 SOS 9034 HAS SOPS 9034 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7925.034
AT ITER 1803 NEW BEST:: SOT 44376 SOS 9004 HAS SOPS 9004 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7919.004
AT ITER 1804 NEW BEST:: SOT 44375 SOS 9003 HAS SOPS 9003 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7918.003
AT ITER 1857 NEW BEST:: SOT 44361 SOS 9038 HAS SOPS 9038 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7856.038
AT ITER 1878 NEW BEST:: SOT 44373 SOS 9035 HAS SOPS 9035 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7853.035
AT ITER 1883 NEW BEST:: SOT 44364 SOS 9017 HAS SOPS 9017 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.017
AT ITER 1907 NEW BEST:: SOT 44374 SOS 9000 HAS SOPS 9000 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7818.0
AT ITER 1946 NEW BEST:: SOT 44374 SOS 8993 HAS SOPS 8993 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7810.993
AT ITER 1952 NEW BEST:: SOT 44374 SOS 8990 HAS SOPS 8990 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7807.99
AT ITER 1997 NEW BEST:: SOT 44374 SOS 8986 HAS SOPS 8986 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7803.986
AT ITER 2001 NEW BEST:: SOT 44374 SOS 8986 HAS SOPS 8986 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7799.986
AT ITER 2019 NEW BEST:: SOT 44366 SOS 8910 HAS SOPS 8910 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7783.91
AT ITER 2052 NEW BEST:: SOT 44371 SOS 8906 HAS SOPS 8906 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7783.906
AT ITER 2071 NEW BEST:: SOT 44374 SOS 8891 HAS SOPS 8891 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7780.891
AT ITER 2078 NEW BEST:: SOT 44368 SOS 8885 HAS SOPS 8885 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.885
AT ITER 2083 NEW BEST:: SOT 44350 SOS 8867 HAS SOPS 8867 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7756.867
AT ITER 2110 NEW BEST:: SOT 44350 SOS 8864 HAS SOPS 8864 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7753.864
AT ITER 2129 NEW BEST:: SOT 44335 SOS 8840 HAS SOPS 8840 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7729.84
AT ITER 2130 NEW BEST:: SOT 44335 SOS 8803 HAS SOPS 8803 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7702.803
AT ITER 2163 NEW BEST:: SOT 44335 SOS 8839 HAS SOPS 8839 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7693.839
AT ITER 2167 NEW BEST:: SOT 44325 SOS 8820 HAS SOPS 8820 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7676.82
AT ITER 2182 NEW BEST:: SOT 44324 SOS 8819 HAS SOPS 8819 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.819
AT ITER 2227 NEW BEST:: SOT 44339 SOS 8828 HAS SOPS 8828 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7670.828
AT ITER 2251 NEW BEST:: SOT 44339 SOS 8828 HAS SOPS 8828 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.828
AT ITER 2263 NEW BEST:: SOT 44339 SOS 8796 HAS SOPS 8796 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7630.796
AT ITER 2294 NEW BEST:: SOT 44321 SOS 8796 HAS SOPS 8796 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.796
AT ITER 2352 NEW BEST:: SOT 44321 SOS 8792 HAS SOPS 8792 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.792
AT ITER 2354 NEW BEST:: SOT 44315 SOS 8791 HAS SOPS 8791 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7612.791
AT ITER 2359 NEW BEST:: SOT 44315 SOS 8799 HAS SOPS 8799 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.799
AT ITER 2422 NEW BEST:: SOT 44299 SOS 8737 HAS SOPS 8737 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7548.737
AT ITER 2528 NEW BEST:: SOT 44285 SOS 8716 HAS SOPS 8716 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.716
AT ITER 2601 NEW BEST:: SOT 44266 SOS 8713 HAS SOPS 8713 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.713
AT ITER 2606 NEW BEST:: SOT 44243 SOS 8667 HAS SOPS 8667 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.667
AT ITER 2639 NEW BEST:: SOT 44231 SOS 8655 HAS SOPS 8655 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.655
AT ITER 2690 NEW BEST:: SOT 44231 SOS 8677 HAS SOPS 8677 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7439.677
AT ITER 2712 NEW BEST:: SOT 44202 SOS 8648 HAS SOPS 8648 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7410.648
AT ITER 2728 NEW BEST:: SOT 44206 SOS 8665 HAS SOPS 8665 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7407.665
AT ITER 2744 NEW BEST:: SOT 44203 SOS 8655 HAS SOPS 8655 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.655
AT ITER 2750 NEW BEST:: SOT 44187 SOS 8639 HAS SOPS 8639 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7390.639
AT ITER 2756 NEW BEST:: SOT 44179 SOS 8631 HAS SOPS 8631 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.631
AT ITER 2775 NEW BEST:: SOT 44178 SOS 8630 HAS SOPS 8630 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7383.63
AT ITER 2785 NEW BEST:: SOT 44178 SOS 8629 HAS SOPS 8629 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7382.629
AT ITER 2806 NEW BEST:: SOT 44178 SOS 8619 HAS SOPS 8619 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.619
AT ITER 2819 NEW BEST:: SOT 44126 SOS 8536 HAS SOPS 8536 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7308.536
AT ITER 2828 NEW BEST:: SOT 44115 SOS 8524 HAS SOPS 8524 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.524
AT ITER 2837 NEW BEST:: SOT 44102 SOS 8498 HAS SOPS 8498 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7270.498
AT ITER 2849 NEW BEST:: SOT 44096 SOS 8494 HAS SOPS 8494 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7266.494
AT ITER 2855 NEW BEST:: SOT 44097 SOS 8484 HAS SOPS 8484 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7256.484
AT ITER 2902 NEW BEST:: SOT 44097 SOS 8482 HAS SOPS 8482 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7254.482
AT ITER 2940 NEW BEST:: SOT 44086 SOS 8418 HAS SOPS 8418 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.418
AT ITER 2993 NEW BEST:: SOT 44086 SOS 8415 HAS SOPS 8415 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7238.415
AT ITER 2995 NEW BEST:: SOT 44086 SOS 8404 HAS SOPS 8404 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7227.404
AT ITER 3026 NEW BEST:: SOT 44077 SOS 8393 HAS SOPS 8393 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7204.393
AT ITER 3061 NEW BEST:: SOT 44065 SOS 8388 HAS SOPS 8388 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.388
AT ITER 3081 NEW BEST:: SOT 44065 SOS 8387 HAS SOPS 8387 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7198.387
AT ITER 3149 NEW BEST:: SOT 44047 SOS 8361 HAS SOPS 8361 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.361
AT ITER 3200 NEW BEST:: SOT 44044 SOS 8348 HAS SOPS 8348 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.348
AT ITER 3268 NEW BEST:: SOT 44032 SOS 8319 HAS SOPS 8319 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7181.319
AT ITER 3292 NEW BEST:: SOT 44026 SOS 8311 HAS SOPS 8311 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.311
AT ITER 3344 NEW BEST:: SOT 44025 SOS 8309 HAS SOPS 8309 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7173.309
AT ITER 3400 NEW BEST:: SOT 44020 SOS 8299 HAS SOPS 8299 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.299
AT ITER 3425 NEW BEST:: SOT 44020 SOS 8305 HAS SOPS 8305 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7151.305
AT ITER 3454 NEW BEST:: SOT 44014 SOS 8293 HAS SOPS 8293 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.293
AT ITER 3462 NEW BEST:: SOT 44013 SOS 8285 HAS SOPS 8285 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.285
AT ITER 3476 NEW BEST:: SOT 44013 SOS 8266 HAS SOPS 8266 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.266
AT ITER 3480 NEW BEST:: SOT 43995 SOS 8247 HAS SOPS 8247 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.247
AT ITER 3557 NEW BEST:: SOT 43995 SOS 8245 HAS SOPS 8245 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.245
AT ITER 3630 NEW BEST:: SOT 43995 SOS 8230 HAS SOPS 8230 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7084.23
AT ITER 3684 NEW BEST:: SOT 43987 SOS 8252 HAS SOPS 8252 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.252
AT ITER 3728 NEW BEST:: SOT 43987 SOS 8241 HAS SOPS 8241 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.241
AT ITER 3738 NEW BEST:: SOT 43986 SOS 8240 HAS SOPS 8240 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.24
AT ITER 3741 NEW BEST:: SOT 43950 SOS 8183 HAS SOPS 8183 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7005.183
AT ITER 3756 NEW BEST:: SOT 43938 SOS 8181 HAS SOPS 8181 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7003.181
AT ITER 3774 NEW BEST:: SOT 43929 SOS 8163 HAS SOPS 8163 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6985.163
AT ITER 3795 NEW BEST:: SOT 43935 SOS 8159 HAS SOPS 8159 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6981.159
AT ITER 3809 NEW BEST:: SOT 43954 SOS 8151 HAS SOPS 8151 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.151
AT ITER 3825 NEW BEST:: SOT 43954 SOS 8108 HAS SOPS 8108 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6930.108
AT ITER 3832 NEW BEST:: SOT 43957 SOS 8101 HAS SOPS 8101 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6923.101
AT ITER 3833 NEW BEST:: SOT 43966 SOS 8054 HAS SOPS 8054 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.054
AT ITER 3888 NEW BEST:: SOT 43963 SOS 8051 HAS SOPS 8051 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.051
AT ITER 3929 NEW BEST:: SOT 43958 SOS 8049 HAS SOPS 8049 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.049
AT ITER 4056 NEW BEST:: SOT 43958 SOS 8048 HAS SOPS 8048 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6863.048
AT ITER 4063 NEW BEST:: SOT 43956 SOS 8050 HAS SOPS 8050 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.05
AT ITER 4066 NEW BEST:: SOT 43956 SOS 8054 HAS SOPS 8054 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.054
AT ITER 4085 NEW BEST:: SOT 43940 SOS 8052 HAS SOPS 8052 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.052
AT ITER 4115 NEW BEST:: SOT 43924 SOS 8043 HAS SOPS 8043 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.043
AT ITER 4144 NEW BEST:: SOT 43924 SOS 8036 HAS SOPS 8036 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.036
AT ITER 4152 NEW BEST:: SOT 43924 SOS 8040 HAS SOPS 8040 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6816.04
AT ITER 4162 NEW BEST:: SOT 43900 SOS 8016 HAS SOPS 8016 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6792.016
AT ITER 4187 NEW BEST:: SOT 43900 SOS 8003 HAS SOPS 8003 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6792.003
AT ITER 4188 NEW BEST:: SOT 43906 SOS 7993 HAS SOPS 7993 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6781.993
AT ITER 4255 NEW BEST:: SOT 43906 SOS 7990 HAS SOPS 7990 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.99
AT ITER 4277 NEW BEST:: SOT 43870 SOS 7986 HAS SOPS 7986 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6774.986
AT ITER 4294 NEW BEST:: SOT 43836 SOS 7944 HAS SOPS 7944 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.944
AT ITER 4322 NEW BEST:: SOT 43821 SOS 7934 HAS SOPS 7934 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.934
AT ITER 4340 NEW BEST:: SOT 43821 SOS 7929 HAS SOPS 7929 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6703.929
AT ITER 4411 NEW BEST:: SOT 43824 SOS 7934 HAS SOPS 7934 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6701.934
AT ITER 4426 NEW BEST:: SOT 43824 SOS 7932 HAS SOPS 7932 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6699.932
AT ITER 4446 NEW BEST:: SOT 43824 SOS 7927 HAS SOPS 7927 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.927
AT ITER 4455 NEW BEST:: SOT 43820 SOS 7907 HAS SOPS 7907 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6674.907
AT ITER 4521 NEW BEST:: SOT 43818 SOS 7904 HAS SOPS 7904 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6673.904
AT ITER 4539 NEW BEST:: SOT 43814 SOS 7893 HAS SOPS 7893 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.893
AT ITER 4551 NEW BEST:: SOT 43805 SOS 7884 HAS SOPS 7884 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.884
AT ITER 4556 NEW BEST:: SOT 43786 SOS 7878 HAS SOPS 7878 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.878
AT ITER 4570 NEW BEST:: SOT 43749 SOS 7874 HAS SOPS 7874 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.874
AT ITER 4576 NEW BEST:: SOT 43749 SOS 7873 HAS SOPS 7873 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.873
AT ITER 4596 NEW BEST:: SOT 43744 SOS 7868 HAS SOPS 7868 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6612.868
AT ITER 4709 NEW BEST:: SOT 43744 SOS 7865 HAS SOPS 7865 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.865
AT ITER 4806 NEW BEST:: SOT 43741 SOS 7862 HAS SOPS 7862 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.862
AT ITER 4816 NEW BEST:: SOT 43741 SOS 7869 HAS SOPS 7869 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.869
AT ITER 4928 NEW BEST:: SOT 43740 SOS 7868 HAS SOPS 7868 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6606.868
AT ITER 4931 NEW BEST:: SOT 43740 SOS 7866 HAS SOPS 7866 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6606.866
AT ITER 4939 NEW BEST:: SOT 43730 SOS 7852 HAS SOPS 7852 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.852
AT ITER 4954 NEW BEST:: SOT 43666 SOS 7837 HAS SOPS 7837 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.837
AT ITER 4963 NEW BEST:: SOT 43664 SOS 7833 HAS SOPS 7833 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6583.833
AT ITER 4984 NEW BEST:: SOT 43666 SOS 7815 HAS SOPS 7815 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6571.815
AT ITER 5018 NEW BEST:: SOT 43667 SOS 7803 HAS SOPS 7803 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6565.803
AT ITER 5026 NEW BEST:: SOT 43667 SOS 7801 HAS SOPS 7801 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6565.801
AT ITER 5189 NEW BEST:: SOT 43667 SOS 7806 HAS SOPS 7806 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.806
AT ITER 5253 NEW BEST:: SOT 43673 SOS 7812 HAS SOPS 7812 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6550.812
AT ITER 5292 NEW BEST:: SOT 43672 SOS 7826 HAS SOPS 7826 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6549.826
AT ITER 5340 NEW BEST:: SOT 43671 SOS 7844 HAS SOPS 7844 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6548.844
AT ITER 5394 NEW BEST:: SOT 43671 SOS 7838 HAS SOPS 7838 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6545.838
AT ITER 5397 NEW BEST:: SOT 43671 SOS 7827 HAS SOPS 7827 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.827
AT ITER 5415 NEW BEST:: SOT 43677 SOS 7833 HAS SOPS 7833 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.833
AT ITER 5423 NEW BEST:: SOT 43677 SOS 7827 HAS SOPS 7827 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6522.827
AT ITER 5427 NEW BEST:: SOT 43677 SOS 7826 HAS SOPS 7826 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6517.826
AT ITER 5574 NEW BEST:: SOT 43678 SOS 7816 HAS SOPS 7816 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.816
AT ITER 5590 NEW BEST:: SOT 43678 SOS 7815 HAS SOPS 7815 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6506.815
AT ITER 5630 NEW BEST:: SOT 43673 SOS 7824 HAS SOPS 7824 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.824
AT ITER 5650 NEW BEST:: SOT 43661 SOS 7812 HAS SOPS 7812 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.812
AT ITER 5741 NEW BEST:: SOT 43654 SOS 7804 HAS SOPS 7804 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.804
AT ITER 5864 NEW BEST:: SOT 43668 SOS 7827 HAS SOPS 7827 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.827
AT ITER 5909 NEW BEST:: SOT 43658 SOS 7817 HAS SOPS 7817 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6435.817
AT ITER 5942 NEW BEST:: SOT 43645 SOS 7804 HAS SOPS 7804 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.804
AT ITER 6034 NEW BEST:: SOT 43655 SOS 7794 HAS SOPS 7794 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.794
AT ITER 6073 NEW BEST:: SOT 43631 SOS 7768 HAS SOPS 7768 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.768
AT ITER 6185 NEW BEST:: SOT 43631 SOS 7752 HAS SOPS 7752 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.752
AT ITER 6252 NEW BEST:: SOT 43619 SOS 7740 HAS SOPS 7740 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.74
AT ITER 6317 NEW BEST:: SOT 43616 SOS 7731 HAS SOPS 7731 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6355.731
AT ITER 6355 NEW BEST:: SOT 43597 SOS 7700 HAS SOPS 7700 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.7
AT ITER 6375 NEW BEST:: SOT 43593 SOS 7696 HAS SOPS 7696 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.696
AT ITER 6427 NEW BEST:: SOT 43600 SOS 7687 HAS SOPS 7687 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6318.687
AT ITER 6539 NEW BEST:: SOT 43585 SOS 7682 HAS SOPS 7682 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.682
AT ITER 6585 NEW BEST:: SOT 43572 SOS 7652 HAS SOPS 7652 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6282.652
AT ITER 6586 NEW BEST:: SOT 43565 SOS 7642 HAS SOPS 7642 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.642
AT ITER 6590 NEW BEST:: SOT 43565 SOS 7640 HAS SOPS 7640 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.64
AT ITER 6594 NEW BEST:: SOT 43562 SOS 7637 HAS SOPS 7637 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.637
AT ITER 6612 NEW BEST:: SOT 43561 SOS 7636 HAS SOPS 7636 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6266.636
AT ITER 6721 NEW BEST:: SOT 43565 SOS 7635 HAS SOPS 7635 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.635
AT ITER 6929 NEW BEST:: SOT 43552 SOS 7631 HAS SOPS 7631 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.631
AT ITER 6943 NEW BEST:: SOT 43552 SOS 7625 HAS SOPS 7625 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6259.625
AT ITER 7034 NEW BEST:: SOT 43549 SOS 7622 HAS SOPS 7622 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6251.622
AT ITER 7046 NEW BEST:: SOT 43548 SOS 7620 HAS SOPS 7620 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6250.62
AT ITER 7108 NEW BEST:: SOT 43542 SOS 7614 HAS SOPS 7614 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6242.614
AT ITER 7162 NEW BEST:: SOT 43537 SOS 7609 HAS SOPS 7609 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6235.609
AT ITER 7232 NEW BEST:: SOT 43536 SOS 7607 HAS SOPS 7607 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6233.607
AT ITER 7233 NEW BEST:: SOT 43535 SOS 7606 HAS SOPS 7606 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.606
AT ITER 7270 NEW BEST:: SOT 43524 SOS 7562 HAS SOPS 7562 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6210.562
AT ITER 7281 NEW BEST:: SOT 43523 SOS 7561 HAS SOPS 7561 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.561
AT ITER 7304 NEW BEST:: SOT 43472 SOS 7528 HAS SOPS 7528 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.528
AT ITER 7431 NEW BEST:: SOT 43458 SOS 7519 HAS SOPS 7519 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.519
AT ITER 7503 NEW BEST:: SOT 43458 SOS 7513 HAS SOPS 7513 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6161.513
AT ITER 7652 NEW BEST:: SOT 43453 SOS 7515 HAS SOPS 7515 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6155.515
AT ITER 7676 NEW BEST:: SOT 43452 SOS 7512 HAS SOPS 7512 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6152.512
AT ITER 7753 NEW BEST:: SOT 43452 SOS 7510 HAS SOPS 7510 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.51
AT ITER 7770 NEW BEST:: SOT 43452 SOS 7512 HAS SOPS 7512 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6149.512
AT ITER 7803 NEW BEST:: SOT 43454 SOS 7510 HAS SOPS 7510 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6149.51
AT ITER 7831 NEW BEST:: SOT 43450 SOS 7502 HAS SOPS 7502 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6145.502
AT ITER 7844 NEW BEST:: SOT 43454 SOS 7492 HAS SOPS 7492 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6142.492
AT ITER 7870 NEW BEST:: SOT 43452 SOS 7488 HAS SOPS 7488 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6140.488
AT ITER 7895 NEW BEST:: SOT 43445 SOS 7499 HAS SOPS 7499 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.499
AT ITER 7919 NEW BEST:: SOT 43442 SOS 7493 HAS SOPS 7493 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6126.493
AT ITER 8092 NEW BEST:: SOT 43438 SOS 7486 HAS SOPS 7486 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.486
AT ITER 8149 NEW BEST:: SOT 43438 SOS 7486 HAS SOPS 7486 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6118.486
AT ITER 8182 NEW BEST:: SOT 43438 SOS 7478 HAS SOPS 7478 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6110.478
AT ITER 8213 NEW BEST:: SOT 43443 SOS 7502 HAS SOPS 7502 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6108.502
AT ITER 8329 NEW BEST:: SOT 43423 SOS 7521 HAS SOPS 7521 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6101.521
AT ITER 8337 NEW BEST:: SOT 43426 SOS 7523 HAS SOPS 7523 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.523
AT ITER 8446 NEW BEST:: SOT 43425 SOS 7522 HAS SOPS 7522 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.522
AT ITER 8538 NEW BEST:: SOT 43425 SOS 7527 HAS SOPS 7527 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6092.527
AT ITER 8548 NEW BEST:: SOT 43474 SOS 7508 HAS SOPS 7508 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6073.508
AT ITER 8601 NEW BEST:: SOT 43465 SOS 7492 HAS SOPS 7492 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.492
AT ITER 8675 NEW BEST:: SOT 43465 SOS 7473 HAS SOPS 7473 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6043.473
AT ITER 8678 NEW BEST:: SOT 43459 SOS 7477 HAS SOPS 7477 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6041.477
AT ITER 8949 NEW BEST:: SOT 43459 SOS 7475 HAS SOPS 7475 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.475
AT ITER 8963 NEW BEST:: SOT 43459 SOS 7475 HAS SOPS 7475 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6038.475
AT ITER 9269 NEW BEST:: SOT 43460 SOS 7478 HAS SOPS 7478 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6037.478
AT ITER 9561 NEW BEST:: SOT 43445 SOS 7472 HAS SOPS 7472 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.472
AT ITER 9648 NEW BEST:: SOT 43445 SOS 7450 HAS SOPS 7450 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.45
AT ITER 9713 NEW BEST:: SOT 43445 SOS 7474 HAS SOPS 7474 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6023.474
AT ITER 9803 NEW BEST:: SOT 43438 SOS 7463 HAS SOPS 7463 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.463
AT ITER 9882 NEW BEST:: SOT 43436 SOS 7455 HAS SOPS 7455 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6010.455
AT ITER 9952 NEW BEST:: SOT 43436 SOS 7453 HAS SOPS 7453 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6010.453
AT ITER 9979 NEW BEST:: SOT 43429 SOS 7446 HAS SOPS 7446 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6004.446
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-05b"
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-05b, 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-158902541900240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-05b.tgz
mv DES-PT-05b 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 '
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 ;