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-158902542200472.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 DLCround-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 364K
-rw-r--r-- 1 mcc users 2.6K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 08:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 200K 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 1589121790251

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

Filename model.pnml
Petri model created: 139 places, 823 transitions, 3074 arcs.
AT ITER 0 NEW BEST:: SOT 77324 SOS 59877 HAS SOPS 36308 HAS SOUS 11839 HAS SOUPS 7817 WITH SCORE 7876.877
AT ITER 4 NEW BEST:: SOT 77182 SOS 59772 HAS SOPS 36203 HAS SOUS 11770 HAS SOUPS 7748 WITH SCORE 7807.772
AT ITER 9 NEW BEST:: SOT 77090 SOS 60194 HAS SOPS 36340 HAS SOUS 11762 HAS SOUPS 7721 WITH SCORE 7781.194
AT ITER 10 NEW BEST:: SOT 77130 SOS 59834 HAS SOPS 36268 HAS SOUS 11698 HAS SOUPS 7693 WITH SCORE 7752.834
AT ITER 14 NEW BEST:: SOT 77195 SOS 59142 HAS SOPS 35984 HAS SOUS 11636 HAS SOUPS 7682 WITH SCORE 7741.142
AT ITER 17 NEW BEST:: SOT 77147 SOS 58662 HAS SOPS 35792 HAS SOUS 11595 HAS SOUPS 7677 WITH SCORE 7735.662
AT ITER 18 NEW BEST:: SOT 77137 SOS 58652 HAS SOPS 35782 HAS SOUS 11585 HAS SOUPS 7667 WITH SCORE 7725.652
AT ITER 31 NEW BEST:: SOT 77368 SOS 58219 HAS SOPS 35631 HAS SOUS 11691 HAS SOUPS 7530 WITH SCORE 7588.219
AT ITER 32 NEW BEST:: SOT 77411 SOS 57925 HAS SOPS 35641 HAS SOUS 11637 HAS SOUPS 7514 WITH SCORE 7571.925
AT ITER 33 NEW BEST:: SOT 77379 SOS 57901 HAS SOPS 35577 HAS SOUS 11591 HAS SOUPS 7446 WITH SCORE 7503.901
AT ITER 35 NEW BEST:: SOT 77336 SOS 57977 HAS SOPS 35518 HAS SOUS 11574 HAS SOUPS 7420 WITH SCORE 7477.977
AT ITER 41 NEW BEST:: SOT 77309 SOS 58203 HAS SOPS 35644 HAS SOUS 11557 HAS SOUPS 7403 WITH SCORE 7461.203
AT ITER 51 NEW BEST:: SOT 77277 SOS 58342 HAS SOPS 35663 HAS SOUS 11556 HAS SOUPS 7394 WITH SCORE 7452.342
AT ITER 56 NEW BEST:: SOT 77089 SOS 57761 HAS SOPS 35403 HAS SOUS 11273 HAS SOUPS 7128 WITH SCORE 7185.761
AT ITER 57 NEW BEST:: SOT 77021 SOS 57463 HAS SOPS 35105 HAS SOUS 11245 HAS SOUPS 7100 WITH SCORE 7157.463
AT ITER 62 NEW BEST:: SOT 76963 SOS 57550 HAS SOPS 35106 HAS SOUS 11003 HAS SOUPS 6994 WITH SCORE 7051.55
AT ITER 65 NEW BEST:: SOT 76992 SOS 57608 HAS SOPS 35019 HAS SOUS 10939 HAS SOUPS 6818 WITH SCORE 6875.608
AT ITER 73 NEW BEST:: SOT 76980 SOS 57404 HAS SOPS 34911 HAS SOUS 10927 HAS SOUPS 6818 WITH SCORE 6875.404
AT ITER 74 NEW BEST:: SOT 76884 SOS 57186 HAS SOPS 34823 HAS SOUS 10891 HAS SOUPS 6808 WITH SCORE 6865.186
AT ITER 75 NEW BEST:: SOT 76846 SOS 57186 HAS SOPS 34766 HAS SOUS 10872 HAS SOUPS 6789 WITH SCORE 6846.186
AT ITER 82 NEW BEST:: SOT 76922 SOS 57486 HAS SOPS 35066 HAS SOUS 10825 HAS SOUPS 6742 WITH SCORE 6799.486
AT ITER 87 NEW BEST:: SOT 76813 SOS 57448 HAS SOPS 35028 HAS SOUS 10519 HAS SOUPS 6436 WITH SCORE 6493.448
AT ITER 89 NEW BEST:: SOT 76767 SOS 57859 HAS SOPS 35199 HAS SOUS 10503 HAS SOUPS 6404 WITH SCORE 6461.859
AT ITER 95 NEW BEST:: SOT 76699 SOS 58237 HAS SOPS 35347 HAS SOUS 10477 HAS SOUPS 6378 WITH SCORE 6436.237
AT ITER 106 NEW BEST:: SOT 76807 SOS 58345 HAS SOPS 35455 HAS SOUS 10474 HAS SOUPS 6376 WITH SCORE 6434.345
AT ITER 111 NEW BEST:: SOT 76820 SOS 58293 HAS SOPS 35468 HAS SOUS 10448 HAS SOUPS 6363 WITH SCORE 6421.293
AT ITER 112 NEW BEST:: SOT 76802 SOS 58281 HAS SOPS 35426 HAS SOUS 10412 HAS SOUPS 6321 WITH SCORE 6379.281
AT ITER 126 NEW BEST:: SOT 76794 SOS 58273 HAS SOPS 35412 HAS SOUS 10392 HAS SOUPS 6303 WITH SCORE 6361.273
AT ITER 127 NEW BEST:: SOT 76794 SOS 58250 HAS SOPS 35389 HAS SOUS 10369 HAS SOUPS 6280 WITH SCORE 6338.25
AT ITER 134 NEW BEST:: SOT 76851 SOS 58326 HAS SOPS 35370 HAS SOUS 10351 HAS SOUPS 6194 WITH SCORE 6252.326
AT ITER 135 NEW BEST:: SOT 76851 SOS 58326 HAS SOPS 35370 HAS SOUS 10347 HAS SOUPS 6190 WITH SCORE 6248.326
AT ITER 144 NEW BEST:: SOT 76144 SOS 57637 HAS SOPS 35176 HAS SOUS 10174 HAS SOUPS 6162 WITH SCORE 6219.637
AT ITER 146 NEW BEST:: SOT 76101 SOS 57317 HAS SOPS 35168 HAS SOUS 10132 HAS SOUPS 6159 WITH SCORE 6216.317
AT ITER 157 NEW BEST:: SOT 76086 SOS 57300 HAS SOPS 35155 HAS SOUS 10117 HAS SOUPS 6148 WITH SCORE 6205.3
AT ITER 160 NEW BEST:: SOT 76099 SOS 57300 HAS SOPS 35105 HAS SOUS 10120 HAS SOUPS 6141 WITH SCORE 6198.3
AT ITER 164 NEW BEST:: SOT 76090 SOS 56877 HAS SOPS 34682 HAS SOUS 10120 HAS SOUPS 6141 WITH SCORE 6197.877
AT ITER 171 NEW BEST:: SOT 76086 SOS 56873 HAS SOPS 34678 HAS SOUS 10112 HAS SOUPS 6133 WITH SCORE 6189.873
AT ITER 172 NEW BEST:: SOT 75965 SOS 56515 HAS SOPS 34320 HAS SOUS 10046 HAS SOUPS 6067 WITH SCORE 6123.515
AT ITER 180 NEW BEST:: SOT 75953 SOS 56503 HAS SOPS 34308 HAS SOUS 10028 HAS SOUPS 6057 WITH SCORE 6113.503
AT ITER 183 NEW BEST:: SOT 75957 SOS 56507 HAS SOPS 34312 HAS SOUS 10023 HAS SOUPS 6056 WITH SCORE 6112.507
AT ITER 185 NEW BEST:: SOT 75979 SOS 56081 HAS SOPS 33886 HAS SOUS 10021 HAS SOUPS 6054 WITH SCORE 6110.081
AT ITER 189 NEW BEST:: SOT 75982 SOS 56053 HAS SOPS 33858 HAS SOUS 10019 HAS SOUPS 6052 WITH SCORE 6108.053
AT ITER 195 NEW BEST:: SOT 75961 SOS 56035 HAS SOPS 33840 HAS SOUS 10001 HAS SOUPS 6034 WITH SCORE 6090.035
AT ITER 200 NEW BEST:: SOT 75973 SOS 55897 HAS SOPS 33838 HAS SOUS 9970 HAS SOUPS 6020 WITH SCORE 6075.897
AT ITER 203 NEW BEST:: SOT 76015 SOS 55947 HAS SOPS 33840 HAS SOUS 9930 HAS SOUPS 5980 WITH SCORE 6035.947
AT ITER 216 NEW BEST:: SOT 76017 SOS 55967 HAS SOPS 33884 HAS SOUS 9926 HAS SOUPS 5979 WITH SCORE 6034.967
AT ITER 220 NEW BEST:: SOT 75999 SOS 55949 HAS SOPS 33866 HAS SOUS 9911 HAS SOUPS 5964 WITH SCORE 6019.949
AT ITER 222 NEW BEST:: SOT 76060 SOS 56003 HAS SOPS 33920 HAS SOUS 9889 HAS SOUPS 5942 WITH SCORE 5998.003
AT ITER 224 NEW BEST:: SOT 76060 SOS 55939 HAS SOPS 33920 HAS SOUS 9873 HAS SOUPS 5934 WITH SCORE 5989.939
AT ITER 229 NEW BEST:: SOT 76015 SOS 55489 HAS SOPS 33830 HAS SOUS 9828 HAS SOUPS 5934 WITH SCORE 5989.489
AT ITER 233 NEW BEST:: SOT 76005 SOS 55494 HAS SOPS 33810 HAS SOUS 9818 HAS SOUPS 5919 WITH SCORE 5974.494
AT ITER 237 NEW BEST:: SOT 76005 SOS 55492 HAS SOPS 33808 HAS SOUS 9816 HAS SOUPS 5917 WITH SCORE 5972.492
AT ITER 239 NEW BEST:: SOT 76005 SOS 55470 HAS SOPS 33610 HAS SOUS 9816 HAS SOUPS 5895 WITH SCORE 5950.47
AT ITER 240 NEW BEST:: SOT 75842 SOS 55301 HAS SOPS 33441 HAS SOUS 9811 HAS SOUPS 5890 WITH SCORE 5945.301
AT ITER 245 NEW BEST:: SOT 75704 SOS 54987 HAS SOPS 33317 HAS SOUS 9745 HAS SOUPS 5862 WITH SCORE 5916.987
AT ITER 257 NEW BEST:: SOT 75704 SOS 54987 HAS SOPS 33296 HAS SOUS 9738 HAS SOUPS 5855 WITH SCORE 5909.987
AT ITER 260 NEW BEST:: SOT 75786 SOS 55083 HAS SOPS 33308 HAS SOUS 9693 HAS SOUPS 5798 WITH SCORE 5853.083
AT ITER 272 NEW BEST:: SOT 75858 SOS 55185 HAS SOPS 33344 HAS SOUS 9693 HAS SOUPS 5792 WITH SCORE 5847.185
AT ITER 281 NEW BEST:: SOT 75854 SOS 55179 HAS SOPS 33342 HAS SOUS 9689 HAS SOUPS 5790 WITH SCORE 5845.179
AT ITER 285 NEW BEST:: SOT 75863 SOS 55188 HAS SOPS 33342 HAS SOUS 9684 HAS SOUPS 5789 WITH SCORE 5844.188
AT ITER 294 NEW BEST:: SOT 75891 SOS 55244 HAS SOPS 33342 HAS SOUS 9646 HAS SOUPS 5777 WITH SCORE 5832.244
AT ITER 300 NEW BEST:: SOT 75776 SOS 54892 HAS SOPS 33225 HAS SOUS 9487 HAS SOUPS 5665 WITH SCORE 5719.892
AT ITER 308 NEW BEST:: SOT 75714 SOS 55691 HAS SOPS 33664 HAS SOUS 9481 HAS SOUPS 5659 WITH SCORE 5714.691
AT ITER 328 NEW BEST:: SOT 75748 SOS 53888 HAS SOPS 32269 HAS SOUS 9413 HAS SOUPS 5642 WITH SCORE 5695.888
AT ITER 330 NEW BEST:: SOT 75732 SOS 53864 HAS SOPS 32261 HAS SOUS 9368 HAS SOUPS 5617 WITH SCORE 5670.864
AT ITER 352 NEW BEST:: SOT 75772 SOS 53904 HAS SOPS 32301 HAS SOUS 9360 HAS SOUPS 5609 WITH SCORE 5662.904
AT ITER 353 NEW BEST:: SOT 75979 SOS 54111 HAS SOPS 32343 HAS SOUS 9483 HAS SOUPS 5608 WITH SCORE 5662.111
AT ITER 358 NEW BEST:: SOT 75979 SOS 54027 HAS SOPS 32259 HAS SOUS 9483 HAS SOUPS 5608 WITH SCORE 5662.027
AT ITER 359 NEW BEST:: SOT 75992 SOS 54040 HAS SOPS 32259 HAS SOUS 9465 HAS SOUPS 5598 WITH SCORE 5652.04
AT ITER 366 NEW BEST:: SOT 75992 SOS 54012 HAS SOPS 32241 HAS SOUS 9459 HAS SOUPS 5592 WITH SCORE 5646.012
AT ITER 371 NEW BEST:: SOT 75994 SOS 54012 HAS SOPS 32239 HAS SOUS 9455 HAS SOUPS 5590 WITH SCORE 5644.012
AT ITER 395 NEW BEST:: SOT 75337 SOS 53050 HAS SOPS 31853 HAS SOUS 9388 HAS SOUPS 5575 WITH SCORE 5628.05
AT ITER 401 NEW BEST:: SOT 75323 SOS 53079 HAS SOPS 31882 HAS SOUS 9379 HAS SOUPS 5566 WITH SCORE 5619.079
AT ITER 406 NEW BEST:: SOT 75155 SOS 52841 HAS SOPS 31798 HAS SOUS 9365 HAS SOUPS 5566 WITH SCORE 5618.841
AT ITER 414 NEW BEST:: SOT 74260 SOS 51561 HAS SOPS 31274 HAS SOUS 9201 HAS SOUPS 5533 WITH SCORE 5584.561
AT ITER 421 NEW BEST:: SOT 74283 SOS 51713 HAS SOPS 31360 HAS SOUS 9195 HAS SOUPS 5527 WITH SCORE 5578.713
AT ITER 429 NEW BEST:: SOT 74383 SOS 51813 HAS SOPS 31400 HAS SOUS 9193 HAS SOUPS 5525 WITH SCORE 5576.813
AT ITER 455 NEW BEST:: SOT 74347 SOS 51777 HAS SOPS 31364 HAS SOUS 9139 HAS SOUPS 5495 WITH SCORE 5546.777
AT ITER 458 NEW BEST:: SOT 74307 SOS 51620 HAS SOPS 31274 HAS SOUS 9132 HAS SOUPS 5488 WITH SCORE 5539.62
AT ITER 486 NEW BEST:: SOT 74281 SOS 51478 HAS SOPS 31236 HAS SOUS 9088 HAS SOUPS 5457 WITH SCORE 5508.478
AT ITER 493 NEW BEST:: SOT 74298 SOS 51489 HAS SOPS 31144 HAS SOUS 9069 HAS SOUPS 5440 WITH SCORE 5491.489
AT ITER 501 NEW BEST:: SOT 74646 SOS 51898 HAS SOPS 31414 HAS SOUS 9051 HAS SOUPS 5435 WITH SCORE 5486.898
AT ITER 509 NEW BEST:: SOT 74684 SOS 51994 HAS SOPS 31410 HAS SOUS 9067 HAS SOUPS 5431 WITH SCORE 5482.994
AT ITER 518 NEW BEST:: SOT 74688 SOS 51994 HAS SOPS 31410 HAS SOUS 9066 HAS SOUPS 5430 WITH SCORE 5481.994
AT ITER 529 NEW BEST:: SOT 74727 SOS 52058 HAS SOPS 31354 HAS SOUS 9086 HAS SOUPS 5426 WITH SCORE 5478.058
AT ITER 540 NEW BEST:: SOT 74720 SOS 52044 HAS SOPS 31340 HAS SOUS 9065 HAS SOUPS 5405 WITH SCORE 5457.044
AT ITER 549 NEW BEST:: SOT 74715 SOS 52194 HAS SOPS 31415 HAS SOUS 9066 HAS SOUPS 5401 WITH SCORE 5453.194
AT ITER 554 NEW BEST:: SOT 74666 SOS 52138 HAS SOPS 31373 HAS SOUS 9050 HAS SOUPS 5396 WITH SCORE 5448.138
AT ITER 555 NEW BEST:: SOT 75002 SOS 52613 HAS SOPS 31541 HAS SOUS 9029 HAS SOUPS 5352 WITH SCORE 5404.613
AT ITER 564 NEW BEST:: SOT 74998 SOS 52604 HAS SOPS 31537 HAS SOUS 9028 HAS SOUPS 5352 WITH SCORE 5404.604
AT ITER 570 NEW BEST:: SOT 74991 SOS 52583 HAS SOPS 31516 HAS SOUS 9007 HAS SOUPS 5331 WITH SCORE 5383.583
AT ITER 576 NEW BEST:: SOT 74991 SOS 52583 HAS SOPS 31516 HAS SOUS 9001 HAS SOUPS 5325 WITH SCORE 5377.583
AT ITER 584 NEW BEST:: SOT 74963 SOS 52485 HAS SOPS 31488 HAS SOUS 8987 HAS SOUPS 5325 WITH SCORE 5377.485
AT ITER 590 NEW BEST:: SOT 74953 SOS 52475 HAS SOPS 31478 HAS SOUS 8987 HAS SOUPS 5325 WITH SCORE 5377.475
AT ITER 591 NEW BEST:: SOT 74966 SOS 52141 HAS SOPS 31234 HAS SOUS 8963 HAS SOUPS 5301 WITH SCORE 5353.141
AT ITER 600 NEW BEST:: SOT 74957 SOS 52123 HAS SOPS 31234 HAS SOUS 8926 HAS SOUPS 5297 WITH SCORE 5349.123
AT ITER 601 NEW BEST:: SOT 74969 SOS 52183 HAS SOPS 31246 HAS SOUS 8920 HAS SOUPS 5285 WITH SCORE 5337.183
AT ITER 607 NEW BEST:: SOT 74707 SOS 51683 HAS SOPS 31054 HAS SOUS 8895 HAS SOUPS 5282 WITH SCORE 5333.683
AT ITER 620 NEW BEST:: SOT 74707 SOS 51683 HAS SOPS 31054 HAS SOUS 8891 HAS SOUPS 5278 WITH SCORE 5329.683
AT ITER 650 NEW BEST:: SOT 74443 SOS 51162 HAS SOPS 30659 HAS SOUS 8880 HAS SOUPS 5257 WITH SCORE 5308.162
AT ITER 659 NEW BEST:: SOT 74472 SOS 51188 HAS SOPS 30656 HAS SOUS 8824 HAS SOUPS 5244 WITH SCORE 5295.188
AT ITER 675 NEW BEST:: SOT 74464 SOS 51180 HAS SOPS 30656 HAS SOUS 8808 HAS SOUPS 5228 WITH SCORE 5279.18
AT ITER 681 NEW BEST:: SOT 74450 SOS 51147 HAS SOPS 30627 HAS SOUS 8797 HAS SOUPS 5225 WITH SCORE 5276.147
AT ITER 683 NEW BEST:: SOT 74642 SOS 51419 HAS SOPS 30723 HAS SOUS 8787 HAS SOUPS 5199 WITH SCORE 5250.419
AT ITER 697 NEW BEST:: SOT 75016 SOS 51975 HAS SOPS 30915 HAS SOUS 8768 HAS SOUPS 5146 WITH SCORE 5197.975
AT ITER 705 NEW BEST:: SOT 74993 SOS 51952 HAS SOPS 30915 HAS SOUS 8780 HAS SOUPS 5142 WITH SCORE 5193.952
AT ITER 714 NEW BEST:: SOT 75009 SOS 52143 HAS SOPS 31032 HAS SOUS 8780 HAS SOUPS 5139 WITH SCORE 5191.143
AT ITER 732 NEW BEST:: SOT 74998 SOS 52127 HAS SOPS 31026 HAS SOUS 8779 HAS SOUPS 5139 WITH SCORE 5191.127
AT ITER 753 NEW BEST:: SOT 75058 SOS 52247 HAS SOPS 31026 HAS SOUS 8750 HAS SOUPS 5099 WITH SCORE 5151.247
AT ITER 777 NEW BEST:: SOT 75092 SOS 52077 HAS SOPS 31072 HAS SOUS 8709 HAS SOUPS 5085 WITH SCORE 5137.077
AT ITER 783 NEW BEST:: SOT 75092 SOS 52229 HAS SOPS 31224 HAS SOUS 8700 HAS SOUPS 5076 WITH SCORE 5128.229
AT ITER 784 NEW BEST:: SOT 75136 SOS 50740 HAS SOPS 29735 HAS SOUS 8695 HAS SOUPS 5071 WITH SCORE 5121.74
AT ITER 785 NEW BEST:: SOT 75161 SOS 50540 HAS SOPS 29735 HAS SOUS 8670 HAS SOUPS 5071 WITH SCORE 5121.54
AT ITER 812 NEW BEST:: SOT 75136 SOS 50526 HAS SOPS 29625 HAS SOUS 8665 HAS SOUPS 5054 WITH SCORE 5104.526
AT ITER 818 NEW BEST:: SOT 75079 SOS 50441 HAS SOPS 29540 HAS SOUS 8640 HAS SOUPS 5029 WITH SCORE 5079.441
AT ITER 824 NEW BEST:: SOT 75070 SOS 50407 HAS SOPS 29502 HAS SOUS 8613 HAS SOUPS 5000 WITH SCORE 5050.407
AT ITER 848 NEW BEST:: SOT 75050 SOS 50386 HAS SOPS 29483 HAS SOUS 8603 HAS SOUPS 4991 WITH SCORE 5041.386
AT ITER 865 NEW BEST:: SOT 75047 SOS 50645 HAS SOPS 29702 HAS SOUS 8605 HAS SOUPS 4988 WITH SCORE 5038.645
AT ITER 880 NEW BEST:: SOT 75042 SOS 50640 HAS SOPS 29737 HAS SOUS 8595 HAS SOUPS 4983 WITH SCORE 5033.64
AT ITER 894 NEW BEST:: SOT 75022 SOS 50564 HAS SOPS 29661 HAS SOUS 8592 HAS SOUPS 4980 WITH SCORE 5030.564
AT ITER 930 NEW BEST:: SOT 74332 SOS 49612 HAS SOPS 28956 HAS SOUS 8548 HAS SOUPS 4925 WITH SCORE 4974.612
AT ITER 935 NEW BEST:: SOT 74200 SOS 49420 HAS SOPS 28884 HAS SOUS 8536 HAS SOUPS 4925 WITH SCORE 4974.42
AT ITER 944 NEW BEST:: SOT 74198 SOS 49418 HAS SOPS 28884 HAS SOUS 8532 HAS SOUPS 4921 WITH SCORE 4970.418
AT ITER 990 NEW BEST:: SOT 74186 SOS 49406 HAS SOPS 28872 HAS SOUS 8523 HAS SOUPS 4912 WITH SCORE 4961.406
AT ITER 1001 NEW BEST:: SOT 74571 SOS 49859 HAS SOPS 29140 HAS SOUS 8551 HAS SOUPS 4892 WITH SCORE 4941.859
AT ITER 1017 NEW BEST:: SOT 74570 SOS 49850 HAS SOPS 29139 HAS SOUS 8549 HAS SOUPS 4891 WITH SCORE 4940.85
AT ITER 1020 NEW BEST:: SOT 74536 SOS 49782 HAS SOPS 29111 HAS SOUS 8520 HAS SOUPS 4862 WITH SCORE 4911.782
AT ITER 1115 NEW BEST:: SOT 74750 SOS 50086 HAS SOPS 29217 HAS SOUS 8529 HAS SOUPS 4853 WITH SCORE 4903.086
AT ITER 1120 NEW BEST:: SOT 74775 SOS 50046 HAS SOPS 29239 HAS SOUS 8527 HAS SOUPS 4849 WITH SCORE 4899.046
AT ITER 1132 NEW BEST:: SOT 74951 SOS 50302 HAS SOPS 29335 HAS SOUS 8535 HAS SOUPS 4841 WITH SCORE 4891.302
AT ITER 1157 NEW BEST:: SOT 74925 SOS 50185 HAS SOPS 29322 HAS SOUS 8522 HAS SOUPS 4841 WITH SCORE 4891.185
AT ITER 1167 NEW BEST:: SOT 74927 SOS 50183 HAS SOPS 29320 HAS SOUS 8521 HAS SOUPS 4840 WITH SCORE 4890.183
AT ITER 1180 NEW BEST:: SOT 74927 SOS 50111 HAS SOPS 29320 HAS SOUS 8512 HAS SOUPS 4840 WITH SCORE 4890.111
AT ITER 1208 NEW BEST:: SOT 74949 SOS 50219 HAS SOPS 29348 HAS SOUS 8523 HAS SOUPS 4835 WITH SCORE 4885.219
AT ITER 1220 NEW BEST:: SOT 74952 SOS 50153 HAS SOPS 29342 HAS SOUS 8493 HAS SOUPS 4817 WITH SCORE 4867.153
AT ITER 1221 NEW BEST:: SOT 74912 SOS 50063 HAS SOPS 29302 HAS SOUS 8473 HAS SOUPS 4807 WITH SCORE 4857.063
AT ITER 1229 NEW BEST:: SOT 74900 SOS 49911 HAS SOPS 29222 HAS SOUS 8457 HAS SOUPS 4800 WITH SCORE 4849.911
AT ITER 1246 NEW BEST:: SOT 74837 SOS 49656 HAS SOPS 28967 HAS SOUS 8430 HAS SOUPS 4773 WITH SCORE 4822.656
AT ITER 1258 NEW BEST:: SOT 74836 SOS 49659 HAS SOPS 28965 HAS SOUS 8430 HAS SOUPS 4772 WITH SCORE 4821.659
AT ITER 1261 NEW BEST:: SOT 74836 SOS 49629 HAS SOPS 28965 HAS SOUS 8418 HAS SOUPS 4766 WITH SCORE 4815.629
AT ITER 1266 NEW BEST:: SOT 74832 SOS 49625 HAS SOPS 28961 HAS SOUS 8418 HAS SOUPS 4766 WITH SCORE 4815.625
AT ITER 1267 NEW BEST:: SOT 74832 SOS 49585 HAS SOPS 28961 HAS SOUS 8407 HAS SOUPS 4763 WITH SCORE 4812.585
AT ITER 1280 NEW BEST:: SOT 75162 SOS 50035 HAS SOPS 29141 HAS SOUS 8404 HAS SOUPS 4760 WITH SCORE 4810.035
AT ITER 1304 NEW BEST:: SOT 75184 SOS 50057 HAS SOPS 29151 HAS SOUS 8402 HAS SOUPS 4758 WITH SCORE 4808.057
AT ITER 1307 NEW BEST:: SOT 75195 SOS 50077 HAS SOPS 29158 HAS SOUS 8402 HAS SOUPS 4757 WITH SCORE 4807.077
AT ITER 1324 NEW BEST:: SOT 75379 SOS 50261 HAS SOPS 29204 HAS SOUS 8384 HAS SOUPS 4739 WITH SCORE 4789.261
AT ITER 1370 NEW BEST:: SOT 75333 SOS 50210 HAS SOPS 29167 HAS SOUS 8382 HAS SOUPS 4734 WITH SCORE 4784.21
AT ITER 1408 NEW BEST:: SOT 75330 SOS 49676 HAS SOPS 28873 HAS SOUS 8342 HAS SOUPS 4710 WITH SCORE 4759.676
AT ITER 1417 NEW BEST:: SOT 74958 SOS 49268 HAS SOPS 28537 HAS SOUS 8306 HAS SOUPS 4710 WITH SCORE 4759.268
AT ITER 1431 NEW BEST:: SOT 74733 SOS 48850 HAS SOPS 28390 HAS SOUS 8294 HAS SOUPS 4707 WITH SCORE 4755.85
AT ITER 1433 NEW BEST:: SOT 74661 SOS 48572 HAS SOPS 28252 HAS SOUS 8285 HAS SOUPS 4705 WITH SCORE 4753.572
AT ITER 1443 NEW BEST:: SOT 74671 SOS 48582 HAS SOPS 28252 HAS SOUS 8249 HAS SOUPS 4685 WITH SCORE 4733.582
AT ITER 1468 NEW BEST:: SOT 74753 SOS 48668 HAS SOPS 28282 HAS SOUS 8241 HAS SOUPS 4679 WITH SCORE 4727.668
AT ITER 1471 NEW BEST:: SOT 74753 SOS 48668 HAS SOPS 28282 HAS SOUS 8231 HAS SOUPS 4669 WITH SCORE 4717.668
AT ITER 1481 NEW BEST:: SOT 74753 SOS 48668 HAS SOPS 28282 HAS SOUS 8241 HAS SOUPS 4665 WITH SCORE 4713.668
AT ITER 1552 NEW BEST:: SOT 74783 SOS 48698 HAS SOPS 28312 HAS SOUS 8238 HAS SOUPS 4663 WITH SCORE 4711.698
AT ITER 1570 NEW BEST:: SOT 74795 SOS 48710 HAS SOPS 28324 HAS SOUS 8235 HAS SOUPS 4661 WITH SCORE 4709.71
AT ITER 1572 NEW BEST:: SOT 74777 SOS 48692 HAS SOPS 28306 HAS SOUS 8235 HAS SOUPS 4661 WITH SCORE 4709.692
AT ITER 1641 NEW BEST:: SOT 74770 SOS 48693 HAS SOPS 28309 HAS SOUS 8225 HAS SOUPS 4651 WITH SCORE 4699.693
AT ITER 1650 NEW BEST:: SOT 74758 SOS 48797 HAS SOPS 28357 HAS SOUS 8213 HAS SOUPS 4639 WITH SCORE 4687.797
AT ITER 1685 NEW BEST:: SOT 74728 SOS 48767 HAS SOPS 28327 HAS SOUS 8213 HAS SOUPS 4639 WITH SCORE 4687.767
AT ITER 1702 NEW BEST:: SOT 74727 SOS 48766 HAS SOPS 28327 HAS SOUS 8213 HAS SOUPS 4639 WITH SCORE 4687.766
AT ITER 1705 NEW BEST:: SOT 74654 SOS 48690 HAS SOPS 28278 HAS SOUS 8216 HAS SOUPS 4638 WITH SCORE 4686.69
AT ITER 1722 NEW BEST:: SOT 74600 SOS 48630 HAS SOPS 28254 HAS SOUS 8216 HAS SOUPS 4638 WITH SCORE 4686.63
AT ITER 1728 NEW BEST:: SOT 74588 SOS 48618 HAS SOPS 28242 HAS SOUS 8212 HAS SOUPS 4634 WITH SCORE 4682.618
AT ITER 1743 NEW BEST:: SOT 74588 SOS 48578 HAS SOPS 28242 HAS SOUS 8204 HAS SOUPS 4634 WITH SCORE 4682.578
AT ITER 1754 NEW BEST:: SOT 74580 SOS 48550 HAS SOPS 28214 HAS SOUS 8198 HAS SOUPS 4628 WITH SCORE 4676.55
AT ITER 1759 NEW BEST:: SOT 74538 SOS 48499 HAS SOPS 28109 HAS SOUS 8180 HAS SOUPS 4613 WITH SCORE 4661.499
AT ITER 1762 NEW BEST:: SOT 74548 SOS 48068 HAS SOPS 27766 HAS SOUS 8167 HAS SOUPS 4611 WITH SCORE 4659.068
AT ITER 1764 NEW BEST:: SOT 74543 SOS 48218 HAS SOPS 27788 HAS SOUS 8174 HAS SOUPS 4600 WITH SCORE 4648.218
AT ITER 1769 NEW BEST:: SOT 74519 SOS 48050 HAS SOPS 27740 HAS SOUS 8102 HAS SOUPS 4552 WITH SCORE 4600.05
AT ITER 1771 NEW BEST:: SOT 74459 SOS 47798 HAS SOPS 27608 HAS SOUS 8087 HAS SOUPS 4543 WITH SCORE 4590.798
AT ITER 1793 NEW BEST:: SOT 74455 SOS 47790 HAS SOPS 27600 HAS SOUS 8082 HAS SOUPS 4538 WITH SCORE 4585.79
AT ITER 1830 NEW BEST:: SOT 74448 SOS 47948 HAS SOPS 27726 HAS SOUS 8083 HAS SOUPS 4535 WITH SCORE 4582.948
AT ITER 1942 NEW BEST:: SOT 74238 SOS 47708 HAS SOPS 27576 HAS SOUS 8068 HAS SOUPS 4520 WITH SCORE 4567.708
AT ITER 1943 NEW BEST:: SOT 74230 SOS 47657 HAS SOPS 27485 HAS SOUS 8070 HAS SOUPS 4517 WITH SCORE 4564.657
AT ITER 1960 NEW BEST:: SOT 74234 SOS 47661 HAS SOPS 27485 HAS SOUS 8038 HAS SOUPS 4501 WITH SCORE 4548.661
AT ITER 2029 NEW BEST:: SOT 74234 SOS 46919 HAS SOPS 26855 HAS SOUS 8024 HAS SOUPS 4501 WITH SCORE 4547.919
AT ITER 2046 NEW BEST:: SOT 74311 SOS 47031 HAS SOPS 26897 HAS SOUS 8027 HAS SOUPS 4497 WITH SCORE 4544.031
AT ITER 2065 NEW BEST:: SOT 74311 SOS 47031 HAS SOPS 26905 HAS SOUS 8025 HAS SOUPS 4496 WITH SCORE 4543.031
AT ITER 2092 NEW BEST:: SOT 74318 SOS 47102 HAS SOPS 26881 HAS SOUS 8015 HAS SOUPS 4467 WITH SCORE 4514.102
AT ITER 2114 NEW BEST:: SOT 74315 SOS 47000 HAS SOPS 26851 HAS SOUS 8003 HAS SOUPS 4464 WITH SCORE 4511.0
AT ITER 2118 NEW BEST:: SOT 74315 SOS 47000 HAS SOPS 26851 HAS SOUS 8001 HAS SOUPS 4462 WITH SCORE 4509.0
AT ITER 2169 NEW BEST:: SOT 74322 SOS 46764 HAS SOPS 26657 HAS SOUS 7986 HAS SOUPS 4452 WITH SCORE 4498.764
AT ITER 2173 NEW BEST:: SOT 74414 SOS 47034 HAS SOPS 26743 HAS SOUS 8021 HAS SOUPS 4449 WITH SCORE 4496.034
AT ITER 2216 NEW BEST:: SOT 74312 SOS 46613 HAS SOPS 26574 HAS SOUS 8003 HAS SOUPS 4443 WITH SCORE 4489.613
AT ITER 2224 NEW BEST:: SOT 74312 SOS 46604 HAS SOPS 26565 HAS SOUS 8003 HAS SOUPS 4443 WITH SCORE 4489.604
AT ITER 2225 NEW BEST:: SOT 74310 SOS 46600 HAS SOPS 26561 HAS SOUS 8001 HAS SOUPS 4441 WITH SCORE 4487.6
AT ITER 2231 NEW BEST:: SOT 74310 SOS 46600 HAS SOPS 26561 HAS SOUS 7995 HAS SOUPS 4437 WITH SCORE 4483.6
AT ITER 2295 NEW BEST:: SOT 74292 SOS 46159 HAS SOPS 26120 HAS SOUS 7981 HAS SOUPS 4423 WITH SCORE 4469.159
AT ITER 2330 NEW BEST:: SOT 74286 SOS 46149 HAS SOPS 26118 HAS SOUS 7975 HAS SOUPS 4421 WITH SCORE 4467.149
AT ITER 2331 NEW BEST:: SOT 74276 SOS 46099 HAS SOPS 26068 HAS SOUS 7970 HAS SOUPS 4416 WITH SCORE 4462.099
AT ITER 2337 NEW BEST:: SOT 74282 SOS 46096 HAS SOPS 26068 HAS SOUS 7973 HAS SOUPS 4416 WITH SCORE 4462.096
AT ITER 2352 NEW BEST:: SOT 74208 SOS 46015 HAS SOPS 26022 HAS SOUS 7973 HAS SOUPS 4416 WITH SCORE 4462.015
AT ITER 2361 NEW BEST:: SOT 74204 SOS 45995 HAS SOPS 26014 HAS SOUS 7971 HAS SOUPS 4414 WITH SCORE 4459.995
AT ITER 2381 NEW BEST:: SOT 74205 SOS 45997 HAS SOPS 26016 HAS SOUS 7970 HAS SOUPS 4413 WITH SCORE 4458.997
AT ITER 2393 NEW BEST:: SOT 74207 SOS 45999 HAS SOPS 26018 HAS SOUS 7969 HAS SOUPS 4412 WITH SCORE 4457.999
AT ITER 2406 NEW BEST:: SOT 74207 SOS 45993 HAS SOPS 26012 HAS SOUS 7969 HAS SOUPS 4412 WITH SCORE 4457.993
AT ITER 2438 NEW BEST:: SOT 74189 SOS 45975 HAS SOPS 25994 HAS SOUS 7960 HAS SOUPS 4407 WITH SCORE 4452.975
AT ITER 2473 NEW BEST:: SOT 74267 SOS 46125 HAS SOPS 26053 HAS SOUS 7965 HAS SOUPS 4405 WITH SCORE 4451.125
AT ITER 2476 NEW BEST:: SOT 74265 SOS 46129 HAS SOPS 26057 HAS SOUS 7962 HAS SOUPS 4402 WITH SCORE 4448.129
AT ITER 2478 NEW BEST:: SOT 74262 SOS 46119 HAS SOPS 26047 HAS SOUS 7959 HAS SOUPS 4399 WITH SCORE 4445.119
AT ITER 2535 NEW BEST:: SOT 74267 SOS 46124 HAS SOPS 26052 HAS SOUS 7950 HAS SOUPS 4390 WITH SCORE 4436.124
AT ITER 2647 NEW BEST:: SOT 74259 SOS 46102 HAS SOPS 26030 HAS SOUS 7941 HAS SOUPS 4381 WITH SCORE 4427.102
AT ITER 2653 NEW BEST:: SOT 74259 SOS 46084 HAS SOPS 26028 HAS SOUS 7939 HAS SOUPS 4381 WITH SCORE 4427.084
AT ITER 2666 NEW BEST:: SOT 74265 SOS 46059 HAS SOPS 26003 HAS SOUS 7938 HAS SOUPS 4380 WITH SCORE 4426.059
AT ITER 2675 NEW BEST:: SOT 74247 SOS 46041 HAS SOPS 25985 HAS SOUS 7938 HAS SOUPS 4380 WITH SCORE 4426.041
AT ITER 2729 NEW BEST:: SOT 74246 SOS 46044 HAS SOPS 25985 HAS SOUS 7937 HAS SOUPS 4379 WITH SCORE 4425.044
AT ITER 2758 NEW BEST:: SOT 74247 SOS 46040 HAS SOPS 25986 HAS SOUS 7936 HAS SOUPS 4379 WITH SCORE 4425.04
AT ITER 2764 NEW BEST:: SOT 74259 SOS 46052 HAS SOPS 25998 HAS SOUS 7933 HAS SOUPS 4377 WITH SCORE 4423.052
AT ITER 2783 NEW BEST:: SOT 74256 SOS 46041 HAS SOPS 25947 HAS SOUS 7930 HAS SOUPS 4369 WITH SCORE 4415.041
AT ITER 2839 NEW BEST:: SOT 74208 SOS 45957 HAS SOPS 25919 HAS SOUS 7922 HAS SOUPS 4365 WITH SCORE 4410.957
AT ITER 2862 NEW BEST:: SOT 74072 SOS 45812 HAS SOPS 25849 HAS SOUS 7919 HAS SOUPS 4362 WITH SCORE 4407.812
AT ITER 2891 NEW BEST:: SOT 74072 SOS 45810 HAS SOPS 25847 HAS SOUS 7915 HAS SOUPS 4358 WITH SCORE 4403.81
AT ITER 2915 NEW BEST:: SOT 74056 SOS 45794 HAS SOPS 25847 HAS SOUS 7915 HAS SOUPS 4358 WITH SCORE 4403.794
AT ITER 3030 NEW BEST:: SOT 74060 SOS 45825 HAS SOPS 25763 HAS SOUS 7936 HAS SOUPS 4356 WITH SCORE 4401.825
AT ITER 3038 NEW BEST:: SOT 73899 SOS 45450 HAS SOPS 25584 HAS SOUS 7919 HAS SOUPS 4353 WITH SCORE 4398.45
AT ITER 3051 NEW BEST:: SOT 73899 SOS 45450 HAS SOPS 25584 HAS SOUS 7892 HAS SOUPS 4351 WITH SCORE 4396.45
AT ITER 3056 NEW BEST:: SOT 73888 SOS 45074 HAS SOPS 25131 HAS SOUS 7892 HAS SOUPS 4351 WITH SCORE 4396.074
AT ITER 3100 NEW BEST:: SOT 73876 SOS 45066 HAS SOPS 25123 HAS SOUS 7886 HAS SOUPS 4345 WITH SCORE 4390.066
AT ITER 3153 NEW BEST:: SOT 73861 SOS 45499 HAS SOPS 25556 HAS SOUS 7883 HAS SOUPS 4342 WITH SCORE 4387.499
AT ITER 3229 NEW BEST:: SOT 73861 SOS 45523 HAS SOPS 25548 HAS SOUS 7885 HAS SOUPS 4340 WITH SCORE 4385.523
AT ITER 3344 NEW BEST:: SOT 73855 SOS 45517 HAS SOPS 25548 HAS SOUS 7881 HAS SOUPS 4336 WITH SCORE 4381.517
AT ITER 3404 NEW BEST:: SOT 73850 SOS 45512 HAS SOPS 25548 HAS SOUS 7875 HAS SOUPS 4330 WITH SCORE 4375.512
AT ITER 3425 NEW BEST:: SOT 73849 SOS 45378 HAS SOPS 25542 HAS SOUS 7852 HAS SOUPS 4323 WITH SCORE 4368.378
AT ITER 3448 NEW BEST:: SOT 73849 SOS 45369 HAS SOPS 25560 HAS SOUS 7849 HAS SOUPS 4323 WITH SCORE 4368.369
AT ITER 3454 NEW BEST:: SOT 74057 SOS 45624 HAS SOPS 25730 HAS SOUS 7848 HAS SOUPS 4322 WITH SCORE 4367.624
AT ITER 3527 NEW BEST:: SOT 74057 SOS 45622 HAS SOPS 25728 HAS SOUS 7848 HAS SOUPS 4322 WITH SCORE 4367.622
AT ITER 3531 NEW BEST:: SOT 73999 SOS 45586 HAS SOPS 25692 HAS SOUS 7830 HAS SOUPS 4304 WITH SCORE 4349.586
AT ITER 3742 NEW BEST:: SOT 74232 SOS 45821 HAS SOPS 25822 HAS SOUS 7813 HAS SOUPS 4287 WITH SCORE 4332.821
AT ITER 3768 NEW BEST:: SOT 74363 SOS 46014 HAS SOPS 25903 HAS SOUS 7800 HAS SOUPS 4270 WITH SCORE 4316.014
AT ITER 3776 NEW BEST:: SOT 74363 SOS 46012 HAS SOPS 25896 HAS SOUS 7801 HAS SOUPS 4270 WITH SCORE 4316.012
AT ITER 3788 NEW BEST:: SOT 74373 SOS 46002 HAS SOPS 25886 HAS SOUS 7791 HAS SOUPS 4260 WITH SCORE 4306.002
AT ITER 3816 NEW BEST:: SOT 74335 SOS 45238 HAS SOPS 25202 HAS SOUS 7773 HAS SOUPS 4250 WITH SCORE 4295.238
AT ITER 3831 NEW BEST:: SOT 74349 SOS 44772 HAS SOPS 24778 HAS SOUS 7767 HAS SOUPS 4244 WITH SCORE 4288.772
AT ITER 3916 NEW BEST:: SOT 74348 SOS 44764 HAS SOPS 24770 HAS SOUS 7761 HAS SOUPS 4238 WITH SCORE 4282.764
AT ITER 3929 NEW BEST:: SOT 74053 SOS 44185 HAS SOPS 24550 HAS SOUS 7721 HAS SOUPS 4221 WITH SCORE 4265.185
AT ITER 3943 NEW BEST:: SOT 74037 SOS 44118 HAS SOPS 24483 HAS SOUS 7719 HAS SOUPS 4219 WITH SCORE 4263.118
AT ITER 4002 NEW BEST:: SOT 74035 SOS 44116 HAS SOPS 24483 HAS SOUS 7719 HAS SOUPS 4219 WITH SCORE 4263.116
AT ITER 4011 NEW BEST:: SOT 74026 SOS 44107 HAS SOPS 24474 HAS SOUS 7714 HAS SOUPS 4214 WITH SCORE 4258.107
AT ITER 4160 NEW BEST:: SOT 74021 SOS 44062 HAS SOPS 24469 HAS SOUS 7708 HAS SOUPS 4213 WITH SCORE 4257.062
AT ITER 4229 NEW BEST:: SOT 73912 SOS 43847 HAS SOPS 24394 HAS SOUS 7691 HAS SOUPS 4206 WITH SCORE 4249.847
AT ITER 4252 NEW BEST:: SOT 73901 SOS 43831 HAS SOPS 24388 HAS SOUS 7690 HAS SOUPS 4206 WITH SCORE 4249.831
AT ITER 4262 NEW BEST:: SOT 73901 SOS 43831 HAS SOPS 24388 HAS SOUS 7687 HAS SOUPS 4204 WITH SCORE 4247.831
AT ITER 4265 NEW BEST:: SOT 73907 SOS 43578 HAS SOPS 24155 HAS SOUS 7683 HAS SOUPS 4200 WITH SCORE 4243.578
AT ITER 4271 NEW BEST:: SOT 73903 SOS 43571 HAS SOPS 24153 HAS SOUS 7682 HAS SOUPS 4200 WITH SCORE 4243.571
AT ITER 4278 NEW BEST:: SOT 73903 SOS 43571 HAS SOPS 24153 HAS SOUS 7680 HAS SOUPS 4198 WITH SCORE 4241.571
AT ITER 4331 NEW BEST:: SOT 73901 SOS 43571 HAS SOPS 24150 HAS SOUS 7678 HAS SOUPS 4196 WITH SCORE 4239.571
AT ITER 4333 NEW BEST:: SOT 73904 SOS 43640 HAS SOPS 24147 HAS SOUS 7686 HAS SOUPS 4195 WITH SCORE 4238.64
AT ITER 4401 NEW BEST:: SOT 73904 SOS 43640 HAS SOPS 24147 HAS SOUS 7668 HAS SOUPS 4185 WITH SCORE 4228.64
AT ITER 4444 NEW BEST:: SOT 73887 SOS 43914 HAS SOPS 24311 HAS SOUS 7662 HAS SOUPS 4179 WITH SCORE 4222.914
AT ITER 4467 NEW BEST:: SOT 73887 SOS 43949 HAS SOPS 24306 HAS SOUS 7666 HAS SOUPS 4175 WITH SCORE 4218.949
AT ITER 4504 NEW BEST:: SOT 73881 SOS 43943 HAS SOPS 24300 HAS SOUS 7666 HAS SOUPS 4175 WITH SCORE 4218.943
AT ITER 4522 NEW BEST:: SOT 73884 SOS 43940 HAS SOPS 24297 HAS SOUS 7660 HAS SOUPS 4169 WITH SCORE 4212.94
AT ITER 4535 NEW BEST:: SOT 73883 SOS 43939 HAS SOPS 24297 HAS SOUS 7660 HAS SOUPS 4169 WITH SCORE 4212.939
AT ITER 4542 NEW BEST:: SOT 73883 SOS 43930 HAS SOPS 24296 HAS SOUS 7658 HAS SOUPS 4168 WITH SCORE 4211.93
AT ITER 4660 NEW BEST:: SOT 73873 SOS 43896 HAS SOPS 24262 HAS SOUS 7656 HAS SOUPS 4166 WITH SCORE 4209.896
AT ITER 4692 NEW BEST:: SOT 73854 SOS 43877 HAS SOPS 24262 HAS SOUS 7656 HAS SOUPS 4166 WITH SCORE 4209.877
AT ITER 4707 NEW BEST:: SOT 73792 SOS 43805 HAS SOPS 24224 HAS SOUS 7657 HAS SOUPS 4163 WITH SCORE 4206.805
AT ITER 4728 NEW BEST:: SOT 73789 SOS 43802 HAS SOPS 24221 HAS SOUS 7657 HAS SOUPS 4163 WITH SCORE 4206.802
AT ITER 4745 NEW BEST:: SOT 73785 SOS 43814 HAS SOPS 24217 HAS SOUS 7657 HAS SOUPS 4161 WITH SCORE 4204.814
AT ITER 4786 NEW BEST:: SOT 73779 SOS 43790 HAS SOPS 24193 HAS SOUS 7653 HAS SOUPS 4157 WITH SCORE 4200.79
AT ITER 4865 NEW BEST:: SOT 73776 SOS 43783 HAS SOPS 24191 HAS SOUS 7652 HAS SOUPS 4157 WITH SCORE 4200.783
AT ITER 4867 NEW BEST:: SOT 73764 SOS 43762 HAS SOPS 24184 HAS SOUS 7651 HAS SOUPS 4157 WITH SCORE 4200.762
AT ITER 4871 NEW BEST:: SOT 73761 SOS 43759 HAS SOPS 24184 HAS SOUS 7651 HAS SOUPS 4157 WITH SCORE 4200.759
AT ITER 4963 NEW BEST:: SOT 73749 SOS 43742 HAS SOPS 24178 HAS SOUS 7650 HAS SOUPS 4157 WITH SCORE 4200.742
AT ITER 4974 NEW BEST:: SOT 73733 SOS 43682 HAS SOPS 24094 HAS SOUS 7653 HAS SOUPS 4156 WITH SCORE 4199.682
AT ITER 5111 NEW BEST:: SOT 73727 SOS 43742 HAS SOPS 24184 HAS SOUS 7641 HAS SOUPS 4150 WITH SCORE 4193.742
AT ITER 5287 NEW BEST:: SOT 73723 SOS 43739 HAS SOPS 24172 HAS SOUS 7636 HAS SOUPS 4144 WITH SCORE 4187.739
AT ITER 5305 NEW BEST:: SOT 73721 SOS 43779 HAS SOPS 24200 HAS SOUS 7638 HAS SOUPS 4143 WITH SCORE 4186.779
AT ITER 5322 NEW BEST:: SOT 73720 SOS 43769 HAS SOPS 24198 HAS SOUS 7635 HAS SOUPS 4141 WITH SCORE 4184.769
AT ITER 5353 NEW BEST:: SOT 73712 SOS 43752 HAS SOPS 24181 HAS SOUS 7632 HAS SOUPS 4138 WITH SCORE 4181.752
AT ITER 5399 NEW BEST:: SOT 73716 SOS 43762 HAS SOPS 24181 HAS SOUS 7632 HAS SOUPS 4136 WITH SCORE 4179.762
AT ITER 5433 NEW BEST:: SOT 73754 SOS 43831 HAS SOPS 24204 HAS SOUS 7622 HAS SOUPS 4127 WITH SCORE 4170.831
AT ITER 5602 NEW BEST:: SOT 73764 SOS 43785 HAS SOPS 24206 HAS SOUS 7608 HAS SOUPS 4121 WITH SCORE 4164.785
AT ITER 5655 NEW BEST:: SOT 73764 SOS 43785 HAS SOPS 24206 HAS SOUS 7625 HAS SOUPS 4119 WITH SCORE 4162.785
AT ITER 5688 NEW BEST:: SOT 73762 SOS 43765 HAS SOPS 24202 HAS SOUS 7621 HAS SOUPS 4117 WITH SCORE 4160.765
AT ITER 5707 NEW BEST:: SOT 73762 SOS 43737 HAS SOPS 24206 HAS SOUS 7617 HAS SOUPS 4117 WITH SCORE 4160.737
AT ITER 5759 NEW BEST:: SOT 73762 SOS 43737 HAS SOPS 24206 HAS SOUS 7614 HAS SOUPS 4115 WITH SCORE 4158.737
AT ITER 5763 NEW BEST:: SOT 73740 SOS 43705 HAS SOPS 24194 HAS SOUS 7603 HAS SOUPS 4110 WITH SCORE 4153.705
AT ITER 5805 NEW BEST:: SOT 73714 SOS 44051 HAS SOPS 24498 HAS SOUS 7602 HAS SOUPS 4109 WITH SCORE 4153.051
AT ITER 5849 NEW BEST:: SOT 73714 SOS 44051 HAS SOPS 24498 HAS SOUS 7596 HAS SOUPS 4105 WITH SCORE 4149.051
AT ITER 5908 NEW BEST:: SOT 73716 SOS 44057 HAS SOPS 24504 HAS SOUS 7591 HAS SOUPS 4100 WITH SCORE 4144.057
AT ITER 5917 NEW BEST:: SOT 73702 SOS 43913 HAS SOPS 24420 HAS SOUS 7581 HAS SOUPS 4094 WITH SCORE 4137.913
AT ITER 5929 NEW BEST:: SOT 73692 SOS 43901 HAS SOPS 24414 HAS SOUS 7580 HAS SOUPS 4093 WITH SCORE 4136.901
AT ITER 5942 NEW BEST:: SOT 73686 SOS 43963 HAS SOPS 24460 HAS SOUS 7580 HAS SOUPS 4091 WITH SCORE 4134.963
AT ITER 5945 NEW BEST:: SOT 73684 SOS 43954 HAS SOPS 24462 HAS SOUS 7578 HAS SOUPS 4091 WITH SCORE 4134.954
AT ITER 5992 NEW BEST:: SOT 73654 SOS 43924 HAS SOPS 24432 HAS SOUS 7572 HAS SOUPS 4089 WITH SCORE 4132.924
AT ITER 6080 NEW BEST:: SOT 73651 SOS 43921 HAS SOPS 24432 HAS SOUS 7572 HAS SOUPS 4089 WITH SCORE 4132.921
AT ITER 6081 NEW BEST:: SOT 73653 SOS 43923 HAS SOPS 24432 HAS SOUS 7563 HAS SOUPS 4084 WITH SCORE 4127.923
AT ITER 6134 NEW BEST:: SOT 73624 SOS 43878 HAS SOPS 24401 HAS SOUS 7562 HAS SOUPS 4083 WITH SCORE 4126.878
AT ITER 6156 NEW BEST:: SOT 73611 SOS 43927 HAS SOPS 24437 HAS SOUS 7558 HAS SOUPS 4082 WITH SCORE 4125.927
AT ITER 6252 NEW BEST:: SOT 73611 SOS 43922 HAS SOPS 24437 HAS SOUS 7557 HAS SOUPS 4082 WITH SCORE 4125.922
AT ITER 6265 NEW BEST:: SOT 73615 SOS 43860 HAS SOPS 24367 HAS SOUS 7555 HAS SOUPS 4080 WITH SCORE 4123.86
AT ITER 6333 NEW BEST:: SOT 73612 SOS 43838 HAS SOPS 24329 HAS SOUS 7554 HAS SOUPS 4077 WITH SCORE 4120.838
AT ITER 6575 NEW BEST:: SOT 73613 SOS 43644 HAS SOPS 24205 HAS SOUS 7547 HAS SOUPS 4070 WITH SCORE 4113.644
AT ITER 6604 NEW BEST:: SOT 73615 SOS 43632 HAS SOPS 24213 HAS SOUS 7541 HAS SOUPS 4068 WITH SCORE 4111.632
AT ITER 6816 NEW BEST:: SOT 73609 SOS 43626 HAS SOPS 24207 HAS SOUS 7541 HAS SOUPS 4068 WITH SCORE 4111.626
AT ITER 6832 NEW BEST:: SOT 73600 SOS 43604 HAS SOPS 24205 HAS SOUS 7537 HAS SOUPS 4068 WITH SCORE 4111.604
AT ITER 6960 NEW BEST:: SOT 73603 SOS 43607 HAS SOPS 24205 HAS SOUS 7532 HAS SOUPS 4067 WITH SCORE 4110.607
AT ITER 6998 NEW BEST:: SOT 73592 SOS 43591 HAS SOPS 24199 HAS SOUS 7531 HAS SOUPS 4067 WITH SCORE 4110.591
AT ITER 7166 NEW BEST:: SOT 73595 SOS 43565 HAS SOPS 24205 HAS SOUS 7525 HAS SOUPS 4065 WITH SCORE 4108.565
AT ITER 7568 NEW BEST:: SOT 73571 SOS 43535 HAS SOPS 24193 HAS SOUS 7525 HAS SOUPS 4065 WITH SCORE 4108.535
AT ITER 7668 NEW BEST:: SOT 73569 SOS 43525 HAS SOPS 24183 HAS SOUS 7525 HAS SOUPS 4065 WITH SCORE 4108.525
AT ITER 7732 NEW BEST:: SOT 73567 SOS 43523 HAS SOPS 24181 HAS SOUS 7523 HAS SOUPS 4063 WITH SCORE 4106.523
AT ITER 7817 NEW BEST:: SOT 73566 SOS 43522 HAS SOPS 24181 HAS SOUS 7523 HAS SOUPS 4063 WITH SCORE 4106.522
AT ITER 7829 NEW BEST:: SOT 73538 SOS 43473 HAS SOPS 24167 HAS SOUS 7516 HAS SOUPS 4063 WITH SCORE 4106.473
AT ITER 7834 NEW BEST:: SOT 73526 SOS 43456 HAS SOPS 24161 HAS SOUS 7515 HAS SOUPS 4063 WITH SCORE 4106.456
AT ITER 8030 NEW BEST:: SOT 73502 SOS 43432 HAS SOPS 24137 HAS SOUS 7515 HAS SOUPS 4063 WITH SCORE 4106.432
AT ITER 8073 NEW BEST:: SOT 73485 SOS 43406 HAS SOPS 24127 HAS SOUS 7503 HAS SOUPS 4053 WITH SCORE 4096.406
AT ITER 8623 NEW BEST:: SOT 73469 SOS 43372 HAS SOPS 24101 HAS SOUS 7498 HAS SOUPS 4048 WITH SCORE 4091.372
AT ITER 8672 NEW BEST:: SOT 73473 SOS 43376 HAS SOPS 24101 HAS SOUS 7489 HAS SOUPS 4043 WITH SCORE 4086.376
AT ITER 9005 NEW BEST:: SOT 73473 SOS 43376 HAS SOPS 24101 HAS SOUS 7486 HAS SOUPS 4041 WITH SCORE 4084.376
AT ITER 9088 NEW BEST:: SOT 73471 SOS 43376 HAS SOPS 24085 HAS SOUS 7487 HAS SOUPS 4040 WITH SCORE 4083.376
AT ITER 9112 NEW BEST:: SOT 73468 SOS 43363 HAS SOPS 24080 HAS SOUS 7486 HAS SOUPS 4040 WITH SCORE 4083.363
AT ITER 9137 NEW BEST:: SOT 73305 SOS 43174 HAS SOPS 23956 HAS SOUS 7479 HAS SOUPS 4033 WITH SCORE 4076.174
AT ITER 9188 NEW BEST:: SOT 73326 SOS 43195 HAS SOPS 23956 HAS SOUS 7470 HAS SOUPS 4028 WITH SCORE 4071.195
AT ITER 9294 NEW BEST:: SOT 73316 SOS 43189 HAS SOPS 23952 HAS SOUS 7472 HAS SOUPS 4028 WITH SCORE 4071.189
AT ITER 9299 NEW BEST:: SOT 73298 SOS 43135 HAS SOPS 23886 HAS SOUS 7462 HAS SOUPS 4015 WITH SCORE 4058.135
AT ITER 9402 NEW BEST:: SOT 73295 SOS 43132 HAS SOPS 23883 HAS SOUS 7459 HAS SOUPS 4012 WITH SCORE 4055.132
AT ITER 9410 NEW BEST:: SOT 73127 SOS 42962 HAS SOPS 23815 HAS SOUS 7351 HAS SOUPS 3960 WITH SCORE 4002.962
AT ITER 9470 NEW BEST:: SOT 72887 SOS 42690 HAS SOPS 23699 HAS SOUS 7345 HAS SOUPS 3954 WITH SCORE 3996.69
AT ITER 9581 NEW BEST:: SOT 72880 SOS 42676 HAS SOPS 23685 HAS SOUS 7338 HAS SOUPS 3947 WITH SCORE 3989.676
AT ITER 9798 NEW BEST:: SOT 72876 SOS 42663 HAS SOPS 23680 HAS SOUS 7336 HAS SOUPS 3946 WITH SCORE 3988.663
AT ITER 9833 NEW BEST:: SOT 72868 SOS 42655 HAS SOPS 23678 HAS SOUS 7335 HAS SOUPS 3945 WITH SCORE 3987.655
AT ITER 9867 NEW BEST:: SOT 72845 SOS 42628 HAS SOPS 23663 HAS SOUS 7334 HAS SOUPS 3944 WITH SCORE 3986.628

BK_STOP 1589124064243

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 484 Aborted ${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="DLCround-PT-04a"
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 DLCround-PT-04a, 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-158902542200472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-04a.tgz
mv DLCround-PT-04a 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 ;