fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469800680
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-020B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.470 3600000.00 3599999.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800680.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 3.4K May 14 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 19:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 376K May 12 20:42 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 1590449471187

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1563 places, 1423 transitions, 3566 arcs.
AT ITER 0 NEW BEST:: SOT 1148508 SOS 104557 HAS SOPS 104557 HAS SOUS 97150 HAS SOUPS 97150 WITH SCORE 97254.557
AT ITER 14 NEW BEST:: SOT 1148464 SOS 104611 HAS SOPS 104611 HAS SOUS 97113 HAS SOUPS 97113 WITH SCORE 97217.611
AT ITER 138 NEW BEST:: SOT 1148446 SOS 104589 HAS SOPS 104589 HAS SOUS 97109 HAS SOUPS 97109 WITH SCORE 97213.589
AT ITER 225 NEW BEST:: SOT 1148431 SOS 104544 HAS SOPS 104544 HAS SOUS 97079 HAS SOUPS 97079 WITH SCORE 97183.544
AT ITER 255 NEW BEST:: SOT 1148426 SOS 104529 HAS SOPS 104529 HAS SOUS 97064 HAS SOUPS 97064 WITH SCORE 97168.529
AT ITER 283 NEW BEST:: SOT 1148426 SOS 104529 HAS SOPS 104529 HAS SOUS 97062 HAS SOUPS 97062 WITH SCORE 97166.529
AT ITER 308 NEW BEST:: SOT 1148382 SOS 104485 HAS SOPS 104485 HAS SOUS 97018 HAS SOUPS 97018 WITH SCORE 97122.485
AT ITER 350 NEW BEST:: SOT 1148343 SOS 104446 HAS SOPS 104446 HAS SOUS 97015 HAS SOUPS 97015 WITH SCORE 97119.446
AT ITER 363 NEW BEST:: SOT 1148380 SOS 104510 HAS SOPS 104510 HAS SOUS 96990 HAS SOUPS 96990 WITH SCORE 97094.51
AT ITER 366 NEW BEST:: SOT 1148323 SOS 104516 HAS SOPS 104516 HAS SOUS 96933 HAS SOUPS 96933 WITH SCORE 97037.516
AT ITER 369 NEW BEST:: SOT 1148341 SOS 104489 HAS SOPS 104489 HAS SOUS 96895 HAS SOUPS 96895 WITH SCORE 96999.489
AT ITER 399 NEW BEST:: SOT 1148230 SOS 104313 HAS SOPS 104313 HAS SOUS 96870 HAS SOUPS 96870 WITH SCORE 96974.313
AT ITER 411 NEW BEST:: SOT 1148157 SOS 104264 HAS SOPS 104264 HAS SOUS 96827 HAS SOUPS 96827 WITH SCORE 96931.264
AT ITER 451 NEW BEST:: SOT 1148115 SOS 104263 HAS SOPS 104263 HAS SOUS 96826 HAS SOUPS 96826 WITH SCORE 96930.263
AT ITER 461 NEW BEST:: SOT 1148054 SOS 104192 HAS SOPS 104192 HAS SOUS 96731 HAS SOUPS 96731 WITH SCORE 96835.192
AT ITER 538 NEW BEST:: SOT 1148024 SOS 104165 HAS SOPS 104165 HAS SOUS 96723 HAS SOUPS 96723 WITH SCORE 96827.165
AT ITER 545 NEW BEST:: SOT 1148076 SOS 104172 HAS SOPS 104172 HAS SOUS 96687 HAS SOUPS 96687 WITH SCORE 96791.172
AT ITER 548 NEW BEST:: SOT 1148058 SOS 104160 HAS SOPS 104160 HAS SOUS 96675 HAS SOUPS 96675 WITH SCORE 96779.16
AT ITER 560 NEW BEST:: SOT 1148021 SOS 104157 HAS SOPS 104157 HAS SOUS 96672 HAS SOUPS 96672 WITH SCORE 96776.157
AT ITER 567 NEW BEST:: SOT 1148062 SOS 104231 HAS SOPS 104231 HAS SOUS 96666 HAS SOUPS 96666 WITH SCORE 96770.231
AT ITER 572 NEW BEST:: SOT 1148062 SOS 104230 HAS SOPS 104230 HAS SOUS 96634 HAS SOUPS 96634 WITH SCORE 96738.23
AT ITER 632 NEW BEST:: SOT 1148060 SOS 104226 HAS SOPS 104226 HAS SOUS 96619 HAS SOUPS 96619 WITH SCORE 96723.226
AT ITER 668 NEW BEST:: SOT 1148060 SOS 104226 HAS SOPS 104226 HAS SOUS 96613 HAS SOUPS 96613 WITH SCORE 96717.226
AT ITER 675 NEW BEST:: SOT 1148036 SOS 104172 HAS SOPS 104172 HAS SOUS 96559 HAS SOUPS 96559 WITH SCORE 96663.172
AT ITER 687 NEW BEST:: SOT 1148036 SOS 104184 HAS SOPS 104184 HAS SOUS 96558 HAS SOUPS 96558 WITH SCORE 96662.184
AT ITER 710 NEW BEST:: SOT 1148036 SOS 104179 HAS SOPS 104179 HAS SOUS 96553 HAS SOUPS 96553 WITH SCORE 96657.179
AT ITER 737 NEW BEST:: SOT 1148048 SOS 104176 HAS SOPS 104176 HAS SOUS 96538 HAS SOUPS 96538 WITH SCORE 96642.176
AT ITER 738 NEW BEST:: SOT 1148048 SOS 104170 HAS SOPS 104170 HAS SOUS 96529 HAS SOUPS 96529 WITH SCORE 96633.17
AT ITER 780 NEW BEST:: SOT 1148027 SOS 104149 HAS SOPS 104149 HAS SOUS 96508 HAS SOUPS 96508 WITH SCORE 96612.149
AT ITER 864 NEW BEST:: SOT 1148003 SOS 104145 HAS SOPS 104145 HAS SOUS 96485 HAS SOUPS 96485 WITH SCORE 96589.145
AT ITER 900 NEW BEST:: SOT 1147941 SOS 104137 HAS SOPS 104137 HAS SOUS 96477 HAS SOUPS 96477 WITH SCORE 96581.137
AT ITER 903 NEW BEST:: SOT 1147901 SOS 104097 HAS SOPS 104097 HAS SOUS 96437 HAS SOUPS 96437 WITH SCORE 96541.097
AT ITER 1018 NEW BEST:: SOT 1147881 SOS 104097 HAS SOPS 104097 HAS SOUS 96417 HAS SOUPS 96417 WITH SCORE 96521.097
AT ITER 1052 NEW BEST:: SOT 1147881 SOS 104097 HAS SOPS 104097 HAS SOUS 96389 HAS SOUPS 96389 WITH SCORE 96493.097
AT ITER 1226 NEW BEST:: SOT 1147883 SOS 104010 HAS SOPS 104010 HAS SOUS 96349 HAS SOUPS 96349 WITH SCORE 96453.01
AT ITER 1234 NEW BEST:: SOT 1147864 SOS 103953 HAS SOPS 103953 HAS SOUS 96292 HAS SOUPS 96292 WITH SCORE 96395.953
AT ITER 1269 NEW BEST:: SOT 1147874 SOS 103945 HAS SOPS 103945 HAS SOUS 96284 HAS SOUPS 96284 WITH SCORE 96387.945
AT ITER 1281 NEW BEST:: SOT 1147870 SOS 103937 HAS SOPS 103937 HAS SOUS 96280 HAS SOUPS 96280 WITH SCORE 96383.937
AT ITER 1336 NEW BEST:: SOT 1147863 SOS 103923 HAS SOPS 103923 HAS SOUS 96255 HAS SOUPS 96255 WITH SCORE 96358.923
AT ITER 1337 NEW BEST:: SOT 1147863 SOS 103933 HAS SOPS 103933 HAS SOUS 96223 HAS SOUPS 96223 WITH SCORE 96326.933
AT ITER 1388 NEW BEST:: SOT 1147887 SOS 103957 HAS SOPS 103957 HAS SOUS 96222 HAS SOUPS 96222 WITH SCORE 96325.957
AT ITER 1403 NEW BEST:: SOT 1147870 SOS 103932 HAS SOPS 103932 HAS SOUS 96197 HAS SOUPS 96197 WITH SCORE 96300.932
AT ITER 1466 NEW BEST:: SOT 1147788 SOS 103957 HAS SOPS 103957 HAS SOUS 96189 HAS SOUPS 96189 WITH SCORE 96292.957
AT ITER 1487 NEW BEST:: SOT 1147788 SOS 103931 HAS SOPS 103931 HAS SOUS 96180 HAS SOUPS 96180 WITH SCORE 96283.931
AT ITER 1501 NEW BEST:: SOT 1147771 SOS 103897 HAS SOPS 103897 HAS SOUS 96163 HAS SOUPS 96163 WITH SCORE 96266.897
AT ITER 1619 NEW BEST:: SOT 1147771 SOS 103896 HAS SOPS 103896 HAS SOUS 96162 HAS SOUPS 96162 WITH SCORE 96265.896
AT ITER 1664 NEW BEST:: SOT 1147749 SOS 103885 HAS SOPS 103885 HAS SOUS 96151 HAS SOUPS 96151 WITH SCORE 96254.885
AT ITER 1674 NEW BEST:: SOT 1147705 SOS 103860 HAS SOPS 103860 HAS SOUS 96148 HAS SOUPS 96148 WITH SCORE 96251.86
AT ITER 1736 NEW BEST:: SOT 1147705 SOS 103850 HAS SOPS 103850 HAS SOUS 96138 HAS SOUPS 96138 WITH SCORE 96241.85
AT ITER 1763 NEW BEST:: SOT 1147705 SOS 103876 HAS SOPS 103876 HAS SOUS 96132 HAS SOUPS 96132 WITH SCORE 96235.876
AT ITER 1806 NEW BEST:: SOT 1147757 SOS 103985 HAS SOPS 103985 HAS SOUS 96119 HAS SOUPS 96119 WITH SCORE 96222.985
AT ITER 1859 NEW BEST:: SOT 1147748 SOS 103976 HAS SOPS 103976 HAS SOUS 96110 HAS SOUPS 96110 WITH SCORE 96213.976
AT ITER 1880 NEW BEST:: SOT 1147713 SOS 103941 HAS SOPS 103941 HAS SOUS 96075 HAS SOUPS 96075 WITH SCORE 96178.941
AT ITER 1918 NEW BEST:: SOT 1147713 SOS 103935 HAS SOPS 103935 HAS SOUS 96069 HAS SOUPS 96069 WITH SCORE 96172.935
AT ITER 1969 NEW BEST:: SOT 1147727 SOS 103815 HAS SOPS 103815 HAS SOUS 95936 HAS SOUPS 95936 WITH SCORE 96039.815
AT ITER 1983 NEW BEST:: SOT 1147727 SOS 103792 HAS SOPS 103792 HAS SOUS 95890 HAS SOUPS 95890 WITH SCORE 95993.792
AT ITER 2039 NEW BEST:: SOT 1147678 SOS 103768 HAS SOPS 103768 HAS SOUS 95866 HAS SOUPS 95866 WITH SCORE 95969.768
AT ITER 2118 NEW BEST:: SOT 1147678 SOS 103758 HAS SOPS 103758 HAS SOUS 95866 HAS SOUPS 95866 WITH SCORE 95969.758
AT ITER 2223 NEW BEST:: SOT 1147668 SOS 103760 HAS SOPS 103760 HAS SOUS 95856 HAS SOUPS 95856 WITH SCORE 95959.76
AT ITER 2238 NEW BEST:: SOT 1147651 SOS 103712 HAS SOPS 103712 HAS SOUS 95802 HAS SOUPS 95802 WITH SCORE 95905.712
AT ITER 2239 NEW BEST:: SOT 1147628 SOS 103708 HAS SOPS 103708 HAS SOUS 95798 HAS SOUPS 95798 WITH SCORE 95901.708
AT ITER 2282 NEW BEST:: SOT 1147609 SOS 103708 HAS SOPS 103708 HAS SOUS 95795 HAS SOUPS 95795 WITH SCORE 95898.708
AT ITER 2323 NEW BEST:: SOT 1147579 SOS 103630 HAS SOPS 103630 HAS SOUS 95697 HAS SOUPS 95697 WITH SCORE 95800.63
AT ITER 2347 NEW BEST:: SOT 1147603 SOS 103587 HAS SOPS 103587 HAS SOUS 95654 HAS SOUPS 95654 WITH SCORE 95757.587
AT ITER 2402 NEW BEST:: SOT 1147576 SOS 103649 HAS SOPS 103649 HAS SOUS 95652 HAS SOUPS 95652 WITH SCORE 95755.649
AT ITER 2439 NEW BEST:: SOT 1147575 SOS 103648 HAS SOPS 103648 HAS SOUS 95651 HAS SOUPS 95651 WITH SCORE 95754.648
AT ITER 2499 NEW BEST:: SOT 1147553 SOS 103625 HAS SOPS 103625 HAS SOUS 95629 HAS SOUPS 95629 WITH SCORE 95732.625
AT ITER 2531 NEW BEST:: SOT 1147546 SOS 103611 HAS SOPS 103611 HAS SOUS 95622 HAS SOUPS 95622 WITH SCORE 95725.611
AT ITER 2553 NEW BEST:: SOT 1147507 SOS 103533 HAS SOPS 103533 HAS SOUS 95544 HAS SOUPS 95544 WITH SCORE 95647.533
AT ITER 2626 NEW BEST:: SOT 1147506 SOS 103532 HAS SOPS 103532 HAS SOUS 95543 HAS SOUPS 95543 WITH SCORE 95646.532
AT ITER 2642 NEW BEST:: SOT 1147582 SOS 103684 HAS SOPS 103684 HAS SOUS 95529 HAS SOUPS 95529 WITH SCORE 95632.684
AT ITER 2647 NEW BEST:: SOT 1147576 SOS 103684 HAS SOPS 103684 HAS SOUS 95523 HAS SOUPS 95523 WITH SCORE 95626.684
AT ITER 2728 NEW BEST:: SOT 1147535 SOS 103580 HAS SOPS 103580 HAS SOUS 95405 HAS SOUPS 95405 WITH SCORE 95508.58
AT ITER 2761 NEW BEST:: SOT 1147506 SOS 103493 HAS SOPS 103493 HAS SOUS 95318 HAS SOUPS 95318 WITH SCORE 95421.493
AT ITER 2803 NEW BEST:: SOT 1147453 SOS 103389 HAS SOPS 103389 HAS SOUS 95214 HAS SOUPS 95214 WITH SCORE 95317.389
AT ITER 2810 NEW BEST:: SOT 1147439 SOS 103361 HAS SOPS 103361 HAS SOUS 95186 HAS SOUPS 95186 WITH SCORE 95289.361
AT ITER 2818 NEW BEST:: SOT 1147439 SOS 103344 HAS SOPS 103344 HAS SOUS 95186 HAS SOUPS 95186 WITH SCORE 95289.344
AT ITER 2849 NEW BEST:: SOT 1147392 SOS 103205 HAS SOPS 103205 HAS SOUS 95138 HAS SOUPS 95138 WITH SCORE 95241.205
AT ITER 2869 NEW BEST:: SOT 1147392 SOS 103198 HAS SOPS 103198 HAS SOUS 95131 HAS SOUPS 95131 WITH SCORE 95234.198
AT ITER 2886 NEW BEST:: SOT 1147316 SOS 103058 HAS SOPS 103058 HAS SOUS 95028 HAS SOUPS 95028 WITH SCORE 95131.058
AT ITER 2986 NEW BEST:: SOT 1147296 SOS 102911 HAS SOPS 102911 HAS SOUS 94944 HAS SOUPS 94944 WITH SCORE 95046.911
AT ITER 3037 NEW BEST:: SOT 1147276 SOS 102871 HAS SOPS 102871 HAS SOUS 94942 HAS SOUPS 94942 WITH SCORE 95044.871
AT ITER 3181 NEW BEST:: SOT 1147306 SOS 102886 HAS SOPS 102886 HAS SOUS 94924 HAS SOUPS 94924 WITH SCORE 95026.886
AT ITER 3200 NEW BEST:: SOT 1147299 SOS 102879 HAS SOPS 102879 HAS SOUS 94924 HAS SOUPS 94924 WITH SCORE 95026.879
AT ITER 3205 NEW BEST:: SOT 1147255 SOS 102834 HAS SOPS 102834 HAS SOUS 94879 HAS SOUPS 94879 WITH SCORE 94981.834
AT ITER 3223 NEW BEST:: SOT 1147237 SOS 102780 HAS SOPS 102780 HAS SOUS 94825 HAS SOUPS 94825 WITH SCORE 94927.78
AT ITER 3226 NEW BEST:: SOT 1147174 SOS 102654 HAS SOPS 102654 HAS SOUS 94704 HAS SOUPS 94704 WITH SCORE 94806.654
AT ITER 3257 NEW BEST:: SOT 1147116 SOS 102648 HAS SOPS 102648 HAS SOUS 94648 HAS SOUPS 94648 WITH SCORE 94750.648
AT ITER 3390 NEW BEST:: SOT 1147059 SOS 102570 HAS SOPS 102570 HAS SOUS 94599 HAS SOUPS 94599 WITH SCORE 94701.57
AT ITER 3414 NEW BEST:: SOT 1147059 SOS 102570 HAS SOPS 102570 HAS SOUS 94578 HAS SOUPS 94578 WITH SCORE 94680.57
AT ITER 3415 NEW BEST:: SOT 1147050 SOS 102568 HAS SOPS 102568 HAS SOUS 94576 HAS SOUPS 94576 WITH SCORE 94678.568
AT ITER 3446 NEW BEST:: SOT 1147060 SOS 102537 HAS SOPS 102537 HAS SOUS 94545 HAS SOUPS 94545 WITH SCORE 94647.537
AT ITER 3474 NEW BEST:: SOT 1146962 SOS 102396 HAS SOPS 102396 HAS SOUS 94404 HAS SOUPS 94404 WITH SCORE 94506.396
AT ITER 3494 NEW BEST:: SOT 1146910 SOS 102378 HAS SOPS 102378 HAS SOUS 94361 HAS SOUPS 94361 WITH SCORE 94463.378
AT ITER 3501 NEW BEST:: SOT 1146910 SOS 102375 HAS SOPS 102375 HAS SOUS 94309 HAS SOUPS 94309 WITH SCORE 94411.375
AT ITER 3591 NEW BEST:: SOT 1146892 SOS 102337 HAS SOPS 102337 HAS SOUS 94276 HAS SOUPS 94276 WITH SCORE 94378.337
AT ITER 3619 NEW BEST:: SOT 1146845 SOS 102214 HAS SOPS 102214 HAS SOUS 94119 HAS SOUPS 94119 WITH SCORE 94221.214
AT ITER 3647 NEW BEST:: SOT 1146845 SOS 102181 HAS SOPS 102181 HAS SOUS 94086 HAS SOUPS 94086 WITH SCORE 94188.181
AT ITER 3707 NEW BEST:: SOT 1146891 SOS 102152 HAS SOPS 102152 HAS SOUS 94057 HAS SOUPS 94057 WITH SCORE 94159.152
AT ITER 3762 NEW BEST:: SOT 1146858 SOS 102130 HAS SOPS 102130 HAS SOUS 94035 HAS SOUPS 94035 WITH SCORE 94137.13
AT ITER 3795 NEW BEST:: SOT 1146857 SOS 102115 HAS SOPS 102115 HAS SOUS 94033 HAS SOUPS 94033 WITH SCORE 94135.115
AT ITER 3810 NEW BEST:: SOT 1146857 SOS 102114 HAS SOPS 102114 HAS SOUS 94032 HAS SOUPS 94032 WITH SCORE 94134.114
AT ITER 3831 NEW BEST:: SOT 1146857 SOS 102092 HAS SOPS 102092 HAS SOUS 94010 HAS SOUPS 94010 WITH SCORE 94112.092
AT ITER 3861 NEW BEST:: SOT 1146895 SOS 102103 HAS SOPS 102103 HAS SOUS 93983 HAS SOUPS 93983 WITH SCORE 94085.103
AT ITER 3904 NEW BEST:: SOT 1146877 SOS 102035 HAS SOPS 102035 HAS SOUS 93915 HAS SOUPS 93915 WITH SCORE 94017.035
AT ITER 3978 NEW BEST:: SOT 1146844 SOS 101936 HAS SOPS 101936 HAS SOUS 93849 HAS SOUPS 93849 WITH SCORE 93950.936
AT ITER 4008 NEW BEST:: SOT 1146844 SOS 101939 HAS SOPS 101939 HAS SOUS 93846 HAS SOUPS 93846 WITH SCORE 93947.939
AT ITER 4028 NEW BEST:: SOT 1146824 SOS 101912 HAS SOPS 101912 HAS SOUS 93836 HAS SOUPS 93836 WITH SCORE 93937.912
AT ITER 4114 NEW BEST:: SOT 1146824 SOS 101911 HAS SOPS 101911 HAS SOUS 93835 HAS SOUPS 93835 WITH SCORE 93936.911
AT ITER 4115 NEW BEST:: SOT 1146763 SOS 101800 HAS SOPS 101800 HAS SOUS 93761 HAS SOUPS 93761 WITH SCORE 93862.8
AT ITER 4156 NEW BEST:: SOT 1146664 SOS 101635 HAS SOPS 101635 HAS SOUS 93627 HAS SOUPS 93627 WITH SCORE 93728.635
AT ITER 4161 NEW BEST:: SOT 1146664 SOS 101634 HAS SOPS 101634 HAS SOUS 93626 HAS SOUPS 93626 WITH SCORE 93727.634
AT ITER 4164 NEW BEST:: SOT 1146664 SOS 101631 HAS SOPS 101631 HAS SOUS 93623 HAS SOUPS 93623 WITH SCORE 93724.631
AT ITER 4270 NEW BEST:: SOT 1146664 SOS 101630 HAS SOPS 101630 HAS SOUS 93622 HAS SOUPS 93622 WITH SCORE 93723.63
AT ITER 4378 NEW BEST:: SOT 1146664 SOS 101629 HAS SOPS 101629 HAS SOUS 93621 HAS SOUPS 93621 WITH SCORE 93722.629
AT ITER 4444 NEW BEST:: SOT 1146664 SOS 101661 HAS SOPS 101661 HAS SOUS 93619 HAS SOUPS 93619 WITH SCORE 93720.661
AT ITER 4480 NEW BEST:: SOT 1146662 SOS 101657 HAS SOPS 101657 HAS SOUS 93615 HAS SOUPS 93615 WITH SCORE 93716.657
AT ITER 4496 NEW BEST:: SOT 1146612 SOS 101582 HAS SOPS 101582 HAS SOUS 93540 HAS SOUPS 93540 WITH SCORE 93641.582
AT ITER 4536 NEW BEST:: SOT 1146656 SOS 101644 HAS SOPS 101644 HAS SOUS 93519 HAS SOUPS 93519 WITH SCORE 93620.644
AT ITER 4611 NEW BEST:: SOT 1146676 SOS 101615 HAS SOPS 101615 HAS SOUS 93490 HAS SOUPS 93490 WITH SCORE 93591.615
AT ITER 4620 NEW BEST:: SOT 1146624 SOS 101554 HAS SOPS 101554 HAS SOUS 93429 HAS SOUPS 93429 WITH SCORE 93530.554
AT ITER 4721 NEW BEST:: SOT 1146623 SOS 101553 HAS SOPS 101553 HAS SOUS 93428 HAS SOUPS 93428 WITH SCORE 93529.553
AT ITER 4761 NEW BEST:: SOT 1146615 SOS 101537 HAS SOPS 101537 HAS SOUS 93419 HAS SOUPS 93419 WITH SCORE 93520.537
AT ITER 4844 NEW BEST:: SOT 1146615 SOS 101516 HAS SOPS 101516 HAS SOUS 93419 HAS SOUPS 93419 WITH SCORE 93520.516
AT ITER 4878 NEW BEST:: SOT 1146591 SOS 101491 HAS SOPS 101491 HAS SOUS 93406 HAS SOUPS 93406 WITH SCORE 93507.491
AT ITER 4950 NEW BEST:: SOT 1146571 SOS 101431 HAS SOPS 101431 HAS SOUS 93296 HAS SOUPS 93296 WITH SCORE 93397.431
AT ITER 4965 NEW BEST:: SOT 1146558 SOS 101424 HAS SOPS 101424 HAS SOUS 93289 HAS SOUPS 93289 WITH SCORE 93390.424
AT ITER 5035 NEW BEST:: SOT 1146558 SOS 101405 HAS SOPS 101405 HAS SOUS 93289 HAS SOUPS 93289 WITH SCORE 93390.405
AT ITER 5044 NEW BEST:: SOT 1146562 SOS 101370 HAS SOPS 101370 HAS SOUS 93174 HAS SOUPS 93174 WITH SCORE 93275.37
AT ITER 5120 NEW BEST:: SOT 1146550 SOS 101357 HAS SOPS 101357 HAS SOUS 93161 HAS SOUPS 93161 WITH SCORE 93262.357
AT ITER 5238 NEW BEST:: SOT 1146514 SOS 101425 HAS SOPS 101425 HAS SOUS 93160 HAS SOUPS 93160 WITH SCORE 93261.425
AT ITER 5275 NEW BEST:: SOT 1146515 SOS 101437 HAS SOPS 101437 HAS SOUS 93122 HAS SOUPS 93122 WITH SCORE 93223.437
AT ITER 5310 NEW BEST:: SOT 1146514 SOS 101388 HAS SOPS 101388 HAS SOUS 93120 HAS SOUPS 93120 WITH SCORE 93221.388
AT ITER 5340 NEW BEST:: SOT 1146514 SOS 101382 HAS SOPS 101382 HAS SOUS 93114 HAS SOUPS 93114 WITH SCORE 93215.382
AT ITER 5400 NEW BEST:: SOT 1146494 SOS 101342 HAS SOPS 101342 HAS SOUS 93074 HAS SOUPS 93074 WITH SCORE 93175.342
AT ITER 5407 NEW BEST:: SOT 1146402 SOS 101140 HAS SOPS 101140 HAS SOUS 92979 HAS SOUPS 92979 WITH SCORE 93080.14
AT ITER 5418 NEW BEST:: SOT 1146402 SOS 101137 HAS SOPS 101137 HAS SOUS 92976 HAS SOUPS 92976 WITH SCORE 93077.137
AT ITER 5588 NEW BEST:: SOT 1146356 SOS 101045 HAS SOPS 101045 HAS SOUS 92838 HAS SOUPS 92838 WITH SCORE 92939.045
AT ITER 5591 NEW BEST:: SOT 1146353 SOS 100971 HAS SOPS 100971 HAS SOUS 92767 HAS SOUPS 92767 WITH SCORE 92867.971
AT ITER 5642 NEW BEST:: SOT 1146352 SOS 100969 HAS SOPS 100969 HAS SOUS 92765 HAS SOUPS 92765 WITH SCORE 92865.969
AT ITER 5676 NEW BEST:: SOT 1146352 SOS 100964 HAS SOPS 100964 HAS SOUS 92760 HAS SOUPS 92760 WITH SCORE 92860.964
AT ITER 5699 NEW BEST:: SOT 1146369 SOS 100998 HAS SOPS 100998 HAS SOUS 92692 HAS SOUPS 92692 WITH SCORE 92792.998
AT ITER 5848 NEW BEST:: SOT 1146355 SOS 100970 HAS SOPS 100970 HAS SOUS 92652 HAS SOUPS 92652 WITH SCORE 92752.97
AT ITER 5857 NEW BEST:: SOT 1146334 SOS 100963 HAS SOPS 100963 HAS SOUS 92630 HAS SOUPS 92630 WITH SCORE 92730.963
AT ITER 5882 NEW BEST:: SOT 1146317 SOS 100946 HAS SOPS 100946 HAS SOUS 92613 HAS SOUPS 92613 WITH SCORE 92713.946
AT ITER 5889 NEW BEST:: SOT 1146317 SOS 100946 HAS SOPS 100946 HAS SOUS 92612 HAS SOUPS 92612 WITH SCORE 92712.946
AT ITER 5907 NEW BEST:: SOT 1146314 SOS 100937 HAS SOPS 100937 HAS SOUS 92603 HAS SOUPS 92603 WITH SCORE 92703.937
AT ITER 6097 NEW BEST:: SOT 1146276 SOS 100966 HAS SOPS 100966 HAS SOUS 92565 HAS SOUPS 92565 WITH SCORE 92665.966
AT ITER 6140 NEW BEST:: SOT 1146254 SOS 100951 HAS SOPS 100951 HAS SOUS 92536 HAS SOUPS 92536 WITH SCORE 92636.951
AT ITER 6197 NEW BEST:: SOT 1146230 SOS 100976 HAS SOPS 100976 HAS SOUS 92512 HAS SOUPS 92512 WITH SCORE 92612.976
AT ITER 6232 NEW BEST:: SOT 1146135 SOS 100790 HAS SOPS 100790 HAS SOUS 92463 HAS SOUPS 92463 WITH SCORE 92563.79
AT ITER 6233 NEW BEST:: SOT 1146021 SOS 100692 HAS SOPS 100692 HAS SOUS 92365 HAS SOUPS 92365 WITH SCORE 92465.692
AT ITER 6308 NEW BEST:: SOT 1145988 SOS 100671 HAS SOPS 100671 HAS SOUS 92332 HAS SOUPS 92332 WITH SCORE 92432.671
AT ITER 6367 NEW BEST:: SOT 1145960 SOS 100562 HAS SOPS 100562 HAS SOUS 92254 HAS SOUPS 92254 WITH SCORE 92354.562
AT ITER 6376 NEW BEST:: SOT 1145925 SOS 100485 HAS SOPS 100485 HAS SOUS 92177 HAS SOUPS 92177 WITH SCORE 92277.485
AT ITER 6411 NEW BEST:: SOT 1145876 SOS 100445 HAS SOPS 100445 HAS SOUS 92128 HAS SOUPS 92128 WITH SCORE 92228.445
AT ITER 6454 NEW BEST:: SOT 1145876 SOS 100427 HAS SOPS 100427 HAS SOUS 92110 HAS SOUPS 92110 WITH SCORE 92210.427
AT ITER 6463 NEW BEST:: SOT 1145860 SOS 100411 HAS SOPS 100411 HAS SOUS 92094 HAS SOUPS 92094 WITH SCORE 92194.411
AT ITER 6471 NEW BEST:: SOT 1145847 SOS 100398 HAS SOPS 100398 HAS SOUS 92068 HAS SOUPS 92068 WITH SCORE 92168.398
AT ITER 6551 NEW BEST:: SOT 1145847 SOS 100436 HAS SOPS 100436 HAS SOUS 92067 HAS SOUPS 92067 WITH SCORE 92167.436
AT ITER 6598 NEW BEST:: SOT 1145847 SOS 100436 HAS SOPS 100436 HAS SOUS 92057 HAS SOUPS 92057 WITH SCORE 92157.436
AT ITER 6664 NEW BEST:: SOT 1145827 SOS 100391 HAS SOPS 100391 HAS SOUS 92012 HAS SOUPS 92012 WITH SCORE 92112.391
AT ITER 6688 NEW BEST:: SOT 1145815 SOS 100379 HAS SOPS 100379 HAS SOUS 92009 HAS SOUPS 92009 WITH SCORE 92109.379
AT ITER 6691 NEW BEST:: SOT 1145748 SOS 100363 HAS SOPS 100363 HAS SOUS 91958 HAS SOUPS 91958 WITH SCORE 92058.363
AT ITER 6780 NEW BEST:: SOT 1145741 SOS 100342 HAS SOPS 100342 HAS SOUS 91937 HAS SOUPS 91937 WITH SCORE 92037.342
AT ITER 6805 NEW BEST:: SOT 1145770 SOS 100351 HAS SOPS 100351 HAS SOUS 91895 HAS SOUPS 91895 WITH SCORE 91995.351
AT ITER 6889 NEW BEST:: SOT 1145748 SOS 100346 HAS SOPS 100346 HAS SOUS 91890 HAS SOUPS 91890 WITH SCORE 91990.346
AT ITER 7054 NEW BEST:: SOT 1145735 SOS 100333 HAS SOPS 100333 HAS SOUS 91877 HAS SOUPS 91877 WITH SCORE 91977.333
AT ITER 7087 NEW BEST:: SOT 1145715 SOS 100329 HAS SOPS 100329 HAS SOUS 91873 HAS SOUPS 91873 WITH SCORE 91973.329
AT ITER 7093 NEW BEST:: SOT 1145680 SOS 100327 HAS SOPS 100327 HAS SOUS 91871 HAS SOUPS 91871 WITH SCORE 91971.327
AT ITER 7105 NEW BEST:: SOT 1145662 SOS 100292 HAS SOPS 100292 HAS SOUS 91836 HAS SOUPS 91836 WITH SCORE 91936.292
AT ITER 7111 NEW BEST:: SOT 1145662 SOS 100291 HAS SOPS 100291 HAS SOUS 91807 HAS SOUPS 91807 WITH SCORE 91907.291
AT ITER 7129 NEW BEST:: SOT 1145662 SOS 100263 HAS SOPS 100263 HAS SOUS 91807 HAS SOUPS 91807 WITH SCORE 91907.263
AT ITER 7142 NEW BEST:: SOT 1145662 SOS 100262 HAS SOPS 100262 HAS SOUS 91806 HAS SOUPS 91806 WITH SCORE 91906.262
AT ITER 7159 NEW BEST:: SOT 1145681 SOS 100272 HAS SOPS 100272 HAS SOUS 91732 HAS SOUPS 91732 WITH SCORE 91832.272
AT ITER 7179 NEW BEST:: SOT 1145683 SOS 100209 HAS SOPS 100209 HAS SOUS 91727 HAS SOUPS 91727 WITH SCORE 91827.209
AT ITER 7233 NEW BEST:: SOT 1145683 SOS 100209 HAS SOPS 100209 HAS SOUS 91724 HAS SOUPS 91724 WITH SCORE 91824.209
AT ITER 7257 NEW BEST:: SOT 1145683 SOS 100209 HAS SOPS 100209 HAS SOUS 91700 HAS SOUPS 91700 WITH SCORE 91800.209
AT ITER 7283 NEW BEST:: SOT 1145577 SOS 100254 HAS SOPS 100254 HAS SOUS 91682 HAS SOUPS 91682 WITH SCORE 91782.254
AT ITER 7305 NEW BEST:: SOT 1145577 SOS 100190 HAS SOPS 100190 HAS SOUS 91682 HAS SOUPS 91682 WITH SCORE 91782.19
AT ITER 7358 NEW BEST:: SOT 1145577 SOS 100187 HAS SOPS 100187 HAS SOUS 91679 HAS SOUPS 91679 WITH SCORE 91779.187
AT ITER 7374 NEW BEST:: SOT 1145553 SOS 100139 HAS SOPS 100139 HAS SOUS 91631 HAS SOUPS 91631 WITH SCORE 91731.139
AT ITER 7379 NEW BEST:: SOT 1145481 SOS 99972 HAS SOPS 99972 HAS SOUS 91464 HAS SOUPS 91464 WITH SCORE 91563.972
AT ITER 7385 NEW BEST:: SOT 1145481 SOS 99949 HAS SOPS 99949 HAS SOUS 91441 HAS SOUPS 91441 WITH SCORE 91540.949
AT ITER 7391 NEW BEST:: SOT 1145456 SOS 99927 HAS SOPS 99927 HAS SOUS 91416 HAS SOUPS 91416 WITH SCORE 91515.927
AT ITER 7394 NEW BEST:: SOT 1145401 SOS 99961 HAS SOPS 99961 HAS SOUS 91392 HAS SOUPS 91392 WITH SCORE 91491.961
AT ITER 7401 NEW BEST:: SOT 1145383 SOS 99924 HAS SOPS 99924 HAS SOUS 91355 HAS SOUPS 91355 WITH SCORE 91454.924
AT ITER 7428 NEW BEST:: SOT 1145349 SOS 99826 HAS SOPS 99826 HAS SOUS 91229 HAS SOUPS 91229 WITH SCORE 91328.826
AT ITER 7628 NEW BEST:: SOT 1145345 SOS 99826 HAS SOPS 99826 HAS SOUS 91225 HAS SOUPS 91225 WITH SCORE 91324.826
AT ITER 7670 NEW BEST:: SOT 1145339 SOS 99814 HAS SOPS 99814 HAS SOUS 91213 HAS SOUPS 91213 WITH SCORE 91312.814
AT ITER 7683 NEW BEST:: SOT 1145284 SOS 99759 HAS SOPS 99759 HAS SOUS 91158 HAS SOUPS 91158 WITH SCORE 91257.759
AT ITER 7702 NEW BEST:: SOT 1145281 SOS 99753 HAS SOPS 99753 HAS SOUS 91155 HAS SOUPS 91155 WITH SCORE 91254.753
AT ITER 7762 NEW BEST:: SOT 1145265 SOS 99745 HAS SOPS 99745 HAS SOUS 91147 HAS SOUPS 91147 WITH SCORE 91246.745
AT ITER 7790 NEW BEST:: SOT 1145265 SOS 99737 HAS SOPS 99737 HAS SOUS 91139 HAS SOUPS 91139 WITH SCORE 91238.737
AT ITER 7816 NEW BEST:: SOT 1145242 SOS 99735 HAS SOPS 99735 HAS SOUS 91137 HAS SOUPS 91137 WITH SCORE 91236.735
AT ITER 7961 NEW BEST:: SOT 1145199 SOS 99731 HAS SOPS 99731 HAS SOUS 91096 HAS SOUPS 91096 WITH SCORE 91195.731
AT ITER 7966 NEW BEST:: SOT 1145183 SOS 99715 HAS SOPS 99715 HAS SOUS 91080 HAS SOUPS 91080 WITH SCORE 91179.715
AT ITER 7994 NEW BEST:: SOT 1145179 SOS 99707 HAS SOPS 99707 HAS SOUS 91073 HAS SOUPS 91073 WITH SCORE 91172.707
AT ITER 7998 NEW BEST:: SOT 1145179 SOS 99639 HAS SOPS 99639 HAS SOUS 91039 HAS SOUPS 91039 WITH SCORE 91138.639
AT ITER 8024 NEW BEST:: SOT 1145179 SOS 99638 HAS SOPS 99638 HAS SOUS 91038 HAS SOUPS 91038 WITH SCORE 91137.638
AT ITER 8032 NEW BEST:: SOT 1145179 SOS 99623 HAS SOPS 99623 HAS SOUS 91031 HAS SOUPS 91031 WITH SCORE 91130.623
AT ITER 8049 NEW BEST:: SOT 1145163 SOS 99575 HAS SOPS 99575 HAS SOUS 90983 HAS SOUPS 90983 WITH SCORE 91082.575
AT ITER 8086 NEW BEST:: SOT 1145133 SOS 99553 HAS SOPS 99553 HAS SOUS 90945 HAS SOUPS 90945 WITH SCORE 91044.553
AT ITER 8121 NEW BEST:: SOT 1145106 SOS 99436 HAS SOPS 99436 HAS SOUS 90772 HAS SOUPS 90772 WITH SCORE 90871.436
AT ITER 8134 NEW BEST:: SOT 1145041 SOS 99294 HAS SOPS 99294 HAS SOUS 90713 HAS SOUPS 90713 WITH SCORE 90812.294
AT ITER 8216 NEW BEST:: SOT 1145041 SOS 99293 HAS SOPS 99293 HAS SOUS 90712 HAS SOUPS 90712 WITH SCORE 90811.293
AT ITER 8302 NEW BEST:: SOT 1145070 SOS 99276 HAS SOPS 99276 HAS SOUS 90695 HAS SOUPS 90695 WITH SCORE 90794.276
AT ITER 8352 NEW BEST:: SOT 1145069 SOS 99248 HAS SOPS 99248 HAS SOUS 90693 HAS SOUPS 90693 WITH SCORE 90792.248
AT ITER 8369 NEW BEST:: SOT 1145067 SOS 99244 HAS SOPS 99244 HAS SOUS 90671 HAS SOUPS 90671 WITH SCORE 90770.244
AT ITER 8415 NEW BEST:: SOT 1145067 SOS 99235 HAS SOPS 99235 HAS SOUS 90662 HAS SOUPS 90662 WITH SCORE 90761.235
AT ITER 8470 NEW BEST:: SOT 1145115 SOS 99201 HAS SOPS 99201 HAS SOUS 90628 HAS SOUPS 90628 WITH SCORE 90727.201
AT ITER 8577 NEW BEST:: SOT 1145115 SOS 99181 HAS SOPS 99181 HAS SOUS 90608 HAS SOUPS 90608 WITH SCORE 90707.181
AT ITER 8743 NEW BEST:: SOT 1145083 SOS 99163 HAS SOPS 99163 HAS SOUS 90590 HAS SOUPS 90590 WITH SCORE 90689.163
AT ITER 8806 NEW BEST:: SOT 1145082 SOS 99163 HAS SOPS 99163 HAS SOUS 90589 HAS SOUPS 90589 WITH SCORE 90688.163
AT ITER 8993 NEW BEST:: SOT 1145082 SOS 99150 HAS SOPS 99150 HAS SOUS 90576 HAS SOUPS 90576 WITH SCORE 90675.15
AT ITER 8996 NEW BEST:: SOT 1145050 SOS 99118 HAS SOPS 99118 HAS SOUS 90544 HAS SOUPS 90544 WITH SCORE 90643.118
AT ITER 9020 NEW BEST:: SOT 1145049 SOS 99103 HAS SOPS 99103 HAS SOUS 90542 HAS SOUPS 90542 WITH SCORE 90641.103
AT ITER 9032 NEW BEST:: SOT 1145049 SOS 99103 HAS SOPS 99103 HAS SOUS 90521 HAS SOUPS 90521 WITH SCORE 90620.103
AT ITER 9053 NEW BEST:: SOT 1145050 SOS 99104 HAS SOPS 99104 HAS SOUS 90514 HAS SOUPS 90514 WITH SCORE 90613.104
AT ITER 9221 NEW BEST:: SOT 1145030 SOS 99033 HAS SOPS 99033 HAS SOUS 90463 HAS SOUPS 90463 WITH SCORE 90562.033
AT ITER 9254 NEW BEST:: SOT 1145003 SOS 99014 HAS SOPS 99014 HAS SOUS 90444 HAS SOUPS 90444 WITH SCORE 90543.014
AT ITER 9255 NEW BEST:: SOT 1144950 SOS 98998 HAS SOPS 98998 HAS SOUS 90428 HAS SOUPS 90428 WITH SCORE 90526.998
AT ITER 9293 NEW BEST:: SOT 1144950 SOS 98997 HAS SOPS 98997 HAS SOUS 90427 HAS SOUPS 90427 WITH SCORE 90525.997
AT ITER 9361 NEW BEST:: SOT 1144950 SOS 98990 HAS SOPS 98990 HAS SOUS 90420 HAS SOUPS 90420 WITH SCORE 90518.99
AT ITER 9374 NEW BEST:: SOT 1144955 SOS 98981 HAS SOPS 98981 HAS SOUS 90371 HAS SOUPS 90371 WITH SCORE 90469.981
AT ITER 9377 NEW BEST:: SOT 1144961 SOS 98986 HAS SOPS 98986 HAS SOUS 90370 HAS SOUPS 90370 WITH SCORE 90468.986
AT ITER 9441 NEW BEST:: SOT 1144961 SOS 98957 HAS SOPS 98957 HAS SOUS 90341 HAS SOUPS 90341 WITH SCORE 90439.957
AT ITER 9519 NEW BEST:: SOT 1144942 SOS 98937 HAS SOPS 98937 HAS SOUS 90301 HAS SOUPS 90301 WITH SCORE 90399.937
AT ITER 9524 NEW BEST:: SOT 1144898 SOS 98849 HAS SOPS 98849 HAS SOUS 90213 HAS SOUPS 90213 WITH SCORE 90311.849
AT ITER 9537 NEW BEST:: SOT 1144892 SOS 98785 HAS SOPS 98785 HAS SOUS 90187 HAS SOUPS 90187 WITH SCORE 90285.785
AT ITER 9549 NEW BEST:: SOT 1144892 SOS 98760 HAS SOPS 98760 HAS SOUS 90187 HAS SOUPS 90187 WITH SCORE 90285.76
AT ITER 9551 NEW BEST:: SOT 1144855 SOS 98686 HAS SOPS 98686 HAS SOUS 90113 HAS SOUPS 90113 WITH SCORE 90211.686
AT ITER 9623 NEW BEST:: SOT 1144855 SOS 98686 HAS SOPS 98686 HAS SOUS 90040 HAS SOUPS 90040 WITH SCORE 90138.686
AT ITER 9637 NEW BEST:: SOT 1144855 SOS 98630 HAS SOPS 98630 HAS SOUS 90024 HAS SOUPS 90024 WITH SCORE 90122.63
AT ITER 9657 NEW BEST:: SOT 1144855 SOS 98617 HAS SOPS 98617 HAS SOUS 90023 HAS SOUPS 90023 WITH SCORE 90121.617
AT ITER 9668 NEW BEST:: SOT 1144844 SOS 98614 HAS SOPS 98614 HAS SOUS 90020 HAS SOUPS 90020 WITH SCORE 90118.614
AT ITER 9700 NEW BEST:: SOT 1144844 SOS 98603 HAS SOPS 98603 HAS SOUS 89998 HAS SOUPS 89998 WITH SCORE 90096.603
AT ITER 9721 NEW BEST:: SOT 1144844 SOS 98596 HAS SOPS 98596 HAS SOUS 89947 HAS SOUPS 89947 WITH SCORE 90045.596
AT ITER 9751 NEW BEST:: SOT 1144812 SOS 98532 HAS SOPS 98532 HAS SOUS 89883 HAS SOUPS 89883 WITH SCORE 89981.532
AT ITER 9756 NEW BEST:: SOT 1144812 SOS 98474 HAS SOPS 98474 HAS SOUS 89882 HAS SOUPS 89882 WITH SCORE 89980.474
AT ITER 9825 NEW BEST:: SOT 1144840 SOS 98530 HAS SOPS 98530 HAS SOUS 89855 HAS SOUPS 89855 WITH SCORE 89953.53
AT ITER 9904 NEW BEST:: SOT 1144780 SOS 98520 HAS SOPS 98520 HAS SOUS 89809 HAS SOUPS 89809 WITH SCORE 89907.52
AT ITER 9913 NEW BEST:: SOT 1144763 SOS 98485 HAS SOPS 98485 HAS SOUS 89774 HAS SOUPS 89774 WITH SCORE 89872.485

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldPPPt-PT-020B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-020B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469800680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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