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.r099-tall-167814472300376.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DES-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472300376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 5.9K Feb 26 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 68K Mar 5 18:22 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 1678240944558

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=DES-PT-01b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 01b
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: 284 places, 235 transitions, 683 arcs.
AT ITER 0 NEW BEST:: SOT 38862 SOS 8656 HAS SOPS 8656 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.656
AT ITER 4 NEW BEST:: SOT 38861 SOS 8654 HAS SOPS 8654 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7439.654
AT ITER 6 NEW BEST:: SOT 38855 SOS 8653 HAS SOPS 8653 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7438.653
AT ITER 13 NEW BEST:: SOT 38833 SOS 8605 HAS SOPS 8605 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7435.605
AT ITER 55 NEW BEST:: SOT 38820 SOS 8579 HAS SOPS 8579 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7408.579
AT ITER 57 NEW BEST:: SOT 38814 SOS 8559 HAS SOPS 8559 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.559
AT ITER 83 NEW BEST:: SOT 38814 SOS 8559 HAS SOPS 8559 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7387.559
AT ITER 125 NEW BEST:: SOT 38814 SOS 8545 HAS SOPS 8545 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7373.545
AT ITER 145 NEW BEST:: SOT 38796 SOS 8526 HAS SOPS 8526 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.526
AT ITER 155 NEW BEST:: SOT 38788 SOS 8517 HAS SOPS 8517 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.517
AT ITER 164 NEW BEST:: SOT 38763 SOS 8495 HAS SOPS 8495 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7320.495
AT ITER 181 NEW BEST:: SOT 38753 SOS 8485 HAS SOPS 8485 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7310.485
AT ITER 182 NEW BEST:: SOT 38752 SOS 8464 HAS SOPS 8464 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7308.464
AT ITER 188 NEW BEST:: SOT 38737 SOS 8419 HAS SOPS 8419 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7263.419
AT ITER 193 NEW BEST:: SOT 38737 SOS 8418 HAS SOPS 8418 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.418
AT ITER 252 NEW BEST:: SOT 38728 SOS 8427 HAS SOPS 8427 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.427
AT ITER 336 NEW BEST:: SOT 38728 SOS 8399 HAS SOPS 8399 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.399
AT ITER 347 NEW BEST:: SOT 38712 SOS 8391 HAS SOPS 8391 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.391
AT ITER 351 NEW BEST:: SOT 38696 SOS 8359 HAS SOPS 8359 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7208.359
AT ITER 379 NEW BEST:: SOT 38664 SOS 8357 HAS SOPS 8357 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7208.357
AT ITER 396 NEW BEST:: SOT 38674 SOS 8371 HAS SOPS 8371 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.371
AT ITER 406 NEW BEST:: SOT 38608 SOS 8331 HAS SOPS 8331 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.331
AT ITER 412 NEW BEST:: SOT 38608 SOS 8325 HAS SOPS 8325 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.325
AT ITER 446 NEW BEST:: SOT 38606 SOS 8321 HAS SOPS 8321 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.321
AT ITER 448 NEW BEST:: SOT 38606 SOS 8312 HAS SOPS 8312 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.312
AT ITER 489 NEW BEST:: SOT 38588 SOS 8300 HAS SOPS 8300 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7135.3
AT ITER 498 NEW BEST:: SOT 38558 SOS 8302 HAS SOPS 8302 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.302
AT ITER 520 NEW BEST:: SOT 38552 SOS 8266 HAS SOPS 8266 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.266
AT ITER 540 NEW BEST:: SOT 38552 SOS 8259 HAS SOPS 8259 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.259
AT ITER 542 NEW BEST:: SOT 38546 SOS 8246 HAS SOPS 8246 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.246
AT ITER 558 NEW BEST:: SOT 38543 SOS 8244 HAS SOPS 8244 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7084.244
AT ITER 603 NEW BEST:: SOT 38543 SOS 8236 HAS SOPS 8236 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7084.236
AT ITER 624 NEW BEST:: SOT 38540 SOS 8252 HAS SOPS 8252 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7081.252
AT ITER 650 NEW BEST:: SOT 38539 SOS 8218 HAS SOPS 8218 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7047.218
AT ITER 652 NEW BEST:: SOT 38539 SOS 8217 HAS SOPS 8217 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.217
AT ITER 659 NEW BEST:: SOT 38537 SOS 8213 HAS SOPS 8213 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7045.213
AT ITER 684 NEW BEST:: SOT 38504 SOS 8208 HAS SOPS 8208 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7040.208
AT ITER 718 NEW BEST:: SOT 38516 SOS 8211 HAS SOPS 8211 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.211
AT ITER 723 NEW BEST:: SOT 38502 SOS 8167 HAS SOPS 8167 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6987.167
AT ITER 757 NEW BEST:: SOT 38487 SOS 8167 HAS SOPS 8167 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.167
AT ITER 771 NEW BEST:: SOT 38473 SOS 8132 HAS SOPS 8132 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.132
AT ITER 803 NEW BEST:: SOT 38479 SOS 8138 HAS SOPS 8138 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6937.138
AT ITER 815 NEW BEST:: SOT 38471 SOS 8122 HAS SOPS 8122 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.122
AT ITER 845 NEW BEST:: SOT 38471 SOS 8119 HAS SOPS 8119 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6918.119
AT ITER 851 NEW BEST:: SOT 38469 SOS 8118 HAS SOPS 8118 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6917.118
AT ITER 865 NEW BEST:: SOT 38461 SOS 8115 HAS SOPS 8115 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.115
AT ITER 890 NEW BEST:: SOT 38461 SOS 8114 HAS SOPS 8114 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.114
AT ITER 893 NEW BEST:: SOT 38451 SOS 8097 HAS SOPS 8097 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6891.097
AT ITER 930 NEW BEST:: SOT 38431 SOS 8147 HAS SOPS 8147 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6883.147
AT ITER 958 NEW BEST:: SOT 38425 SOS 8139 HAS SOPS 8139 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6876.139
AT ITER 967 NEW BEST:: SOT 38425 SOS 8138 HAS SOPS 8138 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6875.138
AT ITER 982 NEW BEST:: SOT 38423 SOS 8134 HAS SOPS 8134 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6871.134
AT ITER 1006 NEW BEST:: SOT 38420 SOS 8130 HAS SOPS 8130 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6867.13
AT ITER 1030 NEW BEST:: SOT 38413 SOS 8116 HAS SOPS 8116 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6853.116
AT ITER 1073 NEW BEST:: SOT 38405 SOS 8114 HAS SOPS 8114 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6851.114
AT ITER 1074 NEW BEST:: SOT 38412 SOS 8129 HAS SOPS 8129 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.129
AT ITER 1087 NEW BEST:: SOT 38412 SOS 8119 HAS SOPS 8119 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.119
AT ITER 1095 NEW BEST:: SOT 38420 SOS 8116 HAS SOPS 8116 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6833.116
AT ITER 1110 NEW BEST:: SOT 38442 SOS 8071 HAS SOPS 8071 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6803.071
AT ITER 1119 NEW BEST:: SOT 38442 SOS 8068 HAS SOPS 8068 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.068
AT ITER 1145 NEW BEST:: SOT 38442 SOS 8005 HAS SOPS 8005 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.005
AT ITER 1149 NEW BEST:: SOT 38351 SOS 8016 HAS SOPS 8016 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.016
AT ITER 1151 NEW BEST:: SOT 38345 SOS 8012 HAS SOPS 8012 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.012
AT ITER 1156 NEW BEST:: SOT 38344 SOS 8011 HAS SOPS 8011 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6785.011
AT ITER 1166 NEW BEST:: SOT 38309 SOS 7976 HAS SOPS 7976 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.976
AT ITER 1198 NEW BEST:: SOT 38309 SOS 7975 HAS SOPS 7975 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.975
AT ITER 1246 NEW BEST:: SOT 38295 SOS 7967 HAS SOPS 7967 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6739.967
AT ITER 1253 NEW BEST:: SOT 38288 SOS 7969 HAS SOPS 7969 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.969
AT ITER 1273 NEW BEST:: SOT 38277 SOS 7950 HAS SOPS 7950 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.95
AT ITER 1276 NEW BEST:: SOT 38235 SOS 8039 HAS SOPS 8039 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.039
AT ITER 1287 NEW BEST:: SOT 38235 SOS 8032 HAS SOPS 8032 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6708.032
AT ITER 1318 NEW BEST:: SOT 38235 SOS 8065 HAS SOPS 8065 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.065
AT ITER 1322 NEW BEST:: SOT 38223 SOS 8041 HAS SOPS 8041 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6679.041
AT ITER 1347 NEW BEST:: SOT 38221 SOS 8039 HAS SOPS 8039 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6677.039
AT ITER 1350 NEW BEST:: SOT 38164 SOS 7904 HAS SOPS 7904 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6541.904
AT ITER 1381 NEW BEST:: SOT 38164 SOS 7856 HAS SOPS 7856 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.856
AT ITER 1404 NEW BEST:: SOT 38164 SOS 7853 HAS SOPS 7853 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.853
AT ITER 1414 NEW BEST:: SOT 38164 SOS 7829 HAS SOPS 7829 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.829
AT ITER 1462 NEW BEST:: SOT 38165 SOS 7863 HAS SOPS 7863 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.863
AT ITER 1471 NEW BEST:: SOT 38153 SOS 7858 HAS SOPS 7858 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.858
AT ITER 1502 NEW BEST:: SOT 38147 SOS 7852 HAS SOPS 7852 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6480.852
AT ITER 1507 NEW BEST:: SOT 38132 SOS 7837 HAS SOPS 7837 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.837
AT ITER 1525 NEW BEST:: SOT 38112 SOS 7827 HAS SOPS 7827 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.827
AT ITER 1565 NEW BEST:: SOT 38110 SOS 7827 HAS SOPS 7827 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6453.827
AT ITER 1597 NEW BEST:: SOT 38087 SOS 7845 HAS SOPS 7845 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6432.845
AT ITER 1605 NEW BEST:: SOT 38087 SOS 7873 HAS SOPS 7873 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6430.873
AT ITER 1636 NEW BEST:: SOT 38084 SOS 7799 HAS SOPS 7799 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6424.799
AT ITER 1642 NEW BEST:: SOT 38084 SOS 7803 HAS SOPS 7803 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.803
AT ITER 1669 NEW BEST:: SOT 38087 SOS 7800 HAS SOPS 7800 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.8
AT ITER 1672 NEW BEST:: SOT 38073 SOS 7708 HAS SOPS 7708 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.708
AT ITER 1706 NEW BEST:: SOT 38070 SOS 7690 HAS SOPS 7690 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.69
AT ITER 1736 NEW BEST:: SOT 38069 SOS 7680 HAS SOPS 7680 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6355.68
AT ITER 1754 NEW BEST:: SOT 38064 SOS 7665 HAS SOPS 7665 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.665
AT ITER 1766 NEW BEST:: SOT 38023 SOS 7553 HAS SOPS 7553 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.553
AT ITER 1779 NEW BEST:: SOT 38021 SOS 7529 HAS SOPS 7529 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.529
AT ITER 1781 NEW BEST:: SOT 38016 SOS 7514 HAS SOPS 7514 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6328.514
AT ITER 1788 NEW BEST:: SOT 38014 SOS 7512 HAS SOPS 7512 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.512
AT ITER 1844 NEW BEST:: SOT 38011 SOS 7509 HAS SOPS 7509 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.509
AT ITER 1858 NEW BEST:: SOT 38010 SOS 7506 HAS SOPS 7506 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6322.506
AT ITER 1922 NEW BEST:: SOT 38005 SOS 7501 HAS SOPS 7501 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6317.501
AT ITER 1974 NEW BEST:: SOT 38004 SOS 7492 HAS SOPS 7492 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.492
AT ITER 1990 NEW BEST:: SOT 38004 SOS 7488 HAS SOPS 7488 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.488
AT ITER 2071 NEW BEST:: SOT 37995 SOS 7422 HAS SOPS 7422 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6273.422
AT ITER 2083 NEW BEST:: SOT 37995 SOS 7422 HAS SOPS 7422 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.422
AT ITER 2101 NEW BEST:: SOT 37986 SOS 7399 HAS SOPS 7399 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.399
AT ITER 2123 NEW BEST:: SOT 37976 SOS 7399 HAS SOPS 7399 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.399
AT ITER 2188 NEW BEST:: SOT 37958 SOS 7369 HAS SOPS 7369 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.369
AT ITER 2244 NEW BEST:: SOT 37958 SOS 7369 HAS SOPS 7369 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.369
AT ITER 2274 NEW BEST:: SOT 37954 SOS 7363 HAS SOPS 7363 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6188.363
AT ITER 2347 NEW BEST:: SOT 37951 SOS 7358 HAS SOPS 7358 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.358
AT ITER 2349 NEW BEST:: SOT 37959 SOS 7337 HAS SOPS 7337 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6154.337
AT ITER 2364 NEW BEST:: SOT 37937 SOS 7318 HAS SOPS 7318 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6133.318
AT ITER 2375 NEW BEST:: SOT 37913 SOS 7270 HAS SOPS 7270 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6104.27
AT ITER 2380 NEW BEST:: SOT 37934 SOS 7339 HAS SOPS 7339 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.339
AT ITER 2419 NEW BEST:: SOT 37930 SOS 7328 HAS SOPS 7328 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.328
AT ITER 2422 NEW BEST:: SOT 37944 SOS 7318 HAS SOPS 7318 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6088.318
AT ITER 2489 NEW BEST:: SOT 37944 SOS 7307 HAS SOPS 7307 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6074.307
AT ITER 2532 NEW BEST:: SOT 37945 SOS 7302 HAS SOPS 7302 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6069.302
AT ITER 2557 NEW BEST:: SOT 37945 SOS 7296 HAS SOPS 7296 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6069.296
AT ITER 2561 NEW BEST:: SOT 37942 SOS 7293 HAS SOPS 7293 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.293
AT ITER 2611 NEW BEST:: SOT 37942 SOS 7289 HAS SOPS 7289 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.289
AT ITER 2612 NEW BEST:: SOT 37939 SOS 7291 HAS SOPS 7291 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6059.291
AT ITER 2655 NEW BEST:: SOT 37939 SOS 7281 HAS SOPS 7281 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6049.281
AT ITER 2712 NEW BEST:: SOT 37951 SOS 7276 HAS SOPS 7276 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6044.276
AT ITER 2766 NEW BEST:: SOT 37939 SOS 7264 HAS SOPS 7264 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6032.264
AT ITER 2777 NEW BEST:: SOT 37924 SOS 7249 HAS SOPS 7249 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.249
AT ITER 2814 NEW BEST:: SOT 37922 SOS 7242 HAS SOPS 7242 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6005.242
AT ITER 2870 NEW BEST:: SOT 37919 SOS 7235 HAS SOPS 7235 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5998.235
AT ITER 2905 NEW BEST:: SOT 37919 SOS 7234 HAS SOPS 7234 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.234
AT ITER 2919 NEW BEST:: SOT 37918 SOS 7233 HAS SOPS 7233 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5976.233
AT ITER 2922 NEW BEST:: SOT 37915 SOS 7233 HAS SOPS 7233 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5972.233
AT ITER 2953 NEW BEST:: SOT 37914 SOS 7231 HAS SOPS 7231 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5971.231
AT ITER 3011 NEW BEST:: SOT 37909 SOS 7230 HAS SOPS 7230 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5969.23
AT ITER 3038 NEW BEST:: SOT 37848 SOS 7203 HAS SOPS 7203 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5933.203
AT ITER 3046 NEW BEST:: SOT 37847 SOS 7183 HAS SOPS 7183 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5922.183
AT ITER 3080 NEW BEST:: SOT 37845 SOS 7181 HAS SOPS 7181 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5920.181
AT ITER 3144 NEW BEST:: SOT 37850 SOS 7165 HAS SOPS 7165 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5904.165
AT ITER 3150 NEW BEST:: SOT 37847 SOS 7158 HAS SOPS 7158 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.158
AT ITER 3230 NEW BEST:: SOT 37816 SOS 7142 HAS SOPS 7142 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5866.142
AT ITER 3301 NEW BEST:: SOT 37787 SOS 7164 HAS SOPS 7164 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.164
AT ITER 3302 NEW BEST:: SOT 37787 SOS 7163 HAS SOPS 7163 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.163
AT ITER 3395 NEW BEST:: SOT 37787 SOS 7163 HAS SOPS 7163 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5847.163
AT ITER 3400 NEW BEST:: SOT 37780 SOS 7148 HAS SOPS 7148 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5840.148
AT ITER 3428 NEW BEST:: SOT 37767 SOS 7111 HAS SOPS 7111 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5803.111
AT ITER 3528 NEW BEST:: SOT 37767 SOS 7110 HAS SOPS 7110 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5802.11
AT ITER 3608 NEW BEST:: SOT 37763 SOS 7102 HAS SOPS 7102 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5798.102
AT ITER 3708 NEW BEST:: SOT 37761 SOS 7117 HAS SOPS 7117 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5791.117
AT ITER 3783 NEW BEST:: SOT 37761 SOS 7078 HAS SOPS 7078 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5791.078
AT ITER 3793 NEW BEST:: SOT 37761 SOS 7064 HAS SOPS 7064 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5791.064
AT ITER 3820 NEW BEST:: SOT 37762 SOS 7048 HAS SOPS 7048 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5789.048
AT ITER 3930 NEW BEST:: SOT 37761 SOS 7047 HAS SOPS 7047 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5788.047
AT ITER 3987 NEW BEST:: SOT 37738 SOS 7060 HAS SOPS 7060 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5744.06
AT ITER 3988 NEW BEST:: SOT 37738 SOS 7058 HAS SOPS 7058 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5742.058
AT ITER 4016 NEW BEST:: SOT 37738 SOS 7055 HAS SOPS 7055 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5742.055
AT ITER 4054 NEW BEST:: SOT 37757 SOS 7021 HAS SOPS 7021 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5708.021
AT ITER 4096 NEW BEST:: SOT 37756 SOS 7015 HAS SOPS 7015 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5702.015
AT ITER 4103 NEW BEST:: SOT 37756 SOS 7030 HAS SOPS 7030 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5699.03
AT ITER 4113 NEW BEST:: SOT 37753 SOS 7024 HAS SOPS 7024 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5696.024
AT ITER 4152 NEW BEST:: SOT 37748 SOS 7014 HAS SOPS 7014 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5686.014
AT ITER 4194 NEW BEST:: SOT 37748 SOS 6963 HAS SOPS 6963 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5684.963
AT ITER 4236 NEW BEST:: SOT 37741 SOS 6949 HAS SOPS 6949 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.949
AT ITER 4254 NEW BEST:: SOT 37733 SOS 6931 HAS SOPS 6931 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5669.931
AT ITER 4357 NEW BEST:: SOT 37729 SOS 6927 HAS SOPS 6927 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.927
AT ITER 4366 NEW BEST:: SOT 37728 SOS 6925 HAS SOPS 6925 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.925
AT ITER 4462 NEW BEST:: SOT 37738 SOS 6922 HAS SOPS 6922 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5663.922
AT ITER 4577 NEW BEST:: SOT 37743 SOS 6932 HAS SOPS 6932 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.932
AT ITER 4641 NEW BEST:: SOT 37742 SOS 6931 HAS SOPS 6931 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.931
AT ITER 4707 NEW BEST:: SOT 37738 SOS 6929 HAS SOPS 6929 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.929
AT ITER 4820 NEW BEST:: SOT 37747 SOS 6854 HAS SOPS 6854 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.854
AT ITER 4829 NEW BEST:: SOT 37746 SOS 6841 HAS SOPS 6841 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5607.841
AT ITER 4900 NEW BEST:: SOT 37738 SOS 6826 HAS SOPS 6826 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.826
AT ITER 4933 NEW BEST:: SOT 37732 SOS 6820 HAS SOPS 6820 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.82
AT ITER 4957 NEW BEST:: SOT 37730 SOS 6808 HAS SOPS 6808 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.808
AT ITER 4990 NEW BEST:: SOT 37721 SOS 6796 HAS SOPS 6796 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.796
AT ITER 5057 NEW BEST:: SOT 37712 SOS 6717 HAS SOPS 6717 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5541.717
AT ITER 5058 NEW BEST:: SOT 37712 SOS 6710 HAS SOPS 6710 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.71
AT ITER 5115 NEW BEST:: SOT 37708 SOS 6706 HAS SOPS 6706 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.706
AT ITER 5156 NEW BEST:: SOT 37708 SOS 6703 HAS SOPS 6703 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.703
AT ITER 5168 NEW BEST:: SOT 37707 SOS 6694 HAS SOPS 6694 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.694
AT ITER 5171 NEW BEST:: SOT 37704 SOS 6683 HAS SOPS 6683 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5507.683
AT ITER 5174 NEW BEST:: SOT 37702 SOS 6681 HAS SOPS 6681 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5504.681
AT ITER 5257 NEW BEST:: SOT 37702 SOS 6651 HAS SOPS 6651 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5504.651
AT ITER 5272 NEW BEST:: SOT 37706 SOS 6619 HAS SOPS 6619 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.619
AT ITER 5459 NEW BEST:: SOT 37705 SOS 6614 HAS SOPS 6614 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5490.614
AT ITER 5480 NEW BEST:: SOT 37705 SOS 6612 HAS SOPS 6612 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.612
AT ITER 5529 NEW BEST:: SOT 37702 SOS 6613 HAS SOPS 6613 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.613
AT ITER 5561 NEW BEST:: SOT 37697 SOS 6598 HAS SOPS 6598 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.598
AT ITER 5596 NEW BEST:: SOT 37695 SOS 6604 HAS SOPS 6604 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5469.604
AT ITER 5704 NEW BEST:: SOT 37695 SOS 6603 HAS SOPS 6603 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.603
AT ITER 5753 NEW BEST:: SOT 37694 SOS 6601 HAS SOPS 6601 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.601
AT ITER 5817 NEW BEST:: SOT 37691 SOS 6631 HAS SOPS 6631 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.631
AT ITER 5854 NEW BEST:: SOT 37687 SOS 6630 HAS SOPS 6630 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.63
AT ITER 5923 NEW BEST:: SOT 37676 SOS 6626 HAS SOPS 6626 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.626
AT ITER 5965 NEW BEST:: SOT 37673 SOS 6617 HAS SOPS 6617 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.617
AT ITER 6028 NEW BEST:: SOT 37672 SOS 6616 HAS SOPS 6616 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.616
AT ITER 6113 NEW BEST:: SOT 37673 SOS 6617 HAS SOPS 6617 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.617
AT ITER 6176 NEW BEST:: SOT 37649 SOS 6593 HAS SOPS 6593 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5447.593
AT ITER 6178 NEW BEST:: SOT 37649 SOS 6591 HAS SOPS 6591 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5445.591
AT ITER 6215 NEW BEST:: SOT 37649 SOS 6584 HAS SOPS 6584 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.584
AT ITER 6236 NEW BEST:: SOT 37659 SOS 6574 HAS SOPS 6574 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.574
AT ITER 6261 NEW BEST:: SOT 37658 SOS 6557 HAS SOPS 6557 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5437.557
AT ITER 6342 NEW BEST:: SOT 37650 SOS 6557 HAS SOPS 6557 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5433.557
AT ITER 6356 NEW BEST:: SOT 37648 SOS 6609 HAS SOPS 6609 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.609
AT ITER 6358 NEW BEST:: SOT 37636 SOS 6599 HAS SOPS 6599 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.599
AT ITER 6483 NEW BEST:: SOT 37637 SOS 6593 HAS SOPS 6593 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.593
AT ITER 6516 NEW BEST:: SOT 37640 SOS 6588 HAS SOPS 6588 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5398.588
AT ITER 6545 NEW BEST:: SOT 37642 SOS 6582 HAS SOPS 6582 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.582
AT ITER 6580 NEW BEST:: SOT 37647 SOS 6581 HAS SOPS 6581 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.581
AT ITER 6587 NEW BEST:: SOT 37647 SOS 6577 HAS SOPS 6577 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.577
AT ITER 6627 NEW BEST:: SOT 37646 SOS 6576 HAS SOPS 6576 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.576
AT ITER 6643 NEW BEST:: SOT 37639 SOS 6569 HAS SOPS 6569 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.569
AT ITER 6663 NEW BEST:: SOT 37638 SOS 6567 HAS SOPS 6567 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.567
AT ITER 6702 NEW BEST:: SOT 37637 SOS 6565 HAS SOPS 6565 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.565
AT ITER 6706 NEW BEST:: SOT 37636 SOS 6563 HAS SOPS 6563 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.563
AT ITER 6744 NEW BEST:: SOT 37643 SOS 6554 HAS SOPS 6554 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.554
AT ITER 6771 NEW BEST:: SOT 37639 SOS 6546 HAS SOPS 6546 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.546
AT ITER 6839 NEW BEST:: SOT 37653 SOS 6529 HAS SOPS 6529 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5367.529
AT ITER 6891 NEW BEST:: SOT 37653 SOS 6525 HAS SOPS 6525 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.525
AT ITER 6903 NEW BEST:: SOT 37649 SOS 6523 HAS SOPS 6523 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.523
AT ITER 7001 NEW BEST:: SOT 37650 SOS 6511 HAS SOPS 6511 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.511
AT ITER 7020 NEW BEST:: SOT 37649 SOS 6510 HAS SOPS 6510 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5353.51
AT ITER 7035 NEW BEST:: SOT 37640 SOS 6509 HAS SOPS 6509 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.509
AT ITER 7069 NEW BEST:: SOT 37629 SOS 6562 HAS SOPS 6562 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5345.562
AT ITER 7092 NEW BEST:: SOT 37628 SOS 6560 HAS SOPS 6560 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.56
AT ITER 7144 NEW BEST:: SOT 37628 SOS 6560 HAS SOPS 6560 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.56
AT ITER 7175 NEW BEST:: SOT 37627 SOS 6558 HAS SOPS 6558 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5341.558
AT ITER 7227 NEW BEST:: SOT 37630 SOS 6561 HAS SOPS 6561 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.561
AT ITER 7291 NEW BEST:: SOT 37625 SOS 6551 HAS SOPS 6551 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.551
AT ITER 7342 NEW BEST:: SOT 37621 SOS 6531 HAS SOPS 6531 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5318.531
AT ITER 7359 NEW BEST:: SOT 37618 SOS 6522 HAS SOPS 6522 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.522
AT ITER 7417 NEW BEST:: SOT 37616 SOS 6501 HAS SOPS 6501 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.501
AT ITER 7535 NEW BEST:: SOT 37616 SOS 6492 HAS SOPS 6492 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.492
AT ITER 7542 NEW BEST:: SOT 37616 SOS 6492 HAS SOPS 6492 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.492
AT ITER 7612 NEW BEST:: SOT 37607 SOS 6441 HAS SOPS 6441 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.441
AT ITER 7639 NEW BEST:: SOT 37606 SOS 6434 HAS SOPS 6434 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.434
AT ITER 7721 NEW BEST:: SOT 37601 SOS 6424 HAS SOPS 6424 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5278.424
AT ITER 7735 NEW BEST:: SOT 37598 SOS 6418 HAS SOPS 6418 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.418
AT ITER 7760 NEW BEST:: SOT 37593 SOS 6413 HAS SOPS 6413 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.413
AT ITER 7812 NEW BEST:: SOT 37587 SOS 6407 HAS SOPS 6407 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.407
AT ITER 8048 NEW BEST:: SOT 37585 SOS 6403 HAS SOPS 6403 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5263.403
AT ITER 8090 NEW BEST:: SOT 37583 SOS 6397 HAS SOPS 6397 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5257.397
AT ITER 8117 NEW BEST:: SOT 37583 SOS 6396 HAS SOPS 6396 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.396
AT ITER 8140 NEW BEST:: SOT 37578 SOS 6386 HAS SOPS 6386 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5251.386
AT ITER 8167 NEW BEST:: SOT 37545 SOS 6369 HAS SOPS 6369 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5225.369
AT ITER 8215 NEW BEST:: SOT 37545 SOS 6365 HAS SOPS 6365 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5221.365
AT ITER 8238 NEW BEST:: SOT 37534 SOS 6351 HAS SOPS 6351 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.351
AT ITER 8337 NEW BEST:: SOT 37560 SOS 6341 HAS SOPS 6341 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5190.341
AT ITER 8356 NEW BEST:: SOT 37559 SOS 6342 HAS SOPS 6342 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5189.342
AT ITER 8364 NEW BEST:: SOT 37554 SOS 6342 HAS SOPS 6342 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5184.342
AT ITER 8366 NEW BEST:: SOT 37552 SOS 6338 HAS SOPS 6338 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.338
AT ITER 8386 NEW BEST:: SOT 37551 SOS 6334 HAS SOPS 6334 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5175.334
AT ITER 8393 NEW BEST:: SOT 37535 SOS 6304 HAS SOPS 6304 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5161.304
AT ITER 8424 NEW BEST:: SOT 37534 SOS 6305 HAS SOPS 6305 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5160.305
AT ITER 8547 NEW BEST:: SOT 37529 SOS 6296 HAS SOPS 6296 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.296
AT ITER 8552 NEW BEST:: SOT 37522 SOS 6242 HAS SOPS 6242 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.242
AT ITER 8650 NEW BEST:: SOT 37520 SOS 6240 HAS SOPS 6240 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5130.24
AT ITER 8651 NEW BEST:: SOT 37504 SOS 6230 HAS SOPS 6230 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.23
AT ITER 8817 NEW BEST:: SOT 37504 SOS 6224 HAS SOPS 6224 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5119.224
AT ITER 8824 NEW BEST:: SOT 37504 SOS 6223 HAS SOPS 6223 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5118.223
AT ITER 8832 NEW BEST:: SOT 37496 SOS 6215 HAS SOPS 6215 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5118.215
AT ITER 8901 NEW BEST:: SOT 37495 SOS 6213 HAS SOPS 6213 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.213
AT ITER 8903 NEW BEST:: SOT 37483 SOS 6198 HAS SOPS 6198 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5101.198
AT ITER 9150 NEW BEST:: SOT 37483 SOS 6195 HAS SOPS 6195 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5095.195
AT ITER 9224 NEW BEST:: SOT 37481 SOS 6193 HAS SOPS 6193 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.193
AT ITER 9259 NEW BEST:: SOT 37480 SOS 6192 HAS SOPS 6192 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5090.192
AT ITER 9262 NEW BEST:: SOT 37480 SOS 6158 HAS SOPS 6158 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.158
AT ITER 9337 NEW BEST:: SOT 37455 SOS 6111 HAS SOPS 6111 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5077.111
AT ITER 9341 NEW BEST:: SOT 37452 SOS 6090 HAS SOPS 6090 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5056.09
AT ITER 9348 NEW BEST:: SOT 37449 SOS 6076 HAS SOPS 6076 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.076
AT ITER 9416 NEW BEST:: SOT 37440 SOS 6066 HAS SOPS 6066 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5042.066
AT ITER 9426 NEW BEST:: SOT 37441 SOS 6064 HAS SOPS 6064 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5040.064
AT ITER 9478 NEW BEST:: SOT 37441 SOS 6064 HAS SOPS 6064 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5030.064
AT ITER 9500 NEW BEST:: SOT 37440 SOS 6062 HAS SOPS 6062 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5028.062
AT ITER 9569 NEW BEST:: SOT 37439 SOS 6060 HAS SOPS 6060 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5026.06
AT ITER 9597 NEW BEST:: SOT 37428 SOS 6039 HAS SOPS 6039 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5014.039
AT ITER 9599 NEW BEST:: SOT 37421 SOS 6038 HAS SOPS 6038 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5013.038
AT ITER 9650 NEW BEST:: SOT 37418 SOS 6032 HAS SOPS 6032 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5007.032
AT ITER 9651 NEW BEST:: SOT 37415 SOS 6026 HAS SOPS 6026 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.026
AT ITER 9678 NEW BEST:: SOT 37413 SOS 6025 HAS SOPS 6025 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5003.025
AT ITER 9763 NEW BEST:: SOT 37412 SOS 6020 HAS SOPS 6020 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.02
AT ITER 9769 NEW BEST:: SOT 37412 SOS 6017 HAS SOPS 6017 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4999.017
AT ITER 9802 NEW BEST:: SOT 37406 SOS 6015 HAS SOPS 6015 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4997.015
AT ITER 9830 NEW BEST:: SOT 37418 SOS 6002 HAS SOPS 6002 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4988.002
AT ITER 9850 NEW BEST:: SOT 37416 SOS 5999 HAS SOPS 5999 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.999
AT ITER 9936 NEW BEST:: SOT 37411 SOS 5984 HAS SOPS 5984 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.984
AT ITER 9988 NEW BEST:: SOT 37410 SOS 5983 HAS SOPS 5983 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.983
STATE_SPACE STATES 201273905920339254 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3537693713743345570 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678241074338

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-01b"
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 DES-PT-01b, 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 r099-tall-167814472300376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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