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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15771.500 3600000.00 3600061.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-158902542000304.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-40b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 26K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:18 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 115K 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 1589110068434

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

Filename model.pnml
Petri model created: 439 places, 390 transitions, 1303 arcs.
AT ITER 0 NEW BEST:: SOT 108714 SOS 24853 HAS SOPS 24853 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23595.853
AT ITER 22 NEW BEST:: SOT 108676 SOS 24948 HAS SOPS 24948 HAS SOUS 23551 HAS SOUPS 23551 WITH SCORE 23575.948
AT ITER 37 NEW BEST:: SOT 108538 SOS 24878 HAS SOPS 24878 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23505.878
AT ITER 48 NEW BEST:: SOT 108523 SOS 24862 HAS SOPS 24862 HAS SOUS 23465 HAS SOUPS 23465 WITH SCORE 23489.862
AT ITER 52 NEW BEST:: SOT 108383 SOS 27464 HAS SOPS 27464 HAS SOUS 23461 HAS SOUPS 23461 WITH SCORE 23488.464
AT ITER 68 NEW BEST:: SOT 108114 SOS 31273 HAS SOPS 31273 HAS SOUS 23347 HAS SOUPS 23347 WITH SCORE 23378.273
AT ITER 203 NEW BEST:: SOT 108052 SOS 31272 HAS SOPS 31272 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23377.272
AT ITER 215 NEW BEST:: SOT 108019 SOS 31239 HAS SOPS 31239 HAS SOUS 23313 HAS SOUPS 23313 WITH SCORE 23344.239
AT ITER 219 NEW BEST:: SOT 107991 SOS 31239 HAS SOPS 31239 HAS SOUS 23310 HAS SOUPS 23310 WITH SCORE 23341.239
AT ITER 252 NEW BEST:: SOT 107962 SOS 31209 HAS SOPS 31209 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23311.209
AT ITER 255 NEW BEST:: SOT 107956 SOS 31202 HAS SOPS 31202 HAS SOUS 23273 HAS SOUPS 23273 WITH SCORE 23304.202
AT ITER 265 NEW BEST:: SOT 107953 SOS 31202 HAS SOPS 31202 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23301.202
AT ITER 286 NEW BEST:: SOT 106663 SOS 32394 HAS SOPS 32394 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22198.394
AT ITER 301 NEW BEST:: SOT 106663 SOS 32324 HAS SOPS 32324 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22198.324
AT ITER 311 NEW BEST:: SOT 106579 SOS 32198 HAS SOPS 32198 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22072.198
AT ITER 341 NEW BEST:: SOT 104413 SOS 34340 HAS SOPS 34340 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20160.34
AT ITER 380 NEW BEST:: SOT 104410 SOS 34337 HAS SOPS 34337 HAS SOUS 20084 HAS SOUPS 20084 WITH SCORE 20118.337
AT ITER 389 NEW BEST:: SOT 104393 SOS 34332 HAS SOPS 34332 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20100.332
AT ITER 397 NEW BEST:: SOT 103346 SOS 33285 HAS SOPS 33285 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19051.285
AT ITER 415 NEW BEST:: SOT 103346 SOS 29495 HAS SOPS 29495 HAS SOUS 19017 HAS SOUPS 19017 WITH SCORE 19046.495
AT ITER 446 NEW BEST:: SOT 101627 SOS 33452 HAS SOPS 33452 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17620.452
AT ITER 472 NEW BEST:: SOT 101546 SOS 33370 HAS SOPS 33370 HAS SOUS 17530 HAS SOUPS 17530 WITH SCORE 17563.37
AT ITER 479 NEW BEST:: SOT 101544 SOS 33350 HAS SOPS 33350 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17561.35
AT ITER 502 NEW BEST:: SOT 101530 SOS 33349 HAS SOPS 33349 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17560.349
AT ITER 510 NEW BEST:: SOT 101392 SOS 33210 HAS SOPS 33210 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17497.21
AT ITER 548 NEW BEST:: SOT 101381 SOS 33188 HAS SOPS 33188 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17485.188
AT ITER 569 NEW BEST:: SOT 101356 SOS 33186 HAS SOPS 33186 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17483.186
AT ITER 578 NEW BEST:: SOT 101348 SOS 33175 HAS SOPS 33175 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17478.175
AT ITER 580 NEW BEST:: SOT 101330 SOS 33151 HAS SOPS 33151 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17454.151
AT ITER 586 NEW BEST:: SOT 100919 SOS 34677 HAS SOPS 34677 HAS SOUS 17119 HAS SOUPS 17119 WITH SCORE 17153.677
AT ITER 587 NEW BEST:: SOT 100919 SOS 34663 HAS SOPS 34663 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17139.663
AT ITER 588 NEW BEST:: SOT 100919 SOS 34678 HAS SOPS 34678 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17138.678
AT ITER 620 NEW BEST:: SOT 100908 SOS 34624 HAS SOPS 34624 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17112.624
AT ITER 631 NEW BEST:: SOT 100842 SOS 30740 HAS SOPS 30740 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16976.74
AT ITER 640 NEW BEST:: SOT 100842 SOS 29036 HAS SOPS 29036 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16975.036
AT ITER 651 NEW BEST:: SOT 100826 SOS 28916 HAS SOPS 28916 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16853.916
AT ITER 653 NEW BEST:: SOT 100831 SOS 28926 HAS SOPS 28926 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16842.926
AT ITER 682 NEW BEST:: SOT 100735 SOS 28819 HAS SOPS 28819 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16735.819
AT ITER 690 NEW BEST:: SOT 100735 SOS 28763 HAS SOPS 28763 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16735.763
AT ITER 703 NEW BEST:: SOT 100735 SOS 28739 HAS SOPS 28739 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16735.739
AT ITER 706 NEW BEST:: SOT 100735 SOS 28738 HAS SOPS 28738 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16735.738
AT ITER 714 NEW BEST:: SOT 100734 SOS 28737 HAS SOPS 28737 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16734.737
AT ITER 762 NEW BEST:: SOT 100638 SOS 28647 HAS SOPS 28647 HAS SOUS 16622 HAS SOUPS 16622 WITH SCORE 16650.647
AT ITER 767 NEW BEST:: SOT 100624 SOS 28640 HAS SOPS 28640 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16643.64
AT ITER 835 NEW BEST:: SOT 100275 SOS 28398 HAS SOPS 28398 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16347.398
AT ITER 880 NEW BEST:: SOT 100262 SOS 28385 HAS SOPS 28385 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16334.385
AT ITER 886 NEW BEST:: SOT 100228 SOS 28325 HAS SOPS 28325 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16266.325
AT ITER 927 NEW BEST:: SOT 100166 SOS 28263 HAS SOPS 28263 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16204.263
AT ITER 933 NEW BEST:: SOT 100166 SOS 28249 HAS SOPS 28249 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16190.249
AT ITER 946 NEW BEST:: SOT 100157 SOS 28231 HAS SOPS 28231 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16162.231
AT ITER 950 NEW BEST:: SOT 100191 SOS 28206 HAS SOPS 28206 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16156.206
AT ITER 954 NEW BEST:: SOT 100160 SOS 28175 HAS SOPS 28175 HAS SOUS 16066 HAS SOUPS 16066 WITH SCORE 16094.175
AT ITER 1034 NEW BEST:: SOT 100159 SOS 28174 HAS SOPS 28174 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16092.174
AT ITER 1072 NEW BEST:: SOT 100147 SOS 28162 HAS SOPS 28162 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16081.162
AT ITER 1086 NEW BEST:: SOT 100061 SOS 28029 HAS SOPS 28029 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16010.029
AT ITER 1089 NEW BEST:: SOT 100060 SOS 28028 HAS SOPS 28028 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16008.028
AT ITER 1218 NEW BEST:: SOT 100060 SOS 28025 HAS SOPS 28025 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 16005.025
AT ITER 1225 NEW BEST:: SOT 100059 SOS 28024 HAS SOPS 28024 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 16003.024
AT ITER 1246 NEW BEST:: SOT 100034 SOS 27968 HAS SOPS 27968 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15946.968
AT ITER 1249 NEW BEST:: SOT 100013 SOS 27968 HAS SOPS 27968 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15925.968
AT ITER 1255 NEW BEST:: SOT 100006 SOS 27957 HAS SOPS 27957 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15924.957
AT ITER 1279 NEW BEST:: SOT 100003 SOS 27957 HAS SOPS 27957 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15923.957
AT ITER 1282 NEW BEST:: SOT 100002 SOS 27954 HAS SOPS 27954 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15923.954
AT ITER 1293 NEW BEST:: SOT 99986 SOS 27946 HAS SOPS 27946 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15903.946
AT ITER 1298 NEW BEST:: SOT 99986 SOS 27943 HAS SOPS 27943 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15900.943
AT ITER 1315 NEW BEST:: SOT 99986 SOS 27940 HAS SOPS 27940 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15900.94
AT ITER 1320 NEW BEST:: SOT 99966 SOS 27928 HAS SOPS 27928 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15900.928
AT ITER 1322 NEW BEST:: SOT 99975 SOS 27904 HAS SOPS 27904 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15888.904
AT ITER 1332 NEW BEST:: SOT 99877 SOS 27748 HAS SOPS 27748 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15732.748
AT ITER 1370 NEW BEST:: SOT 99849 SOS 27692 HAS SOPS 27692 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15667.692
AT ITER 1411 NEW BEST:: SOT 99827 SOS 27669 HAS SOPS 27669 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15666.669
AT ITER 1433 NEW BEST:: SOT 99694 SOS 27536 HAS SOPS 27536 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15580.536
AT ITER 1500 NEW BEST:: SOT 99683 SOS 27525 HAS SOPS 27525 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15569.525
AT ITER 1503 NEW BEST:: SOT 99655 SOS 27397 HAS SOPS 27397 HAS SOUS 15513 HAS SOUPS 15513 WITH SCORE 15540.397
AT ITER 1511 NEW BEST:: SOT 99467 SOS 27186 HAS SOPS 27186 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15329.186
AT ITER 1574 NEW BEST:: SOT 99473 SOS 27180 HAS SOPS 27180 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15323.18
AT ITER 1651 NEW BEST:: SOT 99468 SOS 27175 HAS SOPS 27175 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15322.175
AT ITER 1679 NEW BEST:: SOT 99468 SOS 27175 HAS SOPS 27175 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15321.175
AT ITER 1711 NEW BEST:: SOT 99454 SOS 27161 HAS SOPS 27161 HAS SOUS 15280 HAS SOUPS 15280 WITH SCORE 15307.161
AT ITER 1728 NEW BEST:: SOT 99448 SOS 27119 HAS SOPS 27119 HAS SOUS 15262 HAS SOUPS 15262 WITH SCORE 15289.119
AT ITER 1760 NEW BEST:: SOT 99438 SOS 27105 HAS SOPS 27105 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15275.105
AT ITER 1789 NEW BEST:: SOT 99359 SOS 27026 HAS SOPS 27026 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15228.026
AT ITER 1791 NEW BEST:: SOT 99376 SOS 27043 HAS SOPS 27043 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15197.043
AT ITER 1796 NEW BEST:: SOT 99376 SOS 27029 HAS SOPS 27029 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15183.029
AT ITER 1803 NEW BEST:: SOT 99376 SOS 27028 HAS SOPS 27028 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15182.028
AT ITER 1834 NEW BEST:: SOT 99376 SOS 27027 HAS SOPS 27027 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15182.027
AT ITER 1841 NEW BEST:: SOT 99357 SOS 27008 HAS SOPS 27008 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15182.008
AT ITER 1938 NEW BEST:: SOT 99339 SOS 26987 HAS SOPS 26987 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15160.987
AT ITER 1945 NEW BEST:: SOT 99298 SOS 26946 HAS SOPS 26946 HAS SOUS 15093 HAS SOUPS 15093 WITH SCORE 15119.946
AT ITER 1983 NEW BEST:: SOT 99297 SOS 26945 HAS SOPS 26945 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15117.945
AT ITER 2005 NEW BEST:: SOT 99278 SOS 26911 HAS SOPS 26911 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15083.911
AT ITER 2047 NEW BEST:: SOT 99204 SOS 26837 HAS SOPS 26837 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15009.837
AT ITER 2071 NEW BEST:: SOT 99188 SOS 26812 HAS SOPS 26812 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14984.812
AT ITER 2112 NEW BEST:: SOT 99166 SOS 26794 HAS SOPS 26794 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14966.794
AT ITER 2128 NEW BEST:: SOT 99161 SOS 26796 HAS SOPS 26796 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14960.796
AT ITER 2185 NEW BEST:: SOT 99151 SOS 26786 HAS SOPS 26786 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14949.786
AT ITER 2192 NEW BEST:: SOT 99138 SOS 26785 HAS SOPS 26785 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14948.785
AT ITER 2239 NEW BEST:: SOT 99138 SOS 26776 HAS SOPS 26776 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14948.776
AT ITER 2244 NEW BEST:: SOT 99135 SOS 26773 HAS SOPS 26773 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14945.773
AT ITER 2271 NEW BEST:: SOT 99117 SOS 26755 HAS SOPS 26755 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14939.755
AT ITER 2296 NEW BEST:: SOT 99117 SOS 26733 HAS SOPS 26733 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14917.733
AT ITER 2313 NEW BEST:: SOT 99116 SOS 26726 HAS SOPS 26726 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14914.726
AT ITER 2316 NEW BEST:: SOT 99101 SOS 26734 HAS SOPS 26734 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14904.734
AT ITER 2337 NEW BEST:: SOT 99053 SOS 26686 HAS SOPS 26686 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14855.686
AT ITER 2357 NEW BEST:: SOT 99053 SOS 26685 HAS SOPS 26685 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14854.685
AT ITER 2365 NEW BEST:: SOT 99052 SOS 26684 HAS SOPS 26684 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14852.684
AT ITER 2390 NEW BEST:: SOT 98939 SOS 26529 HAS SOPS 26529 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14802.529
AT ITER 2392 NEW BEST:: SOT 98931 SOS 26521 HAS SOPS 26521 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14794.521
AT ITER 2413 NEW BEST:: SOT 98930 SOS 26480 HAS SOPS 26480 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14753.48
AT ITER 2437 NEW BEST:: SOT 98930 SOS 26478 HAS SOPS 26478 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14751.478
AT ITER 2521 NEW BEST:: SOT 98893 SOS 26405 HAS SOPS 26405 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14678.405
AT ITER 2573 NEW BEST:: SOT 98862 SOS 26372 HAS SOPS 26372 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14553.372
AT ITER 2589 NEW BEST:: SOT 98837 SOS 26359 HAS SOPS 26359 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14507.359
AT ITER 2616 NEW BEST:: SOT 98832 SOS 26362 HAS SOPS 26362 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14501.362
AT ITER 2637 NEW BEST:: SOT 98808 SOS 26314 HAS SOPS 26314 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14453.314
AT ITER 2668 NEW BEST:: SOT 98786 SOS 26291 HAS SOPS 26291 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14433.291
AT ITER 2752 NEW BEST:: SOT 98780 SOS 26284 HAS SOPS 26284 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14426.284
AT ITER 2918 NEW BEST:: SOT 98780 SOS 26283 HAS SOPS 26283 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14425.283
AT ITER 2923 NEW BEST:: SOT 98780 SOS 26275 HAS SOPS 26275 HAS SOUS 14391 HAS SOUPS 14391 WITH SCORE 14417.275
AT ITER 2931 NEW BEST:: SOT 98695 SOS 26190 HAS SOPS 26190 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14332.19
AT ITER 2932 NEW BEST:: SOT 98686 SOS 26163 HAS SOPS 26163 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14323.163
AT ITER 2949 NEW BEST:: SOT 98683 SOS 26156 HAS SOPS 26156 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14316.156
AT ITER 2964 NEW BEST:: SOT 98669 SOS 26142 HAS SOPS 26142 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14282.142
AT ITER 2995 NEW BEST:: SOT 98669 SOS 25552 HAS SOPS 25552 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14281.552
AT ITER 3006 NEW BEST:: SOT 98662 SOS 25542 HAS SOPS 25542 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14271.542
AT ITER 3044 NEW BEST:: SOT 98662 SOS 25541 HAS SOPS 25541 HAS SOUS 14245 HAS SOUPS 14245 WITH SCORE 14270.541
AT ITER 3046 NEW BEST:: SOT 98662 SOS 25538 HAS SOPS 25538 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14267.538
AT ITER 3047 NEW BEST:: SOT 98655 SOS 25522 HAS SOPS 25522 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14251.522
AT ITER 3052 NEW BEST:: SOT 98641 SOS 25494 HAS SOPS 25494 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14223.494
AT ITER 3053 NEW BEST:: SOT 98629 SOS 25467 HAS SOPS 25467 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14208.467
AT ITER 3112 NEW BEST:: SOT 98620 SOS 25457 HAS SOPS 25457 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14198.457
AT ITER 3184 NEW BEST:: SOT 98617 SOS 25459 HAS SOPS 25459 HAS SOUS 14170 HAS SOUPS 14170 WITH SCORE 14195.459
AT ITER 3232 NEW BEST:: SOT 98616 SOS 25304 HAS SOPS 25304 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14193.304
AT ITER 3248 NEW BEST:: SOT 98612 SOS 25296 HAS SOPS 25296 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14171.296
AT ITER 3263 NEW BEST:: SOT 98610 SOS 25227 HAS SOPS 25227 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14158.227
AT ITER 3289 NEW BEST:: SOT 98605 SOS 25217 HAS SOPS 25217 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14148.217
AT ITER 3292 NEW BEST:: SOT 98598 SOS 25210 HAS SOPS 25210 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14134.21
AT ITER 3327 NEW BEST:: SOT 98582 SOS 25169 HAS SOPS 25169 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14108.169
AT ITER 3360 NEW BEST:: SOT 98579 SOS 25166 HAS SOPS 25166 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14102.166
AT ITER 3366 NEW BEST:: SOT 98576 SOS 25158 HAS SOPS 25158 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14094.158
AT ITER 3382 NEW BEST:: SOT 98575 SOS 25157 HAS SOPS 25157 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14086.157
AT ITER 3459 NEW BEST:: SOT 98574 SOS 25156 HAS SOPS 25156 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14084.156
AT ITER 3523 NEW BEST:: SOT 98418 SOS 25119 HAS SOPS 25119 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14019.119
AT ITER 3601 NEW BEST:: SOT 98415 SOS 25116 HAS SOPS 25116 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14016.116
AT ITER 3617 NEW BEST:: SOT 98395 SOS 25076 HAS SOPS 25076 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13992.076
AT ITER 3640 NEW BEST:: SOT 98340 SOS 25021 HAS SOPS 25021 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13968.021
AT ITER 3645 NEW BEST:: SOT 98286 SOS 24960 HAS SOPS 24960 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13900.96
AT ITER 3697 NEW BEST:: SOT 98266 SOS 24940 HAS SOPS 24940 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13860.94
AT ITER 3721 NEW BEST:: SOT 98258 SOS 24917 HAS SOPS 24917 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13837.917
AT ITER 3734 NEW BEST:: SOT 98257 SOS 24916 HAS SOPS 24916 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13835.916
AT ITER 3741 NEW BEST:: SOT 98256 SOS 24915 HAS SOPS 24915 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13833.915
AT ITER 3772 NEW BEST:: SOT 98252 SOS 24911 HAS SOPS 24911 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13829.911
AT ITER 3816 NEW BEST:: SOT 98242 SOS 24891 HAS SOPS 24891 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13809.891
AT ITER 3870 NEW BEST:: SOT 98219 SOS 24824 HAS SOPS 24824 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13807.824
AT ITER 3894 NEW BEST:: SOT 98201 SOS 24789 HAS SOPS 24789 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13772.789
AT ITER 3930 NEW BEST:: SOT 98186 SOS 24797 HAS SOPS 24797 HAS SOUS 13744 HAS SOUPS 13744 WITH SCORE 13768.797
AT ITER 3942 NEW BEST:: SOT 98137 SOS 24748 HAS SOPS 24748 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13719.748
AT ITER 4027 NEW BEST:: SOT 98088 SOS 24698 HAS SOPS 24698 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13718.698
AT ITER 4034 NEW BEST:: SOT 98005 SOS 24769 HAS SOPS 24769 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13684.769
AT ITER 4041 NEW BEST:: SOT 97914 SOS 24678 HAS SOPS 24678 HAS SOUS 13569 HAS SOUPS 13569 WITH SCORE 13593.678
AT ITER 4146 NEW BEST:: SOT 97910 SOS 24674 HAS SOPS 24674 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13561.674
AT ITER 4214 NEW BEST:: SOT 97910 SOS 24634 HAS SOPS 24634 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13508.634
AT ITER 4222 NEW BEST:: SOT 96795 SOS 23930 HAS SOPS 23930 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12424.93
AT ITER 4259 NEW BEST:: SOT 96782 SOS 23904 HAS SOPS 23904 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12398.904
AT ITER 4268 NEW BEST:: SOT 96768 SOS 23895 HAS SOPS 23895 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12386.895
AT ITER 4284 NEW BEST:: SOT 96762 SOS 23883 HAS SOPS 23883 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12374.883
AT ITER 4326 NEW BEST:: SOT 96765 SOS 23886 HAS SOPS 23886 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12372.886
AT ITER 4330 NEW BEST:: SOT 96771 SOS 23885 HAS SOPS 23885 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12371.885
AT ITER 4360 NEW BEST:: SOT 96731 SOS 23845 HAS SOPS 23845 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12271.845
AT ITER 4382 NEW BEST:: SOT 96718 SOS 23832 HAS SOPS 23832 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12245.832
AT ITER 4384 NEW BEST:: SOT 96622 SOS 23699 HAS SOPS 23699 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12190.699
AT ITER 4468 NEW BEST:: SOT 96608 SOS 23685 HAS SOPS 23685 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12190.685
AT ITER 4520 NEW BEST:: SOT 96608 SOS 23620 HAS SOPS 23620 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12122.62
AT ITER 4563 NEW BEST:: SOT 96595 SOS 23594 HAS SOPS 23594 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12096.594
AT ITER 4580 NEW BEST:: SOT 96586 SOS 23616 HAS SOPS 23616 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12087.616
AT ITER 4620 NEW BEST:: SOT 96550 SOS 23580 HAS SOPS 23580 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12051.58
AT ITER 4625 NEW BEST:: SOT 96549 SOS 23523 HAS SOPS 23523 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12049.523
AT ITER 4626 NEW BEST:: SOT 96567 SOS 23541 HAS SOPS 23541 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12041.541
AT ITER 4698 NEW BEST:: SOT 96559 SOS 23533 HAS SOPS 23533 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12025.533
AT ITER 4707 NEW BEST:: SOT 96524 SOS 23498 HAS SOPS 23498 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11996.498
AT ITER 4708 NEW BEST:: SOT 96521 SOS 23545 HAS SOPS 23545 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11993.545
AT ITER 4710 NEW BEST:: SOT 96521 SOS 23530 HAS SOPS 23530 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11978.53
AT ITER 4728 NEW BEST:: SOT 96543 SOS 23553 HAS SOPS 23553 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11954.553
AT ITER 4733 NEW BEST:: SOT 96542 SOS 23552 HAS SOPS 23552 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11952.552
AT ITER 4748 NEW BEST:: SOT 96454 SOS 23382 HAS SOPS 23382 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11826.382
AT ITER 4848 NEW BEST:: SOT 96434 SOS 23362 HAS SOPS 23362 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11786.362
AT ITER 4890 NEW BEST:: SOT 96441 SOS 23384 HAS SOPS 23384 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11783.384
AT ITER 4904 NEW BEST:: SOT 96418 SOS 24383 HAS SOPS 24383 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11744.383
AT ITER 4983 NEW BEST:: SOT 95907 SOS 25965 HAS SOPS 25965 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11264.965
AT ITER 5050 NEW BEST:: SOT 95897 SOS 25953 HAS SOPS 25953 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11252.953
AT ITER 5103 NEW BEST:: SOT 95892 SOS 25927 HAS SOPS 25927 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11247.927
AT ITER 5131 NEW BEST:: SOT 95877 SOS 25912 HAS SOPS 25912 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11202.912
AT ITER 5133 NEW BEST:: SOT 95864 SOS 25899 HAS SOPS 25899 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11176.899
AT ITER 5138 NEW BEST:: SOT 95851 SOS 25886 HAS SOPS 25886 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11150.886
AT ITER 5144 NEW BEST:: SOT 95840 SOS 25864 HAS SOPS 25864 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11132.864
AT ITER 5169 NEW BEST:: SOT 95839 SOS 25863 HAS SOPS 25863 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11130.863
AT ITER 5175 NEW BEST:: SOT 95837 SOS 25861 HAS SOPS 25861 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11126.861
AT ITER 5236 NEW BEST:: SOT 95837 SOS 25873 HAS SOPS 25873 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11120.873
AT ITER 5255 NEW BEST:: SOT 95826 SOS 25868 HAS SOPS 25868 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11115.868
AT ITER 5261 NEW BEST:: SOT 95860 SOS 25826 HAS SOPS 25826 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11087.826
AT ITER 5269 NEW BEST:: SOT 95817 SOS 25744 HAS SOPS 25744 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 11005.744
AT ITER 5292 NEW BEST:: SOT 95811 SOS 25738 HAS SOPS 25738 HAS SOUS 10965 HAS SOUPS 10965 WITH SCORE 10990.738
AT ITER 5293 NEW BEST:: SOT 95810 SOS 25737 HAS SOPS 25737 HAS SOUS 10963 HAS SOUPS 10963 WITH SCORE 10988.737
AT ITER 5379 NEW BEST:: SOT 95781 SOS 25689 HAS SOPS 25689 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10986.689
AT ITER 5421 NEW BEST:: SOT 95767 SOS 25675 HAS SOPS 25675 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10972.675
AT ITER 5474 NEW BEST:: SOT 95761 SOS 25659 HAS SOPS 25659 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10959.659
AT ITER 5488 NEW BEST:: SOT 95753 SOS 25647 HAS SOPS 25647 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10943.647
AT ITER 5519 NEW BEST:: SOT 95735 SOS 25629 HAS SOPS 25629 HAS SOUS 10900 HAS SOUPS 10900 WITH SCORE 10925.629
AT ITER 5567 NEW BEST:: SOT 95733 SOS 25627 HAS SOPS 25627 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10921.627
AT ITER 5571 NEW BEST:: SOT 95733 SOS 25617 HAS SOPS 25617 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10911.617
AT ITER 5579 NEW BEST:: SOT 95724 SOS 25607 HAS SOPS 25607 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10901.607
AT ITER 5605 NEW BEST:: SOT 95723 SOS 25606 HAS SOPS 25606 HAS SOUS 10874 HAS SOUPS 10874 WITH SCORE 10899.606
AT ITER 5684 NEW BEST:: SOT 95694 SOS 25614 HAS SOPS 25614 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10886.614
AT ITER 5704 NEW BEST:: SOT 95690 SOS 25610 HAS SOPS 25610 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10872.61
AT ITER 5716 NEW BEST:: SOT 95696 SOS 25621 HAS SOPS 25621 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10871.621
AT ITER 5764 NEW BEST:: SOT 95685 SOS 25599 HAS SOPS 25599 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10855.599
AT ITER 5878 NEW BEST:: SOT 95684 SOS 25598 HAS SOPS 25598 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10853.598
AT ITER 5918 NEW BEST:: SOT 95678 SOS 25586 HAS SOPS 25586 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10841.586
AT ITER 6080 NEW BEST:: SOT 95682 SOS 25582 HAS SOPS 25582 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10841.582
AT ITER 6129 NEW BEST:: SOT 95682 SOS 25581 HAS SOPS 25581 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10840.581
AT ITER 6131 NEW BEST:: SOT 95666 SOS 25594 HAS SOPS 25594 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10839.594
AT ITER 6154 NEW BEST:: SOT 95666 SOS 25595 HAS SOPS 25595 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10838.595
AT ITER 6167 NEW BEST:: SOT 95662 SOS 25603 HAS SOPS 25603 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10834.603
AT ITER 6171 NEW BEST:: SOT 95661 SOS 25602 HAS SOPS 25602 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10832.602
AT ITER 6185 NEW BEST:: SOT 95661 SOS 25597 HAS SOPS 25597 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10830.597
AT ITER 6210 NEW BEST:: SOT 95660 SOS 25596 HAS SOPS 25596 HAS SOUS 10804 HAS SOUPS 10804 WITH SCORE 10829.596
AT ITER 6215 NEW BEST:: SOT 95656 SOS 25592 HAS SOPS 25592 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10821.592
AT ITER 6256 NEW BEST:: SOT 95617 SOS 25553 HAS SOPS 25553 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10743.553
AT ITER 6268 NEW BEST:: SOT 95616 SOS 25552 HAS SOPS 25552 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10741.552
AT ITER 6272 NEW BEST:: SOT 95612 SOS 25548 HAS SOPS 25548 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10733.548
AT ITER 6285 NEW BEST:: SOT 95611 SOS 25547 HAS SOPS 25547 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10731.547
AT ITER 6290 NEW BEST:: SOT 95561 SOS 25497 HAS SOPS 25497 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10631.497
AT ITER 6312 NEW BEST:: SOT 95560 SOS 25496 HAS SOPS 25496 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10631.496
AT ITER 6364 NEW BEST:: SOT 95550 SOS 25486 HAS SOPS 25486 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10611.486
AT ITER 6416 NEW BEST:: SOT 95546 SOS 25482 HAS SOPS 25482 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10603.482
AT ITER 6453 NEW BEST:: SOT 95533 SOS 25469 HAS SOPS 25469 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10577.469
AT ITER 6458 NEW BEST:: SOT 95528 SOS 25464 HAS SOPS 25464 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10572.464
AT ITER 6469 NEW BEST:: SOT 95517 SOS 25453 HAS SOPS 25453 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10550.453
AT ITER 6471 NEW BEST:: SOT 95502 SOS 25422 HAS SOPS 25422 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10530.422
AT ITER 6637 NEW BEST:: SOT 95501 SOS 25421 HAS SOPS 25421 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10529.421
AT ITER 6654 NEW BEST:: SOT 95492 SOS 25412 HAS SOPS 25412 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10520.412
AT ITER 6724 NEW BEST:: SOT 95489 SOS 25411 HAS SOPS 25411 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10519.411
AT ITER 6763 NEW BEST:: SOT 95479 SOS 25401 HAS SOPS 25401 HAS SOUS 10474 HAS SOUPS 10474 WITH SCORE 10499.401
AT ITER 6780 NEW BEST:: SOT 95459 SOS 25381 HAS SOPS 25381 HAS SOUS 10452 HAS SOUPS 10452 WITH SCORE 10477.381
AT ITER 6838 NEW BEST:: SOT 95470 SOS 25391 HAS SOPS 25391 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10476.391
AT ITER 6872 NEW BEST:: SOT 95460 SOS 25303 HAS SOPS 25303 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10400.303
AT ITER 6878 NEW BEST:: SOT 95458 SOS 25301 HAS SOPS 25301 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10396.301
AT ITER 6940 NEW BEST:: SOT 95443 SOS 25286 HAS SOPS 25286 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10363.286
AT ITER 6946 NEW BEST:: SOT 95438 SOS 25281 HAS SOPS 25281 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10353.281
AT ITER 6968 NEW BEST:: SOT 95390 SOS 25233 HAS SOPS 25233 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10305.233
AT ITER 6983 NEW BEST:: SOT 95388 SOS 25230 HAS SOPS 25230 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10302.23
AT ITER 7014 NEW BEST:: SOT 95373 SOS 25215 HAS SOPS 25215 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10272.215
AT ITER 7074 NEW BEST:: SOT 95372 SOS 25199 HAS SOPS 25199 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10270.199
AT ITER 7148 NEW BEST:: SOT 95398 SOS 25239 HAS SOPS 25239 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10259.239
AT ITER 7161 NEW BEST:: SOT 95367 SOS 25208 HAS SOPS 25208 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10197.208
AT ITER 7291 NEW BEST:: SOT 95332 SOS 25173 HAS SOPS 25173 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10127.173
AT ITER 7454 NEW BEST:: SOT 95328 SOS 25169 HAS SOPS 25169 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10119.169
AT ITER 7472 NEW BEST:: SOT 95325 SOS 25166 HAS SOPS 25166 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10116.166
AT ITER 7526 NEW BEST:: SOT 95325 SOS 25155 HAS SOPS 25155 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10113.155
AT ITER 7528 NEW BEST:: SOT 95317 SOS 25147 HAS SOPS 25147 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10097.147
AT ITER 7559 NEW BEST:: SOT 95318 SOS 25151 HAS SOPS 25151 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10089.151
AT ITER 7565 NEW BEST:: SOT 95318 SOS 25146 HAS SOPS 25146 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10084.146
AT ITER 7718 NEW BEST:: SOT 95314 SOS 25142 HAS SOPS 25142 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10076.142
AT ITER 7734 NEW BEST:: SOT 95263 SOS 25148 HAS SOPS 25148 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10061.148
AT ITER 7793 NEW BEST:: SOT 95260 SOS 25145 HAS SOPS 25145 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10054.145
AT ITER 7795 NEW BEST:: SOT 95242 SOS 25145 HAS SOPS 25145 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10018.145
AT ITER 7801 NEW BEST:: SOT 95240 SOS 25143 HAS SOPS 25143 HAS SOUS 9991 HAS SOUPS 9991 WITH SCORE 10016.143
AT ITER 7835 NEW BEST:: SOT 95237 SOS 25137 HAS SOPS 25137 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 10010.137
AT ITER 7846 NEW BEST:: SOT 95236 SOS 25137 HAS SOPS 25137 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 10008.137
AT ITER 7873 NEW BEST:: SOT 95228 SOS 25120 HAS SOPS 25120 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9991.12
AT ITER 8112 NEW BEST:: SOT 95195 SOS 25087 HAS SOPS 25087 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9925.087
AT ITER 8175 NEW BEST:: SOT 95178 SOS 25080 HAS SOPS 25080 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9885.08
AT ITER 8267 NEW BEST:: SOT 95176 SOS 25069 HAS SOPS 25069 HAS SOUS 9858 HAS SOUPS 9858 WITH SCORE 9883.069
AT ITER 8278 NEW BEST:: SOT 95165 SOS 25047 HAS SOPS 25047 HAS SOUS 9836 HAS SOUPS 9836 WITH SCORE 9861.047
AT ITER 8315 NEW BEST:: SOT 95165 SOS 25047 HAS SOPS 25047 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9859.047
AT ITER 8318 NEW BEST:: SOT 95164 SOS 25046 HAS SOPS 25046 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9858.046
AT ITER 8368 NEW BEST:: SOT 95156 SOS 25038 HAS SOPS 25038 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9842.038
AT ITER 8482 NEW BEST:: SOT 95089 SOS 25035 HAS SOPS 25035 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9740.035
AT ITER 8506 NEW BEST:: SOT 95082 SOS 25025 HAS SOPS 25025 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9737.025
AT ITER 8709 NEW BEST:: SOT 95081 SOS 25024 HAS SOPS 25024 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9736.024
AT ITER 8726 NEW BEST:: SOT 95069 SOS 25012 HAS SOPS 25012 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9712.012
AT ITER 8798 NEW BEST:: SOT 95050 SOS 25005 HAS SOPS 25005 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9655.005
AT ITER 8847 NEW BEST:: SOT 95045 SOS 25000 HAS SOPS 25000 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9645.0
AT ITER 8880 NEW BEST:: SOT 95039 SOS 24994 HAS SOPS 24994 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9632.994
AT ITER 8987 NEW BEST:: SOT 95032 SOS 24987 HAS SOPS 24987 HAS SOUS 9594 HAS SOUPS 9594 WITH SCORE 9618.987
AT ITER 9000 NEW BEST:: SOT 95024 SOS 24971 HAS SOPS 24971 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9602.971
AT ITER 9003 NEW BEST:: SOT 95021 SOS 24968 HAS SOPS 24968 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9596.968
AT ITER 9012 NEW BEST:: SOT 95013 SOS 24854 HAS SOPS 24854 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9572.854
AT ITER 9044 NEW BEST:: SOT 95013 SOS 24856 HAS SOPS 24856 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9568.856
AT ITER 9065 NEW BEST:: SOT 95011 SOS 24853 HAS SOPS 24853 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9565.853
AT ITER 9160 NEW BEST:: SOT 95004 SOS 24849 HAS SOPS 24849 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9558.849
AT ITER 9228 NEW BEST:: SOT 95010 SOS 24846 HAS SOPS 24846 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9555.846
AT ITER 9241 NEW BEST:: SOT 95006 SOS 24845 HAS SOPS 24845 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9554.845
AT ITER 9251 NEW BEST:: SOT 94968 SOS 24807 HAS SOPS 24807 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9478.807
AT ITER 9372 NEW BEST:: SOT 94967 SOS 24806 HAS SOPS 24806 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9476.806
AT ITER 9380 NEW BEST:: SOT 94962 SOS 24791 HAS SOPS 24791 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9476.791
AT ITER 9451 NEW BEST:: SOT 94952 SOS 24781 HAS SOPS 24781 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9456.781
AT ITER 9486 NEW BEST:: SOT 94952 SOS 24781 HAS SOPS 24781 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9455.781
AT ITER 9489 NEW BEST:: SOT 94942 SOS 24753 HAS SOPS 24753 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9453.753
AT ITER 9491 NEW BEST:: SOT 94941 SOS 24752 HAS SOPS 24752 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9452.752
AT ITER 9497 NEW BEST:: SOT 94959 SOS 24765 HAS SOPS 24765 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9447.765
AT ITER 9545 NEW BEST:: SOT 94969 SOS 24760 HAS SOPS 24760 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9442.76
AT ITER 9578 NEW BEST:: SOT 94967 SOS 24760 HAS SOPS 24760 HAS SOUS 9414 HAS SOUPS 9414 WITH SCORE 9438.76
AT ITER 9603 NEW BEST:: SOT 94963 SOS 24752 HAS SOPS 24752 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9430.752
AT ITER 9769 NEW BEST:: SOT 94963 SOS 24735 HAS SOPS 24735 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9426.735
AT ITER 9806 NEW BEST:: SOT 94888 SOS 24639 HAS SOPS 24639 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9330.639
AT ITER 9818 NEW BEST:: SOT 94887 SOS 24638 HAS SOPS 24638 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9328.638
AT ITER 9870 NEW BEST:: SOT 94879 SOS 24622 HAS SOPS 24622 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9310.622
AT ITER 9966 NEW BEST:: SOT 94878 SOS 24621 HAS SOPS 24621 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9308.621

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-40b"
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-40b, 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-158902542000304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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