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.r331-tall-167889204400384.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 Railroad-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204400384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 8.7K Feb 25 22:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 22:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 22:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 22:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 22:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 22:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Feb 25 22:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K 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 1679142916312

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=Railroad-PT-020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 12:35:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 12:35:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 12:35:18] [INFO ] Load time of PNML (sax parser for PT used): 75 ms
[2023-03-18 12:35:18] [INFO ] Transformed 218 places.
[2023-03-18 12:35:18] [INFO ] Transformed 506 transitions.
[2023-03-18 12:35:18] [INFO ] Found NUPN structural information;
[2023-03-18 12:35:18] [INFO ] Parsed PT model containing 218 places and 506 transitions and 2968 arcs in 150 ms.
[2023-03-18 12:35:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 218 places, 506 transitions and 2968 arcs took 8 ms.
Total runtime 194 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 020
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: 218 places, 506 transitions, 2968 arcs.
AT ITER 0 NEW BEST:: SOT 41156 SOS 31576 HAS SOPS 31231 HAS SOUS 20890 HAS SOUPS 20869 WITH SCORE 20900.576
AT ITER 6 NEW BEST:: SOT 41145 SOS 31558 HAS SOPS 31213 HAS SOUS 20872 HAS SOUPS 20851 WITH SCORE 20882.558
AT ITER 12 NEW BEST:: SOT 40722 SOS 31156 HAS SOPS 30811 HAS SOUS 20484 HAS SOUPS 20463 WITH SCORE 20494.156
AT ITER 37 NEW BEST:: SOT 40678 SOS 31112 HAS SOPS 30767 HAS SOUS 20440 HAS SOUPS 20419 WITH SCORE 20450.112
AT ITER 50 NEW BEST:: SOT 40668 SOS 31092 HAS SOPS 30747 HAS SOUS 20420 HAS SOUPS 20399 WITH SCORE 20430.092
AT ITER 75 NEW BEST:: SOT 40194 SOS 30366 HAS SOPS 30021 HAS SOUS 19946 HAS SOUPS 19925 WITH SCORE 19955.366
AT ITER 107 NEW BEST:: SOT 39740 SOS 29612 HAS SOPS 29096 HAS SOUS 18930 HAS SOUPS 18909 WITH SCORE 18938.612
AT ITER 145 NEW BEST:: SOT 39659 SOS 29540 HAS SOPS 29021 HAS SOUS 18835 HAS SOUPS 18814 WITH SCORE 18843.54
AT ITER 146 NEW BEST:: SOT 39163 SOS 29085 HAS SOPS 28566 HAS SOUS 18356 HAS SOUPS 18335 WITH SCORE 18364.085
AT ITER 157 NEW BEST:: SOT 39143 SOS 29077 HAS SOPS 28558 HAS SOUS 18334 HAS SOUPS 18313 WITH SCORE 18342.077
AT ITER 176 NEW BEST:: SOT 39139 SOS 29076 HAS SOPS 28557 HAS SOUS 18333 HAS SOUPS 18312 WITH SCORE 18341.076
AT ITER 182 NEW BEST:: SOT 39138 SOS 29075 HAS SOPS 28556 HAS SOUS 18332 HAS SOUPS 18311 WITH SCORE 18340.075
AT ITER 193 NEW BEST:: SOT 39658 SOS 29258 HAS SOPS 28567 HAS SOUS 18233 HAS SOUPS 18212 WITH SCORE 18241.258
AT ITER 214 NEW BEST:: SOT 39976 SOS 29098 HAS SOPS 28235 HAS SOUS 18064 HAS SOUPS 18043 WITH SCORE 18072.098
AT ITER 224 NEW BEST:: SOT 40022 SOS 29093 HAS SOPS 28230 HAS SOUS 18059 HAS SOUPS 18038 WITH SCORE 18067.093
AT ITER 236 NEW BEST:: SOT 40022 SOS 29088 HAS SOPS 28225 HAS SOUS 18054 HAS SOUPS 18033 WITH SCORE 18062.088
AT ITER 245 NEW BEST:: SOT 40014 SOS 29094 HAS SOPS 28226 HAS SOUS 18039 HAS SOUPS 18018 WITH SCORE 18047.094
AT ITER 247 NEW BEST:: SOT 38893 SOS 28031 HAS SOPS 27163 HAS SOUS 16976 HAS SOUPS 16955 WITH SCORE 16983.031
AT ITER 252 NEW BEST:: SOT 39233 SOS 28075 HAS SOPS 27034 HAS SOUS 16641 HAS SOUPS 16620 WITH SCORE 16648.075
AT ITER 274 NEW BEST:: SOT 39220 SOS 28062 HAS SOPS 27021 HAS SOUS 16628 HAS SOUPS 16607 WITH SCORE 16635.062
AT ITER 278 NEW BEST:: SOT 38874 SOS 27534 HAS SOPS 26320 HAS SOUS 15823 HAS SOUPS 15802 WITH SCORE 15829.534
AT ITER 289 NEW BEST:: SOT 38855 SOS 27515 HAS SOPS 26301 HAS SOUS 15806 HAS SOUPS 15785 WITH SCORE 15812.515
AT ITER 300 NEW BEST:: SOT 38857 SOS 27508 HAS SOPS 26294 HAS SOUS 15799 HAS SOUPS 15778 WITH SCORE 15805.508
AT ITER 303 NEW BEST:: SOT 38772 SOS 27440 HAS SOPS 26226 HAS SOUS 15731 HAS SOUPS 15710 WITH SCORE 15737.44
AT ITER 304 NEW BEST:: SOT 38772 SOS 27167 HAS SOPS 25953 HAS SOUS 15724 HAS SOUPS 15703 WITH SCORE 15730.167
AT ITER 315 NEW BEST:: SOT 38772 SOS 26970 HAS SOPS 25583 HAS SOUS 15673 HAS SOUPS 15652 WITH SCORE 15678.97
AT ITER 328 NEW BEST:: SOT 38772 SOS 26949 HAS SOPS 25562 HAS SOUS 15671 HAS SOUPS 15650 WITH SCORE 15676.949
AT ITER 337 NEW BEST:: SOT 38752 SOS 26929 HAS SOPS 25542 HAS SOUS 15651 HAS SOUPS 15630 WITH SCORE 15656.929
AT ITER 371 NEW BEST:: SOT 38752 SOS 26777 HAS SOPS 25390 HAS SOUS 15635 HAS SOUPS 15614 WITH SCORE 15640.777
AT ITER 384 NEW BEST:: SOT 38752 SOS 26776 HAS SOPS 25389 HAS SOUS 15634 HAS SOUPS 15613 WITH SCORE 15639.776
AT ITER 393 NEW BEST:: SOT 38729 SOS 26753 HAS SOPS 25366 HAS SOUS 15611 HAS SOUPS 15590 WITH SCORE 15616.753
AT ITER 403 NEW BEST:: SOT 38776 SOS 26689 HAS SOPS 25302 HAS SOUS 15547 HAS SOUPS 15526 WITH SCORE 15552.689
AT ITER 407 NEW BEST:: SOT 38776 SOS 26685 HAS SOPS 25298 HAS SOUS 15400 HAS SOUPS 15379 WITH SCORE 15405.685
AT ITER 410 NEW BEST:: SOT 38776 SOS 26552 HAS SOPS 25165 HAS SOUS 15386 HAS SOUPS 15365 WITH SCORE 15391.552
AT ITER 411 NEW BEST:: SOT 38756 SOS 26515 HAS SOPS 25128 HAS SOUS 15349 HAS SOUPS 15328 WITH SCORE 15354.515
AT ITER 412 NEW BEST:: SOT 38741 SOS 26500 HAS SOPS 25113 HAS SOUS 15334 HAS SOUPS 15313 WITH SCORE 15339.5
AT ITER 429 NEW BEST:: SOT 38695 SOS 26200 HAS SOPS 24640 HAS SOUS 14899 HAS SOUPS 14878 WITH SCORE 14904.2
AT ITER 434 NEW BEST:: SOT 38515 SOS 26029 HAS SOPS 24469 HAS SOUS 14728 HAS SOUPS 14707 WITH SCORE 14733.029
AT ITER 446 NEW BEST:: SOT 38493 SOS 26028 HAS SOPS 24468 HAS SOUS 14727 HAS SOUPS 14706 WITH SCORE 14732.028
AT ITER 447 NEW BEST:: SOT 38533 SOS 26063 HAS SOPS 24503 HAS SOUS 14702 HAS SOUPS 14681 WITH SCORE 14707.063
AT ITER 455 NEW BEST:: SOT 38510 SOS 26058 HAS SOPS 24498 HAS SOUS 14697 HAS SOUPS 14676 WITH SCORE 14702.058
AT ITER 463 NEW BEST:: SOT 38505 SOS 26054 HAS SOPS 24494 HAS SOUS 14693 HAS SOUPS 14672 WITH SCORE 14698.054
AT ITER 491 NEW BEST:: SOT 38505 SOS 26050 HAS SOPS 24490 HAS SOUS 14689 HAS SOUPS 14668 WITH SCORE 14694.05
AT ITER 496 NEW BEST:: SOT 38147 SOS 25731 HAS SOPS 24188 HAS SOUS 14434 HAS SOUPS 14413 WITH SCORE 14438.731
AT ITER 500 NEW BEST:: SOT 38069 SOS 25651 HAS SOPS 24108 HAS SOUS 14354 HAS SOUPS 14333 WITH SCORE 14358.651
AT ITER 545 NEW BEST:: SOT 38060 SOS 25642 HAS SOPS 24099 HAS SOUS 14345 HAS SOUPS 14324 WITH SCORE 14349.642
AT ITER 598 NEW BEST:: SOT 38060 SOS 25639 HAS SOPS 24096 HAS SOUS 14342 HAS SOUPS 14321 WITH SCORE 14346.639
AT ITER 629 NEW BEST:: SOT 38051 SOS 25628 HAS SOPS 24085 HAS SOUS 14331 HAS SOUPS 14310 WITH SCORE 14335.628
AT ITER 646 NEW BEST:: SOT 38140 SOS 25723 HAS SOPS 24180 HAS SOUS 14039 HAS SOUPS 14018 WITH SCORE 14043.723
AT ITER 676 NEW BEST:: SOT 38034 SOS 25619 HAS SOPS 24074 HAS SOUS 13935 HAS SOUPS 13912 WITH SCORE 13937.619
AT ITER 692 NEW BEST:: SOT 37860 SOS 25868 HAS SOPS 24323 HAS SOUS 13854 HAS SOUPS 13831 WITH SCORE 13856.868
AT ITER 717 NEW BEST:: SOT 38054 SOS 25901 HAS SOPS 24202 HAS SOUS 13614 HAS SOUPS 13591 WITH SCORE 13616.901
AT ITER 748 NEW BEST:: SOT 38054 SOS 25887 HAS SOPS 24188 HAS SOUS 13613 HAS SOUPS 13590 WITH SCORE 13615.887
AT ITER 781 NEW BEST:: SOT 38052 SOS 25885 HAS SOPS 24186 HAS SOUS 13611 HAS SOUPS 13588 WITH SCORE 13613.885
AT ITER 803 NEW BEST:: SOT 38049 SOS 25877 HAS SOPS 24178 HAS SOUS 13603 HAS SOUPS 13580 WITH SCORE 13605.877
AT ITER 812 NEW BEST:: SOT 38047 SOS 25875 HAS SOPS 24176 HAS SOUS 13601 HAS SOUPS 13578 WITH SCORE 13603.875
AT ITER 870 NEW BEST:: SOT 38007 SOS 25835 HAS SOPS 24136 HAS SOUS 13521 HAS SOUPS 13498 WITH SCORE 13523.835
AT ITER 882 NEW BEST:: SOT 38001 SOS 25829 HAS SOPS 24130 HAS SOUS 13515 HAS SOUPS 13492 WITH SCORE 13517.829
AT ITER 921 NEW BEST:: SOT 38000 SOS 25828 HAS SOPS 24129 HAS SOUS 13514 HAS SOUPS 13491 WITH SCORE 13516.828
AT ITER 932 NEW BEST:: SOT 36983 SOS 24912 HAS SOPS 23112 HAS SOUS 12524 HAS SOUPS 12474 WITH SCORE 12498.912
AT ITER 936 NEW BEST:: SOT 36983 SOS 24897 HAS SOPS 23097 HAS SOUS 12509 HAS SOUPS 12459 WITH SCORE 12483.897
AT ITER 963 NEW BEST:: SOT 36966 SOS 24881 HAS SOPS 23088 HAS SOUS 12500 HAS SOUPS 12450 WITH SCORE 12474.881
AT ITER 981 NEW BEST:: SOT 37266 SOS 25005 HAS SOPS 23058 HAS SOUS 12143 HAS SOUPS 12093 WITH SCORE 12118.005
AT ITER 1009 NEW BEST:: SOT 37331 SOS 24995 HAS SOPS 23048 HAS SOUS 12133 HAS SOUPS 12083 WITH SCORE 12107.995
AT ITER 1042 NEW BEST:: SOT 37326 SOS 24980 HAS SOPS 23032 HAS SOUS 12117 HAS SOUPS 12067 WITH SCORE 12091.98
AT ITER 1045 NEW BEST:: SOT 37328 SOS 24589 HAS SOPS 22413 HAS SOUS 11582 HAS SOUPS 11532 WITH SCORE 11556.589
AT ITER 1051 NEW BEST:: SOT 37322 SOS 24569 HAS SOPS 22405 HAS SOUS 11576 HAS SOUPS 11526 WITH SCORE 11550.569
AT ITER 1131 NEW BEST:: SOT 36358 SOS 24203 HAS SOPS 21429 HAS SOUS 10638 HAS SOUPS 10545 WITH SCORE 10569.203
AT ITER 1140 NEW BEST:: SOT 36356 SOS 24201 HAS SOPS 21427 HAS SOUS 10636 HAS SOUPS 10543 WITH SCORE 10567.201
AT ITER 1149 NEW BEST:: SOT 36336 SOS 24181 HAS SOPS 21407 HAS SOUS 10616 HAS SOUPS 10523 WITH SCORE 10547.181
AT ITER 1159 NEW BEST:: SOT 36338 SOS 24183 HAS SOPS 21406 HAS SOUS 10615 HAS SOUPS 10522 WITH SCORE 10546.183
AT ITER 1199 NEW BEST:: SOT 36332 SOS 24177 HAS SOPS 21384 HAS SOUS 10593 HAS SOUPS 10500 WITH SCORE 10524.177
AT ITER 1210 NEW BEST:: SOT 36326 SOS 24171 HAS SOPS 21378 HAS SOUS 10587 HAS SOUPS 10494 WITH SCORE 10518.171
AT ITER 1266 NEW BEST:: SOT 36318 SOS 24163 HAS SOPS 21366 HAS SOUS 10575 HAS SOUPS 10482 WITH SCORE 10506.163
AT ITER 1269 NEW BEST:: SOT 36297 SOS 24142 HAS SOPS 21350 HAS SOUS 10559 HAS SOUPS 10466 WITH SCORE 10490.142
AT ITER 1290 NEW BEST:: SOT 36297 SOS 23948 HAS SOPS 21156 HAS SOUS 10522 HAS SOUPS 10429 WITH SCORE 10452.948
AT ITER 1302 NEW BEST:: SOT 36304 SOS 23955 HAS SOPS 21155 HAS SOUS 10521 HAS SOUPS 10428 WITH SCORE 10451.955
AT ITER 1313 NEW BEST:: SOT 36303 SOS 23954 HAS SOPS 21154 HAS SOUS 10520 HAS SOUPS 10427 WITH SCORE 10450.954
AT ITER 1351 NEW BEST:: SOT 36303 SOS 23460 HAS SOPS 20490 HAS SOUS 10272 HAS SOUPS 10179 WITH SCORE 10202.46
AT ITER 1353 NEW BEST:: SOT 36275 SOS 23432 HAS SOPS 20448 HAS SOUS 10230 HAS SOUPS 10137 WITH SCORE 10160.432
AT ITER 1365 NEW BEST:: SOT 36103 SOS 23275 HAS SOPS 20291 HAS SOUS 10193 HAS SOUPS 10100 WITH SCORE 10123.275
AT ITER 1386 NEW BEST:: SOT 36103 SOS 23275 HAS SOPS 20284 HAS SOUS 10186 HAS SOUPS 10093 WITH SCORE 10116.275
AT ITER 1387 NEW BEST:: SOT 36101 SOS 23273 HAS SOPS 20282 HAS SOUS 10184 HAS SOUPS 10091 WITH SCORE 10114.273
AT ITER 1398 NEW BEST:: SOT 36074 SOS 23246 HAS SOPS 20246 HAS SOUS 10148 HAS SOUPS 10055 WITH SCORE 10078.246
AT ITER 1444 NEW BEST:: SOT 36064 SOS 23236 HAS SOPS 20233 HAS SOUS 10135 HAS SOUPS 10042 WITH SCORE 10065.236
AT ITER 1507 NEW BEST:: SOT 36064 SOS 23236 HAS SOPS 20192 HAS SOUS 10097 HAS SOUPS 10001 WITH SCORE 10024.236
AT ITER 1509 NEW BEST:: SOT 36060 SOS 23232 HAS SOPS 20188 HAS SOUS 10093 HAS SOUPS 9997 WITH SCORE 10020.232
AT ITER 1521 NEW BEST:: SOT 36014 SOS 23188 HAS SOPS 20180 HAS SOUS 10085 HAS SOUPS 9989 WITH SCORE 10012.188
AT ITER 1568 NEW BEST:: SOT 36009 SOS 23183 HAS SOPS 20169 HAS SOUS 10074 HAS SOUPS 9978 WITH SCORE 10001.183
AT ITER 1572 NEW BEST:: SOT 36011 SOS 23185 HAS SOPS 20167 HAS SOUS 10072 HAS SOUPS 9976 WITH SCORE 9999.185
AT ITER 1593 NEW BEST:: SOT 35979 SOS 23153 HAS SOPS 20160 HAS SOUS 10065 HAS SOUPS 9969 WITH SCORE 9992.153
AT ITER 1640 NEW BEST:: SOT 35975 SOS 23149 HAS SOPS 20149 HAS SOUS 10054 HAS SOUPS 9958 WITH SCORE 9981.149
AT ITER 1680 NEW BEST:: SOT 35966 SOS 23140 HAS SOPS 20140 HAS SOUS 10045 HAS SOUPS 9949 WITH SCORE 9972.14
AT ITER 1687 NEW BEST:: SOT 35866 SOS 23040 HAS SOPS 20040 HAS SOUS 9945 HAS SOUPS 9849 WITH SCORE 9872.04
AT ITER 1755 NEW BEST:: SOT 35881 SOS 23055 HAS SOPS 20007 HAS SOUS 9947 HAS SOUPS 9848 WITH SCORE 9871.055
AT ITER 1826 NEW BEST:: SOT 35861 SOS 23035 HAS SOPS 19994 HAS SOUS 9934 HAS SOUPS 9835 WITH SCORE 9858.035
AT ITER 1844 NEW BEST:: SOT 35861 SOS 22975 HAS SOPS 19934 HAS SOUS 9925 HAS SOUPS 9826 WITH SCORE 9848.975
AT ITER 1981 NEW BEST:: SOT 35825 SOS 22939 HAS SOPS 19898 HAS SOUS 9889 HAS SOUPS 9790 WITH SCORE 9812.939
AT ITER 2009 NEW BEST:: SOT 35799 SOS 22913 HAS SOPS 19872 HAS SOUS 9863 HAS SOUPS 9764 WITH SCORE 9786.913
AT ITER 2023 NEW BEST:: SOT 35761 SOS 22875 HAS SOPS 19831 HAS SOUS 9822 HAS SOUPS 9723 WITH SCORE 9745.875
AT ITER 2033 NEW BEST:: SOT 35763 SOS 22877 HAS SOPS 19827 HAS SOUS 9818 HAS SOUPS 9719 WITH SCORE 9741.877
AT ITER 2051 NEW BEST:: SOT 35753 SOS 22867 HAS SOPS 19817 HAS SOUS 9808 HAS SOUPS 9709 WITH SCORE 9731.867
AT ITER 2079 NEW BEST:: SOT 35741 SOS 22855 HAS SOPS 19805 HAS SOUS 9796 HAS SOUPS 9697 WITH SCORE 9719.855
AT ITER 2121 NEW BEST:: SOT 35581 SOS 22703 HAS SOPS 19653 HAS SOUS 9644 HAS SOUPS 9545 WITH SCORE 9567.703
AT ITER 2138 NEW BEST:: SOT 35581 SOS 22315 HAS SOPS 19265 HAS SOUS 9614 HAS SOUPS 9515 WITH SCORE 9537.315
AT ITER 2177 NEW BEST:: SOT 35581 SOS 22295 HAS SOPS 19245 HAS SOUS 9611 HAS SOUPS 9512 WITH SCORE 9534.295
AT ITER 2221 NEW BEST:: SOT 35561 SOS 22275 HAS SOPS 19225 HAS SOUS 9571 HAS SOUPS 9472 WITH SCORE 9494.275
AT ITER 2229 NEW BEST:: SOT 35561 SOS 22237 HAS SOPS 19187 HAS SOUS 9567 HAS SOUPS 9468 WITH SCORE 9490.237
AT ITER 2259 NEW BEST:: SOT 35561 SOS 22197 HAS SOPS 19147 HAS SOUS 9565 HAS SOUPS 9466 WITH SCORE 9488.197
AT ITER 2271 NEW BEST:: SOT 35521 SOS 22159 HAS SOPS 19109 HAS SOUS 9487 HAS SOUPS 9388 WITH SCORE 9410.159
AT ITER 2311 NEW BEST:: SOT 35515 SOS 22153 HAS SOPS 19101 HAS SOUS 9479 HAS SOUPS 9380 WITH SCORE 9402.153
AT ITER 2340 NEW BEST:: SOT 35503 SOS 22141 HAS SOPS 19089 HAS SOUS 9467 HAS SOUPS 9368 WITH SCORE 9390.141
AT ITER 2349 NEW BEST:: SOT 35503 SOS 22103 HAS SOPS 19051 HAS SOUS 9463 HAS SOUPS 9364 WITH SCORE 9386.103
AT ITER 2369 NEW BEST:: SOT 35484 SOS 22084 HAS SOPS 19051 HAS SOUS 9463 HAS SOUPS 9364 WITH SCORE 9386.084
AT ITER 2396 NEW BEST:: SOT 35370 SOS 21976 HAS SOPS 18943 HAS SOUS 9355 HAS SOUPS 9256 WITH SCORE 9277.976
AT ITER 2404 NEW BEST:: SOT 35368 SOS 21974 HAS SOPS 18941 HAS SOUS 9353 HAS SOUPS 9254 WITH SCORE 9275.974
AT ITER 2434 NEW BEST:: SOT 35328 SOS 21962 HAS SOPS 18625 HAS SOUS 9103 HAS SOUPS 9001 WITH SCORE 9022.962
AT ITER 2463 NEW BEST:: SOT 35320 SOS 21954 HAS SOPS 18623 HAS SOUS 9101 HAS SOUPS 8999 WITH SCORE 9020.954
AT ITER 2493 NEW BEST:: SOT 35347 SOS 21887 HAS SOPS 18556 HAS SOUS 9034 HAS SOUPS 8932 WITH SCORE 8953.887
AT ITER 2499 NEW BEST:: SOT 35307 SOS 21849 HAS SOPS 18516 HAS SOUS 8994 HAS SOUPS 8892 WITH SCORE 8913.849
AT ITER 2508 NEW BEST:: SOT 35307 SOS 21848 HAS SOPS 18512 HAS SOUS 8975 HAS SOUPS 8873 WITH SCORE 8894.848
AT ITER 2526 NEW BEST:: SOT 35307 SOS 21844 HAS SOPS 18508 HAS SOUS 8971 HAS SOUPS 8869 WITH SCORE 8890.844
AT ITER 2530 NEW BEST:: SOT 35435 SOS 21956 HAS SOPS 18620 HAS SOUS 8923 HAS SOUPS 8821 WITH SCORE 8842.956
AT ITER 2622 NEW BEST:: SOT 35435 SOS 21954 HAS SOPS 18612 HAS SOUS 8915 HAS SOUPS 8813 WITH SCORE 8834.954
AT ITER 2696 NEW BEST:: SOT 35405 SOS 21924 HAS SOPS 18582 HAS SOUS 8885 HAS SOUPS 8783 WITH SCORE 8804.924
AT ITER 2713 NEW BEST:: SOT 35405 SOS 21887 HAS SOPS 18545 HAS SOUS 8865 HAS SOUPS 8763 WITH SCORE 8784.887
AT ITER 2784 NEW BEST:: SOT 35405 SOS 21886 HAS SOPS 18544 HAS SOUS 8864 HAS SOUPS 8762 WITH SCORE 8783.886
AT ITER 2812 NEW BEST:: SOT 35399 SOS 21880 HAS SOPS 18538 HAS SOUS 8858 HAS SOUPS 8756 WITH SCORE 8777.88
AT ITER 2850 NEW BEST:: SOT 35385 SOS 21866 HAS SOPS 18524 HAS SOUS 8844 HAS SOUPS 8742 WITH SCORE 8763.866
AT ITER 2871 NEW BEST:: SOT 35385 SOS 21866 HAS SOPS 18521 HAS SOUS 8841 HAS SOUPS 8739 WITH SCORE 8760.866
AT ITER 2905 NEW BEST:: SOT 35385 SOS 21866 HAS SOPS 18514 HAS SOUS 8834 HAS SOUPS 8732 WITH SCORE 8753.866
AT ITER 2964 NEW BEST:: SOT 35382 SOS 21863 HAS SOPS 18511 HAS SOUS 8831 HAS SOUPS 8729 WITH SCORE 8750.863
AT ITER 3010 NEW BEST:: SOT 35323 SOS 21804 HAS SOPS 18452 HAS SOUS 8772 HAS SOUPS 8670 WITH SCORE 8691.804
AT ITER 3093 NEW BEST:: SOT 35324 SOS 21772 HAS SOPS 18420 HAS SOUS 8768 HAS SOUPS 8666 WITH SCORE 8687.772
AT ITER 3099 NEW BEST:: SOT 35164 SOS 21612 HAS SOPS 18260 HAS SOUS 8448 HAS SOUPS 8346 WITH SCORE 8367.612
AT ITER 3144 NEW BEST:: SOT 35164 SOS 21685 HAS SOPS 18333 HAS SOUS 8445 HAS SOUPS 8343 WITH SCORE 8364.685
AT ITER 3199 NEW BEST:: SOT 35116 SOS 21637 HAS SOPS 18285 HAS SOUS 8397 HAS SOUPS 8295 WITH SCORE 8316.637
AT ITER 3225 NEW BEST:: SOT 35108 SOS 21629 HAS SOPS 18278 HAS SOUS 8390 HAS SOUPS 8288 WITH SCORE 8309.629
AT ITER 3248 NEW BEST:: SOT 35104 SOS 21625 HAS SOPS 18274 HAS SOUS 8386 HAS SOUPS 8284 WITH SCORE 8305.625
AT ITER 3301 NEW BEST:: SOT 34984 SOS 21505 HAS SOPS 18154 HAS SOUS 8293 HAS SOUPS 8191 WITH SCORE 8212.505
AT ITER 3400 NEW BEST:: SOT 34972 SOS 21493 HAS SOPS 18154 HAS SOUS 8293 HAS SOUPS 8191 WITH SCORE 8212.493
AT ITER 3402 NEW BEST:: SOT 34971 SOS 21492 HAS SOPS 18153 HAS SOUS 8292 HAS SOUPS 8190 WITH SCORE 8211.492
AT ITER 3404 NEW BEST:: SOT 34967 SOS 21488 HAS SOPS 18149 HAS SOUS 8288 HAS SOUPS 8186 WITH SCORE 8207.488
AT ITER 3430 NEW BEST:: SOT 34949 SOS 21470 HAS SOPS 18139 HAS SOUS 8278 HAS SOUPS 8176 WITH SCORE 8197.47
AT ITER 3444 NEW BEST:: SOT 34928 SOS 21449 HAS SOPS 18097 HAS SOUS 8236 HAS SOUPS 8134 WITH SCORE 8155.449
AT ITER 3486 NEW BEST:: SOT 34877 SOS 21407 HAS SOPS 18056 HAS SOUS 8214 HAS SOUPS 8112 WITH SCORE 8133.407
AT ITER 3491 NEW BEST:: SOT 34857 SOS 21387 HAS SOPS 18036 HAS SOUS 8194 HAS SOUPS 8092 WITH SCORE 8113.387
AT ITER 3525 NEW BEST:: SOT 34852 SOS 22617 HAS SOPS 17936 HAS SOUS 8184 HAS SOUPS 8077 WITH SCORE 8099.617
AT ITER 3611 NEW BEST:: SOT 34850 SOS 22615 HAS SOPS 17934 HAS SOUS 8182 HAS SOUPS 8075 WITH SCORE 8097.615
AT ITER 3614 NEW BEST:: SOT 34846 SOS 22611 HAS SOPS 17930 HAS SOUS 8178 HAS SOUPS 8071 WITH SCORE 8093.611
AT ITER 3631 NEW BEST:: SOT 34786 SOS 22551 HAS SOPS 17870 HAS SOUS 8178 HAS SOUPS 8071 WITH SCORE 8093.551
AT ITER 3661 NEW BEST:: SOT 34805 SOS 22565 HAS SOPS 17884 HAS SOUS 8172 HAS SOUPS 8065 WITH SCORE 8087.565
AT ITER 3701 NEW BEST:: SOT 34792 SOS 22552 HAS SOPS 17880 HAS SOUS 8168 HAS SOUPS 8061 WITH SCORE 8083.552
AT ITER 3848 NEW BEST:: SOT 34772 SOS 22536 HAS SOPS 17860 HAS SOUS 8148 HAS SOUPS 8041 WITH SCORE 8063.536
AT ITER 3980 NEW BEST:: SOT 34635 SOS 22388 HAS SOPS 17778 HAS SOUS 7840 HAS SOUPS 7736 WITH SCORE 7758.388
AT ITER 3990 NEW BEST:: SOT 34635 SOS 22304 HAS SOPS 17694 HAS SOUS 7832 HAS SOUPS 7728 WITH SCORE 7750.304
AT ITER 4007 NEW BEST:: SOT 34579 SOS 22248 HAS SOPS 17634 HAS SOUS 7772 HAS SOUPS 7668 WITH SCORE 7690.248
AT ITER 4198 NEW BEST:: SOT 34567 SOS 22236 HAS SOPS 17631 HAS SOUS 7769 HAS SOUPS 7665 WITH SCORE 7687.236
AT ITER 4238 NEW BEST:: SOT 34565 SOS 22234 HAS SOPS 17629 HAS SOUS 7767 HAS SOUPS 7663 WITH SCORE 7685.234
AT ITER 4337 NEW BEST:: SOT 34562 SOS 22231 HAS SOPS 17622 HAS SOUS 7764 HAS SOUPS 7656 WITH SCORE 7678.231
AT ITER 4454 NEW BEST:: SOT 34562 SOS 22231 HAS SOPS 17619 HAS SOUS 7761 HAS SOUPS 7653 WITH SCORE 7675.231
AT ITER 4515 NEW BEST:: SOT 34542 SOS 22211 HAS SOPS 17599 HAS SOUS 7721 HAS SOUPS 7613 WITH SCORE 7635.211
AT ITER 4559 NEW BEST:: SOT 34544 SOS 22207 HAS SOPS 17595 HAS SOUS 7717 HAS SOUPS 7609 WITH SCORE 7631.207
AT ITER 4604 NEW BEST:: SOT 34565 SOS 22228 HAS SOPS 17593 HAS SOUS 7715 HAS SOUPS 7607 WITH SCORE 7629.228
AT ITER 4614 NEW BEST:: SOT 34560 SOS 22223 HAS SOPS 17588 HAS SOUS 7710 HAS SOUPS 7602 WITH SCORE 7624.223
AT ITER 4620 NEW BEST:: SOT 34556 SOS 22219 HAS SOPS 17584 HAS SOUS 7706 HAS SOUPS 7598 WITH SCORE 7620.219
AT ITER 4625 NEW BEST:: SOT 34550 SOS 22213 HAS SOPS 17582 HAS SOUS 7704 HAS SOUPS 7596 WITH SCORE 7618.213
AT ITER 4704 NEW BEST:: SOT 34547 SOS 22210 HAS SOPS 17579 HAS SOUS 7701 HAS SOUPS 7593 WITH SCORE 7615.21
AT ITER 4767 NEW BEST:: SOT 34487 SOS 22142 HAS SOPS 17589 HAS SOUS 7699 HAS SOUPS 7591 WITH SCORE 7613.142
AT ITER 4784 NEW BEST:: SOT 34466 SOS 22136 HAS SOPS 17583 HAS SOUS 7693 HAS SOUPS 7585 WITH SCORE 7607.136
AT ITER 4812 NEW BEST:: SOT 34453 SOS 22114 HAS SOPS 17561 HAS SOUS 7671 HAS SOUPS 7563 WITH SCORE 7585.114
AT ITER 4826 NEW BEST:: SOT 34433 SOS 22170 HAS SOPS 17541 HAS SOUS 7631 HAS SOUPS 7519 WITH SCORE 7541.17
AT ITER 4850 NEW BEST:: SOT 34493 SOS 22221 HAS SOPS 17592 HAS SOUS 7541 HAS SOUPS 7429 WITH SCORE 7451.221
AT ITER 4867 NEW BEST:: SOT 34493 SOS 22151 HAS SOPS 17522 HAS SOUS 7531 HAS SOUPS 7419 WITH SCORE 7441.151
AT ITER 4964 NEW BEST:: SOT 34492 SOS 22150 HAS SOPS 17521 HAS SOUS 7530 HAS SOUPS 7418 WITH SCORE 7440.15
AT ITER 4999 NEW BEST:: SOT 34491 SOS 22149 HAS SOPS 17520 HAS SOUS 7529 HAS SOUPS 7417 WITH SCORE 7439.149
AT ITER 5101 NEW BEST:: SOT 34478 SOS 22136 HAS SOPS 17518 HAS SOUS 7527 HAS SOUPS 7415 WITH SCORE 7437.136
AT ITER 5160 NEW BEST:: SOT 34478 SOS 22130 HAS SOPS 17512 HAS SOUS 7521 HAS SOUPS 7409 WITH SCORE 7431.13
AT ITER 5177 NEW BEST:: SOT 34478 SOS 22179 HAS SOPS 17561 HAS SOUS 7513 HAS SOUPS 7401 WITH SCORE 7423.179
AT ITER 5332 NEW BEST:: SOT 34455 SOS 22156 HAS SOPS 17538 HAS SOUS 7490 HAS SOUPS 7378 WITH SCORE 7400.156
AT ITER 5416 NEW BEST:: SOT 34463 SOS 22164 HAS SOPS 17534 HAS SOUS 7486 HAS SOUPS 7374 WITH SCORE 7396.164
AT ITER 5417 NEW BEST:: SOT 34463 SOS 22164 HAS SOPS 17531 HAS SOUS 7483 HAS SOUPS 7371 WITH SCORE 7393.164
AT ITER 5498 NEW BEST:: SOT 34456 SOS 22158 HAS SOPS 17499 HAS SOUS 7457 HAS SOUPS 7345 WITH SCORE 7367.158
AT ITER 5711 NEW BEST:: SOT 34456 SOS 22143 HAS SOPS 17484 HAS SOUS 7442 HAS SOUPS 7330 WITH SCORE 7352.143
AT ITER 5724 NEW BEST:: SOT 34438 SOS 22125 HAS SOPS 17476 HAS SOUS 7434 HAS SOUPS 7322 WITH SCORE 7344.125
AT ITER 5758 NEW BEST:: SOT 34418 SOS 22105 HAS SOPS 17456 HAS SOUS 7394 HAS SOUPS 7282 WITH SCORE 7304.105
AT ITER 6021 NEW BEST:: SOT 34402 SOS 22089 HAS SOPS 17414 HAS SOUS 7356 HAS SOUPS 7244 WITH SCORE 7266.089
AT ITER 6029 NEW BEST:: SOT 34362 SOS 22051 HAS SOPS 17376 HAS SOUS 7318 HAS SOUPS 7206 WITH SCORE 7228.051
AT ITER 6074 NEW BEST:: SOT 34359 SOS 22048 HAS SOPS 17371 HAS SOUS 7313 HAS SOUPS 7201 WITH SCORE 7223.048
AT ITER 6082 NEW BEST:: SOT 34352 SOS 22041 HAS SOPS 17359 HAS SOUS 7301 HAS SOUPS 7189 WITH SCORE 7211.041
AT ITER 6090 NEW BEST:: SOT 34352 SOS 22021 HAS SOPS 17339 HAS SOUS 7300 HAS SOUPS 7188 WITH SCORE 7210.021
AT ITER 6230 NEW BEST:: SOT 34338 SOS 22007 HAS SOPS 17339 HAS SOUS 7300 HAS SOUPS 7188 WITH SCORE 7210.007
AT ITER 6348 NEW BEST:: SOT 34284 SOS 22211 HAS SOPS 17327 HAS SOUS 7265 HAS SOUPS 7142 WITH SCORE 7164.211
AT ITER 6382 NEW BEST:: SOT 34277 SOS 22204 HAS SOPS 17320 HAS SOUS 7258 HAS SOUPS 7135 WITH SCORE 7157.204
AT ITER 6391 NEW BEST:: SOT 34271 SOS 23851 HAS SOPS 17219 HAS SOUS 7248 HAS SOUPS 7119 WITH SCORE 7142.851
AT ITER 6482 NEW BEST:: SOT 34271 SOS 23851 HAS SOPS 17218 HAS SOUS 7247 HAS SOUPS 7118 WITH SCORE 7141.851
AT ITER 6587 NEW BEST:: SOT 34267 SOS 23847 HAS SOPS 17214 HAS SOUS 7243 HAS SOUPS 7114 WITH SCORE 7137.847
AT ITER 6650 NEW BEST:: SOT 34242 SOS 23822 HAS SOPS 17206 HAS SOUS 7235 HAS SOUPS 7106 WITH SCORE 7129.822
AT ITER 6755 NEW BEST:: SOT 34117 SOS 24674 HAS SOPS 18459 HAS SOUS 7207 HAS SOUPS 7078 WITH SCORE 7102.674
AT ITER 6863 NEW BEST:: SOT 34117 SOS 24673 HAS SOPS 18458 HAS SOUS 7207 HAS SOUPS 7078 WITH SCORE 7102.673
AT ITER 6994 NEW BEST:: SOT 34121 SOS 24677 HAS SOPS 18454 HAS SOUS 7203 HAS SOUPS 7074 WITH SCORE 7098.677
AT ITER 7054 NEW BEST:: SOT 34119 SOS 24675 HAS SOPS 18452 HAS SOUS 7201 HAS SOUPS 7072 WITH SCORE 7096.675
AT ITER 7143 NEW BEST:: SOT 34115 SOS 24671 HAS SOPS 18452 HAS SOUS 7201 HAS SOUPS 7072 WITH SCORE 7096.671
AT ITER 7145 NEW BEST:: SOT 34114 SOS 24670 HAS SOPS 18445 HAS SOUS 7194 HAS SOUPS 7065 WITH SCORE 7089.67
AT ITER 7152 NEW BEST:: SOT 34109 SOS 24665 HAS SOPS 18441 HAS SOUS 7190 HAS SOUPS 7061 WITH SCORE 7085.665
AT ITER 7240 NEW BEST:: SOT 34092 SOS 24705 HAS SOPS 18421 HAS SOUS 7153 HAS SOUPS 7021 WITH SCORE 7045.705
AT ITER 7246 NEW BEST:: SOT 34092 SOS 24487 HAS SOPS 18146 HAS SOUS 7120 HAS SOUPS 6988 WITH SCORE 7012.487
AT ITER 7315 NEW BEST:: SOT 34099 SOS 24494 HAS SOPS 18144 HAS SOUS 7118 HAS SOUPS 6986 WITH SCORE 7010.494
AT ITER 7320 NEW BEST:: SOT 34095 SOS 24492 HAS SOPS 18142 HAS SOUS 7116 HAS SOUPS 6984 WITH SCORE 7008.492
AT ITER 7404 NEW BEST:: SOT 34085 SOS 24482 HAS SOPS 18132 HAS SOUS 7106 HAS SOUPS 6974 WITH SCORE 6998.482
AT ITER 7529 NEW BEST:: SOT 34084 SOS 24415 HAS SOPS 18065 HAS SOUS 7096 HAS SOUPS 6964 WITH SCORE 6988.415
AT ITER 7545 NEW BEST:: SOT 34084 SOS 24415 HAS SOPS 18046 HAS SOUS 7094 HAS SOUPS 6962 WITH SCORE 6986.415
AT ITER 7581 NEW BEST:: SOT 34071 SOS 24402 HAS SOPS 18033 HAS SOUS 7081 HAS SOUPS 6949 WITH SCORE 6973.402
AT ITER 7583 NEW BEST:: SOT 34071 SOS 24402 HAS SOPS 18031 HAS SOUS 7079 HAS SOUPS 6947 WITH SCORE 6971.402
AT ITER 7591 NEW BEST:: SOT 34061 SOS 24392 HAS SOPS 18024 HAS SOUS 7072 HAS SOUPS 6940 WITH SCORE 6964.392
AT ITER 7622 NEW BEST:: SOT 34055 SOS 24386 HAS SOPS 18018 HAS SOUS 7066 HAS SOUPS 6934 WITH SCORE 6958.386
AT ITER 7645 NEW BEST:: SOT 34053 SOS 24384 HAS SOPS 18018 HAS SOUS 7064 HAS SOUPS 6934 WITH SCORE 6958.384
AT ITER 7734 NEW BEST:: SOT 34071 SOS 24402 HAS SOPS 18012 HAS SOUS 7060 HAS SOUPS 6930 WITH SCORE 6954.402
AT ITER 7837 NEW BEST:: SOT 34063 SOS 24394 HAS SOPS 17947 HAS SOUS 7038 HAS SOUPS 6908 WITH SCORE 6932.394
AT ITER 7944 NEW BEST:: SOT 33793 SOS 25316 HAS SOPS 17729 HAS SOUS 6849 HAS SOUPS 6662 WITH SCORE 6687.316
AT ITER 7961 NEW BEST:: SOT 33787 SOS 25310 HAS SOPS 17723 HAS SOUS 6843 HAS SOUPS 6656 WITH SCORE 6681.31
AT ITER 8034 NEW BEST:: SOT 33787 SOS 25103 HAS SOPS 17676 HAS SOUS 6819 HAS SOUPS 6640 WITH SCORE 6665.103
AT ITER 8048 NEW BEST:: SOT 33794 SOS 25110 HAS SOPS 17672 HAS SOUS 6815 HAS SOUPS 6636 WITH SCORE 6661.11
AT ITER 8082 NEW BEST:: SOT 33794 SOS 25108 HAS SOPS 17670 HAS SOUS 6813 HAS SOUPS 6634 WITH SCORE 6659.108
AT ITER 8415 NEW BEST:: SOT 33794 SOS 25108 HAS SOPS 17667 HAS SOUS 6810 HAS SOUPS 6631 WITH SCORE 6656.108
AT ITER 8424 NEW BEST:: SOT 33794 SOS 25108 HAS SOPS 17591 HAS SOUS 6802 HAS SOUPS 6623 WITH SCORE 6648.108
AT ITER 8509 NEW BEST:: SOT 33783 SOS 25097 HAS SOPS 17580 HAS SOUS 6791 HAS SOUPS 6612 WITH SCORE 6637.097
AT ITER 8717 NEW BEST:: SOT 33794 SOS 25108 HAS SOPS 17591 HAS SOUS 6696 HAS SOUPS 6517 WITH SCORE 6542.108
AT ITER 8758 NEW BEST:: SOT 33794 SOS 25115 HAS SOPS 17579 HAS SOUS 6694 HAS SOUPS 6515 WITH SCORE 6540.115
AT ITER 8890 NEW BEST:: SOT 33794 SOS 25115 HAS SOPS 17560 HAS SOUS 6692 HAS SOUPS 6513 WITH SCORE 6538.115
AT ITER 8958 NEW BEST:: SOT 33788 SOS 25109 HAS SOPS 17554 HAS SOUS 6686 HAS SOUPS 6507 WITH SCORE 6532.109
AT ITER 9012 NEW BEST:: SOT 33786 SOS 25107 HAS SOPS 17550 HAS SOUS 6682 HAS SOUPS 6503 WITH SCORE 6528.107
AT ITER 9030 NEW BEST:: SOT 33781 SOS 25102 HAS SOPS 17545 HAS SOUS 6677 HAS SOUPS 6498 WITH SCORE 6523.102
AT ITER 9258 NEW BEST:: SOT 33770 SOS 25091 HAS SOPS 17537 HAS SOUS 6669 HAS SOUPS 6490 WITH SCORE 6515.091
AT ITER 9441 NEW BEST:: SOT 33768 SOS 25089 HAS SOPS 17535 HAS SOUS 6667 HAS SOUPS 6488 WITH SCORE 6513.089
AT ITER 9476 NEW BEST:: SOT 33765 SOS 25086 HAS SOPS 17532 HAS SOUS 6664 HAS SOUPS 6485 WITH SCORE 6510.086
AT ITER 9531 NEW BEST:: SOT 33762 SOS 25083 HAS SOPS 17531 HAS SOUS 6663 HAS SOUPS 6484 WITH SCORE 6509.083
AT ITER 9573 NEW BEST:: SOT 33739 SOS 25060 HAS SOPS 17508 HAS SOUS 6618 HAS SOUPS 6439 WITH SCORE 6464.06

BK_STOP 1679145328634

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

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="Railroad-PT-020"
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 Railroad-PT-020, 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 r331-tall-167889204400384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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