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.r075-smll-167814400500024.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 CSRepetitions-COL-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814400500024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 11:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 11:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14K Mar 5 18:22 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 1678219048586

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=CSRepetitions-COL-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-07 19:57:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-07 19:57:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-07 19:57:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-07 19:57:32] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-07 19:57:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1008 ms
[2023-03-07 19:57:32] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 117 PT places and 176.0 transition bindings in 28 ms.
[2023-03-07 19:57:32] [INFO ] Unfolded HLPN to a Petri net with 117 places and 176 transitions 624 arcs in 37 ms.
[2023-03-07 19:57:32] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-07 19:57:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 117 places, 176 transitions and 624 arcs took 13 ms.
Total runtime 1283 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (COL), instance 04
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: 117 places, 176 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 16078 SOS 14221 HAS SOPS 13996 HAS SOUS 12721 HAS SOUPS 12496 WITH SCORE 12510.221
AT ITER 1 NEW BEST:: SOT 16103 SOS 14114 HAS SOPS 13823 HAS SOUS 12537 HAS SOUPS 12246 WITH SCORE 12260.114
AT ITER 2 NEW BEST:: SOT 16108 SOS 14109 HAS SOPS 13813 HAS SOUS 12532 HAS SOUPS 12236 WITH SCORE 12250.109
AT ITER 3 NEW BEST:: SOT 16124 SOS 14097 HAS SOPS 13785 HAS SOUS 12521 HAS SOUPS 12209 WITH SCORE 12223.097
AT ITER 4 NEW BEST:: SOT 16104 SOS 14077 HAS SOPS 13765 HAS SOUS 12481 HAS SOUPS 12169 WITH SCORE 12183.077
AT ITER 5 NEW BEST:: SOT 16120 SOS 14027 HAS SOPS 13682 HAS SOUS 12333 HAS SOUPS 11988 WITH SCORE 12002.027
AT ITER 6 NEW BEST:: SOT 16186 SOS 14000 HAS SOPS 13676 HAS SOUS 12215 HAS SOUPS 11891 WITH SCORE 11905.0
AT ITER 8 NEW BEST:: SOT 16141 SOS 13955 HAS SOPS 13631 HAS SOUS 12170 HAS SOUPS 11846 WITH SCORE 11859.955
AT ITER 9 NEW BEST:: SOT 16132 SOS 13928 HAS SOPS 13604 HAS SOUS 12123 HAS SOUPS 11799 WITH SCORE 11812.928
AT ITER 10 NEW BEST:: SOT 16132 SOS 13903 HAS SOPS 13586 HAS SOUS 12092 HAS SOUPS 11775 WITH SCORE 11788.903
AT ITER 12 NEW BEST:: SOT 16223 SOS 13901 HAS SOPS 13605 HAS SOUS 12023 HAS SOUPS 11727 WITH SCORE 11740.901
AT ITER 13 NEW BEST:: SOT 16140 SOS 13818 HAS SOPS 13522 HAS SOUS 11940 HAS SOUPS 11644 WITH SCORE 11657.818
AT ITER 18 NEW BEST:: SOT 16125 SOS 13803 HAS SOPS 13507 HAS SOUS 11925 HAS SOUPS 11629 WITH SCORE 11642.803
AT ITER 22 NEW BEST:: SOT 16136 SOS 13718 HAS SOPS 13422 HAS SOUS 11744 HAS SOUPS 11448 WITH SCORE 11461.718
AT ITER 23 NEW BEST:: SOT 16202 SOS 13736 HAS SOPS 13440 HAS SOUS 11733 HAS SOUPS 11437 WITH SCORE 11450.736
AT ITER 25 NEW BEST:: SOT 16269 SOS 13715 HAS SOPS 13477 HAS SOUS 11647 HAS SOUPS 11409 WITH SCORE 11422.715
AT ITER 27 NEW BEST:: SOT 16269 SOS 13701 HAS SOPS 13463 HAS SOUS 11632 HAS SOUPS 11394 WITH SCORE 11407.701
AT ITER 30 NEW BEST:: SOT 16241 SOS 13673 HAS SOPS 13435 HAS SOUS 11584 HAS SOUPS 11346 WITH SCORE 11359.673
AT ITER 32 NEW BEST:: SOT 16280 SOS 13634 HAS SOPS 13357 HAS SOUS 11511 HAS SOUPS 11234 WITH SCORE 11247.634
AT ITER 33 NEW BEST:: SOT 16444 SOS 12983 HAS SOPS 12706 HAS SOUS 10639 HAS SOUPS 10362 WITH SCORE 10374.983
AT ITER 34 NEW BEST:: SOT 16455 SOS 12969 HAS SOPS 12670 HAS SOUS 10622 HAS SOUPS 10323 WITH SCORE 10335.969
AT ITER 35 NEW BEST:: SOT 16440 SOS 12909 HAS SOPS 12595 HAS SOUS 10562 HAS SOUPS 10248 WITH SCORE 10260.909
AT ITER 37 NEW BEST:: SOT 16427 SOS 12870 HAS SOPS 12556 HAS SOUS 10497 HAS SOUPS 10183 WITH SCORE 10195.87
AT ITER 39 NEW BEST:: SOT 16416 SOS 12848 HAS SOPS 12534 HAS SOUS 10464 HAS SOUPS 10150 WITH SCORE 10162.848
AT ITER 40 NEW BEST:: SOT 16358 SOS 12790 HAS SOPS 12476 HAS SOUS 10409 HAS SOUPS 10095 WITH SCORE 10107.79
AT ITER 42 NEW BEST:: SOT 16336 SOS 12768 HAS SOPS 12454 HAS SOUS 10381 HAS SOUPS 10067 WITH SCORE 10079.768
AT ITER 43 NEW BEST:: SOT 16727 SOS 12350 HAS SOPS 12036 HAS SOUS 9695 HAS SOUPS 9381 WITH SCORE 9393.35
AT ITER 45 NEW BEST:: SOT 16727 SOS 12339 HAS SOPS 12025 HAS SOUS 9693 HAS SOUPS 9379 WITH SCORE 9391.339
AT ITER 46 NEW BEST:: SOT 16795 SOS 12254 HAS SOPS 11872 HAS SOUS 9738 HAS SOUPS 9356 WITH SCORE 9368.254
AT ITER 48 NEW BEST:: SOT 16790 SOS 12249 HAS SOPS 11867 HAS SOUS 9723 HAS SOUPS 9341 WITH SCORE 9353.249
AT ITER 49 NEW BEST:: SOT 16795 SOS 12234 HAS SOPS 11847 HAS SOUS 9714 HAS SOUPS 9327 WITH SCORE 9339.234
AT ITER 50 NEW BEST:: SOT 16803 SOS 12064 HAS SOPS 11609 HAS SOUS 9640 HAS SOUPS 9185 WITH SCORE 9197.064
AT ITER 51 NEW BEST:: SOT 16803 SOS 12052 HAS SOPS 11597 HAS SOUS 9628 HAS SOUPS 9173 WITH SCORE 9185.052
AT ITER 54 NEW BEST:: SOT 16803 SOS 12009 HAS SOPS 11561 HAS SOUS 9597 HAS SOUPS 9149 WITH SCORE 9161.009
AT ITER 57 NEW BEST:: SOT 16789 SOS 11981 HAS SOPS 11533 HAS SOUS 9569 HAS SOUPS 9121 WITH SCORE 9132.981
AT ITER 59 NEW BEST:: SOT 16756 SOS 11856 HAS SOPS 11408 HAS SOUS 9477 HAS SOUPS 9029 WITH SCORE 9040.856
AT ITER 61 NEW BEST:: SOT 16724 SOS 11804 HAS SOPS 11356 HAS SOUS 9415 HAS SOUPS 8967 WITH SCORE 8978.804
AT ITER 63 NEW BEST:: SOT 16724 SOS 11795 HAS SOPS 11347 HAS SOUS 9415 HAS SOUPS 8967 WITH SCORE 8978.795
AT ITER 64 NEW BEST:: SOT 16724 SOS 11794 HAS SOPS 11346 HAS SOUS 9415 HAS SOUPS 8967 WITH SCORE 8978.794
AT ITER 65 NEW BEST:: SOT 16714 SOS 11764 HAS SOPS 11316 HAS SOUS 9396 HAS SOUPS 8948 WITH SCORE 8959.764
AT ITER 66 NEW BEST:: SOT 16702 SOS 11837 HAS SOPS 11382 HAS SOUS 9389 HAS SOUPS 8934 WITH SCORE 8945.837
AT ITER 70 NEW BEST:: SOT 16638 SOS 11765 HAS SOPS 11310 HAS SOUS 9314 HAS SOUPS 8859 WITH SCORE 8870.765
AT ITER 73 NEW BEST:: SOT 16490 SOS 11640 HAS SOPS 11185 HAS SOUS 9187 HAS SOUPS 8732 WITH SCORE 8743.64
AT ITER 75 NEW BEST:: SOT 16975 SOS 11629 HAS SOPS 11272 HAS SOUS 8799 HAS SOUPS 8442 WITH SCORE 8453.629
AT ITER 78 NEW BEST:: SOT 15473 SOS 11711 HAS SOPS 11664 HAS SOUS 7425 HAS SOUPS 7378 WITH SCORE 7389.711
AT ITER 80 NEW BEST:: SOT 15646 SOS 10795 HAS SOPS 10569 HAS SOUS 7589 HAS SOUPS 7363 WITH SCORE 7373.795
AT ITER 82 NEW BEST:: SOT 15632 SOS 10650 HAS SOPS 10422 HAS SOUS 7404 HAS SOUPS 7176 WITH SCORE 7186.65
AT ITER 83 NEW BEST:: SOT 15614 SOS 10612 HAS SOPS 10384 HAS SOUS 7358 HAS SOUPS 7130 WITH SCORE 7140.612
AT ITER 84 NEW BEST:: SOT 15600 SOS 10598 HAS SOPS 10370 HAS SOUS 7330 HAS SOUPS 7102 WITH SCORE 7112.598
AT ITER 86 NEW BEST:: SOT 15570 SOS 10568 HAS SOPS 10340 HAS SOUS 7270 HAS SOUPS 7042 WITH SCORE 7052.568
AT ITER 97 NEW BEST:: SOT 15570 SOS 10579 HAS SOPS 10351 HAS SOUS 7269 HAS SOUPS 7041 WITH SCORE 7051.579
AT ITER 99 NEW BEST:: SOT 15071 SOS 10130 HAS SOPS 9902 HAS SOUS 7011 HAS SOUPS 6783 WITH SCORE 6793.13
AT ITER 102 NEW BEST:: SOT 15056 SOS 10105 HAS SOPS 9877 HAS SOUS 6966 HAS SOUPS 6738 WITH SCORE 6748.105
AT ITER 109 NEW BEST:: SOT 15036 SOS 10085 HAS SOPS 9857 HAS SOUS 6926 HAS SOUPS 6698 WITH SCORE 6708.085
AT ITER 113 NEW BEST:: SOT 15032 SOS 10065 HAS SOPS 9837 HAS SOUS 6914 HAS SOUPS 6686 WITH SCORE 6696.065
AT ITER 115 NEW BEST:: SOT 15032 SOS 10012 HAS SOPS 9784 HAS SOUS 6914 HAS SOUPS 6686 WITH SCORE 6696.012
AT ITER 116 NEW BEST:: SOT 15015 SOS 10002 HAS SOPS 9774 HAS SOUS 6903 HAS SOUPS 6675 WITH SCORE 6685.002
AT ITER 117 NEW BEST:: SOT 15015 SOS 9960 HAS SOPS 9732 HAS SOUS 6895 HAS SOUPS 6667 WITH SCORE 6676.96
AT ITER 124 NEW BEST:: SOT 14997 SOS 9942 HAS SOPS 9714 HAS SOUS 6883 HAS SOUPS 6655 WITH SCORE 6664.942
AT ITER 128 NEW BEST:: SOT 14984 SOS 9877 HAS SOPS 9651 HAS SOUS 6842 HAS SOUPS 6616 WITH SCORE 6625.877
AT ITER 136 NEW BEST:: SOT 14984 SOS 9880 HAS SOPS 9654 HAS SOUS 6838 HAS SOUPS 6612 WITH SCORE 6621.88
AT ITER 140 NEW BEST:: SOT 15011 SOS 9892 HAS SOPS 9664 HAS SOUS 6817 HAS SOUPS 6589 WITH SCORE 6598.892
AT ITER 143 NEW BEST:: SOT 14960 SOS 9873 HAS SOPS 9645 HAS SOUS 6814 HAS SOUPS 6586 WITH SCORE 6595.873
AT ITER 144 NEW BEST:: SOT 14952 SOS 9865 HAS SOPS 9637 HAS SOUS 6798 HAS SOUPS 6570 WITH SCORE 6579.865
AT ITER 145 NEW BEST:: SOT 14948 SOS 9861 HAS SOPS 9633 HAS SOUS 6762 HAS SOUPS 6534 WITH SCORE 6543.861
AT ITER 148 NEW BEST:: SOT 14922 SOS 9848 HAS SOPS 9620 HAS SOUS 6736 HAS SOUPS 6508 WITH SCORE 6517.848
AT ITER 155 NEW BEST:: SOT 14914 SOS 9840 HAS SOPS 9612 HAS SOUS 6717 HAS SOUPS 6489 WITH SCORE 6498.84
AT ITER 156 NEW BEST:: SOT 14924 SOS 9835 HAS SOPS 9597 HAS SOUS 6727 HAS SOUPS 6489 WITH SCORE 6498.835
AT ITER 160 NEW BEST:: SOT 14908 SOS 9847 HAS SOPS 9609 HAS SOUS 6695 HAS SOUPS 6457 WITH SCORE 6466.847
AT ITER 165 NEW BEST:: SOT 14908 SOS 9845 HAS SOPS 9607 HAS SOUS 6695 HAS SOUPS 6457 WITH SCORE 6466.845
AT ITER 173 NEW BEST:: SOT 14050 SOS 9034 HAS SOPS 8796 HAS SOUS 6429 HAS SOUPS 6191 WITH SCORE 6200.034
AT ITER 181 NEW BEST:: SOT 14069 SOS 8988 HAS SOPS 8732 HAS SOUS 6447 HAS SOUPS 6191 WITH SCORE 6199.988
AT ITER 184 NEW BEST:: SOT 13856 SOS 8795 HAS SOPS 8539 HAS SOUS 6383 HAS SOUPS 6127 WITH SCORE 6135.795
AT ITER 186 NEW BEST:: SOT 13848 SOS 8787 HAS SOPS 8531 HAS SOUS 6367 HAS SOUPS 6111 WITH SCORE 6119.787
AT ITER 193 NEW BEST:: SOT 13806 SOS 8764 HAS SOPS 8508 HAS SOUS 6353 HAS SOUPS 6097 WITH SCORE 6105.764
AT ITER 196 NEW BEST:: SOT 13805 SOS 8762 HAS SOPS 8507 HAS SOUS 6352 HAS SOUPS 6097 WITH SCORE 6105.762
AT ITER 198 NEW BEST:: SOT 14156 SOS 9071 HAS SOPS 8816 HAS SOUS 6225 HAS SOUPS 5970 WITH SCORE 5979.071
AT ITER 204 NEW BEST:: SOT 14126 SOS 9026 HAS SOPS 8771 HAS SOUS 6165 HAS SOUPS 5910 WITH SCORE 5919.026
AT ITER 206 NEW BEST:: SOT 14007 SOS 9132 HAS SOPS 8907 HAS SOUS 6102 HAS SOUPS 5877 WITH SCORE 5886.132
AT ITER 208 NEW BEST:: SOT 14007 SOS 9130 HAS SOPS 8905 HAS SOUS 6098 HAS SOUPS 5873 WITH SCORE 5882.13
AT ITER 210 NEW BEST:: SOT 14012 SOS 8944 HAS SOPS 8693 HAS SOUS 6010 HAS SOUPS 5759 WITH SCORE 5767.944
AT ITER 226 NEW BEST:: SOT 13930 SOS 8899 HAS SOPS 8648 HAS SOUS 6008 HAS SOUPS 5757 WITH SCORE 5765.899
AT ITER 232 NEW BEST:: SOT 13898 SOS 8835 HAS SOPS 8584 HAS SOUS 5912 HAS SOUPS 5661 WITH SCORE 5669.835
AT ITER 243 NEW BEST:: SOT 13898 SOS 8814 HAS SOPS 8563 HAS SOUS 5912 HAS SOUPS 5661 WITH SCORE 5669.814
AT ITER 245 NEW BEST:: SOT 13769 SOS 8717 HAS SOPS 8466 HAS SOUS 5834 HAS SOUPS 5583 WITH SCORE 5591.717
AT ITER 246 NEW BEST:: SOT 13759 SOS 8707 HAS SOPS 8456 HAS SOUS 5831 HAS SOUPS 5580 WITH SCORE 5588.707
AT ITER 254 NEW BEST:: SOT 13759 SOS 8697 HAS SOPS 8446 HAS SOUS 5831 HAS SOUPS 5580 WITH SCORE 5588.697
AT ITER 255 NEW BEST:: SOT 13759 SOS 8692 HAS SOPS 8441 HAS SOUS 5831 HAS SOUPS 5580 WITH SCORE 5588.692
AT ITER 263 NEW BEST:: SOT 13759 SOS 8678 HAS SOPS 8427 HAS SOUS 5831 HAS SOUPS 5580 WITH SCORE 5588.678
AT ITER 266 NEW BEST:: SOT 13751 SOS 8670 HAS SOPS 8419 HAS SOUS 5816 HAS SOUPS 5565 WITH SCORE 5573.67
AT ITER 270 NEW BEST:: SOT 13733 SOS 8654 HAS SOPS 8403 HAS SOUS 5802 HAS SOUPS 5551 WITH SCORE 5559.654
AT ITER 277 NEW BEST:: SOT 13729 SOS 8650 HAS SOPS 8399 HAS SOUS 5798 HAS SOUPS 5547 WITH SCORE 5555.65
AT ITER 290 NEW BEST:: SOT 13707 SOS 8513 HAS SOPS 8269 HAS SOUS 5725 HAS SOUPS 5481 WITH SCORE 5489.513
AT ITER 299 NEW BEST:: SOT 13697 SOS 8543 HAS SOPS 8299 HAS SOUS 5695 HAS SOUPS 5451 WITH SCORE 5459.543
AT ITER 301 NEW BEST:: SOT 13695 SOS 8541 HAS SOPS 8297 HAS SOUS 5691 HAS SOUPS 5447 WITH SCORE 5455.541
AT ITER 322 NEW BEST:: SOT 13703 SOS 8549 HAS SOPS 8305 HAS SOUS 5659 HAS SOUPS 5415 WITH SCORE 5423.549
AT ITER 331 NEW BEST:: SOT 13703 SOS 8544 HAS SOPS 8300 HAS SOUS 5659 HAS SOUPS 5415 WITH SCORE 5423.544
AT ITER 340 NEW BEST:: SOT 13700 SOS 8541 HAS SOPS 8297 HAS SOUS 5650 HAS SOUPS 5406 WITH SCORE 5414.541
AT ITER 350 NEW BEST:: SOT 13700 SOS 8537 HAS SOPS 8293 HAS SOUS 5643 HAS SOUPS 5399 WITH SCORE 5407.537
AT ITER 359 NEW BEST:: SOT 13696 SOS 8533 HAS SOPS 8289 HAS SOUS 5639 HAS SOUPS 5395 WITH SCORE 5403.533
AT ITER 370 NEW BEST:: SOT 13696 SOS 8513 HAS SOPS 8269 HAS SOUS 5639 HAS SOUPS 5395 WITH SCORE 5403.513
AT ITER 382 NEW BEST:: SOT 13665 SOS 8574 HAS SOPS 8349 HAS SOUS 5607 HAS SOUPS 5382 WITH SCORE 5390.574
AT ITER 385 NEW BEST:: SOT 13663 SOS 8572 HAS SOPS 8347 HAS SOUS 5605 HAS SOUPS 5380 WITH SCORE 5388.572
AT ITER 414 NEW BEST:: SOT 13638 SOS 8674 HAS SOPS 8450 HAS SOUS 5599 HAS SOUPS 5375 WITH SCORE 5383.674
AT ITER 415 NEW BEST:: SOT 13638 SOS 8656 HAS SOPS 8432 HAS SOUS 5599 HAS SOUPS 5375 WITH SCORE 5383.656
AT ITER 421 NEW BEST:: SOT 13633 SOS 8633 HAS SOPS 8409 HAS SOUS 5584 HAS SOUPS 5360 WITH SCORE 5368.633
AT ITER 427 NEW BEST:: SOT 13633 SOS 8633 HAS SOPS 8409 HAS SOUS 5566 HAS SOUPS 5342 WITH SCORE 5350.633
AT ITER 436 NEW BEST:: SOT 13633 SOS 8633 HAS SOPS 8409 HAS SOUS 5560 HAS SOUPS 5336 WITH SCORE 5344.633
AT ITER 437 NEW BEST:: SOT 13601 SOS 8629 HAS SOPS 8413 HAS SOUS 5523 HAS SOUPS 5307 WITH SCORE 5315.629
AT ITER 442 NEW BEST:: SOT 13601 SOS 8595 HAS SOPS 8379 HAS SOUS 5523 HAS SOUPS 5307 WITH SCORE 5315.595
AT ITER 450 NEW BEST:: SOT 13569 SOS 8610 HAS SOPS 8398 HAS SOUS 5494 HAS SOUPS 5282 WITH SCORE 5290.61
AT ITER 459 NEW BEST:: SOT 13569 SOS 8592 HAS SOPS 8380 HAS SOUS 5494 HAS SOUPS 5282 WITH SCORE 5290.592
AT ITER 464 NEW BEST:: SOT 13560 SOS 8597 HAS SOPS 8385 HAS SOUS 5467 HAS SOUPS 5255 WITH SCORE 5263.597
AT ITER 473 NEW BEST:: SOT 13560 SOS 8587 HAS SOPS 8375 HAS SOUS 5467 HAS SOUPS 5255 WITH SCORE 5263.587
AT ITER 475 NEW BEST:: SOT 13560 SOS 8567 HAS SOPS 8355 HAS SOUS 5467 HAS SOUPS 5255 WITH SCORE 5263.567
AT ITER 483 NEW BEST:: SOT 13552 SOS 8591 HAS SOPS 8379 HAS SOUS 5451 HAS SOUPS 5239 WITH SCORE 5247.591
AT ITER 491 NEW BEST:: SOT 13390 SOS 8454 HAS SOPS 8242 HAS SOUS 5442 HAS SOUPS 5230 WITH SCORE 5238.454
AT ITER 492 NEW BEST:: SOT 13390 SOS 8445 HAS SOPS 8228 HAS SOUS 5447 HAS SOUPS 5230 WITH SCORE 5238.445
AT ITER 500 NEW BEST:: SOT 13334 SOS 8389 HAS SOPS 8172 HAS SOUS 5335 HAS SOUPS 5118 WITH SCORE 5126.389
AT ITER 505 NEW BEST:: SOT 13330 SOS 8369 HAS SOPS 8152 HAS SOUS 5323 HAS SOUPS 5106 WITH SCORE 5114.369
AT ITER 506 NEW BEST:: SOT 13312 SOS 8351 HAS SOPS 8134 HAS SOUS 5305 HAS SOUPS 5088 WITH SCORE 5096.351
AT ITER 519 NEW BEST:: SOT 13304 SOS 8354 HAS SOPS 8137 HAS SOUS 5303 HAS SOUPS 5086 WITH SCORE 5094.354
AT ITER 528 NEW BEST:: SOT 13299 SOS 8348 HAS SOPS 8131 HAS SOUS 5294 HAS SOUPS 5077 WITH SCORE 5085.348
AT ITER 531 NEW BEST:: SOT 13249 SOS 8298 HAS SOPS 8081 HAS SOUS 5244 HAS SOUPS 5027 WITH SCORE 5035.298
AT ITER 541 NEW BEST:: SOT 13246 SOS 8294 HAS SOPS 8077 HAS SOUS 5235 HAS SOUPS 5018 WITH SCORE 5026.294
AT ITER 543 NEW BEST:: SOT 13218 SOS 8266 HAS SOPS 8049 HAS SOUS 5179 HAS SOUPS 4962 WITH SCORE 4970.266
AT ITER 545 NEW BEST:: SOT 13202 SOS 8218 HAS SOPS 8001 HAS SOUS 5163 HAS SOUPS 4946 WITH SCORE 4954.218
AT ITER 556 NEW BEST:: SOT 13210 SOS 8211 HAS SOPS 7983 HAS SOUS 5165 HAS SOUPS 4937 WITH SCORE 4945.211
AT ITER 564 NEW BEST:: SOT 13172 SOS 8177 HAS SOPS 7949 HAS SOUS 5089 HAS SOUPS 4861 WITH SCORE 4869.177
AT ITER 572 NEW BEST:: SOT 13191 SOS 8144 HAS SOPS 7909 HAS SOUS 5076 HAS SOUPS 4841 WITH SCORE 4849.144
AT ITER 574 NEW BEST:: SOT 13185 SOS 8138 HAS SOPS 7903 HAS SOUS 5070 HAS SOUPS 4835 WITH SCORE 4843.138
AT ITER 576 NEW BEST:: SOT 13185 SOS 8135 HAS SOPS 7900 HAS SOUS 5070 HAS SOUPS 4835 WITH SCORE 4843.135
AT ITER 581 NEW BEST:: SOT 13184 SOS 8268 HAS SOPS 8033 HAS SOUS 5067 HAS SOUPS 4832 WITH SCORE 4840.268
AT ITER 591 NEW BEST:: SOT 13184 SOS 8261 HAS SOPS 8033 HAS SOUS 5060 HAS SOUPS 4832 WITH SCORE 4840.261
AT ITER 618 NEW BEST:: SOT 13166 SOS 8243 HAS SOPS 8015 HAS SOUS 5038 HAS SOUPS 4810 WITH SCORE 4818.243
AT ITER 630 NEW BEST:: SOT 13140 SOS 8217 HAS SOPS 7989 HAS SOUS 5007 HAS SOUPS 4779 WITH SCORE 4787.217
AT ITER 634 NEW BEST:: SOT 13140 SOS 8162 HAS SOPS 7923 HAS SOUS 4985 HAS SOUPS 4746 WITH SCORE 4754.162
AT ITER 640 NEW BEST:: SOT 13149 SOS 8127 HAS SOPS 7879 HAS SOUS 4994 HAS SOUPS 4746 WITH SCORE 4754.127
AT ITER 643 NEW BEST:: SOT 13140 SOS 8118 HAS SOPS 7870 HAS SOUS 4985 HAS SOUPS 4737 WITH SCORE 4745.118
AT ITER 645 NEW BEST:: SOT 13186 SOS 8110 HAS SOPS 7856 HAS SOUS 4980 HAS SOUPS 4726 WITH SCORE 4734.11
AT ITER 648 NEW BEST:: SOT 13178 SOS 8082 HAS SOPS 7818 HAS SOUS 4966 HAS SOUPS 4702 WITH SCORE 4710.082
AT ITER 653 NEW BEST:: SOT 13175 SOS 8064 HAS SOPS 7800 HAS SOUS 4957 HAS SOUPS 4693 WITH SCORE 4701.064
AT ITER 663 NEW BEST:: SOT 13169 SOS 8058 HAS SOPS 7794 HAS SOUS 4943 HAS SOUPS 4679 WITH SCORE 4687.058
AT ITER 666 NEW BEST:: SOT 13165 SOS 8074 HAS SOPS 7810 HAS SOUS 4935 HAS SOUPS 4671 WITH SCORE 4679.074
AT ITER 673 NEW BEST:: SOT 13165 SOS 8073 HAS SOPS 7809 HAS SOUS 4935 HAS SOUPS 4671 WITH SCORE 4679.073
AT ITER 679 NEW BEST:: SOT 13154 SOS 8062 HAS SOPS 7798 HAS SOUS 4934 HAS SOUPS 4670 WITH SCORE 4678.062
AT ITER 681 NEW BEST:: SOT 13126 SOS 8036 HAS SOPS 7772 HAS SOUS 4908 HAS SOUPS 4644 WITH SCORE 4652.036
AT ITER 699 NEW BEST:: SOT 13124 SOS 8034 HAS SOPS 7770 HAS SOUS 4906 HAS SOUPS 4642 WITH SCORE 4650.034
AT ITER 702 NEW BEST:: SOT 13120 SOS 8047 HAS SOPS 7783 HAS SOUS 4894 HAS SOUPS 4630 WITH SCORE 4638.047
AT ITER 707 NEW BEST:: SOT 13119 SOS 8035 HAS SOPS 7777 HAS SOUS 4885 HAS SOUPS 4627 WITH SCORE 4635.035
AT ITER 712 NEW BEST:: SOT 13105 SOS 8033 HAS SOPS 7775 HAS SOUS 4843 HAS SOUPS 4585 WITH SCORE 4593.033
AT ITER 716 NEW BEST:: SOT 13094 SOS 7967 HAS SOPS 7709 HAS SOUS 4810 HAS SOUPS 4552 WITH SCORE 4559.967
AT ITER 719 NEW BEST:: SOT 13076 SOS 7949 HAS SOPS 7691 HAS SOUS 4770 HAS SOUPS 4512 WITH SCORE 4519.949
AT ITER 731 NEW BEST:: SOT 13058 SOS 7931 HAS SOPS 7673 HAS SOUS 4734 HAS SOUPS 4476 WITH SCORE 4483.931
AT ITER 749 NEW BEST:: SOT 13058 SOS 7918 HAS SOPS 7660 HAS SOUS 4734 HAS SOUPS 4476 WITH SCORE 4483.918
AT ITER 752 NEW BEST:: SOT 13054 SOS 7914 HAS SOPS 7656 HAS SOUS 4730 HAS SOUPS 4472 WITH SCORE 4479.914
AT ITER 754 NEW BEST:: SOT 13034 SOS 7870 HAS SOPS 7649 HAS SOUS 4691 HAS SOUPS 4470 WITH SCORE 4477.87
AT ITER 761 NEW BEST:: SOT 12993 SOS 7849 HAS SOPS 7628 HAS SOUS 4677 HAS SOUPS 4456 WITH SCORE 4463.849
AT ITER 767 NEW BEST:: SOT 12993 SOS 7845 HAS SOPS 7628 HAS SOUS 4673 HAS SOUPS 4456 WITH SCORE 4463.845
AT ITER 775 NEW BEST:: SOT 12989 SOS 7841 HAS SOPS 7624 HAS SOUS 4669 HAS SOUPS 4452 WITH SCORE 4459.841
AT ITER 778 NEW BEST:: SOT 12975 SOS 7827 HAS SOPS 7610 HAS SOUS 4659 HAS SOUPS 4442 WITH SCORE 4449.827
AT ITER 786 NEW BEST:: SOT 12982 SOS 7811 HAS SOPS 7587 HAS SOUS 4666 HAS SOUPS 4442 WITH SCORE 4449.811
AT ITER 801 NEW BEST:: SOT 12982 SOS 7805 HAS SOPS 7581 HAS SOUS 4666 HAS SOUPS 4442 WITH SCORE 4449.805
AT ITER 820 NEW BEST:: SOT 12994 SOS 7812 HAS SOPS 7575 HAS SOUS 4676 HAS SOUPS 4439 WITH SCORE 4446.812
AT ITER 821 NEW BEST:: SOT 12990 SOS 7808 HAS SOPS 7571 HAS SOUS 4668 HAS SOUPS 4431 WITH SCORE 4438.808
AT ITER 825 NEW BEST:: SOT 12990 SOS 7808 HAS SOPS 7571 HAS SOUS 4640 HAS SOUPS 4403 WITH SCORE 4410.808
AT ITER 830 NEW BEST:: SOT 12978 SOS 7796 HAS SOPS 7559 HAS SOUS 4616 HAS SOUPS 4379 WITH SCORE 4386.796
AT ITER 862 NEW BEST:: SOT 12894 SOS 8191 HAS SOPS 8015 HAS SOUS 4537 HAS SOUPS 4361 WITH SCORE 4369.191
AT ITER 889 NEW BEST:: SOT 12889 SOS 8164 HAS SOPS 7988 HAS SOUS 4522 HAS SOUPS 4346 WITH SCORE 4354.164
AT ITER 890 NEW BEST:: SOT 12867 SOS 8142 HAS SOPS 7966 HAS SOUS 4500 HAS SOUPS 4324 WITH SCORE 4332.142
AT ITER 896 NEW BEST:: SOT 12855 SOS 8130 HAS SOPS 7954 HAS SOUS 4488 HAS SOUPS 4312 WITH SCORE 4320.13
AT ITER 921 NEW BEST:: SOT 12828 SOS 8150 HAS SOPS 7959 HAS SOUS 4440 HAS SOUPS 4249 WITH SCORE 4257.15
AT ITER 925 NEW BEST:: SOT 12812 SOS 8134 HAS SOPS 7943 HAS SOUS 4424 HAS SOUPS 4233 WITH SCORE 4241.134
AT ITER 930 NEW BEST:: SOT 12806 SOS 8128 HAS SOPS 7937 HAS SOUS 4415 HAS SOUPS 4224 WITH SCORE 4232.128
AT ITER 967 NEW BEST:: SOT 12826 SOS 8060 HAS SOPS 7869 HAS SOUS 4415 HAS SOUPS 4224 WITH SCORE 4232.06
AT ITER 974 NEW BEST:: SOT 12825 SOS 8054 HAS SOPS 7863 HAS SOUS 4412 HAS SOUPS 4221 WITH SCORE 4229.054
AT ITER 979 NEW BEST:: SOT 12807 SOS 8031 HAS SOPS 7850 HAS SOUS 4401 HAS SOUPS 4220 WITH SCORE 4228.031
AT ITER 980 NEW BEST:: SOT 12737 SOS 7977 HAS SOPS 7796 HAS SOUS 4347 HAS SOUPS 4166 WITH SCORE 4173.977
AT ITER 987 NEW BEST:: SOT 12667 SOS 8069 HAS SOPS 7902 HAS SOUS 4306 HAS SOUPS 4139 WITH SCORE 4147.069
AT ITER 1007 NEW BEST:: SOT 12655 SOS 8057 HAS SOPS 7890 HAS SOUS 4284 HAS SOUPS 4117 WITH SCORE 4125.057
AT ITER 1028 NEW BEST:: SOT 12663 SOS 8032 HAS SOPS 7857 HAS SOUS 4292 HAS SOUPS 4117 WITH SCORE 4125.032
AT ITER 1033 NEW BEST:: SOT 12661 SOS 8030 HAS SOPS 7855 HAS SOUS 4288 HAS SOUPS 4113 WITH SCORE 4121.03
AT ITER 1079 NEW BEST:: SOT 12659 SOS 8043 HAS SOPS 7868 HAS SOUS 4287 HAS SOUPS 4112 WITH SCORE 4120.043
AT ITER 1090 NEW BEST:: SOT 12659 SOS 8036 HAS SOPS 7870 HAS SOUS 4278 HAS SOUPS 4112 WITH SCORE 4120.036
AT ITER 1091 NEW BEST:: SOT 12659 SOS 8031 HAS SOPS 7864 HAS SOUS 4276 HAS SOUPS 4109 WITH SCORE 4117.031
AT ITER 1132 NEW BEST:: SOT 12645 SOS 8024 HAS SOPS 7857 HAS SOUS 4262 HAS SOUPS 4095 WITH SCORE 4103.024
AT ITER 1146 NEW BEST:: SOT 12648 SOS 8024 HAS SOPS 7857 HAS SOUS 4256 HAS SOUPS 4089 WITH SCORE 4097.024
AT ITER 1210 NEW BEST:: SOT 12644 SOS 8020 HAS SOPS 7853 HAS SOUS 4248 HAS SOUPS 4081 WITH SCORE 4089.02
AT ITER 1214 NEW BEST:: SOT 12626 SOS 8005 HAS SOPS 7838 HAS SOUS 4236 HAS SOUPS 4069 WITH SCORE 4077.005
AT ITER 1228 NEW BEST:: SOT 12626 SOS 8005 HAS SOPS 7838 HAS SOUS 4232 HAS SOUPS 4065 WITH SCORE 4073.005
AT ITER 1253 NEW BEST:: SOT 12626 SOS 7994 HAS SOPS 7838 HAS SOUS 4221 HAS SOUPS 4065 WITH SCORE 4072.994
AT ITER 1257 NEW BEST:: SOT 12625 SOS 7988 HAS SOPS 7832 HAS SOUS 4218 HAS SOUPS 4062 WITH SCORE 4069.988
AT ITER 1266 NEW BEST:: SOT 12624 SOS 7987 HAS SOPS 7831 HAS SOUS 4217 HAS SOUPS 4061 WITH SCORE 4068.987
AT ITER 1271 NEW BEST:: SOT 12622 SOS 7973 HAS SOPS 7829 HAS SOUS 4201 HAS SOUPS 4057 WITH SCORE 4064.973
AT ITER 1324 NEW BEST:: SOT 12616 SOS 7967 HAS SOPS 7823 HAS SOUS 4189 HAS SOUPS 4045 WITH SCORE 4052.967
AT ITER 1338 NEW BEST:: SOT 12616 SOS 7947 HAS SOPS 7799 HAS SOUS 4181 HAS SOUPS 4033 WITH SCORE 4040.947
AT ITER 1342 NEW BEST:: SOT 12598 SOS 7929 HAS SOPS 7781 HAS SOUS 4145 HAS SOUPS 3997 WITH SCORE 4004.929
AT ITER 1383 NEW BEST:: SOT 12596 SOS 7928 HAS SOPS 7780 HAS SOUS 4143 HAS SOUPS 3995 WITH SCORE 4002.928
AT ITER 1420 NEW BEST:: SOT 12596 SOS 7921 HAS SOPS 7773 HAS SOUS 4143 HAS SOUPS 3995 WITH SCORE 4002.921
AT ITER 1426 NEW BEST:: SOT 12573 SOS 7970 HAS SOPS 7822 HAS SOUS 4140 HAS SOUPS 3992 WITH SCORE 3999.97
AT ITER 1443 NEW BEST:: SOT 12569 SOS 7950 HAS SOPS 7798 HAS SOUS 4132 HAS SOUPS 3980 WITH SCORE 3987.95
AT ITER 1447 NEW BEST:: SOT 12565 SOS 8038 HAS SOPS 7886 HAS SOUS 4120 HAS SOUPS 3968 WITH SCORE 3976.038
AT ITER 1481 NEW BEST:: SOT 12569 SOS 8027 HAS SOPS 7868 HAS SOUS 4118 HAS SOUPS 3959 WITH SCORE 3967.027
AT ITER 1500 NEW BEST:: SOT 12569 SOS 8022 HAS SOPS 7862 HAS SOUS 4116 HAS SOUPS 3956 WITH SCORE 3964.022
AT ITER 1531 NEW BEST:: SOT 12559 SOS 8012 HAS SOPS 7852 HAS SOUS 4096 HAS SOUPS 3936 WITH SCORE 3944.012
AT ITER 1549 NEW BEST:: SOT 12549 SOS 8002 HAS SOPS 7842 HAS SOUS 4076 HAS SOUPS 3916 WITH SCORE 3924.002
AT ITER 1563 NEW BEST:: SOT 12540 SOS 7993 HAS SOPS 7833 HAS SOUS 4067 HAS SOUPS 3907 WITH SCORE 3914.993
AT ITER 1571 NEW BEST:: SOT 12540 SOS 7986 HAS SOPS 7826 HAS SOUS 4053 HAS SOUPS 3893 WITH SCORE 3900.986
AT ITER 1607 NEW BEST:: SOT 12540 SOS 7951 HAS SOPS 7786 HAS SOUS 4033 HAS SOUPS 3868 WITH SCORE 3875.951
AT ITER 1620 NEW BEST:: SOT 12531 SOS 7951 HAS SOPS 7787 HAS SOUS 4023 HAS SOUPS 3859 WITH SCORE 3866.951
AT ITER 1666 NEW BEST:: SOT 12521 SOS 7941 HAS SOPS 7777 HAS SOUS 4003 HAS SOUPS 3839 WITH SCORE 3846.941
AT ITER 1789 NEW BEST:: SOT 12521 SOS 7937 HAS SOPS 7773 HAS SOUS 4002 HAS SOUPS 3838 WITH SCORE 3845.937
AT ITER 1796 NEW BEST:: SOT 12517 SOS 7933 HAS SOPS 7769 HAS SOUS 3994 HAS SOUPS 3830 WITH SCORE 3837.933
AT ITER 1863 NEW BEST:: SOT 12517 SOS 7932 HAS SOPS 7769 HAS SOUS 3993 HAS SOUPS 3830 WITH SCORE 3837.932
AT ITER 1883 NEW BEST:: SOT 12502 SOS 7917 HAS SOPS 7754 HAS SOUS 3978 HAS SOUPS 3815 WITH SCORE 3822.917
AT ITER 1954 NEW BEST:: SOT 12491 SOS 7895 HAS SOPS 7732 HAS SOUS 3950 HAS SOUPS 3787 WITH SCORE 3794.895
AT ITER 1991 NEW BEST:: SOT 12482 SOS 7886 HAS SOPS 7723 HAS SOUS 3932 HAS SOUPS 3769 WITH SCORE 3776.886
AT ITER 2168 NEW BEST:: SOT 12480 SOS 7879 HAS SOPS 7711 HAS SOUS 3931 HAS SOUPS 3763 WITH SCORE 3770.879
AT ITER 2247 NEW BEST:: SOT 12402 SOS 7819 HAS SOPS 7651 HAS SOUS 3919 HAS SOUPS 3751 WITH SCORE 3758.819
AT ITER 2268 NEW BEST:: SOT 12409 SOS 7826 HAS SOPS 7658 HAS SOUS 3917 HAS SOUPS 3749 WITH SCORE 3756.826
AT ITER 2277 NEW BEST:: SOT 12409 SOS 7823 HAS SOPS 7658 HAS SOUS 3914 HAS SOUPS 3749 WITH SCORE 3756.823
AT ITER 2288 NEW BEST:: SOT 12417 SOS 7824 HAS SOPS 7659 HAS SOUS 3910 HAS SOUPS 3745 WITH SCORE 3752.824
AT ITER 2313 NEW BEST:: SOT 12417 SOS 7824 HAS SOPS 7659 HAS SOUS 3906 HAS SOUPS 3741 WITH SCORE 3748.824
AT ITER 2411 NEW BEST:: SOT 12416 SOS 7818 HAS SOPS 7653 HAS SOUS 3903 HAS SOUPS 3738 WITH SCORE 3745.818
AT ITER 2480 NEW BEST:: SOT 12414 SOS 7816 HAS SOPS 7653 HAS SOUS 3901 HAS SOUPS 3738 WITH SCORE 3745.816
AT ITER 2509 NEW BEST:: SOT 12408 SOS 7810 HAS SOPS 7647 HAS SOUS 3889 HAS SOUPS 3726 WITH SCORE 3733.81
AT ITER 2583 NEW BEST:: SOT 12411 SOS 7810 HAS SOPS 7647 HAS SOUS 3886 HAS SOUPS 3723 WITH SCORE 3730.81
AT ITER 2592 NEW BEST:: SOT 12431 SOS 7842 HAS SOPS 7635 HAS SOUS 3924 HAS SOUPS 3717 WITH SCORE 3724.842
AT ITER 2643 NEW BEST:: SOT 12429 SOS 7836 HAS SOPS 7629 HAS SOUS 3918 HAS SOUPS 3711 WITH SCORE 3718.836
AT ITER 2655 NEW BEST:: SOT 12416 SOS 7823 HAS SOPS 7616 HAS SOUS 3894 HAS SOUPS 3687 WITH SCORE 3694.823
AT ITER 2728 NEW BEST:: SOT 12392 SOS 7799 HAS SOPS 7592 HAS SOUS 3890 HAS SOUPS 3683 WITH SCORE 3690.799
AT ITER 2745 NEW BEST:: SOT 12390 SOS 7797 HAS SOPS 7590 HAS SOUS 3886 HAS SOUPS 3679 WITH SCORE 3686.797
AT ITER 2774 NEW BEST:: SOT 12390 SOS 7797 HAS SOPS 7590 HAS SOUS 3876 HAS SOUPS 3669 WITH SCORE 3676.797
AT ITER 2804 NEW BEST:: SOT 12387 SOS 7771 HAS SOPS 7572 HAS SOUS 3859 HAS SOUPS 3660 WITH SCORE 3667.771
AT ITER 2892 NEW BEST:: SOT 12387 SOS 7771 HAS SOPS 7572 HAS SOUS 3849 HAS SOUPS 3650 WITH SCORE 3657.771
AT ITER 2913 NEW BEST:: SOT 12366 SOS 7757 HAS SOPS 7558 HAS SOUS 3828 HAS SOUPS 3629 WITH SCORE 3636.757
AT ITER 3021 NEW BEST:: SOT 12366 SOS 7757 HAS SOPS 7558 HAS SOUS 3826 HAS SOUPS 3627 WITH SCORE 3634.757
AT ITER 3046 NEW BEST:: SOT 12374 SOS 7758 HAS SOPS 7559 HAS SOUS 3807 HAS SOUPS 3608 WITH SCORE 3615.758
AT ITER 3150 NEW BEST:: SOT 12374 SOS 7755 HAS SOPS 7559 HAS SOUS 3804 HAS SOUPS 3608 WITH SCORE 3615.755
AT ITER 3207 NEW BEST:: SOT 12374 SOS 7747 HAS SOPS 7559 HAS SOUS 3796 HAS SOUPS 3608 WITH SCORE 3615.747
AT ITER 3219 NEW BEST:: SOT 12373 SOS 7746 HAS SOPS 7558 HAS SOUS 3792 HAS SOUPS 3604 WITH SCORE 3611.746
AT ITER 3379 NEW BEST:: SOT 12369 SOS 7742 HAS SOPS 7554 HAS SOUS 3784 HAS SOUPS 3596 WITH SCORE 3603.742
AT ITER 3406 NEW BEST:: SOT 12367 SOS 7740 HAS SOPS 7552 HAS SOUS 3780 HAS SOUPS 3592 WITH SCORE 3599.74
AT ITER 3507 NEW BEST:: SOT 12367 SOS 7739 HAS SOPS 7552 HAS SOUS 3779 HAS SOUPS 3592 WITH SCORE 3599.739
AT ITER 3509 NEW BEST:: SOT 12365 SOS 7738 HAS SOPS 7551 HAS SOUS 3777 HAS SOUPS 3590 WITH SCORE 3597.738
AT ITER 3555 NEW BEST:: SOT 12364 SOS 7739 HAS SOPS 7545 HAS SOUS 3781 HAS SOUPS 3587 WITH SCORE 3594.739
AT ITER 3626 NEW BEST:: SOT 12363 SOS 7738 HAS SOPS 7544 HAS SOUS 3779 HAS SOUPS 3585 WITH SCORE 3592.738
AT ITER 3747 NEW BEST:: SOT 12357 SOS 7702 HAS SOPS 7508 HAS SOUS 3761 HAS SOUPS 3567 WITH SCORE 3574.702
AT ITER 3787 NEW BEST:: SOT 12357 SOS 7700 HAS SOPS 7508 HAS SOUS 3759 HAS SOUPS 3567 WITH SCORE 3574.7
AT ITER 3797 NEW BEST:: SOT 12347 SOS 7690 HAS SOPS 7498 HAS SOUS 3759 HAS SOUPS 3567 WITH SCORE 3574.69
AT ITER 3807 NEW BEST:: SOT 12345 SOS 7688 HAS SOPS 7496 HAS SOUS 3755 HAS SOUPS 3563 WITH SCORE 3570.688
AT ITER 3973 NEW BEST:: SOT 12339 SOS 7682 HAS SOPS 7490 HAS SOUS 3743 HAS SOUPS 3551 WITH SCORE 3558.682
AT ITER 4076 NEW BEST:: SOT 12335 SOS 7678 HAS SOPS 7486 HAS SOUS 3737 HAS SOUPS 3545 WITH SCORE 3552.678
AT ITER 4114 NEW BEST:: SOT 12334 SOS 7677 HAS SOPS 7485 HAS SOUS 3735 HAS SOUPS 3543 WITH SCORE 3550.677
AT ITER 4150 NEW BEST:: SOT 12328 SOS 7706 HAS SOPS 7518 HAS SOUS 3730 HAS SOUPS 3542 WITH SCORE 3549.706
AT ITER 4190 NEW BEST:: SOT 12326 SOS 7704 HAS SOPS 7516 HAS SOUS 3726 HAS SOUPS 3538 WITH SCORE 3545.704
AT ITER 4210 NEW BEST:: SOT 12324 SOS 7702 HAS SOPS 7514 HAS SOUS 3722 HAS SOUPS 3534 WITH SCORE 3541.702
AT ITER 4296 NEW BEST:: SOT 12323 SOS 7701 HAS SOPS 7513 HAS SOUS 3720 HAS SOUPS 3532 WITH SCORE 3539.701
AT ITER 4314 NEW BEST:: SOT 12320 SOS 7683 HAS SOPS 7495 HAS SOUS 3711 HAS SOUPS 3523 WITH SCORE 3530.683
AT ITER 4326 NEW BEST:: SOT 12319 SOS 7677 HAS SOPS 7489 HAS SOUS 3708 HAS SOUPS 3520 WITH SCORE 3527.677
AT ITER 4338 NEW BEST:: SOT 12318 SOS 7671 HAS SOPS 7483 HAS SOUS 3705 HAS SOUPS 3517 WITH SCORE 3524.671
AT ITER 4339 NEW BEST:: SOT 12342 SOS 7692 HAS SOPS 7504 HAS SOUS 3686 HAS SOUPS 3498 WITH SCORE 3505.692
AT ITER 4479 NEW BEST:: SOT 12341 SOS 7684 HAS SOPS 7498 HAS SOUS 3681 HAS SOUPS 3495 WITH SCORE 3502.684
AT ITER 4495 NEW BEST:: SOT 12339 SOS 7682 HAS SOPS 7496 HAS SOUS 3679 HAS SOUPS 3493 WITH SCORE 3500.682
AT ITER 4562 NEW BEST:: SOT 12338 SOS 7678 HAS SOPS 7490 HAS SOUS 3678 HAS SOUPS 3490 WITH SCORE 3497.678
AT ITER 4576 NEW BEST:: SOT 12336 SOS 7682 HAS SOPS 7494 HAS SOUS 3677 HAS SOUPS 3489 WITH SCORE 3496.682
AT ITER 4611 NEW BEST:: SOT 12336 SOS 7680 HAS SOPS 7494 HAS SOUS 3675 HAS SOUPS 3489 WITH SCORE 3496.68
AT ITER 4622 NEW BEST:: SOT 12335 SOS 7674 HAS SOPS 7488 HAS SOUS 3672 HAS SOUPS 3486 WITH SCORE 3493.674
AT ITER 4648 NEW BEST:: SOT 12329 SOS 7668 HAS SOPS 7482 HAS SOUS 3662 HAS SOUPS 3476 WITH SCORE 3483.668
AT ITER 4791 NEW BEST:: SOT 12328 SOS 7666 HAS SOPS 7476 HAS SOUS 3663 HAS SOUPS 3473 WITH SCORE 3480.666
AT ITER 4835 NEW BEST:: SOT 12321 SOS 7659 HAS SOPS 7469 HAS SOUS 3649 HAS SOUPS 3459 WITH SCORE 3466.659
AT ITER 4869 NEW BEST:: SOT 12321 SOS 7654 HAS SOPS 7463 HAS SOUS 3647 HAS SOUPS 3456 WITH SCORE 3463.654
AT ITER 5138 NEW BEST:: SOT 12319 SOS 7652 HAS SOPS 7461 HAS SOUS 3645 HAS SOUPS 3454 WITH SCORE 3461.652
AT ITER 5267 NEW BEST:: SOT 12324 SOS 7658 HAS SOPS 7455 HAS SOUS 3654 HAS SOUPS 3451 WITH SCORE 3458.658
AT ITER 5312 NEW BEST:: SOT 12324 SOS 7658 HAS SOPS 7455 HAS SOUS 3652 HAS SOUPS 3449 WITH SCORE 3456.658
AT ITER 5314 NEW BEST:: SOT 12326 SOS 7659 HAS SOPS 7456 HAS SOUS 3651 HAS SOUPS 3448 WITH SCORE 3455.659
AT ITER 5427 NEW BEST:: SOT 12309 SOS 7656 HAS SOPS 7453 HAS SOUS 3651 HAS SOUPS 3448 WITH SCORE 3455.656
AT ITER 5658 NEW BEST:: SOT 12301 SOS 7651 HAS SOPS 7448 HAS SOUS 3645 HAS SOUPS 3442 WITH SCORE 3449.651
AT ITER 5668 NEW BEST:: SOT 12293 SOS 7643 HAS SOPS 7440 HAS SOUS 3637 HAS SOUPS 3434 WITH SCORE 3441.643
AT ITER 5760 NEW BEST:: SOT 12289 SOS 7639 HAS SOPS 7436 HAS SOUS 3629 HAS SOUPS 3426 WITH SCORE 3433.639
AT ITER 5783 NEW BEST:: SOT 12311 SOS 7658 HAS SOPS 7455 HAS SOUS 3628 HAS SOUPS 3425 WITH SCORE 3432.658
AT ITER 5839 NEW BEST:: SOT 12277 SOS 7628 HAS SOPS 7425 HAS SOUS 3614 HAS SOUPS 3411 WITH SCORE 3418.628
AT ITER 5879 NEW BEST:: SOT 12275 SOS 7626 HAS SOPS 7423 HAS SOUS 3610 HAS SOUPS 3407 WITH SCORE 3414.626
AT ITER 5888 NEW BEST:: SOT 12264 SOS 7620 HAS SOPS 7417 HAS SOUS 3603 HAS SOUPS 3400 WITH SCORE 3407.62
AT ITER 5975 NEW BEST:: SOT 12262 SOS 7618 HAS SOPS 7415 HAS SOUS 3599 HAS SOUPS 3396 WITH SCORE 3403.618
AT ITER 6340 NEW BEST:: SOT 12260 SOS 7616 HAS SOPS 7413 HAS SOUS 3597 HAS SOUPS 3394 WITH SCORE 3401.616
AT ITER 6349 NEW BEST:: SOT 12260 SOS 7613 HAS SOPS 7410 HAS SOUS 3595 HAS SOUPS 3392 WITH SCORE 3399.613
AT ITER 6380 NEW BEST:: SOT 12260 SOS 7608 HAS SOPS 7404 HAS SOUS 3593 HAS SOUPS 3389 WITH SCORE 3396.608
AT ITER 6577 NEW BEST:: SOT 12248 SOS 7596 HAS SOPS 7392 HAS SOUS 3573 HAS SOUPS 3369 WITH SCORE 3376.596
AT ITER 6579 NEW BEST:: SOT 12246 SOS 7594 HAS SOPS 7390 HAS SOUS 3571 HAS SOUPS 3367 WITH SCORE 3374.594
AT ITER 6604 NEW BEST:: SOT 12246 SOS 7592 HAS SOPS 7388 HAS SOUS 3565 HAS SOUPS 3361 WITH SCORE 3368.592
AT ITER 6642 NEW BEST:: SOT 12204 SOS 7556 HAS SOPS 7352 HAS SOUS 3562 HAS SOUPS 3358 WITH SCORE 3365.556
AT ITER 6701 NEW BEST:: SOT 12200 SOS 7552 HAS SOPS 7348 HAS SOUS 3562 HAS SOUPS 3358 WITH SCORE 3365.552
AT ITER 6708 NEW BEST:: SOT 12200 SOS 7551 HAS SOPS 7348 HAS SOUS 3561 HAS SOUPS 3358 WITH SCORE 3365.551
AT ITER 6840 NEW BEST:: SOT 12191 SOS 7545 HAS SOPS 7342 HAS SOUS 3552 HAS SOUPS 3349 WITH SCORE 3356.545
AT ITER 7086 NEW BEST:: SOT 12189 SOS 7543 HAS SOPS 7340 HAS SOUS 3548 HAS SOUPS 3345 WITH SCORE 3352.543
AT ITER 7151 NEW BEST:: SOT 12189 SOS 7528 HAS SOPS 7322 HAS SOUS 3542 HAS SOUPS 3336 WITH SCORE 3343.528
AT ITER 7323 NEW BEST:: SOT 12201 SOS 7539 HAS SOPS 7333 HAS SOUS 3537 HAS SOUPS 3331 WITH SCORE 3338.539
AT ITER 7458 NEW BEST:: SOT 12203 SOS 7541 HAS SOPS 7335 HAS SOUS 3535 HAS SOUPS 3329 WITH SCORE 3336.541
AT ITER 7498 NEW BEST:: SOT 12202 SOS 7540 HAS SOPS 7334 HAS SOUS 3532 HAS SOUPS 3326 WITH SCORE 3333.54
AT ITER 7596 NEW BEST:: SOT 12202 SOS 7538 HAS SOPS 7334 HAS SOUS 3530 HAS SOUPS 3326 WITH SCORE 3333.538
AT ITER 7768 NEW BEST:: SOT 12228 SOS 7560 HAS SOPS 7356 HAS SOUS 3528 HAS SOUPS 3324 WITH SCORE 3331.56
AT ITER 8620 NEW BEST:: SOT 12227 SOS 7559 HAS SOPS 7355 HAS SOUS 3526 HAS SOUPS 3322 WITH SCORE 3329.559
AT ITER 8839 NEW BEST:: SOT 12227 SOS 7558 HAS SOPS 7355 HAS SOUS 3525 HAS SOUPS 3322 WITH SCORE 3329.558
AT ITER 9512 NEW BEST:: SOT 12226 SOS 7554 HAS SOPS 7349 HAS SOUS 3524 HAS SOUPS 3319 WITH SCORE 3326.554
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 2128316 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121228 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-COL-04"
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 CSRepetitions-COL-04, 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 r075-smll-167814400500024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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