Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r355-smll-167891803200272.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SafeBus-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803200272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 13K Feb 26 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 01:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 156K Feb 26 01:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Feb 26 01:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 175K Feb 26 01:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 26 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 319K Feb 26 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 303K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679892361976

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

Filename model.pnml
Petri model created: 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 6 NEW BEST:: SOT 38466 SOS 29891 HAS SOPS 29795 HAS SOUS 15073 HAS SOUPS 15068 WITH SCORE 15097.891
AT ITER 21 NEW BEST:: SOT 38399 SOS 29824 HAS SOPS 29728 HAS SOUS 15066 HAS SOUPS 15061 WITH SCORE 15090.824
AT ITER 22 NEW BEST:: SOT 38399 SOS 29824 HAS SOPS 29728 HAS SOUS 15062 HAS SOUPS 15057 WITH SCORE 15086.824
AT ITER 32 NEW BEST:: SOT 38333 SOS 29758 HAS SOPS 29662 HAS SOUS 14962 HAS SOUPS 14957 WITH SCORE 14986.758
AT ITER 35 NEW BEST:: SOT 38399 SOS 29818 HAS SOPS 29722 HAS SOUS 14949 HAS SOUPS 14944 WITH SCORE 14973.818
AT ITER 42 NEW BEST:: SOT 37320 SOS 29269 HAS SOPS 29269 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13971.269
AT ITER 54 NEW BEST:: SOT 37326 SOS 29272 HAS SOPS 29272 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13962.272
AT ITER 62 NEW BEST:: SOT 37346 SOS 29292 HAS SOPS 29292 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13958.292
AT ITER 66 NEW BEST:: SOT 37346 SOS 29677 HAS SOPS 29677 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13947.677
AT ITER 68 NEW BEST:: SOT 37346 SOS 29677 HAS SOPS 29677 HAS SOUS 13914 HAS SOUPS 13914 WITH SCORE 13943.677
AT ITER 69 NEW BEST:: SOT 37403 SOS 29727 HAS SOPS 29727 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13916.727
AT ITER 84 NEW BEST:: SOT 37428 SOS 29782 HAS SOPS 29782 HAS SOUS 13878 HAS SOUPS 13878 WITH SCORE 13907.782
AT ITER 88 NEW BEST:: SOT 37410 SOS 29764 HAS SOPS 29764 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13889.764
AT ITER 98 NEW BEST:: SOT 37410 SOS 29725 HAS SOPS 29725 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13889.725
AT ITER 104 NEW BEST:: SOT 37410 SOS 28654 HAS SOPS 28249 HAS SOUS 13929 HAS SOUPS 13845 WITH SCORE 13873.654
AT ITER 109 NEW BEST:: SOT 37389 SOS 28438 HAS SOPS 27910 HAS SOUS 14000 HAS SOUPS 13793 WITH SCORE 13821.438
AT ITER 118 NEW BEST:: SOT 37472 SOS 27065 HAS SOPS 26395 HAS SOUS 14082 HAS SOUPS 13733 WITH SCORE 13760.065
AT ITER 121 NEW BEST:: SOT 37369 SOS 26840 HAS SOPS 26384 HAS SOUS 13991 HAS SOUPS 13626 WITH SCORE 13652.84
AT ITER 135 NEW BEST:: SOT 37245 SOS 25731 HAS SOPS 25220 HAS SOUS 13803 HAS SOUPS 13383 WITH SCORE 13408.731
AT ITER 138 NEW BEST:: SOT 37200 SOS 25717 HAS SOPS 25175 HAS SOUS 13798 HAS SOUPS 13347 WITH SCORE 13372.717
AT ITER 140 NEW BEST:: SOT 37061 SOS 25773 HAS SOPS 25249 HAS SOUS 13768 HAS SOUPS 13335 WITH SCORE 13360.773
AT ITER 147 NEW BEST:: SOT 36864 SOS 25848 HAS SOPS 25536 HAS SOUS 13517 HAS SOUPS 13296 WITH SCORE 13321.848
AT ITER 158 NEW BEST:: SOT 36829 SOS 25813 HAS SOPS 25501 HAS SOUS 13482 HAS SOUPS 13261 WITH SCORE 13286.813
AT ITER 160 NEW BEST:: SOT 36811 SOS 25795 HAS SOPS 25483 HAS SOUS 13464 HAS SOUPS 13243 WITH SCORE 13268.795
AT ITER 163 NEW BEST:: SOT 36762 SOS 25746 HAS SOPS 25434 HAS SOUS 13397 HAS SOUPS 13176 WITH SCORE 13201.746
AT ITER 169 NEW BEST:: SOT 36866 SOS 25844 HAS SOPS 25538 HAS SOUS 13340 HAS SOUPS 13125 WITH SCORE 13150.844
AT ITER 171 NEW BEST:: SOT 36859 SOS 25837 HAS SOPS 25531 HAS SOUS 13333 HAS SOUPS 13118 WITH SCORE 13143.837
AT ITER 181 NEW BEST:: SOT 36824 SOS 25802 HAS SOPS 25496 HAS SOUS 13293 HAS SOUPS 13078 WITH SCORE 13103.802
AT ITER 183 NEW BEST:: SOT 36824 SOS 25802 HAS SOPS 25496 HAS SOUS 13292 HAS SOUPS 13077 WITH SCORE 13102.802
AT ITER 187 NEW BEST:: SOT 36767 SOS 25745 HAS SOPS 25439 HAS SOUS 13223 HAS SOUPS 13008 WITH SCORE 13033.745
AT ITER 190 NEW BEST:: SOT 36767 SOS 25747 HAS SOPS 25439 HAS SOUS 13224 HAS SOUPS 13007 WITH SCORE 13032.747
AT ITER 195 NEW BEST:: SOT 36630 SOS 25620 HAS SOPS 25332 HAS SOUS 13023 HAS SOUPS 12826 WITH SCORE 12851.62
AT ITER 198 NEW BEST:: SOT 36597 SOS 25515 HAS SOPS 25212 HAS SOUS 12897 HAS SOUPS 12685 WITH SCORE 12710.515
AT ITER 203 NEW BEST:: SOT 36592 SOS 25515 HAS SOPS 25207 HAS SOUS 12817 HAS SOUPS 12600 WITH SCORE 12625.515
AT ITER 207 NEW BEST:: SOT 36595 SOS 25518 HAS SOPS 25210 HAS SOUS 12715 HAS SOUPS 12498 WITH SCORE 12523.518
AT ITER 221 NEW BEST:: SOT 36274 SOS 25197 HAS SOPS 24889 HAS SOUS 12394 HAS SOUPS 12177 WITH SCORE 12202.197
AT ITER 222 NEW BEST:: SOT 36274 SOS 25197 HAS SOPS 24889 HAS SOUS 12393 HAS SOUPS 12176 WITH SCORE 12201.197
AT ITER 231 NEW BEST:: SOT 36268 SOS 25266 HAS SOPS 24958 HAS SOUS 12371 HAS SOUPS 12154 WITH SCORE 12179.266
AT ITER 247 NEW BEST:: SOT 36433 SOS 25102 HAS SOPS 24638 HAS SOUS 12479 HAS SOUPS 12106 WITH SCORE 12131.102
AT ITER 253 NEW BEST:: SOT 36388 SOS 25057 HAS SOPS 24458 HAS SOUS 12467 HAS SOUPS 11959 WITH SCORE 11984.057
AT ITER 267 NEW BEST:: SOT 36363 SOS 25032 HAS SOPS 24433 HAS SOUS 12397 HAS SOUPS 11889 WITH SCORE 11914.032
AT ITER 270 NEW BEST:: SOT 36349 SOS 25016 HAS SOPS 24419 HAS SOUS 12377 HAS SOUPS 11871 WITH SCORE 11896.016
AT ITER 282 NEW BEST:: SOT 36308 SOS 24966 HAS SOPS 24378 HAS SOUS 12327 HAS SOUPS 11830 WITH SCORE 11854.966
AT ITER 283 NEW BEST:: SOT 36284 SOS 24924 HAS SOPS 24354 HAS SOUS 12285 HAS SOUPS 11806 WITH SCORE 11830.924
AT ITER 296 NEW BEST:: SOT 36253 SOS 25034 HAS SOPS 24521 HAS SOUS 12181 HAS SOUPS 11759 WITH SCORE 11784.034
AT ITER 313 NEW BEST:: SOT 36252 SOS 25033 HAS SOPS 24520 HAS SOUS 12179 HAS SOUPS 11757 WITH SCORE 11782.033
AT ITER 324 NEW BEST:: SOT 36278 SOS 25059 HAS SOPS 24546 HAS SOUS 12150 HAS SOUPS 11728 WITH SCORE 11753.059
AT ITER 325 NEW BEST:: SOT 36268 SOS 25050 HAS SOPS 24537 HAS SOUS 12086 HAS SOUPS 11664 WITH SCORE 11689.05
AT ITER 326 NEW BEST:: SOT 36202 SOS 24942 HAS SOPS 24429 HAS SOUS 12013 HAS SOUPS 11591 WITH SCORE 11615.942
AT ITER 344 NEW BEST:: SOT 36202 SOS 25009 HAS SOPS 24496 HAS SOUS 12012 HAS SOUPS 11590 WITH SCORE 11615.009
AT ITER 352 NEW BEST:: SOT 36139 SOS 24892 HAS SOPS 24379 HAS SOUS 11880 HAS SOUPS 11458 WITH SCORE 11482.892
AT ITER 359 NEW BEST:: SOT 36139 SOS 24888 HAS SOPS 24375 HAS SOUS 11880 HAS SOUPS 11458 WITH SCORE 11482.888
AT ITER 362 NEW BEST:: SOT 36181 SOS 24786 HAS SOPS 24255 HAS SOUS 11837 HAS SOUPS 11397 WITH SCORE 11421.786
AT ITER 366 NEW BEST:: SOT 36144 SOS 24589 HAS SOPS 24038 HAS SOUS 11572 HAS SOUPS 11112 WITH SCORE 11136.589
AT ITER 389 NEW BEST:: SOT 36150 SOS 24603 HAS SOPS 24052 HAS SOUS 11570 HAS SOUPS 11110 WITH SCORE 11134.603
AT ITER 394 NEW BEST:: SOT 36095 SOS 24548 HAS SOPS 23997 HAS SOUS 11541 HAS SOUPS 11081 WITH SCORE 11105.548
AT ITER 396 NEW BEST:: SOT 36108 SOS 24546 HAS SOPS 24010 HAS SOUS 11526 HAS SOUPS 11081 WITH SCORE 11105.546
AT ITER 413 NEW BEST:: SOT 36097 SOS 24529 HAS SOPS 23993 HAS SOUS 11522 HAS SOUPS 11077 WITH SCORE 11101.529
AT ITER 415 NEW BEST:: SOT 36107 SOS 24499 HAS SOPS 23943 HAS SOUS 11492 HAS SOUPS 11027 WITH SCORE 11051.499
AT ITER 420 NEW BEST:: SOT 36040 SOS 24430 HAS SOPS 23874 HAS SOUS 11429 HAS SOUPS 10964 WITH SCORE 10988.43
AT ITER 421 NEW BEST:: SOT 35937 SOS 24285 HAS SOPS 23729 HAS SOUS 11305 HAS SOUPS 10840 WITH SCORE 10864.285
AT ITER 448 NEW BEST:: SOT 35920 SOS 24268 HAS SOPS 23712 HAS SOUS 11304 HAS SOUPS 10839 WITH SCORE 10863.268
AT ITER 484 NEW BEST:: SOT 35917 SOS 24265 HAS SOPS 23709 HAS SOUS 11301 HAS SOUPS 10836 WITH SCORE 10860.265
AT ITER 504 NEW BEST:: SOT 35839 SOS 24187 HAS SOPS 23631 HAS SOUS 11223 HAS SOUPS 10758 WITH SCORE 10782.187
AT ITER 509 NEW BEST:: SOT 35903 SOS 24251 HAS SOPS 23695 HAS SOUS 11208 HAS SOUPS 10743 WITH SCORE 10767.251
AT ITER 510 NEW BEST:: SOT 35780 SOS 24633 HAS SOPS 24130 HAS SOUS 11145 HAS SOUPS 10733 WITH SCORE 10757.633
AT ITER 511 NEW BEST:: SOT 35696 SOS 24549 HAS SOPS 24046 HAS SOUS 11072 HAS SOUPS 10660 WITH SCORE 10684.549
AT ITER 513 NEW BEST:: SOT 35687 SOS 24594 HAS SOPS 24091 HAS SOUS 11041 HAS SOUPS 10629 WITH SCORE 10653.594
AT ITER 517 NEW BEST:: SOT 35700 SOS 24608 HAS SOPS 24110 HAS SOUS 10958 HAS SOUPS 10551 WITH SCORE 10575.608
AT ITER 523 NEW BEST:: SOT 35483 SOS 24391 HAS SOPS 23893 HAS SOUS 10741 HAS SOUPS 10334 WITH SCORE 10358.391
AT ITER 527 NEW BEST:: SOT 35511 SOS 24437 HAS SOPS 23907 HAS SOUS 10765 HAS SOUPS 10326 WITH SCORE 10350.437
AT ITER 540 NEW BEST:: SOT 35517 SOS 24443 HAS SOPS 23913 HAS SOUS 10743 HAS SOUPS 10304 WITH SCORE 10328.443
AT ITER 546 NEW BEST:: SOT 35479 SOS 24958 HAS SOPS 24524 HAS SOUS 10689 HAS SOUPS 10255 WITH SCORE 10279.958
AT ITER 552 NEW BEST:: SOT 35515 SOS 25010 HAS SOPS 24584 HAS SOUS 10637 HAS SOUPS 10211 WITH SCORE 10236.01
AT ITER 570 NEW BEST:: SOT 35515 SOS 25081 HAS SOPS 24655 HAS SOUS 10635 HAS SOUPS 10209 WITH SCORE 10234.081
AT ITER 593 NEW BEST:: SOT 35515 SOS 25380 HAS SOPS 24954 HAS SOUS 10627 HAS SOUPS 10201 WITH SCORE 10226.38
AT ITER 598 NEW BEST:: SOT 35515 SOS 25449 HAS SOPS 25023 HAS SOUS 10621 HAS SOUPS 10195 WITH SCORE 10220.449
AT ITER 604 NEW BEST:: SOT 35499 SOS 25433 HAS SOPS 25007 HAS SOUS 10605 HAS SOUPS 10179 WITH SCORE 10204.433
AT ITER 623 NEW BEST:: SOT 35478 SOS 25412 HAS SOPS 24986 HAS SOUS 10533 HAS SOUPS 10107 WITH SCORE 10132.412
AT ITER 624 NEW BEST:: SOT 35487 SOS 25395 HAS SOPS 24986 HAS SOUS 10491 HAS SOUPS 10082 WITH SCORE 10107.395
AT ITER 634 NEW BEST:: SOT 35437 SOS 25385 HAS SOPS 24982 HAS SOUS 10433 HAS SOUPS 10030 WITH SCORE 10055.385
AT ITER 639 NEW BEST:: SOT 35429 SOS 25356 HAS SOPS 24953 HAS SOUS 10409 HAS SOUPS 10006 WITH SCORE 10031.356
AT ITER 652 NEW BEST:: SOT 35429 SOS 26369 HAS SOPS 24781 HAS SOUS 10413 HAS SOUPS 9994 WITH SCORE 10020.369
AT ITER 706 NEW BEST:: SOT 35420 SOS 26360 HAS SOPS 24772 HAS SOUS 10401 HAS SOUPS 9982 WITH SCORE 10008.36
AT ITER 708 NEW BEST:: SOT 35376 SOS 26309 HAS SOPS 24728 HAS SOUS 10294 HAS SOUPS 9882 WITH SCORE 9908.309
AT ITER 713 NEW BEST:: SOT 35366 SOS 26313 HAS SOPS 24718 HAS SOUS 10262 HAS SOUPS 9836 WITH SCORE 9862.313
AT ITER 718 NEW BEST:: SOT 35349 SOS 26240 HAS SOPS 24615 HAS SOUS 10271 HAS SOUPS 9815 WITH SCORE 9841.24
AT ITER 728 NEW BEST:: SOT 35349 SOS 26233 HAS SOPS 24860 HAS SOUS 10260 HAS SOUPS 9808 WITH SCORE 9834.233
AT ITER 762 NEW BEST:: SOT 35341 SOS 26229 HAS SOPS 24856 HAS SOUS 10245 HAS SOUPS 9793 WITH SCORE 9819.229
AT ITER 764 NEW BEST:: SOT 35341 SOS 26229 HAS SOPS 24856 HAS SOUS 10243 HAS SOUPS 9791 WITH SCORE 9817.229
AT ITER 766 NEW BEST:: SOT 35362 SOS 26146 HAS SOPS 24765 HAS SOUS 10181 HAS SOUPS 9721 WITH SCORE 9747.146
AT ITER 773 NEW BEST:: SOT 35394 SOS 26178 HAS SOPS 24797 HAS SOUS 10120 HAS SOUPS 9660 WITH SCORE 9686.178
AT ITER 790 NEW BEST:: SOT 35394 SOS 26199 HAS SOPS 24818 HAS SOUS 10112 HAS SOUPS 9652 WITH SCORE 9678.199
AT ITER 791 NEW BEST:: SOT 35394 SOS 26197 HAS SOPS 24816 HAS SOUS 10111 HAS SOUPS 9651 WITH SCORE 9677.197
AT ITER 796 NEW BEST:: SOT 35394 SOS 26195 HAS SOPS 24814 HAS SOUS 10105 HAS SOUPS 9645 WITH SCORE 9671.195
AT ITER 799 NEW BEST:: SOT 35394 SOS 26210 HAS SOPS 24829 HAS SOUS 10095 HAS SOUPS 9635 WITH SCORE 9661.21
AT ITER 802 NEW BEST:: SOT 35388 SOS 26204 HAS SOPS 24823 HAS SOUS 10094 HAS SOUPS 9634 WITH SCORE 9660.204
AT ITER 803 NEW BEST:: SOT 35362 SOS 26178 HAS SOPS 24797 HAS SOUS 10043 HAS SOUPS 9583 WITH SCORE 9609.178
AT ITER 836 NEW BEST:: SOT 35398 SOS 26214 HAS SOPS 24833 HAS SOUS 10024 HAS SOUPS 9564 WITH SCORE 9590.214
AT ITER 861 NEW BEST:: SOT 35401 SOS 25851 HAS SOPS 24452 HAS SOUS 10027 HAS SOUPS 9549 WITH SCORE 9574.851
AT ITER 883 NEW BEST:: SOT 35390 SOS 25840 HAS SOPS 24441 HAS SOUS 10011 HAS SOUPS 9533 WITH SCORE 9558.84
AT ITER 918 NEW BEST:: SOT 35345 SOS 25817 HAS SOPS 24418 HAS SOUS 9972 HAS SOUPS 9494 WITH SCORE 9519.817
AT ITER 919 NEW BEST:: SOT 35345 SOS 25817 HAS SOPS 24418 HAS SOUS 9959 HAS SOUPS 9481 WITH SCORE 9506.817
AT ITER 927 NEW BEST:: SOT 35380 SOS 25668 HAS SOPS 24221 HAS SOUS 10007 HAS SOUPS 9481 WITH SCORE 9506.668
AT ITER 957 NEW BEST:: SOT 35353 SOS 25641 HAS SOPS 24194 HAS SOUS 9978 HAS SOUPS 9452 WITH SCORE 9477.641
AT ITER 961 NEW BEST:: SOT 35317 SOS 25605 HAS SOPS 24158 HAS SOUS 9912 HAS SOUPS 9386 WITH SCORE 9411.605
AT ITER 972 NEW BEST:: SOT 35320 SOS 25490 HAS SOPS 24017 HAS SOUS 9915 HAS SOUPS 9363 WITH SCORE 9388.49
AT ITER 983 NEW BEST:: SOT 35325 SOS 25479 HAS SOPS 23992 HAS SOUS 9904 HAS SOUPS 9338 WITH SCORE 9363.479
AT ITER 986 NEW BEST:: SOT 35354 SOS 25508 HAS SOPS 24021 HAS SOUS 9903 HAS SOUPS 9337 WITH SCORE 9362.508
AT ITER 1041 NEW BEST:: SOT 35274 SOS 25430 HAS SOPS 23943 HAS SOUS 9824 HAS SOUPS 9258 WITH SCORE 9283.43
AT ITER 1055 NEW BEST:: SOT 35078 SOS 25255 HAS SOPS 23803 HAS SOUS 9586 HAS SOUPS 9055 WITH SCORE 9080.255
AT ITER 1061 NEW BEST:: SOT 35078 SOS 25252 HAS SOPS 23803 HAS SOUS 9580 HAS SOUPS 9052 WITH SCORE 9077.252
AT ITER 1081 NEW BEST:: SOT 35065 SOS 25237 HAS SOPS 23795 HAS SOUS 9476 HAS SOUPS 8955 WITH SCORE 8980.237
AT ITER 1088 NEW BEST:: SOT 35090 SOS 25249 HAS SOPS 23820 HAS SOUS 9378 HAS SOUPS 8870 WITH SCORE 8895.249
AT ITER 1093 NEW BEST:: SOT 35090 SOS 25249 HAS SOPS 23820 HAS SOUS 9364 HAS SOUPS 8856 WITH SCORE 8881.249
AT ITER 1206 NEW BEST:: SOT 35084 SOS 25243 HAS SOPS 23814 HAS SOUS 9357 HAS SOUPS 8849 WITH SCORE 8874.243
AT ITER 1212 NEW BEST:: SOT 35066 SOS 25258 HAS SOPS 23844 HAS SOUS 9339 HAS SOUPS 8846 WITH SCORE 8871.258
AT ITER 1230 NEW BEST:: SOT 35052 SOS 25244 HAS SOPS 23830 HAS SOUS 9322 HAS SOUPS 8829 WITH SCORE 8854.244
AT ITER 1285 NEW BEST:: SOT 35052 SOS 25240 HAS SOPS 23826 HAS SOUS 9320 HAS SOUPS 8827 WITH SCORE 8852.24
AT ITER 1294 NEW BEST:: SOT 35085 SOS 25233 HAS SOPS 23775 HAS SOUS 9358 HAS SOUPS 8821 WITH SCORE 8846.233
AT ITER 1295 NEW BEST:: SOT 35071 SOS 25219 HAS SOPS 23761 HAS SOUS 9352 HAS SOUPS 8815 WITH SCORE 8840.219
AT ITER 1306 NEW BEST:: SOT 35063 SOS 25217 HAS SOPS 23753 HAS SOUS 9337 HAS SOUPS 8794 WITH SCORE 8819.217
AT ITER 1311 NEW BEST:: SOT 35063 SOS 25214 HAS SOPS 23747 HAS SOUS 9334 HAS SOUPS 8791 WITH SCORE 8816.214
AT ITER 1325 NEW BEST:: SOT 35051 SOS 25202 HAS SOPS 23735 HAS SOUS 9323 HAS SOUPS 8780 WITH SCORE 8805.202
AT ITER 1342 NEW BEST:: SOT 35047 SOS 25196 HAS SOPS 23731 HAS SOUS 9316 HAS SOUPS 8775 WITH SCORE 8800.196
AT ITER 1345 NEW BEST:: SOT 35007 SOS 25148 HAS SOPS 23691 HAS SOUS 9252 HAS SOUPS 8719 WITH SCORE 8744.148
AT ITER 1377 NEW BEST:: SOT 35007 SOS 25148 HAS SOPS 23691 HAS SOUS 9250 HAS SOUPS 8717 WITH SCORE 8742.148
AT ITER 1403 NEW BEST:: SOT 35007 SOS 25141 HAS SOPS 23936 HAS SOUS 9244 HAS SOUPS 8714 WITH SCORE 8739.141
AT ITER 1438 NEW BEST:: SOT 35017 SOS 25311 HAS SOPS 24162 HAS SOUS 9135 HAS SOUPS 8661 WITH SCORE 8686.311
AT ITER 1480 NEW BEST:: SOT 35018 SOS 25312 HAS SOPS 24163 HAS SOUS 9132 HAS SOUPS 8658 WITH SCORE 8683.312
AT ITER 1492 NEW BEST:: SOT 35018 SOS 25312 HAS SOPS 24163 HAS SOUS 9130 HAS SOUPS 8656 WITH SCORE 8681.312
AT ITER 1558 NEW BEST:: SOT 35018 SOS 25312 HAS SOPS 24163 HAS SOUS 9125 HAS SOUPS 8651 WITH SCORE 8676.312
AT ITER 1590 NEW BEST:: SOT 34914 SOS 25208 HAS SOPS 24059 HAS SOUS 9105 HAS SOUPS 8631 WITH SCORE 8656.208
AT ITER 1597 NEW BEST:: SOT 34914 SOS 25186 HAS SOPS 24037 HAS SOUS 9096 HAS SOUPS 8622 WITH SCORE 8647.186
AT ITER 1610 NEW BEST:: SOT 34914 SOS 25172 HAS SOPS 23543 HAS SOUS 9085 HAS SOUPS 8601 WITH SCORE 8626.172
AT ITER 1615 NEW BEST:: SOT 34910 SOS 25168 HAS SOPS 23539 HAS SOUS 9077 HAS SOUPS 8593 WITH SCORE 8618.168
AT ITER 1626 NEW BEST:: SOT 34888 SOS 25141 HAS SOPS 23517 HAS SOUS 9048 HAS SOUPS 8569 WITH SCORE 8594.141
AT ITER 1628 NEW BEST:: SOT 34893 SOS 25114 HAS SOPS 23529 HAS SOUS 8936 HAS SOUPS 8496 WITH SCORE 8521.114
AT ITER 1634 NEW BEST:: SOT 34900 SOS 25041 HAS SOPS 23428 HAS SOUS 8955 HAS SOUPS 8487 WITH SCORE 8512.041
AT ITER 1642 NEW BEST:: SOT 34734 SOS 24859 HAS SOPS 23361 HAS SOUS 8898 HAS SOUPS 8430 WITH SCORE 8454.859
AT ITER 1644 NEW BEST:: SOT 34698 SOS 24818 HAS SOPS 23320 HAS SOUS 8861 HAS SOUPS 8393 WITH SCORE 8417.818
AT ITER 1666 NEW BEST:: SOT 34701 SOS 24821 HAS SOPS 23323 HAS SOUS 8858 HAS SOUPS 8390 WITH SCORE 8414.821
AT ITER 1683 NEW BEST:: SOT 34701 SOS 24813 HAS SOPS 23315 HAS SOUS 8854 HAS SOUPS 8386 WITH SCORE 8410.813
AT ITER 1698 NEW BEST:: SOT 34668 SOS 24835 HAS SOPS 23337 HAS SOUS 8832 HAS SOUPS 8364 WITH SCORE 8388.835
AT ITER 1728 NEW BEST:: SOT 34683 SOS 24835 HAS SOPS 23355 HAS SOUS 8811 HAS SOUPS 8361 WITH SCORE 8385.835
AT ITER 1759 NEW BEST:: SOT 34686 SOS 24838 HAS SOPS 23358 HAS SOUS 8810 HAS SOUPS 8360 WITH SCORE 8384.838
AT ITER 1777 NEW BEST:: SOT 34684 SOS 24832 HAS SOPS 23356 HAS SOUS 8778 HAS SOUPS 8332 WITH SCORE 8356.832
AT ITER 1786 NEW BEST:: SOT 34689 SOS 24815 HAS SOPS 23300 HAS SOUS 8781 HAS SOUPS 8296 WITH SCORE 8320.815
AT ITER 1789 NEW BEST:: SOT 34681 SOS 24802 HAS SOPS 23292 HAS SOUS 8768 HAS SOUPS 8288 WITH SCORE 8312.802
AT ITER 1820 NEW BEST:: SOT 34608 SOS 24747 HAS SOPS 23237 HAS SOUS 8704 HAS SOUPS 8224 WITH SCORE 8248.747
AT ITER 1823 NEW BEST:: SOT 34614 SOS 24753 HAS SOPS 23234 HAS SOUS 8686 HAS SOUPS 8197 WITH SCORE 8221.753
AT ITER 1884 NEW BEST:: SOT 34548 SOS 24687 HAS SOPS 23168 HAS SOUS 8674 HAS SOUPS 8185 WITH SCORE 8209.687
AT ITER 1888 NEW BEST:: SOT 34488 SOS 24627 HAS SOPS 23108 HAS SOUS 8633 HAS SOUPS 8144 WITH SCORE 8168.627
AT ITER 1898 NEW BEST:: SOT 34404 SOS 24543 HAS SOPS 23024 HAS SOUS 8549 HAS SOUPS 8060 WITH SCORE 8084.543
AT ITER 1940 NEW BEST:: SOT 34404 SOS 24543 HAS SOPS 23024 HAS SOUS 8542 HAS SOUPS 8053 WITH SCORE 8077.543
AT ITER 1943 NEW BEST:: SOT 34404 SOS 24543 HAS SOPS 23024 HAS SOUS 8536 HAS SOUPS 8047 WITH SCORE 8071.543
AT ITER 2015 NEW BEST:: SOT 34401 SOS 24536 HAS SOPS 23021 HAS SOUS 8505 HAS SOUPS 8020 WITH SCORE 8044.536
AT ITER 2134 NEW BEST:: SOT 34401 SOS 24536 HAS SOPS 23021 HAS SOUS 8504 HAS SOUPS 8019 WITH SCORE 8043.536
AT ITER 2170 NEW BEST:: SOT 34401 SOS 24536 HAS SOPS 22997 HAS SOUS 8496 HAS SOUPS 8011 WITH SCORE 8035.536
AT ITER 2173 NEW BEST:: SOT 34419 SOS 24551 HAS SOPS 23012 HAS SOUS 8493 HAS SOUPS 8008 WITH SCORE 8032.551
AT ITER 2189 NEW BEST:: SOT 34419 SOS 24551 HAS SOPS 23012 HAS SOUS 8480 HAS SOUPS 7995 WITH SCORE 8019.551
AT ITER 2192 NEW BEST:: SOT 34419 SOS 24593 HAS SOPS 23054 HAS SOUS 8477 HAS SOUPS 7992 WITH SCORE 8016.593
AT ITER 2196 NEW BEST:: SOT 34407 SOS 24581 HAS SOPS 23042 HAS SOUS 8477 HAS SOUPS 7992 WITH SCORE 8016.581
AT ITER 2204 NEW BEST:: SOT 34392 SOS 24566 HAS SOPS 23027 HAS SOUS 8453 HAS SOUPS 7968 WITH SCORE 7992.566
AT ITER 2231 NEW BEST:: SOT 34381 SOS 24555 HAS SOPS 23016 HAS SOUS 8442 HAS SOUPS 7957 WITH SCORE 7981.555
AT ITER 2326 NEW BEST:: SOT 34379 SOS 24551 HAS SOPS 23014 HAS SOUS 8432 HAS SOUPS 7949 WITH SCORE 7973.551
AT ITER 2345 NEW BEST:: SOT 34379 SOS 24551 HAS SOPS 23014 HAS SOUS 8429 HAS SOUPS 7946 WITH SCORE 7970.551
AT ITER 2378 NEW BEST:: SOT 34379 SOS 24549 HAS SOPS 23012 HAS SOUS 8427 HAS SOUPS 7944 WITH SCORE 7968.549
AT ITER 2407 NEW BEST:: SOT 34365 SOS 24529 HAS SOPS 22992 HAS SOUS 8419 HAS SOUPS 7936 WITH SCORE 7960.529
AT ITER 2451 NEW BEST:: SOT 34341 SOS 24525 HAS SOPS 22988 HAS SOUS 8399 HAS SOUPS 7916 WITH SCORE 7940.525
AT ITER 2463 NEW BEST:: SOT 34335 SOS 24518 HAS SOPS 22982 HAS SOUS 8391 HAS SOUPS 7909 WITH SCORE 7933.518
AT ITER 2464 NEW BEST:: SOT 34335 SOS 24514 HAS SOPS 23098 HAS SOUS 8383 HAS SOUPS 7905 WITH SCORE 7929.514
AT ITER 2482 NEW BEST:: SOT 34335 SOS 24514 HAS SOPS 23098 HAS SOUS 8379 HAS SOUPS 7901 WITH SCORE 7925.514
AT ITER 2499 NEW BEST:: SOT 34335 SOS 24514 HAS SOPS 23098 HAS SOUS 8369 HAS SOUPS 7891 WITH SCORE 7915.514
AT ITER 2513 NEW BEST:: SOT 34331 SOS 24527 HAS SOPS 23094 HAS SOUS 8384 HAS SOUPS 7889 WITH SCORE 7913.527
AT ITER 2560 NEW BEST:: SOT 34317 SOS 24513 HAS SOPS 23080 HAS SOUS 8370 HAS SOUPS 7875 WITH SCORE 7899.513
AT ITER 2587 NEW BEST:: SOT 34305 SOS 24501 HAS SOPS 23068 HAS SOUS 8346 HAS SOUPS 7851 WITH SCORE 7875.501
AT ITER 2596 NEW BEST:: SOT 34306 SOS 24502 HAS SOPS 23069 HAS SOUS 8341 HAS SOUPS 7846 WITH SCORE 7870.502
AT ITER 2604 NEW BEST:: SOT 34311 SOS 24505 HAS SOPS 23074 HAS SOUS 8336 HAS SOUPS 7843 WITH SCORE 7867.505
AT ITER 2622 NEW BEST:: SOT 34254 SOS 24457 HAS SOPS 23014 HAS SOUS 8348 HAS SOUPS 7843 WITH SCORE 7867.457
AT ITER 2674 NEW BEST:: SOT 34228 SOS 24431 HAS SOPS 22988 HAS SOUS 8346 HAS SOUPS 7841 WITH SCORE 7865.431
AT ITER 2689 NEW BEST:: SOT 34228 SOS 24431 HAS SOPS 22988 HAS SOUS 8342 HAS SOUPS 7837 WITH SCORE 7861.431
AT ITER 2692 NEW BEST:: SOT 34228 SOS 24427 HAS SOPS 22984 HAS SOUS 8340 HAS SOUPS 7835 WITH SCORE 7859.427
AT ITER 2798 NEW BEST:: SOT 34251 SOS 24420 HAS SOPS 22959 HAS SOUS 8338 HAS SOUPS 7815 WITH SCORE 7839.42
AT ITER 2801 NEW BEST:: SOT 34251 SOS 24418 HAS SOPS 22957 HAS SOUS 8338 HAS SOUPS 7815 WITH SCORE 7839.418
AT ITER 2807 NEW BEST:: SOT 34226 SOS 24413 HAS SOPS 22957 HAS SOUS 8308 HAS SOUPS 7790 WITH SCORE 7814.413
AT ITER 2836 NEW BEST:: SOT 34215 SOS 24402 HAS SOPS 22946 HAS SOUS 8288 HAS SOUPS 7770 WITH SCORE 7794.402
AT ITER 2850 NEW BEST:: SOT 34211 SOS 24398 HAS SOPS 22942 HAS SOUS 8288 HAS SOUPS 7770 WITH SCORE 7794.398
AT ITER 2879 NEW BEST:: SOT 34207 SOS 24394 HAS SOPS 22938 HAS SOUS 8276 HAS SOUPS 7758 WITH SCORE 7782.394
AT ITER 2966 NEW BEST:: SOT 34204 SOS 24391 HAS SOPS 22935 HAS SOUS 8273 HAS SOUPS 7755 WITH SCORE 7779.391
AT ITER 2992 NEW BEST:: SOT 34204 SOS 24391 HAS SOPS 22935 HAS SOUS 8272 HAS SOUPS 7754 WITH SCORE 7778.391
AT ITER 2999 NEW BEST:: SOT 34210 SOS 24393 HAS SOPS 22927 HAS SOUS 8274 HAS SOUPS 7746 WITH SCORE 7770.393
AT ITER 3028 NEW BEST:: SOT 34219 SOS 24408 HAS SOPS 22936 HAS SOUS 8274 HAS SOUPS 7740 WITH SCORE 7764.408
AT ITER 3035 NEW BEST:: SOT 34220 SOS 24409 HAS SOPS 22937 HAS SOUS 8273 HAS SOUPS 7739 WITH SCORE 7763.409
AT ITER 3075 NEW BEST:: SOT 34218 SOS 24405 HAS SOPS 22933 HAS SOUS 8269 HAS SOUPS 7735 WITH SCORE 7759.405
AT ITER 3122 NEW BEST:: SOT 34222 SOS 24408 HAS SOPS 22937 HAS SOUS 8265 HAS SOUPS 7732 WITH SCORE 7756.408
AT ITER 3128 NEW BEST:: SOT 34186 SOS 24378 HAS SOPS 22901 HAS SOUS 8241 HAS SOUPS 7702 WITH SCORE 7726.378
AT ITER 3131 NEW BEST:: SOT 34186 SOS 24378 HAS SOPS 22901 HAS SOUS 8240 HAS SOUPS 7701 WITH SCORE 7725.378
AT ITER 3136 NEW BEST:: SOT 34186 SOS 24366 HAS SOPS 22889 HAS SOUS 8233 HAS SOUPS 7694 WITH SCORE 7718.366
AT ITER 3162 NEW BEST:: SOT 34186 SOS 24366 HAS SOPS 22889 HAS SOUS 8232 HAS SOUPS 7693 WITH SCORE 7717.366
AT ITER 3222 NEW BEST:: SOT 34186 SOS 24469 HAS SOPS 23261 HAS SOUS 8224 HAS SOUPS 7685 WITH SCORE 7709.469
AT ITER 3297 NEW BEST:: SOT 34182 SOS 24457 HAS SOPS 23257 HAS SOUS 8193 HAS SOUPS 7662 WITH SCORE 7686.457
AT ITER 3304 NEW BEST:: SOT 34176 SOS 24442 HAS SOPS 23242 HAS SOUS 8173 HAS SOUPS 7642 WITH SCORE 7666.442
AT ITER 3365 NEW BEST:: SOT 34082 SOS 24341 HAS SOPS 23148 HAS SOUS 8144 HAS SOUPS 7620 WITH SCORE 7644.341
AT ITER 3418 NEW BEST:: SOT 34081 SOS 24339 HAS SOPS 23147 HAS SOUS 8140 HAS SOUPS 7617 WITH SCORE 7641.339
AT ITER 3420 NEW BEST:: SOT 34077 SOS 24333 HAS SOPS 23145 HAS SOUS 8126 HAS SOUPS 7607 WITH SCORE 7631.333
AT ITER 3498 NEW BEST:: SOT 34062 SOS 24315 HAS SOPS 23130 HAS SOUS 8103 HAS SOUPS 7587 WITH SCORE 7611.315
AT ITER 3512 NEW BEST:: SOT 34077 SOS 24324 HAS SOPS 23115 HAS SOUS 8125 HAS SOUPS 7585 WITH SCORE 7609.324
AT ITER 3529 NEW BEST:: SOT 34067 SOS 24313 HAS SOPS 23105 HAS SOUS 8111 HAS SOUPS 7572 WITH SCORE 7596.313
AT ITER 3537 NEW BEST:: SOT 34061 SOS 24307 HAS SOPS 23099 HAS SOUS 8103 HAS SOUPS 7564 WITH SCORE 7588.307
AT ITER 3554 NEW BEST:: SOT 34051 SOS 24297 HAS SOPS 23089 HAS SOUS 8093 HAS SOUPS 7554 WITH SCORE 7578.297
AT ITER 3564 NEW BEST:: SOT 34062 SOS 24308 HAS SOPS 23105 HAS SOUS 8074 HAS SOUPS 7540 WITH SCORE 7564.308
AT ITER 3576 NEW BEST:: SOT 34061 SOS 24307 HAS SOPS 23104 HAS SOUS 8070 HAS SOUPS 7536 WITH SCORE 7560.307
AT ITER 3612 NEW BEST:: SOT 34061 SOS 24322 HAS SOPS 23119 HAS SOUS 8067 HAS SOUPS 7533 WITH SCORE 7557.322
AT ITER 3641 NEW BEST:: SOT 34049 SOS 24310 HAS SOPS 23107 HAS SOUS 8067 HAS SOUPS 7533 WITH SCORE 7557.31
AT ITER 3645 NEW BEST:: SOT 34048 SOS 24318 HAS SOPS 23106 HAS SOUS 8072 HAS SOUPS 7529 WITH SCORE 7553.318
AT ITER 3681 NEW BEST:: SOT 34036 SOS 24312 HAS SOPS 23100 HAS SOUS 8066 HAS SOUPS 7523 WITH SCORE 7547.312
AT ITER 3753 NEW BEST:: SOT 34038 SOS 24314 HAS SOPS 23102 HAS SOUS 8064 HAS SOUPS 7521 WITH SCORE 7545.314
AT ITER 3787 NEW BEST:: SOT 34029 SOS 24305 HAS SOPS 23093 HAS SOUS 8058 HAS SOUPS 7515 WITH SCORE 7539.305
AT ITER 3865 NEW BEST:: SOT 34027 SOS 24301 HAS SOPS 23091 HAS SOUS 8050 HAS SOUPS 7509 WITH SCORE 7533.301
AT ITER 3870 NEW BEST:: SOT 34027 SOS 24301 HAS SOPS 23091 HAS SOUS 8049 HAS SOUPS 7508 WITH SCORE 7532.301
AT ITER 3917 NEW BEST:: SOT 34017 SOS 24290 HAS SOPS 23081 HAS SOUS 8033 HAS SOUPS 7493 WITH SCORE 7517.29
AT ITER 3960 NEW BEST:: SOT 34019 SOS 24292 HAS SOPS 23083 HAS SOUS 8030 HAS SOUPS 7490 WITH SCORE 7514.292
AT ITER 4050 NEW BEST:: SOT 34019 SOS 24292 HAS SOPS 23083 HAS SOUS 8026 HAS SOUPS 7486 WITH SCORE 7510.292
AT ITER 4054 NEW BEST:: SOT 34017 SOS 24290 HAS SOPS 23081 HAS SOUS 8021 HAS SOUPS 7481 WITH SCORE 7505.29
AT ITER 4086 NEW BEST:: SOT 33963 SOS 24236 HAS SOPS 23036 HAS SOUS 7949 HAS SOUPS 7418 WITH SCORE 7442.236
AT ITER 4122 NEW BEST:: SOT 33963 SOS 24229 HAS SOPS 23036 HAS SOUS 7942 HAS SOUPS 7418 WITH SCORE 7442.229
AT ITER 4163 NEW BEST:: SOT 33961 SOS 24227 HAS SOPS 23034 HAS SOUS 7938 HAS SOUPS 7414 WITH SCORE 7438.227
AT ITER 4267 NEW BEST:: SOT 33965 SOS 24233 HAS SOPS 23038 HAS SOUS 7938 HAS SOUPS 7412 WITH SCORE 7436.233
AT ITER 4270 NEW BEST:: SOT 33979 SOS 24243 HAS SOPS 23052 HAS SOUS 7930 HAS SOUPS 7408 WITH SCORE 7432.243
AT ITER 4295 NEW BEST:: SOT 33979 SOS 24243 HAS SOPS 23052 HAS SOUS 7926 HAS SOUPS 7404 WITH SCORE 7428.243
AT ITER 4354 NEW BEST:: SOT 33979 SOS 24237 HAS SOPS 23226 HAS SOUS 7914 HAS SOUPS 7398 WITH SCORE 7422.237
AT ITER 4376 NEW BEST:: SOT 33969 SOS 24227 HAS SOPS 23216 HAS SOUS 7904 HAS SOUPS 7388 WITH SCORE 7412.227
AT ITER 4408 NEW BEST:: SOT 33964 SOS 24222 HAS SOPS 23211 HAS SOUS 7903 HAS SOUPS 7387 WITH SCORE 7411.222
AT ITER 4432 NEW BEST:: SOT 33957 SOS 24214 HAS SOPS 23204 HAS SOUS 7894 HAS SOUPS 7379 WITH SCORE 7403.214
AT ITER 4447 NEW BEST:: SOT 33957 SOS 24168 HAS SOPS 22960 HAS SOUS 7894 HAS SOUPS 7379 WITH SCORE 7403.168
AT ITER 4472 NEW BEST:: SOT 33954 SOS 24165 HAS SOPS 22957 HAS SOUS 7888 HAS SOUPS 7373 WITH SCORE 7397.165
AT ITER 4500 NEW BEST:: SOT 33954 SOS 24165 HAS SOPS 22956 HAS SOUS 7888 HAS SOUPS 7372 WITH SCORE 7396.165
AT ITER 4748 NEW BEST:: SOT 33954 SOS 24153 HAS SOPS 22998 HAS SOUS 7888 HAS SOUPS 7372 WITH SCORE 7396.153
AT ITER 4778 NEW BEST:: SOT 34048 SOS 24255 HAS SOPS 23100 HAS SOUS 7877 HAS SOUPS 7361 WITH SCORE 7385.255
AT ITER 4809 NEW BEST:: SOT 34048 SOS 24255 HAS SOPS 23100 HAS SOUS 7875 HAS SOUPS 7359 WITH SCORE 7383.255
AT ITER 4833 NEW BEST:: SOT 34049 SOS 24249 HAS SOPS 23101 HAS SOUS 7863 HAS SOUPS 7354 WITH SCORE 7378.249
AT ITER 4877 NEW BEST:: SOT 34041 SOS 24241 HAS SOPS 23093 HAS SOUS 7848 HAS SOUPS 7339 WITH SCORE 7363.241
AT ITER 4895 NEW BEST:: SOT 34041 SOS 24234 HAS SOPS 23320 HAS SOUS 7837 HAS SOUPS 7332 WITH SCORE 7356.234
AT ITER 4918 NEW BEST:: SOT 34040 SOS 24233 HAS SOPS 23319 HAS SOUS 7834 HAS SOUPS 7329 WITH SCORE 7353.233
AT ITER 4965 NEW BEST:: SOT 34040 SOS 24231 HAS SOPS 23377 HAS SOUS 7831 HAS SOUPS 7327 WITH SCORE 7351.231
AT ITER 5101 NEW BEST:: SOT 34040 SOS 24219 HAS SOPS 23365 HAS SOUS 7827 HAS SOUPS 7323 WITH SCORE 7347.219
AT ITER 5165 NEW BEST:: SOT 34039 SOS 24218 HAS SOPS 23364 HAS SOUS 7827 HAS SOUPS 7323 WITH SCORE 7347.218
AT ITER 5167 NEW BEST:: SOT 34035 SOS 24218 HAS SOPS 23353 HAS SOUS 7827 HAS SOUPS 7312 WITH SCORE 7336.218
AT ITER 5169 NEW BEST:: SOT 34035 SOS 24218 HAS SOPS 23353 HAS SOUS 7825 HAS SOUPS 7310 WITH SCORE 7334.218
AT ITER 5307 NEW BEST:: SOT 34027 SOS 24210 HAS SOPS 23345 HAS SOUS 7812 HAS SOUPS 7297 WITH SCORE 7321.21
AT ITER 5328 NEW BEST:: SOT 34027 SOS 24210 HAS SOPS 23345 HAS SOUS 7806 HAS SOUPS 7291 WITH SCORE 7315.21
AT ITER 5540 NEW BEST:: SOT 34027 SOS 24184 HAS SOPS 23319 HAS SOUS 7806 HAS SOUPS 7291 WITH SCORE 7315.184
AT ITER 5603 NEW BEST:: SOT 34025 SOS 24178 HAS SOPS 23317 HAS SOUS 7792 HAS SOUPS 7281 WITH SCORE 7305.178
AT ITER 5644 NEW BEST:: SOT 34019 SOS 24158 HAS SOPS 23297 HAS SOUS 7772 HAS SOUPS 7261 WITH SCORE 7285.158
AT ITER 6031 NEW BEST:: SOT 34019 SOS 24158 HAS SOPS 23297 HAS SOUS 7770 HAS SOUPS 7259 WITH SCORE 7283.158
AT ITER 6482 NEW BEST:: SOT 34014 SOS 24154 HAS SOPS 23294 HAS SOUS 7764 HAS SOUPS 7254 WITH SCORE 7278.154
AT ITER 6720 NEW BEST:: SOT 34014 SOS 24016 HAS SOPS 23294 HAS SOUS 7763 HAS SOUPS 7254 WITH SCORE 7278.016
AT ITER 6747 NEW BEST:: SOT 33994 SOS 24012 HAS SOPS 23294 HAS SOUS 7739 HAS SOUPS 7234 WITH SCORE 7258.012
AT ITER 6779 NEW BEST:: SOT 33994 SOS 24012 HAS SOPS 23293 HAS SOUS 7739 HAS SOUPS 7233 WITH SCORE 7257.012
AT ITER 6927 NEW BEST:: SOT 33994 SOS 24003 HAS SOPS 23296 HAS SOUS 7720 HAS SOUPS 7226 WITH SCORE 7250.003
AT ITER 7169 NEW BEST:: SOT 33991 SOS 24000 HAS SOPS 23293 HAS SOUS 7720 HAS SOUPS 7226 WITH SCORE 7250.0
AT ITER 7254 NEW BEST:: SOT 33990 SOS 23998 HAS SOPS 23292 HAS SOUS 7716 HAS SOUPS 7223 WITH SCORE 7246.998
AT ITER 7302 NEW BEST:: SOT 33987 SOS 23993 HAS SOPS 23289 HAS SOUS 7711 HAS SOUPS 7220 WITH SCORE 7243.993
AT ITER 7398 NEW BEST:: SOT 34014 SOS 24015 HAS SOPS 23282 HAS SOUS 7738 HAS SOUPS 7218 WITH SCORE 7242.015
AT ITER 7407 NEW BEST:: SOT 34005 SOS 24006 HAS SOPS 23279 HAS SOUS 7729 HAS SOUPS 7215 WITH SCORE 7239.006
AT ITER 7478 NEW BEST:: SOT 34005 SOS 24006 HAS SOPS 23279 HAS SOUS 7728 HAS SOUPS 7214 WITH SCORE 7238.006
AT ITER 7542 NEW BEST:: SOT 34002 SOS 24003 HAS SOPS 23276 HAS SOUS 7719 HAS SOUPS 7205 WITH SCORE 7229.003
AT ITER 7711 NEW BEST:: SOT 34002 SOS 24002 HAS SOPS 23275 HAS SOUS 7719 HAS SOUPS 7205 WITH SCORE 7229.002
AT ITER 7760 NEW BEST:: SOT 33998 SOS 23998 HAS SOPS 23271 HAS SOUS 7710 HAS SOUPS 7196 WITH SCORE 7219.998
AT ITER 7782 NEW BEST:: SOT 34003 SOS 24003 HAS SOPS 23276 HAS SOUS 7709 HAS SOUPS 7195 WITH SCORE 7219.003
AT ITER 7874 NEW BEST:: SOT 33993 SOS 23994 HAS SOPS 23265 HAS SOUS 7708 HAS SOUPS 7192 WITH SCORE 7215.994
AT ITER 7887 NEW BEST:: SOT 33988 SOS 23993 HAS SOPS 23265 HAS SOUS 7702 HAS SOUPS 7187 WITH SCORE 7210.993
AT ITER 7919 NEW BEST:: SOT 33988 SOS 23993 HAS SOPS 23265 HAS SOUS 7701 HAS SOUPS 7186 WITH SCORE 7209.993
AT ITER 7996 NEW BEST:: SOT 33988 SOS 23989 HAS SOPS 23009 HAS SOUS 7705 HAS SOUPS 7186 WITH SCORE 7209.989
AT ITER 8006 NEW BEST:: SOT 33988 SOS 23931 HAS SOPS 22951 HAS SOUS 7705 HAS SOUPS 7186 WITH SCORE 7209.931
AT ITER 8017 NEW BEST:: SOT 33988 SOS 23923 HAS SOPS 22943 HAS SOUS 7705 HAS SOUPS 7186 WITH SCORE 7209.923
AT ITER 8129 NEW BEST:: SOT 33988 SOS 23921 HAS SOPS 22941 HAS SOUS 7705 HAS SOUPS 7186 WITH SCORE 7209.921
AT ITER 8293 NEW BEST:: SOT 33976 SOS 23909 HAS SOPS 22929 HAS SOUS 7691 HAS SOUPS 7172 WITH SCORE 7195.909
AT ITER 8376 NEW BEST:: SOT 33976 SOS 23909 HAS SOPS 22929 HAS SOUS 7690 HAS SOUPS 7171 WITH SCORE 7194.909
AT ITER 8583 NEW BEST:: SOT 33976 SOS 23904 HAS SOPS 22929 HAS SOUS 7685 HAS SOUPS 7171 WITH SCORE 7194.904
AT ITER 8685 NEW BEST:: SOT 33976 SOS 23904 HAS SOPS 22929 HAS SOUS 7683 HAS SOUPS 7169 WITH SCORE 7192.904
AT ITER 8694 NEW BEST:: SOT 33978 SOS 23906 HAS SOPS 22931 HAS SOUS 7682 HAS SOUPS 7168 WITH SCORE 7191.906
AT ITER 8800 NEW BEST:: SOT 33966 SOS 23894 HAS SOPS 22919 HAS SOUS 7676 HAS SOUPS 7162 WITH SCORE 7185.894
AT ITER 8949 NEW BEST:: SOT 33968 SOS 23896 HAS SOPS 22921 HAS SOUS 7675 HAS SOUPS 7161 WITH SCORE 7184.896
AT ITER 9052 NEW BEST:: SOT 33969 SOS 23897 HAS SOPS 22922 HAS SOUS 7674 HAS SOUPS 7160 WITH SCORE 7183.897
AT ITER 9151 NEW BEST:: SOT 33969 SOS 24070 HAS SOPS 22915 HAS SOUS 7674 HAS SOUPS 7159 WITH SCORE 7183.07
AT ITER 9379 NEW BEST:: SOT 33969 SOS 24279 HAS SOPS 22908 HAS SOUS 7674 HAS SOUPS 7158 WITH SCORE 7182.279
AT ITER 9406 NEW BEST:: SOT 33957 SOS 24269 HAS SOPS 22898 HAS SOUS 7670 HAS SOUPS 7154 WITH SCORE 7178.269
AT ITER 9652 NEW BEST:: SOT 33957 SOS 24264 HAS SOPS 22898 HAS SOUS 7665 HAS SOUPS 7154 WITH SCORE 7178.264
AT ITER 9690 NEW BEST:: SOT 33947 SOS 24256 HAS SOPS 22890 HAS SOUS 7663 HAS SOUPS 7152 WITH SCORE 7176.256
AT ITER 9710 NEW BEST:: SOT 33947 SOS 24256 HAS SOPS 22890 HAS SOUS 7662 HAS SOUPS 7151 WITH SCORE 7175.256
AT ITER 9822 NEW BEST:: SOT 33947 SOS 24255 HAS SOPS 22925 HAS SOUS 7660 HAS SOUPS 7150 WITH SCORE 7174.255
AT ITER 9855 NEW BEST:: SOT 33947 SOS 24255 HAS SOPS 22925 HAS SOUS 7659 HAS SOUPS 7149 WITH SCORE 7173.255
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 164836 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16307184 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r355-smll-167891803200272"
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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;