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.r299-tall-167873953200640.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 PolyORBNT-COL-S05J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953200640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.0K Feb 25 23:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 23:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 23:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 23:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 23:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K 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 1679525375819

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=PolyORBNT-COL-S05J20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 22:49:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 22:49:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 22:49:37] [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-22 22:49:37] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 22:49:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 645 ms
[2023-03-22 22:49:38] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 369 PT places and 1272.0 transition bindings in 18 ms.
[2023-03-22 22:49:38] [INFO ] Unfolded HLPN to a Petri net with 369 places and 1230 transitions 8864 arcs in 43 ms.
[2023-03-22 22:49:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 22:49:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 369 places, 1230 transitions and 8864 arcs took 27 ms.
Total runtime 823 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J20
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: 369 places, 1230 transitions, 8864 arcs.
AT ITER 0 NEW BEST:: SOT 384178 SOS 94698 HAS SOPS 94670 HAS SOUS 45721 HAS SOUPS 45693 WITH SCORE 45787.698
AT ITER 12 NEW BEST:: SOT 384044 SOS 94537 HAS SOPS 94509 HAS SOUS 45627 HAS SOUPS 45599 WITH SCORE 45693.537
AT ITER 13 NEW BEST:: SOT 384044 SOS 93212 HAS SOPS 93184 HAS SOUS 45612 HAS SOUPS 45584 WITH SCORE 45677.212
AT ITER 28 NEW BEST:: SOT 384029 SOS 93092 HAS SOPS 93064 HAS SOUS 45576 HAS SOUPS 45548 WITH SCORE 45641.092
AT ITER 41 NEW BEST:: SOT 383834 SOS 92642 HAS SOPS 92614 HAS SOUS 45364 HAS SOUPS 45336 WITH SCORE 45428.642
AT ITER 50 NEW BEST:: SOT 383516 SOS 92384 HAS SOPS 92356 HAS SOUS 45176 HAS SOUPS 45148 WITH SCORE 45240.384
AT ITER 54 NEW BEST:: SOT 383424 SOS 92292 HAS SOPS 92264 HAS SOUS 45108 HAS SOUPS 45080 WITH SCORE 45172.292
AT ITER 58 NEW BEST:: SOT 383290 SOS 92136 HAS SOPS 92108 HAS SOUS 45034 HAS SOUPS 45006 WITH SCORE 45098.136
AT ITER 95 NEW BEST:: SOT 383216 SOS 92062 HAS SOPS 92034 HAS SOUS 44975 HAS SOUPS 44947 WITH SCORE 45039.062
AT ITER 118 NEW BEST:: SOT 383216 SOS 92177 HAS SOPS 92149 HAS SOUS 44954 HAS SOUPS 44926 WITH SCORE 45018.177
AT ITER 120 NEW BEST:: SOT 383159 SOS 92120 HAS SOPS 92092 HAS SOUS 44891 HAS SOUPS 44863 WITH SCORE 44955.12
AT ITER 137 NEW BEST:: SOT 383097 SOS 92120 HAS SOPS 92092 HAS SOUS 44829 HAS SOUPS 44801 WITH SCORE 44893.12
AT ITER 138 NEW BEST:: SOT 382913 SOS 92010 HAS SOPS 91982 HAS SOUS 44814 HAS SOUPS 44786 WITH SCORE 44878.01
AT ITER 142 NEW BEST:: SOT 382712 SOS 91534 HAS SOPS 91506 HAS SOUS 44595 HAS SOUPS 44567 WITH SCORE 44658.534
AT ITER 147 NEW BEST:: SOT 382712 SOS 91500 HAS SOPS 91472 HAS SOUS 44509 HAS SOUPS 44481 WITH SCORE 44572.5
AT ITER 177 NEW BEST:: SOT 382430 SOS 91259 HAS SOPS 91231 HAS SOUS 44329 HAS SOUPS 44301 WITH SCORE 44392.259
AT ITER 181 NEW BEST:: SOT 382383 SOS 91462 HAS SOPS 91434 HAS SOUS 44261 HAS SOUPS 44233 WITH SCORE 44324.462
AT ITER 182 NEW BEST:: SOT 382375 SOS 91454 HAS SOPS 91426 HAS SOUS 44253 HAS SOUPS 44225 WITH SCORE 44316.454
AT ITER 184 NEW BEST:: SOT 382375 SOS 91414 HAS SOPS 91386 HAS SOUS 44245 HAS SOUPS 44217 WITH SCORE 44308.414
AT ITER 205 NEW BEST:: SOT 382375 SOS 91400 HAS SOPS 91372 HAS SOUS 44231 HAS SOUPS 44203 WITH SCORE 44294.4
AT ITER 206 NEW BEST:: SOT 382361 SOS 91381 HAS SOPS 91353 HAS SOUS 44217 HAS SOUPS 44189 WITH SCORE 44280.381
AT ITER 215 NEW BEST:: SOT 382408 SOS 91428 HAS SOPS 91400 HAS SOUS 44204 HAS SOUPS 44176 WITH SCORE 44267.428
AT ITER 234 NEW BEST:: SOT 382408 SOS 91345 HAS SOPS 91317 HAS SOUS 44130 HAS SOUPS 44102 WITH SCORE 44193.345
AT ITER 235 NEW BEST:: SOT 382194 SOS 91211 HAS SOPS 91183 HAS SOUS 44084 HAS SOUPS 44056 WITH SCORE 44147.211
AT ITER 249 NEW BEST:: SOT 379587 SOS 90396 HAS SOPS 90080 HAS SOUS 41878 HAS SOUPS 41562 WITH SCORE 41652.396
AT ITER 258 NEW BEST:: SOT 379323 SOS 90132 HAS SOPS 89816 HAS SOUS 41629 HAS SOUPS 41313 WITH SCORE 41403.132
AT ITER 259 NEW BEST:: SOT 379256 SOS 90020 HAS SOPS 89704 HAS SOUS 41555 HAS SOUPS 41239 WITH SCORE 41329.02
AT ITER 274 NEW BEST:: SOT 379256 SOS 89945 HAS SOPS 89629 HAS SOUS 41540 HAS SOUPS 41224 WITH SCORE 41313.945
AT ITER 281 NEW BEST:: SOT 379190 SOS 89889 HAS SOPS 89573 HAS SOUS 41332 HAS SOUPS 41016 WITH SCORE 41105.889
AT ITER 286 NEW BEST:: SOT 378705 SOS 97324 HAS SOPS 97008 HAS SOUS 41074 HAS SOUPS 40758 WITH SCORE 40855.324
AT ITER 297 NEW BEST:: SOT 378551 SOS 97170 HAS SOPS 96854 HAS SOUS 40818 HAS SOUPS 40502 WITH SCORE 40599.17
AT ITER 299 NEW BEST:: SOT 378572 SOS 97125 HAS SOPS 96809 HAS SOUS 40789 HAS SOUPS 40473 WITH SCORE 40570.125
AT ITER 301 NEW BEST:: SOT 378600 SOS 97143 HAS SOPS 96827 HAS SOUS 40762 HAS SOUPS 40446 WITH SCORE 40543.143
AT ITER 321 NEW BEST:: SOT 378577 SOS 97030 HAS SOPS 96714 HAS SOUS 40730 HAS SOUPS 40414 WITH SCORE 40511.03
AT ITER 328 NEW BEST:: SOT 378577 SOS 97030 HAS SOPS 96714 HAS SOUS 40695 HAS SOUPS 40379 WITH SCORE 40476.03
AT ITER 342 NEW BEST:: SOT 378484 SOS 96937 HAS SOPS 96621 HAS SOUS 40608 HAS SOUPS 40292 WITH SCORE 40388.937
AT ITER 344 NEW BEST:: SOT 378484 SOS 96912 HAS SOPS 96596 HAS SOUS 40594 HAS SOUPS 40278 WITH SCORE 40374.912
AT ITER 351 NEW BEST:: SOT 378460 SOS 96768 HAS SOPS 96452 HAS SOUS 40549 HAS SOUPS 40233 WITH SCORE 40329.768
AT ITER 358 NEW BEST:: SOT 378451 SOS 96703 HAS SOPS 96387 HAS SOUS 40530 HAS SOUPS 40214 WITH SCORE 40310.703
AT ITER 359 NEW BEST:: SOT 378451 SOS 96703 HAS SOPS 96387 HAS SOUS 40520 HAS SOUPS 40204 WITH SCORE 40300.703
AT ITER 360 NEW BEST:: SOT 378467 SOS 96719 HAS SOPS 96403 HAS SOUS 40504 HAS SOUPS 40188 WITH SCORE 40284.719
AT ITER 373 NEW BEST:: SOT 378289 SOS 96541 HAS SOPS 96225 HAS SOUS 40354 HAS SOUPS 40038 WITH SCORE 40134.541
AT ITER 387 NEW BEST:: SOT 378290 SOS 96847 HAS SOPS 96531 HAS SOUS 40331 HAS SOUPS 40015 WITH SCORE 40111.847
AT ITER 410 NEW BEST:: SOT 378289 SOS 95385 HAS SOPS 95193 HAS SOUS 40169 HAS SOUPS 39977 WITH SCORE 40072.385
AT ITER 424 NEW BEST:: SOT 378281 SOS 95385 HAS SOPS 95193 HAS SOUS 40161 HAS SOUPS 39969 WITH SCORE 40064.385
AT ITER 429 NEW BEST:: SOT 378280 SOS 95384 HAS SOPS 95192 HAS SOUS 40159 HAS SOUPS 39967 WITH SCORE 40062.384
AT ITER 465 NEW BEST:: SOT 378274 SOS 95378 HAS SOPS 95186 HAS SOUS 40153 HAS SOUPS 39961 WITH SCORE 40056.378
AT ITER 470 NEW BEST:: SOT 378274 SOS 95361 HAS SOPS 95169 HAS SOUS 40136 HAS SOUPS 39944 WITH SCORE 40039.361
AT ITER 474 NEW BEST:: SOT 378260 SOS 95361 HAS SOPS 95169 HAS SOUS 40122 HAS SOUPS 39930 WITH SCORE 40025.361
AT ITER 476 NEW BEST:: SOT 378231 SOS 95653 HAS SOPS 95461 HAS SOUS 40087 HAS SOUPS 39895 WITH SCORE 39990.653
AT ITER 487 NEW BEST:: SOT 378228 SOS 95602 HAS SOPS 95410 HAS SOUS 40081 HAS SOUPS 39889 WITH SCORE 39984.602
AT ITER 503 NEW BEST:: SOT 378090 SOS 95394 HAS SOPS 95202 HAS SOUS 39938 HAS SOUPS 39746 WITH SCORE 39841.394
AT ITER 507 NEW BEST:: SOT 378090 SOS 95356 HAS SOPS 95164 HAS SOUS 39884 HAS SOUPS 39692 WITH SCORE 39787.356
AT ITER 509 NEW BEST:: SOT 378069 SOS 95356 HAS SOPS 95164 HAS SOUS 39842 HAS SOUPS 39650 WITH SCORE 39745.356
AT ITER 517 NEW BEST:: SOT 378030 SOS 95212 HAS SOPS 95020 HAS SOUS 39782 HAS SOUPS 39590 WITH SCORE 39685.212
AT ITER 524 NEW BEST:: SOT 378030 SOS 95195 HAS SOPS 95003 HAS SOUS 39731 HAS SOUPS 39539 WITH SCORE 39634.195
AT ITER 526 NEW BEST:: SOT 378030 SOS 95150 HAS SOPS 94958 HAS SOUS 39662 HAS SOUPS 39470 WITH SCORE 39565.15
AT ITER 532 NEW BEST:: SOT 377982 SOS 95102 HAS SOPS 94910 HAS SOUS 39614 HAS SOUPS 39422 WITH SCORE 39517.102
AT ITER 534 NEW BEST:: SOT 377973 SOS 95013 HAS SOPS 94821 HAS SOUS 39583 HAS SOUPS 39391 WITH SCORE 39486.013
AT ITER 543 NEW BEST:: SOT 377697 SOS 94395 HAS SOPS 94203 HAS SOUS 39336 HAS SOUPS 39144 WITH SCORE 39238.395
AT ITER 547 NEW BEST:: SOT 377581 SOS 94189 HAS SOPS 93997 HAS SOUS 39258 HAS SOUPS 39066 WITH SCORE 39160.189
AT ITER 548 NEW BEST:: SOT 377575 SOS 94159 HAS SOPS 93967 HAS SOUS 39246 HAS SOUPS 39054 WITH SCORE 39148.159
AT ITER 554 NEW BEST:: SOT 377529 SOS 94159 HAS SOPS 93967 HAS SOUS 39154 HAS SOUPS 38962 WITH SCORE 39056.159
AT ITER 559 NEW BEST:: SOT 377539 SOS 94119 HAS SOPS 93927 HAS SOUS 39146 HAS SOUPS 38954 WITH SCORE 39048.119
AT ITER 564 NEW BEST:: SOT 377526 SOS 94106 HAS SOPS 93914 HAS SOUS 39133 HAS SOUPS 38941 WITH SCORE 39035.106
AT ITER 569 NEW BEST:: SOT 377489 SOS 94082 HAS SOPS 93890 HAS SOUS 39085 HAS SOUPS 38893 WITH SCORE 38987.082
AT ITER 584 NEW BEST:: SOT 377489 SOS 94082 HAS SOPS 93890 HAS SOUS 39081 HAS SOUPS 38889 WITH SCORE 38983.082
AT ITER 604 NEW BEST:: SOT 377476 SOS 94159 HAS SOPS 93967 HAS SOUS 39047 HAS SOUPS 38855 WITH SCORE 38949.159
AT ITER 616 NEW BEST:: SOT 377476 SOS 94099 HAS SOPS 93907 HAS SOUS 38938 HAS SOUPS 38746 WITH SCORE 38840.099
AT ITER 617 NEW BEST:: SOT 377406 SOS 94029 HAS SOPS 93837 HAS SOUS 38881 HAS SOUPS 38689 WITH SCORE 38783.029
AT ITER 659 NEW BEST:: SOT 377401 SOS 93919 HAS SOPS 93727 HAS SOUS 38871 HAS SOUPS 38679 WITH SCORE 38772.919
AT ITER 664 NEW BEST:: SOT 377309 SOS 93827 HAS SOPS 93635 HAS SOUS 38752 HAS SOUPS 38560 WITH SCORE 38653.827
AT ITER 669 NEW BEST:: SOT 377163 SOS 94924 HAS SOPS 94732 HAS SOUS 38715 HAS SOUPS 38523 WITH SCORE 38617.924
AT ITER 681 NEW BEST:: SOT 377161 SOS 95012 HAS SOPS 94820 HAS SOUS 38694 HAS SOUPS 38502 WITH SCORE 38597.012
AT ITER 704 NEW BEST:: SOT 377091 SOS 94964 HAS SOPS 94772 HAS SOUS 38680 HAS SOUPS 38488 WITH SCORE 38582.964
AT ITER 708 NEW BEST:: SOT 377091 SOS 94733 HAS SOPS 94541 HAS SOUS 38679 HAS SOUPS 38487 WITH SCORE 38581.733
AT ITER 714 NEW BEST:: SOT 377057 SOS 94699 HAS SOPS 94507 HAS SOUS 38611 HAS SOUPS 38419 WITH SCORE 38513.699
AT ITER 717 NEW BEST:: SOT 377036 SOS 94521 HAS SOPS 94329 HAS SOUS 38569 HAS SOUPS 38377 WITH SCORE 38471.521
AT ITER 718 NEW BEST:: SOT 376991 SOS 94386 HAS SOPS 94194 HAS SOUS 38537 HAS SOUPS 38345 WITH SCORE 38439.386
AT ITER 735 NEW BEST:: SOT 376989 SOS 94414 HAS SOPS 94222 HAS SOUS 38413 HAS SOUPS 38221 WITH SCORE 38315.414
AT ITER 740 NEW BEST:: SOT 376989 SOS 94374 HAS SOPS 94182 HAS SOUS 38405 HAS SOUPS 38213 WITH SCORE 38307.374
AT ITER 745 NEW BEST:: SOT 376952 SOS 94337 HAS SOPS 94145 HAS SOUS 38370 HAS SOUPS 38178 WITH SCORE 38272.337
AT ITER 751 NEW BEST:: SOT 376948 SOS 94757 HAS SOPS 94565 HAS SOUS 38366 HAS SOUPS 38174 WITH SCORE 38268.757
AT ITER 756 NEW BEST:: SOT 376919 SOS 94693 HAS SOPS 94501 HAS SOUS 38197 HAS SOUPS 38005 WITH SCORE 38099.693
AT ITER 769 NEW BEST:: SOT 376919 SOS 94693 HAS SOPS 94501 HAS SOUS 38194 HAS SOUPS 38002 WITH SCORE 38096.693
AT ITER 775 NEW BEST:: SOT 374579 SOS 92431 HAS SOPS 92239 HAS SOUS 35827 HAS SOUPS 35635 WITH SCORE 35727.431
AT ITER 789 NEW BEST:: SOT 374574 SOS 92346 HAS SOPS 92154 HAS SOUS 35816 HAS SOUPS 35624 WITH SCORE 35716.346
AT ITER 817 NEW BEST:: SOT 374390 SOS 92162 HAS SOPS 92077 HAS SOUS 35626 HAS SOUPS 35541 WITH SCORE 35633.162
AT ITER 830 NEW BEST:: SOT 374293 SOS 91844 HAS SOPS 91829 HAS SOUS 35518 HAS SOUPS 35503 WITH SCORE 35594.844
AT ITER 835 NEW BEST:: SOT 374293 SOS 91812 HAS SOPS 91797 HAS SOUS 35518 HAS SOUPS 35503 WITH SCORE 35594.812
AT ITER 837 NEW BEST:: SOT 374209 SOS 91728 HAS SOPS 91713 HAS SOUS 35432 HAS SOUPS 35417 WITH SCORE 35508.728
AT ITER 840 NEW BEST:: SOT 374205 SOS 91709 HAS SOPS 91694 HAS SOUS 35429 HAS SOUPS 35414 WITH SCORE 35505.709
AT ITER 841 NEW BEST:: SOT 374185 SOS 91669 HAS SOPS 91654 HAS SOUS 35331 HAS SOUPS 35316 WITH SCORE 35407.669
AT ITER 852 NEW BEST:: SOT 374172 SOS 91668 HAS SOPS 91653 HAS SOUS 35330 HAS SOUPS 35315 WITH SCORE 35406.668
AT ITER 858 NEW BEST:: SOT 374159 SOS 91655 HAS SOPS 91640 HAS SOUS 35313 HAS SOUPS 35298 WITH SCORE 35389.655
AT ITER 862 NEW BEST:: SOT 373714 SOS 94380 HAS SOPS 94365 HAS SOUS 35182 HAS SOUPS 35167 WITH SCORE 35261.38
AT ITER 874 NEW BEST:: SOT 373698 SOS 94349 HAS SOPS 94334 HAS SOUS 35145 HAS SOUPS 35130 WITH SCORE 35224.349
AT ITER 886 NEW BEST:: SOT 373665 SOS 94316 HAS SOPS 94301 HAS SOUS 35079 HAS SOUPS 35064 WITH SCORE 35158.316
AT ITER 904 NEW BEST:: SOT 373644 SOS 94295 HAS SOPS 94280 HAS SOUS 35059 HAS SOUPS 35044 WITH SCORE 35138.295
AT ITER 910 NEW BEST:: SOT 373622 SOS 94273 HAS SOPS 94258 HAS SOUS 35031 HAS SOUPS 35016 WITH SCORE 35110.273
AT ITER 912 NEW BEST:: SOT 373607 SOS 94183 HAS SOPS 94168 HAS SOUS 35001 HAS SOUPS 34986 WITH SCORE 35080.183
AT ITER 913 NEW BEST:: SOT 373603 SOS 94155 HAS SOPS 94140 HAS SOUS 34993 HAS SOUPS 34978 WITH SCORE 35072.155
AT ITER 922 NEW BEST:: SOT 373603 SOS 94153 HAS SOPS 94138 HAS SOUS 34993 HAS SOUPS 34978 WITH SCORE 35072.153
AT ITER 935 NEW BEST:: SOT 373552 SOS 93967 HAS SOPS 93952 HAS SOUS 34923 HAS SOUPS 34908 WITH SCORE 35001.967
AT ITER 936 NEW BEST:: SOT 373016 SOS 109711 HAS SOPS 109696 HAS SOUS 34768 HAS SOUPS 34753 WITH SCORE 34862.711
AT ITER 955 NEW BEST:: SOT 372932 SOS 109457 HAS SOPS 109442 HAS SOUS 34680 HAS SOUPS 34665 WITH SCORE 34774.457
AT ITER 996 NEW BEST:: SOT 372838 SOS 109363 HAS SOPS 109348 HAS SOUS 34492 HAS SOUPS 34477 WITH SCORE 34586.363
AT ITER 1000 NEW BEST:: SOT 372778 SOS 109395 HAS SOPS 109380 HAS SOUS 34466 HAS SOUPS 34451 WITH SCORE 34560.395
AT ITER 1032 NEW BEST:: SOT 372788 SOS 109423 HAS SOPS 109408 HAS SOUS 34460 HAS SOUPS 34445 WITH SCORE 34554.423
AT ITER 1042 NEW BEST:: SOT 372778 SOS 109413 HAS SOPS 109398 HAS SOUS 34455 HAS SOUPS 34440 WITH SCORE 34549.413
AT ITER 1051 NEW BEST:: SOT 372698 SOS 109173 HAS SOPS 109158 HAS SOUS 34379 HAS SOUPS 34364 WITH SCORE 34473.173
AT ITER 1054 NEW BEST:: SOT 372696 SOS 109114 HAS SOPS 109099 HAS SOUS 34375 HAS SOUPS 34360 WITH SCORE 34469.114
AT ITER 1063 NEW BEST:: SOT 372622 SOS 108910 HAS SOPS 108895 HAS SOUS 34279 HAS SOUPS 34264 WITH SCORE 34372.91
AT ITER 1064 NEW BEST:: SOT 372554 SOS 108818 HAS SOPS 108803 HAS SOUS 34201 HAS SOUPS 34186 WITH SCORE 34294.818
AT ITER 1067 NEW BEST:: SOT 372539 SOS 108653 HAS SOPS 108638 HAS SOUS 34171 HAS SOUPS 34156 WITH SCORE 34264.653
AT ITER 1069 NEW BEST:: SOT 372480 SOS 108594 HAS SOPS 108579 HAS SOUS 34126 HAS SOUPS 34111 WITH SCORE 34219.594
AT ITER 1090 NEW BEST:: SOT 372432 SOS 108546 HAS SOPS 108531 HAS SOUS 34093 HAS SOUPS 34078 WITH SCORE 34186.546
AT ITER 1093 NEW BEST:: SOT 372400 SOS 108514 HAS SOPS 108499 HAS SOUS 34081 HAS SOUPS 34066 WITH SCORE 34174.514
AT ITER 1107 NEW BEST:: SOT 372372 SOS 108326 HAS SOPS 108311 HAS SOUS 34021 HAS SOUPS 34006 WITH SCORE 34114.326
AT ITER 1109 NEW BEST:: SOT 372372 SOS 108326 HAS SOPS 108311 HAS SOUS 34019 HAS SOUPS 34004 WITH SCORE 34112.326
AT ITER 1114 NEW BEST:: SOT 372367 SOS 108321 HAS SOPS 108306 HAS SOUS 34019 HAS SOUPS 34004 WITH SCORE 34112.321
AT ITER 1118 NEW BEST:: SOT 372365 SOS 108319 HAS SOPS 108304 HAS SOUS 34017 HAS SOUPS 34002 WITH SCORE 34110.319
AT ITER 1120 NEW BEST:: SOT 371997 SOS 107405 HAS SOPS 107364 HAS SOUS 33903 HAS SOUPS 33862 WITH SCORE 33969.405
AT ITER 1127 NEW BEST:: SOT 371993 SOS 107393 HAS SOPS 107352 HAS SOUS 33891 HAS SOUPS 33850 WITH SCORE 33957.393
AT ITER 1132 NEW BEST:: SOT 371985 SOS 107385 HAS SOPS 107344 HAS SOUS 33875 HAS SOUPS 33834 WITH SCORE 33941.385
AT ITER 1153 NEW BEST:: SOT 372009 SOS 108160 HAS SOPS 108119 HAS SOUS 33864 HAS SOUPS 33823 WITH SCORE 33931.16
AT ITER 1175 NEW BEST:: SOT 371975 SOS 107956 HAS SOPS 107915 HAS SOUS 33796 HAS SOUPS 33755 WITH SCORE 33862.956
AT ITER 1197 NEW BEST:: SOT 371941 SOS 108042 HAS SOPS 108001 HAS SOUS 33728 HAS SOUPS 33687 WITH SCORE 33795.042
AT ITER 1206 NEW BEST:: SOT 371481 SOS 113522 HAS SOPS 113481 HAS SOUS 33637 HAS SOUPS 33596 WITH SCORE 33709.522
AT ITER 1210 NEW BEST:: SOT 371491 SOS 113509 HAS SOPS 113468 HAS SOUS 33611 HAS SOUPS 33570 WITH SCORE 33683.509
AT ITER 1220 NEW BEST:: SOT 371354 SOS 113372 HAS SOPS 113331 HAS SOUS 33580 HAS SOUPS 33539 WITH SCORE 33652.372
AT ITER 1227 NEW BEST:: SOT 371162 SOS 113180 HAS SOPS 113139 HAS SOUS 33388 HAS SOUPS 33347 WITH SCORE 33460.18
AT ITER 1236 NEW BEST:: SOT 371162 SOS 113172 HAS SOPS 113131 HAS SOUS 33388 HAS SOUPS 33347 WITH SCORE 33460.172
AT ITER 1245 NEW BEST:: SOT 371146 SOS 113076 HAS SOPS 113035 HAS SOUS 33356 HAS SOUPS 33315 WITH SCORE 33428.076
AT ITER 1246 NEW BEST:: SOT 371142 SOS 113007 HAS SOPS 112966 HAS SOUS 33341 HAS SOUPS 33300 WITH SCORE 33413.007
AT ITER 1251 NEW BEST:: SOT 371136 SOS 113001 HAS SOPS 112960 HAS SOUS 33335 HAS SOUPS 33294 WITH SCORE 33407.001
AT ITER 1280 NEW BEST:: SOT 371194 SOS 112179 HAS SOPS 112138 HAS SOUS 33335 HAS SOUPS 33294 WITH SCORE 33406.179
AT ITER 1284 NEW BEST:: SOT 371143 SOS 112128 HAS SOPS 112087 HAS SOUS 33313 HAS SOUPS 33272 WITH SCORE 33384.128
AT ITER 1291 NEW BEST:: SOT 371120 SOS 112105 HAS SOPS 112064 HAS SOUS 33290 HAS SOUPS 33249 WITH SCORE 33361.105
AT ITER 1309 NEW BEST:: SOT 371115 SOS 112050 HAS SOPS 112009 HAS SOUS 33263 HAS SOUPS 33222 WITH SCORE 33334.05
AT ITER 1324 NEW BEST:: SOT 371104 SOS 112039 HAS SOPS 111998 HAS SOUS 33259 HAS SOUPS 33218 WITH SCORE 33330.039
AT ITER 1326 NEW BEST:: SOT 371061 SOS 111996 HAS SOPS 111955 HAS SOUS 33173 HAS SOUPS 33132 WITH SCORE 33243.996
AT ITER 1343 NEW BEST:: SOT 371039 SOS 111959 HAS SOPS 111918 HAS SOUS 33069 HAS SOUPS 33028 WITH SCORE 33139.959
AT ITER 1344 NEW BEST:: SOT 371006 SOS 111926 HAS SOPS 111885 HAS SOUS 33011 HAS SOUPS 32970 WITH SCORE 33081.926
AT ITER 1345 NEW BEST:: SOT 371002 SOS 111901 HAS SOPS 111860 HAS SOUS 33003 HAS SOUPS 32962 WITH SCORE 33073.901
AT ITER 1375 NEW BEST:: SOT 369655 SOS 110560 HAS SOPS 110489 HAS SOUS 32806 HAS SOUPS 32735 WITH SCORE 32845.56
AT ITER 1389 NEW BEST:: SOT 369636 SOS 110541 HAS SOPS 110470 HAS SOUS 32787 HAS SOUPS 32716 WITH SCORE 32826.541
AT ITER 1405 NEW BEST:: SOT 369633 SOS 110538 HAS SOPS 110467 HAS SOUS 32762 HAS SOUPS 32691 WITH SCORE 32801.538
AT ITER 1448 NEW BEST:: SOT 369637 SOS 110532 HAS SOPS 110461 HAS SOUS 32735 HAS SOUPS 32664 WITH SCORE 32774.532
AT ITER 1482 NEW BEST:: SOT 369637 SOS 110526 HAS SOPS 110455 HAS SOUS 32711 HAS SOUPS 32640 WITH SCORE 32750.526
AT ITER 1483 NEW BEST:: SOT 369611 SOS 110450 HAS SOPS 110379 HAS SOUS 32677 HAS SOUPS 32606 WITH SCORE 32716.45
AT ITER 1499 NEW BEST:: SOT 369611 SOS 110450 HAS SOPS 110379 HAS SOUS 32665 HAS SOUPS 32594 WITH SCORE 32704.45
AT ITER 1519 NEW BEST:: SOT 369609 SOS 110448 HAS SOPS 110377 HAS SOUS 32661 HAS SOUPS 32590 WITH SCORE 32700.448
AT ITER 1525 NEW BEST:: SOT 369609 SOS 110448 HAS SOPS 110377 HAS SOUS 32643 HAS SOUPS 32572 WITH SCORE 32682.448
AT ITER 1543 NEW BEST:: SOT 369608 SOS 110447 HAS SOPS 110376 HAS SOUS 32615 HAS SOUPS 32544 WITH SCORE 32654.447
AT ITER 1554 NEW BEST:: SOT 369610 SOS 110449 HAS SOPS 110378 HAS SOUS 32600 HAS SOUPS 32529 WITH SCORE 32639.449
AT ITER 1558 NEW BEST:: SOT 369611 SOS 110450 HAS SOPS 110379 HAS SOUS 32593 HAS SOUPS 32522 WITH SCORE 32632.45
AT ITER 1578 NEW BEST:: SOT 369549 SOS 110303 HAS SOPS 110232 HAS SOUS 32576 HAS SOUPS 32505 WITH SCORE 32615.303
AT ITER 1592 NEW BEST:: SOT 369509 SOS 110263 HAS SOPS 110192 HAS SOUS 32542 HAS SOUPS 32471 WITH SCORE 32581.263
AT ITER 1596 NEW BEST:: SOT 369509 SOS 110263 HAS SOPS 110192 HAS SOUS 32540 HAS SOUPS 32469 WITH SCORE 32579.263
AT ITER 1630 NEW BEST:: SOT 369400 SOS 110153 HAS SOPS 110082 HAS SOUS 32406 HAS SOUPS 32335 WITH SCORE 32445.153
AT ITER 1635 NEW BEST:: SOT 369369 SOS 110091 HAS SOPS 110020 HAS SOUS 32375 HAS SOUPS 32304 WITH SCORE 32414.091
AT ITER 1652 NEW BEST:: SOT 369365 SOS 110087 HAS SOPS 110016 HAS SOUS 32371 HAS SOUPS 32300 WITH SCORE 32410.087
AT ITER 1658 NEW BEST:: SOT 369362 SOS 110059 HAS SOPS 109988 HAS SOUS 32366 HAS SOUPS 32295 WITH SCORE 32405.059
AT ITER 1672 NEW BEST:: SOT 369371 SOS 110136 HAS SOPS 110056 HAS SOUS 32351 HAS SOUPS 32271 WITH SCORE 32381.136
AT ITER 1674 NEW BEST:: SOT 368378 SOS 109149 HAS SOPS 109063 HAS SOUS 32213 HAS SOUPS 32127 WITH SCORE 32236.149
AT ITER 1689 NEW BEST:: SOT 368321 SOS 108807 HAS SOPS 108721 HAS SOUS 32156 HAS SOUPS 32070 WITH SCORE 32178.807
AT ITER 1697 NEW BEST:: SOT 368295 SOS 108731 HAS SOPS 108645 HAS SOUS 32103 HAS SOUPS 32017 WITH SCORE 32125.731
AT ITER 1698 NEW BEST:: SOT 368267 SOS 108720 HAS SOPS 108634 HAS SOUS 32081 HAS SOUPS 31995 WITH SCORE 32103.72
AT ITER 1699 NEW BEST:: SOT 368267 SOS 108720 HAS SOPS 108634 HAS SOUS 32064 HAS SOUPS 31978 WITH SCORE 32086.72
AT ITER 1722 NEW BEST:: SOT 368237 SOS 108690 HAS SOPS 108604 HAS SOUS 32014 HAS SOUPS 31928 WITH SCORE 32036.69
AT ITER 1749 NEW BEST:: SOT 368237 SOS 108690 HAS SOPS 108604 HAS SOUS 32010 HAS SOUPS 31924 WITH SCORE 32032.69
AT ITER 1753 NEW BEST:: SOT 368237 SOS 108732 HAS SOPS 108624 HAS SOUS 32010 HAS SOUPS 31902 WITH SCORE 32010.732
AT ITER 1774 NEW BEST:: SOT 368233 SOS 108746 HAS SOPS 108638 HAS SOUS 31972 HAS SOUPS 31864 WITH SCORE 31972.746
AT ITER 1781 NEW BEST:: SOT 368215 SOS 109394 HAS SOPS 109286 HAS SOUS 31930 HAS SOUPS 31822 WITH SCORE 31931.394
AT ITER 1786 NEW BEST:: SOT 368213 SOS 109392 HAS SOPS 109284 HAS SOUS 31922 HAS SOUPS 31814 WITH SCORE 31923.392
AT ITER 1794 NEW BEST:: SOT 368210 SOS 109386 HAS SOPS 109278 HAS SOUS 31916 HAS SOUPS 31808 WITH SCORE 31917.386
AT ITER 1824 NEW BEST:: SOT 368177 SOS 109353 HAS SOPS 109245 HAS SOUS 31909 HAS SOUPS 31801 WITH SCORE 31910.353
AT ITER 1833 NEW BEST:: SOT 368187 SOS 109324 HAS SOPS 109216 HAS SOUS 31854 HAS SOUPS 31746 WITH SCORE 31855.324
AT ITER 1845 NEW BEST:: SOT 368161 SOS 109298 HAS SOPS 109190 HAS SOUS 31794 HAS SOUPS 31686 WITH SCORE 31795.298
AT ITER 1860 NEW BEST:: SOT 368153 SOS 109265 HAS SOPS 109157 HAS SOUS 31781 HAS SOUPS 31673 WITH SCORE 31782.265
AT ITER 1876 NEW BEST:: SOT 368153 SOS 109251 HAS SOPS 109143 HAS SOUS 31763 HAS SOUPS 31655 WITH SCORE 31764.251
AT ITER 1896 NEW BEST:: SOT 368291 SOS 110021 HAS SOPS 109784 HAS SOUS 31846 HAS SOUPS 31609 WITH SCORE 31719.021
AT ITER 1903 NEW BEST:: SOT 368237 SOS 109807 HAS SOPS 109570 HAS SOUS 31802 HAS SOUPS 31565 WITH SCORE 31674.807
AT ITER 1905 NEW BEST:: SOT 368237 SOS 109448 HAS SOPS 109211 HAS SOUS 31768 HAS SOUPS 31531 WITH SCORE 31640.448
AT ITER 1943 NEW BEST:: SOT 368215 SOS 109381 HAS SOPS 109144 HAS SOUS 31766 HAS SOUPS 31529 WITH SCORE 31638.381
AT ITER 1956 NEW BEST:: SOT 368222 SOS 109796 HAS SOPS 109559 HAS SOUS 31749 HAS SOUPS 31512 WITH SCORE 31621.796
AT ITER 1962 NEW BEST:: SOT 368232 SOS 110218 HAS SOPS 109981 HAS SOUS 31735 HAS SOUPS 31498 WITH SCORE 31608.218
AT ITER 1988 NEW BEST:: SOT 368232 SOS 110218 HAS SOPS 109981 HAS SOUS 31734 HAS SOUPS 31497 WITH SCORE 31607.218
AT ITER 2001 NEW BEST:: SOT 368153 SOS 110123 HAS SOPS 109903 HAS SOUS 31658 HAS SOUPS 31438 WITH SCORE 31548.123
AT ITER 2016 NEW BEST:: SOT 368150 SOS 110100 HAS SOPS 109880 HAS SOUS 31652 HAS SOUPS 31432 WITH SCORE 31542.1
AT ITER 2066 NEW BEST:: SOT 368150 SOS 110078 HAS SOPS 109858 HAS SOUS 31652 HAS SOUPS 31432 WITH SCORE 31542.078
AT ITER 2071 NEW BEST:: SOT 368142 SOS 110070 HAS SOPS 109850 HAS SOUS 31639 HAS SOUPS 31419 WITH SCORE 31529.07
AT ITER 2073 NEW BEST:: SOT 368136 SOS 110064 HAS SOPS 109844 HAS SOUS 31633 HAS SOUPS 31413 WITH SCORE 31523.064
AT ITER 2074 NEW BEST:: SOT 368129 SOS 110034 HAS SOPS 109814 HAS SOUS 31627 HAS SOUPS 31407 WITH SCORE 31517.034
AT ITER 2099 NEW BEST:: SOT 368129 SOS 109964 HAS SOPS 109744 HAS SOUS 31627 HAS SOUPS 31407 WITH SCORE 31516.964
AT ITER 2108 NEW BEST:: SOT 368103 SOS 109938 HAS SOPS 109718 HAS SOUS 31601 HAS SOUPS 31381 WITH SCORE 31490.938
AT ITER 2113 NEW BEST:: SOT 368091 SOS 109866 HAS SOPS 109646 HAS SOUS 31577 HAS SOUPS 31357 WITH SCORE 31466.866
AT ITER 2152 NEW BEST:: SOT 368083 SOS 109858 HAS SOPS 109638 HAS SOUS 31561 HAS SOUPS 31341 WITH SCORE 31450.858
AT ITER 2191 NEW BEST:: SOT 368068 SOS 109843 HAS SOPS 109623 HAS SOUS 31546 HAS SOUPS 31326 WITH SCORE 31435.843
AT ITER 2200 NEW BEST:: SOT 367867 SOS 109666 HAS SOPS 109446 HAS SOUS 31432 HAS SOUPS 31212 WITH SCORE 31321.666
AT ITER 2219 NEW BEST:: SOT 367841 SOS 109658 HAS SOPS 109438 HAS SOUS 31425 HAS SOUPS 31205 WITH SCORE 31314.658
AT ITER 2222 NEW BEST:: SOT 367838 SOS 109652 HAS SOPS 109432 HAS SOUS 31425 HAS SOUPS 31205 WITH SCORE 31314.652
AT ITER 2275 NEW BEST:: SOT 367814 SOS 109628 HAS SOPS 109408 HAS SOUS 31395 HAS SOUPS 31175 WITH SCORE 31284.628
AT ITER 2292 NEW BEST:: SOT 367800 SOS 109614 HAS SOPS 109394 HAS SOUS 31381 HAS SOUPS 31161 WITH SCORE 31270.614
AT ITER 2307 NEW BEST:: SOT 367789 SOS 109603 HAS SOPS 109383 HAS SOUS 31379 HAS SOUPS 31159 WITH SCORE 31268.603
AT ITER 2324 NEW BEST:: SOT 367744 SOS 109558 HAS SOPS 109338 HAS SOUS 31329 HAS SOUPS 31109 WITH SCORE 31218.558
AT ITER 2350 NEW BEST:: SOT 367730 SOS 109529 HAS SOPS 109309 HAS SOUS 31312 HAS SOUPS 31092 WITH SCORE 31201.529
AT ITER 2352 NEW BEST:: SOT 367727 SOS 109529 HAS SOPS 109309 HAS SOUS 31306 HAS SOUPS 31086 WITH SCORE 31195.529
AT ITER 2355 NEW BEST:: SOT 367727 SOS 109529 HAS SOPS 109295 HAS SOUS 31306 HAS SOUPS 31072 WITH SCORE 31181.529
AT ITER 2371 NEW BEST:: SOT 367676 SOS 109478 HAS SOPS 109244 HAS SOUS 31286 HAS SOUPS 31052 WITH SCORE 31161.478
AT ITER 2381 NEW BEST:: SOT 367637 SOS 109329 HAS SOPS 109095 HAS SOUS 31257 HAS SOUPS 31023 WITH SCORE 31132.329
AT ITER 2418 NEW BEST:: SOT 367657 SOS 109279 HAS SOPS 109045 HAS SOUS 31108 HAS SOUPS 30874 WITH SCORE 30983.279
AT ITER 2419 NEW BEST:: SOT 367657 SOS 109279 HAS SOPS 109045 HAS SOUS 31095 HAS SOUPS 30861 WITH SCORE 30970.279
AT ITER 2443 NEW BEST:: SOT 367657 SOS 109279 HAS SOPS 109045 HAS SOUS 31067 HAS SOUPS 30833 WITH SCORE 30942.279
AT ITER 2451 NEW BEST:: SOT 367657 SOS 109279 HAS SOPS 109045 HAS SOUS 31065 HAS SOUPS 30831 WITH SCORE 30940.279
AT ITER 2460 NEW BEST:: SOT 367643 SOS 109265 HAS SOPS 109031 HAS SOUS 31061 HAS SOUPS 30827 WITH SCORE 30936.265
AT ITER 2484 NEW BEST:: SOT 367639 SOS 109202 HAS SOPS 108968 HAS SOUS 31053 HAS SOUPS 30819 WITH SCORE 30928.202
AT ITER 2512 NEW BEST:: SOT 367556 SOS 109143 HAS SOPS 108909 HAS SOUS 31010 HAS SOUPS 30776 WITH SCORE 30885.143
AT ITER 2560 NEW BEST:: SOT 366475 SOS 108068 HAS SOPS 107834 HAS SOUS 29974 HAS SOUPS 29740 WITH SCORE 29848.068
AT ITER 2582 NEW BEST:: SOT 366475 SOS 108068 HAS SOPS 107834 HAS SOUS 29961 HAS SOUPS 29727 WITH SCORE 29835.068
AT ITER 2587 NEW BEST:: SOT 366423 SOS 107990 HAS SOPS 107756 HAS SOUS 29906 HAS SOUPS 29672 WITH SCORE 29779.99
AT ITER 2605 NEW BEST:: SOT 366422 SOS 107988 HAS SOPS 107754 HAS SOUS 29904 HAS SOUPS 29670 WITH SCORE 29777.988
AT ITER 2611 NEW BEST:: SOT 366420 SOS 107987 HAS SOPS 107753 HAS SOUS 29902 HAS SOUPS 29668 WITH SCORE 29775.987
AT ITER 2620 NEW BEST:: SOT 366400 SOS 107967 HAS SOPS 107733 HAS SOUS 29882 HAS SOUPS 29648 WITH SCORE 29755.967
AT ITER 2644 NEW BEST:: SOT 366332 SOS 107899 HAS SOPS 107665 HAS SOUS 29833 HAS SOUPS 29599 WITH SCORE 29706.899
AT ITER 2690 NEW BEST:: SOT 366326 SOS 107893 HAS SOPS 107659 HAS SOUS 29827 HAS SOUPS 29593 WITH SCORE 29700.893
AT ITER 2703 NEW BEST:: SOT 366312 SOS 107844 HAS SOPS 107610 HAS SOUS 29799 HAS SOUPS 29565 WITH SCORE 29672.844
AT ITER 2732 NEW BEST:: SOT 365997 SOS 107538 HAS SOPS 107304 HAS SOUS 29538 HAS SOUPS 29304 WITH SCORE 29411.538
AT ITER 2738 NEW BEST:: SOT 365984 SOS 107525 HAS SOPS 107291 HAS SOUS 29518 HAS SOUPS 29284 WITH SCORE 29391.525
AT ITER 2754 NEW BEST:: SOT 365980 SOS 107480 HAS SOPS 107246 HAS SOUS 29514 HAS SOUPS 29280 WITH SCORE 29387.48
AT ITER 2755 NEW BEST:: SOT 365965 SOS 107470 HAS SOPS 107236 HAS SOUS 29493 HAS SOUPS 29259 WITH SCORE 29366.47
AT ITER 2762 NEW BEST:: SOT 365918 SOS 107445 HAS SOPS 107211 HAS SOUS 29468 HAS SOUPS 29234 WITH SCORE 29341.445
AT ITER 2772 NEW BEST:: SOT 365862 SOS 107349 HAS SOPS 107115 HAS SOUS 29422 HAS SOUPS 29188 WITH SCORE 29295.349
AT ITER 2797 NEW BEST:: SOT 365856 SOS 107313 HAS SOPS 107079 HAS SOUS 29410 HAS SOUPS 29176 WITH SCORE 29283.313
AT ITER 2818 NEW BEST:: SOT 365741 SOS 106671 HAS SOPS 106589 HAS SOUS 29200 HAS SOUPS 29118 WITH SCORE 29224.671
AT ITER 2832 NEW BEST:: SOT 365745 SOS 106675 HAS SOPS 106593 HAS SOUS 29196 HAS SOUPS 29114 WITH SCORE 29220.675
AT ITER 2859 NEW BEST:: SOT 365725 SOS 106665 HAS SOPS 106573 HAS SOUS 29193 HAS SOUPS 29101 WITH SCORE 29207.665
AT ITER 2865 NEW BEST:: SOT 365714 SOS 106754 HAS SOPS 106662 HAS SOUS 29191 HAS SOUPS 29099 WITH SCORE 29205.754
AT ITER 2871 NEW BEST:: SOT 365709 SOS 106755 HAS SOPS 106655 HAS SOUS 29170 HAS SOUPS 29070 WITH SCORE 29176.755
AT ITER 2903 NEW BEST:: SOT 365706 SOS 106752 HAS SOPS 106652 HAS SOUS 29164 HAS SOUPS 29064 WITH SCORE 29170.752
AT ITER 2932 NEW BEST:: SOT 365703 SOS 106749 HAS SOPS 106649 HAS SOUS 29160 HAS SOUPS 29060 WITH SCORE 29166.749
AT ITER 2941 NEW BEST:: SOT 365703 SOS 106749 HAS SOPS 106649 HAS SOUS 29158 HAS SOUPS 29058 WITH SCORE 29164.749
AT ITER 2954 NEW BEST:: SOT 365665 SOS 106711 HAS SOPS 106611 HAS SOUS 29101 HAS SOUPS 29001 WITH SCORE 29107.711
AT ITER 2974 NEW BEST:: SOT 365661 SOS 106872 HAS SOPS 106772 HAS SOUS 29093 HAS SOUPS 28993 WITH SCORE 29099.872
AT ITER 2976 NEW BEST:: SOT 365623 SOS 106739 HAS SOPS 106639 HAS SOUS 29017 HAS SOUPS 28917 WITH SCORE 29023.739
AT ITER 2978 NEW BEST:: SOT 365517 SOS 106578 HAS SOPS 106478 HAS SOUS 28919 HAS SOUPS 28819 WITH SCORE 28925.578
AT ITER 2985 NEW BEST:: SOT 365515 SOS 106573 HAS SOPS 106473 HAS SOUS 28916 HAS SOUPS 28816 WITH SCORE 28922.573
AT ITER 3008 NEW BEST:: SOT 365513 SOS 106569 HAS SOPS 106469 HAS SOUS 28912 HAS SOUPS 28812 WITH SCORE 28918.569
AT ITER 3026 NEW BEST:: SOT 365513 SOS 106618 HAS SOPS 106518 HAS SOUS 28901 HAS SOUPS 28801 WITH SCORE 28907.618
AT ITER 3034 NEW BEST:: SOT 365512 SOS 106616 HAS SOPS 106516 HAS SOUS 28899 HAS SOUPS 28799 WITH SCORE 28905.616
AT ITER 3044 NEW BEST:: SOT 365475 SOS 106394 HAS SOPS 106294 HAS SOUS 28825 HAS SOUPS 28725 WITH SCORE 28831.394
AT ITER 3045 NEW BEST:: SOT 365475 SOS 106394 HAS SOPS 106294 HAS SOUS 28823 HAS SOUPS 28723 WITH SCORE 28829.394
AT ITER 3081 NEW BEST:: SOT 365358 SOS 106207 HAS SOPS 106107 HAS SOUS 28719 HAS SOUPS 28619 WITH SCORE 28725.207
AT ITER 3113 NEW BEST:: SOT 365365 SOS 106227 HAS SOPS 106127 HAS SOUS 28713 HAS SOUPS 28613 WITH SCORE 28719.227
AT ITER 3126 NEW BEST:: SOT 365353 SOS 106111 HAS SOPS 106011 HAS SOUS 28689 HAS SOUPS 28589 WITH SCORE 28695.111
AT ITER 3173 NEW BEST:: SOT 365268 SOS 106029 HAS SOPS 105929 HAS SOUS 28622 HAS SOUPS 28522 WITH SCORE 28628.029
AT ITER 3208 NEW BEST:: SOT 365355 SOS 106515 HAS SOPS 106301 HAS SOUS 28692 HAS SOUPS 28478 WITH SCORE 28584.515
AT ITER 3231 NEW BEST:: SOT 365315 SOS 106006 HAS SOPS 105842 HAS SOUS 28604 HAS SOUPS 28440 WITH SCORE 28546.006
AT ITER 3239 NEW BEST:: SOT 365302 SOS 106053 HAS SOPS 105889 HAS SOUS 28590 HAS SOUPS 28426 WITH SCORE 28532.053
AT ITER 3258 NEW BEST:: SOT 365316 SOS 106067 HAS SOPS 105903 HAS SOUS 28559 HAS SOUPS 28395 WITH SCORE 28501.067
AT ITER 3280 NEW BEST:: SOT 365384 SOS 106018 HAS SOPS 105854 HAS SOUS 28483 HAS SOUPS 28319 WITH SCORE 28425.018
AT ITER 3302 NEW BEST:: SOT 365374 SOS 106008 HAS SOPS 105844 HAS SOUS 28458 HAS SOUPS 28294 WITH SCORE 28400.008
AT ITER 3334 NEW BEST:: SOT 365338 SOS 105946 HAS SOPS 105782 HAS SOUS 28437 HAS SOUPS 28273 WITH SCORE 28378.946
AT ITER 3337 NEW BEST:: SOT 365393 SOS 105946 HAS SOPS 105727 HAS SOUS 28437 HAS SOUPS 28218 WITH SCORE 28323.946
AT ITER 3340 NEW BEST:: SOT 365387 SOS 105922 HAS SOPS 105703 HAS SOUS 28413 HAS SOUPS 28194 WITH SCORE 28299.922
AT ITER 3375 NEW BEST:: SOT 365400 SOS 105935 HAS SOPS 105716 HAS SOUS 28405 HAS SOUPS 28186 WITH SCORE 28291.935
AT ITER 3401 NEW BEST:: SOT 365421 SOS 105956 HAS SOPS 105737 HAS SOUS 28403 HAS SOUPS 28184 WITH SCORE 28289.956
AT ITER 3451 NEW BEST:: SOT 365328 SOS 105863 HAS SOPS 105644 HAS SOUS 28353 HAS SOUPS 28134 WITH SCORE 28239.863
AT ITER 3461 NEW BEST:: SOT 365313 SOS 105848 HAS SOPS 105629 HAS SOUS 28323 HAS SOUPS 28104 WITH SCORE 28209.848
AT ITER 3483 NEW BEST:: SOT 365313 SOS 105879 HAS SOPS 105639 HAS SOUS 28313 HAS SOUPS 28073 WITH SCORE 28178.879
AT ITER 3528 NEW BEST:: SOT 365312 SOS 105878 HAS SOPS 105638 HAS SOUS 28311 HAS SOUPS 28071 WITH SCORE 28176.878
AT ITER 3551 NEW BEST:: SOT 365170 SOS 105718 HAS SOPS 105478 HAS SOUS 28141 HAS SOUPS 27901 WITH SCORE 28006.718
AT ITER 3552 NEW BEST:: SOT 365170 SOS 105664 HAS SOPS 105424 HAS SOUS 28141 HAS SOUPS 27901 WITH SCORE 28006.664
AT ITER 3574 NEW BEST:: SOT 365125 SOS 105699 HAS SOPS 105459 HAS SOUS 28121 HAS SOUPS 27881 WITH SCORE 27986.699
AT ITER 3608 NEW BEST:: SOT 365125 SOS 105701 HAS SOPS 105459 HAS SOUS 28119 HAS SOUPS 27877 WITH SCORE 27982.701
AT ITER 3633 NEW BEST:: SOT 365102 SOS 105632 HAS SOPS 105390 HAS SOUS 28050 HAS SOUPS 27808 WITH SCORE 27913.632
AT ITER 3674 NEW BEST:: SOT 365083 SOS 105613 HAS SOPS 105371 HAS SOUS 28028 HAS SOUPS 27786 WITH SCORE 27891.613
AT ITER 3678 NEW BEST:: SOT 365083 SOS 105553 HAS SOPS 105311 HAS SOUS 28016 HAS SOUPS 27774 WITH SCORE 27879.553
AT ITER 3707 NEW BEST:: SOT 365090 SOS 105547 HAS SOPS 105305 HAS SOUS 28012 HAS SOUPS 27770 WITH SCORE 27875.547
AT ITER 3751 NEW BEST:: SOT 365075 SOS 105439 HAS SOPS 105197 HAS SOUS 27982 HAS SOUPS 27740 WITH SCORE 27845.439
AT ITER 3777 NEW BEST:: SOT 365094 SOS 105538 HAS SOPS 105296 HAS SOUS 27980 HAS SOUPS 27738 WITH SCORE 27843.538
AT ITER 3787 NEW BEST:: SOT 365094 SOS 105518 HAS SOPS 105276 HAS SOUS 27976 HAS SOUPS 27734 WITH SCORE 27839.518
AT ITER 3794 NEW BEST:: SOT 365080 SOS 105476 HAS SOPS 105234 HAS SOUS 27955 HAS SOUPS 27713 WITH SCORE 27818.476
AT ITER 3812 NEW BEST:: SOT 365071 SOS 105484 HAS SOPS 105242 HAS SOUS 27933 HAS SOUPS 27691 WITH SCORE 27796.484
AT ITER 3857 NEW BEST:: SOT 365059 SOS 105472 HAS SOPS 105230 HAS SOUS 27909 HAS SOUPS 27667 WITH SCORE 27772.472
AT ITER 3868 NEW BEST:: SOT 365047 SOS 105479 HAS SOPS 105237 HAS SOUS 27897 HAS SOUPS 27655 WITH SCORE 27760.479
AT ITER 3921 NEW BEST:: SOT 365043 SOS 105475 HAS SOPS 105233 HAS SOUS 27893 HAS SOUPS 27651 WITH SCORE 27756.475
AT ITER 3948 NEW BEST:: SOT 364739 SOS 105185 HAS SOPS 104943 HAS SOUS 27641 HAS SOUPS 27399 WITH SCORE 27504.185
AT ITER 3989 NEW BEST:: SOT 364788 SOS 105234 HAS SOPS 104992 HAS SOUS 27549 HAS SOUPS 27307 WITH SCORE 27412.234
AT ITER 3996 NEW BEST:: SOT 364783 SOS 105439 HAS SOPS 105197 HAS SOUS 27539 HAS SOUPS 27297 WITH SCORE 27402.439
AT ITER 4077 NEW BEST:: SOT 364770 SOS 105446 HAS SOPS 105204 HAS SOUS 27517 HAS SOUPS 27275 WITH SCORE 27380.446
AT ITER 4119 NEW BEST:: SOT 364768 SOS 105439 HAS SOPS 105197 HAS SOUS 27510 HAS SOUPS 27268 WITH SCORE 27373.439
AT ITER 4125 NEW BEST:: SOT 364767 SOS 105458 HAS SOPS 105216 HAS SOUS 27502 HAS SOUPS 27260 WITH SCORE 27365.458
AT ITER 4132 NEW BEST:: SOT 364740 SOS 105404 HAS SOPS 105162 HAS SOUS 27448 HAS SOUPS 27206 WITH SCORE 27311.404
AT ITER 4178 NEW BEST:: SOT 364737 SOS 105402 HAS SOPS 105160 HAS SOUS 27446 HAS SOUPS 27204 WITH SCORE 27309.402
AT ITER 4179 NEW BEST:: SOT 364706 SOS 105147 HAS SOPS 104905 HAS SOUS 27395 HAS SOUPS 27153 WITH SCORE 27258.147
AT ITER 4184 NEW BEST:: SOT 364684 SOS 104989 HAS SOPS 104747 HAS SOUS 27381 HAS SOUPS 27139 WITH SCORE 27243.989
AT ITER 4194 NEW BEST:: SOT 364684 SOS 104968 HAS SOPS 104726 HAS SOUS 27356 HAS SOUPS 27114 WITH SCORE 27218.968
AT ITER 4206 NEW BEST:: SOT 364684 SOS 104884 HAS SOPS 104642 HAS SOUS 27356 HAS SOUPS 27114 WITH SCORE 27218.884
AT ITER 4224 NEW BEST:: SOT 364684 SOS 104654 HAS SOPS 104412 HAS SOUS 27356 HAS SOUPS 27114 WITH SCORE 27218.654
AT ITER 4267 NEW BEST:: SOT 364661 SOS 104631 HAS SOPS 104389 HAS SOUS 27340 HAS SOUPS 27098 WITH SCORE 27202.631
AT ITER 4280 NEW BEST:: SOT 364642 SOS 104583 HAS SOPS 104341 HAS SOUS 27302 HAS SOUPS 27060 WITH SCORE 27164.583
AT ITER 4306 NEW BEST:: SOT 364591 SOS 104539 HAS SOPS 104297 HAS SOUS 27258 HAS SOUPS 27016 WITH SCORE 27120.539
AT ITER 4309 NEW BEST:: SOT 364587 SOS 104860 HAS SOPS 104618 HAS SOUS 27244 HAS SOUPS 27002 WITH SCORE 27106.86
AT ITER 4311 NEW BEST:: SOT 364575 SOS 104848 HAS SOPS 104606 HAS SOUS 27220 HAS SOUPS 26978 WITH SCORE 27082.848
AT ITER 4322 NEW BEST:: SOT 364581 SOS 104844 HAS SOPS 104602 HAS SOUS 27212 HAS SOUPS 26970 WITH SCORE 27074.844
AT ITER 4331 NEW BEST:: SOT 364580 SOS 104843 HAS SOPS 104601 HAS SOUS 27210 HAS SOUPS 26968 WITH SCORE 27072.843
AT ITER 4337 NEW BEST:: SOT 364580 SOS 104719 HAS SOPS 104477 HAS SOUS 27210 HAS SOUPS 26968 WITH SCORE 27072.719
AT ITER 4354 NEW BEST:: SOT 364565 SOS 104698 HAS SOPS 104456 HAS SOUS 27192 HAS SOUPS 26950 WITH SCORE 27054.698
AT ITER 4406 NEW BEST:: SOT 364572 SOS 104817 HAS SOPS 104575 HAS SOUS 27191 HAS SOUPS 26949 WITH SCORE 27053.817
AT ITER 4420 NEW BEST:: SOT 364572 SOS 104817 HAS SOPS 104575 HAS SOUS 27190 HAS SOUPS 26948 WITH SCORE 27052.817
AT ITER 4434 NEW BEST:: SOT 364547 SOS 104792 HAS SOPS 104550 HAS SOUS 27127 HAS SOUPS 26885 WITH SCORE 26989.792
AT ITER 4435 NEW BEST:: SOT 364542 SOS 104777 HAS SOPS 104535 HAS SOUS 27117 HAS SOUPS 26875 WITH SCORE 26979.777
AT ITER 4497 NEW BEST:: SOT 364531 SOS 104659 HAS SOPS 104417 HAS SOUS 27095 HAS SOUPS 26853 WITH SCORE 26957.659
AT ITER 4503 NEW BEST:: SOT 364557 SOS 104555 HAS SOPS 104313 HAS SOUS 27095 HAS SOUPS 26853 WITH SCORE 26957.555
AT ITER 4524 NEW BEST:: SOT 364559 SOS 104550 HAS SOPS 104308 HAS SOUS 27085 HAS SOUPS 26843 WITH SCORE 26947.55
AT ITER 4549 NEW BEST:: SOT 364536 SOS 104529 HAS SOPS 104287 HAS SOUS 27064 HAS SOUPS 26822 WITH SCORE 26926.529
AT ITER 4558 NEW BEST:: SOT 364536 SOS 104529 HAS SOPS 104287 HAS SOUS 27062 HAS SOUPS 26820 WITH SCORE 26924.529
AT ITER 4599 NEW BEST:: SOT 364531 SOS 104499 HAS SOPS 104257 HAS SOUS 27062 HAS SOUPS 26820 WITH SCORE 26924.499
AT ITER 4612 NEW BEST:: SOT 364473 SOS 104479 HAS SOPS 104237 HAS SOUS 27036 HAS SOUPS 26794 WITH SCORE 26898.479
AT ITER 4651 NEW BEST:: SOT 364453 SOS 104459 HAS SOPS 104217 HAS SOUS 27016 HAS SOUPS 26774 WITH SCORE 26878.459
AT ITER 4664 NEW BEST:: SOT 364396 SOS 104382 HAS SOPS 104140 HAS SOUS 26955 HAS SOUPS 26713 WITH SCORE 26817.382
AT ITER 4669 NEW BEST:: SOT 363367 SOS 103359 HAS SOPS 103111 HAS SOUS 26799 HAS SOUPS 26551 WITH SCORE 26654.359
AT ITER 4755 NEW BEST:: SOT 363332 SOS 103324 HAS SOPS 103076 HAS SOUS 26791 HAS SOUPS 26543 WITH SCORE 26646.324
AT ITER 4756 NEW BEST:: SOT 363330 SOS 103320 HAS SOPS 103072 HAS SOUS 26787 HAS SOUPS 26539 WITH SCORE 26642.32
AT ITER 4804 NEW BEST:: SOT 363330 SOS 103175 HAS SOPS 102927 HAS SOUS 26758 HAS SOUPS 26510 WITH SCORE 26613.175
AT ITER 4842 NEW BEST:: SOT 363317 SOS 103219 HAS SOPS 102971 HAS SOUS 26746 HAS SOUPS 26498 WITH SCORE 26601.219
AT ITER 4857 NEW BEST:: SOT 363265 SOS 103042 HAS SOPS 102794 HAS SOUS 26669 HAS SOUPS 26421 WITH SCORE 26524.042
AT ITER 4874 NEW BEST:: SOT 363268 SOS 103205 HAS SOPS 102957 HAS SOUS 26649 HAS SOUPS 26401 WITH SCORE 26504.205
AT ITER 4940 NEW BEST:: SOT 363274 SOS 103211 HAS SOPS 102963 HAS SOUS 26605 HAS SOUPS 26357 WITH SCORE 26460.211
AT ITER 4944 NEW BEST:: SOT 363273 SOS 103210 HAS SOPS 102962 HAS SOUS 26604 HAS SOUPS 26356 WITH SCORE 26459.21
AT ITER 4951 NEW BEST:: SOT 363273 SOS 103205 HAS SOPS 102957 HAS SOUS 26603 HAS SOUPS 26355 WITH SCORE 26458.205
AT ITER 4970 NEW BEST:: SOT 363256 SOS 103188 HAS SOPS 102940 HAS SOUS 26563 HAS SOUPS 26315 WITH SCORE 26418.188
AT ITER 4986 NEW BEST:: SOT 363256 SOS 103188 HAS SOPS 102940 HAS SOUS 26561 HAS SOUPS 26313 WITH SCORE 26416.188
AT ITER 5001 NEW BEST:: SOT 363256 SOS 103073 HAS SOPS 102825 HAS SOUS 26561 HAS SOUPS 26313 WITH SCORE 26416.073
AT ITER 5013 NEW BEST:: SOT 363253 SOS 103049 HAS SOPS 102801 HAS SOUS 26555 HAS SOUPS 26307 WITH SCORE 26410.049
AT ITER 5075 NEW BEST:: SOT 363240 SOS 103091 HAS SOPS 102843 HAS SOUS 26553 HAS SOUPS 26305 WITH SCORE 26408.091
AT ITER 5080 NEW BEST:: SOT 363185 SOS 102981 HAS SOPS 102733 HAS SOUS 26553 HAS SOUPS 26305 WITH SCORE 26407.981
AT ITER 5122 NEW BEST:: SOT 363167 SOS 102963 HAS SOPS 102715 HAS SOUS 26517 HAS SOUPS 26269 WITH SCORE 26371.963
AT ITER 5129 NEW BEST:: SOT 363154 SOS 102940 HAS SOPS 102692 HAS SOUS 26502 HAS SOUPS 26254 WITH SCORE 26356.94
AT ITER 5139 NEW BEST:: SOT 363152 SOS 102937 HAS SOPS 102689 HAS SOUS 26499 HAS SOUPS 26251 WITH SCORE 26353.937
AT ITER 5220 NEW BEST:: SOT 363143 SOS 102934 HAS SOPS 102686 HAS SOUS 26476 HAS SOUPS 26228 WITH SCORE 26330.934
AT ITER 5336 NEW BEST:: SOT 363152 SOS 102890 HAS SOPS 102642 HAS SOUS 26471 HAS SOUPS 26223 WITH SCORE 26325.89
AT ITER 5366 NEW BEST:: SOT 363134 SOS 102872 HAS SOPS 102624 HAS SOUS 26429 HAS SOUPS 26181 WITH SCORE 26283.872
AT ITER 5385 NEW BEST:: SOT 363186 SOS 103093 HAS SOPS 102845 HAS SOUS 26419 HAS SOUPS 26171 WITH SCORE 26274.093
AT ITER 5410 NEW BEST:: SOT 363176 SOS 103083 HAS SOPS 102835 HAS SOUS 26399 HAS SOUPS 26151 WITH SCORE 26254.083
AT ITER 5445 NEW BEST:: SOT 363176 SOS 103022 HAS SOPS 102774 HAS SOUS 26379 HAS SOUPS 26131 WITH SCORE 26234.022
AT ITER 5502 NEW BEST:: SOT 363167 SOS 103013 HAS SOPS 102765 HAS SOUS 26372 HAS SOUPS 26124 WITH SCORE 26227.013
AT ITER 5511 NEW BEST:: SOT 363165 SOS 103011 HAS SOPS 102763 HAS SOUS 26370 HAS SOUPS 26122 WITH SCORE 26225.011
AT ITER 5543 NEW BEST:: SOT 363148 SOS 102994 HAS SOPS 102746 HAS SOUS 26320 HAS SOUPS 26072 WITH SCORE 26174.994
AT ITER 5544 NEW BEST:: SOT 363140 SOS 103010 HAS SOPS 102762 HAS SOUS 26304 HAS SOUPS 26056 WITH SCORE 26159.01
AT ITER 5616 NEW BEST:: SOT 363136 SOS 103004 HAS SOPS 102756 HAS SOUS 26298 HAS SOUPS 26050 WITH SCORE 26153.004
AT ITER 5654 NEW BEST:: SOT 363141 SOS 102972 HAS SOPS 102724 HAS SOUS 26235 HAS SOUPS 25987 WITH SCORE 26089.972
AT ITER 5679 NEW BEST:: SOT 363141 SOS 102872 HAS SOPS 102624 HAS SOUS 26227 HAS SOUPS 25979 WITH SCORE 26081.872
AT ITER 5707 NEW BEST:: SOT 363141 SOS 102810 HAS SOPS 102562 HAS SOUS 26227 HAS SOUPS 25979 WITH SCORE 26081.81
AT ITER 5711 NEW BEST:: SOT 363141 SOS 102810 HAS SOPS 102562 HAS SOUS 26226 HAS SOUPS 25978 WITH SCORE 26080.81
AT ITER 5716 NEW BEST:: SOT 363128 SOS 102797 HAS SOPS 102549 HAS SOUS 26197 HAS SOUPS 25949 WITH SCORE 26051.797
AT ITER 5741 NEW BEST:: SOT 363128 SOS 102797 HAS SOPS 102549 HAS SOUS 26195 HAS SOUPS 25947 WITH SCORE 26049.797
AT ITER 5744 NEW BEST:: SOT 363128 SOS 102681 HAS SOPS 102433 HAS SOUS 26195 HAS SOUPS 25947 WITH SCORE 26049.681
AT ITER 5797 NEW BEST:: SOT 363124 SOS 102680 HAS SOPS 102432 HAS SOUS 26193 HAS SOUPS 25945 WITH SCORE 26047.68
AT ITER 5817 NEW BEST:: SOT 363114 SOS 102675 HAS SOPS 102427 HAS SOUS 26183 HAS SOUPS 25935 WITH SCORE 26037.675
AT ITER 5902 NEW BEST:: SOT 363121 SOS 102682 HAS SOPS 102434 HAS SOUS 26161 HAS SOUPS 25913 WITH SCORE 26015.682
AT ITER 5913 NEW BEST:: SOT 363119 SOS 102670 HAS SOPS 102422 HAS SOUS 26157 HAS SOUPS 25909 WITH SCORE 26011.67
AT ITER 6030 NEW BEST:: SOT 363118 SOS 102668 HAS SOPS 102420 HAS SOUS 26155 HAS SOUPS 25907 WITH SCORE 26009.668
AT ITER 6040 NEW BEST:: SOT 363118 SOS 102640 HAS SOPS 102392 HAS SOUS 26155 HAS SOUPS 25907 WITH SCORE 26009.64
AT ITER 6090 NEW BEST:: SOT 363043 SOS 102225 HAS SOPS 101977 HAS SOUS 26141 HAS SOUPS 25893 WITH SCORE 25995.225
AT ITER 6092 NEW BEST:: SOT 363025 SOS 102207 HAS SOPS 101959 HAS SOUS 26121 HAS SOUPS 25873 WITH SCORE 25975.207
AT ITER 6101 NEW BEST:: SOT 363035 SOS 102195 HAS SOPS 101947 HAS SOUS 26115 HAS SOUPS 25867 WITH SCORE 25969.195
AT ITER 6110 NEW BEST:: SOT 363023 SOS 101966 HAS SOPS 101718 HAS SOUS 26050 HAS SOUPS 25802 WITH SCORE 25903.966
AT ITER 6119 NEW BEST:: SOT 362990 SOS 101946 HAS SOPS 101698 HAS SOUS 26010 HAS SOUPS 25762 WITH SCORE 25863.946
AT ITER 6122 NEW BEST:: SOT 362985 SOS 101941 HAS SOPS 101693 HAS SOUS 25990 HAS SOUPS 25742 WITH SCORE 25843.941
AT ITER 6123 NEW BEST:: SOT 362985 SOS 101981 HAS SOPS 101733 HAS SOUS 25985 HAS SOUPS 25737 WITH SCORE 25838.981
AT ITER 6154 NEW BEST:: SOT 362967 SOS 101963 HAS SOPS 101715 HAS SOUS 25952 HAS SOUPS 25704 WITH SCORE 25805.963
AT ITER 6162 NEW BEST:: SOT 362945 SOS 101941 HAS SOPS 101693 HAS SOUS 25924 HAS SOUPS 25676 WITH SCORE 25777.941
AT ITER 6186 NEW BEST:: SOT 362935 SOS 101931 HAS SOPS 101683 HAS SOUS 25904 HAS SOUPS 25656 WITH SCORE 25757.931
AT ITER 6199 NEW BEST:: SOT 362931 SOS 101927 HAS SOPS 101679 HAS SOUS 25896 HAS SOUPS 25648 WITH SCORE 25749.927
AT ITER 6204 NEW BEST:: SOT 362931 SOS 101927 HAS SOPS 101679 HAS SOUS 25894 HAS SOUPS 25646 WITH SCORE 25747.927
AT ITER 6219 NEW BEST:: SOT 362929 SOS 101925 HAS SOPS 101677 HAS SOUS 25890 HAS SOUPS 25642 WITH SCORE 25743.925
AT ITER 6258 NEW BEST:: SOT 362926 SOS 101922 HAS SOPS 101674 HAS SOUS 25884 HAS SOUPS 25636 WITH SCORE 25737.922
AT ITER 6315 NEW BEST:: SOT 362914 SOS 102221 HAS SOPS 101973 HAS SOUS 25855 HAS SOUPS 25607 WITH SCORE 25709.221
AT ITER 6377 NEW BEST:: SOT 362842 SOS 102164 HAS SOPS 101901 HAS SOUS 25865 HAS SOUPS 25602 WITH SCORE 25704.164
AT ITER 6411 NEW BEST:: SOT 362850 SOS 102132 HAS SOPS 101869 HAS SOUS 25865 HAS SOUPS 25602 WITH SCORE 25704.132
AT ITER 6459 NEW BEST:: SOT 362834 SOS 102100 HAS SOPS 101837 HAS SOUS 25833 HAS SOUPS 25570 WITH SCORE 25672.1
AT ITER 6488 NEW BEST:: SOT 362814 SOS 102650 HAS SOPS 102387 HAS SOUS 25808 HAS SOUPS 25545 WITH SCORE 25647.65
AT ITER 6497 NEW BEST:: SOT 362812 SOS 102648 HAS SOPS 102385 HAS SOUS 25807 HAS SOUPS 25544 WITH SCORE 25646.648
AT ITER 6502 NEW BEST:: SOT 362825 SOS 102647 HAS SOPS 102384 HAS SOUS 25805 HAS SOUPS 25542 WITH SCORE 25644.647
AT ITER 6515 NEW BEST:: SOT 362822 SOS 102645 HAS SOPS 102382 HAS SOUS 25801 HAS SOUPS 25538 WITH SCORE 25640.645
AT ITER 6541 NEW BEST:: SOT 362817 SOS 102627 HAS SOPS 102364 HAS SOUS 25791 HAS SOUPS 25528 WITH SCORE 25630.627
AT ITER 6582 NEW BEST:: SOT 362811 SOS 102618 HAS SOPS 102355 HAS SOUS 25785 HAS SOUPS 25522 WITH SCORE 25624.618
AT ITER 6657 NEW BEST:: SOT 362811 SOS 102618 HAS SOPS 102355 HAS SOUS 25784 HAS SOUPS 25521 WITH SCORE 25623.618
AT ITER 6667 NEW BEST:: SOT 362811 SOS 102678 HAS SOPS 102415 HAS SOUS 25780 HAS SOUPS 25517 WITH SCORE 25619.678
AT ITER 6681 NEW BEST:: SOT 362715 SOS 102582 HAS SOPS 102319 HAS SOUS 25684 HAS SOUPS 25421 WITH SCORE 25523.582
AT ITER 6731 NEW BEST:: SOT 362697 SOS 102376 HAS SOPS 102113 HAS SOUS 25651 HAS SOUPS 25388 WITH SCORE 25490.376
AT ITER 6751 NEW BEST:: SOT 362688 SOS 102552 HAS SOPS 102289 HAS SOUS 25640 HAS SOUPS 25377 WITH SCORE 25479.552
AT ITER 6754 NEW BEST:: SOT 362688 SOS 102552 HAS SOPS 102289 HAS SOUS 25630 HAS SOUPS 25367 WITH SCORE 25469.552
AT ITER 6811 NEW BEST:: SOT 362691 SOS 102540 HAS SOPS 102277 HAS SOUS 25630 HAS SOUPS 25367 WITH SCORE 25469.54
AT ITER 6824 NEW BEST:: SOT 362511 SOS 102370 HAS SOPS 102107 HAS SOUS 25538 HAS SOUPS 25275 WITH SCORE 25377.37
AT ITER 6848 NEW BEST:: SOT 362514 SOS 102288 HAS SOPS 102025 HAS SOUS 25537 HAS SOUPS 25274 WITH SCORE 25376.288
AT ITER 6865 NEW BEST:: SOT 362526 SOS 102240 HAS SOPS 101977 HAS SOUS 25537 HAS SOUPS 25274 WITH SCORE 25376.24
AT ITER 6898 NEW BEST:: SOT 362526 SOS 102236 HAS SOPS 101973 HAS SOUS 25537 HAS SOUPS 25274 WITH SCORE 25376.236
AT ITER 6912 NEW BEST:: SOT 362515 SOS 102145 HAS SOPS 101882 HAS SOUS 25522 HAS SOUPS 25259 WITH SCORE 25361.145
AT ITER 6931 NEW BEST:: SOT 362512 SOS 102143 HAS SOPS 101879 HAS SOUS 25518 HAS SOUPS 25254 WITH SCORE 25356.143
AT ITER 6965 NEW BEST:: SOT 362498 SOS 102129 HAS SOPS 101865 HAS SOUS 25516 HAS SOUPS 25252 WITH SCORE 25354.129
AT ITER 7064 NEW BEST:: SOT 362479 SOS 102062 HAS SOPS 101798 HAS SOUS 25514 HAS SOUPS 25250 WITH SCORE 25352.062
AT ITER 7070 NEW BEST:: SOT 362479 SOS 102062 HAS SOPS 101798 HAS SOUS 25502 HAS SOUPS 25238 WITH SCORE 25340.062
AT ITER 7117 NEW BEST:: SOT 362419 SOS 102002 HAS SOPS 101738 HAS SOUS 25436 HAS SOUPS 25172 WITH SCORE 25274.002
AT ITER 7141 NEW BEST:: SOT 362405 SOS 101988 HAS SOPS 101724 HAS SOUS 25420 HAS SOUPS 25156 WITH SCORE 25257.988
AT ITER 7197 NEW BEST:: SOT 362364 SOS 101947 HAS SOPS 101683 HAS SOUS 25390 HAS SOUPS 25126 WITH SCORE 25227.947
AT ITER 7209 NEW BEST:: SOT 362362 SOS 101935 HAS SOPS 101671 HAS SOUS 25386 HAS SOUPS 25122 WITH SCORE 25223.935
AT ITER 7221 NEW BEST:: SOT 362361 SOS 101935 HAS SOPS 101671 HAS SOUS 25384 HAS SOUPS 25120 WITH SCORE 25221.935
AT ITER 7230 NEW BEST:: SOT 362356 SOS 101930 HAS SOPS 101666 HAS SOUS 25369 HAS SOUPS 25105 WITH SCORE 25206.93
AT ITER 7257 NEW BEST:: SOT 362356 SOS 101930 HAS SOPS 101666 HAS SOUS 25367 HAS SOUPS 25103 WITH SCORE 25204.93
AT ITER 7293 NEW BEST:: SOT 362369 SOS 102008 HAS SOPS 101744 HAS SOUS 25345 HAS SOUPS 25081 WITH SCORE 25183.008
AT ITER 7318 NEW BEST:: SOT 362354 SOS 101978 HAS SOPS 101714 HAS SOUS 25315 HAS SOUPS 25051 WITH SCORE 25152.978
AT ITER 7387 NEW BEST:: SOT 362340 SOS 101964 HAS SOPS 101700 HAS SOUS 25289 HAS SOUPS 25025 WITH SCORE 25126.964
AT ITER 7388 NEW BEST:: SOT 362340 SOS 101959 HAS SOPS 101695 HAS SOUS 25289 HAS SOUPS 25025 WITH SCORE 25126.959
AT ITER 7400 NEW BEST:: SOT 362314 SOS 101933 HAS SOPS 101669 HAS SOUS 25270 HAS SOUPS 25006 WITH SCORE 25107.933
AT ITER 7417 NEW BEST:: SOT 362302 SOS 101921 HAS SOPS 101657 HAS SOUS 25257 HAS SOUPS 24993 WITH SCORE 25094.921
AT ITER 7458 NEW BEST:: SOT 362297 SOS 102011 HAS SOPS 101747 HAS SOUS 25247 HAS SOUPS 24983 WITH SCORE 25085.011
AT ITER 7461 NEW BEST:: SOT 362314 SOS 102053 HAS SOPS 101764 HAS SOUS 25256 HAS SOUPS 24967 WITH SCORE 25069.053
AT ITER 7503 NEW BEST:: SOT 362319 SOS 102058 HAS SOPS 101769 HAS SOUS 25255 HAS SOUPS 24966 WITH SCORE 25068.058
AT ITER 7524 NEW BEST:: SOT 362280 SOS 101923 HAS SOPS 101634 HAS SOUS 25239 HAS SOUPS 24950 WITH SCORE 25051.923
AT ITER 7588 NEW BEST:: SOT 362273 SOS 101916 HAS SOPS 101627 HAS SOUS 25232 HAS SOUPS 24943 WITH SCORE 25044.916
AT ITER 7614 NEW BEST:: SOT 362224 SOS 101627 HAS SOPS 101338 HAS SOUS 25177 HAS SOUPS 24888 WITH SCORE 24989.627
AT ITER 7722 NEW BEST:: SOT 359436 SOS 98850 HAS SOPS 98550 HAS SOUS 24830 HAS SOUPS 24530 WITH SCORE 24628.85
AT ITER 7787 NEW BEST:: SOT 359511 SOS 98925 HAS SOPS 98625 HAS SOUS 24700 HAS SOUPS 24400 WITH SCORE 24498.925
AT ITER 7813 NEW BEST:: SOT 359516 SOS 98921 HAS SOPS 98621 HAS SOUS 24692 HAS SOUPS 24392 WITH SCORE 24490.921
AT ITER 7839 NEW BEST:: SOT 359516 SOS 98921 HAS SOPS 98621 HAS SOUS 24686 HAS SOUPS 24386 WITH SCORE 24484.921
AT ITER 7842 NEW BEST:: SOT 359499 SOS 98904 HAS SOPS 98604 HAS SOUS 24682 HAS SOUPS 24382 WITH SCORE 24480.904
AT ITER 7870 NEW BEST:: SOT 359476 SOS 98881 HAS SOPS 98581 HAS SOUS 24672 HAS SOUPS 24372 WITH SCORE 24470.881
AT ITER 7871 NEW BEST:: SOT 359471 SOS 98843 HAS SOPS 98543 HAS SOUS 24662 HAS SOUPS 24362 WITH SCORE 24460.843
AT ITER 7882 NEW BEST:: SOT 359468 SOS 98865 HAS SOPS 98565 HAS SOUS 24656 HAS SOUPS 24356 WITH SCORE 24454.865
AT ITER 7966 NEW BEST:: SOT 359461 SOS 98858 HAS SOPS 98558 HAS SOUS 24642 HAS SOUPS 24342 WITH SCORE 24440.858
AT ITER 8006 NEW BEST:: SOT 359454 SOS 98866 HAS SOPS 98566 HAS SOUS 24632 HAS SOUPS 24332 WITH SCORE 24430.866
AT ITER 8213 NEW BEST:: SOT 359360 SOS 98982 HAS SOPS 98682 HAS SOUS 24580 HAS SOUPS 24280 WITH SCORE 24378.982
AT ITER 8272 NEW BEST:: SOT 359319 SOS 99311 HAS SOPS 99011 HAS SOUS 24513 HAS SOUPS 24213 WITH SCORE 24312.311
AT ITER 8278 NEW BEST:: SOT 359291 SOS 99218 HAS SOPS 98918 HAS SOUS 24510 HAS SOUPS 24210 WITH SCORE 24309.218
AT ITER 8285 NEW BEST:: SOT 359276 SOS 99212 HAS SOPS 98912 HAS SOUS 24480 HAS SOUPS 24180 WITH SCORE 24279.212
AT ITER 8305 NEW BEST:: SOT 359266 SOS 99152 HAS SOPS 98852 HAS SOUS 24470 HAS SOUPS 24170 WITH SCORE 24269.152
AT ITER 8336 NEW BEST:: SOT 359263 SOS 99149 HAS SOPS 98849 HAS SOUS 24464 HAS SOUPS 24164 WITH SCORE 24263.149
AT ITER 8340 NEW BEST:: SOT 359255 SOS 99135 HAS SOPS 98841 HAS SOUS 24450 HAS SOUPS 24156 WITH SCORE 24255.135
AT ITER 8399 NEW BEST:: SOT 359250 SOS 99009 HAS SOPS 98715 HAS SOUS 24440 HAS SOUPS 24146 WITH SCORE 24245.009
AT ITER 8433 NEW BEST:: SOT 359244 SOS 99003 HAS SOPS 98709 HAS SOUS 24410 HAS SOUPS 24116 WITH SCORE 24215.003
AT ITER 8501 NEW BEST:: SOT 359242 SOS 99001 HAS SOPS 98707 HAS SOUS 24407 HAS SOUPS 24113 WITH SCORE 24212.001
AT ITER 8504 NEW BEST:: SOT 359242 SOS 99000 HAS SOPS 98706 HAS SOUS 24407 HAS SOUPS 24113 WITH SCORE 24212.0
AT ITER 8513 NEW BEST:: SOT 359196 SOS 99010 HAS SOPS 98716 HAS SOUS 24380 HAS SOUPS 24086 WITH SCORE 24185.01
AT ITER 8523 NEW BEST:: SOT 359196 SOS 98934 HAS SOPS 98640 HAS SOUS 24380 HAS SOUPS 24086 WITH SCORE 24184.934
AT ITER 8613 NEW BEST:: SOT 358978 SOS 104876 HAS SOPS 104582 HAS SOUS 24266 HAS SOUPS 23972 WITH SCORE 24076.876
AT ITER 8621 NEW BEST:: SOT 358914 SOS 104820 HAS SOPS 104526 HAS SOUS 24222 HAS SOUPS 23928 WITH SCORE 24032.82
AT ITER 8734 NEW BEST:: SOT 358904 SOS 104810 HAS SOPS 104516 HAS SOUS 24202 HAS SOUPS 23908 WITH SCORE 24012.81
AT ITER 8751 NEW BEST:: SOT 358897 SOS 104788 HAS SOPS 104494 HAS SOUS 24188 HAS SOUPS 23894 WITH SCORE 23998.788
AT ITER 8755 NEW BEST:: SOT 358897 SOS 104673 HAS SOPS 104379 HAS SOUS 24188 HAS SOUPS 23894 WITH SCORE 23998.673
AT ITER 8760 NEW BEST:: SOT 358897 SOS 104653 HAS SOPS 104359 HAS SOUS 24188 HAS SOUPS 23894 WITH SCORE 23998.653
AT ITER 8821 NEW BEST:: SOT 358902 SOS 104633 HAS SOPS 104339 HAS SOUS 24188 HAS SOUPS 23894 WITH SCORE 23998.633
AT ITER 8823 NEW BEST:: SOT 358754 SOS 104502 HAS SOPS 104208 HAS SOUS 24179 HAS SOUPS 23885 WITH SCORE 23989.502
AT ITER 8835 NEW BEST:: SOT 358754 SOS 104494 HAS SOPS 104200 HAS SOUS 24104 HAS SOUPS 23810 WITH SCORE 23914.494
AT ITER 8842 NEW BEST:: SOT 357554 SOS 103298 HAS SOPS 103000 HAS SOUS 23972 HAS SOUPS 23674 WITH SCORE 23777.298
AT ITER 8900 NEW BEST:: SOT 357551 SOS 103289 HAS SOPS 102994 HAS SOUS 23966 HAS SOUPS 23671 WITH SCORE 23774.289
AT ITER 9017 NEW BEST:: SOT 357527 SOS 103241 HAS SOPS 102946 HAS SOUS 23918 HAS SOUPS 23623 WITH SCORE 23726.241
AT ITER 9019 NEW BEST:: SOT 357527 SOS 103205 HAS SOPS 102910 HAS SOUS 23918 HAS SOUPS 23623 WITH SCORE 23726.205
AT ITER 9066 NEW BEST:: SOT 357542 SOS 103145 HAS SOPS 102850 HAS SOUS 23918 HAS SOUPS 23623 WITH SCORE 23726.145
AT ITER 9107 NEW BEST:: SOT 357540 SOS 103141 HAS SOPS 102846 HAS SOUS 23914 HAS SOUPS 23619 WITH SCORE 23722.141
AT ITER 9183 NEW BEST:: SOT 357532 SOS 103133 HAS SOPS 102838 HAS SOUS 23912 HAS SOUPS 23617 WITH SCORE 23720.133
AT ITER 9249 NEW BEST:: SOT 357527 SOS 103103 HAS SOPS 102808 HAS SOUS 23902 HAS SOUPS 23607 WITH SCORE 23710.103
AT ITER 9305 NEW BEST:: SOT 357527 SOS 103088 HAS SOPS 102793 HAS SOUS 23902 HAS SOUPS 23607 WITH SCORE 23710.088
AT ITER 9477 NEW BEST:: SOT 357527 SOS 103088 HAS SOPS 102793 HAS SOUS 23899 HAS SOUPS 23604 WITH SCORE 23707.088
AT ITER 9586 NEW BEST:: SOT 357487 SOS 102986 HAS SOPS 102691 HAS SOUS 23897 HAS SOUPS 23602 WITH SCORE 23704.986
AT ITER 9623 NEW BEST:: SOT 357483 SOS 102922 HAS SOPS 102627 HAS SOUS 23893 HAS SOUPS 23598 WITH SCORE 23700.922
AT ITER 9624 NEW BEST:: SOT 357500 SOS 102959 HAS SOPS 102664 HAS SOUS 23887 HAS SOUPS 23592 WITH SCORE 23694.959
AT ITER 9630 NEW BEST:: SOT 357492 SOS 102951 HAS SOPS 102656 HAS SOUS 23866 HAS SOUPS 23571 WITH SCORE 23673.951
AT ITER 9635 NEW BEST:: SOT 357476 SOS 102935 HAS SOPS 102640 HAS SOUS 23834 HAS SOUPS 23539 WITH SCORE 23641.935
AT ITER 9693 NEW BEST:: SOT 357457 SOS 102741 HAS SOPS 102446 HAS SOUS 23825 HAS SOUPS 23530 WITH SCORE 23632.741
AT ITER 9770 NEW BEST:: SOT 357456 SOS 102740 HAS SOPS 102445 HAS SOUS 23823 HAS SOUPS 23528 WITH SCORE 23630.74
AT ITER 9923 NEW BEST:: SOT 357396 SOS 102605 HAS SOPS 102310 HAS SOUS 23787 HAS SOUPS 23492 WITH SCORE 23594.605
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11395276 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120796 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="PolyORBNT-COL-S05J20"
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 PolyORBNT-COL-S05J20, 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 r299-tall-167873953200640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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