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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 13K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 255K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 110K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 01:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 206K Feb 26 01:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:30 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 336K 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 1678806578204

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-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 05
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 73686 SOS 47276 HAS SOPS 47276 HAS SOUS 28961 HAS SOUPS 28961 WITH SCORE 29008.276
AT ITER 20 NEW BEST:: SOT 73690 SOS 47280 HAS SOPS 47280 HAS SOUS 28945 HAS SOUPS 28945 WITH SCORE 28992.28
AT ITER 22 NEW BEST:: SOT 73483 SOS 47178 HAS SOPS 47178 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28847.178
AT ITER 29 NEW BEST:: SOT 72999 SOS 46782 HAS SOPS 46782 HAS SOUS 28353 HAS SOUPS 28353 WITH SCORE 28399.782
AT ITER 37 NEW BEST:: SOT 72740 SOS 46959 HAS SOPS 46959 HAS SOUS 28300 HAS SOUPS 28300 WITH SCORE 28346.959
AT ITER 38 NEW BEST:: SOT 72740 SOS 46679 HAS SOPS 46679 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28345.679
AT ITER 42 NEW BEST:: SOT 72692 SOS 46595 HAS SOPS 46595 HAS SOUS 28251 HAS SOUPS 28251 WITH SCORE 28297.595
AT ITER 43 NEW BEST:: SOT 72447 SOS 46905 HAS SOPS 46905 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28179.905
AT ITER 47 NEW BEST:: SOT 72213 SOS 47197 HAS SOPS 47197 HAS SOUS 27757 HAS SOUPS 27757 WITH SCORE 27804.197
AT ITER 54 NEW BEST:: SOT 72009 SOS 46968 HAS SOPS 46968 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27727.968
AT ITER 55 NEW BEST:: SOT 72001 SOS 46944 HAS SOPS 46944 HAS SOUS 27672 HAS SOUPS 27672 WITH SCORE 27718.944
AT ITER 65 NEW BEST:: SOT 72001 SOS 46944 HAS SOPS 46944 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27717.944
AT ITER 70 NEW BEST:: SOT 71858 SOS 47236 HAS SOPS 47236 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27686.236
AT ITER 71 NEW BEST:: SOT 71802 SOS 47180 HAS SOPS 47180 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27614.18
AT ITER 75 NEW BEST:: SOT 71763 SOS 47141 HAS SOPS 47141 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27538.141
AT ITER 83 NEW BEST:: SOT 71595 SOS 47417 HAS SOPS 47417 HAS SOUS 27219 HAS SOUPS 27219 WITH SCORE 27266.417
AT ITER 87 NEW BEST:: SOT 71595 SOS 47417 HAS SOPS 47417 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27201.417
AT ITER 91 NEW BEST:: SOT 71621 SOS 47464 HAS SOPS 47464 HAS SOUS 27125 HAS SOUPS 27125 WITH SCORE 27172.464
AT ITER 100 NEW BEST:: SOT 71461 SOS 47314 HAS SOPS 47314 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27038.314
AT ITER 104 NEW BEST:: SOT 71366 SOS 47572 HAS SOPS 47572 HAS SOUS 26805 HAS SOUPS 26805 WITH SCORE 26852.572
AT ITER 105 NEW BEST:: SOT 71144 SOS 47410 HAS SOPS 47410 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26643.41
AT ITER 106 NEW BEST:: SOT 71144 SOS 47257 HAS SOPS 47257 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26625.257
AT ITER 118 NEW BEST:: SOT 71144 SOS 47257 HAS SOPS 47257 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26484.257
AT ITER 122 NEW BEST:: SOT 71144 SOS 47257 HAS SOPS 47257 HAS SOUS 26431 HAS SOUPS 26431 WITH SCORE 26478.257
AT ITER 123 NEW BEST:: SOT 70910 SOS 47371 HAS SOPS 47371 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26126.371
AT ITER 130 NEW BEST:: SOT 70854 SOS 47330 HAS SOPS 47330 HAS SOUS 26027 HAS SOUPS 26027 WITH SCORE 26074.33
AT ITER 134 NEW BEST:: SOT 70858 SOS 47359 HAS SOPS 47359 HAS SOUS 26009 HAS SOUPS 26009 WITH SCORE 26056.359
AT ITER 135 NEW BEST:: SOT 70858 SOS 47359 HAS SOPS 47359 HAS SOUS 25929 HAS SOUPS 25929 WITH SCORE 25976.359
AT ITER 136 NEW BEST:: SOT 70756 SOS 47283 HAS SOPS 47283 HAS SOUS 25804 HAS SOUPS 25804 WITH SCORE 25851.283
AT ITER 137 NEW BEST:: SOT 70552 SOS 47096 HAS SOPS 47096 HAS SOUS 25616 HAS SOUPS 25616 WITH SCORE 25663.096
AT ITER 141 NEW BEST:: SOT 70476 SOS 47020 HAS SOPS 47020 HAS SOUS 25468 HAS SOUPS 25468 WITH SCORE 25515.02
AT ITER 154 NEW BEST:: SOT 70462 SOS 47009 HAS SOPS 47009 HAS SOUS 25451 HAS SOUPS 25451 WITH SCORE 25498.009
AT ITER 157 NEW BEST:: SOT 70270 SOS 46982 HAS SOPS 46982 HAS SOUS 25322 HAS SOUPS 25322 WITH SCORE 25368.982
AT ITER 165 NEW BEST:: SOT 69979 SOS 46684 HAS SOPS 46684 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25132.684
AT ITER 166 NEW BEST:: SOT 69743 SOS 46786 HAS SOPS 46786 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 24957.786
AT ITER 169 NEW BEST:: SOT 69743 SOS 52440 HAS SOPS 52440 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24866.44
AT ITER 171 NEW BEST:: SOT 69665 SOS 52383 HAS SOPS 52383 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24802.383
AT ITER 174 NEW BEST:: SOT 69665 SOS 52383 HAS SOPS 52383 HAS SOUS 24696 HAS SOUPS 24696 WITH SCORE 24748.383
AT ITER 184 NEW BEST:: SOT 69665 SOS 52383 HAS SOPS 52383 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24724.383
AT ITER 190 NEW BEST:: SOT 69579 SOS 52297 HAS SOPS 52297 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24701.297
AT ITER 193 NEW BEST:: SOT 69579 SOS 52297 HAS SOPS 52297 HAS SOUS 24586 HAS SOUPS 24586 WITH SCORE 24638.297
AT ITER 208 NEW BEST:: SOT 69285 SOS 52003 HAS SOPS 52003 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24297.003
AT ITER 209 NEW BEST:: SOT 69227 SOS 51960 HAS SOPS 51960 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24208.96
AT ITER 213 NEW BEST:: SOT 69239 SOS 51972 HAS SOPS 51972 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24146.972
AT ITER 216 NEW BEST:: SOT 69203 SOS 51948 HAS SOPS 51948 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24079.948
AT ITER 224 NEW BEST:: SOT 69203 SOS 51948 HAS SOPS 51948 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23923.948
AT ITER 231 NEW BEST:: SOT 69147 SOS 51927 HAS SOPS 51927 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23884.927
AT ITER 235 NEW BEST:: SOT 69147 SOS 51999 HAS SOPS 51999 HAS SOUS 23829 HAS SOUPS 23829 WITH SCORE 23880.999
AT ITER 245 NEW BEST:: SOT 69049 SOS 51905 HAS SOPS 51905 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23797.905
AT ITER 251 NEW BEST:: SOT 69049 SOS 52160 HAS SOPS 52160 HAS SOUS 23741 HAS SOUPS 23741 WITH SCORE 23793.16
AT ITER 265 NEW BEST:: SOT 68841 SOS 51952 HAS SOPS 51952 HAS SOUS 23724 HAS SOUPS 23724 WITH SCORE 23775.952
AT ITER 268 NEW BEST:: SOT 68703 SOS 51814 HAS SOPS 51814 HAS SOUS 23593 HAS SOUPS 23593 WITH SCORE 23644.814
AT ITER 276 NEW BEST:: SOT 68675 SOS 51786 HAS SOPS 51786 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23560.786
AT ITER 281 NEW BEST:: SOT 68675 SOS 51786 HAS SOPS 51786 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23504.786
AT ITER 291 NEW BEST:: SOT 68667 SOS 51779 HAS SOPS 51779 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23498.779
AT ITER 300 NEW BEST:: SOT 68753 SOS 51865 HAS SOPS 51865 HAS SOUS 23429 HAS SOUPS 23429 WITH SCORE 23480.865
AT ITER 317 NEW BEST:: SOT 68729 SOS 51841 HAS SOPS 51841 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23453.841
AT ITER 320 NEW BEST:: SOT 68710 SOS 51822 HAS SOPS 51822 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23386.822
AT ITER 324 NEW BEST:: SOT 68633 SOS 51081 HAS SOPS 51081 HAS SOUS 23322 HAS SOUPS 23322 WITH SCORE 23373.081
AT ITER 333 NEW BEST:: SOT 68633 SOS 51081 HAS SOPS 51081 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23366.081
AT ITER 348 NEW BEST:: SOT 68492 SOS 50940 HAS SOPS 50940 HAS SOUS 23157 HAS SOUPS 23157 WITH SCORE 23207.94
AT ITER 355 NEW BEST:: SOT 68476 SOS 50924 HAS SOPS 50924 HAS SOUS 23138 HAS SOUPS 23138 WITH SCORE 23188.924
AT ITER 379 NEW BEST:: SOT 68368 SOS 50861 HAS SOPS 50861 HAS SOUS 23047 HAS SOUPS 23047 WITH SCORE 23097.861
AT ITER 384 NEW BEST:: SOT 68358 SOS 50851 HAS SOPS 50851 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23079.851
AT ITER 401 NEW BEST:: SOT 68350 SOS 50843 HAS SOPS 50843 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23071.843
AT ITER 410 NEW BEST:: SOT 68350 SOS 50843 HAS SOPS 50843 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22887.843
AT ITER 425 NEW BEST:: SOT 68382 SOS 50875 HAS SOPS 50875 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22846.875
AT ITER 428 NEW BEST:: SOT 68443 SOS 50619 HAS SOPS 50619 HAS SOUS 22738 HAS SOUPS 22738 WITH SCORE 22788.619
AT ITER 433 NEW BEST:: SOT 68429 SOS 50605 HAS SOPS 50605 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22772.605
AT ITER 450 NEW BEST:: SOT 68429 SOS 50605 HAS SOPS 50605 HAS SOUS 22717 HAS SOUPS 22717 WITH SCORE 22767.605
AT ITER 453 NEW BEST:: SOT 68424 SOS 50600 HAS SOPS 50600 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22666.6
AT ITER 457 NEW BEST:: SOT 68181 SOS 50576 HAS SOPS 50576 HAS SOUS 22505 HAS SOUPS 22505 WITH SCORE 22555.576
AT ITER 466 NEW BEST:: SOT 68103 SOS 50501 HAS SOPS 50501 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22501.501
AT ITER 481 NEW BEST:: SOT 68103 SOS 50514 HAS SOPS 50514 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22497.514
AT ITER 485 NEW BEST:: SOT 67956 SOS 50497 HAS SOPS 50497 HAS SOUS 22398 HAS SOUPS 22398 WITH SCORE 22448.497
AT ITER 502 NEW BEST:: SOT 67956 SOS 50500 HAS SOPS 50500 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22443.5
AT ITER 516 NEW BEST:: SOT 67928 SOS 50483 HAS SOPS 50483 HAS SOUS 22374 HAS SOUPS 22374 WITH SCORE 22424.483
AT ITER 517 NEW BEST:: SOT 67916 SOS 50471 HAS SOPS 50471 HAS SOUS 22161 HAS SOUPS 22161 WITH SCORE 22211.471
AT ITER 526 NEW BEST:: SOT 67982 SOS 50727 HAS SOPS 50727 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22172.727
AT ITER 529 NEW BEST:: SOT 68034 SOS 50470 HAS SOPS 50470 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22102.47
AT ITER 534 NEW BEST:: SOT 67926 SOS 50415 HAS SOPS 50415 HAS SOUS 22025 HAS SOUPS 22025 WITH SCORE 22075.415
AT ITER 537 NEW BEST:: SOT 67839 SOS 50341 HAS SOPS 50341 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 22003.341
AT ITER 549 NEW BEST:: SOT 67839 SOS 50341 HAS SOPS 50341 HAS SOUS 21936 HAS SOUPS 21936 WITH SCORE 21986.341
AT ITER 574 NEW BEST:: SOT 67849 SOS 50417 HAS SOPS 50417 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21970.417
AT ITER 592 NEW BEST:: SOT 67544 SOS 50112 HAS SOPS 50112 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21854.112
AT ITER 602 NEW BEST:: SOT 67527 SOS 50107 HAS SOPS 50107 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21850.107
AT ITER 603 NEW BEST:: SOT 67530 SOS 50110 HAS SOPS 50110 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21751.11
AT ITER 625 NEW BEST:: SOT 67530 SOS 50110 HAS SOPS 50110 HAS SOUS 21689 HAS SOUPS 21689 WITH SCORE 21739.11
AT ITER 644 NEW BEST:: SOT 67610 SOS 50206 HAS SOPS 50206 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21732.206
AT ITER 651 NEW BEST:: SOT 67612 SOS 50208 HAS SOPS 50208 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21679.208
AT ITER 655 NEW BEST:: SOT 67250 SOS 49846 HAS SOPS 49846 HAS SOUS 21324 HAS SOUPS 21324 WITH SCORE 21373.846
AT ITER 664 NEW BEST:: SOT 67227 SOS 49823 HAS SOPS 49823 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21350.823
AT ITER 668 NEW BEST:: SOT 67227 SOS 49823 HAS SOPS 49823 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21315.823
AT ITER 672 NEW BEST:: SOT 67227 SOS 49695 HAS SOPS 49695 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21314.695
AT ITER 685 NEW BEST:: SOT 67103 SOS 49571 HAS SOPS 49571 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21125.571
AT ITER 711 NEW BEST:: SOT 67148 SOS 49438 HAS SOPS 49438 HAS SOUS 21039 HAS SOUPS 21039 WITH SCORE 21088.438
AT ITER 720 NEW BEST:: SOT 67085 SOS 49375 HAS SOPS 49375 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20901.375
AT ITER 727 NEW BEST:: SOT 67085 SOS 49368 HAS SOPS 49368 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20823.368
AT ITER 729 NEW BEST:: SOT 67001 SOS 49284 HAS SOPS 49284 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20739.284
AT ITER 741 NEW BEST:: SOT 67001 SOS 48772 HAS SOPS 48772 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20736.772
AT ITER 750 NEW BEST:: SOT 66935 SOS 48666 HAS SOPS 48666 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20703.666
AT ITER 756 NEW BEST:: SOT 66735 SOS 48252 HAS SOPS 48252 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20631.252
AT ITER 767 NEW BEST:: SOT 66717 SOS 48267 HAS SOPS 48267 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20601.267
AT ITER 773 NEW BEST:: SOT 66729 SOS 48243 HAS SOPS 48243 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20581.243
AT ITER 784 NEW BEST:: SOT 66655 SOS 48190 HAS SOPS 48190 HAS SOUS 20499 HAS SOUPS 20499 WITH SCORE 20547.19
AT ITER 798 NEW BEST:: SOT 66702 SOS 48267 HAS SOPS 48267 HAS SOUS 20477 HAS SOUPS 20477 WITH SCORE 20525.267
AT ITER 800 NEW BEST:: SOT 66698 SOS 48263 HAS SOPS 48263 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20522.263
AT ITER 813 NEW BEST:: SOT 66698 SOS 48266 HAS SOPS 48266 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20441.266
AT ITER 826 NEW BEST:: SOT 66764 SOS 48332 HAS SOPS 48332 HAS SOUS 20364 HAS SOUPS 20364 WITH SCORE 20412.332
AT ITER 830 NEW BEST:: SOT 66755 SOS 48323 HAS SOPS 48323 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20362.323
AT ITER 833 NEW BEST:: SOT 66755 SOS 48323 HAS SOPS 48323 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20358.323
AT ITER 834 NEW BEST:: SOT 66743 SOS 48311 HAS SOPS 48311 HAS SOUS 20286 HAS SOUPS 20286 WITH SCORE 20334.311
AT ITER 838 NEW BEST:: SOT 66695 SOS 48135 HAS SOPS 48135 HAS SOUS 20255 HAS SOUPS 20255 WITH SCORE 20303.135
AT ITER 848 NEW BEST:: SOT 66688 SOS 48128 HAS SOPS 48128 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20264.128
AT ITER 862 NEW BEST:: SOT 66678 SOS 48126 HAS SOPS 48126 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20258.126
AT ITER 878 NEW BEST:: SOT 66678 SOS 48159 HAS SOPS 48159 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20222.159
AT ITER 882 NEW BEST:: SOT 66636 SOS 48117 HAS SOPS 48117 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20188.117
AT ITER 889 NEW BEST:: SOT 66636 SOS 47907 HAS SOPS 47907 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20160.907
AT ITER 894 NEW BEST:: SOT 66596 SOS 47975 HAS SOPS 47975 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20145.975
AT ITER 897 NEW BEST:: SOT 66583 SOS 47962 HAS SOPS 47962 HAS SOUS 20093 HAS SOUPS 20093 WITH SCORE 20140.962
AT ITER 909 NEW BEST:: SOT 66581 SOS 47951 HAS SOPS 47951 HAS SOUS 20088 HAS SOUPS 20088 WITH SCORE 20135.951
AT ITER 925 NEW BEST:: SOT 66587 SOS 47969 HAS SOPS 47969 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20103.969
AT ITER 946 NEW BEST:: SOT 66567 SOS 48025 HAS SOPS 48025 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20079.025
AT ITER 969 NEW BEST:: SOT 66554 SOS 48012 HAS SOPS 48012 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20051.012
AT ITER 977 NEW BEST:: SOT 66597 SOS 48055 HAS SOPS 48055 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20036.055
AT ITER 995 NEW BEST:: SOT 66451 SOS 47905 HAS SOPS 47905 HAS SOUS 19875 HAS SOUPS 19875 WITH SCORE 19922.905
AT ITER 1031 NEW BEST:: SOT 66443 SOS 47897 HAS SOPS 47897 HAS SOUS 19867 HAS SOUPS 19867 WITH SCORE 19914.897
AT ITER 1044 NEW BEST:: SOT 66434 SOS 47888 HAS SOPS 47888 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19881.888
AT ITER 1079 NEW BEST:: SOT 66159 SOS 47772 HAS SOPS 47772 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19782.772
AT ITER 1098 NEW BEST:: SOT 66106 SOS 47812 HAS SOPS 47812 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19710.812
AT ITER 1115 NEW BEST:: SOT 66074 SOS 47788 HAS SOPS 47788 HAS SOUS 19645 HAS SOUPS 19645 WITH SCORE 19692.788
AT ITER 1126 NEW BEST:: SOT 66073 SOS 47787 HAS SOPS 47787 HAS SOUS 19644 HAS SOUPS 19644 WITH SCORE 19691.787
AT ITER 1133 NEW BEST:: SOT 66074 SOS 47788 HAS SOPS 47788 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19687.788
AT ITER 1140 NEW BEST:: SOT 65986 SOS 47540 HAS SOPS 47540 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19679.54
AT ITER 1146 NEW BEST:: SOT 65524 SOS 47293 HAS SOPS 47293 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19308.293
AT ITER 1152 NEW BEST:: SOT 65398 SOS 47154 HAS SOPS 47154 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19158.154
AT ITER 1178 NEW BEST:: SOT 65410 SOS 47166 HAS SOPS 47166 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19142.166
AT ITER 1184 NEW BEST:: SOT 65396 SOS 47152 HAS SOPS 47152 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19096.152
AT ITER 1185 NEW BEST:: SOT 65396 SOS 46096 HAS SOPS 46096 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19096.096
AT ITER 1206 NEW BEST:: SOT 65437 SOS 46177 HAS SOPS 46177 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19032.177
AT ITER 1257 NEW BEST:: SOT 65469 SOS 46209 HAS SOPS 46209 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18934.209
AT ITER 1262 NEW BEST:: SOT 65471 SOS 46222 HAS SOPS 46222 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18930.222
AT ITER 1276 NEW BEST:: SOT 65459 SOS 46204 HAS SOPS 46204 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18917.204
AT ITER 1289 NEW BEST:: SOT 65402 SOS 46240 HAS SOPS 46240 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18836.24
AT ITER 1299 NEW BEST:: SOT 65309 SOS 46146 HAS SOPS 46146 HAS SOUS 18726 HAS SOUPS 18726 WITH SCORE 18772.146
AT ITER 1303 NEW BEST:: SOT 65309 SOS 46114 HAS SOPS 46114 HAS SOUS 18725 HAS SOUPS 18725 WITH SCORE 18771.114
AT ITER 1334 NEW BEST:: SOT 65297 SOS 46099 HAS SOPS 46099 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18713.099
AT ITER 1353 NEW BEST:: SOT 65297 SOS 46114 HAS SOPS 46114 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18712.114
AT ITER 1354 NEW BEST:: SOT 65329 SOS 46274 HAS SOPS 46274 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18695.274
AT ITER 1385 NEW BEST:: SOT 65457 SOS 46687 HAS SOPS 46687 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18664.687
AT ITER 1394 NEW BEST:: SOT 65393 SOS 46079 HAS SOPS 46079 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18566.079
AT ITER 1401 NEW BEST:: SOT 65380 SOS 46065 HAS SOPS 46065 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18524.065
AT ITER 1421 NEW BEST:: SOT 65380 SOS 46068 HAS SOPS 46068 HAS SOUS 18469 HAS SOUPS 18469 WITH SCORE 18515.068
AT ITER 1432 NEW BEST:: SOT 65380 SOS 46348 HAS SOPS 46348 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18514.348
AT ITER 1452 NEW BEST:: SOT 65378 SOS 46346 HAS SOPS 46346 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18508.346
AT ITER 1472 NEW BEST:: SOT 65381 SOS 46925 HAS SOPS 46925 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18411.925
AT ITER 1483 NEW BEST:: SOT 65381 SOS 46928 HAS SOPS 46928 HAS SOUS 18358 HAS SOUPS 18358 WITH SCORE 18404.928
AT ITER 1511 NEW BEST:: SOT 65374 SOS 46921 HAS SOPS 46921 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18389.921
AT ITER 1520 NEW BEST:: SOT 65065 SOS 46598 HAS SOPS 46598 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18154.598
AT ITER 1554 NEW BEST:: SOT 65061 SOS 46648 HAS SOPS 46648 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18153.648
AT ITER 1565 NEW BEST:: SOT 65156 SOS 46635 HAS SOPS 46635 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18149.635
AT ITER 1576 NEW BEST:: SOT 65156 SOS 46635 HAS SOPS 46635 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18146.635
AT ITER 1583 NEW BEST:: SOT 65068 SOS 46583 HAS SOPS 46583 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18113.583
AT ITER 1594 NEW BEST:: SOT 65066 SOS 46581 HAS SOPS 46581 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18037.581
AT ITER 1605 NEW BEST:: SOT 65066 SOS 46581 HAS SOPS 46581 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18027.581
AT ITER 1615 NEW BEST:: SOT 65069 SOS 46584 HAS SOPS 46584 HAS SOUS 17976 HAS SOUPS 17976 WITH SCORE 18022.584
AT ITER 1641 NEW BEST:: SOT 65399 SOS 46804 HAS SOPS 46804 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17997.804
AT ITER 1703 NEW BEST:: SOT 65399 SOS 46804 HAS SOPS 46804 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17987.804
AT ITER 1710 NEW BEST:: SOT 65399 SOS 46804 HAS SOPS 46804 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17980.804
AT ITER 1722 NEW BEST:: SOT 65301 SOS 46966 HAS SOPS 46966 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17969.966
AT ITER 1771 NEW BEST:: SOT 65291 SOS 46956 HAS SOPS 46956 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17959.956
AT ITER 1781 NEW BEST:: SOT 65291 SOS 46956 HAS SOPS 46956 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17957.956
AT ITER 1820 NEW BEST:: SOT 65227 SOS 46881 HAS SOPS 46881 HAS SOUS 17854 HAS SOUPS 17854 WITH SCORE 17900.881
AT ITER 1823 NEW BEST:: SOT 65228 SOS 46882 HAS SOPS 46882 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17895.882
AT ITER 1832 NEW BEST:: SOT 65228 SOS 46856 HAS SOPS 46856 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17891.856
AT ITER 1873 NEW BEST:: SOT 65223 SOS 46851 HAS SOPS 46851 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17886.851
AT ITER 1883 NEW BEST:: SOT 65208 SOS 46836 HAS SOPS 46836 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17863.836
AT ITER 1919 NEW BEST:: SOT 65208 SOS 46836 HAS SOPS 46836 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17851.836
AT ITER 1961 NEW BEST:: SOT 65182 SOS 46810 HAS SOPS 46810 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17842.81
AT ITER 1979 NEW BEST:: SOT 65181 SOS 46809 HAS SOPS 46809 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17833.809
AT ITER 2013 NEW BEST:: SOT 65181 SOS 46817 HAS SOPS 46817 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17831.817
AT ITER 2033 NEW BEST:: SOT 65173 SOS 46809 HAS SOPS 46809 HAS SOUS 17769 HAS SOUPS 17769 WITH SCORE 17815.809
AT ITER 2037 NEW BEST:: SOT 65231 SOS 46865 HAS SOPS 46865 HAS SOUS 17736 HAS SOUPS 17736 WITH SCORE 17782.865
AT ITER 2074 NEW BEST:: SOT 65233 SOS 46867 HAS SOPS 46867 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17772.867
AT ITER 2105 NEW BEST:: SOT 65131 SOS 46765 HAS SOPS 46765 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17732.765
AT ITER 2112 NEW BEST:: SOT 65131 SOS 46761 HAS SOPS 46761 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17730.761
AT ITER 2168 NEW BEST:: SOT 65123 SOS 46753 HAS SOPS 46753 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17722.753
AT ITER 2175 NEW BEST:: SOT 65075 SOS 46705 HAS SOPS 46705 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17692.705
AT ITER 2177 NEW BEST:: SOT 65131 SOS 46761 HAS SOPS 46761 HAS SOUS 17606 HAS SOUPS 17606 WITH SCORE 17652.761
AT ITER 2185 NEW BEST:: SOT 65127 SOS 46757 HAS SOPS 46757 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17645.757
AT ITER 2249 NEW BEST:: SOT 65125 SOS 46755 HAS SOPS 46755 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17623.755
AT ITER 2250 NEW BEST:: SOT 65125 SOS 46639 HAS SOPS 46639 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17613.639
AT ITER 2251 NEW BEST:: SOT 65125 SOS 46735 HAS SOPS 46735 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17595.735
AT ITER 2259 NEW BEST:: SOT 65118 SOS 46728 HAS SOPS 46728 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17588.728
AT ITER 2266 NEW BEST:: SOT 65118 SOS 46696 HAS SOPS 46696 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17588.696
AT ITER 2272 NEW BEST:: SOT 65118 SOS 46696 HAS SOPS 46696 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17564.696
AT ITER 2298 NEW BEST:: SOT 65118 SOS 46696 HAS SOPS 46696 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17556.696
AT ITER 2317 NEW BEST:: SOT 65118 SOS 46504 HAS SOPS 46504 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17556.504
AT ITER 2378 NEW BEST:: SOT 65195 SOS 46581 HAS SOPS 46581 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17553.581
AT ITER 2411 NEW BEST:: SOT 65147 SOS 46533 HAS SOPS 46533 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17481.533
AT ITER 2464 NEW BEST:: SOT 65139 SOS 46525 HAS SOPS 46525 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17457.525
AT ITER 2497 NEW BEST:: SOT 65140 SOS 46523 HAS SOPS 46523 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17457.523
AT ITER 2502 NEW BEST:: SOT 65150 SOS 46440 HAS SOPS 46440 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17448.44
AT ITER 2555 NEW BEST:: SOT 65091 SOS 46381 HAS SOPS 46381 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17395.381
AT ITER 2579 NEW BEST:: SOT 64955 SOS 46245 HAS SOPS 46245 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17249.245
AT ITER 2582 NEW BEST:: SOT 64947 SOS 46237 HAS SOPS 46237 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17249.237
AT ITER 2590 NEW BEST:: SOT 64945 SOS 46214 HAS SOPS 46214 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17244.214
AT ITER 2689 NEW BEST:: SOT 64957 SOS 46205 HAS SOPS 46205 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17241.205
AT ITER 2692 NEW BEST:: SOT 64957 SOS 46749 HAS SOPS 46749 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17139.749
AT ITER 2739 NEW BEST:: SOT 64876 SOS 46654 HAS SOPS 46654 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17059.654
AT ITER 2758 NEW BEST:: SOT 64876 SOS 46651 HAS SOPS 46651 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17058.651
AT ITER 2759 NEW BEST:: SOT 64883 SOS 46645 HAS SOPS 46645 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17052.645
AT ITER 2769 NEW BEST:: SOT 64883 SOS 46954 HAS SOPS 46954 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17029.954
AT ITER 2814 NEW BEST:: SOT 64898 SOS 46969 HAS SOPS 46969 HAS SOUS 16961 HAS SOUPS 16961 WITH SCORE 17007.969
AT ITER 2820 NEW BEST:: SOT 64898 SOS 46997 HAS SOPS 46997 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16986.997
AT ITER 2845 NEW BEST:: SOT 64893 SOS 47057 HAS SOPS 47057 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16962.057
AT ITER 2936 NEW BEST:: SOT 64893 SOS 47057 HAS SOPS 47057 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16956.057
AT ITER 2964 NEW BEST:: SOT 64893 SOS 46865 HAS SOPS 46865 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16955.865
AT ITER 2989 NEW BEST:: SOT 64893 SOS 46609 HAS SOPS 46609 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16955.609
AT ITER 3037 NEW BEST:: SOT 64755 SOS 46455 HAS SOPS 46455 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16889.455
AT ITER 3054 NEW BEST:: SOT 64757 SOS 46403 HAS SOPS 46403 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16880.403
AT ITER 3057 NEW BEST:: SOT 64725 SOS 46371 HAS SOPS 46371 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16816.371
AT ITER 3058 NEW BEST:: SOT 64719 SOS 46361 HAS SOPS 46361 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16790.361
AT ITER 3074 NEW BEST:: SOT 64710 SOS 46352 HAS SOPS 46352 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16725.352
AT ITER 3083 NEW BEST:: SOT 64702 SOS 46344 HAS SOPS 46344 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16722.344
AT ITER 3155 NEW BEST:: SOT 64701 SOS 46343 HAS SOPS 46343 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16715.343
AT ITER 3238 NEW BEST:: SOT 64676 SOS 46318 HAS SOPS 46318 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16694.318
AT ITER 3299 NEW BEST:: SOT 64634 SOS 46283 HAS SOPS 46283 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16659.283
AT ITER 3331 NEW BEST:: SOT 64570 SOS 46206 HAS SOPS 46206 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16545.206
AT ITER 3429 NEW BEST:: SOT 64570 SOS 46191 HAS SOPS 46191 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16531.191
AT ITER 3432 NEW BEST:: SOT 64573 SOS 46194 HAS SOPS 46194 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16526.194
AT ITER 3470 NEW BEST:: SOT 64573 SOS 46338 HAS SOPS 46338 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16510.338
AT ITER 3471 NEW BEST:: SOT 64542 SOS 46307 HAS SOPS 46307 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16492.307
AT ITER 3483 NEW BEST:: SOT 64534 SOS 46299 HAS SOPS 46299 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16492.299
AT ITER 3496 NEW BEST:: SOT 64530 SOS 46295 HAS SOPS 46295 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16488.295
AT ITER 3542 NEW BEST:: SOT 64549 SOS 46286 HAS SOPS 46286 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16470.286
AT ITER 3599 NEW BEST:: SOT 64546 SOS 45899 HAS SOPS 45899 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16447.899
AT ITER 3600 NEW BEST:: SOT 64546 SOS 45897 HAS SOPS 45897 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16446.897
AT ITER 3624 NEW BEST:: SOT 64546 SOS 45897 HAS SOPS 45897 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16438.897
AT ITER 3706 NEW BEST:: SOT 64534 SOS 45885 HAS SOPS 45885 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16423.885
AT ITER 3758 NEW BEST:: SOT 64527 SOS 45884 HAS SOPS 45884 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16417.884
AT ITER 3797 NEW BEST:: SOT 64525 SOS 45883 HAS SOPS 45883 HAS SOUS 16370 HAS SOUPS 16370 WITH SCORE 16415.883
AT ITER 3842 NEW BEST:: SOT 64523 SOS 45893 HAS SOPS 45893 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16406.893
AT ITER 3880 NEW BEST:: SOT 64535 SOS 45975 HAS SOPS 45975 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16401.975
AT ITER 3894 NEW BEST:: SOT 64435 SOS 45875 HAS SOPS 45875 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16323.875
AT ITER 4038 NEW BEST:: SOT 64419 SOS 45859 HAS SOPS 45859 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16307.859
AT ITER 4076 NEW BEST:: SOT 64419 SOS 45859 HAS SOPS 45859 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16292.859
AT ITER 4210 NEW BEST:: SOT 64413 SOS 45853 HAS SOPS 45853 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16286.853
AT ITER 4282 NEW BEST:: SOT 64409 SOS 45849 HAS SOPS 45849 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16282.849
AT ITER 4294 NEW BEST:: SOT 64393 SOS 45833 HAS SOPS 45833 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16266.833
AT ITER 4328 NEW BEST:: SOT 64393 SOS 45193 HAS SOPS 45193 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16263.193
AT ITER 4339 NEW BEST:: SOT 64377 SOS 45177 HAS SOPS 45177 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16247.177
AT ITER 4431 NEW BEST:: SOT 64377 SOS 45073 HAS SOPS 45073 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16246.073
AT ITER 4454 NEW BEST:: SOT 64337 SOS 45033 HAS SOPS 45033 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16237.033
AT ITER 4475 NEW BEST:: SOT 64337 SOS 45033 HAS SOPS 45033 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16236.033
AT ITER 4487 NEW BEST:: SOT 64337 SOS 45034 HAS SOPS 45034 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16235.034
AT ITER 4532 NEW BEST:: SOT 64323 SOS 44942 HAS SOPS 44942 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16207.942
AT ITER 4549 NEW BEST:: SOT 64323 SOS 44942 HAS SOPS 44942 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16205.942
AT ITER 4557 NEW BEST:: SOT 64321 SOS 44941 HAS SOPS 44941 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16203.941
AT ITER 4619 NEW BEST:: SOT 64321 SOS 44373 HAS SOPS 44373 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16199.373
AT ITER 4632 NEW BEST:: SOT 64320 SOS 44372 HAS SOPS 44372 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16198.372
AT ITER 4635 NEW BEST:: SOT 64319 SOS 44372 HAS SOPS 44372 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16196.372
AT ITER 4754 NEW BEST:: SOT 64319 SOS 44468 HAS SOPS 44468 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16194.468
AT ITER 4925 NEW BEST:: SOT 64321 SOS 44474 HAS SOPS 44474 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16188.474
AT ITER 5010 NEW BEST:: SOT 64305 SOS 44458 HAS SOPS 44458 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16172.458
AT ITER 5036 NEW BEST:: SOT 64307 SOS 44468 HAS SOPS 44468 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16106.468
AT ITER 5070 NEW BEST:: SOT 64301 SOS 44488 HAS SOPS 44488 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16097.488
AT ITER 5294 NEW BEST:: SOT 64299 SOS 44486 HAS SOPS 44486 HAS SOUS 16047 HAS SOUPS 16047 WITH SCORE 16091.486
AT ITER 5356 NEW BEST:: SOT 64295 SOS 44446 HAS SOPS 44446 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16090.446
AT ITER 5402 NEW BEST:: SOT 64295 SOS 44446 HAS SOPS 44446 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16089.446
AT ITER 5427 NEW BEST:: SOT 64295 SOS 44447 HAS SOPS 44447 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16088.447
AT ITER 5442 NEW BEST:: SOT 64295 SOS 44447 HAS SOPS 44447 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16086.447
AT ITER 5602 NEW BEST:: SOT 64295 SOS 44431 HAS SOPS 44431 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16083.431
AT ITER 5682 NEW BEST:: SOT 64297 SOS 44433 HAS SOPS 44433 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16081.433
AT ITER 5685 NEW BEST:: SOT 64297 SOS 44433 HAS SOPS 44433 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16072.433
AT ITER 5719 NEW BEST:: SOT 64289 SOS 44425 HAS SOPS 44425 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16036.425
AT ITER 5748 NEW BEST:: SOT 64287 SOS 44423 HAS SOPS 44423 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16036.423
AT ITER 5762 NEW BEST:: SOT 64287 SOS 44423 HAS SOPS 44423 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16031.423
AT ITER 5787 NEW BEST:: SOT 64315 SOS 44451 HAS SOPS 44451 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16024.451
AT ITER 5823 NEW BEST:: SOT 64307 SOS 44443 HAS SOPS 44443 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16024.443
AT ITER 5874 NEW BEST:: SOT 64295 SOS 44431 HAS SOPS 44431 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15996.431
AT ITER 5913 NEW BEST:: SOT 64295 SOS 44175 HAS SOPS 44175 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15996.175
AT ITER 6024 NEW BEST:: SOT 64277 SOS 44157 HAS SOPS 44157 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15978.157
AT ITER 6026 NEW BEST:: SOT 64276 SOS 44156 HAS SOPS 44156 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15977.156
AT ITER 6219 NEW BEST:: SOT 64268 SOS 44148 HAS SOPS 44148 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15975.148
AT ITER 6228 NEW BEST:: SOT 64271 SOS 44151 HAS SOPS 44151 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15958.151
AT ITER 6254 NEW BEST:: SOT 64275 SOS 44155 HAS SOPS 44155 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15956.155
AT ITER 6322 NEW BEST:: SOT 64181 SOS 44061 HAS SOPS 44061 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15814.061
AT ITER 6432 NEW BEST:: SOT 64181 SOS 44478 HAS SOPS 44478 HAS SOUS 15764 HAS SOUPS 15764 WITH SCORE 15808.478
AT ITER 6446 NEW BEST:: SOT 64201 SOS 44498 HAS SOPS 44498 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15792.498
AT ITER 6511 NEW BEST:: SOT 64173 SOS 44358 HAS SOPS 44358 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15792.358
AT ITER 6756 NEW BEST:: SOT 64171 SOS 44350 HAS SOPS 44350 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15786.35
AT ITER 6768 NEW BEST:: SOT 64241 SOS 45796 HAS SOPS 45796 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15726.796
AT ITER 7126 NEW BEST:: SOT 64241 SOS 45796 HAS SOPS 45796 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15722.796
AT ITER 7275 NEW BEST:: SOT 64238 SOS 45793 HAS SOPS 45793 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15686.793
AT ITER 7286 NEW BEST:: SOT 64238 SOS 45873 HAS SOPS 45873 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15684.873
AT ITER 7517 NEW BEST:: SOT 64238 SOS 48034 HAS SOPS 48034 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15672.034
AT ITER 7558 NEW BEST:: SOT 64222 SOS 48018 HAS SOPS 48018 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15672.018
AT ITER 7643 NEW BEST:: SOT 64222 SOS 47954 HAS SOPS 47954 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15671.954
AT ITER 7843 NEW BEST:: SOT 64222 SOS 47954 HAS SOPS 47954 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15670.954
AT ITER 7852 NEW BEST:: SOT 64222 SOS 47954 HAS SOPS 47954 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15644.954
AT ITER 8011 NEW BEST:: SOT 64176 SOS 47905 HAS SOPS 47905 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15596.905
AT ITER 8183 NEW BEST:: SOT 64132 SOS 47849 HAS SOPS 47849 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15519.849
AT ITER 8188 NEW BEST:: SOT 64132 SOS 47847 HAS SOPS 47847 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15516.847
AT ITER 8199 NEW BEST:: SOT 64132 SOS 47735 HAS SOPS 47735 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15516.735
AT ITER 8427 NEW BEST:: SOT 64117 SOS 47720 HAS SOPS 47720 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15503.72
AT ITER 8448 NEW BEST:: SOT 64110 SOS 47713 HAS SOPS 47713 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15488.713
AT ITER 8481 NEW BEST:: SOT 64110 SOS 47713 HAS SOPS 47713 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15482.713
AT ITER 8533 NEW BEST:: SOT 64110 SOS 47585 HAS SOPS 47585 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15481.585
AT ITER 8621 NEW BEST:: SOT 64110 SOS 47585 HAS SOPS 47585 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15471.585
AT ITER 8711 NEW BEST:: SOT 64108 SOS 47583 HAS SOPS 47583 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15467.583
AT ITER 8942 NEW BEST:: SOT 64108 SOS 47584 HAS SOPS 47584 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15466.584
AT ITER 9000 NEW BEST:: SOT 64036 SOS 47503 HAS SOPS 47503 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15389.503
AT ITER 9003 NEW BEST:: SOT 64036 SOS 47503 HAS SOPS 47503 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15387.503
AT ITER 9085 NEW BEST:: SOT 64038 SOS 47511 HAS SOPS 47511 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15382.511
AT ITER 9133 NEW BEST:: SOT 64038 SOS 47512 HAS SOPS 47512 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15380.512
AT ITER 9171 NEW BEST:: SOT 64042 SOS 47518 HAS SOPS 47518 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15379.518
AT ITER 9207 NEW BEST:: SOT 64070 SOS 47546 HAS SOPS 47546 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15372.546
AT ITER 9482 NEW BEST:: SOT 64077 SOS 47553 HAS SOPS 47553 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15371.553
AT ITER 9600 NEW BEST:: SOT 64077 SOS 47465 HAS SOPS 47465 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15371.465
AT ITER 9780 NEW BEST:: SOT 64077 SOS 47273 HAS SOPS 47273 HAS SOUS 15321 HAS SOUPS 15321 WITH SCORE 15368.273
AT ITER 9899 NEW BEST:: SOT 64077 SOS 47274 HAS SOPS 47274 HAS SOUS 15320 HAS SOUPS 15320 WITH SCORE 15367.274
AT ITER 9940 NEW BEST:: SOT 64073 SOS 47270 HAS SOPS 47270 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15363.27
AT ITER 9995 NEW BEST:: SOT 64075 SOS 47256 HAS SOPS 47256 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15359.256
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 187468 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16273104 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-05"
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-05, 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-167863534700528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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