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.r259-smll-167863534600464.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 PermAdmissibility-COL-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534600464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 01:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678783028272

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=PermAdmissibility-COL-01
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 08:37:12] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 08:37:12] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 08:37:12] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 08:37:13] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 08:37:13] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1152 ms
[2023-03-14 08:37:13] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 47 ms.
[2023-03-14 08:37:14] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 119 ms.
[2023-03-14 08:37:14] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 24 places and 240 transitions.
Reduce places removed 16 places and 192 transitions.
[2023-03-14 08:37:14] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 36 ms.
Total runtime 1783 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 01
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70465 SOS 43785 HAS SOPS 43785 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24425.785
AT ITER 6 NEW BEST:: SOT 70227 SOS 43547 HAS SOPS 43547 HAS SOUS 24025 HAS SOUPS 24025 WITH SCORE 24068.547
AT ITER 22 NEW BEST:: SOT 70139 SOS 43669 HAS SOPS 43669 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24015.669
AT ITER 34 NEW BEST:: SOT 70109 SOS 43651 HAS SOPS 43651 HAS SOUS 23963 HAS SOUPS 23963 WITH SCORE 24006.651
AT ITER 35 NEW BEST:: SOT 70109 SOS 43831 HAS SOPS 43831 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23911.831
AT ITER 61 NEW BEST:: SOT 70069 SOS 43791 HAS SOPS 43791 HAS SOUS 23832 HAS SOUPS 23832 WITH SCORE 23875.791
AT ITER 63 NEW BEST:: SOT 70044 SOS 43781 HAS SOPS 43781 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23871.781
AT ITER 73 NEW BEST:: SOT 69872 SOS 43674 HAS SOPS 43674 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23778.674
AT ITER 125 NEW BEST:: SOT 69812 SOS 43614 HAS SOPS 43614 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23744.614
AT ITER 127 NEW BEST:: SOT 69640 SOS 43403 HAS SOPS 43403 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23628.403
AT ITER 128 NEW BEST:: SOT 69616 SOS 43379 HAS SOPS 43379 HAS SOUS 23579 HAS SOUPS 23579 WITH SCORE 23622.379
AT ITER 134 NEW BEST:: SOT 69502 SOS 43265 HAS SOPS 43265 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23552.265
AT ITER 141 NEW BEST:: SOT 69502 SOS 44798 HAS SOPS 44798 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23468.798
AT ITER 142 NEW BEST:: SOT 69428 SOS 44724 HAS SOPS 44724 HAS SOUS 23304 HAS SOUPS 23304 WITH SCORE 23348.724
AT ITER 150 NEW BEST:: SOT 69327 SOS 43200 HAS SOPS 43200 HAS SOUS 23291 HAS SOUPS 23291 WITH SCORE 23334.2
AT ITER 155 NEW BEST:: SOT 69191 SOS 43064 HAS SOPS 43064 HAS SOUS 23065 HAS SOUPS 23065 WITH SCORE 23108.064
AT ITER 163 NEW BEST:: SOT 69191 SOS 43107 HAS SOPS 43107 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23091.107
AT ITER 169 NEW BEST:: SOT 69191 SOS 43107 HAS SOPS 43107 HAS SOUS 23040 HAS SOUPS 23040 WITH SCORE 23083.107
AT ITER 181 NEW BEST:: SOT 69175 SOS 43091 HAS SOPS 43091 HAS SOUS 23013 HAS SOUPS 23013 WITH SCORE 23056.091
AT ITER 182 NEW BEST:: SOT 69124 SOS 43040 HAS SOPS 43040 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22997.04
AT ITER 191 NEW BEST:: SOT 69056 SOS 42972 HAS SOPS 42972 HAS SOUS 22861 HAS SOUPS 22861 WITH SCORE 22903.972
AT ITER 208 NEW BEST:: SOT 69056 SOS 42972 HAS SOPS 42972 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22887.972
AT ITER 214 NEW BEST:: SOT 69033 SOS 43106 HAS SOPS 43106 HAS SOUS 22751 HAS SOUPS 22751 WITH SCORE 22794.106
AT ITER 225 NEW BEST:: SOT 69123 SOS 43814 HAS SOPS 43814 HAS SOUS 22736 HAS SOUPS 22736 WITH SCORE 22779.814
AT ITER 234 NEW BEST:: SOT 68915 SOS 43509 HAS SOPS 43509 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22665.509
AT ITER 268 NEW BEST:: SOT 68668 SOS 43262 HAS SOPS 43262 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22539.262
AT ITER 276 NEW BEST:: SOT 68672 SOS 43266 HAS SOPS 43266 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22528.266
AT ITER 291 NEW BEST:: SOT 68672 SOS 43266 HAS SOPS 43266 HAS SOUS 22412 HAS SOUPS 22412 WITH SCORE 22455.266
AT ITER 318 NEW BEST:: SOT 68662 SOS 43256 HAS SOPS 43256 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22395.256
AT ITER 407 NEW BEST:: SOT 68570 SOS 43164 HAS SOPS 43164 HAS SOUS 22221 HAS SOUPS 22221 WITH SCORE 22264.164
AT ITER 411 NEW BEST:: SOT 68568 SOS 43162 HAS SOPS 43162 HAS SOUS 22219 HAS SOUPS 22219 WITH SCORE 22262.162
AT ITER 449 NEW BEST:: SOT 68558 SOS 43151 HAS SOPS 43151 HAS SOUS 22207 HAS SOUPS 22207 WITH SCORE 22250.151
AT ITER 459 NEW BEST:: SOT 68558 SOS 43151 HAS SOPS 43151 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22229.151
AT ITER 476 NEW BEST:: SOT 68558 SOS 43151 HAS SOPS 43151 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22172.151
AT ITER 488 NEW BEST:: SOT 68467 SOS 43166 HAS SOPS 43166 HAS SOUS 21991 HAS SOUPS 21991 WITH SCORE 22034.166
AT ITER 491 NEW BEST:: SOT 68452 SOS 43331 HAS SOPS 43331 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21881.331
AT ITER 492 NEW BEST:: SOT 68416 SOS 43293 HAS SOPS 43293 HAS SOUS 21807 HAS SOUPS 21807 WITH SCORE 21850.293
AT ITER 508 NEW BEST:: SOT 68248 SOS 43191 HAS SOPS 43191 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21636.191
AT ITER 516 NEW BEST:: SOT 68243 SOS 43186 HAS SOPS 43186 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21615.186
AT ITER 532 NEW BEST:: SOT 68065 SOS 43008 HAS SOPS 43008 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21434.008
AT ITER 583 NEW BEST:: SOT 67742 SOS 42160 HAS SOPS 42160 HAS SOUS 21229 HAS SOUPS 21229 WITH SCORE 21271.16
AT ITER 591 NEW BEST:: SOT 67583 SOS 42091 HAS SOPS 42091 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21187.091
AT ITER 690 NEW BEST:: SOT 67523 SOS 43059 HAS SOPS 43059 HAS SOUS 21102 HAS SOUPS 21102 WITH SCORE 21145.059
AT ITER 724 NEW BEST:: SOT 67526 SOS 43101 HAS SOPS 43101 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21127.101
AT ITER 754 NEW BEST:: SOT 67542 SOS 43117 HAS SOPS 43117 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21095.117
AT ITER 773 NEW BEST:: SOT 67542 SOS 43117 HAS SOPS 43117 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21092.117
AT ITER 792 NEW BEST:: SOT 67564 SOS 43071 HAS SOPS 43071 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21091.071
AT ITER 840 NEW BEST:: SOT 67564 SOS 43007 HAS SOPS 43007 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21091.007
AT ITER 865 NEW BEST:: SOT 67559 SOS 43011 HAS SOPS 43011 HAS SOUS 21043 HAS SOUPS 21043 WITH SCORE 21086.011
AT ITER 935 NEW BEST:: SOT 67575 SOS 44519 HAS SOPS 44519 HAS SOUS 20934 HAS SOUPS 20934 WITH SCORE 20978.519
AT ITER 938 NEW BEST:: SOT 67575 SOS 43447 HAS SOPS 43447 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20976.447
AT ITER 944 NEW BEST:: SOT 67563 SOS 43248 HAS SOPS 43248 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20976.248
AT ITER 946 NEW BEST:: SOT 67543 SOS 43228 HAS SOPS 43228 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20938.228
AT ITER 962 NEW BEST:: SOT 67543 SOS 43805 HAS SOPS 43805 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20866.805
AT ITER 973 NEW BEST:: SOT 67543 SOS 48688 HAS SOPS 48688 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20827.688
AT ITER 989 NEW BEST:: SOT 67541 SOS 48690 HAS SOPS 48690 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20826.69
AT ITER 1004 NEW BEST:: SOT 67541 SOS 48688 HAS SOPS 48688 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20825.688
AT ITER 1018 NEW BEST:: SOT 67481 SOS 48628 HAS SOPS 48628 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20717.628
AT ITER 1031 NEW BEST:: SOT 67495 SOS 48642 HAS SOPS 48642 HAS SOUS 20586 HAS SOUPS 20586 WITH SCORE 20634.642
AT ITER 1034 NEW BEST:: SOT 67493 SOS 48640 HAS SOPS 48640 HAS SOUS 20579 HAS SOUPS 20579 WITH SCORE 20627.64
AT ITER 1039 NEW BEST:: SOT 67493 SOS 48640 HAS SOPS 48640 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20501.64
AT ITER 1067 NEW BEST:: SOT 67366 SOS 48514 HAS SOPS 48514 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20499.514
AT ITER 1070 NEW BEST:: SOT 67366 SOS 48514 HAS SOPS 48514 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20362.514
AT ITER 1073 NEW BEST:: SOT 67366 SOS 48002 HAS SOPS 48002 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20362.002
AT ITER 1077 NEW BEST:: SOT 67362 SOS 48014 HAS SOPS 48014 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20276.014
AT ITER 1080 NEW BEST:: SOT 67202 SOS 47868 HAS SOPS 47868 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 19987.868
AT ITER 1092 NEW BEST:: SOT 67202 SOS 47940 HAS SOPS 47940 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19980.94
AT ITER 1095 NEW BEST:: SOT 67178 SOS 47916 HAS SOPS 47916 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19951.916
AT ITER 1097 NEW BEST:: SOT 66866 SOS 47604 HAS SOPS 47604 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19823.604
AT ITER 1099 NEW BEST:: SOT 66792 SOS 47530 HAS SOPS 47530 HAS SOUS 19759 HAS SOUPS 19759 WITH SCORE 19806.53
AT ITER 1148 NEW BEST:: SOT 66927 SOS 47665 HAS SOPS 47665 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19774.665
AT ITER 1152 NEW BEST:: SOT 66891 SOS 47639 HAS SOPS 47639 HAS SOUS 19698 HAS SOUPS 19698 WITH SCORE 19745.639
AT ITER 1153 NEW BEST:: SOT 66838 SOS 47751 HAS SOPS 47751 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19729.751
AT ITER 1162 NEW BEST:: SOT 66732 SOS 47454 HAS SOPS 47454 HAS SOUS 19626 HAS SOUPS 19626 WITH SCORE 19673.454
AT ITER 1165 NEW BEST:: SOT 66732 SOS 47470 HAS SOPS 47470 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19667.47
AT ITER 1210 NEW BEST:: SOT 66634 SOS 47372 HAS SOPS 47372 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19565.372
AT ITER 1214 NEW BEST:: SOT 66634 SOS 47372 HAS SOPS 47372 HAS SOUS 19506 HAS SOUPS 19506 WITH SCORE 19553.372
AT ITER 1225 NEW BEST:: SOT 66634 SOS 47357 HAS SOPS 47357 HAS SOUS 19496 HAS SOUPS 19496 WITH SCORE 19543.357
AT ITER 1231 NEW BEST:: SOT 66634 SOS 45911 HAS SOPS 45911 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19535.911
AT ITER 1268 NEW BEST:: SOT 66619 SOS 45896 HAS SOPS 45896 HAS SOUS 19355 HAS SOUPS 19355 WITH SCORE 19400.896
AT ITER 1287 NEW BEST:: SOT 66517 SOS 45734 HAS SOPS 45734 HAS SOUS 19321 HAS SOUPS 19321 WITH SCORE 19366.734
AT ITER 1305 NEW BEST:: SOT 66517 SOS 45734 HAS SOPS 45734 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19362.734
AT ITER 1307 NEW BEST:: SOT 66510 SOS 45919 HAS SOPS 45919 HAS SOUS 19257 HAS SOUPS 19257 WITH SCORE 19302.919
AT ITER 1334 NEW BEST:: SOT 66529 SOS 46050 HAS SOPS 46050 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19294.05
AT ITER 1340 NEW BEST:: SOT 66493 SOS 46014 HAS SOPS 46014 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19258.014
AT ITER 1342 NEW BEST:: SOT 66493 SOS 46014 HAS SOPS 46014 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19234.014
AT ITER 1371 NEW BEST:: SOT 66493 SOS 45630 HAS SOPS 45630 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19233.63
AT ITER 1380 NEW BEST:: SOT 66445 SOS 45582 HAS SOPS 45582 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19228.582
AT ITER 1400 NEW BEST:: SOT 66470 SOS 45607 HAS SOPS 45607 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19210.607
AT ITER 1443 NEW BEST:: SOT 66435 SOS 45572 HAS SOPS 45572 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19151.572
AT ITER 1453 NEW BEST:: SOT 66428 SOS 45565 HAS SOPS 45565 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19133.565
AT ITER 1483 NEW BEST:: SOT 66428 SOS 45565 HAS SOPS 45565 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19131.565
AT ITER 1485 NEW BEST:: SOT 66430 SOS 45551 HAS SOPS 45551 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19131.551
AT ITER 1493 NEW BEST:: SOT 66430 SOS 44918 HAS SOPS 44918 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19087.918
AT ITER 1536 NEW BEST:: SOT 66392 SOS 44876 HAS SOPS 44876 HAS SOUS 19005 HAS SOUPS 19005 WITH SCORE 19049.876
AT ITER 1553 NEW BEST:: SOT 66392 SOS 44820 HAS SOPS 44820 HAS SOUS 19005 HAS SOUPS 19005 WITH SCORE 19049.82
AT ITER 1634 NEW BEST:: SOT 66392 SOS 44820 HAS SOPS 44820 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19045.82
AT ITER 1646 NEW BEST:: SOT 66328 SOS 44826 HAS SOPS 44826 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18988.826
AT ITER 1655 NEW BEST:: SOT 66322 SOS 44826 HAS SOPS 44826 HAS SOUS 18935 HAS SOUPS 18935 WITH SCORE 18979.826
AT ITER 1698 NEW BEST:: SOT 66322 SOS 43538 HAS SOPS 43538 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18968.538
AT ITER 1706 NEW BEST:: SOT 66322 SOS 43552 HAS SOPS 43552 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18956.552
AT ITER 1718 NEW BEST:: SOT 66236 SOS 43498 HAS SOPS 43498 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18854.498
AT ITER 1749 NEW BEST:: SOT 66236 SOS 43498 HAS SOPS 43498 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18814.498
AT ITER 1757 NEW BEST:: SOT 66236 SOS 43690 HAS SOPS 43690 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18813.69
AT ITER 1790 NEW BEST:: SOT 66207 SOS 43661 HAS SOPS 43661 HAS SOUS 18751 HAS SOUPS 18751 WITH SCORE 18794.661
AT ITER 1802 NEW BEST:: SOT 66193 SOS 43648 HAS SOPS 43648 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18781.648
AT ITER 1818 NEW BEST:: SOT 66191 SOS 43646 HAS SOPS 43646 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18771.646
AT ITER 1836 NEW BEST:: SOT 66189 SOS 43657 HAS SOPS 43657 HAS SOUS 18726 HAS SOUPS 18726 WITH SCORE 18769.657
AT ITER 1840 NEW BEST:: SOT 66203 SOS 43706 HAS SOPS 43706 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18766.706
AT ITER 1847 NEW BEST:: SOT 66112 SOS 43494 HAS SOPS 43494 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18758.494
AT ITER 1889 NEW BEST:: SOT 66006 SOS 43357 HAS SOPS 43357 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18672.357
AT ITER 1949 NEW BEST:: SOT 66006 SOS 44509 HAS SOPS 44509 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18619.509
AT ITER 2007 NEW BEST:: SOT 65976 SOS 44501 HAS SOPS 44501 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18619.501
AT ITER 2030 NEW BEST:: SOT 65974 SOS 44506 HAS SOPS 44506 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18608.506
AT ITER 2039 NEW BEST:: SOT 65974 SOS 44506 HAS SOPS 44506 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18592.506
AT ITER 2087 NEW BEST:: SOT 65960 SOS 44496 HAS SOPS 44496 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18579.496
AT ITER 2119 NEW BEST:: SOT 65960 SOS 45904 HAS SOPS 45904 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18561.904
AT ITER 2143 NEW BEST:: SOT 65926 SOS 45870 HAS SOPS 45870 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18486.87
AT ITER 2180 NEW BEST:: SOT 65926 SOS 45870 HAS SOPS 45870 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18474.87
AT ITER 2182 NEW BEST:: SOT 65926 SOS 45870 HAS SOPS 45870 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18450.87
AT ITER 2185 NEW BEST:: SOT 65924 SOS 45867 HAS SOPS 45867 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18443.867
AT ITER 2221 NEW BEST:: SOT 65924 SOS 45755 HAS SOPS 45755 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18443.755
AT ITER 2241 NEW BEST:: SOT 65933 SOS 45757 HAS SOPS 45757 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18420.757
AT ITER 2251 NEW BEST:: SOT 65922 SOS 45823 HAS SOPS 45823 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18405.823
AT ITER 2364 NEW BEST:: SOT 65918 SOS 45819 HAS SOPS 45819 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18397.819
AT ITER 2374 NEW BEST:: SOT 65915 SOS 45816 HAS SOPS 45816 HAS SOUS 18341 HAS SOUPS 18341 WITH SCORE 18386.816
AT ITER 2478 NEW BEST:: SOT 65915 SOS 45560 HAS SOPS 45560 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18369.56
AT ITER 2492 NEW BEST:: SOT 65915 SOS 45496 HAS SOPS 45496 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18369.496
AT ITER 2495 NEW BEST:: SOT 65885 SOS 45458 HAS SOPS 45458 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18321.458
AT ITER 2512 NEW BEST:: SOT 65885 SOS 45458 HAS SOPS 45458 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18301.458
AT ITER 2540 NEW BEST:: SOT 65884 SOS 45457 HAS SOPS 45457 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18300.457
AT ITER 2644 NEW BEST:: SOT 65884 SOS 45457 HAS SOPS 45457 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18193.457
AT ITER 2662 NEW BEST:: SOT 65876 SOS 45449 HAS SOPS 45449 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18185.449
AT ITER 2684 NEW BEST:: SOT 65875 SOS 45584 HAS SOPS 45584 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18162.584
AT ITER 2721 NEW BEST:: SOT 65867 SOS 45576 HAS SOPS 45576 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18154.576
AT ITER 2741 NEW BEST:: SOT 65867 SOS 45578 HAS SOPS 45578 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18146.578
AT ITER 2767 NEW BEST:: SOT 65851 SOS 45646 HAS SOPS 45646 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18100.646
AT ITER 2876 NEW BEST:: SOT 65851 SOS 45650 HAS SOPS 45650 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18092.65
AT ITER 2914 NEW BEST:: SOT 65851 SOS 45626 HAS SOPS 45626 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18092.626
AT ITER 2985 NEW BEST:: SOT 65837 SOS 45612 HAS SOPS 45612 HAS SOUS 18033 HAS SOUPS 18033 WITH SCORE 18078.612
AT ITER 3060 NEW BEST:: SOT 65829 SOS 45606 HAS SOPS 45606 HAS SOUS 18021 HAS SOUPS 18021 WITH SCORE 18066.606
AT ITER 3095 NEW BEST:: SOT 65801 SOS 45578 HAS SOPS 45578 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18038.578
AT ITER 3113 NEW BEST:: SOT 65801 SOS 45578 HAS SOPS 45578 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18033.578
AT ITER 3240 NEW BEST:: SOT 65791 SOS 45568 HAS SOPS 45568 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18031.568
AT ITER 3293 NEW BEST:: SOT 65785 SOS 45546 HAS SOPS 45546 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18024.546
AT ITER 3303 NEW BEST:: SOT 65785 SOS 45546 HAS SOPS 45546 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17994.546
AT ITER 3332 NEW BEST:: SOT 65785 SOS 45858 HAS SOPS 45858 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17991.858
AT ITER 3348 NEW BEST:: SOT 65785 SOS 45858 HAS SOPS 45858 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17965.858
AT ITER 3349 NEW BEST:: SOT 65818 SOS 45814 HAS SOPS 45814 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17956.814
AT ITER 3379 NEW BEST:: SOT 65818 SOS 45853 HAS SOPS 45853 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17929.853
AT ITER 3420 NEW BEST:: SOT 65817 SOS 45852 HAS SOPS 45852 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17914.852
AT ITER 3430 NEW BEST:: SOT 65817 SOS 45820 HAS SOPS 45820 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17914.82
AT ITER 3470 NEW BEST:: SOT 65795 SOS 45798 HAS SOPS 45798 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17892.798
AT ITER 3503 NEW BEST:: SOT 65796 SOS 45799 HAS SOPS 45799 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17889.799
AT ITER 3531 NEW BEST:: SOT 65782 SOS 45785 HAS SOPS 45785 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17867.785
AT ITER 3565 NEW BEST:: SOT 65782 SOS 45785 HAS SOPS 45785 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17848.785
AT ITER 3567 NEW BEST:: SOT 65726 SOS 45729 HAS SOPS 45729 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17736.729
AT ITER 3620 NEW BEST:: SOT 65724 SOS 45727 HAS SOPS 45727 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17734.727
AT ITER 3627 NEW BEST:: SOT 65712 SOS 45714 HAS SOPS 45714 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17708.714
AT ITER 3833 NEW BEST:: SOT 65708 SOS 45830 HAS SOPS 45830 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17704.83
AT ITER 3851 NEW BEST:: SOT 65708 SOS 45755 HAS SOPS 45755 HAS SOUS 17655 HAS SOUPS 17655 WITH SCORE 17700.755
AT ITER 3857 NEW BEST:: SOT 65707 SOS 45754 HAS SOPS 45754 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17685.754
AT ITER 3899 NEW BEST:: SOT 65716 SOS 45763 HAS SOPS 45763 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17674.763
AT ITER 3984 NEW BEST:: SOT 65716 SOS 45763 HAS SOPS 45763 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17640.763
AT ITER 3993 NEW BEST:: SOT 65690 SOS 45747 HAS SOPS 45747 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17630.747
AT ITER 4094 NEW BEST:: SOT 65692 SOS 45749 HAS SOPS 45749 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17624.749
AT ITER 4118 NEW BEST:: SOT 65606 SOS 45663 HAS SOPS 45663 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17507.663
AT ITER 4199 NEW BEST:: SOT 65606 SOS 45675 HAS SOPS 45675 HAS SOUS 17448 HAS SOUPS 17448 WITH SCORE 17493.675
AT ITER 4398 NEW BEST:: SOT 65606 SOS 45675 HAS SOPS 45675 HAS SOUS 17446 HAS SOUPS 17446 WITH SCORE 17491.675
AT ITER 4407 NEW BEST:: SOT 65604 SOS 45671 HAS SOPS 45671 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17483.671
AT ITER 4485 NEW BEST:: SOT 65604 SOS 45671 HAS SOPS 45671 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17441.671
AT ITER 4503 NEW BEST:: SOT 65610 SOS 45677 HAS SOPS 45677 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17439.677
AT ITER 4553 NEW BEST:: SOT 65610 SOS 45677 HAS SOPS 45677 HAS SOUS 17393 HAS SOUPS 17393 WITH SCORE 17438.677
AT ITER 4558 NEW BEST:: SOT 65617 SOS 45642 HAS SOPS 45642 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17432.642
AT ITER 4585 NEW BEST:: SOT 65605 SOS 45621 HAS SOPS 45621 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17417.621
AT ITER 4733 NEW BEST:: SOT 65608 SOS 45624 HAS SOPS 45624 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17396.624
AT ITER 4825 NEW BEST:: SOT 65608 SOS 45623 HAS SOPS 45623 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17396.623
AT ITER 4906 NEW BEST:: SOT 65606 SOS 45622 HAS SOPS 45622 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17394.622
AT ITER 4934 NEW BEST:: SOT 65606 SOS 45622 HAS SOPS 45622 HAS SOUS 17348 HAS SOUPS 17348 WITH SCORE 17393.622
AT ITER 4970 NEW BEST:: SOT 65594 SOS 45610 HAS SOPS 45610 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17386.61
AT ITER 4992 NEW BEST:: SOT 65594 SOS 45614 HAS SOPS 45614 HAS SOUS 17337 HAS SOUPS 17337 WITH SCORE 17382.614
AT ITER 5000 NEW BEST:: SOT 65594 SOS 45615 HAS SOPS 45615 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17375.615
AT ITER 5045 NEW BEST:: SOT 65563 SOS 45647 HAS SOPS 45647 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17374.647
AT ITER 5141 NEW BEST:: SOT 65571 SOS 45655 HAS SOPS 45655 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17358.655
AT ITER 5163 NEW BEST:: SOT 65571 SOS 45079 HAS SOPS 45079 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17356.079
AT ITER 5207 NEW BEST:: SOT 65566 SOS 45074 HAS SOPS 45074 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17355.074
AT ITER 5254 NEW BEST:: SOT 65566 SOS 45034 HAS SOPS 45034 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17355.034
AT ITER 5301 NEW BEST:: SOT 65568 SOS 45036 HAS SOPS 45036 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17353.036
AT ITER 5313 NEW BEST:: SOT 65571 SOS 45039 HAS SOPS 45039 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17335.039
AT ITER 5364 NEW BEST:: SOT 65437 SOS 44905 HAS SOPS 44905 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17331.905
AT ITER 5365 NEW BEST:: SOT 65429 SOS 44897 HAS SOPS 44897 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17315.897
AT ITER 5443 NEW BEST:: SOT 65429 SOS 44897 HAS SOPS 44897 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17310.897
AT ITER 5567 NEW BEST:: SOT 65429 SOS 44897 HAS SOPS 44897 HAS SOUS 17265 HAS SOUPS 17265 WITH SCORE 17309.897
AT ITER 5598 NEW BEST:: SOT 65424 SOS 44892 HAS SOPS 44892 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17296.892
AT ITER 5603 NEW BEST:: SOT 65397 SOS 44865 HAS SOPS 44865 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17289.865
AT ITER 5677 NEW BEST:: SOT 65394 SOS 44849 HAS SOPS 44849 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17287.849
AT ITER 5925 NEW BEST:: SOT 65390 SOS 44845 HAS SOPS 44845 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17267.845
AT ITER 5998 NEW BEST:: SOT 65362 SOS 44817 HAS SOPS 44817 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17239.817
AT ITER 6042 NEW BEST:: SOT 65364 SOS 44822 HAS SOPS 44822 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17233.822
AT ITER 6095 NEW BEST:: SOT 65324 SOS 44702 HAS SOPS 44702 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17193.702
AT ITER 6210 NEW BEST:: SOT 65304 SOS 44682 HAS SOPS 44682 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17173.682
AT ITER 6317 NEW BEST:: SOT 65298 SOS 44676 HAS SOPS 44676 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17173.676
AT ITER 6337 NEW BEST:: SOT 65304 SOS 44720 HAS SOPS 44720 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17162.72
AT ITER 6340 NEW BEST:: SOT 65303 SOS 44719 HAS SOPS 44719 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17156.719
AT ITER 6376 NEW BEST:: SOT 65306 SOS 44647 HAS SOPS 44647 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17149.647
AT ITER 6590 NEW BEST:: SOT 65306 SOS 44359 HAS SOPS 44359 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17149.359
AT ITER 6720 NEW BEST:: SOT 65305 SOS 44353 HAS SOPS 44353 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17145.353
AT ITER 6827 NEW BEST:: SOT 65282 SOS 44330 HAS SOPS 44330 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17140.33
AT ITER 6844 NEW BEST:: SOT 65282 SOS 44322 HAS SOPS 44322 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17140.322
AT ITER 6901 NEW BEST:: SOT 65273 SOS 44313 HAS SOPS 44313 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17133.313
AT ITER 6924 NEW BEST:: SOT 65265 SOS 44305 HAS SOPS 44305 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17119.305
AT ITER 6942 NEW BEST:: SOT 65265 SOS 44305 HAS SOPS 44305 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17115.305
AT ITER 7074 NEW BEST:: SOT 65257 SOS 44351 HAS SOPS 44351 HAS SOUS 17050 HAS SOUPS 17050 WITH SCORE 17094.351
AT ITER 7321 NEW BEST:: SOT 65241 SOS 44335 HAS SOPS 44335 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17062.335
AT ITER 7337 NEW BEST:: SOT 65290 SOS 44233 HAS SOPS 44233 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17030.233
AT ITER 7353 NEW BEST:: SOT 65246 SOS 44207 HAS SOPS 44207 HAS SOUS 16982 HAS SOUPS 16982 WITH SCORE 17026.207
AT ITER 7513 NEW BEST:: SOT 65246 SOS 44209 HAS SOPS 44209 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17023.209
AT ITER 7588 NEW BEST:: SOT 65246 SOS 43761 HAS SOPS 43761 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 17021.761
AT ITER 7642 NEW BEST:: SOT 65241 SOS 43756 HAS SOPS 43756 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17020.756
AT ITER 7683 NEW BEST:: SOT 65239 SOS 43754 HAS SOPS 43754 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 17014.754
AT ITER 7694 NEW BEST:: SOT 65241 SOS 43756 HAS SOPS 43756 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16989.756
AT ITER 7860 NEW BEST:: SOT 65237 SOS 43812 HAS SOPS 43812 HAS SOUS 16926 HAS SOUPS 16926 WITH SCORE 16969.812
AT ITER 7929 NEW BEST:: SOT 65133 SOS 43789 HAS SOPS 43789 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16946.789
AT ITER 7944 NEW BEST:: SOT 65133 SOS 43795 HAS SOPS 43795 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16940.795
AT ITER 7982 NEW BEST:: SOT 65129 SOS 43813 HAS SOPS 43813 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16928.813
AT ITER 8081 NEW BEST:: SOT 65129 SOS 43805 HAS SOPS 43805 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16928.805
AT ITER 8146 NEW BEST:: SOT 65099 SOS 43775 HAS SOPS 43775 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16924.775
AT ITER 8193 NEW BEST:: SOT 65077 SOS 43753 HAS SOPS 43753 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16893.753
AT ITER 8357 NEW BEST:: SOT 65074 SOS 43750 HAS SOPS 43750 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16893.75
AT ITER 8462 NEW BEST:: SOT 65052 SOS 43728 HAS SOPS 43728 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16877.728
AT ITER 8511 NEW BEST:: SOT 65038 SOS 43721 HAS SOPS 43721 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16870.721
AT ITER 8569 NEW BEST:: SOT 65002 SOS 43685 HAS SOPS 43685 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16836.685
AT ITER 8691 NEW BEST:: SOT 64999 SOS 43682 HAS SOPS 43682 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16818.682
AT ITER 8695 NEW BEST:: SOT 64980 SOS 43663 HAS SOPS 43663 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16680.663
AT ITER 8808 NEW BEST:: SOT 64980 SOS 43661 HAS SOPS 43661 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16680.661
AT ITER 8862 NEW BEST:: SOT 64990 SOS 43671 HAS SOPS 43671 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16670.671
AT ITER 8879 NEW BEST:: SOT 64966 SOS 43647 HAS SOPS 43647 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16582.647
AT ITER 8982 NEW BEST:: SOT 64904 SOS 43634 HAS SOPS 43634 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16541.634
AT ITER 9165 NEW BEST:: SOT 64864 SOS 43594 HAS SOPS 43594 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16506.594
AT ITER 9205 NEW BEST:: SOT 64864 SOS 43590 HAS SOPS 43590 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16504.59
AT ITER 9942 NEW BEST:: SOT 64858 SOS 43584 HAS SOPS 43584 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16497.584
AT ITER 9986 NEW BEST:: SOT 64808 SOS 43518 HAS SOPS 43518 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16399.518
STATE_SPACE STATES 52537 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678783126971

--------------------
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="PermAdmissibility-COL-01"
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 PermAdmissibility-COL-01, 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 r259-smll-167863534600464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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