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.r387-oct2-167903711400064.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 smart
Input is ShieldIIPs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711400064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 16:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 123K Feb 25 16:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 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 66K 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 1679060188228

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 243 places, 239 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 33268 SOS 10578 HAS SOPS 10578 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.578
AT ITER 49 NEW BEST:: SOT 33244 SOS 10554 HAS SOPS 10554 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8537.554
AT ITER 53 NEW BEST:: SOT 33244 SOS 10539 HAS SOPS 10539 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8536.539
AT ITER 61 NEW BEST:: SOT 33246 SOS 10568 HAS SOPS 10568 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8534.568
AT ITER 66 NEW BEST:: SOT 33237 SOS 10557 HAS SOPS 10557 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8524.557
AT ITER 90 NEW BEST:: SOT 33244 SOS 10563 HAS SOPS 10563 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8523.563
AT ITER 105 NEW BEST:: SOT 33192 SOS 10537 HAS SOPS 10537 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8481.537
AT ITER 117 NEW BEST:: SOT 33176 SOS 10507 HAS SOPS 10507 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8467.507
AT ITER 146 NEW BEST:: SOT 33176 SOS 10488 HAS SOPS 10488 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.488
AT ITER 147 NEW BEST:: SOT 33175 SOS 10484 HAS SOPS 10484 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8462.484
AT ITER 163 NEW BEST:: SOT 33177 SOS 10512 HAS SOPS 10512 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8460.512
AT ITER 175 NEW BEST:: SOT 33073 SOS 10441 HAS SOPS 10441 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8389.441
AT ITER 210 NEW BEST:: SOT 33030 SOS 10269 HAS SOPS 10269 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8375.269
AT ITER 213 NEW BEST:: SOT 33047 SOS 10362 HAS SOPS 10362 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8371.362
AT ITER 244 NEW BEST:: SOT 33040 SOS 10362 HAS SOPS 10362 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8370.362
AT ITER 249 NEW BEST:: SOT 33033 SOS 10328 HAS SOPS 10328 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8356.328
AT ITER 276 NEW BEST:: SOT 32908 SOS 10161 HAS SOPS 10161 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8188.161
AT ITER 301 NEW BEST:: SOT 32908 SOS 10187 HAS SOPS 10187 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8185.187
AT ITER 303 NEW BEST:: SOT 32875 SOS 10121 HAS SOPS 10121 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8117.121
AT ITER 346 NEW BEST:: SOT 32907 SOS 10148 HAS SOPS 10148 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8098.148
AT ITER 351 NEW BEST:: SOT 32907 SOS 10191 HAS SOPS 10191 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8095.191
AT ITER 366 NEW BEST:: SOT 32906 SOS 10191 HAS SOPS 10191 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8094.191
AT ITER 371 NEW BEST:: SOT 32906 SOS 10187 HAS SOPS 10187 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8094.187
AT ITER 385 NEW BEST:: SOT 32901 SOS 10184 HAS SOPS 10184 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8094.184
AT ITER 400 NEW BEST:: SOT 32917 SOS 10182 HAS SOPS 10182 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8092.182
AT ITER 415 NEW BEST:: SOT 32917 SOS 10162 HAS SOPS 10162 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8072.162
AT ITER 433 NEW BEST:: SOT 32928 SOS 10129 HAS SOPS 10129 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8072.129
AT ITER 444 NEW BEST:: SOT 32923 SOS 10117 HAS SOPS 10117 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8060.117
AT ITER 450 NEW BEST:: SOT 32951 SOS 10169 HAS SOPS 10169 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7993.169
AT ITER 462 NEW BEST:: SOT 32958 SOS 10160 HAS SOPS 10160 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7987.16
AT ITER 466 NEW BEST:: SOT 32958 SOS 10153 HAS SOPS 10153 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7980.153
AT ITER 472 NEW BEST:: SOT 32974 SOS 10137 HAS SOPS 10137 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.137
AT ITER 477 NEW BEST:: SOT 32945 SOS 10124 HAS SOPS 10124 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7951.124
AT ITER 478 NEW BEST:: SOT 32944 SOS 10123 HAS SOPS 10123 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7950.123
AT ITER 500 NEW BEST:: SOT 32921 SOS 9930 HAS SOPS 9930 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7946.93
AT ITER 501 NEW BEST:: SOT 32921 SOS 9929 HAS SOPS 9929 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7945.929
AT ITER 511 NEW BEST:: SOT 32921 SOS 9948 HAS SOPS 9948 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7941.948
AT ITER 513 NEW BEST:: SOT 32920 SOS 9938 HAS SOPS 9938 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7940.938
AT ITER 520 NEW BEST:: SOT 32920 SOS 9938 HAS SOPS 9938 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7936.938
AT ITER 545 NEW BEST:: SOT 32905 SOS 9920 HAS SOPS 9920 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7933.92
AT ITER 548 NEW BEST:: SOT 32905 SOS 9933 HAS SOPS 9933 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7912.933
AT ITER 586 NEW BEST:: SOT 32885 SOS 9923 HAS SOPS 9923 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7902.923
AT ITER 587 NEW BEST:: SOT 32831 SOS 9848 HAS SOPS 9848 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7864.848
AT ITER 609 NEW BEST:: SOT 32813 SOS 9835 HAS SOPS 9835 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7851.835
AT ITER 621 NEW BEST:: SOT 32813 SOS 9831 HAS SOPS 9831 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.831
AT ITER 630 NEW BEST:: SOT 32802 SOS 9820 HAS SOPS 9820 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.82
AT ITER 657 NEW BEST:: SOT 32744 SOS 9752 HAS SOPS 9752 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7745.752
AT ITER 658 NEW BEST:: SOT 32744 SOS 9749 HAS SOPS 9749 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7745.749
AT ITER 666 NEW BEST:: SOT 32726 SOS 9801 HAS SOPS 9801 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7743.801
AT ITER 696 NEW BEST:: SOT 32726 SOS 9782 HAS SOPS 9782 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7724.782
AT ITER 698 NEW BEST:: SOT 32724 SOS 9780 HAS SOPS 9780 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7721.78
AT ITER 732 NEW BEST:: SOT 32721 SOS 9749 HAS SOPS 9749 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7704.749
AT ITER 763 NEW BEST:: SOT 32697 SOS 9731 HAS SOPS 9731 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7686.731
AT ITER 765 NEW BEST:: SOT 32697 SOS 9726 HAS SOPS 9726 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.726
AT ITER 774 NEW BEST:: SOT 32697 SOS 9722 HAS SOPS 9722 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7678.722
AT ITER 783 NEW BEST:: SOT 32670 SOS 9684 HAS SOPS 9684 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7640.684
AT ITER 792 NEW BEST:: SOT 32653 SOS 9646 HAS SOPS 9646 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7634.646
AT ITER 795 NEW BEST:: SOT 32653 SOS 9646 HAS SOPS 9646 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7633.646
AT ITER 802 NEW BEST:: SOT 32653 SOS 9638 HAS SOPS 9638 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7626.638
AT ITER 808 NEW BEST:: SOT 32652 SOS 9634 HAS SOPS 9634 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7622.634
AT ITER 840 NEW BEST:: SOT 32663 SOS 9633 HAS SOPS 9633 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7621.633
AT ITER 843 NEW BEST:: SOT 32663 SOS 9633 HAS SOPS 9633 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7608.633
AT ITER 870 NEW BEST:: SOT 32653 SOS 9613 HAS SOPS 9613 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7599.613
AT ITER 873 NEW BEST:: SOT 32653 SOS 9608 HAS SOPS 9608 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7594.608
AT ITER 885 NEW BEST:: SOT 32679 SOS 9582 HAS SOPS 9582 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7594.582
AT ITER 908 NEW BEST:: SOT 32629 SOS 9469 HAS SOPS 9469 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7531.469
AT ITER 913 NEW BEST:: SOT 32602 SOS 9449 HAS SOPS 9449 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7511.449
AT ITER 917 NEW BEST:: SOT 32597 SOS 9508 HAS SOPS 9508 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7494.508
AT ITER 922 NEW BEST:: SOT 32588 SOS 9501 HAS SOPS 9501 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7487.501
AT ITER 940 NEW BEST:: SOT 32566 SOS 9457 HAS SOPS 9457 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7420.457
AT ITER 946 NEW BEST:: SOT 32566 SOS 9455 HAS SOPS 9455 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7418.455
AT ITER 952 NEW BEST:: SOT 32561 SOS 9435 HAS SOPS 9435 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7408.435
AT ITER 953 NEW BEST:: SOT 32561 SOS 9303 HAS SOPS 9303 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7408.303
AT ITER 957 NEW BEST:: SOT 32498 SOS 9240 HAS SOPS 9240 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7345.24
AT ITER 960 NEW BEST:: SOT 32493 SOS 9230 HAS SOPS 9230 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7335.23
AT ITER 967 NEW BEST:: SOT 32493 SOS 9218 HAS SOPS 9218 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7335.218
AT ITER 970 NEW BEST:: SOT 32441 SOS 9183 HAS SOPS 9183 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7300.183
AT ITER 1002 NEW BEST:: SOT 32441 SOS 9182 HAS SOPS 9182 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7300.182
AT ITER 1003 NEW BEST:: SOT 32441 SOS 9178 HAS SOPS 9178 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7298.178
AT ITER 1020 NEW BEST:: SOT 32433 SOS 9149 HAS SOPS 9149 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7282.149
AT ITER 1038 NEW BEST:: SOT 32421 SOS 9117 HAS SOPS 9117 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7270.117
AT ITER 1039 NEW BEST:: SOT 32421 SOS 9116 HAS SOPS 9116 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7269.116
AT ITER 1047 NEW BEST:: SOT 32390 SOS 9085 HAS SOPS 9085 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7238.085
AT ITER 1138 NEW BEST:: SOT 32387 SOS 9063 HAS SOPS 9063 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7227.063
AT ITER 1171 NEW BEST:: SOT 32386 SOS 9016 HAS SOPS 9016 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7180.016
AT ITER 1174 NEW BEST:: SOT 32390 SOS 9010 HAS SOPS 9010 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7174.01
AT ITER 1260 NEW BEST:: SOT 32388 SOS 9006 HAS SOPS 9006 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7170.006
AT ITER 1309 NEW BEST:: SOT 32384 SOS 8994 HAS SOPS 8994 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.994
AT ITER 1312 NEW BEST:: SOT 32352 SOS 8962 HAS SOPS 8962 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.962
AT ITER 1329 NEW BEST:: SOT 32349 SOS 8950 HAS SOPS 8950 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7122.95
AT ITER 1335 NEW BEST:: SOT 32334 SOS 8924 HAS SOPS 8924 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.924
AT ITER 1360 NEW BEST:: SOT 32340 SOS 8886 HAS SOPS 8886 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.886
AT ITER 1391 NEW BEST:: SOT 32340 SOS 8858 HAS SOPS 8858 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.858
AT ITER 1415 NEW BEST:: SOT 32311 SOS 8829 HAS SOPS 8829 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7061.829
AT ITER 1423 NEW BEST:: SOT 32308 SOS 8820 HAS SOPS 8820 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7055.82
AT ITER 1426 NEW BEST:: SOT 32277 SOS 8784 HAS SOPS 8784 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.784
AT ITER 1434 NEW BEST:: SOT 32250 SOS 8732 HAS SOPS 8732 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6929.732
AT ITER 1448 NEW BEST:: SOT 32246 SOS 8730 HAS SOPS 8730 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.73
AT ITER 1452 NEW BEST:: SOT 32246 SOS 8719 HAS SOPS 8719 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.719
AT ITER 1469 NEW BEST:: SOT 32176 SOS 8679 HAS SOPS 8679 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6880.679
AT ITER 1510 NEW BEST:: SOT 32162 SOS 8655 HAS SOPS 8655 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.655
AT ITER 1523 NEW BEST:: SOT 32161 SOS 8638 HAS SOPS 8638 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6847.638
AT ITER 1524 NEW BEST:: SOT 32159 SOS 8638 HAS SOPS 8638 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6845.638
AT ITER 1529 NEW BEST:: SOT 32157 SOS 8636 HAS SOPS 8636 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.636
AT ITER 1545 NEW BEST:: SOT 32148 SOS 8619 HAS SOPS 8619 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6834.619
AT ITER 1567 NEW BEST:: SOT 32145 SOS 8629 HAS SOPS 8629 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6830.629
AT ITER 1578 NEW BEST:: SOT 32145 SOS 8623 HAS SOPS 8623 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6823.623
AT ITER 1585 NEW BEST:: SOT 32059 SOS 8576 HAS SOPS 8576 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.576
AT ITER 1594 NEW BEST:: SOT 32055 SOS 8576 HAS SOPS 8576 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6751.576
AT ITER 1595 NEW BEST:: SOT 32050 SOS 8574 HAS SOPS 8574 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.574
AT ITER 1598 NEW BEST:: SOT 32046 SOS 8428 HAS SOPS 8428 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.428
AT ITER 1648 NEW BEST:: SOT 32037 SOS 8442 HAS SOPS 8442 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6720.442
AT ITER 1664 NEW BEST:: SOT 32037 SOS 8442 HAS SOPS 8442 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6712.442
AT ITER 1667 NEW BEST:: SOT 32026 SOS 8406 HAS SOPS 8406 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6693.406
AT ITER 1693 NEW BEST:: SOT 32020 SOS 8400 HAS SOPS 8400 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6681.4
AT ITER 1777 NEW BEST:: SOT 32020 SOS 8401 HAS SOPS 8401 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6679.401
AT ITER 1789 NEW BEST:: SOT 32009 SOS 8371 HAS SOPS 8371 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.371
AT ITER 1795 NEW BEST:: SOT 32009 SOS 8369 HAS SOPS 8369 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6648.369
AT ITER 1816 NEW BEST:: SOT 31990 SOS 8356 HAS SOPS 8356 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6635.356
AT ITER 1854 NEW BEST:: SOT 31995 SOS 8354 HAS SOPS 8354 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6634.354
AT ITER 1858 NEW BEST:: SOT 31988 SOS 8323 HAS SOPS 8323 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6627.323
AT ITER 1868 NEW BEST:: SOT 31954 SOS 8260 HAS SOPS 8260 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6588.26
AT ITER 1870 NEW BEST:: SOT 31954 SOS 8251 HAS SOPS 8251 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6579.251
AT ITER 1874 NEW BEST:: SOT 31952 SOS 8247 HAS SOPS 8247 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6575.247
AT ITER 1878 NEW BEST:: SOT 31952 SOS 8240 HAS SOPS 8240 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.24
AT ITER 1897 NEW BEST:: SOT 31924 SOS 8188 HAS SOPS 8188 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6533.188
AT ITER 1906 NEW BEST:: SOT 31924 SOS 8184 HAS SOPS 8184 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6533.184
AT ITER 1908 NEW BEST:: SOT 31913 SOS 8182 HAS SOPS 8182 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6531.182
AT ITER 1925 NEW BEST:: SOT 31898 SOS 8161 HAS SOPS 8161 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6528.161
AT ITER 1932 NEW BEST:: SOT 31889 SOS 8159 HAS SOPS 8159 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6522.159
AT ITER 1945 NEW BEST:: SOT 31889 SOS 8157 HAS SOPS 8157 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6521.157
AT ITER 1952 NEW BEST:: SOT 31884 SOS 8147 HAS SOPS 8147 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6511.147
AT ITER 1962 NEW BEST:: SOT 31866 SOS 8126 HAS SOPS 8126 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6497.126
AT ITER 1981 NEW BEST:: SOT 31864 SOS 8126 HAS SOPS 8126 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6492.126
AT ITER 1987 NEW BEST:: SOT 31891 SOS 8152 HAS SOPS 8152 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6491.152
AT ITER 2031 NEW BEST:: SOT 31885 SOS 8197 HAS SOPS 8197 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.197
AT ITER 2166 NEW BEST:: SOT 31882 SOS 8125 HAS SOPS 8125 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6459.125
AT ITER 2178 NEW BEST:: SOT 31882 SOS 8133 HAS SOPS 8133 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.133
AT ITER 2188 NEW BEST:: SOT 31876 SOS 8119 HAS SOPS 8119 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6442.119
AT ITER 2194 NEW BEST:: SOT 31876 SOS 8047 HAS SOPS 8047 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6442.047
AT ITER 2257 NEW BEST:: SOT 31879 SOS 8050 HAS SOPS 8050 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6439.05
AT ITER 2263 NEW BEST:: SOT 31870 SOS 8044 HAS SOPS 8044 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6433.044
AT ITER 2265 NEW BEST:: SOT 31868 SOS 8050 HAS SOPS 8050 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.05
AT ITER 2275 NEW BEST:: SOT 31863 SOS 8042 HAS SOPS 8042 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6420.042
AT ITER 2289 NEW BEST:: SOT 31862 SOS 8032 HAS SOPS 8032 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6411.032
AT ITER 2297 NEW BEST:: SOT 31862 SOS 8030 HAS SOPS 8030 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6407.03
AT ITER 2303 NEW BEST:: SOT 31860 SOS 8044 HAS SOPS 8044 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6402.044
AT ITER 2320 NEW BEST:: SOT 31857 SOS 8038 HAS SOPS 8038 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6396.038
AT ITER 2321 NEW BEST:: SOT 31869 SOS 8050 HAS SOPS 8050 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6395.05
AT ITER 2334 NEW BEST:: SOT 31866 SOS 8047 HAS SOPS 8047 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6395.047
AT ITER 2357 NEW BEST:: SOT 31875 SOS 8072 HAS SOPS 8072 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6389.072
AT ITER 2431 NEW BEST:: SOT 31871 SOS 8068 HAS SOPS 8068 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6381.068
AT ITER 2473 NEW BEST:: SOT 31871 SOS 8041 HAS SOPS 8041 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6372.041
AT ITER 2512 NEW BEST:: SOT 31824 SOS 7959 HAS SOPS 7959 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.959
AT ITER 2513 NEW BEST:: SOT 31813 SOS 7950 HAS SOPS 7950 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6333.95
AT ITER 2612 NEW BEST:: SOT 31812 SOS 7947 HAS SOPS 7947 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6331.947
AT ITER 2654 NEW BEST:: SOT 31812 SOS 7959 HAS SOPS 7959 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.959
AT ITER 2712 NEW BEST:: SOT 31798 SOS 8033 HAS SOPS 8033 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6324.033
AT ITER 2714 NEW BEST:: SOT 31787 SOS 8005 HAS SOPS 8005 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6308.005
AT ITER 2727 NEW BEST:: SOT 31778 SOS 7999 HAS SOPS 7999 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6298.999
AT ITER 2778 NEW BEST:: SOT 31778 SOS 7939 HAS SOPS 7939 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.939
AT ITER 2789 NEW BEST:: SOT 31737 SOS 7883 HAS SOPS 7883 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6242.883
AT ITER 2808 NEW BEST:: SOT 31737 SOS 7882 HAS SOPS 7882 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6241.882
AT ITER 2868 NEW BEST:: SOT 31735 SOS 7876 HAS SOPS 7876 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6237.876
AT ITER 2879 NEW BEST:: SOT 31735 SOS 7873 HAS SOPS 7873 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6236.873
AT ITER 2890 NEW BEST:: SOT 31720 SOS 7844 HAS SOPS 7844 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6222.844
AT ITER 2969 NEW BEST:: SOT 31707 SOS 7736 HAS SOPS 7736 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6188.736
AT ITER 2977 NEW BEST:: SOT 31701 SOS 7712 HAS SOPS 7712 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6181.712
AT ITER 3009 NEW BEST:: SOT 31706 SOS 7698 HAS SOPS 7698 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.698
AT ITER 3023 NEW BEST:: SOT 31695 SOS 7632 HAS SOPS 7632 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.632
AT ITER 3070 NEW BEST:: SOT 31694 SOS 7631 HAS SOPS 7631 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6148.631
AT ITER 3074 NEW BEST:: SOT 31694 SOS 7626 HAS SOPS 7626 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6148.626
AT ITER 3085 NEW BEST:: SOT 31696 SOS 7625 HAS SOPS 7625 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.625
AT ITER 3104 NEW BEST:: SOT 31691 SOS 7603 HAS SOPS 7603 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6130.603
AT ITER 3122 NEW BEST:: SOT 31688 SOS 7597 HAS SOPS 7597 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6124.597
AT ITER 3131 NEW BEST:: SOT 31712 SOS 7640 HAS SOPS 7640 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.64
AT ITER 3171 NEW BEST:: SOT 31712 SOS 7639 HAS SOPS 7639 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.639
AT ITER 3176 NEW BEST:: SOT 31701 SOS 7666 HAS SOPS 7666 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.666
AT ITER 3182 NEW BEST:: SOT 31701 SOS 7665 HAS SOPS 7665 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6086.665
AT ITER 3211 NEW BEST:: SOT 31682 SOS 7647 HAS SOPS 7647 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6067.647
AT ITER 3246 NEW BEST:: SOT 31673 SOS 7665 HAS SOPS 7665 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6064.665
AT ITER 3274 NEW BEST:: SOT 31669 SOS 7653 HAS SOPS 7653 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.653
AT ITER 3339 NEW BEST:: SOT 31667 SOS 7649 HAS SOPS 7649 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6052.649
AT ITER 3379 NEW BEST:: SOT 31670 SOS 7659 HAS SOPS 7659 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6037.659
AT ITER 3418 NEW BEST:: SOT 31669 SOS 7654 HAS SOPS 7654 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6035.654
AT ITER 3452 NEW BEST:: SOT 31675 SOS 7673 HAS SOPS 7673 HAS SOUS 6027 HAS SOUPS 6027 WITH SCORE 6034.673
AT ITER 3463 NEW BEST:: SOT 31667 SOS 7665 HAS SOPS 7665 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6026.665
AT ITER 3491 NEW BEST:: SOT 31667 SOS 7678 HAS SOPS 7678 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6025.678
AT ITER 3528 NEW BEST:: SOT 31661 SOS 7667 HAS SOPS 7667 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6019.667
AT ITER 3678 NEW BEST:: SOT 31661 SOS 7663 HAS SOPS 7663 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6015.663
AT ITER 3697 NEW BEST:: SOT 31661 SOS 7677 HAS SOPS 7677 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6003.677
AT ITER 3730 NEW BEST:: SOT 31658 SOS 7671 HAS SOPS 7671 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6002.671
AT ITER 3737 NEW BEST:: SOT 31649 SOS 7664 HAS SOPS 7664 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.664
AT ITER 3774 NEW BEST:: SOT 31647 SOS 7636 HAS SOPS 7636 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5992.636
AT ITER 3811 NEW BEST:: SOT 31646 SOS 7634 HAS SOPS 7634 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5991.634
AT ITER 3833 NEW BEST:: SOT 31646 SOS 7630 HAS SOPS 7630 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5991.63
AT ITER 3872 NEW BEST:: SOT 31654 SOS 7627 HAS SOPS 7627 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.627
AT ITER 3916 NEW BEST:: SOT 31647 SOS 7620 HAS SOPS 7620 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5981.62
AT ITER 3919 NEW BEST:: SOT 31645 SOS 7619 HAS SOPS 7619 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5980.619
AT ITER 4007 NEW BEST:: SOT 31652 SOS 7633 HAS SOPS 7633 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5979.633
AT ITER 4023 NEW BEST:: SOT 31644 SOS 7625 HAS SOPS 7625 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5971.625
AT ITER 4028 NEW BEST:: SOT 31641 SOS 7625 HAS SOPS 7625 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.625
AT ITER 4103 NEW BEST:: SOT 31641 SOS 7622 HAS SOPS 7622 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.622
AT ITER 4195 NEW BEST:: SOT 31641 SOS 7621 HAS SOPS 7621 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5961.621
AT ITER 4277 NEW BEST:: SOT 31641 SOS 7630 HAS SOPS 7630 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.63
AT ITER 4341 NEW BEST:: SOT 31638 SOS 7625 HAS SOPS 7625 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.625
AT ITER 4379 NEW BEST:: SOT 31638 SOS 7625 HAS SOPS 7625 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5954.625
AT ITER 4432 NEW BEST:: SOT 31632 SOS 7617 HAS SOPS 7617 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5950.617
AT ITER 4442 NEW BEST:: SOT 31628 SOS 7623 HAS SOPS 7623 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.623
AT ITER 4494 NEW BEST:: SOT 31609 SOS 7604 HAS SOPS 7604 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5945.604
AT ITER 4505 NEW BEST:: SOT 31599 SOS 7569 HAS SOPS 7569 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.569
AT ITER 4512 NEW BEST:: SOT 31596 SOS 7559 HAS SOPS 7559 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5928.559
AT ITER 4525 NEW BEST:: SOT 31588 SOS 7551 HAS SOPS 7551 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5920.551
AT ITER 4538 NEW BEST:: SOT 31588 SOS 7550 HAS SOPS 7550 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5919.55
AT ITER 4570 NEW BEST:: SOT 31581 SOS 7552 HAS SOPS 7552 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5917.552
AT ITER 4574 NEW BEST:: SOT 31579 SOS 7559 HAS SOPS 7559 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5912.559
AT ITER 4612 NEW BEST:: SOT 31579 SOS 7558 HAS SOPS 7558 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5911.558
AT ITER 4617 NEW BEST:: SOT 31579 SOS 7554 HAS SOPS 7554 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5907.554
AT ITER 4637 NEW BEST:: SOT 31580 SOS 7560 HAS SOPS 7560 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5906.56
AT ITER 4651 NEW BEST:: SOT 31582 SOS 7549 HAS SOPS 7549 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.549
AT ITER 4697 NEW BEST:: SOT 31582 SOS 7535 HAS SOPS 7535 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.535
AT ITER 4756 NEW BEST:: SOT 31582 SOS 7533 HAS SOPS 7533 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.533
AT ITER 4786 NEW BEST:: SOT 31577 SOS 7508 HAS SOPS 7508 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5873.508
AT ITER 4793 NEW BEST:: SOT 31576 SOS 7506 HAS SOPS 7506 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5872.506
AT ITER 4822 NEW BEST:: SOT 31572 SOS 7496 HAS SOPS 7496 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5864.496
AT ITER 4904 NEW BEST:: SOT 31581 SOS 7505 HAS SOPS 7505 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5856.505
AT ITER 4933 NEW BEST:: SOT 31575 SOS 7497 HAS SOPS 7497 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5848.497
AT ITER 5022 NEW BEST:: SOT 31559 SOS 7469 HAS SOPS 7469 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5826.469
AT ITER 5074 NEW BEST:: SOT 31567 SOS 7476 HAS SOPS 7476 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5825.476
AT ITER 5075 NEW BEST:: SOT 31560 SOS 7442 HAS SOPS 7442 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5791.442
AT ITER 5142 NEW BEST:: SOT 31560 SOS 7444 HAS SOPS 7444 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5789.444
AT ITER 5148 NEW BEST:: SOT 31560 SOS 7433 HAS SOPS 7433 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5786.433
AT ITER 5158 NEW BEST:: SOT 31557 SOS 7430 HAS SOPS 7430 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5782.43
AT ITER 5160 NEW BEST:: SOT 31557 SOS 7429 HAS SOPS 7429 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.429
AT ITER 5184 NEW BEST:: SOT 31557 SOS 7428 HAS SOPS 7428 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.428
AT ITER 5194 NEW BEST:: SOT 31560 SOS 7431 HAS SOPS 7431 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.431
AT ITER 5332 NEW BEST:: SOT 31550 SOS 7405 HAS SOPS 7405 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5766.405
AT ITER 5362 NEW BEST:: SOT 31550 SOS 7399 HAS SOPS 7399 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5760.399
AT ITER 5401 NEW BEST:: SOT 31550 SOS 7396 HAS SOPS 7396 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5760.396
AT ITER 5413 NEW BEST:: SOT 31537 SOS 7362 HAS SOPS 7362 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5740.362
AT ITER 5423 NEW BEST:: SOT 31533 SOS 7334 HAS SOPS 7334 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5730.334
AT ITER 5444 NEW BEST:: SOT 31531 SOS 7333 HAS SOPS 7333 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5728.333
AT ITER 5502 NEW BEST:: SOT 31521 SOS 7303 HAS SOPS 7303 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5718.303
AT ITER 5524 NEW BEST:: SOT 31511 SOS 7289 HAS SOPS 7289 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5714.289
AT ITER 5577 NEW BEST:: SOT 31511 SOS 7283 HAS SOPS 7283 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5709.283
AT ITER 5591 NEW BEST:: SOT 31506 SOS 7265 HAS SOPS 7265 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5705.265
AT ITER 5604 NEW BEST:: SOT 31495 SOS 7253 HAS SOPS 7253 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5702.253
AT ITER 5624 NEW BEST:: SOT 31497 SOS 7232 HAS SOPS 7232 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5701.232
AT ITER 5679 NEW BEST:: SOT 31501 SOS 7214 HAS SOPS 7214 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5700.214
AT ITER 5729 NEW BEST:: SOT 31500 SOS 7221 HAS SOPS 7221 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5699.221
AT ITER 5734 NEW BEST:: SOT 31493 SOS 7243 HAS SOPS 7243 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5692.243
AT ITER 5776 NEW BEST:: SOT 31489 SOS 7229 HAS SOPS 7229 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5688.229
AT ITER 5879 NEW BEST:: SOT 31488 SOS 7229 HAS SOPS 7229 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5687.229
AT ITER 5894 NEW BEST:: SOT 31481 SOS 7238 HAS SOPS 7238 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5680.238
AT ITER 5935 NEW BEST:: SOT 31472 SOS 7215 HAS SOPS 7215 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5664.215
AT ITER 5984 NEW BEST:: SOT 31471 SOS 7211 HAS SOPS 7211 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5661.211
AT ITER 5987 NEW BEST:: SOT 31464 SOS 7218 HAS SOPS 7218 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.218
AT ITER 6011 NEW BEST:: SOT 31466 SOS 7216 HAS SOPS 7216 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.216
AT ITER 6018 NEW BEST:: SOT 31466 SOS 7214 HAS SOPS 7214 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.214
AT ITER 6022 NEW BEST:: SOT 31475 SOS 7213 HAS SOPS 7213 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5655.213
AT ITER 6047 NEW BEST:: SOT 31475 SOS 7210 HAS SOPS 7210 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5652.21
AT ITER 6077 NEW BEST:: SOT 31475 SOS 7209 HAS SOPS 7209 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5651.209
AT ITER 6085 NEW BEST:: SOT 31494 SOS 7205 HAS SOPS 7205 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5628.205
AT ITER 6138 NEW BEST:: SOT 31493 SOS 7204 HAS SOPS 7204 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5627.204
AT ITER 6183 NEW BEST:: SOT 31502 SOS 7167 HAS SOPS 7167 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5613.167
AT ITER 6196 NEW BEST:: SOT 31495 SOS 7128 HAS SOPS 7128 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5593.128
AT ITER 6243 NEW BEST:: SOT 31492 SOS 7118 HAS SOPS 7118 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5586.118
AT ITER 6246 NEW BEST:: SOT 31493 SOS 7026 HAS SOPS 7026 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5565.026
AT ITER 6296 NEW BEST:: SOT 31494 SOS 7022 HAS SOPS 7022 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5552.022
AT ITER 6330 NEW BEST:: SOT 31483 SOS 6976 HAS SOPS 6976 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5532.976
AT ITER 6352 NEW BEST:: SOT 31482 SOS 6972 HAS SOPS 6972 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.972
AT ITER 6365 NEW BEST:: SOT 31477 SOS 6894 HAS SOPS 6894 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5519.894
AT ITER 6466 NEW BEST:: SOT 31477 SOS 6892 HAS SOPS 6892 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.892
AT ITER 6499 NEW BEST:: SOT 31481 SOS 6889 HAS SOPS 6889 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5515.889
AT ITER 6560 NEW BEST:: SOT 31481 SOS 6881 HAS SOPS 6881 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.881
AT ITER 6590 NEW BEST:: SOT 31471 SOS 6915 HAS SOPS 6915 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.915
AT ITER 6592 NEW BEST:: SOT 31465 SOS 6909 HAS SOPS 6909 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5494.909
AT ITER 6696 NEW BEST:: SOT 31455 SOS 6906 HAS SOPS 6906 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.906
AT ITER 6734 NEW BEST:: SOT 31455 SOS 6903 HAS SOPS 6903 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.903
AT ITER 6783 NEW BEST:: SOT 31455 SOS 6902 HAS SOPS 6902 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5487.902
AT ITER 6861 NEW BEST:: SOT 31456 SOS 6864 HAS SOPS 6864 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.864
AT ITER 6888 NEW BEST:: SOT 31454 SOS 6862 HAS SOPS 6862 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.862
AT ITER 6929 NEW BEST:: SOT 31453 SOS 6856 HAS SOPS 6856 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.856
AT ITER 6941 NEW BEST:: SOT 31448 SOS 6848 HAS SOPS 6848 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.848
AT ITER 7022 NEW BEST:: SOT 31448 SOS 6837 HAS SOPS 6837 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.837
AT ITER 7041 NEW BEST:: SOT 31448 SOS 6836 HAS SOPS 6836 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5459.836
AT ITER 7085 NEW BEST:: SOT 31448 SOS 6835 HAS SOPS 6835 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.835
AT ITER 7178 NEW BEST:: SOT 31444 SOS 6827 HAS SOPS 6827 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.827
AT ITER 7255 NEW BEST:: SOT 31445 SOS 6830 HAS SOPS 6830 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.83
AT ITER 7498 NEW BEST:: SOT 31436 SOS 6821 HAS SOPS 6821 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5440.821
AT ITER 7536 NEW BEST:: SOT 31436 SOS 6808 HAS SOPS 6808 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.808
AT ITER 7556 NEW BEST:: SOT 31436 SOS 6802 HAS SOPS 6802 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.802
AT ITER 7595 NEW BEST:: SOT 31436 SOS 6802 HAS SOPS 6802 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5432.802
AT ITER 7639 NEW BEST:: SOT 31429 SOS 6776 HAS SOPS 6776 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.776
AT ITER 7649 NEW BEST:: SOT 31420 SOS 6765 HAS SOPS 6765 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.765
AT ITER 7736 NEW BEST:: SOT 31412 SOS 6741 HAS SOPS 6741 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5388.741
AT ITER 7782 NEW BEST:: SOT 31412 SOS 6719 HAS SOPS 6719 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5388.719
AT ITER 7830 NEW BEST:: SOT 31396 SOS 6687 HAS SOPS 6687 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5356.687
AT ITER 7843 NEW BEST:: SOT 31393 SOS 6665 HAS SOPS 6665 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.665
AT ITER 7845 NEW BEST:: SOT 31393 SOS 6597 HAS SOPS 6597 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5336.597
AT ITER 7888 NEW BEST:: SOT 31390 SOS 6591 HAS SOPS 6591 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5333.591
AT ITER 7961 NEW BEST:: SOT 31388 SOS 6591 HAS SOPS 6591 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.591
AT ITER 8012 NEW BEST:: SOT 31386 SOS 6595 HAS SOPS 6595 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5325.595
AT ITER 8017 NEW BEST:: SOT 31386 SOS 6594 HAS SOPS 6594 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.594
AT ITER 8187 NEW BEST:: SOT 31379 SOS 6586 HAS SOPS 6586 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5316.586
AT ITER 8196 NEW BEST:: SOT 31379 SOS 6574 HAS SOPS 6574 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.574
AT ITER 8234 NEW BEST:: SOT 31368 SOS 6560 HAS SOPS 6560 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5303.56
AT ITER 8235 NEW BEST:: SOT 31365 SOS 6559 HAS SOPS 6559 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5302.559
AT ITER 8251 NEW BEST:: SOT 31365 SOS 6556 HAS SOPS 6556 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5299.556
AT ITER 8255 NEW BEST:: SOT 31365 SOS 6554 HAS SOPS 6554 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.554
AT ITER 8261 NEW BEST:: SOT 31360 SOS 6552 HAS SOPS 6552 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.552
AT ITER 8280 NEW BEST:: SOT 31359 SOS 6552 HAS SOPS 6552 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5289.552
AT ITER 8304 NEW BEST:: SOT 31360 SOS 6554 HAS SOPS 6554 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.554
AT ITER 8306 NEW BEST:: SOT 31360 SOS 6548 HAS SOPS 6548 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.548
AT ITER 8363 NEW BEST:: SOT 31360 SOS 6512 HAS SOPS 6512 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.512
AT ITER 8364 NEW BEST:: SOT 31357 SOS 6515 HAS SOPS 6515 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.515
AT ITER 8397 NEW BEST:: SOT 31358 SOS 6507 HAS SOPS 6507 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5270.507
AT ITER 8494 NEW BEST:: SOT 31358 SOS 6495 HAS SOPS 6495 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5270.495
AT ITER 8526 NEW BEST:: SOT 31344 SOS 6482 HAS SOPS 6482 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5257.482
AT ITER 8922 NEW BEST:: SOT 31344 SOS 6481 HAS SOPS 6481 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.481
AT ITER 8994 NEW BEST:: SOT 31343 SOS 6479 HAS SOPS 6479 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.479
AT ITER 9208 NEW BEST:: SOT 31339 SOS 6475 HAS SOPS 6475 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5251.475
AT ITER 9224 NEW BEST:: SOT 31335 SOS 6462 HAS SOPS 6462 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5243.462
AT ITER 9314 NEW BEST:: SOT 31331 SOS 6458 HAS SOPS 6458 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.458
AT ITER 9326 NEW BEST:: SOT 31331 SOS 6456 HAS SOPS 6456 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.456
AT ITER 9387 NEW BEST:: SOT 31331 SOS 6453 HAS SOPS 6453 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.453
AT ITER 9475 NEW BEST:: SOT 31327 SOS 6449 HAS SOPS 6449 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.449
AT ITER 9638 NEW BEST:: SOT 31321 SOS 6447 HAS SOPS 6447 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.447
AT ITER 9686 NEW BEST:: SOT 31321 SOS 6446 HAS SOPS 6446 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.446
AT ITER 9775 NEW BEST:: SOT 31320 SOS 6445 HAS SOPS 6445 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5231.445
AT ITER 9846 NEW BEST:: SOT 31314 SOS 6439 HAS SOPS 6439 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5225.439
AT ITER 9875 NEW BEST:: SOT 31312 SOS 6436 HAS SOPS 6436 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5223.436
AT ITER 9908 NEW BEST:: SOT 31312 SOS 6420 HAS SOPS 6420 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5223.42
AT ITER 9984 NEW BEST:: SOT 31312 SOS 6387 HAS SOPS 6387 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5223.387
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5978296 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154996 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldIIPs-PT-004B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is ShieldIIPs-PT-004B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711400064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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