Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979700448.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SieveSingleMsgMbox-PT-d1m96, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 7.5K Feb 26 10:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 10:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 10:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 10:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K 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 1679387848510

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SieveSingleMsgMbox-PT-d1m96
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:37:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:37:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:37:30] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-21 08:37:30] [INFO ] Transformed 1295 places.
[2023-03-21 08:37:30] [INFO ] Transformed 749 transitions.
[2023-03-21 08:37:30] [INFO ] Parsed PT model containing 1295 places and 749 transitions and 2996 arcs in 166 ms.
[2023-03-21 08:37:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1295 places, 749 transitions and 2996 arcs took 9 ms.
Total runtime 216 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m96
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191495 SOS 166175 HAS SOPS 166175 HAS SOUS 145713 HAS SOUPS 145713 WITH SCORE 145879.175
AT ITER 7 NEW BEST:: SOT 192307 SOS 166117 HAS SOPS 166117 HAS SOUS 145662 HAS SOUPS 145662 WITH SCORE 145828.117
AT ITER 33 NEW BEST:: SOT 192307 SOS 165845 HAS SOPS 165845 HAS SOUS 144795 HAS SOUPS 144795 WITH SCORE 144960.845
AT ITER 54 NEW BEST:: SOT 192307 SOS 165961 HAS SOPS 165961 HAS SOUS 144741 HAS SOUPS 144741 WITH SCORE 144906.961
AT ITER 76 NEW BEST:: SOT 192307 SOS 165998 HAS SOPS 165998 HAS SOUS 144732 HAS SOUPS 144732 WITH SCORE 144897.998
AT ITER 97 NEW BEST:: SOT 192354 SOS 165959 HAS SOPS 165959 HAS SOUS 144687 HAS SOUPS 144687 WITH SCORE 144852.959
AT ITER 134 NEW BEST:: SOT 192354 SOS 165669 HAS SOPS 165669 HAS SOUS 144612 HAS SOUPS 144612 WITH SCORE 144777.669
AT ITER 182 NEW BEST:: SOT 192354 SOS 165696 HAS SOPS 165696 HAS SOUS 143438 HAS SOUPS 143438 WITH SCORE 143603.696
AT ITER 202 NEW BEST:: SOT 192354 SOS 165696 HAS SOPS 165696 HAS SOUS 143434 HAS SOUPS 143434 WITH SCORE 143599.696
AT ITER 215 NEW BEST:: SOT 192354 SOS 164975 HAS SOPS 164975 HAS SOUS 141123 HAS SOUPS 141123 WITH SCORE 141287.975
AT ITER 250 NEW BEST:: SOT 192354 SOS 164974 HAS SOPS 164974 HAS SOUS 139209 HAS SOUPS 139209 WITH SCORE 139373.974
AT ITER 293 NEW BEST:: SOT 197429 SOS 168698 HAS SOPS 168698 HAS SOUS 137455 HAS SOUPS 137455 WITH SCORE 137623.698
AT ITER 315 NEW BEST:: SOT 197789 SOS 168550 HAS SOPS 168502 HAS SOUS 134263 HAS SOUPS 134239 WITH SCORE 134407.55
AT ITER 316 NEW BEST:: SOT 197789 SOS 167570 HAS SOPS 167522 HAS SOUS 129539 HAS SOUPS 129515 WITH SCORE 129682.57
AT ITER 327 NEW BEST:: SOT 199756 SOS 168910 HAS SOPS 168701 HAS SOUS 128186 HAS SOUPS 128053 WITH SCORE 128221.91
AT ITER 350 NEW BEST:: SOT 199756 SOS 168938 HAS SOPS 168729 HAS SOUS 127922 HAS SOUPS 127789 WITH SCORE 127957.938
AT ITER 396 NEW BEST:: SOT 199756 SOS 168909 HAS SOPS 168700 HAS SOUS 127099 HAS SOUPS 126966 WITH SCORE 127134.909
AT ITER 402 NEW BEST:: SOT 199756 SOS 168828 HAS SOPS 168619 HAS SOUS 126771 HAS SOUPS 126638 WITH SCORE 126806.828
AT ITER 454 NEW BEST:: SOT 199756 SOS 167738 HAS SOPS 167529 HAS SOUS 124630 HAS SOUPS 124497 WITH SCORE 124664.738
AT ITER 495 NEW BEST:: SOT 202143 SOS 169417 HAS SOPS 169019 HAS SOUS 122055 HAS SOUPS 121894 WITH SCORE 122063.417
AT ITER 519 NEW BEST:: SOT 205121 SOS 171312 HAS SOPS 170719 HAS SOUS 119293 HAS SOUPS 119126 WITH SCORE 119297.312
AT ITER 587 NEW BEST:: SOT 205121 SOS 171094 HAS SOPS 170501 HAS SOUS 119265 HAS SOUPS 119098 WITH SCORE 119269.094
AT ITER 607 NEW BEST:: SOT 207433 SOS 172300 HAS SOPS 171549 HAS SOUS 116242 HAS SOUPS 116075 WITH SCORE 116247.3
AT ITER 646 NEW BEST:: SOT 207433 SOS 172208 HAS SOPS 171457 HAS SOUS 116242 HAS SOUPS 116075 WITH SCORE 116247.208
AT ITER 654 NEW BEST:: SOT 210609 SOS 172870 HAS SOPS 171583 HAS SOUS 111408 HAS SOUPS 111241 WITH SCORE 111413.87
AT ITER 660 NEW BEST:: SOT 212037 SOS 173714 HAS SOPS 172191 HAS SOUS 109389 HAS SOUPS 109222 WITH SCORE 109395.714
AT ITER 730 NEW BEST:: SOT 212513 SOS 173200 HAS SOPS 171577 HAS SOUS 106569 HAS SOUPS 106402 WITH SCORE 106575.2
AT ITER 737 NEW BEST:: SOT 212728 SOS 173415 HAS SOPS 171792 HAS SOUS 106333 HAS SOUPS 106166 WITH SCORE 106339.415
AT ITER 750 NEW BEST:: SOT 212754 SOS 172826 HAS SOPS 171203 HAS SOUS 106194 HAS SOUPS 106027 WITH SCORE 106199.826
AT ITER 754 NEW BEST:: SOT 212754 SOS 172790 HAS SOPS 171167 HAS SOUS 106158 HAS SOUPS 105991 WITH SCORE 106163.79
AT ITER 808 NEW BEST:: SOT 214398 SOS 173312 HAS SOPS 171274 HAS SOUS 103626 HAS SOUPS 103459 WITH SCORE 103632.312
AT ITER 859 NEW BEST:: SOT 215085 SOS 172866 HAS SOPS 170635 HAS SOUS 100879 HAS SOUPS 100712 WITH SCORE 100884.866
AT ITER 904 NEW BEST:: SOT 215460 SOS 172114 HAS SOPS 169762 HAS SOUS 98167 HAS SOUPS 98000 WITH SCORE 98172.114
AT ITER 936 NEW BEST:: SOT 215875 SOS 172529 HAS SOPS 170177 HAS SOUS 97921 HAS SOUPS 97754 WITH SCORE 97926.529
AT ITER 937 NEW BEST:: SOT 215868 SOS 172344 HAS SOPS 169992 HAS SOUS 97435 HAS SOUPS 97268 WITH SCORE 97440.344
AT ITER 955 NEW BEST:: SOT 215868 SOS 172220 HAS SOPS 169868 HAS SOUS 97134 HAS SOUPS 96967 WITH SCORE 97139.22
AT ITER 1039 NEW BEST:: SOT 218985 SOS 174181 HAS SOPS 171427 HAS SOUS 94961 HAS SOUPS 94786 WITH SCORE 94960.181
AT ITER 1051 NEW BEST:: SOT 218985 SOS 174113 HAS SOPS 171359 HAS SOUS 94960 HAS SOUPS 94785 WITH SCORE 94959.113
AT ITER 1057 NEW BEST:: SOT 221779 SOS 176558 HAS SOPS 173402 HAS SOUS 94047 HAS SOUPS 93872 WITH SCORE 94048.558
AT ITER 1070 NEW BEST:: SOT 221859 SOS 176251 HAS SOPS 173095 HAS SOUS 94007 HAS SOUPS 93832 WITH SCORE 94008.251
AT ITER 1122 NEW BEST:: SOT 221859 SOS 176370 HAS SOPS 173214 HAS SOUS 93938 HAS SOUPS 93763 WITH SCORE 93939.37
AT ITER 1185 NEW BEST:: SOT 221921 SOS 175872 HAS SOPS 172706 HAS SOUS 93560 HAS SOUPS 93385 WITH SCORE 93560.872
AT ITER 1213 NEW BEST:: SOT 225276 SOS 178064 HAS SOPS 174496 HAS SOUS 90974 HAS SOUPS 90799 WITH SCORE 90977.064
AT ITER 1242 NEW BEST:: SOT 227490 SOS 176485 HAS SOPS 171883 HAS SOUS 87576 HAS SOUPS 87401 WITH SCORE 87577.485
AT ITER 1251 NEW BEST:: SOT 228110 SOS 176980 HAS SOPS 172134 HAS SOUS 87222 HAS SOUPS 87047 WITH SCORE 87223.98
AT ITER 1265 NEW BEST:: SOT 227069 SOS 175939 HAS SOPS 171859 HAS SOUS 85987 HAS SOUPS 85859 WITH SCORE 86034.939
AT ITER 1266 NEW BEST:: SOT 227188 SOS 175724 HAS SOPS 171628 HAS SOUS 85307 HAS SOUPS 85179 WITH SCORE 85354.724
AT ITER 1271 NEW BEST:: SOT 227188 SOS 175724 HAS SOPS 171628 HAS SOUS 85306 HAS SOUPS 85178 WITH SCORE 85353.724
AT ITER 1351 NEW BEST:: SOT 227211 SOS 175450 HAS SOPS 171331 HAS SOUS 84954 HAS SOUPS 84826 WITH SCORE 85001.45
AT ITER 1368 NEW BEST:: SOT 229492 SOS 176773 HAS SOPS 172279 HAS SOUS 82996 HAS SOUPS 82868 WITH SCORE 83044.773
AT ITER 1383 NEW BEST:: SOT 229492 SOS 176725 HAS SOPS 172231 HAS SOUS 82888 HAS SOUPS 82760 WITH SCORE 82936.725
AT ITER 1397 NEW BEST:: SOT 229492 SOS 176549 HAS SOPS 172055 HAS SOUS 82778 HAS SOUPS 82650 WITH SCORE 82826.549
AT ITER 1404 NEW BEST:: SOT 229492 SOS 176434 HAS SOPS 171940 HAS SOUS 82334 HAS SOUPS 82206 WITH SCORE 82382.434
AT ITER 1415 NEW BEST:: SOT 229492 SOS 172918 HAS SOPS 168424 HAS SOUS 80067 HAS SOUPS 79939 WITH SCORE 80111.918
AT ITER 1436 NEW BEST:: SOT 229492 SOS 169244 HAS SOPS 164750 HAS SOUS 77618 HAS SOUPS 77490 WITH SCORE 77659.244
AT ITER 1440 NEW BEST:: SOT 229536 SOS 167595 HAS SOPS 163081 HAS SOUS 75601 HAS SOUPS 75473 WITH SCORE 75640.595
AT ITER 1487 NEW BEST:: SOT 229536 SOS 167259 HAS SOPS 162745 HAS SOUS 75391 HAS SOUPS 75263 WITH SCORE 75430.259
AT ITER 1515 NEW BEST:: SOT 229550 SOS 167129 HAS SOPS 162615 HAS SOUS 75133 HAS SOUPS 75005 WITH SCORE 75172.129
AT ITER 1522 NEW BEST:: SOT 229615 SOS 166732 HAS SOPS 162218 HAS SOUS 74900 HAS SOUPS 74772 WITH SCORE 74938.732
AT ITER 1534 NEW BEST:: SOT 229731 SOS 166284 HAS SOPS 161770 HAS SOUS 74460 HAS SOUPS 74332 WITH SCORE 74498.284
AT ITER 1537 NEW BEST:: SOT 229731 SOS 166159 HAS SOPS 161645 HAS SOUS 74335 HAS SOUPS 74207 WITH SCORE 74373.159
AT ITER 1655 NEW BEST:: SOT 229731 SOS 166155 HAS SOPS 161641 HAS SOUS 74324 HAS SOUPS 74196 WITH SCORE 74362.155
AT ITER 1676 NEW BEST:: SOT 229731 SOS 164024 HAS SOPS 159510 HAS SOUS 73164 HAS SOUPS 73036 WITH SCORE 73200.024
AT ITER 1684 NEW BEST:: SOT 229731 SOS 163928 HAS SOPS 159414 HAS SOUS 73100 HAS SOUPS 72972 WITH SCORE 73135.928
AT ITER 1685 NEW BEST:: SOT 230618 SOS 163005 HAS SOPS 158210 HAS SOUS 71165 HAS SOUPS 71037 WITH SCORE 71200.005
AT ITER 1690 NEW BEST:: SOT 230817 SOS 163024 HAS SOPS 158219 HAS SOUS 71024 HAS SOUPS 70896 WITH SCORE 71059.024
AT ITER 1700 NEW BEST:: SOT 230817 SOS 162982 HAS SOPS 158177 HAS SOUS 70929 HAS SOUPS 70801 WITH SCORE 70963.982
AT ITER 1795 NEW BEST:: SOT 230817 SOS 158764 HAS SOPS 153959 HAS SOUS 68571 HAS SOUPS 68443 WITH SCORE 68601.764
AT ITER 1816 NEW BEST:: SOT 230904 SOS 158851 HAS SOPS 154046 HAS SOUS 68569 HAS SOUPS 68441 WITH SCORE 68599.851
AT ITER 1830 NEW BEST:: SOT 231069 SOS 156949 HAS SOPS 152069 HAS SOUS 66864 HAS SOUPS 66736 WITH SCORE 66892.949
AT ITER 1859 NEW BEST:: SOT 231069 SOS 156592 HAS SOPS 151712 HAS SOUS 66693 HAS SOUPS 66565 WITH SCORE 66721.592
AT ITER 1870 NEW BEST:: SOT 235206 SOS 156208 HAS SOPS 149433 HAS SOUS 66044 HAS SOUPS 65836 WITH SCORE 65992.208
AT ITER 1882 NEW BEST:: SOT 235206 SOS 156168 HAS SOPS 149393 HAS SOUS 66004 HAS SOUPS 65796 WITH SCORE 65952.168
AT ITER 1889 NEW BEST:: SOT 235194 SOS 156156 HAS SOPS 149387 HAS SOUS 65995 HAS SOUPS 65787 WITH SCORE 65943.156
AT ITER 1944 NEW BEST:: SOT 236094 SOS 157056 HAS SOPS 150227 HAS SOUS 65935 HAS SOUPS 65727 WITH SCORE 65884.056
AT ITER 1958 NEW BEST:: SOT 236094 SOS 156736 HAS SOPS 149907 HAS SOUS 65812 HAS SOUPS 65604 WITH SCORE 65760.736
AT ITER 1964 NEW BEST:: SOT 236094 SOS 156533 HAS SOPS 149704 HAS SOUS 65725 HAS SOUPS 65517 WITH SCORE 65673.533
AT ITER 1996 NEW BEST:: SOT 237894 SOS 156477 HAS SOPS 149128 HAS SOUS 64291 HAS SOUPS 64083 WITH SCORE 64239.477
AT ITER 2018 NEW BEST:: SOT 237233 SOS 155816 HAS SOPS 149024 HAS SOUS 64291 HAS SOUPS 64083 WITH SCORE 64238.816
AT ITER 2019 NEW BEST:: SOT 237464 SOS 155940 HAS SOPS 149148 HAS SOUS 64230 HAS SOUPS 64022 WITH SCORE 64177.94
AT ITER 2075 NEW BEST:: SOT 237464 SOS 155820 HAS SOPS 149028 HAS SOUS 64208 HAS SOUPS 64000 WITH SCORE 64155.82
AT ITER 2128 NEW BEST:: SOT 237464 SOS 155315 HAS SOPS 148523 HAS SOUS 64208 HAS SOUPS 64000 WITH SCORE 64155.315
AT ITER 2129 NEW BEST:: SOT 234848 SOS 152699 HAS SOPS 147799 HAS SOUS 63408 HAS SOUPS 63280 WITH SCORE 63432.699
AT ITER 2153 NEW BEST:: SOT 236131 SOS 153982 HAS SOPS 148797 HAS SOUS 63310 HAS SOUPS 63182 WITH SCORE 63335.982
AT ITER 2201 NEW BEST:: SOT 236439 SOS 153504 HAS SOPS 148193 HAS SOUS 63122 HAS SOUPS 62994 WITH SCORE 63147.504
AT ITER 2209 NEW BEST:: SOT 235851 SOS 152916 HAS SOPS 147605 HAS SOUS 62534 HAS SOUPS 62406 WITH SCORE 62558.916
AT ITER 2242 NEW BEST:: SOT 235851 SOS 152344 HAS SOPS 147033 HAS SOUS 62534 HAS SOUPS 62406 WITH SCORE 62558.344
AT ITER 2287 NEW BEST:: SOT 235851 SOS 152280 HAS SOPS 146969 HAS SOUS 62534 HAS SOUPS 62406 WITH SCORE 62558.28
AT ITER 2306 NEW BEST:: SOT 236271 SOS 152113 HAS SOPS 146207 HAS SOUS 62222 HAS SOUPS 62094 WITH SCORE 62246.113
AT ITER 2340 NEW BEST:: SOT 236354 SOS 152057 HAS SOPS 146151 HAS SOUS 62166 HAS SOUPS 62038 WITH SCORE 62190.057
AT ITER 2351 NEW BEST:: SOT 236717 SOS 151774 HAS SOPS 145742 HAS SOUS 61587 HAS SOUPS 61459 WITH SCORE 61610.774
AT ITER 2353 NEW BEST:: SOT 236937 SOS 151828 HAS SOPS 145789 HAS SOUS 61323 HAS SOUPS 61195 WITH SCORE 61346.828
AT ITER 2370 NEW BEST:: SOT 236937 SOS 151828 HAS SOPS 145789 HAS SOUS 61317 HAS SOUPS 61189 WITH SCORE 61340.828
AT ITER 2387 NEW BEST:: SOT 237340 SOS 151614 HAS SOPS 145449 HAS SOUS 60721 HAS SOUPS 60593 WITH SCORE 60744.614
AT ITER 2409 NEW BEST:: SOT 237340 SOS 151614 HAS SOPS 145449 HAS SOUS 60598 HAS SOUPS 60470 WITH SCORE 60621.614
AT ITER 2431 NEW BEST:: SOT 237340 SOS 151584 HAS SOPS 145419 HAS SOUS 60568 HAS SOUPS 60440 WITH SCORE 60591.584
AT ITER 2454 NEW BEST:: SOT 238169 SOS 152149 HAS SOPS 144986 HAS SOUS 60426 HAS SOUPS 60298 WITH SCORE 60450.149
AT ITER 2466 NEW BEST:: SOT 238169 SOS 148299 HAS SOPS 141136 HAS SOUS 58849 HAS SOUPS 58721 WITH SCORE 58869.299
AT ITER 2541 NEW BEST:: SOT 237735 SOS 148040 HAS SOPS 140884 HAS SOUS 58785 HAS SOUPS 58657 WITH SCORE 58805.04
AT ITER 2623 NEW BEST:: SOT 237735 SOS 147611 HAS SOPS 140455 HAS SOUS 58647 HAS SOUPS 58519 WITH SCORE 58666.611
AT ITER 2651 NEW BEST:: SOT 236817 SOS 146693 HAS SOPS 139537 HAS SOUS 58593 HAS SOUPS 58465 WITH SCORE 58611.693
AT ITER 2738 NEW BEST:: SOT 236817 SOS 146540 HAS SOPS 139384 HAS SOUS 58564 HAS SOUPS 58436 WITH SCORE 58582.54
AT ITER 2812 NEW BEST:: SOT 237195 SOS 144583 HAS SOPS 136877 HAS SOUS 57319 HAS SOUPS 57191 WITH SCORE 57335.583
AT ITER 2952 NEW BEST:: SOT 237195 SOS 144568 HAS SOPS 136862 HAS SOUS 57304 HAS SOUPS 57176 WITH SCORE 57320.568
AT ITER 2977 NEW BEST:: SOT 237218 SOS 144554 HAS SOPS 136848 HAS SOUS 57290 HAS SOUPS 57162 WITH SCORE 57306.554
AT ITER 3081 NEW BEST:: SOT 237218 SOS 144584 HAS SOPS 136878 HAS SOUS 57276 HAS SOUPS 57148 WITH SCORE 57292.584
AT ITER 3111 NEW BEST:: SOT 236963 SOS 144329 HAS SOPS 136623 HAS SOUS 57261 HAS SOUPS 57133 WITH SCORE 57277.329
AT ITER 3150 NEW BEST:: SOT 237412 SOS 144099 HAS SOPS 136393 HAS SOUS 57237 HAS SOUPS 57109 WITH SCORE 57253.099
AT ITER 3174 NEW BEST:: SOT 237412 SOS 144103 HAS SOPS 136397 HAS SOUS 57235 HAS SOUPS 57107 WITH SCORE 57251.103
AT ITER 3175 NEW BEST:: SOT 237414 SOS 143899 HAS SOPS 136193 HAS SOUS 57221 HAS SOUPS 57093 WITH SCORE 57236.899
AT ITER 3185 NEW BEST:: SOT 237414 SOS 143992 HAS SOPS 136286 HAS SOUS 57176 HAS SOUPS 57048 WITH SCORE 57191.992
AT ITER 3188 NEW BEST:: SOT 237417 SOS 143995 HAS SOPS 136289 HAS SOUS 57105 HAS SOUPS 56977 WITH SCORE 57120.995
AT ITER 3236 NEW BEST:: SOT 239475 SOS 144001 HAS SOPS 135820 HAS SOUS 56186 HAS SOUPS 56058 WITH SCORE 56202.001
AT ITER 3258 NEW BEST:: SOT 239841 SOS 143515 HAS SOPS 135020 HAS SOUS 55758 HAS SOUPS 55630 WITH SCORE 55773.515
AT ITER 3317 NEW BEST:: SOT 239841 SOS 143486 HAS SOPS 134991 HAS SOUS 55749 HAS SOUPS 55621 WITH SCORE 55764.486
AT ITER 3322 NEW BEST:: SOT 239841 SOS 143329 HAS SOPS 134834 HAS SOUS 55727 HAS SOUPS 55599 WITH SCORE 55742.329
AT ITER 3355 NEW BEST:: SOT 239841 SOS 142664 HAS SOPS 134169 HAS SOUS 55447 HAS SOUPS 55319 WITH SCORE 55461.664
AT ITER 3419 NEW BEST:: SOT 241324 SOS 141579 HAS SOPS 132615 HAS SOUS 54272 HAS SOUPS 54144 WITH SCORE 54285.579
AT ITER 3480 NEW BEST:: SOT 226732 SOS 169705 HAS SOPS 121146 HAS SOUS 40069 HAS SOUPS 39796 WITH SCORE 39965.705
AT ITER 3503 NEW BEST:: SOT 228878 SOS 171851 HAS SOPS 123198 HAS SOUS 40014 HAS SOUPS 39741 WITH SCORE 39912.851
AT ITER 3546 NEW BEST:: SOT 229317 SOS 172290 HAS SOPS 122932 HAS SOUS 39958 HAS SOUPS 39685 WITH SCORE 39857.29
AT ITER 3558 NEW BEST:: SOT 227476 SOS 170449 HAS SOPS 124350 HAS SOUS 39921 HAS SOUPS 39655 WITH SCORE 39825.449
AT ITER 3561 NEW BEST:: SOT 227476 SOS 170449 HAS SOPS 124350 HAS SOUS 39842 HAS SOUPS 39576 WITH SCORE 39746.449
AT ITER 3567 NEW BEST:: SOT 227656 SOS 170415 HAS SOPS 124316 HAS SOUS 39714 HAS SOUPS 39448 WITH SCORE 39618.415
AT ITER 3595 NEW BEST:: SOT 229376 SOS 172135 HAS SOPS 126028 HAS SOUS 39706 HAS SOUPS 39440 WITH SCORE 39612.135
AT ITER 3796 NEW BEST:: SOT 229008 SOS 171767 HAS SOPS 125660 HAS SOUS 39706 HAS SOUPS 39440 WITH SCORE 39611.767
AT ITER 3800 NEW BEST:: SOT 228977 SOS 171736 HAS SOPS 125629 HAS SOUS 39513 HAS SOUPS 39247 WITH SCORE 39418.736
AT ITER 3810 NEW BEST:: SOT 228909 SOS 171668 HAS SOPS 125561 HAS SOUS 39471 HAS SOUPS 39205 WITH SCORE 39376.668
AT ITER 3862 NEW BEST:: SOT 228909 SOS 171662 HAS SOPS 125555 HAS SOUS 39469 HAS SOUPS 39203 WITH SCORE 39374.662
AT ITER 3890 NEW BEST:: SOT 228909 SOS 171522 HAS SOPS 125415 HAS SOUS 39361 HAS SOUPS 39095 WITH SCORE 39266.522
AT ITER 3926 NEW BEST:: SOT 229057 SOS 170642 HAS SOPS 124091 HAS SOUS 39064 HAS SOUPS 38798 WITH SCORE 38968.642
AT ITER 3951 NEW BEST:: SOT 229179 SOS 170655 HAS SOPS 124004 HAS SOUS 39026 HAS SOUPS 38760 WITH SCORE 38930.655
AT ITER 3972 NEW BEST:: SOT 227430 SOS 169320 HAS SOPS 127205 HAS SOUS 38893 HAS SOUPS 38627 WITH SCORE 38796.32
AT ITER 4070 NEW BEST:: SOT 227429 SOS 169297 HAS SOPS 127022 HAS SOUS 38801 HAS SOUPS 38535 WITH SCORE 38704.297
AT ITER 4137 NEW BEST:: SOT 227310 SOS 169178 HAS SOPS 126946 HAS SOUS 38757 HAS SOUPS 38491 WITH SCORE 38660.178
AT ITER 4151 NEW BEST:: SOT 227566 SOS 169278 HAS SOPS 127046 HAS SOUS 38608 HAS SOUPS 38342 WITH SCORE 38511.278
AT ITER 4155 NEW BEST:: SOT 227566 SOS 169254 HAS SOPS 127022 HAS SOUS 38567 HAS SOUPS 38301 WITH SCORE 38470.254
AT ITER 4163 NEW BEST:: SOT 227566 SOS 169202 HAS SOPS 126970 HAS SOUS 38515 HAS SOUPS 38249 WITH SCORE 38418.202
AT ITER 4216 NEW BEST:: SOT 231888 SOS 172576 HAS SOPS 128580 HAS SOUS 38262 HAS SOUPS 37996 WITH SCORE 38168.576
AT ITER 4230 NEW BEST:: SOT 231440 SOS 172128 HAS SOPS 128132 HAS SOUS 38262 HAS SOUPS 37996 WITH SCORE 38168.128
AT ITER 4286 NEW BEST:: SOT 231458 SOS 172146 HAS SOPS 128150 HAS SOUS 38245 HAS SOUPS 37979 WITH SCORE 38151.146
AT ITER 4308 NEW BEST:: SOT 231170 SOS 171858 HAS SOPS 127862 HAS SOUS 38245 HAS SOUPS 37979 WITH SCORE 38150.858
AT ITER 4382 NEW BEST:: SOT 231097 SOS 171785 HAS SOPS 127789 HAS SOUS 38099 HAS SOUPS 37833 WITH SCORE 38004.785
AT ITER 4417 NEW BEST:: SOT 231301 SOS 171857 HAS SOPS 127861 HAS SOUS 38051 HAS SOUPS 37785 WITH SCORE 37956.857
AT ITER 4442 NEW BEST:: SOT 231743 SOS 170431 HAS SOPS 124821 HAS SOUS 37764 HAS SOUPS 37498 WITH SCORE 37668.431
AT ITER 4468 NEW BEST:: SOT 231768 SOS 170456 HAS SOPS 124796 HAS SOUS 37742 HAS SOUPS 37476 WITH SCORE 37646.456
AT ITER 4539 NEW BEST:: SOT 231750 SOS 170438 HAS SOPS 124778 HAS SOUS 37742 HAS SOUPS 37476 WITH SCORE 37646.438
AT ITER 4562 NEW BEST:: SOT 231750 SOS 170438 HAS SOPS 124778 HAS SOUS 37726 HAS SOUPS 37460 WITH SCORE 37630.438
AT ITER 4580 NEW BEST:: SOT 233563 SOS 170765 HAS SOPS 123061 HAS SOUS 37511 HAS SOUPS 37245 WITH SCORE 37415.765
AT ITER 4611 NEW BEST:: SOT 233720 SOS 170922 HAS SOPS 123118 HAS SOUS 37445 HAS SOUPS 37179 WITH SCORE 37349.922
AT ITER 4687 NEW BEST:: SOT 233720 SOS 170782 HAS SOPS 122958 HAS SOUS 37265 HAS SOUPS 36999 WITH SCORE 37169.782
AT ITER 4787 NEW BEST:: SOT 233797 SOS 170817 HAS SOPS 122993 HAS SOUS 37156 HAS SOUPS 36890 WITH SCORE 37060.817
AT ITER 4843 NEW BEST:: SOT 236141 SOS 172096 HAS SOPS 122424 HAS SOUS 36674 HAS SOUPS 36408 WITH SCORE 36580.096
AT ITER 4969 NEW BEST:: SOT 235690 SOS 171982 HAS SOPS 122310 HAS SOUS 36652 HAS SOUPS 36386 WITH SCORE 36557.982
AT ITER 5079 NEW BEST:: SOT 232944 SOS 169236 HAS SOPS 119982 HAS SOUS 36542 HAS SOUPS 36276 WITH SCORE 36445.236
AT ITER 5107 NEW BEST:: SOT 233034 SOS 169326 HAS SOPS 120072 HAS SOUS 36536 HAS SOUPS 36270 WITH SCORE 36439.326
AT ITER 5225 NEW BEST:: SOT 232186 SOS 168478 HAS SOPS 123250 HAS SOUS 36523 HAS SOUPS 36257 WITH SCORE 36425.478
AT ITER 5230 NEW BEST:: SOT 232196 SOS 168488 HAS SOPS 123343 HAS SOUS 36499 HAS SOUPS 36233 WITH SCORE 36401.488
AT ITER 5234 NEW BEST:: SOT 232459 SOS 166454 HAS SOPS 119616 HAS SOUS 36355 HAS SOUPS 36089 WITH SCORE 36255.454
AT ITER 5336 NEW BEST:: SOT 232418 SOS 166353 HAS SOPS 119433 HAS SOUS 36253 HAS SOUPS 35987 WITH SCORE 36153.353
AT ITER 5377 NEW BEST:: SOT 232357 SOS 166292 HAS SOPS 119376 HAS SOUS 36175 HAS SOUPS 35909 WITH SCORE 36075.292
AT ITER 5487 NEW BEST:: SOT 232376 SOS 166311 HAS SOPS 119395 HAS SOUS 36150 HAS SOUPS 35884 WITH SCORE 36050.311
AT ITER 5520 NEW BEST:: SOT 232348 SOS 166283 HAS SOPS 119367 HAS SOUS 36122 HAS SOUPS 35856 WITH SCORE 36022.283
AT ITER 5555 NEW BEST:: SOT 232418 SOS 166341 HAS SOPS 119425 HAS SOUS 36085 HAS SOUPS 35819 WITH SCORE 35985.341
AT ITER 5577 NEW BEST:: SOT 233655 SOS 164737 HAS SOPS 113142 HAS SOUS 35719 HAS SOUPS 35453 WITH SCORE 35617.737
AT ITER 5585 NEW BEST:: SOT 233636 SOS 164718 HAS SOPS 113123 HAS SOUS 35692 HAS SOUPS 35426 WITH SCORE 35590.718
AT ITER 5602 NEW BEST:: SOT 233692 SOS 164740 HAS SOPS 113089 HAS SOUS 35664 HAS SOUPS 35398 WITH SCORE 35562.74
AT ITER 5703 NEW BEST:: SOT 233666 SOS 164714 HAS SOPS 113025 HAS SOUS 35618 HAS SOUPS 35352 WITH SCORE 35516.714
AT ITER 5725 NEW BEST:: SOT 233650 SOS 164698 HAS SOPS 113004 HAS SOUS 35585 HAS SOUPS 35319 WITH SCORE 35483.698
AT ITER 5757 NEW BEST:: SOT 233565 SOS 164660 HAS SOPS 113016 HAS SOUS 35440 HAS SOUPS 35174 WITH SCORE 35338.66
AT ITER 5766 NEW BEST:: SOT 233488 SOS 164583 HAS SOPS 112939 HAS SOUS 35286 HAS SOUPS 35020 WITH SCORE 35184.583
AT ITER 5817 NEW BEST:: SOT 233596 SOS 164661 HAS SOPS 113017 HAS SOUS 35182 HAS SOUPS 34916 WITH SCORE 35080.661
AT ITER 5949 NEW BEST:: SOT 233694 SOS 164727 HAS SOPS 113083 HAS SOUS 35150 HAS SOUPS 34884 WITH SCORE 35048.727
AT ITER 6009 NEW BEST:: SOT 234083 SOS 165116 HAS SOPS 113498 HAS SOUS 35128 HAS SOUPS 34862 WITH SCORE 35027.116
AT ITER 6039 NEW BEST:: SOT 234181 SOS 165079 HAS SOPS 113461 HAS SOUS 34944 HAS SOUPS 34678 WITH SCORE 34843.079
AT ITER 6056 NEW BEST:: SOT 234218 SOS 165121 HAS SOPS 113378 HAS SOUS 34925 HAS SOUPS 34659 WITH SCORE 34824.121
AT ITER 6087 NEW BEST:: SOT 233601 SOS 165142 HAS SOPS 113998 HAS SOUS 34680 HAS SOUPS 34414 WITH SCORE 34579.142
AT ITER 6136 NEW BEST:: SOT 233685 SOS 165226 HAS SOPS 114082 HAS SOUS 34607 HAS SOUPS 34341 WITH SCORE 34506.226
AT ITER 6182 NEW BEST:: SOT 233655 SOS 165196 HAS SOPS 113873 HAS SOUS 34607 HAS SOUPS 34341 WITH SCORE 34506.196
AT ITER 6207 NEW BEST:: SOT 233247 SOS 164788 HAS SOPS 113465 HAS SOUS 34199 HAS SOUPS 33933 WITH SCORE 34097.788
AT ITER 6306 NEW BEST:: SOT 233295 SOS 164836 HAS SOPS 113513 HAS SOUS 34185 HAS SOUPS 33919 WITH SCORE 34083.836
AT ITER 6312 NEW BEST:: SOT 233644 SOS 165185 HAS SOPS 113736 HAS SOUS 33962 HAS SOUPS 33696 WITH SCORE 33861.185
AT ITER 6365 NEW BEST:: SOT 233705 SOS 164829 HAS SOPS 113475 HAS SOUS 33925 HAS SOUPS 33659 WITH SCORE 33823.829
AT ITER 6404 NEW BEST:: SOT 233705 SOS 164433 HAS SOPS 113079 HAS SOUS 33889 HAS SOUPS 33623 WITH SCORE 33787.433
AT ITER 6456 NEW BEST:: SOT 234499 SOS 164182 HAS SOPS 111094 HAS SOUS 33637 HAS SOUPS 33371 WITH SCORE 33535.182
AT ITER 6506 NEW BEST:: SOT 238489 SOS 167463 HAS SOPS 112429 HAS SOUS 33423 HAS SOUPS 33157 WITH SCORE 33324.463
AT ITER 6520 NEW BEST:: SOT 238517 SOS 167510 HAS SOPS 112477 HAS SOUS 33418 HAS SOUPS 33152 WITH SCORE 33319.51
AT ITER 6882 NEW BEST:: SOT 237381 SOS 166374 HAS SOPS 111341 HAS SOUS 33418 HAS SOUPS 33152 WITH SCORE 33318.374
AT ITER 6918 NEW BEST:: SOT 237891 SOS 166884 HAS SOPS 111291 HAS SOUS 33406 HAS SOUPS 33140 WITH SCORE 33306.884
AT ITER 6951 NEW BEST:: SOT 237970 SOS 166963 HAS SOPS 111370 HAS SOUS 33402 HAS SOUPS 33136 WITH SCORE 33302.963
AT ITER 7004 NEW BEST:: SOT 238239 SOS 167124 HAS SOPS 108842 HAS SOUS 33394 HAS SOUPS 33128 WITH SCORE 33295.124
AT ITER 7073 NEW BEST:: SOT 238032 SOS 166917 HAS SOPS 108738 HAS SOUS 33391 HAS SOUPS 33125 WITH SCORE 33291.917
AT ITER 7109 NEW BEST:: SOT 237982 SOS 166867 HAS SOPS 108688 HAS SOUS 33341 HAS SOUPS 33075 WITH SCORE 33241.867
AT ITER 7254 NEW BEST:: SOT 237982 SOS 166834 HAS SOPS 108655 HAS SOUS 33319 HAS SOUPS 33053 WITH SCORE 33219.834
AT ITER 7365 NEW BEST:: SOT 237924 SOS 166776 HAS SOPS 108597 HAS SOUS 33261 HAS SOUPS 32995 WITH SCORE 33161.776
AT ITER 7368 NEW BEST:: SOT 236227 SOS 165079 HAS SOPS 106863 HAS SOUS 31527 HAS SOUPS 31261 WITH SCORE 31426.079
AT ITER 7395 NEW BEST:: SOT 235542 SOS 164394 HAS SOPS 110603 HAS SOUS 31480 HAS SOUPS 31214 WITH SCORE 31378.394
AT ITER 7500 NEW BEST:: SOT 235522 SOS 164374 HAS SOPS 110583 HAS SOUS 31480 HAS SOUPS 31214 WITH SCORE 31378.374
AT ITER 7516 NEW BEST:: SOT 235468 SOS 164320 HAS SOPS 110529 HAS SOUS 31426 HAS SOUPS 31160 WITH SCORE 31324.32
AT ITER 7681 NEW BEST:: SOT 234975 SOS 163827 HAS SOPS 110036 HAS SOUS 31397 HAS SOUPS 31131 WITH SCORE 31294.827
AT ITER 7703 NEW BEST:: SOT 234787 SOS 163639 HAS SOPS 109977 HAS SOUS 31358 HAS SOUPS 31092 WITH SCORE 31255.639
AT ITER 7718 NEW BEST:: SOT 234787 SOS 163639 HAS SOPS 110009 HAS SOUS 31357 HAS SOUPS 31091 WITH SCORE 31254.639
AT ITER 7725 NEW BEST:: SOT 234544 SOS 163396 HAS SOPS 109766 HAS SOUS 31296 HAS SOUPS 31030 WITH SCORE 31193.396
AT ITER 7774 NEW BEST:: SOT 233760 SOS 162612 HAS SOPS 108982 HAS SOUS 31296 HAS SOUPS 31030 WITH SCORE 31192.612
AT ITER 7786 NEW BEST:: SOT 233530 SOS 162382 HAS SOPS 108752 HAS SOUS 31236 HAS SOUPS 30970 WITH SCORE 31132.382
AT ITER 8088 NEW BEST:: SOT 233546 SOS 162398 HAS SOPS 108844 HAS SOUS 31190 HAS SOUPS 30924 WITH SCORE 31086.398
AT ITER 8120 NEW BEST:: SOT 233715 SOS 162567 HAS SOPS 109013 HAS SOUS 31182 HAS SOUPS 30916 WITH SCORE 31078.567
AT ITER 8240 NEW BEST:: SOT 232723 SOS 161575 HAS SOPS 108021 HAS SOUS 31182 HAS SOUPS 30916 WITH SCORE 31077.575
AT ITER 8255 NEW BEST:: SOT 232451 SOS 161303 HAS SOPS 107781 HAS SOUS 31150 HAS SOUPS 30884 WITH SCORE 31045.303
AT ITER 8260 NEW BEST:: SOT 232440 SOS 161292 HAS SOPS 107770 HAS SOUS 31133 HAS SOUPS 30867 WITH SCORE 31028.292
AT ITER 8319 NEW BEST:: SOT 232440 SOS 161035 HAS SOPS 107513 HAS SOUS 31133 HAS SOUPS 30867 WITH SCORE 31028.035
AT ITER 8391 NEW BEST:: SOT 232416 SOS 161011 HAS SOPS 107505 HAS SOUS 31133 HAS SOUPS 30867 WITH SCORE 31028.011
AT ITER 8393 NEW BEST:: SOT 232416 SOS 160823 HAS SOPS 107317 HAS SOUS 30945 HAS SOUPS 30679 WITH SCORE 30839.823
AT ITER 8532 NEW BEST:: SOT 232557 SOS 160921 HAS SOPS 107415 HAS SOUS 30840 HAS SOUPS 30574 WITH SCORE 30734.921
AT ITER 8537 NEW BEST:: SOT 230286 SOS 163143 HAS SOPS 109594 HAS SOUS 28924 HAS SOUPS 28615 WITH SCORE 28778.143
AT ITER 8587 NEW BEST:: SOT 230393 SOS 162996 HAS SOPS 109447 HAS SOUS 28896 HAS SOUPS 28587 WITH SCORE 28749.996
AT ITER 8612 NEW BEST:: SOT 230393 SOS 162996 HAS SOPS 109447 HAS SOUS 28887 HAS SOUPS 28578 WITH SCORE 28740.996
AT ITER 8613 NEW BEST:: SOT 231024 SOS 163627 HAS SOPS 105529 HAS SOUS 28807 HAS SOUPS 28498 WITH SCORE 28661.627
AT ITER 8672 NEW BEST:: SOT 228503 SOS 161587 HAS SOPS 105846 HAS SOUS 28545 HAS SOUPS 28236 WITH SCORE 28397.587
AT ITER 8682 NEW BEST:: SOT 228503 SOS 161587 HAS SOPS 105846 HAS SOUS 28524 HAS SOUPS 28215 WITH SCORE 28376.587
AT ITER 8712 NEW BEST:: SOT 228495 SOS 161579 HAS SOPS 105838 HAS SOUS 28508 HAS SOUPS 28199 WITH SCORE 28360.579
AT ITER 8746 NEW BEST:: SOT 228467 SOS 161551 HAS SOPS 105810 HAS SOUS 28480 HAS SOUPS 28171 WITH SCORE 28332.551
AT ITER 8773 NEW BEST:: SOT 228791 SOS 161737 HAS SOPS 105806 HAS SOUS 28383 HAS SOUPS 28074 WITH SCORE 28235.737
AT ITER 8801 NEW BEST:: SOT 228791 SOS 161680 HAS SOPS 105749 HAS SOUS 28383 HAS SOUPS 28074 WITH SCORE 28235.68
AT ITER 8907 NEW BEST:: SOT 228566 SOS 161455 HAS SOPS 105524 HAS SOUS 28306 HAS SOUPS 27997 WITH SCORE 28158.455
AT ITER 8997 NEW BEST:: SOT 228341 SOS 161230 HAS SOPS 105374 HAS SOUS 28246 HAS SOUPS 27952 WITH SCORE 28113.23
AT ITER 9070 NEW BEST:: SOT 228801 SOS 160405 HAS SOPS 102965 HAS SOUS 28237 HAS SOUPS 27943 WITH SCORE 28103.405
AT ITER 9084 NEW BEST:: SOT 228682 SOS 160286 HAS SOPS 103002 HAS SOUS 28237 HAS SOUPS 27943 WITH SCORE 28103.286
AT ITER 9104 NEW BEST:: SOT 226129 SOS 157733 HAS SOPS 100456 HAS SOUS 28140 HAS SOUPS 27846 WITH SCORE 28003.733
AT ITER 9122 NEW BEST:: SOT 226113 SOS 157717 HAS SOPS 100440 HAS SOUS 28124 HAS SOUPS 27830 WITH SCORE 27987.717
AT ITER 9219 NEW BEST:: SOT 226113 SOS 157654 HAS SOPS 100355 HAS SOUS 28039 HAS SOUPS 27745 WITH SCORE 27902.654
AT ITER 9293 NEW BEST:: SOT 226073 SOS 157614 HAS SOPS 100315 HAS SOUS 27890 HAS SOUPS 27596 WITH SCORE 27753.614
AT ITER 9372 NEW BEST:: SOT 226184 SOS 157725 HAS SOPS 100362 HAS SOUS 27786 HAS SOUPS 27492 WITH SCORE 27649.725
AT ITER 9476 NEW BEST:: SOT 226119 SOS 157569 HAS SOPS 100050 HAS SOUS 27698 HAS SOUPS 27404 WITH SCORE 27561.569
AT ITER 9512 NEW BEST:: SOT 226311 SOS 157744 HAS SOPS 100225 HAS SOUS 27690 HAS SOUPS 27396 WITH SCORE 27553.744
AT ITER 9531 NEW BEST:: SOT 226173 SOS 157606 HAS SOPS 100173 HAS SOUS 27690 HAS SOUPS 27396 WITH SCORE 27553.606
AT ITER 9562 NEW BEST:: SOT 226167 SOS 157600 HAS SOPS 100167 HAS SOUS 27678 HAS SOUPS 27384 WITH SCORE 27541.6
AT ITER 9571 NEW BEST:: SOT 225463 SOS 156896 HAS SOPS 99463 HAS SOUS 27678 HAS SOUPS 27384 WITH SCORE 27540.896
AT ITER 9581 NEW BEST:: SOT 225463 SOS 156944 HAS SOPS 99511 HAS SOUS 27668 HAS SOUPS 27374 WITH SCORE 27530.944
AT ITER 9681 NEW BEST:: SOT 225583 SOS 157064 HAS SOPS 99631 HAS SOUS 27647 HAS SOUPS 27353 WITH SCORE 27510.064
AT ITER 9884 NEW BEST:: SOT 225436 SOS 156917 HAS SOPS 99484 HAS SOUS 27429 HAS SOUPS 27135 WITH SCORE 27291.917
AT ITER 9894 NEW BEST:: SOT 225436 SOS 156847 HAS SOPS 99414 HAS SOUS 27355 HAS SOUPS 27061 WITH SCORE 27217.847
AT ITER 9980 NEW BEST:: SOT 225275 SOS 156686 HAS SOPS 99268 HAS SOUS 27240 HAS SOUPS 26946 WITH SCORE 27102.686
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 5653416 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16127404 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="SieveSingleMsgMbox-PT-d1m96"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SieveSingleMsgMbox-PT-d1m96, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979700448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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