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.r227-tall-167856410300360.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LamportFastMutEx-COL-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410300360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 8.8K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 174K Feb 25 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 40K 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 1678610253929

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LamportFastMutEx-COL-4
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-12 08:37:36] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-12 08:37:36] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-12 08:37:36] [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-12 08:37:36] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 08:37:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1606 ms
[2023-03-12 08:37:38] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 135 PT places and 285.0 transition bindings in 26 ms.
[2023-03-12 08:37:38] [INFO ] Unfolded HLPN to a Petri net with 135 places and 230 transitions 990 arcs in 40 ms.
[2023-03-12 08:37:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 5 places and 5 transitions.
Reduce places removed 5 places and 0 transitions.
[2023-03-12 08:37:38] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 125 places, 225 transitions and 960 arcs took 12 ms.
Total runtime 1923 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 125 places, 225 transitions, 960 arcs.
AT ITER 0 NEW BEST:: SOT 18156 SOS 11674 HAS SOPS 11265 HAS SOUS 6794 HAS SOUPS 6517 WITH SCORE 6528.674
AT ITER 8 NEW BEST:: SOT 18103 SOS 11664 HAS SOPS 11267 HAS SOUS 6777 HAS SOUPS 6512 WITH SCORE 6523.664
AT ITER 13 NEW BEST:: SOT 18103 SOS 11657 HAS SOPS 11260 HAS SOUS 6770 HAS SOUPS 6505 WITH SCORE 6516.657
AT ITER 32 NEW BEST:: SOT 18063 SOS 11617 HAS SOPS 11180 HAS SOUS 6705 HAS SOUPS 6425 WITH SCORE 6436.617
AT ITER 34 NEW BEST:: SOT 18011 SOS 11617 HAS SOPS 11180 HAS SOUS 6673 HAS SOUPS 6393 WITH SCORE 6404.617
AT ITER 35 NEW BEST:: SOT 18001 SOS 11567 HAS SOPS 11120 HAS SOUS 6653 HAS SOUPS 6363 WITH SCORE 6374.567
AT ITER 41 NEW BEST:: SOT 17991 SOS 11547 HAS SOPS 11050 HAS SOUS 6649 HAS SOUPS 6309 WITH SCORE 6320.547
AT ITER 45 NEW BEST:: SOT 17991 SOS 11550 HAS SOPS 11053 HAS SOUS 6640 HAS SOUPS 6300 WITH SCORE 6311.55
AT ITER 46 NEW BEST:: SOT 17741 SOS 11260 HAS SOPS 10620 HAS SOUS 6372 HAS SOUPS 5985 WITH SCORE 5996.26
AT ITER 58 NEW BEST:: SOT 17783 SOS 11414 HAS SOPS 10676 HAS SOUS 6332 HAS SOUPS 5869 WITH SCORE 5880.414
AT ITER 61 NEW BEST:: SOT 17783 SOS 11414 HAS SOPS 10673 HAS SOUS 6329 HAS SOUPS 5866 WITH SCORE 5877.414
AT ITER 64 NEW BEST:: SOT 17791 SOS 11486 HAS SOPS 10715 HAS SOUS 6308 HAS SOUPS 5845 WITH SCORE 5856.486
AT ITER 69 NEW BEST:: SOT 17776 SOS 11562 HAS SOPS 10700 HAS SOUS 6351 HAS SOUPS 5830 WITH SCORE 5841.562
AT ITER 71 NEW BEST:: SOT 17771 SOS 11557 HAS SOPS 10690 HAS SOUS 6341 HAS SOUPS 5820 WITH SCORE 5831.557
AT ITER 73 NEW BEST:: SOT 17759 SOS 11545 HAS SOPS 10687 HAS SOUS 6329 HAS SOUPS 5817 WITH SCORE 5828.545
AT ITER 88 NEW BEST:: SOT 17798 SOS 11531 HAS SOPS 10456 HAS SOUS 6350 HAS SOUPS 5690 WITH SCORE 5701.531
AT ITER 91 NEW BEST:: SOT 17792 SOS 11529 HAS SOPS 10456 HAS SOUS 6348 HAS SOUPS 5688 WITH SCORE 5699.529
AT ITER 103 NEW BEST:: SOT 17792 SOS 11499 HAS SOPS 10429 HAS SOUS 6336 HAS SOUPS 5676 WITH SCORE 5687.499
AT ITER 120 NEW BEST:: SOT 17792 SOS 11539 HAS SOPS 10469 HAS SOUS 6330 HAS SOUPS 5670 WITH SCORE 5681.539
AT ITER 142 NEW BEST:: SOT 17792 SOS 11538 HAS SOPS 10468 HAS SOUS 6329 HAS SOUPS 5669 WITH SCORE 5680.538
AT ITER 151 NEW BEST:: SOT 17766 SOS 11568 HAS SOPS 10450 HAS SOUS 6367 HAS SOUPS 5651 WITH SCORE 5662.568
AT ITER 152 NEW BEST:: SOT 17682 SOS 11421 HAS SOPS 10282 HAS SOUS 6269 HAS SOUPS 5546 WITH SCORE 5557.421
AT ITER 153 NEW BEST:: SOT 17646 SOS 11301 HAS SOPS 10162 HAS SOUS 6221 HAS SOUPS 5498 WITH SCORE 5509.301
AT ITER 155 NEW BEST:: SOT 17646 SOS 11301 HAS SOPS 10156 HAS SOUS 6221 HAS SOUPS 5492 WITH SCORE 5503.301
AT ITER 162 NEW BEST:: SOT 17646 SOS 11289 HAS SOPS 10153 HAS SOUS 6209 HAS SOUPS 5489 WITH SCORE 5500.289
AT ITER 167 NEW BEST:: SOT 17636 SOS 11281 HAS SOPS 10145 HAS SOUS 6201 HAS SOUPS 5481 WITH SCORE 5492.281
AT ITER 181 NEW BEST:: SOT 17636 SOS 11154 HAS SOPS 10049 HAS SOUS 6153 HAS SOUPS 5461 WITH SCORE 5472.154
AT ITER 186 NEW BEST:: SOT 17597 SOS 11128 HAS SOPS 10023 HAS SOUS 6127 HAS SOUPS 5435 WITH SCORE 5446.128
AT ITER 188 NEW BEST:: SOT 17597 SOS 10919 HAS SOPS 9772 HAS SOUS 6085 HAS SOUPS 5351 WITH SCORE 5361.919
AT ITER 189 NEW BEST:: SOT 17597 SOS 10922 HAS SOPS 9784 HAS SOUS 6052 HAS SOUPS 5327 WITH SCORE 5337.922
AT ITER 197 NEW BEST:: SOT 17554 SOS 10907 HAS SOPS 9769 HAS SOUS 6023 HAS SOUPS 5298 WITH SCORE 5308.907
AT ITER 207 NEW BEST:: SOT 17567 SOS 10865 HAS SOPS 9688 HAS SOUS 6038 HAS SOUPS 5261 WITH SCORE 5271.865
AT ITER 209 NEW BEST:: SOT 17547 SOS 10855 HAS SOPS 9658 HAS SOUS 6008 HAS SOUPS 5226 WITH SCORE 5236.855
AT ITER 219 NEW BEST:: SOT 17548 SOS 10858 HAS SOPS 9657 HAS SOUS 6010 HAS SOUPS 5224 WITH SCORE 5234.858
AT ITER 220 NEW BEST:: SOT 17497 SOS 10816 HAS SOPS 9606 HAS SOUS 5998 HAS SOUPS 5209 WITH SCORE 5219.816
AT ITER 232 NEW BEST:: SOT 17482 SOS 10814 HAS SOPS 9631 HAS SOUS 5978 HAS SOUPS 5198 WITH SCORE 5208.814
AT ITER 234 NEW BEST:: SOT 17482 SOS 10754 HAS SOPS 9556 HAS SOUS 5959 HAS SOUPS 5179 WITH SCORE 5189.754
AT ITER 239 NEW BEST:: SOT 17460 SOS 10753 HAS SOPS 9534 HAS SOUS 5958 HAS SOUPS 5157 WITH SCORE 5167.753
AT ITER 242 NEW BEST:: SOT 17442 SOS 10693 HAS SOPS 9474 HAS SOUS 5925 HAS SOUPS 5124 WITH SCORE 5134.693
AT ITER 247 NEW BEST:: SOT 17440 SOS 10691 HAS SOPS 9471 HAS SOUS 5922 HAS SOUPS 5121 WITH SCORE 5131.691
AT ITER 248 NEW BEST:: SOT 17376 SOS 10630 HAS SOPS 9410 HAS SOUS 5857 HAS SOUPS 5056 WITH SCORE 5066.63
AT ITER 249 NEW BEST:: SOT 17374 SOS 10620 HAS SOPS 9398 HAS SOUS 5853 HAS SOUPS 5052 WITH SCORE 5062.62
AT ITER 257 NEW BEST:: SOT 17374 SOS 10618 HAS SOPS 9396 HAS SOUS 5851 HAS SOUPS 5050 WITH SCORE 5060.618
AT ITER 258 NEW BEST:: SOT 17360 SOS 10610 HAS SOPS 9392 HAS SOUS 5841 HAS SOUPS 5040 WITH SCORE 5050.61
AT ITER 259 NEW BEST:: SOT 17358 SOS 10450 HAS SOPS 9213 HAS SOUS 5790 HAS SOUPS 4989 WITH SCORE 4999.45
AT ITER 267 NEW BEST:: SOT 17356 SOS 10448 HAS SOPS 9211 HAS SOUS 5788 HAS SOUPS 4987 WITH SCORE 4997.448
AT ITER 283 NEW BEST:: SOT 17348 SOS 10440 HAS SOPS 9199 HAS SOUS 5780 HAS SOUPS 4975 WITH SCORE 4985.44
AT ITER 291 NEW BEST:: SOT 17320 SOS 10406 HAS SOPS 9165 HAS SOUS 5762 HAS SOUPS 4957 WITH SCORE 4967.406
AT ITER 315 NEW BEST:: SOT 17276 SOS 10380 HAS SOPS 9139 HAS SOUS 5727 HAS SOUPS 4922 WITH SCORE 4932.38
AT ITER 316 NEW BEST:: SOT 17271 SOS 10382 HAS SOPS 9134 HAS SOUS 5727 HAS SOUPS 4917 WITH SCORE 4927.382
AT ITER 317 NEW BEST:: SOT 17195 SOS 10306 HAS SOPS 9058 HAS SOUS 5641 HAS SOUPS 4831 WITH SCORE 4841.306
AT ITER 319 NEW BEST:: SOT 17201 SOS 10225 HAS SOPS 8863 HAS SOUS 5542 HAS SOUPS 4732 WITH SCORE 4742.225
AT ITER 326 NEW BEST:: SOT 17172 SOS 10189 HAS SOPS 8823 HAS SOUS 5502 HAS SOUPS 4692 WITH SCORE 4702.189
AT ITER 330 NEW BEST:: SOT 17172 SOS 10175 HAS SOPS 8814 HAS SOUS 5494 HAS SOUPS 4688 WITH SCORE 4698.175
AT ITER 341 NEW BEST:: SOT 17167 SOS 10170 HAS SOPS 8802 HAS SOUS 5489 HAS SOUPS 4676 WITH SCORE 4686.17
AT ITER 342 NEW BEST:: SOT 17204 SOS 10207 HAS SOPS 8791 HAS SOUS 5526 HAS SOUPS 4665 WITH SCORE 4675.207
AT ITER 345 NEW BEST:: SOT 17200 SOS 10191 HAS SOPS 8777 HAS SOUS 5524 HAS SOUPS 4663 WITH SCORE 4673.191
AT ITER 354 NEW BEST:: SOT 17130 SOS 10182 HAS SOPS 8806 HAS SOUS 5486 HAS SOUPS 4649 WITH SCORE 4659.182
AT ITER 361 NEW BEST:: SOT 17127 SOS 10123 HAS SOPS 8747 HAS SOUS 5475 HAS SOUPS 4638 WITH SCORE 4648.123
AT ITER 377 NEW BEST:: SOT 17126 SOS 10122 HAS SOPS 8746 HAS SOUS 5474 HAS SOUPS 4637 WITH SCORE 4647.122
AT ITER 388 NEW BEST:: SOT 17116 SOS 10103 HAS SOPS 8725 HAS SOUS 5462 HAS SOUPS 4625 WITH SCORE 4635.103
AT ITER 390 NEW BEST:: SOT 17110 SOS 10066 HAS SOPS 8682 HAS SOUS 5441 HAS SOUPS 4602 WITH SCORE 4612.066
AT ITER 409 NEW BEST:: SOT 17104 SOS 9986 HAS SOPS 8665 HAS SOUS 5379 HAS SOUPS 4585 WITH SCORE 4594.986
AT ITER 415 NEW BEST:: SOT 17043 SOS 9938 HAS SOPS 8608 HAS SOUS 5329 HAS SOUPS 4528 WITH SCORE 4537.938
AT ITER 448 NEW BEST:: SOT 17041 SOS 9934 HAS SOPS 8604 HAS SOUS 5325 HAS SOUPS 4524 WITH SCORE 4533.934
AT ITER 455 NEW BEST:: SOT 17041 SOS 9934 HAS SOPS 8603 HAS SOUS 5325 HAS SOUPS 4523 WITH SCORE 4532.934
AT ITER 477 NEW BEST:: SOT 17041 SOS 9871 HAS SOPS 8556 HAS SOUS 5318 HAS SOUPS 4516 WITH SCORE 4525.871
AT ITER 478 NEW BEST:: SOT 17038 SOS 9868 HAS SOPS 8550 HAS SOUS 5313 HAS SOUPS 4510 WITH SCORE 4519.868
AT ITER 479 NEW BEST:: SOT 17024 SOS 9885 HAS SOPS 8536 HAS SOUS 5319 HAS SOUPS 4496 WITH SCORE 4505.885
AT ITER 489 NEW BEST:: SOT 16729 SOS 9774 HAS SOPS 8308 HAS SOUS 5307 HAS SOUPS 4462 WITH SCORE 4471.774
AT ITER 495 NEW BEST:: SOT 16683 SOS 9773 HAS SOPS 8318 HAS SOUS 5272 HAS SOUPS 4427 WITH SCORE 4436.773
AT ITER 500 NEW BEST:: SOT 16672 SOS 9753 HAS SOPS 8298 HAS SOUS 5252 HAS SOUPS 4407 WITH SCORE 4416.753
AT ITER 509 NEW BEST:: SOT 16627 SOS 9713 HAS SOPS 8248 HAS SOUS 5212 HAS SOUPS 4357 WITH SCORE 4366.713
AT ITER 513 NEW BEST:: SOT 16627 SOS 9720 HAS SOPS 8255 HAS SOUS 5205 HAS SOUPS 4350 WITH SCORE 4359.72
AT ITER 526 NEW BEST:: SOT 16613 SOS 9706 HAS SOPS 8241 HAS SOUS 5191 HAS SOUPS 4336 WITH SCORE 4345.706
AT ITER 528 NEW BEST:: SOT 16550 SOS 9643 HAS SOPS 8175 HAS SOUS 5125 HAS SOUPS 4270 WITH SCORE 4279.643
AT ITER 532 NEW BEST:: SOT 16593 SOS 9668 HAS SOPS 8143 HAS SOUS 5159 HAS SOUPS 4269 WITH SCORE 4278.668
AT ITER 538 NEW BEST:: SOT 16553 SOS 9628 HAS SOPS 8103 HAS SOUS 5111 HAS SOUPS 4221 WITH SCORE 4230.628
AT ITER 575 NEW BEST:: SOT 16549 SOS 9624 HAS SOPS 8103 HAS SOUS 5107 HAS SOUPS 4221 WITH SCORE 4230.624
AT ITER 593 NEW BEST:: SOT 16585 SOS 9627 HAS SOPS 8124 HAS SOUS 5101 HAS SOUPS 4218 WITH SCORE 4227.627
AT ITER 613 NEW BEST:: SOT 16595 SOS 9529 HAS SOPS 8024 HAS SOUS 5081 HAS SOUPS 4198 WITH SCORE 4207.529
AT ITER 626 NEW BEST:: SOT 16602 SOS 9494 HAS SOPS 7996 HAS SOUS 5074 HAS SOUPS 4198 WITH SCORE 4207.494
AT ITER 656 NEW BEST:: SOT 16624 SOS 9516 HAS SOPS 8018 HAS SOUS 5064 HAS SOUPS 4188 WITH SCORE 4197.516
AT ITER 678 NEW BEST:: SOT 16620 SOS 9512 HAS SOPS 8015 HAS SOUS 5061 HAS SOUPS 4185 WITH SCORE 4194.512
AT ITER 680 NEW BEST:: SOT 16602 SOS 9494 HAS SOPS 7998 HAS SOUS 5044 HAS SOUPS 4168 WITH SCORE 4177.494
AT ITER 686 NEW BEST:: SOT 16602 SOS 9464 HAS SOPS 7968 HAS SOUS 5035 HAS SOUPS 4159 WITH SCORE 4168.464
AT ITER 691 NEW BEST:: SOT 16596 SOS 9452 HAS SOPS 7956 HAS SOUS 5023 HAS SOUPS 4147 WITH SCORE 4156.452
AT ITER 711 NEW BEST:: SOT 16564 SOS 9369 HAS SOPS 7878 HAS SOUS 4995 HAS SOUPS 4119 WITH SCORE 4128.369
AT ITER 713 NEW BEST:: SOT 16496 SOS 9452 HAS SOPS 7947 HAS SOUS 4965 HAS SOUPS 4089 WITH SCORE 4098.452
AT ITER 750 NEW BEST:: SOT 16494 SOS 9450 HAS SOPS 7935 HAS SOUS 4963 HAS SOUPS 4077 WITH SCORE 4086.45
AT ITER 784 NEW BEST:: SOT 16493 SOS 9433 HAS SOPS 7917 HAS SOUS 4957 HAS SOUPS 4071 WITH SCORE 4080.433
AT ITER 788 NEW BEST:: SOT 16496 SOS 9427 HAS SOPS 7917 HAS SOUS 4951 HAS SOUPS 4065 WITH SCORE 4074.427
AT ITER 790 NEW BEST:: SOT 16491 SOS 9417 HAS SOPS 7902 HAS SOUS 4936 HAS SOUPS 4050 WITH SCORE 4059.417
AT ITER 809 NEW BEST:: SOT 16476 SOS 9408 HAS SOPS 7881 HAS SOUS 4953 HAS SOUPS 4049 WITH SCORE 4058.408
AT ITER 832 NEW BEST:: SOT 16476 SOS 9390 HAS SOPS 7863 HAS SOUS 4951 HAS SOUPS 4047 WITH SCORE 4056.39
AT ITER 858 NEW BEST:: SOT 16466 SOS 9376 HAS SOPS 7863 HAS SOUS 4941 HAS SOUPS 4042 WITH SCORE 4051.376
AT ITER 866 NEW BEST:: SOT 16466 SOS 9376 HAS SOPS 7862 HAS SOUS 4941 HAS SOUPS 4041 WITH SCORE 4050.376
AT ITER 892 NEW BEST:: SOT 16467 SOS 9372 HAS SOPS 7838 HAS SOUS 4937 HAS SOUPS 4017 WITH SCORE 4026.372
AT ITER 907 NEW BEST:: SOT 16467 SOS 9366 HAS SOPS 7830 HAS SOUS 4934 HAS SOUPS 4013 WITH SCORE 4022.366
AT ITER 915 NEW BEST:: SOT 16467 SOS 9363 HAS SOPS 7827 HAS SOUS 4934 HAS SOUPS 4013 WITH SCORE 4022.363
AT ITER 941 NEW BEST:: SOT 16458 SOS 9357 HAS SOPS 7817 HAS SOUS 4928 HAS SOUPS 4003 WITH SCORE 4012.357
AT ITER 950 NEW BEST:: SOT 16438 SOS 9322 HAS SOPS 7782 HAS SOUS 4895 HAS SOUPS 3970 WITH SCORE 3979.322
AT ITER 954 NEW BEST:: SOT 16376 SOS 9305 HAS SOPS 7765 HAS SOUS 4878 HAS SOUPS 3953 WITH SCORE 3962.305
AT ITER 955 NEW BEST:: SOT 16358 SOS 9281 HAS SOPS 7735 HAS SOUS 4860 HAS SOUPS 3935 WITH SCORE 3944.281
AT ITER 987 NEW BEST:: SOT 16358 SOS 9275 HAS SOPS 7727 HAS SOUS 4858 HAS SOUPS 3933 WITH SCORE 3942.275
AT ITER 1026 NEW BEST:: SOT 16342 SOS 9259 HAS SOPS 7706 HAS SOUS 4842 HAS SOUPS 3912 WITH SCORE 3921.259
AT ITER 1041 NEW BEST:: SOT 16318 SOS 9233 HAS SOPS 7656 HAS SOUS 4811 HAS SOUPS 3862 WITH SCORE 3871.233
AT ITER 1068 NEW BEST:: SOT 16318 SOS 9230 HAS SOPS 7653 HAS SOUS 4811 HAS SOUPS 3862 WITH SCORE 3871.23
AT ITER 1070 NEW BEST:: SOT 16319 SOS 9191 HAS SOPS 7616 HAS SOUS 4806 HAS SOUPS 3858 WITH SCORE 3867.191
AT ITER 1100 NEW BEST:: SOT 16313 SOS 9183 HAS SOPS 7605 HAS SOUS 4795 HAS SOUPS 3847 WITH SCORE 3856.183
AT ITER 1104 NEW BEST:: SOT 16309 SOS 9179 HAS SOPS 7597 HAS SOUS 4791 HAS SOUPS 3839 WITH SCORE 3848.179
AT ITER 1151 NEW BEST:: SOT 16301 SOS 9175 HAS SOPS 7597 HAS SOUS 4791 HAS SOUPS 3839 WITH SCORE 3848.175
AT ITER 1172 NEW BEST:: SOT 16299 SOS 9171 HAS SOPS 7583 HAS SOUS 4791 HAS SOUPS 3837 WITH SCORE 3846.171
AT ITER 1176 NEW BEST:: SOT 16298 SOS 9170 HAS SOPS 7582 HAS SOUS 4786 HAS SOUPS 3832 WITH SCORE 3841.17
AT ITER 1194 NEW BEST:: SOT 16298 SOS 9152 HAS SOPS 7564 HAS SOUS 4783 HAS SOUPS 3829 WITH SCORE 3838.152
AT ITER 1235 NEW BEST:: SOT 16261 SOS 9058 HAS SOPS 7470 HAS SOUS 4779 HAS SOUPS 3825 WITH SCORE 3834.058
AT ITER 1257 NEW BEST:: SOT 16260 SOS 9057 HAS SOPS 7469 HAS SOUS 4779 HAS SOUPS 3824 WITH SCORE 3833.057
AT ITER 1260 NEW BEST:: SOT 16217 SOS 9015 HAS SOPS 7427 HAS SOUS 4771 HAS SOUPS 3822 WITH SCORE 3831.015
AT ITER 1271 NEW BEST:: SOT 16214 SOS 9007 HAS SOPS 7421 HAS SOUS 4763 HAS SOUPS 3816 WITH SCORE 3825.007
AT ITER 1272 NEW BEST:: SOT 16214 SOS 9007 HAS SOPS 7421 HAS SOUS 4761 HAS SOUPS 3814 WITH SCORE 3823.007
AT ITER 1281 NEW BEST:: SOT 16214 SOS 9007 HAS SOPS 7417 HAS SOUS 4760 HAS SOUPS 3810 WITH SCORE 3819.007
AT ITER 1314 NEW BEST:: SOT 16206 SOS 9016 HAS SOPS 7386 HAS SOUS 4760 HAS SOUPS 3779 WITH SCORE 3788.016
AT ITER 1316 NEW BEST:: SOT 16202 SOS 9012 HAS SOPS 7378 HAS SOUS 4752 HAS SOUPS 3771 WITH SCORE 3780.012
AT ITER 1339 NEW BEST:: SOT 16202 SOS 9002 HAS SOPS 7370 HAS SOUS 4752 HAS SOUPS 3771 WITH SCORE 3780.002
AT ITER 1357 NEW BEST:: SOT 16150 SOS 9016 HAS SOPS 7308 HAS SOUS 4723 HAS SOUPS 3726 WITH SCORE 3735.016
AT ITER 1440 NEW BEST:: SOT 16148 SOS 9014 HAS SOPS 7306 HAS SOUS 4721 HAS SOUPS 3724 WITH SCORE 3733.014
AT ITER 1441 NEW BEST:: SOT 16148 SOS 9011 HAS SOPS 7304 HAS SOUS 4719 HAS SOUPS 3722 WITH SCORE 3731.011
AT ITER 1474 NEW BEST:: SOT 16130 SOS 8973 HAS SOPS 7256 HAS SOUS 4713 HAS SOUPS 3716 WITH SCORE 3724.973
AT ITER 1493 NEW BEST:: SOT 16130 SOS 8968 HAS SOPS 7255 HAS SOUS 4712 HAS SOUPS 3715 WITH SCORE 3723.968
AT ITER 1549 NEW BEST:: SOT 16067 SOS 8924 HAS SOPS 7192 HAS SOUS 4718 HAS SOUPS 3680 WITH SCORE 3688.924
AT ITER 1550 NEW BEST:: SOT 16067 SOS 8921 HAS SOPS 7189 HAS SOUS 4715 HAS SOUPS 3677 WITH SCORE 3685.921
AT ITER 1584 NEW BEST:: SOT 16057 SOS 8907 HAS SOPS 7178 HAS SOUS 4695 HAS SOUPS 3666 WITH SCORE 3674.907
AT ITER 1596 NEW BEST:: SOT 16049 SOS 8903 HAS SOPS 7172 HAS SOUS 4689 HAS SOUPS 3658 WITH SCORE 3666.903
AT ITER 1598 NEW BEST:: SOT 16043 SOS 8897 HAS SOPS 7167 HAS SOUS 4683 HAS SOUPS 3653 WITH SCORE 3661.897
AT ITER 1620 NEW BEST:: SOT 16043 SOS 8882 HAS SOPS 7152 HAS SOUS 4680 HAS SOUPS 3650 WITH SCORE 3658.882
AT ITER 1628 NEW BEST:: SOT 16039 SOS 8897 HAS SOPS 7149 HAS SOUS 4684 HAS SOUPS 3647 WITH SCORE 3655.897
AT ITER 1640 NEW BEST:: SOT 16037 SOS 8903 HAS SOPS 7147 HAS SOUS 4686 HAS SOUPS 3645 WITH SCORE 3653.903
AT ITER 1649 NEW BEST:: SOT 16033 SOS 8899 HAS SOPS 7143 HAS SOUS 4680 HAS SOUPS 3639 WITH SCORE 3647.899
AT ITER 1661 NEW BEST:: SOT 16033 SOS 8897 HAS SOPS 7141 HAS SOUS 4680 HAS SOUPS 3639 WITH SCORE 3647.897
AT ITER 1678 NEW BEST:: SOT 16027 SOS 8900 HAS SOPS 7148 HAS SOUS 4674 HAS SOUPS 3633 WITH SCORE 3641.9
AT ITER 1693 NEW BEST:: SOT 16022 SOS 8895 HAS SOPS 7143 HAS SOUS 4669 HAS SOUPS 3628 WITH SCORE 3636.895
AT ITER 1797 NEW BEST:: SOT 16030 SOS 8898 HAS SOPS 7157 HAS SOUS 4657 HAS SOUPS 3626 WITH SCORE 3634.898
AT ITER 1828 NEW BEST:: SOT 16027 SOS 8880 HAS SOPS 7151 HAS SOUS 4647 HAS SOUPS 3620 WITH SCORE 3628.88
AT ITER 1844 NEW BEST:: SOT 16016 SOS 8865 HAS SOPS 7139 HAS SOUS 4635 HAS SOUPS 3608 WITH SCORE 3616.865
AT ITER 1854 NEW BEST:: SOT 16024 SOS 8841 HAS SOPS 7133 HAS SOUS 4621 HAS SOUPS 3594 WITH SCORE 3602.841
AT ITER 1863 NEW BEST:: SOT 16015 SOS 8838 HAS SOPS 7130 HAS SOUS 4615 HAS SOUPS 3588 WITH SCORE 3596.838
AT ITER 1881 NEW BEST:: SOT 16015 SOS 8836 HAS SOPS 7130 HAS SOUS 4612 HAS SOUPS 3588 WITH SCORE 3596.836
AT ITER 1901 NEW BEST:: SOT 16009 SOS 8819 HAS SOPS 7159 HAS SOUS 4585 HAS SOUPS 3569 WITH SCORE 3577.819
AT ITER 1925 NEW BEST:: SOT 16009 SOS 8817 HAS SOPS 7158 HAS SOUS 4585 HAS SOUPS 3569 WITH SCORE 3577.817
AT ITER 1993 NEW BEST:: SOT 16006 SOS 8811 HAS SOPS 7151 HAS SOUS 4578 HAS SOUPS 3562 WITH SCORE 3570.811
AT ITER 2012 NEW BEST:: SOT 16006 SOS 8811 HAS SOPS 7150 HAS SOUS 4576 HAS SOUPS 3560 WITH SCORE 3568.811
AT ITER 2041 NEW BEST:: SOT 16006 SOS 8807 HAS SOPS 7146 HAS SOUS 4572 HAS SOUPS 3558 WITH SCORE 3566.807
AT ITER 2054 NEW BEST:: SOT 16002 SOS 8697 HAS SOPS 7027 HAS SOUS 4542 HAS SOUPS 3528 WITH SCORE 3536.697
AT ITER 2057 NEW BEST:: SOT 15968 SOS 8765 HAS SOPS 7096 HAS SOUS 4520 HAS SOUPS 3506 WITH SCORE 3514.765
AT ITER 2094 NEW BEST:: SOT 15959 SOS 8781 HAS SOPS 7112 HAS SOUS 4511 HAS SOUPS 3497 WITH SCORE 3505.781
AT ITER 2119 NEW BEST:: SOT 15957 SOS 8775 HAS SOPS 7106 HAS SOUS 4505 HAS SOUPS 3491 WITH SCORE 3499.775
AT ITER 2138 NEW BEST:: SOT 15949 SOS 8739 HAS SOPS 7090 HAS SOUS 4429 HAS SOUPS 3475 WITH SCORE 3483.739
AT ITER 2197 NEW BEST:: SOT 15949 SOS 8712 HAS SOPS 7066 HAS SOUS 4429 HAS SOUPS 3475 WITH SCORE 3483.712
AT ITER 2229 NEW BEST:: SOT 15951 SOS 8749 HAS SOPS 7075 HAS SOUS 4454 HAS SOUPS 3472 WITH SCORE 3480.749
AT ITER 2392 NEW BEST:: SOT 15951 SOS 8748 HAS SOPS 7075 HAS SOUS 4454 HAS SOUPS 3472 WITH SCORE 3480.748
AT ITER 2455 NEW BEST:: SOT 15952 SOS 8747 HAS SOPS 7073 HAS SOUS 4454 HAS SOUPS 3472 WITH SCORE 3480.747
AT ITER 2498 NEW BEST:: SOT 15951 SOS 8743 HAS SOPS 7069 HAS SOUS 4452 HAS SOUPS 3470 WITH SCORE 3478.743
AT ITER 2504 NEW BEST:: SOT 15934 SOS 8731 HAS SOPS 7051 HAS SOUS 4456 HAS SOUPS 3468 WITH SCORE 3476.731
AT ITER 2573 NEW BEST:: SOT 15936 SOS 8732 HAS SOPS 7054 HAS SOUS 4453 HAS SOUPS 3467 WITH SCORE 3475.732
AT ITER 2615 NEW BEST:: SOT 15932 SOS 8730 HAS SOPS 7051 HAS SOUS 4450 HAS SOUPS 3463 WITH SCORE 3471.73
AT ITER 2629 NEW BEST:: SOT 15927 SOS 8704 HAS SOPS 7027 HAS SOUS 4414 HAS SOUPS 3439 WITH SCORE 3447.704
AT ITER 2667 NEW BEST:: SOT 15951 SOS 8602 HAS SOPS 6925 HAS SOUS 4408 HAS SOUPS 3433 WITH SCORE 3441.602
AT ITER 2712 NEW BEST:: SOT 15950 SOS 8598 HAS SOPS 6920 HAS SOUS 4404 HAS SOUPS 3429 WITH SCORE 3437.598
AT ITER 2738 NEW BEST:: SOT 15950 SOS 8566 HAS SOPS 6920 HAS SOUS 4372 HAS SOUPS 3429 WITH SCORE 3437.566
AT ITER 2745 NEW BEST:: SOT 15952 SOS 8560 HAS SOPS 6908 HAS SOUS 4368 HAS SOUPS 3425 WITH SCORE 3433.56
AT ITER 2770 NEW BEST:: SOT 15969 SOS 8567 HAS SOPS 6907 HAS SOUS 4363 HAS SOUPS 3420 WITH SCORE 3428.567
AT ITER 2784 NEW BEST:: SOT 15967 SOS 8565 HAS SOPS 6903 HAS SOUS 4357 HAS SOUPS 3414 WITH SCORE 3422.565
AT ITER 2798 NEW BEST:: SOT 15964 SOS 8560 HAS SOPS 6897 HAS SOUS 4351 HAS SOUPS 3408 WITH SCORE 3416.56
AT ITER 2814 NEW BEST:: SOT 15914 SOS 8573 HAS SOPS 6878 HAS SOUS 4346 HAS SOUPS 3399 WITH SCORE 3407.573
AT ITER 2819 NEW BEST:: SOT 15913 SOS 8568 HAS SOPS 6876 HAS SOUS 4343 HAS SOUPS 3399 WITH SCORE 3407.568
AT ITER 2843 NEW BEST:: SOT 15913 SOS 8560 HAS SOPS 6868 HAS SOUS 4341 HAS SOUPS 3397 WITH SCORE 3405.56
AT ITER 2846 NEW BEST:: SOT 15913 SOS 8558 HAS SOPS 6868 HAS SOUS 4339 HAS SOUPS 3397 WITH SCORE 3405.558
AT ITER 2899 NEW BEST:: SOT 15906 SOS 8551 HAS SOPS 6859 HAS SOUS 4333 HAS SOUPS 3391 WITH SCORE 3399.551
AT ITER 2913 NEW BEST:: SOT 15911 SOS 8559 HAS SOPS 6876 HAS SOUS 4327 HAS SOUPS 3388 WITH SCORE 3396.559
AT ITER 2994 NEW BEST:: SOT 15911 SOS 8536 HAS SOPS 6853 HAS SOUS 4322 HAS SOUPS 3383 WITH SCORE 3391.536
AT ITER 3021 NEW BEST:: SOT 15911 SOS 8536 HAS SOPS 6851 HAS SOUS 4320 HAS SOUPS 3381 WITH SCORE 3389.536
AT ITER 3055 NEW BEST:: SOT 15909 SOS 8527 HAS SOPS 6840 HAS SOUS 4306 HAS SOUPS 3367 WITH SCORE 3375.527
AT ITER 3137 NEW BEST:: SOT 15908 SOS 8526 HAS SOPS 6838 HAS SOUS 4305 HAS SOUPS 3365 WITH SCORE 3373.526
AT ITER 3150 NEW BEST:: SOT 15903 SOS 8529 HAS SOPS 6831 HAS SOUS 4308 HAS SOUPS 3358 WITH SCORE 3366.529
AT ITER 3163 NEW BEST:: SOT 15900 SOS 8526 HAS SOPS 6826 HAS SOUS 4303 HAS SOUPS 3353 WITH SCORE 3361.526
AT ITER 3177 NEW BEST:: SOT 15894 SOS 8532 HAS SOPS 6832 HAS SOUS 4297 HAS SOUPS 3347 WITH SCORE 3355.532
AT ITER 3216 NEW BEST:: SOT 15893 SOS 8531 HAS SOPS 6832 HAS SOUS 4296 HAS SOUPS 3347 WITH SCORE 3355.531
AT ITER 3238 NEW BEST:: SOT 15891 SOS 8532 HAS SOPS 6833 HAS SOUS 4294 HAS SOUPS 3345 WITH SCORE 3353.532
AT ITER 3253 NEW BEST:: SOT 15887 SOS 8528 HAS SOPS 6828 HAS SOUS 4290 HAS SOUPS 3340 WITH SCORE 3348.528
AT ITER 3260 NEW BEST:: SOT 15882 SOS 8516 HAS SOPS 6821 HAS SOUS 4272 HAS SOUPS 3333 WITH SCORE 3341.516
AT ITER 3365 NEW BEST:: SOT 15881 SOS 8515 HAS SOPS 6818 HAS SOUS 4271 HAS SOUPS 3330 WITH SCORE 3338.515
AT ITER 3366 NEW BEST:: SOT 15881 SOS 8514 HAS SOPS 6816 HAS SOUS 4270 HAS SOUPS 3329 WITH SCORE 3337.514
AT ITER 3539 NEW BEST:: SOT 15877 SOS 8508 HAS SOPS 6814 HAS SOUS 4263 HAS SOUPS 3327 WITH SCORE 3335.508
AT ITER 3570 NEW BEST:: SOT 15884 SOS 8513 HAS SOPS 6841 HAS SOUS 4254 HAS SOUPS 3321 WITH SCORE 3329.513
AT ITER 3604 NEW BEST:: SOT 15883 SOS 8511 HAS SOPS 6836 HAS SOUS 4251 HAS SOUPS 3316 WITH SCORE 3324.511
AT ITER 3745 NEW BEST:: SOT 15886 SOS 8500 HAS SOPS 6831 HAS SOUS 4249 HAS SOUPS 3314 WITH SCORE 3322.5
AT ITER 3795 NEW BEST:: SOT 15883 SOS 8497 HAS SOPS 6823 HAS SOUS 4244 HAS SOUPS 3306 WITH SCORE 3314.497
AT ITER 3836 NEW BEST:: SOT 15879 SOS 8493 HAS SOPS 6815 HAS SOUS 4240 HAS SOUPS 3298 WITH SCORE 3306.493
AT ITER 3858 NEW BEST:: SOT 15878 SOS 8492 HAS SOPS 6814 HAS SOUS 4239 HAS SOUPS 3297 WITH SCORE 3305.492
AT ITER 3936 NEW BEST:: SOT 15877 SOS 8487 HAS SOPS 6807 HAS SOUS 4235 HAS SOUPS 3293 WITH SCORE 3301.487
AT ITER 4043 NEW BEST:: SOT 15876 SOS 8477 HAS SOPS 6799 HAS SOUS 4232 HAS SOUPS 3291 WITH SCORE 3299.477
AT ITER 4083 NEW BEST:: SOT 15811 SOS 8417 HAS SOPS 6730 HAS SOUS 4223 HAS SOUPS 3277 WITH SCORE 3285.417
AT ITER 4114 NEW BEST:: SOT 15809 SOS 8412 HAS SOPS 6723 HAS SOUS 4218 HAS SOUPS 3272 WITH SCORE 3280.412
AT ITER 4213 NEW BEST:: SOT 15803 SOS 8430 HAS SOPS 6717 HAS SOUS 4236 HAS SOUPS 3266 WITH SCORE 3274.43
AT ITER 4230 NEW BEST:: SOT 15803 SOS 8424 HAS SOPS 6711 HAS SOUS 4236 HAS SOUPS 3266 WITH SCORE 3274.424
AT ITER 4274 NEW BEST:: SOT 15804 SOS 8420 HAS SOPS 6712 HAS SOUS 4233 HAS SOUPS 3264 WITH SCORE 3272.42
AT ITER 4279 NEW BEST:: SOT 15802 SOS 8418 HAS SOPS 6709 HAS SOUS 4231 HAS SOUPS 3261 WITH SCORE 3269.418
AT ITER 4331 NEW BEST:: SOT 15800 SOS 8416 HAS SOPS 6707 HAS SOUS 4229 HAS SOUPS 3259 WITH SCORE 3267.416
AT ITER 4386 NEW BEST:: SOT 15800 SOS 8411 HAS SOPS 6702 HAS SOUS 4229 HAS SOUPS 3259 WITH SCORE 3267.411
AT ITER 4500 NEW BEST:: SOT 15815 SOS 8383 HAS SOPS 6674 HAS SOUS 4229 HAS SOUPS 3259 WITH SCORE 3267.383
AT ITER 4542 NEW BEST:: SOT 15723 SOS 8287 HAS SOPS 6548 HAS SOUS 4222 HAS SOUPS 3245 WITH SCORE 3253.287
AT ITER 4601 NEW BEST:: SOT 15721 SOS 8285 HAS SOPS 6546 HAS SOUS 4221 HAS SOUPS 3244 WITH SCORE 3252.285
AT ITER 4659 NEW BEST:: SOT 15721 SOS 8268 HAS SOPS 6529 HAS SOUS 4220 HAS SOUPS 3243 WITH SCORE 3251.268
AT ITER 4704 NEW BEST:: SOT 15716 SOS 8263 HAS SOPS 6526 HAS SOUS 4214 HAS SOUPS 3240 WITH SCORE 3248.263
AT ITER 4767 NEW BEST:: SOT 15715 SOS 8260 HAS SOPS 6524 HAS SOUS 4208 HAS SOUPS 3238 WITH SCORE 3246.26
AT ITER 4823 NEW BEST:: SOT 15723 SOS 8255 HAS SOPS 6531 HAS SOUS 4198 HAS SOUPS 3231 WITH SCORE 3239.255
AT ITER 4864 NEW BEST:: SOT 15723 SOS 8252 HAS SOPS 6531 HAS SOUS 4197 HAS SOUPS 3231 WITH SCORE 3239.252
AT ITER 4868 NEW BEST:: SOT 15719 SOS 8245 HAS SOPS 6525 HAS SOUS 4191 HAS SOUPS 3225 WITH SCORE 3233.245
AT ITER 4897 NEW BEST:: SOT 15567 SOS 8121 HAS SOPS 6381 HAS SOUS 4201 HAS SOUPS 3225 WITH SCORE 3233.121
AT ITER 4926 NEW BEST:: SOT 15562 SOS 8116 HAS SOPS 6371 HAS SOUS 4196 HAS SOUPS 3215 WITH SCORE 3223.116
AT ITER 4929 NEW BEST:: SOT 15560 SOS 8116 HAS SOPS 6369 HAS SOUS 4196 HAS SOUPS 3213 WITH SCORE 3221.116
AT ITER 4935 NEW BEST:: SOT 15559 SOS 8115 HAS SOPS 6368 HAS SOUS 4195 HAS SOUPS 3212 WITH SCORE 3220.115
AT ITER 4965 NEW BEST:: SOT 15560 SOS 8112 HAS SOPS 6370 HAS SOUS 4192 HAS SOUPS 3210 WITH SCORE 3218.112
AT ITER 5122 NEW BEST:: SOT 15560 SOS 8125 HAS SOPS 6383 HAS SOUS 4191 HAS SOUPS 3209 WITH SCORE 3217.125
AT ITER 5184 NEW BEST:: SOT 15560 SOS 8130 HAS SOPS 6388 HAS SOUS 4190 HAS SOUPS 3208 WITH SCORE 3216.13
AT ITER 5204 NEW BEST:: SOT 15561 SOS 8131 HAS SOPS 6387 HAS SOUS 4191 HAS SOUPS 3207 WITH SCORE 3215.131
AT ITER 5251 NEW BEST:: SOT 15554 SOS 8124 HAS SOPS 6377 HAS SOUS 4190 HAS SOUPS 3205 WITH SCORE 3213.124
AT ITER 5252 NEW BEST:: SOT 15554 SOS 8119 HAS SOPS 6373 HAS SOUS 4188 HAS SOUPS 3204 WITH SCORE 3212.119
AT ITER 5416 NEW BEST:: SOT 15539 SOS 8112 HAS SOPS 6359 HAS SOUS 4178 HAS SOUPS 3190 WITH SCORE 3198.112
AT ITER 5474 NEW BEST:: SOT 15533 SOS 8113 HAS SOPS 6350 HAS SOUS 4174 HAS SOUPS 3184 WITH SCORE 3192.113
AT ITER 5558 NEW BEST:: SOT 15409 SOS 8009 HAS SOPS 6231 HAS SOUS 4159 HAS SOUPS 3161 WITH SCORE 3169.009
AT ITER 5622 NEW BEST:: SOT 15409 SOS 8009 HAS SOPS 6229 HAS SOUS 4157 HAS SOUPS 3159 WITH SCORE 3167.009
AT ITER 5694 NEW BEST:: SOT 15408 SOS 8009 HAS SOPS 6229 HAS SOUS 4156 HAS SOUPS 3158 WITH SCORE 3166.009
AT ITER 5764 NEW BEST:: SOT 15407 SOS 8004 HAS SOPS 6224 HAS SOUS 4154 HAS SOUPS 3156 WITH SCORE 3164.004
AT ITER 5904 NEW BEST:: SOT 15407 SOS 8004 HAS SOPS 6220 HAS SOUS 4154 HAS SOUPS 3152 WITH SCORE 3160.004
AT ITER 5963 NEW BEST:: SOT 15407 SOS 7998 HAS SOPS 6214 HAS SOUS 4154 HAS SOUPS 3152 WITH SCORE 3159.998
AT ITER 6036 NEW BEST:: SOT 15407 SOS 7995 HAS SOPS 6211 HAS SOUS 4154 HAS SOUPS 3152 WITH SCORE 3159.995
AT ITER 6059 NEW BEST:: SOT 15406 SOS 7996 HAS SOPS 6207 HAS SOUS 4154 HAS SOUPS 3151 WITH SCORE 3158.996
AT ITER 6080 NEW BEST:: SOT 15402 SOS 7990 HAS SOPS 6199 HAS SOUS 4146 HAS SOUPS 3143 WITH SCORE 3150.99
AT ITER 6141 NEW BEST:: SOT 15399 SOS 7988 HAS SOPS 6197 HAS SOUS 4144 HAS SOUPS 3141 WITH SCORE 3148.988
AT ITER 6385 NEW BEST:: SOT 15399 SOS 7982 HAS SOPS 6191 HAS SOUS 4138 HAS SOUPS 3138 WITH SCORE 3145.982
AT ITER 6389 NEW BEST:: SOT 15396 SOS 7979 HAS SOPS 6191 HAS SOUS 4135 HAS SOUPS 3138 WITH SCORE 3145.979
AT ITER 6487 NEW BEST:: SOT 15396 SOS 7975 HAS SOPS 6187 HAS SOUS 4135 HAS SOUPS 3138 WITH SCORE 3145.975
AT ITER 6537 NEW BEST:: SOT 15380 SOS 7962 HAS SOPS 6170 HAS SOUS 4120 HAS SOUPS 3121 WITH SCORE 3128.962
AT ITER 6596 NEW BEST:: SOT 15379 SOS 7962 HAS SOPS 6168 HAS SOUS 4119 HAS SOUPS 3119 WITH SCORE 3126.962
AT ITER 6634 NEW BEST:: SOT 15374 SOS 7957 HAS SOPS 6164 HAS SOUS 4114 HAS SOUPS 3115 WITH SCORE 3122.957
AT ITER 6639 NEW BEST:: SOT 15361 SOS 7952 HAS SOPS 6151 HAS SOUS 4125 HAS SOUPS 3110 WITH SCORE 3117.952
AT ITER 6825 NEW BEST:: SOT 15360 SOS 7952 HAS SOPS 6150 HAS SOUS 4125 HAS SOUPS 3109 WITH SCORE 3116.952
AT ITER 6839 NEW BEST:: SOT 15358 SOS 7948 HAS SOPS 6143 HAS SOUS 4119 HAS SOUPS 3103 WITH SCORE 3110.948
AT ITER 6892 NEW BEST:: SOT 15356 SOS 7946 HAS SOPS 6139 HAS SOUS 4117 HAS SOUPS 3099 WITH SCORE 3106.946
AT ITER 6894 NEW BEST:: SOT 15354 SOS 7946 HAS SOPS 6139 HAS SOUS 4115 HAS SOUPS 3097 WITH SCORE 3104.946
AT ITER 6930 NEW BEST:: SOT 15354 SOS 7948 HAS SOPS 6140 HAS SOUS 4114 HAS SOUPS 3096 WITH SCORE 3103.948
AT ITER 7400 NEW BEST:: SOT 15351 SOS 7947 HAS SOPS 6139 HAS SOUS 4112 HAS SOUPS 3094 WITH SCORE 3101.947
AT ITER 7441 NEW BEST:: SOT 15336 SOS 7935 HAS SOPS 6124 HAS SOUS 4098 HAS SOUPS 3079 WITH SCORE 3086.935
AT ITER 7462 NEW BEST:: SOT 15335 SOS 7934 HAS SOPS 6124 HAS SOUS 4097 HAS SOUPS 3079 WITH SCORE 3086.934
AT ITER 7622 NEW BEST:: SOT 15333 SOS 7929 HAS SOPS 6119 HAS SOUS 4092 HAS SOUPS 3074 WITH SCORE 3081.929
AT ITER 7723 NEW BEST:: SOT 15332 SOS 7928 HAS SOPS 6115 HAS SOUS 4091 HAS SOUPS 3070 WITH SCORE 3077.928
AT ITER 7851 NEW BEST:: SOT 15332 SOS 7933 HAS SOPS 6120 HAS SOUS 4090 HAS SOUPS 3069 WITH SCORE 3076.933
AT ITER 7905 NEW BEST:: SOT 15331 SOS 7932 HAS SOPS 6118 HAS SOUS 4089 HAS SOUPS 3067 WITH SCORE 3074.932
AT ITER 7936 NEW BEST:: SOT 15331 SOS 7930 HAS SOPS 6117 HAS SOUS 4089 HAS SOUPS 3067 WITH SCORE 3074.93
AT ITER 8327 NEW BEST:: SOT 15331 SOS 7923 HAS SOPS 6110 HAS SOUS 4089 HAS SOUPS 3067 WITH SCORE 3074.923
AT ITER 8456 NEW BEST:: SOT 15276 SOS 7882 HAS SOPS 6054 HAS SOUS 4086 HAS SOUPS 3059 WITH SCORE 3066.882
AT ITER 8874 NEW BEST:: SOT 15276 SOS 7890 HAS SOPS 6053 HAS SOUS 4093 HAS SOUPS 3058 WITH SCORE 3065.89
AT ITER 9005 NEW BEST:: SOT 15276 SOS 7885 HAS SOPS 6048 HAS SOUS 4093 HAS SOUPS 3058 WITH SCORE 3065.885
AT ITER 9069 NEW BEST:: SOT 15276 SOS 7880 HAS SOPS 6043 HAS SOUS 4093 HAS SOUPS 3058 WITH SCORE 3065.88
AT ITER 9153 NEW BEST:: SOT 15287 SOS 7875 HAS SOPS 6045 HAS SOUS 4091 HAS SOUPS 3057 WITH SCORE 3064.875
AT ITER 9376 NEW BEST:: SOT 15287 SOS 7877 HAS SOPS 6046 HAS SOUS 4090 HAS SOUPS 3056 WITH SCORE 3063.877
AT ITER 9530 NEW BEST:: SOT 15282 SOS 7872 HAS SOPS 6045 HAS SOUS 4085 HAS SOUPS 3055 WITH SCORE 3062.872
AT ITER 9568 NEW BEST:: SOT 15282 SOS 7878 HAS SOPS 6051 HAS SOUS 4084 HAS SOUPS 3054 WITH SCORE 3061.878
AT ITER 9583 NEW BEST:: SOT 15263 SOS 7861 HAS SOPS 6031 HAS SOUS 4066 HAS SOUPS 3034 WITH SCORE 3041.861
AT ITER 9685 NEW BEST:: SOT 15265 SOS 7860 HAS SOPS 6026 HAS SOUS 4064 HAS SOUPS 3032 WITH SCORE 3039.86
AT ITER 9738 NEW BEST:: SOT 15261 SOS 7856 HAS SOPS 6021 HAS SOUS 4060 HAS SOUPS 3027 WITH SCORE 3034.856
AT ITER 9845 NEW BEST:: SOT 15258 SOS 7848 HAS SOPS 6021 HAS SOUS 4043 HAS SOUPS 3027 WITH SCORE 3034.848
STATE_SPACE STATES 1914784 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 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9046048 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678610309212

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is LamportFastMutEx-COL-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410300360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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