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.r259-smll-167863534700552.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 PermAdmissibility-PT-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 11K Feb 26 01:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 01:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 407K Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 26 01:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K Feb 26 01:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 26 01:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 166K Feb 26 01:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:31 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 340K 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 1678817524083

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=PermAdmissibility-PT-50
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 50
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 3 NEW BEST:: SOT 73550 SOS 47635 HAS SOPS 47635 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28975.635
AT ITER 15 NEW BEST:: SOT 73526 SOS 47671 HAS SOPS 47671 HAS SOUS 28907 HAS SOUPS 28907 WITH SCORE 28954.671
AT ITER 16 NEW BEST:: SOT 73522 SOS 47667 HAS SOPS 47667 HAS SOUS 28903 HAS SOUPS 28903 WITH SCORE 28950.667
AT ITER 19 NEW BEST:: SOT 73358 SOS 48103 HAS SOPS 48103 HAS SOUS 28878 HAS SOUPS 28878 WITH SCORE 28926.103
AT ITER 20 NEW BEST:: SOT 73207 SOS 48433 HAS SOPS 48433 HAS SOUS 28595 HAS SOUPS 28595 WITH SCORE 28643.433
AT ITER 22 NEW BEST:: SOT 73207 SOS 48709 HAS SOPS 48709 HAS SOUS 28558 HAS SOUPS 28558 WITH SCORE 28606.709
AT ITER 24 NEW BEST:: SOT 73207 SOS 52009 HAS SOPS 52009 HAS SOUS 28485 HAS SOUPS 28485 WITH SCORE 28537.009
AT ITER 27 NEW BEST:: SOT 73207 SOS 52009 HAS SOPS 52009 HAS SOUS 28480 HAS SOUPS 28480 WITH SCORE 28532.009
AT ITER 29 NEW BEST:: SOT 73407 SOS 52543 HAS SOPS 52543 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28444.543
AT ITER 31 NEW BEST:: SOT 73407 SOS 49895 HAS SOPS 49895 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28441.895
AT ITER 33 NEW BEST:: SOT 73407 SOS 50311 HAS SOPS 50311 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28309.311
AT ITER 39 NEW BEST:: SOT 73351 SOS 50315 HAS SOPS 50315 HAS SOUS 28255 HAS SOUPS 28255 WITH SCORE 28305.315
AT ITER 40 NEW BEST:: SOT 73271 SOS 50235 HAS SOPS 50235 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28220.235
AT ITER 51 NEW BEST:: SOT 72959 SOS 49999 HAS SOPS 49999 HAS SOUS 27940 HAS SOUPS 27940 WITH SCORE 27989.999
AT ITER 55 NEW BEST:: SOT 72959 SOS 49999 HAS SOPS 49999 HAS SOUS 27921 HAS SOUPS 27921 WITH SCORE 27970.999
AT ITER 58 NEW BEST:: SOT 72866 SOS 50369 HAS SOPS 50369 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27844.369
AT ITER 62 NEW BEST:: SOT 72764 SOS 50279 HAS SOPS 50279 HAS SOUS 27707 HAS SOUPS 27707 WITH SCORE 27757.279
AT ITER 76 NEW BEST:: SOT 72480 SOS 50060 HAS SOPS 50060 HAS SOUS 27407 HAS SOUPS 27407 WITH SCORE 27457.06
AT ITER 83 NEW BEST:: SOT 72161 SOS 49762 HAS SOPS 49762 HAS SOUS 27310 HAS SOUPS 27310 WITH SCORE 27359.762
AT ITER 102 NEW BEST:: SOT 72017 SOS 50214 HAS SOPS 50214 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27209.214
AT ITER 107 NEW BEST:: SOT 72017 SOS 50214 HAS SOPS 50214 HAS SOUS 27105 HAS SOUPS 27105 WITH SCORE 27155.214
AT ITER 112 NEW BEST:: SOT 72021 SOS 50222 HAS SOPS 50222 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27151.222
AT ITER 123 NEW BEST:: SOT 72049 SOS 50385 HAS SOPS 50385 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27150.385
AT ITER 135 NEW BEST:: SOT 72007 SOS 50362 HAS SOPS 50362 HAS SOUS 27071 HAS SOUPS 27071 WITH SCORE 27121.362
AT ITER 138 NEW BEST:: SOT 71804 SOS 50159 HAS SOPS 50159 HAS SOUS 26975 HAS SOUPS 26975 WITH SCORE 27025.159
AT ITER 139 NEW BEST:: SOT 71804 SOS 50159 HAS SOPS 50159 HAS SOUS 26944 HAS SOUPS 26944 WITH SCORE 26994.159
AT ITER 140 NEW BEST:: SOT 71804 SOS 50328 HAS SOPS 50328 HAS SOUS 26785 HAS SOUPS 26785 WITH SCORE 26835.328
AT ITER 142 NEW BEST:: SOT 71791 SOS 50315 HAS SOPS 50315 HAS SOUS 26769 HAS SOUPS 26769 WITH SCORE 26819.315
AT ITER 154 NEW BEST:: SOT 71631 SOS 50232 HAS SOPS 50232 HAS SOUS 26699 HAS SOUPS 26699 WITH SCORE 26749.232
AT ITER 156 NEW BEST:: SOT 71631 SOS 49411 HAS SOPS 49411 HAS SOUS 26687 HAS SOUPS 26687 WITH SCORE 26736.411
AT ITER 157 NEW BEST:: SOT 71631 SOS 49399 HAS SOPS 49399 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26724.399
AT ITER 172 NEW BEST:: SOT 71631 SOS 49399 HAS SOPS 49399 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26686.399
AT ITER 174 NEW BEST:: SOT 71651 SOS 49011 HAS SOPS 49011 HAS SOUS 26584 HAS SOUPS 26584 WITH SCORE 26633.011
AT ITER 189 NEW BEST:: SOT 71481 SOS 48944 HAS SOPS 48944 HAS SOUS 26526 HAS SOUPS 26526 WITH SCORE 26574.944
AT ITER 199 NEW BEST:: SOT 71433 SOS 48922 HAS SOPS 48922 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26486.922
AT ITER 202 NEW BEST:: SOT 71433 SOS 49640 HAS SOPS 49640 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26486.64
AT ITER 211 NEW BEST:: SOT 71433 SOS 49694 HAS SOPS 49694 HAS SOUS 26413 HAS SOUPS 26413 WITH SCORE 26462.694
AT ITER 215 NEW BEST:: SOT 71456 SOS 49807 HAS SOPS 49807 HAS SOUS 26272 HAS SOUPS 26272 WITH SCORE 26321.807
AT ITER 219 NEW BEST:: SOT 71368 SOS 50004 HAS SOPS 50004 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26178.004
AT ITER 224 NEW BEST:: SOT 71368 SOS 50004 HAS SOPS 50004 HAS SOUS 26120 HAS SOUPS 26120 WITH SCORE 26170.004
AT ITER 225 NEW BEST:: SOT 71368 SOS 50004 HAS SOPS 50004 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26141.004
AT ITER 232 NEW BEST:: SOT 71368 SOS 49877 HAS SOPS 49877 HAS SOUS 26082 HAS SOUPS 26082 WITH SCORE 26131.877
AT ITER 235 NEW BEST:: SOT 71304 SOS 49813 HAS SOPS 49813 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26099.813
AT ITER 241 NEW BEST:: SOT 71294 SOS 49803 HAS SOPS 49803 HAS SOUS 25992 HAS SOUPS 25992 WITH SCORE 26041.803
AT ITER 260 NEW BEST:: SOT 71294 SOS 51566 HAS SOPS 51566 HAS SOUS 25931 HAS SOUPS 25931 WITH SCORE 25982.566
AT ITER 269 NEW BEST:: SOT 71042 SOS 51305 HAS SOPS 51305 HAS SOUS 25758 HAS SOUPS 25758 WITH SCORE 25809.305
AT ITER 281 NEW BEST:: SOT 70744 SOS 50873 HAS SOPS 50873 HAS SOUS 25488 HAS SOUPS 25488 WITH SCORE 25538.873
AT ITER 282 NEW BEST:: SOT 70721 SOS 50850 HAS SOPS 50850 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25531.85
AT ITER 283 NEW BEST:: SOT 70736 SOS 50865 HAS SOPS 50865 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25489.865
AT ITER 285 NEW BEST:: SOT 70736 SOS 50911 HAS SOPS 50911 HAS SOUS 25424 HAS SOUPS 25424 WITH SCORE 25474.911
AT ITER 295 NEW BEST:: SOT 70736 SOS 51170 HAS SOPS 51170 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25468.17
AT ITER 304 NEW BEST:: SOT 70774 SOS 51208 HAS SOPS 51208 HAS SOUS 25410 HAS SOUPS 25410 WITH SCORE 25461.208
AT ITER 307 NEW BEST:: SOT 70774 SOS 51208 HAS SOPS 51208 HAS SOUS 25387 HAS SOUPS 25387 WITH SCORE 25438.208
AT ITER 312 NEW BEST:: SOT 70670 SOS 51146 HAS SOPS 51146 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25363.146
AT ITER 313 NEW BEST:: SOT 70601 SOS 51077 HAS SOPS 51077 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25293.077
AT ITER 318 NEW BEST:: SOT 70542 SOS 51015 HAS SOPS 51015 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25293.015
AT ITER 320 NEW BEST:: SOT 70441 SOS 50914 HAS SOPS 50914 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25253.914
AT ITER 325 NEW BEST:: SOT 70233 SOS 50706 HAS SOPS 50706 HAS SOUS 25041 HAS SOUPS 25041 WITH SCORE 25091.706
AT ITER 339 NEW BEST:: SOT 70233 SOS 50706 HAS SOPS 50706 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24913.706
AT ITER 341 NEW BEST:: SOT 70233 SOS 50706 HAS SOPS 50706 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24757.706
AT ITER 346 NEW BEST:: SOT 70189 SOS 50658 HAS SOPS 50658 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24731.658
AT ITER 354 NEW BEST:: SOT 69847 SOS 49852 HAS SOPS 49852 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24522.852
AT ITER 357 NEW BEST:: SOT 69847 SOS 50062 HAS SOPS 50062 HAS SOUS 24359 HAS SOUPS 24359 WITH SCORE 24409.062
AT ITER 359 NEW BEST:: SOT 69757 SOS 49972 HAS SOPS 49972 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24281.972
AT ITER 360 NEW BEST:: SOT 69754 SOS 50053 HAS SOPS 50053 HAS SOUS 24202 HAS SOUPS 24202 WITH SCORE 24252.053
AT ITER 391 NEW BEST:: SOT 69754 SOS 50053 HAS SOPS 50053 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24212.053
AT ITER 394 NEW BEST:: SOT 69630 SOS 49911 HAS SOPS 49911 HAS SOUS 23884 HAS SOUPS 23884 WITH SCORE 23933.911
AT ITER 434 NEW BEST:: SOT 69630 SOS 49823 HAS SOPS 49823 HAS SOUS 23884 HAS SOUPS 23884 WITH SCORE 23933.823
AT ITER 438 NEW BEST:: SOT 69630 SOS 50274 HAS SOPS 50274 HAS SOUS 23765 HAS SOUPS 23765 WITH SCORE 23815.274
AT ITER 442 NEW BEST:: SOT 69534 SOS 50196 HAS SOPS 50196 HAS SOUS 23719 HAS SOUPS 23719 WITH SCORE 23769.196
AT ITER 443 NEW BEST:: SOT 69234 SOS 49896 HAS SOPS 49896 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23697.896
AT ITER 446 NEW BEST:: SOT 69168 SOS 49830 HAS SOPS 49830 HAS SOUS 23622 HAS SOUPS 23622 WITH SCORE 23671.83
AT ITER 448 NEW BEST:: SOT 69047 SOS 49882 HAS SOPS 49882 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23655.882
AT ITER 459 NEW BEST:: SOT 69058 SOS 49949 HAS SOPS 49949 HAS SOUS 23596 HAS SOUPS 23596 WITH SCORE 23645.949
AT ITER 460 NEW BEST:: SOT 69074 SOS 49985 HAS SOPS 49985 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23644.985
AT ITER 490 NEW BEST:: SOT 68735 SOS 49646 HAS SOPS 49646 HAS SOUS 23436 HAS SOUPS 23436 WITH SCORE 23485.646
AT ITER 492 NEW BEST:: SOT 68490 SOS 49401 HAS SOPS 49401 HAS SOUS 23385 HAS SOUPS 23385 WITH SCORE 23434.401
AT ITER 494 NEW BEST:: SOT 68604 SOS 49450 HAS SOPS 49450 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23431.45
AT ITER 495 NEW BEST:: SOT 68581 SOS 49512 HAS SOPS 49512 HAS SOUS 23351 HAS SOUPS 23351 WITH SCORE 23400.512
AT ITER 502 NEW BEST:: SOT 68381 SOS 49282 HAS SOPS 49282 HAS SOUS 23191 HAS SOUPS 23191 WITH SCORE 23240.282
AT ITER 531 NEW BEST:: SOT 68381 SOS 49282 HAS SOPS 49282 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23200.282
AT ITER 537 NEW BEST:: SOT 68309 SOS 49210 HAS SOPS 49210 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23126.21
AT ITER 538 NEW BEST:: SOT 68287 SOS 49188 HAS SOPS 49188 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23076.188
AT ITER 543 NEW BEST:: SOT 68365 SOS 49266 HAS SOPS 49266 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23030.266
AT ITER 549 NEW BEST:: SOT 68365 SOS 52264 HAS SOPS 52264 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23016.264
AT ITER 578 NEW BEST:: SOT 68251 SOS 52181 HAS SOPS 52181 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22935.181
AT ITER 580 NEW BEST:: SOT 68252 SOS 52182 HAS SOPS 52182 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22870.182
AT ITER 581 NEW BEST:: SOT 68274 SOS 52204 HAS SOPS 52204 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22722.204
AT ITER 594 NEW BEST:: SOT 68306 SOS 52236 HAS SOPS 52236 HAS SOUS 22579 HAS SOUPS 22579 WITH SCORE 22631.236
AT ITER 595 NEW BEST:: SOT 68232 SOS 52180 HAS SOPS 52180 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22605.18
AT ITER 604 NEW BEST:: SOT 68157 SOS 52105 HAS SOPS 52105 HAS SOUS 22500 HAS SOUPS 22500 WITH SCORE 22552.105
AT ITER 624 NEW BEST:: SOT 68104 SOS 52052 HAS SOPS 52052 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22503.052
AT ITER 637 NEW BEST:: SOT 68192 SOS 52444 HAS SOPS 52444 HAS SOUS 22424 HAS SOUPS 22424 WITH SCORE 22476.444
AT ITER 639 NEW BEST:: SOT 68192 SOS 52500 HAS SOPS 52500 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22471.5
AT ITER 658 NEW BEST:: SOT 68170 SOS 52579 HAS SOPS 52579 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22438.579
AT ITER 668 NEW BEST:: SOT 68170 SOS 52667 HAS SOPS 52667 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22207.667
AT ITER 669 NEW BEST:: SOT 67960 SOS 52457 HAS SOPS 52457 HAS SOUS 22101 HAS SOUPS 22101 WITH SCORE 22153.457
AT ITER 683 NEW BEST:: SOT 67751 SOS 52257 HAS SOPS 52257 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22054.257
AT ITER 685 NEW BEST:: SOT 67755 SOS 52261 HAS SOPS 52261 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 22012.261
AT ITER 687 NEW BEST:: SOT 67725 SOS 52231 HAS SOPS 52231 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21950.231
AT ITER 700 NEW BEST:: SOT 67541 SOS 52047 HAS SOPS 52047 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21891.047
AT ITER 709 NEW BEST:: SOT 67525 SOS 52031 HAS SOPS 52031 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21875.031
AT ITER 715 NEW BEST:: SOT 67510 SOS 52016 HAS SOPS 52016 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21860.016
AT ITER 721 NEW BEST:: SOT 67506 SOS 52014 HAS SOPS 52014 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21850.014
AT ITER 725 NEW BEST:: SOT 67526 SOS 52034 HAS SOPS 52034 HAS SOUS 21789 HAS SOUPS 21789 WITH SCORE 21841.034
AT ITER 726 NEW BEST:: SOT 67526 SOS 52034 HAS SOPS 52034 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21805.034
AT ITER 728 NEW BEST:: SOT 67381 SOS 51889 HAS SOPS 51889 HAS SOUS 21686 HAS SOUPS 21686 WITH SCORE 21737.889
AT ITER 743 NEW BEST:: SOT 67371 SOS 51879 HAS SOPS 51879 HAS SOUS 21659 HAS SOUPS 21659 WITH SCORE 21710.879
AT ITER 752 NEW BEST:: SOT 67333 SOS 51841 HAS SOPS 51841 HAS SOUS 21569 HAS SOUPS 21569 WITH SCORE 21620.841
AT ITER 766 NEW BEST:: SOT 67305 SOS 51830 HAS SOPS 51830 HAS SOUS 21562 HAS SOUPS 21562 WITH SCORE 21613.83
AT ITER 769 NEW BEST:: SOT 67313 SOS 51838 HAS SOPS 51838 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21512.838
AT ITER 789 NEW BEST:: SOT 66962 SOS 51445 HAS SOPS 51445 HAS SOUS 21177 HAS SOUPS 21177 WITH SCORE 21228.445
AT ITER 822 NEW BEST:: SOT 66899 SOS 51382 HAS SOPS 51382 HAS SOUS 21171 HAS SOUPS 21171 WITH SCORE 21222.382
AT ITER 823 NEW BEST:: SOT 66899 SOS 51382 HAS SOPS 51382 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21216.382
AT ITER 830 NEW BEST:: SOT 66911 SOS 51394 HAS SOPS 51394 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21209.394
AT ITER 857 NEW BEST:: SOT 66810 SOS 51293 HAS SOPS 51293 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20990.293
AT ITER 859 NEW BEST:: SOT 66840 SOS 51339 HAS SOPS 51339 HAS SOUS 20909 HAS SOUPS 20909 WITH SCORE 20960.339
AT ITER 864 NEW BEST:: SOT 66832 SOS 51331 HAS SOPS 51331 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20952.331
AT ITER 884 NEW BEST:: SOT 66832 SOS 51331 HAS SOPS 51331 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20866.331
AT ITER 891 NEW BEST:: SOT 66859 SOS 51258 HAS SOPS 51258 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20819.258
AT ITER 897 NEW BEST:: SOT 66644 SOS 51043 HAS SOPS 51043 HAS SOUS 20653 HAS SOUPS 20653 WITH SCORE 20704.043
AT ITER 921 NEW BEST:: SOT 66429 SOS 50828 HAS SOPS 50828 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20665.828
AT ITER 932 NEW BEST:: SOT 66425 SOS 50824 HAS SOPS 50824 HAS SOUS 20611 HAS SOUPS 20611 WITH SCORE 20661.824
AT ITER 955 NEW BEST:: SOT 66425 SOS 50824 HAS SOPS 50824 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20637.824
AT ITER 964 NEW BEST:: SOT 66355 SOS 50754 HAS SOPS 50754 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20567.754
AT ITER 967 NEW BEST:: SOT 66267 SOS 50702 HAS SOPS 50702 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20423.702
AT ITER 996 NEW BEST:: SOT 66257 SOS 50692 HAS SOPS 50692 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20401.692
AT ITER 1000 NEW BEST:: SOT 66257 SOS 50692 HAS SOPS 50692 HAS SOUS 20315 HAS SOUPS 20315 WITH SCORE 20365.692
AT ITER 1006 NEW BEST:: SOT 66236 SOS 50671 HAS SOPS 50671 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20344.671
AT ITER 1008 NEW BEST:: SOT 66236 SOS 50575 HAS SOPS 50575 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20334.575
AT ITER 1016 NEW BEST:: SOT 66243 SOS 50575 HAS SOPS 50575 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20327.575
AT ITER 1037 NEW BEST:: SOT 66231 SOS 50563 HAS SOPS 50563 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20319.563
AT ITER 1046 NEW BEST:: SOT 66219 SOS 50596 HAS SOPS 50596 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20307.596
AT ITER 1055 NEW BEST:: SOT 66050 SOS 50427 HAS SOPS 50427 HAS SOUS 20073 HAS SOUPS 20073 WITH SCORE 20123.427
AT ITER 1078 NEW BEST:: SOT 66189 SOS 50513 HAS SOPS 50513 HAS SOUS 19743 HAS SOUPS 19743 WITH SCORE 19793.513
AT ITER 1084 NEW BEST:: SOT 66167 SOS 50491 HAS SOPS 50491 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19754.491
AT ITER 1087 NEW BEST:: SOT 66117 SOS 50386 HAS SOPS 50386 HAS SOUS 19621 HAS SOUPS 19621 WITH SCORE 19671.386
AT ITER 1111 NEW BEST:: SOT 66117 SOS 52050 HAS SOPS 52050 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19496.05
AT ITER 1123 NEW BEST:: SOT 66113 SOS 52047 HAS SOPS 52047 HAS SOUS 19441 HAS SOUPS 19441 WITH SCORE 19493.047
AT ITER 1145 NEW BEST:: SOT 66115 SOS 52045 HAS SOPS 52045 HAS SOUS 19431 HAS SOUPS 19431 WITH SCORE 19483.045
AT ITER 1157 NEW BEST:: SOT 66043 SOS 51973 HAS SOPS 51973 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19468.973
AT ITER 1180 NEW BEST:: SOT 66043 SOS 51989 HAS SOPS 51989 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19452.989
AT ITER 1194 NEW BEST:: SOT 65931 SOS 51875 HAS SOPS 51875 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19367.875
AT ITER 1204 NEW BEST:: SOT 65839 SOS 51783 HAS SOPS 51783 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19219.783
AT ITER 1216 NEW BEST:: SOT 65823 SOS 51767 HAS SOPS 51767 HAS SOUS 19158 HAS SOUPS 19158 WITH SCORE 19209.767
AT ITER 1225 NEW BEST:: SOT 65780 SOS 51841 HAS SOPS 51841 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19191.841
AT ITER 1244 NEW BEST:: SOT 65780 SOS 51841 HAS SOPS 51841 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19185.841
AT ITER 1266 NEW BEST:: SOT 65766 SOS 51827 HAS SOPS 51827 HAS SOUS 19120 HAS SOUPS 19120 WITH SCORE 19171.827
AT ITER 1288 NEW BEST:: SOT 65758 SOS 51819 HAS SOPS 51819 HAS SOUS 19104 HAS SOUPS 19104 WITH SCORE 19155.819
AT ITER 1292 NEW BEST:: SOT 65748 SOS 51812 HAS SOPS 51812 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19134.812
AT ITER 1299 NEW BEST:: SOT 65731 SOS 51719 HAS SOPS 51719 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19114.719
AT ITER 1313 NEW BEST:: SOT 65668 SOS 51652 HAS SOPS 51652 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19047.652
AT ITER 1314 NEW BEST:: SOT 65550 SOS 51534 HAS SOPS 51534 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18941.534
AT ITER 1335 NEW BEST:: SOT 65546 SOS 51530 HAS SOPS 51530 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18933.53
AT ITER 1365 NEW BEST:: SOT 65526 SOS 51510 HAS SOPS 51510 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18917.51
AT ITER 1393 NEW BEST:: SOT 65486 SOS 51470 HAS SOPS 51470 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18917.47
AT ITER 1477 NEW BEST:: SOT 65507 SOS 51603 HAS SOPS 51603 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18899.603
AT ITER 1540 NEW BEST:: SOT 65507 SOS 51952 HAS SOPS 51952 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18879.952
AT ITER 1544 NEW BEST:: SOT 65441 SOS 51861 HAS SOPS 51861 HAS SOUS 18784 HAS SOUPS 18784 WITH SCORE 18835.861
AT ITER 1553 NEW BEST:: SOT 65393 SOS 51803 HAS SOPS 51803 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18791.803
AT ITER 1591 NEW BEST:: SOT 65390 SOS 51800 HAS SOPS 51800 HAS SOUS 18737 HAS SOUPS 18737 WITH SCORE 18788.8
AT ITER 1611 NEW BEST:: SOT 65374 SOS 51785 HAS SOPS 51785 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18773.785
AT ITER 1625 NEW BEST:: SOT 65380 SOS 52319 HAS SOPS 52319 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18706.319
AT ITER 1660 NEW BEST:: SOT 65380 SOS 52319 HAS SOPS 52319 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18658.319
AT ITER 1666 NEW BEST:: SOT 65344 SOS 52283 HAS SOPS 52283 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18658.283
AT ITER 1680 NEW BEST:: SOT 65351 SOS 52290 HAS SOPS 52290 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18647.29
AT ITER 1690 NEW BEST:: SOT 65351 SOS 50626 HAS SOPS 50626 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18626.626
AT ITER 1701 NEW BEST:: SOT 65344 SOS 50619 HAS SOPS 50619 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18619.619
AT ITER 1706 NEW BEST:: SOT 65356 SOS 50631 HAS SOPS 50631 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18616.631
AT ITER 1707 NEW BEST:: SOT 65356 SOS 50567 HAS SOPS 50567 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18611.567
AT ITER 1713 NEW BEST:: SOT 65325 SOS 50536 HAS SOPS 50536 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18609.536
AT ITER 1740 NEW BEST:: SOT 65185 SOS 50398 HAS SOPS 50398 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18385.398
AT ITER 1743 NEW BEST:: SOT 65146 SOS 50359 HAS SOPS 50359 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18375.359
AT ITER 1753 NEW BEST:: SOT 65118 SOS 50331 HAS SOPS 50331 HAS SOUS 18265 HAS SOUPS 18265 WITH SCORE 18315.331
AT ITER 1761 NEW BEST:: SOT 65118 SOS 49107 HAS SOPS 49107 HAS SOUS 18265 HAS SOUPS 18265 WITH SCORE 18314.107
AT ITER 1768 NEW BEST:: SOT 65118 SOS 49107 HAS SOPS 49107 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18306.107
AT ITER 1769 NEW BEST:: SOT 65120 SOS 49076 HAS SOPS 49076 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18296.076
AT ITER 1796 NEW BEST:: SOT 65078 SOS 49034 HAS SOPS 49034 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18266.034
AT ITER 1809 NEW BEST:: SOT 65010 SOS 48966 HAS SOPS 48966 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18176.966
AT ITER 1814 NEW BEST:: SOT 65015 SOS 48960 HAS SOPS 48960 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18130.96
AT ITER 1816 NEW BEST:: SOT 64920 SOS 48851 HAS SOPS 48851 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18029.851
AT ITER 1852 NEW BEST:: SOT 64896 SOS 48827 HAS SOPS 48827 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17990.827
AT ITER 1853 NEW BEST:: SOT 64891 SOS 48822 HAS SOPS 48822 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17986.822
AT ITER 1872 NEW BEST:: SOT 64891 SOS 48822 HAS SOPS 48822 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17970.822
AT ITER 1890 NEW BEST:: SOT 64890 SOS 48821 HAS SOPS 48821 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17964.821
AT ITER 1919 NEW BEST:: SOT 64890 SOS 48821 HAS SOPS 48821 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17962.821
AT ITER 1968 NEW BEST:: SOT 64874 SOS 48805 HAS SOPS 48805 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17957.805
AT ITER 1975 NEW BEST:: SOT 64875 SOS 48846 HAS SOPS 48846 HAS SOUS 17900 HAS SOUPS 17900 WITH SCORE 17948.846
AT ITER 1983 NEW BEST:: SOT 64885 SOS 48857 HAS SOPS 48857 HAS SOUS 17896 HAS SOUPS 17896 WITH SCORE 17944.857
AT ITER 2028 NEW BEST:: SOT 64863 SOS 48835 HAS SOPS 48835 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17871.835
AT ITER 2040 NEW BEST:: SOT 64812 SOS 48784 HAS SOPS 48784 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17812.784
AT ITER 2063 NEW BEST:: SOT 64828 SOS 48821 HAS SOPS 48821 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17808.821
AT ITER 2065 NEW BEST:: SOT 64826 SOS 48820 HAS SOPS 48820 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17808.82
AT ITER 2114 NEW BEST:: SOT 64826 SOS 48820 HAS SOPS 48820 HAS SOUS 17744 HAS SOUPS 17744 WITH SCORE 17792.82
AT ITER 2134 NEW BEST:: SOT 64826 SOS 48820 HAS SOPS 48820 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17789.82
AT ITER 2151 NEW BEST:: SOT 64826 SOS 47644 HAS SOPS 47644 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17778.644
AT ITER 2162 NEW BEST:: SOT 64826 SOS 47636 HAS SOPS 47636 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17778.636
AT ITER 2193 NEW BEST:: SOT 64826 SOS 47636 HAS SOPS 47636 HAS SOUS 17723 HAS SOUPS 17723 WITH SCORE 17770.636
AT ITER 2209 NEW BEST:: SOT 64826 SOS 47634 HAS SOPS 47634 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17768.634
AT ITER 2214 NEW BEST:: SOT 64822 SOS 47633 HAS SOPS 47633 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17764.633
AT ITER 2248 NEW BEST:: SOT 64818 SOS 47629 HAS SOPS 47629 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17753.629
AT ITER 2263 NEW BEST:: SOT 64742 SOS 47553 HAS SOPS 47553 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17598.553
AT ITER 2268 NEW BEST:: SOT 64758 SOS 47617 HAS SOPS 47617 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17593.617
AT ITER 2275 NEW BEST:: SOT 64758 SOS 47617 HAS SOPS 47617 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17578.617
AT ITER 2355 NEW BEST:: SOT 64774 SOS 47517 HAS SOPS 47517 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17576.517
AT ITER 2380 NEW BEST:: SOT 64771 SOS 47514 HAS SOPS 47514 HAS SOUS 17467 HAS SOUPS 17467 WITH SCORE 17514.514
AT ITER 2429 NEW BEST:: SOT 64709 SOS 47452 HAS SOPS 47452 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17379.452
AT ITER 2442 NEW BEST:: SOT 64723 SOS 47521 HAS SOPS 47521 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17376.521
AT ITER 2455 NEW BEST:: SOT 64723 SOS 47521 HAS SOPS 47521 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17356.521
AT ITER 2459 NEW BEST:: SOT 64699 SOS 47497 HAS SOPS 47497 HAS SOUS 17265 HAS SOUPS 17265 WITH SCORE 17312.497
AT ITER 2523 NEW BEST:: SOT 64675 SOS 47461 HAS SOPS 47461 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17295.461
AT ITER 2553 NEW BEST:: SOT 64675 SOS 47461 HAS SOPS 47461 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17289.461
AT ITER 2588 NEW BEST:: SOT 64674 SOS 47460 HAS SOPS 47460 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17288.46
AT ITER 2631 NEW BEST:: SOT 64668 SOS 47454 HAS SOPS 47454 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17277.454
AT ITER 2645 NEW BEST:: SOT 64638 SOS 47424 HAS SOPS 47424 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17251.424
AT ITER 2707 NEW BEST:: SOT 64614 SOS 47400 HAS SOPS 47400 HAS SOUS 17178 HAS SOUPS 17178 WITH SCORE 17225.4
AT ITER 2732 NEW BEST:: SOT 64614 SOS 47424 HAS SOPS 47424 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17222.424
AT ITER 2771 NEW BEST:: SOT 64614 SOS 47418 HAS SOPS 47418 HAS SOUS 17145 HAS SOUPS 17145 WITH SCORE 17192.418
AT ITER 2881 NEW BEST:: SOT 64548 SOS 47352 HAS SOPS 47352 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17122.352
AT ITER 2903 NEW BEST:: SOT 64554 SOS 47358 HAS SOPS 47358 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17118.358
AT ITER 2928 NEW BEST:: SOT 64552 SOS 47362 HAS SOPS 47362 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17115.362
AT ITER 2937 NEW BEST:: SOT 64552 SOS 47362 HAS SOPS 47362 HAS SOUS 17024 HAS SOUPS 17024 WITH SCORE 17071.362
AT ITER 2949 NEW BEST:: SOT 64550 SOS 47360 HAS SOPS 47360 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17063.36
AT ITER 2963 NEW BEST:: SOT 64550 SOS 47360 HAS SOPS 47360 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16993.36
AT ITER 2985 NEW BEST:: SOT 64526 SOS 47336 HAS SOPS 47336 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16990.336
AT ITER 3077 NEW BEST:: SOT 64560 SOS 47370 HAS SOPS 47370 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16974.37
AT ITER 3112 NEW BEST:: SOT 64546 SOS 47356 HAS SOPS 47356 HAS SOUS 16913 HAS SOUPS 16913 WITH SCORE 16960.356
AT ITER 3114 NEW BEST:: SOT 64514 SOS 47324 HAS SOPS 47324 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16895.324
AT ITER 3164 NEW BEST:: SOT 64466 SOS 47276 HAS SOPS 47276 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16889.276
AT ITER 3174 NEW BEST:: SOT 64466 SOS 47236 HAS SOPS 47236 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16889.236
AT ITER 3175 NEW BEST:: SOT 64422 SOS 47182 HAS SOPS 47182 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16850.182
AT ITER 3186 NEW BEST:: SOT 64420 SOS 47180 HAS SOPS 47180 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16847.18
AT ITER 3188 NEW BEST:: SOT 64416 SOS 47179 HAS SOPS 47179 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16847.179
AT ITER 3201 NEW BEST:: SOT 64416 SOS 47179 HAS SOPS 47179 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16845.179
AT ITER 3217 NEW BEST:: SOT 64416 SOS 47613 HAS SOPS 47613 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16833.613
AT ITER 3218 NEW BEST:: SOT 64394 SOS 47589 HAS SOPS 47589 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16809.589
AT ITER 3237 NEW BEST:: SOT 64411 SOS 48070 HAS SOPS 48070 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16780.07
AT ITER 3310 NEW BEST:: SOT 64412 SOS 48071 HAS SOPS 48071 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16752.071
AT ITER 3312 NEW BEST:: SOT 64402 SOS 48061 HAS SOPS 48061 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16742.061
AT ITER 3378 NEW BEST:: SOT 64402 SOS 48021 HAS SOPS 48021 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16741.021
AT ITER 3453 NEW BEST:: SOT 64394 SOS 48013 HAS SOPS 48013 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16733.013
AT ITER 3468 NEW BEST:: SOT 64364 SOS 47980 HAS SOPS 47980 HAS SOUS 16649 HAS SOUPS 16649 WITH SCORE 16696.98
AT ITER 3651 NEW BEST:: SOT 64362 SOS 47978 HAS SOPS 47978 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16694.978
AT ITER 3693 NEW BEST:: SOT 64330 SOS 47946 HAS SOPS 47946 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16642.946
AT ITER 3766 NEW BEST:: SOT 64306 SOS 47922 HAS SOPS 47922 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16638.922
AT ITER 3825 NEW BEST:: SOT 64306 SOS 47922 HAS SOPS 47922 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16610.922
AT ITER 3832 NEW BEST:: SOT 64266 SOS 47889 HAS SOPS 47889 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16574.889
AT ITER 3843 NEW BEST:: SOT 64278 SOS 47901 HAS SOPS 47901 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16572.901
AT ITER 3850 NEW BEST:: SOT 64278 SOS 48349 HAS SOPS 48349 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16550.349
AT ITER 3900 NEW BEST:: SOT 64266 SOS 48337 HAS SOPS 48337 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16530.337
AT ITER 3942 NEW BEST:: SOT 64250 SOS 48321 HAS SOPS 48321 HAS SOUS 16474 HAS SOUPS 16474 WITH SCORE 16522.321
AT ITER 3943 NEW BEST:: SOT 64248 SOS 48319 HAS SOPS 48319 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16512.319
AT ITER 3966 NEW BEST:: SOT 64234 SOS 48305 HAS SOPS 48305 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16480.305
AT ITER 3967 NEW BEST:: SOT 64176 SOS 48229 HAS SOPS 48229 HAS SOUS 16367 HAS SOUPS 16367 WITH SCORE 16415.229
AT ITER 3993 NEW BEST:: SOT 64173 SOS 48226 HAS SOPS 48226 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16413.226
AT ITER 4003 NEW BEST:: SOT 64181 SOS 48234 HAS SOPS 48234 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16412.234
AT ITER 4107 NEW BEST:: SOT 64181 SOS 48234 HAS SOPS 48234 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16406.234
AT ITER 4165 NEW BEST:: SOT 64123 SOS 48176 HAS SOPS 48176 HAS SOUS 16294 HAS SOUPS 16294 WITH SCORE 16342.176
AT ITER 4201 NEW BEST:: SOT 64113 SOS 48166 HAS SOPS 48166 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16328.166
AT ITER 4240 NEW BEST:: SOT 64113 SOS 47470 HAS SOPS 47470 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16321.47
AT ITER 4347 NEW BEST:: SOT 64107 SOS 47464 HAS SOPS 47464 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16315.464
AT ITER 4433 NEW BEST:: SOT 64107 SOS 47408 HAS SOPS 47408 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16315.408
AT ITER 4471 NEW BEST:: SOT 64107 SOS 47408 HAS SOPS 47408 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16309.408
AT ITER 4552 NEW BEST:: SOT 64107 SOS 47808 HAS SOPS 47808 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16300.808
AT ITER 4609 NEW BEST:: SOT 64099 SOS 47800 HAS SOPS 47800 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16288.8
AT ITER 4632 NEW BEST:: SOT 64091 SOS 47792 HAS SOPS 47792 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16288.792
AT ITER 4645 NEW BEST:: SOT 64079 SOS 47796 HAS SOPS 47796 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16263.796
AT ITER 4758 NEW BEST:: SOT 64075 SOS 47814 HAS SOPS 47814 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16257.814
AT ITER 4778 NEW BEST:: SOT 64075 SOS 47814 HAS SOPS 47814 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16251.814
AT ITER 4867 NEW BEST:: SOT 64083 SOS 47822 HAS SOPS 47822 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16249.822
AT ITER 4899 NEW BEST:: SOT 64021 SOS 47760 HAS SOPS 47760 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16186.76
AT ITER 5088 NEW BEST:: SOT 63948 SOS 47700 HAS SOPS 47700 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16121.7
AT ITER 5154 NEW BEST:: SOT 63948 SOS 47692 HAS SOPS 47692 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16121.692
AT ITER 5209 NEW BEST:: SOT 63942 SOS 47686 HAS SOPS 47686 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16115.686
AT ITER 5210 NEW BEST:: SOT 63942 SOS 47676 HAS SOPS 47676 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16115.676
AT ITER 5232 NEW BEST:: SOT 63942 SOS 47292 HAS SOPS 47292 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16109.292
AT ITER 5252 NEW BEST:: SOT 63872 SOS 47220 HAS SOPS 47220 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16061.22
AT ITER 5315 NEW BEST:: SOT 63856 SOS 47198 HAS SOPS 47198 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16048.198
AT ITER 5324 NEW BEST:: SOT 63836 SOS 47170 HAS SOPS 47170 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16037.17
AT ITER 5337 NEW BEST:: SOT 63836 SOS 47167 HAS SOPS 47167 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16037.167
AT ITER 5350 NEW BEST:: SOT 63836 SOS 47167 HAS SOPS 47167 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16030.167
AT ITER 5401 NEW BEST:: SOT 63838 SOS 47169 HAS SOPS 47169 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 16000.169
AT ITER 5428 NEW BEST:: SOT 63865 SOS 47196 HAS SOPS 47196 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15992.196
AT ITER 5429 NEW BEST:: SOT 63831 SOS 47162 HAS SOPS 47162 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15979.162
AT ITER 5454 NEW BEST:: SOT 63831 SOS 47162 HAS SOPS 47162 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15978.162
AT ITER 5776 NEW BEST:: SOT 63831 SOS 47162 HAS SOPS 47162 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15977.162
AT ITER 5871 NEW BEST:: SOT 63828 SOS 47159 HAS SOPS 47159 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15958.159
AT ITER 6062 NEW BEST:: SOT 63828 SOS 47191 HAS SOPS 47191 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15957.191
AT ITER 6153 NEW BEST:: SOT 63828 SOS 47159 HAS SOPS 47159 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15957.159
AT ITER 6170 NEW BEST:: SOT 63830 SOS 47161 HAS SOPS 47161 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15954.161
AT ITER 6237 NEW BEST:: SOT 63708 SOS 46996 HAS SOPS 46996 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15916.996
AT ITER 6242 NEW BEST:: SOT 63719 SOS 47007 HAS SOPS 47007 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15892.007
AT ITER 6373 NEW BEST:: SOT 63719 SOS 47007 HAS SOPS 47007 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15889.007
AT ITER 6480 NEW BEST:: SOT 63719 SOS 47007 HAS SOPS 47007 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15887.007
AT ITER 6506 NEW BEST:: SOT 63719 SOS 47007 HAS SOPS 47007 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15886.007
AT ITER 6521 NEW BEST:: SOT 63719 SOS 47007 HAS SOPS 47007 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15881.007
AT ITER 6541 NEW BEST:: SOT 63735 SOS 47023 HAS SOPS 47023 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15872.023
AT ITER 6567 NEW BEST:: SOT 63661 SOS 46953 HAS SOPS 46953 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15850.953
AT ITER 6619 NEW BEST:: SOT 63661 SOS 46889 HAS SOPS 46889 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15850.889
AT ITER 6675 NEW BEST:: SOT 63588 SOS 46804 HAS SOPS 46804 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15779.804
AT ITER 6687 NEW BEST:: SOT 63544 SOS 46760 HAS SOPS 46760 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15727.76
AT ITER 6718 NEW BEST:: SOT 63452 SOS 46668 HAS SOPS 46668 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15692.668
AT ITER 6865 NEW BEST:: SOT 63451 SOS 46667 HAS SOPS 46667 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15691.667
AT ITER 7009 NEW BEST:: SOT 63451 SOS 46859 HAS SOPS 46859 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15684.859
AT ITER 7038 NEW BEST:: SOT 63413 SOS 46815 HAS SOPS 46815 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15643.815
AT ITER 7230 NEW BEST:: SOT 63425 SOS 46827 HAS SOPS 46827 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15641.827
AT ITER 7232 NEW BEST:: SOT 63425 SOS 46827 HAS SOPS 46827 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15637.827
AT ITER 7275 NEW BEST:: SOT 63397 SOS 46799 HAS SOPS 46799 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15584.799
AT ITER 7517 NEW BEST:: SOT 63393 SOS 46765 HAS SOPS 46765 HAS SOUS 15506 HAS SOUPS 15506 WITH SCORE 15552.765
AT ITER 7557 NEW BEST:: SOT 63393 SOS 46717 HAS SOPS 46717 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15551.717
AT ITER 7631 NEW BEST:: SOT 63393 SOS 46717 HAS SOPS 46717 HAS SOUS 15501 HAS SOUPS 15501 WITH SCORE 15547.717
AT ITER 7640 NEW BEST:: SOT 63393 SOS 46718 HAS SOPS 46718 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15546.718
AT ITER 7887 NEW BEST:: SOT 63345 SOS 46664 HAS SOPS 46664 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15494.664
AT ITER 7912 NEW BEST:: SOT 63345 SOS 46648 HAS SOPS 46648 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15494.648
AT ITER 7928 NEW BEST:: SOT 63327 SOS 46630 HAS SOPS 46630 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15487.63
AT ITER 8059 NEW BEST:: SOT 63347 SOS 46650 HAS SOPS 46650 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15486.65
AT ITER 8109 NEW BEST:: SOT 63347 SOS 46634 HAS SOPS 46634 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15486.634
AT ITER 8132 NEW BEST:: SOT 63347 SOS 46631 HAS SOPS 46631 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15486.631
AT ITER 8143 NEW BEST:: SOT 63347 SOS 46599 HAS SOPS 46599 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15486.599
AT ITER 8177 NEW BEST:: SOT 63346 SOS 46598 HAS SOPS 46598 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15485.598
AT ITER 8243 NEW BEST:: SOT 63346 SOS 46598 HAS SOPS 46598 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15461.598
AT ITER 8261 NEW BEST:: SOT 63358 SOS 46610 HAS SOPS 46610 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15443.61
AT ITER 8460 NEW BEST:: SOT 63370 SOS 46622 HAS SOPS 46622 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15441.622
AT ITER 8640 NEW BEST:: SOT 63370 SOS 46622 HAS SOPS 46622 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15439.622
AT ITER 8890 NEW BEST:: SOT 63373 SOS 46625 HAS SOPS 46625 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15429.625
AT ITER 8948 NEW BEST:: SOT 63345 SOS 46593 HAS SOPS 46593 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15399.593
AT ITER 8979 NEW BEST:: SOT 63368 SOS 46616 HAS SOPS 46616 HAS SOUS 15352 HAS SOUPS 15352 WITH SCORE 15398.616
AT ITER 9266 NEW BEST:: SOT 63368 SOS 46616 HAS SOPS 46616 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15376.616
AT ITER 9296 NEW BEST:: SOT 63363 SOS 46611 HAS SOPS 46611 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15372.611
AT ITER 9347 NEW BEST:: SOT 63359 SOS 46607 HAS SOPS 46607 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15368.607
AT ITER 9464 NEW BEST:: SOT 63303 SOS 46551 HAS SOPS 46551 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15312.551
AT ITER 9493 NEW BEST:: SOT 63305 SOS 46553 HAS SOPS 46553 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15310.553
AT ITER 9510 NEW BEST:: SOT 63305 SOS 46553 HAS SOPS 46553 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15304.553
AT ITER 9562 NEW BEST:: SOT 63289 SOS 46537 HAS SOPS 46537 HAS SOUS 15242 HAS SOUPS 15242 WITH SCORE 15288.537
AT ITER 9743 NEW BEST:: SOT 63289 SOS 46553 HAS SOPS 46553 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15281.553
AT ITER 9791 NEW BEST:: SOT 63279 SOS 46546 HAS SOPS 46546 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15278.546
AT ITER 9839 NEW BEST:: SOT 63276 SOS 46539 HAS SOPS 46539 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15272.539
AT ITER 9940 NEW BEST:: SOT 63276 SOS 46539 HAS SOPS 46539 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15271.539
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 254276 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16296360 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="PermAdmissibility-PT-50"
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 PermAdmissibility-PT-50, 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 r259-smll-167863534700552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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