About the Execution of smart for SafeBus-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.020 | 2744697.00 | 2744030.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r153-oct2-158972910200408.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SafeBus-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910200408
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 900K
-rw-r--r-- 1 mcc users 9.6K Apr 12 12:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Apr 12 12:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 27K Apr 11 13:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 11 13:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Apr 10 17:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 10 17:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Apr 9 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 35K Apr 9 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 448K Mar 24 05:38 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 1589744291938
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 144 places, 451 transitions, 2968 arcs.
AT ITER 0 NEW BEST:: SOT 38768 SOS 28954 HAS SOPS 28746 HAS SOUS 15201 HAS SOUPS 15084 WITH SCORE 15112.954
AT ITER 10 NEW BEST:: SOT 38764 SOS 28950 HAS SOPS 28742 HAS SOUS 15199 HAS SOUPS 15082 WITH SCORE 15110.95
AT ITER 17 NEW BEST:: SOT 38764 SOS 30294 HAS SOPS 29330 HAS SOUS 15197 HAS SOUPS 15059 WITH SCORE 15089.294
AT ITER 51 NEW BEST:: SOT 38860 SOS 30422 HAS SOPS 29466 HAS SOUS 15188 HAS SOUPS 15058 WITH SCORE 15088.422
AT ITER 54 NEW BEST:: SOT 38850 SOS 30412 HAS SOPS 29456 HAS SOUS 15183 HAS SOUPS 15053 WITH SCORE 15083.412
AT ITER 56 NEW BEST:: SOT 38559 SOS 31113 HAS SOPS 30261 HAS SOUS 15065 HAS SOUPS 15039 WITH SCORE 15070.113
AT ITER 65 NEW BEST:: SOT 38515 SOS 31069 HAS SOPS 30217 HAS SOUS 15021 HAS SOUPS 14995 WITH SCORE 15026.069
AT ITER 69 NEW BEST:: SOT 38501 SOS 31055 HAS SOPS 30203 HAS SOUS 14999 HAS SOUPS 14973 WITH SCORE 15004.055
AT ITER 72 NEW BEST:: SOT 38466 SOS 31020 HAS SOPS 30168 HAS SOUS 14964 HAS SOUPS 14938 WITH SCORE 14969.02
AT ITER 79 NEW BEST:: SOT 38584 SOS 30163 HAS SOPS 29247 HAS SOUS 14965 HAS SOUPS 14875 WITH SCORE 14905.163
AT ITER 80 NEW BEST:: SOT 38554 SOS 30133 HAS SOPS 29217 HAS SOUS 14949 HAS SOUPS 14859 WITH SCORE 14889.133
AT ITER 83 NEW BEST:: SOT 38535 SOS 30079 HAS SOPS 29144 HAS SOUS 14844 HAS SOUPS 14735 WITH SCORE 14765.079
AT ITER 87 NEW BEST:: SOT 38557 SOS 30258 HAS SOPS 29323 HAS SOUS 14827 HAS SOUPS 14718 WITH SCORE 14748.258
AT ITER 127 NEW BEST:: SOT 38536 SOS 30237 HAS SOPS 29302 HAS SOUS 14806 HAS SOUPS 14697 WITH SCORE 14727.237
AT ITER 134 NEW BEST:: SOT 38536 SOS 30237 HAS SOPS 29302 HAS SOUS 14804 HAS SOUPS 14695 WITH SCORE 14725.237
AT ITER 153 NEW BEST:: SOT 38487 SOS 30192 HAS SOPS 29265 HAS SOUS 14592 HAS SOUPS 14491 WITH SCORE 14521.192
AT ITER 168 NEW BEST:: SOT 38210 SOS 29969 HAS SOPS 29042 HAS SOUS 14321 HAS SOUPS 14220 WITH SCORE 14249.969
AT ITER 170 NEW BEST:: SOT 38225 SOS 29984 HAS SOPS 29057 HAS SOUS 14311 HAS SOUPS 14210 WITH SCORE 14239.984
AT ITER 179 NEW BEST:: SOT 38225 SOS 29824 HAS SOPS 28897 HAS SOUS 14311 HAS SOUPS 14210 WITH SCORE 14239.824
AT ITER 181 NEW BEST:: SOT 38349 SOS 29943 HAS SOPS 29021 HAS SOUS 14269 HAS SOUPS 14173 WITH SCORE 14202.943
AT ITER 183 NEW BEST:: SOT 38261 SOS 29856 HAS SOPS 28934 HAS SOUS 14153 HAS SOUPS 14057 WITH SCORE 14086.856
AT ITER 187 NEW BEST:: SOT 38258 SOS 29853 HAS SOPS 28916 HAS SOUS 14065 HAS SOUPS 13954 WITH SCORE 13983.853
AT ITER 196 NEW BEST:: SOT 38269 SOS 29842 HAS SOPS 28905 HAS SOUS 14043 HAS SOUPS 13932 WITH SCORE 13961.842
AT ITER 199 NEW BEST:: SOT 37576 SOS 29152 HAS SOPS 28959 HAS SOUS 13345 HAS SOUPS 13257 WITH SCORE 13286.152
AT ITER 223 NEW BEST:: SOT 37536 SOS 29112 HAS SOPS 28919 HAS SOUS 13305 HAS SOUPS 13217 WITH SCORE 13246.112
AT ITER 224 NEW BEST:: SOT 37462 SOS 29038 HAS SOPS 28845 HAS SOUS 13231 HAS SOUPS 13143 WITH SCORE 13172.038
AT ITER 229 NEW BEST:: SOT 37361 SOS 28937 HAS SOPS 28744 HAS SOUS 13130 HAS SOUPS 13042 WITH SCORE 13070.937
AT ITER 232 NEW BEST:: SOT 37075 SOS 28651 HAS SOPS 28458 HAS SOUS 12747 HAS SOUPS 12659 WITH SCORE 12687.651
AT ITER 238 NEW BEST:: SOT 37015 SOS 28591 HAS SOPS 28398 HAS SOUS 12644 HAS SOUPS 12556 WITH SCORE 12584.591
AT ITER 257 NEW BEST:: SOT 37000 SOS 28555 HAS SOPS 28362 HAS SOUS 12606 HAS SOUPS 12518 WITH SCORE 12546.555
AT ITER 267 NEW BEST:: SOT 36976 SOS 28515 HAS SOPS 28318 HAS SOUS 12606 HAS SOUPS 12514 WITH SCORE 12542.515
AT ITER 275 NEW BEST:: SOT 36974 SOS 28513 HAS SOPS 28316 HAS SOUS 12606 HAS SOUPS 12514 WITH SCORE 12542.513
AT ITER 286 NEW BEST:: SOT 36950 SOS 28489 HAS SOPS 28292 HAS SOUS 12522 HAS SOUPS 12430 WITH SCORE 12458.489
AT ITER 289 NEW BEST:: SOT 36948 SOS 28481 HAS SOPS 28284 HAS SOUS 12513 HAS SOUPS 12421 WITH SCORE 12449.481
AT ITER 290 NEW BEST:: SOT 36925 SOS 28458 HAS SOPS 28261 HAS SOUS 12490 HAS SOUPS 12398 WITH SCORE 12426.458
AT ITER 300 NEW BEST:: SOT 36884 SOS 28417 HAS SOPS 28220 HAS SOUS 12489 HAS SOUPS 12397 WITH SCORE 12425.417
AT ITER 301 NEW BEST:: SOT 36874 SOS 28407 HAS SOPS 28210 HAS SOUS 12487 HAS SOUPS 12395 WITH SCORE 12423.407
AT ITER 303 NEW BEST:: SOT 36859 SOS 28392 HAS SOPS 28195 HAS SOUS 12478 HAS SOUPS 12386 WITH SCORE 12414.392
AT ITER 307 NEW BEST:: SOT 36889 SOS 28422 HAS SOPS 28225 HAS SOUS 12458 HAS SOUPS 12366 WITH SCORE 12394.422
AT ITER 322 NEW BEST:: SOT 36866 SOS 28399 HAS SOPS 28202 HAS SOUS 12435 HAS SOUPS 12343 WITH SCORE 12371.399
AT ITER 323 NEW BEST:: SOT 36866 SOS 28399 HAS SOPS 28202 HAS SOUS 12420 HAS SOUPS 12328 WITH SCORE 12356.399
AT ITER 324 NEW BEST:: SOT 36866 SOS 28399 HAS SOPS 28202 HAS SOUS 12416 HAS SOUPS 12324 WITH SCORE 12352.399
AT ITER 330 NEW BEST:: SOT 36851 SOS 28384 HAS SOPS 28187 HAS SOUS 12411 HAS SOUPS 12319 WITH SCORE 12347.384
AT ITER 331 NEW BEST:: SOT 36851 SOS 28384 HAS SOPS 28187 HAS SOUS 12410 HAS SOUPS 12318 WITH SCORE 12346.384
AT ITER 343 NEW BEST:: SOT 36831 SOS 28364 HAS SOPS 28163 HAS SOUS 12382 HAS SOUPS 12286 WITH SCORE 12314.364
AT ITER 357 NEW BEST:: SOT 36612 SOS 28145 HAS SOPS 27944 HAS SOUS 12091 HAS SOUPS 11995 WITH SCORE 12023.145
AT ITER 366 NEW BEST:: SOT 36597 SOS 28130 HAS SOPS 27929 HAS SOUS 12075 HAS SOUPS 11979 WITH SCORE 12007.13
AT ITER 368 NEW BEST:: SOT 36541 SOS 28068 HAS SOPS 27867 HAS SOUS 12026 HAS SOUPS 11930 WITH SCORE 11958.068
AT ITER 372 NEW BEST:: SOT 36545 SOS 28072 HAS SOPS 27871 HAS SOUS 12018 HAS SOUPS 11922 WITH SCORE 11950.072
AT ITER 374 NEW BEST:: SOT 36375 SOS 27902 HAS SOPS 27701 HAS SOUS 11929 HAS SOUPS 11833 WITH SCORE 11860.902
AT ITER 387 NEW BEST:: SOT 36271 SOS 27731 HAS SOPS 27516 HAS SOUS 11788 HAS SOUPS 11678 WITH SCORE 11705.731
AT ITER 393 NEW BEST:: SOT 36265 SOS 27692 HAS SOPS 27473 HAS SOUS 11582 HAS SOUPS 11468 WITH SCORE 11495.692
AT ITER 399 NEW BEST:: SOT 36248 SOS 27675 HAS SOPS 27456 HAS SOUS 11565 HAS SOUPS 11451 WITH SCORE 11478.675
AT ITER 405 NEW BEST:: SOT 36192 SOS 27619 HAS SOPS 27400 HAS SOUS 11506 HAS SOUPS 11392 WITH SCORE 11419.619
AT ITER 407 NEW BEST:: SOT 36182 SOS 27609 HAS SOPS 27390 HAS SOUS 11484 HAS SOUPS 11370 WITH SCORE 11397.609
AT ITER 418 NEW BEST:: SOT 35786 SOS 27213 HAS SOPS 26994 HAS SOUS 10971 HAS SOUPS 10857 WITH SCORE 10884.213
AT ITER 419 NEW BEST:: SOT 35802 SOS 27355 HAS SOPS 27136 HAS SOUS 10964 HAS SOUPS 10850 WITH SCORE 10877.355
AT ITER 436 NEW BEST:: SOT 35780 SOS 27322 HAS SOPS 27114 HAS SOUS 10909 HAS SOUPS 10806 WITH SCORE 10833.322
AT ITER 438 NEW BEST:: SOT 35740 SOS 27284 HAS SOPS 27074 HAS SOUS 10862 HAS SOUPS 10757 WITH SCORE 10784.284
AT ITER 445 NEW BEST:: SOT 35746 SOS 27289 HAS SOPS 27080 HAS SOUS 10858 HAS SOUPS 10754 WITH SCORE 10781.289
AT ITER 455 NEW BEST:: SOT 35734 SOS 27265 HAS SOPS 27068 HAS SOUS 10822 HAS SOUPS 10730 WITH SCORE 10757.265
AT ITER 472 NEW BEST:: SOT 35734 SOS 27521 HAS SOPS 27180 HAS SOUS 10818 HAS SOUPS 10722 WITH SCORE 10749.521
AT ITER 473 NEW BEST:: SOT 35646 SOS 27429 HAS SOPS 27092 HAS SOUS 10688 HAS SOUPS 10596 WITH SCORE 10623.429
AT ITER 503 NEW BEST:: SOT 35566 SOS 27347 HAS SOPS 27010 HAS SOUS 10615 HAS SOUPS 10523 WITH SCORE 10550.347
AT ITER 507 NEW BEST:: SOT 35566 SOS 27347 HAS SOPS 27010 HAS SOUS 10613 HAS SOUPS 10521 WITH SCORE 10548.347
AT ITER 509 NEW BEST:: SOT 35566 SOS 27356 HAS SOPS 27022 HAS SOUS 10601 HAS SOUPS 10512 WITH SCORE 10539.356
AT ITER 520 NEW BEST:: SOT 35596 SOS 27374 HAS SOPS 27052 HAS SOUS 10503 HAS SOUPS 10426 WITH SCORE 10453.374
AT ITER 528 NEW BEST:: SOT 35561 SOS 27345 HAS SOPS 27016 HAS SOUS 10480 HAS SOUPS 10396 WITH SCORE 10423.345
AT ITER 529 NEW BEST:: SOT 35533 SOS 27317 HAS SOPS 26988 HAS SOUS 10433 HAS SOUPS 10349 WITH SCORE 10376.317
AT ITER 563 NEW BEST:: SOT 35519 SOS 27309 HAS SOPS 27016 HAS SOUS 10416 HAS SOUPS 10332 WITH SCORE 10359.309
AT ITER 566 NEW BEST:: SOT 35503 SOS 27293 HAS SOPS 27000 HAS SOUS 10405 HAS SOUPS 10321 WITH SCORE 10348.293
AT ITER 583 NEW BEST:: SOT 35482 SOS 26466 HAS SOPS 26173 HAS SOUS 10341 HAS SOUPS 10257 WITH SCORE 10283.466
AT ITER 591 NEW BEST:: SOT 35472 SOS 26456 HAS SOPS 26163 HAS SOUS 10331 HAS SOUPS 10247 WITH SCORE 10273.456
AT ITER 592 NEW BEST:: SOT 35490 SOS 26474 HAS SOPS 26181 HAS SOUS 10305 HAS SOUPS 10221 WITH SCORE 10247.474
AT ITER 606 NEW BEST:: SOT 35473 SOS 26457 HAS SOPS 26164 HAS SOUS 10287 HAS SOUPS 10203 WITH SCORE 10229.457
AT ITER 614 NEW BEST:: SOT 35493 SOS 26477 HAS SOPS 26184 HAS SOUS 10283 HAS SOUPS 10199 WITH SCORE 10225.477
AT ITER 616 NEW BEST:: SOT 35493 SOS 26477 HAS SOPS 26184 HAS SOUS 10281 HAS SOUPS 10197 WITH SCORE 10223.477
AT ITER 622 NEW BEST:: SOT 35493 SOS 26477 HAS SOPS 26184 HAS SOUS 10279 HAS SOUPS 10195 WITH SCORE 10221.477
AT ITER 641 NEW BEST:: SOT 35395 SOS 26399 HAS SOPS 26086 HAS SOUS 10229 HAS SOUPS 10125 WITH SCORE 10151.399
AT ITER 646 NEW BEST:: SOT 35365 SOS 26317 HAS SOPS 25980 HAS SOUS 10083 HAS SOUPS 9955 WITH SCORE 9981.317
AT ITER 649 NEW BEST:: SOT 35352 SOS 26304 HAS SOPS 25967 HAS SOUS 10076 HAS SOUPS 9948 WITH SCORE 9974.304
AT ITER 662 NEW BEST:: SOT 35292 SOS 25554 HAS SOPS 25217 HAS SOUS 10022 HAS SOUPS 9894 WITH SCORE 9919.554
AT ITER 682 NEW BEST:: SOT 35274 SOS 25547 HAS SOPS 25199 HAS SOUS 9996 HAS SOUPS 9857 WITH SCORE 9882.547
AT ITER 721 NEW BEST:: SOT 35272 SOS 25545 HAS SOPS 25197 HAS SOUS 9981 HAS SOUPS 9842 WITH SCORE 9867.545
AT ITER 726 NEW BEST:: SOT 35271 SOS 25544 HAS SOPS 25196 HAS SOUS 9980 HAS SOUPS 9841 WITH SCORE 9866.544
AT ITER 745 NEW BEST:: SOT 35200 SOS 25535 HAS SOPS 25229 HAS SOUS 9971 HAS SOUPS 9832 WITH SCORE 9857.535
AT ITER 751 NEW BEST:: SOT 35190 SOS 25488 HAS SOPS 25182 HAS SOUS 9955 HAS SOUPS 9816 WITH SCORE 9841.488
AT ITER 758 NEW BEST:: SOT 35188 SOS 25486 HAS SOPS 25180 HAS SOUS 9947 HAS SOUPS 9808 WITH SCORE 9833.486
AT ITER 769 NEW BEST:: SOT 35050 SOS 25345 HAS SOPS 25042 HAS SOUS 9771 HAS SOUPS 9635 WITH SCORE 9660.345
AT ITER 777 NEW BEST:: SOT 35071 SOS 25436 HAS SOPS 25091 HAS SOUS 9701 HAS SOUPS 9565 WITH SCORE 9590.436
AT ITER 791 NEW BEST:: SOT 35071 SOS 25430 HAS SOPS 25085 HAS SOUS 9692 HAS SOUPS 9556 WITH SCORE 9581.43
AT ITER 793 NEW BEST:: SOT 35067 SOS 25427 HAS SOPS 25081 HAS SOUS 9691 HAS SOUPS 9554 WITH SCORE 9579.427
AT ITER 833 NEW BEST:: SOT 35002 SOS 25343 HAS SOPS 25016 HAS SOUS 9571 HAS SOUPS 9453 WITH SCORE 9478.343
AT ITER 849 NEW BEST:: SOT 34990 SOS 25325 HAS SOPS 24992 HAS SOUS 9561 HAS SOUPS 9437 WITH SCORE 9462.325
AT ITER 853 NEW BEST:: SOT 34994 SOS 25309 HAS SOPS 24976 HAS SOUS 9561 HAS SOUPS 9437 WITH SCORE 9462.309
AT ITER 863 NEW BEST:: SOT 34992 SOS 25307 HAS SOPS 24974 HAS SOUS 9561 HAS SOUPS 9437 WITH SCORE 9462.307
AT ITER 865 NEW BEST:: SOT 34980 SOS 25295 HAS SOPS 24962 HAS SOUS 9525 HAS SOUPS 9401 WITH SCORE 9426.295
AT ITER 869 NEW BEST:: SOT 34958 SOS 25297 HAS SOPS 24964 HAS SOUS 9498 HAS SOUPS 9374 WITH SCORE 9399.297
AT ITER 871 NEW BEST:: SOT 34956 SOS 25291 HAS SOPS 24958 HAS SOUS 9492 HAS SOUPS 9368 WITH SCORE 9393.291
AT ITER 874 NEW BEST:: SOT 34903 SOS 25238 HAS SOPS 24937 HAS SOUS 9435 HAS SOUPS 9343 WITH SCORE 9368.238
AT ITER 885 NEW BEST:: SOT 34872 SOS 25185 HAS SOPS 24884 HAS SOUS 9395 HAS SOUPS 9303 WITH SCORE 9328.185
AT ITER 897 NEW BEST:: SOT 34867 SOS 25180 HAS SOPS 24879 HAS SOUS 9379 HAS SOUPS 9287 WITH SCORE 9312.18
AT ITER 901 NEW BEST:: SOT 34879 SOS 25180 HAS SOPS 24872 HAS SOUS 9325 HAS SOUPS 9226 WITH SCORE 9251.18
AT ITER 911 NEW BEST:: SOT 34868 SOS 25174 HAS SOPS 24861 HAS SOUS 9320 HAS SOUPS 9216 WITH SCORE 9241.174
AT ITER 921 NEW BEST:: SOT 34870 SOS 25282 HAS SOPS 24969 HAS SOUS 9302 HAS SOUPS 9198 WITH SCORE 9223.282
AT ITER 923 NEW BEST:: SOT 34868 SOS 25279 HAS SOPS 24967 HAS SOUS 9299 HAS SOUPS 9196 WITH SCORE 9221.279
AT ITER 926 NEW BEST:: SOT 34861 SOS 25272 HAS SOPS 24960 HAS SOUS 9284 HAS SOUPS 9181 WITH SCORE 9206.272
AT ITER 931 NEW BEST:: SOT 34831 SOS 25236 HAS SOPS 24924 HAS SOUS 9248 HAS SOUPS 9145 WITH SCORE 9170.236
AT ITER 938 NEW BEST:: SOT 34818 SOS 25239 HAS SOPS 24927 HAS SOUS 9220 HAS SOUPS 9117 WITH SCORE 9142.239
AT ITER 942 NEW BEST:: SOT 34813 SOS 25234 HAS SOPS 24922 HAS SOUS 9213 HAS SOUPS 9110 WITH SCORE 9135.234
AT ITER 957 NEW BEST:: SOT 34813 SOS 25229 HAS SOPS 24917 HAS SOUS 9178 HAS SOUPS 9075 WITH SCORE 9100.229
AT ITER 974 NEW BEST:: SOT 34804 SOS 25220 HAS SOPS 24908 HAS SOUS 9165 HAS SOUPS 9062 WITH SCORE 9087.22
AT ITER 994 NEW BEST:: SOT 34788 SOS 25202 HAS SOPS 24892 HAS SOUS 9135 HAS SOUPS 9034 WITH SCORE 9059.202
AT ITER 1012 NEW BEST:: SOT 34823 SOS 25220 HAS SOPS 24910 HAS SOUS 9051 HAS SOUPS 8950 WITH SCORE 8975.22
AT ITER 1040 NEW BEST:: SOT 34823 SOS 25219 HAS SOPS 24939 HAS SOUS 9049 HAS SOUPS 8949 WITH SCORE 8974.219
AT ITER 1043 NEW BEST:: SOT 34728 SOS 25148 HAS SOPS 24868 HAS SOUS 8968 HAS SOUPS 8868 WITH SCORE 8893.148
AT ITER 1071 NEW BEST:: SOT 34728 SOS 25143 HAS SOPS 24863 HAS SOUS 8968 HAS SOUPS 8868 WITH SCORE 8893.143
AT ITER 1107 NEW BEST:: SOT 34658 SOS 25073 HAS SOPS 24793 HAS SOUS 8879 HAS SOUPS 8779 WITH SCORE 8804.073
AT ITER 1119 NEW BEST:: SOT 34660 SOS 25078 HAS SOPS 24805 HAS SOUS 8866 HAS SOUPS 8773 WITH SCORE 8798.078
AT ITER 1129 NEW BEST:: SOT 34660 SOS 25078 HAS SOPS 24805 HAS SOUS 8862 HAS SOUPS 8769 WITH SCORE 8794.078
AT ITER 1133 NEW BEST:: SOT 34644 SOS 25062 HAS SOPS 24789 HAS SOUS 8844 HAS SOUPS 8751 WITH SCORE 8776.062
AT ITER 1146 NEW BEST:: SOT 34660 SOS 25067 HAS SOPS 24792 HAS SOUS 8806 HAS SOUPS 8711 WITH SCORE 8736.067
AT ITER 1192 NEW BEST:: SOT 34660 SOS 25742 HAS SOPS 24747 HAS SOUS 8810 HAS SOUPS 8708 WITH SCORE 8733.742
AT ITER 1195 NEW BEST:: SOT 34660 SOS 25742 HAS SOPS 24747 HAS SOUS 8800 HAS SOUPS 8698 WITH SCORE 8723.742
AT ITER 1248 NEW BEST:: SOT 34680 SOS 25760 HAS SOPS 24765 HAS SOUS 8788 HAS SOUPS 8686 WITH SCORE 8711.76
AT ITER 1249 NEW BEST:: SOT 34566 SOS 25604 HAS SOPS 24609 HAS SOUS 8674 HAS SOUPS 8572 WITH SCORE 8597.604
AT ITER 1272 NEW BEST:: SOT 34564 SOS 25602 HAS SOPS 24607 HAS SOUS 8672 HAS SOUPS 8570 WITH SCORE 8595.602
AT ITER 1275 NEW BEST:: SOT 34552 SOS 25590 HAS SOPS 24595 HAS SOUS 8656 HAS SOUPS 8554 WITH SCORE 8579.59
AT ITER 1284 NEW BEST:: SOT 34510 SOS 25528 HAS SOPS 24533 HAS SOUS 8614 HAS SOUPS 8512 WITH SCORE 8537.528
AT ITER 1286 NEW BEST:: SOT 34510 SOS 25410 HAS SOPS 24379 HAS SOUS 8614 HAS SOUPS 8512 WITH SCORE 8537.41
AT ITER 1287 NEW BEST:: SOT 34544 SOS 25444 HAS SOPS 24413 HAS SOUS 8610 HAS SOUPS 8508 WITH SCORE 8533.444
AT ITER 1307 NEW BEST:: SOT 34544 SOS 25438 HAS SOPS 24407 HAS SOUS 8610 HAS SOUPS 8508 WITH SCORE 8533.438
AT ITER 1315 NEW BEST:: SOT 34411 SOS 25303 HAS SOPS 24272 HAS SOUS 8476 HAS SOUPS 8374 WITH SCORE 8399.303
AT ITER 1321 NEW BEST:: SOT 34411 SOS 25285 HAS SOPS 24254 HAS SOUS 8476 HAS SOUPS 8374 WITH SCORE 8399.285
AT ITER 1386 NEW BEST:: SOT 34411 SOS 25318 HAS SOPS 24287 HAS SOUS 8465 HAS SOUPS 8363 WITH SCORE 8388.318
AT ITER 1407 NEW BEST:: SOT 34379 SOS 25286 HAS SOPS 24261 HAS SOUS 8427 HAS SOUPS 8331 WITH SCORE 8356.286
AT ITER 1416 NEW BEST:: SOT 34379 SOS 25303 HAS SOPS 24278 HAS SOUS 8425 HAS SOUPS 8329 WITH SCORE 8354.303
AT ITER 1425 NEW BEST:: SOT 34379 SOS 25295 HAS SOPS 24342 HAS SOUS 8425 HAS SOUPS 8329 WITH SCORE 8354.295
AT ITER 1435 NEW BEST:: SOT 34382 SOS 25298 HAS SOPS 24345 HAS SOUS 8408 HAS SOUPS 8312 WITH SCORE 8337.298
AT ITER 1459 NEW BEST:: SOT 34382 SOS 25298 HAS SOPS 24345 HAS SOUS 8396 HAS SOUPS 8300 WITH SCORE 8325.298
AT ITER 1466 NEW BEST:: SOT 34412 SOS 25328 HAS SOPS 24375 HAS SOUS 8371 HAS SOUPS 8275 WITH SCORE 8300.328
AT ITER 1473 NEW BEST:: SOT 34401 SOS 25262 HAS SOPS 24304 HAS SOUS 8360 HAS SOUPS 8259 WITH SCORE 8284.262
AT ITER 1485 NEW BEST:: SOT 34401 SOS 25262 HAS SOPS 24304 HAS SOUS 8354 HAS SOUPS 8253 WITH SCORE 8278.262
AT ITER 1491 NEW BEST:: SOT 34400 SOS 25261 HAS SOPS 24303 HAS SOUS 8353 HAS SOUPS 8252 WITH SCORE 8277.261
AT ITER 1513 NEW BEST:: SOT 34400 SOS 25261 HAS SOPS 24303 HAS SOUS 8350 HAS SOUPS 8249 WITH SCORE 8274.261
AT ITER 1542 NEW BEST:: SOT 34400 SOS 25259 HAS SOPS 24301 HAS SOUS 8350 HAS SOUPS 8249 WITH SCORE 8274.259
AT ITER 1545 NEW BEST:: SOT 34388 SOS 25247 HAS SOPS 24289 HAS SOUS 8346 HAS SOUPS 8245 WITH SCORE 8270.247
AT ITER 1549 NEW BEST:: SOT 34388 SOS 25245 HAS SOPS 24359 HAS SOUS 8344 HAS SOUPS 8243 WITH SCORE 8268.245
AT ITER 1554 NEW BEST:: SOT 34379 SOS 25240 HAS SOPS 24354 HAS SOUS 8337 HAS SOUPS 8236 WITH SCORE 8261.24
AT ITER 1568 NEW BEST:: SOT 34379 SOS 25237 HAS SOPS 24441 HAS SOUS 8331 HAS SOUPS 8233 WITH SCORE 8258.237
AT ITER 1571 NEW BEST:: SOT 34379 SOS 25237 HAS SOPS 24441 HAS SOUS 8330 HAS SOUPS 8232 WITH SCORE 8257.237
AT ITER 1588 NEW BEST:: SOT 34203 SOS 25270 HAS SOPS 24474 HAS SOUS 8267 HAS SOUPS 8169 WITH SCORE 8194.27
AT ITER 1601 NEW BEST:: SOT 34203 SOS 25268 HAS SOPS 24532 HAS SOUS 8263 HAS SOUPS 8167 WITH SCORE 8192.268
AT ITER 1617 NEW BEST:: SOT 34203 SOS 25578 HAS SOPS 24862 HAS SOUS 8241 HAS SOUPS 8165 WITH SCORE 8190.578
AT ITER 1637 NEW BEST:: SOT 34203 SOS 25580 HAS SOPS 24861 HAS SOUS 8243 HAS SOUPS 8164 WITH SCORE 8189.58
AT ITER 1678 NEW BEST:: SOT 34220 SOS 25597 HAS SOPS 24878 HAS SOUS 8239 HAS SOUPS 8160 WITH SCORE 8185.597
AT ITER 1684 NEW BEST:: SOT 34220 SOS 25612 HAS SOPS 24893 HAS SOUS 8234 HAS SOUPS 8155 WITH SCORE 8180.612
AT ITER 1695 NEW BEST:: SOT 34124 SOS 25540 HAS SOPS 24821 HAS SOUS 8150 HAS SOUPS 8071 WITH SCORE 8096.54
AT ITER 1715 NEW BEST:: SOT 34116 SOS 25532 HAS SOPS 24813 HAS SOUS 8138 HAS SOUPS 8059 WITH SCORE 8084.532
AT ITER 1736 NEW BEST:: SOT 34086 SOS 25500 HAS SOPS 24781 HAS SOUS 8106 HAS SOUPS 8027 WITH SCORE 8052.5
AT ITER 1741 NEW BEST:: SOT 34086 SOS 25500 HAS SOPS 24781 HAS SOUS 8100 HAS SOUPS 8021 WITH SCORE 8046.5
AT ITER 1751 NEW BEST:: SOT 34092 SOS 25506 HAS SOPS 24787 HAS SOUS 8094 HAS SOUPS 8015 WITH SCORE 8040.506
AT ITER 1772 NEW BEST:: SOT 34121 SOS 25533 HAS SOPS 24770 HAS SOUS 8112 HAS SOUPS 7989 WITH SCORE 8014.533
AT ITER 1799 NEW BEST:: SOT 34112 SOS 25524 HAS SOPS 24761 HAS SOUS 8103 HAS SOUPS 7980 WITH SCORE 8005.524
AT ITER 1812 NEW BEST:: SOT 34112 SOS 25516 HAS SOPS 24537 HAS SOUS 8103 HAS SOUPS 7980 WITH SCORE 8005.516
AT ITER 1865 NEW BEST:: SOT 34065 SOS 25469 HAS SOPS 24490 HAS SOUS 8056 HAS SOUPS 7933 WITH SCORE 7958.469
AT ITER 1867 NEW BEST:: SOT 34065 SOS 25469 HAS SOPS 24490 HAS SOUS 8053 HAS SOUPS 7930 WITH SCORE 7955.469
AT ITER 1891 NEW BEST:: SOT 34062 SOS 25466 HAS SOPS 24487 HAS SOUS 8053 HAS SOUPS 7930 WITH SCORE 7955.466
AT ITER 1894 NEW BEST:: SOT 34062 SOS 25466 HAS SOPS 24487 HAS SOUS 8052 HAS SOUPS 7929 WITH SCORE 7954.466
AT ITER 1916 NEW BEST:: SOT 34020 SOS 25259 HAS SOPS 24298 HAS SOUS 8017 HAS SOUPS 7894 WITH SCORE 7919.259
AT ITER 1925 NEW BEST:: SOT 34020 SOS 25259 HAS SOPS 24298 HAS SOUS 8015 HAS SOUPS 7892 WITH SCORE 7917.259
AT ITER 1941 NEW BEST:: SOT 34016 SOS 25253 HAS SOPS 24291 HAS SOUS 7996 HAS SOUPS 7872 WITH SCORE 7897.253
AT ITER 1952 NEW BEST:: SOT 34014 SOS 25251 HAS SOPS 24289 HAS SOUS 7996 HAS SOUPS 7872 WITH SCORE 7897.251
AT ITER 1989 NEW BEST:: SOT 34014 SOS 25247 HAS SOPS 24429 HAS SOUS 7991 HAS SOUPS 7868 WITH SCORE 7893.247
AT ITER 1993 NEW BEST:: SOT 34014 SOS 25247 HAS SOPS 24429 HAS SOUS 7989 HAS SOUPS 7866 WITH SCORE 7891.247
AT ITER 2066 NEW BEST:: SOT 34014 SOS 25247 HAS SOPS 24429 HAS SOUS 7986 HAS SOUPS 7863 WITH SCORE 7888.247
AT ITER 2097 NEW BEST:: SOT 33999 SOS 25232 HAS SOPS 24414 HAS SOUS 7971 HAS SOUPS 7848 WITH SCORE 7873.232
AT ITER 2120 NEW BEST:: SOT 34000 SOS 25228 HAS SOPS 24404 HAS SOUS 7909 HAS SOUPS 7780 WITH SCORE 7805.228
AT ITER 2179 NEW BEST:: SOT 34000 SOS 25225 HAS SOPS 24404 HAS SOUS 7906 HAS SOUPS 7780 WITH SCORE 7805.225
AT ITER 2196 NEW BEST:: SOT 33991 SOS 25207 HAS SOPS 24386 HAS SOUS 7906 HAS SOUPS 7780 WITH SCORE 7805.207
AT ITER 2244 NEW BEST:: SOT 33986 SOS 25179 HAS SOPS 24358 HAS SOUS 7878 HAS SOUPS 7752 WITH SCORE 7777.179
AT ITER 2254 NEW BEST:: SOT 33986 SOS 25179 HAS SOPS 24358 HAS SOUS 7856 HAS SOUPS 7730 WITH SCORE 7755.179
AT ITER 2280 NEW BEST:: SOT 33984 SOS 25177 HAS SOPS 24356 HAS SOUS 7854 HAS SOUPS 7728 WITH SCORE 7753.177
AT ITER 2338 NEW BEST:: SOT 33984 SOS 25177 HAS SOPS 24356 HAS SOUS 7851 HAS SOUPS 7725 WITH SCORE 7750.177
AT ITER 2375 NEW BEST:: SOT 33984 SOS 25177 HAS SOPS 24356 HAS SOUS 7849 HAS SOUPS 7723 WITH SCORE 7748.177
AT ITER 2422 NEW BEST:: SOT 33960 SOS 25159 HAS SOPS 24332 HAS SOUS 7849 HAS SOUPS 7717 WITH SCORE 7742.159
AT ITER 2514 NEW BEST:: SOT 33950 SOS 25149 HAS SOPS 24320 HAS SOUS 7845 HAS SOUPS 7711 WITH SCORE 7736.149
AT ITER 2637 NEW BEST:: SOT 33950 SOS 25149 HAS SOPS 24320 HAS SOUS 7839 HAS SOUPS 7705 WITH SCORE 7730.149
AT ITER 2667 NEW BEST:: SOT 33944 SOS 25143 HAS SOPS 24314 HAS SOUS 7833 HAS SOUPS 7699 WITH SCORE 7724.143
AT ITER 2679 NEW BEST:: SOT 33944 SOS 25143 HAS SOPS 24314 HAS SOUS 7831 HAS SOUPS 7697 WITH SCORE 7722.143
AT ITER 2702 NEW BEST:: SOT 33932 SOS 25133 HAS SOPS 24304 HAS SOUS 7821 HAS SOUPS 7687 WITH SCORE 7712.133
AT ITER 2706 NEW BEST:: SOT 33932 SOS 25130 HAS SOPS 24304 HAS SOUS 7818 HAS SOUPS 7687 WITH SCORE 7712.13
AT ITER 2708 NEW BEST:: SOT 33932 SOS 25130 HAS SOPS 24304 HAS SOUS 7808 HAS SOUPS 7677 WITH SCORE 7702.13
AT ITER 2721 NEW BEST:: SOT 33932 SOS 25130 HAS SOPS 24304 HAS SOUS 7800 HAS SOUPS 7669 WITH SCORE 7694.13
AT ITER 2802 NEW BEST:: SOT 33932 SOS 25130 HAS SOPS 24304 HAS SOUS 7799 HAS SOUPS 7668 WITH SCORE 7693.13
AT ITER 2870 NEW BEST:: SOT 33932 SOS 25130 HAS SOPS 24304 HAS SOUS 7797 HAS SOUPS 7666 WITH SCORE 7691.13
AT ITER 2958 NEW BEST:: SOT 33931 SOS 25129 HAS SOPS 24303 HAS SOUS 7786 HAS SOUPS 7655 WITH SCORE 7680.129
AT ITER 3018 NEW BEST:: SOT 33931 SOS 25129 HAS SOPS 24303 HAS SOUS 7782 HAS SOUPS 7651 WITH SCORE 7676.129
AT ITER 3047 NEW BEST:: SOT 33924 SOS 25120 HAS SOPS 24294 HAS SOUS 7765 HAS SOUPS 7634 WITH SCORE 7659.12
AT ITER 3070 NEW BEST:: SOT 33910 SOS 25106 HAS SOPS 24280 HAS SOUS 7751 HAS SOUPS 7620 WITH SCORE 7645.106
AT ITER 3100 NEW BEST:: SOT 33910 SOS 25106 HAS SOPS 24279 HAS SOUS 7749 HAS SOUPS 7617 WITH SCORE 7642.106
AT ITER 3101 NEW BEST:: SOT 33910 SOS 25112 HAS SOPS 24285 HAS SOUS 7747 HAS SOUPS 7615 WITH SCORE 7640.112
AT ITER 3105 NEW BEST:: SOT 33910 SOS 25112 HAS SOPS 24285 HAS SOUS 7746 HAS SOUPS 7614 WITH SCORE 7639.112
AT ITER 3110 NEW BEST:: SOT 33904 SOS 25106 HAS SOPS 24279 HAS SOUS 7746 HAS SOUPS 7614 WITH SCORE 7639.106
AT ITER 3111 NEW BEST:: SOT 33904 SOS 25104 HAS SOPS 24277 HAS SOUS 7744 HAS SOUPS 7612 WITH SCORE 7637.104
AT ITER 3130 NEW BEST:: SOT 33904 SOS 25104 HAS SOPS 24277 HAS SOUS 7742 HAS SOUPS 7610 WITH SCORE 7635.104
AT ITER 3173 NEW BEST:: SOT 33906 SOS 25106 HAS SOPS 24279 HAS SOUS 7714 HAS SOUPS 7582 WITH SCORE 7607.106
AT ITER 3282 NEW BEST:: SOT 33904 SOS 25104 HAS SOPS 24277 HAS SOUS 7714 HAS SOUPS 7582 WITH SCORE 7607.104
AT ITER 3344 NEW BEST:: SOT 33904 SOS 25104 HAS SOPS 24277 HAS SOUS 7713 HAS SOUPS 7581 WITH SCORE 7606.104
AT ITER 3408 NEW BEST:: SOT 33904 SOS 25104 HAS SOPS 24277 HAS SOUS 7710 HAS SOUPS 7578 WITH SCORE 7603.104
AT ITER 3419 NEW BEST:: SOT 33892 SOS 25092 HAS SOPS 24265 HAS SOUS 7709 HAS SOUPS 7577 WITH SCORE 7602.092
AT ITER 3455 NEW BEST:: SOT 33911 SOS 25249 HAS SOPS 24404 HAS SOUS 7708 HAS SOUPS 7576 WITH SCORE 7601.249
AT ITER 3464 NEW BEST:: SOT 34051 SOS 25399 HAS SOPS 24554 HAS SOUS 7705 HAS SOUPS 7573 WITH SCORE 7598.399
AT ITER 3547 NEW BEST:: SOT 34043 SOS 25391 HAS SOPS 24546 HAS SOUS 7673 HAS SOUPS 7541 WITH SCORE 7566.391
AT ITER 3606 NEW BEST:: SOT 34041 SOS 25386 HAS SOPS 24544 HAS SOUS 7650 HAS SOUPS 7521 WITH SCORE 7546.386
AT ITER 3613 NEW BEST:: SOT 34041 SOS 25386 HAS SOPS 24544 HAS SOUS 7648 HAS SOUPS 7519 WITH SCORE 7544.386
AT ITER 3685 NEW BEST:: SOT 34156 SOS 25511 HAS SOPS 24669 HAS SOUS 7611 HAS SOUPS 7482 WITH SCORE 7507.511
AT ITER 3715 NEW BEST:: SOT 34156 SOS 25511 HAS SOPS 24667 HAS SOUS 7611 HAS SOUPS 7480 WITH SCORE 7505.511
AT ITER 3752 NEW BEST:: SOT 34160 SOS 25515 HAS SOPS 24671 HAS SOUS 7609 HAS SOUPS 7478 WITH SCORE 7503.515
AT ITER 3756 NEW BEST:: SOT 34152 SOS 25515 HAS SOPS 24673 HAS SOUS 7599 HAS SOUPS 7470 WITH SCORE 7495.515
AT ITER 3757 NEW BEST:: SOT 34152 SOS 25515 HAS SOPS 24673 HAS SOUS 7589 HAS SOUPS 7460 WITH SCORE 7485.515
AT ITER 3840 NEW BEST:: SOT 34129 SOS 25492 HAS SOPS 24650 HAS SOUS 7555 HAS SOUPS 7426 WITH SCORE 7451.492
AT ITER 3846 NEW BEST:: SOT 34127 SOS 25490 HAS SOPS 24648 HAS SOUS 7555 HAS SOUPS 7426 WITH SCORE 7451.49
AT ITER 3854 NEW BEST:: SOT 34122 SOS 25485 HAS SOPS 24643 HAS SOUS 7550 HAS SOUPS 7421 WITH SCORE 7446.485
AT ITER 3974 NEW BEST:: SOT 34188 SOS 25557 HAS SOPS 24715 HAS SOUS 7539 HAS SOUPS 7410 WITH SCORE 7435.557
AT ITER 4017 NEW BEST:: SOT 34188 SOS 25557 HAS SOPS 24715 HAS SOUS 7537 HAS SOUPS 7408 WITH SCORE 7433.557
AT ITER 4063 NEW BEST:: SOT 34188 SOS 25541 HAS SOPS 24843 HAS SOUS 7536 HAS SOUPS 7408 WITH SCORE 7433.541
AT ITER 4119 NEW BEST:: SOT 34197 SOS 25540 HAS SOPS 24842 HAS SOUS 7535 HAS SOUPS 7407 WITH SCORE 7432.54
AT ITER 4164 NEW BEST:: SOT 34191 SOS 25535 HAS SOPS 24838 HAS SOUS 7528 HAS SOUPS 7401 WITH SCORE 7426.535
AT ITER 4204 NEW BEST:: SOT 34191 SOS 25415 HAS SOPS 24718 HAS SOUS 7524 HAS SOUPS 7397 WITH SCORE 7422.415
AT ITER 4234 NEW BEST:: SOT 34187 SOS 25411 HAS SOPS 24714 HAS SOUS 7524 HAS SOUPS 7397 WITH SCORE 7422.411
AT ITER 4245 NEW BEST:: SOT 34187 SOS 25411 HAS SOPS 24714 HAS SOUS 7521 HAS SOUPS 7394 WITH SCORE 7419.411
AT ITER 4290 NEW BEST:: SOT 34203 SOS 25424 HAS SOPS 24730 HAS SOUS 7509 HAS SOUPS 7385 WITH SCORE 7410.424
AT ITER 4350 NEW BEST:: SOT 34183 SOS 25410 HAS SOPS 24716 HAS SOUS 7492 HAS SOUPS 7368 WITH SCORE 7393.41
AT ITER 4434 NEW BEST:: SOT 34183 SOS 25410 HAS SOPS 24716 HAS SOUS 7490 HAS SOUPS 7366 WITH SCORE 7391.41
AT ITER 4506 NEW BEST:: SOT 34175 SOS 25405 HAS SOPS 24708 HAS SOUS 7491 HAS SOUPS 7364 WITH SCORE 7389.405
AT ITER 4580 NEW BEST:: SOT 34172 SOS 25402 HAS SOPS 24705 HAS SOUS 7485 HAS SOUPS 7358 WITH SCORE 7383.402
AT ITER 4659 NEW BEST:: SOT 34159 SOS 25401 HAS SOPS 24704 HAS SOUS 7484 HAS SOUPS 7357 WITH SCORE 7382.401
AT ITER 4673 NEW BEST:: SOT 34149 SOS 25391 HAS SOPS 24694 HAS SOUS 7474 HAS SOUPS 7347 WITH SCORE 7372.391
AT ITER 4717 NEW BEST:: SOT 34145 SOS 25387 HAS SOPS 24690 HAS SOUS 7474 HAS SOUPS 7347 WITH SCORE 7372.387
AT ITER 4739 NEW BEST:: SOT 34145 SOS 25387 HAS SOPS 24690 HAS SOUS 7470 HAS SOUPS 7343 WITH SCORE 7368.387
AT ITER 5206 NEW BEST:: SOT 34145 SOS 25387 HAS SOPS 24690 HAS SOUS 7467 HAS SOUPS 7340 WITH SCORE 7365.387
AT ITER 5326 NEW BEST:: SOT 34144 SOS 25386 HAS SOPS 24689 HAS SOUS 7466 HAS SOUPS 7339 WITH SCORE 7364.386
AT ITER 5511 NEW BEST:: SOT 34128 SOS 25374 HAS SOPS 24677 HAS SOUS 7460 HAS SOUPS 7333 WITH SCORE 7358.374
AT ITER 5590 NEW BEST:: SOT 34128 SOS 25374 HAS SOPS 24677 HAS SOUS 7458 HAS SOUPS 7331 WITH SCORE 7356.374
AT ITER 5681 NEW BEST:: SOT 34086 SOS 25338 HAS SOPS 24641 HAS SOUS 7434 HAS SOUPS 7307 WITH SCORE 7332.338
AT ITER 5742 NEW BEST:: SOT 34086 SOS 25338 HAS SOPS 24641 HAS SOUS 7432 HAS SOUPS 7305 WITH SCORE 7330.338
AT ITER 5930 NEW BEST:: SOT 34083 SOS 25335 HAS SOPS 24638 HAS SOUS 7429 HAS SOUPS 7302 WITH SCORE 7327.335
AT ITER 6089 NEW BEST:: SOT 34087 SOS 25338 HAS SOPS 24642 HAS SOUS 7427 HAS SOUPS 7301 WITH SCORE 7326.338
AT ITER 6305 NEW BEST:: SOT 34082 SOS 25333 HAS SOPS 24637 HAS SOUS 7417 HAS SOUPS 7291 WITH SCORE 7316.333
AT ITER 6350 NEW BEST:: SOT 34086 SOS 25337 HAS SOPS 24641 HAS SOUS 7409 HAS SOUPS 7283 WITH SCORE 7308.337
AT ITER 6397 NEW BEST:: SOT 34086 SOS 25337 HAS SOPS 24641 HAS SOUS 7407 HAS SOUPS 7281 WITH SCORE 7306.337
AT ITER 6554 NEW BEST:: SOT 34077 SOS 25328 HAS SOPS 24632 HAS SOUS 7399 HAS SOUPS 7273 WITH SCORE 7298.328
AT ITER 6755 NEW BEST:: SOT 34077 SOS 25328 HAS SOPS 24632 HAS SOUS 7397 HAS SOUPS 7271 WITH SCORE 7296.328
AT ITER 6816 NEW BEST:: SOT 34079 SOS 25330 HAS SOPS 24634 HAS SOUS 7392 HAS SOUPS 7266 WITH SCORE 7291.33
AT ITER 6952 NEW BEST:: SOT 34086 SOS 25337 HAS SOPS 24641 HAS SOUS 7377 HAS SOUPS 7251 WITH SCORE 7276.337
AT ITER 7170 NEW BEST:: SOT 34086 SOS 25337 HAS SOPS 24641 HAS SOUS 7375 HAS SOUPS 7249 WITH SCORE 7274.337
AT ITER 7219 NEW BEST:: SOT 34088 SOS 25339 HAS SOPS 24643 HAS SOUS 7371 HAS SOUPS 7245 WITH SCORE 7270.339
AT ITER 7264 NEW BEST:: SOT 34082 SOS 25333 HAS SOPS 24637 HAS SOUS 7369 HAS SOUPS 7243 WITH SCORE 7268.333
AT ITER 7470 NEW BEST:: SOT 34082 SOS 25333 HAS SOPS 24637 HAS SOUS 7367 HAS SOUPS 7241 WITH SCORE 7266.333
AT ITER 7554 NEW BEST:: SOT 34135 SOS 25338 HAS SOPS 24642 HAS SOUS 7349 HAS SOUPS 7223 WITH SCORE 7248.338
AT ITER 7576 NEW BEST:: SOT 34135 SOS 25329 HAS SOPS 24633 HAS SOUS 7349 HAS SOUPS 7223 WITH SCORE 7248.329
AT ITER 7605 NEW BEST:: SOT 34136 SOS 25330 HAS SOPS 24634 HAS SOUS 7338 HAS SOUPS 7212 WITH SCORE 7237.33
AT ITER 7699 NEW BEST:: SOT 34136 SOS 25294 HAS SOPS 24238 HAS SOUS 7342 HAS SOUPS 7212 WITH SCORE 7237.294
AT ITER 7705 NEW BEST:: SOT 34136 SOS 25294 HAS SOPS 24238 HAS SOUS 7340 HAS SOUPS 7210 WITH SCORE 7235.294
AT ITER 7724 NEW BEST:: SOT 34152 SOS 25310 HAS SOPS 24254 HAS SOUS 7339 HAS SOUPS 7209 WITH SCORE 7234.31
AT ITER 7731 NEW BEST:: SOT 34152 SOS 25310 HAS SOPS 24254 HAS SOUS 7337 HAS SOUPS 7207 WITH SCORE 7232.31
AT ITER 7732 NEW BEST:: SOT 34152 SOS 25292 HAS SOPS 24248 HAS SOUS 7337 HAS SOUPS 7207 WITH SCORE 7232.292
AT ITER 7733 NEW BEST:: SOT 34152 SOS 26292 HAS SOPS 24348 HAS SOUS 7338 HAS SOUPS 7204 WITH SCORE 7230.292
AT ITER 7761 NEW BEST:: SOT 34150 SOS 26287 HAS SOPS 24343 HAS SOUS 7333 HAS SOUPS 7199 WITH SCORE 7225.287
AT ITER 7767 NEW BEST:: SOT 34150 SOS 26279 HAS SOPS 24407 HAS SOUS 7333 HAS SOUPS 7199 WITH SCORE 7225.279
AT ITER 8114 NEW BEST:: SOT 34175 SOS 26306 HAS SOPS 24434 HAS SOUS 7322 HAS SOUPS 7188 WITH SCORE 7214.306
AT ITER 8116 NEW BEST:: SOT 34175 SOS 26294 HAS SOPS 24530 HAS SOUS 7322 HAS SOUPS 7188 WITH SCORE 7214.294
AT ITER 8187 NEW BEST:: SOT 34175 SOS 26308 HAS SOPS 24532 HAS SOUS 7320 HAS SOUPS 7186 WITH SCORE 7212.308
AT ITER 8227 NEW BEST:: SOT 34175 SOS 26304 HAS SOPS 24528 HAS SOUS 7320 HAS SOUPS 7186 WITH SCORE 7212.304
AT ITER 8269 NEW BEST:: SOT 34174 SOS 26303 HAS SOPS 24527 HAS SOUS 7319 HAS SOUPS 7185 WITH SCORE 7211.303
AT ITER 8343 NEW BEST:: SOT 34302 SOS 26439 HAS SOPS 24663 HAS SOUS 7307 HAS SOUPS 7173 WITH SCORE 7199.439
AT ITER 8392 NEW BEST:: SOT 34302 SOS 26423 HAS SOPS 24647 HAS SOUS 7301 HAS SOUPS 7167 WITH SCORE 7193.423
AT ITER 8417 NEW BEST:: SOT 34287 SOS 26408 HAS SOPS 24632 HAS SOUS 7293 HAS SOUPS 7159 WITH SCORE 7185.408
AT ITER 8426 NEW BEST:: SOT 34282 SOS 26403 HAS SOPS 24627 HAS SOUS 7293 HAS SOUPS 7159 WITH SCORE 7185.403
AT ITER 8710 NEW BEST:: SOT 34282 SOS 26425 HAS SOPS 24649 HAS SOUS 7291 HAS SOUPS 7157 WITH SCORE 7183.425
AT ITER 8818 NEW BEST:: SOT 34282 SOS 26421 HAS SOPS 24645 HAS SOUS 7291 HAS SOUPS 7157 WITH SCORE 7183.421
AT ITER 8953 NEW BEST:: SOT 34282 SOS 26421 HAS SOPS 24645 HAS SOUS 7286 HAS SOUPS 7152 WITH SCORE 7178.421
AT ITER 9094 NEW BEST:: SOT 34282 SOS 26421 HAS SOPS 24645 HAS SOUS 7284 HAS SOUPS 7150 WITH SCORE 7176.421
AT ITER 9252 NEW BEST:: SOT 34278 SOS 26297 HAS SOPS 24521 HAS SOUS 7276 HAS SOUPS 7142 WITH SCORE 7168.297
AT ITER 9413 NEW BEST:: SOT 34278 SOS 26283 HAS SOPS 24507 HAS SOUS 7276 HAS SOUPS 7142 WITH SCORE 7168.283
AT ITER 9455 NEW BEST:: SOT 34278 SOS 26275 HAS SOPS 24571 HAS SOUS 7276 HAS SOUPS 7142 WITH SCORE 7168.275
AT ITER 9562 NEW BEST:: SOT 34274 SOS 26271 HAS SOPS 24567 HAS SOUS 7270 HAS SOUPS 7136 WITH SCORE 7162.271
AT ITER 9792 NEW BEST:: SOT 34274 SOS 26271 HAS SOPS 24567 HAS SOUS 7261 HAS SOUPS 7127 WITH SCORE 7153.271
AT ITER 9825 NEW BEST:: SOT 34274 SOS 26241 HAS SOPS 24537 HAS SOUS 7260 HAS SOUPS 7126 WITH SCORE 7152.241
BK_STOP 1589747036635
--------------------
content from stderr:
/home/mcc/BenchKit/bin/smart.sh: line 117: 457 Segmentation fault ${SMART} ${INPUT_SM}
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="SafeBus-PT-06"
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 SafeBus-PT-06, 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 r153-oct2-158972910200408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-06.tgz
mv SafeBus-PT-06 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 ;