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-158902541900208.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-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:16 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:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:15 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 68K 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 1589102949261

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

Filename model.pnml
Petri model created: 284 places, 235 transitions, 683 arcs.
AT ITER 0 NEW BEST:: SOT 38862 SOS 8656 HAS SOPS 8656 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.656
AT ITER 48 NEW BEST:: SOT 38844 SOS 8631 HAS SOPS 8631 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.631
AT ITER 54 NEW BEST:: SOT 38838 SOS 8619 HAS SOPS 8619 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7404.619
AT ITER 73 NEW BEST:: SOT 38838 SOS 8612 HAS SOPS 8612 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.612
AT ITER 84 NEW BEST:: SOT 38826 SOS 8593 HAS SOPS 8593 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7382.593
AT ITER 92 NEW BEST:: SOT 38794 SOS 8582 HAS SOPS 8582 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7371.582
AT ITER 120 NEW BEST:: SOT 38781 SOS 8581 HAS SOPS 8581 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.581
AT ITER 122 NEW BEST:: SOT 38778 SOS 8580 HAS SOPS 8580 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7369.58
AT ITER 146 NEW BEST:: SOT 38736 SOS 8550 HAS SOPS 8550 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7339.55
AT ITER 150 NEW BEST:: SOT 38707 SOS 8521 HAS SOPS 8521 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7309.521
AT ITER 157 NEW BEST:: SOT 38690 SOS 8506 HAS SOPS 8506 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7294.506
AT ITER 164 NEW BEST:: SOT 38636 SOS 8493 HAS SOPS 8493 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7276.493
AT ITER 184 NEW BEST:: SOT 38623 SOS 8474 HAS SOPS 8474 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.474
AT ITER 200 NEW BEST:: SOT 38627 SOS 8568 HAS SOPS 8568 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7238.568
AT ITER 232 NEW BEST:: SOT 38620 SOS 8563 HAS SOPS 8563 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7233.563
AT ITER 243 NEW BEST:: SOT 38586 SOS 8535 HAS SOPS 8535 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.535
AT ITER 253 NEW BEST:: SOT 38581 SOS 8514 HAS SOPS 8514 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7194.514
AT ITER 269 NEW BEST:: SOT 38576 SOS 8509 HAS SOPS 8509 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7189.509
AT ITER 297 NEW BEST:: SOT 38577 SOS 8511 HAS SOPS 8511 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7186.511
AT ITER 313 NEW BEST:: SOT 38577 SOS 8485 HAS SOPS 8485 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.485
AT ITER 322 NEW BEST:: SOT 38577 SOS 8472 HAS SOPS 8472 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.472
AT ITER 328 NEW BEST:: SOT 38578 SOS 8459 HAS SOPS 8459 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7134.459
AT ITER 335 NEW BEST:: SOT 38569 SOS 8458 HAS SOPS 8458 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.458
AT ITER 340 NEW BEST:: SOT 38555 SOS 8456 HAS SOPS 8456 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.456
AT ITER 384 NEW BEST:: SOT 38528 SOS 8394 HAS SOPS 8394 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.394
AT ITER 386 NEW BEST:: SOT 38535 SOS 8368 HAS SOPS 8368 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7051.368
AT ITER 435 NEW BEST:: SOT 38548 SOS 8371 HAS SOPS 8371 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7041.371
AT ITER 441 NEW BEST:: SOT 38552 SOS 8358 HAS SOPS 8358 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7028.358
AT ITER 442 NEW BEST:: SOT 38551 SOS 8353 HAS SOPS 8353 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.353
AT ITER 463 NEW BEST:: SOT 38547 SOS 8338 HAS SOPS 8338 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7019.338
AT ITER 484 NEW BEST:: SOT 38509 SOS 8286 HAS SOPS 8286 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6980.286
AT ITER 521 NEW BEST:: SOT 38519 SOS 8303 HAS SOPS 8303 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6949.303
AT ITER 526 NEW BEST:: SOT 38510 SOS 8293 HAS SOPS 8293 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.293
AT ITER 558 NEW BEST:: SOT 38494 SOS 8291 HAS SOPS 8291 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6933.291
AT ITER 572 NEW BEST:: SOT 38502 SOS 8266 HAS SOPS 8266 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6917.266
AT ITER 585 NEW BEST:: SOT 38490 SOS 8259 HAS SOPS 8259 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.259
AT ITER 639 NEW BEST:: SOT 38483 SOS 8252 HAS SOPS 8252 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6902.252
AT ITER 680 NEW BEST:: SOT 38483 SOS 8251 HAS SOPS 8251 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6901.251
AT ITER 684 NEW BEST:: SOT 38481 SOS 8246 HAS SOPS 8246 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.246
AT ITER 730 NEW BEST:: SOT 38468 SOS 8280 HAS SOPS 8280 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6883.28
AT ITER 739 NEW BEST:: SOT 38468 SOS 8280 HAS SOPS 8280 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6878.28
AT ITER 805 NEW BEST:: SOT 38464 SOS 8164 HAS SOPS 8164 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.164
AT ITER 808 NEW BEST:: SOT 38429 SOS 8405 HAS SOPS 8405 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.405
AT ITER 829 NEW BEST:: SOT 38422 SOS 8398 HAS SOPS 8398 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6850.398
AT ITER 850 NEW BEST:: SOT 38422 SOS 8445 HAS SOPS 8445 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.445
AT ITER 851 NEW BEST:: SOT 38422 SOS 8373 HAS SOPS 8373 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6827.373
AT ITER 853 NEW BEST:: SOT 38422 SOS 8394 HAS SOPS 8394 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.394
AT ITER 878 NEW BEST:: SOT 38422 SOS 8379 HAS SOPS 8379 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6810.379
AT ITER 887 NEW BEST:: SOT 38426 SOS 8357 HAS SOPS 8357 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6788.357
AT ITER 904 NEW BEST:: SOT 38437 SOS 8203 HAS SOPS 8203 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6756.203
AT ITER 942 NEW BEST:: SOT 38426 SOS 8197 HAS SOPS 8197 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.197
AT ITER 944 NEW BEST:: SOT 38426 SOS 8267 HAS SOPS 8267 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6728.267
AT ITER 969 NEW BEST:: SOT 38415 SOS 8235 HAS SOPS 8235 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6706.235
AT ITER 1009 NEW BEST:: SOT 38414 SOS 8234 HAS SOPS 8234 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6705.234
AT ITER 1014 NEW BEST:: SOT 38444 SOS 8232 HAS SOPS 8232 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.232
AT ITER 1021 NEW BEST:: SOT 38443 SOS 8231 HAS SOPS 8231 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.231
AT ITER 1051 NEW BEST:: SOT 38443 SOS 8229 HAS SOPS 8229 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.229
AT ITER 1056 NEW BEST:: SOT 38443 SOS 8129 HAS SOPS 8129 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.129
AT ITER 1071 NEW BEST:: SOT 38441 SOS 8127 HAS SOPS 8127 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.127
AT ITER 1109 NEW BEST:: SOT 38441 SOS 8107 HAS SOPS 8107 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.107
AT ITER 1135 NEW BEST:: SOT 38428 SOS 8102 HAS SOPS 8102 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6695.102
AT ITER 1158 NEW BEST:: SOT 38400 SOS 7987 HAS SOPS 7987 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6635.987
AT ITER 1159 NEW BEST:: SOT 38397 SOS 7984 HAS SOPS 7984 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6629.984
AT ITER 1174 NEW BEST:: SOT 38394 SOS 8012 HAS SOPS 8012 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6624.012
AT ITER 1196 NEW BEST:: SOT 38384 SOS 8007 HAS SOPS 8007 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.007
AT ITER 1232 NEW BEST:: SOT 38384 SOS 8001 HAS SOPS 8001 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.001
AT ITER 1243 NEW BEST:: SOT 38338 SOS 7955 HAS SOPS 7955 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.955
AT ITER 1286 NEW BEST:: SOT 38337 SOS 7954 HAS SOPS 7954 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6570.954
AT ITER 1292 NEW BEST:: SOT 38307 SOS 7941 HAS SOPS 7941 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.941
AT ITER 1306 NEW BEST:: SOT 38317 SOS 7953 HAS SOPS 7953 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.953
AT ITER 1307 NEW BEST:: SOT 38317 SOS 7947 HAS SOPS 7947 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6540.947
AT ITER 1310 NEW BEST:: SOT 38301 SOS 7932 HAS SOPS 7932 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.932
AT ITER 1320 NEW BEST:: SOT 38298 SOS 7926 HAS SOPS 7926 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.926
AT ITER 1345 NEW BEST:: SOT 38289 SOS 7909 HAS SOPS 7909 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6514.909
AT ITER 1351 NEW BEST:: SOT 38265 SOS 7854 HAS SOPS 7854 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6511.854
AT ITER 1425 NEW BEST:: SOT 38264 SOS 7850 HAS SOPS 7850 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.85
AT ITER 1427 NEW BEST:: SOT 38259 SOS 7840 HAS SOPS 7840 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6497.84
AT ITER 1433 NEW BEST:: SOT 38257 SOS 7843 HAS SOPS 7843 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6493.843
AT ITER 1462 NEW BEST:: SOT 38273 SOS 7854 HAS SOPS 7854 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.854
AT ITER 1473 NEW BEST:: SOT 38273 SOS 7850 HAS SOPS 7850 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.85
AT ITER 1514 NEW BEST:: SOT 38273 SOS 7848 HAS SOPS 7848 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.848
AT ITER 1610 NEW BEST:: SOT 38269 SOS 7838 HAS SOPS 7838 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6471.838
AT ITER 1629 NEW BEST:: SOT 38273 SOS 7837 HAS SOPS 7837 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.837
AT ITER 1681 NEW BEST:: SOT 38243 SOS 7798 HAS SOPS 7798 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6431.798
AT ITER 1709 NEW BEST:: SOT 38243 SOS 7798 HAS SOPS 7798 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6415.798
AT ITER 1752 NEW BEST:: SOT 38233 SOS 7781 HAS SOPS 7781 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6395.781
AT ITER 1772 NEW BEST:: SOT 38227 SOS 7755 HAS SOPS 7755 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.755
AT ITER 1811 NEW BEST:: SOT 38225 SOS 7753 HAS SOPS 7753 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6368.753
AT ITER 1839 NEW BEST:: SOT 38225 SOS 7755 HAS SOPS 7755 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6358.755
AT ITER 1844 NEW BEST:: SOT 38227 SOS 7759 HAS SOPS 7759 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6346.759
AT ITER 1875 NEW BEST:: SOT 38219 SOS 7754 HAS SOPS 7754 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.754
AT ITER 1881 NEW BEST:: SOT 38219 SOS 7754 HAS SOPS 7754 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.754
AT ITER 1937 NEW BEST:: SOT 38214 SOS 7747 HAS SOPS 7747 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.747
AT ITER 1968 NEW BEST:: SOT 38209 SOS 7750 HAS SOPS 7750 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6330.75
AT ITER 1969 NEW BEST:: SOT 38199 SOS 7720 HAS SOPS 7720 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6315.72
AT ITER 1984 NEW BEST:: SOT 38199 SOS 7709 HAS SOPS 7709 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.709
AT ITER 1990 NEW BEST:: SOT 38173 SOS 7707 HAS SOPS 7707 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6284.707
AT ITER 2009 NEW BEST:: SOT 38160 SOS 7698 HAS SOPS 7698 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.698
AT ITER 2015 NEW BEST:: SOT 38160 SOS 7698 HAS SOPS 7698 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6271.698
AT ITER 2023 NEW BEST:: SOT 38159 SOS 7696 HAS SOPS 7696 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.696
AT ITER 2057 NEW BEST:: SOT 38158 SOS 7694 HAS SOPS 7694 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6268.694
AT ITER 2082 NEW BEST:: SOT 38172 SOS 7691 HAS SOPS 7691 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.691
AT ITER 2104 NEW BEST:: SOT 38169 SOS 7685 HAS SOPS 7685 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6259.685
AT ITER 2130 NEW BEST:: SOT 38169 SOS 7685 HAS SOPS 7685 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.685
AT ITER 2156 NEW BEST:: SOT 38157 SOS 7673 HAS SOPS 7673 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6245.673
AT ITER 2241 NEW BEST:: SOT 38165 SOS 7671 HAS SOPS 7671 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6243.671
AT ITER 2264 NEW BEST:: SOT 38161 SOS 7665 HAS SOPS 7665 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6237.665
AT ITER 2330 NEW BEST:: SOT 38156 SOS 7656 HAS SOPS 7656 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.656
AT ITER 2338 NEW BEST:: SOT 38165 SOS 7679 HAS SOPS 7679 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.679
AT ITER 2339 NEW BEST:: SOT 38162 SOS 7652 HAS SOPS 7652 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6195.652
AT ITER 2383 NEW BEST:: SOT 38142 SOS 7632 HAS SOPS 7632 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.632
AT ITER 2399 NEW BEST:: SOT 38142 SOS 7621 HAS SOPS 7621 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6174.621
AT ITER 2425 NEW BEST:: SOT 38145 SOS 7618 HAS SOPS 7618 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.618
AT ITER 2433 NEW BEST:: SOT 38145 SOS 7617 HAS SOPS 7617 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6170.617
AT ITER 2458 NEW BEST:: SOT 38145 SOS 7615 HAS SOPS 7615 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6168.615
AT ITER 2464 NEW BEST:: SOT 38136 SOS 7634 HAS SOPS 7634 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6164.634
AT ITER 2467 NEW BEST:: SOT 38122 SOS 7620 HAS SOPS 7620 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.62
AT ITER 2537 NEW BEST:: SOT 38125 SOS 7619 HAS SOPS 7619 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6162.619
AT ITER 2579 NEW BEST:: SOT 38112 SOS 7596 HAS SOPS 7596 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6139.596
AT ITER 2596 NEW BEST:: SOT 38112 SOS 7592 HAS SOPS 7592 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6139.592
AT ITER 2660 NEW BEST:: SOT 38106 SOS 7586 HAS SOPS 7586 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6139.586
AT ITER 2684 NEW BEST:: SOT 38077 SOS 7541 HAS SOPS 7541 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6132.541
AT ITER 2686 NEW BEST:: SOT 38077 SOS 7547 HAS SOPS 7547 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6131.547
AT ITER 2733 NEW BEST:: SOT 38081 SOS 7545 HAS SOPS 7545 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.545
AT ITER 2767 NEW BEST:: SOT 38078 SOS 7536 HAS SOPS 7536 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6120.536
AT ITER 2785 NEW BEST:: SOT 38057 SOS 7490 HAS SOPS 7490 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6099.49
AT ITER 2788 NEW BEST:: SOT 38057 SOS 7488 HAS SOPS 7488 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.488
AT ITER 2794 NEW BEST:: SOT 38057 SOS 7484 HAS SOPS 7484 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.484
AT ITER 2819 NEW BEST:: SOT 38042 SOS 7441 HAS SOPS 7441 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6067.441
AT ITER 2846 NEW BEST:: SOT 38039 SOS 7434 HAS SOPS 7434 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.434
AT ITER 2867 NEW BEST:: SOT 38035 SOS 7427 HAS SOPS 7427 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.427
AT ITER 2885 NEW BEST:: SOT 38031 SOS 7474 HAS SOPS 7474 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6028.474
AT ITER 2923 NEW BEST:: SOT 38016 SOS 7468 HAS SOPS 7468 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6015.468
AT ITER 2926 NEW BEST:: SOT 38011 SOS 7467 HAS SOPS 7467 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.467
AT ITER 2942 NEW BEST:: SOT 38011 SOS 7462 HAS SOPS 7462 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.462
AT ITER 2995 NEW BEST:: SOT 38004 SOS 7443 HAS SOPS 7443 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.443
AT ITER 3045 NEW BEST:: SOT 38000 SOS 7439 HAS SOPS 7439 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5989.439
AT ITER 3068 NEW BEST:: SOT 38000 SOS 7438 HAS SOPS 7438 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.438
AT ITER 3092 NEW BEST:: SOT 37992 SOS 7432 HAS SOPS 7432 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.432
AT ITER 3124 NEW BEST:: SOT 37971 SOS 7342 HAS SOPS 7342 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5949.342
AT ITER 3127 NEW BEST:: SOT 37968 SOS 7341 HAS SOPS 7341 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.341
AT ITER 3164 NEW BEST:: SOT 37965 SOS 7348 HAS SOPS 7348 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5942.348
AT ITER 3166 NEW BEST:: SOT 37971 SOS 7341 HAS SOPS 7341 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5935.341
AT ITER 3203 NEW BEST:: SOT 37971 SOS 7340 HAS SOPS 7340 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5935.34
AT ITER 3246 NEW BEST:: SOT 37981 SOS 7420 HAS SOPS 7420 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.42
AT ITER 3259 NEW BEST:: SOT 37981 SOS 7416 HAS SOPS 7416 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5921.416
AT ITER 3261 NEW BEST:: SOT 37976 SOS 7409 HAS SOPS 7409 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5914.409
AT ITER 3272 NEW BEST:: SOT 37975 SOS 7408 HAS SOPS 7408 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.408
AT ITER 3285 NEW BEST:: SOT 37969 SOS 7402 HAS SOPS 7402 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.402
AT ITER 3302 NEW BEST:: SOT 37941 SOS 7360 HAS SOPS 7360 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5879.36
AT ITER 3336 NEW BEST:: SOT 37950 SOS 7357 HAS SOPS 7357 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5875.357
AT ITER 3397 NEW BEST:: SOT 37948 SOS 7285 HAS SOPS 7285 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5873.285
AT ITER 3418 NEW BEST:: SOT 37943 SOS 7280 HAS SOPS 7280 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5868.28
AT ITER 3477 NEW BEST:: SOT 37943 SOS 7279 HAS SOPS 7279 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5867.279
AT ITER 3483 NEW BEST:: SOT 37934 SOS 7204 HAS SOPS 7204 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5865.204
AT ITER 3509 NEW BEST:: SOT 37926 SOS 7188 HAS SOPS 7188 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.188
AT ITER 3546 NEW BEST:: SOT 37924 SOS 7182 HAS SOPS 7182 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.182
AT ITER 3589 NEW BEST:: SOT 37921 SOS 7166 HAS SOPS 7166 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.166
AT ITER 3738 NEW BEST:: SOT 37909 SOS 7115 HAS SOPS 7115 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5812.115
AT ITER 3797 NEW BEST:: SOT 37896 SOS 7124 HAS SOPS 7124 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5787.124
AT ITER 3807 NEW BEST:: SOT 37890 SOS 7125 HAS SOPS 7125 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5786.125
AT ITER 3887 NEW BEST:: SOT 37890 SOS 7121 HAS SOPS 7121 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5782.121
AT ITER 3899 NEW BEST:: SOT 37890 SOS 7100 HAS SOPS 7100 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.1
AT ITER 3957 NEW BEST:: SOT 37882 SOS 7079 HAS SOPS 7079 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5774.079
AT ITER 3963 NEW BEST:: SOT 37906 SOS 7180 HAS SOPS 7180 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5759.18
AT ITER 3977 NEW BEST:: SOT 37905 SOS 7178 HAS SOPS 7178 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5758.178
AT ITER 3980 NEW BEST:: SOT 37900 SOS 7176 HAS SOPS 7176 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5756.176
AT ITER 3982 NEW BEST:: SOT 37900 SOS 7174 HAS SOPS 7174 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5754.174
AT ITER 4022 NEW BEST:: SOT 37894 SOS 7168 HAS SOPS 7168 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5748.168
AT ITER 4036 NEW BEST:: SOT 37880 SOS 7150 HAS SOPS 7150 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5730.15
AT ITER 4062 NEW BEST:: SOT 37879 SOS 7151 HAS SOPS 7151 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5722.151
AT ITER 4074 NEW BEST:: SOT 37917 SOS 7209 HAS SOPS 7209 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5715.209
AT ITER 4139 NEW BEST:: SOT 37912 SOS 7204 HAS SOPS 7204 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5710.204
AT ITER 4169 NEW BEST:: SOT 37911 SOS 7203 HAS SOPS 7203 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5709.203
AT ITER 4228 NEW BEST:: SOT 37909 SOS 7197 HAS SOPS 7197 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5709.197
AT ITER 4290 NEW BEST:: SOT 37885 SOS 7181 HAS SOPS 7181 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5666.181
AT ITER 4304 NEW BEST:: SOT 37881 SOS 7171 HAS SOPS 7171 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5662.171
AT ITER 4350 NEW BEST:: SOT 37894 SOS 7170 HAS SOPS 7170 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5661.17
AT ITER 4447 NEW BEST:: SOT 37889 SOS 7165 HAS SOPS 7165 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.165
AT ITER 4520 NEW BEST:: SOT 37882 SOS 7151 HAS SOPS 7151 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5647.151
AT ITER 4525 NEW BEST:: SOT 37875 SOS 7143 HAS SOPS 7143 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5639.143
AT ITER 4528 NEW BEST:: SOT 37867 SOS 7114 HAS SOPS 7114 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5628.114
AT ITER 4537 NEW BEST:: SOT 37866 SOS 7116 HAS SOPS 7116 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5627.116
AT ITER 4584 NEW BEST:: SOT 37866 SOS 7115 HAS SOPS 7115 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5626.115
AT ITER 4586 NEW BEST:: SOT 37863 SOS 7112 HAS SOPS 7112 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5620.112
AT ITER 4610 NEW BEST:: SOT 37861 SOS 7111 HAS SOPS 7111 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5619.111
AT ITER 4637 NEW BEST:: SOT 37859 SOS 7105 HAS SOPS 7105 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5609.105
AT ITER 4651 NEW BEST:: SOT 37859 SOS 7105 HAS SOPS 7105 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5604.105
AT ITER 4774 NEW BEST:: SOT 37846 SOS 7092 HAS SOPS 7092 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5591.092
AT ITER 4776 NEW BEST:: SOT 37832 SOS 7073 HAS SOPS 7073 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5576.073
AT ITER 4820 NEW BEST:: SOT 37827 SOS 7102 HAS SOPS 7102 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5565.102
AT ITER 4828 NEW BEST:: SOT 37827 SOS 7094 HAS SOPS 7094 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5557.094
AT ITER 4891 NEW BEST:: SOT 37820 SOS 7105 HAS SOPS 7105 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5550.105
AT ITER 4905 NEW BEST:: SOT 37817 SOS 7096 HAS SOPS 7096 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5541.096
AT ITER 4938 NEW BEST:: SOT 37816 SOS 7094 HAS SOPS 7094 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5540.094
AT ITER 4944 NEW BEST:: SOT 37814 SOS 7088 HAS SOPS 7088 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5536.088
AT ITER 5017 NEW BEST:: SOT 37816 SOS 7090 HAS SOPS 7090 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5535.09
AT ITER 5073 NEW BEST:: SOT 37817 SOS 7094 HAS SOPS 7094 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5534.094
AT ITER 5187 NEW BEST:: SOT 37816 SOS 7089 HAS SOPS 7089 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5529.089
AT ITER 5191 NEW BEST:: SOT 37812 SOS 7079 HAS SOPS 7079 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5519.079
AT ITER 5203 NEW BEST:: SOT 37812 SOS 7076 HAS SOPS 7076 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5516.076
AT ITER 5256 NEW BEST:: SOT 37805 SOS 7063 HAS SOPS 7063 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5504.063
AT ITER 5315 NEW BEST:: SOT 37799 SOS 7062 HAS SOPS 7062 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5503.062
AT ITER 5352 NEW BEST:: SOT 37798 SOS 7060 HAS SOPS 7060 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5502.06
AT ITER 5402 NEW BEST:: SOT 37786 SOS 7060 HAS SOPS 7060 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.06
AT ITER 5421 NEW BEST:: SOT 37780 SOS 7054 HAS SOPS 7054 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5488.054
AT ITER 5694 NEW BEST:: SOT 37780 SOS 7048 HAS SOPS 7048 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5481.048
AT ITER 5718 NEW BEST:: SOT 37802 SOS 7046 HAS SOPS 7046 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5479.046
AT ITER 5800 NEW BEST:: SOT 37804 SOS 7030 HAS SOPS 7030 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5479.03
AT ITER 5856 NEW BEST:: SOT 37809 SOS 7029 HAS SOPS 7029 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5478.029
AT ITER 5863 NEW BEST:: SOT 37807 SOS 7016 HAS SOPS 7016 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.016
AT ITER 5872 NEW BEST:: SOT 37799 SOS 6978 HAS SOPS 6978 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.978
AT ITER 5921 NEW BEST:: SOT 37795 SOS 6964 HAS SOPS 6964 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.964
AT ITER 5924 NEW BEST:: SOT 37790 SOS 6962 HAS SOPS 6962 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.962
AT ITER 5961 NEW BEST:: SOT 37768 SOS 6964 HAS SOPS 6964 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.964
AT ITER 5979 NEW BEST:: SOT 37765 SOS 6961 HAS SOPS 6961 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.961
AT ITER 6007 NEW BEST:: SOT 37741 SOS 6885 HAS SOPS 6885 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.885
AT ITER 6076 NEW BEST:: SOT 37740 SOS 6883 HAS SOPS 6883 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.883
AT ITER 6151 NEW BEST:: SOT 37740 SOS 6882 HAS SOPS 6882 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5403.882
AT ITER 6170 NEW BEST:: SOT 37740 SOS 6878 HAS SOPS 6878 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.878
AT ITER 6225 NEW BEST:: SOT 37724 SOS 6887 HAS SOPS 6887 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5393.887
AT ITER 6289 NEW BEST:: SOT 37714 SOS 6877 HAS SOPS 6877 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.877
AT ITER 6368 NEW BEST:: SOT 37713 SOS 6875 HAS SOPS 6875 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.875
AT ITER 6371 NEW BEST:: SOT 37712 SOS 6865 HAS SOPS 6865 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5371.865
AT ITER 6408 NEW BEST:: SOT 37712 SOS 6864 HAS SOPS 6864 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.864
AT ITER 6429 NEW BEST:: SOT 37706 SOS 6851 HAS SOPS 6851 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.851
AT ITER 6516 NEW BEST:: SOT 37704 SOS 6850 HAS SOPS 6850 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.85
AT ITER 6589 NEW BEST:: SOT 37704 SOS 6850 HAS SOPS 6850 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.85
AT ITER 6645 NEW BEST:: SOT 37704 SOS 6850 HAS SOPS 6850 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.85
AT ITER 6678 NEW BEST:: SOT 37704 SOS 6844 HAS SOPS 6844 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.844
AT ITER 6689 NEW BEST:: SOT 37677 SOS 6798 HAS SOPS 6798 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5353.798
AT ITER 6756 NEW BEST:: SOT 37676 SOS 6791 HAS SOPS 6791 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.791
AT ITER 6773 NEW BEST:: SOT 37676 SOS 6785 HAS SOPS 6785 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.785
AT ITER 6800 NEW BEST:: SOT 37676 SOS 6783 HAS SOPS 6783 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.783
AT ITER 6835 NEW BEST:: SOT 37674 SOS 6783 HAS SOPS 6783 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5346.783
AT ITER 6841 NEW BEST:: SOT 37671 SOS 6780 HAS SOPS 6780 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.78
AT ITER 6850 NEW BEST:: SOT 37667 SOS 6764 HAS SOPS 6764 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5339.764
AT ITER 6877 NEW BEST:: SOT 37660 SOS 6771 HAS SOPS 6771 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.771
AT ITER 6898 NEW BEST:: SOT 37659 SOS 6770 HAS SOPS 6770 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.77
AT ITER 6945 NEW BEST:: SOT 37664 SOS 6758 HAS SOPS 6758 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.758
AT ITER 7006 NEW BEST:: SOT 37659 SOS 6748 HAS SOPS 6748 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.748
AT ITER 7029 NEW BEST:: SOT 37649 SOS 6718 HAS SOPS 6718 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5294.718
AT ITER 7051 NEW BEST:: SOT 37649 SOS 6717 HAS SOPS 6717 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.717
AT ITER 7084 NEW BEST:: SOT 37647 SOS 6715 HAS SOPS 6715 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5291.715
AT ITER 7104 NEW BEST:: SOT 37629 SOS 6705 HAS SOPS 6705 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.705
AT ITER 7114 NEW BEST:: SOT 37629 SOS 6703 HAS SOPS 6703 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.703
AT ITER 7116 NEW BEST:: SOT 37630 SOS 6709 HAS SOPS 6709 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.709
AT ITER 7219 NEW BEST:: SOT 37628 SOS 6709 HAS SOPS 6709 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.709
AT ITER 7233 NEW BEST:: SOT 37626 SOS 6714 HAS SOPS 6714 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.714
AT ITER 7294 NEW BEST:: SOT 37621 SOS 6707 HAS SOPS 6707 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5266.707
AT ITER 7301 NEW BEST:: SOT 37616 SOS 6703 HAS SOPS 6703 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.703
AT ITER 7314 NEW BEST:: SOT 37616 SOS 6683 HAS SOPS 6683 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5259.683
AT ITER 7337 NEW BEST:: SOT 37614 SOS 6681 HAS SOPS 6681 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5258.681
AT ITER 7346 NEW BEST:: SOT 37607 SOS 6674 HAS SOPS 6674 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5258.674
AT ITER 7421 NEW BEST:: SOT 37606 SOS 6673 HAS SOPS 6673 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5257.673
AT ITER 7467 NEW BEST:: SOT 37606 SOS 6672 HAS SOPS 6672 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.672
AT ITER 7536 NEW BEST:: SOT 37606 SOS 6671 HAS SOPS 6671 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.671
AT ITER 7544 NEW BEST:: SOT 37602 SOS 6659 HAS SOPS 6659 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5242.659
AT ITER 7579 NEW BEST:: SOT 37575 SOS 6626 HAS SOPS 6626 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5234.626
AT ITER 7663 NEW BEST:: SOT 37575 SOS 6610 HAS SOPS 6610 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5217.61
AT ITER 7703 NEW BEST:: SOT 37570 SOS 6600 HAS SOPS 6600 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.6
AT ITER 7711 NEW BEST:: SOT 37570 SOS 6599 HAS SOPS 6599 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5211.599
AT ITER 7721 NEW BEST:: SOT 37561 SOS 6575 HAS SOPS 6575 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.575
AT ITER 7742 NEW BEST:: SOT 37563 SOS 6579 HAS SOPS 6579 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.579
AT ITER 7845 NEW BEST:: SOT 37563 SOS 6579 HAS SOPS 6579 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5197.579
AT ITER 7846 NEW BEST:: SOT 37565 SOS 6577 HAS SOPS 6577 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.577
AT ITER 7856 NEW BEST:: SOT 37563 SOS 6575 HAS SOPS 6575 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.575
AT ITER 7892 NEW BEST:: SOT 37563 SOS 6562 HAS SOPS 6562 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5191.562
AT ITER 7982 NEW BEST:: SOT 37560 SOS 6550 HAS SOPS 6550 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5186.55
AT ITER 7998 NEW BEST:: SOT 37558 SOS 6551 HAS SOPS 6551 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5184.551
AT ITER 8019 NEW BEST:: SOT 37558 SOS 6552 HAS SOPS 6552 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5183.552
AT ITER 8029 NEW BEST:: SOT 37557 SOS 6551 HAS SOPS 6551 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5182.551
AT ITER 8126 NEW BEST:: SOT 37557 SOS 6549 HAS SOPS 6549 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.549
AT ITER 8149 NEW BEST:: SOT 37557 SOS 6555 HAS SOPS 6555 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5170.555
AT ITER 8167 NEW BEST:: SOT 37556 SOS 6549 HAS SOPS 6549 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5164.549
AT ITER 8299 NEW BEST:: SOT 37554 SOS 6547 HAS SOPS 6547 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5162.547
AT ITER 8410 NEW BEST:: SOT 37551 SOS 6531 HAS SOPS 6531 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5146.531
AT ITER 8417 NEW BEST:: SOT 37547 SOS 6544 HAS SOPS 6544 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.544
AT ITER 8493 NEW BEST:: SOT 37546 SOS 6545 HAS SOPS 6545 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.545
AT ITER 8525 NEW BEST:: SOT 37530 SOS 6524 HAS SOPS 6524 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.524
AT ITER 8580 NEW BEST:: SOT 37500 SOS 6478 HAS SOPS 6478 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.478
AT ITER 8613 NEW BEST:: SOT 37498 SOS 6472 HAS SOPS 6472 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.472
AT ITER 8683 NEW BEST:: SOT 37494 SOS 6457 HAS SOPS 6457 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.457
AT ITER 8691 NEW BEST:: SOT 37463 SOS 6480 HAS SOPS 6480 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5056.48
AT ITER 8781 NEW BEST:: SOT 37450 SOS 6469 HAS SOPS 6469 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.469
AT ITER 8801 NEW BEST:: SOT 37448 SOS 6469 HAS SOPS 6469 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5043.469
AT ITER 8843 NEW BEST:: SOT 37444 SOS 6465 HAS SOPS 6465 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5039.465
AT ITER 8873 NEW BEST:: SOT 37444 SOS 6463 HAS SOPS 6463 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5037.463
AT ITER 8913 NEW BEST:: SOT 37441 SOS 6460 HAS SOPS 6460 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5034.46
AT ITER 8932 NEW BEST:: SOT 37441 SOS 6458 HAS SOPS 6458 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.458
AT ITER 8950 NEW BEST:: SOT 37438 SOS 6458 HAS SOPS 6458 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5027.458
AT ITER 8962 NEW BEST:: SOT 37435 SOS 6455 HAS SOPS 6455 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.455
AT ITER 8965 NEW BEST:: SOT 37432 SOS 6357 HAS SOPS 6357 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.357
AT ITER 9047 NEW BEST:: SOT 37427 SOS 6347 HAS SOPS 6347 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.347
AT ITER 9071 NEW BEST:: SOT 37425 SOS 6342 HAS SOPS 6342 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.342
AT ITER 9162 NEW BEST:: SOT 37425 SOS 6337 HAS SOPS 6337 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5006.337
AT ITER 9174 NEW BEST:: SOT 37425 SOS 6333 HAS SOPS 6333 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.333
AT ITER 9177 NEW BEST:: SOT 37430 SOS 6343 HAS SOPS 6343 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4998.343
AT ITER 9197 NEW BEST:: SOT 37430 SOS 6326 HAS SOPS 6326 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4982.326
AT ITER 9265 NEW BEST:: SOT 37433 SOS 6324 HAS SOPS 6324 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4981.324
AT ITER 9348 NEW BEST:: SOT 37423 SOS 6320 HAS SOPS 6320 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4973.32
AT ITER 9583 NEW BEST:: SOT 37423 SOS 6324 HAS SOPS 6324 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4960.324
AT ITER 9771 NEW BEST:: SOT 37424 SOS 6325 HAS SOPS 6325 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.325
AT ITER 9897 NEW BEST:: SOT 37424 SOS 6324 HAS SOPS 6324 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.324
AT ITER 9971 NEW BEST:: SOT 37424 SOS 6323 HAS SOPS 6323 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4957.323
STATE_SPACE STATES 201273905920339254 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3537693713743345570 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589103162656

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

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