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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 2.7K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.1K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 69K 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 1589103004340

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

Filename model.pnml
Petri model created: 288 places, 239 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 40180 SOS 8943 HAS SOPS 8943 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.943
AT ITER 34 NEW BEST:: SOT 40136 SOS 8973 HAS SOPS 8973 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.973
AT ITER 38 NEW BEST:: SOT 40127 SOS 8972 HAS SOPS 8972 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7671.972
AT ITER 46 NEW BEST:: SOT 40127 SOS 8934 HAS SOPS 8934 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.934
AT ITER 65 NEW BEST:: SOT 40126 SOS 8904 HAS SOPS 8904 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.904
AT ITER 78 NEW BEST:: SOT 40123 SOS 8901 HAS SOPS 8901 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.901
AT ITER 173 NEW BEST:: SOT 40065 SOS 8859 HAS SOPS 8859 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.859
AT ITER 201 NEW BEST:: SOT 40004 SOS 8777 HAS SOPS 8777 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.777
AT ITER 230 NEW BEST:: SOT 39978 SOS 8807 HAS SOPS 8807 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7482.807
AT ITER 243 NEW BEST:: SOT 39972 SOS 8812 HAS SOPS 8812 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.812
AT ITER 249 NEW BEST:: SOT 39949 SOS 8787 HAS SOPS 8787 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.787
AT ITER 268 NEW BEST:: SOT 39938 SOS 8776 HAS SOPS 8776 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7440.776
AT ITER 277 NEW BEST:: SOT 39918 SOS 8765 HAS SOPS 8765 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.765
AT ITER 307 NEW BEST:: SOT 39918 SOS 8707 HAS SOPS 8707 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.707
AT ITER 313 NEW BEST:: SOT 39894 SOS 8597 HAS SOPS 8597 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.597
AT ITER 316 NEW BEST:: SOT 39894 SOS 8587 HAS SOPS 8587 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7396.587
AT ITER 317 NEW BEST:: SOT 39885 SOS 8577 HAS SOPS 8577 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.577
AT ITER 319 NEW BEST:: SOT 39884 SOS 8573 HAS SOPS 8573 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.573
AT ITER 335 NEW BEST:: SOT 39868 SOS 8538 HAS SOPS 8538 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7350.538
AT ITER 359 NEW BEST:: SOT 39841 SOS 8523 HAS SOPS 8523 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7322.523
AT ITER 370 NEW BEST:: SOT 39838 SOS 8523 HAS SOPS 8523 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7320.523
AT ITER 375 NEW BEST:: SOT 39827 SOS 8490 HAS SOPS 8490 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7309.49
AT ITER 377 NEW BEST:: SOT 39810 SOS 8453 HAS SOPS 8453 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.453
AT ITER 401 NEW BEST:: SOT 39790 SOS 8433 HAS SOPS 8433 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.433
AT ITER 407 NEW BEST:: SOT 39754 SOS 8431 HAS SOPS 8431 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7274.431
AT ITER 409 NEW BEST:: SOT 39754 SOS 8428 HAS SOPS 8428 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.428
AT ITER 411 NEW BEST:: SOT 39743 SOS 8396 HAS SOPS 8396 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.396
AT ITER 414 NEW BEST:: SOT 39668 SOS 8498 HAS SOPS 8498 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.498
AT ITER 430 NEW BEST:: SOT 39668 SOS 8428 HAS SOPS 8428 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.428
AT ITER 490 NEW BEST:: SOT 39668 SOS 8420 HAS SOPS 8420 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7175.42
AT ITER 587 NEW BEST:: SOT 39665 SOS 8419 HAS SOPS 8419 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7170.419
AT ITER 592 NEW BEST:: SOT 39640 SOS 8403 HAS SOPS 8403 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.403
AT ITER 594 NEW BEST:: SOT 39636 SOS 8399 HAS SOPS 8399 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.399
AT ITER 630 NEW BEST:: SOT 39625 SOS 8388 HAS SOPS 8388 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.388
AT ITER 672 NEW BEST:: SOT 39623 SOS 8386 HAS SOPS 8386 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7127.386
AT ITER 691 NEW BEST:: SOT 39615 SOS 8378 HAS SOPS 8378 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.378
AT ITER 702 NEW BEST:: SOT 39657 SOS 8385 HAS SOPS 8385 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7115.385
AT ITER 760 NEW BEST:: SOT 39657 SOS 8380 HAS SOPS 8380 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.38
AT ITER 764 NEW BEST:: SOT 39657 SOS 8378 HAS SOPS 8378 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7107.378
AT ITER 839 NEW BEST:: SOT 39646 SOS 8376 HAS SOPS 8376 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.376
AT ITER 842 NEW BEST:: SOT 39638 SOS 8376 HAS SOPS 8376 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7088.376
AT ITER 867 NEW BEST:: SOT 39621 SOS 8374 HAS SOPS 8374 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.374
AT ITER 872 NEW BEST:: SOT 39621 SOS 8370 HAS SOPS 8370 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7082.37
AT ITER 885 NEW BEST:: SOT 39615 SOS 8364 HAS SOPS 8364 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7082.364
AT ITER 911 NEW BEST:: SOT 39612 SOS 8358 HAS SOPS 8358 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7079.358
AT ITER 924 NEW BEST:: SOT 39586 SOS 8337 HAS SOPS 8337 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7058.337
AT ITER 925 NEW BEST:: SOT 39574 SOS 8317 HAS SOPS 8317 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7038.317
AT ITER 935 NEW BEST:: SOT 39565 SOS 8308 HAS SOPS 8308 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.308
AT ITER 955 NEW BEST:: SOT 39548 SOS 8325 HAS SOPS 8325 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.325
AT ITER 1002 NEW BEST:: SOT 39507 SOS 8266 HAS SOPS 8266 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6972.266
AT ITER 1051 NEW BEST:: SOT 39501 SOS 8260 HAS SOPS 8260 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.26
AT ITER 1095 NEW BEST:: SOT 39485 SOS 8252 HAS SOPS 8252 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6958.252
AT ITER 1116 NEW BEST:: SOT 39485 SOS 8248 HAS SOPS 8248 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.248
AT ITER 1117 NEW BEST:: SOT 39485 SOS 8235 HAS SOPS 8235 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.235
AT ITER 1119 NEW BEST:: SOT 39473 SOS 8201 HAS SOPS 8201 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.201
AT ITER 1120 NEW BEST:: SOT 39456 SOS 8113 HAS SOPS 8113 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6887.113
AT ITER 1144 NEW BEST:: SOT 39449 SOS 8100 HAS SOPS 8100 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.1
AT ITER 1167 NEW BEST:: SOT 39434 SOS 8096 HAS SOPS 8096 HAS SOUS 6857 HAS SOUPS 6857 WITH SCORE 6865.096
AT ITER 1172 NEW BEST:: SOT 39431 SOS 8087 HAS SOPS 8087 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.087
AT ITER 1190 NEW BEST:: SOT 39378 SOS 8086 HAS SOPS 8086 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.086
AT ITER 1320 NEW BEST:: SOT 39372 SOS 8076 HAS SOPS 8076 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6801.076
AT ITER 1401 NEW BEST:: SOT 39362 SOS 8066 HAS SOPS 8066 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6791.066
AT ITER 1407 NEW BEST:: SOT 39355 SOS 8038 HAS SOPS 8038 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.038
AT ITER 1431 NEW BEST:: SOT 39354 SOS 8024 HAS SOPS 8024 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6763.024
AT ITER 1434 NEW BEST:: SOT 39342 SOS 7996 HAS SOPS 7996 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.996
AT ITER 1446 NEW BEST:: SOT 39324 SOS 7972 HAS SOPS 7972 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.972
AT ITER 1476 NEW BEST:: SOT 39320 SOS 7964 HAS SOPS 7964 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.964
AT ITER 1492 NEW BEST:: SOT 39320 SOS 7957 HAS SOPS 7957 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.957
AT ITER 1507 NEW BEST:: SOT 39311 SOS 7953 HAS SOPS 7953 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.953
AT ITER 1517 NEW BEST:: SOT 39311 SOS 7951 HAS SOPS 7951 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6703.951
AT ITER 1530 NEW BEST:: SOT 39303 SOS 7911 HAS SOPS 7911 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.911
AT ITER 1545 NEW BEST:: SOT 39310 SOS 7890 HAS SOPS 7890 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.89
AT ITER 1645 NEW BEST:: SOT 39299 SOS 7889 HAS SOPS 7889 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.889
AT ITER 1663 NEW BEST:: SOT 39296 SOS 7868 HAS SOPS 7868 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6678.868
AT ITER 1672 NEW BEST:: SOT 39296 SOS 7866 HAS SOPS 7866 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.866
AT ITER 1686 NEW BEST:: SOT 39272 SOS 7851 HAS SOPS 7851 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.851
AT ITER 1691 NEW BEST:: SOT 39271 SOS 7850 HAS SOPS 7850 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6663.85
AT ITER 1719 NEW BEST:: SOT 39270 SOS 7849 HAS SOPS 7849 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.849
AT ITER 1798 NEW BEST:: SOT 39270 SOS 7846 HAS SOPS 7846 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.846
AT ITER 1859 NEW BEST:: SOT 39270 SOS 7832 HAS SOPS 7832 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.832
AT ITER 1900 NEW BEST:: SOT 39259 SOS 7818 HAS SOPS 7818 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.818
AT ITER 1916 NEW BEST:: SOT 39262 SOS 7820 HAS SOPS 7820 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6580.82
AT ITER 1932 NEW BEST:: SOT 39261 SOS 7819 HAS SOPS 7819 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.819
AT ITER 1941 NEW BEST:: SOT 39261 SOS 7828 HAS SOPS 7828 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6573.828
AT ITER 1974 NEW BEST:: SOT 39237 SOS 7807 HAS SOPS 7807 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.807
AT ITER 1990 NEW BEST:: SOT 39236 SOS 7802 HAS SOPS 7802 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.802
AT ITER 2046 NEW BEST:: SOT 39236 SOS 7810 HAS SOPS 7810 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6539.81
AT ITER 2057 NEW BEST:: SOT 39234 SOS 7800 HAS SOPS 7800 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.8
AT ITER 2130 NEW BEST:: SOT 39236 SOS 7797 HAS SOPS 7797 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.797
AT ITER 2165 NEW BEST:: SOT 39234 SOS 7791 HAS SOPS 7791 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.791
AT ITER 2175 NEW BEST:: SOT 39224 SOS 7781 HAS SOPS 7781 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6508.781
AT ITER 2180 NEW BEST:: SOT 39223 SOS 7780 HAS SOPS 7780 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.78
AT ITER 2247 NEW BEST:: SOT 39207 SOS 7759 HAS SOPS 7759 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.759
AT ITER 2272 NEW BEST:: SOT 39204 SOS 7704 HAS SOPS 7704 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6483.704
AT ITER 2279 NEW BEST:: SOT 39199 SOS 7699 HAS SOPS 7699 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6478.699
AT ITER 2282 NEW BEST:: SOT 39193 SOS 7695 HAS SOPS 7695 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.695
AT ITER 2300 NEW BEST:: SOT 39190 SOS 7688 HAS SOPS 7688 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.688
AT ITER 2305 NEW BEST:: SOT 39189 SOS 7687 HAS SOPS 7687 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.687
AT ITER 2314 NEW BEST:: SOT 39188 SOS 7686 HAS SOPS 7686 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.686
AT ITER 2330 NEW BEST:: SOT 39178 SOS 7719 HAS SOPS 7719 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.719
AT ITER 2331 NEW BEST:: SOT 39177 SOS 7710 HAS SOPS 7710 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.71
AT ITER 2336 NEW BEST:: SOT 39181 SOS 7708 HAS SOPS 7708 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6440.708
AT ITER 2349 NEW BEST:: SOT 39178 SOS 7689 HAS SOPS 7689 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6421.689
AT ITER 2402 NEW BEST:: SOT 39178 SOS 7681 HAS SOPS 7681 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6413.681
AT ITER 2406 NEW BEST:: SOT 39178 SOS 7672 HAS SOPS 7672 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6410.672
AT ITER 2481 NEW BEST:: SOT 39172 SOS 7662 HAS SOPS 7662 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.662
AT ITER 2500 NEW BEST:: SOT 39182 SOS 7688 HAS SOPS 7688 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.688
AT ITER 2512 NEW BEST:: SOT 39176 SOS 7682 HAS SOPS 7682 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6388.682
AT ITER 2518 NEW BEST:: SOT 39176 SOS 7681 HAS SOPS 7681 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6388.681
AT ITER 2532 NEW BEST:: SOT 39173 SOS 7681 HAS SOPS 7681 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6385.681
AT ITER 2555 NEW BEST:: SOT 39173 SOS 7747 HAS SOPS 7747 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6383.747
AT ITER 2608 NEW BEST:: SOT 39150 SOS 7713 HAS SOPS 7713 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6349.713
AT ITER 2654 NEW BEST:: SOT 39140 SOS 7703 HAS SOPS 7703 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6339.703
AT ITER 2687 NEW BEST:: SOT 39137 SOS 7697 HAS SOPS 7697 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.697
AT ITER 2734 NEW BEST:: SOT 39130 SOS 7697 HAS SOPS 7697 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6334.697
AT ITER 2745 NEW BEST:: SOT 39130 SOS 7696 HAS SOPS 7696 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6334.696
AT ITER 2764 NEW BEST:: SOT 39130 SOS 7682 HAS SOPS 7682 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.682
AT ITER 2830 NEW BEST:: SOT 39127 SOS 7678 HAS SOPS 7678 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6323.678
AT ITER 2863 NEW BEST:: SOT 39127 SOS 7672 HAS SOPS 7672 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6323.672
AT ITER 2876 NEW BEST:: SOT 39121 SOS 7660 HAS SOPS 7660 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6317.66
AT ITER 2929 NEW BEST:: SOT 39105 SOS 7644 HAS SOPS 7644 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.644
AT ITER 2958 NEW BEST:: SOT 39140 SOS 7686 HAS SOPS 7686 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.686
AT ITER 2959 NEW BEST:: SOT 39133 SOS 7682 HAS SOPS 7682 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.682
AT ITER 3052 NEW BEST:: SOT 39110 SOS 7664 HAS SOPS 7664 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6258.664
AT ITER 3074 NEW BEST:: SOT 39108 SOS 7660 HAS SOPS 7660 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.66
AT ITER 3125 NEW BEST:: SOT 39066 SOS 7630 HAS SOPS 7630 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.63
AT ITER 3137 NEW BEST:: SOT 39059 SOS 7590 HAS SOPS 7590 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.59
AT ITER 3159 NEW BEST:: SOT 39068 SOS 7585 HAS SOPS 7585 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.585
AT ITER 3199 NEW BEST:: SOT 39067 SOS 7582 HAS SOPS 7582 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.582
AT ITER 3239 NEW BEST:: SOT 39064 SOS 7576 HAS SOPS 7576 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.576
AT ITER 3240 NEW BEST:: SOT 39050 SOS 7520 HAS SOPS 7520 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.52
AT ITER 3250 NEW BEST:: SOT 39044 SOS 7496 HAS SOPS 7496 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6154.496
AT ITER 3256 NEW BEST:: SOT 39033 SOS 7362 HAS SOPS 7362 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.362
AT ITER 3312 NEW BEST:: SOT 39031 SOS 7360 HAS SOPS 7360 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6095.36
AT ITER 3319 NEW BEST:: SOT 39017 SOS 7457 HAS SOPS 7457 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.457
AT ITER 3351 NEW BEST:: SOT 39025 SOS 7465 HAS SOPS 7465 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.465
AT ITER 3383 NEW BEST:: SOT 39016 SOS 7473 HAS SOPS 7473 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.473
AT ITER 3394 NEW BEST:: SOT 39006 SOS 7446 HAS SOPS 7446 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6021.446
AT ITER 3405 NEW BEST:: SOT 39005 SOS 7444 HAS SOPS 7444 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6019.444
AT ITER 3416 NEW BEST:: SOT 38991 SOS 7391 HAS SOPS 7391 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6000.391
AT ITER 3470 NEW BEST:: SOT 38976 SOS 7361 HAS SOPS 7361 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.361
AT ITER 3584 NEW BEST:: SOT 38991 SOS 7361 HAS SOPS 7361 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5950.361
AT ITER 3598 NEW BEST:: SOT 38990 SOS 7359 HAS SOPS 7359 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.359
AT ITER 3678 NEW BEST:: SOT 38992 SOS 7373 HAS SOPS 7373 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5944.373
AT ITER 3705 NEW BEST:: SOT 38991 SOS 7289 HAS SOPS 7289 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5942.289
AT ITER 3875 NEW BEST:: SOT 38981 SOS 7279 HAS SOPS 7279 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.279
AT ITER 3983 NEW BEST:: SOT 38977 SOS 7277 HAS SOPS 7277 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.277
AT ITER 3998 NEW BEST:: SOT 38971 SOS 7257 HAS SOPS 7257 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5924.257
AT ITER 4019 NEW BEST:: SOT 38971 SOS 7256 HAS SOPS 7256 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5923.256
AT ITER 4022 NEW BEST:: SOT 38969 SOS 7252 HAS SOPS 7252 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5922.252
AT ITER 4057 NEW BEST:: SOT 38965 SOS 7247 HAS SOPS 7247 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5917.247
AT ITER 4109 NEW BEST:: SOT 38963 SOS 7244 HAS SOPS 7244 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.244
AT ITER 4259 NEW BEST:: SOT 38959 SOS 7248 HAS SOPS 7248 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.248
AT ITER 4279 NEW BEST:: SOT 38950 SOS 7220 HAS SOPS 7220 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5898.22
AT ITER 4291 NEW BEST:: SOT 38947 SOS 7218 HAS SOPS 7218 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5896.218
AT ITER 4298 NEW BEST:: SOT 38934 SOS 7192 HAS SOPS 7192 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.192
AT ITER 4307 NEW BEST:: SOT 38933 SOS 7191 HAS SOPS 7191 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5881.191
AT ITER 4314 NEW BEST:: SOT 38948 SOS 7144 HAS SOPS 7144 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5880.144
AT ITER 4348 NEW BEST:: SOT 38945 SOS 7141 HAS SOPS 7141 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5877.141
AT ITER 4362 NEW BEST:: SOT 38935 SOS 7121 HAS SOPS 7121 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5867.121
AT ITER 4403 NEW BEST:: SOT 38931 SOS 7117 HAS SOPS 7117 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5863.117
AT ITER 4461 NEW BEST:: SOT 38935 SOS 7137 HAS SOPS 7137 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5862.137
AT ITER 4470 NEW BEST:: SOT 38932 SOS 7131 HAS SOPS 7131 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5856.131
AT ITER 4514 NEW BEST:: SOT 38926 SOS 7116 HAS SOPS 7116 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5845.116
AT ITER 4516 NEW BEST:: SOT 38926 SOS 7114 HAS SOPS 7114 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5843.114
AT ITER 4524 NEW BEST:: SOT 38925 SOS 7113 HAS SOPS 7113 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5842.113
AT ITER 4556 NEW BEST:: SOT 38933 SOS 7003 HAS SOPS 7003 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5832.003
AT ITER 4567 NEW BEST:: SOT 38925 SOS 6977 HAS SOPS 6977 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.977
AT ITER 4655 NEW BEST:: SOT 38919 SOS 6968 HAS SOPS 6968 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.968
AT ITER 4660 NEW BEST:: SOT 38901 SOS 6962 HAS SOPS 6962 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5764.962
AT ITER 4663 NEW BEST:: SOT 38894 SOS 6961 HAS SOPS 6961 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.961
AT ITER 4770 NEW BEST:: SOT 38892 SOS 6960 HAS SOPS 6960 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.96
AT ITER 4815 NEW BEST:: SOT 38890 SOS 6945 HAS SOPS 6945 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5759.945
AT ITER 4835 NEW BEST:: SOT 38890 SOS 6944 HAS SOPS 6944 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.944
AT ITER 4857 NEW BEST:: SOT 38888 SOS 6936 HAS SOPS 6936 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.936
AT ITER 4882 NEW BEST:: SOT 38882 SOS 6930 HAS SOPS 6930 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.93
AT ITER 4897 NEW BEST:: SOT 38881 SOS 6928 HAS SOPS 6928 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5744.928
AT ITER 4911 NEW BEST:: SOT 38879 SOS 6926 HAS SOPS 6926 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.926
AT ITER 4931 NEW BEST:: SOT 38878 SOS 6924 HAS SOPS 6924 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.924
AT ITER 4947 NEW BEST:: SOT 38877 SOS 6923 HAS SOPS 6923 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.923
AT ITER 4981 NEW BEST:: SOT 38877 SOS 6917 HAS SOPS 6917 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.917
AT ITER 5068 NEW BEST:: SOT 38871 SOS 6900 HAS SOPS 6900 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.9
AT ITER 5110 NEW BEST:: SOT 38868 SOS 6897 HAS SOPS 6897 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.897
AT ITER 5184 NEW BEST:: SOT 38847 SOS 6876 HAS SOPS 6876 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.876
AT ITER 5212 NEW BEST:: SOT 38825 SOS 6839 HAS SOPS 6839 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.839
AT ITER 5235 NEW BEST:: SOT 38821 SOS 6861 HAS SOPS 6861 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.861
AT ITER 5246 NEW BEST:: SOT 38807 SOS 6847 HAS SOPS 6847 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.847
AT ITER 5267 NEW BEST:: SOT 38798 SOS 6846 HAS SOPS 6846 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.846
AT ITER 5275 NEW BEST:: SOT 38796 SOS 6844 HAS SOPS 6844 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5644.844
AT ITER 5294 NEW BEST:: SOT 38793 SOS 6840 HAS SOPS 6840 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.84
AT ITER 5326 NEW BEST:: SOT 38788 SOS 6833 HAS SOPS 6833 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5636.833
AT ITER 5436 NEW BEST:: SOT 38792 SOS 6830 HAS SOPS 6830 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.83
AT ITER 5497 NEW BEST:: SOT 38787 SOS 6823 HAS SOPS 6823 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.823
AT ITER 5511 NEW BEST:: SOT 38787 SOS 6821 HAS SOPS 6821 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.821
AT ITER 5517 NEW BEST:: SOT 38786 SOS 6804 HAS SOPS 6804 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.804
AT ITER 5760 NEW BEST:: SOT 38786 SOS 6798 HAS SOPS 6798 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.798
AT ITER 5802 NEW BEST:: SOT 38780 SOS 6791 HAS SOPS 6791 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.791
AT ITER 5837 NEW BEST:: SOT 38783 SOS 6788 HAS SOPS 6788 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.788
AT ITER 5947 NEW BEST:: SOT 38783 SOS 6787 HAS SOPS 6787 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5610.787
AT ITER 5989 NEW BEST:: SOT 38777 SOS 6785 HAS SOPS 6785 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5604.785
AT ITER 6001 NEW BEST:: SOT 38771 SOS 6770 HAS SOPS 6770 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5589.77
AT ITER 6105 NEW BEST:: SOT 38768 SOS 6767 HAS SOPS 6767 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.767
AT ITER 6144 NEW BEST:: SOT 38767 SOS 6770 HAS SOPS 6770 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.77
AT ITER 6202 NEW BEST:: SOT 38748 SOS 6751 HAS SOPS 6751 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.751
AT ITER 6218 NEW BEST:: SOT 38741 SOS 6744 HAS SOPS 6744 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5568.744
AT ITER 6242 NEW BEST:: SOT 38747 SOS 6739 HAS SOPS 6739 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5563.739
AT ITER 6271 NEW BEST:: SOT 38746 SOS 6728 HAS SOPS 6728 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5563.728
AT ITER 6288 NEW BEST:: SOT 38741 SOS 6735 HAS SOPS 6735 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.735
AT ITER 6379 NEW BEST:: SOT 38739 SOS 6729 HAS SOPS 6729 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5560.729
AT ITER 6380 NEW BEST:: SOT 38739 SOS 6736 HAS SOPS 6736 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.736
AT ITER 6412 NEW BEST:: SOT 38734 SOS 6706 HAS SOPS 6706 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.706
AT ITER 6442 NEW BEST:: SOT 38732 SOS 6704 HAS SOPS 6704 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.704
AT ITER 6481 NEW BEST:: SOT 38732 SOS 6695 HAS SOPS 6695 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5545.695
AT ITER 6501 NEW BEST:: SOT 38729 SOS 6689 HAS SOPS 6689 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.689
AT ITER 6550 NEW BEST:: SOT 38773 SOS 6723 HAS SOPS 6723 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5538.723
AT ITER 6561 NEW BEST:: SOT 38753 SOS 6681 HAS SOPS 6681 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.681
AT ITER 6671 NEW BEST:: SOT 38754 SOS 6676 HAS SOPS 6676 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.676
AT ITER 6739 NEW BEST:: SOT 38770 SOS 6652 HAS SOPS 6652 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.652
AT ITER 6862 NEW BEST:: SOT 38771 SOS 6652 HAS SOPS 6652 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.652
AT ITER 6908 NEW BEST:: SOT 38766 SOS 6642 HAS SOPS 6642 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5495.642
AT ITER 6932 NEW BEST:: SOT 38766 SOS 6640 HAS SOPS 6640 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.64
AT ITER 7017 NEW BEST:: SOT 38768 SOS 6640 HAS SOPS 6640 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.64
AT ITER 7019 NEW BEST:: SOT 38740 SOS 6622 HAS SOPS 6622 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5489.622
AT ITER 7125 NEW BEST:: SOT 38729 SOS 6611 HAS SOPS 6611 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.611
AT ITER 7144 NEW BEST:: SOT 38732 SOS 6604 HAS SOPS 6604 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.604
AT ITER 7190 NEW BEST:: SOT 38730 SOS 6642 HAS SOPS 6642 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.642
AT ITER 7363 NEW BEST:: SOT 38730 SOS 6639 HAS SOPS 6639 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.639
AT ITER 7417 NEW BEST:: SOT 38727 SOS 6634 HAS SOPS 6634 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.634
AT ITER 7422 NEW BEST:: SOT 38727 SOS 6627 HAS SOPS 6627 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.627
AT ITER 7463 NEW BEST:: SOT 38727 SOS 6621 HAS SOPS 6621 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.621
AT ITER 7468 NEW BEST:: SOT 38727 SOS 6612 HAS SOPS 6612 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.612
AT ITER 7492 NEW BEST:: SOT 38727 SOS 6606 HAS SOPS 6606 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5448.606
AT ITER 7524 NEW BEST:: SOT 38700 SOS 6590 HAS SOPS 6590 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.59
AT ITER 7535 NEW BEST:: SOT 38690 SOS 6578 HAS SOPS 6578 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.578
AT ITER 7761 NEW BEST:: SOT 38695 SOS 6575 HAS SOPS 6575 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.575
AT ITER 7803 NEW BEST:: SOT 38685 SOS 6563 HAS SOPS 6563 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.563
AT ITER 7849 NEW BEST:: SOT 38688 SOS 6565 HAS SOPS 6565 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5398.565
AT ITER 7860 NEW BEST:: SOT 38678 SOS 6547 HAS SOPS 6547 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.547
AT ITER 7869 NEW BEST:: SOT 38677 SOS 6546 HAS SOPS 6546 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5379.546
AT ITER 7876 NEW BEST:: SOT 38670 SOS 6551 HAS SOPS 6551 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.551
AT ITER 7887 NEW BEST:: SOT 38670 SOS 6542 HAS SOPS 6542 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.542
AT ITER 7888 NEW BEST:: SOT 38670 SOS 6540 HAS SOPS 6540 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.54
AT ITER 8026 NEW BEST:: SOT 38668 SOS 6536 HAS SOPS 6536 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.536
AT ITER 8027 NEW BEST:: SOT 38672 SOS 6533 HAS SOPS 6533 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.533
AT ITER 8051 NEW BEST:: SOT 38674 SOS 6535 HAS SOPS 6535 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5353.535
AT ITER 8099 NEW BEST:: SOT 38670 SOS 6521 HAS SOPS 6521 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.521
AT ITER 8103 NEW BEST:: SOT 38670 SOS 6519 HAS SOPS 6519 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.519
AT ITER 8120 NEW BEST:: SOT 38655 SOS 6517 HAS SOPS 6517 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.517
AT ITER 8148 NEW BEST:: SOT 38653 SOS 6515 HAS SOPS 6515 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.515
AT ITER 8151 NEW BEST:: SOT 38655 SOS 6512 HAS SOPS 6512 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.512
AT ITER 8170 NEW BEST:: SOT 38655 SOS 6507 HAS SOPS 6507 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.507
AT ITER 8183 NEW BEST:: SOT 38655 SOS 6506 HAS SOPS 6506 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.506
AT ITER 8306 NEW BEST:: SOT 38654 SOS 6505 HAS SOPS 6505 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.505
AT ITER 8366 NEW BEST:: SOT 38660 SOS 6488 HAS SOPS 6488 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.488
AT ITER 8452 NEW BEST:: SOT 38657 SOS 6474 HAS SOPS 6474 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.474
AT ITER 8521 NEW BEST:: SOT 38664 SOS 6473 HAS SOPS 6473 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5303.473
AT ITER 8603 NEW BEST:: SOT 38659 SOS 6471 HAS SOPS 6471 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5302.471
AT ITER 8729 NEW BEST:: SOT 38656 SOS 6467 HAS SOPS 6467 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5298.467
AT ITER 8793 NEW BEST:: SOT 38640 SOS 6430 HAS SOPS 6430 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.43
AT ITER 8813 NEW BEST:: SOT 38638 SOS 6424 HAS SOPS 6424 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.424
AT ITER 8834 NEW BEST:: SOT 38625 SOS 6414 HAS SOPS 6414 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.414
AT ITER 8942 NEW BEST:: SOT 38624 SOS 6413 HAS SOPS 6413 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.413
AT ITER 8990 NEW BEST:: SOT 38615 SOS 6405 HAS SOPS 6405 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.405
AT ITER 9048 NEW BEST:: SOT 38611 SOS 6401 HAS SOPS 6401 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5242.401
AT ITER 9063 NEW BEST:: SOT 38611 SOS 6409 HAS SOPS 6409 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.409
AT ITER 9209 NEW BEST:: SOT 38611 SOS 6409 HAS SOPS 6409 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.409
AT ITER 9222 NEW BEST:: SOT 38611 SOS 6389 HAS SOPS 6389 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.389
AT ITER 9239 NEW BEST:: SOT 38611 SOS 6385 HAS SOPS 6385 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.385
AT ITER 9269 NEW BEST:: SOT 38612 SOS 6383 HAS SOPS 6383 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.383
AT ITER 9335 NEW BEST:: SOT 38612 SOS 6383 HAS SOPS 6383 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.383
AT ITER 9396 NEW BEST:: SOT 38610 SOS 6375 HAS SOPS 6375 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.375
AT ITER 9478 NEW BEST:: SOT 38598 SOS 6329 HAS SOPS 6329 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5214.329
AT ITER 9484 NEW BEST:: SOT 38596 SOS 6328 HAS SOPS 6328 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.328
AT ITER 9566 NEW BEST:: SOT 38592 SOS 6324 HAS SOPS 6324 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.324
AT ITER 9642 NEW BEST:: SOT 38592 SOS 6322 HAS SOPS 6322 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.322
AT ITER 9672 NEW BEST:: SOT 38588 SOS 6316 HAS SOPS 6316 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.316
AT ITER 9708 NEW BEST:: SOT 38590 SOS 6314 HAS SOPS 6314 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.314
AT ITER 9813 NEW BEST:: SOT 38589 SOS 6309 HAS SOPS 6309 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.309
AT ITER 9844 NEW BEST:: SOT 38583 SOS 6299 HAS SOPS 6299 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.299
AT ITER 9865 NEW BEST:: SOT 38580 SOS 6295 HAS SOPS 6295 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.295
AT ITER 9906 NEW BEST:: SOT 38580 SOS 6294 HAS SOPS 6294 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.294

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

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