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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 8.7K Feb 26 01:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 01:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 150K 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 5.0K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 01:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110K Feb 26 01:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 550K Feb 26 01:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 484K 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 1678801314237

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-PT-01
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), 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 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 1 NEW BEST:: SOT 73598 SOS 47698 HAS SOPS 47698 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29042.698
AT ITER 4 NEW BEST:: SOT 73350 SOS 47705 HAS SOPS 47705 HAS SOUS 28827 HAS SOUPS 28827 WITH SCORE 28874.705
AT ITER 6 NEW BEST:: SOT 73518 SOS 48523 HAS SOPS 48523 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28794.523
AT ITER 27 NEW BEST:: SOT 73472 SOS 48432 HAS SOPS 48432 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28736.432
AT ITER 33 NEW BEST:: SOT 73207 SOS 48433 HAS SOPS 48433 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28585.433
AT ITER 37 NEW BEST:: SOT 73207 SOS 49797 HAS SOPS 49797 HAS SOUS 28494 HAS SOUPS 28494 WITH SCORE 28543.797
AT ITER 45 NEW BEST:: SOT 72887 SOS 49488 HAS SOPS 49488 HAS SOUS 28092 HAS SOUPS 28092 WITH SCORE 28141.488
AT ITER 46 NEW BEST:: SOT 72722 SOS 49323 HAS SOPS 49323 HAS SOUS 27978 HAS SOUPS 27978 WITH SCORE 28027.323
AT ITER 64 NEW BEST:: SOT 72650 SOS 49251 HAS SOPS 49251 HAS SOUS 27914 HAS SOUPS 27914 WITH SCORE 27963.251
AT ITER 67 NEW BEST:: SOT 72386 SOS 49079 HAS SOPS 49079 HAS SOUS 27712 HAS SOUPS 27712 WITH SCORE 27761.079
AT ITER 69 NEW BEST:: SOT 72000 SOS 48769 HAS SOPS 48769 HAS SOUS 27223 HAS SOUPS 27223 WITH SCORE 27271.769
AT ITER 75 NEW BEST:: SOT 71744 SOS 49164 HAS SOPS 49164 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27265.164
AT ITER 76 NEW BEST:: SOT 71776 SOS 49507 HAS SOPS 49507 HAS SOUS 27185 HAS SOUPS 27185 WITH SCORE 27234.507
AT ITER 92 NEW BEST:: SOT 71746 SOS 49507 HAS SOPS 49507 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27084.507
AT ITER 93 NEW BEST:: SOT 71991 SOS 51692 HAS SOPS 51692 HAS SOUS 26967 HAS SOUPS 26967 WITH SCORE 27018.692
AT ITER 95 NEW BEST:: SOT 71823 SOS 51524 HAS SOPS 51524 HAS SOUS 26815 HAS SOUPS 26815 WITH SCORE 26866.524
AT ITER 104 NEW BEST:: SOT 71739 SOS 51443 HAS SOPS 51443 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26798.443
AT ITER 106 NEW BEST:: SOT 71739 SOS 51443 HAS SOPS 51443 HAS SOUS 26726 HAS SOUPS 26726 WITH SCORE 26777.443
AT ITER 110 NEW BEST:: SOT 71739 SOS 51346 HAS SOPS 51346 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26776.346
AT ITER 113 NEW BEST:: SOT 71772 SOS 51334 HAS SOPS 51334 HAS SOUS 26656 HAS SOUPS 26656 WITH SCORE 26707.334
AT ITER 116 NEW BEST:: SOT 71772 SOS 51334 HAS SOPS 51334 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26701.334
AT ITER 125 NEW BEST:: SOT 71772 SOS 53662 HAS SOPS 53662 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26557.662
AT ITER 127 NEW BEST:: SOT 71708 SOS 53562 HAS SOPS 53562 HAS SOUS 26471 HAS SOUPS 26471 WITH SCORE 26524.562
AT ITER 129 NEW BEST:: SOT 71708 SOS 53562 HAS SOPS 53562 HAS SOUS 26439 HAS SOUPS 26439 WITH SCORE 26492.562
AT ITER 135 NEW BEST:: SOT 71606 SOS 53484 HAS SOPS 53484 HAS SOUS 26402 HAS SOUPS 26402 WITH SCORE 26455.484
AT ITER 136 NEW BEST:: SOT 71613 SOS 53881 HAS SOPS 53881 HAS SOUS 26362 HAS SOUPS 26362 WITH SCORE 26415.881
AT ITER 143 NEW BEST:: SOT 71625 SOS 53893 HAS SOPS 53893 HAS SOUS 26330 HAS SOUPS 26330 WITH SCORE 26383.893
AT ITER 144 NEW BEST:: SOT 71625 SOS 53893 HAS SOPS 53893 HAS SOUS 26321 HAS SOUPS 26321 WITH SCORE 26374.893
AT ITER 146 NEW BEST:: SOT 71451 SOS 54012 HAS SOPS 54012 HAS SOUS 26279 HAS SOUPS 26279 WITH SCORE 26333.012
AT ITER 149 NEW BEST:: SOT 71073 SOS 53634 HAS SOPS 53634 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26163.634
AT ITER 151 NEW BEST:: SOT 71098 SOS 53659 HAS SOPS 53659 HAS SOUS 26106 HAS SOUPS 26106 WITH SCORE 26159.659
AT ITER 158 NEW BEST:: SOT 70958 SOS 53467 HAS SOPS 53467 HAS SOUS 25913 HAS SOUPS 25913 WITH SCORE 25966.467
AT ITER 163 NEW BEST:: SOT 70556 SOS 53131 HAS SOPS 53131 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25650.131
AT ITER 164 NEW BEST:: SOT 70354 SOS 53079 HAS SOPS 53079 HAS SOUS 25447 HAS SOUPS 25447 WITH SCORE 25500.079
AT ITER 167 NEW BEST:: SOT 70354 SOS 53112 HAS SOPS 53112 HAS SOUS 25435 HAS SOUPS 25435 WITH SCORE 25488.112
AT ITER 176 NEW BEST:: SOT 70100 SOS 52858 HAS SOPS 52858 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25029.858
AT ITER 177 NEW BEST:: SOT 70100 SOS 52858 HAS SOPS 52858 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24854.858
AT ITER 179 NEW BEST:: SOT 70026 SOS 52784 HAS SOPS 52784 HAS SOUS 24802 HAS SOUPS 24802 WITH SCORE 24854.784
AT ITER 184 NEW BEST:: SOT 69964 SOS 53022 HAS SOPS 53022 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24777.022
AT ITER 188 NEW BEST:: SOT 69964 SOS 54188 HAS SOPS 54188 HAS SOUS 24661 HAS SOUPS 24661 WITH SCORE 24715.188
AT ITER 190 NEW BEST:: SOT 69968 SOS 54162 HAS SOPS 54162 HAS SOUS 24657 HAS SOUPS 24657 WITH SCORE 24711.162
AT ITER 193 NEW BEST:: SOT 69576 SOS 54095 HAS SOPS 54095 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24255.095
AT ITER 219 NEW BEST:: SOT 69576 SOS 54618 HAS SOPS 54618 HAS SOUS 24155 HAS SOUPS 24155 WITH SCORE 24209.618
AT ITER 231 NEW BEST:: SOT 69209 SOS 54251 HAS SOPS 54251 HAS SOUS 23932 HAS SOUPS 23932 WITH SCORE 23986.251
AT ITER 245 NEW BEST:: SOT 69209 SOS 54251 HAS SOPS 54251 HAS SOUS 23927 HAS SOUPS 23927 WITH SCORE 23981.251
AT ITER 248 NEW BEST:: SOT 69184 SOS 54226 HAS SOPS 54226 HAS SOUS 23854 HAS SOUPS 23854 WITH SCORE 23908.226
AT ITER 256 NEW BEST:: SOT 69096 SOS 54138 HAS SOPS 54138 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23852.138
AT ITER 261 NEW BEST:: SOT 69089 SOS 54082 HAS SOPS 54082 HAS SOUS 23785 HAS SOUPS 23785 WITH SCORE 23839.082
AT ITER 278 NEW BEST:: SOT 69099 SOS 54462 HAS SOPS 54462 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23836.462
AT ITER 280 NEW BEST:: SOT 69099 SOS 54462 HAS SOPS 54462 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23766.462
AT ITER 287 NEW BEST:: SOT 68750 SOS 53889 HAS SOPS 53889 HAS SOUS 23365 HAS SOUPS 23365 WITH SCORE 23418.889
AT ITER 288 NEW BEST:: SOT 68652 SOS 53773 HAS SOPS 53773 HAS SOUS 23271 HAS SOUPS 23271 WITH SCORE 23324.773
AT ITER 290 NEW BEST:: SOT 68652 SOS 54097 HAS SOPS 54097 HAS SOUS 23149 HAS SOUPS 23149 WITH SCORE 23203.097
AT ITER 314 NEW BEST:: SOT 68518 SOS 54023 HAS SOPS 54023 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22961.023
AT ITER 325 NEW BEST:: SOT 68518 SOS 54023 HAS SOPS 54023 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22762.023
AT ITER 329 NEW BEST:: SOT 68510 SOS 54017 HAS SOPS 54017 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22745.017
AT ITER 338 NEW BEST:: SOT 68480 SOS 53987 HAS SOPS 53987 HAS SOUS 22653 HAS SOUPS 22653 WITH SCORE 22706.987
AT ITER 364 NEW BEST:: SOT 68508 SOS 54015 HAS SOPS 54015 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22630.015
AT ITER 378 NEW BEST:: SOT 68452 SOS 54168 HAS SOPS 54168 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22583.168
AT ITER 384 NEW BEST:: SOT 68450 SOS 54066 HAS SOPS 54066 HAS SOUS 22525 HAS SOUPS 22525 WITH SCORE 22579.066
AT ITER 387 NEW BEST:: SOT 68366 SOS 53996 HAS SOPS 53996 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22508.996
AT ITER 405 NEW BEST:: SOT 68326 SOS 53956 HAS SOPS 53956 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22420.956
AT ITER 412 NEW BEST:: SOT 68320 SOS 53950 HAS SOPS 53950 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22382.95
AT ITER 419 NEW BEST:: SOT 68281 SOS 53911 HAS SOPS 53911 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22367.911
AT ITER 428 NEW BEST:: SOT 68235 SOS 53890 HAS SOPS 53890 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22269.89
AT ITER 429 NEW BEST:: SOT 68193 SOS 53856 HAS SOPS 53856 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22233.856
AT ITER 434 NEW BEST:: SOT 68136 SOS 54036 HAS SOPS 54036 HAS SOUS 22053 HAS SOUPS 22053 WITH SCORE 22107.036
AT ITER 440 NEW BEST:: SOT 68131 SOS 54031 HAS SOPS 54031 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22050.031
AT ITER 465 NEW BEST:: SOT 68219 SOS 54391 HAS SOPS 54391 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21987.391
AT ITER 466 NEW BEST:: SOT 68183 SOS 54369 HAS SOPS 54369 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21958.369
AT ITER 484 NEW BEST:: SOT 68180 SOS 54366 HAS SOPS 54366 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21947.366
AT ITER 489 NEW BEST:: SOT 67945 SOS 54168 HAS SOPS 54168 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21838.168
AT ITER 490 NEW BEST:: SOT 67901 SOS 54124 HAS SOPS 54124 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21838.124
AT ITER 492 NEW BEST:: SOT 67919 SOS 54142 HAS SOPS 54142 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21818.142
AT ITER 504 NEW BEST:: SOT 67621 SOS 53979 HAS SOPS 53979 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21450.979
AT ITER 508 NEW BEST:: SOT 67621 SOS 54035 HAS SOPS 54035 HAS SOUS 21355 HAS SOUPS 21355 WITH SCORE 21409.035
AT ITER 516 NEW BEST:: SOT 67796 SOS 53814 HAS SOPS 53814 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21403.814
AT ITER 543 NEW BEST:: SOT 67760 SOS 53778 HAS SOPS 53778 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21367.778
AT ITER 582 NEW BEST:: SOT 67753 SOS 53771 HAS SOPS 53771 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21309.771
AT ITER 588 NEW BEST:: SOT 67753 SOS 53771 HAS SOPS 53771 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21298.771
AT ITER 598 NEW BEST:: SOT 67633 SOS 53651 HAS SOPS 53651 HAS SOUS 21166 HAS SOUPS 21166 WITH SCORE 21219.651
AT ITER 603 NEW BEST:: SOT 67625 SOS 53638 HAS SOPS 53638 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21206.638
AT ITER 617 NEW BEST:: SOT 67575 SOS 53588 HAS SOPS 53588 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21186.588
AT ITER 632 NEW BEST:: SOT 67575 SOS 53588 HAS SOPS 53588 HAS SOUS 21098 HAS SOUPS 21098 WITH SCORE 21151.588
AT ITER 652 NEW BEST:: SOT 67571 SOS 53584 HAS SOPS 53584 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21044.584
AT ITER 664 NEW BEST:: SOT 67569 SOS 53582 HAS SOPS 53582 HAS SOUS 20986 HAS SOUPS 20986 WITH SCORE 21039.582
AT ITER 671 NEW BEST:: SOT 67558 SOS 53652 HAS SOPS 53652 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20993.652
AT ITER 686 NEW BEST:: SOT 67586 SOS 53680 HAS SOPS 53680 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20992.68
AT ITER 689 NEW BEST:: SOT 67588 SOS 53697 HAS SOPS 53697 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20986.697
AT ITER 713 NEW BEST:: SOT 67588 SOS 53697 HAS SOPS 53697 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20950.697
AT ITER 718 NEW BEST:: SOT 67588 SOS 53697 HAS SOPS 53697 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20838.697
AT ITER 750 NEW BEST:: SOT 67595 SOS 53704 HAS SOPS 53704 HAS SOUS 20737 HAS SOUPS 20737 WITH SCORE 20790.704
AT ITER 762 NEW BEST:: SOT 67600 SOS 54429 HAS SOPS 54429 HAS SOUS 20714 HAS SOUPS 20714 WITH SCORE 20768.429
AT ITER 786 NEW BEST:: SOT 67486 SOS 54315 HAS SOPS 54315 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20690.315
AT ITER 787 NEW BEST:: SOT 67486 SOS 54315 HAS SOPS 54315 HAS SOUS 20630 HAS SOUPS 20630 WITH SCORE 20684.315
AT ITER 798 NEW BEST:: SOT 67460 SOS 54289 HAS SOPS 54289 HAS SOUS 20604 HAS SOUPS 20604 WITH SCORE 20658.289
AT ITER 803 NEW BEST:: SOT 67436 SOS 54265 HAS SOPS 54265 HAS SOUS 20592 HAS SOUPS 20592 WITH SCORE 20646.265
AT ITER 837 NEW BEST:: SOT 67418 SOS 54247 HAS SOPS 54247 HAS SOUS 20481 HAS SOUPS 20481 WITH SCORE 20535.247
AT ITER 840 NEW BEST:: SOT 67418 SOS 54148 HAS SOPS 54148 HAS SOUS 20445 HAS SOUPS 20445 WITH SCORE 20499.148
AT ITER 892 NEW BEST:: SOT 67402 SOS 54100 HAS SOPS 54100 HAS SOUS 20443 HAS SOUPS 20443 WITH SCORE 20497.1
AT ITER 920 NEW BEST:: SOT 67402 SOS 54100 HAS SOPS 54100 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20472.1
AT ITER 921 NEW BEST:: SOT 67386 SOS 54084 HAS SOPS 54084 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20452.084
AT ITER 922 NEW BEST:: SOT 67386 SOS 54084 HAS SOPS 54084 HAS SOUS 20380 HAS SOUPS 20380 WITH SCORE 20434.084
AT ITER 923 NEW BEST:: SOT 67448 SOS 53949 HAS SOPS 53949 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20412.949
AT ITER 929 NEW BEST:: SOT 67448 SOS 53949 HAS SOPS 53949 HAS SOUS 20357 HAS SOUPS 20357 WITH SCORE 20410.949
AT ITER 944 NEW BEST:: SOT 67344 SOS 53872 HAS SOPS 53872 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20323.872
AT ITER 950 NEW BEST:: SOT 67306 SOS 53834 HAS SOPS 53834 HAS SOUS 20256 HAS SOUPS 20256 WITH SCORE 20309.834
AT ITER 974 NEW BEST:: SOT 67352 SOS 53853 HAS SOPS 53853 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20289.853
AT ITER 982 NEW BEST:: SOT 67316 SOS 53817 HAS SOPS 53817 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20210.817
AT ITER 983 NEW BEST:: SOT 67351 SOS 53897 HAS SOPS 53897 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20196.897
AT ITER 988 NEW BEST:: SOT 67154 SOS 53700 HAS SOPS 53700 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20092.7
AT ITER 996 NEW BEST:: SOT 67077 SOS 53644 HAS SOPS 53644 HAS SOUS 19973 HAS SOUPS 19973 WITH SCORE 20026.644
AT ITER 1000 NEW BEST:: SOT 67062 SOS 53629 HAS SOPS 53629 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19987.629
AT ITER 1086 NEW BEST:: SOT 67070 SOS 53637 HAS SOPS 53637 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19985.637
AT ITER 1088 NEW BEST:: SOT 67088 SOS 53655 HAS SOPS 53655 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19984.655
AT ITER 1144 NEW BEST:: SOT 67088 SOS 53655 HAS SOPS 53655 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19970.655
AT ITER 1180 NEW BEST:: SOT 67088 SOS 53659 HAS SOPS 53659 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19964.659
AT ITER 1207 NEW BEST:: SOT 66986 SOS 53553 HAS SOPS 53553 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19858.553
AT ITER 1211 NEW BEST:: SOT 66986 SOS 53892 HAS SOPS 53892 HAS SOUS 19739 HAS SOUPS 19739 WITH SCORE 19792.892
AT ITER 1219 NEW BEST:: SOT 66898 SOS 53804 HAS SOPS 53804 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19720.804
AT ITER 1232 NEW BEST:: SOT 66899 SOS 53805 HAS SOPS 53805 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19714.805
AT ITER 1276 NEW BEST:: SOT 66899 SOS 53860 HAS SOPS 53860 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19682.86
AT ITER 1291 NEW BEST:: SOT 66899 SOS 53806 HAS SOPS 53806 HAS SOUS 19618 HAS SOUPS 19618 WITH SCORE 19671.806
AT ITER 1293 NEW BEST:: SOT 66859 SOS 53766 HAS SOPS 53766 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19670.766
AT ITER 1294 NEW BEST:: SOT 66859 SOS 53766 HAS SOPS 53766 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19662.766
AT ITER 1296 NEW BEST:: SOT 66843 SOS 53750 HAS SOPS 53750 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19647.75
AT ITER 1311 NEW BEST:: SOT 66843 SOS 52790 HAS SOPS 52790 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19646.79
AT ITER 1326 NEW BEST:: SOT 66843 SOS 52800 HAS SOPS 52800 HAS SOUS 19564 HAS SOUPS 19564 WITH SCORE 19616.8
AT ITER 1328 NEW BEST:: SOT 66927 SOS 52884 HAS SOPS 52884 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19557.884
AT ITER 1360 NEW BEST:: SOT 66927 SOS 52884 HAS SOPS 52884 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19541.884
AT ITER 1362 NEW BEST:: SOT 66927 SOS 52884 HAS SOPS 52884 HAS SOUS 19485 HAS SOUPS 19485 WITH SCORE 19537.884
AT ITER 1363 NEW BEST:: SOT 66927 SOS 52884 HAS SOPS 52884 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19496.884
AT ITER 1364 NEW BEST:: SOT 66923 SOS 52880 HAS SOPS 52880 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19484.88
AT ITER 1404 NEW BEST:: SOT 66998 SOS 52955 HAS SOPS 52955 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19461.955
AT ITER 1439 NEW BEST:: SOT 66966 SOS 52923 HAS SOPS 52923 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19397.923
AT ITER 1452 NEW BEST:: SOT 66978 SOS 52935 HAS SOPS 52935 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19374.935
AT ITER 1458 NEW BEST:: SOT 66974 SOS 52931 HAS SOPS 52931 HAS SOUS 19310 HAS SOUPS 19310 WITH SCORE 19362.931
AT ITER 1465 NEW BEST:: SOT 66974 SOS 52931 HAS SOPS 52931 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19272.931
AT ITER 1467 NEW BEST:: SOT 66948 SOS 52905 HAS SOPS 52905 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19190.905
AT ITER 1476 NEW BEST:: SOT 67048 SOS 53921 HAS SOPS 53921 HAS SOUS 19120 HAS SOUPS 19120 WITH SCORE 19173.921
AT ITER 1499 NEW BEST:: SOT 67053 SOS 53926 HAS SOPS 53926 HAS SOUS 19046 HAS SOUPS 19046 WITH SCORE 19099.926
AT ITER 1502 NEW BEST:: SOT 67022 SOS 53895 HAS SOPS 53895 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19057.895
AT ITER 1504 NEW BEST:: SOT 67016 SOS 53889 HAS SOPS 53889 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19043.889
AT ITER 1505 NEW BEST:: SOT 67016 SOS 53889 HAS SOPS 53889 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 18994.889
AT ITER 1519 NEW BEST:: SOT 66855 SOS 53728 HAS SOPS 53728 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18913.728
AT ITER 1558 NEW BEST:: SOT 66843 SOS 53716 HAS SOPS 53716 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18913.716
AT ITER 1571 NEW BEST:: SOT 66835 SOS 53708 HAS SOPS 53708 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18911.708
AT ITER 1607 NEW BEST:: SOT 66835 SOS 53704 HAS SOPS 53704 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18895.704
AT ITER 1611 NEW BEST:: SOT 66842 SOS 55196 HAS SOPS 55196 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18852.196
AT ITER 1618 NEW BEST:: SOT 66847 SOS 56022 HAS SOPS 56022 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18830.022
AT ITER 1640 NEW BEST:: SOT 66847 SOS 55462 HAS SOPS 55462 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18829.462
AT ITER 1660 NEW BEST:: SOT 66845 SOS 55458 HAS SOPS 55458 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18815.458
AT ITER 1693 NEW BEST:: SOT 66785 SOS 55398 HAS SOPS 55398 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18791.398
AT ITER 1698 NEW BEST:: SOT 66531 SOS 55144 HAS SOPS 55144 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18706.144
AT ITER 1705 NEW BEST:: SOT 66519 SOS 55133 HAS SOPS 55133 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18700.133
AT ITER 1746 NEW BEST:: SOT 66519 SOS 53969 HAS SOPS 53969 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18698.969
AT ITER 1763 NEW BEST:: SOT 66588 SOS 54038 HAS SOPS 54038 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18694.038
AT ITER 1771 NEW BEST:: SOT 66574 SOS 54024 HAS SOPS 54024 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18691.024
AT ITER 1775 NEW BEST:: SOT 66574 SOS 54024 HAS SOPS 54024 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18679.024
AT ITER 1785 NEW BEST:: SOT 66570 SOS 54020 HAS SOPS 54020 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18675.02
AT ITER 1792 NEW BEST:: SOT 66566 SOS 54016 HAS SOPS 54016 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18639.016
AT ITER 1804 NEW BEST:: SOT 66566 SOS 54016 HAS SOPS 54016 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18631.016
AT ITER 1810 NEW BEST:: SOT 66566 SOS 54016 HAS SOPS 54016 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18614.016
AT ITER 1825 NEW BEST:: SOT 66558 SOS 54008 HAS SOPS 54008 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18600.008
AT ITER 1832 NEW BEST:: SOT 66558 SOS 53984 HAS SOPS 53984 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18599.984
AT ITER 1894 NEW BEST:: SOT 66556 SOS 53982 HAS SOPS 53982 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18561.982
AT ITER 1900 NEW BEST:: SOT 66560 SOS 54002 HAS SOPS 54002 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18527.002
AT ITER 1911 NEW BEST:: SOT 66560 SOS 54006 HAS SOPS 54006 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18521.006
AT ITER 1916 NEW BEST:: SOT 66477 SOS 53347 HAS SOPS 53347 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18495.347
AT ITER 1928 NEW BEST:: SOT 66438 SOS 53308 HAS SOPS 53308 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18445.308
AT ITER 1968 NEW BEST:: SOT 66374 SOS 53244 HAS SOPS 53244 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18418.244
AT ITER 2011 NEW BEST:: SOT 66386 SOS 53256 HAS SOPS 53256 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18363.256
AT ITER 2038 NEW BEST:: SOT 66386 SOS 53256 HAS SOPS 53256 HAS SOUS 18306 HAS SOUPS 18306 WITH SCORE 18359.256
AT ITER 2040 NEW BEST:: SOT 66266 SOS 53136 HAS SOPS 53136 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18259.136
AT ITER 2084 NEW BEST:: SOT 66266 SOS 53341 HAS SOPS 53341 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18254.341
AT ITER 2108 NEW BEST:: SOT 66266 SOS 53341 HAS SOPS 53341 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18248.341
AT ITER 2146 NEW BEST:: SOT 66252 SOS 53327 HAS SOPS 53327 HAS SOUS 18183 HAS SOUPS 18183 WITH SCORE 18236.327
AT ITER 2172 NEW BEST:: SOT 66250 SOS 53325 HAS SOPS 53325 HAS SOUS 18157 HAS SOUPS 18157 WITH SCORE 18210.325
AT ITER 2174 NEW BEST:: SOT 66250 SOS 53335 HAS SOPS 53335 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18174.335
AT ITER 2177 NEW BEST:: SOT 66162 SOS 53247 HAS SOPS 53247 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18064.247
AT ITER 2246 NEW BEST:: SOT 66127 SOS 53212 HAS SOPS 53212 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18039.212
AT ITER 2268 NEW BEST:: SOT 66127 SOS 53212 HAS SOPS 53212 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18032.212
AT ITER 2280 NEW BEST:: SOT 66127 SOS 53180 HAS SOPS 53180 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18032.18
AT ITER 2302 NEW BEST:: SOT 66119 SOS 53172 HAS SOPS 53172 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 18020.172
AT ITER 2310 NEW BEST:: SOT 66088 SOS 53141 HAS SOPS 53141 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 18007.141
AT ITER 2318 NEW BEST:: SOT 66098 SOS 53151 HAS SOPS 53151 HAS SOUS 17940 HAS SOUPS 17940 WITH SCORE 17993.151
AT ITER 2351 NEW BEST:: SOT 66098 SOS 53490 HAS SOPS 53490 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17991.49
AT ITER 2395 NEW BEST:: SOT 66098 SOS 53637 HAS SOPS 53637 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17965.637
AT ITER 2411 NEW BEST:: SOT 66076 SOS 53615 HAS SOPS 53615 HAS SOUS 17852 HAS SOUPS 17852 WITH SCORE 17905.615
AT ITER 2417 NEW BEST:: SOT 66081 SOS 53620 HAS SOPS 53620 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17900.62
AT ITER 2439 NEW BEST:: SOT 66077 SOS 53616 HAS SOPS 53616 HAS SOUS 17816 HAS SOUPS 17816 WITH SCORE 17869.616
AT ITER 2453 NEW BEST:: SOT 65943 SOS 53482 HAS SOPS 53482 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17854.482
AT ITER 2476 NEW BEST:: SOT 65917 SOS 53456 HAS SOPS 53456 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17849.456
AT ITER 2493 NEW BEST:: SOT 65871 SOS 53410 HAS SOPS 53410 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17741.41
AT ITER 2572 NEW BEST:: SOT 65871 SOS 53714 HAS SOPS 53714 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17728.714
AT ITER 2574 NEW BEST:: SOT 65869 SOS 53712 HAS SOPS 53712 HAS SOUS 17665 HAS SOUPS 17665 WITH SCORE 17718.712
AT ITER 2582 NEW BEST:: SOT 65843 SOS 53686 HAS SOPS 53686 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17660.686
AT ITER 2608 NEW BEST:: SOT 65843 SOS 53686 HAS SOPS 53686 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17572.686
AT ITER 2696 NEW BEST:: SOT 65843 SOS 53686 HAS SOPS 53686 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17551.686
AT ITER 2753 NEW BEST:: SOT 65839 SOS 53584 HAS SOPS 53584 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17551.584
AT ITER 2754 NEW BEST:: SOT 65839 SOS 53578 HAS SOPS 53578 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17548.578
AT ITER 2779 NEW BEST:: SOT 65839 SOS 53570 HAS SOPS 53570 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17548.57
AT ITER 2789 NEW BEST:: SOT 65839 SOS 53570 HAS SOPS 53570 HAS SOUS 17486 HAS SOUPS 17486 WITH SCORE 17539.57
AT ITER 2979 NEW BEST:: SOT 65831 SOS 53562 HAS SOPS 53562 HAS SOUS 17477 HAS SOUPS 17477 WITH SCORE 17530.562
AT ITER 2988 NEW BEST:: SOT 65798 SOS 53530 HAS SOPS 53530 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17497.53
AT ITER 2997 NEW BEST:: SOT 65798 SOS 53402 HAS SOPS 53402 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17481.402
AT ITER 3004 NEW BEST:: SOT 65798 SOS 53402 HAS SOPS 53402 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17467.402
AT ITER 3006 NEW BEST:: SOT 65795 SOS 53401 HAS SOPS 53401 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17465.401
AT ITER 3033 NEW BEST:: SOT 65791 SOS 53397 HAS SOPS 53397 HAS SOUS 17405 HAS SOUPS 17405 WITH SCORE 17458.397
AT ITER 3072 NEW BEST:: SOT 65708 SOS 53314 HAS SOPS 53314 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17363.314
AT ITER 3093 NEW BEST:: SOT 65708 SOS 52514 HAS SOPS 52514 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17362.514
AT ITER 3114 NEW BEST:: SOT 65708 SOS 52370 HAS SOPS 52370 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17362.37
AT ITER 3159 NEW BEST:: SOT 65708 SOS 52322 HAS SOPS 52322 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17362.322
AT ITER 3166 NEW BEST:: SOT 65708 SOS 51034 HAS SOPS 51034 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17350.034
AT ITER 3230 NEW BEST:: SOT 65708 SOS 50546 HAS SOPS 50546 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17349.546
AT ITER 3298 NEW BEST:: SOT 65713 SOS 50218 HAS SOPS 50218 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17284.218
AT ITER 3307 NEW BEST:: SOT 65713 SOS 49066 HAS SOPS 49066 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17273.066
AT ITER 3332 NEW BEST:: SOT 65713 SOS 49052 HAS SOPS 49052 HAS SOUS 17201 HAS SOUPS 17201 WITH SCORE 17250.052
AT ITER 3342 NEW BEST:: SOT 65718 SOS 49060 HAS SOPS 49060 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17244.06
AT ITER 3384 NEW BEST:: SOT 65716 SOS 49058 HAS SOPS 49058 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17240.058
AT ITER 3408 NEW BEST:: SOT 65692 SOS 49034 HAS SOPS 49034 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17232.034
AT ITER 3422 NEW BEST:: SOT 65692 SOS 49034 HAS SOPS 49034 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17197.034
AT ITER 3431 NEW BEST:: SOT 65676 SOS 49018 HAS SOPS 49018 HAS SOUS 17140 HAS SOUPS 17140 WITH SCORE 17189.018
AT ITER 3436 NEW BEST:: SOT 65683 SOS 49356 HAS SOPS 49356 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17186.356
AT ITER 3449 NEW BEST:: SOT 65687 SOS 49360 HAS SOPS 49360 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17184.36
AT ITER 3481 NEW BEST:: SOT 65637 SOS 49309 HAS SOPS 49309 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17149.309
AT ITER 3611 NEW BEST:: SOT 65621 SOS 49306 HAS SOPS 49306 HAS SOUS 17091 HAS SOUPS 17091 WITH SCORE 17140.306
AT ITER 3664 NEW BEST:: SOT 65621 SOS 50146 HAS SOPS 50146 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17140.146
AT ITER 3738 NEW BEST:: SOT 65621 SOS 50418 HAS SOPS 50418 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17029.418
AT ITER 3779 NEW BEST:: SOT 65621 SOS 50530 HAS SOPS 50530 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 17007.53
AT ITER 3880 NEW BEST:: SOT 65617 SOS 50526 HAS SOPS 50526 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 17003.526
AT ITER 3909 NEW BEST:: SOT 65591 SOS 50500 HAS SOPS 50500 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16945.5
AT ITER 4038 NEW BEST:: SOT 65591 SOS 50498 HAS SOPS 50498 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16944.498
AT ITER 4179 NEW BEST:: SOT 65589 SOS 50494 HAS SOPS 50494 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16940.494
AT ITER 4219 NEW BEST:: SOT 65589 SOS 50478 HAS SOPS 50478 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16940.478
AT ITER 4245 NEW BEST:: SOT 65583 SOS 50472 HAS SOPS 50472 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16934.472
AT ITER 4249 NEW BEST:: SOT 65583 SOS 50896 HAS SOPS 50896 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16928.896
AT ITER 4297 NEW BEST:: SOT 65681 SOS 50994 HAS SOPS 50994 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16872.994
AT ITER 4306 NEW BEST:: SOT 65668 SOS 50989 HAS SOPS 50989 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16869.989
AT ITER 4333 NEW BEST:: SOT 65668 SOS 50989 HAS SOPS 50989 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16863.989
AT ITER 4399 NEW BEST:: SOT 65640 SOS 50960 HAS SOPS 50960 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16836.96
AT ITER 4437 NEW BEST:: SOT 65640 SOS 50944 HAS SOPS 50944 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16836.944
AT ITER 4438 NEW BEST:: SOT 65691 SOS 50995 HAS SOPS 50995 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16818.995
AT ITER 4445 NEW BEST:: SOT 65647 SOS 50949 HAS SOPS 50949 HAS SOUS 16721 HAS SOUPS 16721 WITH SCORE 16771.949
AT ITER 4542 NEW BEST:: SOT 65651 SOS 50953 HAS SOPS 50953 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16769.953
AT ITER 4570 NEW BEST:: SOT 65651 SOS 50921 HAS SOPS 50921 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16769.921
AT ITER 4605 NEW BEST:: SOT 65651 SOS 50913 HAS SOPS 50913 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16769.913
AT ITER 4630 NEW BEST:: SOT 65651 SOS 50897 HAS SOPS 50897 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16769.897
AT ITER 4652 NEW BEST:: SOT 65643 SOS 50889 HAS SOPS 50889 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16761.889
AT ITER 4715 NEW BEST:: SOT 65643 SOS 50865 HAS SOPS 50865 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16761.865
AT ITER 4808 NEW BEST:: SOT 65641 SOS 50859 HAS SOPS 50859 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16758.859
AT ITER 4817 NEW BEST:: SOT 65653 SOS 50871 HAS SOPS 50871 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16741.871
AT ITER 4901 NEW BEST:: SOT 65653 SOS 50847 HAS SOPS 50847 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16738.847
AT ITER 4948 NEW BEST:: SOT 65653 SOS 50847 HAS SOPS 50847 HAS SOUS 16649 HAS SOUPS 16649 WITH SCORE 16699.847
AT ITER 4949 NEW BEST:: SOT 65639 SOS 50838 HAS SOPS 50838 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16673.838
AT ITER 4984 NEW BEST:: SOT 65549 SOS 50740 HAS SOPS 50740 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16573.74
AT ITER 5041 NEW BEST:: SOT 65549 SOS 50516 HAS SOPS 50516 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16573.516
AT ITER 5064 NEW BEST:: SOT 65543 SOS 50514 HAS SOPS 50514 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16569.514
AT ITER 5194 NEW BEST:: SOT 65543 SOS 51155 HAS SOPS 51155 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16547.155
AT ITER 5257 NEW BEST:: SOT 65539 SOS 51151 HAS SOPS 51151 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16536.151
AT ITER 5262 NEW BEST:: SOT 65531 SOS 51143 HAS SOPS 51143 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16526.143
AT ITER 5271 NEW BEST:: SOT 65523 SOS 51135 HAS SOPS 51135 HAS SOUS 16467 HAS SOUPS 16467 WITH SCORE 16518.135
AT ITER 5274 NEW BEST:: SOT 65481 SOS 51093 HAS SOPS 51093 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16452.093
AT ITER 5279 NEW BEST:: SOT 65467 SOS 51079 HAS SOPS 51079 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16422.079
AT ITER 5285 NEW BEST:: SOT 65451 SOS 51063 HAS SOPS 51063 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16416.063
AT ITER 5357 NEW BEST:: SOT 65451 SOS 51047 HAS SOPS 51047 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16416.047
AT ITER 5508 NEW BEST:: SOT 65499 SOS 51095 HAS SOPS 51095 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16393.095
AT ITER 5553 NEW BEST:: SOT 65499 SOS 51095 HAS SOPS 51095 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16381.095
AT ITER 5586 NEW BEST:: SOT 65487 SOS 51083 HAS SOPS 51083 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16375.083
AT ITER 5603 NEW BEST:: SOT 65489 SOS 51085 HAS SOPS 51085 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16365.085
AT ITER 5634 NEW BEST:: SOT 65489 SOS 51085 HAS SOPS 51085 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16353.085
AT ITER 5669 NEW BEST:: SOT 65487 SOS 51083 HAS SOPS 51083 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16351.083
AT ITER 5672 NEW BEST:: SOT 65487 SOS 51081 HAS SOPS 51081 HAS SOUS 16297 HAS SOUPS 16297 WITH SCORE 16348.081
AT ITER 5705 NEW BEST:: SOT 65503 SOS 51097 HAS SOPS 51097 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16293.097
AT ITER 5739 NEW BEST:: SOT 65497 SOS 51091 HAS SOPS 51091 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16287.091
AT ITER 5741 NEW BEST:: SOT 65459 SOS 51035 HAS SOPS 51035 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16250.035
AT ITER 5771 NEW BEST:: SOT 65455 SOS 51031 HAS SOPS 51031 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16246.031
AT ITER 5775 NEW BEST:: SOT 65439 SOS 51015 HAS SOPS 51015 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16232.015
AT ITER 5835 NEW BEST:: SOT 65491 SOS 51067 HAS SOPS 51067 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16213.067
AT ITER 5918 NEW BEST:: SOT 65483 SOS 51061 HAS SOPS 51061 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16205.061
AT ITER 6006 NEW BEST:: SOT 65481 SOS 51059 HAS SOPS 51059 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16205.059
AT ITER 6023 NEW BEST:: SOT 65481 SOS 51059 HAS SOPS 51059 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16203.059
AT ITER 6024 NEW BEST:: SOT 65481 SOS 51059 HAS SOPS 51059 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16187.059
AT ITER 6079 NEW BEST:: SOT 65433 SOS 51009 HAS SOPS 51009 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16137.009
AT ITER 6143 NEW BEST:: SOT 65427 SOS 51007 HAS SOPS 51007 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16133.007
AT ITER 6146 NEW BEST:: SOT 65427 SOS 50991 HAS SOPS 50991 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16132.991
AT ITER 6151 NEW BEST:: SOT 65427 SOS 50927 HAS SOPS 50927 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16131.927
AT ITER 6153 NEW BEST:: SOT 65409 SOS 50910 HAS SOPS 50910 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16121.91
AT ITER 6155 NEW BEST:: SOT 65412 SOS 50913 HAS SOPS 50913 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16120.913
AT ITER 6168 NEW BEST:: SOT 65390 SOS 50891 HAS SOPS 50891 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16094.891
AT ITER 6197 NEW BEST:: SOT 65390 SOS 50835 HAS SOPS 50835 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16094.835
AT ITER 6304 NEW BEST:: SOT 65390 SOS 50835 HAS SOPS 50835 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16080.835
AT ITER 6370 NEW BEST:: SOT 65417 SOS 50862 HAS SOPS 50862 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16058.862
AT ITER 6380 NEW BEST:: SOT 65421 SOS 50866 HAS SOPS 50866 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16056.866
AT ITER 6409 NEW BEST:: SOT 65421 SOS 50850 HAS SOPS 50850 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16056.85
AT ITER 6452 NEW BEST:: SOT 65413 SOS 50842 HAS SOPS 50842 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16040.842
AT ITER 6463 NEW BEST:: SOT 65405 SOS 50834 HAS SOPS 50834 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16039.834
AT ITER 6471 NEW BEST:: SOT 65405 SOS 50834 HAS SOPS 50834 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 16025.834
AT ITER 6482 NEW BEST:: SOT 65405 SOS 50835 HAS SOPS 50835 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16024.835
AT ITER 6669 NEW BEST:: SOT 65405 SOS 50675 HAS SOPS 50675 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 16022.675
AT ITER 6675 NEW BEST:: SOT 65405 SOS 50674 HAS SOPS 50674 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 16021.674
AT ITER 6691 NEW BEST:: SOT 65395 SOS 50664 HAS SOPS 50664 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 16015.664
AT ITER 6694 NEW BEST:: SOT 65395 SOS 50256 HAS SOPS 50256 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 16009.256
AT ITER 6737 NEW BEST:: SOT 65379 SOS 50240 HAS SOPS 50240 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 16009.24
AT ITER 6783 NEW BEST:: SOT 65371 SOS 50232 HAS SOPS 50232 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 16007.232
AT ITER 6944 NEW BEST:: SOT 65367 SOS 50228 HAS SOPS 50228 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15998.228
AT ITER 6967 NEW BEST:: SOT 65367 SOS 50132 HAS SOPS 50132 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15998.132
AT ITER 7030 NEW BEST:: SOT 65353 SOS 50118 HAS SOPS 50118 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15984.118
AT ITER 7065 NEW BEST:: SOT 65356 SOS 50121 HAS SOPS 50121 HAS SOUS 15927 HAS SOUPS 15927 WITH SCORE 15977.121
AT ITER 7169 NEW BEST:: SOT 65356 SOS 50122 HAS SOPS 50122 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15976.122
AT ITER 7173 NEW BEST:: SOT 65356 SOS 50122 HAS SOPS 50122 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15969.122
AT ITER 7398 NEW BEST:: SOT 65344 SOS 50110 HAS SOPS 50110 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15957.11
AT ITER 7405 NEW BEST:: SOT 65336 SOS 50102 HAS SOPS 50102 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15957.102
AT ITER 7423 NEW BEST:: SOT 65374 SOS 50316 HAS SOPS 50316 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15949.316
AT ITER 7522 NEW BEST:: SOT 65373 SOS 50315 HAS SOPS 50315 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15948.315
AT ITER 7628 NEW BEST:: SOT 65373 SOS 50315 HAS SOPS 50315 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15906.315
AT ITER 7673 NEW BEST:: SOT 65377 SOS 50319 HAS SOPS 50319 HAS SOUS 15854 HAS SOUPS 15854 WITH SCORE 15904.319
AT ITER 7692 NEW BEST:: SOT 65378 SOS 50324 HAS SOPS 50324 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15898.324
AT ITER 7751 NEW BEST:: SOT 65378 SOS 50308 HAS SOPS 50308 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15898.308
AT ITER 7768 NEW BEST:: SOT 65381 SOS 50311 HAS SOPS 50311 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15897.311
AT ITER 7815 NEW BEST:: SOT 65377 SOS 50308 HAS SOPS 50308 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15895.308
AT ITER 8141 NEW BEST:: SOT 65377 SOS 49860 HAS SOPS 49860 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15892.86
AT ITER 8238 NEW BEST:: SOT 65377 SOS 49660 HAS SOPS 49660 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15891.66
AT ITER 8562 NEW BEST:: SOT 65363 SOS 49646 HAS SOPS 49646 HAS SOUS 15812 HAS SOUPS 15812 WITH SCORE 15861.646
AT ITER 8683 NEW BEST:: SOT 65365 SOS 49648 HAS SOPS 49648 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15859.648
AT ITER 8688 NEW BEST:: SOT 65381 SOS 49728 HAS SOPS 49728 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15855.728
AT ITER 8729 NEW BEST:: SOT 65377 SOS 49724 HAS SOPS 49724 HAS SOUS 15802 HAS SOUPS 15802 WITH SCORE 15851.724
AT ITER 8732 NEW BEST:: SOT 65365 SOS 49713 HAS SOPS 49713 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15840.713
AT ITER 8816 NEW BEST:: SOT 65428 SOS 49776 HAS SOPS 49776 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15826.776
AT ITER 8875 NEW BEST:: SOT 65420 SOS 49768 HAS SOPS 49768 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15826.768
AT ITER 8953 NEW BEST:: SOT 65420 SOS 49768 HAS SOPS 49768 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15814.768
AT ITER 8961 NEW BEST:: SOT 65410 SOS 49758 HAS SOPS 49758 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15798.758
AT ITER 8963 NEW BEST:: SOT 65404 SOS 49752 HAS SOPS 49752 HAS SOUS 15745 HAS SOUPS 15745 WITH SCORE 15794.752
AT ITER 9103 NEW BEST:: SOT 65354 SOS 49702 HAS SOPS 49702 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15683.702
AT ITER 9172 NEW BEST:: SOT 65342 SOS 49690 HAS SOPS 49690 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15661.69
AT ITER 9367 NEW BEST:: SOT 65356 SOS 49704 HAS SOPS 49704 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15654.704
AT ITER 9450 NEW BEST:: SOT 65348 SOS 49696 HAS SOPS 49696 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15646.696
AT ITER 9503 NEW BEST:: SOT 65348 SOS 49672 HAS SOPS 49672 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15646.672
AT ITER 9720 NEW BEST:: SOT 65348 SOS 49672 HAS SOPS 49672 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15643.672
AT ITER 9751 NEW BEST:: SOT 65357 SOS 49681 HAS SOPS 49681 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15636.681
AT ITER 9782 NEW BEST:: SOT 65302 SOS 49620 HAS SOPS 49620 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15587.62
AT ITER 9785 NEW BEST:: SOT 65297 SOS 49615 HAS SOPS 49615 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15586.615
AT ITER 9790 NEW BEST:: SOT 65297 SOS 49591 HAS SOPS 49591 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15586.591
AT ITER 9994 NEW BEST:: SOT 65297 SOS 49559 HAS SOPS 49559 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15586.559
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 1678801397293

--------------------
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-PT-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-PT-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-167863534600512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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