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.r483-tall-167912696501072.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 smart
Input is UtilityControlRoom-COL-Z4T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 6.7K Feb 26 14:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 14:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 14:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679187915269

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-COL-Z4T4N06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 01:05:17] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 01:05:17] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 01:05:18] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 01:05:18] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 01:05:18] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 805 ms
[2023-03-19 01:05:18] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 228 PT places and 450.0 transition bindings in 19 ms.
[2023-03-19 01:05:18] [INFO ] Unfolded HLPN to a Petri net with 228 places and 450 transitions 1446 arcs in 53 ms.
[2023-03-19 01:05:18] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
[2023-03-19 01:05:19] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 228 places, 330 transitions and 966 arcs took 14 ms.
Total runtime 1098 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 228 places, 330 transitions, 966 arcs.
AT ITER 0 NEW BEST:: SOT 51934 SOS 34372 HAS SOPS 34372 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22734.372
AT ITER 1 NEW BEST:: SOT 51934 SOS 34330 HAS SOPS 34330 HAS SOUS 22582 HAS SOUPS 22582 WITH SCORE 22616.33
AT ITER 3 NEW BEST:: SOT 51904 SOS 34284 HAS SOPS 34284 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22517.284
AT ITER 4 NEW BEST:: SOT 51904 SOS 34237 HAS SOPS 34237 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22337.237
AT ITER 7 NEW BEST:: SOT 51897 SOS 34237 HAS SOPS 34237 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22302.237
AT ITER 9 NEW BEST:: SOT 51897 SOS 34214 HAS SOPS 34214 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22154.214
AT ITER 12 NEW BEST:: SOT 51928 SOS 34403 HAS SOPS 34403 HAS SOUS 22117 HAS SOUPS 22117 WITH SCORE 22151.403
AT ITER 18 NEW BEST:: SOT 51928 SOS 34371 HAS SOPS 34371 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22128.371
AT ITER 21 NEW BEST:: SOT 51893 SOS 34301 HAS SOPS 34301 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21968.301
AT ITER 23 NEW BEST:: SOT 51893 SOS 34215 HAS SOPS 34215 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21707.215
AT ITER 28 NEW BEST:: SOT 51893 SOS 34168 HAS SOPS 34168 HAS SOUS 21549 HAS SOUPS 21549 WITH SCORE 21583.168
AT ITER 30 NEW BEST:: SOT 51954 SOS 33887 HAS SOPS 33887 HAS SOUS 21536 HAS SOUPS 21536 WITH SCORE 21569.887
AT ITER 34 NEW BEST:: SOT 51951 SOS 33865 HAS SOPS 33865 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21508.865
AT ITER 43 NEW BEST:: SOT 51910 SOS 33516 HAS SOPS 33516 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21449.516
AT ITER 44 NEW BEST:: SOT 51874 SOS 33460 HAS SOPS 33460 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21340.46
AT ITER 46 NEW BEST:: SOT 51869 SOS 33450 HAS SOPS 33450 HAS SOUS 21297 HAS SOUPS 21297 WITH SCORE 21330.45
AT ITER 50 NEW BEST:: SOT 51734 SOS 33439 HAS SOPS 33439 HAS SOUS 21219 HAS SOUPS 21219 WITH SCORE 21252.439
AT ITER 53 NEW BEST:: SOT 51717 SOS 33424 HAS SOPS 33424 HAS SOUS 21149 HAS SOUPS 21149 WITH SCORE 21182.424
AT ITER 54 NEW BEST:: SOT 51699 SOS 33482 HAS SOPS 33482 HAS SOUS 21095 HAS SOUPS 21095 WITH SCORE 21128.482
AT ITER 58 NEW BEST:: SOT 51699 SOS 33447 HAS SOPS 33447 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21050.447
AT ITER 60 NEW BEST:: SOT 51699 SOS 33442 HAS SOPS 33442 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21030.442
AT ITER 61 NEW BEST:: SOT 51699 SOS 33442 HAS SOPS 33442 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21018.442
AT ITER 65 NEW BEST:: SOT 51674 SOS 33392 HAS SOPS 33392 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20934.392
AT ITER 69 NEW BEST:: SOT 51657 SOS 33401 HAS SOPS 33401 HAS SOUS 20858 HAS SOUPS 20858 WITH SCORE 20891.401
AT ITER 78 NEW BEST:: SOT 51617 SOS 33289 HAS SOPS 33289 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20739.289
AT ITER 83 NEW BEST:: SOT 51617 SOS 33261 HAS SOPS 33261 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20609.261
AT ITER 84 NEW BEST:: SOT 51612 SOS 33251 HAS SOPS 33251 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20599.251
AT ITER 86 NEW BEST:: SOT 51612 SOS 33251 HAS SOPS 33251 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20595.251
AT ITER 89 NEW BEST:: SOT 51612 SOS 33162 HAS SOPS 33162 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20377.162
AT ITER 93 NEW BEST:: SOT 51612 SOS 33162 HAS SOPS 33162 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20338.162
AT ITER 104 NEW BEST:: SOT 51602 SOS 33176 HAS SOPS 33176 HAS SOUS 20285 HAS SOUPS 20285 WITH SCORE 20318.176
AT ITER 119 NEW BEST:: SOT 51602 SOS 33120 HAS SOPS 33120 HAS SOUS 20078 HAS SOUPS 20078 WITH SCORE 20111.12
AT ITER 120 NEW BEST:: SOT 51602 SOS 33120 HAS SOPS 33120 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20086.12
AT ITER 122 NEW BEST:: SOT 51569 SOS 32981 HAS SOPS 32981 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20085.981
AT ITER 128 NEW BEST:: SOT 51569 SOS 32903 HAS SOPS 32903 HAS SOUS 19866 HAS SOUPS 19866 WITH SCORE 19898.903
AT ITER 130 NEW BEST:: SOT 51569 SOS 32890 HAS SOPS 32890 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19858.89
AT ITER 131 NEW BEST:: SOT 51569 SOS 32846 HAS SOPS 32846 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19763.846
AT ITER 138 NEW BEST:: SOT 51561 SOS 32818 HAS SOPS 32818 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19759.818
AT ITER 140 NEW BEST:: SOT 51561 SOS 32818 HAS SOPS 32818 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19734.818
AT ITER 144 NEW BEST:: SOT 51552 SOS 32791 HAS SOPS 32791 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19716.791
AT ITER 145 NEW BEST:: SOT 51552 SOS 32791 HAS SOPS 32791 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19636.791
AT ITER 157 NEW BEST:: SOT 51552 SOS 32831 HAS SOPS 32831 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19511.831
AT ITER 161 NEW BEST:: SOT 51527 SOS 32675 HAS SOPS 32675 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19457.675
AT ITER 162 NEW BEST:: SOT 51527 SOS 32613 HAS SOPS 32613 HAS SOUS 19378 HAS SOUPS 19378 WITH SCORE 19410.613
AT ITER 164 NEW BEST:: SOT 51522 SOS 32603 HAS SOPS 32603 HAS SOUS 19291 HAS SOUPS 19291 WITH SCORE 19323.603
AT ITER 168 NEW BEST:: SOT 51522 SOS 32568 HAS SOPS 32568 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19257.568
AT ITER 169 NEW BEST:: SOT 51522 SOS 32546 HAS SOPS 32546 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19213.546
AT ITER 170 NEW BEST:: SOT 51508 SOS 32532 HAS SOPS 32532 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19199.532
AT ITER 177 NEW BEST:: SOT 51514 SOS 32563 HAS SOPS 32563 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19184.563
AT ITER 178 NEW BEST:: SOT 51514 SOS 32522 HAS SOPS 32522 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18945.522
AT ITER 187 NEW BEST:: SOT 51514 SOS 32522 HAS SOPS 32522 HAS SOUS 18901 HAS SOUPS 18901 WITH SCORE 18933.522
AT ITER 188 NEW BEST:: SOT 51514 SOS 32522 HAS SOPS 32522 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18845.522
AT ITER 192 NEW BEST:: SOT 51514 SOS 32522 HAS SOPS 32522 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18842.522
AT ITER 194 NEW BEST:: SOT 51514 SOS 32515 HAS SOPS 32515 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18835.515
AT ITER 197 NEW BEST:: SOT 51514 SOS 32452 HAS SOPS 32452 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18731.452
AT ITER 199 NEW BEST:: SOT 51514 SOS 32452 HAS SOPS 32452 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18730.452
AT ITER 207 NEW BEST:: SOT 51506 SOS 32444 HAS SOPS 32444 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18706.444
AT ITER 210 NEW BEST:: SOT 51506 SOS 32343 HAS SOPS 32343 HAS SOUS 18593 HAS SOUPS 18593 WITH SCORE 18625.343
AT ITER 212 NEW BEST:: SOT 51525 SOS 32372 HAS SOPS 32372 HAS SOUS 18591 HAS SOUPS 18591 WITH SCORE 18623.372
AT ITER 215 NEW BEST:: SOT 51525 SOS 32330 HAS SOPS 32330 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18492.33
AT ITER 225 NEW BEST:: SOT 51525 SOS 32283 HAS SOPS 32283 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18486.283
AT ITER 238 NEW BEST:: SOT 51508 SOS 32284 HAS SOPS 32284 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18451.284
AT ITER 253 NEW BEST:: SOT 51490 SOS 32301 HAS SOPS 32301 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18344.301
AT ITER 258 NEW BEST:: SOT 51490 SOS 32325 HAS SOPS 32325 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18310.325
AT ITER 275 NEW BEST:: SOT 51490 SOS 32377 HAS SOPS 32377 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18306.377
AT ITER 278 NEW BEST:: SOT 51490 SOS 32377 HAS SOPS 32377 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18291.377
AT ITER 293 NEW BEST:: SOT 51455 SOS 32250 HAS SOPS 32250 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18233.25
AT ITER 295 NEW BEST:: SOT 51454 SOS 32245 HAS SOPS 32245 HAS SOUS 18199 HAS SOUPS 18199 WITH SCORE 18231.245
AT ITER 298 NEW BEST:: SOT 51454 SOS 32245 HAS SOPS 32245 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18203.245
AT ITER 307 NEW BEST:: SOT 51418 SOS 32134 HAS SOPS 32134 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18188.134
AT ITER 318 NEW BEST:: SOT 51418 SOS 32134 HAS SOPS 32134 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18176.134
AT ITER 321 NEW BEST:: SOT 51415 SOS 32130 HAS SOPS 32130 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18170.13
AT ITER 325 NEW BEST:: SOT 51391 SOS 31929 HAS SOPS 31929 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18123.929
AT ITER 327 NEW BEST:: SOT 51391 SOS 31923 HAS SOPS 31923 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18095.923
AT ITER 329 NEW BEST:: SOT 51415 SOS 31948 HAS SOPS 31948 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18072.948
AT ITER 330 NEW BEST:: SOT 51415 SOS 31944 HAS SOPS 31944 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18024.944
AT ITER 336 NEW BEST:: SOT 51415 SOS 31944 HAS SOPS 31944 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18021.944
AT ITER 339 NEW BEST:: SOT 51415 SOS 31944 HAS SOPS 31944 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18015.944
AT ITER 340 NEW BEST:: SOT 51422 SOS 31954 HAS SOPS 31954 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 18004.954
AT ITER 368 NEW BEST:: SOT 51405 SOS 31937 HAS SOPS 31937 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 18004.937
AT ITER 369 NEW BEST:: SOT 51160 SOS 34058 HAS SOPS 34058 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17960.058
AT ITER 384 NEW BEST:: SOT 51118 SOS 34016 HAS SOPS 34016 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17870.016
AT ITER 403 NEW BEST:: SOT 51116 SOS 34014 HAS SOPS 34014 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17863.014
AT ITER 405 NEW BEST:: SOT 51116 SOS 33942 HAS SOPS 33942 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17844.942
AT ITER 406 NEW BEST:: SOT 51116 SOS 33942 HAS SOPS 33942 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17667.942
AT ITER 407 NEW BEST:: SOT 51116 SOS 33942 HAS SOPS 33942 HAS SOUS 17561 HAS SOUPS 17561 WITH SCORE 17594.942
AT ITER 410 NEW BEST:: SOT 51128 SOS 33966 HAS SOPS 33966 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17560.966
AT ITER 420 NEW BEST:: SOT 51128 SOS 33966 HAS SOPS 33966 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17530.966
AT ITER 424 NEW BEST:: SOT 51128 SOS 33966 HAS SOPS 33966 HAS SOUS 17486 HAS SOUPS 17486 WITH SCORE 17519.966
AT ITER 436 NEW BEST:: SOT 51071 SOS 33909 HAS SOPS 33909 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17462.909
AT ITER 448 NEW BEST:: SOT 51033 SOS 33771 HAS SOPS 33771 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17403.771
AT ITER 451 NEW BEST:: SOT 51033 SOS 33771 HAS SOPS 33771 HAS SOUS 17360 HAS SOUPS 17360 WITH SCORE 17393.771
AT ITER 457 NEW BEST:: SOT 51052 SOS 33809 HAS SOPS 33809 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17386.809
AT ITER 462 NEW BEST:: SOT 51081 SOS 33501 HAS SOPS 33501 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17360.501
AT ITER 463 NEW BEST:: SOT 51081 SOS 33501 HAS SOPS 33501 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17356.501
AT ITER 470 NEW BEST:: SOT 51094 SOS 33527 HAS SOPS 33527 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17311.527
AT ITER 473 NEW BEST:: SOT 51094 SOS 33527 HAS SOPS 33527 HAS SOUS 17276 HAS SOUPS 17276 WITH SCORE 17309.527
AT ITER 476 NEW BEST:: SOT 51122 SOS 33583 HAS SOPS 33583 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17255.583
AT ITER 484 NEW BEST:: SOT 51109 SOS 33525 HAS SOPS 33525 HAS SOUS 17209 HAS SOUPS 17209 WITH SCORE 17242.525
AT ITER 487 NEW BEST:: SOT 51109 SOS 33525 HAS SOPS 33525 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17238.525
AT ITER 488 NEW BEST:: SOT 51055 SOS 33276 HAS SOPS 33276 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17185.276
AT ITER 493 NEW BEST:: SOT 51052 SOS 33087 HAS SOPS 33087 HAS SOUS 17145 HAS SOUPS 17145 WITH SCORE 17178.087
AT ITER 499 NEW BEST:: SOT 51052 SOS 33087 HAS SOPS 33087 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17157.087
AT ITER 509 NEW BEST:: SOT 51052 SOS 33087 HAS SOPS 33087 HAS SOUS 17111 HAS SOUPS 17111 WITH SCORE 17144.087
AT ITER 513 NEW BEST:: SOT 51052 SOS 33087 HAS SOPS 33087 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17125.087
AT ITER 515 NEW BEST:: SOT 51052 SOS 33087 HAS SOPS 33087 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17101.087
AT ITER 519 NEW BEST:: SOT 51044 SOS 33085 HAS SOPS 33085 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17091.085
AT ITER 534 NEW BEST:: SOT 51093 SOS 33105 HAS SOPS 33105 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17089.105
AT ITER 536 NEW BEST:: SOT 51093 SOS 33105 HAS SOPS 33105 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17076.105
AT ITER 541 NEW BEST:: SOT 51093 SOS 33015 HAS SOPS 33015 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17076.015
AT ITER 552 NEW BEST:: SOT 51093 SOS 33015 HAS SOPS 33015 HAS SOUS 16931 HAS SOUPS 16931 WITH SCORE 16964.015
AT ITER 556 NEW BEST:: SOT 51093 SOS 33015 HAS SOPS 33015 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16952.015
AT ITER 557 NEW BEST:: SOT 51083 SOS 33020 HAS SOPS 33020 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16947.02
AT ITER 564 NEW BEST:: SOT 51077 SOS 33018 HAS SOPS 33018 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16945.018
AT ITER 572 NEW BEST:: SOT 51077 SOS 33018 HAS SOPS 33018 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16942.018
AT ITER 594 NEW BEST:: SOT 51065 SOS 32994 HAS SOPS 32994 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16897.994
AT ITER 595 NEW BEST:: SOT 51022 SOS 32976 HAS SOPS 32976 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16897.976
AT ITER 602 NEW BEST:: SOT 50974 SOS 32170 HAS SOPS 32170 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16808.17
AT ITER 607 NEW BEST:: SOT 50817 SOS 32013 HAS SOPS 32013 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16627.013
AT ITER 610 NEW BEST:: SOT 50785 SOS 31949 HAS SOPS 31949 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16586.949
AT ITER 614 NEW BEST:: SOT 50785 SOS 31949 HAS SOPS 31949 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16582.949
AT ITER 617 NEW BEST:: SOT 50785 SOS 31949 HAS SOPS 31949 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16561.949
AT ITER 630 NEW BEST:: SOT 50780 SOS 31939 HAS SOPS 31939 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16556.939
AT ITER 631 NEW BEST:: SOT 50799 SOS 31778 HAS SOPS 31778 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16530.778
AT ITER 634 NEW BEST:: SOT 50799 SOS 31778 HAS SOPS 31778 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16521.778
AT ITER 636 NEW BEST:: SOT 50799 SOS 31778 HAS SOPS 31778 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16496.778
AT ITER 640 NEW BEST:: SOT 50799 SOS 31626 HAS SOPS 31626 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16496.626
AT ITER 643 NEW BEST:: SOT 50799 SOS 31626 HAS SOPS 31626 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16423.626
AT ITER 656 NEW BEST:: SOT 50799 SOS 31626 HAS SOPS 31626 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16392.626
AT ITER 658 NEW BEST:: SOT 50769 SOS 31566 HAS SOPS 31566 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16372.566
AT ITER 661 NEW BEST:: SOT 50769 SOS 31566 HAS SOPS 31566 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16370.566
AT ITER 676 NEW BEST:: SOT 50769 SOS 31551 HAS SOPS 31551 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16370.551
AT ITER 680 NEW BEST:: SOT 50757 SOS 32191 HAS SOPS 32191 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16317.191
AT ITER 690 NEW BEST:: SOT 50728 SOS 32133 HAS SOPS 32133 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16295.133
AT ITER 691 NEW BEST:: SOT 50700 SOS 32061 HAS SOPS 32061 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16272.061
AT ITER 692 NEW BEST:: SOT 50630 SOS 31921 HAS SOPS 31921 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16204.921
AT ITER 693 NEW BEST:: SOT 50586 SOS 31726 HAS SOPS 31726 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16204.726
AT ITER 706 NEW BEST:: SOT 50595 SOS 31652 HAS SOPS 31652 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16175.652
AT ITER 707 NEW BEST:: SOT 50587 SOS 31636 HAS SOPS 31636 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16167.636
AT ITER 711 NEW BEST:: SOT 50587 SOS 31636 HAS SOPS 31636 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16140.636
AT ITER 724 NEW BEST:: SOT 46760 SOS 27810 HAS SOPS 27810 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12309.81
AT ITER 733 NEW BEST:: SOT 46760 SOS 27858 HAS SOPS 27858 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12297.858
AT ITER 746 NEW BEST:: SOT 46748 SOS 27846 HAS SOPS 27846 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12261.846
AT ITER 753 NEW BEST:: SOT 46745 SOS 27843 HAS SOPS 27843 HAS SOUS 12225 HAS SOUPS 12225 WITH SCORE 12252.843
AT ITER 780 NEW BEST:: SOT 46745 SOS 27655 HAS SOPS 27655 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12244.655
AT ITER 782 NEW BEST:: SOT 46757 SOS 27447 HAS SOPS 27447 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12207.447
AT ITER 798 NEW BEST:: SOT 46612 SOS 27302 HAS SOPS 27302 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12079.302
AT ITER 800 NEW BEST:: SOT 46610 SOS 27295 HAS SOPS 27295 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12070.295
AT ITER 802 NEW BEST:: SOT 46607 SOS 27289 HAS SOPS 27289 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12064.289
AT ITER 809 NEW BEST:: SOT 46596 SOS 27278 HAS SOPS 27278 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12058.278
AT ITER 814 NEW BEST:: SOT 46590 SOS 27272 HAS SOPS 27272 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12046.272
AT ITER 836 NEW BEST:: SOT 46572 SOS 27254 HAS SOPS 27254 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 12010.254
AT ITER 841 NEW BEST:: SOT 46536 SOS 27218 HAS SOPS 27218 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11968.218
AT ITER 854 NEW BEST:: SOT 46542 SOS 27187 HAS SOPS 27187 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11961.187
AT ITER 877 NEW BEST:: SOT 46509 SOS 27187 HAS SOPS 27187 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11895.187
AT ITER 901 NEW BEST:: SOT 46519 SOS 27353 HAS SOPS 27353 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11885.353
AT ITER 907 NEW BEST:: SOT 46384 SOS 27218 HAS SOPS 27218 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11750.218
AT ITER 908 NEW BEST:: SOT 46348 SOS 27208 HAS SOPS 27208 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11738.208
AT ITER 909 NEW BEST:: SOT 46336 SOS 27196 HAS SOPS 27196 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11726.196
AT ITER 927 NEW BEST:: SOT 46334 SOS 27192 HAS SOPS 27192 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11722.192
AT ITER 946 NEW BEST:: SOT 46379 SOS 27218 HAS SOPS 27218 HAS SOUS 11669 HAS SOUPS 11669 WITH SCORE 11696.218
AT ITER 965 NEW BEST:: SOT 46372 SOS 27211 HAS SOPS 27211 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11689.211
AT ITER 975 NEW BEST:: SOT 46381 SOS 27197 HAS SOPS 27197 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11668.197
AT ITER 986 NEW BEST:: SOT 46345 SOS 27001 HAS SOPS 27001 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11616.001
AT ITER 991 NEW BEST:: SOT 46343 SOS 26999 HAS SOPS 26999 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11609.999
AT ITER 1000 NEW BEST:: SOT 46332 SOS 26988 HAS SOPS 26988 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11593.988
AT ITER 1016 NEW BEST:: SOT 46289 SOS 26824 HAS SOPS 26824 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11509.824
AT ITER 1020 NEW BEST:: SOT 46289 SOS 26832 HAS SOPS 26832 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11497.832
AT ITER 1023 NEW BEST:: SOT 46247 SOS 26790 HAS SOPS 26790 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11441.79
AT ITER 1025 NEW BEST:: SOT 46245 SOS 26786 HAS SOPS 26786 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11439.786
AT ITER 1040 NEW BEST:: SOT 46245 SOS 26786 HAS SOPS 26786 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11435.786
AT ITER 1047 NEW BEST:: SOT 46236 SOS 26897 HAS SOPS 26897 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11430.897
AT ITER 1057 NEW BEST:: SOT 46230 SOS 26897 HAS SOPS 26897 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11418.897
AT ITER 1060 NEW BEST:: SOT 46211 SOS 26878 HAS SOPS 26878 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11380.878
AT ITER 1077 NEW BEST:: SOT 46178 SOS 26845 HAS SOPS 26845 HAS SOUS 11318 HAS SOUPS 11318 WITH SCORE 11344.845
AT ITER 1085 NEW BEST:: SOT 46178 SOS 26845 HAS SOPS 26845 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11343.845
AT ITER 1101 NEW BEST:: SOT 46172 SOS 26839 HAS SOPS 26839 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11331.839
AT ITER 1115 NEW BEST:: SOT 46140 SOS 26767 HAS SOPS 26767 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11317.767
AT ITER 1123 NEW BEST:: SOT 46026 SOS 26653 HAS SOPS 26653 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11203.653
AT ITER 1124 NEW BEST:: SOT 46026 SOS 26653 HAS SOPS 26653 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11195.653
AT ITER 1135 NEW BEST:: SOT 45934 SOS 26581 HAS SOPS 26581 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11157.581
AT ITER 1145 NEW BEST:: SOT 45886 SOS 26533 HAS SOPS 26533 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11109.533
AT ITER 1178 NEW BEST:: SOT 45862 SOS 26509 HAS SOPS 26509 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11085.509
AT ITER 1197 NEW BEST:: SOT 45847 SOS 26434 HAS SOPS 26434 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11070.434
AT ITER 1201 NEW BEST:: SOT 45847 SOS 26570 HAS SOPS 26570 HAS SOUS 11010 HAS SOUPS 11010 WITH SCORE 11036.57
AT ITER 1203 NEW BEST:: SOT 45847 SOS 26570 HAS SOPS 26570 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11023.57
AT ITER 1213 NEW BEST:: SOT 45795 SOS 26518 HAS SOPS 26518 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10919.518
AT ITER 1216 NEW BEST:: SOT 45773 SOS 26496 HAS SOPS 26496 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10875.496
AT ITER 1219 NEW BEST:: SOT 45756 SOS 26512 HAS SOPS 26512 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10871.512
AT ITER 1223 NEW BEST:: SOT 45771 SOS 26527 HAS SOPS 26527 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10856.527
AT ITER 1236 NEW BEST:: SOT 45771 SOS 26515 HAS SOPS 26515 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10850.515
AT ITER 1238 NEW BEST:: SOT 45776 SOS 26660 HAS SOPS 26660 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10843.66
AT ITER 1240 NEW BEST:: SOT 45766 SOS 26635 HAS SOPS 26635 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10831.635
AT ITER 1244 NEW BEST:: SOT 45745 SOS 26614 HAS SOPS 26614 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10789.614
AT ITER 1251 NEW BEST:: SOT 45717 SOS 26558 HAS SOPS 26558 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10761.558
AT ITER 1252 NEW BEST:: SOT 45717 SOS 26548 HAS SOPS 26548 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10761.548
AT ITER 1263 NEW BEST:: SOT 45721 SOS 26652 HAS SOPS 26652 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10744.652
AT ITER 1269 NEW BEST:: SOT 45703 SOS 26628 HAS SOPS 26628 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10732.628
AT ITER 1283 NEW BEST:: SOT 45711 SOS 26716 HAS SOPS 26716 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10728.716
AT ITER 1315 NEW BEST:: SOT 45699 SOS 26704 HAS SOPS 26704 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10676.704
AT ITER 1323 NEW BEST:: SOT 45722 SOS 26727 HAS SOPS 26727 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10653.727
AT ITER 1325 NEW BEST:: SOT 45722 SOS 26722 HAS SOPS 26722 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10643.722
AT ITER 1346 NEW BEST:: SOT 45716 SOS 26716 HAS SOPS 26716 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10625.716
AT ITER 1366 NEW BEST:: SOT 45721 SOS 26721 HAS SOPS 26721 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10620.721
AT ITER 1376 NEW BEST:: SOT 45721 SOS 26773 HAS SOPS 26773 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10607.773
AT ITER 1379 NEW BEST:: SOT 45691 SOS 26743 HAS SOPS 26743 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10512.743
AT ITER 1380 NEW BEST:: SOT 45631 SOS 26683 HAS SOPS 26683 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10412.683
AT ITER 1393 NEW BEST:: SOT 45606 SOS 26658 HAS SOPS 26658 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10359.658
AT ITER 1436 NEW BEST:: SOT 45591 SOS 26643 HAS SOPS 26643 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10353.643
AT ITER 1440 NEW BEST:: SOT 45591 SOS 26629 HAS SOPS 26629 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10339.629
AT ITER 1442 NEW BEST:: SOT 45356 SOS 26394 HAS SOPS 26394 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10218.394
AT ITER 1446 NEW BEST:: SOT 45356 SOS 26388 HAS SOPS 26388 HAS SOUS 10189 HAS SOUPS 10189 WITH SCORE 10215.388
AT ITER 1461 NEW BEST:: SOT 45339 SOS 26371 HAS SOPS 26371 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10191.371
AT ITER 1464 NEW BEST:: SOT 45335 SOS 26385 HAS SOPS 26385 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10183.385
AT ITER 1493 NEW BEST:: SOT 45329 SOS 26347 HAS SOPS 26347 HAS SOUS 10145 HAS SOUPS 10145 WITH SCORE 10171.347
AT ITER 1498 NEW BEST:: SOT 45293 SOS 26311 HAS SOPS 26311 HAS SOUS 10031 HAS SOUPS 10031 WITH SCORE 10057.311
AT ITER 1502 NEW BEST:: SOT 45255 SOS 26218 HAS SOPS 26218 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10019.218
AT ITER 1504 NEW BEST:: SOT 45242 SOS 26205 HAS SOPS 26205 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 10005.205
AT ITER 1511 NEW BEST:: SOT 45232 SOS 25900 HAS SOPS 25900 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9997.9
AT ITER 1525 NEW BEST:: SOT 45230 SOS 25896 HAS SOPS 25896 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9995.896
AT ITER 1526 NEW BEST:: SOT 45230 SOS 25916 HAS SOPS 25916 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9990.916
AT ITER 1543 NEW BEST:: SOT 45200 SOS 25929 HAS SOPS 25929 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9966.929
AT ITER 1566 NEW BEST:: SOT 45197 SOS 25974 HAS SOPS 25974 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9963.974
AT ITER 1613 NEW BEST:: SOT 45168 SOS 25926 HAS SOPS 25926 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9943.926
AT ITER 1617 NEW BEST:: SOT 45158 SOS 25916 HAS SOPS 25916 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9914.916
AT ITER 1637 NEW BEST:: SOT 45141 SOS 25896 HAS SOPS 25896 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9894.896
AT ITER 1666 NEW BEST:: SOT 45106 SOS 25723 HAS SOPS 25723 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9868.723
AT ITER 1678 NEW BEST:: SOT 45109 SOS 25726 HAS SOPS 25726 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9858.726
AT ITER 1681 NEW BEST:: SOT 45090 SOS 25707 HAS SOPS 25707 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9821.707
AT ITER 1683 NEW BEST:: SOT 45064 SOS 25681 HAS SOPS 25681 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9764.681
AT ITER 1689 NEW BEST:: SOT 45064 SOS 25663 HAS SOPS 25663 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9760.663
AT ITER 1697 NEW BEST:: SOT 45063 SOS 25662 HAS SOPS 25662 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9743.662
AT ITER 1702 NEW BEST:: SOT 45045 SOS 25644 HAS SOPS 25644 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9688.644
AT ITER 1717 NEW BEST:: SOT 45045 SOS 25644 HAS SOPS 25644 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9686.644
AT ITER 1725 NEW BEST:: SOT 45035 SOS 25634 HAS SOPS 25634 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9681.634
AT ITER 1742 NEW BEST:: SOT 45026 SOS 25625 HAS SOPS 25625 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9658.625
AT ITER 1745 NEW BEST:: SOT 45033 SOS 25632 HAS SOPS 25632 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9633.632
AT ITER 1754 NEW BEST:: SOT 45019 SOS 25618 HAS SOPS 25618 HAS SOUS 9598 HAS SOUPS 9598 WITH SCORE 9623.618
AT ITER 1784 NEW BEST:: SOT 45001 SOS 25408 HAS SOPS 25408 HAS SOUS 9589 HAS SOUPS 9589 WITH SCORE 9614.408
AT ITER 1794 NEW BEST:: SOT 45009 SOS 25416 HAS SOPS 25416 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9591.416
AT ITER 1795 NEW BEST:: SOT 45002 SOS 25409 HAS SOPS 25409 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9553.409
AT ITER 1802 NEW BEST:: SOT 44978 SOS 29128 HAS SOPS 29128 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9532.128
AT ITER 1809 NEW BEST:: SOT 44985 SOS 29114 HAS SOPS 29114 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9532.114
AT ITER 1826 NEW BEST:: SOT 44984 SOS 29113 HAS SOPS 29113 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9531.113
AT ITER 1829 NEW BEST:: SOT 44962 SOS 29080 HAS SOPS 29080 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9486.08
AT ITER 1830 NEW BEST:: SOT 44962 SOS 29112 HAS SOPS 29112 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9478.112
AT ITER 1835 NEW BEST:: SOT 44962 SOS 29112 HAS SOPS 29112 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9475.112
AT ITER 1843 NEW BEST:: SOT 44963 SOS 29102 HAS SOPS 29102 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9455.102
AT ITER 1848 NEW BEST:: SOT 44963 SOS 29282 HAS SOPS 29282 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9410.282
AT ITER 1862 NEW BEST:: SOT 44921 SOS 29225 HAS SOPS 29225 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9407.225
AT ITER 1863 NEW BEST:: SOT 44911 SOS 29215 HAS SOPS 29215 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9382.215
AT ITER 1866 NEW BEST:: SOT 44902 SOS 29213 HAS SOPS 29213 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9366.213
AT ITER 1932 NEW BEST:: SOT 44908 SOS 29219 HAS SOPS 29219 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9362.219
AT ITER 1934 NEW BEST:: SOT 44908 SOS 29235 HAS SOPS 29235 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9358.235
AT ITER 1939 NEW BEST:: SOT 44893 SOS 29205 HAS SOPS 29205 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9328.205
AT ITER 1986 NEW BEST:: SOT 44887 SOS 29199 HAS SOPS 29199 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9312.199
AT ITER 1990 NEW BEST:: SOT 44884 SOS 29245 HAS SOPS 29245 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9300.245
AT ITER 1996 NEW BEST:: SOT 44884 SOS 29261 HAS SOPS 29261 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9296.261
AT ITER 2033 NEW BEST:: SOT 44871 SOS 29266 HAS SOPS 29266 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9292.266
AT ITER 2046 NEW BEST:: SOT 44864 SOS 29266 HAS SOPS 29266 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9278.266
AT ITER 2051 NEW BEST:: SOT 44864 SOS 29266 HAS SOPS 29266 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9269.266
AT ITER 2058 NEW BEST:: SOT 44864 SOS 29266 HAS SOPS 29266 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9268.266
AT ITER 2059 NEW BEST:: SOT 44855 SOS 29257 HAS SOPS 29257 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9250.257
AT ITER 2081 NEW BEST:: SOT 44843 SOS 29245 HAS SOPS 29245 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9206.245
AT ITER 2096 NEW BEST:: SOT 44786 SOS 29599 HAS SOPS 29599 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9200.599
AT ITER 2125 NEW BEST:: SOT 44776 SOS 29589 HAS SOPS 29589 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9189.589
AT ITER 2178 NEW BEST:: SOT 44763 SOS 29576 HAS SOPS 29576 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9160.576
AT ITER 2187 NEW BEST:: SOT 44762 SOS 29571 HAS SOPS 29571 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9160.571
AT ITER 2235 NEW BEST:: SOT 44713 SOS 29522 HAS SOPS 29522 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9119.522
AT ITER 2239 NEW BEST:: SOT 44704 SOS 29513 HAS SOPS 29513 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9107.513
AT ITER 2240 NEW BEST:: SOT 44703 SOS 29512 HAS SOPS 29512 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9094.512
AT ITER 2281 NEW BEST:: SOT 44732 SOS 29521 HAS SOPS 29521 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9089.521
AT ITER 2288 NEW BEST:: SOT 44732 SOS 29189 HAS SOPS 29189 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9076.189
AT ITER 2294 NEW BEST:: SOT 44732 SOS 29189 HAS SOPS 29189 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9072.189
AT ITER 2298 NEW BEST:: SOT 44730 SOS 29187 HAS SOPS 29187 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9058.187
AT ITER 2304 NEW BEST:: SOT 44723 SOS 29063 HAS SOPS 29063 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9044.063
AT ITER 2327 NEW BEST:: SOT 44700 SOS 29040 HAS SOPS 29040 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8964.04
AT ITER 2335 NEW BEST:: SOT 44721 SOS 29064 HAS SOPS 29064 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8962.064
AT ITER 2375 NEW BEST:: SOT 44713 SOS 29056 HAS SOPS 29056 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8954.056
AT ITER 2377 NEW BEST:: SOT 44709 SOS 29052 HAS SOPS 29052 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8928.052
AT ITER 2387 NEW BEST:: SOT 44699 SOS 29042 HAS SOPS 29042 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8894.042
AT ITER 2416 NEW BEST:: SOT 44709 SOS 29041 HAS SOPS 29041 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8892.041
AT ITER 2429 NEW BEST:: SOT 44716 SOS 29000 HAS SOPS 29000 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8872.0
AT ITER 2434 NEW BEST:: SOT 44714 SOS 28998 HAS SOPS 28998 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8860.998
AT ITER 2488 NEW BEST:: SOT 44714 SOS 28962 HAS SOPS 28962 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8851.962
AT ITER 2515 NEW BEST:: SOT 44686 SOS 28905 HAS SOPS 28905 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8840.905
AT ITER 2520 NEW BEST:: SOT 44687 SOS 28702 HAS SOPS 28702 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8795.702
AT ITER 2523 NEW BEST:: SOT 44687 SOS 28718 HAS SOPS 28718 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8791.718
AT ITER 2537 NEW BEST:: SOT 44687 SOS 28718 HAS SOPS 28718 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8788.718
AT ITER 2547 NEW BEST:: SOT 44667 SOS 28683 HAS SOPS 28683 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8782.683
AT ITER 2549 NEW BEST:: SOT 44652 SOS 28668 HAS SOPS 28668 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8777.668
AT ITER 2558 NEW BEST:: SOT 44642 SOS 28658 HAS SOPS 28658 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8772.658
AT ITER 2570 NEW BEST:: SOT 44635 SOS 28651 HAS SOPS 28651 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8756.651
AT ITER 2589 NEW BEST:: SOT 44628 SOS 28677 HAS SOPS 28677 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8752.677
AT ITER 2601 NEW BEST:: SOT 44622 SOS 28677 HAS SOPS 28677 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8740.677
AT ITER 2608 NEW BEST:: SOT 44607 SOS 28648 HAS SOPS 28648 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8703.648
AT ITER 2622 NEW BEST:: SOT 44592 SOS 28633 HAS SOPS 28633 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8673.633
AT ITER 2633 NEW BEST:: SOT 44588 SOS 28629 HAS SOPS 28629 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8662.629
AT ITER 2640 NEW BEST:: SOT 44554 SOS 28561 HAS SOPS 28561 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8625.561
AT ITER 2668 NEW BEST:: SOT 44472 SOS 28479 HAS SOPS 28479 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8575.479
AT ITER 2670 NEW BEST:: SOT 44470 SOS 28477 HAS SOPS 28477 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8571.477
AT ITER 2697 NEW BEST:: SOT 44463 SOS 28470 HAS SOPS 28470 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8566.47
AT ITER 2710 NEW BEST:: SOT 44470 SOS 28477 HAS SOPS 28477 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8559.477
AT ITER 2754 NEW BEST:: SOT 44456 SOS 28463 HAS SOPS 28463 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8554.463
AT ITER 2796 NEW BEST:: SOT 44456 SOS 28461 HAS SOPS 28461 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8553.461
AT ITER 2818 NEW BEST:: SOT 44395 SOS 28400 HAS SOPS 28400 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8450.4
AT ITER 2839 NEW BEST:: SOT 44382 SOS 28390 HAS SOPS 28390 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8443.39
AT ITER 2874 NEW BEST:: SOT 44361 SOS 28369 HAS SOPS 28369 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8402.369
AT ITER 2957 NEW BEST:: SOT 44361 SOS 28363 HAS SOPS 28363 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8402.363
AT ITER 2994 NEW BEST:: SOT 44348 SOS 28350 HAS SOPS 28350 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8358.35
AT ITER 3005 NEW BEST:: SOT 44343 SOS 28345 HAS SOPS 28345 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8345.345
AT ITER 3010 NEW BEST:: SOT 44329 SOS 28235 HAS SOPS 28235 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8318.235
AT ITER 3012 NEW BEST:: SOT 44318 SOS 28172 HAS SOPS 28172 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8309.172
AT ITER 3037 NEW BEST:: SOT 44315 SOS 28159 HAS SOPS 28159 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8306.159
AT ITER 3055 NEW BEST:: SOT 44313 SOS 28157 HAS SOPS 28157 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8305.157
AT ITER 3075 NEW BEST:: SOT 44302 SOS 28127 HAS SOPS 28127 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8303.127
AT ITER 3116 NEW BEST:: SOT 44277 SOS 28102 HAS SOPS 28102 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8236.102
AT ITER 3119 NEW BEST:: SOT 44269 SOS 28094 HAS SOPS 28094 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8193.094
AT ITER 3223 NEW BEST:: SOT 44266 SOS 28091 HAS SOPS 28091 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8188.091
AT ITER 3287 NEW BEST:: SOT 44275 SOS 28260 HAS SOPS 28260 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8168.26
AT ITER 3289 NEW BEST:: SOT 44273 SOS 28258 HAS SOPS 28258 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8166.258
AT ITER 3327 NEW BEST:: SOT 44275 SOS 28268 HAS SOPS 28268 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8162.268
AT ITER 3347 NEW BEST:: SOT 44265 SOS 28238 HAS SOPS 28238 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8162.238
AT ITER 3361 NEW BEST:: SOT 44265 SOS 28238 HAS SOPS 28238 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8160.238
AT ITER 3385 NEW BEST:: SOT 44243 SOS 28216 HAS SOPS 28216 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8149.216
AT ITER 3409 NEW BEST:: SOT 44239 SOS 28206 HAS SOPS 28206 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8145.206
AT ITER 3446 NEW BEST:: SOT 44239 SOS 28094 HAS SOPS 28094 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8117.094
AT ITER 3535 NEW BEST:: SOT 44239 SOS 28094 HAS SOPS 28094 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8115.094
AT ITER 3571 NEW BEST:: SOT 44235 SOS 28068 HAS SOPS 28068 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8105.068
AT ITER 3580 NEW BEST:: SOT 44235 SOS 28068 HAS SOPS 28068 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8100.068
AT ITER 3597 NEW BEST:: SOT 44235 SOS 28068 HAS SOPS 28068 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8099.068
AT ITER 3599 NEW BEST:: SOT 44231 SOS 28064 HAS SOPS 28064 HAS SOUS 8063 HAS SOUPS 8063 WITH SCORE 8091.064
AT ITER 3601 NEW BEST:: SOT 44230 SOS 28050 HAS SOPS 28050 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8078.05
AT ITER 3609 NEW BEST:: SOT 44223 SOS 28043 HAS SOPS 28043 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8064.043
AT ITER 3695 NEW BEST:: SOT 44221 SOS 28041 HAS SOPS 28041 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8059.041
AT ITER 3751 NEW BEST:: SOT 44211 SOS 28027 HAS SOPS 28027 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8051.027
AT ITER 3760 NEW BEST:: SOT 44209 SOS 28031 HAS SOPS 28031 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8049.031
AT ITER 3764 NEW BEST:: SOT 44209 SOS 28063 HAS SOPS 28063 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8041.063
AT ITER 3783 NEW BEST:: SOT 44204 SOS 28058 HAS SOPS 28058 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8026.058
AT ITER 3795 NEW BEST:: SOT 44200 SOS 28054 HAS SOPS 28054 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 8012.054
AT ITER 3829 NEW BEST:: SOT 44194 SOS 28045 HAS SOPS 28045 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 8003.045
AT ITER 3843 NEW BEST:: SOT 44194 SOS 28031 HAS SOPS 28031 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7996.031
AT ITER 3865 NEW BEST:: SOT 44190 SOS 27999 HAS SOPS 27999 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7994.999
AT ITER 3886 NEW BEST:: SOT 44187 SOS 27998 HAS SOPS 27998 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7988.998
AT ITER 3894 NEW BEST:: SOT 44177 SOS 27988 HAS SOPS 27988 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7963.988
AT ITER 3950 NEW BEST:: SOT 44173 SOS 27976 HAS SOPS 27976 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7963.976
AT ITER 4001 NEW BEST:: SOT 44180 SOS 27869 HAS SOPS 27869 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7946.869
AT ITER 4003 NEW BEST:: SOT 44170 SOS 27819 HAS SOPS 27819 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7936.819
AT ITER 4027 NEW BEST:: SOT 44163 SOS 27803 HAS SOPS 27803 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7920.803
AT ITER 4055 NEW BEST:: SOT 44158 SOS 27798 HAS SOPS 27798 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7904.798
AT ITER 4059 NEW BEST:: SOT 44161 SOS 27801 HAS SOPS 27801 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7900.801
AT ITER 4080 NEW BEST:: SOT 44131 SOS 27771 HAS SOPS 27771 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7879.771
AT ITER 4123 NEW BEST:: SOT 44128 SOS 27768 HAS SOPS 27768 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7872.768
AT ITER 4141 NEW BEST:: SOT 44123 SOS 27763 HAS SOPS 27763 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7857.763
AT ITER 4169 NEW BEST:: SOT 44116 SOS 27756 HAS SOPS 27756 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7841.756
AT ITER 4176 NEW BEST:: SOT 44115 SOS 27755 HAS SOPS 27755 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7841.755
AT ITER 4182 NEW BEST:: SOT 44109 SOS 27749 HAS SOPS 27749 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7829.749
AT ITER 4223 NEW BEST:: SOT 44098 SOS 27738 HAS SOPS 27738 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7796.738
AT ITER 4229 NEW BEST:: SOT 44088 SOS 27698 HAS SOPS 27698 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7786.698
AT ITER 4239 NEW BEST:: SOT 44089 SOS 27699 HAS SOPS 27699 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7780.699
AT ITER 4259 NEW BEST:: SOT 44073 SOS 27689 HAS SOPS 27689 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7772.689
AT ITER 4290 NEW BEST:: SOT 44073 SOS 27687 HAS SOPS 27687 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7770.687
AT ITER 4344 NEW BEST:: SOT 44069 SOS 27679 HAS SOPS 27679 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7762.679
AT ITER 4556 NEW BEST:: SOT 44068 SOS 27663 HAS SOPS 27663 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7760.663
AT ITER 4574 NEW BEST:: SOT 44068 SOS 27663 HAS SOPS 27663 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7758.663
AT ITER 4610 NEW BEST:: SOT 44067 SOS 27733 HAS SOPS 27733 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7757.733
AT ITER 4669 NEW BEST:: SOT 44044 SOS 27780 HAS SOPS 27780 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7734.78
AT ITER 4694 NEW BEST:: SOT 44040 SOS 27778 HAS SOPS 27778 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7732.778
AT ITER 4732 NEW BEST:: SOT 44044 SOS 27768 HAS SOPS 27768 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7725.768
AT ITER 4733 NEW BEST:: SOT 44039 SOS 27763 HAS SOPS 27763 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7718.763
AT ITER 4781 NEW BEST:: SOT 44025 SOS 27785 HAS SOPS 27785 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7717.785
AT ITER 4791 NEW BEST:: SOT 44015 SOS 27775 HAS SOPS 27775 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7695.775
AT ITER 4816 NEW BEST:: SOT 44017 SOS 27777 HAS SOPS 27777 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7686.777
AT ITER 4906 NEW BEST:: SOT 44022 SOS 27782 HAS SOPS 27782 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7684.782
AT ITER 5021 NEW BEST:: SOT 44016 SOS 27776 HAS SOPS 27776 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7664.776
AT ITER 5047 NEW BEST:: SOT 44012 SOS 27772 HAS SOPS 27772 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7664.772
AT ITER 5079 NEW BEST:: SOT 43992 SOS 27792 HAS SOPS 27792 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7663.792
AT ITER 5086 NEW BEST:: SOT 43976 SOS 27596 HAS SOPS 27596 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7661.596
AT ITER 5174 NEW BEST:: SOT 43966 SOS 27583 HAS SOPS 27583 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7650.583
AT ITER 5217 NEW BEST:: SOT 43965 SOS 27582 HAS SOPS 27582 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7648.582
AT ITER 5243 NEW BEST:: SOT 43965 SOS 27590 HAS SOPS 27590 HAS SOUS 7619 HAS SOUPS 7619 WITH SCORE 7646.59
AT ITER 5282 NEW BEST:: SOT 43961 SOS 27586 HAS SOPS 27586 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7636.586
AT ITER 5306 NEW BEST:: SOT 43961 SOS 27550 HAS SOPS 27550 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7627.55
AT ITER 5350 NEW BEST:: SOT 43960 SOS 27549 HAS SOPS 27549 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7623.549
AT ITER 5372 NEW BEST:: SOT 43958 SOS 27639 HAS SOPS 27639 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7620.639
AT ITER 5389 NEW BEST:: SOT 43955 SOS 27636 HAS SOPS 27636 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7619.636
AT ITER 5429 NEW BEST:: SOT 43949 SOS 27627 HAS SOPS 27627 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7613.627
AT ITER 5472 NEW BEST:: SOT 43966 SOS 27644 HAS SOPS 27644 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7611.644
AT ITER 5487 NEW BEST:: SOT 43962 SOS 27640 HAS SOPS 27640 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7591.64
AT ITER 5488 NEW BEST:: SOT 43960 SOS 27638 HAS SOPS 27638 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7584.638
AT ITER 5636 NEW BEST:: SOT 43949 SOS 27627 HAS SOPS 27627 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7562.627
AT ITER 5734 NEW BEST:: SOT 43949 SOS 27671 HAS SOPS 27671 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7551.671
AT ITER 5750 NEW BEST:: SOT 43948 SOS 27670 HAS SOPS 27670 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7549.67
AT ITER 5784 NEW BEST:: SOT 43948 SOS 27670 HAS SOPS 27670 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7546.67
AT ITER 5815 NEW BEST:: SOT 43945 SOS 27667 HAS SOPS 27667 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7543.667
AT ITER 5964 NEW BEST:: SOT 43944 SOS 27666 HAS SOPS 27666 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7540.666
AT ITER 6086 NEW BEST:: SOT 43942 SOS 27664 HAS SOPS 27664 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7533.664
AT ITER 6093 NEW BEST:: SOT 43938 SOS 27660 HAS SOPS 27660 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7525.66
AT ITER 6098 NEW BEST:: SOT 43933 SOS 27655 HAS SOPS 27655 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7506.655
AT ITER 6116 NEW BEST:: SOT 43926 SOS 27641 HAS SOPS 27641 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7502.641
AT ITER 6118 NEW BEST:: SOT 43923 SOS 27638 HAS SOPS 27638 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7502.638
AT ITER 6119 NEW BEST:: SOT 43917 SOS 27632 HAS SOPS 27632 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7485.632
AT ITER 6127 NEW BEST:: SOT 43916 SOS 27631 HAS SOPS 27631 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7482.631
AT ITER 6132 NEW BEST:: SOT 43911 SOS 27629 HAS SOPS 27629 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7479.629
AT ITER 6148 NEW BEST:: SOT 43911 SOS 27615 HAS SOPS 27615 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7472.615
AT ITER 6202 NEW BEST:: SOT 43941 SOS 27675 HAS SOPS 27675 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7470.675
AT ITER 6281 NEW BEST:: SOT 43919 SOS 27617 HAS SOPS 27617 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7462.617
AT ITER 6320 NEW BEST:: SOT 43919 SOS 27617 HAS SOPS 27617 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7455.617
AT ITER 6363 NEW BEST:: SOT 43919 SOS 27633 HAS SOPS 27633 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7451.633
AT ITER 6423 NEW BEST:: SOT 43918 SOS 27637 HAS SOPS 27637 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7449.637
AT ITER 6437 NEW BEST:: SOT 43908 SOS 27627 HAS SOPS 27627 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7444.627
AT ITER 6545 NEW BEST:: SOT 43896 SOS 27415 HAS SOPS 27415 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7443.415
AT ITER 6601 NEW BEST:: SOT 43903 SOS 27422 HAS SOPS 27422 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7440.422
AT ITER 6616 NEW BEST:: SOT 43896 SOS 27436 HAS SOPS 27436 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7433.436
AT ITER 6626 NEW BEST:: SOT 43896 SOS 27436 HAS SOPS 27436 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7427.436
AT ITER 6646 NEW BEST:: SOT 43896 SOS 27436 HAS SOPS 27436 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7421.436
AT ITER 6654 NEW BEST:: SOT 43889 SOS 27429 HAS SOPS 27429 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7417.429
AT ITER 6660 NEW BEST:: SOT 43892 SOS 27414 HAS SOPS 27414 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7413.414
AT ITER 6665 NEW BEST:: SOT 43891 SOS 27395 HAS SOPS 27395 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7412.395
AT ITER 6794 NEW BEST:: SOT 43890 SOS 27413 HAS SOPS 27413 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7411.413
AT ITER 6813 NEW BEST:: SOT 43877 SOS 27398 HAS SOPS 27398 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7393.398
AT ITER 6847 NEW BEST:: SOT 43875 SOS 27396 HAS SOPS 27396 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7388.396
AT ITER 6860 NEW BEST:: SOT 43846 SOS 27367 HAS SOPS 27367 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7379.367
AT ITER 6932 NEW BEST:: SOT 43847 SOS 27368 HAS SOPS 27368 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7377.368
AT ITER 6966 NEW BEST:: SOT 43850 SOS 27371 HAS SOPS 27371 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7374.371
AT ITER 7000 NEW BEST:: SOT 43858 SOS 27335 HAS SOPS 27335 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7357.335
AT ITER 7008 NEW BEST:: SOT 43854 SOS 27321 HAS SOPS 27321 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7351.321
AT ITER 7011 NEW BEST:: SOT 43842 SOS 27155 HAS SOPS 27155 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7349.155
AT ITER 7069 NEW BEST:: SOT 43837 SOS 27130 HAS SOPS 27130 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7339.13
AT ITER 7129 NEW BEST:: SOT 43827 SOS 27056 HAS SOPS 27056 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7329.056
AT ITER 7133 NEW BEST:: SOT 43825 SOS 27054 HAS SOPS 27054 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7328.054
AT ITER 7189 NEW BEST:: SOT 43802 SOS 27031 HAS SOPS 27031 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7315.031
AT ITER 7231 NEW BEST:: SOT 43802 SOS 27029 HAS SOPS 27029 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7315.029
AT ITER 7308 NEW BEST:: SOT 43793 SOS 27011 HAS SOPS 27011 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7297.011
AT ITER 7317 NEW BEST:: SOT 43788 SOS 26970 HAS SOPS 26970 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7287.97
AT ITER 7328 NEW BEST:: SOT 43793 SOS 27039 HAS SOPS 27039 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7283.039
AT ITER 7351 NEW BEST:: SOT 43798 SOS 27044 HAS SOPS 27044 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7281.044
AT ITER 7395 NEW BEST:: SOT 43796 SOS 27042 HAS SOPS 27042 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7277.042
AT ITER 7454 NEW BEST:: SOT 43796 SOS 27042 HAS SOPS 27042 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7275.042
AT ITER 7465 NEW BEST:: SOT 43804 SOS 27018 HAS SOPS 27018 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7275.018
AT ITER 7523 NEW BEST:: SOT 43796 SOS 27010 HAS SOPS 27010 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7271.01
AT ITER 7546 NEW BEST:: SOT 43792 SOS 27004 HAS SOPS 27004 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7265.004
AT ITER 7735 NEW BEST:: SOT 43784 SOS 26992 HAS SOPS 26992 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7249.992
AT ITER 7753 NEW BEST:: SOT 43782 SOS 26990 HAS SOPS 26990 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7245.99
AT ITER 7904 NEW BEST:: SOT 43782 SOS 26987 HAS SOPS 26987 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7240.987
AT ITER 7931 NEW BEST:: SOT 43776 SOS 26990 HAS SOPS 26990 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7237.99
AT ITER 8016 NEW BEST:: SOT 43776 SOS 26982 HAS SOPS 26982 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7229.982
AT ITER 8038 NEW BEST:: SOT 43775 SOS 26981 HAS SOPS 26981 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7226.981
AT ITER 8085 NEW BEST:: SOT 43775 SOS 26969 HAS SOPS 26969 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7223.969
AT ITER 8203 NEW BEST:: SOT 43789 SOS 26983 HAS SOPS 26983 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7219.983
AT ITER 8316 NEW BEST:: SOT 43788 SOS 26981 HAS SOPS 26981 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7218.981
AT ITER 8348 NEW BEST:: SOT 43783 SOS 26976 HAS SOPS 26976 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7217.976
AT ITER 8387 NEW BEST:: SOT 43791 SOS 26984 HAS SOPS 26984 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7209.984
AT ITER 8563 NEW BEST:: SOT 43785 SOS 26978 HAS SOPS 26978 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7209.978
AT ITER 8577 NEW BEST:: SOT 43796 SOS 26989 HAS SOPS 26989 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7208.989
AT ITER 8672 NEW BEST:: SOT 43803 SOS 26983 HAS SOPS 26983 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7202.983
AT ITER 8725 NEW BEST:: SOT 43785 SOS 26965 HAS SOPS 26965 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7190.965
AT ITER 8728 NEW BEST:: SOT 43782 SOS 26950 HAS SOPS 26950 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7187.95
AT ITER 8755 NEW BEST:: SOT 43779 SOS 26938 HAS SOPS 26938 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7184.938
AT ITER 8776 NEW BEST:: SOT 43779 SOS 26938 HAS SOPS 26938 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7183.938
AT ITER 8788 NEW BEST:: SOT 43779 SOS 26998 HAS SOPS 26998 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7168.998
AT ITER 8791 NEW BEST:: SOT 43778 SOS 26993 HAS SOPS 26993 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7168.993
AT ITER 8826 NEW BEST:: SOT 43776 SOS 26991 HAS SOPS 26991 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7161.991
AT ITER 8896 NEW BEST:: SOT 43756 SOS 26971 HAS SOPS 26971 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7161.971
AT ITER 9012 NEW BEST:: SOT 43757 SOS 26969 HAS SOPS 26969 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7161.969
AT ITER 9104 NEW BEST:: SOT 43757 SOS 26873 HAS SOPS 26873 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7161.873
AT ITER 9126 NEW BEST:: SOT 43750 SOS 26866 HAS SOPS 26866 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7159.866
AT ITER 9141 NEW BEST:: SOT 43735 SOS 26851 HAS SOPS 26851 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7157.851
AT ITER 9144 NEW BEST:: SOT 43729 SOS 26845 HAS SOPS 26845 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7153.845
AT ITER 9166 NEW BEST:: SOT 43729 SOS 26843 HAS SOPS 26843 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7153.843
AT ITER 9219 NEW BEST:: SOT 43727 SOS 26825 HAS SOPS 26825 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7152.825
AT ITER 9290 NEW BEST:: SOT 43726 SOS 26842 HAS SOPS 26842 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7147.842
AT ITER 9323 NEW BEST:: SOT 43725 SOS 26841 HAS SOPS 26841 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7141.841
AT ITER 9344 NEW BEST:: SOT 43722 SOS 26838 HAS SOPS 26838 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7139.838
AT ITER 9373 NEW BEST:: SOT 43720 SOS 26836 HAS SOPS 26836 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7135.836
AT ITER 9406 NEW BEST:: SOT 43717 SOS 26827 HAS SOPS 26827 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7135.827
AT ITER 9439 NEW BEST:: SOT 43711 SOS 26827 HAS SOPS 26827 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7134.827
AT ITER 9504 NEW BEST:: SOT 43709 SOS 26825 HAS SOPS 26825 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7130.825
AT ITER 9564 NEW BEST:: SOT 43718 SOS 26922 HAS SOPS 26922 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7126.922
AT ITER 9662 NEW BEST:: SOT 43718 SOS 26990 HAS SOPS 26990 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7109.99
AT ITER 9673 NEW BEST:: SOT 43715 SOS 26987 HAS SOPS 26987 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7100.987
AT ITER 9689 NEW BEST:: SOT 43712 SOS 26984 HAS SOPS 26984 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7096.984
AT ITER 9790 NEW BEST:: SOT 43707 SOS 26972 HAS SOPS 26972 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7093.972
AT ITER 9830 NEW BEST:: SOT 43721 SOS 26781 HAS SOPS 26781 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7086.781
AT ITER 9875 NEW BEST:: SOT 43709 SOS 26858 HAS SOPS 26858 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7079.858
AT ITER 9931 NEW BEST:: SOT 43700 SOS 26908 HAS SOPS 26908 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7069.908
AT ITER 9964 NEW BEST:: SOT 43690 SOS 26862 HAS SOPS 26862 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7067.862
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 163012 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16294244 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="UtilityControlRoom-COL-Z4T4N06"
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"
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 smart"
echo " Input is UtilityControlRoom-COL-Z4T4N06, 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 r483-tall-167912696501072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-COL-Z4T4N06.tgz
mv UtilityControlRoom-COL-Z4T4N06 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 ;