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.r235-tall-167856421700360.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 LamportFastMutEx-COL-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421700360
=====================================================================

--------------------
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 1678649101986

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=LamportFastMutEx-COL-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 19:25:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 19:25:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 19:25:03] [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 19:25:03] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 19:25:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1167 ms
[2023-03-12 19:25:04] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 135 PT places and 285.0 transition bindings in 15 ms.
[2023-03-12 19:25:04] [INFO ] Unfolded HLPN to a Petri net with 135 places and 230 transitions 990 arcs in 20 ms.
[2023-03-12 19:25:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-12 19:25:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 135 places, 230 transitions and 990 arcs took 6 ms.
Total runtime 1291 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 4
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: 135 places, 230 transitions, 990 arcs.
AT ITER 0 NEW BEST:: SOT 15811 SOS 9515 HAS SOPS 8536 HAS SOUS 7509 HAS SOUPS 7086 WITH SCORE 7095.515
AT ITER 3 NEW BEST:: SOT 15777 SOS 9501 HAS SOPS 8502 HAS SOUS 7495 HAS SOUPS 7052 WITH SCORE 7061.501
AT ITER 15 NEW BEST:: SOT 15777 SOS 9501 HAS SOPS 8500 HAS SOUS 7495 HAS SOUPS 7050 WITH SCORE 7059.501
AT ITER 16 NEW BEST:: SOT 15777 SOS 9488 HAS SOPS 8487 HAS SOUS 7482 HAS SOUPS 7037 WITH SCORE 7046.488
AT ITER 18 NEW BEST:: SOT 15777 SOS 9485 HAS SOPS 8484 HAS SOUS 7479 HAS SOUPS 7034 WITH SCORE 7043.485
AT ITER 26 NEW BEST:: SOT 15800 SOS 9562 HAS SOPS 8540 HAS SOUS 7475 HAS SOUPS 7030 WITH SCORE 7039.562
AT ITER 30 NEW BEST:: SOT 15735 SOS 9527 HAS SOPS 8505 HAS SOUS 7425 HAS SOUPS 6980 WITH SCORE 6989.527
AT ITER 32 NEW BEST:: SOT 15779 SOS 9644 HAS SOPS 8294 HAS SOUS 7404 HAS SOUPS 6769 WITH SCORE 6778.644
AT ITER 34 NEW BEST:: SOT 15737 SOS 9628 HAS SOPS 8291 HAS SOUS 7375 HAS SOUPS 6753 WITH SCORE 6762.628
AT ITER 39 NEW BEST:: SOT 15762 SOS 9660 HAS SOPS 8243 HAS SOUS 7334 HAS SOUPS 6712 WITH SCORE 6721.66
AT ITER 51 NEW BEST:: SOT 15637 SOS 9675 HAS SOPS 8020 HAS SOUS 7219 HAS SOUPS 6539 WITH SCORE 6548.675
AT ITER 53 NEW BEST:: SOT 15649 SOS 9651 HAS SOPS 7949 HAS SOUS 7211 HAS SOUPS 6504 WITH SCORE 6513.651
AT ITER 54 NEW BEST:: SOT 15611 SOS 9615 HAS SOPS 7856 HAS SOUS 7115 HAS SOUPS 6408 WITH SCORE 6417.615
AT ITER 60 NEW BEST:: SOT 15595 SOS 9613 HAS SOPS 7826 HAS SOUS 7099 HAS SOUPS 6378 WITH SCORE 6387.613
AT ITER 63 NEW BEST:: SOT 15564 SOS 9591 HAS SOPS 7795 HAS SOUS 7077 HAS SOUPS 6347 WITH SCORE 6356.591
AT ITER 66 NEW BEST:: SOT 15577 SOS 9602 HAS SOPS 7793 HAS SOUS 7075 HAS SOUPS 6345 WITH SCORE 6354.602
AT ITER 72 NEW BEST:: SOT 15555 SOS 9645 HAS SOPS 7784 HAS SOUS 7116 HAS SOUPS 6336 WITH SCORE 6345.645
AT ITER 88 NEW BEST:: SOT 15359 SOS 9507 HAS SOPS 7646 HAS SOUS 6790 HAS SOUPS 6010 WITH SCORE 6019.507
AT ITER 91 NEW BEST:: SOT 15383 SOS 9557 HAS SOPS 7695 HAS SOUS 6845 HAS SOUPS 6004 WITH SCORE 6013.557
AT ITER 107 NEW BEST:: SOT 15348 SOS 9583 HAS SOPS 7659 HAS SOUS 6844 HAS SOUPS 5968 WITH SCORE 5977.583
AT ITER 114 NEW BEST:: SOT 15277 SOS 9585 HAS SOPS 7667 HAS SOUS 6794 HAS SOUPS 5939 WITH SCORE 5948.585
AT ITER 116 NEW BEST:: SOT 15257 SOS 9565 HAS SOPS 7647 HAS SOUS 6770 HAS SOUPS 5915 WITH SCORE 5924.565
AT ITER 118 NEW BEST:: SOT 15257 SOS 9563 HAS SOPS 7645 HAS SOUS 6768 HAS SOUPS 5913 WITH SCORE 5922.563
AT ITER 138 NEW BEST:: SOT 15187 SOS 9527 HAS SOPS 7593 HAS SOUS 6699 HAS SOUPS 5844 WITH SCORE 5853.527
AT ITER 140 NEW BEST:: SOT 15185 SOS 9526 HAS SOPS 7591 HAS SOUS 6698 HAS SOUPS 5842 WITH SCORE 5851.526
AT ITER 141 NEW BEST:: SOT 15191 SOS 9538 HAS SOPS 7591 HAS SOUS 6695 HAS SOUPS 5839 WITH SCORE 5848.538
AT ITER 155 NEW BEST:: SOT 15206 SOS 9553 HAS SOPS 7623 HAS SOUS 6642 HAS SOUPS 5803 WITH SCORE 5812.553
AT ITER 174 NEW BEST:: SOT 15199 SOS 9586 HAS SOPS 7647 HAS SOUS 6642 HAS SOUPS 5797 WITH SCORE 5806.586
AT ITER 180 NEW BEST:: SOT 15233 SOS 9624 HAS SOPS 7711 HAS SOUS 6538 HAS SOUPS 5693 WITH SCORE 5702.624
AT ITER 186 NEW BEST:: SOT 15233 SOS 9624 HAS SOPS 7709 HAS SOUS 6536 HAS SOUPS 5691 WITH SCORE 5700.624
AT ITER 190 NEW BEST:: SOT 15111 SOS 9539 HAS SOPS 7587 HAS SOUS 6436 HAS SOUPS 5569 WITH SCORE 5578.539
AT ITER 203 NEW BEST:: SOT 15111 SOS 9492 HAS SOPS 7540 HAS SOUS 6432 HAS SOUPS 5565 WITH SCORE 5574.492
AT ITER 204 NEW BEST:: SOT 15111 SOS 9484 HAS SOPS 7532 HAS SOUS 6424 HAS SOUPS 5557 WITH SCORE 5566.484
AT ITER 210 NEW BEST:: SOT 15111 SOS 9484 HAS SOPS 7529 HAS SOUS 6424 HAS SOUPS 5554 WITH SCORE 5563.484
AT ITER 213 NEW BEST:: SOT 15111 SOS 9484 HAS SOPS 7523 HAS SOUS 6418 HAS SOUPS 5548 WITH SCORE 5557.484
AT ITER 214 NEW BEST:: SOT 15007 SOS 9380 HAS SOPS 7397 HAS SOUS 6312 HAS SOUPS 5422 WITH SCORE 5431.38
AT ITER 219 NEW BEST:: SOT 14976 SOS 9349 HAS SOPS 7357 HAS SOUS 6281 HAS SOUPS 5382 WITH SCORE 5391.349
AT ITER 221 NEW BEST:: SOT 14976 SOS 9353 HAS SOPS 7354 HAS SOUS 6278 HAS SOUPS 5379 WITH SCORE 5388.353
AT ITER 224 NEW BEST:: SOT 15022 SOS 9321 HAS SOPS 7229 HAS SOUS 6245 HAS SOUPS 5346 WITH SCORE 5355.321
AT ITER 238 NEW BEST:: SOT 15022 SOS 9311 HAS SOPS 7219 HAS SOUS 6243 HAS SOUPS 5344 WITH SCORE 5353.311
AT ITER 243 NEW BEST:: SOT 14994 SOS 9283 HAS SOPS 7190 HAS SOUS 6214 HAS SOUPS 5315 WITH SCORE 5324.283
AT ITER 246 NEW BEST:: SOT 14984 SOS 9273 HAS SOPS 7180 HAS SOUS 6204 HAS SOUPS 5305 WITH SCORE 5314.273
AT ITER 249 NEW BEST:: SOT 14913 SOS 9261 HAS SOPS 7022 HAS SOUS 6084 HAS SOUPS 5147 WITH SCORE 5156.261
AT ITER 255 NEW BEST:: SOT 14904 SOS 9244 HAS SOPS 7013 HAS SOUS 6061 HAS SOUPS 5138 WITH SCORE 5147.244
AT ITER 256 NEW BEST:: SOT 14842 SOS 9160 HAS SOPS 6973 HAS SOUS 5988 HAS SOUPS 5109 WITH SCORE 5118.16
AT ITER 258 NEW BEST:: SOT 14777 SOS 9129 HAS SOPS 6934 HAS SOUS 5932 HAS SOUPS 5053 WITH SCORE 5062.129
AT ITER 277 NEW BEST:: SOT 14777 SOS 9151 HAS SOPS 6931 HAS SOUS 5929 HAS SOUPS 5050 WITH SCORE 5059.151
AT ITER 284 NEW BEST:: SOT 14773 SOS 9147 HAS SOPS 6916 HAS SOUS 5914 HAS SOUPS 5035 WITH SCORE 5044.147
AT ITER 301 NEW BEST:: SOT 14790 SOS 9185 HAS SOPS 6913 HAS SOUS 5879 HAS SOUPS 5000 WITH SCORE 5009.185
AT ITER 307 NEW BEST:: SOT 14743 SOS 9148 HAS SOPS 6876 HAS SOUS 5837 HAS SOUPS 4958 WITH SCORE 4967.148
AT ITER 312 NEW BEST:: SOT 14695 SOS 9060 HAS SOPS 6763 HAS SOUS 5764 HAS SOUPS 4885 WITH SCORE 4894.06
AT ITER 339 NEW BEST:: SOT 14692 SOS 9057 HAS SOPS 6761 HAS SOUS 5757 HAS SOUPS 4879 WITH SCORE 4888.057
AT ITER 346 NEW BEST:: SOT 14692 SOS 9037 HAS SOPS 6741 HAS SOUS 5757 HAS SOUPS 4879 WITH SCORE 4888.037
AT ITER 363 NEW BEST:: SOT 14657 SOS 9002 HAS SOPS 6687 HAS SOUS 5703 HAS SOUPS 4825 WITH SCORE 4834.002
AT ITER 364 NEW BEST:: SOT 14657 SOS 9002 HAS SOPS 6686 HAS SOUS 5703 HAS SOUPS 4824 WITH SCORE 4833.002
AT ITER 382 NEW BEST:: SOT 14637 SOS 8992 HAS SOPS 6671 HAS SOUS 5686 HAS SOUPS 4804 WITH SCORE 4812.992
AT ITER 393 NEW BEST:: SOT 14609 SOS 8890 HAS SOPS 6509 HAS SOUS 5590 HAS SOUPS 4708 WITH SCORE 4716.89
AT ITER 404 NEW BEST:: SOT 14652 SOS 8913 HAS SOPS 6414 HAS SOUS 5503 HAS SOUPS 4621 WITH SCORE 4629.913
AT ITER 408 NEW BEST:: SOT 14622 SOS 8883 HAS SOPS 6384 HAS SOUS 5473 HAS SOUPS 4591 WITH SCORE 4599.883
AT ITER 414 NEW BEST:: SOT 14586 SOS 8863 HAS SOPS 6376 HAS SOUS 5445 HAS SOUPS 4575 WITH SCORE 4583.863
AT ITER 428 NEW BEST:: SOT 14590 SOS 8866 HAS SOPS 6374 HAS SOUS 5427 HAS SOUPS 4573 WITH SCORE 4581.866
AT ITER 438 NEW BEST:: SOT 14574 SOS 8854 HAS SOPS 6358 HAS SOUS 5431 HAS SOUPS 4573 WITH SCORE 4581.854
AT ITER 451 NEW BEST:: SOT 14503 SOS 8798 HAS SOPS 6287 HAS SOUS 5419 HAS SOUPS 4546 WITH SCORE 4554.798
AT ITER 465 NEW BEST:: SOT 14476 SOS 8772 HAS SOPS 6256 HAS SOUS 5393 HAS SOUPS 4515 WITH SCORE 4523.772
AT ITER 504 NEW BEST:: SOT 14474 SOS 8770 HAS SOPS 6249 HAS SOUS 5389 HAS SOUPS 4508 WITH SCORE 4516.77
AT ITER 511 NEW BEST:: SOT 14484 SOS 8759 HAS SOPS 6258 HAS SOUS 5369 HAS SOUPS 4493 WITH SCORE 4501.759
AT ITER 535 NEW BEST:: SOT 14458 SOS 8763 HAS SOPS 6204 HAS SOUS 5379 HAS SOUPS 4490 WITH SCORE 4498.763
AT ITER 537 NEW BEST:: SOT 14458 SOS 8757 HAS SOPS 6198 HAS SOUS 5376 HAS SOUPS 4487 WITH SCORE 4495.757
AT ITER 562 NEW BEST:: SOT 14455 SOS 8754 HAS SOPS 6195 HAS SOUS 5373 HAS SOUPS 4484 WITH SCORE 4492.754
AT ITER 572 NEW BEST:: SOT 14451 SOS 8750 HAS SOPS 6187 HAS SOUS 5369 HAS SOUPS 4476 WITH SCORE 4484.75
AT ITER 593 NEW BEST:: SOT 14450 SOS 8749 HAS SOPS 6186 HAS SOUS 5368 HAS SOUPS 4475 WITH SCORE 4483.749
AT ITER 603 NEW BEST:: SOT 14441 SOS 8740 HAS SOPS 6179 HAS SOUS 5361 HAS SOUPS 4468 WITH SCORE 4476.74
AT ITER 606 NEW BEST:: SOT 14441 SOS 8744 HAS SOPS 6170 HAS SOUS 5355 HAS SOUPS 4459 WITH SCORE 4467.744
AT ITER 608 NEW BEST:: SOT 14435 SOS 8738 HAS SOPS 6159 HAS SOUS 5349 HAS SOUPS 4448 WITH SCORE 4456.738
AT ITER 616 NEW BEST:: SOT 14424 SOS 8713 HAS SOPS 6135 HAS SOUS 5334 HAS SOUPS 4433 WITH SCORE 4441.713
AT ITER 621 NEW BEST:: SOT 14420 SOS 8709 HAS SOPS 6134 HAS SOUS 5330 HAS SOUPS 4432 WITH SCORE 4440.709
AT ITER 622 NEW BEST:: SOT 14420 SOS 8698 HAS SOPS 6123 HAS SOUS 5327 HAS SOUPS 4429 WITH SCORE 4437.698
AT ITER 628 NEW BEST:: SOT 14419 SOS 8698 HAS SOPS 6122 HAS SOUS 5327 HAS SOUPS 4428 WITH SCORE 4436.698
AT ITER 648 NEW BEST:: SOT 14382 SOS 8653 HAS SOPS 6065 HAS SOUS 5267 HAS SOUPS 4368 WITH SCORE 4376.653
AT ITER 656 NEW BEST:: SOT 14338 SOS 8561 HAS SOPS 6064 HAS SOUS 5207 HAS SOUPS 4355 WITH SCORE 4363.561
AT ITER 669 NEW BEST:: SOT 14328 SOS 8575 HAS SOPS 6076 HAS SOUS 5199 HAS SOUPS 4347 WITH SCORE 4355.575
AT ITER 674 NEW BEST:: SOT 14330 SOS 8611 HAS SOPS 6073 HAS SOUS 5235 HAS SOUPS 4344 WITH SCORE 4352.611
AT ITER 697 NEW BEST:: SOT 14305 SOS 8586 HAS SOPS 6025 HAS SOUS 5187 HAS SOUPS 4296 WITH SCORE 4304.586
AT ITER 701 NEW BEST:: SOT 14305 SOS 8582 HAS SOPS 6021 HAS SOUS 5187 HAS SOUPS 4296 WITH SCORE 4304.582
AT ITER 712 NEW BEST:: SOT 14301 SOS 8574 HAS SOPS 6013 HAS SOUS 5179 HAS SOUPS 4288 WITH SCORE 4296.574
AT ITER 748 NEW BEST:: SOT 14314 SOS 8570 HAS SOPS 6027 HAS SOUS 5173 HAS SOUPS 4288 WITH SCORE 4296.57
AT ITER 761 NEW BEST:: SOT 14314 SOS 8563 HAS SOPS 6020 HAS SOUS 5173 HAS SOUPS 4288 WITH SCORE 4296.563
AT ITER 772 NEW BEST:: SOT 14309 SOS 8558 HAS SOPS 6010 HAS SOUS 5168 HAS SOUPS 4278 WITH SCORE 4286.558
AT ITER 779 NEW BEST:: SOT 14286 SOS 8554 HAS SOPS 5993 HAS SOUS 5164 HAS SOUPS 4261 WITH SCORE 4269.554
AT ITER 813 NEW BEST:: SOT 14336 SOS 8552 HAS SOPS 6047 HAS SOUS 5130 HAS SOUPS 4246 WITH SCORE 4254.552
AT ITER 828 NEW BEST:: SOT 14348 SOS 8609 HAS SOPS 6014 HAS SOUS 5158 HAS SOUPS 4229 WITH SCORE 4237.609
AT ITER 834 NEW BEST:: SOT 14322 SOS 8680 HAS SOPS 6021 HAS SOUS 5167 HAS SOUPS 4223 WITH SCORE 4231.68
AT ITER 835 NEW BEST:: SOT 14317 SOS 8673 HAS SOPS 6031 HAS SOUS 5128 HAS SOUPS 4192 WITH SCORE 4200.673
AT ITER 847 NEW BEST:: SOT 14307 SOS 8595 HAS SOPS 5969 HAS SOUS 5111 HAS SOUPS 4175 WITH SCORE 4183.595
AT ITER 875 NEW BEST:: SOT 14305 SOS 8593 HAS SOPS 5965 HAS SOUS 5109 HAS SOUPS 4171 WITH SCORE 4179.593
AT ITER 889 NEW BEST:: SOT 14305 SOS 8567 HAS SOPS 5954 HAS SOUS 5098 HAS SOUPS 4160 WITH SCORE 4168.567
AT ITER 901 NEW BEST:: SOT 14265 SOS 8559 HAS SOPS 5954 HAS SOUS 5058 HAS SOUPS 4144 WITH SCORE 4152.559
AT ITER 903 NEW BEST:: SOT 14262 SOS 8556 HAS SOPS 5950 HAS SOUS 5054 HAS SOUPS 4140 WITH SCORE 4148.556
AT ITER 937 NEW BEST:: SOT 14305 SOS 8581 HAS SOPS 5940 HAS SOUS 5044 HAS SOUPS 4130 WITH SCORE 4138.581
AT ITER 960 NEW BEST:: SOT 14258 SOS 8554 HAS SOPS 5897 HAS SOUS 4997 HAS SOUPS 4083 WITH SCORE 4091.554
AT ITER 1000 NEW BEST:: SOT 14249 SOS 8546 HAS SOPS 5884 HAS SOUS 4988 HAS SOUPS 4074 WITH SCORE 4082.546
AT ITER 1027 NEW BEST:: SOT 14237 SOS 8530 HAS SOPS 5878 HAS SOUS 4968 HAS SOUPS 4068 WITH SCORE 4076.53
AT ITER 1028 NEW BEST:: SOT 14237 SOS 8530 HAS SOPS 5874 HAS SOUS 4964 HAS SOUPS 4064 WITH SCORE 4072.53
AT ITER 1041 NEW BEST:: SOT 14177 SOS 8470 HAS SOPS 5814 HAS SOUS 4904 HAS SOUPS 4004 WITH SCORE 4012.47
AT ITER 1063 NEW BEST:: SOT 14174 SOS 8467 HAS SOPS 5811 HAS SOUS 4901 HAS SOUPS 4001 WITH SCORE 4009.467
AT ITER 1094 NEW BEST:: SOT 14179 SOS 8472 HAS SOPS 5801 HAS SOUS 4891 HAS SOUPS 3991 WITH SCORE 3999.472
AT ITER 1105 NEW BEST:: SOT 14177 SOS 8470 HAS SOPS 5792 HAS SOUS 4890 HAS SOUPS 3990 WITH SCORE 3998.47
AT ITER 1122 NEW BEST:: SOT 14177 SOS 8432 HAS SOPS 5777 HAS SOUS 4875 HAS SOUPS 3975 WITH SCORE 3983.432
AT ITER 1126 NEW BEST:: SOT 14195 SOS 8382 HAS SOPS 5809 HAS SOUS 4849 HAS SOUPS 3965 WITH SCORE 3973.382
AT ITER 1135 NEW BEST:: SOT 14187 SOS 8363 HAS SOPS 5796 HAS SOUS 4837 HAS SOUPS 3953 WITH SCORE 3961.363
AT ITER 1168 NEW BEST:: SOT 14187 SOS 8362 HAS SOPS 5797 HAS SOUS 4830 HAS SOUPS 3947 WITH SCORE 3955.362
AT ITER 1170 NEW BEST:: SOT 14187 SOS 8360 HAS SOPS 5797 HAS SOUS 4828 HAS SOUPS 3947 WITH SCORE 3955.36
AT ITER 1186 NEW BEST:: SOT 14149 SOS 8322 HAS SOPS 5755 HAS SOUS 4790 HAS SOUPS 3905 WITH SCORE 3913.322
AT ITER 1202 NEW BEST:: SOT 14124 SOS 8263 HAS SOPS 5745 HAS SOUS 4753 HAS SOUPS 3895 WITH SCORE 3903.263
AT ITER 1217 NEW BEST:: SOT 14112 SOS 8251 HAS SOPS 5736 HAS SOUS 4741 HAS SOUPS 3886 WITH SCORE 3894.251
AT ITER 1218 NEW BEST:: SOT 14112 SOS 8253 HAS SOPS 5732 HAS SOUS 4739 HAS SOUPS 3882 WITH SCORE 3890.253
AT ITER 1234 NEW BEST:: SOT 14108 SOS 8249 HAS SOPS 5724 HAS SOUS 4731 HAS SOUPS 3874 WITH SCORE 3882.249
AT ITER 1237 NEW BEST:: SOT 14105 SOS 8244 HAS SOPS 5719 HAS SOUS 4726 HAS SOUPS 3869 WITH SCORE 3877.244
AT ITER 1243 NEW BEST:: SOT 14091 SOS 8231 HAS SOPS 5706 HAS SOUS 4713 HAS SOUPS 3856 WITH SCORE 3864.231
AT ITER 1272 NEW BEST:: SOT 14091 SOS 8228 HAS SOPS 5706 HAS SOUS 4711 HAS SOUPS 3856 WITH SCORE 3864.228
AT ITER 1294 NEW BEST:: SOT 14094 SOS 8219 HAS SOPS 5706 HAS SOUS 4702 HAS SOUPS 3850 WITH SCORE 3858.219
AT ITER 1335 NEW BEST:: SOT 14059 SOS 8222 HAS SOPS 5730 HAS SOUS 4685 HAS SOUPS 3840 WITH SCORE 3848.222
AT ITER 1354 NEW BEST:: SOT 14059 SOS 8192 HAS SOPS 5700 HAS SOUS 4679 HAS SOUPS 3834 WITH SCORE 3842.192
AT ITER 1370 NEW BEST:: SOT 14042 SOS 8133 HAS SOPS 5641 HAS SOUS 4642 HAS SOUPS 3796 WITH SCORE 3804.133
AT ITER 1398 NEW BEST:: SOT 14030 SOS 8129 HAS SOPS 5629 HAS SOUS 4634 HAS SOUPS 3784 WITH SCORE 3792.129
AT ITER 1470 NEW BEST:: SOT 14021 SOS 8120 HAS SOPS 5611 HAS SOUS 4622 HAS SOUPS 3766 WITH SCORE 3774.12
AT ITER 1509 NEW BEST:: SOT 14014 SOS 8118 HAS SOPS 5599 HAS SOUS 4626 HAS SOUPS 3754 WITH SCORE 3762.118
AT ITER 1582 NEW BEST:: SOT 14015 SOS 8115 HAS SOPS 5599 HAS SOUS 4618 HAS SOUPS 3747 WITH SCORE 3755.115
AT ITER 1607 NEW BEST:: SOT 14011 SOS 8111 HAS SOPS 5607 HAS SOUS 4610 HAS SOUPS 3739 WITH SCORE 3747.111
AT ITER 1609 NEW BEST:: SOT 14011 SOS 8087 HAS SOPS 5606 HAS SOUS 4609 HAS SOUPS 3738 WITH SCORE 3746.087
AT ITER 1630 NEW BEST:: SOT 14011 SOS 8106 HAS SOPS 5597 HAS SOUS 4605 HAS SOUPS 3729 WITH SCORE 3737.106
AT ITER 1698 NEW BEST:: SOT 14011 SOS 8115 HAS SOPS 5606 HAS SOUS 4603 HAS SOUPS 3727 WITH SCORE 3735.115
AT ITER 1728 NEW BEST:: SOT 14008 SOS 8114 HAS SOPS 5604 HAS SOUS 4602 HAS SOUPS 3725 WITH SCORE 3733.114
AT ITER 1744 NEW BEST:: SOT 14008 SOS 8114 HAS SOPS 5601 HAS SOUS 4599 HAS SOUPS 3722 WITH SCORE 3730.114
AT ITER 1789 NEW BEST:: SOT 14010 SOS 8112 HAS SOPS 5603 HAS SOUS 4591 HAS SOUPS 3716 WITH SCORE 3724.112
AT ITER 1807 NEW BEST:: SOT 13994 SOS 8107 HAS SOPS 5594 HAS SOUS 4582 HAS SOUPS 3707 WITH SCORE 3715.107
AT ITER 1815 NEW BEST:: SOT 13966 SOS 8086 HAS SOPS 5573 HAS SOUS 4561 HAS SOUPS 3686 WITH SCORE 3694.086
AT ITER 1834 NEW BEST:: SOT 13969 SOS 8088 HAS SOPS 5571 HAS SOUS 4559 HAS SOUPS 3684 WITH SCORE 3692.088
AT ITER 1848 NEW BEST:: SOT 13969 SOS 8080 HAS SOPS 5567 HAS SOUS 4559 HAS SOUPS 3684 WITH SCORE 3692.08
AT ITER 1856 NEW BEST:: SOT 13995 SOS 8089 HAS SOPS 5631 HAS SOUS 4536 HAS SOUPS 3675 WITH SCORE 3683.089
AT ITER 1888 NEW BEST:: SOT 13990 SOS 8104 HAS SOPS 5626 HAS SOUS 4536 HAS SOUPS 3670 WITH SCORE 3678.104
AT ITER 1896 NEW BEST:: SOT 13978 SOS 8100 HAS SOPS 5618 HAS SOUS 4531 HAS SOUPS 3662 WITH SCORE 3670.1
AT ITER 1908 NEW BEST:: SOT 13974 SOS 8099 HAS SOPS 5615 HAS SOUS 4525 HAS SOUPS 3659 WITH SCORE 3667.099
AT ITER 1937 NEW BEST:: SOT 13964 SOS 8091 HAS SOPS 5607 HAS SOUS 4517 HAS SOUPS 3651 WITH SCORE 3659.091
AT ITER 1965 NEW BEST:: SOT 13964 SOS 8079 HAS SOPS 5595 HAS SOUS 4516 HAS SOUPS 3650 WITH SCORE 3658.079
AT ITER 1974 NEW BEST:: SOT 13981 SOS 8072 HAS SOPS 5562 HAS SOUS 4508 HAS SOUPS 3642 WITH SCORE 3650.072
AT ITER 2152 NEW BEST:: SOT 13976 SOS 8067 HAS SOPS 5557 HAS SOUS 4503 HAS SOUPS 3637 WITH SCORE 3645.067
AT ITER 2209 NEW BEST:: SOT 13969 SOS 8043 HAS SOPS 5559 HAS SOUS 4480 HAS SOUPS 3619 WITH SCORE 3627.043
AT ITER 2215 NEW BEST:: SOT 13962 SOS 8036 HAS SOPS 5547 HAS SOUS 4473 HAS SOUPS 3607 WITH SCORE 3615.036
AT ITER 2337 NEW BEST:: SOT 13930 SOS 8010 HAS SOPS 5521 HAS SOUS 4439 HAS SOUPS 3573 WITH SCORE 3581.01
AT ITER 2356 NEW BEST:: SOT 13937 SOS 8007 HAS SOPS 5518 HAS SOUS 4436 HAS SOUPS 3570 WITH SCORE 3578.007
AT ITER 2407 NEW BEST:: SOT 13938 SOS 8010 HAS SOPS 5517 HAS SOUS 4434 HAS SOUPS 3568 WITH SCORE 3576.01
AT ITER 2411 NEW BEST:: SOT 13935 SOS 8017 HAS SOPS 5517 HAS SOUS 4429 HAS SOUPS 3563 WITH SCORE 3571.017
AT ITER 2417 NEW BEST:: SOT 13951 SOS 8049 HAS SOPS 5517 HAS SOUS 4421 HAS SOUPS 3555 WITH SCORE 3563.049
AT ITER 2470 NEW BEST:: SOT 13951 SOS 8053 HAS SOPS 5521 HAS SOUS 4420 HAS SOUPS 3554 WITH SCORE 3562.053
AT ITER 2476 NEW BEST:: SOT 13949 SOS 8051 HAS SOPS 5519 HAS SOUS 4418 HAS SOUPS 3552 WITH SCORE 3560.051
AT ITER 2528 NEW BEST:: SOT 13949 SOS 8048 HAS SOPS 5519 HAS SOUS 4418 HAS SOUPS 3552 WITH SCORE 3560.048
AT ITER 2540 NEW BEST:: SOT 13939 SOS 8060 HAS SOPS 5499 HAS SOUS 4403 HAS SOUPS 3532 WITH SCORE 3540.06
AT ITER 2544 NEW BEST:: SOT 13935 SOS 8054 HAS SOPS 5495 HAS SOUS 4399 HAS SOUPS 3528 WITH SCORE 3536.054
AT ITER 2553 NEW BEST:: SOT 13887 SOS 8006 HAS SOPS 5463 HAS SOUS 4367 HAS SOUPS 3496 WITH SCORE 3504.006
AT ITER 2557 NEW BEST:: SOT 13886 SOS 8005 HAS SOPS 5463 HAS SOUS 4366 HAS SOUPS 3496 WITH SCORE 3504.005
AT ITER 2565 NEW BEST:: SOT 13776 SOS 7978 HAS SOPS 5330 HAS SOUS 4406 HAS SOUPS 3483 WITH SCORE 3490.978
AT ITER 2569 NEW BEST:: SOT 13777 SOS 7967 HAS SOPS 5335 HAS SOUS 4387 HAS SOUPS 3472 WITH SCORE 3479.967
AT ITER 2573 NEW BEST:: SOT 13773 SOS 7955 HAS SOPS 5323 HAS SOUS 4379 HAS SOUPS 3464 WITH SCORE 3471.955
AT ITER 2584 NEW BEST:: SOT 13773 SOS 7935 HAS SOPS 5303 HAS SOUS 4377 HAS SOUPS 3462 WITH SCORE 3469.935
AT ITER 2592 NEW BEST:: SOT 13773 SOS 7935 HAS SOPS 5299 HAS SOUS 4377 HAS SOUPS 3458 WITH SCORE 3465.935
AT ITER 2611 NEW BEST:: SOT 13760 SOS 7922 HAS SOPS 5284 HAS SOUS 4362 HAS SOUPS 3443 WITH SCORE 3450.922
AT ITER 2612 NEW BEST:: SOT 13762 SOS 7932 HAS SOPS 5290 HAS SOUS 4360 HAS SOUPS 3441 WITH SCORE 3448.932
AT ITER 2692 NEW BEST:: SOT 13740 SOS 7902 HAS SOPS 5270 HAS SOUS 4339 HAS SOUPS 3421 WITH SCORE 3428.902
AT ITER 2695 NEW BEST:: SOT 13697 SOS 7859 HAS SOPS 5226 HAS SOUS 4296 HAS SOUPS 3377 WITH SCORE 3384.859
AT ITER 2707 NEW BEST:: SOT 13695 SOS 7857 HAS SOPS 5222 HAS SOUS 4294 HAS SOUPS 3373 WITH SCORE 3380.857
AT ITER 2724 NEW BEST:: SOT 13695 SOS 7846 HAS SOPS 5211 HAS SOUS 4294 HAS SOUPS 3373 WITH SCORE 3380.846
AT ITER 2744 NEW BEST:: SOT 13687 SOS 7838 HAS SOPS 5211 HAS SOUS 4294 HAS SOUPS 3373 WITH SCORE 3380.838
AT ITER 2794 NEW BEST:: SOT 13678 SOS 7833 HAS SOPS 5204 HAS SOUS 4289 HAS SOUPS 3366 WITH SCORE 3373.833
AT ITER 2813 NEW BEST:: SOT 13677 SOS 7848 HAS SOPS 5223 HAS SOUS 4284 HAS SOUPS 3361 WITH SCORE 3368.848
AT ITER 2817 NEW BEST:: SOT 13677 SOS 7847 HAS SOPS 5218 HAS SOUS 4280 HAS SOUPS 3357 WITH SCORE 3364.847
AT ITER 2820 NEW BEST:: SOT 13662 SOS 7841 HAS SOPS 5211 HAS SOUS 4273 HAS SOUPS 3350 WITH SCORE 3357.841
AT ITER 2826 NEW BEST:: SOT 13599 SOS 7781 HAS SOPS 5193 HAS SOUS 4255 HAS SOUPS 3332 WITH SCORE 3339.781
AT ITER 2853 NEW BEST:: SOT 13574 SOS 7756 HAS SOPS 5173 HAS SOUS 4234 HAS SOUPS 3312 WITH SCORE 3319.756
AT ITER 2928 NEW BEST:: SOT 13572 SOS 7772 HAS SOPS 5171 HAS SOUS 4264 HAS SOUPS 3310 WITH SCORE 3317.772
AT ITER 2959 NEW BEST:: SOT 13570 SOS 7770 HAS SOPS 5169 HAS SOUS 4262 HAS SOUPS 3308 WITH SCORE 3315.77
AT ITER 2962 NEW BEST:: SOT 13566 SOS 7781 HAS SOPS 5160 HAS SOUS 4260 HAS SOUPS 3303 WITH SCORE 3310.781
AT ITER 2991 NEW BEST:: SOT 13602 SOS 7783 HAS SOPS 5204 HAS SOUS 4222 HAS SOUPS 3299 WITH SCORE 3306.783
AT ITER 3022 NEW BEST:: SOT 13597 SOS 7778 HAS SOPS 5198 HAS SOUS 4211 HAS SOUPS 3293 WITH SCORE 3300.778
AT ITER 3045 NEW BEST:: SOT 13592 SOS 7773 HAS SOPS 5197 HAS SOUS 4210 HAS SOUPS 3292 WITH SCORE 3299.773
AT ITER 3108 NEW BEST:: SOT 13589 SOS 7767 HAS SOPS 5191 HAS SOUS 4204 HAS SOUPS 3286 WITH SCORE 3293.767
AT ITER 3182 NEW BEST:: SOT 13585 SOS 7765 HAS SOPS 5186 HAS SOUS 4206 HAS SOUPS 3285 WITH SCORE 3292.765
AT ITER 3202 NEW BEST:: SOT 13593 SOS 7767 HAS SOPS 5194 HAS SOUS 4200 HAS SOUPS 3281 WITH SCORE 3288.767
AT ITER 3218 NEW BEST:: SOT 13592 SOS 7764 HAS SOPS 5192 HAS SOUS 4199 HAS SOUPS 3280 WITH SCORE 3287.764
AT ITER 3240 NEW BEST:: SOT 13592 SOS 7765 HAS SOPS 5191 HAS SOUS 4198 HAS SOUPS 3279 WITH SCORE 3286.765
AT ITER 3262 NEW BEST:: SOT 13563 SOS 7722 HAS SOPS 5182 HAS SOUS 4196 HAS SOUPS 3277 WITH SCORE 3284.722
AT ITER 3267 NEW BEST:: SOT 13560 SOS 7718 HAS SOPS 5178 HAS SOUS 4192 HAS SOUPS 3273 WITH SCORE 3280.718
AT ITER 3292 NEW BEST:: SOT 13552 SOS 7710 HAS SOPS 5142 HAS SOUS 4156 HAS SOUPS 3237 WITH SCORE 3244.71
AT ITER 3318 NEW BEST:: SOT 13547 SOS 7710 HAS SOPS 5142 HAS SOUS 4153 HAS SOUPS 3234 WITH SCORE 3241.71
AT ITER 3437 NEW BEST:: SOT 13543 SOS 7707 HAS SOPS 5139 HAS SOUS 4149 HAS SOUPS 3230 WITH SCORE 3237.707
AT ITER 3477 NEW BEST:: SOT 13528 SOS 7688 HAS SOPS 5132 HAS SOUS 4130 HAS SOUPS 3219 WITH SCORE 3226.688
AT ITER 3494 NEW BEST:: SOT 13519 SOS 7604 HAS SOPS 5057 HAS SOUS 4105 HAS SOUPS 3194 WITH SCORE 3201.604
AT ITER 3504 NEW BEST:: SOT 13515 SOS 7600 HAS SOPS 5053 HAS SOUS 4101 HAS SOUPS 3190 WITH SCORE 3197.6
AT ITER 3572 NEW BEST:: SOT 13505 SOS 7590 HAS SOPS 5044 HAS SOUS 4096 HAS SOUPS 3185 WITH SCORE 3192.59
AT ITER 3596 NEW BEST:: SOT 13477 SOS 7562 HAS SOPS 5008 HAS SOUS 4077 HAS SOUPS 3161 WITH SCORE 3168.562
AT ITER 3623 NEW BEST:: SOT 13462 SOS 7547 HAS SOPS 4986 HAS SOUS 4059 HAS SOUPS 3139 WITH SCORE 3146.547
AT ITER 3794 NEW BEST:: SOT 13458 SOS 7528 HAS SOPS 4967 HAS SOUS 4046 HAS SOUPS 3126 WITH SCORE 3133.528
AT ITER 3849 NEW BEST:: SOT 13404 SOS 7505 HAS SOPS 4973 HAS SOUS 4011 HAS SOUPS 3091 WITH SCORE 3098.505
AT ITER 4020 NEW BEST:: SOT 13380 SOS 7481 HAS SOPS 4945 HAS SOUS 3987 HAS SOUPS 3067 WITH SCORE 3074.481
AT ITER 4085 NEW BEST:: SOT 13378 SOS 7479 HAS SOPS 4943 HAS SOUS 3985 HAS SOUPS 3065 WITH SCORE 3072.479
AT ITER 4109 NEW BEST:: SOT 13376 SOS 7477 HAS SOPS 4940 HAS SOUS 3983 HAS SOUPS 3062 WITH SCORE 3069.477
AT ITER 4155 NEW BEST:: SOT 13376 SOS 7477 HAS SOPS 4937 HAS SOUS 3980 HAS SOUPS 3059 WITH SCORE 3066.477
AT ITER 4204 NEW BEST:: SOT 13376 SOS 7476 HAS SOPS 4937 HAS SOUS 3979 HAS SOUPS 3059 WITH SCORE 3066.476
AT ITER 4218 NEW BEST:: SOT 13372 SOS 7472 HAS SOPS 4933 HAS SOUS 3975 HAS SOUPS 3055 WITH SCORE 3062.472
AT ITER 4313 NEW BEST:: SOT 13354 SOS 7454 HAS SOPS 4921 HAS SOUS 3963 HAS SOUPS 3043 WITH SCORE 3050.454
AT ITER 4338 NEW BEST:: SOT 13341 SOS 7441 HAS SOPS 4920 HAS SOUS 3962 HAS SOUPS 3042 WITH SCORE 3049.441
AT ITER 4353 NEW BEST:: SOT 13331 SOS 7431 HAS SOPS 4906 HAS SOUS 3948 HAS SOUPS 3028 WITH SCORE 3035.431
AT ITER 4363 NEW BEST:: SOT 13327 SOS 7425 HAS SOPS 4906 HAS SOUS 3942 HAS SOUPS 3028 WITH SCORE 3035.425
AT ITER 4367 NEW BEST:: SOT 13327 SOS 7428 HAS SOPS 4906 HAS SOUS 3939 HAS SOUPS 3025 WITH SCORE 3032.428
AT ITER 4432 NEW BEST:: SOT 13326 SOS 7427 HAS SOPS 4904 HAS SOUS 3938 HAS SOUPS 3023 WITH SCORE 3030.427
AT ITER 4506 NEW BEST:: SOT 13324 SOS 7425 HAS SOPS 4901 HAS SOUS 3936 HAS SOUPS 3020 WITH SCORE 3027.425
AT ITER 4615 NEW BEST:: SOT 13321 SOS 7422 HAS SOPS 4898 HAS SOUS 3933 HAS SOUPS 3017 WITH SCORE 3024.422
AT ITER 4616 NEW BEST:: SOT 13321 SOS 7420 HAS SOPS 4896 HAS SOUS 3933 HAS SOUPS 3017 WITH SCORE 3024.42
AT ITER 4654 NEW BEST:: SOT 13321 SOS 7415 HAS SOPS 4896 HAS SOUS 3933 HAS SOUPS 3017 WITH SCORE 3024.415
AT ITER 4656 NEW BEST:: SOT 13319 SOS 7413 HAS SOPS 4895 HAS SOUS 3931 HAS SOUPS 3016 WITH SCORE 3023.413
AT ITER 4705 NEW BEST:: SOT 13320 SOS 7416 HAS SOPS 4894 HAS SOUS 3929 HAS SOUPS 3014 WITH SCORE 3021.416
AT ITER 4841 NEW BEST:: SOT 13300 SOS 7384 HAS SOPS 4858 HAS SOUS 3896 HAS SOUPS 2981 WITH SCORE 2988.384
AT ITER 4864 NEW BEST:: SOT 13300 SOS 7382 HAS SOPS 4856 HAS SOUS 3896 HAS SOUPS 2981 WITH SCORE 2988.382
AT ITER 4960 NEW BEST:: SOT 13293 SOS 7377 HAS SOPS 4849 HAS SOUS 3892 HAS SOUPS 2974 WITH SCORE 2981.377
AT ITER 5118 NEW BEST:: SOT 13288 SOS 7372 HAS SOPS 4848 HAS SOUS 3891 HAS SOUPS 2973 WITH SCORE 2980.372
AT ITER 5214 NEW BEST:: SOT 13309 SOS 7413 HAS SOPS 4853 HAS SOUS 3886 HAS SOUPS 2968 WITH SCORE 2975.413
AT ITER 5683 NEW BEST:: SOT 13307 SOS 7411 HAS SOPS 4851 HAS SOUS 3884 HAS SOUPS 2966 WITH SCORE 2973.411
AT ITER 5730 NEW BEST:: SOT 13302 SOS 7412 HAS SOPS 4844 HAS SOUS 3874 HAS SOUPS 2956 WITH SCORE 2963.412
AT ITER 5772 NEW BEST:: SOT 13303 SOS 7413 HAS SOPS 4842 HAS SOUS 3872 HAS SOUPS 2954 WITH SCORE 2961.413
AT ITER 5822 NEW BEST:: SOT 13288 SOS 7399 HAS SOPS 4828 HAS SOUS 3856 HAS SOUPS 2938 WITH SCORE 2945.399
AT ITER 5826 NEW BEST:: SOT 13284 SOS 7395 HAS SOPS 4820 HAS SOUS 3848 HAS SOUPS 2930 WITH SCORE 2937.395
AT ITER 5840 NEW BEST:: SOT 13284 SOS 7401 HAS SOPS 4815 HAS SOUS 3854 HAS SOUPS 2925 WITH SCORE 2932.401
AT ITER 5904 NEW BEST:: SOT 13281 SOS 7404 HAS SOPS 4815 HAS SOUS 3848 HAS SOUPS 2919 WITH SCORE 2926.404
AT ITER 6081 NEW BEST:: SOT 13299 SOS 7430 HAS SOPS 4807 HAS SOUS 3836 HAS SOUPS 2907 WITH SCORE 2914.43
AT ITER 6086 NEW BEST:: SOT 13294 SOS 7425 HAS SOPS 4805 HAS SOUS 3830 HAS SOUPS 2905 WITH SCORE 2912.425
AT ITER 6144 NEW BEST:: SOT 13269 SOS 7407 HAS SOPS 4787 HAS SOUS 3807 HAS SOUPS 2882 WITH SCORE 2889.407
AT ITER 6161 NEW BEST:: SOT 13268 SOS 7405 HAS SOPS 4785 HAS SOUS 3806 HAS SOUPS 2881 WITH SCORE 2888.405
AT ITER 6294 NEW BEST:: SOT 13251 SOS 7380 HAS SOPS 4760 HAS SOUS 3785 HAS SOUPS 2860 WITH SCORE 2867.38
AT ITER 6585 NEW BEST:: SOT 13245 SOS 7359 HAS SOPS 4758 HAS SOUS 3772 HAS SOUPS 2850 WITH SCORE 2857.359
AT ITER 6648 NEW BEST:: SOT 13252 SOS 7367 HAS SOPS 4777 HAS SOUS 3768 HAS SOUPS 2849 WITH SCORE 2856.367
AT ITER 6661 NEW BEST:: SOT 13248 SOS 7368 HAS SOPS 4773 HAS SOUS 3769 HAS SOUPS 2845 WITH SCORE 2852.368
AT ITER 6713 NEW BEST:: SOT 13248 SOS 7367 HAS SOPS 4772 HAS SOUS 3768 HAS SOUPS 2844 WITH SCORE 2851.367
AT ITER 6799 NEW BEST:: SOT 13247 SOS 7366 HAS SOPS 4770 HAS SOUS 3767 HAS SOUPS 2842 WITH SCORE 2849.366
AT ITER 6968 NEW BEST:: SOT 13233 SOS 7365 HAS SOPS 4748 HAS SOUS 3749 HAS SOUPS 2824 WITH SCORE 2831.365
AT ITER 6971 NEW BEST:: SOT 13232 SOS 7369 HAS SOPS 4747 HAS SOUS 3749 HAS SOUPS 2823 WITH SCORE 2830.369
AT ITER 6977 NEW BEST:: SOT 13229 SOS 7366 HAS SOPS 4744 HAS SOUS 3746 HAS SOUPS 2820 WITH SCORE 2827.366
AT ITER 7060 NEW BEST:: SOT 13228 SOS 7365 HAS SOPS 4744 HAS SOUS 3747 HAS SOUPS 2820 WITH SCORE 2827.365
AT ITER 7063 NEW BEST:: SOT 13224 SOS 7353 HAS SOPS 4740 HAS SOUS 3751 HAS SOUPS 2820 WITH SCORE 2827.353
AT ITER 7120 NEW BEST:: SOT 13218 SOS 7347 HAS SOPS 4732 HAS SOUS 3749 HAS SOUPS 2816 WITH SCORE 2823.347
AT ITER 7140 NEW BEST:: SOT 13216 SOS 7343 HAS SOPS 4730 HAS SOUS 3745 HAS SOUPS 2814 WITH SCORE 2821.343
AT ITER 7181 NEW BEST:: SOT 13215 SOS 7342 HAS SOPS 4729 HAS SOUS 3744 HAS SOUPS 2813 WITH SCORE 2820.342
AT ITER 7363 NEW BEST:: SOT 13215 SOS 7348 HAS SOPS 4735 HAS SOUS 3742 HAS SOUPS 2811 WITH SCORE 2818.348
AT ITER 7477 NEW BEST:: SOT 13215 SOS 7347 HAS SOPS 4735 HAS SOUS 3742 HAS SOUPS 2811 WITH SCORE 2818.347
AT ITER 7555 NEW BEST:: SOT 13213 SOS 7349 HAS SOPS 4733 HAS SOUS 3738 HAS SOUPS 2807 WITH SCORE 2814.349
AT ITER 7797 NEW BEST:: SOT 13205 SOS 7341 HAS SOPS 4724 HAS SOUS 3738 HAS SOUPS 2806 WITH SCORE 2813.341
AT ITER 8045 NEW BEST:: SOT 13202 SOS 7339 HAS SOPS 4724 HAS SOUS 3738 HAS SOUPS 2806 WITH SCORE 2813.339
AT ITER 8060 NEW BEST:: SOT 13196 SOS 7332 HAS SOPS 4720 HAS SOUS 3731 HAS SOUPS 2802 WITH SCORE 2809.332
AT ITER 8153 NEW BEST:: SOT 13195 SOS 7331 HAS SOPS 4720 HAS SOUS 3732 HAS SOUPS 2802 WITH SCORE 2809.331
AT ITER 8402 NEW BEST:: SOT 13194 SOS 7329 HAS SOPS 4718 HAS SOUS 3730 HAS SOUPS 2800 WITH SCORE 2807.329
AT ITER 8410 NEW BEST:: SOT 13189 SOS 7324 HAS SOPS 4712 HAS SOUS 3728 HAS SOUPS 2798 WITH SCORE 2805.324
AT ITER 8439 NEW BEST:: SOT 13188 SOS 7323 HAS SOPS 4710 HAS SOUS 3727 HAS SOUPS 2796 WITH SCORE 2803.323
AT ITER 8648 NEW BEST:: SOT 13189 SOS 7309 HAS SOPS 4726 HAS SOUS 3722 HAS SOUPS 2796 WITH SCORE 2803.309
AT ITER 8664 NEW BEST:: SOT 13153 SOS 7323 HAS SOPS 4686 HAS SOUS 3726 HAS SOUPS 2794 WITH SCORE 2801.323
AT ITER 8707 NEW BEST:: SOT 13153 SOS 7321 HAS SOPS 4684 HAS SOUS 3725 HAS SOUPS 2793 WITH SCORE 2800.321
AT ITER 8887 NEW BEST:: SOT 13152 SOS 7318 HAS SOPS 4682 HAS SOUS 3724 HAS SOUPS 2792 WITH SCORE 2799.318
AT ITER 8909 NEW BEST:: SOT 13150 SOS 7316 HAS SOPS 4679 HAS SOUS 3722 HAS SOUPS 2789 WITH SCORE 2796.316
AT ITER 9207 NEW BEST:: SOT 13157 SOS 7319 HAS SOPS 4686 HAS SOUS 3707 HAS SOUPS 2776 WITH SCORE 2783.319
AT ITER 9510 NEW BEST:: SOT 13159 SOS 7316 HAS SOPS 4680 HAS SOUS 3705 HAS SOUPS 2774 WITH SCORE 2781.316
AT ITER 9945 NEW BEST:: SOT 13159 SOS 7313 HAS SOPS 4677 HAS SOUS 3705 HAS SOUPS 2774 WITH SCORE 2781.313
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 1678649126646

--------------------
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

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="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 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 4"
echo " Run identifier is r235-tall-167856421700360"
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 ;