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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K 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.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 6.2K Feb 26 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K 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 73K 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 1678241072225

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-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05b
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: 300 places, 251 transitions, 747 arcs.
AT ITER 0 NEW BEST:: SOT 45873 SOS 11059 HAS SOPS 11059 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9954.059
AT ITER 14 NEW BEST:: SOT 45834 SOS 11011 HAS SOPS 11011 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9906.011
AT ITER 23 NEW BEST:: SOT 45822 SOS 10999 HAS SOPS 10999 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9893.999
AT ITER 53 NEW BEST:: SOT 45733 SOS 10932 HAS SOPS 10932 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9826.932
AT ITER 55 NEW BEST:: SOT 45696 SOS 10925 HAS SOPS 10925 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9819.925
AT ITER 62 NEW BEST:: SOT 45619 SOS 10836 HAS SOPS 10836 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9680.836
AT ITER 95 NEW BEST:: SOT 45619 SOS 10823 HAS SOPS 10823 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9667.823
AT ITER 110 NEW BEST:: SOT 45571 SOS 10768 HAS SOPS 10768 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9612.768
AT ITER 114 NEW BEST:: SOT 45472 SOS 10704 HAS SOPS 10704 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9538.704
AT ITER 133 NEW BEST:: SOT 45472 SOS 10697 HAS SOPS 10697 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9531.697
AT ITER 181 NEW BEST:: SOT 45469 SOS 10718 HAS SOPS 10718 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.718
AT ITER 191 NEW BEST:: SOT 45457 SOS 10715 HAS SOPS 10715 HAS SOUS 9501 HAS SOUPS 9501 WITH SCORE 9511.715
AT ITER 196 NEW BEST:: SOT 45457 SOS 10646 HAS SOPS 10646 HAS SOUS 9501 HAS SOUPS 9501 WITH SCORE 9511.646
AT ITER 206 NEW BEST:: SOT 45456 SOS 10645 HAS SOPS 10645 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9510.645
AT ITER 212 NEW BEST:: SOT 45486 SOS 10644 HAS SOPS 10644 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9509.644
AT ITER 215 NEW BEST:: SOT 45465 SOS 10576 HAS SOPS 10576 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9471.576
AT ITER 217 NEW BEST:: SOT 45459 SOS 10576 HAS SOPS 10576 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9467.576
AT ITER 224 NEW BEST:: SOT 45414 SOS 10440 HAS SOPS 10440 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9376.44
AT ITER 237 NEW BEST:: SOT 45383 SOS 10377 HAS SOPS 10377 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9315.377
AT ITER 277 NEW BEST:: SOT 45337 SOS 10367 HAS SOPS 10367 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9305.367
AT ITER 286 NEW BEST:: SOT 45315 SOS 10322 HAS SOPS 10322 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9260.322
AT ITER 293 NEW BEST:: SOT 45315 SOS 10321 HAS SOPS 10321 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9259.321
AT ITER 295 NEW BEST:: SOT 45315 SOS 10314 HAS SOPS 10314 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9252.314
AT ITER 306 NEW BEST:: SOT 45314 SOS 10281 HAS SOPS 10281 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9249.281
AT ITER 309 NEW BEST:: SOT 45314 SOS 10271 HAS SOPS 10271 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9239.271
AT ITER 320 NEW BEST:: SOT 45309 SOS 10265 HAS SOPS 10265 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.265
AT ITER 327 NEW BEST:: SOT 45264 SOS 10237 HAS SOPS 10237 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.237
AT ITER 329 NEW BEST:: SOT 45264 SOS 10232 HAS SOPS 10232 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9195.232
AT ITER 342 NEW BEST:: SOT 45137 SOS 10134 HAS SOPS 10134 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9069.134
AT ITER 347 NEW BEST:: SOT 45095 SOS 10110 HAS SOPS 10110 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9031.11
AT ITER 351 NEW BEST:: SOT 45078 SOS 10139 HAS SOPS 10139 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9013.139
AT ITER 355 NEW BEST:: SOT 45052 SOS 10164 HAS SOPS 10164 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9007.164
AT ITER 361 NEW BEST:: SOT 45045 SOS 10150 HAS SOPS 10150 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8993.15
AT ITER 381 NEW BEST:: SOT 44999 SOS 10059 HAS SOPS 10059 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8947.059
AT ITER 404 NEW BEST:: SOT 44998 SOS 10058 HAS SOPS 10058 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8946.058
AT ITER 500 NEW BEST:: SOT 45014 SOS 10057 HAS SOPS 10057 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8945.057
AT ITER 502 NEW BEST:: SOT 45009 SOS 10047 HAS SOPS 10047 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.047
AT ITER 505 NEW BEST:: SOT 44976 SOS 9981 HAS SOPS 9981 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.981
AT ITER 524 NEW BEST:: SOT 44958 SOS 9954 HAS SOPS 9954 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8850.954
AT ITER 541 NEW BEST:: SOT 44950 SOS 9938 HAS SOPS 9938 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8834.938
AT ITER 544 NEW BEST:: SOT 44946 SOS 9935 HAS SOPS 9935 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8831.935
AT ITER 551 NEW BEST:: SOT 44939 SOS 9928 HAS SOPS 9928 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8824.928
AT ITER 574 NEW BEST:: SOT 44893 SOS 9914 HAS SOPS 9914 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8804.914
AT ITER 579 NEW BEST:: SOT 44893 SOS 9913 HAS SOPS 9913 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8804.913
AT ITER 601 NEW BEST:: SOT 44891 SOS 9911 HAS SOPS 9911 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8802.911
AT ITER 621 NEW BEST:: SOT 44898 SOS 9909 HAS SOPS 9909 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8800.909
AT ITER 624 NEW BEST:: SOT 44890 SOS 9925 HAS SOPS 9925 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8792.925
AT ITER 639 NEW BEST:: SOT 44884 SOS 9967 HAS SOPS 9967 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8766.967
AT ITER 649 NEW BEST:: SOT 44884 SOS 9966 HAS SOPS 9966 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8765.966
AT ITER 704 NEW BEST:: SOT 44879 SOS 9961 HAS SOPS 9961 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8760.961
AT ITER 722 NEW BEST:: SOT 44866 SOS 9941 HAS SOPS 9941 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8740.941
AT ITER 732 NEW BEST:: SOT 44847 SOS 9940 HAS SOPS 9940 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8739.94
AT ITER 772 NEW BEST:: SOT 44843 SOS 9932 HAS SOPS 9932 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.932
AT ITER 787 NEW BEST:: SOT 44835 SOS 9920 HAS SOPS 9920 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8719.92
AT ITER 817 NEW BEST:: SOT 44835 SOS 9918 HAS SOPS 9918 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.918
AT ITER 833 NEW BEST:: SOT 44811 SOS 9910 HAS SOPS 9910 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.91
AT ITER 841 NEW BEST:: SOT 44824 SOS 9923 HAS SOPS 9923 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8706.923
AT ITER 845 NEW BEST:: SOT 44815 SOS 9915 HAS SOPS 9915 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.915
AT ITER 877 NEW BEST:: SOT 44822 SOS 9914 HAS SOPS 9914 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8697.914
AT ITER 884 NEW BEST:: SOT 44788 SOS 9845 HAS SOPS 9845 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.845
AT ITER 899 NEW BEST:: SOT 44783 SOS 9833 HAS SOPS 9833 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8616.833
AT ITER 941 NEW BEST:: SOT 44782 SOS 9832 HAS SOPS 9832 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8615.832
AT ITER 943 NEW BEST:: SOT 44757 SOS 9673 HAS SOPS 9673 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.673
AT ITER 951 NEW BEST:: SOT 44757 SOS 9662 HAS SOPS 9662 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8514.662
AT ITER 974 NEW BEST:: SOT 44751 SOS 9650 HAS SOPS 9650 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8502.65
AT ITER 976 NEW BEST:: SOT 44694 SOS 9826 HAS SOPS 9826 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.826
AT ITER 990 NEW BEST:: SOT 44695 SOS 9828 HAS SOPS 9828 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.828
AT ITER 991 NEW BEST:: SOT 44681 SOS 9816 HAS SOPS 9816 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8445.816
AT ITER 1043 NEW BEST:: SOT 44676 SOS 9780 HAS SOPS 9780 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8409.78
AT ITER 1054 NEW BEST:: SOT 44706 SOS 9767 HAS SOPS 9767 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8396.767
AT ITER 1055 NEW BEST:: SOT 44688 SOS 9747 HAS SOPS 9747 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8376.747
AT ITER 1077 NEW BEST:: SOT 44706 SOS 9764 HAS SOPS 9764 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.764
AT ITER 1084 NEW BEST:: SOT 44705 SOS 9764 HAS SOPS 9764 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.764
AT ITER 1095 NEW BEST:: SOT 44691 SOS 9740 HAS SOPS 9740 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8350.74
AT ITER 1100 NEW BEST:: SOT 44690 SOS 9739 HAS SOPS 9739 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8348.739
AT ITER 1123 NEW BEST:: SOT 44692 SOS 9738 HAS SOPS 9738 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8347.738
AT ITER 1138 NEW BEST:: SOT 44685 SOS 9723 HAS SOPS 9723 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.723
AT ITER 1168 NEW BEST:: SOT 44685 SOS 9681 HAS SOPS 9681 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8290.681
AT ITER 1175 NEW BEST:: SOT 44690 SOS 9608 HAS SOPS 9608 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8285.608
AT ITER 1205 NEW BEST:: SOT 44634 SOS 9569 HAS SOPS 9569 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.569
AT ITER 1211 NEW BEST:: SOT 44609 SOS 9537 HAS SOPS 9537 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8206.537
AT ITER 1244 NEW BEST:: SOT 44605 SOS 9533 HAS SOPS 9533 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8202.533
AT ITER 1247 NEW BEST:: SOT 44584 SOS 9480 HAS SOPS 9480 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8146.48
AT ITER 1270 NEW BEST:: SOT 44569 SOS 9471 HAS SOPS 9471 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8137.471
AT ITER 1278 NEW BEST:: SOT 44568 SOS 9469 HAS SOPS 9469 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.469
AT ITER 1284 NEW BEST:: SOT 44521 SOS 9436 HAS SOPS 9436 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8102.436
AT ITER 1293 NEW BEST:: SOT 44515 SOS 9430 HAS SOPS 9430 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8095.43
AT ITER 1295 NEW BEST:: SOT 44512 SOS 9427 HAS SOPS 9427 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8092.427
AT ITER 1307 NEW BEST:: SOT 44474 SOS 9378 HAS SOPS 9378 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8043.378
AT ITER 1313 NEW BEST:: SOT 44472 SOS 9369 HAS SOPS 9369 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8034.369
AT ITER 1330 NEW BEST:: SOT 44455 SOS 9352 HAS SOPS 9352 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8017.352
AT ITER 1335 NEW BEST:: SOT 44461 SOS 9346 HAS SOPS 9346 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7995.346
AT ITER 1366 NEW BEST:: SOT 44455 SOS 9340 HAS SOPS 9340 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7993.34
AT ITER 1367 NEW BEST:: SOT 44438 SOS 9349 HAS SOPS 9349 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7980.349
AT ITER 1392 NEW BEST:: SOT 44424 SOS 9332 HAS SOPS 9332 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7963.332
AT ITER 1412 NEW BEST:: SOT 44417 SOS 9326 HAS SOPS 9326 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7957.326
AT ITER 1428 NEW BEST:: SOT 44419 SOS 9333 HAS SOPS 9333 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7952.333
AT ITER 1448 NEW BEST:: SOT 44419 SOS 9313 HAS SOPS 9313 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7932.313
AT ITER 1463 NEW BEST:: SOT 44408 SOS 9310 HAS SOPS 9310 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7929.31
AT ITER 1482 NEW BEST:: SOT 44405 SOS 9280 HAS SOPS 9280 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7898.28
AT ITER 1493 NEW BEST:: SOT 44406 SOS 9272 HAS SOPS 9272 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7890.272
AT ITER 1523 NEW BEST:: SOT 44403 SOS 9268 HAS SOPS 9268 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7887.268
AT ITER 1552 NEW BEST:: SOT 44413 SOS 9261 HAS SOPS 9261 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7883.261
AT ITER 1565 NEW BEST:: SOT 44423 SOS 9258 HAS SOPS 9258 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7880.258
AT ITER 1581 NEW BEST:: SOT 44411 SOS 9210 HAS SOPS 9210 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7832.21
AT ITER 1592 NEW BEST:: SOT 44407 SOS 9206 HAS SOPS 9206 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.206
AT ITER 1653 NEW BEST:: SOT 44406 SOS 9205 HAS SOPS 9205 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.205
AT ITER 1654 NEW BEST:: SOT 44400 SOS 9199 HAS SOPS 9199 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7822.199
AT ITER 1691 NEW BEST:: SOT 44400 SOS 9151 HAS SOPS 9151 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7822.151
AT ITER 1692 NEW BEST:: SOT 44399 SOS 9150 HAS SOPS 9150 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7821.15
AT ITER 1694 NEW BEST:: SOT 44390 SOS 9158 HAS SOPS 9158 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7816.158
AT ITER 1715 NEW BEST:: SOT 44378 SOS 9146 HAS SOPS 9146 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7805.146
AT ITER 1736 NEW BEST:: SOT 44369 SOS 9120 HAS SOPS 9120 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.12
AT ITER 1745 NEW BEST:: SOT 44359 SOS 9110 HAS SOPS 9110 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7769.11
AT ITER 1776 NEW BEST:: SOT 44355 SOS 9098 HAS SOPS 9098 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.098
AT ITER 1796 NEW BEST:: SOT 44355 SOS 9081 HAS SOPS 9081 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.081
AT ITER 1805 NEW BEST:: SOT 44355 SOS 9052 HAS SOPS 9052 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7709.052
AT ITER 1859 NEW BEST:: SOT 44331 SOS 9025 HAS SOPS 9025 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7674.025
AT ITER 1876 NEW BEST:: SOT 44328 SOS 9016 HAS SOPS 9016 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7671.016
AT ITER 1909 NEW BEST:: SOT 44369 SOS 9005 HAS SOPS 9005 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7660.005
AT ITER 1956 NEW BEST:: SOT 44362 SOS 8991 HAS SOPS 8991 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7645.991
AT ITER 2013 NEW BEST:: SOT 44332 SOS 8951 HAS SOPS 8951 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.951
AT ITER 2029 NEW BEST:: SOT 44322 SOS 8941 HAS SOPS 8941 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.941
AT ITER 2042 NEW BEST:: SOT 44308 SOS 8927 HAS SOPS 8927 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7592.927
AT ITER 2053 NEW BEST:: SOT 44305 SOS 8921 HAS SOPS 8921 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.921
AT ITER 2064 NEW BEST:: SOT 44303 SOS 8911 HAS SOPS 8911 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7576.911
AT ITER 2081 NEW BEST:: SOT 44303 SOS 8908 HAS SOPS 8908 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.908
AT ITER 2120 NEW BEST:: SOT 44261 SOS 8712 HAS SOPS 8712 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.712
AT ITER 2141 NEW BEST:: SOT 44261 SOS 8717 HAS SOPS 8717 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7515.717
AT ITER 2159 NEW BEST:: SOT 44248 SOS 8687 HAS SOPS 8687 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7499.687
AT ITER 2170 NEW BEST:: SOT 44244 SOS 8680 HAS SOPS 8680 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7492.68
AT ITER 2201 NEW BEST:: SOT 44242 SOS 8676 HAS SOPS 8676 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.676
AT ITER 2224 NEW BEST:: SOT 44237 SOS 8671 HAS SOPS 8671 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7485.671
AT ITER 2230 NEW BEST:: SOT 44222 SOS 8662 HAS SOPS 8662 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.662
AT ITER 2280 NEW BEST:: SOT 44222 SOS 8661 HAS SOPS 8661 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.661
AT ITER 2307 NEW BEST:: SOT 44208 SOS 8651 HAS SOPS 8651 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7459.651
AT ITER 2330 NEW BEST:: SOT 44204 SOS 8645 HAS SOPS 8645 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7453.645
AT ITER 2337 NEW BEST:: SOT 44207 SOS 8642 HAS SOPS 8642 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7453.642
AT ITER 2374 NEW BEST:: SOT 44207 SOS 8631 HAS SOPS 8631 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7442.631
AT ITER 2400 NEW BEST:: SOT 44207 SOS 8629 HAS SOPS 8629 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7440.629
AT ITER 2436 NEW BEST:: SOT 44197 SOS 8622 HAS SOPS 8622 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7433.622
AT ITER 2440 NEW BEST:: SOT 44185 SOS 8606 HAS SOPS 8606 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.606
AT ITER 2515 NEW BEST:: SOT 44185 SOS 8597 HAS SOPS 8597 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7408.597
AT ITER 2533 NEW BEST:: SOT 44183 SOS 8591 HAS SOPS 8591 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.591
AT ITER 2551 NEW BEST:: SOT 44183 SOS 8585 HAS SOPS 8585 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.585
AT ITER 2573 NEW BEST:: SOT 44170 SOS 8570 HAS SOPS 8570 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7395.57
AT ITER 2582 NEW BEST:: SOT 44166 SOS 8577 HAS SOPS 8577 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7387.577
AT ITER 2634 NEW BEST:: SOT 44166 SOS 8577 HAS SOPS 8577 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.577
AT ITER 2661 NEW BEST:: SOT 44168 SOS 8575 HAS SOPS 8575 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7381.575
AT ITER 2683 NEW BEST:: SOT 44168 SOS 8574 HAS SOPS 8574 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.574
AT ITER 2741 NEW BEST:: SOT 44168 SOS 8559 HAS SOPS 8559 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7365.559
AT ITER 2744 NEW BEST:: SOT 44168 SOS 8554 HAS SOPS 8554 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7364.554
AT ITER 2764 NEW BEST:: SOT 44171 SOS 8552 HAS SOPS 8552 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7362.552
AT ITER 2769 NEW BEST:: SOT 44176 SOS 8547 HAS SOPS 8547 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7361.547
AT ITER 2774 NEW BEST:: SOT 44166 SOS 8564 HAS SOPS 8564 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7338.564
AT ITER 2798 NEW BEST:: SOT 44151 SOS 8533 HAS SOPS 8533 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.533
AT ITER 2802 NEW BEST:: SOT 44135 SOS 8517 HAS SOPS 8517 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7287.517
AT ITER 2835 NEW BEST:: SOT 44150 SOS 8536 HAS SOPS 8536 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7279.536
AT ITER 2842 NEW BEST:: SOT 44150 SOS 8530 HAS SOPS 8530 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.53
AT ITER 2856 NEW BEST:: SOT 44150 SOS 8529 HAS SOPS 8529 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.529
AT ITER 2875 NEW BEST:: SOT 44140 SOS 8526 HAS SOPS 8526 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7269.526
AT ITER 2956 NEW BEST:: SOT 44135 SOS 8519 HAS SOPS 8519 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.519
AT ITER 2981 NEW BEST:: SOT 44122 SOS 8510 HAS SOPS 8510 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.51
AT ITER 2999 NEW BEST:: SOT 44086 SOS 8434 HAS SOPS 8434 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.434
AT ITER 3047 NEW BEST:: SOT 44064 SOS 8414 HAS SOPS 8414 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.414
AT ITER 3053 NEW BEST:: SOT 44055 SOS 8405 HAS SOPS 8405 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7186.405
AT ITER 3095 NEW BEST:: SOT 44052 SOS 8401 HAS SOPS 8401 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7182.401
AT ITER 3121 NEW BEST:: SOT 44052 SOS 8397 HAS SOPS 8397 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7178.397
AT ITER 3128 NEW BEST:: SOT 44032 SOS 8443 HAS SOPS 8443 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7171.443
AT ITER 3245 NEW BEST:: SOT 44007 SOS 8492 HAS SOPS 8492 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.492
AT ITER 3273 NEW BEST:: SOT 44005 SOS 8486 HAS SOPS 8486 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.486
AT ITER 3369 NEW BEST:: SOT 44004 SOS 8489 HAS SOPS 8489 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.489
AT ITER 3378 NEW BEST:: SOT 44004 SOS 8530 HAS SOPS 8530 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.53
AT ITER 3398 NEW BEST:: SOT 44000 SOS 8518 HAS SOPS 8518 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7130.518
AT ITER 3428 NEW BEST:: SOT 43988 SOS 8506 HAS SOPS 8506 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7114.506
AT ITER 3436 NEW BEST:: SOT 43988 SOS 8496 HAS SOPS 8496 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.496
AT ITER 3493 NEW BEST:: SOT 43988 SOS 8495 HAS SOPS 8495 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7103.495
AT ITER 3535 NEW BEST:: SOT 43985 SOS 8501 HAS SOPS 8501 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.501
AT ITER 3586 NEW BEST:: SOT 43985 SOS 8496 HAS SOPS 8496 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.496
AT ITER 3594 NEW BEST:: SOT 43959 SOS 8527 HAS SOPS 8527 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.527
AT ITER 3719 NEW BEST:: SOT 43959 SOS 8525 HAS SOPS 8525 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7027.525
AT ITER 3720 NEW BEST:: SOT 43959 SOS 8512 HAS SOPS 8512 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7014.512
AT ITER 3725 NEW BEST:: SOT 43959 SOS 8506 HAS SOPS 8506 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.506
AT ITER 3750 NEW BEST:: SOT 43939 SOS 8498 HAS SOPS 8498 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7000.498
AT ITER 3767 NEW BEST:: SOT 43935 SOS 8494 HAS SOPS 8494 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6996.494
AT ITER 3769 NEW BEST:: SOT 43926 SOS 8486 HAS SOPS 8486 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.486
AT ITER 3784 NEW BEST:: SOT 43923 SOS 8482 HAS SOPS 8482 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6984.482
AT ITER 3819 NEW BEST:: SOT 43897 SOS 8494 HAS SOPS 8494 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.494
AT ITER 3841 NEW BEST:: SOT 43880 SOS 8477 HAS SOPS 8477 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.477
AT ITER 3861 NEW BEST:: SOT 43862 SOS 8459 HAS SOPS 8459 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.459
AT ITER 3875 NEW BEST:: SOT 43859 SOS 8447 HAS SOPS 8447 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6925.447
AT ITER 3876 NEW BEST:: SOT 43857 SOS 8465 HAS SOPS 8465 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6922.465
AT ITER 3888 NEW BEST:: SOT 43857 SOS 8461 HAS SOPS 8461 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6922.461
AT ITER 3905 NEW BEST:: SOT 43847 SOS 8418 HAS SOPS 8418 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6879.418
AT ITER 3947 NEW BEST:: SOT 43831 SOS 8405 HAS SOPS 8405 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.405
AT ITER 3976 NEW BEST:: SOT 43832 SOS 8409 HAS SOPS 8409 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6867.409
AT ITER 4008 NEW BEST:: SOT 43829 SOS 8402 HAS SOPS 8402 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.402
AT ITER 4133 NEW BEST:: SOT 43825 SOS 8394 HAS SOPS 8394 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6853.394
AT ITER 4157 NEW BEST:: SOT 43807 SOS 8365 HAS SOPS 8365 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6824.365
AT ITER 4188 NEW BEST:: SOT 43805 SOS 8360 HAS SOPS 8360 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6822.36
AT ITER 4243 NEW BEST:: SOT 43805 SOS 8360 HAS SOPS 8360 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.36
AT ITER 4260 NEW BEST:: SOT 43788 SOS 8394 HAS SOPS 8394 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6801.394
AT ITER 4291 NEW BEST:: SOT 43788 SOS 8388 HAS SOPS 8388 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6795.388
AT ITER 4376 NEW BEST:: SOT 43786 SOS 8382 HAS SOPS 8382 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.382
AT ITER 4398 NEW BEST:: SOT 43780 SOS 8370 HAS SOPS 8370 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6788.37
AT ITER 4537 NEW BEST:: SOT 43755 SOS 8348 HAS SOPS 8348 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.348
AT ITER 4825 NEW BEST:: SOT 43755 SOS 8347 HAS SOPS 8347 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6765.347
AT ITER 4839 NEW BEST:: SOT 43744 SOS 8332 HAS SOPS 8332 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.332
AT ITER 4913 NEW BEST:: SOT 43749 SOS 8324 HAS SOPS 8324 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6737.324
AT ITER 4925 NEW BEST:: SOT 43749 SOS 8321 HAS SOPS 8321 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6734.321
AT ITER 4967 NEW BEST:: SOT 43740 SOS 8313 HAS SOPS 8313 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.313
AT ITER 4983 NEW BEST:: SOT 43740 SOS 8309 HAS SOPS 8309 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6726.309
AT ITER 4997 NEW BEST:: SOT 43738 SOS 8307 HAS SOPS 8307 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6722.307
AT ITER 5071 NEW BEST:: SOT 43738 SOS 8295 HAS SOPS 8295 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.295
AT ITER 5143 NEW BEST:: SOT 43738 SOS 8295 HAS SOPS 8295 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6700.295
AT ITER 5152 NEW BEST:: SOT 43731 SOS 8293 HAS SOPS 8293 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.293
AT ITER 5179 NEW BEST:: SOT 43738 SOS 8302 HAS SOPS 8302 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.302
AT ITER 5201 NEW BEST:: SOT 43738 SOS 8294 HAS SOPS 8294 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.294
AT ITER 5230 NEW BEST:: SOT 43733 SOS 8289 HAS SOPS 8289 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.289
AT ITER 5342 NEW BEST:: SOT 43722 SOS 8249 HAS SOPS 8249 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6654.249
AT ITER 5350 NEW BEST:: SOT 43724 SOS 8245 HAS SOPS 8245 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6652.245
AT ITER 5388 NEW BEST:: SOT 43724 SOS 8238 HAS SOPS 8238 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6645.238
AT ITER 5499 NEW BEST:: SOT 43711 SOS 8229 HAS SOPS 8229 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6636.229
AT ITER 5610 NEW BEST:: SOT 43697 SOS 8215 HAS SOPS 8215 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6608.215
AT ITER 5631 NEW BEST:: SOT 43699 SOS 8213 HAS SOPS 8213 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.213
AT ITER 5642 NEW BEST:: SOT 43711 SOS 8206 HAS SOPS 8206 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.206
AT ITER 5644 NEW BEST:: SOT 43710 SOS 8205 HAS SOPS 8205 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6598.205
AT ITER 5738 NEW BEST:: SOT 43711 SOS 8203 HAS SOPS 8203 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6596.203
AT ITER 5790 NEW BEST:: SOT 43711 SOS 8202 HAS SOPS 8202 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.202
AT ITER 5924 NEW BEST:: SOT 43716 SOS 8176 HAS SOPS 8176 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6576.176
AT ITER 5998 NEW BEST:: SOT 43713 SOS 8168 HAS SOPS 8168 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.168
AT ITER 6049 NEW BEST:: SOT 43706 SOS 8164 HAS SOPS 8164 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.164
AT ITER 6092 NEW BEST:: SOT 43706 SOS 8162 HAS SOPS 8162 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6562.162
AT ITER 6185 NEW BEST:: SOT 43729 SOS 8183 HAS SOPS 8183 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6560.183
AT ITER 6215 NEW BEST:: SOT 43708 SOS 8162 HAS SOPS 8162 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6534.162
AT ITER 6237 NEW BEST:: SOT 43702 SOS 8156 HAS SOPS 8156 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6522.156
AT ITER 6290 NEW BEST:: SOT 43702 SOS 8153 HAS SOPS 8153 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6519.153
AT ITER 6429 NEW BEST:: SOT 43705 SOS 8101 HAS SOPS 8101 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6509.101
AT ITER 6437 NEW BEST:: SOT 43703 SOS 8103 HAS SOPS 8103 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6507.103
AT ITER 6455 NEW BEST:: SOT 43709 SOS 8108 HAS SOPS 8108 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6506.108
AT ITER 6457 NEW BEST:: SOT 43690 SOS 8136 HAS SOPS 8136 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6487.136
AT ITER 6498 NEW BEST:: SOT 43692 SOS 8135 HAS SOPS 8135 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6466.135
AT ITER 6544 NEW BEST:: SOT 43693 SOS 8127 HAS SOPS 8127 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6463.127
AT ITER 6545 NEW BEST:: SOT 43693 SOS 8126 HAS SOPS 8126 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6462.126
AT ITER 6576 NEW BEST:: SOT 43708 SOS 8124 HAS SOPS 8124 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6460.124
AT ITER 6696 NEW BEST:: SOT 43707 SOS 8122 HAS SOPS 8122 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6458.122
AT ITER 6708 NEW BEST:: SOT 43707 SOS 8096 HAS SOPS 8096 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6457.096
AT ITER 6722 NEW BEST:: SOT 43698 SOS 8079 HAS SOPS 8079 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6448.079
AT ITER 6797 NEW BEST:: SOT 43693 SOS 8051 HAS SOPS 8051 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6420.051
AT ITER 6809 NEW BEST:: SOT 43693 SOS 8045 HAS SOPS 8045 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6420.045
AT ITER 6822 NEW BEST:: SOT 43686 SOS 8043 HAS SOPS 8043 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6418.043
AT ITER 6844 NEW BEST:: SOT 43675 SOS 8032 HAS SOPS 8032 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6417.032
AT ITER 6892 NEW BEST:: SOT 43665 SOS 8011 HAS SOPS 8011 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6396.011
AT ITER 6917 NEW BEST:: SOT 43665 SOS 7993 HAS SOPS 7993 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6377.993
AT ITER 6933 NEW BEST:: SOT 43665 SOS 7981 HAS SOPS 7981 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6377.981
AT ITER 7003 NEW BEST:: SOT 43663 SOS 7995 HAS SOPS 7995 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6375.995
AT ITER 7039 NEW BEST:: SOT 43654 SOS 7989 HAS SOPS 7989 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.989
AT ITER 7045 NEW BEST:: SOT 43647 SOS 7978 HAS SOPS 7978 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6358.978
AT ITER 7089 NEW BEST:: SOT 43647 SOS 7972 HAS SOPS 7972 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.972
AT ITER 7101 NEW BEST:: SOT 43646 SOS 7970 HAS SOPS 7970 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6350.97
AT ITER 7178 NEW BEST:: SOT 43643 SOS 7968 HAS SOPS 7968 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6348.968
AT ITER 7200 NEW BEST:: SOT 43626 SOS 7846 HAS SOPS 7846 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6329.846
AT ITER 7308 NEW BEST:: SOT 43623 SOS 7840 HAS SOPS 7840 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6329.84
AT ITER 7309 NEW BEST:: SOT 43619 SOS 7835 HAS SOPS 7835 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.835
AT ITER 7332 NEW BEST:: SOT 43619 SOS 7831 HAS SOPS 7831 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6320.831
AT ITER 7384 NEW BEST:: SOT 43615 SOS 7812 HAS SOPS 7812 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.812
AT ITER 7385 NEW BEST:: SOT 43622 SOS 7805 HAS SOPS 7805 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.805
AT ITER 7412 NEW BEST:: SOT 43615 SOS 7806 HAS SOPS 7806 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6302.806
AT ITER 7416 NEW BEST:: SOT 43615 SOS 7804 HAS SOPS 7804 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.804
AT ITER 7525 NEW BEST:: SOT 43597 SOS 7852 HAS SOPS 7852 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6282.852
AT ITER 7572 NEW BEST:: SOT 43596 SOS 7847 HAS SOPS 7847 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.847
AT ITER 7644 NEW BEST:: SOT 43580 SOS 7827 HAS SOPS 7827 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.827
AT ITER 7651 NEW BEST:: SOT 43579 SOS 7826 HAS SOPS 7826 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6268.826
AT ITER 7724 NEW BEST:: SOT 43578 SOS 7829 HAS SOPS 7829 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.829
AT ITER 7728 NEW BEST:: SOT 43577 SOS 7828 HAS SOPS 7828 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6266.828
AT ITER 7733 NEW BEST:: SOT 43608 SOS 7820 HAS SOPS 7820 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.82
AT ITER 7761 NEW BEST:: SOT 43602 SOS 7813 HAS SOPS 7813 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6247.813
AT ITER 7770 NEW BEST:: SOT 43608 SOS 7806 HAS SOPS 7806 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.806
AT ITER 7780 NEW BEST:: SOT 43608 SOS 7796 HAS SOPS 7796 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6235.796
AT ITER 7797 NEW BEST:: SOT 43604 SOS 7792 HAS SOPS 7792 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6231.792
AT ITER 7832 NEW BEST:: SOT 43600 SOS 7784 HAS SOPS 7784 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.784
AT ITER 7834 NEW BEST:: SOT 43589 SOS 7782 HAS SOPS 7782 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6216.782
AT ITER 7872 NEW BEST:: SOT 43586 SOS 7783 HAS SOPS 7783 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6213.783
AT ITER 7875 NEW BEST:: SOT 43586 SOS 7783 HAS SOPS 7783 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.783
AT ITER 7929 NEW BEST:: SOT 43586 SOS 7780 HAS SOPS 7780 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6206.78
AT ITER 7999 NEW BEST:: SOT 43585 SOS 7775 HAS SOPS 7775 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6204.775
AT ITER 8026 NEW BEST:: SOT 43583 SOS 7773 HAS SOPS 7773 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6202.773
AT ITER 8065 NEW BEST:: SOT 43579 SOS 7769 HAS SOPS 7769 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.769
AT ITER 8130 NEW BEST:: SOT 43576 SOS 7766 HAS SOPS 7766 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6197.766
AT ITER 8191 NEW BEST:: SOT 43574 SOS 7762 HAS SOPS 7762 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6195.762
AT ITER 8205 NEW BEST:: SOT 43566 SOS 7747 HAS SOPS 7747 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.747
AT ITER 8210 NEW BEST:: SOT 43562 SOS 7741 HAS SOPS 7741 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.741
AT ITER 8340 NEW BEST:: SOT 43562 SOS 7739 HAS SOPS 7739 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.739
AT ITER 8467 NEW BEST:: SOT 43567 SOS 7737 HAS SOPS 7737 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6174.737
AT ITER 8558 NEW BEST:: SOT 43563 SOS 7749 HAS SOPS 7749 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6170.749
AT ITER 8568 NEW BEST:: SOT 43548 SOS 7736 HAS SOPS 7736 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6157.736
AT ITER 8684 NEW BEST:: SOT 43548 SOS 7713 HAS SOPS 7713 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.713
AT ITER 8748 NEW BEST:: SOT 43548 SOS 7699 HAS SOPS 7699 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6120.699
AT ITER 8799 NEW BEST:: SOT 43547 SOS 7697 HAS SOPS 7697 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6118.697
AT ITER 8812 NEW BEST:: SOT 43545 SOS 7683 HAS SOPS 7683 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6111.683
AT ITER 8824 NEW BEST:: SOT 43540 SOS 7665 HAS SOPS 7665 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6102.665
AT ITER 8971 NEW BEST:: SOT 43540 SOS 7673 HAS SOPS 7673 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6100.673
AT ITER 9053 NEW BEST:: SOT 43543 SOS 7667 HAS SOPS 7667 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.667
AT ITER 9055 NEW BEST:: SOT 43535 SOS 7651 HAS SOPS 7651 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6086.651
AT ITER 9198 NEW BEST:: SOT 43509 SOS 7643 HAS SOPS 7643 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6078.643
AT ITER 9205 NEW BEST:: SOT 43509 SOS 7642 HAS SOPS 7642 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6077.642
AT ITER 9224 NEW BEST:: SOT 43502 SOS 7631 HAS SOPS 7631 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6065.631
AT ITER 9455 NEW BEST:: SOT 43503 SOS 7621 HAS SOPS 7621 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.621
AT ITER 9457 NEW BEST:: SOT 43524 SOS 7613 HAS SOPS 7613 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.613
AT ITER 9461 NEW BEST:: SOT 43522 SOS 7611 HAS SOPS 7611 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6045.611
AT ITER 9524 NEW BEST:: SOT 43520 SOS 7608 HAS SOPS 7608 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.608
AT ITER 9668 NEW BEST:: SOT 43519 SOS 7607 HAS SOPS 7607 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6041.607
AT ITER 9774 NEW BEST:: SOT 43519 SOS 7595 HAS SOPS 7595 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6041.595
AT ITER 9949 NEW BEST:: SOT 43528 SOS 7557 HAS SOPS 7557 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.557
AT ITER 9976 NEW BEST:: SOT 43528 SOS 7553 HAS SOPS 7553 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.553
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10974924 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154320 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="DES-PT-05b"
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-05b, 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-167814472400408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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