About the Execution of smart for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.140 | 3600000.00 | 3600020.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800648.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800648
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 5.2K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 10 23:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 10 23:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 9 12:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 9 12:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K 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 1589645456500
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2 NEW BEST:: SOT 73552 SOS 47150 HAS SOPS 47150 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28883.15
AT ITER 6 NEW BEST:: SOT 73284 SOS 46906 HAS SOPS 46906 HAS SOUS 28586 HAS SOUPS 28586 WITH SCORE 28632.906
AT ITER 8 NEW BEST:: SOT 73156 SOS 46778 HAS SOPS 46778 HAS SOUS 28483 HAS SOUPS 28483 WITH SCORE 28529.778
AT ITER 9 NEW BEST:: SOT 72936 SOS 47128 HAS SOPS 47128 HAS SOUS 28470 HAS SOUPS 28470 WITH SCORE 28517.128
AT ITER 10 NEW BEST:: SOT 72912 SOS 47104 HAS SOPS 47104 HAS SOUS 28425 HAS SOUPS 28425 WITH SCORE 28472.104
AT ITER 34 NEW BEST:: SOT 72825 SOS 47017 HAS SOPS 47017 HAS SOUS 28319 HAS SOUPS 28319 WITH SCORE 28366.017
AT ITER 35 NEW BEST:: SOT 72822 SOS 47569 HAS SOPS 47569 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28102.569
AT ITER 37 NEW BEST:: SOT 72623 SOS 47550 HAS SOPS 47550 HAS SOUS 27937 HAS SOUPS 27937 WITH SCORE 27984.55
AT ITER 40 NEW BEST:: SOT 72575 SOS 47502 HAS SOPS 47502 HAS SOUS 27895 HAS SOUPS 27895 WITH SCORE 27942.502
AT ITER 62 NEW BEST:: SOT 72327 SOS 47436 HAS SOPS 47436 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27635.436
AT ITER 72 NEW BEST:: SOT 72327 SOS 47436 HAS SOPS 47436 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27614.436
AT ITER 91 NEW BEST:: SOT 72223 SOS 47283 HAS SOPS 47283 HAS SOUS 27521 HAS SOUPS 27521 WITH SCORE 27568.283
AT ITER 98 NEW BEST:: SOT 72223 SOS 46871 HAS SOPS 46871 HAS SOUS 27484 HAS SOUPS 27484 WITH SCORE 27530.871
AT ITER 111 NEW BEST:: SOT 72159 SOS 46807 HAS SOPS 46807 HAS SOUS 27460 HAS SOUPS 27460 WITH SCORE 27506.807
AT ITER 124 NEW BEST:: SOT 71904 SOS 47366 HAS SOPS 47366 HAS SOUS 27414 HAS SOUPS 27414 WITH SCORE 27461.366
AT ITER 125 NEW BEST:: SOT 71810 SOS 48037 HAS SOPS 48037 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27248.037
AT ITER 134 NEW BEST:: SOT 71810 SOS 47722 HAS SOPS 47722 HAS SOUS 27135 HAS SOUPS 27135 WITH SCORE 27182.722
AT ITER 138 NEW BEST:: SOT 71699 SOS 47611 HAS SOPS 47611 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27177.611
AT ITER 140 NEW BEST:: SOT 71612 SOS 48271 HAS SOPS 48271 HAS SOUS 26762 HAS SOUPS 26762 WITH SCORE 26810.271
AT ITER 142 NEW BEST:: SOT 71570 SOS 48229 HAS SOPS 48229 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26750.229
AT ITER 145 NEW BEST:: SOT 71567 SOS 48226 HAS SOPS 48226 HAS SOUS 26671 HAS SOUPS 26671 WITH SCORE 26719.226
AT ITER 154 NEW BEST:: SOT 71366 SOS 48208 HAS SOPS 48208 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26486.208
AT ITER 155 NEW BEST:: SOT 71366 SOS 48208 HAS SOPS 48208 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26384.208
AT ITER 162 NEW BEST:: SOT 71366 SOS 48208 HAS SOPS 48208 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26288.208
AT ITER 167 NEW BEST:: SOT 71068 SOS 47462 HAS SOPS 47462 HAS SOUS 25960 HAS SOUPS 25960 WITH SCORE 26007.462
AT ITER 172 NEW BEST:: SOT 71333 SOS 50023 HAS SOPS 50023 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 26000.023
AT ITER 184 NEW BEST:: SOT 71329 SOS 50019 HAS SOPS 50019 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 25995.019
AT ITER 185 NEW BEST:: SOT 71290 SOS 49980 HAS SOPS 49980 HAS SOUS 25900 HAS SOUPS 25900 WITH SCORE 25949.98
AT ITER 186 NEW BEST:: SOT 71214 SOS 49868 HAS SOPS 49868 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25916.868
AT ITER 193 NEW BEST:: SOT 70990 SOS 49672 HAS SOPS 49672 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 25708.672
AT ITER 194 NEW BEST:: SOT 70760 SOS 49502 HAS SOPS 49502 HAS SOUS 25457 HAS SOUPS 25457 WITH SCORE 25506.502
AT ITER 195 NEW BEST:: SOT 70634 SOS 49376 HAS SOPS 49376 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25406.376
AT ITER 210 NEW BEST:: SOT 70602 SOS 49344 HAS SOPS 49344 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25398.344
AT ITER 213 NEW BEST:: SOT 70478 SOS 49220 HAS SOPS 49220 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25352.22
AT ITER 219 NEW BEST:: SOT 70152 SOS 48970 HAS SOPS 48970 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25067.97
AT ITER 228 NEW BEST:: SOT 70152 SOS 48970 HAS SOPS 48970 HAS SOUS 24879 HAS SOUPS 24879 WITH SCORE 24927.97
AT ITER 231 NEW BEST:: SOT 70148 SOS 48966 HAS SOPS 48966 HAS SOUS 24870 HAS SOUPS 24870 WITH SCORE 24918.966
AT ITER 238 NEW BEST:: SOT 70144 SOS 48962 HAS SOPS 48962 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24914.962
AT ITER 270 NEW BEST:: SOT 69901 SOS 48723 HAS SOPS 48723 HAS SOUS 24690 HAS SOUPS 24690 WITH SCORE 24738.723
AT ITER 274 NEW BEST:: SOT 69951 SOS 48773 HAS SOPS 48773 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24729.773
AT ITER 275 NEW BEST:: SOT 69803 SOS 48685 HAS SOPS 48685 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24585.685
AT ITER 279 NEW BEST:: SOT 69788 SOS 48670 HAS SOPS 48670 HAS SOUS 24514 HAS SOUPS 24514 WITH SCORE 24562.67
AT ITER 307 NEW BEST:: SOT 69788 SOS 48670 HAS SOPS 48670 HAS SOUS 24262 HAS SOUPS 24262 WITH SCORE 24310.67
AT ITER 325 NEW BEST:: SOT 69808 SOS 48690 HAS SOPS 48690 HAS SOUS 24218 HAS SOUPS 24218 WITH SCORE 24266.69
AT ITER 343 NEW BEST:: SOT 69808 SOS 48690 HAS SOPS 48690 HAS SOUS 23968 HAS SOUPS 23968 WITH SCORE 24016.69
AT ITER 378 NEW BEST:: SOT 69808 SOS 49790 HAS SOPS 49790 HAS SOUS 23964 HAS SOUPS 23964 WITH SCORE 24013.79
AT ITER 382 NEW BEST:: SOT 69698 SOS 49710 HAS SOPS 49710 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23849.71
AT ITER 383 NEW BEST:: SOT 69719 SOS 49911 HAS SOPS 49911 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23763.911
AT ITER 395 NEW BEST:: SOT 69733 SOS 49945 HAS SOPS 49945 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23761.945
AT ITER 396 NEW BEST:: SOT 69733 SOS 49945 HAS SOPS 49945 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23721.945
AT ITER 397 NEW BEST:: SOT 69733 SOS 49945 HAS SOPS 49945 HAS SOUS 23659 HAS SOUPS 23659 WITH SCORE 23708.945
AT ITER 401 NEW BEST:: SOT 69695 SOS 49907 HAS SOPS 49907 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23670.907
AT ITER 435 NEW BEST:: SOT 69688 SOS 49884 HAS SOPS 49884 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23662.884
AT ITER 436 NEW BEST:: SOT 69708 SOS 52272 HAS SOPS 52272 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23429.272
AT ITER 462 NEW BEST:: SOT 69566 SOS 51950 HAS SOPS 51950 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23403.95
AT ITER 466 NEW BEST:: SOT 69567 SOS 51951 HAS SOPS 51951 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23295.951
AT ITER 469 NEW BEST:: SOT 69567 SOS 55492 HAS SOPS 55492 HAS SOUS 23237 HAS SOUPS 23237 WITH SCORE 23292.492
AT ITER 498 NEW BEST:: SOT 69567 SOS 55492 HAS SOPS 55492 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23264.492
AT ITER 511 NEW BEST:: SOT 69566 SOS 55491 HAS SOPS 55491 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23263.491
AT ITER 514 NEW BEST:: SOT 69571 SOS 55496 HAS SOPS 55496 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23260.496
AT ITER 533 NEW BEST:: SOT 69567 SOS 55492 HAS SOPS 55492 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23260.492
AT ITER 536 NEW BEST:: SOT 69521 SOS 55461 HAS SOPS 55461 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23225.461
AT ITER 573 NEW BEST:: SOT 69521 SOS 55461 HAS SOPS 55461 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23210.461
AT ITER 586 NEW BEST:: SOT 69381 SOS 55321 HAS SOPS 55321 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23100.321
AT ITER 609 NEW BEST:: SOT 69353 SOS 55293 HAS SOPS 55293 HAS SOUS 23025 HAS SOUPS 23025 WITH SCORE 23080.293
AT ITER 615 NEW BEST:: SOT 69266 SOS 55266 HAS SOPS 55266 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 23018.266
AT ITER 623 NEW BEST:: SOT 69155 SOS 55155 HAS SOPS 55155 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 23010.155
AT ITER 643 NEW BEST:: SOT 69006 SOS 55006 HAS SOPS 55006 HAS SOUS 22781 HAS SOUPS 22781 WITH SCORE 22836.006
AT ITER 647 NEW BEST:: SOT 69006 SOS 55006 HAS SOPS 55006 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22749.006
AT ITER 654 NEW BEST:: SOT 68968 SOS 54968 HAS SOPS 54968 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22611.968
AT ITER 657 NEW BEST:: SOT 68868 SOS 54868 HAS SOPS 54868 HAS SOUS 22528 HAS SOUPS 22528 WITH SCORE 22582.868
AT ITER 674 NEW BEST:: SOT 68868 SOS 54884 HAS SOPS 54884 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22498.884
AT ITER 685 NEW BEST:: SOT 68874 SOS 54890 HAS SOPS 54890 HAS SOUS 22440 HAS SOUPS 22440 WITH SCORE 22494.89
AT ITER 695 NEW BEST:: SOT 68940 SOS 57276 HAS SOPS 57276 HAS SOUS 22431 HAS SOUPS 22431 WITH SCORE 22488.276
AT ITER 699 NEW BEST:: SOT 68924 SOS 57260 HAS SOPS 57260 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22472.26
AT ITER 731 NEW BEST:: SOT 68782 SOS 57162 HAS SOPS 57162 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22226.162
AT ITER 732 NEW BEST:: SOT 68682 SOS 57095 HAS SOPS 57095 HAS SOUS 22086 HAS SOUPS 22086 WITH SCORE 22143.095
AT ITER 744 NEW BEST:: SOT 68664 SOS 57077 HAS SOPS 57077 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22125.077
AT ITER 752 NEW BEST:: SOT 68546 SOS 56959 HAS SOPS 56959 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21963.959
AT ITER 760 NEW BEST:: SOT 68552 SOS 54750 HAS SOPS 54750 HAS SOUS 21852 HAS SOUPS 21852 WITH SCORE 21906.75
AT ITER 762 NEW BEST:: SOT 68581 SOS 54565 HAS SOPS 54565 HAS SOUS 21788 HAS SOUPS 21788 WITH SCORE 21842.565
AT ITER 765 NEW BEST:: SOT 68486 SOS 54470 HAS SOPS 54470 HAS SOUS 21776 HAS SOUPS 21776 WITH SCORE 21830.47
AT ITER 769 NEW BEST:: SOT 68486 SOS 54483 HAS SOPS 54483 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21827.483
AT ITER 771 NEW BEST:: SOT 68456 SOS 54477 HAS SOPS 54477 HAS SOUS 21730 HAS SOUPS 21730 WITH SCORE 21784.477
AT ITER 777 NEW BEST:: SOT 68416 SOS 54453 HAS SOPS 54453 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21752.453
AT ITER 783 NEW BEST:: SOT 68333 SOS 54370 HAS SOPS 54370 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21711.37
AT ITER 784 NEW BEST:: SOT 68145 SOS 54182 HAS SOPS 54182 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21627.182
AT ITER 792 NEW BEST:: SOT 68172 SOS 54209 HAS SOPS 54209 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21582.209
AT ITER 804 NEW BEST:: SOT 68108 SOS 54176 HAS SOPS 54176 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21561.176
AT ITER 813 NEW BEST:: SOT 68084 SOS 54159 HAS SOPS 54159 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21550.159
AT ITER 839 NEW BEST:: SOT 68068 SOS 54143 HAS SOPS 54143 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21518.143
AT ITER 891 NEW BEST:: SOT 68078 SOS 54153 HAS SOPS 54153 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21516.153
AT ITER 897 NEW BEST:: SOT 68076 SOS 54163 HAS SOPS 54163 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21514.163
AT ITER 902 NEW BEST:: SOT 68076 SOS 54163 HAS SOPS 54163 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21462.163
AT ITER 903 NEW BEST:: SOT 68076 SOS 54163 HAS SOPS 54163 HAS SOUS 21352 HAS SOUPS 21352 WITH SCORE 21406.163
AT ITER 910 NEW BEST:: SOT 68002 SOS 54089 HAS SOPS 54089 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21330.089
AT ITER 933 NEW BEST:: SOT 68060 SOS 53952 HAS SOPS 53952 HAS SOUS 21247 HAS SOUPS 21247 WITH SCORE 21300.952
AT ITER 936 NEW BEST:: SOT 68056 SOS 53944 HAS SOPS 53944 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21294.944
AT ITER 942 NEW BEST:: SOT 68044 SOS 53932 HAS SOPS 53932 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21290.932
AT ITER 945 NEW BEST:: SOT 68044 SOS 53932 HAS SOPS 53932 HAS SOUS 21197 HAS SOUPS 21197 WITH SCORE 21250.932
AT ITER 949 NEW BEST:: SOT 68034 SOS 53926 HAS SOPS 53926 HAS SOUS 21193 HAS SOUPS 21193 WITH SCORE 21246.926
AT ITER 953 NEW BEST:: SOT 68034 SOS 53926 HAS SOPS 53926 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21162.926
AT ITER 974 NEW BEST:: SOT 68062 SOS 53899 HAS SOPS 53899 HAS SOUS 21108 HAS SOUPS 21108 WITH SCORE 21161.899
AT ITER 982 NEW BEST:: SOT 68062 SOS 54395 HAS SOPS 54395 HAS SOUS 20891 HAS SOUPS 20891 WITH SCORE 20945.395
AT ITER 1006 NEW BEST:: SOT 68049 SOS 54382 HAS SOPS 54382 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20910.382
AT ITER 1008 NEW BEST:: SOT 68049 SOS 54382 HAS SOPS 54382 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20900.382
AT ITER 1011 NEW BEST:: SOT 68043 SOS 54376 HAS SOPS 54376 HAS SOUS 20821 HAS SOUPS 20821 WITH SCORE 20875.376
AT ITER 1012 NEW BEST:: SOT 68043 SOS 54406 HAS SOPS 54406 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20839.406
AT ITER 1060 NEW BEST:: SOT 68040 SOS 54403 HAS SOPS 54403 HAS SOUS 20646 HAS SOUPS 20646 WITH SCORE 20700.403
AT ITER 1102 NEW BEST:: SOT 68038 SOS 54401 HAS SOPS 54401 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20566.401
AT ITER 1122 NEW BEST:: SOT 68043 SOS 54406 HAS SOPS 54406 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20540.406
AT ITER 1127 NEW BEST:: SOT 68043 SOS 53934 HAS SOPS 53934 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20539.934
AT ITER 1129 NEW BEST:: SOT 68023 SOS 51778 HAS SOPS 51778 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20538.778
AT ITER 1134 NEW BEST:: SOT 67989 SOS 51930 HAS SOPS 51930 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20482.93
AT ITER 1187 NEW BEST:: SOT 67961 SOS 51922 HAS SOPS 51922 HAS SOUS 20389 HAS SOUPS 20389 WITH SCORE 20440.922
AT ITER 1191 NEW BEST:: SOT 67947 SOS 51908 HAS SOPS 51908 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20438.908
AT ITER 1228 NEW BEST:: SOT 67935 SOS 52386 HAS SOPS 52386 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20379.386
AT ITER 1230 NEW BEST:: SOT 67955 SOS 52406 HAS SOPS 52406 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20377.406
AT ITER 1237 NEW BEST:: SOT 67942 SOS 52402 HAS SOPS 52402 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20377.402
AT ITER 1238 NEW BEST:: SOT 67810 SOS 52270 HAS SOPS 52270 HAS SOUS 20162 HAS SOUPS 20162 WITH SCORE 20214.27
AT ITER 1270 NEW BEST:: SOT 67810 SOS 52270 HAS SOPS 52270 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20206.27
AT ITER 1271 NEW BEST:: SOT 67561 SOS 52021 HAS SOPS 52021 HAS SOUS 20146 HAS SOUPS 20146 WITH SCORE 20198.021
AT ITER 1277 NEW BEST:: SOT 67513 SOS 51973 HAS SOPS 51973 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20173.973
AT ITER 1298 NEW BEST:: SOT 67465 SOS 51925 HAS SOPS 51925 HAS SOUS 20094 HAS SOUPS 20094 WITH SCORE 20145.925
AT ITER 1299 NEW BEST:: SOT 67457 SOS 51915 HAS SOPS 51915 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20121.915
AT ITER 1327 NEW BEST:: SOT 67469 SOS 51992 HAS SOPS 51992 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20081.992
AT ITER 1353 NEW BEST:: SOT 67468 SOS 51991 HAS SOPS 51991 HAS SOUS 20029 HAS SOUPS 20029 WITH SCORE 20080.991
AT ITER 1354 NEW BEST:: SOT 67176 SOS 51578 HAS SOPS 51578 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19872.578
AT ITER 1362 NEW BEST:: SOT 67176 SOS 51578 HAS SOPS 51578 HAS SOUS 19767 HAS SOUPS 19767 WITH SCORE 19818.578
AT ITER 1385 NEW BEST:: SOT 67192 SOS 51594 HAS SOPS 51594 HAS SOUS 19755 HAS SOUPS 19755 WITH SCORE 19806.594
AT ITER 1392 NEW BEST:: SOT 67192 SOS 51516 HAS SOPS 51516 HAS SOUS 19737 HAS SOUPS 19737 WITH SCORE 19788.516
AT ITER 1398 NEW BEST:: SOT 67171 SOS 51495 HAS SOPS 51495 HAS SOUS 19700 HAS SOUPS 19700 WITH SCORE 19751.495
AT ITER 1414 NEW BEST:: SOT 67009 SOS 51451 HAS SOPS 51451 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19569.451
AT ITER 1419 NEW BEST:: SOT 66994 SOS 51436 HAS SOPS 51436 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19535.436
AT ITER 1447 NEW BEST:: SOT 66989 SOS 51431 HAS SOPS 51431 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19530.431
AT ITER 1448 NEW BEST:: SOT 66963 SOS 51359 HAS SOPS 51359 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19497.359
AT ITER 1474 NEW BEST:: SOT 66958 SOS 51354 HAS SOPS 51354 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19475.354
AT ITER 1476 NEW BEST:: SOT 66935 SOS 51331 HAS SOPS 51331 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19464.331
AT ITER 1494 NEW BEST:: SOT 66935 SOS 51331 HAS SOPS 51331 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19462.331
AT ITER 1501 NEW BEST:: SOT 66935 SOS 51331 HAS SOPS 51331 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19420.331
AT ITER 1524 NEW BEST:: SOT 66999 SOS 51329 HAS SOPS 51329 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19368.329
AT ITER 1525 NEW BEST:: SOT 66968 SOS 51298 HAS SOPS 51298 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19337.298
AT ITER 1565 NEW BEST:: SOT 66948 SOS 51278 HAS SOPS 51278 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19263.278
AT ITER 1612 NEW BEST:: SOT 66948 SOS 51277 HAS SOPS 51277 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19254.277
AT ITER 1636 NEW BEST:: SOT 66920 SOS 51243 HAS SOPS 51243 HAS SOUS 19171 HAS SOUPS 19171 WITH SCORE 19222.243
AT ITER 1652 NEW BEST:: SOT 66920 SOS 51243 HAS SOPS 51243 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19216.243
AT ITER 1664 NEW BEST:: SOT 66838 SOS 51161 HAS SOPS 51161 HAS SOUS 19109 HAS SOUPS 19109 WITH SCORE 19160.161
AT ITER 1673 NEW BEST:: SOT 66828 SOS 51147 HAS SOPS 51147 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19144.147
AT ITER 1736 NEW BEST:: SOT 66815 SOS 50910 HAS SOPS 50910 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19114.91
AT ITER 1744 NEW BEST:: SOT 66817 SOS 50912 HAS SOPS 50912 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19104.912
AT ITER 1747 NEW BEST:: SOT 66817 SOS 50912 HAS SOPS 50912 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19101.912
AT ITER 1750 NEW BEST:: SOT 66817 SOS 50482 HAS SOPS 50482 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19099.482
AT ITER 1751 NEW BEST:: SOT 66727 SOS 50383 HAS SOPS 50383 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19042.383
AT ITER 1762 NEW BEST:: SOT 66701 SOS 50357 HAS SOPS 50357 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18950.357
AT ITER 1821 NEW BEST:: SOT 66701 SOS 50357 HAS SOPS 50357 HAS SOUS 18891 HAS SOUPS 18891 WITH SCORE 18941.357
AT ITER 1827 NEW BEST:: SOT 66701 SOS 49237 HAS SOPS 49237 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18936.237
AT ITER 1859 NEW BEST:: SOT 66643 SOS 49179 HAS SOPS 49179 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18894.179
AT ITER 1862 NEW BEST:: SOT 66597 SOS 49133 HAS SOPS 49133 HAS SOUS 18825 HAS SOUPS 18825 WITH SCORE 18874.133
AT ITER 1865 NEW BEST:: SOT 66534 SOS 49070 HAS SOPS 49070 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18811.07
AT ITER 1880 NEW BEST:: SOT 66518 SOS 49054 HAS SOPS 49054 HAS SOUS 18751 HAS SOUPS 18751 WITH SCORE 18800.054
AT ITER 1894 NEW BEST:: SOT 66518 SOS 49054 HAS SOPS 49054 HAS SOUS 18747 HAS SOUPS 18747 WITH SCORE 18796.054
AT ITER 1912 NEW BEST:: SOT 66518 SOS 49076 HAS SOPS 49076 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18780.076
AT ITER 1959 NEW BEST:: SOT 66518 SOS 49076 HAS SOPS 49076 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18753.076
AT ITER 1992 NEW BEST:: SOT 66612 SOS 49242 HAS SOPS 49242 HAS SOUS 18701 HAS SOUPS 18701 WITH SCORE 18750.242
AT ITER 2012 NEW BEST:: SOT 66568 SOS 49198 HAS SOPS 49198 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18695.198
AT ITER 2051 NEW BEST:: SOT 66568 SOS 49196 HAS SOPS 49196 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18694.196
AT ITER 2067 NEW BEST:: SOT 66432 SOS 49060 HAS SOPS 49060 HAS SOUS 18491 HAS SOUPS 18491 WITH SCORE 18540.06
AT ITER 2095 NEW BEST:: SOT 66336 SOS 48964 HAS SOPS 48964 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18508.964
AT ITER 2101 NEW BEST:: SOT 66094 SOS 48725 HAS SOPS 48725 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18279.725
AT ITER 2205 NEW BEST:: SOT 66092 SOS 48723 HAS SOPS 48723 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18273.723
AT ITER 2215 NEW BEST:: SOT 66227 SOS 48858 HAS SOPS 48858 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18264.858
AT ITER 2233 NEW BEST:: SOT 66203 SOS 48834 HAS SOPS 48834 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18216.834
AT ITER 2243 NEW BEST:: SOT 66223 SOS 50891 HAS SOPS 50891 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18194.891
AT ITER 2254 NEW BEST:: SOT 66223 SOS 50891 HAS SOPS 50891 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18122.891
AT ITER 2281 NEW BEST:: SOT 66187 SOS 50855 HAS SOPS 50855 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18086.855
AT ITER 2282 NEW BEST:: SOT 66091 SOS 50359 HAS SOPS 50359 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18068.359
AT ITER 2356 NEW BEST:: SOT 66091 SOS 49056 HAS SOPS 49056 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18056.056
AT ITER 2367 NEW BEST:: SOT 66091 SOS 48984 HAS SOPS 48984 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18053.984
AT ITER 2377 NEW BEST:: SOT 66098 SOS 48991 HAS SOPS 48991 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18038.991
AT ITER 2396 NEW BEST:: SOT 66098 SOS 49003 HAS SOPS 49003 HAS SOUS 17908 HAS SOUPS 17908 WITH SCORE 17957.003
AT ITER 2494 NEW BEST:: SOT 66069 SOS 48974 HAS SOPS 48974 HAS SOUS 17891 HAS SOUPS 17891 WITH SCORE 17939.974
AT ITER 2514 NEW BEST:: SOT 65871 SOS 48718 HAS SOPS 48718 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17716.718
AT ITER 2554 NEW BEST:: SOT 65871 SOS 48714 HAS SOPS 48714 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17716.714
AT ITER 2555 NEW BEST:: SOT 65865 SOS 48661 HAS SOPS 48661 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17699.661
AT ITER 2581 NEW BEST:: SOT 65865 SOS 48669 HAS SOPS 48669 HAS SOUS 17635 HAS SOUPS 17635 WITH SCORE 17683.669
AT ITER 2625 NEW BEST:: SOT 65862 SOS 48214 HAS SOPS 48214 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17680.214
AT ITER 2626 NEW BEST:: SOT 65854 SOS 48206 HAS SOPS 48206 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17677.206
AT ITER 2642 NEW BEST:: SOT 65855 SOS 48207 HAS SOPS 48207 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17676.207
AT ITER 2643 NEW BEST:: SOT 65844 SOS 48196 HAS SOPS 48196 HAS SOUS 17615 HAS SOUPS 17615 WITH SCORE 17663.196
AT ITER 2664 NEW BEST:: SOT 65764 SOS 48116 HAS SOPS 48116 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17503.116
AT ITER 2677 NEW BEST:: SOT 65812 SOS 48164 HAS SOPS 48164 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17391.164
AT ITER 2688 NEW BEST:: SOT 65812 SOS 48181 HAS SOPS 48181 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17390.181
AT ITER 2691 NEW BEST:: SOT 65812 SOS 48190 HAS SOPS 48190 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17387.19
AT ITER 2799 NEW BEST:: SOT 65615 SOS 47993 HAS SOPS 47993 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17246.993
AT ITER 2883 NEW BEST:: SOT 65613 SOS 47991 HAS SOPS 47991 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17241.991
AT ITER 2899 NEW BEST:: SOT 65607 SOS 47987 HAS SOPS 47987 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17233.987
AT ITER 2904 NEW BEST:: SOT 65427 SOS 47816 HAS SOPS 47816 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17024.816
AT ITER 2912 NEW BEST:: SOT 65427 SOS 47816 HAS SOPS 47816 HAS SOUS 16959 HAS SOUPS 16959 WITH SCORE 17006.816
AT ITER 3007 NEW BEST:: SOT 65427 SOS 46024 HAS SOPS 46024 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16994.024
AT ITER 3067 NEW BEST:: SOT 65427 SOS 46014 HAS SOPS 46014 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16987.014
AT ITER 3120 NEW BEST:: SOT 65403 SOS 45990 HAS SOPS 45990 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16962.99
AT ITER 3149 NEW BEST:: SOT 65403 SOS 45965 HAS SOPS 45965 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16952.965
AT ITER 3167 NEW BEST:: SOT 65394 SOS 45956 HAS SOPS 45956 HAS SOUS 16874 HAS SOUPS 16874 WITH SCORE 16919.956
AT ITER 3224 NEW BEST:: SOT 65314 SOS 45876 HAS SOPS 45876 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16838.876
AT ITER 3238 NEW BEST:: SOT 65314 SOS 45879 HAS SOPS 45879 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16823.879
AT ITER 3288 NEW BEST:: SOT 65314 SOS 45911 HAS SOPS 45911 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16819.911
AT ITER 3337 NEW BEST:: SOT 65297 SOS 45894 HAS SOPS 45894 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16811.894
AT ITER 3341 NEW BEST:: SOT 65195 SOS 45797 HAS SOPS 45797 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16741.797
AT ITER 3342 NEW BEST:: SOT 65166 SOS 45765 HAS SOPS 45765 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16709.765
AT ITER 3378 NEW BEST:: SOT 65160 SOS 45759 HAS SOPS 45759 HAS SOUS 16658 HAS SOUPS 16658 WITH SCORE 16703.759
AT ITER 3527 NEW BEST:: SOT 65160 SOS 45711 HAS SOPS 45711 HAS SOUS 16658 HAS SOUPS 16658 WITH SCORE 16703.711
AT ITER 3612 NEW BEST:: SOT 65152 SOS 45727 HAS SOPS 45727 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16687.727
AT ITER 3649 NEW BEST:: SOT 65152 SOS 45694 HAS SOPS 45694 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16687.694
AT ITER 3655 NEW BEST:: SOT 65162 SOS 45704 HAS SOPS 45704 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16673.704
AT ITER 3686 NEW BEST:: SOT 65144 SOS 45692 HAS SOPS 45692 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16664.692
AT ITER 3715 NEW BEST:: SOT 65132 SOS 45672 HAS SOPS 45672 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16660.672
AT ITER 3787 NEW BEST:: SOT 65082 SOS 45608 HAS SOPS 45608 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16576.608
AT ITER 3941 NEW BEST:: SOT 65080 SOS 45604 HAS SOPS 45604 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16574.604
AT ITER 3951 NEW BEST:: SOT 65074 SOS 45598 HAS SOPS 45598 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16560.598
AT ITER 3982 NEW BEST:: SOT 65068 SOS 45592 HAS SOPS 45592 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16552.592
AT ITER 4053 NEW BEST:: SOT 65068 SOS 45688 HAS SOPS 45688 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16546.688
AT ITER 4081 NEW BEST:: SOT 65055 SOS 45674 HAS SOPS 45674 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16540.674
AT ITER 4145 NEW BEST:: SOT 65045 SOS 45667 HAS SOPS 45667 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16533.667
AT ITER 4147 NEW BEST:: SOT 65043 SOS 45665 HAS SOPS 45665 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16529.665
AT ITER 4262 NEW BEST:: SOT 65011 SOS 45633 HAS SOPS 45633 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16467.633
AT ITER 4279 NEW BEST:: SOT 65009 SOS 45630 HAS SOPS 45630 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16465.63
AT ITER 4292 NEW BEST:: SOT 65010 SOS 45631 HAS SOPS 45631 HAS SOUS 16419 HAS SOUPS 16419 WITH SCORE 16464.631
AT ITER 4384 NEW BEST:: SOT 65010 SOS 45351 HAS SOPS 45351 HAS SOUS 16419 HAS SOUPS 16419 WITH SCORE 16464.351
AT ITER 4468 NEW BEST:: SOT 65014 SOS 45600 HAS SOPS 45600 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16463.6
AT ITER 4539 NEW BEST:: SOT 65014 SOS 45600 HAS SOPS 45600 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16448.6
AT ITER 4540 NEW BEST:: SOT 65009 SOS 45595 HAS SOPS 45595 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16438.595
AT ITER 4570 NEW BEST:: SOT 64913 SOS 45453 HAS SOPS 45453 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16244.453
AT ITER 4771 NEW BEST:: SOT 64888 SOS 45428 HAS SOPS 45428 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16219.428
AT ITER 4876 NEW BEST:: SOT 64888 SOS 45439 HAS SOPS 45439 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16208.439
AT ITER 4899 NEW BEST:: SOT 64888 SOS 45439 HAS SOPS 45439 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16200.439
AT ITER 4927 NEW BEST:: SOT 64888 SOS 45615 HAS SOPS 45615 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16178.615
AT ITER 4937 NEW BEST:: SOT 64888 SOS 45615 HAS SOPS 45615 HAS SOUS 16101 HAS SOUPS 16101 WITH SCORE 16146.615
AT ITER 4943 NEW BEST:: SOT 64888 SOS 45615 HAS SOPS 45615 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16140.615
AT ITER 4998 NEW BEST:: SOT 64883 SOS 45610 HAS SOPS 45610 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16126.61
AT ITER 5038 NEW BEST:: SOT 64883 SOS 45650 HAS SOPS 45650 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16106.65
AT ITER 5043 NEW BEST:: SOT 64873 SOS 45640 HAS SOPS 45640 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16104.64
AT ITER 5134 NEW BEST:: SOT 64877 SOS 45652 HAS SOPS 45652 HAS SOUS 16057 HAS SOUPS 16057 WITH SCORE 16102.652
AT ITER 5138 NEW BEST:: SOT 64890 SOS 45665 HAS SOPS 45665 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16087.665
AT ITER 5162 NEW BEST:: SOT 64880 SOS 45670 HAS SOPS 45670 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16080.67
AT ITER 5257 NEW BEST:: SOT 64838 SOS 45624 HAS SOPS 45624 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16037.624
AT ITER 5276 NEW BEST:: SOT 64802 SOS 45572 HAS SOPS 45572 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15997.572
AT ITER 5352 NEW BEST:: SOT 64800 SOS 45570 HAS SOPS 45570 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15992.57
AT ITER 5468 NEW BEST:: SOT 64796 SOS 45566 HAS SOPS 45566 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15989.566
AT ITER 5495 NEW BEST:: SOT 64796 SOS 45566 HAS SOPS 45566 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15978.566
AT ITER 5523 NEW BEST:: SOT 64698 SOS 45468 HAS SOPS 45468 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15943.468
AT ITER 5532 NEW BEST:: SOT 64690 SOS 45460 HAS SOPS 45460 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15939.46
AT ITER 5544 NEW BEST:: SOT 64690 SOS 45460 HAS SOPS 45460 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15935.46
AT ITER 5568 NEW BEST:: SOT 64669 SOS 45375 HAS SOPS 45375 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15934.375
AT ITER 5571 NEW BEST:: SOT 64669 SOS 45375 HAS SOPS 45375 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15931.375
AT ITER 5591 NEW BEST:: SOT 64649 SOS 45364 HAS SOPS 45364 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15896.364
AT ITER 5626 NEW BEST:: SOT 64644 SOS 45359 HAS SOPS 45359 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15894.359
AT ITER 5708 NEW BEST:: SOT 64640 SOS 45355 HAS SOPS 45355 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15876.355
AT ITER 5715 NEW BEST:: SOT 64642 SOS 45352 HAS SOPS 45352 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15876.352
AT ITER 5805 NEW BEST:: SOT 64642 SOS 45354 HAS SOPS 45354 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15871.354
AT ITER 5810 NEW BEST:: SOT 64644 SOS 45358 HAS SOPS 45358 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15867.358
AT ITER 5910 NEW BEST:: SOT 64644 SOS 45014 HAS SOPS 45014 HAS SOUS 15818 HAS SOUPS 15818 WITH SCORE 15863.014
AT ITER 6050 NEW BEST:: SOT 64644 SOS 44950 HAS SOPS 44950 HAS SOUS 15818 HAS SOUPS 15818 WITH SCORE 15862.95
AT ITER 6081 NEW BEST:: SOT 64650 SOS 44956 HAS SOPS 44956 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15848.956
AT ITER 6159 NEW BEST:: SOT 64634 SOS 44940 HAS SOPS 44940 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15829.94
AT ITER 6163 NEW BEST:: SOT 64634 SOS 44932 HAS SOPS 44932 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15828.932
AT ITER 6171 NEW BEST:: SOT 64618 SOS 44916 HAS SOPS 44916 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15828.916
AT ITER 6181 NEW BEST:: SOT 64634 SOS 44932 HAS SOPS 44932 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15815.932
AT ITER 6210 NEW BEST:: SOT 64635 SOS 44933 HAS SOPS 44933 HAS SOUS 15763 HAS SOUPS 15763 WITH SCORE 15807.933
AT ITER 6252 NEW BEST:: SOT 64651 SOS 44949 HAS SOPS 44949 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15797.949
AT ITER 6258 NEW BEST:: SOT 64636 SOS 44934 HAS SOPS 44934 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15779.934
AT ITER 6281 NEW BEST:: SOT 64640 SOS 44938 HAS SOPS 44938 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15774.938
AT ITER 6380 NEW BEST:: SOT 64616 SOS 44914 HAS SOPS 44914 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15750.914
AT ITER 6393 NEW BEST:: SOT 64614 SOS 44915 HAS SOPS 44915 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15749.915
AT ITER 6461 NEW BEST:: SOT 64610 SOS 44879 HAS SOPS 44879 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15749.879
AT ITER 6563 NEW BEST:: SOT 64592 SOS 44861 HAS SOPS 44861 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15731.861
AT ITER 6582 NEW BEST:: SOT 64607 SOS 44876 HAS SOPS 44876 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15730.876
AT ITER 6690 NEW BEST:: SOT 64609 SOS 44878 HAS SOPS 44878 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15727.878
AT ITER 6754 NEW BEST:: SOT 64609 SOS 44869 HAS SOPS 44869 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15688.869
AT ITER 6782 NEW BEST:: SOT 64585 SOS 44845 HAS SOPS 44845 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15672.845
AT ITER 6799 NEW BEST:: SOT 64579 SOS 44839 HAS SOPS 44839 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15672.839
AT ITER 6951 NEW BEST:: SOT 64571 SOS 44831 HAS SOPS 44831 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15660.831
AT ITER 7052 NEW BEST:: SOT 64571 SOS 44831 HAS SOPS 44831 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15657.831
AT ITER 7180 NEW BEST:: SOT 64571 SOS 44834 HAS SOPS 44834 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15654.834
AT ITER 7263 NEW BEST:: SOT 64562 SOS 44825 HAS SOPS 44825 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15653.825
AT ITER 7412 NEW BEST:: SOT 64562 SOS 44825 HAS SOPS 44825 HAS SOUS 15604 HAS SOUPS 15604 WITH SCORE 15648.825
AT ITER 7480 NEW BEST:: SOT 64563 SOS 44811 HAS SOPS 44811 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15640.811
AT ITER 7507 NEW BEST:: SOT 64559 SOS 44807 HAS SOPS 44807 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15636.807
AT ITER 7576 NEW BEST:: SOT 64551 SOS 44799 HAS SOPS 44799 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15628.799
AT ITER 7590 NEW BEST:: SOT 64537 SOS 44784 HAS SOPS 44784 HAS SOUS 15568 HAS SOUPS 15568 WITH SCORE 15612.784
AT ITER 7664 NEW BEST:: SOT 64529 SOS 44776 HAS SOPS 44776 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15609.776
AT ITER 7671 NEW BEST:: SOT 64513 SOS 44760 HAS SOPS 44760 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15585.76
AT ITER 7788 NEW BEST:: SOT 64513 SOS 44760 HAS SOPS 44760 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15577.76
AT ITER 8058 NEW BEST:: SOT 64509 SOS 44754 HAS SOPS 44754 HAS SOUS 15528 HAS SOUPS 15528 WITH SCORE 15572.754
AT ITER 8147 NEW BEST:: SOT 64497 SOS 44742 HAS SOPS 44742 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15566.742
AT ITER 8184 NEW BEST:: SOT 64497 SOS 44742 HAS SOPS 44742 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15564.742
AT ITER 8191 NEW BEST:: SOT 64506 SOS 44751 HAS SOPS 44751 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15541.751
AT ITER 8221 NEW BEST:: SOT 64577 SOS 45430 HAS SOPS 45430 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15527.43
AT ITER 8237 NEW BEST:: SOT 64569 SOS 45422 HAS SOPS 45422 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15527.422
AT ITER 8298 NEW BEST:: SOT 64561 SOS 45414 HAS SOPS 45414 HAS SOUS 15476 HAS SOUPS 15476 WITH SCORE 15521.414
AT ITER 8350 NEW BEST:: SOT 64553 SOS 45406 HAS SOPS 45406 HAS SOUS 15468 HAS SOUPS 15468 WITH SCORE 15513.406
AT ITER 8519 NEW BEST:: SOT 64535 SOS 45388 HAS SOPS 45388 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15511.388
AT ITER 8559 NEW BEST:: SOT 64548 SOS 45401 HAS SOPS 45401 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15508.401
AT ITER 8604 NEW BEST:: SOT 64548 SOS 45401 HAS SOPS 45401 HAS SOUS 15455 HAS SOUPS 15455 WITH SCORE 15500.401
AT ITER 8688 NEW BEST:: SOT 64587 SOS 45440 HAS SOPS 45440 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15492.44
AT ITER 8773 NEW BEST:: SOT 64591 SOS 45444 HAS SOPS 45444 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15491.444
AT ITER 8866 NEW BEST:: SOT 64563 SOS 45416 HAS SOPS 45416 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15463.416
AT ITER 8884 NEW BEST:: SOT 64471 SOS 45324 HAS SOPS 45324 HAS SOUS 15320 HAS SOUPS 15320 WITH SCORE 15365.324
AT ITER 9016 NEW BEST:: SOT 64471 SOS 45328 HAS SOPS 45328 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15354.328
AT ITER 9072 NEW BEST:: SOT 64469 SOS 45326 HAS SOPS 45326 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15352.326
AT ITER 9204 NEW BEST:: SOT 64461 SOS 45318 HAS SOPS 45318 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15351.318
AT ITER 9217 NEW BEST:: SOT 64445 SOS 45302 HAS SOPS 45302 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15319.302
AT ITER 9245 NEW BEST:: SOT 64437 SOS 45294 HAS SOPS 45294 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15313.294
AT ITER 9385 NEW BEST:: SOT 64439 SOS 45290 HAS SOPS 45290 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15313.29
AT ITER 9492 NEW BEST:: SOT 64447 SOS 45298 HAS SOPS 45298 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15305.298
AT ITER 9497 NEW BEST:: SOT 64433 SOS 45284 HAS SOPS 45284 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15291.284
AT ITER 9584 NEW BEST:: SOT 64472 SOS 45323 HAS SOPS 45323 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15281.323
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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-20"
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 PermAdmissibility-PT-20, 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 r108-csrt-158961250800648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;