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.r107-tall-167814484500656.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 784K
-rw-r--r-- 1 mcc users 8.0K Feb 25 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 18:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 259K Mar 5 18:22 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 1678407038116

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 00:10:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 00:10:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:10:39] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-10 00:10:39] [INFO ] Transformed 167 places.
[2023-03-10 00:10:39] [INFO ] Transformed 1055 transitions.
[2023-03-10 00:10:39] [INFO ] Found NUPN structural information;
[2023-03-10 00:10:39] [INFO ] Parsed PT model containing 167 places and 1055 transitions and 3985 arcs in 150 ms.
[2023-03-10 00:10:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 167 places, 1055 transitions and 3985 arcs took 11 ms.
Total runtime 187 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 167 places, 1055 transitions, 3985 arcs.
AT ITER 0 NEW BEST:: SOT 117369 SOS 92878 HAS SOPS 56439 HAS SOUS 16646 HAS SOUPS 11230 WITH SCORE 11322.878
AT ITER 1 NEW BEST:: SOT 117242 SOS 91894 HAS SOPS 56259 HAS SOUS 16941 HAS SOUPS 11203 WITH SCORE 11294.894
AT ITER 14 NEW BEST:: SOT 117223 SOS 91856 HAS SOPS 56221 HAS SOUS 16905 HAS SOUPS 11167 WITH SCORE 11258.856
AT ITER 17 NEW BEST:: SOT 117218 SOS 91801 HAS SOPS 56211 HAS SOUS 16895 HAS SOUPS 11162 WITH SCORE 11253.801
AT ITER 23 NEW BEST:: SOT 117197 SOS 91724 HAS SOPS 56176 HAS SOUS 16874 HAS SOUPS 11148 WITH SCORE 11239.724
AT ITER 36 NEW BEST:: SOT 117244 SOS 91598 HAS SOPS 56446 HAS SOUS 16813 HAS SOUPS 11131 WITH SCORE 11222.598
AT ITER 42 NEW BEST:: SOT 117302 SOS 90734 HAS SOPS 56023 HAS SOUS 16733 HAS SOUPS 11100 WITH SCORE 11190.734
AT ITER 44 NEW BEST:: SOT 117321 SOS 90677 HAS SOPS 56023 HAS SOUS 16733 HAS SOUPS 11100 WITH SCORE 11190.677
AT ITER 54 NEW BEST:: SOT 117338 SOS 90711 HAS SOPS 56023 HAS SOUS 16744 HAS SOUPS 11094 WITH SCORE 11184.711
AT ITER 57 NEW BEST:: SOT 117318 SOS 90671 HAS SOPS 56023 HAS SOUS 16724 HAS SOUPS 11094 WITH SCORE 11184.671
AT ITER 64 NEW BEST:: SOT 117402 SOS 90759 HAS SOPS 55863 HAS SOUS 16382 HAS SOUPS 10704 WITH SCORE 10794.759
AT ITER 74 NEW BEST:: SOT 117386 SOS 90591 HAS SOPS 55767 HAS SOUS 16358 HAS SOUPS 10688 WITH SCORE 10778.591
AT ITER 83 NEW BEST:: SOT 117291 SOS 91779 HAS SOPS 56235 HAS SOUS 16301 HAS SOUPS 10591 WITH SCORE 10682.779
AT ITER 89 NEW BEST:: SOT 117336 SOS 91830 HAS SOPS 56250 HAS SOUS 16268 HAS SOUPS 10558 WITH SCORE 10649.83
AT ITER 95 NEW BEST:: SOT 117400 SOS 91014 HAS SOPS 55875 HAS SOUS 16204 HAS SOUPS 10543 WITH SCORE 10634.014
AT ITER 115 NEW BEST:: SOT 117380 SOS 90924 HAS SOPS 55825 HAS SOUS 16174 HAS SOUPS 10523 WITH SCORE 10613.924
AT ITER 117 NEW BEST:: SOT 117299 SOS 91131 HAS SOPS 55798 HAS SOUS 16129 HAS SOUPS 10465 WITH SCORE 10556.131
AT ITER 120 NEW BEST:: SOT 117302 SOS 91131 HAS SOPS 55796 HAS SOUS 16128 HAS SOUPS 10462 WITH SCORE 10553.131
AT ITER 122 NEW BEST:: SOT 117294 SOS 90715 HAS SOPS 55380 HAS SOUS 16128 HAS SOUPS 10462 WITH SCORE 10552.715
AT ITER 129 NEW BEST:: SOT 117285 SOS 90697 HAS SOPS 55362 HAS SOUS 16110 HAS SOUPS 10444 WITH SCORE 10534.697
AT ITER 130 NEW BEST:: SOT 116697 SOS 89466 HAS SOPS 54876 HAS SOUS 16132 HAS SOUPS 10430 WITH SCORE 10519.466
AT ITER 131 NEW BEST:: SOT 117019 SOS 89865 HAS SOPS 54813 HAS SOUS 16077 HAS SOUPS 10148 WITH SCORE 10237.865
AT ITER 138 NEW BEST:: SOT 117007 SOS 89853 HAS SOPS 54801 HAS SOUS 16077 HAS SOUPS 10148 WITH SCORE 10237.853
AT ITER 141 NEW BEST:: SOT 117007 SOS 89121 HAS SOPS 54177 HAS SOUS 16065 HAS SOUPS 10148 WITH SCORE 10237.121
AT ITER 156 NEW BEST:: SOT 116980 SOS 89067 HAS SOPS 54273 HAS SOUS 16003 HAS SOUPS 10111 WITH SCORE 10200.067
AT ITER 157 NEW BEST:: SOT 117140 SOS 89227 HAS SOPS 54433 HAS SOUS 15971 HAS SOUPS 10079 WITH SCORE 10168.227
AT ITER 173 NEW BEST:: SOT 117138 SOS 89225 HAS SOPS 54431 HAS SOUS 15969 HAS SOUPS 10077 WITH SCORE 10166.225
AT ITER 181 NEW BEST:: SOT 117333 SOS 89381 HAS SOPS 54626 HAS SOUS 15891 HAS SOUPS 10038 WITH SCORE 10127.381
AT ITER 189 NEW BEST:: SOT 117325 SOS 89369 HAS SOPS 54622 HAS SOUS 15883 HAS SOUPS 10034 WITH SCORE 10123.369
AT ITER 193 NEW BEST:: SOT 117313 SOS 89357 HAS SOPS 54610 HAS SOUS 15871 HAS SOUPS 10022 WITH SCORE 10111.357
AT ITER 215 NEW BEST:: SOT 117379 SOS 89426 HAS SOPS 54679 HAS SOUS 15825 HAS SOUPS 9976 WITH SCORE 10065.426
AT ITER 226 NEW BEST:: SOT 117378 SOS 89415 HAS SOPS 54668 HAS SOUS 15824 HAS SOUPS 9975 WITH SCORE 10064.415
AT ITER 249 NEW BEST:: SOT 117803 SOS 89940 HAS SOPS 55193 HAS SOUS 15814 HAS SOUPS 9965 WITH SCORE 10054.94
AT ITER 262 NEW BEST:: SOT 117943 SOS 90080 HAS SOPS 55333 HAS SOUS 15788 HAS SOUPS 9936 WITH SCORE 10026.08
AT ITER 263 NEW BEST:: SOT 118185 SOS 90390 HAS SOPS 55235 HAS SOUS 15677 HAS SOUPS 9636 WITH SCORE 9726.39
AT ITER 274 NEW BEST:: SOT 118150 SOS 90140 HAS SOPS 55129 HAS SOUS 15623 HAS SOUPS 9616 WITH SCORE 9706.14
AT ITER 275 NEW BEST:: SOT 118342 SOS 90332 HAS SOPS 55321 HAS SOUS 15584 HAS SOUPS 9574 WITH SCORE 9664.332
AT ITER 281 NEW BEST:: SOT 118344 SOS 90356 HAS SOPS 55321 HAS SOUS 15581 HAS SOUPS 9567 WITH SCORE 9657.356
AT ITER 283 NEW BEST:: SOT 118353 SOS 90366 HAS SOPS 55325 HAS SOUS 15577 HAS SOUPS 9563 WITH SCORE 9653.366
AT ITER 286 NEW BEST:: SOT 118341 SOS 90326 HAS SOPS 55313 HAS SOUS 15565 HAS SOUPS 9551 WITH SCORE 9641.326
AT ITER 293 NEW BEST:: SOT 118331 SOS 90219 HAS SOPS 55254 HAS SOUS 15509 HAS SOUPS 9521 WITH SCORE 9611.219
AT ITER 303 NEW BEST:: SOT 118331 SOS 90219 HAS SOPS 55254 HAS SOUS 15503 HAS SOUPS 9517 WITH SCORE 9607.219
AT ITER 304 NEW BEST:: SOT 118395 SOS 90283 HAS SOPS 55318 HAS SOUS 15475 HAS SOUPS 9501 WITH SCORE 9591.283
AT ITER 305 NEW BEST:: SOT 118393 SOS 90261 HAS SOPS 55296 HAS SOUS 15473 HAS SOUPS 9499 WITH SCORE 9589.261
AT ITER 308 NEW BEST:: SOT 118313 SOS 90228 HAS SOPS 55133 HAS SOUS 15394 HAS SOUPS 9355 WITH SCORE 9445.228
AT ITER 314 NEW BEST:: SOT 118408 SOS 90323 HAS SOPS 55214 HAS SOUS 15391 HAS SOUPS 9352 WITH SCORE 9442.323
AT ITER 318 NEW BEST:: SOT 118294 SOS 90209 HAS SOPS 55100 HAS SOUS 15391 HAS SOUPS 9352 WITH SCORE 9442.209
AT ITER 321 NEW BEST:: SOT 118292 SOS 90210 HAS SOPS 55092 HAS SOUS 15391 HAS SOUPS 9351 WITH SCORE 9441.21
AT ITER 327 NEW BEST:: SOT 118298 SOS 90309 HAS SOPS 55191 HAS SOUS 15390 HAS SOUPS 9350 WITH SCORE 9440.309
AT ITER 341 NEW BEST:: SOT 118481 SOS 90456 HAS SOPS 55374 HAS SOUS 15321 HAS SOUPS 9317 WITH SCORE 9407.456
AT ITER 355 NEW BEST:: SOT 118396 SOS 90224 HAS SOPS 55292 HAS SOUS 15275 HAS SOUPS 9302 WITH SCORE 9392.224
AT ITER 356 NEW BEST:: SOT 118333 SOS 90386 HAS SOPS 55346 HAS SOUS 15248 HAS SOUPS 9275 WITH SCORE 9365.386
AT ITER 368 NEW BEST:: SOT 118324 SOS 90302 HAS SOPS 55397 HAS SOUS 15230 HAS SOUPS 9272 WITH SCORE 9362.302
AT ITER 380 NEW BEST:: SOT 118305 SOS 90259 HAS SOPS 55362 HAS SOUS 15256 HAS SOUPS 9272 WITH SCORE 9362.259
AT ITER 383 NEW BEST:: SOT 118213 SOS 90167 HAS SOPS 55220 HAS SOUS 15185 HAS SOUPS 9196 WITH SCORE 9286.167
AT ITER 394 NEW BEST:: SOT 118213 SOS 90390 HAS SOPS 55443 HAS SOUS 15155 HAS SOUPS 9166 WITH SCORE 9256.39
AT ITER 395 NEW BEST:: SOT 118203 SOS 90380 HAS SOPS 55443 HAS SOUS 15143 HAS SOUPS 9156 WITH SCORE 9246.38
AT ITER 398 NEW BEST:: SOT 118189 SOS 90366 HAS SOPS 55429 HAS SOUS 15136 HAS SOUPS 9149 WITH SCORE 9239.366
AT ITER 399 NEW BEST:: SOT 118188 SOS 90358 HAS SOPS 55421 HAS SOUS 15134 HAS SOUPS 9147 WITH SCORE 9237.358
AT ITER 403 NEW BEST:: SOT 118146 SOS 90274 HAS SOPS 55370 HAS SOUS 15113 HAS SOUPS 9136 WITH SCORE 9226.274
AT ITER 405 NEW BEST:: SOT 118047 SOS 90188 HAS SOPS 55274 HAS SOUS 14986 HAS SOUPS 9042 WITH SCORE 9132.188
AT ITER 419 NEW BEST:: SOT 118005 SOS 91073 HAS SOPS 55565 HAS SOUS 14979 HAS SOUPS 9002 WITH SCORE 9093.073
AT ITER 427 NEW BEST:: SOT 118249 SOS 91317 HAS SOPS 55809 HAS SOUS 14931 HAS SOUPS 8962 WITH SCORE 9053.317
AT ITER 429 NEW BEST:: SOT 118204 SOS 91422 HAS SOPS 55802 HAS SOUS 14943 HAS SOUPS 8955 WITH SCORE 9046.422
AT ITER 439 NEW BEST:: SOT 118434 SOS 91725 HAS SOPS 55769 HAS SOUS 14906 HAS SOUPS 8740 WITH SCORE 8831.725
AT ITER 442 NEW BEST:: SOT 118472 SOS 91763 HAS SOPS 55769 HAS SOUS 14897 HAS SOUPS 8735 WITH SCORE 8826.763
AT ITER 445 NEW BEST:: SOT 118587 SOS 91878 HAS SOPS 55861 HAS SOUS 14874 HAS SOUPS 8712 WITH SCORE 8803.878
AT ITER 454 NEW BEST:: SOT 117923 SOS 91214 HAS SOPS 55707 HAS SOUS 14597 HAS SOUPS 8628 WITH SCORE 8719.214
AT ITER 456 NEW BEST:: SOT 117922 SOS 91206 HAS SOPS 55706 HAS SOUS 14589 HAS SOUPS 8627 WITH SCORE 8718.206
AT ITER 460 NEW BEST:: SOT 117934 SOS 91200 HAS SOPS 55646 HAS SOUS 14489 HAS SOUPS 8533 WITH SCORE 8624.2
AT ITER 462 NEW BEST:: SOT 117932 SOS 91142 HAS SOPS 55628 HAS SOUS 14471 HAS SOUPS 8524 WITH SCORE 8615.142
AT ITER 472 NEW BEST:: SOT 117903 SOS 90823 HAS SOPS 55570 HAS SOUS 14442 HAS SOUPS 8524 WITH SCORE 8614.823
AT ITER 489 NEW BEST:: SOT 117933 SOS 90853 HAS SOPS 55594 HAS SOUS 14436 HAS SOUPS 8518 WITH SCORE 8608.853
AT ITER 494 NEW BEST:: SOT 117911 SOS 90779 HAS SOPS 55520 HAS SOUS 14414 HAS SOUPS 8496 WITH SCORE 8586.779
AT ITER 501 NEW BEST:: SOT 118049 SOS 90917 HAS SOPS 55658 HAS SOUS 14408 HAS SOUPS 8490 WITH SCORE 8580.917
AT ITER 505 NEW BEST:: SOT 118025 SOS 90819 HAS SOPS 55560 HAS SOUS 14393 HAS SOUPS 8475 WITH SCORE 8565.819
AT ITER 509 NEW BEST:: SOT 118011 SOS 90798 HAS SOPS 55553 HAS SOUS 14352 HAS SOUPS 8453 WITH SCORE 8543.798
AT ITER 536 NEW BEST:: SOT 118011 SOS 90798 HAS SOPS 55553 HAS SOUS 14295 HAS SOUPS 8415 WITH SCORE 8505.798
AT ITER 541 NEW BEST:: SOT 118011 SOS 90772 HAS SOPS 55545 HAS SOUS 14291 HAS SOUPS 8413 WITH SCORE 8503.772
AT ITER 547 NEW BEST:: SOT 117994 SOS 90624 HAS SOPS 55511 HAS SOUS 14244 HAS SOUPS 8385 WITH SCORE 8475.624
AT ITER 550 NEW BEST:: SOT 117994 SOS 90399 HAS SOPS 55286 HAS SOUS 14219 HAS SOUPS 8360 WITH SCORE 8450.399
AT ITER 552 NEW BEST:: SOT 117944 SOS 90376 HAS SOPS 55263 HAS SOUS 14204 HAS SOUPS 8345 WITH SCORE 8435.376
AT ITER 559 NEW BEST:: SOT 117989 SOS 90431 HAS SOPS 55288 HAS SOUS 14194 HAS SOUPS 8335 WITH SCORE 8425.431
AT ITER 561 NEW BEST:: SOT 118001 SOS 90441 HAS SOPS 55300 HAS SOUS 14189 HAS SOUPS 8333 WITH SCORE 8423.441
AT ITER 577 NEW BEST:: SOT 117233 SOS 89728 HAS SOPS 54938 HAS SOUS 14214 HAS SOUPS 8320 WITH SCORE 8409.728
AT ITER 589 NEW BEST:: SOT 117159 SOS 89700 HAS SOPS 54938 HAS SOUS 14094 HAS SOUPS 8320 WITH SCORE 8409.7
AT ITER 593 NEW BEST:: SOT 117188 SOS 89729 HAS SOPS 54938 HAS SOUS 14085 HAS SOUPS 8315 WITH SCORE 8404.729
AT ITER 594 NEW BEST:: SOT 117292 SOS 89592 HAS SOPS 55216 HAS SOUS 14034 HAS SOUPS 8311 WITH SCORE 8400.592
AT ITER 606 NEW BEST:: SOT 117698 SOS 89998 HAS SOPS 55552 HAS SOUS 13992 HAS SOUPS 8269 WITH SCORE 8358.998
AT ITER 608 NEW BEST:: SOT 117694 SOS 89990 HAS SOPS 55544 HAS SOUS 13990 HAS SOUPS 8267 WITH SCORE 8356.99
AT ITER 610 NEW BEST:: SOT 117666 SOS 89726 HAS SOPS 55276 HAS SOUS 13960 HAS SOUPS 8237 WITH SCORE 8326.726
AT ITER 616 NEW BEST:: SOT 117654 SOS 89714 HAS SOPS 55264 HAS SOUS 13960 HAS SOUPS 8237 WITH SCORE 8326.714
AT ITER 621 NEW BEST:: SOT 117604 SOS 90042 HAS SOPS 55364 HAS SOUS 13941 HAS SOUPS 8218 WITH SCORE 8308.042
AT ITER 624 NEW BEST:: SOT 117602 SOS 90023 HAS SOPS 55362 HAS SOUS 13922 HAS SOUPS 8216 WITH SCORE 8306.023
AT ITER 629 NEW BEST:: SOT 117590 SOS 90011 HAS SOPS 55230 HAS SOUS 13834 HAS SOUPS 8128 WITH SCORE 8218.011
AT ITER 637 NEW BEST:: SOT 117588 SOS 89907 HAS SOPS 55126 HAS SOUS 13834 HAS SOUPS 8128 WITH SCORE 8217.907
AT ITER 665 NEW BEST:: SOT 117553 SOS 89869 HAS SOPS 55088 HAS SOUS 13832 HAS SOUPS 8126 WITH SCORE 8215.869
AT ITER 676 NEW BEST:: SOT 117544 SOS 88147 HAS SOPS 53649 HAS SOUS 13787 HAS SOUPS 8113 WITH SCORE 8201.147
AT ITER 686 NEW BEST:: SOT 117595 SOS 88069 HAS SOPS 53649 HAS SOUS 13789 HAS SOUPS 8113 WITH SCORE 8201.069
AT ITER 689 NEW BEST:: SOT 117580 SOS 88054 HAS SOPS 53643 HAS SOUS 13783 HAS SOUPS 8107 WITH SCORE 8195.054
AT ITER 696 NEW BEST:: SOT 117636 SOS 88186 HAS SOPS 53647 HAS SOUS 13772 HAS SOUPS 8096 WITH SCORE 8184.186
AT ITER 699 NEW BEST:: SOT 117230 SOS 87780 HAS SOPS 53299 HAS SOUS 13532 HAS SOUPS 7950 WITH SCORE 8037.78
AT ITER 716 NEW BEST:: SOT 117238 SOS 87808 HAS SOPS 53303 HAS SOUS 13524 HAS SOUPS 7938 WITH SCORE 8025.808
AT ITER 719 NEW BEST:: SOT 117258 SOS 87820 HAS SOPS 53307 HAS SOUS 13508 HAS SOUPS 7926 WITH SCORE 8013.82
AT ITER 730 NEW BEST:: SOT 117234 SOS 87796 HAS SOPS 53283 HAS SOUS 13508 HAS SOUPS 7926 WITH SCORE 8013.796
AT ITER 734 NEW BEST:: SOT 117386 SOS 87981 HAS SOPS 53383 HAS SOUS 13515 HAS SOUPS 7918 WITH SCORE 8005.981
AT ITER 739 NEW BEST:: SOT 117358 SOS 87953 HAS SOPS 53359 HAS SOUS 13507 HAS SOUPS 7910 WITH SCORE 7997.953
AT ITER 743 NEW BEST:: SOT 117443 SOS 88110 HAS SOPS 53400 HAS SOUS 13479 HAS SOUPS 7878 WITH SCORE 7966.11
AT ITER 760 NEW BEST:: SOT 117780 SOS 88747 HAS SOPS 53663 HAS SOUS 13405 HAS SOUPS 7860 WITH SCORE 7948.747
AT ITER 762 NEW BEST:: SOT 117689 SOS 88656 HAS SOPS 53585 HAS SOUS 13405 HAS SOUPS 7860 WITH SCORE 7948.656
AT ITER 776 NEW BEST:: SOT 117667 SOS 88628 HAS SOPS 53557 HAS SOUS 13398 HAS SOUPS 7853 WITH SCORE 7941.628
AT ITER 780 NEW BEST:: SOT 117667 SOS 88628 HAS SOPS 53557 HAS SOUS 13395 HAS SOUPS 7851 WITH SCORE 7939.628
AT ITER 782 NEW BEST:: SOT 117669 SOS 88632 HAS SOPS 53559 HAS SOUS 13395 HAS SOUPS 7849 WITH SCORE 7937.632
AT ITER 796 NEW BEST:: SOT 117638 SOS 88944 HAS SOPS 53673 HAS SOUS 13386 HAS SOUPS 7829 WITH SCORE 7917.944
AT ITER 811 NEW BEST:: SOT 117609 SOS 88625 HAS SOPS 53570 HAS SOUS 13333 HAS SOUPS 7800 WITH SCORE 7888.625
AT ITER 818 NEW BEST:: SOT 118280 SOS 89557 HAS SOPS 54279 HAS SOUS 13294 HAS SOUPS 7799 WITH SCORE 7888.557
AT ITER 827 NEW BEST:: SOT 118256 SOS 89293 HAS SOPS 54231 HAS SOUS 13261 HAS SOUPS 7790 WITH SCORE 7879.293
AT ITER 837 NEW BEST:: SOT 118196 SOS 89233 HAS SOPS 54171 HAS SOUS 13261 HAS SOUPS 7790 WITH SCORE 7879.233
AT ITER 851 NEW BEST:: SOT 118181 SOS 89212 HAS SOPS 54150 HAS SOUS 13250 HAS SOUPS 7779 WITH SCORE 7868.212
AT ITER 859 NEW BEST:: SOT 118181 SOS 89212 HAS SOPS 54150 HAS SOUS 13209 HAS SOUPS 7765 WITH SCORE 7854.212
AT ITER 862 NEW BEST:: SOT 118161 SOS 89244 HAS SOPS 54128 HAS SOUS 13192 HAS SOUPS 7748 WITH SCORE 7837.244
AT ITER 864 NEW BEST:: SOT 118164 SOS 89346 HAS SOPS 54134 HAS SOUS 13198 HAS SOUPS 7738 WITH SCORE 7827.346
AT ITER 866 NEW BEST:: SOT 118223 SOS 89464 HAS SOPS 54182 HAS SOUS 13169 HAS SOUPS 7722 WITH SCORE 7811.464
AT ITER 870 NEW BEST:: SOT 118211 SOS 89452 HAS SOPS 54182 HAS SOUS 13169 HAS SOUPS 7722 WITH SCORE 7811.452
AT ITER 881 NEW BEST:: SOT 118004 SOS 89097 HAS SOPS 53775 HAS SOUS 13198 HAS SOUPS 7718 WITH SCORE 7807.097
AT ITER 897 NEW BEST:: SOT 117818 SOS 88911 HAS SOPS 53589 HAS SOUS 13198 HAS SOUPS 7718 WITH SCORE 7806.911
AT ITER 907 NEW BEST:: SOT 117734 SOS 88827 HAS SOPS 53517 HAS SOUS 13198 HAS SOUPS 7718 WITH SCORE 7806.827
AT ITER 918 NEW BEST:: SOT 117832 SOS 88925 HAS SOPS 53545 HAS SOUS 13188 HAS SOUPS 7702 WITH SCORE 7790.925
AT ITER 924 NEW BEST:: SOT 118025 SOS 89088 HAS SOPS 53717 HAS SOUS 13106 HAS SOUPS 7619 WITH SCORE 7708.088
AT ITER 942 NEW BEST:: SOT 118119 SOS 89197 HAS SOPS 53826 HAS SOUS 13101 HAS SOUPS 7614 WITH SCORE 7703.197
AT ITER 965 NEW BEST:: SOT 117951 SOS 89029 HAS SOPS 53682 HAS SOUS 13105 HAS SOUPS 7586 WITH SCORE 7675.029
AT ITER 986 NEW BEST:: SOT 117948 SOS 89026 HAS SOPS 53682 HAS SOUS 13105 HAS SOUPS 7586 WITH SCORE 7675.026
AT ITER 1012 NEW BEST:: SOT 117924 SOS 88983 HAS SOPS 53677 HAS SOUS 13022 HAS SOUPS 7582 WITH SCORE 7670.983
AT ITER 1023 NEW BEST:: SOT 117916 SOS 88975 HAS SOPS 53677 HAS SOUS 13022 HAS SOUPS 7582 WITH SCORE 7670.975
AT ITER 1028 NEW BEST:: SOT 117899 SOS 88812 HAS SOPS 53649 HAS SOUS 12997 HAS SOUPS 7572 WITH SCORE 7660.812
AT ITER 1029 NEW BEST:: SOT 117904 SOS 88868 HAS SOPS 53669 HAS SOUS 13005 HAS SOUPS 7568 WITH SCORE 7656.868
AT ITER 1055 NEW BEST:: SOT 117892 SOS 88736 HAS SOPS 53645 HAS SOUS 12990 HAS SOUPS 7565 WITH SCORE 7653.736
AT ITER 1062 NEW BEST:: SOT 117942 SOS 88791 HAS SOPS 53670 HAS SOUS 12975 HAS SOUPS 7550 WITH SCORE 7638.791
AT ITER 1064 NEW BEST:: SOT 117936 SOS 88779 HAS SOPS 53658 HAS SOUS 12957 HAS SOUPS 7532 WITH SCORE 7620.779
AT ITER 1068 NEW BEST:: SOT 117923 SOS 88766 HAS SOPS 53658 HAS SOUS 12957 HAS SOUPS 7532 WITH SCORE 7620.766
AT ITER 1073 NEW BEST:: SOT 117799 SOS 88047 HAS SOPS 53661 HAS SOUS 12915 HAS SOUPS 7511 WITH SCORE 7599.047
AT ITER 1075 NEW BEST:: SOT 117787 SOS 87987 HAS SOPS 53655 HAS SOUS 12899 HAS SOUPS 7504 WITH SCORE 7591.987
AT ITER 1091 NEW BEST:: SOT 117832 SOS 88032 HAS SOPS 53670 HAS SOUS 12894 HAS SOUPS 7499 WITH SCORE 7587.032
AT ITER 1099 NEW BEST:: SOT 117837 SOS 87899 HAS SOPS 53627 HAS SOUS 12835 HAS SOUPS 7498 WITH SCORE 7585.899
AT ITER 1100 NEW BEST:: SOT 117831 SOS 87887 HAS SOPS 53615 HAS SOUS 12827 HAS SOUPS 7490 WITH SCORE 7577.887
AT ITER 1105 NEW BEST:: SOT 117855 SOS 87443 HAS SOPS 53279 HAS SOUS 12815 HAS SOUPS 7490 WITH SCORE 7577.443
AT ITER 1132 NEW BEST:: SOT 117847 SOS 87910 HAS SOPS 53476 HAS SOUS 12807 HAS SOUPS 7467 WITH SCORE 7554.91
AT ITER 1149 NEW BEST:: SOT 117845 SOS 87908 HAS SOPS 53476 HAS SOUS 12807 HAS SOUPS 7467 WITH SCORE 7554.908
AT ITER 1157 NEW BEST:: SOT 117846 SOS 87686 HAS SOPS 53338 HAS SOUS 12800 HAS SOUPS 7460 WITH SCORE 7547.686
AT ITER 1182 NEW BEST:: SOT 117844 SOS 87738 HAS SOPS 53372 HAS SOUS 12798 HAS SOUPS 7458 WITH SCORE 7545.738
AT ITER 1189 NEW BEST:: SOT 117787 SOS 87453 HAS SOPS 53087 HAS SOUS 12779 HAS SOUPS 7439 WITH SCORE 7526.453
AT ITER 1199 NEW BEST:: SOT 117783 SOS 87449 HAS SOPS 53083 HAS SOUS 12777 HAS SOUPS 7437 WITH SCORE 7524.449
AT ITER 1269 NEW BEST:: SOT 117791 SOS 87457 HAS SOPS 53085 HAS SOUS 12775 HAS SOUPS 7435 WITH SCORE 7522.457
AT ITER 1271 NEW BEST:: SOT 117789 SOS 87479 HAS SOPS 53095 HAS SOUS 12774 HAS SOUPS 7434 WITH SCORE 7521.479
AT ITER 1273 NEW BEST:: SOT 117888 SOS 87668 HAS SOPS 53149 HAS SOUS 12765 HAS SOUPS 7416 WITH SCORE 7503.668
AT ITER 1281 NEW BEST:: SOT 117900 SOS 87680 HAS SOPS 53149 HAS SOUS 12747 HAS SOUPS 7406 WITH SCORE 7493.68
AT ITER 1289 NEW BEST:: SOT 117887 SOS 87537 HAS SOPS 53006 HAS SOUS 12741 HAS SOUPS 7400 WITH SCORE 7487.537
AT ITER 1290 NEW BEST:: SOT 117858 SOS 87479 HAS SOPS 52984 HAS SOUS 12715 HAS SOUPS 7380 WITH SCORE 7467.479
AT ITER 1292 NEW BEST:: SOT 117882 SOS 87503 HAS SOPS 52993 HAS SOUS 12712 HAS SOUPS 7377 WITH SCORE 7464.503
AT ITER 1316 NEW BEST:: SOT 117882 SOS 87485 HAS SOPS 52993 HAS SOUS 12710 HAS SOUPS 7377 WITH SCORE 7464.485
AT ITER 1335 NEW BEST:: SOT 117882 SOS 87485 HAS SOPS 52993 HAS SOUS 12708 HAS SOUPS 7375 WITH SCORE 7462.485
AT ITER 1372 NEW BEST:: SOT 117914 SOS 87517 HAS SOPS 53001 HAS SOUS 12700 HAS SOUPS 7367 WITH SCORE 7454.517
AT ITER 1415 NEW BEST:: SOT 118028 SOS 87107 HAS SOPS 53113 HAS SOUS 12642 HAS SOUPS 7367 WITH SCORE 7454.107
AT ITER 1433 NEW BEST:: SOT 118007 SOS 86200 HAS SOPS 52350 HAS SOUS 12605 HAS SOUPS 7346 WITH SCORE 7432.2
AT ITER 1444 NEW BEST:: SOT 118026 SOS 85982 HAS SOPS 52228 HAS SOUS 12599 HAS SOUPS 7340 WITH SCORE 7425.982
AT ITER 1447 NEW BEST:: SOT 118011 SOS 85817 HAS SOPS 52135 HAS SOUS 12584 HAS SOUPS 7333 WITH SCORE 7418.817
AT ITER 1449 NEW BEST:: SOT 118005 SOS 85811 HAS SOPS 52129 HAS SOUS 12582 HAS SOUPS 7331 WITH SCORE 7416.811
AT ITER 1462 NEW BEST:: SOT 117994 SOS 85798 HAS SOPS 52121 HAS SOUS 12581 HAS SOUPS 7330 WITH SCORE 7415.798
AT ITER 1466 NEW BEST:: SOT 117980 SOS 85645 HAS SOPS 52066 HAS SOUS 12541 HAS SOUPS 7290 WITH SCORE 7375.645
AT ITER 1474 NEW BEST:: SOT 117938 SOS 85603 HAS SOPS 52024 HAS SOUS 12541 HAS SOUPS 7290 WITH SCORE 7375.603
AT ITER 1489 NEW BEST:: SOT 117860 SOS 85525 HAS SOPS 51946 HAS SOUS 12541 HAS SOUPS 7290 WITH SCORE 7375.525
AT ITER 1495 NEW BEST:: SOT 117872 SOS 85547 HAS SOPS 51953 HAS SOUS 12541 HAS SOUPS 7289 WITH SCORE 7374.547
AT ITER 1496 NEW BEST:: SOT 117671 SOS 85349 HAS SOPS 51749 HAS SOUS 12544 HAS SOUPS 7289 WITH SCORE 7374.349
AT ITER 1508 NEW BEST:: SOT 117306 SOS 85017 HAS SOPS 51412 HAS SOUS 12528 HAS SOUPS 7240 WITH SCORE 7325.017
AT ITER 1543 NEW BEST:: SOT 117236 SOS 84937 HAS SOPS 51362 HAS SOUS 12523 HAS SOUPS 7235 WITH SCORE 7319.937
AT ITER 1556 NEW BEST:: SOT 117390 SOS 85091 HAS SOPS 51406 HAS SOUS 12551 HAS SOUPS 7231 WITH SCORE 7316.091
AT ITER 1569 NEW BEST:: SOT 117397 SOS 85095 HAS SOPS 51410 HAS SOUS 12546 HAS SOUPS 7226 WITH SCORE 7311.095
AT ITER 1610 NEW BEST:: SOT 117241 SOS 84939 HAS SOPS 51254 HAS SOUS 12556 HAS SOUPS 7214 WITH SCORE 7298.939
AT ITER 1619 NEW BEST:: SOT 117521 SOS 85219 HAS SOPS 51334 HAS SOUS 12584 HAS SOUPS 7194 WITH SCORE 7279.219
AT ITER 1642 NEW BEST:: SOT 117515 SOS 85171 HAS SOPS 51232 HAS SOUS 12589 HAS SOUPS 7193 WITH SCORE 7278.171
AT ITER 1676 NEW BEST:: SOT 117502 SOS 85220 HAS SOPS 51236 HAS SOUS 12582 HAS SOUPS 7186 WITH SCORE 7271.22
AT ITER 1714 NEW BEST:: SOT 117481 SOS 85199 HAS SOPS 51218 HAS SOUS 12576 HAS SOUPS 7180 WITH SCORE 7265.199
AT ITER 1743 NEW BEST:: SOT 117432 SOS 85150 HAS SOPS 51176 HAS SOUS 12576 HAS SOUPS 7180 WITH SCORE 7265.15
AT ITER 1747 NEW BEST:: SOT 117328 SOS 85038 HAS SOPS 51112 HAS SOUS 12574 HAS SOUPS 7178 WITH SCORE 7263.038
AT ITER 1749 NEW BEST:: SOT 117322 SOS 85038 HAS SOPS 51076 HAS SOUS 12576 HAS SOUPS 7176 WITH SCORE 7261.038
AT ITER 1756 NEW BEST:: SOT 117320 SOS 85021 HAS SOPS 51069 HAS SOUS 12550 HAS SOUPS 7165 WITH SCORE 7250.021
AT ITER 1759 NEW BEST:: SOT 117321 SOS 85022 HAS SOPS 51069 HAS SOUS 12541 HAS SOUPS 7160 WITH SCORE 7245.022
AT ITER 1774 NEW BEST:: SOT 117219 SOS 84566 HAS SOPS 50991 HAS SOUS 12481 HAS SOUPS 7142 WITH SCORE 7226.566
AT ITER 1789 NEW BEST:: SOT 117147 SOS 84422 HAS SOPS 50943 HAS SOUS 12481 HAS SOUPS 7142 WITH SCORE 7226.422
AT ITER 1806 NEW BEST:: SOT 117216 SOS 84491 HAS SOPS 50970 HAS SOUS 12477 HAS SOUPS 7138 WITH SCORE 7222.491
AT ITER 1809 NEW BEST:: SOT 117391 SOS 84666 HAS SOPS 51120 HAS SOUS 12474 HAS SOUPS 7136 WITH SCORE 7220.666
AT ITER 1819 NEW BEST:: SOT 117387 SOS 84662 HAS SOPS 51120 HAS SOUS 12474 HAS SOUPS 7136 WITH SCORE 7220.662
AT ITER 1826 NEW BEST:: SOT 117393 SOS 84694 HAS SOPS 51128 HAS SOUS 12476 HAS SOUPS 7134 WITH SCORE 7218.694
AT ITER 1828 NEW BEST:: SOT 117395 SOS 84884 HAS SOPS 51210 HAS SOUS 12478 HAS SOUPS 7130 WITH SCORE 7214.884
AT ITER 1853 NEW BEST:: SOT 117395 SOS 84884 HAS SOPS 51210 HAS SOUS 12472 HAS SOUPS 7126 WITH SCORE 7210.884
AT ITER 1860 NEW BEST:: SOT 117391 SOS 84851 HAS SOPS 51195 HAS SOUS 12465 HAS SOUPS 7121 WITH SCORE 7205.851
AT ITER 1861 NEW BEST:: SOT 117392 SOS 84825 HAS SOPS 51190 HAS SOUS 12462 HAS SOUPS 7118 WITH SCORE 7202.825
AT ITER 1865 NEW BEST:: SOT 117399 SOS 84893 HAS SOPS 51384 HAS SOUS 12445 HAS SOUPS 7115 WITH SCORE 7199.893
AT ITER 1871 NEW BEST:: SOT 117398 SOS 84923 HAS SOPS 51414 HAS SOUS 12440 HAS SOUPS 7110 WITH SCORE 7194.923
AT ITER 1887 NEW BEST:: SOT 117394 SOS 84883 HAS SOPS 51410 HAS SOUS 12428 HAS SOUPS 7102 WITH SCORE 7186.883
AT ITER 1898 NEW BEST:: SOT 117546 SOS 85249 HAS SOPS 51776 HAS SOUS 12403 HAS SOUPS 7077 WITH SCORE 7162.249
AT ITER 1940 NEW BEST:: SOT 117396 SOS 85099 HAS SOPS 51626 HAS SOUS 12376 HAS SOUPS 7062 WITH SCORE 7147.099
AT ITER 1969 NEW BEST:: SOT 117382 SOS 85085 HAS SOPS 51626 HAS SOUS 12376 HAS SOUPS 7062 WITH SCORE 7147.085
AT ITER 2011 NEW BEST:: SOT 117365 SOS 85141 HAS SOPS 51520 HAS SOUS 12382 HAS SOUPS 7050 WITH SCORE 7135.141
AT ITER 2047 NEW BEST:: SOT 117358 SOS 85134 HAS SOPS 51514 HAS SOUS 12382 HAS SOUPS 7050 WITH SCORE 7135.134
AT ITER 2065 NEW BEST:: SOT 117346 SOS 85122 HAS SOPS 51514 HAS SOUS 12358 HAS SOUPS 7026 WITH SCORE 7111.122
AT ITER 2088 NEW BEST:: SOT 117342 SOS 85117 HAS SOPS 51509 HAS SOUS 12357 HAS SOUPS 7025 WITH SCORE 7110.117
AT ITER 2094 NEW BEST:: SOT 117337 SOS 82272 HAS SOPS 48799 HAS SOUS 12351 HAS SOUPS 7019 WITH SCORE 7101.272
AT ITER 2120 NEW BEST:: SOT 117337 SOS 82272 HAS SOPS 48799 HAS SOUS 12315 HAS SOUPS 6999 WITH SCORE 7081.272
AT ITER 2128 NEW BEST:: SOT 117318 SOS 82242 HAS SOPS 48753 HAS SOUS 12223 HAS SOUPS 6966 WITH SCORE 7048.242
AT ITER 2139 NEW BEST:: SOT 117305 SOS 82229 HAS SOPS 48753 HAS SOUS 12223 HAS SOUPS 6966 WITH SCORE 7048.229
AT ITER 2162 NEW BEST:: SOT 117052 SOS 81746 HAS SOPS 48592 HAS SOUS 12197 HAS SOUPS 6963 WITH SCORE 7044.746
AT ITER 2211 NEW BEST:: SOT 117053 SOS 81742 HAS SOPS 48594 HAS SOUS 12196 HAS SOUPS 6963 WITH SCORE 7044.742
AT ITER 2216 NEW BEST:: SOT 117005 SOS 81694 HAS SOPS 48546 HAS SOUS 12169 HAS SOUPS 6948 WITH SCORE 7029.694
AT ITER 2223 NEW BEST:: SOT 116861 SOS 81550 HAS SOPS 48402 HAS SOUS 12160 HAS SOUPS 6943 WITH SCORE 7024.55
AT ITER 2233 NEW BEST:: SOT 116863 SOS 81524 HAS SOPS 48352 HAS SOUS 12161 HAS SOUPS 6939 WITH SCORE 7020.524
AT ITER 2292 NEW BEST:: SOT 116844 SOS 81505 HAS SOPS 48352 HAS SOUS 12123 HAS SOUPS 6901 WITH SCORE 6982.505
AT ITER 2294 NEW BEST:: SOT 116189 SOS 77023 HAS SOPS 44788 HAS SOUS 12074 HAS SOUPS 6903 WITH SCORE 6980.023
AT ITER 2314 NEW BEST:: SOT 116183 SOS 76003 HAS SOPS 43822 HAS SOUS 12060 HAS SOUPS 6889 WITH SCORE 6965.003
AT ITER 2323 NEW BEST:: SOT 116173 SOS 76019 HAS SOPS 43817 HAS SOUS 12055 HAS SOUPS 6884 WITH SCORE 6960.019
AT ITER 2330 NEW BEST:: SOT 116268 SOS 76172 HAS SOPS 43895 HAS SOUS 12038 HAS SOUPS 6867 WITH SCORE 6943.172
AT ITER 2341 NEW BEST:: SOT 116260 SOS 76161 HAS SOPS 43895 HAS SOUS 12035 HAS SOUPS 6867 WITH SCORE 6943.161
AT ITER 2364 NEW BEST:: SOT 116258 SOS 76283 HAS SOPS 44071 HAS SOUS 12024 HAS SOUPS 6865 WITH SCORE 6941.283
AT ITER 2368 NEW BEST:: SOT 116258 SOS 76283 HAS SOPS 44071 HAS SOUS 12022 HAS SOUPS 6863 WITH SCORE 6939.283
AT ITER 2377 NEW BEST:: SOT 116213 SOS 76118 HAS SOPS 43996 HAS SOUS 11992 HAS SOUPS 6848 WITH SCORE 6924.118
AT ITER 2386 NEW BEST:: SOT 116208 SOS 76106 HAS SOPS 43988 HAS SOUS 11987 HAS SOUPS 6844 WITH SCORE 6920.106
AT ITER 2401 NEW BEST:: SOT 116187 SOS 76262 HAS SOPS 44090 HAS SOUS 11980 HAS SOUPS 6837 WITH SCORE 6913.262
AT ITER 2434 NEW BEST:: SOT 116117 SOS 76192 HAS SOPS 44030 HAS SOUS 11980 HAS SOUPS 6837 WITH SCORE 6913.192
AT ITER 2437 NEW BEST:: SOT 116116 SOS 75988 HAS SOPS 44014 HAS SOUS 11946 HAS SOUPS 6812 WITH SCORE 6887.988
AT ITER 2442 NEW BEST:: SOT 116144 SOS 75249 HAS SOPS 43389 HAS SOUS 11931 HAS SOUPS 6812 WITH SCORE 6887.249
AT ITER 2452 NEW BEST:: SOT 116165 SOS 75564 HAS SOPS 43310 HAS SOUS 11944 HAS SOUPS 6794 WITH SCORE 6869.564
AT ITER 2469 NEW BEST:: SOT 116213 SOS 75666 HAS SOPS 43340 HAS SOUS 11928 HAS SOUPS 6778 WITH SCORE 6853.666
AT ITER 2477 NEW BEST:: SOT 116206 SOS 75635 HAS SOPS 43309 HAS SOUS 11921 HAS SOUPS 6771 WITH SCORE 6846.635
AT ITER 2527 NEW BEST:: SOT 116142 SOS 74847 HAS SOPS 42917 HAS SOUS 11814 HAS SOUPS 6708 WITH SCORE 6782.847
AT ITER 2536 NEW BEST:: SOT 116072 SOS 74777 HAS SOPS 42889 HAS SOUS 11814 HAS SOUPS 6708 WITH SCORE 6782.777
AT ITER 2560 NEW BEST:: SOT 116039 SOS 74687 HAS SOPS 42841 HAS SOUS 11808 HAS SOUPS 6705 WITH SCORE 6779.687
AT ITER 2576 NEW BEST:: SOT 116103 SOS 74751 HAS SOPS 42857 HAS SOUS 11792 HAS SOUPS 6689 WITH SCORE 6763.751
AT ITER 2601 NEW BEST:: SOT 115948 SOS 74474 HAS SOPS 42811 HAS SOUS 11739 HAS SOUPS 6656 WITH SCORE 6730.474
AT ITER 2616 NEW BEST:: SOT 115941 SOS 74467 HAS SOPS 42805 HAS SOUS 11739 HAS SOUPS 6656 WITH SCORE 6730.467
AT ITER 2621 NEW BEST:: SOT 116007 SOS 74573 HAS SOPS 42838 HAS SOUS 11728 HAS SOUPS 6640 WITH SCORE 6714.573
AT ITER 2631 NEW BEST:: SOT 115991 SOS 74557 HAS SOPS 42838 HAS SOUS 11728 HAS SOUPS 6640 WITH SCORE 6714.557
AT ITER 2658 NEW BEST:: SOT 115987 SOS 74551 HAS SOPS 42832 HAS SOUS 11726 HAS SOUPS 6638 WITH SCORE 6712.551
AT ITER 2661 NEW BEST:: SOT 115950 SOS 74514 HAS SOPS 42795 HAS SOUS 11720 HAS SOUPS 6632 WITH SCORE 6706.514
AT ITER 2683 NEW BEST:: SOT 115916 SOS 74315 HAS SOPS 42596 HAS SOUS 11691 HAS SOUPS 6603 WITH SCORE 6677.315
AT ITER 2686 NEW BEST:: SOT 115877 SOS 74273 HAS SOPS 42569 HAS SOUS 11688 HAS SOUPS 6600 WITH SCORE 6674.273
AT ITER 2765 NEW BEST:: SOT 115899 SOS 73327 HAS SOPS 41770 HAS SOUS 11657 HAS SOUPS 6582 WITH SCORE 6655.327
AT ITER 2820 NEW BEST:: SOT 115904 SOS 73382 HAS SOPS 41825 HAS SOUS 11654 HAS SOUPS 6579 WITH SCORE 6652.382
AT ITER 2869 NEW BEST:: SOT 115918 SOS 72920 HAS SOPS 41423 HAS SOUS 11648 HAS SOUPS 6573 WITH SCORE 6645.92
AT ITER 2933 NEW BEST:: SOT 115913 SOS 72820 HAS SOPS 41368 HAS SOUS 11642 HAS SOUPS 6572 WITH SCORE 6644.82
AT ITER 2939 NEW BEST:: SOT 115916 SOS 72793 HAS SOPS 41350 HAS SOUS 11641 HAS SOUPS 6572 WITH SCORE 6644.793
AT ITER 2990 NEW BEST:: SOT 115903 SOS 73010 HAS SOPS 41486 HAS SOUS 11648 HAS SOUPS 6570 WITH SCORE 6643.01
AT ITER 3046 NEW BEST:: SOT 115903 SOS 73010 HAS SOPS 41486 HAS SOUS 11624 HAS SOUPS 6546 WITH SCORE 6619.01
AT ITER 3060 NEW BEST:: SOT 115912 SOS 73022 HAS SOPS 41503 HAS SOUS 11617 HAS SOUPS 6536 WITH SCORE 6609.022
AT ITER 3064 NEW BEST:: SOT 115945 SOS 73055 HAS SOPS 41518 HAS SOUS 11611 HAS SOUPS 6530 WITH SCORE 6603.055
AT ITER 3106 NEW BEST:: SOT 115913 SOS 73023 HAS SOPS 41518 HAS SOUS 11597 HAS SOUPS 6516 WITH SCORE 6589.023
AT ITER 3117 NEW BEST:: SOT 115917 SOS 73027 HAS SOPS 41522 HAS SOUS 11592 HAS SOUPS 6515 WITH SCORE 6588.027
AT ITER 3131 NEW BEST:: SOT 115915 SOS 73005 HAS SOPS 41530 HAS SOUS 11585 HAS SOUPS 6513 WITH SCORE 6586.005
AT ITER 3133 NEW BEST:: SOT 115908 SOS 73021 HAS SOPS 41528 HAS SOUS 11582 HAS SOUPS 6510 WITH SCORE 6583.021
AT ITER 3220 NEW BEST:: SOT 115898 SOS 72961 HAS SOPS 41481 HAS SOUS 11582 HAS SOUPS 6510 WITH SCORE 6582.961
AT ITER 3233 NEW BEST:: SOT 115891 SOS 72954 HAS SOPS 41475 HAS SOUS 11580 HAS SOUPS 6508 WITH SCORE 6580.954
AT ITER 3330 NEW BEST:: SOT 115812 SOS 72873 HAS SOPS 41436 HAS SOUS 11576 HAS SOUPS 6504 WITH SCORE 6576.873
AT ITER 3342 NEW BEST:: SOT 115814 SOS 72851 HAS SOPS 41432 HAS SOUS 11574 HAS SOUPS 6504 WITH SCORE 6576.851
AT ITER 3352 NEW BEST:: SOT 115814 SOS 72851 HAS SOPS 41432 HAS SOUS 11568 HAS SOUPS 6500 WITH SCORE 6572.851
AT ITER 3356 NEW BEST:: SOT 115800 SOS 72812 HAS SOPS 41531 HAS SOUS 11541 HAS SOUPS 6496 WITH SCORE 6568.812
AT ITER 3369 NEW BEST:: SOT 115776 SOS 72788 HAS SOPS 41507 HAS SOUS 11541 HAS SOUPS 6496 WITH SCORE 6568.788
AT ITER 3422 NEW BEST:: SOT 115752 SOS 72740 HAS SOPS 41492 HAS SOUS 11541 HAS SOUPS 6496 WITH SCORE 6568.74
AT ITER 3424 NEW BEST:: SOT 115782 SOS 72797 HAS SOPS 41510 HAS SOUS 11535 HAS SOUPS 6490 WITH SCORE 6562.797
AT ITER 3454 NEW BEST:: SOT 115782 SOS 72797 HAS SOPS 41510 HAS SOUS 11533 HAS SOUPS 6488 WITH SCORE 6560.797
AT ITER 3478 NEW BEST:: SOT 115775 SOS 72790 HAS SOPS 41504 HAS SOUS 11533 HAS SOUPS 6488 WITH SCORE 6560.79
AT ITER 3495 NEW BEST:: SOT 115709 SOS 72724 HAS SOPS 41438 HAS SOUS 11533 HAS SOUPS 6488 WITH SCORE 6560.724
AT ITER 3515 NEW BEST:: SOT 115709 SOS 72712 HAS SOPS 41426 HAS SOUS 11533 HAS SOUPS 6488 WITH SCORE 6560.712
AT ITER 3524 NEW BEST:: SOT 115708 SOS 72711 HAS SOPS 41425 HAS SOUS 11532 HAS SOUPS 6487 WITH SCORE 6559.711
AT ITER 3557 NEW BEST:: SOT 115725 SOS 72646 HAS SOPS 41414 HAS SOUS 11531 HAS SOUPS 6486 WITH SCORE 6558.646
AT ITER 3597 NEW BEST:: SOT 115729 SOS 72654 HAS SOPS 41470 HAS SOUS 11519 HAS SOUPS 6484 WITH SCORE 6556.654
AT ITER 3635 NEW BEST:: SOT 115736 SOS 72684 HAS SOPS 41476 HAS SOUS 11522 HAS SOUPS 6483 WITH SCORE 6555.684
AT ITER 3647 NEW BEST:: SOT 115725 SOS 73001 HAS SOPS 41559 HAS SOUS 11524 HAS SOUPS 6472 WITH SCORE 6545.001
AT ITER 3670 NEW BEST:: SOT 115725 SOS 73001 HAS SOPS 41559 HAS SOUS 11518 HAS SOUPS 6468 WITH SCORE 6541.001
AT ITER 3683 NEW BEST:: SOT 115727 SOS 72993 HAS SOPS 41560 HAS SOUS 11517 HAS SOUPS 6467 WITH SCORE 6539.993
AT ITER 3695 NEW BEST:: SOT 115717 SOS 72904 HAS SOPS 41450 HAS SOUS 11501 HAS SOUPS 6451 WITH SCORE 6523.904
AT ITER 3701 NEW BEST:: SOT 115709 SOS 72870 HAS SOPS 41362 HAS SOUS 11500 HAS SOUPS 6444 WITH SCORE 6516.87
AT ITER 3716 NEW BEST:: SOT 115420 SOS 71655 HAS SOPS 40771 HAS SOUS 11460 HAS SOUPS 6430 WITH SCORE 6501.655
AT ITER 3734 NEW BEST:: SOT 115294 SOS 71529 HAS SOPS 40663 HAS SOUS 11452 HAS SOUPS 6422 WITH SCORE 6493.529
AT ITER 3737 NEW BEST:: SOT 115292 SOS 71465 HAS SOPS 40635 HAS SOUS 11433 HAS SOUPS 6403 WITH SCORE 6474.465
AT ITER 3755 NEW BEST:: SOT 115285 SOS 71334 HAS SOPS 40621 HAS SOUS 11419 HAS SOUPS 6402 WITH SCORE 6473.334
AT ITER 3812 NEW BEST:: SOT 115281 SOS 71286 HAS SOPS 40573 HAS SOUS 11419 HAS SOUPS 6402 WITH SCORE 6473.286
AT ITER 3834 NEW BEST:: SOT 115226 SOS 70781 HAS SOPS 40162 HAS SOUS 11415 HAS SOUPS 6398 WITH SCORE 6468.781
AT ITER 3861 NEW BEST:: SOT 115199 SOS 70645 HAS SOPS 39880 HAS SOUS 11432 HAS SOUPS 6397 WITH SCORE 6467.645
AT ITER 3886 NEW BEST:: SOT 114868 SOS 69981 HAS SOPS 39669 HAS SOUS 11394 HAS SOUPS 6388 WITH SCORE 6457.981
AT ITER 3890 NEW BEST:: SOT 114858 SOS 70011 HAS SOPS 39669 HAS SOUS 11393 HAS SOUPS 6387 WITH SCORE 6457.011
AT ITER 3944 NEW BEST:: SOT 114858 SOS 69976 HAS SOPS 39646 HAS SOUS 11390 HAS SOUPS 6384 WITH SCORE 6453.976
AT ITER 3985 NEW BEST:: SOT 114833 SOS 69951 HAS SOPS 39646 HAS SOUS 11390 HAS SOUPS 6384 WITH SCORE 6453.951
AT ITER 3993 NEW BEST:: SOT 114831 SOS 69929 HAS SOPS 39633 HAS SOUS 11387 HAS SOUPS 6382 WITH SCORE 6451.929
AT ITER 4004 NEW BEST:: SOT 114808 SOS 70092 HAS SOPS 39625 HAS SOUS 11402 HAS SOUPS 6378 WITH SCORE 6448.092
AT ITER 4031 NEW BEST:: SOT 115281 SOS 70983 HAS SOPS 39889 HAS SOUS 11421 HAS SOUPS 6357 WITH SCORE 6427.983
AT ITER 4037 NEW BEST:: SOT 115306 SOS 70993 HAS SOPS 39894 HAS SOUS 11411 HAS SOUPS 6352 WITH SCORE 6422.993
AT ITER 4047 NEW BEST:: SOT 115305 SOS 70582 HAS SOPS 39483 HAS SOUS 11408 HAS SOUPS 6349 WITH SCORE 6419.582
AT ITER 4055 NEW BEST:: SOT 115293 SOS 70570 HAS SOPS 39483 HAS SOUS 11408 HAS SOUPS 6349 WITH SCORE 6419.57
AT ITER 4069 NEW BEST:: SOT 115263 SOS 70540 HAS SOPS 39453 HAS SOUS 11413 HAS SOUPS 6340 WITH SCORE 6410.54
AT ITER 4073 NEW BEST:: SOT 114802 SOS 69692 HAS SOPS 39137 HAS SOUS 11404 HAS SOUPS 6336 WITH SCORE 6405.692
AT ITER 4094 NEW BEST:: SOT 114680 SOS 69449 HAS SOPS 39052 HAS SOUS 11402 HAS SOUPS 6335 WITH SCORE 6404.449
AT ITER 4117 NEW BEST:: SOT 114680 SOS 69449 HAS SOPS 39052 HAS SOUS 11393 HAS SOUPS 6330 WITH SCORE 6399.449
AT ITER 4128 NEW BEST:: SOT 114679 SOS 69437 HAS SOPS 39049 HAS SOUS 11391 HAS SOUPS 6329 WITH SCORE 6398.437
AT ITER 4193 NEW BEST:: SOT 114601 SOS 69359 HAS SOPS 38971 HAS SOUS 11391 HAS SOUPS 6329 WITH SCORE 6398.359
AT ITER 4207 NEW BEST:: SOT 114264 SOS 68661 HAS SOPS 38729 HAS SOUS 11361 HAS SOUPS 6328 WITH SCORE 6396.661
AT ITER 4216 NEW BEST:: SOT 114256 SOS 68649 HAS SOPS 38723 HAS SOUS 11359 HAS SOUPS 6328 WITH SCORE 6396.649
AT ITER 4221 NEW BEST:: SOT 114262 SOS 68469 HAS SOPS 38543 HAS SOUS 11347 HAS SOUPS 6316 WITH SCORE 6384.469
AT ITER 4222 NEW BEST:: SOT 114258 SOS 68525 HAS SOPS 38599 HAS SOUS 11345 HAS SOUPS 6314 WITH SCORE 6382.525
AT ITER 4235 NEW BEST:: SOT 114103 SOS 67875 HAS SOPS 38285 HAS SOUS 11330 HAS SOUPS 6313 WITH SCORE 6380.875
AT ITER 4253 NEW BEST:: SOT 114067 SOS 67839 HAS SOPS 38249 HAS SOUS 11312 HAS SOUPS 6305 WITH SCORE 6372.839
AT ITER 4257 NEW BEST:: SOT 114055 SOS 67827 HAS SOPS 38249 HAS SOUS 11312 HAS SOUPS 6305 WITH SCORE 6372.827
AT ITER 4301 NEW BEST:: SOT 114040 SOS 67901 HAS SOPS 38179 HAS SOUS 11313 HAS SOUPS 6298 WITH SCORE 6365.901
AT ITER 4304 NEW BEST:: SOT 114027 SOS 67974 HAS SOPS 38252 HAS SOUS 11311 HAS SOUPS 6296 WITH SCORE 6363.974
AT ITER 4308 NEW BEST:: SOT 114021 SOS 67940 HAS SOPS 38218 HAS SOUS 11306 HAS SOUPS 6291 WITH SCORE 6358.94
AT ITER 4345 NEW BEST:: SOT 114037 SOS 67956 HAS SOPS 38228 HAS SOUS 11300 HAS SOUPS 6287 WITH SCORE 6354.956
AT ITER 4366 NEW BEST:: SOT 114001 SOS 67920 HAS SOPS 38192 HAS SOUS 11273 HAS SOUPS 6267 WITH SCORE 6334.92
AT ITER 4370 NEW BEST:: SOT 113988 SOS 67814 HAS SOPS 37933 HAS SOUS 11277 HAS SOUPS 6254 WITH SCORE 6321.814
AT ITER 4371 NEW BEST:: SOT 113972 SOS 67834 HAS SOPS 37914 HAS SOUS 11269 HAS SOUPS 6246 WITH SCORE 6313.834
AT ITER 4430 NEW BEST:: SOT 113968 SOS 67830 HAS SOPS 37910 HAS SOUS 11265 HAS SOUPS 6242 WITH SCORE 6309.83
AT ITER 4498 NEW BEST:: SOT 113964 SOS 67826 HAS SOPS 37906 HAS SOUS 11265 HAS SOUPS 6242 WITH SCORE 6309.826
AT ITER 4531 NEW BEST:: SOT 113968 SOS 67768 HAS SOPS 37884 HAS SOUS 11263 HAS SOUPS 6242 WITH SCORE 6309.768
AT ITER 4573 NEW BEST:: SOT 114106 SOS 67906 HAS SOPS 38022 HAS SOUS 11260 HAS SOUPS 6240 WITH SCORE 6307.906
AT ITER 4580 NEW BEST:: SOT 114105 SOS 67895 HAS SOPS 38020 HAS SOUS 11259 HAS SOUPS 6240 WITH SCORE 6307.895
AT ITER 4592 NEW BEST:: SOT 114111 SOS 67748 HAS SOPS 37864 HAS SOUS 11257 HAS SOUPS 6235 WITH SCORE 6302.748
AT ITER 4620 NEW BEST:: SOT 114118 SOS 67697 HAS SOPS 37828 HAS SOUS 11257 HAS SOUPS 6235 WITH SCORE 6302.697
AT ITER 4630 NEW BEST:: SOT 114111 SOS 67715 HAS SOPS 37846 HAS SOUS 11255 HAS SOUPS 6233 WITH SCORE 6300.715
AT ITER 4659 NEW BEST:: SOT 114109 SOS 67713 HAS SOPS 37846 HAS SOUS 11251 HAS SOUPS 6229 WITH SCORE 6296.713
AT ITER 4694 NEW BEST:: SOT 113962 SOS 67379 HAS SOPS 37697 HAS SOUS 11206 HAS SOUPS 6211 WITH SCORE 6278.379
AT ITER 4696 NEW BEST:: SOT 113960 SOS 67335 HAS SOPS 37655 HAS SOUS 11202 HAS SOUPS 6208 WITH SCORE 6275.335
AT ITER 4708 NEW BEST:: SOT 113887 SOS 67261 HAS SOPS 37617 HAS SOUS 11185 HAS SOUPS 6203 WITH SCORE 6270.261
AT ITER 4723 NEW BEST:: SOT 113880 SOS 67248 HAS SOPS 37616 HAS SOUS 11179 HAS SOUPS 6202 WITH SCORE 6269.248
AT ITER 4727 NEW BEST:: SOT 113861 SOS 67271 HAS SOPS 37717 HAS SOUS 11155 HAS SOUPS 6191 WITH SCORE 6258.271
AT ITER 4731 NEW BEST:: SOT 113846 SOS 67178 HAS SOPS 37624 HAS SOUS 11152 HAS SOUPS 6188 WITH SCORE 6255.178
AT ITER 4733 NEW BEST:: SOT 113845 SOS 67163 HAS SOPS 37614 HAS SOUS 11151 HAS SOUPS 6187 WITH SCORE 6254.163
AT ITER 4742 NEW BEST:: SOT 113797 SOS 67115 HAS SOPS 37566 HAS SOUS 11151 HAS SOUPS 6187 WITH SCORE 6254.115
AT ITER 4765 NEW BEST:: SOT 113863 SOS 67181 HAS SOPS 37632 HAS SOUS 11130 HAS SOUPS 6173 WITH SCORE 6240.181
AT ITER 4828 NEW BEST:: SOT 113835 SOS 67346 HAS SOPS 37749 HAS SOUS 11125 HAS SOUPS 6168 WITH SCORE 6235.346
AT ITER 4833 NEW BEST:: SOT 113822 SOS 67333 HAS SOPS 37749 HAS SOUS 11125 HAS SOUPS 6168 WITH SCORE 6235.333
AT ITER 4837 NEW BEST:: SOT 113819 SOS 67330 HAS SOPS 37749 HAS SOUS 11098 HAS SOUPS 6153 WITH SCORE 6220.33
AT ITER 4839 NEW BEST:: SOT 113823 SOS 67366 HAS SOPS 37753 HAS SOUS 11095 HAS SOUPS 6150 WITH SCORE 6217.366
AT ITER 4870 NEW BEST:: SOT 113823 SOS 67366 HAS SOPS 37753 HAS SOUS 11092 HAS SOUPS 6148 WITH SCORE 6215.366
AT ITER 4883 NEW BEST:: SOT 113589 SOS 66883 HAS SOPS 37555 HAS SOUS 11073 HAS SOUPS 6144 WITH SCORE 6210.883
AT ITER 4905 NEW BEST:: SOT 113547 SOS 66841 HAS SOPS 37513 HAS SOUS 11064 HAS SOUPS 6140 WITH SCORE 6206.841
AT ITER 4915 NEW BEST:: SOT 113017 SOS 65132 HAS SOPS 36406 HAS SOUS 11005 HAS SOUPS 6113 WITH SCORE 6178.132
AT ITER 4942 NEW BEST:: SOT 113016 SOS 65164 HAS SOPS 36441 HAS SOUS 11003 HAS SOUPS 6111 WITH SCORE 6176.164
AT ITER 4963 NEW BEST:: SOT 113278 SOS 65677 HAS SOPS 36611 HAS SOUS 10964 HAS SOUPS 6054 WITH SCORE 6119.677
AT ITER 4986 NEW BEST:: SOT 113276 SOS 65637 HAS SOPS 36589 HAS SOUS 10960 HAS SOUPS 6052 WITH SCORE 6117.637
AT ITER 4988 NEW BEST:: SOT 113226 SOS 65689 HAS SOPS 36558 HAS SOUS 10951 HAS SOUPS 6043 WITH SCORE 6108.689
AT ITER 5081 NEW BEST:: SOT 113202 SOS 65294 HAS SOPS 36163 HAS SOUS 10937 HAS SOUPS 6029 WITH SCORE 6094.294
AT ITER 5097 NEW BEST:: SOT 113238 SOS 65330 HAS SOPS 36199 HAS SOUS 10928 HAS SOUPS 6023 WITH SCORE 6088.33
AT ITER 5129 NEW BEST:: SOT 113242 SOS 65356 HAS SOPS 36219 HAS SOUS 10926 HAS SOUPS 6021 WITH SCORE 6086.356
AT ITER 5143 NEW BEST:: SOT 113579 SOS 66030 HAS SOPS 36463 HAS SOUS 10936 HAS SOUPS 6012 WITH SCORE 6078.03
AT ITER 5161 NEW BEST:: SOT 113607 SOS 66084 HAS SOPS 36480 HAS SOUS 10929 HAS SOUPS 6005 WITH SCORE 6071.084
AT ITER 5162 NEW BEST:: SOT 113612 SOS 66074 HAS SOPS 36474 HAS SOUS 10928 HAS SOUPS 6004 WITH SCORE 6070.074
AT ITER 5190 NEW BEST:: SOT 113611 SOS 66165 HAS SOPS 36511 HAS SOUS 10930 HAS SOUPS 6003 WITH SCORE 6069.165
AT ITER 5235 NEW BEST:: SOT 113608 SOS 66162 HAS SOPS 36511 HAS SOUS 10930 HAS SOUPS 6003 WITH SCORE 6069.162
AT ITER 5247 NEW BEST:: SOT 113590 SOS 66144 HAS SOPS 36493 HAS SOUS 10930 HAS SOUPS 6003 WITH SCORE 6069.144
AT ITER 5262 NEW BEST:: SOT 113591 SOS 66151 HAS SOPS 36494 HAS SOUS 10930 HAS SOUPS 6002 WITH SCORE 6068.151
AT ITER 5283 NEW BEST:: SOT 113590 SOS 66111 HAS SOPS 36430 HAS SOUS 10931 HAS SOUPS 5999 WITH SCORE 6065.111
AT ITER 5289 NEW BEST:: SOT 113590 SOS 66111 HAS SOPS 36430 HAS SOUS 10916 HAS SOUPS 5997 WITH SCORE 6063.111
AT ITER 5312 NEW BEST:: SOT 113766 SOS 66394 HAS SOPS 36498 HAS SOUS 10949 HAS SOUPS 5991 WITH SCORE 6057.394
AT ITER 5388 NEW BEST:: SOT 113790 SOS 66442 HAS SOPS 36518 HAS SOUS 10951 HAS SOUPS 5989 WITH SCORE 6055.442
AT ITER 5475 NEW BEST:: SOT 113799 SOS 66451 HAS SOPS 36518 HAS SOUS 10933 HAS SOUPS 5979 WITH SCORE 6045.451
AT ITER 5491 NEW BEST:: SOT 113799 SOS 66387 HAS SOPS 36454 HAS SOUS 10933 HAS SOUPS 5979 WITH SCORE 6045.387
AT ITER 5492 NEW BEST:: SOT 113786 SOS 66375 HAS SOPS 36444 HAS SOUS 10929 HAS SOUPS 5975 WITH SCORE 6041.375
AT ITER 5504 NEW BEST:: SOT 113782 SOS 66363 HAS SOPS 36442 HAS SOUS 10929 HAS SOUPS 5975 WITH SCORE 6041.363
AT ITER 5507 NEW BEST:: SOT 113790 SOS 66324 HAS SOPS 36448 HAS SOUS 10922 HAS SOUPS 5973 WITH SCORE 6039.324
AT ITER 5508 NEW BEST:: SOT 113777 SOS 66303 HAS SOPS 36432 HAS SOUS 10921 HAS SOUPS 5972 WITH SCORE 6038.303
AT ITER 5521 NEW BEST:: SOT 113765 SOS 66291 HAS SOPS 36420 HAS SOUS 10912 HAS SOUPS 5967 WITH SCORE 6033.291
AT ITER 5552 NEW BEST:: SOT 113765 SOS 66291 HAS SOPS 36420 HAS SOUS 10921 HAS SOUPS 5965 WITH SCORE 6031.291
AT ITER 5583 NEW BEST:: SOT 113754 SOS 66280 HAS SOPS 36420 HAS SOUS 10907 HAS SOUPS 5951 WITH SCORE 6017.28
AT ITER 5593 NEW BEST:: SOT 113741 SOS 66267 HAS SOPS 36420 HAS SOUS 10883 HAS SOUPS 5927 WITH SCORE 5993.267
AT ITER 5653 NEW BEST:: SOT 113735 SOS 66228 HAS SOPS 36408 HAS SOUS 10877 HAS SOUPS 5924 WITH SCORE 5990.228
AT ITER 5656 NEW BEST:: SOT 113748 SOS 66149 HAS SOPS 36203 HAS SOUS 10892 HAS SOUPS 5918 WITH SCORE 5984.149
AT ITER 5674 NEW BEST:: SOT 113740 SOS 66202 HAS SOPS 36202 HAS SOUS 10894 HAS SOUPS 5914 WITH SCORE 5980.202
AT ITER 5679 NEW BEST:: SOT 113686 SOS 66148 HAS SOPS 36148 HAS SOUS 10885 HAS SOUPS 5909 WITH SCORE 5975.148
AT ITER 5786 NEW BEST:: SOT 113670 SOS 65972 HAS SOPS 36116 HAS SOUS 10869 HAS SOUPS 5909 WITH SCORE 5974.972
AT ITER 5795 NEW BEST:: SOT 113667 SOS 65998 HAS SOPS 36124 HAS SOUS 10868 HAS SOUPS 5907 WITH SCORE 5972.998
AT ITER 5838 NEW BEST:: SOT 113666 SOS 65966 HAS SOPS 36119 HAS SOUS 10861 HAS SOUPS 5903 WITH SCORE 5968.966
AT ITER 5912 NEW BEST:: SOT 113630 SOS 65938 HAS SOPS 36095 HAS SOUS 10864 HAS SOUPS 5902 WITH SCORE 5967.938
AT ITER 5934 NEW BEST:: SOT 113630 SOS 65938 HAS SOPS 36095 HAS SOUS 10863 HAS SOUPS 5901 WITH SCORE 5966.938
AT ITER 5941 NEW BEST:: SOT 113619 SOS 65944 HAS SOPS 36091 HAS SOUS 10859 HAS SOUPS 5898 WITH SCORE 5963.944
AT ITER 5951 NEW BEST:: SOT 113612 SOS 65893 HAS SOPS 36117 HAS SOUS 10838 HAS SOUPS 5889 WITH SCORE 5954.893
AT ITER 5979 NEW BEST:: SOT 113594 SOS 65827 HAS SOPS 36096 HAS SOUS 10825 HAS SOUPS 5881 WITH SCORE 5946.827
AT ITER 6047 NEW BEST:: SOT 113594 SOS 65815 HAS SOPS 36084 HAS SOUS 10825 HAS SOUPS 5881 WITH SCORE 5946.815
AT ITER 6083 NEW BEST:: SOT 113543 SOS 65744 HAS SOPS 36008 HAS SOUS 10824 HAS SOUPS 5873 WITH SCORE 5938.744
AT ITER 6087 NEW BEST:: SOT 113543 SOS 65744 HAS SOPS 36008 HAS SOUS 10815 HAS SOUPS 5867 WITH SCORE 5932.744
AT ITER 6129 NEW BEST:: SOT 113553 SOS 65700 HAS SOPS 35974 HAS SOUS 10815 HAS SOUPS 5867 WITH SCORE 5932.7
AT ITER 6179 NEW BEST:: SOT 113508 SOS 66004 HAS SOPS 36193 HAS SOUS 10811 HAS SOUPS 5853 WITH SCORE 5919.004
AT ITER 6192 NEW BEST:: SOT 113502 SOS 66013 HAS SOPS 36202 HAS SOUS 10810 HAS SOUPS 5852 WITH SCORE 5918.013
AT ITER 6228 NEW BEST:: SOT 113484 SOS 65995 HAS SOPS 36184 HAS SOUS 10810 HAS SOUPS 5852 WITH SCORE 5917.995
AT ITER 6306 NEW BEST:: SOT 113523 SOS 66199 HAS SOPS 36274 HAS SOUS 10807 HAS SOUPS 5849 WITH SCORE 5915.199
AT ITER 6440 NEW BEST:: SOT 113527 SOS 66274 HAS SOPS 36299 HAS SOUS 10814 HAS SOUPS 5847 WITH SCORE 5913.274
AT ITER 6441 NEW BEST:: SOT 113533 SOS 66363 HAS SOPS 36388 HAS SOUS 10812 HAS SOUPS 5845 WITH SCORE 5911.363
AT ITER 6474 NEW BEST:: SOT 113567 SOS 66737 HAS SOPS 36546 HAS SOUS 10835 HAS SOUPS 5844 WITH SCORE 5910.737
AT ITER 6506 NEW BEST:: SOT 113564 SOS 66726 HAS SOPS 36541 HAS SOUS 10832 HAS SOUPS 5842 WITH SCORE 5908.726
AT ITER 6568 NEW BEST:: SOT 113389 SOS 66444 HAS SOPS 36473 HAS SOUS 10793 HAS SOUPS 5842 WITH SCORE 5908.444
AT ITER 6592 NEW BEST:: SOT 113392 SOS 66447 HAS SOPS 36473 HAS SOUS 10775 HAS SOUPS 5832 WITH SCORE 5898.447
AT ITER 6676 NEW BEST:: SOT 113356 SOS 66411 HAS SOPS 36457 HAS SOUS 10775 HAS SOUPS 5832 WITH SCORE 5898.411
AT ITER 6729 NEW BEST:: SOT 113352 SOS 66407 HAS SOPS 36457 HAS SOUS 10775 HAS SOUPS 5832 WITH SCORE 5898.407
AT ITER 6756 NEW BEST:: SOT 113352 SOS 66398 HAS SOPS 36463 HAS SOUS 10772 HAS SOUPS 5831 WITH SCORE 5897.398
AT ITER 6758 NEW BEST:: SOT 113376 SOS 66199 HAS SOPS 36279 HAS SOUS 10761 HAS SOUPS 5820 WITH SCORE 5886.199
AT ITER 6802 NEW BEST:: SOT 113370 SOS 66193 HAS SOPS 36273 HAS SOUS 10752 HAS SOUPS 5815 WITH SCORE 5881.193
AT ITER 6808 NEW BEST:: SOT 113356 SOS 66160 HAS SOPS 36244 HAS SOUS 10740 HAS SOUPS 5807 WITH SCORE 5873.16
AT ITER 6854 NEW BEST:: SOT 113357 SOS 66114 HAS SOPS 36198 HAS SOUS 10738 HAS SOUPS 5805 WITH SCORE 5871.114
AT ITER 6869 NEW BEST:: SOT 113352 SOS 66109 HAS SOPS 36198 HAS SOUS 10730 HAS SOUPS 5797 WITH SCORE 5863.109
AT ITER 6921 NEW BEST:: SOT 113352 SOS 66107 HAS SOPS 36196 HAS SOUS 10730 HAS SOUPS 5797 WITH SCORE 5863.107
AT ITER 6938 NEW BEST:: SOT 113350 SOS 66118 HAS SOPS 36198 HAS SOUS 10730 HAS SOUPS 5796 WITH SCORE 5862.118
AT ITER 6976 NEW BEST:: SOT 113332 SOS 66100 HAS SOPS 36180 HAS SOUS 10730 HAS SOUPS 5796 WITH SCORE 5862.1
AT ITER 7057 NEW BEST:: SOT 113318 SOS 66122 HAS SOPS 36186 HAS SOUS 10727 HAS SOUPS 5791 WITH SCORE 5857.122
AT ITER 7073 NEW BEST:: SOT 113316 SOS 66108 HAS SOPS 36160 HAS SOUS 10724 HAS SOUPS 5786 WITH SCORE 5852.108
AT ITER 7126 NEW BEST:: SOT 113313 SOS 66095 HAS SOPS 36147 HAS SOUS 10722 HAS SOUPS 5784 WITH SCORE 5850.095
AT ITER 7160 NEW BEST:: SOT 113313 SOS 66095 HAS SOPS 36147 HAS SOUS 10708 HAS SOUPS 5780 WITH SCORE 5846.095
AT ITER 7186 NEW BEST:: SOT 113314 SOS 66087 HAS SOPS 36145 HAS SOUS 10705 HAS SOUPS 5778 WITH SCORE 5844.087
AT ITER 7249 NEW BEST:: SOT 113284 SOS 66017 HAS SOPS 36101 HAS SOUS 10699 HAS SOUPS 5772 WITH SCORE 5838.017
AT ITER 7270 NEW BEST:: SOT 113240 SOS 65973 HAS SOPS 36081 HAS SOUS 10699 HAS SOUPS 5772 WITH SCORE 5837.973
AT ITER 7427 NEW BEST:: SOT 113228 SOS 65955 HAS SOPS 36075 HAS SOUS 10693 HAS SOUPS 5769 WITH SCORE 5834.955
AT ITER 7533 NEW BEST:: SOT 113247 SOS 65993 HAS SOPS 36089 HAS SOUS 10692 HAS SOUPS 5768 WITH SCORE 5833.993
AT ITER 7549 NEW BEST:: SOT 113261 SOS 65931 HAS SOPS 36027 HAS SOUS 10685 HAS SOUPS 5761 WITH SCORE 5826.931
AT ITER 7552 NEW BEST:: SOT 113261 SOS 65929 HAS SOPS 36025 HAS SOUS 10685 HAS SOUPS 5761 WITH SCORE 5826.929
AT ITER 7569 NEW BEST:: SOT 113260 SOS 65928 HAS SOPS 36025 HAS SOUS 10685 HAS SOUPS 5761 WITH SCORE 5826.928
AT ITER 7583 NEW BEST:: SOT 113375 SOS 66165 HAS SOPS 36018 HAS SOUS 10704 HAS SOUPS 5754 WITH SCORE 5820.165
AT ITER 7584 NEW BEST:: SOT 113373 SOS 66173 HAS SOPS 36014 HAS SOUS 10704 HAS SOUPS 5752 WITH SCORE 5818.173
AT ITER 7657 NEW BEST:: SOT 113381 SOS 66138 HAS SOPS 35979 HAS SOUS 10699 HAS SOUPS 5747 WITH SCORE 5813.138
AT ITER 7660 NEW BEST:: SOT 113374 SOS 66116 HAS SOPS 35957 HAS SOUS 10692 HAS SOUPS 5740 WITH SCORE 5806.116
AT ITER 7691 NEW BEST:: SOT 113110 SOS 65612 HAS SOPS 35789 HAS SOUS 10666 HAS SOUPS 5738 WITH SCORE 5803.612
AT ITER 7700 NEW BEST:: SOT 113097 SOS 65579 HAS SOPS 35771 HAS SOUS 10663 HAS SOUPS 5736 WITH SCORE 5801.579
AT ITER 7720 NEW BEST:: SOT 113109 SOS 65648 HAS SOPS 35784 HAS SOUS 10664 HAS SOUPS 5733 WITH SCORE 5798.648
AT ITER 7800 NEW BEST:: SOT 113106 SOS 65486 HAS SOPS 35655 HAS SOUS 10661 HAS SOUPS 5733 WITH SCORE 5798.486
AT ITER 7822 NEW BEST:: SOT 113088 SOS 65468 HAS SOPS 35637 HAS SOUS 10661 HAS SOUPS 5733 WITH SCORE 5798.468
AT ITER 7850 NEW BEST:: SOT 113058 SOS 65438 HAS SOPS 35607 HAS SOUS 10661 HAS SOUPS 5733 WITH SCORE 5798.438
AT ITER 7870 NEW BEST:: SOT 113056 SOS 65438 HAS SOPS 35605 HAS SOUS 10659 HAS SOUPS 5731 WITH SCORE 5796.438
AT ITER 7895 NEW BEST:: SOT 113052 SOS 65432 HAS SOPS 35599 HAS SOUS 10657 HAS SOUPS 5729 WITH SCORE 5794.432
AT ITER 7952 NEW BEST:: SOT 113054 SOS 65434 HAS SOPS 35599 HAS SOUS 10648 HAS SOUPS 5724 WITH SCORE 5789.434
AT ITER 7980 NEW BEST:: SOT 113051 SOS 65420 HAS SOPS 35593 HAS SOUS 10644 HAS SOUPS 5722 WITH SCORE 5787.42
AT ITER 7993 NEW BEST:: SOT 113046 SOS 65415 HAS SOPS 35593 HAS SOUS 10636 HAS SOUPS 5714 WITH SCORE 5779.415
AT ITER 8128 NEW BEST:: SOT 113030 SOS 65287 HAS SOPS 35505 HAS SOUS 10632 HAS SOUPS 5710 WITH SCORE 5775.287
AT ITER 8347 NEW BEST:: SOT 113064 SOS 65368 HAS SOPS 35586 HAS SOUS 10630 HAS SOUPS 5708 WITH SCORE 5773.368
AT ITER 8351 NEW BEST:: SOT 113057 SOS 65333 HAS SOPS 35572 HAS SOUS 10624 HAS SOUPS 5705 WITH SCORE 5770.333
AT ITER 8359 NEW BEST:: SOT 113033 SOS 65309 HAS SOPS 35548 HAS SOUS 10624 HAS SOUPS 5705 WITH SCORE 5770.309
AT ITER 8381 NEW BEST:: SOT 112906 SOS 65054 HAS SOPS 35453 HAS SOUS 10602 HAS SOUPS 5694 WITH SCORE 5759.054
AT ITER 8386 NEW BEST:: SOT 112911 SOS 65009 HAS SOPS 35438 HAS SOUS 10601 HAS SOUPS 5693 WITH SCORE 5758.009
AT ITER 8421 NEW BEST:: SOT 112911 SOS 65007 HAS SOPS 35430 HAS SOUS 10602 HAS SOUPS 5693 WITH SCORE 5758.007
AT ITER 8723 NEW BEST:: SOT 112862 SOS 64941 HAS SOPS 35380 HAS SOUS 10596 HAS SOUPS 5687 WITH SCORE 5751.941
AT ITER 8736 NEW BEST:: SOT 112832 SOS 64917 HAS SOPS 35272 HAS SOUS 10599 HAS SOUPS 5678 WITH SCORE 5742.917
AT ITER 8825 NEW BEST:: SOT 112772 SOS 64857 HAS SOPS 35212 HAS SOUS 10599 HAS SOUPS 5678 WITH SCORE 5742.857
AT ITER 8836 NEW BEST:: SOT 112790 SOS 64875 HAS SOPS 35212 HAS SOUS 10570 HAS SOUPS 5677 WITH SCORE 5741.875
AT ITER 8933 NEW BEST:: SOT 112777 SOS 64843 HAS SOPS 35183 HAS SOUS 10567 HAS SOUPS 5674 WITH SCORE 5738.843
AT ITER 8957 NEW BEST:: SOT 112770 SOS 64836 HAS SOPS 35177 HAS SOUS 10568 HAS SOUPS 5674 WITH SCORE 5738.836
AT ITER 8996 NEW BEST:: SOT 112761 SOS 64827 HAS SOPS 35177 HAS SOUS 10550 HAS SOUPS 5656 WITH SCORE 5720.827
AT ITER 9029 NEW BEST:: SOT 112480 SOS 63392 HAS SOPS 34102 HAS SOUS 10495 HAS SOUPS 5625 WITH SCORE 5688.392
AT ITER 9032 NEW BEST:: SOT 112478 SOS 63390 HAS SOPS 34100 HAS SOUS 10493 HAS SOUPS 5623 WITH SCORE 5686.39
AT ITER 9065 NEW BEST:: SOT 112489 SOS 63457 HAS SOPS 34113 HAS SOUS 10492 HAS SOUPS 5613 WITH SCORE 5676.457
AT ITER 9112 NEW BEST:: SOT 112497 SOS 63354 HAS SOPS 34010 HAS SOUS 10491 HAS SOUPS 5612 WITH SCORE 5675.354
AT ITER 9160 NEW BEST:: SOT 112497 SOS 63346 HAS SOPS 34009 HAS SOUS 10490 HAS SOUPS 5611 WITH SCORE 5674.346
AT ITER 9222 NEW BEST:: SOT 112565 SOS 63428 HAS SOPS 34067 HAS SOUS 10483 HAS SOUPS 5610 WITH SCORE 5673.428
AT ITER 9252 NEW BEST:: SOT 112569 SOS 63393 HAS SOPS 34052 HAS SOUS 10478 HAS SOUPS 5605 WITH SCORE 5668.393
AT ITER 9257 NEW BEST:: SOT 112568 SOS 63392 HAS SOPS 34052 HAS SOUS 10478 HAS SOUPS 5605 WITH SCORE 5668.392
AT ITER 9264 NEW BEST:: SOT 112518 SOS 63292 HAS SOPS 34012 HAS SOUS 10468 HAS SOUPS 5600 WITH SCORE 5663.292
AT ITER 9290 NEW BEST:: SOT 112522 SOS 63256 HAS SOPS 33976 HAS SOUS 10464 HAS SOUPS 5596 WITH SCORE 5659.256
AT ITER 9309 NEW BEST:: SOT 112425 SOS 63070 HAS SOPS 33838 HAS SOUS 10462 HAS SOUPS 5594 WITH SCORE 5657.07
AT ITER 9342 NEW BEST:: SOT 112398 SOS 63102 HAS SOPS 33848 HAS SOUS 10453 HAS SOUPS 5588 WITH SCORE 5651.102
AT ITER 9362 NEW BEST:: SOT 112314 SOS 62934 HAS SOPS 33788 HAS SOUS 10442 HAS SOUPS 5588 WITH SCORE 5650.934
AT ITER 9411 NEW BEST:: SOT 112314 SOS 62933 HAS SOPS 33778 HAS SOUS 10442 HAS SOUPS 5587 WITH SCORE 5649.933
AT ITER 9425 NEW BEST:: SOT 112402 SOS 63021 HAS SOPS 33800 HAS SOUS 10420 HAS SOUPS 5565 WITH SCORE 5628.021
AT ITER 9448 NEW BEST:: SOT 112402 SOS 63009 HAS SOPS 33800 HAS SOUS 10418 HAS SOUPS 5565 WITH SCORE 5628.009
AT ITER 9462 NEW BEST:: SOT 112416 SOS 63023 HAS SOPS 33800 HAS SOUS 10409 HAS SOUPS 5560 WITH SCORE 5623.023
AT ITER 9544 NEW BEST:: SOT 112415 SOS 63016 HAS SOPS 33799 HAS SOUS 10408 HAS SOUPS 5560 WITH SCORE 5623.016
AT ITER 9612 NEW BEST:: SOT 112406 SOS 62998 HAS SOPS 33781 HAS SOUS 10393 HAS SOUPS 5545 WITH SCORE 5607.998
AT ITER 9624 NEW BEST:: SOT 112400 SOS 62968 HAS SOPS 33751 HAS SOUS 10391 HAS SOUPS 5543 WITH SCORE 5605.968
AT ITER 9645 NEW BEST:: SOT 112396 SOS 62984 HAS SOPS 33743 HAS SOUS 10391 HAS SOUPS 5539 WITH SCORE 5601.984
AT ITER 9674 NEW BEST:: SOT 112396 SOS 62993 HAS SOPS 33767 HAS SOUS 10386 HAS SOUPS 5536 WITH SCORE 5598.993
AT ITER 9714 NEW BEST:: SOT 112397 SOS 63006 HAS SOPS 33768 HAS SOUS 10385 HAS SOUPS 5535 WITH SCORE 5598.006
AT ITER 9719 NEW BEST:: SOT 112391 SOS 63000 HAS SOPS 33768 HAS SOUS 10383 HAS SOUPS 5533 WITH SCORE 5596.0
AT ITER 9788 NEW BEST:: SOT 112379 SOS 62988 HAS SOPS 33756 HAS SOUS 10383 HAS SOUPS 5533 WITH SCORE 5595.988
AT ITER 9795 NEW BEST:: SOT 112379 SOS 62988 HAS SOPS 33756 HAS SOUS 10380 HAS SOUPS 5531 WITH SCORE 5593.988
AT ITER 9867 NEW BEST:: SOT 112345 SOS 62946 HAS SOPS 33728 HAS SOUS 10356 HAS SOUPS 5519 WITH SCORE 5581.946
AT ITER 9985 NEW BEST:: SOT 112326 SOS 62737 HAS SOPS 33690 HAS SOUS 10337 HAS SOUPS 5519 WITH SCORE 5581.737
STATE_SPACE STATES 2401000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 88 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 278173000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678408705097

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-05a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484500656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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