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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.8K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 01:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 01:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 01:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:31 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 1678795618073

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-20
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 12:07:02] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 12:07:02] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 12:07:02] [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 12:07:03] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 12:07:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1366 ms
[2023-03-14 12:07:04] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 81 ms.
[2023-03-14 12:07:04] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 109 ms.
[2023-03-14 12:07:04] [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 12:07:04] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 35 ms.
Total runtime 2045 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 20
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 12 NEW BEST:: SOT 70465 SOS 43785 HAS SOPS 43785 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24411.785
AT ITER 14 NEW BEST:: SOT 70297 SOS 42580 HAS SOPS 42580 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24286.58
AT ITER 16 NEW BEST:: SOT 70215 SOS 42498 HAS SOPS 42498 HAS SOUS 24099 HAS SOUPS 24099 WITH SCORE 24141.498
AT ITER 19 NEW BEST:: SOT 70185 SOS 42507 HAS SOPS 42507 HAS SOUS 24063 HAS SOUPS 24063 WITH SCORE 24105.507
AT ITER 23 NEW BEST:: SOT 70185 SOS 42597 HAS SOPS 42597 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24104.597
AT ITER 72 NEW BEST:: SOT 70029 SOS 42441 HAS SOPS 42441 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23956.441
AT ITER 76 NEW BEST:: SOT 69971 SOS 42383 HAS SOPS 42383 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23859.383
AT ITER 118 NEW BEST:: SOT 69703 SOS 42550 HAS SOPS 42550 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23839.55
AT ITER 122 NEW BEST:: SOT 69442 SOS 42289 HAS SOPS 42289 HAS SOUS 23635 HAS SOUPS 23635 WITH SCORE 23677.289
AT ITER 128 NEW BEST:: SOT 69380 SOS 42511 HAS SOPS 42511 HAS SOUS 23504 HAS SOUPS 23504 WITH SCORE 23546.511
AT ITER 130 NEW BEST:: SOT 69334 SOS 42858 HAS SOPS 42858 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23362.858
AT ITER 141 NEW BEST:: SOT 69334 SOS 43332 HAS SOPS 43332 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23313.332
AT ITER 142 NEW BEST:: SOT 69189 SOS 43796 HAS SOPS 43796 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23206.796
AT ITER 155 NEW BEST:: SOT 68913 SOS 43520 HAS SOPS 43520 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22946.52
AT ITER 160 NEW BEST:: SOT 68493 SOS 43360 HAS SOPS 43360 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22802.36
AT ITER 173 NEW BEST:: SOT 68493 SOS 41784 HAS SOPS 41784 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22800.784
AT ITER 182 NEW BEST:: SOT 68493 SOS 41784 HAS SOPS 41784 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22791.784
AT ITER 184 NEW BEST:: SOT 68084 SOS 41474 HAS SOPS 41474 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22587.474
AT ITER 186 NEW BEST:: SOT 68080 SOS 41470 HAS SOPS 41470 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22567.47
AT ITER 187 NEW BEST:: SOT 68063 SOS 41469 HAS SOPS 41469 HAS SOUS 22520 HAS SOUPS 22520 WITH SCORE 22561.469
AT ITER 191 NEW BEST:: SOT 68046 SOS 41689 HAS SOPS 41689 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22473.689
AT ITER 206 NEW BEST:: SOT 68046 SOS 41769 HAS SOPS 41769 HAS SOUS 22333 HAS SOUPS 22333 WITH SCORE 22374.769
AT ITER 209 NEW BEST:: SOT 68042 SOS 42044 HAS SOPS 42044 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22367.044
AT ITER 218 NEW BEST:: SOT 68042 SOS 42861 HAS SOPS 42861 HAS SOUS 22235 HAS SOUPS 22235 WITH SCORE 22277.861
AT ITER 219 NEW BEST:: SOT 67998 SOS 42817 HAS SOPS 42817 HAS SOUS 22163 HAS SOUPS 22163 WITH SCORE 22205.817
AT ITER 247 NEW BEST:: SOT 67895 SOS 42977 HAS SOPS 42977 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22083.977
AT ITER 248 NEW BEST:: SOT 67849 SOS 42948 HAS SOPS 42948 HAS SOUS 22024 HAS SOUPS 22024 WITH SCORE 22066.948
AT ITER 249 NEW BEST:: SOT 67711 SOS 42771 HAS SOPS 42771 HAS SOUS 21943 HAS SOUPS 21943 WITH SCORE 21985.771
AT ITER 269 NEW BEST:: SOT 67575 SOS 43055 HAS SOPS 43055 HAS SOUS 21831 HAS SOUPS 21831 WITH SCORE 21874.055
AT ITER 270 NEW BEST:: SOT 67470 SOS 43241 HAS SOPS 43241 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21777.241
AT ITER 295 NEW BEST:: SOT 67480 SOS 43402 HAS SOPS 43402 HAS SOUS 21723 HAS SOUPS 21723 WITH SCORE 21766.402
AT ITER 319 NEW BEST:: SOT 67462 SOS 43384 HAS SOPS 43384 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21758.384
AT ITER 323 NEW BEST:: SOT 67376 SOS 43402 HAS SOPS 43402 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21648.402
AT ITER 334 NEW BEST:: SOT 67199 SOS 43643 HAS SOPS 43643 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21458.643
AT ITER 359 NEW BEST:: SOT 67189 SOS 43633 HAS SOPS 43633 HAS SOUS 21332 HAS SOUPS 21332 WITH SCORE 21375.633
AT ITER 361 NEW BEST:: SOT 67159 SOS 43568 HAS SOPS 43568 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21352.568
AT ITER 370 NEW BEST:: SOT 67227 SOS 43561 HAS SOPS 43561 HAS SOUS 21214 HAS SOUPS 21214 WITH SCORE 21257.561
AT ITER 389 NEW BEST:: SOT 67227 SOS 43561 HAS SOPS 43561 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21256.561
AT ITER 400 NEW BEST:: SOT 67194 SOS 43528 HAS SOPS 43528 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21223.528
AT ITER 409 NEW BEST:: SOT 67194 SOS 43416 HAS SOPS 43416 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21223.416
AT ITER 414 NEW BEST:: SOT 67037 SOS 43002 HAS SOPS 43002 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21178.002
AT ITER 435 NEW BEST:: SOT 67030 SOS 42995 HAS SOPS 42995 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21114.995
AT ITER 443 NEW BEST:: SOT 66881 SOS 42966 HAS SOPS 42966 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21054.966
AT ITER 471 NEW BEST:: SOT 66881 SOS 42494 HAS SOPS 42494 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21054.494
AT ITER 472 NEW BEST:: SOT 66881 SOS 42423 HAS SOPS 42423 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21042.423
AT ITER 475 NEW BEST:: SOT 66733 SOS 42330 HAS SOPS 42330 HAS SOUS 20832 HAS SOUPS 20832 WITH SCORE 20874.33
AT ITER 489 NEW BEST:: SOT 66726 SOS 42229 HAS SOPS 42229 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20843.229
AT ITER 507 NEW BEST:: SOT 66686 SOS 42189 HAS SOPS 42189 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20823.189
AT ITER 509 NEW BEST:: SOT 66642 SOS 42145 HAS SOPS 42145 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20730.145
AT ITER 520 NEW BEST:: SOT 66608 SOS 42111 HAS SOPS 42111 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20715.111
AT ITER 545 NEW BEST:: SOT 66559 SOS 42250 HAS SOPS 42250 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20682.25
AT ITER 551 NEW BEST:: SOT 66511 SOS 42200 HAS SOPS 42200 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20632.2
AT ITER 571 NEW BEST:: SOT 66511 SOS 42200 HAS SOPS 42200 HAS SOUS 20357 HAS SOUPS 20357 WITH SCORE 20399.2
AT ITER 583 NEW BEST:: SOT 66469 SOS 42164 HAS SOPS 42164 HAS SOUS 20321 HAS SOUPS 20321 WITH SCORE 20363.164
AT ITER 594 NEW BEST:: SOT 66463 SOS 42158 HAS SOPS 42158 HAS SOUS 20315 HAS SOUPS 20315 WITH SCORE 20357.158
AT ITER 598 NEW BEST:: SOT 66432 SOS 42136 HAS SOPS 42136 HAS SOUS 20289 HAS SOUPS 20289 WITH SCORE 20331.136
AT ITER 624 NEW BEST:: SOT 66432 SOS 42442 HAS SOPS 42442 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20311.442
AT ITER 651 NEW BEST:: SOT 66432 SOS 42442 HAS SOPS 42442 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20307.442
AT ITER 656 NEW BEST:: SOT 66460 SOS 42447 HAS SOPS 42447 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20272.447
AT ITER 665 NEW BEST:: SOT 66448 SOS 42452 HAS SOPS 42452 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20253.452
AT ITER 699 NEW BEST:: SOT 66461 SOS 42465 HAS SOPS 42465 HAS SOUS 20203 HAS SOUPS 20203 WITH SCORE 20245.465
AT ITER 710 NEW BEST:: SOT 66395 SOS 42289 HAS SOPS 42289 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20231.289
AT ITER 776 NEW BEST:: SOT 66395 SOS 42281 HAS SOPS 42281 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20231.281
AT ITER 780 NEW BEST:: SOT 66325 SOS 42211 HAS SOPS 42211 HAS SOUS 20073 HAS SOUPS 20073 WITH SCORE 20115.211
AT ITER 785 NEW BEST:: SOT 66482 SOS 44083 HAS SOPS 44083 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20102.083
AT ITER 793 NEW BEST:: SOT 66482 SOS 43723 HAS SOPS 43723 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20098.723
AT ITER 794 NEW BEST:: SOT 66477 SOS 43718 HAS SOPS 43718 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20083.718
AT ITER 803 NEW BEST:: SOT 66471 SOS 43712 HAS SOPS 43712 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20083.712
AT ITER 811 NEW BEST:: SOT 66474 SOS 43715 HAS SOPS 43715 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20042.715
AT ITER 818 NEW BEST:: SOT 66474 SOS 43661 HAS SOPS 43661 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 20012.661
AT ITER 821 NEW BEST:: SOT 66358 SOS 43691 HAS SOPS 43691 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19992.691
AT ITER 836 NEW BEST:: SOT 66356 SOS 43687 HAS SOPS 43687 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19987.687
AT ITER 857 NEW BEST:: SOT 66356 SOS 43663 HAS SOPS 43663 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19985.663
AT ITER 878 NEW BEST:: SOT 66348 SOS 43655 HAS SOPS 43655 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19977.655
AT ITER 897 NEW BEST:: SOT 66348 SOS 43592 HAS SOPS 43592 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19930.592
AT ITER 905 NEW BEST:: SOT 66328 SOS 43572 HAS SOPS 43572 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19885.572
AT ITER 945 NEW BEST:: SOT 65989 SOS 43547 HAS SOPS 43547 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19885.547
AT ITER 976 NEW BEST:: SOT 65975 SOS 43533 HAS SOPS 43533 HAS SOUS 19828 HAS SOUPS 19828 WITH SCORE 19871.533
AT ITER 980 NEW BEST:: SOT 65974 SOS 43532 HAS SOPS 43532 HAS SOUS 19827 HAS SOUPS 19827 WITH SCORE 19870.532
AT ITER 988 NEW BEST:: SOT 65987 SOS 43807 HAS SOPS 43807 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19860.807
AT ITER 993 NEW BEST:: SOT 65987 SOS 43856 HAS SOPS 43856 HAS SOUS 19816 HAS SOUPS 19816 WITH SCORE 19859.856
AT ITER 1009 NEW BEST:: SOT 65987 SOS 43000 HAS SOPS 43000 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19852.0
AT ITER 1038 NEW BEST:: SOT 65909 SOS 42922 HAS SOPS 42922 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19744.922
AT ITER 1040 NEW BEST:: SOT 65917 SOS 43789 HAS SOPS 43789 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19663.789
AT ITER 1050 NEW BEST:: SOT 65902 SOS 43774 HAS SOPS 43774 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19654.774
AT ITER 1078 NEW BEST:: SOT 65924 SOS 43796 HAS SOPS 43796 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19584.796
AT ITER 1083 NEW BEST:: SOT 65924 SOS 43721 HAS SOPS 43721 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19561.721
AT ITER 1136 NEW BEST:: SOT 65916 SOS 43713 HAS SOPS 43713 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19537.713
AT ITER 1166 NEW BEST:: SOT 65914 SOS 43711 HAS SOPS 43711 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19535.711
AT ITER 1184 NEW BEST:: SOT 65910 SOS 43759 HAS SOPS 43759 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19526.759
AT ITER 1188 NEW BEST:: SOT 65890 SOS 43739 HAS SOPS 43739 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19472.739
AT ITER 1189 NEW BEST:: SOT 65890 SOS 43747 HAS SOPS 43747 HAS SOUS 19422 HAS SOUPS 19422 WITH SCORE 19465.747
AT ITER 1195 NEW BEST:: SOT 65890 SOS 43747 HAS SOPS 43747 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19449.747
AT ITER 1196 NEW BEST:: SOT 65882 SOS 43876 HAS SOPS 43876 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19389.876
AT ITER 1240 NEW BEST:: SOT 65882 SOS 43876 HAS SOPS 43876 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19384.876
AT ITER 1260 NEW BEST:: SOT 65850 SOS 43848 HAS SOPS 43848 HAS SOUS 19313 HAS SOUPS 19313 WITH SCORE 19356.848
AT ITER 1269 NEW BEST:: SOT 65850 SOS 43864 HAS SOPS 43864 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19323.864
AT ITER 1272 NEW BEST:: SOT 65858 SOS 43872 HAS SOPS 43872 HAS SOUS 19278 HAS SOUPS 19278 WITH SCORE 19321.872
AT ITER 1287 NEW BEST:: SOT 65734 SOS 43748 HAS SOPS 43748 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19293.748
AT ITER 1299 NEW BEST:: SOT 65691 SOS 43705 HAS SOPS 43705 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19264.705
AT ITER 1313 NEW BEST:: SOT 65659 SOS 43715 HAS SOPS 43715 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19250.715
AT ITER 1357 NEW BEST:: SOT 65662 SOS 43673 HAS SOPS 43673 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19250.673
AT ITER 1384 NEW BEST:: SOT 65662 SOS 43673 HAS SOPS 43673 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19246.673
AT ITER 1418 NEW BEST:: SOT 65691 SOS 43682 HAS SOPS 43682 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19225.682
AT ITER 1475 NEW BEST:: SOT 65701 SOS 43856 HAS SOPS 43856 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19212.856
AT ITER 1491 NEW BEST:: SOT 65701 SOS 43856 HAS SOPS 43856 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19181.856
AT ITER 1497 NEW BEST:: SOT 65237 SOS 41546 HAS SOPS 41546 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18879.546
AT ITER 1544 NEW BEST:: SOT 65227 SOS 41536 HAS SOPS 41536 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18876.536
AT ITER 1546 NEW BEST:: SOT 65274 SOS 41515 HAS SOPS 41515 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18862.515
AT ITER 1557 NEW BEST:: SOT 65214 SOS 41491 HAS SOPS 41491 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18852.491
AT ITER 1584 NEW BEST:: SOT 65214 SOS 44510 HAS SOPS 44510 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18601.51
AT ITER 1596 NEW BEST:: SOT 65231 SOS 44513 HAS SOPS 44513 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18565.513
AT ITER 1614 NEW BEST:: SOT 65191 SOS 44575 HAS SOPS 44575 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18489.575
AT ITER 1617 NEW BEST:: SOT 65191 SOS 44575 HAS SOPS 44575 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18487.575
AT ITER 1645 NEW BEST:: SOT 65179 SOS 44563 HAS SOPS 44563 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18459.563
AT ITER 1653 NEW BEST:: SOT 65179 SOS 43322 HAS SOPS 43322 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18447.322
AT ITER 1657 NEW BEST:: SOT 65117 SOS 43260 HAS SOPS 43260 HAS SOUS 18358 HAS SOUPS 18358 WITH SCORE 18401.26
AT ITER 1666 NEW BEST:: SOT 65081 SOS 43224 HAS SOPS 43224 HAS SOUS 18333 HAS SOUPS 18333 WITH SCORE 18376.224
AT ITER 1676 NEW BEST:: SOT 65081 SOS 43194 HAS SOPS 43194 HAS SOUS 18329 HAS SOUPS 18329 WITH SCORE 18372.194
AT ITER 1712 NEW BEST:: SOT 65081 SOS 43194 HAS SOPS 43194 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18366.194
AT ITER 1730 NEW BEST:: SOT 64881 SOS 42689 HAS SOPS 42689 HAS SOUS 18289 HAS SOUPS 18289 WITH SCORE 18331.689
AT ITER 1763 NEW BEST:: SOT 64880 SOS 42688 HAS SOPS 42688 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18330.688
AT ITER 1780 NEW BEST:: SOT 64884 SOS 42692 HAS SOPS 42692 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18329.692
AT ITER 1785 NEW BEST:: SOT 64877 SOS 42685 HAS SOPS 42685 HAS SOUS 18280 HAS SOUPS 18280 WITH SCORE 18322.685
AT ITER 1822 NEW BEST:: SOT 64877 SOS 42685 HAS SOPS 42685 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18306.685
AT ITER 1841 NEW BEST:: SOT 64865 SOS 42673 HAS SOPS 42673 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18279.673
AT ITER 1856 NEW BEST:: SOT 64865 SOS 43731 HAS SOPS 43731 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18262.731
AT ITER 1888 NEW BEST:: SOT 64865 SOS 43731 HAS SOPS 43731 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18258.731
AT ITER 1916 NEW BEST:: SOT 64865 SOS 43267 HAS SOPS 43267 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18251.267
AT ITER 1971 NEW BEST:: SOT 64848 SOS 43023 HAS SOPS 43023 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18238.023
AT ITER 2002 NEW BEST:: SOT 64848 SOS 43068 HAS SOPS 43068 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18234.068
AT ITER 2010 NEW BEST:: SOT 64851 SOS 43071 HAS SOPS 43071 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18233.071
AT ITER 2044 NEW BEST:: SOT 64844 SOS 43063 HAS SOPS 43063 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18225.063
AT ITER 2081 NEW BEST:: SOT 64658 SOS 42877 HAS SOPS 42877 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18224.877
AT ITER 2143 NEW BEST:: SOT 64654 SOS 42873 HAS SOPS 42873 HAS SOUS 18178 HAS SOUPS 18178 WITH SCORE 18220.873
AT ITER 2160 NEW BEST:: SOT 64619 SOS 42838 HAS SOPS 42838 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18176.838
AT ITER 2168 NEW BEST:: SOT 64555 SOS 42827 HAS SOPS 42827 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18109.827
AT ITER 2190 NEW BEST:: SOT 64543 SOS 42802 HAS SOPS 42802 HAS SOUS 18048 HAS SOUPS 18048 WITH SCORE 18090.802
AT ITER 2230 NEW BEST:: SOT 64527 SOS 42786 HAS SOPS 42786 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18074.786
AT ITER 2240 NEW BEST:: SOT 64520 SOS 42779 HAS SOPS 42779 HAS SOUS 18025 HAS SOUPS 18025 WITH SCORE 18067.779
AT ITER 2257 NEW BEST:: SOT 64520 SOS 42727 HAS SOPS 42727 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18064.727
AT ITER 2377 NEW BEST:: SOT 64513 SOS 42720 HAS SOPS 42720 HAS SOUS 18017 HAS SOUPS 18017 WITH SCORE 18059.72
AT ITER 2403 NEW BEST:: SOT 64417 SOS 42615 HAS SOPS 42615 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17993.615
AT ITER 2434 NEW BEST:: SOT 64417 SOS 42551 HAS SOPS 42551 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17993.551
AT ITER 2550 NEW BEST:: SOT 64357 SOS 42491 HAS SOPS 42491 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17989.491
AT ITER 2568 NEW BEST:: SOT 64357 SOS 42446 HAS SOPS 42446 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17984.446
AT ITER 2608 NEW BEST:: SOT 64354 SOS 42458 HAS SOPS 42458 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17973.458
AT ITER 2635 NEW BEST:: SOT 64350 SOS 42454 HAS SOPS 42454 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17953.454
AT ITER 2727 NEW BEST:: SOT 64348 SOS 42452 HAS SOPS 42452 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17931.452
AT ITER 2729 NEW BEST:: SOT 64346 SOS 42440 HAS SOPS 42440 HAS SOUS 17886 HAS SOUPS 17886 WITH SCORE 17928.44
AT ITER 2794 NEW BEST:: SOT 64346 SOS 42440 HAS SOPS 42440 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17919.44
AT ITER 2834 NEW BEST:: SOT 64350 SOS 42516 HAS SOPS 42516 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17902.516
AT ITER 2920 NEW BEST:: SOT 64350 SOS 42324 HAS SOPS 42324 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17902.324
AT ITER 2928 NEW BEST:: SOT 64344 SOS 42318 HAS SOPS 42318 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17886.318
AT ITER 2949 NEW BEST:: SOT 64332 SOS 42308 HAS SOPS 42308 HAS SOUS 17834 HAS SOUPS 17834 WITH SCORE 17876.308
AT ITER 2967 NEW BEST:: SOT 64340 SOS 42316 HAS SOPS 42316 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17870.316
AT ITER 2970 NEW BEST:: SOT 64346 SOS 42538 HAS SOPS 42538 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17864.538
AT ITER 3015 NEW BEST:: SOT 64340 SOS 42532 HAS SOPS 42532 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17864.532
AT ITER 3066 NEW BEST:: SOT 64244 SOS 42436 HAS SOPS 42436 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17750.436
AT ITER 3089 NEW BEST:: SOT 64244 SOS 42427 HAS SOPS 42427 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17732.427
AT ITER 3092 NEW BEST:: SOT 64244 SOS 42231 HAS SOPS 42231 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17732.231
AT ITER 3159 NEW BEST:: SOT 64240 SOS 42217 HAS SOPS 42217 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17728.217
AT ITER 3225 NEW BEST:: SOT 64214 SOS 41785 HAS SOPS 41785 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17670.785
AT ITER 3263 NEW BEST:: SOT 64084 SOS 41550 HAS SOPS 41550 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17660.55
AT ITER 3266 NEW BEST:: SOT 64076 SOS 41542 HAS SOPS 41542 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17652.542
AT ITER 3269 NEW BEST:: SOT 64078 SOS 41531 HAS SOPS 41531 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17651.531
AT ITER 3284 NEW BEST:: SOT 64076 SOS 41529 HAS SOPS 41529 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17649.529
AT ITER 3325 NEW BEST:: SOT 64076 SOS 41527 HAS SOPS 41527 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17621.527
AT ITER 3338 NEW BEST:: SOT 64066 SOS 41513 HAS SOPS 41513 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17613.513
AT ITER 3362 NEW BEST:: SOT 64031 SOS 41478 HAS SOPS 41478 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17601.478
AT ITER 3373 NEW BEST:: SOT 64031 SOS 41198 HAS SOPS 41198 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17601.198
AT ITER 3397 NEW BEST:: SOT 63993 SOS 41148 HAS SOPS 41148 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17567.148
AT ITER 3402 NEW BEST:: SOT 63995 SOS 41704 HAS SOPS 41704 HAS SOUS 17503 HAS SOUPS 17503 WITH SCORE 17544.704
AT ITER 3454 NEW BEST:: SOT 63991 SOS 41700 HAS SOPS 41700 HAS SOUS 17503 HAS SOUPS 17503 WITH SCORE 17544.7
AT ITER 3486 NEW BEST:: SOT 63925 SOS 41775 HAS SOPS 41775 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17524.775
AT ITER 3514 NEW BEST:: SOT 63924 SOS 41774 HAS SOPS 41774 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17513.774
AT ITER 3547 NEW BEST:: SOT 63887 SOS 41737 HAS SOPS 41737 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17496.737
AT ITER 3600 NEW BEST:: SOT 63881 SOS 41731 HAS SOPS 41731 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17486.731
AT ITER 3603 NEW BEST:: SOT 63844 SOS 41694 HAS SOPS 41694 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17425.694
AT ITER 3609 NEW BEST:: SOT 63852 SOS 41705 HAS SOPS 41705 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17424.705
AT ITER 3630 NEW BEST:: SOT 63757 SOS 41610 HAS SOPS 41610 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17407.61
AT ITER 3631 NEW BEST:: SOT 63722 SOS 41567 HAS SOPS 41567 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17298.567
AT ITER 3642 NEW BEST:: SOT 63746 SOS 41576 HAS SOPS 41576 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17282.576
AT ITER 3700 NEW BEST:: SOT 63742 SOS 41572 HAS SOPS 41572 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17280.572
AT ITER 3703 NEW BEST:: SOT 63742 SOS 41572 HAS SOPS 41572 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17267.572
AT ITER 3790 NEW BEST:: SOT 63742 SOS 41564 HAS SOPS 41564 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17265.564
AT ITER 3792 NEW BEST:: SOT 63733 SOS 41540 HAS SOPS 41540 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17195.54
AT ITER 3826 NEW BEST:: SOT 63729 SOS 41538 HAS SOPS 41538 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17191.538
AT ITER 3913 NEW BEST:: SOT 63727 SOS 41536 HAS SOPS 41536 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17177.536
AT ITER 3939 NEW BEST:: SOT 63727 SOS 41664 HAS SOPS 41664 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17175.664
AT ITER 3960 NEW BEST:: SOT 63725 SOS 41654 HAS SOPS 41654 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17175.654
AT ITER 3965 NEW BEST:: SOT 63741 SOS 41590 HAS SOPS 41590 HAS SOUS 17102 HAS SOUPS 17102 WITH SCORE 17143.59
AT ITER 3977 NEW BEST:: SOT 63733 SOS 41582 HAS SOPS 41582 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17127.582
AT ITER 3989 NEW BEST:: SOT 63713 SOS 41562 HAS SOPS 41562 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17107.562
AT ITER 3991 NEW BEST:: SOT 63708 SOS 41557 HAS SOPS 41557 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17096.557
AT ITER 4011 NEW BEST:: SOT 63674 SOS 41523 HAS SOPS 41523 HAS SOUS 17029 HAS SOUPS 17029 WITH SCORE 17070.523
AT ITER 4088 NEW BEST:: SOT 63674 SOS 41523 HAS SOPS 41523 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17060.523
AT ITER 4102 NEW BEST:: SOT 63674 SOS 41559 HAS SOPS 41559 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 17006.559
AT ITER 4106 NEW BEST:: SOT 63670 SOS 41555 HAS SOPS 41555 HAS SOUS 16945 HAS SOUPS 16945 WITH SCORE 16986.555
AT ITER 4114 NEW BEST:: SOT 63670 SOS 41555 HAS SOPS 41555 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16985.555
AT ITER 4154 NEW BEST:: SOT 63668 SOS 41552 HAS SOPS 41552 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16984.552
AT ITER 4164 NEW BEST:: SOT 63668 SOS 41552 HAS SOPS 41552 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16976.552
AT ITER 4172 NEW BEST:: SOT 63668 SOS 41552 HAS SOPS 41552 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16948.552
AT ITER 4250 NEW BEST:: SOT 63704 SOS 41588 HAS SOPS 41588 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16919.588
AT ITER 4295 NEW BEST:: SOT 63614 SOS 41492 HAS SOPS 41492 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16837.492
AT ITER 4311 NEW BEST:: SOT 63524 SOS 41402 HAS SOPS 41402 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16741.402
AT ITER 4375 NEW BEST:: SOT 63516 SOS 41401 HAS SOPS 41401 HAS SOUS 16695 HAS SOUPS 16695 WITH SCORE 16736.401
AT ITER 4394 NEW BEST:: SOT 63514 SOS 41399 HAS SOPS 41399 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16707.399
AT ITER 4418 NEW BEST:: SOT 63514 SOS 41414 HAS SOPS 41414 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16706.414
AT ITER 4430 NEW BEST:: SOT 63506 SOS 41406 HAS SOPS 41406 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16698.406
AT ITER 4456 NEW BEST:: SOT 63503 SOS 41403 HAS SOPS 41403 HAS SOUS 16655 HAS SOUPS 16655 WITH SCORE 16696.403
AT ITER 4483 NEW BEST:: SOT 63439 SOS 41339 HAS SOPS 41339 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16683.339
AT ITER 4508 NEW BEST:: SOT 63437 SOS 41337 HAS SOPS 41337 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16681.337
AT ITER 4511 NEW BEST:: SOT 63453 SOS 41353 HAS SOPS 41353 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16679.353
AT ITER 4599 NEW BEST:: SOT 63447 SOS 41347 HAS SOPS 41347 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16665.347
AT ITER 4603 NEW BEST:: SOT 63439 SOS 41339 HAS SOPS 41339 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16660.339
AT ITER 4626 NEW BEST:: SOT 63400 SOS 41300 HAS SOPS 41300 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16603.3
AT ITER 4827 NEW BEST:: SOT 63384 SOS 41284 HAS SOPS 41284 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16587.284
AT ITER 4870 NEW BEST:: SOT 63368 SOS 41268 HAS SOPS 41268 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16571.268
AT ITER 4886 NEW BEST:: SOT 63368 SOS 41220 HAS SOPS 41220 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16571.22
AT ITER 4945 NEW BEST:: SOT 63306 SOS 41158 HAS SOPS 41158 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16491.158
AT ITER 4966 NEW BEST:: SOT 63258 SOS 41110 HAS SOPS 41110 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16444.11
AT ITER 4986 NEW BEST:: SOT 63252 SOS 41105 HAS SOPS 41105 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16439.105
AT ITER 5052 NEW BEST:: SOT 63259 SOS 41112 HAS SOPS 41112 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16438.112
AT ITER 5119 NEW BEST:: SOT 63280 SOS 41113 HAS SOPS 41113 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16423.113
AT ITER 5127 NEW BEST:: SOT 63276 SOS 41109 HAS SOPS 41109 HAS SOUS 16370 HAS SOUPS 16370 WITH SCORE 16411.109
AT ITER 5265 NEW BEST:: SOT 63272 SOS 41105 HAS SOPS 41105 HAS SOUS 16366 HAS SOUPS 16366 WITH SCORE 16407.105
AT ITER 5337 NEW BEST:: SOT 63272 SOS 41089 HAS SOPS 41089 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16405.089
AT ITER 5420 NEW BEST:: SOT 63268 SOS 41087 HAS SOPS 41087 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16401.087
AT ITER 5606 NEW BEST:: SOT 63268 SOS 41087 HAS SOPS 41087 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16393.087
AT ITER 5664 NEW BEST:: SOT 63232 SOS 41207 HAS SOPS 41207 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16383.207
AT ITER 5690 NEW BEST:: SOT 63232 SOS 41199 HAS SOPS 41199 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16383.199
AT ITER 5809 NEW BEST:: SOT 63238 SOS 41205 HAS SOPS 41205 HAS SOUS 16337 HAS SOUPS 16337 WITH SCORE 16378.205
AT ITER 5816 NEW BEST:: SOT 63224 SOS 41191 HAS SOPS 41191 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16364.191
AT ITER 5823 NEW BEST:: SOT 63234 SOS 41201 HAS SOPS 41201 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16354.201
AT ITER 5865 NEW BEST:: SOT 63219 SOS 41186 HAS SOPS 41186 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16330.186
AT ITER 5910 NEW BEST:: SOT 63209 SOS 41176 HAS SOPS 41176 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16330.176
AT ITER 5942 NEW BEST:: SOT 63209 SOS 41178 HAS SOPS 41178 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16320.178
AT ITER 5953 NEW BEST:: SOT 63209 SOS 40858 HAS SOPS 40858 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16319.858
AT ITER 6096 NEW BEST:: SOT 63209 SOS 40858 HAS SOPS 40858 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16308.858
AT ITER 6129 NEW BEST:: SOT 63209 SOS 40858 HAS SOPS 40858 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16307.858
AT ITER 6163 NEW BEST:: SOT 63209 SOS 40873 HAS SOPS 40873 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16304.873
AT ITER 6190 NEW BEST:: SOT 63209 SOS 40873 HAS SOPS 40873 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16288.873
AT ITER 6206 NEW BEST:: SOT 63177 SOS 40841 HAS SOPS 40841 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16232.841
AT ITER 6210 NEW BEST:: SOT 63171 SOS 40835 HAS SOPS 40835 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16217.835
AT ITER 6293 NEW BEST:: SOT 63167 SOS 40831 HAS SOPS 40831 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16207.831
AT ITER 6399 NEW BEST:: SOT 63132 SOS 40796 HAS SOPS 40796 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16173.796
AT ITER 6504 NEW BEST:: SOT 63100 SOS 40764 HAS SOPS 40764 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16156.764
AT ITER 6509 NEW BEST:: SOT 63102 SOS 40726 HAS SOPS 40726 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16140.726
AT ITER 6583 NEW BEST:: SOT 63094 SOS 40718 HAS SOPS 40718 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16129.718
AT ITER 6620 NEW BEST:: SOT 63046 SOS 40671 HAS SOPS 40671 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16111.671
AT ITER 6679 NEW BEST:: SOT 63050 SOS 40676 HAS SOPS 40676 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16110.676
AT ITER 6758 NEW BEST:: SOT 63046 SOS 40672 HAS SOPS 40672 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16100.672
AT ITER 6895 NEW BEST:: SOT 63030 SOS 40654 HAS SOPS 40654 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16083.654
AT ITER 6931 NEW BEST:: SOT 63026 SOS 40650 HAS SOPS 40650 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16083.65
AT ITER 7007 NEW BEST:: SOT 63024 SOS 40648 HAS SOPS 40648 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16057.648
AT ITER 7068 NEW BEST:: SOT 63002 SOS 40626 HAS SOPS 40626 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16019.626
AT ITER 7112 NEW BEST:: SOT 63002 SOS 40626 HAS SOPS 40626 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 16004.626
AT ITER 7467 NEW BEST:: SOT 62994 SOS 40618 HAS SOPS 40618 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15992.618
AT ITER 7508 NEW BEST:: SOT 62994 SOS 40506 HAS SOPS 40506 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15992.506
AT ITER 7523 NEW BEST:: SOT 62986 SOS 40501 HAS SOPS 40501 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15992.501
AT ITER 7662 NEW BEST:: SOT 62987 SOS 40502 HAS SOPS 40502 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15987.502
AT ITER 7689 NEW BEST:: SOT 62983 SOS 40472 HAS SOPS 40472 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15985.472
AT ITER 7770 NEW BEST:: SOT 62983 SOS 40408 HAS SOPS 40408 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15985.408
AT ITER 7933 NEW BEST:: SOT 62959 SOS 40384 HAS SOPS 40384 HAS SOUS 15925 HAS SOUPS 15925 WITH SCORE 15965.384
AT ITER 7985 NEW BEST:: SOT 62958 SOS 40383 HAS SOPS 40383 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15960.383
AT ITER 8009 NEW BEST:: SOT 62928 SOS 40353 HAS SOPS 40353 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15960.353
AT ITER 8142 NEW BEST:: SOT 62928 SOS 40313 HAS SOPS 40313 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15960.313
AT ITER 8422 NEW BEST:: SOT 62914 SOS 40286 HAS SOPS 40286 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15950.286
AT ITER 8428 NEW BEST:: SOT 62914 SOS 40286 HAS SOPS 40286 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15940.286
AT ITER 8781 NEW BEST:: SOT 62914 SOS 40285 HAS SOPS 40285 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15931.285
AT ITER 8866 NEW BEST:: SOT 62898 SOS 40287 HAS SOPS 40287 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15924.287
AT ITER 8924 NEW BEST:: SOT 62866 SOS 40255 HAS SOPS 40255 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15886.255
AT ITER 9019 NEW BEST:: SOT 62856 SOS 40245 HAS SOPS 40245 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15876.245
AT ITER 9049 NEW BEST:: SOT 62850 SOS 40239 HAS SOPS 40239 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15870.239
AT ITER 9113 NEW BEST:: SOT 62830 SOS 40219 HAS SOPS 40219 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15857.219
AT ITER 9407 NEW BEST:: SOT 62822 SOS 40210 HAS SOPS 40210 HAS SOUS 15808 HAS SOUPS 15808 WITH SCORE 15848.21
AT ITER 9476 NEW BEST:: SOT 62822 SOS 40274 HAS SOPS 40274 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15846.274
AT ITER 9847 NEW BEST:: SOT 62822 SOS 40274 HAS SOPS 40274 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15844.274
AT ITER 9870 NEW BEST:: SOT 62804 SOS 40256 HAS SOPS 40256 HAS SOUS 15788 HAS SOUPS 15788 WITH SCORE 15828.256
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 153080 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16275644 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="PermAdmissibility-COL-20"
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-20, 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-167863534600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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