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-167814472400424.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-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 15:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:39 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 79K 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 1678241245255

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-10b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10b
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: 320 places, 271 transitions, 827 arcs.
AT ITER 0 NEW BEST:: SOT 52285 SOS 10667 HAS SOPS 10667 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9648.667
AT ITER 11 NEW BEST:: SOT 52285 SOS 10665 HAS SOPS 10665 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.665
AT ITER 37 NEW BEST:: SOT 52162 SOS 10739 HAS SOPS 10739 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9562.739
AT ITER 40 NEW BEST:: SOT 52162 SOS 10728 HAS SOPS 10728 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9551.728
AT ITER 51 NEW BEST:: SOT 52067 SOS 10633 HAS SOPS 10633 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9456.633
AT ITER 54 NEW BEST:: SOT 52067 SOS 10594 HAS SOPS 10594 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.594
AT ITER 65 NEW BEST:: SOT 52040 SOS 10540 HAS SOPS 10540 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9378.54
AT ITER 71 NEW BEST:: SOT 51986 SOS 10486 HAS SOPS 10486 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9324.486
AT ITER 94 NEW BEST:: SOT 51981 SOS 10473 HAS SOPS 10473 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9321.473
AT ITER 104 NEW BEST:: SOT 51950 SOS 10517 HAS SOPS 10517 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9315.517
AT ITER 127 NEW BEST:: SOT 51926 SOS 10485 HAS SOPS 10485 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9283.485
AT ITER 138 NEW BEST:: SOT 51926 SOS 10493 HAS SOPS 10493 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.493
AT ITER 152 NEW BEST:: SOT 51925 SOS 10492 HAS SOPS 10492 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9281.492
AT ITER 215 NEW BEST:: SOT 51925 SOS 10492 HAS SOPS 10492 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9280.492
AT ITER 232 NEW BEST:: SOT 51925 SOS 10491 HAS SOPS 10491 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9279.491
AT ITER 254 NEW BEST:: SOT 51909 SOS 10473 HAS SOPS 10473 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9261.473
AT ITER 260 NEW BEST:: SOT 51877 SOS 10431 HAS SOPS 10431 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.431
AT ITER 267 NEW BEST:: SOT 51877 SOS 10421 HAS SOPS 10421 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9207.421
AT ITER 281 NEW BEST:: SOT 51863 SOS 10414 HAS SOPS 10414 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.414
AT ITER 295 NEW BEST:: SOT 51823 SOS 10389 HAS SOPS 10389 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9175.389
AT ITER 301 NEW BEST:: SOT 51779 SOS 10344 HAS SOPS 10344 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9124.344
AT ITER 320 NEW BEST:: SOT 51779 SOS 10343 HAS SOPS 10343 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9123.343
AT ITER 324 NEW BEST:: SOT 51779 SOS 10342 HAS SOPS 10342 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9122.342
AT ITER 341 NEW BEST:: SOT 51776 SOS 10335 HAS SOPS 10335 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9115.335
AT ITER 358 NEW BEST:: SOT 51733 SOS 10320 HAS SOPS 10320 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9100.32
AT ITER 363 NEW BEST:: SOT 51717 SOS 10292 HAS SOPS 10292 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9072.292
AT ITER 371 NEW BEST:: SOT 51717 SOS 10278 HAS SOPS 10278 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9058.278
AT ITER 378 NEW BEST:: SOT 51707 SOS 10258 HAS SOPS 10258 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9038.258
AT ITER 382 NEW BEST:: SOT 51698 SOS 10216 HAS SOPS 10216 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 8999.216
AT ITER 416 NEW BEST:: SOT 51691 SOS 10202 HAS SOPS 10202 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8985.202
AT ITER 484 NEW BEST:: SOT 51683 SOS 10194 HAS SOPS 10194 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8977.194
AT ITER 485 NEW BEST:: SOT 51661 SOS 10230 HAS SOPS 10230 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8955.23
AT ITER 501 NEW BEST:: SOT 51661 SOS 10207 HAS SOPS 10207 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.207
AT ITER 532 NEW BEST:: SOT 51660 SOS 10206 HAS SOPS 10206 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8931.206
AT ITER 556 NEW BEST:: SOT 51669 SOS 10215 HAS SOPS 10215 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8924.215
AT ITER 560 NEW BEST:: SOT 51579 SOS 10146 HAS SOPS 10146 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8855.146
AT ITER 619 NEW BEST:: SOT 51574 SOS 10141 HAS SOPS 10141 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8850.141
AT ITER 620 NEW BEST:: SOT 51554 SOS 10135 HAS SOPS 10135 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8844.135
AT ITER 633 NEW BEST:: SOT 51527 SOS 10123 HAS SOPS 10123 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8792.123
AT ITER 649 NEW BEST:: SOT 51522 SOS 10106 HAS SOPS 10106 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8783.106
AT ITER 656 NEW BEST:: SOT 51534 SOS 10098 HAS SOPS 10098 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8776.098
AT ITER 657 NEW BEST:: SOT 51525 SOS 10088 HAS SOPS 10088 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8766.088
AT ITER 662 NEW BEST:: SOT 51523 SOS 10080 HAS SOPS 10080 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8761.08
AT ITER 671 NEW BEST:: SOT 51523 SOS 9980 HAS SOPS 9980 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8750.98
AT ITER 689 NEW BEST:: SOT 51513 SOS 9918 HAS SOPS 9918 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8688.918
AT ITER 721 NEW BEST:: SOT 51512 SOS 9737 HAS SOPS 9737 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8671.737
AT ITER 730 NEW BEST:: SOT 51506 SOS 9733 HAS SOPS 9733 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8667.733
AT ITER 736 NEW BEST:: SOT 51505 SOS 9731 HAS SOPS 9731 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8665.731
AT ITER 739 NEW BEST:: SOT 51499 SOS 9718 HAS SOPS 9718 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8645.718
AT ITER 743 NEW BEST:: SOT 51467 SOS 9762 HAS SOPS 9762 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8636.762
AT ITER 771 NEW BEST:: SOT 51437 SOS 9757 HAS SOPS 9757 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8604.757
AT ITER 775 NEW BEST:: SOT 51429 SOS 9753 HAS SOPS 9753 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8594.753
AT ITER 820 NEW BEST:: SOT 51427 SOS 9741 HAS SOPS 9741 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.741
AT ITER 825 NEW BEST:: SOT 51385 SOS 9942 HAS SOPS 9942 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.942
AT ITER 857 NEW BEST:: SOT 51319 SOS 9926 HAS SOPS 9926 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8518.926
AT ITER 904 NEW BEST:: SOT 51263 SOS 9898 HAS SOPS 9898 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8448.898
AT ITER 919 NEW BEST:: SOT 51245 SOS 9890 HAS SOPS 9890 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8447.89
AT ITER 928 NEW BEST:: SOT 51238 SOS 9882 HAS SOPS 9882 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8439.882
AT ITER 934 NEW BEST:: SOT 51238 SOS 9882 HAS SOPS 9882 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.882
AT ITER 971 NEW BEST:: SOT 51238 SOS 9882 HAS SOPS 9882 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8436.882
AT ITER 984 NEW BEST:: SOT 51237 SOS 9863 HAS SOPS 9863 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8417.863
AT ITER 995 NEW BEST:: SOT 51236 SOS 9833 HAS SOPS 9833 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8386.833
AT ITER 1005 NEW BEST:: SOT 51231 SOS 9818 HAS SOPS 9818 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.818
AT ITER 1016 NEW BEST:: SOT 51120 SOS 9890 HAS SOPS 9890 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8242.89
AT ITER 1027 NEW BEST:: SOT 51120 SOS 9892 HAS SOPS 9892 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.892
AT ITER 1057 NEW BEST:: SOT 51100 SOS 9855 HAS SOPS 9855 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8191.855
AT ITER 1069 NEW BEST:: SOT 51100 SOS 9825 HAS SOPS 9825 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8161.825
AT ITER 1070 NEW BEST:: SOT 51094 SOS 9813 HAS SOPS 9813 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8155.813
AT ITER 1076 NEW BEST:: SOT 51006 SOS 9847 HAS SOPS 9847 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.847
AT ITER 1133 NEW BEST:: SOT 51001 SOS 9851 HAS SOPS 9851 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8086.851
AT ITER 1158 NEW BEST:: SOT 50974 SOS 9787 HAS SOPS 9787 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.787
AT ITER 1159 NEW BEST:: SOT 50996 SOS 9711 HAS SOPS 9711 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8072.711
AT ITER 1197 NEW BEST:: SOT 50998 SOS 9793 HAS SOPS 9793 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8070.793
AT ITER 1211 NEW BEST:: SOT 50998 SOS 9792 HAS SOPS 9792 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8069.792
AT ITER 1216 NEW BEST:: SOT 51002 SOS 9784 HAS SOPS 9784 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8061.784
AT ITER 1218 NEW BEST:: SOT 50988 SOS 9767 HAS SOPS 9767 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8044.767
AT ITER 1227 NEW BEST:: SOT 50987 SOS 9773 HAS SOPS 9773 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8042.773
AT ITER 1234 NEW BEST:: SOT 50985 SOS 9768 HAS SOPS 9768 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8041.768
AT ITER 1280 NEW BEST:: SOT 50896 SOS 9885 HAS SOPS 9885 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7980.885
AT ITER 1292 NEW BEST:: SOT 50896 SOS 9852 HAS SOPS 9852 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7947.852
AT ITER 1318 NEW BEST:: SOT 50851 SOS 9684 HAS SOPS 9684 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7860.684
AT ITER 1332 NEW BEST:: SOT 50833 SOS 9647 HAS SOPS 9647 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7841.647
AT ITER 1354 NEW BEST:: SOT 50817 SOS 9599 HAS SOPS 9599 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7809.599
AT ITER 1390 NEW BEST:: SOT 50783 SOS 9596 HAS SOPS 9596 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7793.596
AT ITER 1396 NEW BEST:: SOT 50860 SOS 9492 HAS SOPS 9492 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7752.492
AT ITER 1400 NEW BEST:: SOT 50856 SOS 9486 HAS SOPS 9486 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7746.486
AT ITER 1401 NEW BEST:: SOT 50856 SOS 9460 HAS SOPS 9460 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.46
AT ITER 1411 NEW BEST:: SOT 50855 SOS 9458 HAS SOPS 9458 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7737.458
AT ITER 1437 NEW BEST:: SOT 50855 SOS 9448 HAS SOPS 9448 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7727.448
AT ITER 1455 NEW BEST:: SOT 50850 SOS 9442 HAS SOPS 9442 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7724.442
AT ITER 1465 NEW BEST:: SOT 50836 SOS 9383 HAS SOPS 9383 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7715.383
AT ITER 1545 NEW BEST:: SOT 50830 SOS 9377 HAS SOPS 9377 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7709.377
AT ITER 1547 NEW BEST:: SOT 50814 SOS 9390 HAS SOPS 9390 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7693.39
AT ITER 1598 NEW BEST:: SOT 50794 SOS 9370 HAS SOPS 9370 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7643.37
AT ITER 1635 NEW BEST:: SOT 50787 SOS 9334 HAS SOPS 9334 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7607.334
AT ITER 1642 NEW BEST:: SOT 50782 SOS 9332 HAS SOPS 9332 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7580.332
AT ITER 1696 NEW BEST:: SOT 50777 SOS 9327 HAS SOPS 9327 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7575.327
AT ITER 1702 NEW BEST:: SOT 50776 SOS 9326 HAS SOPS 9326 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7574.326
AT ITER 1709 NEW BEST:: SOT 50776 SOS 9320 HAS SOPS 9320 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7568.32
AT ITER 1743 NEW BEST:: SOT 50773 SOS 9317 HAS SOPS 9317 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7565.317
AT ITER 1784 NEW BEST:: SOT 50786 SOS 9291 HAS SOPS 9291 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7539.291
AT ITER 1785 NEW BEST:: SOT 50786 SOS 9265 HAS SOPS 9265 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7539.265
AT ITER 1791 NEW BEST:: SOT 50773 SOS 9252 HAS SOPS 9252 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.252
AT ITER 1795 NEW BEST:: SOT 50773 SOS 9241 HAS SOPS 9241 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7515.241
AT ITER 1815 NEW BEST:: SOT 50781 SOS 9247 HAS SOPS 9247 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7506.247
AT ITER 1848 NEW BEST:: SOT 50795 SOS 9224 HAS SOPS 9224 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7483.224
AT ITER 1856 NEW BEST:: SOT 50792 SOS 9218 HAS SOPS 9218 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7480.218
AT ITER 1870 NEW BEST:: SOT 50792 SOS 9216 HAS SOPS 9216 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7478.216
AT ITER 1922 NEW BEST:: SOT 50781 SOS 9204 HAS SOPS 9204 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7466.204
AT ITER 1925 NEW BEST:: SOT 50781 SOS 9199 HAS SOPS 9199 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7461.199
AT ITER 1940 NEW BEST:: SOT 50777 SOS 9193 HAS SOPS 9193 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7455.193
AT ITER 1962 NEW BEST:: SOT 50776 SOS 9192 HAS SOPS 9192 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7454.192
AT ITER 1978 NEW BEST:: SOT 50746 SOS 9035 HAS SOPS 9035 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7420.035
AT ITER 2017 NEW BEST:: SOT 50746 SOS 9020 HAS SOPS 9020 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7405.02
AT ITER 2020 NEW BEST:: SOT 50713 SOS 8987 HAS SOPS 8987 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.987
AT ITER 2031 NEW BEST:: SOT 50691 SOS 8964 HAS SOPS 8964 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7337.964
AT ITER 2035 NEW BEST:: SOT 50688 SOS 8965 HAS SOPS 8965 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7333.965
AT ITER 2060 NEW BEST:: SOT 50688 SOS 8964 HAS SOPS 8964 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7332.964
AT ITER 2082 NEW BEST:: SOT 50673 SOS 8949 HAS SOPS 8949 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.949
AT ITER 2092 NEW BEST:: SOT 50690 SOS 9014 HAS SOPS 9014 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7317.014
AT ITER 2093 NEW BEST:: SOT 50689 SOS 9013 HAS SOPS 9013 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7316.013
AT ITER 2099 NEW BEST:: SOT 50664 SOS 9016 HAS SOPS 9016 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7267.016
AT ITER 2114 NEW BEST:: SOT 50664 SOS 9011 HAS SOPS 9011 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7262.011
AT ITER 2127 NEW BEST:: SOT 50663 SOS 9010 HAS SOPS 9010 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7261.01
AT ITER 2135 NEW BEST:: SOT 50665 SOS 8999 HAS SOPS 8999 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7249.999
AT ITER 2166 NEW BEST:: SOT 50648 SOS 8993 HAS SOPS 8993 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7232.993
AT ITER 2230 NEW BEST:: SOT 50630 SOS 8939 HAS SOPS 8939 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7178.939
AT ITER 2351 NEW BEST:: SOT 50625 SOS 8925 HAS SOPS 8925 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7164.925
AT ITER 2396 NEW BEST:: SOT 50621 SOS 8921 HAS SOPS 8921 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7162.921
AT ITER 2481 NEW BEST:: SOT 50618 SOS 8836 HAS SOPS 8836 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7121.836
AT ITER 2511 NEW BEST:: SOT 50618 SOS 8836 HAS SOPS 8836 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.836
AT ITER 2618 NEW BEST:: SOT 50593 SOS 8795 HAS SOPS 8795 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.795
AT ITER 2631 NEW BEST:: SOT 50586 SOS 8781 HAS SOPS 8781 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.781
AT ITER 2650 NEW BEST:: SOT 50585 SOS 8780 HAS SOPS 8780 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7061.78
AT ITER 2749 NEW BEST:: SOT 50585 SOS 8769 HAS SOPS 8769 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.769
AT ITER 2800 NEW BEST:: SOT 50581 SOS 8701 HAS SOPS 8701 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7056.701
AT ITER 2817 NEW BEST:: SOT 50578 SOS 8674 HAS SOPS 8674 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7055.674
AT ITER 2819 NEW BEST:: SOT 50595 SOS 8691 HAS SOPS 8691 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.691
AT ITER 2869 NEW BEST:: SOT 50588 SOS 8849 HAS SOPS 8849 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.849
AT ITER 2945 NEW BEST:: SOT 50584 SOS 8843 HAS SOPS 8843 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.843
AT ITER 2946 NEW BEST:: SOT 50582 SOS 8842 HAS SOPS 8842 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.842
AT ITER 2956 NEW BEST:: SOT 50591 SOS 8835 HAS SOPS 8835 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.835
AT ITER 2963 NEW BEST:: SOT 50591 SOS 8821 HAS SOPS 8821 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.821
AT ITER 2968 NEW BEST:: SOT 50591 SOS 8820 HAS SOPS 8820 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7042.82
AT ITER 2978 NEW BEST:: SOT 50589 SOS 8817 HAS SOPS 8817 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7039.817
AT ITER 3027 NEW BEST:: SOT 50583 SOS 8811 HAS SOPS 8811 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7033.811
AT ITER 3057 NEW BEST:: SOT 50583 SOS 8810 HAS SOPS 8810 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7033.81
AT ITER 3096 NEW BEST:: SOT 50583 SOS 8819 HAS SOPS 8819 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7024.819
AT ITER 3155 NEW BEST:: SOT 50583 SOS 8795 HAS SOPS 8795 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.795
AT ITER 3199 NEW BEST:: SOT 50583 SOS 8781 HAS SOPS 8781 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6999.781
AT ITER 3262 NEW BEST:: SOT 50588 SOS 8778 HAS SOPS 8778 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6996.778
AT ITER 3324 NEW BEST:: SOT 50592 SOS 8777 HAS SOPS 8777 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6995.777
AT ITER 3329 NEW BEST:: SOT 50556 SOS 8757 HAS SOPS 8757 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6980.757
AT ITER 3330 NEW BEST:: SOT 50545 SOS 8746 HAS SOPS 8746 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6969.746
AT ITER 3380 NEW BEST:: SOT 50534 SOS 8711 HAS SOPS 8711 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.711
AT ITER 3402 NEW BEST:: SOT 50523 SOS 8684 HAS SOPS 8684 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.684
AT ITER 3446 NEW BEST:: SOT 50527 SOS 8657 HAS SOPS 8657 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.657
AT ITER 3474 NEW BEST:: SOT 50527 SOS 8656 HAS SOPS 8656 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.656
AT ITER 3537 NEW BEST:: SOT 50500 SOS 8631 HAS SOPS 8631 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.631
AT ITER 3602 NEW BEST:: SOT 50514 SOS 8628 HAS SOPS 8628 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6903.628
AT ITER 3604 NEW BEST:: SOT 50499 SOS 8615 HAS SOPS 8615 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.615
AT ITER 3634 NEW BEST:: SOT 50496 SOS 8612 HAS SOPS 8612 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6887.612
AT ITER 3747 NEW BEST:: SOT 50489 SOS 8590 HAS SOPS 8590 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6881.59
AT ITER 3762 NEW BEST:: SOT 50506 SOS 8568 HAS SOPS 8568 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.568
AT ITER 3765 NEW BEST:: SOT 50504 SOS 8568 HAS SOPS 8568 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6855.568
AT ITER 3803 NEW BEST:: SOT 50498 SOS 8556 HAS SOPS 8556 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.556
AT ITER 3807 NEW BEST:: SOT 50485 SOS 8544 HAS SOPS 8544 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6827.544
AT ITER 3844 NEW BEST:: SOT 50485 SOS 8542 HAS SOPS 8542 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.542
AT ITER 3877 NEW BEST:: SOT 50483 SOS 8534 HAS SOPS 8534 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6823.534
AT ITER 3935 NEW BEST:: SOT 50485 SOS 8531 HAS SOPS 8531 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6821.531
AT ITER 3988 NEW BEST:: SOT 50489 SOS 8508 HAS SOPS 8508 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.508
AT ITER 4006 NEW BEST:: SOT 50492 SOS 8490 HAS SOPS 8490 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6791.49
AT ITER 4012 NEW BEST:: SOT 50468 SOS 8465 HAS SOPS 8465 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.465
AT ITER 4016 NEW BEST:: SOT 50457 SOS 8453 HAS SOPS 8453 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6754.453
AT ITER 4067 NEW BEST:: SOT 50456 SOS 8452 HAS SOPS 8452 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.452
AT ITER 4102 NEW BEST:: SOT 50428 SOS 8346 HAS SOPS 8346 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6647.346
AT ITER 4104 NEW BEST:: SOT 50415 SOS 8333 HAS SOPS 8333 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6629.333
AT ITER 4165 NEW BEST:: SOT 50413 SOS 8322 HAS SOPS 8322 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6627.322
AT ITER 4184 NEW BEST:: SOT 50398 SOS 8317 HAS SOPS 8317 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6612.317
AT ITER 4194 NEW BEST:: SOT 50371 SOS 8271 HAS SOPS 8271 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.271
AT ITER 4206 NEW BEST:: SOT 50351 SOS 8219 HAS SOPS 8219 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6529.219
AT ITER 4212 NEW BEST:: SOT 50365 SOS 8224 HAS SOPS 8224 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6524.224
AT ITER 4215 NEW BEST:: SOT 50364 SOS 8232 HAS SOPS 8232 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6514.232
AT ITER 4249 NEW BEST:: SOT 50363 SOS 8231 HAS SOPS 8231 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6512.231
AT ITER 4261 NEW BEST:: SOT 50358 SOS 8210 HAS SOPS 8210 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6490.21
AT ITER 4330 NEW BEST:: SOT 50358 SOS 8209 HAS SOPS 8209 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6489.209
AT ITER 4338 NEW BEST:: SOT 50358 SOS 8209 HAS SOPS 8209 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.209
AT ITER 4340 NEW BEST:: SOT 50348 SOS 8179 HAS SOPS 8179 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6458.179
AT ITER 4370 NEW BEST:: SOT 50347 SOS 8178 HAS SOPS 8178 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6458.178
AT ITER 4371 NEW BEST:: SOT 50341 SOS 8162 HAS SOPS 8162 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6442.162
AT ITER 4375 NEW BEST:: SOT 50335 SOS 8156 HAS SOPS 8156 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6436.156
AT ITER 4443 NEW BEST:: SOT 50321 SOS 8123 HAS SOPS 8123 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6416.123
AT ITER 4451 NEW BEST:: SOT 50315 SOS 8121 HAS SOPS 8121 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.121
AT ITER 4491 NEW BEST:: SOT 50314 SOS 8120 HAS SOPS 8120 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6413.12
AT ITER 4523 NEW BEST:: SOT 50314 SOS 8108 HAS SOPS 8108 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6401.108
AT ITER 4583 NEW BEST:: SOT 50313 SOS 8124 HAS SOPS 8124 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6399.124
AT ITER 4623 NEW BEST:: SOT 50313 SOS 8124 HAS SOPS 8124 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6398.124
AT ITER 4654 NEW BEST:: SOT 50302 SOS 8114 HAS SOPS 8114 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6393.114
AT ITER 4668 NEW BEST:: SOT 50295 SOS 8095 HAS SOPS 8095 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6374.095
AT ITER 4687 NEW BEST:: SOT 50285 SOS 8093 HAS SOPS 8093 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6372.093
AT ITER 4693 NEW BEST:: SOT 50285 SOS 8092 HAS SOPS 8092 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6371.092
AT ITER 4705 NEW BEST:: SOT 50255 SOS 8070 HAS SOPS 8070 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6349.07
AT ITER 4798 NEW BEST:: SOT 50255 SOS 8066 HAS SOPS 8066 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6347.066
AT ITER 4803 NEW BEST:: SOT 50245 SOS 8061 HAS SOPS 8061 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6337.061
AT ITER 4850 NEW BEST:: SOT 50245 SOS 8059 HAS SOPS 8059 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6335.059
AT ITER 4867 NEW BEST:: SOT 50274 SOS 8051 HAS SOPS 8051 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6326.051
AT ITER 4927 NEW BEST:: SOT 50260 SOS 8034 HAS SOPS 8034 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6312.034
AT ITER 4951 NEW BEST:: SOT 50300 SOS 8025 HAS SOPS 8025 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6291.025
AT ITER 4986 NEW BEST:: SOT 50300 SOS 8019 HAS SOPS 8019 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6287.019
AT ITER 5002 NEW BEST:: SOT 50281 SOS 8011 HAS SOPS 8011 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6279.011
AT ITER 5003 NEW BEST:: SOT 50278 SOS 8008 HAS SOPS 8008 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6276.008
AT ITER 5033 NEW BEST:: SOT 50272 SOS 7948 HAS SOPS 7948 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.948
AT ITER 5096 NEW BEST:: SOT 50272 SOS 7947 HAS SOPS 7947 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6268.947
AT ITER 5104 NEW BEST:: SOT 50268 SOS 7936 HAS SOPS 7936 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.936
AT ITER 5114 NEW BEST:: SOT 50242 SOS 7911 HAS SOPS 7911 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.911
AT ITER 5126 NEW BEST:: SOT 50223 SOS 7873 HAS SOPS 7873 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6194.873
AT ITER 5136 NEW BEST:: SOT 50222 SOS 7872 HAS SOPS 7872 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6192.872
AT ITER 5137 NEW BEST:: SOT 50214 SOS 7865 HAS SOPS 7865 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.865
AT ITER 5167 NEW BEST:: SOT 50201 SOS 7841 HAS SOPS 7841 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6159.841
AT ITER 5202 NEW BEST:: SOT 50201 SOS 7837 HAS SOPS 7837 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6155.837
AT ITER 5289 NEW BEST:: SOT 50201 SOS 7811 HAS SOPS 7811 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.811
AT ITER 5364 NEW BEST:: SOT 50196 SOS 7807 HAS SOPS 7807 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6110.807
AT ITER 5384 NEW BEST:: SOT 50196 SOS 7804 HAS SOPS 7804 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6107.804
AT ITER 5441 NEW BEST:: SOT 50191 SOS 7801 HAS SOPS 7801 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6104.801
AT ITER 5447 NEW BEST:: SOT 50192 SOS 7797 HAS SOPS 7797 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6099.797
AT ITER 5503 NEW BEST:: SOT 50180 SOS 7804 HAS SOPS 7804 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.804
AT ITER 5569 NEW BEST:: SOT 50172 SOS 7772 HAS SOPS 7772 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.772
AT ITER 5588 NEW BEST:: SOT 50182 SOS 7738 HAS SOPS 7738 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6079.738
AT ITER 5629 NEW BEST:: SOT 50170 SOS 7726 HAS SOPS 7726 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6067.726
AT ITER 5692 NEW BEST:: SOT 50157 SOS 7712 HAS SOPS 7712 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.712
AT ITER 5697 NEW BEST:: SOT 50157 SOS 7752 HAS SOPS 7752 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.752
AT ITER 5733 NEW BEST:: SOT 50157 SOS 7751 HAS SOPS 7751 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6029.751
AT ITER 5736 NEW BEST:: SOT 50170 SOS 7749 HAS SOPS 7749 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6026.749
AT ITER 5743 NEW BEST:: SOT 50170 SOS 7746 HAS SOPS 7746 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6023.746
AT ITER 5806 NEW BEST:: SOT 50155 SOS 7723 HAS SOPS 7723 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6016.723
AT ITER 5840 NEW BEST:: SOT 50145 SOS 7663 HAS SOPS 7663 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6006.663
AT ITER 5853 NEW BEST:: SOT 50142 SOS 7652 HAS SOPS 7652 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5996.652
AT ITER 5886 NEW BEST:: SOT 50141 SOS 7650 HAS SOPS 7650 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5989.65
AT ITER 5904 NEW BEST:: SOT 50139 SOS 7638 HAS SOPS 7638 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5982.638
AT ITER 5905 NEW BEST:: SOT 50110 SOS 7618 HAS SOPS 7618 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.618
AT ITER 6028 NEW BEST:: SOT 50103 SOS 7544 HAS SOPS 7544 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5955.544
AT ITER 6134 NEW BEST:: SOT 50093 SOS 7529 HAS SOPS 7529 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5944.529
AT ITER 6192 NEW BEST:: SOT 50079 SOS 7508 HAS SOPS 7508 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5923.508
AT ITER 6254 NEW BEST:: SOT 50071 SOS 7500 HAS SOPS 7500 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.5
AT ITER 6271 NEW BEST:: SOT 50091 SOS 7493 HAS SOPS 7493 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.493
AT ITER 6276 NEW BEST:: SOT 50090 SOS 7492 HAS SOPS 7492 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.492
AT ITER 6278 NEW BEST:: SOT 50091 SOS 7487 HAS SOPS 7487 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.487
AT ITER 6344 NEW BEST:: SOT 50089 SOS 7481 HAS SOPS 7481 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5881.481
AT ITER 6357 NEW BEST:: SOT 50090 SOS 7468 HAS SOPS 7468 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5870.468
AT ITER 6389 NEW BEST:: SOT 50090 SOS 7458 HAS SOPS 7458 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5868.458
AT ITER 6434 NEW BEST:: SOT 50086 SOS 7442 HAS SOPS 7442 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5860.442
AT ITER 6504 NEW BEST:: SOT 50078 SOS 7429 HAS SOPS 7429 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5847.429
AT ITER 6565 NEW BEST:: SOT 50071 SOS 7422 HAS SOPS 7422 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5833.422
AT ITER 6684 NEW BEST:: SOT 50074 SOS 7425 HAS SOPS 7425 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5827.425
AT ITER 6716 NEW BEST:: SOT 50074 SOS 7353 HAS SOPS 7353 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5819.353
AT ITER 6763 NEW BEST:: SOT 50074 SOS 7479 HAS SOPS 7479 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5815.479
AT ITER 6838 NEW BEST:: SOT 50075 SOS 7472 HAS SOPS 7472 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5808.472
AT ITER 6864 NEW BEST:: SOT 50075 SOS 7439 HAS SOPS 7439 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5799.439
AT ITER 6895 NEW BEST:: SOT 50074 SOS 7435 HAS SOPS 7435 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5795.435
AT ITER 7139 NEW BEST:: SOT 50060 SOS 7460 HAS SOPS 7460 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5786.46
AT ITER 7152 NEW BEST:: SOT 50060 SOS 7460 HAS SOPS 7460 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.46
AT ITER 7208 NEW BEST:: SOT 50050 SOS 7450 HAS SOPS 7450 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5771.45
AT ITER 7238 NEW BEST:: SOT 50039 SOS 7446 HAS SOPS 7446 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5767.446
AT ITER 7485 NEW BEST:: SOT 50039 SOS 7442 HAS SOPS 7442 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5763.442
AT ITER 7682 NEW BEST:: SOT 50039 SOS 7441 HAS SOPS 7441 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5762.441
AT ITER 7687 NEW BEST:: SOT 50031 SOS 7429 HAS SOPS 7429 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5750.429
AT ITER 7689 NEW BEST:: SOT 50031 SOS 7426 HAS SOPS 7426 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5747.426
AT ITER 7700 NEW BEST:: SOT 50029 SOS 7424 HAS SOPS 7424 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5745.424
AT ITER 7719 NEW BEST:: SOT 50045 SOS 7439 HAS SOPS 7439 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5741.439
AT ITER 7832 NEW BEST:: SOT 50045 SOS 7439 HAS SOPS 7439 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5736.439
AT ITER 7901 NEW BEST:: SOT 50043 SOS 7437 HAS SOPS 7437 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5728.437
AT ITER 7964 NEW BEST:: SOT 50036 SOS 7423 HAS SOPS 7423 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5714.423
AT ITER 8001 NEW BEST:: SOT 50032 SOS 7420 HAS SOPS 7420 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5712.42
AT ITER 8016 NEW BEST:: SOT 50032 SOS 7419 HAS SOPS 7419 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5711.419
AT ITER 8086 NEW BEST:: SOT 50028 SOS 7415 HAS SOPS 7415 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5709.415
AT ITER 8129 NEW BEST:: SOT 50010 SOS 7398 HAS SOPS 7398 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5702.398
AT ITER 8139 NEW BEST:: SOT 49999 SOS 7354 HAS SOPS 7354 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5691.354
AT ITER 8200 NEW BEST:: SOT 49999 SOS 7308 HAS SOPS 7308 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5687.308
AT ITER 8218 NEW BEST:: SOT 49993 SOS 7302 HAS SOPS 7302 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5681.302
AT ITER 8321 NEW BEST:: SOT 49990 SOS 7296 HAS SOPS 7296 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5678.296
AT ITER 8397 NEW BEST:: SOT 49962 SOS 7255 HAS SOPS 7255 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.255
AT ITER 8404 NEW BEST:: SOT 49960 SOS 7253 HAS SOPS 7253 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5635.253
AT ITER 8424 NEW BEST:: SOT 49953 SOS 7239 HAS SOPS 7239 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5623.239
AT ITER 8433 NEW BEST:: SOT 49950 SOS 7230 HAS SOPS 7230 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5614.23
AT ITER 8463 NEW BEST:: SOT 49942 SOS 7222 HAS SOPS 7222 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5606.222
AT ITER 8474 NEW BEST:: SOT 49935 SOS 7208 HAS SOPS 7208 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5592.208
AT ITER 8559 NEW BEST:: SOT 49943 SOS 7207 HAS SOPS 7207 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5591.207
AT ITER 8619 NEW BEST:: SOT 49935 SOS 7199 HAS SOPS 7199 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5587.199
AT ITER 8636 NEW BEST:: SOT 49932 SOS 7193 HAS SOPS 7193 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5581.193
AT ITER 8667 NEW BEST:: SOT 49927 SOS 7198 HAS SOPS 7198 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5571.198
AT ITER 8715 NEW BEST:: SOT 49919 SOS 7190 HAS SOPS 7190 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5563.19
AT ITER 8746 NEW BEST:: SOT 49912 SOS 7178 HAS SOPS 7178 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5552.178
AT ITER 8747 NEW BEST:: SOT 49928 SOS 7194 HAS SOPS 7194 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5546.194
AT ITER 8832 NEW BEST:: SOT 49926 SOS 7192 HAS SOPS 7192 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.192
AT ITER 8888 NEW BEST:: SOT 49921 SOS 7182 HAS SOPS 7182 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5533.182
AT ITER 8953 NEW BEST:: SOT 49918 SOS 7176 HAS SOPS 7176 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5527.176
AT ITER 8973 NEW BEST:: SOT 49916 SOS 7174 HAS SOPS 7174 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5522.174
AT ITER 8995 NEW BEST:: SOT 49907 SOS 7179 HAS SOPS 7179 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5516.179
AT ITER 8996 NEW BEST:: SOT 49900 SOS 7170 HAS SOPS 7170 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5507.17
AT ITER 9123 NEW BEST:: SOT 49901 SOS 7140 HAS SOPS 7140 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5502.14
AT ITER 9243 NEW BEST:: SOT 49899 SOS 7134 HAS SOPS 7134 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5498.134
AT ITER 9362 NEW BEST:: SOT 49899 SOS 7132 HAS SOPS 7132 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5498.132
AT ITER 9378 NEW BEST:: SOT 49905 SOS 7116 HAS SOPS 7116 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.116
AT ITER 9389 NEW BEST:: SOT 49903 SOS 7114 HAS SOPS 7114 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5488.114
AT ITER 9403 NEW BEST:: SOT 49903 SOS 7103 HAS SOPS 7103 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5486.103
AT ITER 9574 NEW BEST:: SOT 49903 SOS 7102 HAS SOPS 7102 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5486.102
AT ITER 9769 NEW BEST:: SOT 49903 SOS 7081 HAS SOPS 7081 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5483.081
AT ITER 9831 NEW BEST:: SOT 49902 SOS 7080 HAS SOPS 7080 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5482.08
AT ITER 9875 NEW BEST:: SOT 49901 SOS 7077 HAS SOPS 7077 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5479.077
AT ITER 9880 NEW BEST:: SOT 49892 SOS 7068 HAS SOPS 7068 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5474.068
AT ITER 9887 NEW BEST:: SOT 49891 SOS 7066 HAS SOPS 7066 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.066
AT ITER 9898 NEW BEST:: SOT 49891 SOS 7062 HAS SOPS 7062 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.062
AT ITER 9904 NEW BEST:: SOT 49891 SOS 7058 HAS SOPS 7058 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.058
AT ITER 9920 NEW BEST:: SOT 49891 SOS 7055 HAS SOPS 7055 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.055
AT ITER 9963 NEW BEST:: SOT 49896 SOS 7054 HAS SOPS 7054 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5470.054
STATE_SPACE STATES 1688660095864521179526 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 30429330940797837234891 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678242226408

--------------------
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-10b"
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-10b, 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-167814472400424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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