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.r011-oct2-167813600500648.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 12:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 12:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 12:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 12:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 12:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 448K 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 1678740788245

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=AutonomousCar-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:53:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:53:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:53:10] [INFO ] Load time of PNML (sax parser for PT used): 100 ms
[2023-03-13 20:53:10] [INFO ] Transformed 81 places.
[2023-03-13 20:53:10] [INFO ] Transformed 849 transitions.
[2023-03-13 20:53:10] [INFO ] Found NUPN structural information;
[2023-03-13 20:53:10] [INFO ] Parsed PT model containing 81 places and 849 transitions and 8894 arcs in 180 ms.
[2023-03-13 20:53:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 81 places, 849 transitions and 8894 arcs took 13 ms.
Total runtime 236 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 08a
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: 81 places, 849 transitions, 8894 arcs.
AT ITER 0 NEW BEST:: SOT 60132 SOS 51076 HAS SOPS 51074 HAS SOUS 24670 HAS SOUPS 24668 WITH SCORE 24719.076
AT ITER 2 NEW BEST:: SOT 60100 SOS 51108 HAS SOPS 51106 HAS SOUS 24581 HAS SOUPS 24579 WITH SCORE 24630.108
AT ITER 3 NEW BEST:: SOT 60055 SOS 51018 HAS SOPS 51016 HAS SOUS 23576 HAS SOUPS 23574 WITH SCORE 23625.018
AT ITER 4 NEW BEST:: SOT 59833 SOS 50805 HAS SOPS 50803 HAS SOUS 23402 HAS SOUPS 23400 WITH SCORE 23450.805
AT ITER 5 NEW BEST:: SOT 59841 SOS 50821 HAS SOPS 50819 HAS SOUS 23400 HAS SOUPS 23398 WITH SCORE 23448.821
AT ITER 6 NEW BEST:: SOT 59793 SOS 50773 HAS SOPS 50771 HAS SOUS 23370 HAS SOUPS 23368 WITH SCORE 23418.773
AT ITER 7 NEW BEST:: SOT 59744 SOS 50675 HAS SOPS 50673 HAS SOUS 23126 HAS SOUPS 23124 WITH SCORE 23174.675
AT ITER 10 NEW BEST:: SOT 59666 SOS 50599 HAS SOPS 50597 HAS SOUS 23096 HAS SOUPS 23094 WITH SCORE 23144.599
AT ITER 12 NEW BEST:: SOT 59628 SOS 50561 HAS SOPS 50559 HAS SOUS 23084 HAS SOUPS 23082 WITH SCORE 23132.561
AT ITER 14 NEW BEST:: SOT 59598 SOS 50531 HAS SOPS 50529 HAS SOUS 23037 HAS SOUPS 23035 WITH SCORE 23085.531
AT ITER 17 NEW BEST:: SOT 59610 SOS 50519 HAS SOPS 50517 HAS SOUS 23037 HAS SOUPS 23035 WITH SCORE 23085.519
AT ITER 19 NEW BEST:: SOT 59351 SOS 50819 HAS SOPS 50817 HAS SOUS 22982 HAS SOUPS 22980 WITH SCORE 23030.819
AT ITER 20 NEW BEST:: SOT 59344 SOS 50805 HAS SOPS 50803 HAS SOUS 22912 HAS SOUPS 22910 WITH SCORE 22960.805
AT ITER 24 NEW BEST:: SOT 59344 SOS 50805 HAS SOPS 50803 HAS SOUS 22894 HAS SOUPS 22892 WITH SCORE 22942.805
AT ITER 25 NEW BEST:: SOT 59368 SOS 50841 HAS SOPS 50839 HAS SOUS 22822 HAS SOUPS 22820 WITH SCORE 22870.841
AT ITER 27 NEW BEST:: SOT 59316 SOS 50789 HAS SOPS 50787 HAS SOUS 22736 HAS SOUPS 22734 WITH SCORE 22784.789
AT ITER 28 NEW BEST:: SOT 59283 SOS 50745 HAS SOPS 50743 HAS SOUS 22553 HAS SOUPS 22551 WITH SCORE 22601.745
AT ITER 35 NEW BEST:: SOT 59318 SOS 50788 HAS SOPS 50786 HAS SOUS 22437 HAS SOUPS 22435 WITH SCORE 22485.788
AT ITER 37 NEW BEST:: SOT 59318 SOS 50844 HAS SOPS 50842 HAS SOUS 22328 HAS SOUPS 22326 WITH SCORE 22376.844
AT ITER 46 NEW BEST:: SOT 58825 SOS 50308 HAS SOPS 50306 HAS SOUS 22287 HAS SOUPS 22285 WITH SCORE 22335.308
AT ITER 47 NEW BEST:: SOT 58817 SOS 50542 HAS SOPS 50540 HAS SOUS 22265 HAS SOUPS 22263 WITH SCORE 22313.542
AT ITER 57 NEW BEST:: SOT 58155 SOS 50980 HAS SOPS 50978 HAS SOUS 21911 HAS SOUPS 21909 WITH SCORE 21959.98
AT ITER 59 NEW BEST:: SOT 58110 SOS 50826 HAS SOPS 50824 HAS SOUS 20872 HAS SOUPS 20870 WITH SCORE 20920.826
AT ITER 62 NEW BEST:: SOT 58089 SOS 50784 HAS SOPS 50782 HAS SOUS 20757 HAS SOUPS 20755 WITH SCORE 20805.784
AT ITER 69 NEW BEST:: SOT 58089 SOS 50784 HAS SOPS 50782 HAS SOUS 20620 HAS SOUPS 20618 WITH SCORE 20668.784
AT ITER 71 NEW BEST:: SOT 58063 SOS 50716 HAS SOPS 50714 HAS SOUS 20586 HAS SOUPS 20584 WITH SCORE 20634.716
AT ITER 72 NEW BEST:: SOT 56978 SOS 49631 HAS SOPS 49629 HAS SOUS 19413 HAS SOUPS 19411 WITH SCORE 19460.631
AT ITER 74 NEW BEST:: SOT 57101 SOS 49754 HAS SOPS 49752 HAS SOUS 19351 HAS SOUPS 19349 WITH SCORE 19398.754
AT ITER 78 NEW BEST:: SOT 57097 SOS 49739 HAS SOPS 49737 HAS SOUS 19155 HAS SOUPS 19153 WITH SCORE 19202.739
AT ITER 79 NEW BEST:: SOT 57103 SOS 49765 HAS SOPS 49763 HAS SOUS 19151 HAS SOUPS 19149 WITH SCORE 19198.765
AT ITER 88 NEW BEST:: SOT 57081 SOS 49747 HAS SOPS 49745 HAS SOUS 19129 HAS SOUPS 19127 WITH SCORE 19176.747
AT ITER 95 NEW BEST:: SOT 57086 SOS 49757 HAS SOPS 49755 HAS SOUS 19121 HAS SOUPS 19119 WITH SCORE 19168.757
AT ITER 97 NEW BEST:: SOT 56972 SOS 49643 HAS SOPS 49641 HAS SOUS 19104 HAS SOUPS 19102 WITH SCORE 19151.643
AT ITER 98 NEW BEST:: SOT 56932 SOS 49603 HAS SOPS 49601 HAS SOUS 19103 HAS SOUPS 19101 WITH SCORE 19150.603
AT ITER 107 NEW BEST:: SOT 55284 SOS 47929 HAS SOPS 47927 HAS SOUS 17827 HAS SOUPS 17825 WITH SCORE 17872.929
AT ITER 132 NEW BEST:: SOT 55208 SOS 47853 HAS SOPS 47851 HAS SOUS 17783 HAS SOUPS 17781 WITH SCORE 17828.853
AT ITER 148 NEW BEST:: SOT 55226 SOS 47871 HAS SOPS 47869 HAS SOUS 17698 HAS SOUPS 17696 WITH SCORE 17743.871
AT ITER 167 NEW BEST:: SOT 55226 SOS 47831 HAS SOPS 47829 HAS SOUS 17627 HAS SOUPS 17625 WITH SCORE 17672.831
AT ITER 168 NEW BEST:: SOT 55244 SOS 47867 HAS SOPS 47865 HAS SOUS 17582 HAS SOUPS 17580 WITH SCORE 17627.867
AT ITER 170 NEW BEST:: SOT 55242 SOS 47784 HAS SOPS 47782 HAS SOUS 17578 HAS SOUPS 17576 WITH SCORE 17623.784
AT ITER 171 NEW BEST:: SOT 55232 SOS 47784 HAS SOPS 47782 HAS SOUS 17469 HAS SOUPS 17467 WITH SCORE 17514.784
AT ITER 174 NEW BEST:: SOT 55236 SOS 47784 HAS SOPS 47782 HAS SOUS 17453 HAS SOUPS 17451 WITH SCORE 17498.784
AT ITER 176 NEW BEST:: SOT 55234 SOS 47782 HAS SOPS 47780 HAS SOUS 17195 HAS SOUPS 17193 WITH SCORE 17240.782
AT ITER 178 NEW BEST:: SOT 56024 SOS 48634 HAS SOPS 48632 HAS SOUS 17100 HAS SOUPS 17098 WITH SCORE 17146.634
AT ITER 181 NEW BEST:: SOT 56024 SOS 51778 HAS SOPS 51776 HAS SOUS 17091 HAS SOUPS 17089 WITH SCORE 17140.778
AT ITER 183 NEW BEST:: SOT 55984 SOS 51722 HAS SOPS 51720 HAS SOUS 17055 HAS SOUPS 17053 WITH SCORE 17104.722
AT ITER 187 NEW BEST:: SOT 55982 SOS 51718 HAS SOPS 51716 HAS SOUS 17051 HAS SOUPS 17049 WITH SCORE 17100.718
AT ITER 190 NEW BEST:: SOT 55916 SOS 51425 HAS SOPS 51423 HAS SOUS 16989 HAS SOUPS 16987 WITH SCORE 17038.425
AT ITER 192 NEW BEST:: SOT 55892 SOS 51398 HAS SOPS 51396 HAS SOUS 16981 HAS SOUPS 16979 WITH SCORE 17030.398
AT ITER 203 NEW BEST:: SOT 55892 SOS 51390 HAS SOPS 51388 HAS SOUS 16981 HAS SOUPS 16979 WITH SCORE 17030.39
AT ITER 207 NEW BEST:: SOT 55876 SOS 51358 HAS SOPS 51356 HAS SOUS 16847 HAS SOUPS 16845 WITH SCORE 16896.358
AT ITER 208 NEW BEST:: SOT 56494 SOS 51992 HAS SOPS 51990 HAS SOUS 16394 HAS SOUPS 16392 WITH SCORE 16443.992
AT ITER 216 NEW BEST:: SOT 56471 SOS 51910 HAS SOPS 51908 HAS SOUS 16336 HAS SOUPS 16334 WITH SCORE 16385.91
AT ITER 218 NEW BEST:: SOT 56456 SOS 51893 HAS SOPS 51891 HAS SOUS 16190 HAS SOUPS 16188 WITH SCORE 16239.893
AT ITER 227 NEW BEST:: SOT 55052 SOS 50489 HAS SOPS 50487 HAS SOUS 15482 HAS SOUPS 15480 WITH SCORE 15530.489
AT ITER 229 NEW BEST:: SOT 54140 SOS 49549 HAS SOPS 49547 HAS SOUS 15060 HAS SOUPS 15058 WITH SCORE 15107.549
AT ITER 231 NEW BEST:: SOT 54138 SOS 49566 HAS SOPS 49564 HAS SOUS 15058 HAS SOUPS 15056 WITH SCORE 15105.566
AT ITER 232 NEW BEST:: SOT 53998 SOS 49426 HAS SOPS 49424 HAS SOUS 13562 HAS SOUPS 13560 WITH SCORE 13609.426
AT ITER 235 NEW BEST:: SOT 53868 SOS 49286 HAS SOPS 49284 HAS SOUS 13442 HAS SOUPS 13440 WITH SCORE 13489.286
AT ITER 238 NEW BEST:: SOT 53868 SOS 49296 HAS SOPS 49294 HAS SOUS 12792 HAS SOUPS 12790 WITH SCORE 12839.296
AT ITER 240 NEW BEST:: SOT 53814 SOS 49252 HAS SOPS 49250 HAS SOUS 12768 HAS SOUPS 12766 WITH SCORE 12815.252
AT ITER 241 NEW BEST:: SOT 53700 SOS 49082 HAS SOPS 49080 HAS SOUS 10814 HAS SOUPS 10812 WITH SCORE 10861.082
AT ITER 242 NEW BEST:: SOT 53631 SOS 49003 HAS SOPS 49001 HAS SOUS 10771 HAS SOUPS 10769 WITH SCORE 10818.003
AT ITER 251 NEW BEST:: SOT 53647 SOS 49005 HAS SOPS 48993 HAS SOUS 10774 HAS SOUPS 10767 WITH SCORE 10816.005
AT ITER 253 NEW BEST:: SOT 53263 SOS 48621 HAS SOPS 48609 HAS SOUS 10581 HAS SOUPS 10574 WITH SCORE 10622.621
AT ITER 254 NEW BEST:: SOT 53248 SOS 48538 HAS SOPS 48526 HAS SOUS 10276 HAS SOUPS 10269 WITH SCORE 10317.538
AT ITER 268 NEW BEST:: SOT 53228 SOS 48516 HAS SOPS 48504 HAS SOUS 10254 HAS SOUPS 10247 WITH SCORE 10295.516
AT ITER 275 NEW BEST:: SOT 53173 SOS 48462 HAS SOPS 48450 HAS SOUS 10202 HAS SOUPS 10195 WITH SCORE 10243.462
AT ITER 281 NEW BEST:: SOT 53165 SOS 48378 HAS SOPS 48366 HAS SOUS 10192 HAS SOUPS 10185 WITH SCORE 10233.378
AT ITER 284 NEW BEST:: SOT 53135 SOS 48344 HAS SOPS 48332 HAS SOUS 10175 HAS SOUPS 10168 WITH SCORE 10216.344
AT ITER 301 NEW BEST:: SOT 53135 SOS 48339 HAS SOPS 48327 HAS SOUS 10170 HAS SOUPS 10163 WITH SCORE 10211.339
AT ITER 303 NEW BEST:: SOT 53133 SOS 48335 HAS SOPS 48323 HAS SOUS 10168 HAS SOUPS 10161 WITH SCORE 10209.335
AT ITER 315 NEW BEST:: SOT 53156 SOS 48310 HAS SOPS 48298 HAS SOUS 10143 HAS SOUPS 10136 WITH SCORE 10184.31
AT ITER 338 NEW BEST:: SOT 53144 SOS 48294 HAS SOPS 48282 HAS SOUS 10133 HAS SOUPS 10126 WITH SCORE 10174.294
AT ITER 348 NEW BEST:: SOT 53142 SOS 48290 HAS SOPS 48278 HAS SOUS 10129 HAS SOUPS 10122 WITH SCORE 10170.29
AT ITER 352 NEW BEST:: SOT 52958 SOS 48106 HAS SOPS 48094 HAS SOUS 10099 HAS SOUPS 10092 WITH SCORE 10140.106
AT ITER 354 NEW BEST:: SOT 52909 SOS 48047 HAS SOPS 48035 HAS SOUS 10060 HAS SOUPS 10053 WITH SCORE 10101.047
AT ITER 358 NEW BEST:: SOT 52909 SOS 48017 HAS SOPS 48005 HAS SOUS 10028 HAS SOUPS 10021 WITH SCORE 10069.017
AT ITER 360 NEW BEST:: SOT 52867 SOS 47973 HAS SOPS 47961 HAS SOUS 10008 HAS SOUPS 10001 WITH SCORE 10048.973
AT ITER 366 NEW BEST:: SOT 52855 SOS 47958 HAS SOPS 47946 HAS SOUS 9993 HAS SOUPS 9986 WITH SCORE 10033.958
AT ITER 370 NEW BEST:: SOT 52842 SOS 47944 HAS SOPS 47932 HAS SOUS 9975 HAS SOUPS 9968 WITH SCORE 10015.944
AT ITER 374 NEW BEST:: SOT 52718 SOS 47820 HAS SOPS 47808 HAS SOUS 9912 HAS SOUPS 9905 WITH SCORE 9952.82
AT ITER 375 NEW BEST:: SOT 52714 SOS 47818 HAS SOPS 47806 HAS SOUS 9774 HAS SOUPS 9767 WITH SCORE 9814.818
AT ITER 387 NEW BEST:: SOT 52712 SOS 47628 HAS SOPS 47610 HAS SOUS 9774 HAS SOUPS 9764 WITH SCORE 9811.628
AT ITER 393 NEW BEST:: SOT 52649 SOS 47530 HAS SOPS 47512 HAS SOUS 9744 HAS SOUPS 9734 WITH SCORE 9781.53
AT ITER 429 NEW BEST:: SOT 52651 SOS 47534 HAS SOPS 47516 HAS SOUS 9660 HAS SOUPS 9650 WITH SCORE 9697.534
AT ITER 435 NEW BEST:: SOT 52645 SOS 46594 HAS SOPS 46112 HAS SOUS 9652 HAS SOUPS 9642 WITH SCORE 9688.594
AT ITER 444 NEW BEST:: SOT 52617 SOS 46558 HAS SOPS 46076 HAS SOUS 9630 HAS SOUPS 9620 WITH SCORE 9666.558
AT ITER 449 NEW BEST:: SOT 52626 SOS 46546 HAS SOPS 46064 HAS SOUS 9511 HAS SOUPS 9501 WITH SCORE 9547.546
AT ITER 450 NEW BEST:: SOT 52654 SOS 46574 HAS SOPS 46092 HAS SOUS 9454 HAS SOUPS 9444 WITH SCORE 9490.574
AT ITER 455 NEW BEST:: SOT 52646 SOS 46566 HAS SOPS 46084 HAS SOUS 9446 HAS SOUPS 9436 WITH SCORE 9482.566
AT ITER 464 NEW BEST:: SOT 52643 SOS 46562 HAS SOPS 46080 HAS SOUS 9442 HAS SOUPS 9432 WITH SCORE 9478.562
AT ITER 469 NEW BEST:: SOT 52626 SOS 46541 HAS SOPS 46059 HAS SOUS 9425 HAS SOUPS 9415 WITH SCORE 9461.541
AT ITER 476 NEW BEST:: SOT 52628 SOS 50222 HAS SOPS 50220 HAS SOUS 9413 HAS SOUPS 9411 WITH SCORE 9461.222
AT ITER 492 NEW BEST:: SOT 51758 SOS 49352 HAS SOPS 49350 HAS SOUS 9230 HAS SOUPS 9228 WITH SCORE 9277.352
AT ITER 496 NEW BEST:: SOT 51724 SOS 44292 HAS SOPS 43762 HAS SOUS 9238 HAS SOUPS 9204 WITH SCORE 9248.292
AT ITER 502 NEW BEST:: SOT 51578 SOS 44146 HAS SOPS 43616 HAS SOUS 9197 HAS SOUPS 9163 WITH SCORE 9207.146
AT ITER 517 NEW BEST:: SOT 51566 SOS 44122 HAS SOPS 43592 HAS SOUS 9178 HAS SOUPS 9144 WITH SCORE 9188.122
AT ITER 522 NEW BEST:: SOT 51565 SOS 44153 HAS SOPS 43623 HAS SOUS 9174 HAS SOUPS 9140 WITH SCORE 9184.153
AT ITER 524 NEW BEST:: SOT 51557 SOS 44141 HAS SOPS 43611 HAS SOUS 9174 HAS SOUPS 9140 WITH SCORE 9184.141
AT ITER 526 NEW BEST:: SOT 51138 SOS 43720 HAS SOPS 43190 HAS SOUS 9024 HAS SOUPS 8990 WITH SCORE 9033.72
AT ITER 546 NEW BEST:: SOT 51145 SOS 43713 HAS SOPS 43183 HAS SOUS 9017 HAS SOUPS 8983 WITH SCORE 9026.713
AT ITER 555 NEW BEST:: SOT 50487 SOS 43041 HAS SOPS 42511 HAS SOUS 8958 HAS SOUPS 8924 WITH SCORE 8967.041
AT ITER 562 NEW BEST:: SOT 50567 SOS 43119 HAS SOPS 42589 HAS SOUS 8784 HAS SOUPS 8750 WITH SCORE 8793.119
AT ITER 565 NEW BEST:: SOT 50554 SOS 43110 HAS SOPS 42580 HAS SOUS 8771 HAS SOUPS 8737 WITH SCORE 8780.11
AT ITER 602 NEW BEST:: SOT 50554 SOS 43094 HAS SOPS 42564 HAS SOUS 8750 HAS SOUPS 8716 WITH SCORE 8759.094
AT ITER 613 NEW BEST:: SOT 50553 SOS 43096 HAS SOPS 42566 HAS SOUS 8749 HAS SOUPS 8715 WITH SCORE 8758.096
AT ITER 628 NEW BEST:: SOT 50549 SOS 43093 HAS SOPS 42563 HAS SOUS 8733 HAS SOUPS 8699 WITH SCORE 8742.093
AT ITER 633 NEW BEST:: SOT 50526 SOS 43043 HAS SOPS 42513 HAS SOUS 8708 HAS SOUPS 8674 WITH SCORE 8717.043
AT ITER 638 NEW BEST:: SOT 50510 SOS 43011 HAS SOPS 42481 HAS SOUS 8700 HAS SOUPS 8666 WITH SCORE 8709.011
AT ITER 639 NEW BEST:: SOT 50502 SOS 43011 HAS SOPS 42481 HAS SOUS 8694 HAS SOUPS 8660 WITH SCORE 8703.011
AT ITER 640 NEW BEST:: SOT 50560 SOS 43093 HAS SOPS 42563 HAS SOUS 8686 HAS SOUPS 8652 WITH SCORE 8695.093
AT ITER 641 NEW BEST:: SOT 50596 SOS 43129 HAS SOPS 42599 HAS SOUS 8682 HAS SOUPS 8648 WITH SCORE 8691.129
AT ITER 670 NEW BEST:: SOT 50594 SOS 43063 HAS SOPS 42517 HAS SOUS 8676 HAS SOUPS 8642 WITH SCORE 8685.063
AT ITER 675 NEW BEST:: SOT 50604 SOS 43093 HAS SOPS 42547 HAS SOUS 8663 HAS SOUPS 8629 WITH SCORE 8672.093
AT ITER 692 NEW BEST:: SOT 50596 SOS 43085 HAS SOPS 42539 HAS SOUS 8649 HAS SOUPS 8615 WITH SCORE 8658.085
AT ITER 693 NEW BEST:: SOT 50598 SOS 43079 HAS SOPS 42533 HAS SOUS 8648 HAS SOUPS 8614 WITH SCORE 8657.079
AT ITER 709 NEW BEST:: SOT 50685 SOS 43165 HAS SOPS 42619 HAS SOUS 8223 HAS SOUPS 8189 WITH SCORE 8232.165
AT ITER 715 NEW BEST:: SOT 50591 SOS 43059 HAS SOPS 42513 HAS SOUS 8167 HAS SOUPS 8133 WITH SCORE 8176.059
AT ITER 731 NEW BEST:: SOT 50636 SOS 43031 HAS SOPS 42519 HAS SOUS 8136 HAS SOUPS 8119 WITH SCORE 8162.031
AT ITER 788 NEW BEST:: SOT 50624 SOS 43025 HAS SOPS 42513 HAS SOUS 8127 HAS SOUPS 8110 WITH SCORE 8153.025
AT ITER 789 NEW BEST:: SOT 50620 SOS 43023 HAS SOPS 42511 HAS SOUS 8125 HAS SOUPS 8108 WITH SCORE 8151.023
AT ITER 790 NEW BEST:: SOT 50602 SOS 43003 HAS SOPS 42491 HAS SOUS 8105 HAS SOUPS 8088 WITH SCORE 8131.003
AT ITER 799 NEW BEST:: SOT 50627 SOS 43025 HAS SOPS 42513 HAS SOUS 8071 HAS SOUPS 8054 WITH SCORE 8097.025
AT ITER 801 NEW BEST:: SOT 50625 SOS 43022 HAS SOPS 42510 HAS SOUS 8070 HAS SOUPS 8053 WITH SCORE 8096.022
AT ITER 802 NEW BEST:: SOT 50625 SOS 43027 HAS SOPS 42515 HAS SOUS 8060 HAS SOUPS 8043 WITH SCORE 8086.027
AT ITER 835 NEW BEST:: SOT 50623 SOS 43023 HAS SOPS 33823 HAS SOUS 8071 HAS SOUPS 8041 WITH SCORE 8084.023
AT ITER 836 NEW BEST:: SOT 50583 SOS 42983 HAS SOPS 33783 HAS SOUS 8042 HAS SOUPS 8012 WITH SCORE 8054.983
AT ITER 856 NEW BEST:: SOT 50551 SOS 42945 HAS SOPS 33745 HAS SOUS 8020 HAS SOUPS 7990 WITH SCORE 8032.945
AT ITER 870 NEW BEST:: SOT 50510 SOS 42891 HAS SOPS 33691 HAS SOUS 8011 HAS SOUPS 7981 WITH SCORE 8023.891
AT ITER 885 NEW BEST:: SOT 50476 SOS 42823 HAS SOPS 33623 HAS SOUS 8007 HAS SOUPS 7977 WITH SCORE 8019.823
AT ITER 900 NEW BEST:: SOT 50476 SOS 43935 HAS SOPS 34351 HAS SOUS 7993 HAS SOUPS 7963 WITH SCORE 8006.935
AT ITER 910 NEW BEST:: SOT 50464 SOS 43911 HAS SOPS 34327 HAS SOUS 7981 HAS SOUPS 7951 WITH SCORE 7994.911
AT ITER 914 NEW BEST:: SOT 50464 SOS 43911 HAS SOPS 34327 HAS SOUS 7977 HAS SOUPS 7947 WITH SCORE 7990.911
AT ITER 926 NEW BEST:: SOT 50464 SOS 37973 HAS SOPS 34371 HAS SOUS 7949 HAS SOUPS 7934 WITH SCORE 7971.973
AT ITER 940 NEW BEST:: SOT 50360 SOS 37861 HAS SOPS 34259 HAS SOUS 7706 HAS SOUPS 7691 WITH SCORE 7728.861
AT ITER 951 NEW BEST:: SOT 50360 SOS 37881 HAS SOPS 34279 HAS SOUS 7699 HAS SOUPS 7684 WITH SCORE 7721.881
AT ITER 961 NEW BEST:: SOT 50373 SOS 37886 HAS SOPS 34364 HAS SOUS 7675 HAS SOUPS 7660 WITH SCORE 7697.886
AT ITER 972 NEW BEST:: SOT 50370 SOS 37564 HAS SOPS 34378 HAS SOUS 7672 HAS SOUPS 7658 WITH SCORE 7695.564
AT ITER 975 NEW BEST:: SOT 50334 SOS 37528 HAS SOPS 34342 HAS SOUS 7632 HAS SOUPS 7618 WITH SCORE 7655.528
AT ITER 991 NEW BEST:: SOT 50328 SOS 37522 HAS SOPS 34336 HAS SOUS 7632 HAS SOUPS 7618 WITH SCORE 7655.522
AT ITER 993 NEW BEST:: SOT 50329 SOS 37540 HAS SOPS 34354 HAS SOUS 7628 HAS SOUPS 7614 WITH SCORE 7651.54
AT ITER 1022 NEW BEST:: SOT 50321 SOS 37549 HAS SOPS 34363 HAS SOUS 7623 HAS SOUPS 7609 WITH SCORE 7646.549
AT ITER 1024 NEW BEST:: SOT 50204 SOS 37432 HAS SOPS 34246 HAS SOUS 7600 HAS SOUPS 7586 WITH SCORE 7623.432
AT ITER 1028 NEW BEST:: SOT 50193 SOS 37420 HAS SOPS 34170 HAS SOUS 7504 HAS SOUPS 7490 WITH SCORE 7527.42
AT ITER 1032 NEW BEST:: SOT 50107 SOS 37344 HAS SOPS 34094 HAS SOUS 7466 HAS SOUPS 7452 WITH SCORE 7489.344
AT ITER 1038 NEW BEST:: SOT 50110 SOS 37344 HAS SOPS 34094 HAS SOUS 7435 HAS SOUPS 7421 WITH SCORE 7458.344
AT ITER 1051 NEW BEST:: SOT 50100 SOS 37276 HAS SOPS 34026 HAS SOUS 7430 HAS SOUPS 7416 WITH SCORE 7453.276
AT ITER 1059 NEW BEST:: SOT 50096 SOS 37556 HAS SOPS 34306 HAS SOUS 7428 HAS SOUPS 7414 WITH SCORE 7451.556
AT ITER 1066 NEW BEST:: SOT 50094 SOS 37558 HAS SOPS 34308 HAS SOUS 7425 HAS SOUPS 7411 WITH SCORE 7448.558
AT ITER 1077 NEW BEST:: SOT 50123 SOS 37616 HAS SOPS 34366 HAS SOUS 7346 HAS SOUPS 7332 WITH SCORE 7369.616
AT ITER 1121 NEW BEST:: SOT 50088 SOS 37604 HAS SOPS 34354 HAS SOUS 7341 HAS SOUPS 7327 WITH SCORE 7364.604
AT ITER 1124 NEW BEST:: SOT 50009 SOS 37524 HAS SOPS 34274 HAS SOUS 7283 HAS SOUPS 7269 WITH SCORE 7306.524
AT ITER 1125 NEW BEST:: SOT 50055 SOS 37570 HAS SOPS 34320 HAS SOUS 7274 HAS SOUPS 7260 WITH SCORE 7297.57
AT ITER 1127 NEW BEST:: SOT 50057 SOS 37532 HAS SOPS 34282 HAS SOUS 7273 HAS SOUPS 7259 WITH SCORE 7296.532
AT ITER 1129 NEW BEST:: SOT 50057 SOS 37791 HAS SOPS 34541 HAS SOUS 7272 HAS SOUPS 7258 WITH SCORE 7295.791
AT ITER 1138 NEW BEST:: SOT 50053 SOS 38215 HAS SOPS 34965 HAS SOUS 7271 HAS SOUPS 7257 WITH SCORE 7295.215
AT ITER 1139 NEW BEST:: SOT 50043 SOS 38115 HAS SOPS 34865 HAS SOUS 7266 HAS SOUPS 7252 WITH SCORE 7290.115
AT ITER 1206 NEW BEST:: SOT 50305 SOS 38377 HAS SOPS 35127 HAS SOUS 7214 HAS SOUPS 7200 WITH SCORE 7238.377
AT ITER 1227 NEW BEST:: SOT 50295 SOS 38361 HAS SOPS 35111 HAS SOUS 7201 HAS SOUPS 7187 WITH SCORE 7225.361
AT ITER 1234 NEW BEST:: SOT 50293 SOS 38325 HAS SOPS 35075 HAS SOUS 7201 HAS SOUPS 7187 WITH SCORE 7225.325
AT ITER 1235 NEW BEST:: SOT 50293 SOS 38195 HAS SOPS 34945 HAS SOUS 7200 HAS SOUPS 7186 WITH SCORE 7224.195
AT ITER 1259 NEW BEST:: SOT 50294 SOS 38187 HAS SOPS 34937 HAS SOUS 7197 HAS SOUPS 7183 WITH SCORE 7221.187
AT ITER 1309 NEW BEST:: SOT 50246 SOS 38137 HAS SOPS 34865 HAS SOUS 7173 HAS SOUPS 7159 WITH SCORE 7197.137
AT ITER 1329 NEW BEST:: SOT 50262 SOS 38175 HAS SOPS 34903 HAS SOUS 6859 HAS SOUPS 6845 WITH SCORE 6883.175
AT ITER 1369 NEW BEST:: SOT 50247 SOS 38145 HAS SOPS 34873 HAS SOUS 6835 HAS SOUPS 6821 WITH SCORE 6859.145
AT ITER 1424 NEW BEST:: SOT 50151 SOS 38082 HAS SOPS 34816 HAS SOUS 6823 HAS SOUPS 6805 WITH SCORE 6843.082
AT ITER 1431 NEW BEST:: SOT 50150 SOS 38081 HAS SOPS 34815 HAS SOUS 6823 HAS SOUPS 6805 WITH SCORE 6843.081
AT ITER 1440 NEW BEST:: SOT 50176 SOS 38103 HAS SOPS 34837 HAS SOUS 6813 HAS SOUPS 6795 WITH SCORE 6833.103
AT ITER 1476 NEW BEST:: SOT 50176 SOS 35927 HAS SOPS 34949 HAS SOUS 6805 HAS SOUPS 6795 WITH SCORE 6830.927
AT ITER 1480 NEW BEST:: SOT 50177 SOS 35923 HAS SOPS 34945 HAS SOUS 6801 HAS SOUPS 6791 WITH SCORE 6826.923
AT ITER 1510 NEW BEST:: SOT 50173 SOS 35851 HAS SOPS 34873 HAS SOUS 6800 HAS SOUPS 6790 WITH SCORE 6825.851
AT ITER 1529 NEW BEST:: SOT 50173 SOS 35850 HAS SOPS 34872 HAS SOUS 6800 HAS SOUPS 6790 WITH SCORE 6825.85
AT ITER 1543 NEW BEST:: SOT 50175 SOS 35853 HAS SOPS 34875 HAS SOUS 6799 HAS SOUPS 6789 WITH SCORE 6824.853
AT ITER 1589 NEW BEST:: SOT 50175 SOS 35836 HAS SOPS 34858 HAS SOUS 6790 HAS SOUPS 6780 WITH SCORE 6815.836
AT ITER 1595 NEW BEST:: SOT 50150 SOS 35810 HAS SOPS 34832 HAS SOUS 6697 HAS SOUPS 6687 WITH SCORE 6722.81
AT ITER 1603 NEW BEST:: SOT 50150 SOS 35803 HAS SOPS 34825 HAS SOUS 6697 HAS SOUPS 6687 WITH SCORE 6722.803
AT ITER 1660 NEW BEST:: SOT 50150 SOS 35801 HAS SOPS 34823 HAS SOUS 6697 HAS SOUPS 6687 WITH SCORE 6722.801
AT ITER 1667 NEW BEST:: SOT 50144 SOS 35783 HAS SOPS 34805 HAS SOUS 6694 HAS SOUPS 6684 WITH SCORE 6719.783
AT ITER 1668 NEW BEST:: SOT 50148 SOS 35770 HAS SOPS 34792 HAS SOUS 6693 HAS SOUPS 6683 WITH SCORE 6718.77
AT ITER 1692 NEW BEST:: SOT 50120 SOS 35736 HAS SOPS 34758 HAS SOUS 6679 HAS SOUPS 6669 WITH SCORE 6704.736
AT ITER 1748 NEW BEST:: SOT 49998 SOS 35612 HAS SOPS 34634 HAS SOUS 6616 HAS SOUPS 6606 WITH SCORE 6641.612
AT ITER 1982 NEW BEST:: SOT 49874 SOS 35488 HAS SOPS 34510 HAS SOUS 6554 HAS SOUPS 6544 WITH SCORE 6579.488
AT ITER 1995 NEW BEST:: SOT 49891 SOS 35506 HAS SOPS 34528 HAS SOUS 6410 HAS SOUPS 6400 WITH SCORE 6435.506
AT ITER 1996 NEW BEST:: SOT 49890 SOS 35507 HAS SOPS 34529 HAS SOUS 6409 HAS SOUPS 6399 WITH SCORE 6434.507
AT ITER 2029 NEW BEST:: SOT 49875 SOS 35493 HAS SOPS 34515 HAS SOUS 6405 HAS SOUPS 6395 WITH SCORE 6430.493
AT ITER 2037 NEW BEST:: SOT 50049 SOS 35667 HAS SOPS 34689 HAS SOUS 6375 HAS SOUPS 6365 WITH SCORE 6400.667
AT ITER 2038 NEW BEST:: SOT 50045 SOS 35691 HAS SOPS 34713 HAS SOUS 6371 HAS SOUPS 6361 WITH SCORE 6396.691
AT ITER 2073 NEW BEST:: SOT 50043 SOS 35655 HAS SOPS 34677 HAS SOUS 6357 HAS SOUPS 6347 WITH SCORE 6382.655
AT ITER 2091 NEW BEST:: SOT 50040 SOS 35654 HAS SOPS 34676 HAS SOUS 6343 HAS SOUPS 6333 WITH SCORE 6368.654
AT ITER 2178 NEW BEST:: SOT 50046 SOS 35462 HAS SOPS 34484 HAS SOUS 6333 HAS SOUPS 6323 WITH SCORE 6358.462
AT ITER 2226 NEW BEST:: SOT 50044 SOS 35458 HAS SOPS 34704 HAS SOUS 6331 HAS SOUPS 6321 WITH SCORE 6356.458
AT ITER 2230 NEW BEST:: SOT 50041 SOS 35452 HAS SOPS 34698 HAS SOUS 6328 HAS SOUPS 6318 WITH SCORE 6353.452
AT ITER 2236 NEW BEST:: SOT 50036 SOS 35430 HAS SOPS 34676 HAS SOUS 6327 HAS SOUPS 6317 WITH SCORE 6352.43
AT ITER 2259 NEW BEST:: SOT 50030 SOS 35418 HAS SOPS 35406 HAS SOUS 6324 HAS SOUPS 6317 WITH SCORE 6352.418
AT ITER 2272 NEW BEST:: SOT 50029 SOS 35399 HAS SOPS 35387 HAS SOUS 6322 HAS SOUPS 6315 WITH SCORE 6350.399
AT ITER 2283 NEW BEST:: SOT 50027 SOS 35507 HAS SOPS 35495 HAS SOUS 6320 HAS SOUPS 6313 WITH SCORE 6348.507
AT ITER 2293 NEW BEST:: SOT 50028 SOS 35525 HAS SOPS 35513 HAS SOUS 6313 HAS SOUPS 6306 WITH SCORE 6341.525
AT ITER 2298 NEW BEST:: SOT 50026 SOS 35065 HAS SOPS 35053 HAS SOUS 6310 HAS SOUPS 6303 WITH SCORE 6338.065
AT ITER 2340 NEW BEST:: SOT 50009 SOS 35063 HAS SOPS 35051 HAS SOUS 6308 HAS SOUPS 6301 WITH SCORE 6336.063
AT ITER 2343 NEW BEST:: SOT 50010 SOS 35063 HAS SOPS 35051 HAS SOUS 6307 HAS SOUPS 6300 WITH SCORE 6335.063
AT ITER 2353 NEW BEST:: SOT 50003 SOS 35056 HAS SOPS 35044 HAS SOUS 6307 HAS SOUPS 6300 WITH SCORE 6335.056
AT ITER 2403 NEW BEST:: SOT 49771 SOS 34829 HAS SOPS 34817 HAS SOUS 6201 HAS SOUPS 6194 WITH SCORE 6228.829
AT ITER 2438 NEW BEST:: SOT 49768 SOS 34927 HAS SOPS 34915 HAS SOUS 6196 HAS SOUPS 6189 WITH SCORE 6223.927
AT ITER 2470 NEW BEST:: SOT 49764 SOS 34921 HAS SOPS 34909 HAS SOUS 6130 HAS SOUPS 6123 WITH SCORE 6157.921
AT ITER 2477 NEW BEST:: SOT 49761 SOS 34963 HAS SOPS 34951 HAS SOUS 6127 HAS SOUPS 6120 WITH SCORE 6154.963
AT ITER 2520 NEW BEST:: SOT 49746 SOS 34950 HAS SOPS 34938 HAS SOUS 6121 HAS SOUPS 6114 WITH SCORE 6148.95
AT ITER 2524 NEW BEST:: SOT 49746 SOS 34936 HAS SOPS 34924 HAS SOUS 6121 HAS SOUPS 6114 WITH SCORE 6148.936
AT ITER 2607 NEW BEST:: SOT 49746 SOS 34833 HAS SOPS 34821 HAS SOUS 6121 HAS SOUPS 6114 WITH SCORE 6148.833
AT ITER 2620 NEW BEST:: SOT 49734 SOS 34821 HAS SOPS 34809 HAS SOUS 6121 HAS SOUPS 6114 WITH SCORE 6148.821
AT ITER 2624 NEW BEST:: SOT 49731 SOS 34831 HAS SOPS 34819 HAS SOUS 6120 HAS SOUPS 6113 WITH SCORE 6147.831
AT ITER 2671 NEW BEST:: SOT 49646 SOS 34747 HAS SOPS 34735 HAS SOUS 6014 HAS SOUPS 6007 WITH SCORE 6041.747
AT ITER 2672 NEW BEST:: SOT 49764 SOS 34868 HAS SOPS 34856 HAS SOUS 6007 HAS SOUPS 6000 WITH SCORE 6034.868
AT ITER 2719 NEW BEST:: SOT 49766 SOS 34612 HAS SOPS 34600 HAS SOUS 6007 HAS SOUPS 6000 WITH SCORE 6034.612
AT ITER 2725 NEW BEST:: SOT 50058 SOS 34908 HAS SOPS 34896 HAS SOUS 5993 HAS SOUPS 5986 WITH SCORE 6020.908
AT ITER 2726 NEW BEST:: SOT 50063 SOS 34916 HAS SOPS 34904 HAS SOUS 5980 HAS SOUPS 5973 WITH SCORE 6007.916
AT ITER 2739 NEW BEST:: SOT 50064 SOS 34898 HAS SOPS 34886 HAS SOUS 5977 HAS SOUPS 5970 WITH SCORE 6004.898
AT ITER 2781 NEW BEST:: SOT 50067 SOS 34890 HAS SOPS 34878 HAS SOUS 5973 HAS SOUPS 5966 WITH SCORE 6000.89
AT ITER 2805 NEW BEST:: SOT 50213 SOS 35044 HAS SOPS 35032 HAS SOUS 5972 HAS SOUPS 5965 WITH SCORE 6000.044
AT ITER 2823 NEW BEST:: SOT 50212 SOS 35045 HAS SOPS 35033 HAS SOUS 5971 HAS SOUPS 5964 WITH SCORE 5999.045
AT ITER 2976 NEW BEST:: SOT 50208 SOS 35037 HAS SOPS 35025 HAS SOUS 5963 HAS SOUPS 5956 WITH SCORE 5991.037
AT ITER 3029 NEW BEST:: SOT 50206 SOS 35035 HAS SOPS 35023 HAS SOUS 5963 HAS SOUPS 5956 WITH SCORE 5991.035
AT ITER 3084 NEW BEST:: SOT 50205 SOS 35033 HAS SOPS 35021 HAS SOUS 5962 HAS SOUPS 5955 WITH SCORE 5990.033
AT ITER 3179 NEW BEST:: SOT 50204 SOS 35049 HAS SOPS 35037 HAS SOUS 5960 HAS SOUPS 5953 WITH SCORE 5988.049
AT ITER 3199 NEW BEST:: SOT 50044 SOS 34887 HAS SOPS 34875 HAS SOUS 5935 HAS SOUPS 5928 WITH SCORE 5962.887
AT ITER 3252 NEW BEST:: SOT 50041 SOS 34881 HAS SOPS 34869 HAS SOUS 5927 HAS SOUPS 5920 WITH SCORE 5954.881
AT ITER 3284 NEW BEST:: SOT 50043 SOS 34161 HAS SOPS 33477 HAS SOUS 5926 HAS SOUPS 5919 WITH SCORE 5953.161
AT ITER 3297 NEW BEST:: SOT 50037 SOS 34149 HAS SOPS 34143 HAS SOUS 5923 HAS SOUPS 5919 WITH SCORE 5953.149
AT ITER 3345 NEW BEST:: SOT 50035 SOS 34147 HAS SOPS 34141 HAS SOUS 5921 HAS SOUPS 5917 WITH SCORE 5951.147
AT ITER 3363 NEW BEST:: SOT 50023 SOS 34129 HAS SOPS 34123 HAS SOUS 5915 HAS SOUPS 5911 WITH SCORE 5945.129
AT ITER 3441 NEW BEST:: SOT 50169 SOS 34273 HAS SOPS 34267 HAS SOUS 5846 HAS SOUPS 5842 WITH SCORE 5876.273
AT ITER 3467 NEW BEST:: SOT 50168 SOS 34170 HAS SOPS 34164 HAS SOUS 5837 HAS SOUPS 5833 WITH SCORE 5867.17
AT ITER 3537 NEW BEST:: SOT 50098 SOS 34099 HAS SOPS 34093 HAS SOUS 5768 HAS SOUPS 5764 WITH SCORE 5798.099
AT ITER 3609 NEW BEST:: SOT 50094 SOS 34095 HAS SOPS 34089 HAS SOUS 5676 HAS SOUPS 5672 WITH SCORE 5706.095
AT ITER 3645 NEW BEST:: SOT 50102 SOS 36507 HAS SOPS 34029 HAS SOUS 5678 HAS SOUPS 5662 WITH SCORE 5698.507
AT ITER 3682 NEW BEST:: SOT 50101 SOS 36505 HAS SOPS 34027 HAS SOUS 5677 HAS SOUPS 5661 WITH SCORE 5697.505
AT ITER 3722 NEW BEST:: SOT 50103 SOS 36505 HAS SOPS 34027 HAS SOUS 5672 HAS SOUPS 5656 WITH SCORE 5692.505
AT ITER 3753 NEW BEST:: SOT 50116 SOS 36543 HAS SOPS 34065 HAS SOUS 5665 HAS SOUPS 5649 WITH SCORE 5685.543
AT ITER 3776 NEW BEST:: SOT 50121 SOS 36548 HAS SOPS 34038 HAS SOUS 5660 HAS SOUPS 5644 WITH SCORE 5680.548
AT ITER 3841 NEW BEST:: SOT 50121 SOS 36546 HAS SOPS 34036 HAS SOUS 5658 HAS SOUPS 5642 WITH SCORE 5678.546
AT ITER 3866 NEW BEST:: SOT 50119 SOS 36536 HAS SOPS 34026 HAS SOUS 5652 HAS SOUPS 5636 WITH SCORE 5672.536
AT ITER 4035 NEW BEST:: SOT 50121 SOS 36536 HAS SOPS 34028 HAS SOUS 5635 HAS SOUPS 5620 WITH SCORE 5656.536
AT ITER 4072 NEW BEST:: SOT 50180 SOS 36596 HAS SOPS 34088 HAS SOUS 5568 HAS SOUPS 5553 WITH SCORE 5589.596
AT ITER 4079 NEW BEST:: SOT 50176 SOS 36588 HAS SOPS 35360 HAS SOUS 5560 HAS SOUPS 5545 WITH SCORE 5581.588
AT ITER 4110 NEW BEST:: SOT 50214 SOS 36574 HAS SOPS 35346 HAS SOUS 5515 HAS SOUPS 5500 WITH SCORE 5536.574
AT ITER 4146 NEW BEST:: SOT 50212 SOS 36568 HAS SOPS 35340 HAS SOUS 5511 HAS SOUPS 5496 WITH SCORE 5532.568
AT ITER 4162 NEW BEST:: SOT 50198 SOS 36554 HAS SOPS 35326 HAS SOUS 5504 HAS SOUPS 5489 WITH SCORE 5525.554
AT ITER 4185 NEW BEST:: SOT 50197 SOS 36555 HAS SOPS 35327 HAS SOUS 5503 HAS SOUPS 5488 WITH SCORE 5524.555
AT ITER 4292 NEW BEST:: SOT 50197 SOS 36541 HAS SOPS 35313 HAS SOUS 5503 HAS SOUPS 5488 WITH SCORE 5524.541
AT ITER 4326 NEW BEST:: SOT 50189 SOS 36525 HAS SOPS 36505 HAS SOUS 5499 HAS SOUPS 5488 WITH SCORE 5524.525
AT ITER 4428 NEW BEST:: SOT 50189 SOS 36519 HAS SOPS 36499 HAS SOUS 5499 HAS SOUPS 5488 WITH SCORE 5524.519
AT ITER 4455 NEW BEST:: SOT 50191 SOS 36507 HAS SOPS 36495 HAS SOUS 5493 HAS SOUPS 5486 WITH SCORE 5522.507
AT ITER 4466 NEW BEST:: SOT 50190 SOS 36505 HAS SOPS 36493 HAS SOUS 5493 HAS SOUPS 5486 WITH SCORE 5522.505
AT ITER 4470 NEW BEST:: SOT 50190 SOS 36507 HAS SOPS 36495 HAS SOUS 5479 HAS SOUPS 5472 WITH SCORE 5508.507
AT ITER 4476 NEW BEST:: SOT 50188 SOS 36501 HAS SOPS 36493 HAS SOUS 5475 HAS SOUPS 5470 WITH SCORE 5506.501
AT ITER 4497 NEW BEST:: SOT 50150 SOS 36469 HAS SOPS 36439 HAS SOUS 5465 HAS SOUPS 5449 WITH SCORE 5485.469
AT ITER 4508 NEW BEST:: SOT 50151 SOS 36469 HAS SOPS 36439 HAS SOUS 5464 HAS SOUPS 5448 WITH SCORE 5484.469
AT ITER 4587 NEW BEST:: SOT 50151 SOS 36472 HAS SOPS 36442 HAS SOUS 5460 HAS SOUPS 5444 WITH SCORE 5480.472
AT ITER 4683 NEW BEST:: SOT 50151 SOS 36472 HAS SOPS 36442 HAS SOUS 5458 HAS SOUPS 5442 WITH SCORE 5478.472
AT ITER 4688 NEW BEST:: SOT 50136 SOS 36459 HAS SOPS 36429 HAS SOUS 5452 HAS SOUPS 5436 WITH SCORE 5472.459
AT ITER 4723 NEW BEST:: SOT 50135 SOS 36456 HAS SOPS 36426 HAS SOUS 5450 HAS SOUPS 5434 WITH SCORE 5470.456
AT ITER 4783 NEW BEST:: SOT 50054 SOS 36376 HAS SOPS 36346 HAS SOUS 5314 HAS SOUPS 5298 WITH SCORE 5334.376
AT ITER 4881 NEW BEST:: SOT 50053 SOS 36376 HAS SOPS 36346 HAS SOUS 5313 HAS SOUPS 5297 WITH SCORE 5333.376
AT ITER 5017 NEW BEST:: SOT 50054 SOS 36359 HAS SOPS 36329 HAS SOUS 5312 HAS SOUPS 5296 WITH SCORE 5332.359
AT ITER 5022 NEW BEST:: SOT 50057 SOS 35197 HAS SOPS 35167 HAS SOUS 5310 HAS SOUPS 5294 WITH SCORE 5329.197
AT ITER 5043 NEW BEST:: SOT 49978 SOS 35118 HAS SOPS 35088 HAS SOUS 5206 HAS SOUPS 5190 WITH SCORE 5225.118
AT ITER 5183 NEW BEST:: SOT 49985 SOS 35309 HAS SOPS 35279 HAS SOUS 5205 HAS SOUPS 5189 WITH SCORE 5224.309
AT ITER 5243 NEW BEST:: SOT 49984 SOS 35290 HAS SOPS 35260 HAS SOUS 5203 HAS SOUPS 5187 WITH SCORE 5222.29
AT ITER 5255 NEW BEST:: SOT 49983 SOS 35290 HAS SOPS 35260 HAS SOUS 5194 HAS SOUPS 5178 WITH SCORE 5213.29
AT ITER 5289 NEW BEST:: SOT 49985 SOS 35278 HAS SOPS 35248 HAS SOUS 5194 HAS SOUPS 5178 WITH SCORE 5213.278
AT ITER 5317 NEW BEST:: SOT 49983 SOS 35280 HAS SOPS 35250 HAS SOUS 5189 HAS SOUPS 5173 WITH SCORE 5208.28
AT ITER 5509 NEW BEST:: SOT 49983 SOS 35279 HAS SOPS 35249 HAS SOUS 5189 HAS SOUPS 5173 WITH SCORE 5208.279
AT ITER 5558 NEW BEST:: SOT 50001 SOS 35291 HAS SOPS 35273 HAS SOUS 5163 HAS SOUPS 5153 WITH SCORE 5188.291
AT ITER 5693 NEW BEST:: SOT 50001 SOS 35290 HAS SOPS 35272 HAS SOUS 5162 HAS SOUPS 5152 WITH SCORE 5187.29
AT ITER 5869 NEW BEST:: SOT 49995 SOS 35272 HAS SOPS 35254 HAS SOUS 5159 HAS SOUPS 5149 WITH SCORE 5184.272
AT ITER 5960 NEW BEST:: SOT 49995 SOS 35274 HAS SOPS 35256 HAS SOUS 5129 HAS SOUPS 5119 WITH SCORE 5154.274
AT ITER 5990 NEW BEST:: SOT 49996 SOS 35273 HAS SOPS 35255 HAS SOUS 5129 HAS SOUPS 5119 WITH SCORE 5154.273
AT ITER 6066 NEW BEST:: SOT 49995 SOS 35272 HAS SOPS 35254 HAS SOUS 5129 HAS SOUPS 5119 WITH SCORE 5154.272
AT ITER 6135 NEW BEST:: SOT 49993 SOS 35268 HAS SOPS 35252 HAS SOUS 5128 HAS SOUPS 5119 WITH SCORE 5154.268
AT ITER 6243 NEW BEST:: SOT 49995 SOS 35270 HAS SOPS 35254 HAS SOUS 5097 HAS SOUPS 5088 WITH SCORE 5123.27
AT ITER 6288 NEW BEST:: SOT 49997 SOS 35270 HAS SOPS 35250 HAS SOUS 5097 HAS SOUPS 5086 WITH SCORE 5121.27
AT ITER 6466 NEW BEST:: SOT 49992 SOS 35267 HAS SOPS 35247 HAS SOUS 5094 HAS SOUPS 5083 WITH SCORE 5118.267
AT ITER 6530 NEW BEST:: SOT 49642 SOS 34912 HAS SOPS 34892 HAS SOUS 4914 HAS SOUPS 4903 WITH SCORE 4937.912
AT ITER 6537 NEW BEST:: SOT 49640 SOS 34910 HAS SOPS 34890 HAS SOUS 4912 HAS SOUPS 4901 WITH SCORE 4935.91
AT ITER 6643 NEW BEST:: SOT 49637 SOS 34907 HAS SOPS 34887 HAS SOUS 4911 HAS SOUPS 4900 WITH SCORE 4934.907
AT ITER 6704 NEW BEST:: SOT 49638 SOS 34906 HAS SOPS 34886 HAS SOUS 4906 HAS SOUPS 4895 WITH SCORE 4929.906
AT ITER 7152 NEW BEST:: SOT 49596 SOS 34865 HAS SOPS 34845 HAS SOUS 4887 HAS SOUPS 4876 WITH SCORE 4910.865
AT ITER 7826 NEW BEST:: SOT 49595 SOS 34861 HAS SOPS 34841 HAS SOUS 4887 HAS SOUPS 4876 WITH SCORE 4910.861
AT ITER 8090 NEW BEST:: SOT 49593 SOS 34859 HAS SOPS 34837 HAS SOUS 4887 HAS SOUPS 4875 WITH SCORE 4909.859
AT ITER 8487 NEW BEST:: SOT 49588 SOS 34855 HAS SOPS 34833 HAS SOUS 4883 HAS SOUPS 4871 WITH SCORE 4905.855
AT ITER 8588 NEW BEST:: SOT 49509 SOS 34777 HAS SOPS 34755 HAS SOUS 4748 HAS SOUPS 4736 WITH SCORE 4770.777
AT ITER 9003 NEW BEST:: SOT 49509 SOS 34775 HAS SOPS 34753 HAS SOUS 4746 HAS SOUPS 4734 WITH SCORE 4768.775
AT ITER 9265 NEW BEST:: SOT 49509 SOS 34758 HAS SOPS 34736 HAS SOUS 4746 HAS SOUPS 4734 WITH SCORE 4768.758
AT ITER 9279 NEW BEST:: SOT 49509 SOS 34754 HAS SOPS 34732 HAS SOUS 4746 HAS SOUPS 4734 WITH SCORE 4768.754
AT ITER 9428 NEW BEST:: SOT 49509 SOS 34737 HAS SOPS 34715 HAS SOUS 4745 HAS SOUPS 4733 WITH SCORE 4767.737
AT ITER 9674 NEW BEST:: SOT 49508 SOS 34735 HAS SOPS 34713 HAS SOUS 4745 HAS SOUPS 4733 WITH SCORE 4767.735
STATE_SPACE STATES 992718112 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 12748523849 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678741315075

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="AutonomousCar-PT-08a"
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 AutonomousCar-PT-08a, 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 r011-oct2-167813600500648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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