Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711701344.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ViralEpidemic-PT-S16D2C4A01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711701344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 25 20:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 20:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 20:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 20:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 20:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 187K Mar 5 18:23 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 1679336966266

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S16D2C4A01
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 18:29:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 18:29:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 18:29:28] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-20 18:29:28] [INFO ] Transformed 307 places.
[2023-03-20 18:29:28] [INFO ] Transformed 561 transitions.
[2023-03-20 18:29:28] [INFO ] Parsed PT model containing 307 places and 561 transitions and 1377 arcs in 349 ms.
[2023-03-20 18:29:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 307 places, 561 transitions and 1377 arcs took 15 ms.
Total runtime 406 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A01
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 307 places, 561 transitions, 1377 arcs.
AT ITER 0 NEW BEST:: SOT 97835 SOS 86265 HAS SOPS 86265 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8846.265
AT ITER 18 NEW BEST:: SOT 97678 SOS 84907 HAS SOPS 84907 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8828.907
AT ITER 23 NEW BEST:: SOT 97356 SOS 82158 HAS SOPS 82158 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8814.158
AT ITER 34 NEW BEST:: SOT 97356 SOS 82104 HAS SOPS 82104 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8760.104
AT ITER 40 NEW BEST:: SOT 97256 SOS 81245 HAS SOPS 81245 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8750.245
AT ITER 45 NEW BEST:: SOT 97198 SOS 80752 HAS SOPS 80752 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8749.752
AT ITER 48 NEW BEST:: SOT 97198 SOS 80743 HAS SOPS 80743 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8740.743
AT ITER 57 NEW BEST:: SOT 96920 SOS 78376 HAS SOPS 78376 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8734.376
AT ITER 72 NEW BEST:: SOT 96886 SOS 78077 HAS SOPS 78077 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8724.077
AT ITER 80 NEW BEST:: SOT 96580 SOS 75268 HAS SOPS 75268 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8588.268
AT ITER 117 NEW BEST:: SOT 96543 SOS 74927 HAS SOPS 74927 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8583.927
AT ITER 132 NEW BEST:: SOT 96523 SOS 74753 HAS SOPS 74753 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8579.753
AT ITER 142 NEW BEST:: SOT 96415 SOS 73788 HAS SOPS 73788 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8531.788
AT ITER 146 NEW BEST:: SOT 96311 SOS 72853 HAS SOPS 72853 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8479.853
AT ITER 163 NEW BEST:: SOT 96181 SOS 71745 HAS SOPS 71745 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8475.745
AT ITER 170 NEW BEST:: SOT 96089 SOS 70874 HAS SOPS 70874 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8445.874
AT ITER 176 NEW BEST:: SOT 95995 SOS 70028 HAS SOPS 70028 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8398.028
AT ITER 204 NEW BEST:: SOT 95904 SOS 69188 HAS SOPS 69188 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8353.188
AT ITER 208 NEW BEST:: SOT 95530 SOS 65805 HAS SOPS 65805 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8205.805
AT ITER 230 NEW BEST:: SOT 95528 SOS 65801 HAS SOPS 65801 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8203.801
AT ITER 238 NEW BEST:: SOT 95233 SOS 63063 HAS SOPS 63063 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8068.063
AT ITER 257 NEW BEST:: SOT 95233 SOS 63063 HAS SOPS 63063 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8066.063
AT ITER 271 NEW BEST:: SOT 95201 SOS 62775 HAS SOPS 62775 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 8049.775
AT ITER 295 NEW BEST:: SOT 95206 SOS 62753 HAS SOPS 62753 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 8022.753
AT ITER 324 NEW BEST:: SOT 95205 SOS 62745 HAS SOPS 62745 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 8015.745
AT ITER 337 NEW BEST:: SOT 95159 SOS 62331 HAS SOPS 62331 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7992.331
AT ITER 343 NEW BEST:: SOT 95089 SOS 61662 HAS SOPS 61662 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7962.662
AT ITER 391 NEW BEST:: SOT 95010 SOS 61023 HAS SOPS 61023 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7962.023
AT ITER 407 NEW BEST:: SOT 94972 SOS 60681 HAS SOPS 60681 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7942.681
AT ITER 426 NEW BEST:: SOT 94976 SOS 60682 HAS SOPS 60682 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7939.682
AT ITER 466 NEW BEST:: SOT 94976 SOS 60682 HAS SOPS 60682 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7921.682
AT ITER 471 NEW BEST:: SOT 94883 SOS 59734 HAS SOPS 59734 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7890.734
AT ITER 487 NEW BEST:: SOT 94827 SOS 59062 HAS SOPS 59062 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7866.062
AT ITER 510 NEW BEST:: SOT 94818 SOS 59086 HAS SOPS 59086 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7854.086
AT ITER 530 NEW BEST:: SOT 94802 SOS 58942 HAS SOPS 58942 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7845.942
AT ITER 548 NEW BEST:: SOT 94758 SOS 58546 HAS SOPS 58546 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7823.546
AT ITER 551 NEW BEST:: SOT 94744 SOS 58420 HAS SOPS 58420 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7816.42
AT ITER 589 NEW BEST:: SOT 94700 SOS 58035 HAS SOPS 58035 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7805.035
AT ITER 597 NEW BEST:: SOT 94699 SOS 58034 HAS SOPS 58034 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7805.034
AT ITER 623 NEW BEST:: SOT 94627 SOS 57410 HAS SOPS 57410 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7792.41
AT ITER 624 NEW BEST:: SOT 94515 SOS 56322 HAS SOPS 56322 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7743.322
AT ITER 629 NEW BEST:: SOT 94441 SOS 55455 HAS SOPS 55455 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7728.455
AT ITER 656 NEW BEST:: SOT 94380 SOS 54899 HAS SOPS 54899 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7727.899
AT ITER 670 NEW BEST:: SOT 94371 SOS 54873 HAS SOPS 54873 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7710.873
AT ITER 691 NEW BEST:: SOT 94333 SOS 54538 HAS SOPS 54538 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7698.538
AT ITER 698 NEW BEST:: SOT 94194 SOS 52312 HAS SOPS 52312 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7696.312
AT ITER 702 NEW BEST:: SOT 94189 SOS 52301 HAS SOPS 52301 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7690.301
AT ITER 709 NEW BEST:: SOT 94180 SOS 52280 HAS SOPS 52280 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7678.28
AT ITER 727 NEW BEST:: SOT 94176 SOS 52258 HAS SOPS 52258 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7660.258
AT ITER 798 NEW BEST:: SOT 94143 SOS 51870 HAS SOPS 51870 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7649.87
AT ITER 805 NEW BEST:: SOT 94053 SOS 51061 HAS SOPS 51061 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7605.061
AT ITER 821 NEW BEST:: SOT 94036 SOS 51027 HAS SOPS 51027 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7589.027
AT ITER 849 NEW BEST:: SOT 94005 SOS 50953 HAS SOPS 50953 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7579.953
AT ITER 866 NEW BEST:: SOT 94004 SOS 50951 HAS SOPS 50951 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7572.951
AT ITER 897 NEW BEST:: SOT 93913 SOS 49977 HAS SOPS 49977 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7558.977
AT ITER 899 NEW BEST:: SOT 93874 SOS 49884 HAS SOPS 49884 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7504.884
AT ITER 964 NEW BEST:: SOT 93857 SOS 49833 HAS SOPS 49833 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7470.833
AT ITER 1034 NEW BEST:: SOT 93783 SOS 49167 HAS SOPS 49167 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7433.167
AT ITER 1083 NEW BEST:: SOT 93761 SOS 48969 HAS SOPS 48969 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7421.969
AT ITER 1109 NEW BEST:: SOT 93707 SOS 48483 HAS SOPS 48483 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7394.483
AT ITER 1122 NEW BEST:: SOT 93685 SOS 48285 HAS SOPS 48285 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7383.285
AT ITER 1124 NEW BEST:: SOT 93601 SOS 47553 HAS SOPS 47553 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7364.553
AT ITER 1131 NEW BEST:: SOT 93587 SOS 47427 HAS SOPS 47427 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7357.427
AT ITER 1132 NEW BEST:: SOT 93523 SOS 46851 HAS SOPS 46851 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7324.851
AT ITER 1139 NEW BEST:: SOT 93446 SOS 46013 HAS SOPS 46013 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7324.013
AT ITER 1197 NEW BEST:: SOT 93391 SOS 45313 HAS SOPS 45313 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7312.313
AT ITER 1255 NEW BEST:: SOT 93355 SOS 44989 HAS SOPS 44989 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7293.989
AT ITER 1262 NEW BEST:: SOT 93351 SOS 44979 HAS SOPS 44979 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7289.979
AT ITER 1269 NEW BEST:: SOT 93326 SOS 44621 HAS SOPS 44621 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7286.621
AT ITER 1285 NEW BEST:: SOT 93318 SOS 44587 HAS SOPS 44587 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7260.587
AT ITER 1302 NEW BEST:: SOT 93238 SOS 43446 HAS SOPS 43446 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7255.446
AT ITER 1353 NEW BEST:: SOT 93184 SOS 42946 HAS SOPS 42946 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7228.946
AT ITER 1373 NEW BEST:: SOT 93184 SOS 42937 HAS SOPS 42937 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7219.937
AT ITER 1422 NEW BEST:: SOT 93084 SOS 41967 HAS SOPS 41967 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7173.967
AT ITER 1423 NEW BEST:: SOT 92959 SOS 40816 HAS SOPS 40816 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7136.816
AT ITER 1438 NEW BEST:: SOT 92941 SOS 40654 HAS SOPS 40654 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7127.654
AT ITER 1455 NEW BEST:: SOT 92927 SOS 40612 HAS SOPS 40612 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7099.612
AT ITER 1456 NEW BEST:: SOT 92835 SOS 39644 HAS SOPS 39644 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7061.644
AT ITER 1472 NEW BEST:: SOT 92832 SOS 39640 HAS SOPS 39640 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7060.64
AT ITER 1499 NEW BEST:: SOT 92821 SOS 39618 HAS SOPS 39618 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7049.618
AT ITER 1534 NEW BEST:: SOT 92819 SOS 39586 HAS SOPS 39586 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7047.586
AT ITER 1556 NEW BEST:: SOT 92809 SOS 39496 HAS SOPS 39496 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7042.496
AT ITER 1620 NEW BEST:: SOT 92809 SOS 39496 HAS SOPS 39496 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 7008.496
AT ITER 1680 NEW BEST:: SOT 92770 SOS 39395 HAS SOPS 39395 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6959.395
AT ITER 1686 NEW BEST:: SOT 92734 SOS 39071 HAS SOPS 39071 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6941.071
AT ITER 1732 NEW BEST:: SOT 92734 SOS 39071 HAS SOPS 39071 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6939.071
AT ITER 1804 NEW BEST:: SOT 92734 SOS 39071 HAS SOPS 39071 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6925.071
AT ITER 1858 NEW BEST:: SOT 92596 SOS 37179 HAS SOPS 37179 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6911.179
AT ITER 1881 NEW BEST:: SOT 92583 SOS 37126 HAS SOPS 37126 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6875.126
AT ITER 1941 NEW BEST:: SOT 92565 SOS 36964 HAS SOPS 36964 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6865.964
AT ITER 1944 NEW BEST:: SOT 92559 SOS 36910 HAS SOPS 36910 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6862.91
AT ITER 1963 NEW BEST:: SOT 92554 SOS 36900 HAS SOPS 36900 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6859.9
AT ITER 1967 NEW BEST:: SOT 92490 SOS 36750 HAS SOPS 36750 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6848.75
AT ITER 1987 NEW BEST:: SOT 92489 SOS 36744 HAS SOPS 36744 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6843.744
AT ITER 2030 NEW BEST:: SOT 92427 SOS 36186 HAS SOPS 36186 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6812.186
AT ITER 2032 NEW BEST:: SOT 92427 SOS 36186 HAS SOPS 36186 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6808.186
AT ITER 2197 NEW BEST:: SOT 92417 SOS 36096 HAS SOPS 36096 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6803.096
AT ITER 2226 NEW BEST:: SOT 92391 SOS 36031 HAS SOPS 36031 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6777.031
AT ITER 2265 NEW BEST:: SOT 92393 SOS 36025 HAS SOPS 36025 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6769.025
AT ITER 2355 NEW BEST:: SOT 92393 SOS 36025 HAS SOPS 36025 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6763.025
AT ITER 2365 NEW BEST:: SOT 92392 SOS 36018 HAS SOPS 36018 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6757.018
AT ITER 2448 NEW BEST:: SOT 92383 SOS 35995 HAS SOPS 35995 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6743.995
AT ITER 2475 NEW BEST:: SOT 92372 SOS 35973 HAS SOPS 35973 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6732.973
AT ITER 2477 NEW BEST:: SOT 92169 SOS 33895 HAS SOPS 33895 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6700.895
AT ITER 2479 NEW BEST:: SOT 92169 SOS 33895 HAS SOPS 33895 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6680.895
AT ITER 2485 NEW BEST:: SOT 92169 SOS 33892 HAS SOPS 33892 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6677.892
AT ITER 2486 NEW BEST:: SOT 92139 SOS 33566 HAS SOPS 33566 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6666.566
AT ITER 2513 NEW BEST:: SOT 92209 SOS 34256 HAS SOPS 34256 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6657.256
AT ITER 2550 NEW BEST:: SOT 92114 SOS 33336 HAS SOPS 33336 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6626.336
AT ITER 2674 NEW BEST:: SOT 92084 SOS 33066 HAS SOPS 33066 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6611.066
AT ITER 2796 NEW BEST:: SOT 92028 SOS 32562 HAS SOPS 32562 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6582.562
AT ITER 2900 NEW BEST:: SOT 92010 SOS 32400 HAS SOPS 32400 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6573.4
AT ITER 2964 NEW BEST:: SOT 91967 SOS 32264 HAS SOPS 32264 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6480.264
AT ITER 2995 NEW BEST:: SOT 91967 SOS 32262 HAS SOPS 32262 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6479.262
AT ITER 3048 NEW BEST:: SOT 91968 SOS 32259 HAS SOPS 32259 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6475.259
AT ITER 3081 NEW BEST:: SOT 91970 SOS 32389 HAS SOPS 32389 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6468.389
AT ITER 3200 NEW BEST:: SOT 91944 SOS 32158 HAS SOPS 32158 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6458.158
AT ITER 3256 NEW BEST:: SOT 91937 SOS 32142 HAS SOPS 32142 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6449.142
AT ITER 3276 NEW BEST:: SOT 91934 SOS 31543 HAS SOPS 31543 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6412.543
AT ITER 3373 NEW BEST:: SOT 91824 SOS 29840 HAS SOPS 29840 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6377.84
AT ITER 3379 NEW BEST:: SOT 91792 SOS 29552 HAS SOPS 29552 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6361.552
AT ITER 3391 NEW BEST:: SOT 91750 SOS 29174 HAS SOPS 29174 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6340.174
AT ITER 3408 NEW BEST:: SOT 91750 SOS 29172 HAS SOPS 29172 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6338.172
AT ITER 3490 NEW BEST:: SOT 91738 SOS 29064 HAS SOPS 29064 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6332.064
AT ITER 3554 NEW BEST:: SOT 91736 SOS 29060 HAS SOPS 29060 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6330.06
AT ITER 3558 NEW BEST:: SOT 91736 SOS 29059 HAS SOPS 29059 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6329.059
AT ITER 3568 NEW BEST:: SOT 91735 SOS 29049 HAS SOPS 29049 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6320.049
AT ITER 3616 NEW BEST:: SOT 91735 SOS 29049 HAS SOPS 29049 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6318.049
AT ITER 3617 NEW BEST:: SOT 91731 SOS 29013 HAS SOPS 29013 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6316.013
AT ITER 3687 NEW BEST:: SOT 91731 SOS 29012 HAS SOPS 29012 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6315.012
AT ITER 3777 NEW BEST:: SOT 91779 SOS 29644 HAS SOPS 29644 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6310.644
AT ITER 3868 NEW BEST:: SOT 91776 SOS 29638 HAS SOPS 29638 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6307.638
AT ITER 4016 NEW BEST:: SOT 91770 SOS 29584 HAS SOPS 29584 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6304.584
AT ITER 4029 NEW BEST:: SOT 91708 SOS 29026 HAS SOPS 29026 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6273.026
AT ITER 4090 NEW BEST:: SOT 91502 SOS 26470 HAS SOPS 26470 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6230.47
AT ITER 4101 NEW BEST:: SOT 91492 SOS 26520 HAS SOPS 26520 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6215.52
AT ITER 4181 NEW BEST:: SOT 91492 SOS 26529 HAS SOPS 26529 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6204.529
AT ITER 4185 NEW BEST:: SOT 91476 SOS 25951 HAS SOPS 25951 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6164.951
AT ITER 4259 NEW BEST:: SOT 91465 SOS 25917 HAS SOPS 25917 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6141.917
AT ITER 4272 NEW BEST:: SOT 91419 SOS 25810 HAS SOPS 25810 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6103.81
AT ITER 4301 NEW BEST:: SOT 91407 SOS 25968 HAS SOPS 25968 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6088.968
AT ITER 4359 NEW BEST:: SOT 91384 SOS 25656 HAS SOPS 25656 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6084.656
AT ITER 4408 NEW BEST:: SOT 91376 SOS 25570 HAS SOPS 25570 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6081.57
AT ITER 4421 NEW BEST:: SOT 91376 SOS 25572 HAS SOPS 25572 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6075.572
AT ITER 4444 NEW BEST:: SOT 91376 SOS 25572 HAS SOPS 25572 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6071.572
AT ITER 4499 NEW BEST:: SOT 91336 SOS 25142 HAS SOPS 25142 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6056.142
AT ITER 4520 NEW BEST:: SOT 91336 SOS 25141 HAS SOPS 25141 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6055.141
AT ITER 4612 NEW BEST:: SOT 91335 SOS 25138 HAS SOPS 25138 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6053.138
AT ITER 4614 NEW BEST:: SOT 91282 SOS 25032 HAS SOPS 25032 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6022.032
AT ITER 4751 NEW BEST:: SOT 91268 SOS 24906 HAS SOPS 24906 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6014.906
AT ITER 4792 NEW BEST:: SOT 91260 SOS 24881 HAS SOPS 24881 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5997.881
AT ITER 4868 NEW BEST:: SOT 91189 SOS 24095 HAS SOPS 24095 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5963.095
AT ITER 4885 NEW BEST:: SOT 91181 SOS 24077 HAS SOPS 24077 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5953.077
AT ITER 4925 NEW BEST:: SOT 91177 SOS 24041 HAS SOPS 24041 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5951.041
AT ITER 4973 NEW BEST:: SOT 91175 SOS 24037 HAS SOPS 24037 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5949.037
AT ITER 4996 NEW BEST:: SOT 91122 SOS 23931 HAS SOPS 23931 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5920.931
AT ITER 5181 NEW BEST:: SOT 91116 SOS 23917 HAS SOPS 23917 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5912.917
AT ITER 5307 NEW BEST:: SOT 91123 SOS 23921 HAS SOPS 23921 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5909.921
AT ITER 5341 NEW BEST:: SOT 91061 SOS 23797 HAS SOPS 23797 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5845.797
AT ITER 5417 NEW BEST:: SOT 91061 SOS 23792 HAS SOPS 23792 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5840.792
AT ITER 5441 NEW BEST:: SOT 91053 SOS 23720 HAS SOPS 23720 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5836.72
AT ITER 5462 NEW BEST:: SOT 91036 SOS 23671 HAS SOPS 23671 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5836.671
AT ITER 5488 NEW BEST:: SOT 91035 SOS 23669 HAS SOPS 23669 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5835.669
AT ITER 5504 NEW BEST:: SOT 91035 SOS 23669 HAS SOPS 23669 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5833.669
AT ITER 5519 NEW BEST:: SOT 91022 SOS 23462 HAS SOPS 23462 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5831.462
AT ITER 5557 NEW BEST:: SOT 90992 SOS 23196 HAS SOPS 23196 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5820.196
AT ITER 5582 NEW BEST:: SOT 90988 SOS 23160 HAS SOPS 23160 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5818.16
AT ITER 5595 NEW BEST:: SOT 90960 SOS 22810 HAS SOPS 22810 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5804.81
AT ITER 5610 NEW BEST:: SOT 90949 SOS 22788 HAS SOPS 22788 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5795.788
AT ITER 5626 NEW BEST:: SOT 90946 SOS 22782 HAS SOPS 22782 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5792.782
AT ITER 5646 NEW BEST:: SOT 90944 SOS 23103 HAS SOPS 23103 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5766.103
AT ITER 5689 NEW BEST:: SOT 90944 SOS 23102 HAS SOPS 23102 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5765.102
AT ITER 5723 NEW BEST:: SOT 90942 SOS 23098 HAS SOPS 23098 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5763.098
AT ITER 5784 NEW BEST:: SOT 90942 SOS 23168 HAS SOPS 23168 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5758.168
AT ITER 5852 NEW BEST:: SOT 90938 SOS 23160 HAS SOPS 23160 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5754.16
AT ITER 5986 NEW BEST:: SOT 90921 SOS 22944 HAS SOPS 22944 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5740.944
AT ITER 6023 NEW BEST:: SOT 90917 SOS 22908 HAS SOPS 22908 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5738.908
AT ITER 6069 NEW BEST:: SOT 90917 SOS 22908 HAS SOPS 22908 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5730.908
AT ITER 6108 NEW BEST:: SOT 90898 SOS 22855 HAS SOPS 22855 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5701.855
AT ITER 6311 NEW BEST:: SOT 90896 SOS 22848 HAS SOPS 22848 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5696.848
AT ITER 6468 NEW BEST:: SOT 90896 SOS 22848 HAS SOPS 22848 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5682.848
AT ITER 6575 NEW BEST:: SOT 90890 SOS 22830 HAS SOPS 22830 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5674.83
AT ITER 6587 NEW BEST:: SOT 90845 SOS 22236 HAS SOPS 22236 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5665.236
AT ITER 6661 NEW BEST:: SOT 90803 SOS 21648 HAS SOPS 21648 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5651.648
AT ITER 6717 NEW BEST:: SOT 90763 SOS 21288 HAS SOPS 21288 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5631.288
AT ITER 6764 NEW BEST:: SOT 90739 SOS 21002 HAS SOPS 21002 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5624.002
AT ITER 6810 NEW BEST:: SOT 90739 SOS 21002 HAS SOPS 21002 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5618.002
AT ITER 6814 NEW BEST:: SOT 90739 SOS 21002 HAS SOPS 21002 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5614.002
AT ITER 6858 NEW BEST:: SOT 90739 SOS 21002 HAS SOPS 21002 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5590.002
AT ITER 6905 NEW BEST:: SOT 90719 SOS 20822 HAS SOPS 20822 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5579.822
AT ITER 6954 NEW BEST:: SOT 90714 SOS 20812 HAS SOPS 20812 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5576.812
AT ITER 7027 NEW BEST:: SOT 90699 SOS 20670 HAS SOPS 20670 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5569.67
AT ITER 7097 NEW BEST:: SOT 90692 SOS 20652 HAS SOPS 20652 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5558.652
AT ITER 7176 NEW BEST:: SOT 90680 SOS 20609 HAS SOPS 20609 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5551.609
AT ITER 7235 NEW BEST:: SOT 90679 SOS 20593 HAS SOPS 20593 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5551.593
AT ITER 7249 NEW BEST:: SOT 90657 SOS 20537 HAS SOPS 20537 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5526.537
AT ITER 7254 NEW BEST:: SOT 90652 SOS 20517 HAS SOPS 20517 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5521.517
AT ITER 7269 NEW BEST:: SOT 90667 SOS 20841 HAS SOPS 20841 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5515.841
AT ITER 7327 NEW BEST:: SOT 90667 SOS 20841 HAS SOPS 20841 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5513.841
AT ITER 7345 NEW BEST:: SOT 90667 SOS 20837 HAS SOPS 20837 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5509.837
AT ITER 7388 NEW BEST:: SOT 90667 SOS 20837 HAS SOPS 20837 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5497.837
AT ITER 7403 NEW BEST:: SOT 90667 SOS 20837 HAS SOPS 20837 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5493.837
AT ITER 7504 NEW BEST:: SOT 90667 SOS 20837 HAS SOPS 20837 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5481.837
AT ITER 7721 NEW BEST:: SOT 90653 SOS 20711 HAS SOPS 20711 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5474.711
AT ITER 7733 NEW BEST:: SOT 90651 SOS 20721 HAS SOPS 20721 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5471.721
AT ITER 7880 NEW BEST:: SOT 90648 SOS 20713 HAS SOPS 20713 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5466.713
AT ITER 8123 NEW BEST:: SOT 90634 SOS 20559 HAS SOPS 20559 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5459.559
AT ITER 8149 NEW BEST:: SOT 90582 SOS 20091 HAS SOPS 20091 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5433.091
AT ITER 8161 NEW BEST:: SOT 90582 SOS 20091 HAS SOPS 20091 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5429.091
AT ITER 8236 NEW BEST:: SOT 90582 SOS 20088 HAS SOPS 20088 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5426.088
AT ITER 8405 NEW BEST:: SOT 90577 SOS 19952 HAS SOPS 19952 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5424.952
AT ITER 8407 NEW BEST:: SOT 90574 SOS 19943 HAS SOPS 19943 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5416.943
AT ITER 8408 NEW BEST:: SOT 90574 SOS 19943 HAS SOPS 19943 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5386.943
AT ITER 8457 NEW BEST:: SOT 90574 SOS 19943 HAS SOPS 19943 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5378.943
AT ITER 8534 NEW BEST:: SOT 90572 SOS 19939 HAS SOPS 19939 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5376.939
AT ITER 8539 NEW BEST:: SOT 90539 SOS 19520 HAS SOPS 19520 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5373.52
AT ITER 8879 NEW BEST:: SOT 90517 SOS 19266 HAS SOPS 19266 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5366.266
AT ITER 8888 NEW BEST:: SOT 90489 SOS 19001 HAS SOPS 19001 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5354.001
AT ITER 8910 NEW BEST:: SOT 90489 SOS 19001 HAS SOPS 19001 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5352.001
AT ITER 8950 NEW BEST:: SOT 90481 SOS 18985 HAS SOPS 18985 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5347.985
AT ITER 8991 NEW BEST:: SOT 90481 SOS 18981 HAS SOPS 18981 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5343.981
AT ITER 9017 NEW BEST:: SOT 90477 SOS 18973 HAS SOPS 18973 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5339.973
AT ITER 9081 NEW BEST:: SOT 90464 SOS 18935 HAS SOPS 18935 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5317.935
AT ITER 9373 NEW BEST:: SOT 90465 SOS 18950 HAS SOPS 18950 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5316.95
AT ITER 9544 NEW BEST:: SOT 90465 SOS 18950 HAS SOPS 18950 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5314.95
AT ITER 9636 NEW BEST:: SOT 90467 SOS 18981 HAS SOPS 18981 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5313.981
AT ITER 9653 NEW BEST:: SOT 90466 SOS 18959 HAS SOPS 18959 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5292.959
AT ITER 9750 NEW BEST:: SOT 90446 SOS 18765 HAS SOPS 18765 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5281.765
AT ITER 9816 NEW BEST:: SOT 90447 SOS 18851 HAS SOPS 18851 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5276.851
AT ITER 9940 NEW BEST:: SOT 90447 SOS 18851 HAS SOPS 18851 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5274.851

BK_STOP 1679338078229

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 476 Killed ${SMART}/smart ${INPUT_SM}

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="ViralEpidemic-PT-S16D2C4A01"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is ViralEpidemic-PT-S16D2C4A01, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711701344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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