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.r523-tall-167987247500016.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 smartxred
Input is Anderson-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 7.5K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 185K Mar 31 16:48 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 1680818890274

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=Anderson-PT-05
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 22:08:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 22:08:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 22:08:12] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-04-06 22:08:12] [INFO ] Transformed 161 places.
[2023-04-06 22:08:12] [INFO ] Transformed 365 transitions.
[2023-04-06 22:08:12] [INFO ] Found NUPN structural information;
[2023-04-06 22:08:12] [INFO ] Parsed PT model containing 161 places and 365 transitions and 1380 arcs in 138 ms.
[2023-04-06 22:08:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 161 places, 365 transitions and 1380 arcs took 7 ms.
Total runtime 185 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 05
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: 161 places, 365 transitions, 1380 arcs.
AT ITER 0 NEW BEST:: SOT 36036 SOS 27985 HAS SOPS 27984 HAS SOUS 10582 HAS SOUPS 10581 WITH SCORE 10608.985
AT ITER 5 NEW BEST:: SOT 36009 SOS 27958 HAS SOPS 27957 HAS SOUS 10543 HAS SOUPS 10542 WITH SCORE 10569.958
AT ITER 6 NEW BEST:: SOT 35820 SOS 27655 HAS SOPS 27654 HAS SOUS 10535 HAS SOUPS 10534 WITH SCORE 10561.655
AT ITER 10 NEW BEST:: SOT 35820 SOS 27411 HAS SOPS 27410 HAS SOUS 10520 HAS SOUPS 10519 WITH SCORE 10546.411
AT ITER 28 NEW BEST:: SOT 35820 SOS 27317 HAS SOPS 27316 HAS SOUS 10517 HAS SOUPS 10516 WITH SCORE 10543.317
AT ITER 44 NEW BEST:: SOT 35762 SOS 27259 HAS SOPS 27258 HAS SOUS 10449 HAS SOUPS 10448 WITH SCORE 10475.259
AT ITER 49 NEW BEST:: SOT 35762 SOS 27255 HAS SOPS 27254 HAS SOUS 10449 HAS SOUPS 10448 WITH SCORE 10475.255
AT ITER 51 NEW BEST:: SOT 35259 SOS 29626 HAS SOPS 29625 HAS SOUS 10095 HAS SOUPS 10094 WITH SCORE 10123.626
AT ITER 56 NEW BEST:: SOT 35213 SOS 29596 HAS SOPS 29595 HAS SOUS 10036 HAS SOUPS 10035 WITH SCORE 10064.596
AT ITER 65 NEW BEST:: SOT 35177 SOS 29588 HAS SOPS 29587 HAS SOUS 9993 HAS SOUPS 9992 WITH SCORE 10021.588
AT ITER 69 NEW BEST:: SOT 35159 SOS 29570 HAS SOPS 29569 HAS SOUS 9960 HAS SOUPS 9959 WITH SCORE 9988.57
AT ITER 74 NEW BEST:: SOT 35141 SOS 29552 HAS SOPS 29551 HAS SOUS 9933 HAS SOUPS 9932 WITH SCORE 9961.552
AT ITER 75 NEW BEST:: SOT 35149 SOS 29528 HAS SOPS 29527 HAS SOUS 9917 HAS SOUPS 9916 WITH SCORE 9945.528
AT ITER 78 NEW BEST:: SOT 35124 SOS 29516 HAS SOPS 29515 HAS SOUS 9840 HAS SOUPS 9839 WITH SCORE 9868.516
AT ITER 90 NEW BEST:: SOT 35112 SOS 29504 HAS SOPS 29503 HAS SOUS 9822 HAS SOUPS 9821 WITH SCORE 9850.504
AT ITER 100 NEW BEST:: SOT 35097 SOS 29489 HAS SOPS 29488 HAS SOUS 9801 HAS SOUPS 9800 WITH SCORE 9829.489
AT ITER 112 NEW BEST:: SOT 35070 SOS 29475 HAS SOPS 29474 HAS SOUS 9762 HAS SOUPS 9761 WITH SCORE 9790.475
AT ITER 121 NEW BEST:: SOT 34876 SOS 29327 HAS SOPS 29280 HAS SOUS 9601 HAS SOUPS 9567 WITH SCORE 9596.327
AT ITER 123 NEW BEST:: SOT 34871 SOS 29317 HAS SOPS 29270 HAS SOUS 9596 HAS SOUPS 9562 WITH SCORE 9591.317
AT ITER 142 NEW BEST:: SOT 34873 SOS 29319 HAS SOPS 29258 HAS SOUS 9584 HAS SOUPS 9550 WITH SCORE 9579.319
AT ITER 150 NEW BEST:: SOT 34861 SOS 29295 HAS SOPS 29234 HAS SOUS 9572 HAS SOUPS 9538 WITH SCORE 9567.295
AT ITER 154 NEW BEST:: SOT 34849 SOS 29283 HAS SOPS 29222 HAS SOUS 9560 HAS SOUPS 9526 WITH SCORE 9555.283
AT ITER 169 NEW BEST:: SOT 34808 SOS 29291 HAS SOPS 29230 HAS SOUS 9540 HAS SOUPS 9506 WITH SCORE 9535.291
AT ITER 173 NEW BEST:: SOT 34788 SOS 29291 HAS SOPS 29230 HAS SOUS 9524 HAS SOUPS 9490 WITH SCORE 9519.291
AT ITER 179 NEW BEST:: SOT 34722 SOS 29225 HAS SOPS 29164 HAS SOUS 9425 HAS SOUPS 9391 WITH SCORE 9420.225
AT ITER 188 NEW BEST:: SOT 34715 SOS 29211 HAS SOPS 29150 HAS SOUS 9414 HAS SOUPS 9380 WITH SCORE 9409.211
AT ITER 198 NEW BEST:: SOT 34712 SOS 29208 HAS SOPS 29147 HAS SOUS 9408 HAS SOUPS 9374 WITH SCORE 9403.208
AT ITER 203 NEW BEST:: SOT 34682 SOS 29242 HAS SOPS 29181 HAS SOUS 9384 HAS SOUPS 9350 WITH SCORE 9379.242
AT ITER 205 NEW BEST:: SOT 34627 SOS 29187 HAS SOPS 29126 HAS SOUS 9318 HAS SOUPS 9284 WITH SCORE 9313.187
AT ITER 215 NEW BEST:: SOT 34617 SOS 29167 HAS SOPS 29106 HAS SOUS 9285 HAS SOUPS 9251 WITH SCORE 9280.167
AT ITER 217 NEW BEST:: SOT 34530 SOS 28985 HAS SOPS 28924 HAS SOUS 9055 HAS SOUPS 9021 WITH SCORE 9049.985
AT ITER 222 NEW BEST:: SOT 34528 SOS 28981 HAS SOPS 28920 HAS SOUS 9049 HAS SOUPS 9015 WITH SCORE 9043.981
AT ITER 269 NEW BEST:: SOT 34518 SOS 28971 HAS SOPS 28910 HAS SOUS 9039 HAS SOUPS 9005 WITH SCORE 9033.971
AT ITER 274 NEW BEST:: SOT 34441 SOS 28784 HAS SOPS 28723 HAS SOUS 9035 HAS SOUPS 9001 WITH SCORE 9029.784
AT ITER 277 NEW BEST:: SOT 34428 SOS 28771 HAS SOPS 28710 HAS SOUS 9019 HAS SOUPS 8985 WITH SCORE 9013.771
AT ITER 288 NEW BEST:: SOT 34428 SOS 28769 HAS SOPS 28708 HAS SOUS 9017 HAS SOUPS 8983 WITH SCORE 9011.769
AT ITER 298 NEW BEST:: SOT 34414 SOS 28755 HAS SOPS 28694 HAS SOUS 8985 HAS SOUPS 8951 WITH SCORE 8979.755
AT ITER 318 NEW BEST:: SOT 34392 SOS 28711 HAS SOPS 28650 HAS SOUS 8941 HAS SOUPS 8907 WITH SCORE 8935.711
AT ITER 320 NEW BEST:: SOT 34384 SOS 28703 HAS SOPS 28642 HAS SOUS 8925 HAS SOUPS 8891 WITH SCORE 8919.703
AT ITER 334 NEW BEST:: SOT 34402 SOS 28721 HAS SOPS 28660 HAS SOUS 8899 HAS SOUPS 8865 WITH SCORE 8893.721
AT ITER 335 NEW BEST:: SOT 34402 SOS 28721 HAS SOPS 28660 HAS SOUS 8892 HAS SOUPS 8858 WITH SCORE 8886.721
AT ITER 349 NEW BEST:: SOT 34381 SOS 28700 HAS SOPS 28639 HAS SOUS 8847 HAS SOUPS 8813 WITH SCORE 8841.7
AT ITER 353 NEW BEST:: SOT 34362 SOS 28744 HAS SOPS 28683 HAS SOUS 8829 HAS SOUPS 8795 WITH SCORE 8823.744
AT ITER 365 NEW BEST:: SOT 34403 SOS 28702 HAS SOPS 28632 HAS SOUS 8813 HAS SOUPS 8779 WITH SCORE 8807.702
AT ITER 384 NEW BEST:: SOT 34372 SOS 28734 HAS SOPS 28664 HAS SOUS 8798 HAS SOUPS 8764 WITH SCORE 8792.734
AT ITER 420 NEW BEST:: SOT 34361 SOS 28712 HAS SOPS 28642 HAS SOUS 8787 HAS SOUPS 8753 WITH SCORE 8781.712
AT ITER 434 NEW BEST:: SOT 34349 SOS 28700 HAS SOPS 28630 HAS SOUS 8769 HAS SOUPS 8735 WITH SCORE 8763.7
AT ITER 443 NEW BEST:: SOT 34333 SOS 28668 HAS SOPS 28598 HAS SOUS 8746 HAS SOUPS 8712 WITH SCORE 8740.668
AT ITER 453 NEW BEST:: SOT 34333 SOS 28668 HAS SOPS 28598 HAS SOUS 8723 HAS SOUPS 8689 WITH SCORE 8717.668
AT ITER 462 NEW BEST:: SOT 34333 SOS 28668 HAS SOPS 28598 HAS SOUS 8721 HAS SOUPS 8687 WITH SCORE 8715.668
AT ITER 469 NEW BEST:: SOT 34263 SOS 28598 HAS SOPS 28528 HAS SOUS 8682 HAS SOUPS 8648 WITH SCORE 8676.598
AT ITER 506 NEW BEST:: SOT 34225 SOS 28522 HAS SOPS 28452 HAS SOUS 8615 HAS SOUPS 8581 WITH SCORE 8609.522
AT ITER 513 NEW BEST:: SOT 34225 SOS 28522 HAS SOPS 28452 HAS SOUS 8613 HAS SOUPS 8579 WITH SCORE 8607.522
AT ITER 538 NEW BEST:: SOT 34216 SOS 28513 HAS SOPS 28443 HAS SOUS 8606 HAS SOUPS 8572 WITH SCORE 8600.513
AT ITER 547 NEW BEST:: SOT 34186 SOS 28483 HAS SOPS 28413 HAS SOUS 8576 HAS SOUPS 8542 WITH SCORE 8570.483
AT ITER 564 NEW BEST:: SOT 34093 SOS 28385 HAS SOPS 28315 HAS SOUS 8479 HAS SOUPS 8445 WITH SCORE 8473.385
AT ITER 572 NEW BEST:: SOT 34093 SOS 28363 HAS SOPS 28293 HAS SOUS 8479 HAS SOUPS 8445 WITH SCORE 8473.363
AT ITER 576 NEW BEST:: SOT 34096 SOS 28366 HAS SOPS 28296 HAS SOUS 8473 HAS SOUPS 8439 WITH SCORE 8467.366
AT ITER 584 NEW BEST:: SOT 34088 SOS 28283 HAS SOPS 28213 HAS SOUS 8465 HAS SOUPS 8431 WITH SCORE 8459.283
AT ITER 591 NEW BEST:: SOT 34085 SOS 28277 HAS SOPS 28207 HAS SOUS 8461 HAS SOUPS 8427 WITH SCORE 8455.277
AT ITER 592 NEW BEST:: SOT 34085 SOS 28385 HAS SOPS 28315 HAS SOUS 8460 HAS SOUPS 8426 WITH SCORE 8454.385
AT ITER 597 NEW BEST:: SOT 34067 SOS 28367 HAS SOPS 28297 HAS SOUS 8442 HAS SOUPS 8408 WITH SCORE 8436.367
AT ITER 607 NEW BEST:: SOT 34067 SOS 28367 HAS SOPS 28297 HAS SOUS 8441 HAS SOUPS 8407 WITH SCORE 8435.367
AT ITER 622 NEW BEST:: SOT 34047 SOS 28339 HAS SOPS 28269 HAS SOUS 8415 HAS SOUPS 8381 WITH SCORE 8409.339
AT ITER 636 NEW BEST:: SOT 34039 SOS 28331 HAS SOPS 28261 HAS SOUS 8407 HAS SOUPS 8373 WITH SCORE 8401.331
AT ITER 638 NEW BEST:: SOT 33912 SOS 28237 HAS SOPS 28167 HAS SOUS 8289 HAS SOUPS 8255 WITH SCORE 8283.237
AT ITER 644 NEW BEST:: SOT 33904 SOS 28221 HAS SOPS 28151 HAS SOUS 8277 HAS SOUPS 8243 WITH SCORE 8271.221
AT ITER 654 NEW BEST:: SOT 33903 SOS 28221 HAS SOPS 28151 HAS SOUS 8276 HAS SOUPS 8242 WITH SCORE 8270.221
AT ITER 675 NEW BEST:: SOT 33902 SOS 28220 HAS SOPS 28150 HAS SOUS 8275 HAS SOUPS 8241 WITH SCORE 8269.22
AT ITER 686 NEW BEST:: SOT 33858 SOS 28210 HAS SOPS 28140 HAS SOUS 8246 HAS SOUPS 8212 WITH SCORE 8240.21
AT ITER 689 NEW BEST:: SOT 33851 SOS 28203 HAS SOPS 28133 HAS SOUS 8233 HAS SOUPS 8199 WITH SCORE 8227.203
AT ITER 690 NEW BEST:: SOT 33849 SOS 28183 HAS SOPS 28113 HAS SOUS 8213 HAS SOUPS 8179 WITH SCORE 8207.183
AT ITER 739 NEW BEST:: SOT 33847 SOS 28181 HAS SOPS 28111 HAS SOUS 8209 HAS SOUPS 8175 WITH SCORE 8203.181
AT ITER 769 NEW BEST:: SOT 33847 SOS 28083 HAS SOPS 28013 HAS SOUS 8209 HAS SOUPS 8175 WITH SCORE 8203.083
AT ITER 791 NEW BEST:: SOT 33836 SOS 28083 HAS SOPS 28013 HAS SOUS 8198 HAS SOUPS 8164 WITH SCORE 8192.083
AT ITER 806 NEW BEST:: SOT 33836 SOS 28083 HAS SOPS 28013 HAS SOUS 8195 HAS SOUPS 8161 WITH SCORE 8189.083
AT ITER 821 NEW BEST:: SOT 33828 SOS 28075 HAS SOPS 28005 HAS SOUS 8181 HAS SOUPS 8147 WITH SCORE 8175.075
AT ITER 827 NEW BEST:: SOT 33791 SOS 28060 HAS SOPS 28017 HAS SOUS 8166 HAS SOUPS 8132 WITH SCORE 8160.06
AT ITER 846 NEW BEST:: SOT 33781 SOS 28040 HAS SOPS 27997 HAS SOUS 8146 HAS SOUPS 8112 WITH SCORE 8140.04
AT ITER 851 NEW BEST:: SOT 33778 SOS 28037 HAS SOPS 27994 HAS SOUS 8141 HAS SOUPS 8107 WITH SCORE 8135.037
AT ITER 899 NEW BEST:: SOT 33778 SOS 28037 HAS SOPS 27994 HAS SOUS 8140 HAS SOUPS 8106 WITH SCORE 8134.037
AT ITER 933 NEW BEST:: SOT 33778 SOS 28037 HAS SOPS 27994 HAS SOUS 8139 HAS SOUPS 8105 WITH SCORE 8133.037
AT ITER 941 NEW BEST:: SOT 33692 SOS 27962 HAS SOPS 27908 HAS SOUS 8085 HAS SOUPS 8040 WITH SCORE 8067.962
AT ITER 945 NEW BEST:: SOT 33692 SOS 27960 HAS SOPS 27906 HAS SOUS 8083 HAS SOUPS 8038 WITH SCORE 8065.96
AT ITER 981 NEW BEST:: SOT 33649 SOS 27936 HAS SOPS 27882 HAS SOUS 8028 HAS SOUPS 7983 WITH SCORE 8010.936
AT ITER 985 NEW BEST:: SOT 33633 SOS 27934 HAS SOPS 27880 HAS SOUS 8014 HAS SOUPS 7969 WITH SCORE 7996.934
AT ITER 987 NEW BEST:: SOT 33618 SOS 27919 HAS SOPS 27865 HAS SOUS 7994 HAS SOUPS 7949 WITH SCORE 7976.919
AT ITER 1082 NEW BEST:: SOT 33601 SOS 27918 HAS SOPS 27848 HAS SOUS 7979 HAS SOUPS 7926 WITH SCORE 7953.918
AT ITER 1108 NEW BEST:: SOT 33596 SOS 27970 HAS SOPS 27900 HAS SOUS 7978 HAS SOUPS 7925 WITH SCORE 7952.97
AT ITER 1112 NEW BEST:: SOT 33593 SOS 27952 HAS SOPS 27882 HAS SOUS 7978 HAS SOUPS 7925 WITH SCORE 7952.952
AT ITER 1144 NEW BEST:: SOT 33589 SOS 27958 HAS SOPS 27888 HAS SOUS 7974 HAS SOUPS 7921 WITH SCORE 7948.958
AT ITER 1165 NEW BEST:: SOT 33577 SOS 27952 HAS SOPS 27882 HAS SOUS 7968 HAS SOUPS 7915 WITH SCORE 7942.952
AT ITER 1181 NEW BEST:: SOT 33564 SOS 27948 HAS SOPS 27878 HAS SOUS 7967 HAS SOUPS 7914 WITH SCORE 7941.948
AT ITER 1185 NEW BEST:: SOT 33558 SOS 27942 HAS SOPS 27872 HAS SOUS 7961 HAS SOUPS 7908 WITH SCORE 7935.942
AT ITER 1197 NEW BEST:: SOT 33555 SOS 27930 HAS SOPS 27860 HAS SOUS 7955 HAS SOUPS 7902 WITH SCORE 7929.93
AT ITER 1198 NEW BEST:: SOT 33555 SOS 27930 HAS SOPS 27860 HAS SOUS 7951 HAS SOUPS 7898 WITH SCORE 7925.93
AT ITER 1205 NEW BEST:: SOT 33554 SOS 27929 HAS SOPS 27859 HAS SOUS 7949 HAS SOUPS 7896 WITH SCORE 7923.929
AT ITER 1207 NEW BEST:: SOT 33544 SOS 27909 HAS SOPS 27839 HAS SOUS 7937 HAS SOUPS 7884 WITH SCORE 7911.909
AT ITER 1217 NEW BEST:: SOT 33541 SOS 27906 HAS SOPS 27836 HAS SOUS 7934 HAS SOUPS 7881 WITH SCORE 7908.906
AT ITER 1227 NEW BEST:: SOT 33534 SOS 27892 HAS SOPS 27822 HAS SOUS 7915 HAS SOUPS 7862 WITH SCORE 7889.892
AT ITER 1238 NEW BEST:: SOT 33533 SOS 27900 HAS SOPS 27830 HAS SOUS 7914 HAS SOUPS 7861 WITH SCORE 7888.9
AT ITER 1248 NEW BEST:: SOT 33521 SOS 27891 HAS SOPS 27821 HAS SOUS 7899 HAS SOUPS 7846 WITH SCORE 7873.891
AT ITER 1250 NEW BEST:: SOT 33521 SOS 27885 HAS SOPS 27815 HAS SOUS 7899 HAS SOUPS 7846 WITH SCORE 7873.885
AT ITER 1257 NEW BEST:: SOT 33503 SOS 27785 HAS SOPS 27715 HAS SOUS 7858 HAS SOUPS 7805 WITH SCORE 7832.785
AT ITER 1293 NEW BEST:: SOT 33499 SOS 27784 HAS SOPS 27714 HAS SOUS 7856 HAS SOUPS 7803 WITH SCORE 7830.784
AT ITER 1300 NEW BEST:: SOT 33505 SOS 27790 HAS SOPS 27720 HAS SOUS 7853 HAS SOUPS 7800 WITH SCORE 7827.79
AT ITER 1319 NEW BEST:: SOT 33491 SOS 27762 HAS SOPS 27692 HAS SOUS 7824 HAS SOUPS 7771 WITH SCORE 7798.762
AT ITER 1329 NEW BEST:: SOT 33487 SOS 27754 HAS SOPS 27684 HAS SOUS 7824 HAS SOUPS 7771 WITH SCORE 7798.754
AT ITER 1331 NEW BEST:: SOT 33487 SOS 26872 HAS SOPS 26802 HAS SOUS 7820 HAS SOUPS 7767 WITH SCORE 7793.872
AT ITER 1332 NEW BEST:: SOT 33487 SOS 26923 HAS SOPS 26853 HAS SOUS 7818 HAS SOUPS 7765 WITH SCORE 7791.923
AT ITER 1365 NEW BEST:: SOT 33463 SOS 26905 HAS SOPS 26835 HAS SOUS 7789 HAS SOUPS 7736 WITH SCORE 7762.905
AT ITER 1372 NEW BEST:: SOT 33452 SOS 26894 HAS SOPS 26824 HAS SOUS 7775 HAS SOUPS 7722 WITH SCORE 7748.894
AT ITER 1404 NEW BEST:: SOT 33451 SOS 26894 HAS SOPS 26824 HAS SOUS 7774 HAS SOUPS 7721 WITH SCORE 7747.894
AT ITER 1415 NEW BEST:: SOT 33421 SOS 26864 HAS SOPS 26825 HAS SOUS 7738 HAS SOUPS 7710 WITH SCORE 7736.864
AT ITER 1503 NEW BEST:: SOT 33416 SOS 26842 HAS SOPS 26803 HAS SOUS 7728 HAS SOUPS 7700 WITH SCORE 7726.842
AT ITER 1515 NEW BEST:: SOT 33416 SOS 26205 HAS SOPS 26166 HAS SOUS 7715 HAS SOUPS 7687 WITH SCORE 7713.205
AT ITER 1518 NEW BEST:: SOT 33413 SOS 26193 HAS SOPS 26154 HAS SOUS 7712 HAS SOUPS 7684 WITH SCORE 7710.193
AT ITER 1548 NEW BEST:: SOT 33410 SOS 26187 HAS SOPS 26148 HAS SOUS 7707 HAS SOUPS 7679 WITH SCORE 7705.187
AT ITER 1612 NEW BEST:: SOT 33407 SOS 26187 HAS SOPS 26148 HAS SOUS 7704 HAS SOUPS 7676 WITH SCORE 7702.187
AT ITER 1624 NEW BEST:: SOT 33288 SOS 26068 HAS SOPS 26029 HAS SOUS 7696 HAS SOUPS 7668 WITH SCORE 7694.068
AT ITER 1630 NEW BEST:: SOT 33288 SOS 26067 HAS SOPS 26028 HAS SOUS 7696 HAS SOUPS 7668 WITH SCORE 7694.067
AT ITER 1637 NEW BEST:: SOT 33288 SOS 26063 HAS SOPS 26028 HAS SOUS 7686 HAS SOUPS 7668 WITH SCORE 7694.063
AT ITER 1640 NEW BEST:: SOT 33290 SOS 26065 HAS SOPS 26030 HAS SOUS 7684 HAS SOUPS 7666 WITH SCORE 7692.065
AT ITER 1696 NEW BEST:: SOT 33288 SOS 26035 HAS SOPS 26000 HAS SOUS 7684 HAS SOUPS 7666 WITH SCORE 7692.035
AT ITER 1720 NEW BEST:: SOT 33283 SOS 26025 HAS SOPS 25990 HAS SOUS 7674 HAS SOUPS 7656 WITH SCORE 7682.025
AT ITER 1726 NEW BEST:: SOT 33263 SOS 26003 HAS SOPS 25968 HAS SOUS 7644 HAS SOUPS 7626 WITH SCORE 7652.003
AT ITER 1739 NEW BEST:: SOT 33262 SOS 26002 HAS SOPS 25967 HAS SOUS 7642 HAS SOUPS 7624 WITH SCORE 7650.002
AT ITER 1772 NEW BEST:: SOT 33248 SOS 25974 HAS SOPS 25939 HAS SOUS 7618 HAS SOUPS 7600 WITH SCORE 7625.974
AT ITER 1777 NEW BEST:: SOT 33099 SOS 25825 HAS SOPS 25790 HAS SOUS 7604 HAS SOUPS 7586 WITH SCORE 7611.825
AT ITER 1792 NEW BEST:: SOT 33099 SOS 25825 HAS SOPS 25790 HAS SOUS 7595 HAS SOUPS 7577 WITH SCORE 7602.825
AT ITER 1799 NEW BEST:: SOT 33098 SOS 25823 HAS SOPS 25788 HAS SOUS 7590 HAS SOUPS 7572 WITH SCORE 7597.823
AT ITER 1832 NEW BEST:: SOT 33093 SOS 25825 HAS SOPS 25790 HAS SOUS 7586 HAS SOUPS 7568 WITH SCORE 7593.825
AT ITER 1833 NEW BEST:: SOT 33092 SOS 25823 HAS SOPS 25788 HAS SOUS 7583 HAS SOUPS 7565 WITH SCORE 7590.823
AT ITER 1856 NEW BEST:: SOT 33086 SOS 25817 HAS SOPS 25782 HAS SOUS 7572 HAS SOUPS 7554 WITH SCORE 7579.817
AT ITER 1872 NEW BEST:: SOT 33081 SOS 25812 HAS SOPS 25777 HAS SOUS 7570 HAS SOUPS 7552 WITH SCORE 7577.812
AT ITER 1883 NEW BEST:: SOT 33080 SOS 25810 HAS SOPS 25775 HAS SOUS 7563 HAS SOUPS 7545 WITH SCORE 7570.81
AT ITER 1887 NEW BEST:: SOT 33072 SOS 25809 HAS SOPS 25775 HAS SOUS 7554 HAS SOUPS 7537 WITH SCORE 7562.809
AT ITER 1892 NEW BEST:: SOT 33070 SOS 25805 HAS SOPS 25771 HAS SOUS 7550 HAS SOUPS 7533 WITH SCORE 7558.805
AT ITER 1907 NEW BEST:: SOT 33081 SOS 24354 HAS SOPS 24320 HAS SOUS 7526 HAS SOUPS 7509 WITH SCORE 7533.354
AT ITER 1908 NEW BEST:: SOT 33081 SOS 24354 HAS SOPS 24320 HAS SOUS 7525 HAS SOUPS 7508 WITH SCORE 7532.354
AT ITER 1914 NEW BEST:: SOT 33079 SOS 24352 HAS SOPS 24318 HAS SOUS 7521 HAS SOUPS 7504 WITH SCORE 7528.352
AT ITER 2008 NEW BEST:: SOT 33075 SOS 24349 HAS SOPS 24315 HAS SOUS 7517 HAS SOUPS 7500 WITH SCORE 7524.349
AT ITER 2012 NEW BEST:: SOT 33069 SOS 24357 HAS SOPS 24323 HAS SOUS 7515 HAS SOUPS 7498 WITH SCORE 7522.357
AT ITER 2046 NEW BEST:: SOT 33100 SOS 24388 HAS SOPS 24354 HAS SOUS 7510 HAS SOUPS 7493 WITH SCORE 7517.388
AT ITER 2052 NEW BEST:: SOT 33096 SOS 24380 HAS SOPS 24346 HAS SOUS 7502 HAS SOUPS 7485 WITH SCORE 7509.38
AT ITER 2066 NEW BEST:: SOT 33098 SOS 24390 HAS SOPS 24356 HAS SOUS 7497 HAS SOUPS 7480 WITH SCORE 7504.39
AT ITER 2127 NEW BEST:: SOT 33098 SOS 24390 HAS SOPS 24356 HAS SOUS 7470 HAS SOUPS 7453 WITH SCORE 7477.39
AT ITER 2159 NEW BEST:: SOT 33013 SOS 24306 HAS SOPS 24272 HAS SOUS 7367 HAS SOUPS 7350 WITH SCORE 7374.306
AT ITER 2212 NEW BEST:: SOT 33009 SOS 24300 HAS SOPS 24266 HAS SOUS 7362 HAS SOUPS 7345 WITH SCORE 7369.3
AT ITER 2226 NEW BEST:: SOT 33009 SOS 24300 HAS SOPS 24266 HAS SOUS 7335 HAS SOUPS 7318 WITH SCORE 7342.3
AT ITER 2339 NEW BEST:: SOT 33002 SOS 24293 HAS SOPS 24259 HAS SOUS 7334 HAS SOUPS 7317 WITH SCORE 7341.293
AT ITER 2364 NEW BEST:: SOT 32967 SOS 24258 HAS SOPS 24224 HAS SOUS 7331 HAS SOUPS 7314 WITH SCORE 7338.258
AT ITER 2458 NEW BEST:: SOT 32967 SOS 24257 HAS SOPS 24223 HAS SOUS 7331 HAS SOUPS 7314 WITH SCORE 7338.257
AT ITER 2557 NEW BEST:: SOT 32871 SOS 24177 HAS SOPS 24160 HAS SOUS 7251 HAS SOUPS 7240 WITH SCORE 7264.177
AT ITER 2566 NEW BEST:: SOT 32869 SOS 24181 HAS SOPS 24164 HAS SOUS 7249 HAS SOUPS 7238 WITH SCORE 7262.181
AT ITER 2629 NEW BEST:: SOT 32867 SOS 24121 HAS SOPS 24104 HAS SOUS 7245 HAS SOUPS 7234 WITH SCORE 7258.121
AT ITER 2647 NEW BEST:: SOT 32831 SOS 24085 HAS SOPS 24068 HAS SOUS 7232 HAS SOUPS 7221 WITH SCORE 7245.085
AT ITER 2657 NEW BEST:: SOT 32778 SOS 23974 HAS SOPS 23957 HAS SOUS 7178 HAS SOUPS 7167 WITH SCORE 7190.974
AT ITER 2670 NEW BEST:: SOT 32775 SOS 23971 HAS SOPS 23954 HAS SOUS 7172 HAS SOUPS 7161 WITH SCORE 7184.971
AT ITER 2706 NEW BEST:: SOT 32773 SOS 23967 HAS SOPS 23950 HAS SOUS 7169 HAS SOUPS 7158 WITH SCORE 7181.967
AT ITER 2718 NEW BEST:: SOT 32773 SOS 23967 HAS SOPS 23950 HAS SOUS 7168 HAS SOUPS 7157 WITH SCORE 7180.967
AT ITER 2719 NEW BEST:: SOT 32774 SOS 23969 HAS SOPS 23952 HAS SOUS 7167 HAS SOUPS 7156 WITH SCORE 7179.969
AT ITER 2765 NEW BEST:: SOT 32780 SOS 23975 HAS SOPS 23950 HAS SOUS 7168 HAS SOUPS 7154 WITH SCORE 7177.975
AT ITER 2776 NEW BEST:: SOT 32778 SOS 23974 HAS SOPS 23949 HAS SOUS 7167 HAS SOUPS 7153 WITH SCORE 7176.974
AT ITER 2791 NEW BEST:: SOT 32772 SOS 23968 HAS SOPS 23943 HAS SOUS 7162 HAS SOUPS 7148 WITH SCORE 7171.968
AT ITER 2833 NEW BEST:: SOT 32786 SOS 23982 HAS SOPS 23957 HAS SOUS 7160 HAS SOUPS 7146 WITH SCORE 7169.982
AT ITER 2864 NEW BEST:: SOT 32789 SOS 23978 HAS SOPS 23953 HAS SOUS 7160 HAS SOUPS 7146 WITH SCORE 7169.978
AT ITER 2909 NEW BEST:: SOT 32791 SOS 23974 HAS SOPS 23949 HAS SOUS 7156 HAS SOUPS 7142 WITH SCORE 7165.974
AT ITER 2912 NEW BEST:: SOT 32789 SOS 23972 HAS SOPS 23947 HAS SOUS 7154 HAS SOUPS 7140 WITH SCORE 7163.972
AT ITER 2919 NEW BEST:: SOT 32804 SOS 23987 HAS SOPS 23962 HAS SOUS 7151 HAS SOUPS 7137 WITH SCORE 7160.987
AT ITER 2985 NEW BEST:: SOT 32688 SOS 23871 HAS SOPS 23846 HAS SOUS 7146 HAS SOUPS 7132 WITH SCORE 7155.871
AT ITER 3014 NEW BEST:: SOT 32688 SOS 23857 HAS SOPS 23832 HAS SOUS 7146 HAS SOUPS 7132 WITH SCORE 7155.857
AT ITER 3083 NEW BEST:: SOT 32687 SOS 23838 HAS SOPS 23813 HAS SOUS 7143 HAS SOUPS 7129 WITH SCORE 7152.838
AT ITER 3145 NEW BEST:: SOT 32686 SOS 23837 HAS SOPS 23812 HAS SOUS 7141 HAS SOUPS 7127 WITH SCORE 7150.837
AT ITER 3155 NEW BEST:: SOT 32686 SOS 23831 HAS SOPS 23806 HAS SOUS 7138 HAS SOUPS 7124 WITH SCORE 7147.831
AT ITER 3184 NEW BEST:: SOT 32674 SOS 23819 HAS SOPS 23794 HAS SOUS 7108 HAS SOUPS 7094 WITH SCORE 7117.819
AT ITER 3187 NEW BEST:: SOT 32672 SOS 23815 HAS SOPS 23790 HAS SOUS 7105 HAS SOUPS 7091 WITH SCORE 7114.815
AT ITER 3200 NEW BEST:: SOT 32671 SOS 23814 HAS SOPS 23789 HAS SOUS 7103 HAS SOUPS 7089 WITH SCORE 7112.814
AT ITER 3246 NEW BEST:: SOT 32667 SOS 23810 HAS SOPS 23785 HAS SOUS 7095 HAS SOUPS 7081 WITH SCORE 7104.81
AT ITER 3270 NEW BEST:: SOT 32667 SOS 23785 HAS SOPS 23760 HAS SOUS 7093 HAS SOUPS 7079 WITH SCORE 7102.785
AT ITER 3305 NEW BEST:: SOT 32656 SOS 23774 HAS SOPS 23749 HAS SOUS 7087 HAS SOUPS 7073 WITH SCORE 7096.774
AT ITER 3373 NEW BEST:: SOT 32654 SOS 23774 HAS SOPS 23749 HAS SOUS 7085 HAS SOUPS 7071 WITH SCORE 7094.774
AT ITER 3483 NEW BEST:: SOT 32654 SOS 23798 HAS SOPS 23773 HAS SOUS 7070 HAS SOUPS 7056 WITH SCORE 7079.798
AT ITER 3494 NEW BEST:: SOT 32653 SOS 23804 HAS SOPS 23779 HAS SOUS 7069 HAS SOUPS 7055 WITH SCORE 7078.804
AT ITER 3538 NEW BEST:: SOT 32640 SOS 23792 HAS SOPS 23781 HAS SOUS 7066 HAS SOUPS 7055 WITH SCORE 7078.792
AT ITER 3550 NEW BEST:: SOT 32634 SOS 23780 HAS SOPS 23769 HAS SOUS 7054 HAS SOUPS 7043 WITH SCORE 7066.78
AT ITER 3595 NEW BEST:: SOT 32631 SOS 23777 HAS SOPS 23766 HAS SOUS 7048 HAS SOUPS 7037 WITH SCORE 7060.777
AT ITER 3599 NEW BEST:: SOT 32631 SOS 23757 HAS SOPS 23746 HAS SOUS 7047 HAS SOUPS 7036 WITH SCORE 7059.757
AT ITER 3672 NEW BEST:: SOT 32655 SOS 23778 HAS SOPS 23767 HAS SOUS 7044 HAS SOUPS 7033 WITH SCORE 7056.778
AT ITER 3680 NEW BEST:: SOT 32653 SOS 23778 HAS SOPS 23767 HAS SOUS 7042 HAS SOUPS 7031 WITH SCORE 7054.778
AT ITER 3701 NEW BEST:: SOT 32654 SOS 23780 HAS SOPS 23769 HAS SOUS 7037 HAS SOUPS 7026 WITH SCORE 7049.78
AT ITER 3735 NEW BEST:: SOT 32651 SOS 23777 HAS SOPS 23766 HAS SOUS 7031 HAS SOUPS 7020 WITH SCORE 7043.777
AT ITER 3792 NEW BEST:: SOT 32653 SOS 23773 HAS SOPS 23762 HAS SOUS 7029 HAS SOUPS 7018 WITH SCORE 7041.773
AT ITER 3858 NEW BEST:: SOT 32652 SOS 23772 HAS SOPS 23761 HAS SOUS 7027 HAS SOUPS 7016 WITH SCORE 7039.772
AT ITER 3885 NEW BEST:: SOT 32652 SOS 23772 HAS SOPS 23761 HAS SOUS 7026 HAS SOUPS 7015 WITH SCORE 7038.772
AT ITER 3893 NEW BEST:: SOT 32653 SOS 23827 HAS SOPS 23816 HAS SOUS 7025 HAS SOUPS 7014 WITH SCORE 7037.827
AT ITER 3914 NEW BEST:: SOT 32652 SOS 23825 HAS SOPS 23814 HAS SOUS 7025 HAS SOUPS 7014 WITH SCORE 7037.825
AT ITER 3950 NEW BEST:: SOT 32651 SOS 23824 HAS SOPS 23813 HAS SOUS 7021 HAS SOUPS 7010 WITH SCORE 7033.824
AT ITER 4079 NEW BEST:: SOT 32651 SOS 23824 HAS SOPS 23813 HAS SOUS 7017 HAS SOUPS 7006 WITH SCORE 7029.824
AT ITER 4225 NEW BEST:: SOT 32653 SOS 23826 HAS SOPS 23815 HAS SOUS 7015 HAS SOUPS 7004 WITH SCORE 7027.826
AT ITER 4354 NEW BEST:: SOT 32652 SOS 23824 HAS SOPS 23813 HAS SOUS 7013 HAS SOUPS 7002 WITH SCORE 7025.824
AT ITER 4355 NEW BEST:: SOT 32656 SOS 23827 HAS SOPS 23808 HAS SOUS 7010 HAS SOUPS 6999 WITH SCORE 7022.827
AT ITER 4362 NEW BEST:: SOT 32654 SOS 23823 HAS SOPS 23804 HAS SOUS 7003 HAS SOUPS 6992 WITH SCORE 7015.823
AT ITER 4389 NEW BEST:: SOT 32652 SOS 23819 HAS SOPS 23800 HAS SOUS 6999 HAS SOUPS 6988 WITH SCORE 7011.819
AT ITER 4428 NEW BEST:: SOT 32651 SOS 23817 HAS SOPS 23798 HAS SOUS 6997 HAS SOUPS 6986 WITH SCORE 7009.817
AT ITER 4490 NEW BEST:: SOT 32576 SOS 23742 HAS SOPS 23723 HAS SOUS 6994 HAS SOUPS 6983 WITH SCORE 7006.742
AT ITER 4495 NEW BEST:: SOT 32571 SOS 23737 HAS SOPS 23718 HAS SOUS 6988 HAS SOUPS 6977 WITH SCORE 7000.737
AT ITER 4561 NEW BEST:: SOT 32608 SOS 23771 HAS SOPS 23752 HAS SOUS 6982 HAS SOUPS 6971 WITH SCORE 6994.771
AT ITER 4615 NEW BEST:: SOT 32563 SOS 23726 HAS SOPS 23707 HAS SOUS 6977 HAS SOUPS 6966 WITH SCORE 6989.726
AT ITER 4822 NEW BEST:: SOT 32560 SOS 23723 HAS SOPS 23704 HAS SOUS 6972 HAS SOUPS 6961 WITH SCORE 6984.723
AT ITER 4930 NEW BEST:: SOT 32552 SOS 23715 HAS SOPS 23696 HAS SOUS 6972 HAS SOUPS 6961 WITH SCORE 6984.715
AT ITER 4952 NEW BEST:: SOT 32550 SOS 23713 HAS SOPS 23694 HAS SOUS 6968 HAS SOUPS 6957 WITH SCORE 6980.713
AT ITER 5026 NEW BEST:: SOT 32550 SOS 23713 HAS SOPS 23693 HAS SOUS 6968 HAS SOUPS 6956 WITH SCORE 6979.713
AT ITER 5035 NEW BEST:: SOT 32552 SOS 23715 HAS SOPS 23690 HAS SOUS 6972 HAS SOUPS 6955 WITH SCORE 6978.715
AT ITER 5127 NEW BEST:: SOT 32551 SOS 23714 HAS SOPS 23689 HAS SOUS 6971 HAS SOUPS 6954 WITH SCORE 6977.714
AT ITER 5323 NEW BEST:: SOT 32550 SOS 23702 HAS SOPS 23677 HAS SOUS 6969 HAS SOUPS 6952 WITH SCORE 6975.702
AT ITER 5344 NEW BEST:: SOT 32558 SOS 23710 HAS SOPS 23685 HAS SOUS 6968 HAS SOUPS 6951 WITH SCORE 6974.71
AT ITER 5357 NEW BEST:: SOT 32565 SOS 23717 HAS SOPS 23692 HAS SOUS 6966 HAS SOUPS 6949 WITH SCORE 6972.717
AT ITER 5369 NEW BEST:: SOT 32578 SOS 23728 HAS SOPS 23703 HAS SOUS 6959 HAS SOUPS 6942 WITH SCORE 6965.728
AT ITER 5379 NEW BEST:: SOT 32578 SOS 23728 HAS SOPS 23703 HAS SOUS 6958 HAS SOUPS 6941 WITH SCORE 6964.728
AT ITER 5429 NEW BEST:: SOT 32577 SOS 23727 HAS SOPS 23702 HAS SOUS 6956 HAS SOUPS 6939 WITH SCORE 6962.727
AT ITER 5742 NEW BEST:: SOT 32557 SOS 23707 HAS SOPS 23682 HAS SOUS 6936 HAS SOUPS 6919 WITH SCORE 6942.707
AT ITER 5789 NEW BEST:: SOT 32557 SOS 23707 HAS SOPS 23682 HAS SOUS 6934 HAS SOUPS 6917 WITH SCORE 6940.707
AT ITER 5792 NEW BEST:: SOT 32556 SOS 23706 HAS SOPS 23681 HAS SOUS 6932 HAS SOUPS 6915 WITH SCORE 6938.706
AT ITER 5795 NEW BEST:: SOT 32548 SOS 23698 HAS SOPS 23673 HAS SOUS 6932 HAS SOUPS 6915 WITH SCORE 6938.698
AT ITER 5799 NEW BEST:: SOT 32548 SOS 23698 HAS SOPS 23673 HAS SOUS 6929 HAS SOUPS 6912 WITH SCORE 6935.698
AT ITER 5820 NEW BEST:: SOT 32546 SOS 23696 HAS SOPS 23671 HAS SOUS 6927 HAS SOUPS 6910 WITH SCORE 6933.696
AT ITER 5903 NEW BEST:: SOT 32545 SOS 23694 HAS SOPS 23669 HAS SOUS 6925 HAS SOUPS 6908 WITH SCORE 6931.694
AT ITER 6001 NEW BEST:: SOT 32543 SOS 23696 HAS SOPS 23671 HAS SOUS 6922 HAS SOUPS 6905 WITH SCORE 6928.696
AT ITER 6156 NEW BEST:: SOT 32541 SOS 23694 HAS SOPS 23669 HAS SOUS 6920 HAS SOUPS 6903 WITH SCORE 6926.694
AT ITER 6213 NEW BEST:: SOT 32538 SOS 23688 HAS SOPS 23663 HAS SOUS 6916 HAS SOUPS 6899 WITH SCORE 6922.688
AT ITER 6340 NEW BEST:: SOT 32535 SOS 23690 HAS SOPS 23665 HAS SOUS 6913 HAS SOUPS 6896 WITH SCORE 6919.69
AT ITER 6381 NEW BEST:: SOT 32531 SOS 23686 HAS SOPS 23661 HAS SOUS 6912 HAS SOUPS 6895 WITH SCORE 6918.686
AT ITER 6388 NEW BEST:: SOT 32530 SOS 23685 HAS SOPS 23660 HAS SOUS 6910 HAS SOUPS 6893 WITH SCORE 6916.685
AT ITER 6421 NEW BEST:: SOT 32530 SOS 23665 HAS SOPS 23640 HAS SOUS 6910 HAS SOUPS 6893 WITH SCORE 6916.665
AT ITER 6481 NEW BEST:: SOT 32529 SOS 23664 HAS SOPS 23639 HAS SOUS 6908 HAS SOUPS 6891 WITH SCORE 6914.664
AT ITER 6821 NEW BEST:: SOT 32529 SOS 23664 HAS SOPS 23639 HAS SOUS 6890 HAS SOUPS 6873 WITH SCORE 6896.664
AT ITER 6830 NEW BEST:: SOT 32499 SOS 23634 HAS SOPS 23609 HAS SOUS 6861 HAS SOUPS 6844 WITH SCORE 6867.634
AT ITER 6941 NEW BEST:: SOT 32498 SOS 23628 HAS SOPS 23603 HAS SOUS 6858 HAS SOUPS 6841 WITH SCORE 6864.628
AT ITER 7230 NEW BEST:: SOT 32490 SOS 23620 HAS SOPS 23595 HAS SOUS 6849 HAS SOUPS 6832 WITH SCORE 6855.62
AT ITER 7264 NEW BEST:: SOT 32486 SOS 23612 HAS SOPS 23587 HAS SOUS 6841 HAS SOUPS 6824 WITH SCORE 6847.612
AT ITER 7300 NEW BEST:: SOT 32478 SOS 23604 HAS SOPS 23579 HAS SOUS 6833 HAS SOUPS 6816 WITH SCORE 6839.604
AT ITER 7445 NEW BEST:: SOT 32476 SOS 23602 HAS SOPS 23577 HAS SOUS 6830 HAS SOUPS 6813 WITH SCORE 6836.602
AT ITER 7533 NEW BEST:: SOT 32478 SOS 23604 HAS SOPS 23579 HAS SOUS 6826 HAS SOUPS 6809 WITH SCORE 6832.604
AT ITER 7882 NEW BEST:: SOT 32478 SOS 23604 HAS SOPS 23579 HAS SOUS 6824 HAS SOUPS 6807 WITH SCORE 6830.604
AT ITER 8012 NEW BEST:: SOT 32475 SOS 23601 HAS SOPS 23576 HAS SOUS 6812 HAS SOUPS 6795 WITH SCORE 6818.601
AT ITER 8200 NEW BEST:: SOT 32476 SOS 23597 HAS SOPS 23572 HAS SOUS 6812 HAS SOUPS 6795 WITH SCORE 6818.597
AT ITER 8273 NEW BEST:: SOT 32474 SOS 23595 HAS SOPS 23570 HAS SOUS 6809 HAS SOUPS 6792 WITH SCORE 6815.595
AT ITER 8378 NEW BEST:: SOT 32471 SOS 23589 HAS SOPS 23564 HAS SOUS 6805 HAS SOUPS 6788 WITH SCORE 6811.589
AT ITER 8407 NEW BEST:: SOT 32470 SOS 23588 HAS SOPS 23563 HAS SOUS 6803 HAS SOUPS 6786 WITH SCORE 6809.588
AT ITER 8654 NEW BEST:: SOT 32470 SOS 23587 HAS SOPS 23562 HAS SOUS 6803 HAS SOUPS 6786 WITH SCORE 6809.587
AT ITER 8663 NEW BEST:: SOT 32466 SOS 23621 HAS SOPS 23596 HAS SOUS 6801 HAS SOUPS 6784 WITH SCORE 6807.621
AT ITER 8767 NEW BEST:: SOT 32466 SOS 23617 HAS SOPS 23592 HAS SOUS 6801 HAS SOUPS 6784 WITH SCORE 6807.617
AT ITER 8781 NEW BEST:: SOT 32487 SOS 23638 HAS SOPS 23613 HAS SOUS 6795 HAS SOUPS 6778 WITH SCORE 6801.638
AT ITER 8908 NEW BEST:: SOT 32484 SOS 23635 HAS SOPS 23613 HAS SOUS 6789 HAS SOUPS 6775 WITH SCORE 6798.635
AT ITER 9071 NEW BEST:: SOT 32476 SOS 23627 HAS SOPS 23615 HAS SOUS 6780 HAS SOUPS 6772 WITH SCORE 6795.627
AT ITER 9088 NEW BEST:: SOT 32500 SOS 23651 HAS SOPS 23639 HAS SOUS 6777 HAS SOUPS 6769 WITH SCORE 6792.651
AT ITER 9210 NEW BEST:: SOT 32500 SOS 23649 HAS SOPS 23637 HAS SOUS 6777 HAS SOUPS 6769 WITH SCORE 6792.649
AT ITER 9664 NEW BEST:: SOT 32499 SOS 23645 HAS SOPS 23633 HAS SOUS 6775 HAS SOUPS 6767 WITH SCORE 6790.645
AT ITER 9746 NEW BEST:: SOT 32499 SOS 23645 HAS SOPS 23632 HAS SOUS 6774 HAS SOUPS 6766 WITH SCORE 6789.645
AT ITER 9880 NEW BEST:: SOT 32499 SOS 23643 HAS SOPS 23630 HAS SOUS 6774 HAS SOUPS 6766 WITH SCORE 6789.643
AT ITER 9940 NEW BEST:: SOT 32500 SOS 23641 HAS SOPS 23628 HAS SOUS 6774 HAS SOUPS 6766 WITH SCORE 6789.641
STATE_SPACE STATES 689901 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2784245 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1680818937571

--------------------
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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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

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="Anderson-PT-05"
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 Anderson-PT-05, 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 r523-tall-167987247500016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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