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-167903718900576.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 ShieldPPPt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718900576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 4.9K Feb 25 21:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 21:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 21:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 21:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 21:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 21:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 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 56K 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 1679573349878

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=ShieldPPPt-PT-003B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:09:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:09:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:09:12] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-23 12:09:12] [INFO ] Transformed 237 places.
[2023-03-23 12:09:12] [INFO ] Transformed 216 transitions.
[2023-03-23 12:09:12] [INFO ] Found NUPN structural information;
[2023-03-23 12:09:12] [INFO ] Parsed PT model containing 237 places and 216 transitions and 540 arcs in 140 ms.
[2023-03-23 12:09:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 237 places, 216 transitions and 540 arcs took 7 ms.
Total runtime 195 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 003B
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: 237 places, 216 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 28201 SOS 8313 HAS SOPS 8313 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.313
AT ITER 1 NEW BEST:: SOT 28201 SOS 8311 HAS SOPS 8311 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7663.311
AT ITER 3 NEW BEST:: SOT 28183 SOS 8299 HAS SOPS 8299 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.299
AT ITER 8 NEW BEST:: SOT 28176 SOS 8292 HAS SOPS 8292 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.292
AT ITER 23 NEW BEST:: SOT 28193 SOS 8330 HAS SOPS 8330 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.33
AT ITER 32 NEW BEST:: SOT 28193 SOS 8321 HAS SOPS 8321 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.321
AT ITER 41 NEW BEST:: SOT 28193 SOS 8308 HAS SOPS 8308 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7602.308
AT ITER 48 NEW BEST:: SOT 28169 SOS 8284 HAS SOPS 8284 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.284
AT ITER 68 NEW BEST:: SOT 28174 SOS 8265 HAS SOPS 8265 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.265
AT ITER 86 NEW BEST:: SOT 28154 SOS 8225 HAS SOPS 8225 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.225
AT ITER 103 NEW BEST:: SOT 28154 SOS 8231 HAS SOPS 8231 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7485.231
AT ITER 105 NEW BEST:: SOT 28075 SOS 8170 HAS SOPS 8170 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7391.17
AT ITER 144 NEW BEST:: SOT 28073 SOS 8174 HAS SOPS 8174 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7389.174
AT ITER 149 NEW BEST:: SOT 28041 SOS 8140 HAS SOPS 8140 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.14
AT ITER 163 NEW BEST:: SOT 28040 SOS 8138 HAS SOPS 8138 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.138
AT ITER 181 NEW BEST:: SOT 28036 SOS 8121 HAS SOPS 8121 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.121
AT ITER 193 NEW BEST:: SOT 28036 SOS 8108 HAS SOPS 8108 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.108
AT ITER 202 NEW BEST:: SOT 27992 SOS 8020 HAS SOPS 8020 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7302.02
AT ITER 208 NEW BEST:: SOT 27992 SOS 7991 HAS SOPS 7991 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7286.991
AT ITER 232 NEW BEST:: SOT 27970 SOS 7947 HAS SOPS 7947 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7265.947
AT ITER 233 NEW BEST:: SOT 27970 SOS 7946 HAS SOPS 7946 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7264.946
AT ITER 252 NEW BEST:: SOT 27976 SOS 7950 HAS SOPS 7950 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7255.95
AT ITER 277 NEW BEST:: SOT 27965 SOS 7917 HAS SOPS 7917 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7233.917
AT ITER 279 NEW BEST:: SOT 27941 SOS 7935 HAS SOPS 7935 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7227.935
AT ITER 294 NEW BEST:: SOT 27940 SOS 7933 HAS SOPS 7933 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7225.933
AT ITER 301 NEW BEST:: SOT 27950 SOS 7953 HAS SOPS 7953 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7220.953
AT ITER 304 NEW BEST:: SOT 27938 SOS 7929 HAS SOPS 7929 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7208.929
AT ITER 308 NEW BEST:: SOT 27959 SOS 7950 HAS SOPS 7950 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7189.95
AT ITER 319 NEW BEST:: SOT 27959 SOS 7946 HAS SOPS 7946 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7185.946
AT ITER 330 NEW BEST:: SOT 27959 SOS 7945 HAS SOPS 7945 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7159.945
AT ITER 347 NEW BEST:: SOT 27952 SOS 7915 HAS SOPS 7915 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7129.915
AT ITER 350 NEW BEST:: SOT 27976 SOS 7939 HAS SOPS 7939 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7113.939
AT ITER 361 NEW BEST:: SOT 28002 SOS 7842 HAS SOPS 7842 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7099.842
AT ITER 378 NEW BEST:: SOT 28002 SOS 7841 HAS SOPS 7841 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7098.841
AT ITER 380 NEW BEST:: SOT 28006 SOS 7840 HAS SOPS 7840 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7097.84
AT ITER 395 NEW BEST:: SOT 28012 SOS 7846 HAS SOPS 7846 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7093.846
AT ITER 397 NEW BEST:: SOT 28007 SOS 7841 HAS SOPS 7841 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7088.841
AT ITER 398 NEW BEST:: SOT 27988 SOS 7815 HAS SOPS 7815 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.815
AT ITER 415 NEW BEST:: SOT 27988 SOS 7778 HAS SOPS 7778 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.778
AT ITER 429 NEW BEST:: SOT 27988 SOS 7756 HAS SOPS 7756 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7040.756
AT ITER 442 NEW BEST:: SOT 27979 SOS 7765 HAS SOPS 7765 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7031.765
AT ITER 445 NEW BEST:: SOT 27959 SOS 7724 HAS SOPS 7724 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.724
AT ITER 476 NEW BEST:: SOT 27959 SOS 7724 HAS SOPS 7724 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6987.724
AT ITER 497 NEW BEST:: SOT 27878 SOS 7694 HAS SOPS 7694 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6871.694
AT ITER 499 NEW BEST:: SOT 27878 SOS 7696 HAS SOPS 7696 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.696
AT ITER 503 NEW BEST:: SOT 27883 SOS 7698 HAS SOPS 7698 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.698
AT ITER 504 NEW BEST:: SOT 27871 SOS 7690 HAS SOPS 7690 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6858.69
AT ITER 514 NEW BEST:: SOT 27871 SOS 7670 HAS SOPS 7670 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6858.67
AT ITER 517 NEW BEST:: SOT 27871 SOS 7668 HAS SOPS 7668 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6856.668
AT ITER 541 NEW BEST:: SOT 27885 SOS 7618 HAS SOPS 7618 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.618
AT ITER 562 NEW BEST:: SOT 27863 SOS 7625 HAS SOPS 7625 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6821.625
AT ITER 592 NEW BEST:: SOT 27863 SOS 7622 HAS SOPS 7622 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6818.622
AT ITER 602 NEW BEST:: SOT 27861 SOS 7618 HAS SOPS 7618 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.618
AT ITER 608 NEW BEST:: SOT 27861 SOS 7610 HAS SOPS 7610 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6806.61
AT ITER 632 NEW BEST:: SOT 27861 SOS 7607 HAS SOPS 7607 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6803.607
AT ITER 635 NEW BEST:: SOT 27860 SOS 7605 HAS SOPS 7605 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6801.605
AT ITER 637 NEW BEST:: SOT 27860 SOS 7599 HAS SOPS 7599 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6795.599
AT ITER 645 NEW BEST:: SOT 27859 SOS 7598 HAS SOPS 7598 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6795.598
AT ITER 669 NEW BEST:: SOT 27830 SOS 7634 HAS SOPS 7634 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6794.634
AT ITER 673 NEW BEST:: SOT 27830 SOS 7602 HAS SOPS 7602 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.602
AT ITER 719 NEW BEST:: SOT 27832 SOS 7600 HAS SOPS 7600 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.6
AT ITER 731 NEW BEST:: SOT 27810 SOS 7609 HAS SOPS 7609 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.609
AT ITER 806 NEW BEST:: SOT 27798 SOS 7597 HAS SOPS 7597 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.597
AT ITER 826 NEW BEST:: SOT 27797 SOS 7596 HAS SOPS 7596 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.596
AT ITER 852 NEW BEST:: SOT 27795 SOS 7581 HAS SOPS 7581 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6730.581
AT ITER 863 NEW BEST:: SOT 27795 SOS 7572 HAS SOPS 7572 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6721.572
AT ITER 864 NEW BEST:: SOT 27793 SOS 7567 HAS SOPS 7567 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.567
AT ITER 886 NEW BEST:: SOT 27793 SOS 7564 HAS SOPS 7564 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.564
AT ITER 887 NEW BEST:: SOT 27797 SOS 7531 HAS SOPS 7531 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.531
AT ITER 898 NEW BEST:: SOT 27773 SOS 7479 HAS SOPS 7479 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.479
AT ITER 924 NEW BEST:: SOT 27773 SOS 7476 HAS SOPS 7476 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6706.476
AT ITER 931 NEW BEST:: SOT 27773 SOS 7475 HAS SOPS 7475 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6705.475
AT ITER 937 NEW BEST:: SOT 27773 SOS 7464 HAS SOPS 7464 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6705.464
AT ITER 948 NEW BEST:: SOT 27770 SOS 7461 HAS SOPS 7461 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6702.461
AT ITER 951 NEW BEST:: SOT 27770 SOS 7445 HAS SOPS 7445 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6694.445
AT ITER 986 NEW BEST:: SOT 27770 SOS 7445 HAS SOPS 7445 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6686.445
AT ITER 989 NEW BEST:: SOT 27760 SOS 7445 HAS SOPS 7445 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.445
AT ITER 997 NEW BEST:: SOT 27744 SOS 7453 HAS SOPS 7453 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6669.453
AT ITER 1001 NEW BEST:: SOT 27730 SOS 7416 HAS SOPS 7416 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6658.416
AT ITER 1025 NEW BEST:: SOT 27689 SOS 7414 HAS SOPS 7414 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6656.414
AT ITER 1027 NEW BEST:: SOT 27687 SOS 7412 HAS SOPS 7412 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.412
AT ITER 1029 NEW BEST:: SOT 27685 SOS 7398 HAS SOPS 7398 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.398
AT ITER 1085 NEW BEST:: SOT 27667 SOS 7327 HAS SOPS 7327 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6636.327
AT ITER 1090 NEW BEST:: SOT 27692 SOS 7291 HAS SOPS 7291 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.291
AT ITER 1143 NEW BEST:: SOT 27692 SOS 7287 HAS SOPS 7287 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.287
AT ITER 1170 NEW BEST:: SOT 27698 SOS 7288 HAS SOPS 7288 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6595.288
AT ITER 1204 NEW BEST:: SOT 27710 SOS 7282 HAS SOPS 7282 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.282
AT ITER 1225 NEW BEST:: SOT 27697 SOS 7239 HAS SOPS 7239 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6541.239
AT ITER 1240 NEW BEST:: SOT 27690 SOS 7228 HAS SOPS 7228 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6530.228
AT ITER 1272 NEW BEST:: SOT 27694 SOS 7216 HAS SOPS 7216 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.216
AT ITER 1292 NEW BEST:: SOT 27691 SOS 7196 HAS SOPS 7196 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6498.196
AT ITER 1303 NEW BEST:: SOT 27690 SOS 7194 HAS SOPS 7194 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6496.194
AT ITER 1352 NEW BEST:: SOT 27693 SOS 7200 HAS SOPS 7200 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.2
AT ITER 1374 NEW BEST:: SOT 27702 SOS 7167 HAS SOPS 7167 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.167
AT ITER 1385 NEW BEST:: SOT 27702 SOS 7156 HAS SOPS 7156 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6461.156
AT ITER 1389 NEW BEST:: SOT 27706 SOS 7145 HAS SOPS 7145 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.145
AT ITER 1394 NEW BEST:: SOT 27694 SOS 7106 HAS SOPS 7106 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.106
AT ITER 1446 NEW BEST:: SOT 27653 SOS 7074 HAS SOPS 7074 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.074
AT ITER 1462 NEW BEST:: SOT 27650 SOS 7062 HAS SOPS 7062 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.062
AT ITER 1470 NEW BEST:: SOT 27650 SOS 7064 HAS SOPS 7064 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6390.064
AT ITER 1532 NEW BEST:: SOT 27661 SOS 7013 HAS SOPS 7013 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6349.013
AT ITER 1558 NEW BEST:: SOT 27651 SOS 6968 HAS SOPS 6968 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6303.968
AT ITER 1566 NEW BEST:: SOT 27661 SOS 6934 HAS SOPS 6934 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6286.934
AT ITER 1576 NEW BEST:: SOT 27658 SOS 6931 HAS SOPS 6931 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6283.931
AT ITER 1598 NEW BEST:: SOT 27670 SOS 6925 HAS SOPS 6925 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6277.925
AT ITER 1612 NEW BEST:: SOT 27667 SOS 6837 HAS SOPS 6837 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6236.837
AT ITER 1629 NEW BEST:: SOT 27644 SOS 6805 HAS SOPS 6805 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6201.805
AT ITER 1664 NEW BEST:: SOT 27644 SOS 6805 HAS SOPS 6805 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6183.805
AT ITER 1712 NEW BEST:: SOT 27641 SOS 6767 HAS SOPS 6767 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6176.767
AT ITER 1722 NEW BEST:: SOT 27638 SOS 6761 HAS SOPS 6761 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6170.761
AT ITER 1743 NEW BEST:: SOT 27626 SOS 6776 HAS SOPS 6776 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6169.776
AT ITER 1789 NEW BEST:: SOT 27630 SOS 6772 HAS SOPS 6772 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6161.772
AT ITER 1799 NEW BEST:: SOT 27630 SOS 6765 HAS SOPS 6765 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6161.765
AT ITER 1812 NEW BEST:: SOT 27628 SOS 6762 HAS SOPS 6762 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6158.762
AT ITER 1818 NEW BEST:: SOT 27622 SOS 6743 HAS SOPS 6743 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6152.743
AT ITER 1819 NEW BEST:: SOT 27610 SOS 6736 HAS SOPS 6736 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6145.736
AT ITER 1870 NEW BEST:: SOT 27610 SOS 6735 HAS SOPS 6735 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6144.735
AT ITER 1875 NEW BEST:: SOT 27603 SOS 6721 HAS SOPS 6721 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6137.721
AT ITER 1891 NEW BEST:: SOT 27608 SOS 6725 HAS SOPS 6725 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6136.725
AT ITER 1894 NEW BEST:: SOT 27594 SOS 6697 HAS SOPS 6697 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6122.697
AT ITER 1984 NEW BEST:: SOT 27590 SOS 6689 HAS SOPS 6689 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6114.689
AT ITER 1987 NEW BEST:: SOT 27606 SOS 6704 HAS SOPS 6704 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6112.704
AT ITER 1997 NEW BEST:: SOT 27608 SOS 6701 HAS SOPS 6701 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6109.701
AT ITER 2000 NEW BEST:: SOT 27586 SOS 6668 HAS SOPS 6668 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.668
AT ITER 2006 NEW BEST:: SOT 27578 SOS 6652 HAS SOPS 6652 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6068.652
AT ITER 2013 NEW BEST:: SOT 27577 SOS 6650 HAS SOPS 6650 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6066.65
AT ITER 2029 NEW BEST:: SOT 27573 SOS 6641 HAS SOPS 6641 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6057.641
AT ITER 2066 NEW BEST:: SOT 27573 SOS 6574 HAS SOPS 6574 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6022.574
AT ITER 2067 NEW BEST:: SOT 27569 SOS 6570 HAS SOPS 6570 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.57
AT ITER 2070 NEW BEST:: SOT 27560 SOS 6541 HAS SOPS 6541 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 5999.541
AT ITER 2074 NEW BEST:: SOT 27568 SOS 6533 HAS SOPS 6533 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5983.533
AT ITER 2086 NEW BEST:: SOT 27563 SOS 6525 HAS SOPS 6525 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.525
AT ITER 2118 NEW BEST:: SOT 27563 SOS 6513 HAS SOPS 6513 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.513
AT ITER 2134 NEW BEST:: SOT 27563 SOS 6510 HAS SOPS 6510 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5977.51
AT ITER 2166 NEW BEST:: SOT 27557 SOS 6509 HAS SOPS 6509 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5976.509
AT ITER 2177 NEW BEST:: SOT 27556 SOS 6504 HAS SOPS 6504 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5971.504
AT ITER 2200 NEW BEST:: SOT 27556 SOS 6502 HAS SOPS 6502 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5969.502
AT ITER 2227 NEW BEST:: SOT 27559 SOS 6538 HAS SOPS 6538 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5966.538
AT ITER 2244 NEW BEST:: SOT 27559 SOS 6532 HAS SOPS 6532 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5960.532
AT ITER 2246 NEW BEST:: SOT 27559 SOS 6529 HAS SOPS 6529 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5957.529
AT ITER 2256 NEW BEST:: SOT 27559 SOS 6525 HAS SOPS 6525 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5953.525
AT ITER 2257 NEW BEST:: SOT 27559 SOS 6519 HAS SOPS 6519 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5947.519
AT ITER 2297 NEW BEST:: SOT 27553 SOS 6496 HAS SOPS 6496 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5924.496
AT ITER 2351 NEW BEST:: SOT 27547 SOS 6490 HAS SOPS 6490 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.49
AT ITER 2352 NEW BEST:: SOT 27549 SOS 6462 HAS SOPS 6462 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.462
AT ITER 2389 NEW BEST:: SOT 27583 SOS 6487 HAS SOPS 6487 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5880.487
AT ITER 2395 NEW BEST:: SOT 27594 SOS 6463 HAS SOPS 6463 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.463
AT ITER 2407 NEW BEST:: SOT 27594 SOS 6462 HAS SOPS 6462 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5876.462
AT ITER 2421 NEW BEST:: SOT 27598 SOS 6461 HAS SOPS 6461 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5875.461
AT ITER 2453 NEW BEST:: SOT 27600 SOS 6458 HAS SOPS 6458 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5865.458
AT ITER 2459 NEW BEST:: SOT 27602 SOS 6448 HAS SOPS 6448 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.448
AT ITER 2498 NEW BEST:: SOT 27603 SOS 6441 HAS SOPS 6441 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5859.441
AT ITER 2542 NEW BEST:: SOT 27579 SOS 6412 HAS SOPS 6412 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5830.412
AT ITER 2551 NEW BEST:: SOT 27564 SOS 6400 HAS SOPS 6400 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.4
AT ITER 2619 NEW BEST:: SOT 27569 SOS 6378 HAS SOPS 6378 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5796.378
AT ITER 2631 NEW BEST:: SOT 27566 SOS 6375 HAS SOPS 6375 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.375
AT ITER 2656 NEW BEST:: SOT 27564 SOS 6374 HAS SOPS 6374 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.374
AT ITER 2657 NEW BEST:: SOT 27561 SOS 6367 HAS SOPS 6367 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5784.367
AT ITER 2662 NEW BEST:: SOT 27559 SOS 6382 HAS SOPS 6382 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.382
AT ITER 2695 NEW BEST:: SOT 27556 SOS 6379 HAS SOPS 6379 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5780.379
AT ITER 2704 NEW BEST:: SOT 27556 SOS 6378 HAS SOPS 6378 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5779.378
AT ITER 2705 NEW BEST:: SOT 27557 SOS 6359 HAS SOPS 6359 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5774.359
AT ITER 2736 NEW BEST:: SOT 27560 SOS 6312 HAS SOPS 6312 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5755.312
AT ITER 2742 NEW BEST:: SOT 27564 SOS 6310 HAS SOPS 6310 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5741.31
AT ITER 2865 NEW BEST:: SOT 27582 SOS 6323 HAS SOPS 6323 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.323
AT ITER 2884 NEW BEST:: SOT 27574 SOS 6310 HAS SOPS 6310 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.31
AT ITER 2888 NEW BEST:: SOT 27572 SOS 6307 HAS SOPS 6307 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.307
AT ITER 2894 NEW BEST:: SOT 27570 SOS 6305 HAS SOPS 6305 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.305
AT ITER 2906 NEW BEST:: SOT 27570 SOS 6304 HAS SOPS 6304 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.304
AT ITER 2914 NEW BEST:: SOT 27570 SOS 6284 HAS SOPS 6284 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.284
AT ITER 2926 NEW BEST:: SOT 27569 SOS 6274 HAS SOPS 6274 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.274
AT ITER 3020 NEW BEST:: SOT 27568 SOS 6272 HAS SOPS 6272 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.272
AT ITER 3025 NEW BEST:: SOT 27575 SOS 6236 HAS SOPS 6236 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.236
AT ITER 3066 NEW BEST:: SOT 27574 SOS 6240 HAS SOPS 6240 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.24
AT ITER 3078 NEW BEST:: SOT 27550 SOS 6226 HAS SOPS 6226 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.226
AT ITER 3094 NEW BEST:: SOT 27548 SOS 6222 HAS SOPS 6222 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5636.222
AT ITER 3097 NEW BEST:: SOT 27547 SOS 6202 HAS SOPS 6202 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.202
AT ITER 3122 NEW BEST:: SOT 27546 SOS 6201 HAS SOPS 6201 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5615.201
AT ITER 3126 NEW BEST:: SOT 27547 SOS 6206 HAS SOPS 6206 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5609.206
AT ITER 3146 NEW BEST:: SOT 27531 SOS 6184 HAS SOPS 6184 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.184
AT ITER 3149 NEW BEST:: SOT 27531 SOS 6183 HAS SOPS 6183 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5593.183
AT ITER 3157 NEW BEST:: SOT 27521 SOS 6169 HAS SOPS 6169 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5583.169
AT ITER 3243 NEW BEST:: SOT 27519 SOS 6167 HAS SOPS 6167 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.167
AT ITER 3248 NEW BEST:: SOT 27521 SOS 6158 HAS SOPS 6158 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.158
AT ITER 3262 NEW BEST:: SOT 27532 SOS 6180 HAS SOPS 6180 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.18
AT ITER 3278 NEW BEST:: SOT 27523 SOS 6179 HAS SOPS 6179 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.179
AT ITER 3316 NEW BEST:: SOT 27519 SOS 6173 HAS SOPS 6173 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5565.173
AT ITER 3317 NEW BEST:: SOT 27494 SOS 6154 HAS SOPS 6154 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.154
AT ITER 3354 NEW BEST:: SOT 27495 SOS 6146 HAS SOPS 6146 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.146
AT ITER 3363 NEW BEST:: SOT 27495 SOS 6146 HAS SOPS 6146 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.146
AT ITER 3386 NEW BEST:: SOT 27493 SOS 6144 HAS SOPS 6144 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.144
AT ITER 3423 NEW BEST:: SOT 27490 SOS 6141 HAS SOPS 6141 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.141
AT ITER 3431 NEW BEST:: SOT 27490 SOS 6140 HAS SOPS 6140 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.14
AT ITER 3564 NEW BEST:: SOT 27489 SOS 6138 HAS SOPS 6138 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5531.138
AT ITER 3645 NEW BEST:: SOT 27489 SOS 6136 HAS SOPS 6136 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.136
AT ITER 3648 NEW BEST:: SOT 27487 SOS 6135 HAS SOPS 6135 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5528.135
AT ITER 3726 NEW BEST:: SOT 27487 SOS 6121 HAS SOPS 6121 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.121
AT ITER 3759 NEW BEST:: SOT 27483 SOS 6101 HAS SOPS 6101 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.101
AT ITER 3796 NEW BEST:: SOT 27483 SOS 6091 HAS SOPS 6091 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.091
AT ITER 3839 NEW BEST:: SOT 27483 SOS 6087 HAS SOPS 6087 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.087
AT ITER 3879 NEW BEST:: SOT 27483 SOS 6084 HAS SOPS 6084 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.084
AT ITER 3887 NEW BEST:: SOT 27483 SOS 6074 HAS SOPS 6074 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.074
AT ITER 3939 NEW BEST:: SOT 27482 SOS 6073 HAS SOPS 6073 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.073
AT ITER 4029 NEW BEST:: SOT 27487 SOS 6078 HAS SOPS 6078 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.078
AT ITER 4049 NEW BEST:: SOT 27487 SOS 6076 HAS SOPS 6076 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.076
AT ITER 4050 NEW BEST:: SOT 27489 SOS 6074 HAS SOPS 6074 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5482.074
AT ITER 4143 NEW BEST:: SOT 27483 SOS 6071 HAS SOPS 6071 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5480.071
AT ITER 4185 NEW BEST:: SOT 27483 SOS 6069 HAS SOPS 6069 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.069
AT ITER 4301 NEW BEST:: SOT 27476 SOS 6073 HAS SOPS 6073 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5474.073
AT ITER 4310 NEW BEST:: SOT 27476 SOS 6071 HAS SOPS 6071 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.071
AT ITER 4331 NEW BEST:: SOT 27472 SOS 6067 HAS SOPS 6067 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.067
AT ITER 4411 NEW BEST:: SOT 27470 SOS 6067 HAS SOPS 6067 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.067
AT ITER 4420 NEW BEST:: SOT 27470 SOS 6065 HAS SOPS 6065 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.065
AT ITER 4424 NEW BEST:: SOT 27466 SOS 6057 HAS SOPS 6057 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.057
AT ITER 4440 NEW BEST:: SOT 27464 SOS 6053 HAS SOPS 6053 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.053
AT ITER 4490 NEW BEST:: SOT 27474 SOS 6057 HAS SOPS 6057 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.057
AT ITER 4503 NEW BEST:: SOT 27473 SOS 6056 HAS SOPS 6056 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.056
AT ITER 4540 NEW BEST:: SOT 27470 SOS 6045 HAS SOPS 6045 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.045
AT ITER 4544 NEW BEST:: SOT 27471 SOS 6044 HAS SOPS 6044 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5441.044
AT ITER 4601 NEW BEST:: SOT 27471 SOS 6042 HAS SOPS 6042 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5439.042
AT ITER 4664 NEW BEST:: SOT 27466 SOS 6037 HAS SOPS 6037 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.037
AT ITER 4782 NEW BEST:: SOT 27464 SOS 6024 HAS SOPS 6024 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.024
AT ITER 4860 NEW BEST:: SOT 27450 SOS 5996 HAS SOPS 5996 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5417.996
AT ITER 4862 NEW BEST:: SOT 27450 SOS 5989 HAS SOPS 5989 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5417.989
AT ITER 4879 NEW BEST:: SOT 27446 SOS 5981 HAS SOPS 5981 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5413.981
AT ITER 4965 NEW BEST:: SOT 27432 SOS 5953 HAS SOPS 5953 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5399.953
AT ITER 4999 NEW BEST:: SOT 27420 SOS 5929 HAS SOPS 5929 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5383.929
AT ITER 5043 NEW BEST:: SOT 27403 SOS 5906 HAS SOPS 5906 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5376.906
AT ITER 5311 NEW BEST:: SOT 27403 SOS 5903 HAS SOPS 5903 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5373.903
AT ITER 5330 NEW BEST:: SOT 27403 SOS 5900 HAS SOPS 5900 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5370.9
AT ITER 5393 NEW BEST:: SOT 27399 SOS 5896 HAS SOPS 5896 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.896
AT ITER 5419 NEW BEST:: SOT 27388 SOS 5889 HAS SOPS 5889 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5356.889
AT ITER 5428 NEW BEST:: SOT 27369 SOS 5824 HAS SOPS 5824 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5318.824
AT ITER 5432 NEW BEST:: SOT 27381 SOS 5848 HAS SOPS 5848 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.848
AT ITER 5448 NEW BEST:: SOT 27363 SOS 5842 HAS SOPS 5842 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5299.842
AT ITER 5488 NEW BEST:: SOT 27363 SOS 5811 HAS SOPS 5811 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5289.811
AT ITER 5529 NEW BEST:: SOT 27363 SOS 5809 HAS SOPS 5809 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5289.809
AT ITER 5550 NEW BEST:: SOT 27363 SOS 5809 HAS SOPS 5809 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.809
AT ITER 5639 NEW BEST:: SOT 27370 SOS 5802 HAS SOPS 5802 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.802
AT ITER 5733 NEW BEST:: SOT 27370 SOS 5801 HAS SOPS 5801 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.801
AT ITER 5734 NEW BEST:: SOT 27368 SOS 5800 HAS SOPS 5800 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.8
AT ITER 5736 NEW BEST:: SOT 27376 SOS 5794 HAS SOPS 5794 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5280.794
AT ITER 5738 NEW BEST:: SOT 27376 SOS 5793 HAS SOPS 5793 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5280.793
AT ITER 5749 NEW BEST:: SOT 27382 SOS 5783 HAS SOPS 5783 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5275.783
AT ITER 5856 NEW BEST:: SOT 27381 SOS 5783 HAS SOPS 5783 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5273.783
AT ITER 5858 NEW BEST:: SOT 27377 SOS 5783 HAS SOPS 5783 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5269.783
AT ITER 5886 NEW BEST:: SOT 27377 SOS 5778 HAS SOPS 5778 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5268.778
AT ITER 5894 NEW BEST:: SOT 27379 SOS 5768 HAS SOPS 5768 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5268.768
AT ITER 5910 NEW BEST:: SOT 27374 SOS 5758 HAS SOPS 5758 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5258.758
AT ITER 5965 NEW BEST:: SOT 27369 SOS 5748 HAS SOPS 5748 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5257.748
AT ITER 6061 NEW BEST:: SOT 27364 SOS 5740 HAS SOPS 5740 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5249.74
AT ITER 6074 NEW BEST:: SOT 27363 SOS 5726 HAS SOPS 5726 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5242.726
AT ITER 6094 NEW BEST:: SOT 27354 SOS 5735 HAS SOPS 5735 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5241.735
AT ITER 6111 NEW BEST:: SOT 27353 SOS 5733 HAS SOPS 5733 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.733
AT ITER 6157 NEW BEST:: SOT 27354 SOS 5720 HAS SOPS 5720 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5239.72
AT ITER 6159 NEW BEST:: SOT 27354 SOS 5717 HAS SOPS 5717 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.717
AT ITER 6166 NEW BEST:: SOT 27354 SOS 5715 HAS SOPS 5715 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.715
AT ITER 6197 NEW BEST:: SOT 27354 SOS 5715 HAS SOPS 5715 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5232.715
AT ITER 6213 NEW BEST:: SOT 27354 SOS 5717 HAS SOPS 5717 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.717
AT ITER 6226 NEW BEST:: SOT 27352 SOS 5715 HAS SOPS 5715 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5228.715
AT ITER 6323 NEW BEST:: SOT 27350 SOS 5716 HAS SOPS 5716 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.716
AT ITER 6394 NEW BEST:: SOT 27350 SOS 5703 HAS SOPS 5703 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5216.703
AT ITER 6416 NEW BEST:: SOT 27348 SOS 5697 HAS SOPS 5697 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5212.697
AT ITER 6473 NEW BEST:: SOT 27355 SOS 5694 HAS SOPS 5694 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5211.694
AT ITER 6514 NEW BEST:: SOT 27351 SOS 5687 HAS SOPS 5687 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.687
AT ITER 6515 NEW BEST:: SOT 27350 SOS 5686 HAS SOPS 5686 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.686
AT ITER 6533 NEW BEST:: SOT 27350 SOS 5684 HAS SOPS 5684 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.684
AT ITER 6609 NEW BEST:: SOT 27343 SOS 5677 HAS SOPS 5677 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5196.677
AT ITER 6727 NEW BEST:: SOT 27340 SOS 5674 HAS SOPS 5674 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5193.674
AT ITER 6769 NEW BEST:: SOT 27340 SOS 5668 HAS SOPS 5668 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5187.668
AT ITER 6792 NEW BEST:: SOT 27342 SOS 5676 HAS SOPS 5676 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5186.676
AT ITER 6854 NEW BEST:: SOT 27338 SOS 5668 HAS SOPS 5668 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5178.668
AT ITER 6859 NEW BEST:: SOT 27336 SOS 5666 HAS SOPS 5666 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5176.666
AT ITER 6915 NEW BEST:: SOT 27336 SOS 5662 HAS SOPS 5662 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5172.662
AT ITER 6976 NEW BEST:: SOT 27329 SOS 5663 HAS SOPS 5663 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5165.663
AT ITER 6988 NEW BEST:: SOT 27326 SOS 5660 HAS SOPS 5660 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5165.66
AT ITER 6995 NEW BEST:: SOT 27326 SOS 5636 HAS SOPS 5636 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.636
AT ITER 7083 NEW BEST:: SOT 27328 SOS 5640 HAS SOPS 5640 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5150.64
AT ITER 7091 NEW BEST:: SOT 27323 SOS 5630 HAS SOPS 5630 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5140.63
AT ITER 7100 NEW BEST:: SOT 27324 SOS 5582 HAS SOPS 5582 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.582
AT ITER 7177 NEW BEST:: SOT 27324 SOS 5572 HAS SOPS 5572 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.572
AT ITER 7202 NEW BEST:: SOT 27324 SOS 5563 HAS SOPS 5563 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.563
AT ITER 7245 NEW BEST:: SOT 27320 SOS 5555 HAS SOPS 5555 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.555
AT ITER 7372 NEW BEST:: SOT 27315 SOS 5541 HAS SOPS 5541 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5121.541
AT ITER 7392 NEW BEST:: SOT 27309 SOS 5523 HAS SOPS 5523 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5109.523
AT ITER 7439 NEW BEST:: SOT 27308 SOS 5523 HAS SOPS 5523 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.523
AT ITER 7442 NEW BEST:: SOT 27308 SOS 5522 HAS SOPS 5522 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5107.522
AT ITER 7554 NEW BEST:: SOT 27306 SOS 5518 HAS SOPS 5518 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.518
AT ITER 7661 NEW BEST:: SOT 27305 SOS 5517 HAS SOPS 5517 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.517
AT ITER 7671 NEW BEST:: SOT 27295 SOS 5512 HAS SOPS 5512 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5099.512
AT ITER 7708 NEW BEST:: SOT 27289 SOS 5436 HAS SOPS 5436 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.436
AT ITER 7731 NEW BEST:: SOT 27288 SOS 5435 HAS SOPS 5435 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5086.435
AT ITER 7783 NEW BEST:: SOT 27288 SOS 5434 HAS SOPS 5434 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5085.434
AT ITER 7822 NEW BEST:: SOT 27288 SOS 5434 HAS SOPS 5434 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5084.434
AT ITER 7848 NEW BEST:: SOT 27286 SOS 5430 HAS SOPS 5430 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5082.43
AT ITER 7886 NEW BEST:: SOT 27286 SOS 5429 HAS SOPS 5429 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5081.429
AT ITER 7916 NEW BEST:: SOT 27288 SOS 5428 HAS SOPS 5428 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5078.428
AT ITER 7931 NEW BEST:: SOT 27287 SOS 5422 HAS SOPS 5422 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.422
AT ITER 7992 NEW BEST:: SOT 27286 SOS 5420 HAS SOPS 5420 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.42
AT ITER 8125 NEW BEST:: SOT 27286 SOS 5420 HAS SOPS 5420 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.42
AT ITER 8243 NEW BEST:: SOT 27281 SOS 5419 HAS SOPS 5419 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5059.419
AT ITER 8562 NEW BEST:: SOT 27281 SOS 5408 HAS SOPS 5408 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5059.408
AT ITER 8600 NEW BEST:: SOT 27282 SOS 5407 HAS SOPS 5407 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5058.407
AT ITER 8712 NEW BEST:: SOT 27291 SOS 5393 HAS SOPS 5393 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5054.393
AT ITER 8736 NEW BEST:: SOT 27286 SOS 5393 HAS SOPS 5393 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.393
AT ITER 8743 NEW BEST:: SOT 27286 SOS 5391 HAS SOPS 5391 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.391
AT ITER 8756 NEW BEST:: SOT 27295 SOS 5385 HAS SOPS 5385 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5043.385
AT ITER 8782 NEW BEST:: SOT 27294 SOS 5379 HAS SOPS 5379 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.379
AT ITER 9017 NEW BEST:: SOT 27298 SOS 5375 HAS SOPS 5375 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5033.375
AT ITER 9024 NEW BEST:: SOT 27290 SOS 5367 HAS SOPS 5367 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.367
AT ITER 9045 NEW BEST:: SOT 27278 SOS 5343 HAS SOPS 5343 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5013.343
AT ITER 9091 NEW BEST:: SOT 27277 SOS 5341 HAS SOPS 5341 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.341
AT ITER 9151 NEW BEST:: SOT 27269 SOS 5319 HAS SOPS 5319 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4997.319
AT ITER 9188 NEW BEST:: SOT 27257 SOS 5266 HAS SOPS 5266 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4978.266
AT ITER 9271 NEW BEST:: SOT 27251 SOS 5260 HAS SOPS 5260 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.26
AT ITER 9489 NEW BEST:: SOT 27250 SOS 5257 HAS SOPS 5257 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.257
AT ITER 9502 NEW BEST:: SOT 27249 SOS 5255 HAS SOPS 5255 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4971.255
AT ITER 9510 NEW BEST:: SOT 27249 SOS 5249 HAS SOPS 5249 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.249
AT ITER 9556 NEW BEST:: SOT 27239 SOS 5235 HAS SOPS 5235 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.235
AT ITER 9714 NEW BEST:: SOT 27238 SOS 5234 HAS SOPS 5234 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.234
AT ITER 9717 NEW BEST:: SOT 27237 SOS 5233 HAS SOPS 5233 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4948.233
AT ITER 9726 NEW BEST:: SOT 27237 SOS 5231 HAS SOPS 5231 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4946.231
AT ITER 9784 NEW BEST:: SOT 27234 SOS 5217 HAS SOPS 5217 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4932.217
AT ITER 9796 NEW BEST:: SOT 27234 SOS 5215 HAS SOPS 5215 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4932.215
AT ITER 9859 NEW BEST:: SOT 27227 SOS 5207 HAS SOPS 5207 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4929.207
AT ITER 9917 NEW BEST:: SOT 27227 SOS 5203 HAS SOPS 5203 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4927.203
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 11611836 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16119904 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="ShieldPPPt-PT-003B"
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 ShieldPPPt-PT-003B, 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-167903718900576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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