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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.0K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 04:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 04:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 04:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M 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 1679075350735

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=RERS17pb114-PT-7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 17:49:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 17:49:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 17:49:15] [INFO ] Load time of PNML (sax parser for PT used): 1964 ms
[2023-03-17 17:49:15] [INFO ] Transformed 1446 places.
[2023-03-17 17:49:15] [INFO ] Transformed 151085 transitions.
[2023-03-17 17:49:15] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2632 ms.
[2023-03-17 17:49:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 421 ms.
Total runtime 3089 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 7
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 2 NEW BEST:: SOT 133565626 SOS 82031591 HAS SOPS 66624707 HAS SOUS 26325825 HAS SOUPS 25695918 WITH SCORE 2.5777949591E7
AT ITER 10 NEW BEST:: SOT 133567209 SOS 82038526 HAS SOPS 66628966 HAS SOUS 26319095 HAS SOUPS 25689188 WITH SCORE 2.5771226526E7
AT ITER 14 NEW BEST:: SOT 133575345 SOS 82108382 HAS SOPS 66678825 HAS SOUS 26296402 HAS SOUPS 25666495 WITH SCORE 2.5748603382E7
AT ITER 24 NEW BEST:: SOT 133571802 SOS 82101147 HAS SOPS 66670987 HAS SOUS 26290700 HAS SOUPS 25660793 WITH SCORE 2.5742894147E7
AT ITER 28 NEW BEST:: SOT 133558942 SOS 82088287 HAS SOPS 66657039 HAS SOUS 26276736 HAS SOUPS 25646813 WITH SCORE 2.5728901287E7
AT ITER 36 NEW BEST:: SOT 133558856 SOS 82088439 HAS SOPS 66656807 HAS SOUS 26276580 HAS SOUPS 25646657 WITH SCORE 2.5728745439E7
AT ITER 48 NEW BEST:: SOT 133534876 SOS 82031740 HAS SOPS 66634902 HAS SOUS 26273525 HAS SOUPS 25643602 WITH SCORE 2.572563374E7
AT ITER 67 NEW BEST:: SOT 133532746 SOS 82029178 HAS SOPS 66631831 HAS SOUS 26267578 HAS SOUPS 25637697 WITH SCORE 2.5719726178E7
AT ITER 76 NEW BEST:: SOT 133537132 SOS 82048248 HAS SOPS 66643525 HAS SOUS 26262220 HAS SOUPS 25632339 WITH SCORE 2.5714387248E7
AT ITER 77 NEW BEST:: SOT 133535905 SOS 82045631 HAS SOPS 66640428 HAS SOUS 26260228 HAS SOUPS 25630347 WITH SCORE 2.5712392631E7
AT ITER 80 NEW BEST:: SOT 133524492 SOS 82033772 HAS SOPS 66627256 HAS SOUS 26244635 HAS SOUPS 25615050 WITH SCORE 2.5697083772E7
AT ITER 81 NEW BEST:: SOT 133523362 SOS 82031974 HAS SOPS 66626671 HAS SOUS 26242826 HAS SOUPS 25613241 WITH SCORE 2.5695272974E7
AT ITER 82 NEW BEST:: SOT 133511206 SOS 82017397 HAS SOPS 66613732 HAS SOUS 26205274 HAS SOUPS 25575689 WITH SCORE 2.5657706397E7
AT ITER 84 NEW BEST:: SOT 133513060 SOS 82025277 HAS SOPS 66621410 HAS SOUS 26200877 HAS SOUPS 25571214 WITH SCORE 2.5653239277E7
AT ITER 86 NEW BEST:: SOT 133521351 SOS 82049281 HAS SOPS 66646164 HAS SOUS 26166955 HAS SOUPS 25537292 WITH SCORE 2.5619341281E7
AT ITER 93 NEW BEST:: SOT 133466455 SOS 81993083 HAS SOPS 66583624 HAS SOUS 26133776 HAS SOUPS 25500255 WITH SCORE 2.5582248083E7
AT ITER 108 NEW BEST:: SOT 133464273 SOS 81981774 HAS SOPS 66576113 HAS SOUS 26127044 HAS SOUPS 25493523 WITH SCORE 2.5575504774E7
AT ITER 115 NEW BEST:: SOT 133387029 SOS 81905024 HAS SOPS 66498389 HAS SOUS 26000536 HAS SOUPS 25366895 WITH SCORE 2.5448800024E7
AT ITER 123 NEW BEST:: SOT 133386744 SOS 81904607 HAS SOPS 66498078 HAS SOUS 26000298 HAS SOUPS 25366657 WITH SCORE 2.5448561607E7
AT ITER 141 NEW BEST:: SOT 133397208 SOS 81922089 HAS SOPS 66511919 HAS SOUS 25999784 HAS SOUPS 25366143 WITH SCORE 2.5448065089E7
AT ITER 151 NEW BEST:: SOT 133378448 SOS 81903832 HAS SOPS 66511777 HAS SOUS 25975727 HAS SOUPS 25342086 WITH SCORE 2.5423989832E7
AT ITER 161 NEW BEST:: SOT 133393441 SOS 81947738 HAS SOPS 66544763 HAS SOUS 25968043 HAS SOUPS 25334402 WITH SCORE 2.5416349738E7
AT ITER 167 NEW BEST:: SOT 133381290 SOS 81935561 HAS SOPS 66531623 HAS SOUS 25951675 HAS SOUPS 25318048 WITH SCORE 2.5399983561E7
AT ITER 182 NEW BEST:: SOT 133377692 SOS 81940048 HAS SOPS 66535371 HAS SOUS 25935523 HAS SOUPS 25301896 WITH SCORE 2.5383836048E7
AT ITER 195 NEW BEST:: SOT 133372039 SOS 81938921 HAS SOPS 66538998 HAS SOUS 25934544 HAS SOUPS 25300917 WITH SCORE 2.5382855921E7
AT ITER 200 NEW BEST:: SOT 133372024 SOS 81940628 HAS SOPS 66535291 HAS SOUS 25927555 HAS SOUPS 25293928 WITH SCORE 2.5375868628E7
AT ITER 218 NEW BEST:: SOT 133383651 SOS 81972404 HAS SOPS 66563169 HAS SOUS 25910602 HAS SOUPS 25276975 WITH SCORE 2.5358947404E7
AT ITER 232 NEW BEST:: SOT 133370618 SOS 81945890 HAS SOPS 66541672 HAS SOUS 25901796 HAS SOUPS 25268169 WITH SCORE 2.535011489E7
AT ITER 237 NEW BEST:: SOT 133373221 SOS 81948443 HAS SOPS 66544155 HAS SOUS 25901491 HAS SOUPS 25267864 WITH SCORE 2.5349812443E7
AT ITER 239 NEW BEST:: SOT 133373069 SOS 81959854 HAS SOPS 66556587 HAS SOUS 25884182 HAS SOUPS 25250554 WITH SCORE 2.5332513854E7
AT ITER 241 NEW BEST:: SOT 133367915 SOS 81949927 HAS SOPS 66549861 HAS SOUS 25869833 HAS SOUPS 25236572 WITH SCORE 2.5318521927E7
AT ITER 274 NEW BEST:: SOT 133362244 SOS 81933620 HAS SOPS 66534159 HAS SOUS 25863573 HAS SOUPS 25230312 WITH SCORE 2.531224562E7
AT ITER 275 NEW BEST:: SOT 133364797 SOS 81935113 HAS SOPS 66534743 HAS SOUS 25860084 HAS SOUPS 25226823 WITH SCORE 2.5308758113E7
AT ITER 284 NEW BEST:: SOT 133369820 SOS 81989695 HAS SOPS 66618560 HAS SOUS 25818845 HAS SOUPS 25185584 WITH SCORE 2.5267573695E7
AT ITER 287 NEW BEST:: SOT 133369639 SOS 81995677 HAS SOPS 66628743 HAS SOUS 25817027 HAS SOUPS 25183766 WITH SCORE 2.5265761677E7
AT ITER 291 NEW BEST:: SOT 133353743 SOS 81974987 HAS SOPS 66610857 HAS SOUS 25792855 HAS SOUPS 25159809 WITH SCORE 2.5241783987E7
AT ITER 296 NEW BEST:: SOT 133351042 SOS 81969131 HAS SOPS 66601100 HAS SOUS 25784520 HAS SOUPS 25151581 WITH SCORE 2.5233550131E7
AT ITER 299 NEW BEST:: SOT 133350017 SOS 81966098 HAS SOPS 66597953 HAS SOUS 25783881 HAS SOUPS 25150942 WITH SCORE 2.5232908098E7
AT ITER 302 NEW BEST:: SOT 133325550 SOS 81912055 HAS SOPS 66550819 HAS SOUS 25763226 HAS SOUPS 25130344 WITH SCORE 2.5212256055E7
AT ITER 318 NEW BEST:: SOT 133308878 SOS 81860736 HAS SOPS 66512815 HAS SOUS 25760911 HAS SOUPS 25128029 WITH SCORE 2.5209889736E7
AT ITER 324 NEW BEST:: SOT 133312132 SOS 81864732 HAS SOPS 66523178 HAS SOUS 25760503 HAS SOUPS 25127621 WITH SCORE 2.5209485732E7
AT ITER 330 NEW BEST:: SOT 133297070 SOS 81843220 HAS SOPS 66503156 HAS SOUS 25741859 HAS SOUPS 25109021 WITH SCORE 2.519086422E7
AT ITER 339 NEW BEST:: SOT 133284444 SOS 81819974 HAS SOPS 66485322 HAS SOUS 25730571 HAS SOUPS 25097733 WITH SCORE 2.5179552974E7
AT ITER 341 NEW BEST:: SOT 133285826 SOS 81825829 HAS SOPS 66491228 HAS SOUS 25719967 HAS SOUPS 25087129 WITH SCORE 2.5168954829E7
AT ITER 364 NEW BEST:: SOT 133277849 SOS 81830671 HAS SOPS 66491220 HAS SOUS 25685284 HAS SOUPS 25052446 WITH SCORE 2.5134276671E7
AT ITER 367 NEW BEST:: SOT 133279317 SOS 81852984 HAS SOPS 66520457 HAS SOUS 25681824 HAS SOUPS 25048986 WITH SCORE 2.5130838984E7
AT ITER 387 NEW BEST:: SOT 133275349 SOS 81841354 HAS SOPS 66513858 HAS SOUS 25681363 HAS SOUPS 25048525 WITH SCORE 2.5130366354E7
AT ITER 401 NEW BEST:: SOT 133272424 SOS 81839495 HAS SOPS 66508362 HAS SOUS 25671226 HAS SOUPS 25038388 WITH SCORE 2.5120227495E7
AT ITER 406 NEW BEST:: SOT 133269556 SOS 81840358 HAS SOPS 66519720 HAS SOUS 25670570 HAS SOUPS 25037732 WITH SCORE 2.5119572358E7
AT ITER 407 NEW BEST:: SOT 133109561 SOS 81652914 HAS SOPS 66346303 HAS SOUS 25509954 HAS SOUPS 24877622 WITH SCORE 2.4959274914E7
AT ITER 408 NEW BEST:: SOT 133093681 SOS 81636805 HAS SOPS 66330130 HAS SOUS 25491946 HAS SOUPS 24859614 WITH SCORE 2.4941250805E7
AT ITER 412 NEW BEST:: SOT 133093556 SOS 81636537 HAS SOPS 66329180 HAS SOUS 25491216 HAS SOUPS 24858884 WITH SCORE 2.4940520537E7
AT ITER 413 NEW BEST:: SOT 133092284 SOS 81635934 HAS SOPS 66326491 HAS SOUS 25487411 HAS SOUPS 24855048 WITH SCORE 2.4936683934E7
AT ITER 433 NEW BEST:: SOT 133079550 SOS 81619044 HAS SOPS 66312423 HAS SOUS 25462320 HAS SOUPS 24831248 WITH SCORE 2.4912867044E7
AT ITER 434 NEW BEST:: SOT 133082452 SOS 81623496 HAS SOPS 66316391 HAS SOUS 25460359 HAS SOUPS 24829287 WITH SCORE 2.4910910496E7
AT ITER 438 NEW BEST:: SOT 133082155 SOS 81623262 HAS SOPS 66315734 HAS SOUS 25458825 HAS SOUPS 24827753 WITH SCORE 2.4909376262E7
AT ITER 439 NEW BEST:: SOT 133081203 SOS 81620814 HAS SOPS 66312637 HAS SOUS 25455827 HAS SOUPS 24824755 WITH SCORE 2.4906375814E7
AT ITER 442 NEW BEST:: SOT 133094325 SOS 81679984 HAS SOPS 66354231 HAS SOUS 25454182 HAS SOUPS 24823110 WITH SCORE 2.4904789984E7
AT ITER 444 NEW BEST:: SOT 133097222 SOS 81688326 HAS SOPS 66361199 HAS SOUS 25452834 HAS SOUPS 24821762 WITH SCORE 2.4903450326E7
AT ITER 476 NEW BEST:: SOT 133089950 SOS 81681054 HAS SOPS 66353927 HAS SOUS 25451066 HAS SOUPS 24819994 WITH SCORE 2.4901675054E7
AT ITER 485 NEW BEST:: SOT 133090648 SOS 81681668 HAS SOPS 66357148 HAS SOUS 25450747 HAS SOUPS 24819675 WITH SCORE 2.4901356668E7
AT ITER 493 NEW BEST:: SOT 133104751 SOS 81726296 HAS SOPS 66422675 HAS SOUS 25439691 HAS SOUPS 24808619 WITH SCORE 2.4890345296E7
AT ITER 503 NEW BEST:: SOT 133104658 SOS 81726125 HAS SOPS 66421780 HAS SOUS 25438143 HAS SOUPS 24807195 WITH SCORE 2.4888921125E7
AT ITER 504 NEW BEST:: SOT 133103186 SOS 81725056 HAS SOPS 66426747 HAS SOUS 25436021 HAS SOUPS 24805189 WITH SCORE 2.4886914056E7
AT ITER 544 NEW BEST:: SOT 133102471 SOS 81722907 HAS SOPS 66424697 HAS SOUS 25435498 HAS SOUPS 24804666 WITH SCORE 2.4886388907E7
AT ITER 571 NEW BEST:: SOT 133104057 SOS 81725320 HAS SOPS 66426719 HAS SOUS 25435065 HAS SOUPS 24804008 WITH SCORE 2.488573332E7
AT ITER 589 NEW BEST:: SOT 133076482 SOS 81681106 HAS SOPS 66391852 HAS SOUS 25404113 HAS SOUPS 24774410 WITH SCORE 2.4856091106E7
AT ITER 616 NEW BEST:: SOT 133005690 SOS 81490825 HAS SOPS 66258301 HAS SOUS 25351965 HAS SOUPS 24722262 WITH SCORE 2.4803752825E7
AT ITER 652 NEW BEST:: SOT 132998766 SOS 81484471 HAS SOPS 66258858 HAS SOUS 25347943 HAS SOUPS 24718240 WITH SCORE 2.4799724471E7
AT ITER 675 NEW BEST:: SOT 132963542 SOS 81422051 HAS SOPS 66212966 HAS SOUS 25320750 HAS SOUPS 24691047 WITH SCORE 2.4772469051E7
AT ITER 703 NEW BEST:: SOT 132963036 SOS 81422533 HAS SOPS 66212929 HAS SOUS 25316607 HAS SOUPS 24686932 WITH SCORE 2.4768354533E7
AT ITER 704 NEW BEST:: SOT 132961740 SOS 81421049 HAS SOPS 66211150 HAS SOUS 25312702 HAS SOUPS 24683136 WITH SCORE 2.4764557049E7
AT ITER 740 NEW BEST:: SOT 132961670 SOS 81420469 HAS SOPS 66210390 HAS SOUS 25312522 HAS SOUPS 24682956 WITH SCORE 2.4764376469E7
AT ITER 747 NEW BEST:: SOT 132961665 SOS 81421115 HAS SOPS 66209944 HAS SOUS 25311657 HAS SOUPS 24682091 WITH SCORE 2.4763512115E7
AT ITER 755 NEW BEST:: SOT 132960837 SOS 81413900 HAS SOPS 66209082 HAS SOUS 25311382 HAS SOUPS 24681816 WITH SCORE 2.47632299E7
AT ITER 761 NEW BEST:: SOT 132956793 SOS 81403257 HAS SOPS 66197075 HAS SOUS 25306094 HAS SOUPS 24676528 WITH SCORE 2.4757931257E7
AT ITER 791 NEW BEST:: SOT 132956497 SOS 81401867 HAS SOPS 66196064 HAS SOUS 25305212 HAS SOUPS 24675646 WITH SCORE 2.4757047867E7
AT ITER 837 NEW BEST:: SOT 132916198 SOS 81326967 HAS SOPS 66131059 HAS SOUS 25266191 HAS SOUPS 24636761 WITH SCORE 2.4718087967E7
AT ITER 858 NEW BEST:: SOT 132919446 SOS 81363154 HAS SOPS 66153864 HAS SOUS 25235625 HAS SOUPS 24606195 WITH SCORE 2.4687558154E7
AT ITER 867 NEW BEST:: SOT 132919430 SOS 81363138 HAS SOPS 66153848 HAS SOUS 25235593 HAS SOUPS 24606163 WITH SCORE 2.4687526138E7
AT ITER 873 NEW BEST:: SOT 132897239 SOS 81331318 HAS SOPS 66122605 HAS SOUS 25205409 HAS SOUPS 24575979 WITH SCORE 2.4657310318E7
AT ITER 885 NEW BEST:: SOT 132895055 SOS 81329878 HAS SOPS 66118322 HAS SOUS 25197373 HAS SOUPS 24567943 WITH SCORE 2.4649272878E7
AT ITER 900 NEW BEST:: SOT 132895288 SOS 81327438 HAS SOPS 66114565 HAS SOUS 25195019 HAS SOUPS 24565712 WITH SCORE 2.4647039438E7
AT ITER 905 NEW BEST:: SOT 132892914 SOS 81325047 HAS SOPS 66114334 HAS SOUS 25192937 HAS SOUPS 24563678 WITH SCORE 2.4645003047E7
AT ITER 906 NEW BEST:: SOT 132875511 SOS 81303704 HAS SOPS 66094395 HAS SOUS 25166063 HAS SOUPS 24536804 WITH SCORE 2.4618107704E7
AT ITER 919 NEW BEST:: SOT 132871969 SOS 81289305 HAS SOPS 66082613 HAS SOUS 25164810 HAS SOUPS 24535551 WITH SCORE 2.4616840305E7
AT ITER 920 NEW BEST:: SOT 132874001 SOS 81291371 HAS SOPS 66092656 HAS SOUS 25164551 HAS SOUPS 24535349 WITH SCORE 2.4616640371E7
AT ITER 921 NEW BEST:: SOT 132921565 SOS 81443280 HAS SOPS 66239688 HAS SOUS 25084407 HAS SOUPS 24455205 WITH SCORE 2.453664828E7
AT ITER 945 NEW BEST:: SOT 132920244 SOS 81444777 HAS SOPS 66235433 HAS SOUS 25072940 HAS SOUPS 24443738 WITH SCORE 2.4525182777E7
AT ITER 948 NEW BEST:: SOT 132921699 SOS 81455489 HAS SOPS 66246414 HAS SOUS 25067932 HAS SOUPS 24438730 WITH SCORE 2.4520185489E7
AT ITER 951 NEW BEST:: SOT 132962065 SOS 81578625 HAS SOPS 66370858 HAS SOUS 25021628 HAS SOUPS 24392426 WITH SCORE 2.4474004625E7
AT ITER 983 NEW BEST:: SOT 132937518 SOS 81554514 HAS SOPS 66346262 HAS SOUS 24985500 HAS SOUPS 24356287 WITH SCORE 2.4437841514E7
AT ITER 988 NEW BEST:: SOT 132913481 SOS 81509810 HAS SOPS 66312307 HAS SOUS 24984666 HAS SOUPS 24355703 WITH SCORE 2.443721281E7
AT ITER 1001 NEW BEST:: SOT 132927038 SOS 81552251 HAS SOPS 66338873 HAS SOUS 24983054 HAS SOUPS 24354091 WITH SCORE 2.4435643251E7
AT ITER 1012 NEW BEST:: SOT 132931471 SOS 81558316 HAS SOPS 66345632 HAS SOUS 24981915 HAS SOUPS 24353621 WITH SCORE 2.4435179316E7
AT ITER 1017 NEW BEST:: SOT 132921205 SOS 81546317 HAS SOPS 66337225 HAS SOUS 24973519 HAS SOUPS 24345225 WITH SCORE 2.4426771317E7
AT ITER 1019 NEW BEST:: SOT 132942017 SOS 81593800 HAS SOPS 66377230 HAS SOUS 24960606 HAS SOUPS 24332312 WITH SCORE 2.44139058E7
AT ITER 1024 NEW BEST:: SOT 132929483 SOS 81570534 HAS SOPS 66360442 HAS SOUS 24958525 HAS SOUPS 24330231 WITH SCORE 2.4411801534E7
AT ITER 1030 NEW BEST:: SOT 132915304 SOS 81554468 HAS SOPS 66345258 HAS SOUS 24928916 HAS SOUPS 24300914 WITH SCORE 2.4382468468E7
AT ITER 1031 NEW BEST:: SOT 132913245 SOS 81550422 HAS SOPS 66341115 HAS SOUS 24921280 HAS SOUPS 24293341 WITH SCORE 2.4374891422E7
AT ITER 1040 NEW BEST:: SOT 132908486 SOS 81537213 HAS SOPS 66340321 HAS SOUS 24912859 HAS SOUPS 24284920 WITH SCORE 2.4366457213E7
AT ITER 1052 NEW BEST:: SOT 132907419 SOS 81536265 HAS SOPS 66339373 HAS SOUS 24911285 HAS SOUPS 24283346 WITH SCORE 2.4364882265E7
AT ITER 1064 NEW BEST:: SOT 132936067 SOS 81621288 HAS SOPS 66412436 HAS SOUS 24908482 HAS SOUPS 24279774 WITH SCORE 2.4361395288E7
AT ITER 1074 NEW BEST:: SOT 132927201 SOS 81610996 HAS SOPS 66402744 HAS SOUS 24888428 HAS SOUPS 24259785 WITH SCORE 2.4341395996E7
AT ITER 1101 NEW BEST:: SOT 132926546 SOS 81611666 HAS SOPS 66403539 HAS SOUS 24886473 HAS SOUPS 24257830 WITH SCORE 2.4339441666E7
AT ITER 1123 NEW BEST:: SOT 132922445 SOS 81604460 HAS SOPS 66398088 HAS SOUS 24884208 HAS SOUPS 24255565 WITH SCORE 2.433716946E7
AT ITER 1129 NEW BEST:: SOT 132930417 SOS 81643927 HAS SOPS 66423765 HAS SOUS 24830085 HAS SOUPS 24201169 WITH SCORE 2.4282812927E7
AT ITER 1133 NEW BEST:: SOT 132931074 SOS 81645301 HAS SOPS 66423583 HAS SOUS 24829065 HAS SOUPS 24200149 WITH SCORE 2.4281794301E7
AT ITER 1141 NEW BEST:: SOT 132949942 SOS 81662225 HAS SOPS 66433165 HAS SOUS 24827211 HAS SOUPS 24198272 WITH SCORE 2.4279934225E7
AT ITER 1143 NEW BEST:: SOT 132943557 SOS 81653742 HAS SOPS 66430676 HAS SOUS 24818836 HAS SOUPS 24189897 WITH SCORE 2.4271550742E7
AT ITER 1166 NEW BEST:: SOT 132943644 SOS 81658582 HAS SOPS 66436842 HAS SOUS 24817812 HAS SOUPS 24188919 WITH SCORE 2.4270577582E7
AT ITER 1181 NEW BEST:: SOT 132944003 SOS 81663672 HAS SOPS 66431028 HAS SOUS 24795660 HAS SOUPS 24166611 WITH SCORE 2.4248274672E7
AT ITER 1200 NEW BEST:: SOT 132931006 SOS 81650836 HAS SOPS 66418192 HAS SOUS 24790634 HAS SOUPS 24161585 WITH SCORE 2.4243235836E7
AT ITER 1205 NEW BEST:: SOT 132938745 SOS 81675844 HAS SOPS 66438298 HAS SOUS 24788829 HAS SOUPS 24159780 WITH SCORE 2.4241455844E7
AT ITER 1216 NEW BEST:: SOT 132941949 SOS 81697647 HAS SOPS 66468077 HAS SOUS 24778920 HAS SOUPS 24149871 WITH SCORE 2.4231568647E7
AT ITER 1239 NEW BEST:: SOT 132934963 SOS 81688399 HAS SOPS 66466840 HAS SOUS 24760235 HAS SOUPS 24131186 WITH SCORE 2.4212874399E7
AT ITER 1252 NEW BEST:: SOT 132935991 SOS 81695259 HAS SOPS 66474714 HAS SOUS 24758846 HAS SOUPS 24129797 WITH SCORE 2.4211492259E7
AT ITER 1268 NEW BEST:: SOT 132935415 SOS 81694341 HAS SOPS 66473421 HAS SOUS 24758152 HAS SOUPS 24129103 WITH SCORE 2.4210797341E7
AT ITER 1280 NEW BEST:: SOT 132936055 SOS 81693577 HAS SOPS 66474061 HAS SOUS 24757963 HAS SOUPS 24128914 WITH SCORE 2.4210607577E7
AT ITER 1281 NEW BEST:: SOT 132935396 SOS 81697917 HAS SOPS 66472926 HAS SOUS 24739715 HAS SOUPS 24110883 WITH SCORE 2.4192580917E7
AT ITER 1286 NEW BEST:: SOT 132910929 SOS 81650828 HAS SOPS 66432306 HAS SOUS 24736865 HAS SOUPS 24107616 WITH SCORE 2.4189266828E7
AT ITER 1290 NEW BEST:: SOT 132907826 SOS 81649666 HAS SOPS 66430568 HAS SOUS 24732660 HAS SOUPS 24103411 WITH SCORE 2.4185060666E7
AT ITER 1305 NEW BEST:: SOT 132882048 SOS 81612948 HAS SOPS 66402377 HAS SOUS 24682731 HAS SOUPS 24054176 WITH SCORE 2.4135788948E7
AT ITER 1308 NEW BEST:: SOT 132875206 SOS 81624498 HAS SOPS 66407775 HAS SOUS 24648722 HAS SOUPS 24020167 WITH SCORE 2.4101791498E7
AT ITER 1310 NEW BEST:: SOT 132873124 SOS 81620197 HAS SOPS 66405431 HAS SOUS 24647797 HAS SOUPS 24019343 WITH SCORE 2.4100963197E7
AT ITER 1312 NEW BEST:: SOT 132873022 SOS 81620278 HAS SOPS 66405374 HAS SOUS 24647506 HAS SOUPS 24019052 WITH SCORE 2.4100672278E7
AT ITER 1320 NEW BEST:: SOT 132876950 SOS 81638753 HAS SOPS 66421850 HAS SOUS 24643595 HAS SOUPS 24015141 WITH SCORE 2.4096779753E7
AT ITER 1324 NEW BEST:: SOT 132876966 SOS 81638765 HAS SOPS 66421750 HAS SOUS 24643244 HAS SOUPS 24014790 WITH SCORE 2.4096428765E7
AT ITER 1329 NEW BEST:: SOT 132884454 SOS 81695707 HAS SOPS 66470961 HAS SOUS 24613083 HAS SOUPS 23984629 WITH SCORE 2.4066324707E7
AT ITER 1331 NEW BEST:: SOT 132869537 SOS 81671009 HAS SOPS 66452726 HAS SOUS 24592874 HAS SOUPS 23964420 WITH SCORE 2.4046091009E7
AT ITER 1341 NEW BEST:: SOT 132870868 SOS 81678977 HAS SOPS 66457177 HAS SOUS 24564736 HAS SOUPS 23939622 WITH SCORE 2.4021300977E7
AT ITER 1352 NEW BEST:: SOT 132850234 SOS 81646230 HAS SOPS 66430591 HAS SOUS 24545337 HAS SOUPS 23920659 WITH SCORE 2.400230523E7
AT ITER 1363 NEW BEST:: SOT 132860706 SOS 81669726 HAS SOPS 66454317 HAS SOUS 24544609 HAS SOUPS 23919931 WITH SCORE 2.4001600726E7
AT ITER 1368 NEW BEST:: SOT 132860043 SOS 81674059 HAS SOPS 66457360 HAS SOUS 24536390 HAS SOUPS 23911712 WITH SCORE 2.3993386059E7
AT ITER 1373 NEW BEST:: SOT 132859165 SOS 81672797 HAS SOPS 66456145 HAS SOUS 24534967 HAS SOUPS 23910305 WITH SCORE 2.3991977797E7
AT ITER 1377 NEW BEST:: SOT 132852481 SOS 81658956 HAS SOPS 66448464 HAS SOUS 24533515 HAS SOUPS 23908908 WITH SCORE 2.3990566956E7
AT ITER 1378 NEW BEST:: SOT 132838898 SOS 81635920 HAS SOPS 66441193 HAS SOUS 24531259 HAS SOUPS 23906652 WITH SCORE 2.398828792E7
AT ITER 1389 NEW BEST:: SOT 132837479 SOS 81636991 HAS SOPS 66436872 HAS SOUS 24519138 HAS SOUPS 23894531 WITH SCORE 2.3976167991E7
AT ITER 1390 NEW BEST:: SOT 132837479 SOS 81637059 HAS SOPS 66436940 HAS SOUS 24518866 HAS SOUPS 23894259 WITH SCORE 2.3975896059E7
AT ITER 1391 NEW BEST:: SOT 132837474 SOS 81636916 HAS SOPS 66436679 HAS SOUS 24518822 HAS SOUPS 23894215 WITH SCORE 2.3975851916E7
AT ITER 1401 NEW BEST:: SOT 132839958 SOS 81644391 HAS SOPS 66438840 HAS SOUS 24510845 HAS SOUPS 23886238 WITH SCORE 2.3967882391E7
AT ITER 1428 NEW BEST:: SOT 132819285 SOS 81629722 HAS SOPS 66430514 HAS SOUS 24498060 HAS SOUPS 23873453 WITH SCORE 2.3955082722E7
AT ITER 1429 NEW BEST:: SOT 132832534 SOS 81675752 HAS SOPS 66477856 HAS SOUS 24495869 HAS SOUPS 23871262 WITH SCORE 2.3952937752E7
AT ITER 1431 NEW BEST:: SOT 132843360 SOS 81703904 HAS SOPS 66502039 HAS SOUS 24486991 HAS SOUPS 23862384 WITH SCORE 2.3944087904E7
AT ITER 1433 NEW BEST:: SOT 132844518 SOS 81706098 HAS SOPS 66503683 HAS SOUS 24486237 HAS SOUPS 23861823 WITH SCORE 2.3943529098E7
AT ITER 1464 NEW BEST:: SOT 132835717 SOS 81674432 HAS SOPS 66472188 HAS SOUS 24479873 HAS SOUPS 23855459 WITH SCORE 2.3937133432E7
AT ITER 1470 NEW BEST:: SOT 132830692 SOS 81667977 HAS SOPS 66461550 HAS SOUS 24468341 HAS SOUPS 23843927 WITH SCORE 2.3925594977E7
AT ITER 1482 NEW BEST:: SOT 132789351 SOS 81594127 HAS SOPS 66422342 HAS SOUS 24429131 HAS SOUPS 23804717 WITH SCORE 2.3886311127E7
AT ITER 1483 NEW BEST:: SOT 132790115 SOS 81598904 HAS SOPS 66426455 HAS SOUS 24428465 HAS SOUPS 23804051 WITH SCORE 2.3885649904E7
AT ITER 1484 NEW BEST:: SOT 132779400 SOS 81581699 HAS SOPS 66407175 HAS SOUS 24413458 HAS SOUPS 23788594 WITH SCORE 2.3870175699E7
AT ITER 1505 NEW BEST:: SOT 132778834 SOS 81581133 HAS SOPS 66405937 HAS SOUS 24411548 HAS SOUPS 23786684 WITH SCORE 2.3868265133E7
AT ITER 1506 NEW BEST:: SOT 132776074 SOS 81578373 HAS SOPS 66403177 HAS SOUS 24408788 HAS SOUPS 23783924 WITH SCORE 2.3865502373E7
AT ITER 1514 NEW BEST:: SOT 132780645 SOS 81593432 HAS SOPS 66414432 HAS SOUS 24408437 HAS SOUPS 23783573 WITH SCORE 2.3865166432E7
AT ITER 1517 NEW BEST:: SOT 132775980 SOS 81593005 HAS SOPS 66400957 HAS SOUS 24371441 HAS SOUPS 23746577 WITH SCORE 2.3828170005E7
AT ITER 1522 NEW BEST:: SOT 132775143 SOS 81608325 HAS SOPS 66414831 HAS SOUS 24348757 HAS SOUPS 23723893 WITH SCORE 2.3805501325E7
AT ITER 1525 NEW BEST:: SOT 132780369 SOS 81624359 HAS SOPS 66424839 HAS SOUS 24321422 HAS SOUPS 23696558 WITH SCORE 2.3778182359E7
AT ITER 1528 NEW BEST:: SOT 132779811 SOS 81624023 HAS SOPS 66424299 HAS SOUS 24320546 HAS SOUPS 23695682 WITH SCORE 2.3777306023E7
AT ITER 1533 NEW BEST:: SOT 132778428 SOS 81622822 HAS SOPS 66424768 HAS SOUS 24316054 HAS SOUPS 23691190 WITH SCORE 2.3772812822E7
AT ITER 1536 NEW BEST:: SOT 132781624 SOS 81639952 HAS SOPS 66442129 HAS SOUS 24313828 HAS SOUPS 23688964 WITH SCORE 2.3770603952E7
AT ITER 1547 NEW BEST:: SOT 132767201 SOS 81608807 HAS SOPS 66441928 HAS SOUS 24305265 HAS SOUPS 23680741 WITH SCORE 2.3762349807E7
AT ITER 1553 NEW BEST:: SOT 132747823 SOS 81586437 HAS SOPS 66426333 HAS SOUS 24233163 HAS SOUPS 23609372 WITH SCORE 2.3690958437E7
AT ITER 1565 NEW BEST:: SOT 132708435 SOS 81552458 HAS SOPS 66362327 HAS SOUS 24130306 HAS SOUPS 23506175 WITH SCORE 2.3587727458E7
AT ITER 1570 NEW BEST:: SOT 132711375 SOS 81563563 HAS SOPS 66375192 HAS SOUS 24122870 HAS SOUPS 23498739 WITH SCORE 2.3580302563E7
AT ITER 1582 NEW BEST:: SOT 132721287 SOS 81592859 HAS SOPS 66414051 HAS SOUS 24121552 HAS SOUPS 23498307 WITH SCORE 2.3579899859E7
AT ITER 1583 NEW BEST:: SOT 132700168 SOS 81541135 HAS SOPS 66381690 HAS SOUS 24100559 HAS SOUPS 23477637 WITH SCORE 2.3559178135E7
AT ITER 1586 NEW BEST:: SOT 132685402 SOS 81523417 HAS SOPS 66361067 HAS SOUS 24049521 HAS SOUPS 23427315 WITH SCORE 2.3508838417E7
AT ITER 1602 NEW BEST:: SOT 132684224 SOS 81529331 HAS SOPS 66374770 HAS SOUS 24038190 HAS SOUPS 23416308 WITH SCORE 2.3497837331E7
AT ITER 1618 NEW BEST:: SOT 132680327 SOS 81515285 HAS SOPS 66361289 HAS SOUS 24021081 HAS SOUPS 23399199 WITH SCORE 2.3480714285E7
AT ITER 1620 NEW BEST:: SOT 132680804 SOS 81517337 HAS SOPS 66362501 HAS SOUS 24020444 HAS SOUPS 23398562 WITH SCORE 2.3480079337E7
AT ITER 1631 NEW BEST:: SOT 132678682 SOS 81515215 HAS SOPS 66360379 HAS SOUS 24018002 HAS SOUPS 23396120 WITH SCORE 2.3477635215E7
AT ITER 1635 NEW BEST:: SOT 132666321 SOS 81505359 HAS SOPS 66352033 HAS SOUS 24004742 HAS SOUPS 23383709 WITH SCORE 2.3465214359E7
AT ITER 1659 NEW BEST:: SOT 132663123 SOS 81494809 HAS SOPS 66345957 HAS SOUS 23993586 HAS SOUPS 23372553 WITH SCORE 2.3454047809E7
AT ITER 1660 NEW BEST:: SOT 132649941 SOS 81464011 HAS SOPS 66319257 HAS SOUS 23977982 HAS SOUPS 23356949 WITH SCORE 2.3438413011E7
AT ITER 1662 NEW BEST:: SOT 132677270 SOS 81545675 HAS SOPS 66392157 HAS SOUS 23952993 HAS SOUPS 23331960 WITH SCORE 2.3413505675E7
AT ITER 1664 NEW BEST:: SOT 132664379 SOS 81523137 HAS SOPS 66370207 HAS SOUS 23942666 HAS SOUPS 23321633 WITH SCORE 2.3403156137E7
AT ITER 1674 NEW BEST:: SOT 132664392 SOS 81533791 HAS SOPS 66379011 HAS SOUS 23941885 HAS SOUPS 23320852 WITH SCORE 2.3402385791E7
AT ITER 1685 NEW BEST:: SOT 132640541 SOS 81493120 HAS SOPS 66337597 HAS SOUS 23910638 HAS SOUPS 23289605 WITH SCORE 2.337109812E7
AT ITER 1694 NEW BEST:: SOT 132637237 SOS 81474165 HAS SOPS 66335017 HAS SOUS 23907402 HAS SOUPS 23286369 WITH SCORE 2.3367843165E7
AT ITER 1725 NEW BEST:: SOT 132603507 SOS 81440435 HAS SOPS 66301287 HAS SOUS 23852216 HAS SOUPS 23231183 WITH SCORE 2.3312623435E7
AT ITER 1736 NEW BEST:: SOT 132608947 SOS 81463592 HAS SOPS 66316483 HAS SOUS 23850207 HAS SOUPS 23229174 WITH SCORE 2.3310637592E7
AT ITER 1740 NEW BEST:: SOT 132571159 SOS 81416078 HAS SOPS 66265330 HAS SOUS 23806338 HAS SOUPS 23185305 WITH SCORE 2.3266721078E7
AT ITER 1744 NEW BEST:: SOT 132571073 SOS 81416595 HAS SOPS 66263867 HAS SOUS 23805118 HAS SOUPS 23184085 WITH SCORE 2.3265501595E7
AT ITER 1758 NEW BEST:: SOT 132574124 SOS 81415699 HAS SOPS 66256688 HAS SOUS 23793338 HAS SOUPS 23172305 WITH SCORE 2.3253720699E7
AT ITER 1770 NEW BEST:: SOT 132558518 SOS 81384000 HAS SOPS 66252532 HAS SOUS 23747513 HAS SOUPS 23132220 WITH SCORE 2.3213604E7
AT ITER 1775 NEW BEST:: SOT 132558682 SOS 81383876 HAS SOPS 66252460 HAS SOUS 23747072 HAS SOUPS 23131839 WITH SCORE 2.3213222876E7
AT ITER 1790 NEW BEST:: SOT 132560925 SOS 81401857 HAS SOPS 66276463 HAS SOUS 23746073 HAS SOUPS 23130840 WITH SCORE 2.3212241857E7
AT ITER 1794 NEW BEST:: SOT 132554139 SOS 81390225 HAS SOPS 66297021 HAS SOUS 23740071 HAS SOUPS 23124838 WITH SCORE 2.3206228225E7
AT ITER 1801 NEW BEST:: SOT 132552285 SOS 81401369 HAS SOPS 66309821 HAS SOUS 23736370 HAS SOUPS 23121538 WITH SCORE 2.3202939369E7
AT ITER 1811 NEW BEST:: SOT 132531197 SOS 81366692 HAS SOPS 66282473 HAS SOUS 23721726 HAS SOUPS 23107013 WITH SCORE 2.3188379692E7
AT ITER 1816 NEW BEST:: SOT 132531197 SOS 81367716 HAS SOPS 66282473 HAS SOUS 23721598 HAS SOUPS 23106885 WITH SCORE 2.3188252716E7
AT ITER 1842 NEW BEST:: SOT 132534455 SOS 81387158 HAS SOPS 66302074 HAS SOUS 23715963 HAS SOUPS 23101250 WITH SCORE 2.3182637158E7
AT ITER 1843 NEW BEST:: SOT 132570137 SOS 81435440 HAS SOPS 66359014 HAS SOUS 23705843 HAS SOUPS 23091168 WITH SCORE 2.317260344E7
AT ITER 1850 NEW BEST:: SOT 132596943 SOS 81470503 HAS SOPS 66407522 HAS SOUS 23679629 HAS SOUPS 23064954 WITH SCORE 2.3146424503E7
AT ITER 1851 NEW BEST:: SOT 132467620 SOS 81337590 HAS SOPS 66258604 HAS SOUS 23484739 HAS SOUPS 22870373 WITH SCORE 2.295171059E7
AT ITER 1916 NEW BEST:: SOT 132479772 SOS 81372938 HAS SOPS 66289817 HAS SOUS 23484672 HAS SOUPS 22870306 WITH SCORE 2.2951678938E7
AT ITER 1921 NEW BEST:: SOT 132482959 SOS 81388188 HAS SOPS 66296401 HAS SOUS 23473573 HAS SOUPS 22859207 WITH SCORE 2.2940595188E7
AT ITER 1926 NEW BEST:: SOT 132485829 SOS 81420996 HAS SOPS 66323916 HAS SOUS 23451407 HAS SOUPS 22837041 WITH SCORE 2.2918461996E7
AT ITER 1927 NEW BEST:: SOT 132486388 SOS 81423995 HAS SOPS 66327326 HAS SOUS 23449786 HAS SOUPS 22835420 WITH SCORE 2.2916843995E7
AT ITER 1929 NEW BEST:: SOT 132488614 SOS 81430483 HAS SOPS 66332744 HAS SOUS 23448464 HAS SOUPS 22834098 WITH SCORE 2.2915528483E7
AT ITER 1933 NEW BEST:: SOT 132484516 SOS 81430673 HAS SOPS 66328406 HAS SOUS 23436466 HAS SOUPS 22822024 WITH SCORE 2.2903454673E7
AT ITER 1962 NEW BEST:: SOT 132479928 SOS 81426079 HAS SOPS 66325538 HAS SOUS 23431997 HAS SOUPS 22817555 WITH SCORE 2.2898981079E7
AT ITER 1964 NEW BEST:: SOT 132490357 SOS 81480762 HAS SOPS 66378232 HAS SOUS 23421667 HAS SOUPS 22807225 WITH SCORE 2.2888705762E7
AT ITER 1983 NEW BEST:: SOT 132491043 SOS 81482306 HAS SOPS 66379655 HAS SOUS 23420631 HAS SOUPS 22806200 WITH SCORE 2.2887682306E7
AT ITER 1985 NEW BEST:: SOT 132490253 SOS 81473308 HAS SOPS 66369957 HAS SOUS 23417959 HAS SOUPS 22803528 WITH SCORE 2.2885001308E7
AT ITER 1986 NEW BEST:: SOT 132486729 SOS 81468476 HAS SOPS 66362494 HAS SOUS 23412212 HAS SOUPS 22797840 WITH SCORE 2.2879308476E7
AT ITER 1990 NEW BEST:: SOT 132484461 SOS 81466772 HAS SOPS 66364060 HAS SOUS 23404493 HAS SOUPS 22790047 WITH SCORE 2.2871513772E7
AT ITER 2005 NEW BEST:: SOT 132485384 SOS 81474509 HAS SOPS 66368431 HAS SOUS 23399255 HAS SOUPS 22784809 WITH SCORE 2.2866283509E7
AT ITER 2012 NEW BEST:: SOT 132485673 SOS 81467676 HAS SOPS 66364428 HAS SOUS 23386513 HAS SOUPS 22773986 WITH SCORE 2.2855453676E7
AT ITER 2013 NEW BEST:: SOT 132492274 SOS 81474507 HAS SOPS 66379304 HAS SOUS 23374471 HAS SOUPS 22762493 WITH SCORE 2.2843967507E7
AT ITER 2063 NEW BEST:: SOT 132475121 SOS 81447046 HAS SOPS 66358811 HAS SOUS 23351239 HAS SOUPS 22740090 WITH SCORE 2.2821537046E7
AT ITER 2065 NEW BEST:: SOT 132494452 SOS 81498405 HAS SOPS 66396565 HAS SOUS 23350739 HAS SOUPS 22739590 WITH SCORE 2.2821088405E7
AT ITER 2073 NEW BEST:: SOT 132492082 SOS 81495930 HAS SOPS 66397839 HAS SOUS 23346198 HAS SOUPS 22735149 WITH SCORE 2.281664493E7
AT ITER 2083 NEW BEST:: SOT 132494558 SOS 81502113 HAS SOPS 66403228 HAS SOUS 23341992 HAS SOUPS 22730943 WITH SCORE 2.2812445113E7
AT ITER 2086 NEW BEST:: SOT 132465903 SOS 81451551 HAS SOPS 66412153 HAS SOUS 23307217 HAS SOUPS 22696168 WITH SCORE 2.2777619551E7
AT ITER 2134 NEW BEST:: SOT 132453594 SOS 81448159 HAS SOPS 66407743 HAS SOUS 23296305 HAS SOUPS 22685256 WITH SCORE 2.2766704159E7
AT ITER 2138 NEW BEST:: SOT 132427426 SOS 81421971 HAS SOPS 66381213 HAS SOUS 23269443 HAS SOUPS 22658394 WITH SCORE 2.2739815971E7
AT ITER 2141 NEW BEST:: SOT 132430776 SOS 81432998 HAS SOPS 66390538 HAS SOUS 23268354 HAS SOUPS 22657305 WITH SCORE 2.2738737998E7
AT ITER 2145 NEW BEST:: SOT 132430678 SOS 81457327 HAS SOPS 66392786 HAS SOUS 23239481 HAS SOUPS 22628431 WITH SCORE 2.2709888327E7
AT ITER 2148 NEW BEST:: SOT 132395448 SOS 81402789 HAS SOPS 66370303 HAS SOUS 23231972 HAS SOUPS 22620922 WITH SCORE 2.2702324789E7
AT ITER 2156 NEW BEST:: SOT 132408943 SOS 81419864 HAS SOPS 66383290 HAS SOUS 23230992 HAS SOUPS 22619740 WITH SCORE 2.2701159864E7
AT ITER 2166 NEW BEST:: SOT 132407615 SOS 81416021 HAS SOPS 66378531 HAS SOUS 23229239 HAS SOUPS 22617987 WITH SCORE 2.2699403021E7
AT ITER 2173 NEW BEST:: SOT 132401846 SOS 81410416 HAS SOPS 66381138 HAS SOUS 23228771 HAS SOUPS 22617519 WITH SCORE 2.2698929416E7
AT ITER 2174 NEW BEST:: SOT 132401709 SOS 81411175 HAS SOPS 66380910 HAS SOUS 23227969 HAS SOUPS 22616717 WITH SCORE 2.2698128175E7
AT ITER 2176 NEW BEST:: SOT 132402205 SOS 81416145 HAS SOPS 66386375 HAS SOUS 23227035 HAS SOUPS 22615783 WITH SCORE 2.2697199145E7
AT ITER 2181 NEW BEST:: SOT 132401080 SOS 81414888 HAS SOPS 66384800 HAS SOUS 23225466 HAS SOUPS 22614214 WITH SCORE 2.2695628888E7
AT ITER 2208 NEW BEST:: SOT 132393976 SOS 81396504 HAS SOPS 66371001 HAS SOUS 23220430 HAS SOUPS 22609178 WITH SCORE 2.2690574504E7
AT ITER 2210 NEW BEST:: SOT 132395245 SOS 81400479 HAS SOPS 66371767 HAS SOUS 23217231 HAS SOUPS 22606014 WITH SCORE 2.2687414479E7
AT ITER 2229 NEW BEST:: SOT 132399611 SOS 81411343 HAS SOPS 66381351 HAS SOUS 23215041 HAS SOUPS 22603824 WITH SCORE 2.2685235343E7
AT ITER 2244 NEW BEST:: SOT 132392787 SOS 81396152 HAS SOPS 66367703 HAS SOUS 23209815 HAS SOUPS 22598598 WITH SCORE 2.2679994152E7
AT ITER 2259 NEW BEST:: SOT 132393186 SOS 81396810 HAS SOPS 66372629 HAS SOUS 23203659 HAS SOUPS 22592433 WITH SCORE 2.267382981E7
AT ITER 2262 NEW BEST:: SOT 132390152 SOS 81396030 HAS SOPS 66368218 HAS SOUS 23202785 HAS SOUPS 22591559 WITH SCORE 2.267295503E7
AT ITER 2275 NEW BEST:: SOT 132376908 SOS 81359950 HAS SOPS 66347746 HAS SOUS 23202235 HAS SOUPS 22591009 WITH SCORE 2.267236895E7
AT ITER 2281 NEW BEST:: SOT 132393581 SOS 81394584 HAS SOPS 66368127 HAS SOUS 23202608 HAS SOUPS 22590092 WITH SCORE 2.2671486584E7
AT ITER 2285 NEW BEST:: SOT 132396035 SOS 81397084 HAS SOPS 66368405 HAS SOUS 23199174 HAS SOUPS 22586658 WITH SCORE 2.2668055084E7
AT ITER 2287 NEW BEST:: SOT 132394286 SOS 81391350 HAS SOPS 66352986 HAS SOUS 23198277 HAS SOUPS 22585761 WITH SCORE 2.266715235E7
AT ITER 2289 NEW BEST:: SOT 132395260 SOS 81390022 HAS SOPS 66351171 HAS SOUS 23186171 HAS SOUPS 22576884 WITH SCORE 2.2658274022E7
AT ITER 2297 NEW BEST:: SOT 132395286 SOS 81390484 HAS SOPS 66350895 HAS SOUS 23186043 HAS SOUPS 22576748 WITH SCORE 2.2658138484E7
AT ITER 2298 NEW BEST:: SOT 132401101 SOS 81409747 HAS SOPS 66371263 HAS SOUS 23185511 HAS SOUPS 22576216 WITH SCORE 2.2657625747E7
AT ITER 2302 NEW BEST:: SOT 132380784 SOS 81358833 HAS SOPS 66339989 HAS SOUS 23170905 HAS SOUPS 22562687 WITH SCORE 2.2644045833E7
AT ITER 2309 NEW BEST:: SOT 132432341 SOS 81453556 HAS SOPS 66468911 HAS SOUS 23135049 HAS SOUPS 22526831 WITH SCORE 2.2608284556E7
AT ITER 2320 NEW BEST:: SOT 132413796 SOS 81405529 HAS SOPS 66424065 HAS SOUS 23126025 HAS SOUPS 22517807 WITH SCORE 2.2599212529E7
AT ITER 2322 NEW BEST:: SOT 132422043 SOS 81462091 HAS SOPS 66481424 HAS SOUS 23118912 HAS SOUPS 22510694 WITH SCORE 2.2592156091E7
AT ITER 2358 NEW BEST:: SOT 132437631 SOS 81491272 HAS SOPS 66538422 HAS SOUS 23116891 HAS SOUPS 22508673 WITH SCORE 2.2590164272E7
AT ITER 2382 NEW BEST:: SOT 132432874 SOS 81479953 HAS SOPS 66531865 HAS SOUS 23114294 HAS SOUPS 22506076 WITH SCORE 2.2587555953E7
AT ITER 2387 NEW BEST:: SOT 132431524 SOS 81477937 HAS SOPS 66529849 HAS SOUS 23111710 HAS SOUPS 22503502 WITH SCORE 2.2584979937E7
AT ITER 2393 NEW BEST:: SOT 132429729 SOS 81470378 HAS SOPS 66522967 HAS SOUS 23110489 HAS SOUPS 22502281 WITH SCORE 2.2583751378E7
AT ITER 2406 NEW BEST:: SOT 132429538 SOS 81470304 HAS SOPS 66523286 HAS SOUS 23109566 HAS SOUPS 22501358 WITH SCORE 2.2582828304E7
AT ITER 2428 NEW BEST:: SOT 132433781 SOS 81509544 HAS SOPS 66559116 HAS SOUS 23099670 HAS SOUPS 22491462 WITH SCORE 2.2572971544E7
AT ITER 2441 NEW BEST:: SOT 132438420 SOS 81546838 HAS SOPS 66583740 HAS SOUS 23088589 HAS SOUPS 22480381 WITH SCORE 2.2561927838E7
AT ITER 2443 NEW BEST:: SOT 132437626 SOS 81546138 HAS SOPS 66582320 HAS SOUS 23086883 HAS SOUPS 22478675 WITH SCORE 2.2560221138E7
AT ITER 2454 NEW BEST:: SOT 132437911 SOS 81545710 HAS SOPS 66588252 HAS SOUS 23084453 HAS SOUPS 22476245 WITH SCORE 2.255779071E7
AT ITER 2472 NEW BEST:: SOT 132433309 SOS 81539247 HAS SOPS 66575507 HAS SOUS 23072914 HAS SOUPS 22464629 WITH SCORE 2.2546168247E7
AT ITER 2490 NEW BEST:: SOT 132421746 SOS 81504222 HAS SOPS 66538531 HAS SOUS 23068570 HAS SOUPS 22460285 WITH SCORE 2.2541789222E7
AT ITER 2505 NEW BEST:: SOT 132418212 SOS 81495289 HAS SOPS 66529607 HAS SOUS 23061377 HAS SOUPS 22453092 WITH SCORE 2.2534587289E7
AT ITER 2523 NEW BEST:: SOT 132414324 SOS 81492753 HAS SOPS 66527128 HAS SOUS 23053124 HAS SOUPS 22444839 WITH SCORE 2.2526331753E7
AT ITER 2524 NEW BEST:: SOT 132422176 SOS 81527904 HAS SOPS 66561854 HAS SOUS 23042268 HAS SOUPS 22433983 WITH SCORE 2.2515510904E7
AT ITER 2526 NEW BEST:: SOT 132421612 SOS 81527405 HAS SOPS 66560977 HAS SOUS 23039057 HAS SOUPS 22430772 WITH SCORE 2.2512299405E7
AT ITER 2527 NEW BEST:: SOT 132419787 SOS 81525077 HAS SOPS 66559024 HAS SOUS 23035341 HAS SOUPS 22427077 WITH SCORE 2.2508602077E7
AT ITER 2533 NEW BEST:: SOT 132409136 SOS 81490177 HAS SOPS 66528820 HAS SOUS 23033333 HAS SOUPS 22425069 WITH SCORE 2.2506559177E7
AT ITER 2534 NEW BEST:: SOT 132420785 SOS 81526312 HAS SOPS 66568476 HAS SOUS 23012103 HAS SOUPS 22403839 WITH SCORE 2.2485365312E7
AT ITER 2536 NEW BEST:: SOT 132412379 SOS 81517794 HAS SOPS 66559958 HAS SOUS 22989124 HAS SOUPS 22380860 WITH SCORE 2.2462377794E7
AT ITER 2543 NEW BEST:: SOT 132417382 SOS 81520319 HAS SOPS 66570720 HAS SOUS 22985138 HAS SOUPS 22376874 WITH SCORE 2.2458394319E7
AT ITER 2548 NEW BEST:: SOT 132417401 SOS 81524496 HAS SOPS 66582805 HAS SOUS 22979943 HAS SOUPS 22371679 WITH SCORE 2.2453203496E7
AT ITER 2554 NEW BEST:: SOT 132416773 SOS 81523477 HAS SOPS 66581779 HAS SOUS 22979393 HAS SOUPS 22371129 WITH SCORE 2.2452652477E7
AT ITER 2565 NEW BEST:: SOT 132429901 SOS 81548634 HAS SOPS 66614826 HAS SOUS 22977227 HAS SOUPS 22368963 WITH SCORE 2.2450511634E7
AT ITER 2574 NEW BEST:: SOT 132434277 SOS 81558815 HAS SOPS 66623398 HAS SOUS 22974987 HAS SOUPS 22366723 WITH SCORE 2.2448281815E7
AT ITER 2587 NEW BEST:: SOT 132425254 SOS 81549592 HAS SOPS 66605791 HAS SOUS 22962932 HAS SOUPS 22354668 WITH SCORE 2.2436217592E7
AT ITER 2593 NEW BEST:: SOT 132420500 SOS 81547259 HAS SOPS 66601037 HAS SOUS 22957271 HAS SOUPS 22349007 WITH SCORE 2.2430554259E7
AT ITER 2617 NEW BEST:: SOT 132411773 SOS 81525685 HAS SOPS 66584856 HAS SOUS 22956730 HAS SOUPS 22348466 WITH SCORE 2.2429991685E7
AT ITER 2635 NEW BEST:: SOT 132411770 SOS 81525653 HAS SOPS 66584728 HAS SOUS 22956650 HAS SOUPS 22348338 WITH SCORE 2.2429863653E7
AT ITER 2638 NEW BEST:: SOT 132420254 SOS 81555253 HAS SOPS 66609940 HAS SOUS 22954848 HAS SOUPS 22346536 WITH SCORE 2.2428091253E7
AT ITER 2642 NEW BEST:: SOT 132385791 SOS 81520553 HAS SOPS 66570189 HAS SOUS 22896495 HAS SOUPS 22287689 WITH SCORE 2.2369209553E7
AT ITER 2655 NEW BEST:: SOT 132386032 SOS 81516475 HAS SOPS 66582875 HAS SOUS 22878090 HAS SOUPS 22269284 WITH SCORE 2.2350800475E7
AT ITER 2660 NEW BEST:: SOT 132380353 SOS 81510796 HAS SOPS 66575788 HAS SOUS 22874763 HAS SOUPS 22265941 WITH SCORE 2.2347451796E7
AT ITER 2671 NEW BEST:: SOT 132371687 SOS 81504205 HAS SOPS 66569480 HAS SOUS 22855982 HAS SOUPS 22247168 WITH SCORE 2.2328672205E7
AT ITER 2679 NEW BEST:: SOT 132377629 SOS 81515343 HAS SOPS 66578677 HAS SOUS 22852853 HAS SOUPS 22244039 WITH SCORE 2.2325554343E7
AT ITER 2689 NEW BEST:: SOT 132382327 SOS 81522300 HAS SOPS 66588622 HAS SOUS 22843516 HAS SOUPS 22234702 WITH SCORE 2.23162243E7
AT ITER 2698 NEW BEST:: SOT 132382832 SOS 81522624 HAS SOPS 66591292 HAS SOUS 22840862 HAS SOUPS 22232140 WITH SCORE 2.2313662624E7
AT ITER 2709 NEW BEST:: SOT 132406848 SOS 81558828 HAS SOPS 66647838 HAS SOUS 22836434 HAS SOUPS 22227712 WITH SCORE 2.2309270828E7
AT ITER 2727 NEW BEST:: SOT 132407143 SOS 81564220 HAS SOPS 66656755 HAS SOUS 22836230 HAS SOUPS 22227508 WITH SCORE 2.230907222E7
AT ITER 2729 NEW BEST:: SOT 132389406 SOS 81520024 HAS SOPS 66623550 HAS SOUS 22828737 HAS SOUPS 22220317 WITH SCORE 2.2301837024E7
AT ITER 2734 NEW BEST:: SOT 132389406 SOS 81519950 HAS SOPS 66623374 HAS SOUS 22828635 HAS SOUPS 22220215 WITH SCORE 2.230173495E7
AT ITER 2745 NEW BEST:: SOT 132389296 SOS 81519462 HAS SOPS 66622760 HAS SOUS 22828624 HAS SOUPS 22220204 WITH SCORE 2.2301723462E7
AT ITER 2761 NEW BEST:: SOT 132364568 SOS 81476757 HAS SOPS 66584221 HAS SOUS 22802791 HAS SOUPS 22194371 WITH SCORE 2.2275847757E7
AT ITER 2775 NEW BEST:: SOT 132367044 SOS 81482120 HAS SOPS 66587430 HAS SOUS 22800971 HAS SOUPS 22192551 WITH SCORE 2.227403312E7
AT ITER 2799 NEW BEST:: SOT 132341737 SOS 81437749 HAS SOPS 66552897 HAS SOUS 22774461 HAS SOUPS 22166196 WITH SCORE 2.2247633749E7
AT ITER 2803 NEW BEST:: SOT 132428859 SOS 81522135 HAS SOPS 66637727 HAS SOUS 22754358 HAS SOUPS 22146266 WITH SCORE 2.2227788135E7
AT ITER 2827 NEW BEST:: SOT 132449116 SOS 81581448 HAS SOPS 66684310 HAS SOUS 22750130 HAS SOUPS 22142038 WITH SCORE 2.2223619448E7
AT ITER 2831 NEW BEST:: SOT 132436694 SOS 81568999 HAS SOPS 66670869 HAS SOUS 22744777 HAS SOUPS 22136685 WITH SCORE 2.2218253999E7
AT ITER 2855 NEW BEST:: SOT 132434154 SOS 81555723 HAS SOPS 66656792 HAS SOUS 22736113 HAS SOUPS 22128021 WITH SCORE 2.2209576723E7
AT ITER 2863 NEW BEST:: SOT 132429291 SOS 81556606 HAS SOPS 66657387 HAS SOUS 22734926 HAS SOUPS 22126792 WITH SCORE 2.2208348606E7
AT ITER 2873 NEW BEST:: SOT 132425689 SOS 81552972 HAS SOPS 66653769 HAS SOUS 22727100 HAS SOUPS 22118982 WITH SCORE 2.2200534972E7
AT ITER 2877 NEW BEST:: SOT 132388968 SOS 81470169 HAS SOPS 66580682 HAS SOUS 22716431 HAS SOUPS 22108313 WITH SCORE 2.2189783169E7
AT ITER 2887 NEW BEST:: SOT 132405326 SOS 81486501 HAS SOPS 66597014 HAS SOUS 22715003 HAS SOUPS 22106885 WITH SCORE 2.2188371501E7
AT ITER 2888 NEW BEST:: SOT 132405329 SOS 81486862 HAS SOPS 66597518 HAS SOUS 22714944 HAS SOUPS 22106826 WITH SCORE 2.2188312862E7
AT ITER 2903 NEW BEST:: SOT 132402321 SOS 81478356 HAS SOPS 66589412 HAS SOUS 22713315 HAS SOUPS 22105197 WITH SCORE 2.2186675356E7
AT ITER 2926 NEW BEST:: SOT 132401460 SOS 81468163 HAS SOPS 66588324 HAS SOUS 22704121 HAS SOUPS 22096224 WITH SCORE 2.2177692163E7
AT ITER 2939 NEW BEST:: SOT 132430360 SOS 81497296 HAS SOPS 66610125 HAS SOUS 22699077 HAS SOUPS 22091591 WITH SCORE 2.2173088296E7
AT ITER 2967 NEW BEST:: SOT 132429665 SOS 81496601 HAS SOPS 66610854 HAS SOUS 22696934 HAS SOUPS 22089448 WITH SCORE 2.2170944601E7
AT ITER 2970 NEW BEST:: SOT 132413440 SOS 81471018 HAS SOPS 66596000 HAS SOUS 22655302 HAS SOUPS 22047957 WITH SCORE 2.2129428018E7
AT ITER 2972 NEW BEST:: SOT 132413240 SOS 81468917 HAS SOPS 66589636 HAS SOUS 22646357 HAS SOUPS 22039012 WITH SCORE 2.2120480917E7
AT ITER 2974 NEW BEST:: SOT 132435289 SOS 81532563 HAS SOPS 66655159 HAS SOUS 22636302 HAS SOUPS 22028957 WITH SCORE 2.2110489563E7
AT ITER 3008 NEW BEST:: SOT 132419438 SOS 81481651 HAS SOPS 66622441 HAS SOUS 22623568 HAS SOUPS 22016223 WITH SCORE 2.2097704651E7
AT ITER 3012 NEW BEST:: SOT 132414943 SOS 81483154 HAS SOPS 66610229 HAS SOUS 22576463 HAS SOUPS 21969493 WITH SCORE 2.2050976154E7
AT ITER 3015 NEW BEST:: SOT 132411249 SOS 81478100 HAS SOPS 66605535 HAS SOUS 22571509 HAS SOUPS 21964559 WITH SCORE 2.20460371E7
AT ITER 3021 NEW BEST:: SOT 132408329 SOS 81473939 HAS SOPS 66600800 HAS SOUS 22554146 HAS SOUPS 21947484 WITH SCORE 2.2028957939E7
AT ITER 3027 NEW BEST:: SOT 132406372 SOS 81469306 HAS SOPS 66596999 HAS SOUS 22551961 HAS SOUPS 21945299 WITH SCORE 2.2026768306E7
AT ITER 3030 NEW BEST:: SOT 132407415 SOS 81476646 HAS SOPS 66599386 HAS SOUS 22547539 HAS SOUPS 21940877 WITH SCORE 2.2022353646E7
AT ITER 3045 NEW BEST:: SOT 132428082 SOS 81518296 HAS SOPS 66637775 HAS SOUS 22530206 HAS SOUPS 21923544 WITH SCORE 2.2005062296E7
AT ITER 3058 NEW BEST:: SOT 132423659 SOS 81512964 HAS SOPS 66634605 HAS SOUS 22525379 HAS SOUPS 21918717 WITH SCORE 2.2000229964E7
AT ITER 3063 NEW BEST:: SOT 132426792 SOS 81538847 HAS SOPS 66670974 HAS SOUS 22521130 HAS SOUPS 21914468 WITH SCORE 2.1996006847E7
AT ITER 3065 NEW BEST:: SOT 132408066 SOS 81500254 HAS SOPS 66640001 HAS SOUS 22513840 HAS SOUPS 21907178 WITH SCORE 2.1988678254E7
AT ITER 3079 NEW BEST:: SOT 132406776 SOS 81494723 HAS SOPS 66629780 HAS SOUS 22506800 HAS SOUPS 21900138 WITH SCORE 2.1981632723E7
AT ITER 3096 NEW BEST:: SOT 132415247 SOS 81515367 HAS SOPS 66648222 HAS SOUS 22491505 HAS SOUPS 21884843 WITH SCORE 2.1966358367E7
AT ITER 3098 NEW BEST:: SOT 132416800 SOS 81520601 HAS SOPS 66652069 HAS SOUS 22488939 HAS SOUPS 21882277 WITH SCORE 2.1963797601E7
AT ITER 3104 NEW BEST:: SOT 132414380 SOS 81507028 HAS SOPS 66640281 HAS SOUS 22486857 HAS SOUPS 21880195 WITH SCORE 2.1961702028E7
AT ITER 3105 NEW BEST:: SOT 132408130 SOS 81497719 HAS SOPS 66633929 HAS SOUS 22472331 HAS SOUPS 21867018 WITH SCORE 2.1948515719E7
AT ITER 3106 NEW BEST:: SOT 132391754 SOS 81455132 HAS SOPS 66604993 HAS SOUS 22470724 HAS SOUPS 21866262 WITH SCORE 2.1947717132E7
AT ITER 3107 NEW BEST:: SOT 132391413 SOS 81453778 HAS SOPS 66605042 HAS SOUS 22470054 HAS SOUPS 21865592 WITH SCORE 2.1947045778E7
AT ITER 3110 NEW BEST:: SOT 132387050 SOS 81450467 HAS SOPS 66599593 HAS SOUS 22461747 HAS SOUPS 21857285 WITH SCORE 2.1938735467E7
AT ITER 3111 NEW BEST:: SOT 132385402 SOS 81448787 HAS SOPS 66596159 HAS SOUS 22455257 HAS SOUPS 21850874 WITH SCORE 2.1932322787E7
AT ITER 3113 NEW BEST:: SOT 132390240 SOS 81459796 HAS SOPS 66608270 HAS SOUS 22448628 HAS SOUPS 21844270 WITH SCORE 2.1925729796E7
AT ITER 3117 NEW BEST:: SOT 132388017 SOS 81454919 HAS SOPS 66603744 HAS SOUS 22446629 HAS SOUPS 21842271 WITH SCORE 2.1923725919E7
AT ITER 3159 NEW BEST:: SOT 132392350 SOS 81485996 HAS SOPS 66633294 HAS SOUS 22420871 HAS SOUPS 21816513 WITH SCORE 2.1897998996E7
AT ITER 3166 NEW BEST:: SOT 132392839 SOS 81486502 HAS SOPS 66634073 HAS SOUS 22420462 HAS SOUPS 21816253 WITH SCORE 2.1897739502E7
AT ITER 3176 NEW BEST:: SOT 132383614 SOS 81479472 HAS SOPS 66626456 HAS SOUS 22405121 HAS SOUPS 21800912 WITH SCORE 2.1882391472E7
AT ITER 3179 NEW BEST:: SOT 132377671 SOS 81482284 HAS SOPS 66649095 HAS SOUS 22395814 HAS SOUPS 21791605 WITH SCORE 2.1873087284E7
AT ITER 3182 NEW BEST:: SOT 132373380 SOS 81468565 HAS SOPS 66640312 HAS SOUS 22394431 HAS SOUPS 21790222 WITH SCORE 2.1871690565E7
AT ITER 3185 NEW BEST:: SOT 132376377 SOS 81485722 HAS SOPS 66651950 HAS SOUS 22389090 HAS SOUPS 21784881 WITH SCORE 2.1866366722E7
AT ITER 3188 NEW BEST:: SOT 132380475 SOS 81504772 HAS SOPS 66666917 HAS SOUS 22388096 HAS SOUPS 21783887 WITH SCORE 2.1865391772E7
AT ITER 3196 NEW BEST:: SOT 132464937 SOS 81698922 HAS SOPS 66910105 HAS SOUS 22361549 HAS SOUPS 21758069 WITH SCORE 2.1839767922E7
AT ITER 3199 NEW BEST:: SOT 132464352 SOS 81698733 HAS SOPS 66909932 HAS SOUS 22359976 HAS SOUPS 21756480 WITH SCORE 2.1838178733E7
AT ITER 3206 NEW BEST:: SOT 132463336 SOS 81696531 HAS SOPS 66907870 HAS SOUS 22359072 HAS SOUPS 21755576 WITH SCORE 2.1837272531E7
AT ITER 3216 NEW BEST:: SOT 132463300 SOS 81696397 HAS SOPS 66907768 HAS SOUS 22359042 HAS SOUPS 21755546 WITH SCORE 2.1837242397E7
AT ITER 3240 NEW BEST:: SOT 132460239 SOS 81690272 HAS SOPS 66901357 HAS SOUS 22353205 HAS SOUPS 21749709 WITH SCORE 2.1831399272E7
AT ITER 3250 NEW BEST:: SOT 132430473 SOS 81663202 HAS SOPS 66865206 HAS SOUS 22267268 HAS SOUPS 21663772 WITH SCORE 2.1745435202E7
AT ITER 3252 NEW BEST:: SOT 132430336 SOS 81637347 HAS SOPS 66843470 HAS SOUS 22261259 HAS SOUPS 21657763 WITH SCORE 2.1739400347E7
AT ITER 3253 NEW BEST:: SOT 132410911 SOS 81600137 HAS SOPS 66797846 HAS SOUS 22251760 HAS SOUPS 21648264 WITH SCORE 2.1729864137E7
AT ITER 3256 NEW BEST:: SOT 132407329 SOS 81594641 HAS SOPS 66798931 HAS SOUS 22231909 HAS SOUPS 21628413 WITH SCORE 2.1710007641E7
AT ITER 3259 NEW BEST:: SOT 132391411 SOS 81578692 HAS SOPS 66782336 HAS SOUS 22212344 HAS SOUPS 21608842 WITH SCORE 2.1690420692E7
AT ITER 3263 NEW BEST:: SOT 132388040 SOS 81573623 HAS SOPS 66822901 HAS SOUS 22188974 HAS SOUPS 21585878 WITH SCORE 2.1667451623E7
AT ITER 3264 NEW BEST:: SOT 132387442 SOS 81573825 HAS SOPS 66823461 HAS SOUS 22186477 HAS SOUPS 21583381 WITH SCORE 2.1664954825E7
AT ITER 3281 NEW BEST:: SOT 132387158 SOS 81586615 HAS SOPS 66851514 HAS SOUS 22155945 HAS SOUPS 21552849 WITH SCORE 2.1634435615E7
AT ITER 3283 NEW BEST:: SOT 132381730 SOS 81581057 HAS SOPS 66844130 HAS SOUS 22151797 HAS SOUPS 21548701 WITH SCORE 2.1630282057E7
AT ITER 3284 NEW BEST:: SOT 132386542 SOS 81586822 HAS SOPS 66846305 HAS SOUS 22150293 HAS SOUPS 21547197 WITH SCORE 2.1628783822E7
AT ITER 3294 NEW BEST:: SOT 132384905 SOS 81584876 HAS SOPS 66845452 HAS SOUS 22147194 HAS SOUPS 21544098 WITH SCORE 2.1625682876E7
AT ITER 3296 NEW BEST:: SOT 132377805 SOS 81577776 HAS SOPS 66838448 HAS SOUS 22132350 HAS SOUPS 21529254 WITH SCORE 2.1610831776E7
AT ITER 3297 NEW BEST:: SOT 132382640 SOS 81579301 HAS SOPS 66834858 HAS SOUS 22121043 HAS SOUPS 21517947 WITH SCORE 2.1599526301E7
AT ITER 3299 NEW BEST:: SOT 132369941 SOS 81565451 HAS SOPS 66816036 HAS SOUS 22096806 HAS SOUPS 21493710 WITH SCORE 2.1575275451E7
AT ITER 3306 NEW BEST:: SOT 132367780 SOS 81563248 HAS SOPS 66815032 HAS SOUS 22089782 HAS SOUPS 21486686 WITH SCORE 2.1568249248E7
AT ITER 3308 NEW BEST:: SOT 132379481 SOS 81601418 HAS SOPS 66842149 HAS SOUS 22081256 HAS SOUPS 21478160 WITH SCORE 2.1559761418E7
AT ITER 3311 NEW BEST:: SOT 132404582 SOS 81677018 HAS SOPS 66905249 HAS SOUS 22077038 HAS SOUPS 21473942 WITH SCORE 2.1555619018E7
AT ITER 3312 NEW BEST:: SOT 132405367 SOS 81677950 HAS SOPS 66904467 HAS SOUS 22071693 HAS SOUPS 21468510 WITH SCORE 2.155018795E7
AT ITER 3323 NEW BEST:: SOT 132415165 SOS 81712379 HAS SOPS 66928555 HAS SOUS 22061443 HAS SOUPS 21458260 WITH SCORE 2.1539972379E7
AT ITER 3327 NEW BEST:: SOT 132422392 SOS 81782304 HAS SOPS 66995290 HAS SOUS 21988065 HAS SOUPS 21384882 WITH SCORE 2.1466664304E7
AT ITER 3329 NEW BEST:: SOT 132436394 SOS 81819163 HAS SOPS 67021932 HAS SOUS 21986478 HAS SOUPS 21383295 WITH SCORE 2.1465114163E7
AT ITER 3330 NEW BEST:: SOT 132434861 SOS 81818779 HAS SOPS 67015931 HAS SOUS 21977102 HAS SOUPS 21374059 WITH SCORE 2.1455877779E7
AT ITER 3334 NEW BEST:: SOT 132437959 SOS 81836598 HAS SOPS 67021000 HAS SOUS 21964849 HAS SOUPS 21361806 WITH SCORE 2.1443642598E7
AT ITER 3344 NEW BEST:: SOT 132433504 SOS 81834877 HAS SOPS 67022173 HAS SOUS 21948159 HAS SOUPS 21345116 WITH SCORE 2.1426950877E7
AT ITER 3345 NEW BEST:: SOT 132435602 SOS 81842152 HAS SOPS 67028438 HAS SOUS 21947146 HAS SOUPS 21344103 WITH SCORE 2.1425945152E7
AT ITER 3369 NEW BEST:: SOT 132437322 SOS 81846759 HAS SOPS 67027801 HAS SOUS 21946935 HAS SOUPS 21343892 WITH SCORE 2.1425738759E7
AT ITER 3388 NEW BEST:: SOT 132415130 SOS 81800316 HAS SOPS 67022356 HAS SOUS 21935248 HAS SOUPS 21332662 WITH SCORE 2.1414462316E7
AT ITER 3407 NEW BEST:: SOT 132403851 SOS 81777954 HAS SOPS 66996881 HAS SOUS 21919513 HAS SOUPS 21316927 WITH SCORE 2.1398704954E7
AT ITER 3425 NEW BEST:: SOT 132385958 SOS 81755072 HAS SOPS 66974737 HAS SOUS 21886773 HAS SOUPS 21284187 WITH SCORE 2.1365942072E7
AT ITER 3432 NEW BEST:: SOT 132382954 SOS 81753440 HAS SOPS 66977045 HAS SOUS 21885600 HAS SOUPS 21283162 WITH SCORE 2.136491544E7
AT ITER 3437 NEW BEST:: SOT 132381981 SOS 81750960 HAS SOPS 66972741 HAS SOUS 21881050 HAS SOUPS 21278612 WITH SCORE 2.136036296E7
AT ITER 3442 NEW BEST:: SOT 132394815 SOS 81799756 HAS SOPS 67013873 HAS SOUS 21864190 HAS SOUPS 21261752 WITH SCORE 2.1343551756E7
AT ITER 3443 NEW BEST:: SOT 132385429 SOS 81751600 HAS SOPS 66970436 HAS SOUS 21863811 HAS SOUPS 21261373 WITH SCORE 2.13431246E7
AT ITER 3461 NEW BEST:: SOT 132383251 SOS 81749202 HAS SOPS 66968038 HAS SOUS 21856480 HAS SOUPS 21254042 WITH SCORE 2.1335791202E7
AT ITER 3486 NEW BEST:: SOT 132380270 SOS 81748469 HAS SOPS 66960747 HAS SOUS 21838100 HAS SOUPS 21233036 WITH SCORE 2.1314784469E7
AT ITER 3490 NEW BEST:: SOT 132367728 SOS 81736872 HAS SOPS 66941380 HAS SOUS 21801156 HAS SOUPS 21195750 WITH SCORE 2.1277486872E7
AT ITER 3491 NEW BEST:: SOT 132373841 SOS 81767371 HAS SOPS 66960701 HAS SOUS 21787590 HAS SOUPS 21182184 WITH SCORE 2.1263951371E7
AT ITER 3499 NEW BEST:: SOT 132368032 SOS 81742170 HAS SOPS 66938033 HAS SOUS 21786716 HAS SOUPS 21181310 WITH SCORE 2.126305217E7
AT ITER 3505 NEW BEST:: SOT 132351505 SOS 81716016 HAS SOPS 66913497 HAS SOUS 21757089 HAS SOUPS 21151795 WITH SCORE 2.1233511016E7
AT ITER 3515 NEW BEST:: SOT 132346876 SOS 81708287 HAS SOPS 66906118 HAS SOUS 21750685 HAS SOUPS 21145416 WITH SCORE 2.1227124287E7
AT ITER 3522 NEW BEST:: SOT 132346309 SOS 81706699 HAS SOPS 66907429 HAS SOUS 21749872 HAS SOUPS 21144603 WITH SCORE 2.1226309699E7
AT ITER 3525 NEW BEST:: SOT 132339943 SOS 81702177 HAS SOPS 66898517 HAS SOUS 21730757 HAS SOUPS 21125488 WITH SCORE 2.1207190177E7
AT ITER 3550 NEW BEST:: SOT 132338889 SOS 81700556 HAS SOPS 66898907 HAS SOUS 21730362 HAS SOUPS 21125093 WITH SCORE 2.1206793556E7
AT ITER 3556 NEW BEST:: SOT 132316195 SOS 81675181 HAS SOPS 66871054 HAS SOUS 21691112 HAS SOUPS 21085765 WITH SCORE 2.1167440181E7
AT ITER 3558 NEW BEST:: SOT 132318024 SOS 81679004 HAS SOPS 66873700 HAS SOUS 21689967 HAS SOUPS 21084620 WITH SCORE 2.1166299004E7
AT ITER 3565 NEW BEST:: SOT 132313761 SOS 81678320 HAS SOPS 66870461 HAS SOUS 21675809 HAS SOUPS 21070462 WITH SCORE 2.115214032E7
AT ITER 3583 NEW BEST:: SOT 132321994 SOS 81697904 HAS SOPS 66875036 HAS SOUS 21641957 HAS SOUPS 21036610 WITH SCORE 2.1118307904E7
AT ITER 3590 NEW BEST:: SOT 132331021 SOS 81739914 HAS SOPS 66905563 HAS SOUS 21628389 HAS SOUPS 21023042 WITH SCORE 2.1104781914E7
AT ITER 3604 NEW BEST:: SOT 132327872 SOS 81728360 HAS SOPS 66896463 HAS SOUS 21616419 HAS SOUPS 21011072 WITH SCORE 2.109280036E7
AT ITER 3618 NEW BEST:: SOT 132327794 SOS 81728195 HAS SOPS 66896391 HAS SOUS 21616165 HAS SOUPS 21010849 WITH SCORE 2.1092577195E7
AT ITER 3622 NEW BEST:: SOT 132325103 SOS 81733559 HAS SOPS 66931087 HAS SOUS 21582262 HAS SOUPS 20976946 WITH SCORE 2.1058679559E7
AT ITER 3627 NEW BEST:: SOT 132324620 SOS 81732026 HAS SOPS 66929799 HAS SOUS 21581639 HAS SOUPS 20976323 WITH SCORE 2.1058055026E7
AT ITER 3659 NEW BEST:: SOT 132324475 SOS 81731868 HAS SOPS 66929273 HAS SOUS 21581461 HAS SOUPS 20975993 WITH SCORE 2.1057724868E7
AT ITER 3665 NEW BEST:: SOT 132324511 SOS 81732376 HAS SOPS 66929875 HAS SOUS 21581407 HAS SOUPS 20975939 WITH SCORE 2.1057671376E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13882664 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15948924 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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="RERS17pb114-PT-7"
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 RERS17pb114-PT-7, 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-167889204100128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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