Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r395-oct2-167903718700416.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718700416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.6K Feb 26 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 01:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 01:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69K 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 1679565267538

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=ShieldPPPs-PT-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:54:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:54:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:54:30] [INFO ] Load time of PNML (sax parser for PT used): 57 ms
[2023-03-23 09:54:30] [INFO ] Transformed 275 places.
[2023-03-23 09:54:30] [INFO ] Transformed 255 transitions.
[2023-03-23 09:54:30] [INFO ] Found NUPN structural information;
[2023-03-23 09:54:30] [INFO ] Parsed PT model containing 275 places and 255 transitions and 702 arcs in 176 ms.
[2023-03-23 09:54:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 275 places, 255 transitions and 702 arcs took 5 ms.
Total runtime 228 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 004B
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: 275 places, 255 transitions, 702 arcs.
AT ITER 0 NEW BEST:: SOT 39299 SOS 11352 HAS SOPS 11352 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10142.352
AT ITER 22 NEW BEST:: SOT 39242 SOS 11350 HAS SOPS 11350 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10111.35
AT ITER 34 NEW BEST:: SOT 39242 SOS 11347 HAS SOPS 11347 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10108.347
AT ITER 58 NEW BEST:: SOT 39241 SOS 11339 HAS SOPS 11339 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10100.339
AT ITER 63 NEW BEST:: SOT 39201 SOS 11287 HAS SOPS 11287 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.287
AT ITER 64 NEW BEST:: SOT 39201 SOS 11286 HAS SOPS 11286 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10078.286
AT ITER 101 NEW BEST:: SOT 39194 SOS 11275 HAS SOPS 11275 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10066.275
AT ITER 103 NEW BEST:: SOT 39196 SOS 11183 HAS SOPS 11183 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.183
AT ITER 114 NEW BEST:: SOT 39183 SOS 11170 HAS SOPS 11170 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.17
AT ITER 115 NEW BEST:: SOT 39181 SOS 11166 HAS SOPS 11166 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10026.166
AT ITER 118 NEW BEST:: SOT 39149 SOS 11136 HAS SOPS 11136 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10020.136
AT ITER 130 NEW BEST:: SOT 39182 SOS 11123 HAS SOPS 11123 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10016.123
AT ITER 138 NEW BEST:: SOT 39158 SOS 11099 HAS SOPS 11099 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10003.099
AT ITER 144 NEW BEST:: SOT 39119 SOS 10853 HAS SOPS 10853 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.853
AT ITER 150 NEW BEST:: SOT 39089 SOS 10764 HAS SOPS 10764 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9848.764
AT ITER 164 NEW BEST:: SOT 39058 SOS 10702 HAS SOPS 10702 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9817.702
AT ITER 185 NEW BEST:: SOT 39058 SOS 10630 HAS SOPS 10630 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9793.63
AT ITER 248 NEW BEST:: SOT 39070 SOS 10630 HAS SOPS 10630 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9781.63
AT ITER 263 NEW BEST:: SOT 39070 SOS 10629 HAS SOPS 10629 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9780.629
AT ITER 273 NEW BEST:: SOT 39070 SOS 10566 HAS SOPS 10566 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9773.566
AT ITER 290 NEW BEST:: SOT 39056 SOS 10566 HAS SOPS 10566 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9767.566
AT ITER 325 NEW BEST:: SOT 39056 SOS 10565 HAS SOPS 10565 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9766.565
AT ITER 326 NEW BEST:: SOT 39077 SOS 10590 HAS SOPS 10590 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9762.59
AT ITER 331 NEW BEST:: SOT 39074 SOS 10587 HAS SOPS 10587 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9759.587
AT ITER 335 NEW BEST:: SOT 39066 SOS 10577 HAS SOPS 10577 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9749.577
AT ITER 374 NEW BEST:: SOT 39047 SOS 10571 HAS SOPS 10571 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9743.571
AT ITER 378 NEW BEST:: SOT 39047 SOS 10567 HAS SOPS 10567 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9743.567
AT ITER 383 NEW BEST:: SOT 39007 SOS 10496 HAS SOPS 10496 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.496
AT ITER 395 NEW BEST:: SOT 39007 SOS 10495 HAS SOPS 10495 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9711.495
AT ITER 405 NEW BEST:: SOT 38962 SOS 10476 HAS SOPS 10476 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9692.476
AT ITER 413 NEW BEST:: SOT 38969 SOS 10472 HAS SOPS 10472 HAS SOUS 9671 HAS SOUPS 9671 WITH SCORE 9681.472
AT ITER 425 NEW BEST:: SOT 38969 SOS 10468 HAS SOPS 10468 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9677.468
AT ITER 444 NEW BEST:: SOT 38967 SOS 10420 HAS SOPS 10420 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9672.42
AT ITER 451 NEW BEST:: SOT 38967 SOS 10416 HAS SOPS 10416 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9668.416
AT ITER 461 NEW BEST:: SOT 38967 SOS 10409 HAS SOPS 10409 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.409
AT ITER 468 NEW BEST:: SOT 38943 SOS 10321 HAS SOPS 10321 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9602.321
AT ITER 490 NEW BEST:: SOT 38936 SOS 10307 HAS SOPS 10307 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.307
AT ITER 508 NEW BEST:: SOT 38913 SOS 10284 HAS SOPS 10284 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.284
AT ITER 516 NEW BEST:: SOT 38913 SOS 10185 HAS SOPS 10185 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.185
AT ITER 570 NEW BEST:: SOT 38913 SOS 10157 HAS SOPS 10157 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9544.157
AT ITER 576 NEW BEST:: SOT 38903 SOS 10152 HAS SOPS 10152 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9539.152
AT ITER 629 NEW BEST:: SOT 38903 SOS 10149 HAS SOPS 10149 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9536.149
AT ITER 671 NEW BEST:: SOT 38903 SOS 10148 HAS SOPS 10148 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9536.148
AT ITER 685 NEW BEST:: SOT 38902 SOS 10146 HAS SOPS 10146 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9534.146
AT ITER 702 NEW BEST:: SOT 38901 SOS 10145 HAS SOPS 10145 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9533.145
AT ITER 708 NEW BEST:: SOT 38871 SOS 10145 HAS SOPS 10145 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9503.145
AT ITER 730 NEW BEST:: SOT 38877 SOS 10150 HAS SOPS 10150 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.15
AT ITER 763 NEW BEST:: SOT 38871 SOS 10144 HAS SOPS 10144 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9495.144
AT ITER 772 NEW BEST:: SOT 38866 SOS 10141 HAS SOPS 10141 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9491.141
AT ITER 779 NEW BEST:: SOT 38848 SOS 10140 HAS SOPS 10140 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.14
AT ITER 792 NEW BEST:: SOT 38848 SOS 10130 HAS SOPS 10130 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9470.13
AT ITER 820 NEW BEST:: SOT 38842 SOS 10112 HAS SOPS 10112 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9452.112
AT ITER 826 NEW BEST:: SOT 38859 SOS 10078 HAS SOPS 10078 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9435.078
AT ITER 840 NEW BEST:: SOT 38833 SOS 10108 HAS SOPS 10108 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9396.108
AT ITER 865 NEW BEST:: SOT 38830 SOS 10102 HAS SOPS 10102 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.102
AT ITER 870 NEW BEST:: SOT 38830 SOS 10076 HAS SOPS 10076 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.076
AT ITER 873 NEW BEST:: SOT 38795 SOS 10041 HAS SOPS 10041 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9377.041
AT ITER 881 NEW BEST:: SOT 38853 SOS 9987 HAS SOPS 9987 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9359.987
AT ITER 913 NEW BEST:: SOT 38852 SOS 9984 HAS SOPS 9984 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9356.984
AT ITER 936 NEW BEST:: SOT 38852 SOS 9984 HAS SOPS 9984 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9352.984
AT ITER 977 NEW BEST:: SOT 38856 SOS 9979 HAS SOPS 9979 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9349.979
AT ITER 1013 NEW BEST:: SOT 38853 SOS 9968 HAS SOPS 9968 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9346.968
AT ITER 1051 NEW BEST:: SOT 38836 SOS 9898 HAS SOPS 9898 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9257.898
AT ITER 1061 NEW BEST:: SOT 38830 SOS 9893 HAS SOPS 9893 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9250.893
AT ITER 1063 NEW BEST:: SOT 38827 SOS 9884 HAS SOPS 9884 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9240.884
AT ITER 1065 NEW BEST:: SOT 38808 SOS 9900 HAS SOPS 9900 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9213.9
AT ITER 1072 NEW BEST:: SOT 38807 SOS 9903 HAS SOPS 9903 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9212.903
AT ITER 1079 NEW BEST:: SOT 38778 SOS 9915 HAS SOPS 9915 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9128.915
AT ITER 1092 NEW BEST:: SOT 38774 SOS 9907 HAS SOPS 9907 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9127.907
AT ITER 1107 NEW BEST:: SOT 38760 SOS 9954 HAS SOPS 9954 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9111.954
AT ITER 1130 NEW BEST:: SOT 38775 SOS 10003 HAS SOPS 10003 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9097.003
AT ITER 1162 NEW BEST:: SOT 38790 SOS 9990 HAS SOPS 9990 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9083.99
AT ITER 1164 NEW BEST:: SOT 38790 SOS 9925 HAS SOPS 9925 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9083.925
AT ITER 1169 NEW BEST:: SOT 38790 SOS 9897 HAS SOPS 9897 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9062.897
AT ITER 1174 NEW BEST:: SOT 38822 SOS 9927 HAS SOPS 9927 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9060.927
AT ITER 1184 NEW BEST:: SOT 38794 SOS 9880 HAS SOPS 9880 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9013.88
AT ITER 1197 NEW BEST:: SOT 38790 SOS 9869 HAS SOPS 9869 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9011.869
AT ITER 1201 NEW BEST:: SOT 38767 SOS 9831 HAS SOPS 9831 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 8995.831
AT ITER 1204 NEW BEST:: SOT 38769 SOS 9832 HAS SOPS 9832 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8994.832
AT ITER 1224 NEW BEST:: SOT 38748 SOS 9780 HAS SOPS 9780 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8942.78
AT ITER 1225 NEW BEST:: SOT 38727 SOS 9759 HAS SOPS 9759 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8921.759
AT ITER 1245 NEW BEST:: SOT 38707 SOS 9728 HAS SOPS 9728 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8896.728
AT ITER 1257 NEW BEST:: SOT 38712 SOS 9723 HAS SOPS 9723 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8891.723
AT ITER 1258 NEW BEST:: SOT 38702 SOS 9712 HAS SOPS 9712 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8890.712
AT ITER 1287 NEW BEST:: SOT 38695 SOS 9666 HAS SOPS 9666 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.666
AT ITER 1328 NEW BEST:: SOT 38695 SOS 9665 HAS SOPS 9665 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.665
AT ITER 1358 NEW BEST:: SOT 38682 SOS 9665 HAS SOPS 9665 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.665
AT ITER 1410 NEW BEST:: SOT 38671 SOS 9669 HAS SOPS 9669 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8828.669
AT ITER 1442 NEW BEST:: SOT 38720 SOS 9667 HAS SOPS 9667 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8826.667
AT ITER 1446 NEW BEST:: SOT 38686 SOS 9616 HAS SOPS 9616 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8791.616
AT ITER 1462 NEW BEST:: SOT 38680 SOS 9610 HAS SOPS 9610 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8785.61
AT ITER 1510 NEW BEST:: SOT 38680 SOS 9594 HAS SOPS 9594 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8785.594
AT ITER 1530 NEW BEST:: SOT 38677 SOS 9586 HAS SOPS 9586 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8784.586
AT ITER 1534 NEW BEST:: SOT 38677 SOS 9583 HAS SOPS 9583 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8781.583
AT ITER 1548 NEW BEST:: SOT 38681 SOS 9586 HAS SOPS 9586 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.586
AT ITER 1564 NEW BEST:: SOT 38681 SOS 9581 HAS SOPS 9581 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8775.581
AT ITER 1598 NEW BEST:: SOT 38674 SOS 9555 HAS SOPS 9555 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8768.555
AT ITER 1599 NEW BEST:: SOT 38657 SOS 9504 HAS SOPS 9504 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8734.504
AT ITER 1610 NEW BEST:: SOT 38655 SOS 9502 HAS SOPS 9502 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8732.502
AT ITER 1613 NEW BEST:: SOT 38646 SOS 9518 HAS SOPS 9518 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8721.518
AT ITER 1626 NEW BEST:: SOT 38648 SOS 9517 HAS SOPS 9517 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8718.517
AT ITER 1640 NEW BEST:: SOT 38642 SOS 9511 HAS SOPS 9511 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.511
AT ITER 1666 NEW BEST:: SOT 38640 SOS 9507 HAS SOPS 9507 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8710.507
AT ITER 1682 NEW BEST:: SOT 38641 SOS 9503 HAS SOPS 9503 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8706.503
AT ITER 1703 NEW BEST:: SOT 38621 SOS 9526 HAS SOPS 9526 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8696.526
AT ITER 1732 NEW BEST:: SOT 38613 SOS 9518 HAS SOPS 9518 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8680.518
AT ITER 1746 NEW BEST:: SOT 38613 SOS 9517 HAS SOPS 9517 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8672.517
AT ITER 1754 NEW BEST:: SOT 38618 SOS 9522 HAS SOPS 9522 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8671.522
AT ITER 1760 NEW BEST:: SOT 38608 SOS 9504 HAS SOPS 9504 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8653.504
AT ITER 1855 NEW BEST:: SOT 38617 SOS 9496 HAS SOPS 9496 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8649.496
AT ITER 1888 NEW BEST:: SOT 38592 SOS 9384 HAS SOPS 9384 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.384
AT ITER 1895 NEW BEST:: SOT 38584 SOS 9368 HAS SOPS 9368 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8616.368
AT ITER 1918 NEW BEST:: SOT 38586 SOS 9360 HAS SOPS 9360 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.36
AT ITER 1920 NEW BEST:: SOT 38578 SOS 9344 HAS SOPS 9344 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8592.344
AT ITER 1932 NEW BEST:: SOT 38572 SOS 9332 HAS SOPS 9332 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.332
AT ITER 1962 NEW BEST:: SOT 38553 SOS 9301 HAS SOPS 9301 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8516.301
AT ITER 1973 NEW BEST:: SOT 38553 SOS 9281 HAS SOPS 9281 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8516.281
AT ITER 1994 NEW BEST:: SOT 38553 SOS 9265 HAS SOPS 9265 HAS SOUS 8499 HAS SOUPS 8499 WITH SCORE 8508.265
AT ITER 1999 NEW BEST:: SOT 38551 SOS 9263 HAS SOPS 9263 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.263
AT ITER 2010 NEW BEST:: SOT 38552 SOS 9252 HAS SOPS 9252 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8495.252
AT ITER 2020 NEW BEST:: SOT 38544 SOS 9244 HAS SOPS 9244 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.244
AT ITER 2044 NEW BEST:: SOT 38540 SOS 9240 HAS SOPS 9240 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.24
AT ITER 2050 NEW BEST:: SOT 38540 SOS 9204 HAS SOPS 9204 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8468.204
AT ITER 2079 NEW BEST:: SOT 38536 SOS 9178 HAS SOPS 9178 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8453.178
AT ITER 2084 NEW BEST:: SOT 38519 SOS 9161 HAS SOPS 9161 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8436.161
AT ITER 2088 NEW BEST:: SOT 38506 SOS 9148 HAS SOPS 9148 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8423.148
AT ITER 2113 NEW BEST:: SOT 38510 SOS 9136 HAS SOPS 9136 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.136
AT ITER 2148 NEW BEST:: SOT 38440 SOS 9081 HAS SOPS 9081 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8368.081
AT ITER 2153 NEW BEST:: SOT 38440 SOS 9079 HAS SOPS 9079 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8366.079
AT ITER 2170 NEW BEST:: SOT 38435 SOS 9075 HAS SOPS 9075 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8366.075
AT ITER 2185 NEW BEST:: SOT 38421 SOS 9085 HAS SOPS 9085 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.085
AT ITER 2222 NEW BEST:: SOT 38432 SOS 9071 HAS SOPS 9071 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8351.071
AT ITER 2263 NEW BEST:: SOT 38457 SOS 9090 HAS SOPS 9090 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.09
AT ITER 2303 NEW BEST:: SOT 38456 SOS 9088 HAS SOPS 9088 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.088
AT ITER 2311 NEW BEST:: SOT 38451 SOS 9084 HAS SOPS 9084 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8328.084
AT ITER 2321 NEW BEST:: SOT 38440 SOS 9060 HAS SOPS 9060 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.06
AT ITER 2365 NEW BEST:: SOT 38440 SOS 9066 HAS SOPS 9066 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8285.066
AT ITER 2387 NEW BEST:: SOT 38435 SOS 9061 HAS SOPS 9061 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8285.061
AT ITER 2409 NEW BEST:: SOT 38422 SOS 9048 HAS SOPS 9048 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8279.048
AT ITER 2487 NEW BEST:: SOT 38438 SOS 9039 HAS SOPS 9039 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8270.039
AT ITER 2499 NEW BEST:: SOT 38439 SOS 9038 HAS SOPS 9038 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8269.038
AT ITER 2546 NEW BEST:: SOT 38459 SOS 9053 HAS SOPS 9053 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8267.053
AT ITER 2563 NEW BEST:: SOT 38443 SOS 9037 HAS SOPS 9037 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8251.037
AT ITER 2578 NEW BEST:: SOT 38443 SOS 9035 HAS SOPS 9035 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.035
AT ITER 2590 NEW BEST:: SOT 38392 SOS 8984 HAS SOPS 8984 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8188.984
AT ITER 2595 NEW BEST:: SOT 38383 SOS 8970 HAS SOPS 8970 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8174.97
AT ITER 2653 NEW BEST:: SOT 38396 SOS 8966 HAS SOPS 8966 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8150.966
AT ITER 2673 NEW BEST:: SOT 38396 SOS 8947 HAS SOPS 8947 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8145.947
AT ITER 2793 NEW BEST:: SOT 38385 SOS 8943 HAS SOPS 8943 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8135.943
AT ITER 2805 NEW BEST:: SOT 38369 SOS 8932 HAS SOPS 8932 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.932
AT ITER 2879 NEW BEST:: SOT 38368 SOS 8931 HAS SOPS 8931 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8123.931
AT ITER 2921 NEW BEST:: SOT 38368 SOS 8928 HAS SOPS 8928 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8120.928
AT ITER 2940 NEW BEST:: SOT 38370 SOS 8920 HAS SOPS 8920 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8112.92
AT ITER 2944 NEW BEST:: SOT 38370 SOS 8919 HAS SOPS 8919 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8111.919
AT ITER 2972 NEW BEST:: SOT 38370 SOS 8917 HAS SOPS 8917 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8109.917
AT ITER 3018 NEW BEST:: SOT 38365 SOS 8907 HAS SOPS 8907 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8104.907
AT ITER 3042 NEW BEST:: SOT 38366 SOS 8901 HAS SOPS 8901 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8098.901
AT ITER 3053 NEW BEST:: SOT 38351 SOS 8872 HAS SOPS 8872 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8076.872
AT ITER 3092 NEW BEST:: SOT 38348 SOS 8871 HAS SOPS 8871 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8073.871
AT ITER 3155 NEW BEST:: SOT 38341 SOS 8863 HAS SOPS 8863 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8063.863
AT ITER 3172 NEW BEST:: SOT 38338 SOS 8851 HAS SOPS 8851 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8057.851
AT ITER 3258 NEW BEST:: SOT 38338 SOS 8849 HAS SOPS 8849 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8057.849
AT ITER 3260 NEW BEST:: SOT 38337 SOS 8840 HAS SOPS 8840 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8057.84
AT ITER 3263 NEW BEST:: SOT 38332 SOS 8828 HAS SOPS 8828 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8046.828
AT ITER 3359 NEW BEST:: SOT 38334 SOS 8835 HAS SOPS 8835 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8044.835
AT ITER 3417 NEW BEST:: SOT 38330 SOS 8815 HAS SOPS 8815 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.815
AT ITER 3432 NEW BEST:: SOT 38309 SOS 8792 HAS SOPS 8792 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8011.792
AT ITER 3446 NEW BEST:: SOT 38309 SOS 8793 HAS SOPS 8793 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8002.793
AT ITER 3497 NEW BEST:: SOT 38309 SOS 8788 HAS SOPS 8788 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.788
AT ITER 3514 NEW BEST:: SOT 38307 SOS 8786 HAS SOPS 8786 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7995.786
AT ITER 3529 NEW BEST:: SOT 38301 SOS 8770 HAS SOPS 8770 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7979.77
AT ITER 3571 NEW BEST:: SOT 38311 SOS 8762 HAS SOPS 8762 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7973.762
AT ITER 3602 NEW BEST:: SOT 38305 SOS 8759 HAS SOPS 8759 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7967.759
AT ITER 3615 NEW BEST:: SOT 38279 SOS 8730 HAS SOPS 8730 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7938.73
AT ITER 3626 NEW BEST:: SOT 38282 SOS 8732 HAS SOPS 8732 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7932.732
AT ITER 3628 NEW BEST:: SOT 38286 SOS 8699 HAS SOPS 8699 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7913.699
AT ITER 3639 NEW BEST:: SOT 38282 SOS 8691 HAS SOPS 8691 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7905.691
AT ITER 3654 NEW BEST:: SOT 38277 SOS 8680 HAS SOPS 8680 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7894.68
AT ITER 3682 NEW BEST:: SOT 38263 SOS 8661 HAS SOPS 8661 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7864.661
AT ITER 3689 NEW BEST:: SOT 38227 SOS 8637 HAS SOPS 8637 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.637
AT ITER 3717 NEW BEST:: SOT 38230 SOS 8635 HAS SOPS 8635 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7851.635
AT ITER 3730 NEW BEST:: SOT 38210 SOS 8619 HAS SOPS 8619 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.619
AT ITER 3756 NEW BEST:: SOT 38204 SOS 8607 HAS SOPS 8607 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7839.607
AT ITER 3770 NEW BEST:: SOT 38197 SOS 8545 HAS SOPS 8545 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7814.545
AT ITER 3776 NEW BEST:: SOT 38197 SOS 8539 HAS SOPS 8539 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7808.539
AT ITER 3780 NEW BEST:: SOT 38195 SOS 8538 HAS SOPS 8538 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7807.538
AT ITER 3806 NEW BEST:: SOT 38193 SOS 8537 HAS SOPS 8537 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7805.537
AT ITER 3846 NEW BEST:: SOT 38193 SOS 8532 HAS SOPS 8532 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7805.532
AT ITER 3852 NEW BEST:: SOT 38184 SOS 8502 HAS SOPS 8502 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7772.502
AT ITER 3872 NEW BEST:: SOT 38180 SOS 8490 HAS SOPS 8490 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7768.49
AT ITER 3932 NEW BEST:: SOT 38176 SOS 8487 HAS SOPS 8487 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7760.487
AT ITER 3960 NEW BEST:: SOT 38178 SOS 8489 HAS SOPS 8489 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7753.489
AT ITER 3972 NEW BEST:: SOT 38177 SOS 8487 HAS SOPS 8487 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7751.487
AT ITER 4046 NEW BEST:: SOT 38171 SOS 8481 HAS SOPS 8481 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.481
AT ITER 4088 NEW BEST:: SOT 38157 SOS 8458 HAS SOPS 8458 HAS SOUS 7714 HAS SOUPS 7714 WITH SCORE 7722.458
AT ITER 4150 NEW BEST:: SOT 38152 SOS 8450 HAS SOPS 8450 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7710.45
AT ITER 4180 NEW BEST:: SOT 38168 SOS 8446 HAS SOPS 8446 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7708.446
AT ITER 4197 NEW BEST:: SOT 38192 SOS 8419 HAS SOPS 8419 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.419
AT ITER 4207 NEW BEST:: SOT 38192 SOS 8413 HAS SOPS 8413 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.413
AT ITER 4223 NEW BEST:: SOT 38205 SOS 8412 HAS SOPS 8412 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7698.412
AT ITER 4322 NEW BEST:: SOT 38165 SOS 8366 HAS SOPS 8366 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.366
AT ITER 4332 NEW BEST:: SOT 38164 SOS 8363 HAS SOPS 8363 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.363
AT ITER 4346 NEW BEST:: SOT 38145 SOS 8366 HAS SOPS 8366 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7631.366
AT ITER 4381 NEW BEST:: SOT 38145 SOS 8362 HAS SOPS 8362 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7629.362
AT ITER 4412 NEW BEST:: SOT 38129 SOS 8329 HAS SOPS 8329 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7617.329
AT ITER 4436 NEW BEST:: SOT 38128 SOS 8331 HAS SOPS 8331 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.331
AT ITER 4442 NEW BEST:: SOT 38129 SOS 8323 HAS SOPS 8323 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7608.323
AT ITER 4476 NEW BEST:: SOT 38127 SOS 8321 HAS SOPS 8321 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.321
AT ITER 4548 NEW BEST:: SOT 38126 SOS 8320 HAS SOPS 8320 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.32
AT ITER 4550 NEW BEST:: SOT 38124 SOS 8319 HAS SOPS 8319 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7602.319
AT ITER 4584 NEW BEST:: SOT 38124 SOS 8315 HAS SOPS 8315 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7598.315
AT ITER 4617 NEW BEST:: SOT 38136 SOS 8305 HAS SOPS 8305 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7592.305
AT ITER 4681 NEW BEST:: SOT 38133 SOS 8311 HAS SOPS 8311 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7589.311
AT ITER 4703 NEW BEST:: SOT 38127 SOS 8299 HAS SOPS 8299 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7583.299
AT ITER 4734 NEW BEST:: SOT 38127 SOS 8295 HAS SOPS 8295 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7579.295
AT ITER 4761 NEW BEST:: SOT 38124 SOS 8292 HAS SOPS 8292 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.292
AT ITER 4846 NEW BEST:: SOT 38117 SOS 8285 HAS SOPS 8285 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7566.285
AT ITER 4898 NEW BEST:: SOT 38099 SOS 8278 HAS SOPS 8278 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.278
AT ITER 4965 NEW BEST:: SOT 38099 SOS 8270 HAS SOPS 8270 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7557.27
AT ITER 5026 NEW BEST:: SOT 38094 SOS 8266 HAS SOPS 8266 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7553.266
AT ITER 5078 NEW BEST:: SOT 38078 SOS 8258 HAS SOPS 8258 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7550.258
AT ITER 5091 NEW BEST:: SOT 38078 SOS 8251 HAS SOPS 8251 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7550.251
AT ITER 5092 NEW BEST:: SOT 38081 SOS 8241 HAS SOPS 8241 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7541.241
AT ITER 5112 NEW BEST:: SOT 38076 SOS 8231 HAS SOPS 8231 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.231
AT ITER 5138 NEW BEST:: SOT 38046 SOS 8189 HAS SOPS 8189 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7489.189
AT ITER 5156 NEW BEST:: SOT 38044 SOS 8187 HAS SOPS 8187 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.187
AT ITER 5196 NEW BEST:: SOT 38044 SOS 8173 HAS SOPS 8173 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.173
AT ITER 5256 NEW BEST:: SOT 38043 SOS 8172 HAS SOPS 8172 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7483.172
AT ITER 5264 NEW BEST:: SOT 38042 SOS 8170 HAS SOPS 8170 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7482.17
AT ITER 5276 NEW BEST:: SOT 38040 SOS 8166 HAS SOPS 8166 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7478.166
AT ITER 5283 NEW BEST:: SOT 38039 SOS 8170 HAS SOPS 8170 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7459.17
AT ITER 5309 NEW BEST:: SOT 38036 SOS 8148 HAS SOPS 8148 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.148
AT ITER 5350 NEW BEST:: SOT 38036 SOS 8145 HAS SOPS 8145 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7445.145
AT ITER 5392 NEW BEST:: SOT 38036 SOS 8149 HAS SOPS 8149 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.149
AT ITER 5446 NEW BEST:: SOT 38024 SOS 8133 HAS SOPS 8133 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7428.133
AT ITER 5496 NEW BEST:: SOT 38018 SOS 8127 HAS SOPS 8127 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7422.127
AT ITER 5590 NEW BEST:: SOT 38027 SOS 8123 HAS SOPS 8123 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7418.123
AT ITER 5707 NEW BEST:: SOT 38011 SOS 8111 HAS SOPS 8111 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.111
AT ITER 5725 NEW BEST:: SOT 38011 SOS 8111 HAS SOPS 8111 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7404.111
AT ITER 5872 NEW BEST:: SOT 38006 SOS 8105 HAS SOPS 8105 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.105
AT ITER 5936 NEW BEST:: SOT 37996 SOS 8097 HAS SOPS 8097 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.097
AT ITER 5963 NEW BEST:: SOT 37996 SOS 8096 HAS SOPS 8096 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.096
AT ITER 5967 NEW BEST:: SOT 37996 SOS 8095 HAS SOPS 8095 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7378.095
AT ITER 5981 NEW BEST:: SOT 37996 SOS 8091 HAS SOPS 8091 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.091
AT ITER 6106 NEW BEST:: SOT 37996 SOS 8089 HAS SOPS 8089 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.089
AT ITER 6121 NEW BEST:: SOT 37998 SOS 8087 HAS SOPS 8087 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7372.087
AT ITER 6159 NEW BEST:: SOT 38005 SOS 8090 HAS SOPS 8090 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.09
AT ITER 6174 NEW BEST:: SOT 38014 SOS 8113 HAS SOPS 8113 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.113
AT ITER 6215 NEW BEST:: SOT 38012 SOS 8109 HAS SOPS 8109 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.109
AT ITER 6235 NEW BEST:: SOT 38009 SOS 8105 HAS SOPS 8105 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.105
AT ITER 6248 NEW BEST:: SOT 38009 SOS 8103 HAS SOPS 8103 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7351.103
AT ITER 6265 NEW BEST:: SOT 38007 SOS 8101 HAS SOPS 8101 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.101
AT ITER 6292 NEW BEST:: SOT 38005 SOS 8099 HAS SOPS 8099 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.099
AT ITER 6306 NEW BEST:: SOT 38005 SOS 8092 HAS SOPS 8092 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7338.092
AT ITER 6339 NEW BEST:: SOT 38003 SOS 8090 HAS SOPS 8090 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.09
AT ITER 6442 NEW BEST:: SOT 38003 SOS 8078 HAS SOPS 8078 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7324.078
AT ITER 6613 NEW BEST:: SOT 38001 SOS 8072 HAS SOPS 8072 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7322.072
AT ITER 6628 NEW BEST:: SOT 38006 SOS 8068 HAS SOPS 8068 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.068
AT ITER 6707 NEW BEST:: SOT 38002 SOS 8064 HAS SOPS 8064 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7311.064
AT ITER 6836 NEW BEST:: SOT 38000 SOS 8095 HAS SOPS 8095 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.095
AT ITER 6837 NEW BEST:: SOT 38000 SOS 8077 HAS SOPS 8077 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.077
AT ITER 6846 NEW BEST:: SOT 38000 SOS 8075 HAS SOPS 8075 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.075
AT ITER 6890 NEW BEST:: SOT 38005 SOS 8067 HAS SOPS 8067 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7300.067
AT ITER 6920 NEW BEST:: SOT 38005 SOS 8062 HAS SOPS 8062 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7300.062
AT ITER 6962 NEW BEST:: SOT 37991 SOS 8034 HAS SOPS 8034 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7286.034
AT ITER 6964 NEW BEST:: SOT 37991 SOS 8028 HAS SOPS 8028 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7284.028
AT ITER 7084 NEW BEST:: SOT 37978 SOS 8010 HAS SOPS 8010 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7279.01
AT ITER 7116 NEW BEST:: SOT 37973 SOS 8002 HAS SOPS 8002 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.002
AT ITER 7117 NEW BEST:: SOT 37969 SOS 7998 HAS SOPS 7998 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7272.998
AT ITER 7144 NEW BEST:: SOT 37976 SOS 7996 HAS SOPS 7996 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7270.996
AT ITER 7165 NEW BEST:: SOT 37971 SOS 7992 HAS SOPS 7992 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7265.992
AT ITER 7264 NEW BEST:: SOT 37984 SOS 7990 HAS SOPS 7990 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7262.99
AT ITER 7283 NEW BEST:: SOT 37978 SOS 7978 HAS SOPS 7978 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7253.978
AT ITER 7300 NEW BEST:: SOT 37978 SOS 7989 HAS SOPS 7989 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7230.989
AT ITER 7360 NEW BEST:: SOT 37976 SOS 7987 HAS SOPS 7987 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7226.987
AT ITER 7397 NEW BEST:: SOT 37969 SOS 7977 HAS SOPS 7977 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7222.977
AT ITER 7477 NEW BEST:: SOT 37964 SOS 7974 HAS SOPS 7974 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7219.974
AT ITER 7513 NEW BEST:: SOT 37962 SOS 7972 HAS SOPS 7972 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7217.972
AT ITER 7562 NEW BEST:: SOT 37962 SOS 7969 HAS SOPS 7969 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7214.969
AT ITER 7573 NEW BEST:: SOT 37970 SOS 7935 HAS SOPS 7935 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7214.935
AT ITER 7738 NEW BEST:: SOT 37969 SOS 7933 HAS SOPS 7933 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.933
AT ITER 7770 NEW BEST:: SOT 37965 SOS 7926 HAS SOPS 7926 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7207.926
AT ITER 7773 NEW BEST:: SOT 37964 SOS 7924 HAS SOPS 7924 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7204.924
AT ITER 8038 NEW BEST:: SOT 37966 SOS 7922 HAS SOPS 7922 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7203.922
AT ITER 8085 NEW BEST:: SOT 37966 SOS 7921 HAS SOPS 7921 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7202.921
AT ITER 8188 NEW BEST:: SOT 37955 SOS 7924 HAS SOPS 7924 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7194.924
AT ITER 8196 NEW BEST:: SOT 37947 SOS 7839 HAS SOPS 7839 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.839
AT ITER 8233 NEW BEST:: SOT 37947 SOS 7838 HAS SOPS 7838 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7177.838
AT ITER 8431 NEW BEST:: SOT 37948 SOS 7839 HAS SOPS 7839 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7176.839
AT ITER 8499 NEW BEST:: SOT 37941 SOS 7831 HAS SOPS 7831 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7170.831
AT ITER 8555 NEW BEST:: SOT 37935 SOS 7831 HAS SOPS 7831 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7164.831
AT ITER 8562 NEW BEST:: SOT 37923 SOS 7819 HAS SOPS 7819 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7152.819
AT ITER 8662 NEW BEST:: SOT 37920 SOS 7810 HAS SOPS 7810 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7146.81
AT ITER 8744 NEW BEST:: SOT 37920 SOS 7807 HAS SOPS 7807 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.807
AT ITER 8794 NEW BEST:: SOT 37918 SOS 7803 HAS SOPS 7803 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7141.803
AT ITER 8973 NEW BEST:: SOT 37914 SOS 7795 HAS SOPS 7795 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7129.795
AT ITER 9112 NEW BEST:: SOT 37910 SOS 7791 HAS SOPS 7791 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7125.791
AT ITER 9253 NEW BEST:: SOT 37891 SOS 7755 HAS SOPS 7755 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7110.755
AT ITER 9260 NEW BEST:: SOT 37885 SOS 7749 HAS SOPS 7749 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7102.749
AT ITER 9283 NEW BEST:: SOT 37873 SOS 7737 HAS SOPS 7737 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7090.737
AT ITER 9294 NEW BEST:: SOT 37873 SOS 7732 HAS SOPS 7732 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7078.732
AT ITER 9306 NEW BEST:: SOT 37857 SOS 7725 HAS SOPS 7725 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7066.725
AT ITER 9350 NEW BEST:: SOT 37829 SOS 7697 HAS SOPS 7697 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7038.697
AT ITER 9373 NEW BEST:: SOT 37826 SOS 7694 HAS SOPS 7694 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7035.694
AT ITER 9532 NEW BEST:: SOT 37826 SOS 7693 HAS SOPS 7693 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7034.693
AT ITER 9580 NEW BEST:: SOT 37831 SOS 7680 HAS SOPS 7680 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7028.68
AT ITER 9666 NEW BEST:: SOT 37821 SOS 7678 HAS SOPS 7678 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7027.678
AT ITER 9670 NEW BEST:: SOT 37821 SOS 7677 HAS SOPS 7677 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7026.677
AT ITER 9754 NEW BEST:: SOT 37829 SOS 7675 HAS SOPS 7675 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7008.675
AT ITER 9783 NEW BEST:: SOT 37829 SOS 7673 HAS SOPS 7673 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7006.673
AT ITER 9806 NEW BEST:: SOT 37829 SOS 7680 HAS SOPS 7680 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7004.68
AT ITER 9821 NEW BEST:: SOT 37829 SOS 7679 HAS SOPS 7679 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7003.679
AT ITER 9823 NEW BEST:: SOT 37829 SOS 7684 HAS SOPS 7684 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6998.684
AT ITER 9832 NEW BEST:: SOT 37829 SOS 7679 HAS SOPS 7679 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6998.679
AT ITER 9837 NEW BEST:: SOT 37823 SOS 7707 HAS SOPS 7707 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6984.707
AT ITER 9962 NEW BEST:: SOT 37823 SOS 7705 HAS SOPS 7705 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6984.705
AT ITER 9973 NEW BEST:: SOT 37822 SOS 7710 HAS SOPS 7710 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.71
AT ITER 9991 NEW BEST:: SOT 37821 SOS 7698 HAS SOPS 7698 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6966.698
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 4348120 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122152 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="ShieldPPPs-PT-004B"
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 ShieldPPPs-PT-004B, 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 r395-oct2-167903718700416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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