fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542000288
Last Updated
Jun 28, 2020

About the Execution of smart for DES-PT-30b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.290 3600000.00 3600092.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000288.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-30b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.3K Mar 30 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 103K 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 1589106736246

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

Filename model.pnml
Petri model created: 399 places, 350 transitions, 1143 arcs.
AT ITER 0 NEW BEST:: SOT 84133 SOS 16091 HAS SOPS 16091 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14266.091
AT ITER 19 NEW BEST:: SOT 84133 SOS 16090 HAS SOPS 16090 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14265.09
AT ITER 26 NEW BEST:: SOT 84133 SOS 16089 HAS SOPS 16089 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14264.089
AT ITER 28 NEW BEST:: SOT 84133 SOS 16088 HAS SOPS 16088 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14263.088
AT ITER 32 NEW BEST:: SOT 84133 SOS 15202 HAS SOPS 15202 HAS SOUS 14174 HAS SOUPS 14174 WITH SCORE 14189.202
AT ITER 60 NEW BEST:: SOT 84118 SOS 15172 HAS SOPS 15172 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14159.172
AT ITER 79 NEW BEST:: SOT 84092 SOS 15170 HAS SOPS 15170 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14157.17
AT ITER 88 NEW BEST:: SOT 84091 SOS 15169 HAS SOPS 15169 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14156.169
AT ITER 106 NEW BEST:: SOT 84072 SOS 15276 HAS SOPS 15276 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14144.276
AT ITER 112 NEW BEST:: SOT 84036 SOS 15267 HAS SOPS 15267 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14117.267
AT ITER 115 NEW BEST:: SOT 83981 SOS 15290 HAS SOPS 15290 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14088.29
AT ITER 118 NEW BEST:: SOT 83981 SOS 15276 HAS SOPS 15276 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14074.276
AT ITER 155 NEW BEST:: SOT 83979 SOS 15272 HAS SOPS 15272 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14070.272
AT ITER 173 NEW BEST:: SOT 83978 SOS 15261 HAS SOPS 15261 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14068.261
AT ITER 196 NEW BEST:: SOT 83881 SOS 15164 HAS SOPS 15164 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13971.164
AT ITER 199 NEW BEST:: SOT 83857 SOS 15132 HAS SOPS 15132 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13939.132
AT ITER 203 NEW BEST:: SOT 83790 SOS 15086 HAS SOPS 15086 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13890.086
AT ITER 232 NEW BEST:: SOT 83775 SOS 15146 HAS SOPS 15146 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13855.146
AT ITER 243 NEW BEST:: SOT 83739 SOS 15109 HAS SOPS 15109 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13818.109
AT ITER 248 NEW BEST:: SOT 83733 SOS 15105 HAS SOPS 15105 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13814.105
AT ITER 319 NEW BEST:: SOT 83733 SOS 15087 HAS SOPS 15087 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13796.087
AT ITER 320 NEW BEST:: SOT 83692 SOS 15084 HAS SOPS 15084 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.084
AT ITER 373 NEW BEST:: SOT 83677 SOS 15081 HAS SOPS 15081 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13790.081
AT ITER 399 NEW BEST:: SOT 83632 SOS 15047 HAS SOPS 15047 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13756.047
AT ITER 426 NEW BEST:: SOT 83593 SOS 15025 HAS SOPS 15025 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13748.025
AT ITER 439 NEW BEST:: SOT 83593 SOS 15024 HAS SOPS 15024 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13747.024
AT ITER 441 NEW BEST:: SOT 83545 SOS 15023 HAS SOPS 15023 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13746.023
AT ITER 546 NEW BEST:: SOT 83545 SOS 15008 HAS SOPS 15008 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13731.008
AT ITER 586 NEW BEST:: SOT 83475 SOS 15126 HAS SOPS 15126 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13728.126
AT ITER 590 NEW BEST:: SOT 83457 SOS 15125 HAS SOPS 15125 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13727.125
AT ITER 596 NEW BEST:: SOT 83414 SOS 15040 HAS SOPS 15040 HAS SOUS 13627 HAS SOUPS 13627 WITH SCORE 13642.04
AT ITER 619 NEW BEST:: SOT 83326 SOS 14952 HAS SOPS 14952 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13553.952
AT ITER 632 NEW BEST:: SOT 83248 SOS 14974 HAS SOPS 14974 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13534.974
AT ITER 647 NEW BEST:: SOT 83217 SOS 14940 HAS SOPS 14940 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13500.94
AT ITER 651 NEW BEST:: SOT 83217 SOS 14939 HAS SOPS 14939 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13499.939
AT ITER 673 NEW BEST:: SOT 83173 SOS 14907 HAS SOPS 14907 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13467.907
AT ITER 689 NEW BEST:: SOT 83168 SOS 14902 HAS SOPS 14902 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13462.902
AT ITER 691 NEW BEST:: SOT 83131 SOS 14876 HAS SOPS 14876 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13401.876
AT ITER 724 NEW BEST:: SOT 83116 SOS 14861 HAS SOPS 14861 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13386.861
AT ITER 730 NEW BEST:: SOT 83049 SOS 14819 HAS SOPS 14819 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13289.819
AT ITER 734 NEW BEST:: SOT 82600 SOS 14819 HAS SOPS 14819 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12836.819
AT ITER 765 NEW BEST:: SOT 81594 SOS 17635 HAS SOPS 17635 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12121.635
AT ITER 845 NEW BEST:: SOT 81561 SOS 17634 HAS SOPS 17634 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12120.634
AT ITER 847 NEW BEST:: SOT 81561 SOS 17314 HAS SOPS 17314 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12100.314
AT ITER 874 NEW BEST:: SOT 81572 SOS 17301 HAS SOPS 17301 HAS SOUS 12070 HAS SOUPS 12070 WITH SCORE 12087.301
AT ITER 877 NEW BEST:: SOT 81550 SOS 17300 HAS SOPS 17300 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12086.3
AT ITER 883 NEW BEST:: SOT 81546 SOS 17296 HAS SOPS 17296 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12076.296
AT ITER 890 NEW BEST:: SOT 81519 SOS 17268 HAS SOPS 17268 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12048.268
AT ITER 893 NEW BEST:: SOT 81391 SOS 18729 HAS SOPS 18729 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12037.729
AT ITER 897 NEW BEST:: SOT 81385 SOS 18725 HAS SOPS 18725 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12033.725
AT ITER 927 NEW BEST:: SOT 81354 SOS 18794 HAS SOPS 18794 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12031.794
AT ITER 947 NEW BEST:: SOT 81354 SOS 18782 HAS SOPS 18782 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12025.782
AT ITER 965 NEW BEST:: SOT 81341 SOS 18769 HAS SOPS 18769 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12011.769
AT ITER 983 NEW BEST:: SOT 81312 SOS 19080 HAS SOPS 19080 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11979.08
AT ITER 988 NEW BEST:: SOT 81287 SOS 18985 HAS SOPS 18985 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11978.985
AT ITER 1011 NEW BEST:: SOT 81166 SOS 18917 HAS SOPS 18917 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11910.917
AT ITER 1038 NEW BEST:: SOT 81119 SOS 18839 HAS SOPS 18839 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11773.839
AT ITER 1082 NEW BEST:: SOT 81076 SOS 18798 HAS SOPS 18798 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11729.798
AT ITER 1094 NEW BEST:: SOT 80832 SOS 19000 HAS SOPS 19000 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11498.0
AT ITER 1115 NEW BEST:: SOT 80831 SOS 18998 HAS SOPS 18998 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11473.998
AT ITER 1126 NEW BEST:: SOT 80827 SOS 18990 HAS SOPS 18990 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11469.99
AT ITER 1129 NEW BEST:: SOT 80830 SOS 18963 HAS SOPS 18963 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11439.963
AT ITER 1199 NEW BEST:: SOT 80530 SOS 20526 HAS SOPS 20526 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11277.526
AT ITER 1202 NEW BEST:: SOT 80529 SOS 20525 HAS SOPS 20525 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11268.525
AT ITER 1211 NEW BEST:: SOT 80523 SOS 20537 HAS SOPS 20537 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11267.537
AT ITER 1237 NEW BEST:: SOT 80545 SOS 20535 HAS SOPS 20535 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11265.535
AT ITER 1261 NEW BEST:: SOT 80544 SOS 20534 HAS SOPS 20534 HAS SOUS 11244 HAS SOUPS 11244 WITH SCORE 11264.534
AT ITER 1313 NEW BEST:: SOT 80541 SOS 20511 HAS SOPS 20511 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11256.511
AT ITER 1328 NEW BEST:: SOT 80502 SOS 20434 HAS SOPS 20434 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11179.434
AT ITER 1331 NEW BEST:: SOT 80501 SOS 20433 HAS SOPS 20433 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11177.433
AT ITER 1337 NEW BEST:: SOT 80494 SOS 20423 HAS SOPS 20423 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11136.423
AT ITER 1407 NEW BEST:: SOT 80485 SOS 20416 HAS SOPS 20416 HAS SOUS 11100 HAS SOUPS 11100 WITH SCORE 11120.416
AT ITER 1408 NEW BEST:: SOT 80484 SOS 20394 HAS SOPS 20394 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11105.394
AT ITER 1487 NEW BEST:: SOT 80438 SOS 20348 HAS SOPS 20348 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11075.348
AT ITER 1529 NEW BEST:: SOT 80435 SOS 20374 HAS SOPS 20374 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11069.374
AT ITER 1550 NEW BEST:: SOT 80432 SOS 20319 HAS SOPS 20319 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11065.319
AT ITER 1561 NEW BEST:: SOT 80432 SOS 20284 HAS SOPS 20284 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11038.284
AT ITER 1661 NEW BEST:: SOT 80431 SOS 20283 HAS SOPS 20283 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11036.283
AT ITER 1734 NEW BEST:: SOT 80391 SOS 20251 HAS SOPS 20251 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10997.251
AT ITER 1751 NEW BEST:: SOT 80390 SOS 20250 HAS SOPS 20250 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10995.25
AT ITER 1785 NEW BEST:: SOT 80342 SOS 20154 HAS SOPS 20154 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10921.154
AT ITER 1796 NEW BEST:: SOT 80315 SOS 20200 HAS SOPS 20200 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10917.2
AT ITER 1803 NEW BEST:: SOT 80315 SOS 20192 HAS SOPS 20192 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10909.192
AT ITER 1811 NEW BEST:: SOT 80314 SOS 20173 HAS SOPS 20173 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10907.173
AT ITER 1816 NEW BEST:: SOT 80314 SOS 20121 HAS SOPS 20121 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10905.121
AT ITER 1829 NEW BEST:: SOT 80314 SOS 20120 HAS SOPS 20120 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10904.12
AT ITER 1875 NEW BEST:: SOT 80323 SOS 20138 HAS SOPS 20138 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10864.138
AT ITER 1877 NEW BEST:: SOT 80297 SOS 20116 HAS SOPS 20116 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10829.116
AT ITER 1902 NEW BEST:: SOT 80296 SOS 20115 HAS SOPS 20115 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10827.115
AT ITER 1912 NEW BEST:: SOT 80292 SOS 20101 HAS SOPS 20101 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10817.101
AT ITER 1921 NEW BEST:: SOT 80289 SOS 20104 HAS SOPS 20104 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10813.104
AT ITER 1928 NEW BEST:: SOT 80288 SOS 20093 HAS SOPS 20093 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10811.093
AT ITER 1947 NEW BEST:: SOT 80278 SOS 20083 HAS SOPS 20083 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10791.083
AT ITER 1971 NEW BEST:: SOT 80255 SOS 20058 HAS SOPS 20058 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10766.058
AT ITER 1972 NEW BEST:: SOT 80245 SOS 20048 HAS SOPS 20048 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10746.048
AT ITER 2015 NEW BEST:: SOT 80227 SOS 20014 HAS SOPS 20014 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10712.014
AT ITER 2024 NEW BEST:: SOT 80208 SOS 19995 HAS SOPS 19995 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10692.995
AT ITER 2042 NEW BEST:: SOT 80207 SOS 19994 HAS SOPS 19994 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10690.994
AT ITER 2084 NEW BEST:: SOT 80216 SOS 19988 HAS SOPS 19988 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10687.988
AT ITER 2130 NEW BEST:: SOT 80184 SOS 19924 HAS SOPS 19924 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10623.924
AT ITER 2131 NEW BEST:: SOT 80184 SOS 19923 HAS SOPS 19923 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10622.923
AT ITER 2163 NEW BEST:: SOT 80175 SOS 19909 HAS SOPS 19909 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10608.909
AT ITER 2186 NEW BEST:: SOT 80174 SOS 19890 HAS SOPS 19890 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10606.89
AT ITER 2201 NEW BEST:: SOT 80176 SOS 19893 HAS SOPS 19893 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10597.893
AT ITER 2204 NEW BEST:: SOT 80176 SOS 19743 HAS SOPS 19743 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10597.743
AT ITER 2218 NEW BEST:: SOT 80044 SOS 19869 HAS SOPS 19869 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10500.869
AT ITER 2242 NEW BEST:: SOT 80042 SOS 19867 HAS SOPS 19867 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10498.867
AT ITER 2262 NEW BEST:: SOT 80033 SOS 19858 HAS SOPS 19858 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10489.858
AT ITER 2361 NEW BEST:: SOT 80033 SOS 19856 HAS SOPS 19856 HAS SOUS 10468 HAS SOUPS 10468 WITH SCORE 10487.856
AT ITER 2399 NEW BEST:: SOT 80019 SOS 19842 HAS SOPS 19842 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10472.842
AT ITER 2497 NEW BEST:: SOT 80019 SOS 19839 HAS SOPS 19839 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10469.839
AT ITER 2566 NEW BEST:: SOT 79998 SOS 17890 HAS SOPS 17890 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10380.89
AT ITER 2635 NEW BEST:: SOT 79985 SOS 17868 HAS SOPS 17868 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10358.868
AT ITER 2653 NEW BEST:: SOT 79968 SOS 17851 HAS SOPS 17851 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10341.851
AT ITER 2683 NEW BEST:: SOT 79956 SOS 17827 HAS SOPS 17827 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10305.827
AT ITER 2747 NEW BEST:: SOT 79937 SOS 17808 HAS SOPS 17808 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10305.808
AT ITER 2820 NEW BEST:: SOT 79937 SOS 17804 HAS SOPS 17804 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10301.804
AT ITER 2826 NEW BEST:: SOT 79936 SOS 17802 HAS SOPS 17802 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10299.802
AT ITER 2866 NEW BEST:: SOT 79936 SOS 17546 HAS SOPS 17546 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10299.546
AT ITER 2882 NEW BEST:: SOT 79934 SOS 17541 HAS SOPS 17541 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10294.541
AT ITER 2885 NEW BEST:: SOT 79812 SOS 17380 HAS SOPS 17380 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10093.38
AT ITER 2900 NEW BEST:: SOT 79783 SOS 17322 HAS SOPS 17322 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10064.322
AT ITER 2908 NEW BEST:: SOT 79797 SOS 17336 HAS SOPS 17336 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10045.336
AT ITER 2919 NEW BEST:: SOT 79793 SOS 17302 HAS SOPS 17302 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10041.302
AT ITER 2929 NEW BEST:: SOT 79800 SOS 17300 HAS SOPS 17300 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10039.3
AT ITER 2943 NEW BEST:: SOT 79821 SOS 17344 HAS SOPS 17344 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10030.344
AT ITER 2952 NEW BEST:: SOT 79821 SOS 17333 HAS SOPS 17333 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10019.333
AT ITER 3007 NEW BEST:: SOT 79813 SOS 17325 HAS SOPS 17325 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10011.325
AT ITER 3051 NEW BEST:: SOT 79808 SOS 17315 HAS SOPS 17315 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10001.315
AT ITER 3092 NEW BEST:: SOT 79807 SOS 17314 HAS SOPS 17314 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9999.314
AT ITER 3106 NEW BEST:: SOT 79806 SOS 17313 HAS SOPS 17313 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9997.313
AT ITER 3136 NEW BEST:: SOT 79803 SOS 17310 HAS SOPS 17310 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 9991.31
AT ITER 3139 NEW BEST:: SOT 79796 SOS 17260 HAS SOPS 17260 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9977.26
AT ITER 3181 NEW BEST:: SOT 79811 SOS 17275 HAS SOPS 17275 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9974.275
AT ITER 3184 NEW BEST:: SOT 79795 SOS 17202 HAS SOPS 17202 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9957.202
AT ITER 3204 NEW BEST:: SOT 79791 SOS 17196 HAS SOPS 17196 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9951.196
AT ITER 3230 NEW BEST:: SOT 79791 SOS 17189 HAS SOPS 17189 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9944.189
AT ITER 3246 NEW BEST:: SOT 79790 SOS 17188 HAS SOPS 17188 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9942.188
AT ITER 3269 NEW BEST:: SOT 79786 SOS 17180 HAS SOPS 17180 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9938.18
AT ITER 3306 NEW BEST:: SOT 79757 SOS 17151 HAS SOPS 17151 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9892.151
AT ITER 3409 NEW BEST:: SOT 79757 SOS 17148 HAS SOPS 17148 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9889.148
AT ITER 3430 NEW BEST:: SOT 79741 SOS 16636 HAS SOPS 16636 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9840.636
AT ITER 3497 NEW BEST:: SOT 79733 SOS 16628 HAS SOPS 16628 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9815.628
AT ITER 3500 NEW BEST:: SOT 79707 SOS 16625 HAS SOPS 16625 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9798.625
AT ITER 3558 NEW BEST:: SOT 79699 SOS 16622 HAS SOPS 16622 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9795.622
AT ITER 3618 NEW BEST:: SOT 79677 SOS 16595 HAS SOPS 16595 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9768.595
AT ITER 3631 NEW BEST:: SOT 79664 SOS 16575 HAS SOPS 16575 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9722.575
AT ITER 3635 NEW BEST:: SOT 79664 SOS 16561 HAS SOPS 16561 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9715.561
AT ITER 3674 NEW BEST:: SOT 79662 SOS 16557 HAS SOPS 16557 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9711.557
AT ITER 3684 NEW BEST:: SOT 79656 SOS 16551 HAS SOPS 16551 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9696.551
AT ITER 3706 NEW BEST:: SOT 79704 SOS 16599 HAS SOPS 16599 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9693.599
AT ITER 3714 NEW BEST:: SOT 79704 SOS 16598 HAS SOPS 16598 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9692.598
AT ITER 3717 NEW BEST:: SOT 79703 SOS 16592 HAS SOPS 16592 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9686.592
AT ITER 3742 NEW BEST:: SOT 79703 SOS 16599 HAS SOPS 16599 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9685.599
AT ITER 3826 NEW BEST:: SOT 79672 SOS 16557 HAS SOPS 16557 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9643.557
AT ITER 3848 NEW BEST:: SOT 79672 SOS 16556 HAS SOPS 16556 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9642.556
AT ITER 3852 NEW BEST:: SOT 79671 SOS 16555 HAS SOPS 16555 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9640.555
AT ITER 3855 NEW BEST:: SOT 79663 SOS 16554 HAS SOPS 16554 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9639.554
AT ITER 3888 NEW BEST:: SOT 79696 SOS 16485 HAS SOPS 16485 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9639.485
AT ITER 3932 NEW BEST:: SOT 79698 SOS 16468 HAS SOPS 16468 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9623.468
AT ITER 3951 NEW BEST:: SOT 79698 SOS 16466 HAS SOPS 16466 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9621.466
AT ITER 3982 NEW BEST:: SOT 79681 SOS 16065 HAS SOPS 16065 HAS SOUS 9571 HAS SOUPS 9571 WITH SCORE 9587.065
AT ITER 4013 NEW BEST:: SOT 79680 SOS 16057 HAS SOPS 16057 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9586.057
AT ITER 4088 NEW BEST:: SOT 79672 SOS 15979 HAS SOPS 15979 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9577.979
AT ITER 4124 NEW BEST:: SOT 79643 SOS 15889 HAS SOPS 15889 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9518.889
AT ITER 4131 NEW BEST:: SOT 79642 SOS 15932 HAS SOPS 15932 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9514.932
AT ITER 4155 NEW BEST:: SOT 79641 SOS 15922 HAS SOPS 15922 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9504.922
AT ITER 4213 NEW BEST:: SOT 79635 SOS 15885 HAS SOPS 15885 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9497.885
AT ITER 4232 NEW BEST:: SOT 79633 SOS 15875 HAS SOPS 15875 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9497.875
AT ITER 4265 NEW BEST:: SOT 79633 SOS 15868 HAS SOPS 15868 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9490.868
AT ITER 4287 NEW BEST:: SOT 79629 SOS 15822 HAS SOPS 15822 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9474.822
AT ITER 4449 NEW BEST:: SOT 79695 SOS 15821 HAS SOPS 15821 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9473.821
AT ITER 4515 NEW BEST:: SOT 79678 SOS 15814 HAS SOPS 15814 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9466.814
AT ITER 4534 NEW BEST:: SOT 79700 SOS 15811 HAS SOPS 15811 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9463.811
AT ITER 4574 NEW BEST:: SOT 79698 SOS 15810 HAS SOPS 15810 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9462.81
AT ITER 4588 NEW BEST:: SOT 79690 SOS 15802 HAS SOPS 15802 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9446.802
AT ITER 4627 NEW BEST:: SOT 79689 SOS 15801 HAS SOPS 15801 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9444.801
AT ITER 4744 NEW BEST:: SOT 79680 SOS 15767 HAS SOPS 15767 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9435.767
AT ITER 4786 NEW BEST:: SOT 79679 SOS 15766 HAS SOPS 15766 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9433.766
AT ITER 4798 NEW BEST:: SOT 79679 SOS 15773 HAS SOPS 15773 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9427.773
AT ITER 4886 NEW BEST:: SOT 79665 SOS 15759 HAS SOPS 15759 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9413.759
AT ITER 4915 NEW BEST:: SOT 79664 SOS 15758 HAS SOPS 15758 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9411.758
AT ITER 4968 NEW BEST:: SOT 79670 SOS 15713 HAS SOPS 15713 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9372.713
AT ITER 4987 NEW BEST:: SOT 79660 SOS 15703 HAS SOPS 15703 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9362.703
AT ITER 5074 NEW BEST:: SOT 79656 SOS 15695 HAS SOPS 15695 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9354.695
AT ITER 5082 NEW BEST:: SOT 79649 SOS 15675 HAS SOPS 15675 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9352.675
AT ITER 5130 NEW BEST:: SOT 79651 SOS 15679 HAS SOPS 15679 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9347.679
AT ITER 5143 NEW BEST:: SOT 79646 SOS 15646 HAS SOPS 15646 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9314.646
AT ITER 5156 NEW BEST:: SOT 79645 SOS 15619 HAS SOPS 15619 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9312.619
AT ITER 5187 NEW BEST:: SOT 79644 SOS 15618 HAS SOPS 15618 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9290.618
AT ITER 5197 NEW BEST:: SOT 79638 SOS 15606 HAS SOPS 15606 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9278.606
AT ITER 5217 NEW BEST:: SOT 79596 SOS 15490 HAS SOPS 15490 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9226.49
AT ITER 5289 NEW BEST:: SOT 79592 SOS 15486 HAS SOPS 15486 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9218.486
AT ITER 5303 NEW BEST:: SOT 79556 SOS 15448 HAS SOPS 15448 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9209.448
AT ITER 5334 NEW BEST:: SOT 79554 SOS 15438 HAS SOPS 15438 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9199.438
AT ITER 5403 NEW BEST:: SOT 79548 SOS 15432 HAS SOPS 15432 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9193.432
AT ITER 5453 NEW BEST:: SOT 79531 SOS 15399 HAS SOPS 15399 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9158.399
AT ITER 5488 NEW BEST:: SOT 79505 SOS 15386 HAS SOPS 15386 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9145.386
AT ITER 5537 NEW BEST:: SOT 79505 SOS 15375 HAS SOPS 15375 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9134.375
AT ITER 5551 NEW BEST:: SOT 79496 SOS 15366 HAS SOPS 15366 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9125.366
AT ITER 5577 NEW BEST:: SOT 79496 SOS 15321 HAS SOPS 15321 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9125.321
AT ITER 5599 NEW BEST:: SOT 79496 SOS 15315 HAS SOPS 15315 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9119.315
AT ITER 5662 NEW BEST:: SOT 79518 SOS 15305 HAS SOPS 15305 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9114.305
AT ITER 5694 NEW BEST:: SOT 79571 SOS 15319 HAS SOPS 15319 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9109.319
AT ITER 5716 NEW BEST:: SOT 79612 SOS 15285 HAS SOPS 15285 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9103.285
AT ITER 5723 NEW BEST:: SOT 79612 SOS 15269 HAS SOPS 15269 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9087.269
AT ITER 5748 NEW BEST:: SOT 79611 SOS 15268 HAS SOPS 15268 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9085.268
AT ITER 5772 NEW BEST:: SOT 79623 SOS 15263 HAS SOPS 15263 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9085.263
AT ITER 5782 NEW BEST:: SOT 79614 SOS 15245 HAS SOPS 15245 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9067.245
AT ITER 5837 NEW BEST:: SOT 79621 SOS 15252 HAS SOPS 15252 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9060.252
AT ITER 5857 NEW BEST:: SOT 79609 SOS 14920 HAS SOPS 14920 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9035.92
AT ITER 5908 NEW BEST:: SOT 79608 SOS 14919 HAS SOPS 14919 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9033.919
AT ITER 5946 NEW BEST:: SOT 79605 SOS 14916 HAS SOPS 14916 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9027.916
AT ITER 5958 NEW BEST:: SOT 79600 SOS 14880 HAS SOPS 14880 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9018.88
AT ITER 5988 NEW BEST:: SOT 79587 SOS 14892 HAS SOPS 14892 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9017.892
AT ITER 5990 NEW BEST:: SOT 79575 SOS 14888 HAS SOPS 14888 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9013.888
AT ITER 6043 NEW BEST:: SOT 79575 SOS 14887 HAS SOPS 14887 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9012.887
AT ITER 6102 NEW BEST:: SOT 79551 SOS 14851 HAS SOPS 14851 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8973.851
AT ITER 6105 NEW BEST:: SOT 79536 SOS 14827 HAS SOPS 14827 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8940.827
AT ITER 6139 NEW BEST:: SOT 79520 SOS 14734 HAS SOPS 14734 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8932.734
AT ITER 6187 NEW BEST:: SOT 79511 SOS 14707 HAS SOPS 14707 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8896.707
AT ITER 6236 NEW BEST:: SOT 79499 SOS 14664 HAS SOPS 14664 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8872.664
AT ITER 6246 NEW BEST:: SOT 79479 SOS 14639 HAS SOPS 14639 HAS SOUS 8833 HAS SOUPS 8833 WITH SCORE 8847.639
AT ITER 6296 NEW BEST:: SOT 79473 SOS 14632 HAS SOPS 14632 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8840.632
AT ITER 6317 NEW BEST:: SOT 79473 SOS 14628 HAS SOPS 14628 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8836.628
AT ITER 6320 NEW BEST:: SOT 79471 SOS 14626 HAS SOPS 14626 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8830.626
AT ITER 6414 NEW BEST:: SOT 79449 SOS 14590 HAS SOPS 14590 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8788.59
AT ITER 6465 NEW BEST:: SOT 79432 SOS 14581 HAS SOPS 14581 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8782.581
AT ITER 6567 NEW BEST:: SOT 79424 SOS 14565 HAS SOPS 14565 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8766.565
AT ITER 6598 NEW BEST:: SOT 79408 SOS 14369 HAS SOPS 14369 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8743.369
AT ITER 6612 NEW BEST:: SOT 79407 SOS 14361 HAS SOPS 14361 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8734.361
AT ITER 6635 NEW BEST:: SOT 79406 SOS 14360 HAS SOPS 14360 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8732.36
AT ITER 6649 NEW BEST:: SOT 79408 SOS 14357 HAS SOPS 14357 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8723.357
AT ITER 6736 NEW BEST:: SOT 79406 SOS 14293 HAS SOPS 14293 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8719.293
AT ITER 6794 NEW BEST:: SOT 79398 SOS 14285 HAS SOPS 14285 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8706.285
AT ITER 6828 NEW BEST:: SOT 79380 SOS 14240 HAS SOPS 14240 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8679.24
AT ITER 6854 NEW BEST:: SOT 79368 SOS 14287 HAS SOPS 14287 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8654.287
AT ITER 6903 NEW BEST:: SOT 79365 SOS 14284 HAS SOPS 14284 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8648.284
AT ITER 6996 NEW BEST:: SOT 79354 SOS 13516 HAS SOPS 13516 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8607.516
AT ITER 7028 NEW BEST:: SOT 79351 SOS 13513 HAS SOPS 13513 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8604.513
AT ITER 7180 NEW BEST:: SOT 79351 SOS 13510 HAS SOPS 13510 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8601.51
AT ITER 7293 NEW BEST:: SOT 79357 SOS 13363 HAS SOPS 13363 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8599.363
AT ITER 7299 NEW BEST:: SOT 79357 SOS 13357 HAS SOPS 13357 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8596.357
AT ITER 7304 NEW BEST:: SOT 79356 SOS 13355 HAS SOPS 13355 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8594.355
AT ITER 7322 NEW BEST:: SOT 79356 SOS 13346 HAS SOPS 13346 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8585.346
AT ITER 7325 NEW BEST:: SOT 79345 SOS 13335 HAS SOPS 13335 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8574.335
AT ITER 7335 NEW BEST:: SOT 79342 SOS 13331 HAS SOPS 13331 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8570.331
AT ITER 7396 NEW BEST:: SOT 79334 SOS 13323 HAS SOPS 13323 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8562.323
AT ITER 7538 NEW BEST:: SOT 79316 SOS 13319 HAS SOPS 13319 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8540.319
AT ITER 7579 NEW BEST:: SOT 79308 SOS 13271 HAS SOPS 13271 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8499.271
AT ITER 7632 NEW BEST:: SOT 79307 SOS 13270 HAS SOPS 13270 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8498.27
AT ITER 7636 NEW BEST:: SOT 79305 SOS 13234 HAS SOPS 13234 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8462.234
AT ITER 7667 NEW BEST:: SOT 79293 SOS 12958 HAS SOPS 12958 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8438.958
AT ITER 7682 NEW BEST:: SOT 79292 SOS 12956 HAS SOPS 12956 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8435.956
AT ITER 7704 NEW BEST:: SOT 79283 SOS 12951 HAS SOPS 12951 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8429.951
AT ITER 7735 NEW BEST:: SOT 79283 SOS 12945 HAS SOPS 12945 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8423.945
AT ITER 7759 NEW BEST:: SOT 79280 SOS 12942 HAS SOPS 12942 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8420.942
AT ITER 7780 NEW BEST:: SOT 79277 SOS 12936 HAS SOPS 12936 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8414.936
AT ITER 7929 NEW BEST:: SOT 79277 SOS 12934 HAS SOPS 12934 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8412.934
AT ITER 8009 NEW BEST:: SOT 79277 SOS 12932 HAS SOPS 12932 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8410.932
AT ITER 8017 NEW BEST:: SOT 79276 SOS 12931 HAS SOPS 12931 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8408.931
AT ITER 8039 NEW BEST:: SOT 79275 SOS 12930 HAS SOPS 12930 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8407.93
AT ITER 8069 NEW BEST:: SOT 79263 SOS 12918 HAS SOPS 12918 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8395.918
AT ITER 8120 NEW BEST:: SOT 79258 SOS 12909 HAS SOPS 12909 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.909
AT ITER 8158 NEW BEST:: SOT 79258 SOS 12895 HAS SOPS 12895 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8377.895
AT ITER 8193 NEW BEST:: SOT 79255 SOS 12889 HAS SOPS 12889 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8371.889
AT ITER 8219 NEW BEST:: SOT 79255 SOS 12725 HAS SOPS 12725 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8371.725
AT ITER 8368 NEW BEST:: SOT 79253 SOS 12725 HAS SOPS 12725 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8367.725
AT ITER 8376 NEW BEST:: SOT 79241 SOS 12650 HAS SOPS 12650 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8295.65
AT ITER 8407 NEW BEST:: SOT 79241 SOS 12626 HAS SOPS 12626 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8271.626
AT ITER 8425 NEW BEST:: SOT 79256 SOS 12624 HAS SOPS 12624 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8269.624
AT ITER 8426 NEW BEST:: SOT 79205 SOS 12849 HAS SOPS 12849 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8248.849
AT ITER 8464 NEW BEST:: SOT 79204 SOS 12848 HAS SOPS 12848 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8246.848
AT ITER 8481 NEW BEST:: SOT 79204 SOS 12844 HAS SOPS 12844 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8242.844
AT ITER 8494 NEW BEST:: SOT 79204 SOS 12843 HAS SOPS 12843 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8241.843
AT ITER 8512 NEW BEST:: SOT 79203 SOS 12840 HAS SOPS 12840 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8238.84
AT ITER 8515 NEW BEST:: SOT 79204 SOS 12823 HAS SOPS 12823 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8221.823
AT ITER 8674 NEW BEST:: SOT 79193 SOS 12822 HAS SOPS 12822 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8194.822
AT ITER 8695 NEW BEST:: SOT 79175 SOS 12781 HAS SOPS 12781 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8153.781
AT ITER 8731 NEW BEST:: SOT 79170 SOS 12776 HAS SOPS 12776 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8148.776
AT ITER 8840 NEW BEST:: SOT 79168 SOS 12774 HAS SOPS 12774 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8146.774
AT ITER 8841 NEW BEST:: SOT 79163 SOS 12768 HAS SOPS 12768 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8140.768
AT ITER 8892 NEW BEST:: SOT 79170 SOS 12735 HAS SOPS 12735 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8107.735
AT ITER 8894 NEW BEST:: SOT 79120 SOS 12689 HAS SOPS 12689 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8094.689
AT ITER 8939 NEW BEST:: SOT 79118 SOS 12772 HAS SOPS 12772 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8090.772
AT ITER 8999 NEW BEST:: SOT 79118 SOS 12761 HAS SOPS 12761 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8087.761
AT ITER 9005 NEW BEST:: SOT 79109 SOS 12743 HAS SOPS 12743 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8069.743
AT ITER 9015 NEW BEST:: SOT 79093 SOS 12735 HAS SOPS 12735 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8061.735
AT ITER 9076 NEW BEST:: SOT 79093 SOS 12697 HAS SOPS 12697 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8061.697
AT ITER 9205 NEW BEST:: SOT 79092 SOS 12696 HAS SOPS 12696 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8059.696
AT ITER 9212 NEW BEST:: SOT 79075 SOS 12609 HAS SOPS 12609 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8025.609
AT ITER 9217 NEW BEST:: SOT 79075 SOS 12607 HAS SOPS 12607 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8023.607
AT ITER 9250 NEW BEST:: SOT 79081 SOS 12429 HAS SOPS 12429 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8022.429
AT ITER 9308 NEW BEST:: SOT 79078 SOS 12426 HAS SOPS 12426 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8016.426
AT ITER 9383 NEW BEST:: SOT 79077 SOS 12425 HAS SOPS 12425 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8014.425
AT ITER 9386 NEW BEST:: SOT 79075 SOS 12211 HAS SOPS 12211 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7970.211
AT ITER 9408 NEW BEST:: SOT 79077 SOS 12210 HAS SOPS 12210 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7968.21
AT ITER 9428 NEW BEST:: SOT 79071 SOS 12204 HAS SOPS 12204 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7961.204
AT ITER 9430 NEW BEST:: SOT 79071 SOS 12204 HAS SOPS 12204 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7960.204
AT ITER 9448 NEW BEST:: SOT 79089 SOS 12200 HAS SOPS 12200 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7956.2
AT ITER 9613 NEW BEST:: SOT 79089 SOS 12189 HAS SOPS 12189 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7956.189
AT ITER 9769 NEW BEST:: SOT 79057 SOS 12125 HAS SOPS 12125 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7892.125
AT ITER 9906 NEW BEST:: SOT 79057 SOS 12124 HAS SOPS 12124 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7892.124

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="DES-PT-30b"
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 DES-PT-30b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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