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.r299-tall-167873953600872.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 QuasiCertifProtocol-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953600872
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 860K
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 01:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 37K Feb 26 01:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 300K Feb 26 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 01:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 78K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679559383902

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=QuasiCertifProtocol-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:16:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:16:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:16:25] [INFO ] Load time of PNML (sax parser for PT used): 42 ms
[2023-03-23 08:16:25] [INFO ] Transformed 270 places.
[2023-03-23 08:16:25] [INFO ] Transformed 116 transitions.
[2023-03-23 08:16:25] [INFO ] Parsed PT model containing 270 places and 116 transitions and 659 arcs in 100 ms.
[2023-03-23 08:16:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 270 places, 116 transitions and 659 arcs took 4 ms.
Total runtime 133 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 06
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: 270 places, 116 transitions, 659 arcs.
AT ITER 0 NEW BEST:: SOT 19488 SOS 12361 HAS SOPS 12361 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10044.361
AT ITER 3 NEW BEST:: SOT 19488 SOS 12340 HAS SOPS 12340 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9928.34
AT ITER 17 NEW BEST:: SOT 19443 SOS 12345 HAS SOPS 12345 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9927.345
AT ITER 28 NEW BEST:: SOT 19416 SOS 12318 HAS SOPS 12318 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9895.318
AT ITER 47 NEW BEST:: SOT 19403 SOS 12305 HAS SOPS 12305 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9882.305
AT ITER 55 NEW BEST:: SOT 19405 SOS 12305 HAS SOPS 12305 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9881.305
AT ITER 57 NEW BEST:: SOT 19405 SOS 12301 HAS SOPS 12301 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9877.301
AT ITER 64 NEW BEST:: SOT 19405 SOS 12293 HAS SOPS 12293 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9868.293
AT ITER 69 NEW BEST:: SOT 19358 SOS 12246 HAS SOPS 12246 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9821.246
AT ITER 85 NEW BEST:: SOT 19022 SOS 11920 HAS SOPS 11920 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9544.92
AT ITER 88 NEW BEST:: SOT 19021 SOS 11919 HAS SOPS 11919 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9543.919
AT ITER 89 NEW BEST:: SOT 19009 SOS 11898 HAS SOPS 11898 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9538.898
AT ITER 97 NEW BEST:: SOT 19009 SOS 11832 HAS SOPS 11832 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9510.832
AT ITER 98 NEW BEST:: SOT 19035 SOS 11855 HAS SOPS 11855 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9507.855
AT ITER 99 NEW BEST:: SOT 19035 SOS 11849 HAS SOPS 11849 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9507.849
AT ITER 129 NEW BEST:: SOT 19035 SOS 11720 HAS SOPS 11720 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9458.72
AT ITER 144 NEW BEST:: SOT 19035 SOS 11719 HAS SOPS 11719 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9457.719
AT ITER 147 NEW BEST:: SOT 19035 SOS 11696 HAS SOPS 11696 HAS SOUS 9436 HAS SOUPS 9436 WITH SCORE 9447.696
AT ITER 161 NEW BEST:: SOT 19074 SOS 11719 HAS SOPS 11719 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9431.719
AT ITER 162 NEW BEST:: SOT 15918 SOS 9559 HAS SOPS 9559 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6944.559
AT ITER 174 NEW BEST:: SOT 15926 SOS 9489 HAS SOPS 9489 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6772.489
AT ITER 191 NEW BEST:: SOT 15926 SOS 9473 HAS SOPS 9473 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6756.473
AT ITER 199 NEW BEST:: SOT 15908 SOS 9455 HAS SOPS 9455 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6755.455
AT ITER 207 NEW BEST:: SOT 15898 SOS 9445 HAS SOPS 9445 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6745.445
AT ITER 218 NEW BEST:: SOT 15898 SOS 9438 HAS SOPS 9438 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6738.438
AT ITER 221 NEW BEST:: SOT 15898 SOS 9428 HAS SOPS 9428 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6728.428
AT ITER 245 NEW BEST:: SOT 15411 SOS 8935 HAS SOPS 8935 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6238.935
AT ITER 251 NEW BEST:: SOT 15456 SOS 8945 HAS SOPS 8945 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6203.945
AT ITER 286 NEW BEST:: SOT 15456 SOS 8933 HAS SOPS 8933 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6191.933
AT ITER 287 NEW BEST:: SOT 15500 SOS 8951 HAS SOPS 8951 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6165.951
AT ITER 308 NEW BEST:: SOT 15503 SOS 8949 HAS SOPS 8949 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6163.949
AT ITER 341 NEW BEST:: SOT 15523 SOS 8949 HAS SOPS 8949 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6143.949
AT ITER 352 NEW BEST:: SOT 15522 SOS 8948 HAS SOPS 8948 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6142.948
AT ITER 378 NEW BEST:: SOT 15553 SOS 8948 HAS SOPS 8948 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6111.948
AT ITER 421 NEW BEST:: SOT 15476 SOS 8853 HAS SOPS 8853 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6059.853
AT ITER 428 NEW BEST:: SOT 15443 SOS 8820 HAS SOPS 8820 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6026.82
AT ITER 440 NEW BEST:: SOT 15447 SOS 8819 HAS SOPS 8819 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5982.819
AT ITER 520 NEW BEST:: SOT 15441 SOS 8813 HAS SOPS 8813 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5976.813
AT ITER 530 NEW BEST:: SOT 15418 SOS 8782 HAS SOPS 8782 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5963.782
AT ITER 567 NEW BEST:: SOT 15417 SOS 8781 HAS SOPS 8781 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5962.781
AT ITER 584 NEW BEST:: SOT 15397 SOS 8761 HAS SOPS 8761 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5942.761
AT ITER 604 NEW BEST:: SOT 15396 SOS 8760 HAS SOPS 8760 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5941.76
AT ITER 618 NEW BEST:: SOT 15390 SOS 8754 HAS SOPS 8754 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5935.754
AT ITER 621 NEW BEST:: SOT 15383 SOS 8747 HAS SOPS 8747 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5928.747
AT ITER 627 NEW BEST:: SOT 15378 SOS 8744 HAS SOPS 8744 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5925.744
AT ITER 628 NEW BEST:: SOT 15382 SOS 8743 HAS SOPS 8743 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5924.743
AT ITER 632 NEW BEST:: SOT 15382 SOS 8742 HAS SOPS 8742 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5923.742
AT ITER 660 NEW BEST:: SOT 15343 SOS 8683 HAS SOPS 8683 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5884.683
AT ITER 661 NEW BEST:: SOT 15343 SOS 8674 HAS SOPS 8674 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5875.674
AT ITER 683 NEW BEST:: SOT 15365 SOS 8674 HAS SOPS 8674 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5853.674
AT ITER 713 NEW BEST:: SOT 15365 SOS 8670 HAS SOPS 8670 HAS SOUS 5841 HAS SOUPS 5841 WITH SCORE 5849.67
AT ITER 717 NEW BEST:: SOT 15362 SOS 8667 HAS SOPS 8667 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5846.667
AT ITER 765 NEW BEST:: SOT 15362 SOS 8648 HAS SOPS 8648 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5846.648
AT ITER 825 NEW BEST:: SOT 15359 SOS 8645 HAS SOPS 8645 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5843.645
AT ITER 863 NEW BEST:: SOT 15313 SOS 8595 HAS SOPS 8595 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5816.595
AT ITER 881 NEW BEST:: SOT 15302 SOS 8575 HAS SOPS 8575 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5796.575
AT ITER 893 NEW BEST:: SOT 15283 SOS 8556 HAS SOPS 8556 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5777.556
AT ITER 960 NEW BEST:: SOT 15328 SOS 8550 HAS SOPS 8550 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5726.55
AT ITER 961 NEW BEST:: SOT 15343 SOS 8557 HAS SOPS 8557 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5723.557
AT ITER 970 NEW BEST:: SOT 15370 SOS 8557 HAS SOPS 8557 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5696.557
AT ITER 974 NEW BEST:: SOT 15370 SOS 8554 HAS SOPS 8554 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5693.554
AT ITER 981 NEW BEST:: SOT 15361 SOS 8544 HAS SOPS 8544 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5683.544
AT ITER 991 NEW BEST:: SOT 15349 SOS 8529 HAS SOPS 8529 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5674.529
AT ITER 1005 NEW BEST:: SOT 15336 SOS 8516 HAS SOPS 8516 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5669.516
AT ITER 1051 NEW BEST:: SOT 15336 SOS 8506 HAS SOPS 8506 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5659.506
AT ITER 1058 NEW BEST:: SOT 15439 SOS 8609 HAS SOPS 8609 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5654.609
AT ITER 1065 NEW BEST:: SOT 15439 SOS 8607 HAS SOPS 8607 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5652.607
AT ITER 1081 NEW BEST:: SOT 15584 SOS 8713 HAS SOPS 8713 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5641.713
AT ITER 1086 NEW BEST:: SOT 15584 SOS 8711 HAS SOPS 8711 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5639.711
AT ITER 1095 NEW BEST:: SOT 15552 SOS 8679 HAS SOPS 8679 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5623.679
AT ITER 1151 NEW BEST:: SOT 15552 SOS 8678 HAS SOPS 8678 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5622.678
AT ITER 1179 NEW BEST:: SOT 15552 SOS 8633 HAS SOPS 8633 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5577.633
AT ITER 1201 NEW BEST:: SOT 15552 SOS 8630 HAS SOPS 8630 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5574.63
AT ITER 1224 NEW BEST:: SOT 15552 SOS 8626 HAS SOPS 8626 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5570.626
AT ITER 1260 NEW BEST:: SOT 15552 SOS 8625 HAS SOPS 8625 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5569.625
AT ITER 1268 NEW BEST:: SOT 15552 SOS 8606 HAS SOPS 8606 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5550.606
AT ITER 1306 NEW BEST:: SOT 15364 SOS 8414 HAS SOPS 8414 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5358.414
AT ITER 1308 NEW BEST:: SOT 15349 SOS 8382 HAS SOPS 8382 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5335.382
AT ITER 1322 NEW BEST:: SOT 15348 SOS 8381 HAS SOPS 8381 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5334.381
AT ITER 1361 NEW BEST:: SOT 15347 SOS 8380 HAS SOPS 8380 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5333.38
AT ITER 1380 NEW BEST:: SOT 15326 SOS 8356 HAS SOPS 8356 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5309.356
AT ITER 1384 NEW BEST:: SOT 15326 SOS 8354 HAS SOPS 8354 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5307.354
AT ITER 1387 NEW BEST:: SOT 15321 SOS 8344 HAS SOPS 8344 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5297.344
AT ITER 1415 NEW BEST:: SOT 15321 SOS 8333 HAS SOPS 8333 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5286.333
AT ITER 1437 NEW BEST:: SOT 15324 SOS 8327 HAS SOPS 8327 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5280.327
AT ITER 1460 NEW BEST:: SOT 15317 SOS 8321 HAS SOPS 8321 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5274.321
AT ITER 1494 NEW BEST:: SOT 15251 SOS 8203 HAS SOPS 8203 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5192.203
AT ITER 1496 NEW BEST:: SOT 15251 SOS 8198 HAS SOPS 8198 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5187.198
AT ITER 1499 NEW BEST:: SOT 15237 SOS 8184 HAS SOPS 8184 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5173.184
AT ITER 1513 NEW BEST:: SOT 15237 SOS 8158 HAS SOPS 8158 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5147.158
AT ITER 1533 NEW BEST:: SOT 15236 SOS 8156 HAS SOPS 8156 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5146.156
AT ITER 1557 NEW BEST:: SOT 15236 SOS 8151 HAS SOPS 8151 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5141.151
AT ITER 1588 NEW BEST:: SOT 15236 SOS 8148 HAS SOPS 8148 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5138.148
AT ITER 1596 NEW BEST:: SOT 15292 SOS 8165 HAS SOPS 8165 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5116.165
AT ITER 1686 NEW BEST:: SOT 15269 SOS 8136 HAS SOPS 8136 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5099.136
AT ITER 1721 NEW BEST:: SOT 15224 SOS 8091 HAS SOPS 8091 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5054.091
AT ITER 1751 NEW BEST:: SOT 15197 SOS 8064 HAS SOPS 8064 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5047.064
AT ITER 1757 NEW BEST:: SOT 15197 SOS 8057 HAS SOPS 8057 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5040.057
AT ITER 1766 NEW BEST:: SOT 15197 SOS 8052 HAS SOPS 8052 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5035.052
AT ITER 1826 NEW BEST:: SOT 15206 SOS 8053 HAS SOPS 8053 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5028.053
AT ITER 1856 NEW BEST:: SOT 15204 SOS 8051 HAS SOPS 8051 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5026.051
AT ITER 1857 NEW BEST:: SOT 15169 SOS 8016 HAS SOPS 8016 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5026.016
AT ITER 1864 NEW BEST:: SOT 15157 SOS 8009 HAS SOPS 8009 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5019.009
AT ITER 1911 NEW BEST:: SOT 15161 SOS 8009 HAS SOPS 8009 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5015.009
AT ITER 1940 NEW BEST:: SOT 15161 SOS 8004 HAS SOPS 8004 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5010.004
AT ITER 1941 NEW BEST:: SOT 15161 SOS 8002 HAS SOPS 8002 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5008.002
AT ITER 1964 NEW BEST:: SOT 15157 SOS 7998 HAS SOPS 7998 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5003.998
AT ITER 1985 NEW BEST:: SOT 15136 SOS 7977 HAS SOPS 7977 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5003.977
AT ITER 1992 NEW BEST:: SOT 15096 SOS 7955 HAS SOPS 7955 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5001.955
AT ITER 1993 NEW BEST:: SOT 15079 SOS 7938 HAS SOPS 7938 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4984.938
AT ITER 2024 NEW BEST:: SOT 15053 SOS 7918 HAS SOPS 7918 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4977.918
AT ITER 2025 NEW BEST:: SOT 15049 SOS 7914 HAS SOPS 7914 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4973.914
AT ITER 2030 NEW BEST:: SOT 15074 SOS 7926 HAS SOPS 7926 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4960.926
AT ITER 2115 NEW BEST:: SOT 15116 SOS 7966 HAS SOPS 7966 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4958.966
AT ITER 2141 NEW BEST:: SOT 15115 SOS 7965 HAS SOPS 7965 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4957.965
AT ITER 2149 NEW BEST:: SOT 15115 SOS 7964 HAS SOPS 7964 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.964
AT ITER 2155 NEW BEST:: SOT 15106 SOS 7955 HAS SOPS 7955 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.955
AT ITER 2188 NEW BEST:: SOT 15104 SOS 7952 HAS SOPS 7952 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4953.952
AT ITER 2199 NEW BEST:: SOT 15099 SOS 7947 HAS SOPS 7947 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4948.947
AT ITER 2213 NEW BEST:: SOT 15092 SOS 7940 HAS SOPS 7940 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4941.94
AT ITER 2232 NEW BEST:: SOT 15094 SOS 7938 HAS SOPS 7938 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4939.938
AT ITER 2237 NEW BEST:: SOT 15093 SOS 7937 HAS SOPS 7937 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4938.937
AT ITER 2241 NEW BEST:: SOT 15082 SOS 7926 HAS SOPS 7926 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4927.926
AT ITER 2252 NEW BEST:: SOT 15082 SOS 7906 HAS SOPS 7906 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4907.906
AT ITER 2258 NEW BEST:: SOT 15058 SOS 7882 HAS SOPS 7882 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4897.882
AT ITER 2267 NEW BEST:: SOT 15058 SOS 7879 HAS SOPS 7879 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4894.879
AT ITER 2287 NEW BEST:: SOT 15058 SOS 7878 HAS SOPS 7878 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4893.878
AT ITER 2323 NEW BEST:: SOT 15046 SOS 7860 HAS SOPS 7860 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4891.86
AT ITER 2372 NEW BEST:: SOT 15075 SOS 7886 HAS SOPS 7886 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4888.886
AT ITER 2387 NEW BEST:: SOT 15082 SOS 7883 HAS SOPS 7883 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4885.883
AT ITER 2421 NEW BEST:: SOT 15120 SOS 7901 HAS SOPS 7901 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4883.901
AT ITER 2433 NEW BEST:: SOT 15111 SOS 7892 HAS SOPS 7892 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4883.892
AT ITER 2443 NEW BEST:: SOT 15109 SOS 7890 HAS SOPS 7890 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4881.89
AT ITER 2461 NEW BEST:: SOT 15109 SOS 7884 HAS SOPS 7884 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4875.884
AT ITER 2477 NEW BEST:: SOT 15101 SOS 7878 HAS SOPS 7878 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4869.878
AT ITER 2501 NEW BEST:: SOT 15101 SOS 7877 HAS SOPS 7877 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4867.877
AT ITER 2517 NEW BEST:: SOT 15149 SOS 7893 HAS SOPS 7893 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4829.893
AT ITER 2527 NEW BEST:: SOT 15157 SOS 7893 HAS SOPS 7893 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4821.893
AT ITER 2554 NEW BEST:: SOT 15157 SOS 7892 HAS SOPS 7892 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4820.892
AT ITER 2595 NEW BEST:: SOT 15135 SOS 7872 HAS SOPS 7872 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4811.872
AT ITER 2636 NEW BEST:: SOT 15113 SOS 7850 HAS SOPS 7850 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4807.85
AT ITER 2663 NEW BEST:: SOT 15104 SOS 7843 HAS SOPS 7843 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4806.843
AT ITER 2696 NEW BEST:: SOT 15104 SOS 7837 HAS SOPS 7837 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4800.837
AT ITER 2733 NEW BEST:: SOT 15099 SOS 7832 HAS SOPS 7832 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4800.832
AT ITER 2741 NEW BEST:: SOT 15094 SOS 7827 HAS SOPS 7827 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4795.827
AT ITER 2753 NEW BEST:: SOT 15094 SOS 7825 HAS SOPS 7825 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4793.825
AT ITER 2759 NEW BEST:: SOT 15110 SOS 7825 HAS SOPS 7825 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4777.825
AT ITER 2765 NEW BEST:: SOT 15148 SOS 7863 HAS SOPS 7863 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4773.863
AT ITER 2771 NEW BEST:: SOT 15148 SOS 7848 HAS SOPS 7848 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4758.848
AT ITER 2846 NEW BEST:: SOT 15114 SOS 7821 HAS SOPS 7821 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4748.821
AT ITER 2860 NEW BEST:: SOT 15114 SOS 7820 HAS SOPS 7820 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.82
AT ITER 2871 NEW BEST:: SOT 15114 SOS 7813 HAS SOPS 7813 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4740.813
AT ITER 2878 NEW BEST:: SOT 15109 SOS 7809 HAS SOPS 7809 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4736.809
AT ITER 2885 NEW BEST:: SOT 15109 SOS 7808 HAS SOPS 7808 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4735.808
AT ITER 3003 NEW BEST:: SOT 15108 SOS 7807 HAS SOPS 7807 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4735.807
AT ITER 3032 NEW BEST:: SOT 15100 SOS 7799 HAS SOPS 7799 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4727.799
AT ITER 3093 NEW BEST:: SOT 15086 SOS 7784 HAS SOPS 7784 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4719.784
AT ITER 3157 NEW BEST:: SOT 15080 SOS 7778 HAS SOPS 7778 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.778
AT ITER 3166 NEW BEST:: SOT 15068 SOS 7766 HAS SOPS 7766 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.766
AT ITER 3173 NEW BEST:: SOT 15043 SOS 7761 HAS SOPS 7761 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4708.761
AT ITER 3175 NEW BEST:: SOT 15033 SOS 7741 HAS SOPS 7741 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4698.741
AT ITER 3242 NEW BEST:: SOT 15033 SOS 7737 HAS SOPS 7737 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4694.737
AT ITER 3364 NEW BEST:: SOT 15030 SOS 7734 HAS SOPS 7734 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4691.734
AT ITER 3417 NEW BEST:: SOT 15030 SOS 7732 HAS SOPS 7732 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4689.732
AT ITER 3450 NEW BEST:: SOT 15029 SOS 7731 HAS SOPS 7731 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4688.731
AT ITER 3528 NEW BEST:: SOT 15029 SOS 7727 HAS SOPS 7727 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4684.727
AT ITER 3552 NEW BEST:: SOT 15026 SOS 7721 HAS SOPS 7721 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4681.721
AT ITER 3580 NEW BEST:: SOT 15025 SOS 7720 HAS SOPS 7720 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4680.72
AT ITER 3616 NEW BEST:: SOT 15025 SOS 7718 HAS SOPS 7718 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4678.718
AT ITER 3654 NEW BEST:: SOT 15017 SOS 7710 HAS SOPS 7710 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4670.71
AT ITER 3714 NEW BEST:: SOT 15017 SOS 7708 HAS SOPS 7708 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4668.708
AT ITER 3724 NEW BEST:: SOT 15011 SOS 7702 HAS SOPS 7702 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4662.702
AT ITER 3758 NEW BEST:: SOT 15011 SOS 7701 HAS SOPS 7701 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4661.701
AT ITER 3769 NEW BEST:: SOT 15011 SOS 7699 HAS SOPS 7699 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4659.699
AT ITER 3771 NEW BEST:: SOT 15034 SOS 7717 HAS SOPS 7717 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4654.717
AT ITER 3783 NEW BEST:: SOT 15031 SOS 7714 HAS SOPS 7714 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4651.714
AT ITER 3790 NEW BEST:: SOT 15026 SOS 7709 HAS SOPS 7709 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4646.709
AT ITER 3857 NEW BEST:: SOT 15018 SOS 7701 HAS SOPS 7701 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4638.701
AT ITER 3867 NEW BEST:: SOT 15039 SOS 7708 HAS SOPS 7708 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4631.708
AT ITER 3901 NEW BEST:: SOT 15038 SOS 7707 HAS SOPS 7707 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4630.707
AT ITER 3908 NEW BEST:: SOT 15006 SOS 7675 HAS SOPS 7675 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4630.675
AT ITER 3911 NEW BEST:: SOT 15000 SOS 7669 HAS SOPS 7669 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4624.669
AT ITER 3945 NEW BEST:: SOT 15000 SOS 7668 HAS SOPS 7668 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4623.668
AT ITER 4048 NEW BEST:: SOT 14992 SOS 7660 HAS SOPS 7660 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4623.66
AT ITER 4071 NEW BEST:: SOT 15006 SOS 7654 HAS SOPS 7654 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.654
AT ITER 4113 NEW BEST:: SOT 15002 SOS 7650 HAS SOPS 7650 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4613.65
AT ITER 4139 NEW BEST:: SOT 15002 SOS 7644 HAS SOPS 7644 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4607.644
AT ITER 4174 NEW BEST:: SOT 15009 SOS 7644 HAS SOPS 7644 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4599.644
AT ITER 4272 NEW BEST:: SOT 15009 SOS 7641 HAS SOPS 7641 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4596.641
AT ITER 4285 NEW BEST:: SOT 15009 SOS 7637 HAS SOPS 7637 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4592.637
AT ITER 4289 NEW BEST:: SOT 15009 SOS 7636 HAS SOPS 7636 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4591.636
AT ITER 4291 NEW BEST:: SOT 14989 SOS 7616 HAS SOPS 7616 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4585.616
AT ITER 4303 NEW BEST:: SOT 14959 SOS 7601 HAS SOPS 7601 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4585.601
AT ITER 4315 NEW BEST:: SOT 14959 SOS 7599 HAS SOPS 7599 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4583.599
AT ITER 4331 NEW BEST:: SOT 14958 SOS 7597 HAS SOPS 7597 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4582.597
AT ITER 4349 NEW BEST:: SOT 14957 SOS 7596 HAS SOPS 7596 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4581.596
AT ITER 4357 NEW BEST:: SOT 14956 SOS 7595 HAS SOPS 7595 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4580.595
AT ITER 4385 NEW BEST:: SOT 14930 SOS 7562 HAS SOPS 7562 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4560.562
AT ITER 4388 NEW BEST:: SOT 14930 SOS 7561 HAS SOPS 7561 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4559.561
AT ITER 4463 NEW BEST:: SOT 14930 SOS 7560 HAS SOPS 7560 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4558.56
AT ITER 4465 NEW BEST:: SOT 14931 SOS 7556 HAS SOPS 7556 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4554.556
AT ITER 4466 NEW BEST:: SOT 14927 SOS 7552 HAS SOPS 7552 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4550.552
AT ITER 4690 NEW BEST:: SOT 14927 SOS 7551 HAS SOPS 7551 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4549.551
AT ITER 4695 NEW BEST:: SOT 14924 SOS 7548 HAS SOPS 7548 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4546.548
AT ITER 4761 NEW BEST:: SOT 14924 SOS 7546 HAS SOPS 7546 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4544.546
AT ITER 4762 NEW BEST:: SOT 14918 SOS 7540 HAS SOPS 7540 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4541.54
AT ITER 4764 NEW BEST:: SOT 14918 SOS 7539 HAS SOPS 7539 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4540.539
AT ITER 4825 NEW BEST:: SOT 14918 SOS 7533 HAS SOPS 7533 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4534.533
AT ITER 4842 NEW BEST:: SOT 14925 SOS 7535 HAS SOPS 7535 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4529.535
AT ITER 4848 NEW BEST:: SOT 14925 SOS 7533 HAS SOPS 7533 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4527.533
AT ITER 4853 NEW BEST:: SOT 14911 SOS 7526 HAS SOPS 7526 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4527.526
AT ITER 4860 NEW BEST:: SOT 14909 SOS 7524 HAS SOPS 7524 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4525.524
AT ITER 4877 NEW BEST:: SOT 14909 SOS 7519 HAS SOPS 7519 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4520.519
AT ITER 4882 NEW BEST:: SOT 14908 SOS 7518 HAS SOPS 7518 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4519.518
AT ITER 4899 NEW BEST:: SOT 14906 SOS 7517 HAS SOPS 7517 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4518.517
AT ITER 4920 NEW BEST:: SOT 14918 SOS 7528 HAS SOPS 7528 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4517.528
AT ITER 4936 NEW BEST:: SOT 14945 SOS 7541 HAS SOPS 7541 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4516.541
AT ITER 4947 NEW BEST:: SOT 14942 SOS 7538 HAS SOPS 7538 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4513.538
AT ITER 4998 NEW BEST:: SOT 14935 SOS 7531 HAS SOPS 7531 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4506.531
AT ITER 5056 NEW BEST:: SOT 14935 SOS 7528 HAS SOPS 7528 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4503.528
AT ITER 5061 NEW BEST:: SOT 14935 SOS 7527 HAS SOPS 7527 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4502.527
AT ITER 5107 NEW BEST:: SOT 14935 SOS 7524 HAS SOPS 7524 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4499.524
AT ITER 5137 NEW BEST:: SOT 14913 SOS 7512 HAS SOPS 7512 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4498.512
AT ITER 5182 NEW BEST:: SOT 14906 SOS 7505 HAS SOPS 7505 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4498.505
AT ITER 5255 NEW BEST:: SOT 14903 SOS 7502 HAS SOPS 7502 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4498.502
AT ITER 5312 NEW BEST:: SOT 14903 SOS 7500 HAS SOPS 7500 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4496.5
AT ITER 5442 NEW BEST:: SOT 14861 SOS 7462 HAS SOPS 7462 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4479.462
AT ITER 5448 NEW BEST:: SOT 14860 SOS 7461 HAS SOPS 7461 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4478.461
AT ITER 5528 NEW BEST:: SOT 14843 SOS 7439 HAS SOPS 7439 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4473.439
AT ITER 5540 NEW BEST:: SOT 14843 SOS 7438 HAS SOPS 7438 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4472.438
AT ITER 5660 NEW BEST:: SOT 14830 SOS 7425 HAS SOPS 7425 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4472.425
AT ITER 5681 NEW BEST:: SOT 14830 SOS 7423 HAS SOPS 7423 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4470.423
AT ITER 5691 NEW BEST:: SOT 14834 SOS 7418 HAS SOPS 7418 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4465.418
AT ITER 5698 NEW BEST:: SOT 14824 SOS 7408 HAS SOPS 7408 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4455.408
AT ITER 5711 NEW BEST:: SOT 14824 SOS 7401 HAS SOPS 7401 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4448.401
AT ITER 5817 NEW BEST:: SOT 14824 SOS 7396 HAS SOPS 7396 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4443.396
AT ITER 5821 NEW BEST:: SOT 14824 SOS 7389 HAS SOPS 7389 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4436.389
AT ITER 5915 NEW BEST:: SOT 14821 SOS 7386 HAS SOPS 7386 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4433.386
AT ITER 5952 NEW BEST:: SOT 14817 SOS 7384 HAS SOPS 7384 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4431.384
AT ITER 6036 NEW BEST:: SOT 14804 SOS 7371 HAS SOPS 7371 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4418.371
AT ITER 6043 NEW BEST:: SOT 14804 SOS 7361 HAS SOPS 7361 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4408.361
AT ITER 6257 NEW BEST:: SOT 14796 SOS 7353 HAS SOPS 7353 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4404.353
AT ITER 6292 NEW BEST:: SOT 14836 SOS 7388 HAS SOPS 7388 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4399.388
AT ITER 6382 NEW BEST:: SOT 14834 SOS 7386 HAS SOPS 7386 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4397.386
AT ITER 6434 NEW BEST:: SOT 14832 SOS 7384 HAS SOPS 7384 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4395.384
AT ITER 6473 NEW BEST:: SOT 14832 SOS 7381 HAS SOPS 7381 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4392.381
AT ITER 6582 NEW BEST:: SOT 14834 SOS 7380 HAS SOPS 7380 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4391.38
AT ITER 6583 NEW BEST:: SOT 14837 SOS 7375 HAS SOPS 7375 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.375
AT ITER 6600 NEW BEST:: SOT 14837 SOS 7331 HAS SOPS 7331 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.331
AT ITER 6630 NEW BEST:: SOT 14827 SOS 7329 HAS SOPS 7329 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4384.329
AT ITER 6634 NEW BEST:: SOT 14815 SOS 7317 HAS SOPS 7317 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4372.317
AT ITER 6662 NEW BEST:: SOT 14806 SOS 7302 HAS SOPS 7302 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4363.302
AT ITER 6703 NEW BEST:: SOT 14799 SOS 7295 HAS SOPS 7295 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4363.295
AT ITER 6717 NEW BEST:: SOT 14797 SOS 7293 HAS SOPS 7293 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4361.293
AT ITER 6750 NEW BEST:: SOT 14797 SOS 7291 HAS SOPS 7291 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4359.291
AT ITER 6807 NEW BEST:: SOT 14806 SOS 7294 HAS SOPS 7294 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4356.294
AT ITER 6887 NEW BEST:: SOT 14806 SOS 7283 HAS SOPS 7283 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4345.283
AT ITER 6951 NEW BEST:: SOT 14806 SOS 7278 HAS SOPS 7278 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4340.278
AT ITER 6957 NEW BEST:: SOT 14817 SOS 7286 HAS SOPS 7286 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4337.286
AT ITER 6960 NEW BEST:: SOT 14825 SOS 7294 HAS SOPS 7294 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4334.294
AT ITER 7123 NEW BEST:: SOT 14825 SOS 7293 HAS SOPS 7293 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4333.293
AT ITER 7134 NEW BEST:: SOT 14829 SOS 7291 HAS SOPS 7291 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4331.291
AT ITER 7140 NEW BEST:: SOT 14846 SOS 7298 HAS SOPS 7298 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4327.298
AT ITER 7209 NEW BEST:: SOT 14846 SOS 7296 HAS SOPS 7296 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4325.296
AT ITER 7328 NEW BEST:: SOT 14830 SOS 7280 HAS SOPS 7280 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4325.28
AT ITER 7351 NEW BEST:: SOT 14829 SOS 7279 HAS SOPS 7279 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4324.279
AT ITER 7471 NEW BEST:: SOT 14803 SOS 7253 HAS SOPS 7253 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4324.253
AT ITER 7557 NEW BEST:: SOT 14802 SOS 7252 HAS SOPS 7252 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4323.252
AT ITER 7643 NEW BEST:: SOT 14800 SOS 7250 HAS SOPS 7250 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4321.25
AT ITER 7648 NEW BEST:: SOT 14800 SOS 7248 HAS SOPS 7248 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4319.248
AT ITER 7674 NEW BEST:: SOT 14857 SOS 7305 HAS SOPS 7305 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4317.305
AT ITER 7747 NEW BEST:: SOT 14857 SOS 7304 HAS SOPS 7304 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4316.304
AT ITER 7819 NEW BEST:: SOT 14839 SOS 7282 HAS SOPS 7282 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4303.282
AT ITER 7846 NEW BEST:: SOT 14839 SOS 7280 HAS SOPS 7280 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4301.28
AT ITER 7919 NEW BEST:: SOT 14839 SOS 7279 HAS SOPS 7279 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4300.279
AT ITER 7984 NEW BEST:: SOT 14833 SOS 7273 HAS SOPS 7273 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4294.273
AT ITER 8029 NEW BEST:: SOT 14832 SOS 7272 HAS SOPS 7272 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4293.272
AT ITER 8262 NEW BEST:: SOT 14832 SOS 7271 HAS SOPS 7271 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4292.271
AT ITER 8265 NEW BEST:: SOT 14832 SOS 7271 HAS SOPS 7271 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4284.271
AT ITER 8297 NEW BEST:: SOT 14831 SOS 7270 HAS SOPS 7270 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4284.27
AT ITER 8349 NEW BEST:: SOT 14827 SOS 7268 HAS SOPS 7268 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4284.268
AT ITER 8503 NEW BEST:: SOT 14830 SOS 7267 HAS SOPS 7267 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4283.267
AT ITER 8558 NEW BEST:: SOT 14830 SOS 7265 HAS SOPS 7265 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4281.265
AT ITER 8628 NEW BEST:: SOT 14844 SOS 7276 HAS SOPS 7276 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4278.276
AT ITER 8668 NEW BEST:: SOT 14844 SOS 7265 HAS SOPS 7265 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4267.265
AT ITER 8688 NEW BEST:: SOT 14841 SOS 7258 HAS SOPS 7258 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4264.258
AT ITER 8704 NEW BEST:: SOT 14856 SOS 7272 HAS SOPS 7272 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4263.272
AT ITER 8718 NEW BEST:: SOT 14850 SOS 7266 HAS SOPS 7266 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4257.266
AT ITER 8723 NEW BEST:: SOT 14840 SOS 7260 HAS SOPS 7260 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4256.26
AT ITER 8828 NEW BEST:: SOT 14840 SOS 7258 HAS SOPS 7258 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4254.258
AT ITER 8900 NEW BEST:: SOT 14842 SOS 7253 HAS SOPS 7253 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4249.253
AT ITER 8921 NEW BEST:: SOT 14838 SOS 7245 HAS SOPS 7245 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4241.245
AT ITER 8966 NEW BEST:: SOT 14831 SOS 7238 HAS SOPS 7238 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4234.238
AT ITER 9050 NEW BEST:: SOT 14830 SOS 7237 HAS SOPS 7237 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4233.237
AT ITER 9093 NEW BEST:: SOT 14829 SOS 7236 HAS SOPS 7236 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.236
AT ITER 9105 NEW BEST:: SOT 14819 SOS 7231 HAS SOPS 7231 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.231
AT ITER 9152 NEW BEST:: SOT 14813 SOS 7228 HAS SOPS 7228 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.228
AT ITER 9169 NEW BEST:: SOT 14812 SOS 7227 HAS SOPS 7227 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4231.227
AT ITER 9205 NEW BEST:: SOT 14812 SOS 7226 HAS SOPS 7226 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4230.226
AT ITER 9291 NEW BEST:: SOT 14815 SOS 7228 HAS SOPS 7228 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4227.228
AT ITER 9474 NEW BEST:: SOT 14815 SOS 7223 HAS SOPS 7223 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4222.223
AT ITER 9542 NEW BEST:: SOT 14815 SOS 7222 HAS SOPS 7222 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4221.222
AT ITER 9551 NEW BEST:: SOT 14815 SOS 7217 HAS SOPS 7217 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4216.217
AT ITER 9561 NEW BEST:: SOT 14815 SOS 7211 HAS SOPS 7211 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.211
AT ITER 9603 NEW BEST:: SOT 14809 SOS 7208 HAS SOPS 7208 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.208
AT ITER 9673 NEW BEST:: SOT 14804 SOS 7203 HAS SOPS 7203 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4205.203
AT ITER 9711 NEW BEST:: SOT 14788 SOS 7184 HAS SOPS 7184 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.184
AT ITER 9921 NEW BEST:: SOT 14788 SOS 7183 HAS SOPS 7183 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4199.183
STATE_SPACE STATES 2271960 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 74 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 16007988 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679559407136

--------------------
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="QuasiCertifProtocol-PT-06"
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 QuasiCertifProtocol-PT-06, 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 r299-tall-167873953600872"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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