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.r459-smll-167912651300464.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 StigmergyCommit-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651300464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 9.5K Feb 26 11:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 11:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 11:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 11:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 11:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.8M 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 1679359265455

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=StigmergyCommit-PT-06a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 00:41:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 00:41:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 00:41:09] [INFO ] Load time of PNML (sax parser for PT used): 693 ms
[2023-03-21 00:41:09] [INFO ] Transformed 256 places.
[2023-03-21 00:41:09] [INFO ] Transformed 2816 transitions.
[2023-03-21 00:41:09] [INFO ] Found NUPN structural information;
[2023-03-21 00:41:09] [INFO ] Parsed PT model containing 256 places and 2816 transitions and 35321 arcs in 868 ms.
[2023-03-21 00:41:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 256 places, 2816 transitions and 35321 arcs took 80 ms.
Total runtime 1000 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 06a
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: 256 places, 2816 transitions, 35321 arcs.
AT ITER 0 NEW BEST:: SOT 252781 SOS 178414 HAS SOPS 102995 HAS SOUS 16963 HAS SOUPS 16889 WITH SCORE 17067.414
AT ITER 2 NEW BEST:: SOT 252696 SOS 178327 HAS SOPS 102908 HAS SOUS 16961 HAS SOUPS 16887 WITH SCORE 17065.327
AT ITER 29 NEW BEST:: SOT 243262 SOS 182188 HAS SOPS 93657 HAS SOUS 10514 HAS SOUPS 10211 WITH SCORE 10393.188
AT ITER 55 NEW BEST:: SOT 243233 SOS 182060 HAS SOPS 93599 HAS SOUS 10485 HAS SOUPS 10182 WITH SCORE 10364.06
AT ITER 57 NEW BEST:: SOT 243251 SOS 182070 HAS SOPS 93609 HAS SOUS 10477 HAS SOUPS 10174 WITH SCORE 10356.07
AT ITER 62 NEW BEST:: SOT 243098 SOS 186663 HAS SOPS 126923 HAS SOUS 10382 HAS SOUPS 10128 WITH SCORE 10314.663
AT ITER 73 NEW BEST:: SOT 244544 SOS 188073 HAS SOPS 127332 HAS SOUS 10057 HAS SOUPS 9796 WITH SCORE 9984.073
AT ITER 97 NEW BEST:: SOT 244501 SOS 188071 HAS SOPS 127334 HAS SOUS 10014 HAS SOUPS 9753 WITH SCORE 9941.071
AT ITER 119 NEW BEST:: SOT 244497 SOS 188063 HAS SOPS 127326 HAS SOUS 10010 HAS SOUPS 9749 WITH SCORE 9937.063
AT ITER 152 NEW BEST:: SOT 242632 SOS 186208 HAS SOPS 125505 HAS SOUS 9904 HAS SOUPS 9643 WITH SCORE 9829.208
AT ITER 155 NEW BEST:: SOT 242713 SOS 186242 HAS SOPS 125551 HAS SOUS 9896 HAS SOUPS 9635 WITH SCORE 9821.242
AT ITER 173 NEW BEST:: SOT 242712 SOS 186241 HAS SOPS 125549 HAS SOUS 9894 HAS SOUPS 9633 WITH SCORE 9819.241
AT ITER 189 NEW BEST:: SOT 242711 SOS 186240 HAS SOPS 125547 HAS SOUS 9886 HAS SOUPS 9625 WITH SCORE 9811.24
AT ITER 217 NEW BEST:: SOT 242700 SOS 186236 HAS SOPS 125571 HAS SOUS 9875 HAS SOUPS 9614 WITH SCORE 9800.236
AT ITER 226 NEW BEST:: SOT 242686 SOS 186208 HAS SOPS 125543 HAS SOUS 9859 HAS SOUPS 9598 WITH SCORE 9784.208
AT ITER 229 NEW BEST:: SOT 242676 SOS 186271 HAS SOPS 125614 HAS SOUS 9849 HAS SOUPS 9588 WITH SCORE 9774.271
AT ITER 235 NEW BEST:: SOT 242671 SOS 186261 HAS SOPS 125604 HAS SOUS 9844 HAS SOUPS 9583 WITH SCORE 9769.261
AT ITER 244 NEW BEST:: SOT 242675 SOS 186113 HAS SOPS 125492 HAS SOUS 9820 HAS SOUPS 9559 WITH SCORE 9745.113
AT ITER 254 NEW BEST:: SOT 241101 SOS 184539 HAS SOPS 126158 HAS SOUS 9710 HAS SOUPS 9449 WITH SCORE 9633.539
AT ITER 281 NEW BEST:: SOT 241214 SOS 184765 HAS SOPS 126384 HAS SOUS 9708 HAS SOUPS 9447 WITH SCORE 9631.765
AT ITER 288 NEW BEST:: SOT 241161 SOS 184705 HAS SOPS 126324 HAS SOUS 9678 HAS SOUPS 9417 WITH SCORE 9601.705
AT ITER 311 NEW BEST:: SOT 241160 SOS 184696 HAS SOPS 126314 HAS SOUS 9668 HAS SOUPS 9407 WITH SCORE 9591.696
AT ITER 325 NEW BEST:: SOT 241160 SOS 184688 HAS SOPS 126314 HAS SOUS 9668 HAS SOUPS 9407 WITH SCORE 9591.688
AT ITER 326 NEW BEST:: SOT 241160 SOS 184636 HAS SOPS 126262 HAS SOUS 9629 HAS SOUPS 9368 WITH SCORE 9552.636
AT ITER 330 NEW BEST:: SOT 241152 SOS 184465 HAS SOPS 126071 HAS SOUS 9608 HAS SOUPS 9347 WITH SCORE 9531.465
AT ITER 342 NEW BEST:: SOT 241152 SOS 184472 HAS SOPS 126071 HAS SOUS 9601 HAS SOUPS 9340 WITH SCORE 9524.472
AT ITER 350 NEW BEST:: SOT 241197 SOS 184462 HAS SOPS 126061 HAS SOUS 9596 HAS SOUPS 9335 WITH SCORE 9519.462
AT ITER 359 NEW BEST:: SOT 241218 SOS 184344 HAS SOPS 125943 HAS SOUS 9537 HAS SOUPS 9276 WITH SCORE 9460.344
AT ITER 365 NEW BEST:: SOT 241215 SOS 184338 HAS SOPS 125937 HAS SOUS 9534 HAS SOUPS 9273 WITH SCORE 9457.338
AT ITER 427 NEW BEST:: SOT 241211 SOS 184330 HAS SOPS 125929 HAS SOUS 9530 HAS SOUPS 9269 WITH SCORE 9453.33
AT ITER 430 NEW BEST:: SOT 239448 SOS 182566 HAS SOPS 124169 HAS SOUS 9328 HAS SOUPS 9067 WITH SCORE 9249.566
AT ITER 434 NEW BEST:: SOT 239441 SOS 182559 HAS SOPS 124161 HAS SOUS 9326 HAS SOUPS 9065 WITH SCORE 9247.559
AT ITER 441 NEW BEST:: SOT 239437 SOS 182599 HAS SOPS 124201 HAS SOUS 9322 HAS SOUPS 9061 WITH SCORE 9243.599
AT ITER 469 NEW BEST:: SOT 239415 SOS 182595 HAS SOPS 124225 HAS SOUS 9300 HAS SOUPS 9039 WITH SCORE 9221.595
AT ITER 500 NEW BEST:: SOT 239415 SOS 182495 HAS SOPS 124225 HAS SOUS 9297 HAS SOUPS 9036 WITH SCORE 9218.495
AT ITER 524 NEW BEST:: SOT 238827 SOS 181907 HAS SOPS 123637 HAS SOUS 9202 HAS SOUPS 8941 WITH SCORE 9122.907
AT ITER 538 NEW BEST:: SOT 239088 SOS 181858 HAS SOPS 123588 HAS SOUS 9172 HAS SOUPS 8911 WITH SCORE 9092.858
AT ITER 555 NEW BEST:: SOT 239108 SOS 181794 HAS SOPS 123528 HAS SOUS 9158 HAS SOUPS 8897 WITH SCORE 9078.794
AT ITER 564 NEW BEST:: SOT 239108 SOS 181736 HAS SOPS 123470 HAS SOUS 9158 HAS SOUPS 8897 WITH SCORE 9078.736
AT ITER 587 NEW BEST:: SOT 239093 SOS 181722 HAS SOPS 123456 HAS SOUS 9136 HAS SOUPS 8875 WITH SCORE 9056.722
AT ITER 592 NEW BEST:: SOT 239099 SOS 181724 HAS SOPS 123458 HAS SOUS 9132 HAS SOUPS 8871 WITH SCORE 9052.724
AT ITER 597 NEW BEST:: SOT 239096 SOS 181719 HAS SOPS 123452 HAS SOUS 9126 HAS SOUPS 8865 WITH SCORE 9046.719
AT ITER 650 NEW BEST:: SOT 239049 SOS 181693 HAS SOPS 123444 HAS SOUS 9079 HAS SOUPS 8818 WITH SCORE 8999.693
AT ITER 668 NEW BEST:: SOT 239027 SOS 181649 HAS SOPS 123400 HAS SOUS 9057 HAS SOUPS 8796 WITH SCORE 8977.649
AT ITER 693 NEW BEST:: SOT 239089 SOS 181703 HAS SOPS 123454 HAS SOUS 9049 HAS SOUPS 8788 WITH SCORE 8969.703
AT ITER 719 NEW BEST:: SOT 239095 SOS 181691 HAS SOPS 123442 HAS SOUS 9043 HAS SOUPS 8782 WITH SCORE 8963.691
AT ITER 790 NEW BEST:: SOT 239095 SOS 181690 HAS SOPS 123442 HAS SOUS 9043 HAS SOUPS 8782 WITH SCORE 8963.69
AT ITER 803 NEW BEST:: SOT 239097 SOS 181690 HAS SOPS 123442 HAS SOUS 9041 HAS SOUPS 8780 WITH SCORE 8961.69
AT ITER 818 NEW BEST:: SOT 239073 SOS 181602 HAS SOPS 123354 HAS SOUS 9017 HAS SOUPS 8756 WITH SCORE 8937.602
AT ITER 824 NEW BEST:: SOT 238052 SOS 180576 HAS SOPS 122866 HAS SOUS 8924 HAS SOUPS 8663 WITH SCORE 8843.576
AT ITER 880 NEW BEST:: SOT 237079 SOS 179315 HAS SOPS 121588 HAS SOUS 8921 HAS SOUPS 8660 WITH SCORE 8839.315
AT ITER 888 NEW BEST:: SOT 237079 SOS 179299 HAS SOPS 121572 HAS SOUS 8905 HAS SOUPS 8644 WITH SCORE 8823.299
AT ITER 916 NEW BEST:: SOT 236197 SOS 177526 HAS SOPS 120702 HAS SOUS 8765 HAS SOUPS 8516 WITH SCORE 8693.526
AT ITER 991 NEW BEST:: SOT 236205 SOS 177532 HAS SOPS 120708 HAS SOUS 8763 HAS SOUPS 8514 WITH SCORE 8691.532
AT ITER 1007 NEW BEST:: SOT 236306 SOS 177480 HAS SOPS 120682 HAS SOUS 8758 HAS SOUPS 8509 WITH SCORE 8686.48
AT ITER 1031 NEW BEST:: SOT 236303 SOS 177474 HAS SOPS 120676 HAS SOUS 8758 HAS SOUPS 8509 WITH SCORE 8686.474
AT ITER 1044 NEW BEST:: SOT 236297 SOS 177462 HAS SOPS 120664 HAS SOUS 8752 HAS SOUPS 8503 WITH SCORE 8680.462
AT ITER 1083 NEW BEST:: SOT 236297 SOS 177454 HAS SOPS 120656 HAS SOUS 8748 HAS SOUPS 8499 WITH SCORE 8676.454
AT ITER 1139 NEW BEST:: SOT 236278 SOS 177416 HAS SOPS 120618 HAS SOUS 8710 HAS SOUPS 8461 WITH SCORE 8638.416
AT ITER 1141 NEW BEST:: SOT 236275 SOS 177394 HAS SOPS 120596 HAS SOUS 8707 HAS SOUPS 8458 WITH SCORE 8635.394
AT ITER 1170 NEW BEST:: SOT 236284 SOS 177455 HAS SOPS 120657 HAS SOUS 8695 HAS SOUPS 8446 WITH SCORE 8623.455
AT ITER 1179 NEW BEST:: SOT 236255 SOS 177496 HAS SOPS 121718 HAS SOUS 8690 HAS SOUPS 8441 WITH SCORE 8618.496
AT ITER 1210 NEW BEST:: SOT 236254 SOS 177495 HAS SOPS 121716 HAS SOUS 8688 HAS SOUPS 8439 WITH SCORE 8616.495
AT ITER 1239 NEW BEST:: SOT 236253 SOS 177493 HAS SOPS 121714 HAS SOUS 8687 HAS SOUPS 8438 WITH SCORE 8615.493
AT ITER 1244 NEW BEST:: SOT 236263 SOS 167554 HAS SOPS 111671 HAS SOUS 8683 HAS SOUPS 8438 WITH SCORE 8605.554
AT ITER 1321 NEW BEST:: SOT 236265 SOS 167554 HAS SOPS 111671 HAS SOUS 8681 HAS SOUPS 8436 WITH SCORE 8603.554
AT ITER 1322 NEW BEST:: SOT 236264 SOS 167553 HAS SOPS 111669 HAS SOUS 8679 HAS SOUPS 8434 WITH SCORE 8601.553
AT ITER 1388 NEW BEST:: SOT 236263 SOS 167551 HAS SOPS 111667 HAS SOUS 8677 HAS SOUPS 8432 WITH SCORE 8599.551
AT ITER 1397 NEW BEST:: SOT 236263 SOS 167535 HAS SOPS 111651 HAS SOUS 8677 HAS SOUPS 8432 WITH SCORE 8599.535
AT ITER 1409 NEW BEST:: SOT 236263 SOS 167510 HAS SOPS 111623 HAS SOUS 8673 HAS SOUPS 8428 WITH SCORE 8595.51
AT ITER 1472 NEW BEST:: SOT 236263 SOS 167522 HAS SOPS 111623 HAS SOUS 8661 HAS SOUPS 8416 WITH SCORE 8583.522
AT ITER 1505 NEW BEST:: SOT 236240 SOS 167492 HAS SOPS 111593 HAS SOUS 8639 HAS SOUPS 8394 WITH SCORE 8561.492
AT ITER 1561 NEW BEST:: SOT 236240 SOS 167492 HAS SOPS 111593 HAS SOUS 8632 HAS SOUPS 8387 WITH SCORE 8554.492
AT ITER 1568 NEW BEST:: SOT 236278 SOS 167475 HAS SOPS 111576 HAS SOUS 8615 HAS SOUPS 8370 WITH SCORE 8537.475
AT ITER 1630 NEW BEST:: SOT 236277 SOS 167474 HAS SOPS 111574 HAS SOUS 8613 HAS SOUPS 8368 WITH SCORE 8535.474
AT ITER 1636 NEW BEST:: SOT 236241 SOS 167432 HAS SOPS 111532 HAS SOUS 8564 HAS SOUPS 8319 WITH SCORE 8486.432
AT ITER 1645 NEW BEST:: SOT 236200 SOS 167397 HAS SOPS 111497 HAS SOUS 8523 HAS SOUPS 8278 WITH SCORE 8445.397
AT ITER 1684 NEW BEST:: SOT 236191 SOS 167331 HAS SOPS 111424 HAS SOUS 8514 HAS SOUPS 8269 WITH SCORE 8436.331
AT ITER 1708 NEW BEST:: SOT 236190 SOS 167330 HAS SOPS 111422 HAS SOUS 8512 HAS SOUPS 8267 WITH SCORE 8434.33
AT ITER 1765 NEW BEST:: SOT 236163 SOS 167276 HAS SOPS 111368 HAS SOUS 8485 HAS SOUPS 8240 WITH SCORE 8407.276
AT ITER 1767 NEW BEST:: SOT 236163 SOS 167276 HAS SOPS 111368 HAS SOUS 8447 HAS SOUPS 8202 WITH SCORE 8369.276
AT ITER 1775 NEW BEST:: SOT 236137 SOS 167290 HAS SOPS 111388 HAS SOUS 8421 HAS SOUPS 8176 WITH SCORE 8343.29
AT ITER 1776 NEW BEST:: SOT 236137 SOS 167290 HAS SOPS 111388 HAS SOUS 8419 HAS SOUPS 8174 WITH SCORE 8341.29
AT ITER 1864 NEW BEST:: SOT 235772 SOS 166872 HAS SOPS 110970 HAS SOUS 8357 HAS SOUPS 8112 WITH SCORE 8278.872
AT ITER 1876 NEW BEST:: SOT 235797 SOS 166870 HAS SOPS 110968 HAS SOUS 8355 HAS SOUPS 8110 WITH SCORE 8276.87
AT ITER 1932 NEW BEST:: SOT 235795 SOS 166890 HAS SOPS 110988 HAS SOUS 8353 HAS SOUPS 8108 WITH SCORE 8274.89
AT ITER 1938 NEW BEST:: SOT 235788 SOS 167005 HAS SOPS 111110 HAS SOUS 8351 HAS SOUPS 8106 WITH SCORE 8273.005
AT ITER 1965 NEW BEST:: SOT 235788 SOS 166952 HAS SOPS 111110 HAS SOUS 8349 HAS SOUPS 8104 WITH SCORE 8270.952
AT ITER 1992 NEW BEST:: SOT 235786 SOS 166949 HAS SOPS 111106 HAS SOUS 8345 HAS SOUPS 8100 WITH SCORE 8266.949
AT ITER 2010 NEW BEST:: SOT 235786 SOS 166946 HAS SOPS 111106 HAS SOUS 8345 HAS SOUPS 8100 WITH SCORE 8266.946
AT ITER 2033 NEW BEST:: SOT 235782 SOS 166938 HAS SOPS 111098 HAS SOUS 8341 HAS SOUPS 8096 WITH SCORE 8262.938
AT ITER 2042 NEW BEST:: SOT 235782 SOS 167010 HAS SOPS 111098 HAS SOUS 8269 HAS SOUPS 8024 WITH SCORE 8191.01
AT ITER 2067 NEW BEST:: SOT 235781 SOS 167013 HAS SOPS 111101 HAS SOUS 8268 HAS SOUPS 8023 WITH SCORE 8190.013
AT ITER 2083 NEW BEST:: SOT 235790 SOS 167004 HAS SOPS 111092 HAS SOUS 8259 HAS SOUPS 8014 WITH SCORE 8181.004
AT ITER 2103 NEW BEST:: SOT 230939 SOS 162168 HAS SOPS 106538 HAS SOUS 7972 HAS SOUPS 7730 WITH SCORE 7892.168
AT ITER 2339 NEW BEST:: SOT 230938 SOS 162197 HAS SOPS 106536 HAS SOUS 7970 HAS SOUPS 7728 WITH SCORE 7890.197
AT ITER 2392 NEW BEST:: SOT 230941 SOS 162248 HAS SOPS 106572 HAS SOUS 7943 HAS SOUPS 7701 WITH SCORE 7863.248
AT ITER 2412 NEW BEST:: SOT 230871 SOS 162162 HAS SOPS 106486 HAS SOUS 7900 HAS SOUPS 7658 WITH SCORE 7820.162
AT ITER 2419 NEW BEST:: SOT 230866 SOS 162160 HAS SOPS 106484 HAS SOUS 7898 HAS SOUPS 7656 WITH SCORE 7818.16
AT ITER 2433 NEW BEST:: SOT 230866 SOS 162156 HAS SOPS 106480 HAS SOUS 7894 HAS SOUPS 7652 WITH SCORE 7814.156
AT ITER 2469 NEW BEST:: SOT 230866 SOS 162156 HAS SOPS 105800 HAS SOUS 7881 HAS SOUPS 7639 WITH SCORE 7801.156
AT ITER 2470 NEW BEST:: SOT 230919 SOS 162154 HAS SOPS 105797 HAS SOUS 7878 HAS SOUPS 7636 WITH SCORE 7798.154
AT ITER 2511 NEW BEST:: SOT 230915 SOS 162159 HAS SOPS 105803 HAS SOUS 7876 HAS SOUPS 7634 WITH SCORE 7796.159
AT ITER 2517 NEW BEST:: SOT 230915 SOS 162157 HAS SOPS 105801 HAS SOUS 7876 HAS SOUPS 7634 WITH SCORE 7796.157
AT ITER 2521 NEW BEST:: SOT 230915 SOS 162147 HAS SOPS 105791 HAS SOUS 7876 HAS SOUPS 7634 WITH SCORE 7796.147
AT ITER 2529 NEW BEST:: SOT 230909 SOS 162141 HAS SOPS 105785 HAS SOUS 7873 HAS SOUPS 7631 WITH SCORE 7793.141
AT ITER 2556 NEW BEST:: SOT 230926 SOS 162105 HAS SOPS 105749 HAS SOUS 7863 HAS SOUPS 7621 WITH SCORE 7783.105
AT ITER 2566 NEW BEST:: SOT 230925 SOS 162104 HAS SOPS 105747 HAS SOUS 7861 HAS SOUPS 7619 WITH SCORE 7781.104
AT ITER 2599 NEW BEST:: SOT 230925 SOS 162054 HAS SOPS 105697 HAS SOUS 7811 HAS SOUPS 7569 WITH SCORE 7731.054
AT ITER 2653 NEW BEST:: SOT 230921 SOS 162022 HAS SOPS 105665 HAS SOUS 7798 HAS SOUPS 7556 WITH SCORE 7718.022
AT ITER 2674 NEW BEST:: SOT 230714 SOS 162148 HAS SOPS 105791 HAS SOUS 7789 HAS SOUPS 7547 WITH SCORE 7709.148
AT ITER 2700 NEW BEST:: SOT 230702 SOS 162124 HAS SOPS 105767 HAS SOUS 7765 HAS SOUPS 7523 WITH SCORE 7685.124
AT ITER 2719 NEW BEST:: SOT 230701 SOS 162131 HAS SOPS 105765 HAS SOUS 7761 HAS SOUPS 7517 WITH SCORE 7679.131
AT ITER 2728 NEW BEST:: SOT 230697 SOS 162147 HAS SOPS 105785 HAS SOUS 7757 HAS SOUPS 7513 WITH SCORE 7675.147
AT ITER 2734 NEW BEST:: SOT 230752 SOS 162141 HAS SOPS 105779 HAS SOUS 7754 HAS SOUPS 7510 WITH SCORE 7672.141
AT ITER 2772 NEW BEST:: SOT 230731 SOS 162117 HAS SOPS 105755 HAS SOUS 7739 HAS SOUPS 7495 WITH SCORE 7657.117
AT ITER 2812 NEW BEST:: SOT 230773 SOS 162201 HAS SOPS 105839 HAS SOUS 7737 HAS SOUPS 7493 WITH SCORE 7655.201
AT ITER 2821 NEW BEST:: SOT 230767 SOS 162175 HAS SOPS 105813 HAS SOUS 7718 HAS SOUPS 7474 WITH SCORE 7636.175
AT ITER 2850 NEW BEST:: SOT 230766 SOS 162173 HAS SOPS 105811 HAS SOUS 7716 HAS SOUPS 7472 WITH SCORE 7634.173
AT ITER 2878 NEW BEST:: SOT 230765 SOS 162172 HAS SOPS 105809 HAS SOUS 7715 HAS SOUPS 7471 WITH SCORE 7633.172
AT ITER 2973 NEW BEST:: SOT 230771 SOS 162190 HAS SOPS 105821 HAS SOUS 7714 HAS SOUPS 7470 WITH SCORE 7632.19
AT ITER 2975 NEW BEST:: SOT 230779 SOS 162188 HAS SOPS 105819 HAS SOUS 7712 HAS SOUPS 7468 WITH SCORE 7630.188
AT ITER 2994 NEW BEST:: SOT 230744 SOS 162153 HAS SOPS 105749 HAS SOUS 7677 HAS SOUPS 7433 WITH SCORE 7595.153
AT ITER 3033 NEW BEST:: SOT 230727 SOS 162119 HAS SOPS 105715 HAS SOUS 7677 HAS SOUPS 7433 WITH SCORE 7595.119
AT ITER 3101 NEW BEST:: SOT 230727 SOS 162043 HAS SOPS 105620 HAS SOUS 7677 HAS SOUPS 7433 WITH SCORE 7595.043
AT ITER 3103 NEW BEST:: SOT 230728 SOS 162057 HAS SOPS 105634 HAS SOUS 7670 HAS SOUPS 7426 WITH SCORE 7588.057
AT ITER 3113 NEW BEST:: SOT 230727 SOS 162056 HAS SOPS 105632 HAS SOUS 7668 HAS SOUPS 7424 WITH SCORE 7586.056
AT ITER 3125 NEW BEST:: SOT 230652 SOS 162030 HAS SOPS 105606 HAS SOUS 7633 HAS SOUPS 7389 WITH SCORE 7551.03
AT ITER 3144 NEW BEST:: SOT 230645 SOS 162053 HAS SOPS 105629 HAS SOUS 7626 HAS SOUPS 7382 WITH SCORE 7544.053
AT ITER 3174 NEW BEST:: SOT 230644 SOS 162051 HAS SOPS 105627 HAS SOUS 7623 HAS SOUPS 7379 WITH SCORE 7541.051
AT ITER 3204 NEW BEST:: SOT 230644 SOS 162047 HAS SOPS 105623 HAS SOUS 7623 HAS SOUPS 7379 WITH SCORE 7541.047
AT ITER 3319 NEW BEST:: SOT 230646 SOS 162027 HAS SOPS 105603 HAS SOUS 7613 HAS SOUPS 7369 WITH SCORE 7531.027
AT ITER 3334 NEW BEST:: SOT 230732 SOS 161987 HAS SOPS 105563 HAS SOUS 7596 HAS SOUPS 7352 WITH SCORE 7513.987
AT ITER 3373 NEW BEST:: SOT 230732 SOS 161953 HAS SOPS 105522 HAS SOUS 7593 HAS SOUPS 7349 WITH SCORE 7510.953
AT ITER 3374 NEW BEST:: SOT 230762 SOS 162013 HAS SOPS 105521 HAS SOUS 7592 HAS SOUPS 7348 WITH SCORE 7510.013
AT ITER 3408 NEW BEST:: SOT 230762 SOS 161995 HAS SOPS 105500 HAS SOUS 7592 HAS SOUPS 7348 WITH SCORE 7509.995
AT ITER 3526 NEW BEST:: SOT 230762 SOS 161977 HAS SOPS 105479 HAS SOUS 7592 HAS SOUPS 7348 WITH SCORE 7509.977
AT ITER 3661 NEW BEST:: SOT 230757 SOS 161972 HAS SOPS 105469 HAS SOUS 7585 HAS SOUPS 7341 WITH SCORE 7502.972
AT ITER 3696 NEW BEST:: SOT 230749 SOS 161956 HAS SOPS 105453 HAS SOUS 7585 HAS SOUPS 7341 WITH SCORE 7502.956
AT ITER 3800 NEW BEST:: SOT 230749 SOS 161942 HAS SOPS 105439 HAS SOUS 7583 HAS SOUPS 7339 WITH SCORE 7500.942
AT ITER 3859 NEW BEST:: SOT 230748 SOS 161954 HAS SOPS 105437 HAS SOUS 7581 HAS SOUPS 7337 WITH SCORE 7498.954
AT ITER 3870 NEW BEST:: SOT 230748 SOS 161954 HAS SOPS 105437 HAS SOUS 7578 HAS SOUPS 7334 WITH SCORE 7495.954
AT ITER 3917 NEW BEST:: SOT 230746 SOS 161950 HAS SOPS 105433 HAS SOUS 7577 HAS SOUPS 7333 WITH SCORE 7494.95
AT ITER 3960 NEW BEST:: SOT 230737 SOS 161944 HAS SOPS 105427 HAS SOUS 7571 HAS SOUPS 7327 WITH SCORE 7488.944
AT ITER 3996 NEW BEST:: SOT 230730 SOS 161930 HAS SOPS 105413 HAS SOUS 7564 HAS SOUPS 7320 WITH SCORE 7481.93
AT ITER 3998 NEW BEST:: SOT 230729 SOS 161928 HAS SOPS 105411 HAS SOUS 7562 HAS SOUPS 7318 WITH SCORE 7479.928
AT ITER 4161 NEW BEST:: SOT 230724 SOS 161918 HAS SOPS 105401 HAS SOUS 7560 HAS SOUPS 7316 WITH SCORE 7477.918
AT ITER 4170 NEW BEST:: SOT 230722 SOS 161914 HAS SOPS 105397 HAS SOUS 7556 HAS SOUPS 7312 WITH SCORE 7473.914
AT ITER 4263 NEW BEST:: SOT 230711 SOS 161903 HAS SOPS 105375 HAS SOUS 7534 HAS SOUPS 7290 WITH SCORE 7451.903
AT ITER 4324 NEW BEST:: SOT 230606 SOS 161904 HAS SOPS 105365 HAS SOUS 7524 HAS SOUPS 7280 WITH SCORE 7441.904
AT ITER 4433 NEW BEST:: SOT 230605 SOS 161903 HAS SOPS 105363 HAS SOUS 7522 HAS SOUPS 7278 WITH SCORE 7439.903
AT ITER 4471 NEW BEST:: SOT 230608 SOS 161835 HAS SOPS 105295 HAS SOUS 7500 HAS SOUPS 7256 WITH SCORE 7417.835
AT ITER 4477 NEW BEST:: SOT 230611 SOS 154455 HAS SOPS 102589 HAS SOUS 7500 HAS SOUPS 7259 WITH SCORE 7413.455
AT ITER 4638 NEW BEST:: SOT 230594 SOS 154438 HAS SOPS 102555 HAS SOUS 7474 HAS SOUPS 7233 WITH SCORE 7387.438
AT ITER 4659 NEW BEST:: SOT 230593 SOS 154415 HAS SOPS 102553 HAS SOUS 7472 HAS SOUPS 7231 WITH SCORE 7385.415
AT ITER 4680 NEW BEST:: SOT 230590 SOS 154427 HAS SOPS 102568 HAS SOUS 7469 HAS SOUPS 7228 WITH SCORE 7382.427
AT ITER 4682 NEW BEST:: SOT 230589 SOS 154426 HAS SOPS 102566 HAS SOUS 7467 HAS SOUPS 7226 WITH SCORE 7380.426
AT ITER 4712 NEW BEST:: SOT 230588 SOS 154424 HAS SOPS 102564 HAS SOUS 7465 HAS SOUPS 7224 WITH SCORE 7378.424
AT ITER 4756 NEW BEST:: SOT 230582 SOS 154412 HAS SOPS 102523 HAS SOUS 7424 HAS SOUPS 7183 WITH SCORE 7337.412
AT ITER 4768 NEW BEST:: SOT 230568 SOS 154391 HAS SOPS 102502 HAS SOUS 7403 HAS SOUPS 7162 WITH SCORE 7316.391
AT ITER 4772 NEW BEST:: SOT 230530 SOS 154355 HAS SOPS 102466 HAS SOUS 7365 HAS SOUPS 7124 WITH SCORE 7278.355
AT ITER 4817 NEW BEST:: SOT 230530 SOS 154339 HAS SOPS 102466 HAS SOUS 7365 HAS SOUPS 7124 WITH SCORE 7278.339
AT ITER 4849 NEW BEST:: SOT 230607 SOS 154397 HAS SOPS 102524 HAS SOUS 7349 HAS SOUPS 7108 WITH SCORE 7262.397
AT ITER 4877 NEW BEST:: SOT 230601 SOS 154363 HAS SOPS 102490 HAS SOUS 7343 HAS SOUPS 7102 WITH SCORE 7256.363
AT ITER 4907 NEW BEST:: SOT 230606 SOS 154368 HAS SOPS 102500 HAS SOUS 7341 HAS SOUPS 7100 WITH SCORE 7254.368
AT ITER 4994 NEW BEST:: SOT 230603 SOS 154366 HAS SOPS 102494 HAS SOUS 7335 HAS SOUPS 7094 WITH SCORE 7248.366
AT ITER 5033 NEW BEST:: SOT 230591 SOS 154362 HAS SOPS 102486 HAS SOUS 7327 HAS SOUPS 7086 WITH SCORE 7240.362
AT ITER 5055 NEW BEST:: SOT 230589 SOS 154358 HAS SOPS 102482 HAS SOUS 7323 HAS SOUPS 7082 WITH SCORE 7236.358
AT ITER 5074 NEW BEST:: SOT 230582 SOS 154351 HAS SOPS 102475 HAS SOUS 7316 HAS SOUPS 7075 WITH SCORE 7229.351
AT ITER 5184 NEW BEST:: SOT 230575 SOS 154344 HAS SOPS 102461 HAS SOUS 7309 HAS SOUPS 7068 WITH SCORE 7222.344
AT ITER 5207 NEW BEST:: SOT 230392 SOS 156661 HAS SOPS 102198 HAS SOUS 7303 HAS SOUPS 7031 WITH SCORE 7187.661
AT ITER 5228 NEW BEST:: SOT 230396 SOS 156669 HAS SOPS 102201 HAS SOUS 7301 HAS SOUPS 7029 WITH SCORE 7185.669
AT ITER 5237 NEW BEST:: SOT 230396 SOS 156681 HAS SOPS 102201 HAS SOUS 7289 HAS SOUPS 7017 WITH SCORE 7173.681
AT ITER 5290 NEW BEST:: SOT 230410 SOS 156645 HAS SOPS 102165 HAS SOUS 7283 HAS SOUPS 7011 WITH SCORE 7167.645
AT ITER 5354 NEW BEST:: SOT 230409 SOS 156643 HAS SOPS 102163 HAS SOUS 7281 HAS SOUPS 7009 WITH SCORE 7165.643
AT ITER 5361 NEW BEST:: SOT 230388 SOS 173842 HAS SOPS 108456 HAS SOUS 7267 HAS SOUPS 6988 WITH SCORE 7161.842
AT ITER 5405 NEW BEST:: SOT 230378 SOS 173832 HAS SOPS 108436 HAS SOUS 7258 HAS SOUPS 6979 WITH SCORE 7152.832
AT ITER 5463 NEW BEST:: SOT 230379 SOS 173826 HAS SOPS 108430 HAS SOUS 7252 HAS SOUPS 6973 WITH SCORE 7146.826
AT ITER 5495 NEW BEST:: SOT 230378 SOS 173814 HAS SOPS 108418 HAS SOUS 7251 HAS SOUPS 6972 WITH SCORE 7145.814
AT ITER 5514 NEW BEST:: SOT 230336 SOS 173751 HAS SOPS 108355 HAS SOUS 7230 HAS SOUPS 6951 WITH SCORE 7124.751
AT ITER 5526 NEW BEST:: SOT 230311 SOS 173723 HAS SOPS 108327 HAS SOUS 7227 HAS SOUPS 6948 WITH SCORE 7121.723
AT ITER 5633 NEW BEST:: SOT 230310 SOS 173714 HAS SOPS 108325 HAS SOUS 7225 HAS SOUPS 6946 WITH SCORE 7119.714
AT ITER 5655 NEW BEST:: SOT 230310 SOS 173724 HAS SOPS 108325 HAS SOUS 7215 HAS SOUPS 6936 WITH SCORE 7109.724
AT ITER 5663 NEW BEST:: SOT 230309 SOS 173719 HAS SOPS 108323 HAS SOUS 7215 HAS SOUPS 6936 WITH SCORE 7109.719
AT ITER 5771 NEW BEST:: SOT 230302 SOS 173705 HAS SOPS 108309 HAS SOUS 7189 HAS SOUPS 6910 WITH SCORE 7083.705
AT ITER 5789 NEW BEST:: SOT 230290 SOS 173693 HAS SOPS 108285 HAS SOUS 7177 HAS SOUPS 6898 WITH SCORE 7071.693
AT ITER 5904 NEW BEST:: SOT 230291 SOS 173698 HAS SOPS 108287 HAS SOUS 7173 HAS SOUPS 6894 WITH SCORE 7067.698
AT ITER 6067 NEW BEST:: SOT 230338 SOS 173658 HAS SOPS 108305 HAS SOUS 7153 HAS SOUPS 6874 WITH SCORE 7047.658
AT ITER 6093 NEW BEST:: SOT 230330 SOS 173690 HAS SOPS 108337 HAS SOUS 7145 HAS SOUPS 6866 WITH SCORE 7039.69
AT ITER 6168 NEW BEST:: SOT 230329 SOS 173689 HAS SOPS 108335 HAS SOUS 7145 HAS SOUPS 6866 WITH SCORE 7039.689
AT ITER 6306 NEW BEST:: SOT 230326 SOS 173679 HAS SOPS 108325 HAS SOUS 7138 HAS SOUPS 6859 WITH SCORE 7032.679
AT ITER 6396 NEW BEST:: SOT 230328 SOS 173683 HAS SOPS 108329 HAS SOUS 7137 HAS SOUPS 6858 WITH SCORE 7031.683
AT ITER 6405 NEW BEST:: SOT 230325 SOS 173661 HAS SOPS 108303 HAS SOUS 7134 HAS SOUPS 6855 WITH SCORE 7028.661
AT ITER 6509 NEW BEST:: SOT 230325 SOS 173661 HAS SOPS 108303 HAS SOUS 7133 HAS SOUPS 6854 WITH SCORE 7027.661
AT ITER 6777 NEW BEST:: SOT 230389 SOS 173735 HAS SOPS 108377 HAS SOUS 7099 HAS SOUPS 6820 WITH SCORE 6993.735
AT ITER 6879 NEW BEST:: SOT 230381 SOS 173715 HAS SOPS 108357 HAS SOUS 7091 HAS SOUPS 6812 WITH SCORE 6985.715
AT ITER 6913 NEW BEST:: SOT 230379 SOS 173713 HAS SOPS 108353 HAS SOUS 7090 HAS SOUPS 6811 WITH SCORE 6984.713
AT ITER 6922 NEW BEST:: SOT 230389 SOS 173697 HAS SOPS 108337 HAS SOUS 7082 HAS SOUPS 6803 WITH SCORE 6976.697
AT ITER 6944 NEW BEST:: SOT 230384 SOS 173687 HAS SOPS 108327 HAS SOUS 7072 HAS SOUPS 6793 WITH SCORE 6966.687
AT ITER 6972 NEW BEST:: SOT 230405 SOS 173728 HAS SOPS 108369 HAS SOUS 7063 HAS SOUPS 6784 WITH SCORE 6957.728
AT ITER 7138 NEW BEST:: SOT 230394 SOS 173701 HAS SOPS 108347 HAS SOUS 7058 HAS SOUPS 6779 WITH SCORE 6952.701
AT ITER 7175 NEW BEST:: SOT 230401 SOS 173708 HAS SOPS 108341 HAS SOUS 7053 HAS SOUPS 6773 WITH SCORE 6946.708
AT ITER 7287 NEW BEST:: SOT 230371 SOS 173684 HAS SOPS 108343 HAS SOUS 7047 HAS SOUPS 6767 WITH SCORE 6940.684
AT ITER 7317 NEW BEST:: SOT 230343 SOS 173678 HAS SOPS 108331 HAS SOUS 7035 HAS SOUPS 6755 WITH SCORE 6928.678
AT ITER 7564 NEW BEST:: SOT 230341 SOS 173718 HAS SOPS 108417 HAS SOUS 7033 HAS SOUPS 6753 WITH SCORE 6926.718
AT ITER 7724 NEW BEST:: SOT 230341 SOS 173718 HAS SOPS 108410 HAS SOUS 7024 HAS SOUPS 6744 WITH SCORE 6917.718
AT ITER 7754 NEW BEST:: SOT 230298 SOS 173577 HAS SOPS 108259 HAS SOUS 7024 HAS SOUPS 6744 WITH SCORE 6917.577
AT ITER 7939 NEW BEST:: SOT 230297 SOS 173575 HAS SOPS 108257 HAS SOUS 7022 HAS SOUPS 6742 WITH SCORE 6915.575
AT ITER 8042 NEW BEST:: SOT 230298 SOS 173551 HAS SOPS 108211 HAS SOUS 7004 HAS SOUPS 6724 WITH SCORE 6897.551
AT ITER 8046 NEW BEST:: SOT 230294 SOS 173539 HAS SOPS 108199 HAS SOUS 7000 HAS SOUPS 6720 WITH SCORE 6893.539
AT ITER 8091 NEW BEST:: SOT 230312 SOS 173549 HAS SOPS 108209 HAS SOUS 6992 HAS SOUPS 6712 WITH SCORE 6885.549
AT ITER 8092 NEW BEST:: SOT 230313 SOS 173551 HAS SOPS 108211 HAS SOUS 6990 HAS SOUPS 6710 WITH SCORE 6883.551
AT ITER 8104 NEW BEST:: SOT 230352 SOS 173585 HAS SOPS 108219 HAS SOUS 6968 HAS SOUPS 6688 WITH SCORE 6861.585
AT ITER 8206 NEW BEST:: SOT 230331 SOS 173543 HAS SOPS 108177 HAS SOUS 6947 HAS SOUPS 6667 WITH SCORE 6840.543
AT ITER 8283 NEW BEST:: SOT 230329 SOS 173539 HAS SOPS 108163 HAS SOUS 6945 HAS SOUPS 6665 WITH SCORE 6838.539
AT ITER 8297 NEW BEST:: SOT 230327 SOS 173537 HAS SOPS 108159 HAS SOUS 6944 HAS SOUPS 6664 WITH SCORE 6837.537
AT ITER 8368 NEW BEST:: SOT 230384 SOS 173503 HAS SOPS 108181 HAS SOUS 6944 HAS SOUPS 6664 WITH SCORE 6837.503
AT ITER 8384 NEW BEST:: SOT 230380 SOS 173499 HAS SOPS 108177 HAS SOUS 6942 HAS SOUPS 6662 WITH SCORE 6835.499
AT ITER 8393 NEW BEST:: SOT 230381 SOS 173500 HAS SOPS 108179 HAS SOUS 6940 HAS SOUPS 6660 WITH SCORE 6833.5
AT ITER 8443 NEW BEST:: SOT 230380 SOS 173493 HAS SOPS 108172 HAS SOUS 6904 HAS SOUPS 6624 WITH SCORE 6797.493
AT ITER 8637 NEW BEST:: SOT 230376 SOS 173486 HAS SOPS 108164 HAS SOUS 6898 HAS SOUPS 6618 WITH SCORE 6791.486
AT ITER 8714 NEW BEST:: SOT 230375 SOS 173485 HAS SOPS 108162 HAS SOUS 6894 HAS SOUPS 6614 WITH SCORE 6787.485
AT ITER 8731 NEW BEST:: SOT 230375 SOS 173483 HAS SOPS 108162 HAS SOUS 6894 HAS SOUPS 6614 WITH SCORE 6787.483
AT ITER 8780 NEW BEST:: SOT 230372 SOS 175941 HAS SOPS 109062 HAS SOUS 6892 HAS SOUPS 6611 WITH SCORE 6786.941
AT ITER 8837 NEW BEST:: SOT 230371 SOS 175939 HAS SOPS 109060 HAS SOUS 6890 HAS SOUPS 6609 WITH SCORE 6784.939
AT ITER 8941 NEW BEST:: SOT 230369 SOS 175936 HAS SOPS 109057 HAS SOUS 6887 HAS SOUPS 6606 WITH SCORE 6781.936
AT ITER 8947 NEW BEST:: SOT 230369 SOS 175888 HAS SOPS 109001 HAS SOUS 6887 HAS SOUPS 6606 WITH SCORE 6781.888
AT ITER 8986 NEW BEST:: SOT 230368 SOS 175886 HAS SOPS 108999 HAS SOUS 6885 HAS SOUPS 6604 WITH SCORE 6779.886
AT ITER 8988 NEW BEST:: SOT 230387 SOS 175905 HAS SOPS 109037 HAS SOUS 6884 HAS SOUPS 6603 WITH SCORE 6778.905
AT ITER 9122 NEW BEST:: SOT 230386 SOS 175902 HAS SOPS 109035 HAS SOUS 6882 HAS SOUPS 6601 WITH SCORE 6776.902
AT ITER 9316 NEW BEST:: SOT 230459 SOS 176014 HAS SOPS 109147 HAS SOUS 6861 HAS SOUPS 6580 WITH SCORE 6756.014
AT ITER 9580 NEW BEST:: SOT 230458 SOS 176013 HAS SOPS 109145 HAS SOUS 6860 HAS SOUPS 6579 WITH SCORE 6755.013
STATE_SPACE STATES 1153503 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7574399 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679360159281

--------------------
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:
++ 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
++ sed s/.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

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="StigmergyCommit-PT-06a"
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 StigmergyCommit-PT-06a, 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 r459-smll-167912651300464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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