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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.5K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 17K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 170K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 667K Mar 31 16:48 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 1680822120381

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=Anderson-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 23:02:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 23:02:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 23:02:02] [INFO ] Load time of PNML (sax parser for PT used): 96 ms
[2023-04-06 23:02:02] [INFO ] Transformed 401 places.
[2023-04-06 23:02:02] [INFO ] Transformed 1328 transitions.
[2023-04-06 23:02:02] [INFO ] Found NUPN structural information;
[2023-04-06 23:02:02] [INFO ] Parsed PT model containing 401 places and 1328 transitions and 5088 arcs in 181 ms.
[2023-04-06 23:02:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 401 places, 1328 transitions and 5088 arcs took 15 ms.
Total runtime 237 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 08
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: 401 places, 1328 transitions, 5088 arcs.
AT ITER 0 NEW BEST:: SOT 317819 SOS 265355 HAS SOPS 265354 HAS SOUS 64465 HAS SOUPS 64464 WITH SCORE 64729.355
AT ITER 1 NEW BEST:: SOT 317757 SOS 265293 HAS SOPS 265292 HAS SOUS 64387 HAS SOUPS 64386 WITH SCORE 64651.293
AT ITER 2 NEW BEST:: SOT 317592 SOS 265221 HAS SOPS 265220 HAS SOUS 64167 HAS SOUPS 64166 WITH SCORE 64431.221
AT ITER 9 NEW BEST:: SOT 317505 SOS 265215 HAS SOPS 265214 HAS SOUS 64089 HAS SOUPS 64088 WITH SCORE 64353.215
AT ITER 12 NEW BEST:: SOT 317453 SOS 265111 HAS SOPS 265110 HAS SOUS 64011 HAS SOUPS 64010 WITH SCORE 64275.111
AT ITER 23 NEW BEST:: SOT 317422 SOS 265080 HAS SOPS 265079 HAS SOUS 63972 HAS SOUPS 63971 WITH SCORE 64236.08
AT ITER 33 NEW BEST:: SOT 317300 SOS 264958 HAS SOPS 264957 HAS SOUS 63808 HAS SOUPS 63807 WITH SCORE 64071.958
AT ITER 34 NEW BEST:: SOT 317286 SOS 264930 HAS SOPS 264929 HAS SOUS 63790 HAS SOUPS 63789 WITH SCORE 64053.93
AT ITER 39 NEW BEST:: SOT 317194 SOS 264936 HAS SOPS 264935 HAS SOUS 63708 HAS SOUPS 63707 WITH SCORE 63971.936
AT ITER 49 NEW BEST:: SOT 317194 SOS 264022 HAS SOPS 264021 HAS SOUS 63660 HAS SOUPS 63659 WITH SCORE 63923.022
AT ITER 54 NEW BEST:: SOT 317194 SOS 263983 HAS SOPS 263982 HAS SOUS 63660 HAS SOUPS 63659 WITH SCORE 63922.983
AT ITER 58 NEW BEST:: SOT 317045 SOS 263953 HAS SOPS 263952 HAS SOUS 63469 HAS SOUPS 63468 WITH SCORE 63731.953
AT ITER 81 NEW BEST:: SOT 317045 SOS 263953 HAS SOPS 263952 HAS SOUS 63458 HAS SOUPS 63457 WITH SCORE 63720.953
AT ITER 85 NEW BEST:: SOT 316970 SOS 263798 HAS SOPS 263797 HAS SOUS 63453 HAS SOUPS 63452 WITH SCORE 63715.798
AT ITER 95 NEW BEST:: SOT 316879 SOS 263707 HAS SOPS 263706 HAS SOUS 63319 HAS SOUPS 63318 WITH SCORE 63581.707
AT ITER 100 NEW BEST:: SOT 316814 SOS 263853 HAS SOPS 263852 HAS SOUS 63283 HAS SOUPS 63282 WITH SCORE 63545.853
AT ITER 106 NEW BEST:: SOT 316814 SOS 263849 HAS SOPS 263848 HAS SOUS 63283 HAS SOUPS 63282 WITH SCORE 63545.849
AT ITER 107 NEW BEST:: SOT 316752 SOS 263787 HAS SOPS 263786 HAS SOUS 63221 HAS SOUPS 63220 WITH SCORE 63483.787
AT ITER 110 NEW BEST:: SOT 316672 SOS 263825 HAS SOPS 263824 HAS SOUS 63203 HAS SOUPS 63202 WITH SCORE 63465.825
AT ITER 117 NEW BEST:: SOT 316542 SOS 263695 HAS SOPS 263694 HAS SOUS 63031 HAS SOUPS 63030 WITH SCORE 63293.695
AT ITER 122 NEW BEST:: SOT 316539 SOS 263689 HAS SOPS 263688 HAS SOUS 63025 HAS SOUPS 63024 WITH SCORE 63287.689
AT ITER 141 NEW BEST:: SOT 316543 SOS 263697 HAS SOPS 263696 HAS SOUS 63014 HAS SOUPS 63013 WITH SCORE 63276.697
AT ITER 149 NEW BEST:: SOT 316539 SOS 263693 HAS SOPS 263692 HAS SOUS 63008 HAS SOUPS 63007 WITH SCORE 63270.693
AT ITER 152 NEW BEST:: SOT 316467 SOS 263621 HAS SOPS 263620 HAS SOUS 62913 HAS SOUPS 62912 WITH SCORE 63175.621
AT ITER 161 NEW BEST:: SOT 316370 SOS 263524 HAS SOPS 263523 HAS SOUS 62787 HAS SOUPS 62786 WITH SCORE 63049.524
AT ITER 167 NEW BEST:: SOT 316370 SOS 263524 HAS SOPS 263523 HAS SOUS 62777 HAS SOUPS 62776 WITH SCORE 63039.524
AT ITER 175 NEW BEST:: SOT 316322 SOS 263524 HAS SOPS 263523 HAS SOUS 62722 HAS SOUPS 62721 WITH SCORE 62984.524
AT ITER 181 NEW BEST:: SOT 316264 SOS 263466 HAS SOPS 263465 HAS SOUS 62635 HAS SOUPS 62634 WITH SCORE 62897.466
AT ITER 194 NEW BEST:: SOT 316218 SOS 263420 HAS SOPS 263419 HAS SOUS 62589 HAS SOUPS 62588 WITH SCORE 62851.42
AT ITER 213 NEW BEST:: SOT 316086 SOS 263298 HAS SOPS 263297 HAS SOUS 62399 HAS SOUPS 62398 WITH SCORE 62661.298
AT ITER 220 NEW BEST:: SOT 315984 SOS 263094 HAS SOPS 263093 HAS SOUS 62234 HAS SOUPS 62233 WITH SCORE 62496.094
AT ITER 221 NEW BEST:: SOT 315819 SOS 262982 HAS SOPS 262981 HAS SOUS 61990 HAS SOUPS 61989 WITH SCORE 62251.982
AT ITER 224 NEW BEST:: SOT 315710 SOS 262874 HAS SOPS 262873 HAS SOUS 61880 HAS SOUPS 61879 WITH SCORE 62141.874
AT ITER 234 NEW BEST:: SOT 315589 SOS 262751 HAS SOPS 262750 HAS SOUS 61753 HAS SOUPS 61752 WITH SCORE 62014.751
AT ITER 237 NEW BEST:: SOT 315589 SOS 262751 HAS SOPS 262750 HAS SOUS 61739 HAS SOUPS 61738 WITH SCORE 62000.751
AT ITER 240 NEW BEST:: SOT 315447 SOS 262613 HAS SOPS 262612 HAS SOUS 61528 HAS SOUPS 61527 WITH SCORE 61789.613
AT ITER 243 NEW BEST:: SOT 315388 SOS 262554 HAS SOPS 262553 HAS SOUS 61410 HAS SOUPS 61409 WITH SCORE 61671.554
AT ITER 244 NEW BEST:: SOT 308910 SOS 256483 HAS SOPS 256482 HAS SOUS 54993 HAS SOUPS 54992 WITH SCORE 55248.483
AT ITER 256 NEW BEST:: SOT 308876 SOS 256449 HAS SOPS 256448 HAS SOUS 54925 HAS SOUPS 54924 WITH SCORE 55180.449
AT ITER 258 NEW BEST:: SOT 308900 SOS 256386 HAS SOPS 256385 HAS SOUS 54886 HAS SOUPS 54885 WITH SCORE 55141.386
AT ITER 260 NEW BEST:: SOT 308814 SOS 256358 HAS SOPS 256357 HAS SOUS 54802 HAS SOUPS 54801 WITH SCORE 55057.358
AT ITER 266 NEW BEST:: SOT 308755 SOS 256296 HAS SOPS 256295 HAS SOUS 54690 HAS SOUPS 54689 WITH SCORE 54945.296
AT ITER 274 NEW BEST:: SOT 308746 SOS 256296 HAS SOPS 256295 HAS SOUS 54686 HAS SOUPS 54685 WITH SCORE 54941.296
AT ITER 275 NEW BEST:: SOT 308753 SOS 256310 HAS SOPS 256309 HAS SOUS 54671 HAS SOUPS 54670 WITH SCORE 54926.31
AT ITER 277 NEW BEST:: SOT 308753 SOS 256310 HAS SOPS 256309 HAS SOUS 54668 HAS SOUPS 54667 WITH SCORE 54923.31
AT ITER 282 NEW BEST:: SOT 308643 SOS 256200 HAS SOPS 256199 HAS SOUS 54530 HAS SOUPS 54529 WITH SCORE 54785.2
AT ITER 288 NEW BEST:: SOT 308636 SOS 256366 HAS SOPS 256365 HAS SOUS 54523 HAS SOUPS 54522 WITH SCORE 54778.366
AT ITER 290 NEW BEST:: SOT 307473 SOS 255176 HAS SOPS 255175 HAS SOUS 54479 HAS SOUPS 54478 WITH SCORE 54733.176
AT ITER 302 NEW BEST:: SOT 307451 SOS 255192 HAS SOPS 255191 HAS SOUS 54457 HAS SOUPS 54456 WITH SCORE 54711.192
AT ITER 313 NEW BEST:: SOT 307420 SOS 255161 HAS SOPS 255160 HAS SOUS 54405 HAS SOUPS 54404 WITH SCORE 54659.161
AT ITER 315 NEW BEST:: SOT 307403 SOS 255127 HAS SOPS 255126 HAS SOUS 54388 HAS SOUPS 54387 WITH SCORE 54642.127
AT ITER 319 NEW BEST:: SOT 307349 SOS 254992 HAS SOPS 254991 HAS SOUS 54349 HAS SOUPS 54348 WITH SCORE 54602.992
AT ITER 331 NEW BEST:: SOT 307348 SOS 254991 HAS SOPS 254990 HAS SOUS 54347 HAS SOUPS 54346 WITH SCORE 54600.991
AT ITER 333 NEW BEST:: SOT 307374 SOS 254955 HAS SOPS 254954 HAS SOUS 54315 HAS SOUPS 54314 WITH SCORE 54568.955
AT ITER 336 NEW BEST:: SOT 307303 SOS 255075 HAS SOPS 255074 HAS SOUS 54261 HAS SOUPS 54260 WITH SCORE 54515.075
AT ITER 340 NEW BEST:: SOT 307283 SOS 255051 HAS SOPS 255050 HAS SOUS 54237 HAS SOUPS 54236 WITH SCORE 54491.051
AT ITER 341 NEW BEST:: SOT 306510 SOS 253637 HAS SOPS 253636 HAS SOUS 54206 HAS SOUPS 54205 WITH SCORE 54458.637
AT ITER 343 NEW BEST:: SOT 306506 SOS 253629 HAS SOPS 253628 HAS SOUS 54193 HAS SOUPS 54192 WITH SCORE 54445.629
AT ITER 351 NEW BEST:: SOT 306474 SOS 253565 HAS SOPS 253564 HAS SOUS 54161 HAS SOUPS 54160 WITH SCORE 54413.565
AT ITER 353 NEW BEST:: SOT 306466 SOS 253549 HAS SOPS 253548 HAS SOUS 54146 HAS SOUPS 54145 WITH SCORE 54398.549
AT ITER 355 NEW BEST:: SOT 306461 SOS 253549 HAS SOPS 253548 HAS SOUS 54141 HAS SOUPS 54140 WITH SCORE 54393.549
AT ITER 361 NEW BEST:: SOT 306415 SOS 253609 HAS SOPS 253608 HAS SOUS 54078 HAS SOUPS 54077 WITH SCORE 54330.609
AT ITER 379 NEW BEST:: SOT 306404 SOS 253587 HAS SOPS 253586 HAS SOUS 54068 HAS SOUPS 54067 WITH SCORE 54320.587
AT ITER 385 NEW BEST:: SOT 306282 SOS 253343 HAS SOPS 253342 HAS SOUS 53872 HAS SOUPS 53871 WITH SCORE 54124.343
AT ITER 399 NEW BEST:: SOT 306261 SOS 253322 HAS SOPS 253321 HAS SOUS 53823 HAS SOUPS 53822 WITH SCORE 54075.322
AT ITER 410 NEW BEST:: SOT 306260 SOS 253329 HAS SOPS 253328 HAS SOUS 53812 HAS SOUPS 53811 WITH SCORE 54064.329
AT ITER 421 NEW BEST:: SOT 306198 SOS 253267 HAS SOPS 253266 HAS SOUS 53742 HAS SOUPS 53741 WITH SCORE 53994.267
AT ITER 428 NEW BEST:: SOT 306198 SOS 253331 HAS SOPS 253330 HAS SOUS 53739 HAS SOUPS 53738 WITH SCORE 53991.331
AT ITER 434 NEW BEST:: SOT 306152 SOS 253239 HAS SOPS 253238 HAS SOUS 53647 HAS SOUPS 53646 WITH SCORE 53899.239
AT ITER 435 NEW BEST:: SOT 306152 SOS 253239 HAS SOPS 253238 HAS SOUS 53627 HAS SOUPS 53626 WITH SCORE 53879.239
AT ITER 449 NEW BEST:: SOT 306097 SOS 253019 HAS SOPS 253018 HAS SOUS 53572 HAS SOUPS 53571 WITH SCORE 53824.019
AT ITER 452 NEW BEST:: SOT 305692 SOS 252228 HAS SOPS 252227 HAS SOUS 53545 HAS SOUPS 53544 WITH SCORE 53796.228
AT ITER 463 NEW BEST:: SOT 305631 SOS 252290 HAS SOPS 252289 HAS SOUS 53494 HAS SOUPS 53493 WITH SCORE 53745.29
AT ITER 475 NEW BEST:: SOT 305533 SOS 252210 HAS SOPS 252209 HAS SOUS 53371 HAS SOUPS 53370 WITH SCORE 53622.21
AT ITER 476 NEW BEST:: SOT 305862 SOS 252539 HAS SOPS 252538 HAS SOUS 53333 HAS SOUPS 53332 WITH SCORE 53584.539
AT ITER 481 NEW BEST:: SOT 305833 SOS 252573 HAS SOPS 252572 HAS SOUS 53304 HAS SOUPS 53303 WITH SCORE 53555.573
AT ITER 484 NEW BEST:: SOT 305060 SOS 251889 HAS SOPS 251799 HAS SOUS 52595 HAS SOUPS 52527 WITH SCORE 52778.889
AT ITER 486 NEW BEST:: SOT 305026 SOS 252043 HAS SOPS 251953 HAS SOUS 52582 HAS SOUPS 52514 WITH SCORE 52766.043
AT ITER 500 NEW BEST:: SOT 304861 SOS 251868 HAS SOPS 251778 HAS SOUS 52572 HAS SOUPS 52504 WITH SCORE 52755.868
AT ITER 503 NEW BEST:: SOT 304721 SOS 251568 HAS SOPS 251478 HAS SOUS 52572 HAS SOUPS 52504 WITH SCORE 52755.568
AT ITER 507 NEW BEST:: SOT 304673 SOS 251618 HAS SOPS 251528 HAS SOUS 52532 HAS SOUPS 52464 WITH SCORE 52715.618
AT ITER 508 NEW BEST:: SOT 304673 SOS 251618 HAS SOPS 251528 HAS SOUS 52528 HAS SOUPS 52460 WITH SCORE 52711.618
AT ITER 509 NEW BEST:: SOT 304636 SOS 251544 HAS SOPS 251454 HAS SOUS 52484 HAS SOUPS 52416 WITH SCORE 52667.544
AT ITER 510 NEW BEST:: SOT 304588 SOS 251496 HAS SOPS 251406 HAS SOUS 52388 HAS SOUPS 52320 WITH SCORE 52571.496
AT ITER 517 NEW BEST:: SOT 304455 SOS 251520 HAS SOPS 251430 HAS SOUS 52192 HAS SOUPS 52124 WITH SCORE 52375.52
AT ITER 532 NEW BEST:: SOT 304432 SOS 251515 HAS SOPS 251425 HAS SOUS 52171 HAS SOUPS 52103 WITH SCORE 52354.515
AT ITER 541 NEW BEST:: SOT 304443 SOS 251537 HAS SOPS 251447 HAS SOUS 52151 HAS SOUPS 52083 WITH SCORE 52334.537
AT ITER 549 NEW BEST:: SOT 304443 SOS 251533 HAS SOPS 251443 HAS SOUS 52151 HAS SOUPS 52083 WITH SCORE 52334.533
AT ITER 570 NEW BEST:: SOT 304098 SOS 250912 HAS SOPS 250822 HAS SOUS 52128 HAS SOUPS 52060 WITH SCORE 52310.912
AT ITER 592 NEW BEST:: SOT 304098 SOS 250910 HAS SOPS 250820 HAS SOUS 52128 HAS SOUPS 52060 WITH SCORE 52310.91
AT ITER 608 NEW BEST:: SOT 304116 SOS 250876 HAS SOPS 250786 HAS SOUS 52112 HAS SOUPS 52044 WITH SCORE 52294.876
AT ITER 636 NEW BEST:: SOT 304081 SOS 250851 HAS SOPS 250751 HAS SOUS 52077 HAS SOUPS 52004 WITH SCORE 52254.851
AT ITER 640 NEW BEST:: SOT 304068 SOS 250825 HAS SOPS 250725 HAS SOUS 52051 HAS SOUPS 51978 WITH SCORE 52228.825
AT ITER 650 NEW BEST:: SOT 304015 SOS 250772 HAS SOPS 250672 HAS SOUS 51945 HAS SOUPS 51872 WITH SCORE 52122.772
AT ITER 652 NEW BEST:: SOT 303971 SOS 250684 HAS SOPS 250584 HAS SOUS 51857 HAS SOUPS 51784 WITH SCORE 52034.684
AT ITER 661 NEW BEST:: SOT 303926 SOS 250594 HAS SOPS 250494 HAS SOUS 51812 HAS SOUPS 51739 WITH SCORE 51989.594
AT ITER 670 NEW BEST:: SOT 303905 SOS 250573 HAS SOPS 250473 HAS SOUS 51791 HAS SOUPS 51718 WITH SCORE 51968.573
AT ITER 672 NEW BEST:: SOT 303911 SOS 250579 HAS SOPS 250479 HAS SOUS 51788 HAS SOUPS 51715 WITH SCORE 51965.579
AT ITER 681 NEW BEST:: SOT 303911 SOS 250609 HAS SOPS 250509 HAS SOUS 51781 HAS SOUPS 51708 WITH SCORE 51958.609
AT ITER 683 NEW BEST:: SOT 303905 SOS 250597 HAS SOPS 250497 HAS SOUS 51775 HAS SOUPS 51702 WITH SCORE 51952.597
AT ITER 697 NEW BEST:: SOT 303907 SOS 250599 HAS SOPS 250495 HAS SOUS 51773 HAS SOUPS 51700 WITH SCORE 51950.599
AT ITER 699 NEW BEST:: SOT 303875 SOS 250583 HAS SOPS 250479 HAS SOUS 51757 HAS SOUPS 51684 WITH SCORE 51934.583
AT ITER 703 NEW BEST:: SOT 303891 SOS 250599 HAS SOPS 250495 HAS SOUS 51734 HAS SOUPS 51661 WITH SCORE 51911.599
AT ITER 704 NEW BEST:: SOT 303861 SOS 250435 HAS SOPS 250331 HAS SOUS 51697 HAS SOUPS 51624 WITH SCORE 51874.435
AT ITER 706 NEW BEST:: SOT 303809 SOS 250435 HAS SOPS 250331 HAS SOUS 51635 HAS SOUPS 51562 WITH SCORE 51812.435
AT ITER 707 NEW BEST:: SOT 303845 SOS 250414 HAS SOPS 250268 HAS SOUS 51608 HAS SOUPS 51535 WITH SCORE 51785.414
AT ITER 713 NEW BEST:: SOT 303828 SOS 250380 HAS SOPS 250234 HAS SOUS 51602 HAS SOUPS 51529 WITH SCORE 51779.38
AT ITER 727 NEW BEST:: SOT 303228 SOS 249246 HAS SOPS 249100 HAS SOUS 51562 HAS SOUPS 51489 WITH SCORE 51738.246
AT ITER 728 NEW BEST:: SOT 303223 SOS 249236 HAS SOPS 249090 HAS SOUS 51547 HAS SOUPS 51474 WITH SCORE 51723.236
AT ITER 730 NEW BEST:: SOT 303191 SOS 249204 HAS SOPS 249058 HAS SOUS 51495 HAS SOUPS 51422 WITH SCORE 51671.204
AT ITER 733 NEW BEST:: SOT 303174 SOS 249187 HAS SOPS 249041 HAS SOUS 51450 HAS SOUPS 51377 WITH SCORE 51626.187
AT ITER 736 NEW BEST:: SOT 303145 SOS 249137 HAS SOPS 248991 HAS SOUS 51400 HAS SOUPS 51327 WITH SCORE 51576.137
AT ITER 748 NEW BEST:: SOT 303124 SOS 249116 HAS SOPS 248970 HAS SOUS 51358 HAS SOUPS 51285 WITH SCORE 51534.116
AT ITER 783 NEW BEST:: SOT 303120 SOS 249112 HAS SOPS 248966 HAS SOUS 51352 HAS SOUPS 51279 WITH SCORE 51528.112
AT ITER 804 NEW BEST:: SOT 303119 SOS 249110 HAS SOPS 248964 HAS SOUS 51350 HAS SOUPS 51277 WITH SCORE 51526.11
AT ITER 812 NEW BEST:: SOT 303111 SOS 248944 HAS SOPS 248798 HAS SOUS 51310 HAS SOUPS 51237 WITH SCORE 51485.944
AT ITER 814 NEW BEST:: SOT 303090 SOS 248956 HAS SOPS 248810 HAS SOUS 51289 HAS SOUPS 51216 WITH SCORE 51464.956
AT ITER 823 NEW BEST:: SOT 303071 SOS 248937 HAS SOPS 248791 HAS SOUS 51255 HAS SOUPS 51182 WITH SCORE 51430.937
AT ITER 827 NEW BEST:: SOT 303012 SOS 248878 HAS SOPS 248732 HAS SOUS 51168 HAS SOUPS 51095 WITH SCORE 51343.878
AT ITER 863 NEW BEST:: SOT 302972 SOS 248798 HAS SOPS 248652 HAS SOUS 51120 HAS SOUPS 51047 WITH SCORE 51295.798
AT ITER 872 NEW BEST:: SOT 302971 SOS 248797 HAS SOPS 248651 HAS SOUS 51119 HAS SOUPS 51046 WITH SCORE 51294.797
AT ITER 880 NEW BEST:: SOT 302957 SOS 248769 HAS SOPS 248623 HAS SOUS 51091 HAS SOUPS 51018 WITH SCORE 51266.769
AT ITER 893 NEW BEST:: SOT 302953 SOS 248765 HAS SOPS 248619 HAS SOUS 51083 HAS SOUPS 51010 WITH SCORE 51258.765
AT ITER 895 NEW BEST:: SOT 302921 SOS 248961 HAS SOPS 248815 HAS SOUS 51074 HAS SOUPS 51001 WITH SCORE 51249.961
AT ITER 898 NEW BEST:: SOT 302867 SOS 248907 HAS SOPS 248761 HAS SOUS 50966 HAS SOUPS 50893 WITH SCORE 51141.907
AT ITER 903 NEW BEST:: SOT 302788 SOS 248859 HAS SOPS 248713 HAS SOUS 50879 HAS SOUPS 50806 WITH SCORE 51054.859
AT ITER 906 NEW BEST:: SOT 302783 SOS 248854 HAS SOPS 248708 HAS SOUS 50869 HAS SOUPS 50796 WITH SCORE 51044.854
AT ITER 911 NEW BEST:: SOT 302752 SOS 248823 HAS SOPS 248677 HAS SOUS 50807 HAS SOUPS 50734 WITH SCORE 50982.823
AT ITER 916 NEW BEST:: SOT 302750 SOS 248819 HAS SOPS 248673 HAS SOUS 50803 HAS SOUPS 50730 WITH SCORE 50978.819
AT ITER 950 NEW BEST:: SOT 302720 SOS 248750 HAS SOPS 248604 HAS SOUS 50784 HAS SOUPS 50711 WITH SCORE 50959.75
AT ITER 959 NEW BEST:: SOT 302701 SOS 248750 HAS SOPS 248604 HAS SOUS 50765 HAS SOUPS 50692 WITH SCORE 50940.75
AT ITER 966 NEW BEST:: SOT 302661 SOS 248710 HAS SOPS 248564 HAS SOUS 50720 HAS SOUPS 50647 WITH SCORE 50895.71
AT ITER 974 NEW BEST:: SOT 302560 SOS 248626 HAS SOPS 248480 HAS SOUS 50652 HAS SOUPS 50579 WITH SCORE 50827.626
AT ITER 976 NEW BEST:: SOT 302530 SOS 248596 HAS SOPS 248450 HAS SOUS 50622 HAS SOUPS 50549 WITH SCORE 50797.596
AT ITER 993 NEW BEST:: SOT 302530 SOS 248596 HAS SOPS 248450 HAS SOUS 50577 HAS SOUPS 50504 WITH SCORE 50752.596
AT ITER 1006 NEW BEST:: SOT 302529 SOS 248595 HAS SOPS 248449 HAS SOUS 50576 HAS SOUPS 50503 WITH SCORE 50751.595
AT ITER 1014 NEW BEST:: SOT 302524 SOS 248585 HAS SOPS 248439 HAS SOUS 50566 HAS SOUPS 50493 WITH SCORE 50741.585
AT ITER 1019 NEW BEST:: SOT 302552 SOS 248603 HAS SOPS 248386 HAS SOUS 50541 HAS SOUPS 50468 WITH SCORE 50716.603
AT ITER 1055 NEW BEST:: SOT 302527 SOS 248613 HAS SOPS 248396 HAS SOUS 50524 HAS SOUPS 50451 WITH SCORE 50699.613
AT ITER 1062 NEW BEST:: SOT 302490 SOS 248585 HAS SOPS 248368 HAS SOUS 50473 HAS SOUPS 50400 WITH SCORE 50648.585
AT ITER 1067 NEW BEST:: SOT 302445 SOS 249404 HAS SOPS 249187 HAS SOUS 50428 HAS SOUPS 50355 WITH SCORE 50604.404
AT ITER 1083 NEW BEST:: SOT 302426 SOS 249375 HAS SOPS 249158 HAS SOUS 50399 HAS SOUPS 50326 WITH SCORE 50575.375
AT ITER 1094 NEW BEST:: SOT 302357 SOS 249461 HAS SOPS 249244 HAS SOUS 50367 HAS SOUPS 50294 WITH SCORE 50543.461
AT ITER 1101 NEW BEST:: SOT 302347 SOS 249451 HAS SOPS 249234 HAS SOUS 50355 HAS SOUPS 50282 WITH SCORE 50531.451
AT ITER 1108 NEW BEST:: SOT 302329 SOS 249415 HAS SOPS 249198 HAS SOUS 50325 HAS SOUPS 50252 WITH SCORE 50501.415
AT ITER 1132 NEW BEST:: SOT 302297 SOS 249383 HAS SOPS 249166 HAS SOUS 50293 HAS SOUPS 50220 WITH SCORE 50469.383
AT ITER 1149 NEW BEST:: SOT 302270 SOS 249443 HAS SOPS 249226 HAS SOUS 50253 HAS SOUPS 50180 WITH SCORE 50429.443
AT ITER 1158 NEW BEST:: SOT 302223 SOS 249396 HAS SOPS 249240 HAS SOUS 50247 HAS SOUPS 50174 WITH SCORE 50423.396
AT ITER 1170 NEW BEST:: SOT 302155 SOS 249297 HAS SOPS 249141 HAS SOUS 50203 HAS SOUPS 50130 WITH SCORE 50379.297
AT ITER 1181 NEW BEST:: SOT 302104 SOS 249195 HAS SOPS 249039 HAS SOUS 50101 HAS SOUPS 50028 WITH SCORE 50277.195
AT ITER 1229 NEW BEST:: SOT 302074 SOS 249135 HAS SOPS 248979 HAS SOUS 50064 HAS SOUPS 49991 WITH SCORE 50240.135
AT ITER 1253 NEW BEST:: SOT 302070 SOS 249131 HAS SOPS 248975 HAS SOUS 50056 HAS SOUPS 49983 WITH SCORE 50232.131
AT ITER 1268 NEW BEST:: SOT 302070 SOS 249144 HAS SOPS 248988 HAS SOUS 49965 HAS SOUPS 49892 WITH SCORE 50141.144
AT ITER 1274 NEW BEST:: SOT 301994 SOS 249144 HAS SOPS 248988 HAS SOUS 49902 HAS SOUPS 49829 WITH SCORE 50078.144
AT ITER 1285 NEW BEST:: SOT 301975 SOS 249150 HAS SOPS 248994 HAS SOUS 49878 HAS SOUPS 49805 WITH SCORE 50054.15
AT ITER 1301 NEW BEST:: SOT 301971 SOS 249142 HAS SOPS 248986 HAS SOUS 49870 HAS SOUPS 49797 WITH SCORE 50046.142
AT ITER 1308 NEW BEST:: SOT 301968 SOS 249139 HAS SOPS 248983 HAS SOUS 49870 HAS SOUPS 49797 WITH SCORE 50046.139
AT ITER 1344 NEW BEST:: SOT 301968 SOS 249139 HAS SOPS 248983 HAS SOUS 49853 HAS SOUPS 49780 WITH SCORE 50029.139
AT ITER 1349 NEW BEST:: SOT 301968 SOS 249139 HAS SOPS 248983 HAS SOUS 49816 HAS SOUPS 49743 WITH SCORE 49992.139
AT ITER 1352 NEW BEST:: SOT 301953 SOS 249124 HAS SOPS 248968 HAS SOUS 49786 HAS SOUPS 49713 WITH SCORE 49962.124
AT ITER 1371 NEW BEST:: SOT 301936 SOS 249090 HAS SOPS 248934 HAS SOUS 49748 HAS SOUPS 49675 WITH SCORE 49924.09
AT ITER 1376 NEW BEST:: SOT 301936 SOS 249210 HAS SOPS 248931 HAS SOUS 49868 HAS SOUPS 49672 WITH SCORE 49921.21
AT ITER 1390 NEW BEST:: SOT 301931 SOS 249205 HAS SOPS 248926 HAS SOUS 49858 HAS SOUPS 49662 WITH SCORE 49911.205
AT ITER 1403 NEW BEST:: SOT 301940 SOS 248971 HAS SOPS 248692 HAS SOUS 49806 HAS SOUPS 49610 WITH SCORE 49858.971
AT ITER 1404 NEW BEST:: SOT 301908 SOS 248939 HAS SOPS 248660 HAS SOUS 49758 HAS SOUPS 49562 WITH SCORE 49810.939
AT ITER 1423 NEW BEST:: SOT 301884 SOS 248915 HAS SOPS 248660 HAS SOUS 49710 HAS SOUPS 49538 WITH SCORE 49786.915
AT ITER 1461 NEW BEST:: SOT 301772 SOS 248803 HAS SOPS 248548 HAS SOUS 49710 HAS SOUPS 49538 WITH SCORE 49786.803
AT ITER 1462 NEW BEST:: SOT 301758 SOS 248775 HAS SOPS 248520 HAS SOUS 49689 HAS SOUPS 49517 WITH SCORE 49765.775
AT ITER 1493 NEW BEST:: SOT 301689 SOS 248281 HAS SOPS 248026 HAS SOUS 49582 HAS SOUPS 49410 WITH SCORE 49658.281
AT ITER 1497 NEW BEST:: SOT 301639 SOS 248231 HAS SOPS 247976 HAS SOUS 49516 HAS SOUPS 49344 WITH SCORE 49592.231
AT ITER 1511 NEW BEST:: SOT 301601 SOS 248206 HAS SOPS 247951 HAS SOUS 49483 HAS SOUPS 49311 WITH SCORE 49559.206
AT ITER 1542 NEW BEST:: SOT 301569 SOS 248142 HAS SOPS 247887 HAS SOUS 49451 HAS SOUPS 49279 WITH SCORE 49527.142
AT ITER 1550 NEW BEST:: SOT 301524 SOS 248097 HAS SOPS 247842 HAS SOUS 49361 HAS SOUPS 49189 WITH SCORE 49437.097
AT ITER 1601 NEW BEST:: SOT 301514 SOS 248077 HAS SOPS 247822 HAS SOUS 49329 HAS SOUPS 49157 WITH SCORE 49405.077
AT ITER 1609 NEW BEST:: SOT 301455 SOS 248018 HAS SOPS 247763 HAS SOUS 49211 HAS SOUPS 49039 WITH SCORE 49287.018
AT ITER 1614 NEW BEST:: SOT 300964 SOS 247054 HAS SOPS 246833 HAS SOUS 49147 HAS SOUPS 49009 WITH SCORE 49256.054
AT ITER 1660 NEW BEST:: SOT 300940 SOS 247054 HAS SOPS 246833 HAS SOUS 49123 HAS SOUPS 48985 WITH SCORE 49232.054
AT ITER 1664 NEW BEST:: SOT 300888 SOS 247054 HAS SOPS 246833 HAS SOUS 49071 HAS SOUPS 48933 WITH SCORE 49180.054
AT ITER 1673 NEW BEST:: SOT 300879 SOS 247045 HAS SOPS 246824 HAS SOUS 49062 HAS SOUPS 48924 WITH SCORE 49171.045
AT ITER 1676 NEW BEST:: SOT 300868 SOS 247034 HAS SOPS 246813 HAS SOUS 49049 HAS SOUPS 48911 WITH SCORE 49158.034
AT ITER 1685 NEW BEST:: SOT 300851 SOS 247000 HAS SOPS 246779 HAS SOUS 49032 HAS SOUPS 48894 WITH SCORE 49141.0
AT ITER 1732 NEW BEST:: SOT 300840 SOS 246989 HAS SOPS 246768 HAS SOUS 49010 HAS SOUPS 48872 WITH SCORE 49118.989
AT ITER 1747 NEW BEST:: SOT 300838 SOS 247051 HAS SOPS 246764 HAS SOUS 49103 HAS SOUPS 48868 WITH SCORE 49115.051
AT ITER 1781 NEW BEST:: SOT 300812 SOS 247025 HAS SOPS 246738 HAS SOUS 49051 HAS SOUPS 48816 WITH SCORE 49063.025
AT ITER 1782 NEW BEST:: SOT 300773 SOS 246947 HAS SOPS 246660 HAS SOUS 49012 HAS SOUPS 48777 WITH SCORE 49023.947
AT ITER 1785 NEW BEST:: SOT 300768 SOS 246937 HAS SOPS 246650 HAS SOUS 49002 HAS SOUPS 48767 WITH SCORE 49013.937
AT ITER 1799 NEW BEST:: SOT 300758 SOS 246927 HAS SOPS 246640 HAS SOUS 48982 HAS SOUPS 48747 WITH SCORE 48993.927
AT ITER 1802 NEW BEST:: SOT 300758 SOS 246927 HAS SOPS 246640 HAS SOUS 48978 HAS SOUPS 48743 WITH SCORE 48989.927
AT ITER 1806 NEW BEST:: SOT 300745 SOS 246901 HAS SOPS 246614 HAS SOUS 48952 HAS SOUPS 48717 WITH SCORE 48963.901
AT ITER 1813 NEW BEST:: SOT 300758 SOS 246865 HAS SOPS 246578 HAS SOUS 48947 HAS SOUPS 48712 WITH SCORE 48958.865
AT ITER 1835 NEW BEST:: SOT 300732 SOS 246839 HAS SOPS 246598 HAS SOUS 48862 HAS SOUPS 48673 WITH SCORE 48919.839
AT ITER 1839 NEW BEST:: SOT 299757 SOS 245864 HAS SOPS 245623 HAS SOUS 48825 HAS SOUPS 48636 WITH SCORE 48881.864
AT ITER 1845 NEW BEST:: SOT 299756 SOS 245863 HAS SOPS 245622 HAS SOUS 48823 HAS SOUPS 48634 WITH SCORE 48879.863
AT ITER 1863 NEW BEST:: SOT 299693 SOS 245842 HAS SOPS 245643 HAS SOUS 48807 HAS SOUPS 48618 WITH SCORE 48863.842
AT ITER 1943 NEW BEST:: SOT 299646 SOS 245946 HAS SOPS 245747 HAS SOUS 48796 HAS SOUPS 48607 WITH SCORE 48852.946
AT ITER 1944 NEW BEST:: SOT 299612 SOS 245912 HAS SOPS 245713 HAS SOUS 48743 HAS SOUPS 48554 WITH SCORE 48799.912
AT ITER 1945 NEW BEST:: SOT 299597 SOS 245882 HAS SOPS 245683 HAS SOUS 48700 HAS SOUPS 48511 WITH SCORE 48756.882
AT ITER 1950 NEW BEST:: SOT 299596 SOS 245880 HAS SOPS 245681 HAS SOUS 48698 HAS SOUPS 48509 WITH SCORE 48754.88
AT ITER 1966 NEW BEST:: SOT 299580 SOS 245864 HAS SOPS 245665 HAS SOUS 48666 HAS SOUPS 48477 WITH SCORE 48722.864
AT ITER 1969 NEW BEST:: SOT 299580 SOS 245870 HAS SOPS 245671 HAS SOUS 48624 HAS SOUPS 48435 WITH SCORE 48680.87
AT ITER 1972 NEW BEST:: SOT 299573 SOS 245863 HAS SOPS 245664 HAS SOUS 48617 HAS SOUPS 48428 WITH SCORE 48673.863
AT ITER 1981 NEW BEST:: SOT 299542 SOS 245801 HAS SOPS 245602 HAS SOUS 48555 HAS SOUPS 48366 WITH SCORE 48611.801
AT ITER 1998 NEW BEST:: SOT 299524 SOS 245765 HAS SOPS 245566 HAS SOUS 48519 HAS SOUPS 48330 WITH SCORE 48575.765
AT ITER 2008 NEW BEST:: SOT 299522 SOS 245763 HAS SOPS 245564 HAS SOUS 48515 HAS SOUPS 48326 WITH SCORE 48571.763
AT ITER 2019 NEW BEST:: SOT 299495 SOS 245736 HAS SOPS 245537 HAS SOUS 48461 HAS SOUPS 48272 WITH SCORE 48517.736
AT ITER 2043 NEW BEST:: SOT 299495 SOS 245724 HAS SOPS 245525 HAS SOUS 48461 HAS SOUPS 48272 WITH SCORE 48517.724
AT ITER 2077 NEW BEST:: SOT 299388 SOS 245617 HAS SOPS 245418 HAS SOUS 48360 HAS SOUPS 48171 WITH SCORE 48416.617
AT ITER 2087 NEW BEST:: SOT 299368 SOS 245577 HAS SOPS 245378 HAS SOUS 48349 HAS SOUPS 48160 WITH SCORE 48405.577
AT ITER 2124 NEW BEST:: SOT 299352 SOS 245545 HAS SOPS 245346 HAS SOUS 48317 HAS SOUPS 48128 WITH SCORE 48373.545
AT ITER 2161 NEW BEST:: SOT 299367 SOS 245499 HAS SOPS 245300 HAS SOUS 48309 HAS SOUPS 48120 WITH SCORE 48365.499
AT ITER 2201 NEW BEST:: SOT 299373 SOS 245481 HAS SOPS 245282 HAS SOUS 48306 HAS SOUPS 48117 WITH SCORE 48362.481
AT ITER 2204 NEW BEST:: SOT 299366 SOS 245467 HAS SOPS 245268 HAS SOUS 48292 HAS SOUPS 48103 WITH SCORE 48348.467
AT ITER 2228 NEW BEST:: SOT 299276 SOS 245474 HAS SOPS 245275 HAS SOUS 48188 HAS SOUPS 47999 WITH SCORE 48244.474
AT ITER 2247 NEW BEST:: SOT 299241 SOS 245474 HAS SOPS 245275 HAS SOUS 48153 HAS SOUPS 47964 WITH SCORE 48209.474
AT ITER 2250 NEW BEST:: SOT 299236 SOS 245469 HAS SOPS 245270 HAS SOUS 48143 HAS SOUPS 47954 WITH SCORE 48199.469
AT ITER 2267 NEW BEST:: SOT 299196 SOS 245469 HAS SOPS 245270 HAS SOUS 48103 HAS SOUPS 47914 WITH SCORE 48159.469
AT ITER 2276 NEW BEST:: SOT 299154 SOS 245387 HAS SOPS 245188 HAS SOUS 48049 HAS SOUPS 47860 WITH SCORE 48105.387
AT ITER 2298 NEW BEST:: SOT 299139 SOS 245372 HAS SOPS 245173 HAS SOUS 48031 HAS SOUPS 47842 WITH SCORE 48087.372
AT ITER 2311 NEW BEST:: SOT 298884 SOS 245117 HAS SOPS 244918 HAS SOUS 48031 HAS SOUPS 47842 WITH SCORE 48087.117
AT ITER 2319 NEW BEST:: SOT 298819 SOS 245097 HAS SOPS 244898 HAS SOUS 47922 HAS SOUPS 47733 WITH SCORE 47978.097
AT ITER 2326 NEW BEST:: SOT 298804 SOS 245019 HAS SOPS 244820 HAS SOUS 47921 HAS SOUPS 47732 WITH SCORE 47977.019
AT ITER 2331 NEW BEST:: SOT 298789 SOS 245015 HAS SOPS 244816 HAS SOUS 47904 HAS SOUPS 47715 WITH SCORE 47960.015
AT ITER 2380 NEW BEST:: SOT 298788 SOS 245014 HAS SOPS 244815 HAS SOUS 47902 HAS SOUPS 47713 WITH SCORE 47958.014
AT ITER 2387 NEW BEST:: SOT 298786 SOS 245010 HAS SOPS 244811 HAS SOUS 47898 HAS SOUPS 47709 WITH SCORE 47954.01
AT ITER 2412 NEW BEST:: SOT 298808 SOS 244886 HAS SOPS 244687 HAS SOUS 47870 HAS SOUPS 47681 WITH SCORE 47925.886
AT ITER 2431 NEW BEST:: SOT 298785 SOS 244918 HAS SOPS 244719 HAS SOUS 47850 HAS SOUPS 47661 WITH SCORE 47905.918
AT ITER 2439 NEW BEST:: SOT 298783 SOS 244914 HAS SOPS 244715 HAS SOUS 47846 HAS SOUPS 47657 WITH SCORE 47901.914
AT ITER 2457 NEW BEST:: SOT 298789 SOS 244752 HAS SOPS 244553 HAS SOUS 47824 HAS SOUPS 47635 WITH SCORE 47879.752
AT ITER 2475 NEW BEST:: SOT 298796 SOS 244656 HAS SOPS 244457 HAS SOUS 47799 HAS SOUPS 47610 WITH SCORE 47854.656
AT ITER 2492 NEW BEST:: SOT 298745 SOS 244639 HAS SOPS 244406 HAS SOUS 47748 HAS SOUPS 47542 WITH SCORE 47786.639
AT ITER 2529 NEW BEST:: SOT 298672 SOS 244568 HAS SOPS 244335 HAS SOUS 47747 HAS SOUPS 47541 WITH SCORE 47785.568
AT ITER 2563 NEW BEST:: SOT 298663 SOS 244550 HAS SOPS 244317 HAS SOUS 47720 HAS SOUPS 47514 WITH SCORE 47758.55
AT ITER 2567 NEW BEST:: SOT 298637 SOS 244586 HAS SOPS 244353 HAS SOUS 47708 HAS SOUPS 47502 WITH SCORE 47746.586
AT ITER 2573 NEW BEST:: SOT 298635 SOS 244584 HAS SOPS 244351 HAS SOUS 47704 HAS SOUPS 47498 WITH SCORE 47742.584
AT ITER 2577 NEW BEST:: SOT 298612 SOS 244576 HAS SOPS 244343 HAS SOUS 47677 HAS SOUPS 47471 WITH SCORE 47715.576
AT ITER 2586 NEW BEST:: SOT 298631 SOS 242772 HAS SOPS 242539 HAS SOUS 47675 HAS SOUPS 47469 WITH SCORE 47711.772
AT ITER 2608 NEW BEST:: SOT 298608 SOS 242812 HAS SOPS 242579 HAS SOUS 47644 HAS SOUPS 47438 WITH SCORE 47680.812
AT ITER 2609 NEW BEST:: SOT 298606 SOS 242810 HAS SOPS 242577 HAS SOUS 47640 HAS SOUPS 47434 WITH SCORE 47676.81
AT ITER 2631 NEW BEST:: SOT 298606 SOS 242804 HAS SOPS 242571 HAS SOUS 47640 HAS SOUPS 47434 WITH SCORE 47676.804
AT ITER 2641 NEW BEST:: SOT 298602 SOS 242800 HAS SOPS 242567 HAS SOUS 47632 HAS SOUPS 47426 WITH SCORE 47668.8
AT ITER 2647 NEW BEST:: SOT 298591 SOS 242789 HAS SOPS 242556 HAS SOUS 47606 HAS SOUPS 47400 WITH SCORE 47642.789
AT ITER 2676 NEW BEST:: SOT 298581 SOS 242769 HAS SOPS 242536 HAS SOUS 47586 HAS SOUPS 47380 WITH SCORE 47622.769
AT ITER 2682 NEW BEST:: SOT 298581 SOS 242767 HAS SOPS 242534 HAS SOUS 47586 HAS SOUPS 47380 WITH SCORE 47622.767
AT ITER 2699 NEW BEST:: SOT 298573 SOS 242759 HAS SOPS 242526 HAS SOUS 47570 HAS SOUPS 47364 WITH SCORE 47606.759
AT ITER 2702 NEW BEST:: SOT 298534 SOS 242726 HAS SOPS 242520 HAS SOUS 47531 HAS SOUPS 47325 WITH SCORE 47567.726
AT ITER 2743 NEW BEST:: SOT 298508 SOS 242700 HAS SOPS 242494 HAS SOUS 47492 HAS SOUPS 47286 WITH SCORE 47528.7
AT ITER 2747 NEW BEST:: SOT 298506 SOS 242700 HAS SOPS 242494 HAS SOUS 47490 HAS SOUPS 47284 WITH SCORE 47526.7
AT ITER 2765 NEW BEST:: SOT 298506 SOS 242691 HAS SOPS 242485 HAS SOUS 47481 HAS SOUPS 47275 WITH SCORE 47517.691
AT ITER 2800 NEW BEST:: SOT 298482 SOS 242451 HAS SOPS 242269 HAS SOUS 47433 HAS SOUPS 47251 WITH SCORE 47493.451
AT ITER 2822 NEW BEST:: SOT 298481 SOS 242450 HAS SOPS 242268 HAS SOUS 47427 HAS SOUPS 47245 WITH SCORE 47487.45
AT ITER 2824 NEW BEST:: SOT 298481 SOS 242962 HAS SOPS 242780 HAS SOUS 47425 HAS SOUPS 47243 WITH SCORE 47485.962
AT ITER 2834 NEW BEST:: SOT 298485 SOS 242966 HAS SOPS 242784 HAS SOUS 47423 HAS SOUPS 47241 WITH SCORE 47483.966
AT ITER 2869 NEW BEST:: SOT 298475 SOS 242946 HAS SOPS 242764 HAS SOUS 47407 HAS SOUPS 47225 WITH SCORE 47467.946
AT ITER 2892 NEW BEST:: SOT 298475 SOS 242936 HAS SOPS 242754 HAS SOUS 47402 HAS SOUPS 47220 WITH SCORE 47462.936
AT ITER 2893 NEW BEST:: SOT 298465 SOS 242916 HAS SOPS 242734 HAS SOUS 47386 HAS SOUPS 47204 WITH SCORE 47446.916
AT ITER 2899 NEW BEST:: SOT 298447 SOS 242892 HAS SOPS 242710 HAS SOUS 47365 HAS SOUPS 47183 WITH SCORE 47425.892
AT ITER 2917 NEW BEST:: SOT 298449 SOS 242896 HAS SOPS 242714 HAS SOUS 47343 HAS SOUPS 47161 WITH SCORE 47403.896
AT ITER 2918 NEW BEST:: SOT 298444 SOS 242891 HAS SOPS 242709 HAS SOUS 47333 HAS SOUPS 47151 WITH SCORE 47393.891
AT ITER 2922 NEW BEST:: SOT 298444 SOS 242891 HAS SOPS 242709 HAS SOUS 47324 HAS SOUPS 47142 WITH SCORE 47384.891
AT ITER 2971 NEW BEST:: SOT 298435 SOS 242882 HAS SOPS 242700 HAS SOUS 47316 HAS SOUPS 47134 WITH SCORE 47376.882
AT ITER 2972 NEW BEST:: SOT 298428 SOS 242854 HAS SOPS 242672 HAS SOUS 47309 HAS SOUPS 47127 WITH SCORE 47369.854
AT ITER 2984 NEW BEST:: SOT 298426 SOS 242850 HAS SOPS 242668 HAS SOUS 47306 HAS SOUPS 47124 WITH SCORE 47366.85
AT ITER 3015 NEW BEST:: SOT 298414 SOS 242826 HAS SOPS 242644 HAS SOUS 47282 HAS SOUPS 47100 WITH SCORE 47342.826
AT ITER 3026 NEW BEST:: SOT 298395 SOS 242788 HAS SOPS 242606 HAS SOUS 47249 HAS SOUPS 47067 WITH SCORE 47309.788
AT ITER 3027 NEW BEST:: SOT 298310 SOS 242618 HAS SOPS 242436 HAS SOUS 47091 HAS SOUPS 46909 WITH SCORE 47151.618
AT ITER 3029 NEW BEST:: SOT 298308 SOS 242616 HAS SOPS 242434 HAS SOUS 47087 HAS SOUPS 46905 WITH SCORE 47147.616
AT ITER 3045 NEW BEST:: SOT 298321 SOS 242628 HAS SOPS 242446 HAS SOUS 47086 HAS SOUPS 46904 WITH SCORE 47146.628
AT ITER 3047 NEW BEST:: SOT 298307 SOS 242632 HAS SOPS 242450 HAS SOUS 47074 HAS SOUPS 46892 WITH SCORE 47134.632
AT ITER 3066 NEW BEST:: SOT 298263 SOS 242632 HAS SOPS 242450 HAS SOUS 47030 HAS SOUPS 46848 WITH SCORE 47090.632
AT ITER 3067 NEW BEST:: SOT 298255 SOS 242616 HAS SOPS 242434 HAS SOUS 47014 HAS SOUPS 46832 WITH SCORE 47074.616
AT ITER 3077 NEW BEST:: SOT 298249 SOS 242610 HAS SOPS 242428 HAS SOUS 47010 HAS SOUPS 46828 WITH SCORE 47070.61
AT ITER 3095 NEW BEST:: SOT 298267 SOS 242524 HAS SOPS 242342 HAS SOUS 46998 HAS SOUPS 46816 WITH SCORE 47058.524
AT ITER 3104 NEW BEST:: SOT 298267 SOS 242524 HAS SOPS 242342 HAS SOUS 46997 HAS SOUPS 46815 WITH SCORE 47057.524
AT ITER 3108 NEW BEST:: SOT 298282 SOS 242539 HAS SOPS 242357 HAS SOUS 46988 HAS SOUPS 46806 WITH SCORE 47048.539
AT ITER 3110 NEW BEST:: SOT 298281 SOS 242538 HAS SOPS 242356 HAS SOUS 46986 HAS SOUPS 46804 WITH SCORE 47046.538
AT ITER 3126 NEW BEST:: SOT 298272 SOS 242520 HAS SOPS 242338 HAS SOUS 46968 HAS SOUPS 46786 WITH SCORE 47028.52
AT ITER 3155 NEW BEST:: SOT 298261 SOS 242520 HAS SOPS 242338 HAS SOUS 46957 HAS SOUPS 46775 WITH SCORE 47017.52
AT ITER 3215 NEW BEST:: SOT 298259 SOS 242518 HAS SOPS 242336 HAS SOUS 46953 HAS SOUPS 46771 WITH SCORE 47013.518
AT ITER 3234 NEW BEST:: SOT 298230 SOS 242469 HAS SOPS 242287 HAS SOUS 46911 HAS SOUPS 46729 WITH SCORE 46971.469
AT ITER 3271 NEW BEST:: SOT 298221 SOS 242460 HAS SOPS 242278 HAS SOUS 46893 HAS SOUPS 46711 WITH SCORE 46953.46
AT ITER 3273 NEW BEST:: SOT 298201 SOS 242456 HAS SOPS 242274 HAS SOUS 46866 HAS SOUPS 46684 WITH SCORE 46926.456
AT ITER 3284 NEW BEST:: SOT 298197 SOS 242452 HAS SOPS 242270 HAS SOUS 46862 HAS SOUPS 46680 WITH SCORE 46922.452
AT ITER 3330 NEW BEST:: SOT 298175 SOS 242408 HAS SOPS 242226 HAS SOUS 46829 HAS SOUPS 46647 WITH SCORE 46889.408
AT ITER 3336 NEW BEST:: SOT 298173 SOS 242404 HAS SOPS 242222 HAS SOUS 46818 HAS SOUPS 46636 WITH SCORE 46878.404
AT ITER 3338 NEW BEST:: SOT 298173 SOS 242404 HAS SOPS 242222 HAS SOUS 46787 HAS SOUPS 46605 WITH SCORE 46847.404
AT ITER 3383 NEW BEST:: SOT 298308 SOS 242539 HAS SOPS 242357 HAS SOUS 46782 HAS SOUPS 46600 WITH SCORE 46842.539
AT ITER 3390 NEW BEST:: SOT 298303 SOS 242534 HAS SOPS 242352 HAS SOUS 46772 HAS SOUPS 46590 WITH SCORE 46832.534
AT ITER 3391 NEW BEST:: SOT 298303 SOS 242534 HAS SOPS 242352 HAS SOUS 46756 HAS SOUPS 46574 WITH SCORE 46816.534
AT ITER 3417 NEW BEST:: SOT 298304 SOS 242535 HAS SOPS 242353 HAS SOUS 46725 HAS SOUPS 46543 WITH SCORE 46785.535
AT ITER 3474 NEW BEST:: SOT 298234 SOS 242465 HAS SOPS 242283 HAS SOUS 46725 HAS SOUPS 46543 WITH SCORE 46785.465
AT ITER 3515 NEW BEST:: SOT 298232 SOS 242373 HAS SOPS 242191 HAS SOUS 46706 HAS SOUPS 46524 WITH SCORE 46766.373
AT ITER 3520 NEW BEST:: SOT 298221 SOS 242351 HAS SOPS 242169 HAS SOUS 46690 HAS SOUPS 46508 WITH SCORE 46750.351
AT ITER 3538 NEW BEST:: SOT 298187 SOS 242192 HAS SOPS 242010 HAS SOUS 46650 HAS SOUPS 46468 WITH SCORE 46710.192
AT ITER 3545 NEW BEST:: SOT 298186 SOS 242191 HAS SOPS 242009 HAS SOUS 46649 HAS SOUPS 46467 WITH SCORE 46709.191
AT ITER 3686 NEW BEST:: SOT 298165 SOS 242170 HAS SOPS 241988 HAS SOUS 46598 HAS SOUPS 46416 WITH SCORE 46658.17
AT ITER 3711 NEW BEST:: SOT 298163 SOS 242166 HAS SOPS 241984 HAS SOUS 46596 HAS SOUPS 46414 WITH SCORE 46656.166
AT ITER 3715 NEW BEST:: SOT 297672 SOS 241675 HAS SOPS 241493 HAS SOUS 46595 HAS SOUPS 46413 WITH SCORE 46654.675
AT ITER 3719 NEW BEST:: SOT 297659 SOS 241662 HAS SOPS 241480 HAS SOUS 46569 HAS SOUPS 46387 WITH SCORE 46628.662
AT ITER 3722 NEW BEST:: SOT 297627 SOS 241630 HAS SOPS 241448 HAS SOUS 46537 HAS SOUPS 46355 WITH SCORE 46596.63
AT ITER 3723 NEW BEST:: SOT 297617 SOS 241540 HAS SOPS 241358 HAS SOUS 46492 HAS SOUPS 46310 WITH SCORE 46551.54
AT ITER 3729 NEW BEST:: SOT 297580 SOS 241503 HAS SOPS 241392 HAS SOUS 46418 HAS SOUPS 46307 WITH SCORE 46548.503
AT ITER 3765 NEW BEST:: SOT 297606 SOS 241504 HAS SOPS 241393 HAS SOUS 46416 HAS SOUPS 46305 WITH SCORE 46546.504
AT ITER 3804 NEW BEST:: SOT 297603 SOS 241501 HAS SOPS 241390 HAS SOUS 46410 HAS SOUPS 46299 WITH SCORE 46540.501
AT ITER 3807 NEW BEST:: SOT 297604 SOS 241503 HAS SOPS 241392 HAS SOUS 46401 HAS SOUPS 46290 WITH SCORE 46531.503
AT ITER 3838 NEW BEST:: SOT 297643 SOS 240869 HAS SOPS 240758 HAS SOUS 46389 HAS SOUPS 46278 WITH SCORE 46518.869
AT ITER 3849 NEW BEST:: SOT 297643 SOS 240869 HAS SOPS 240758 HAS SOUS 46374 HAS SOUPS 46263 WITH SCORE 46503.869
AT ITER 3927 NEW BEST:: SOT 297629 SOS 240961 HAS SOPS 240850 HAS SOUS 46365 HAS SOUPS 46254 WITH SCORE 46494.961
AT ITER 3938 NEW BEST:: SOT 297627 SOS 240959 HAS SOPS 240848 HAS SOUS 46360 HAS SOUPS 46249 WITH SCORE 46489.959
AT ITER 3992 NEW BEST:: SOT 297625 SOS 240955 HAS SOPS 240844 HAS SOUS 46358 HAS SOUPS 46247 WITH SCORE 46487.955
AT ITER 4016 NEW BEST:: SOT 297557 SOS 240896 HAS SOPS 240785 HAS SOUS 46301 HAS SOUPS 46190 WITH SCORE 46430.896
AT ITER 4018 NEW BEST:: SOT 297562 SOS 240906 HAS SOPS 240795 HAS SOUS 46298 HAS SOUPS 46187 WITH SCORE 46427.906
AT ITER 4028 NEW BEST:: SOT 297554 SOS 240898 HAS SOPS 240787 HAS SOUS 46282 HAS SOUPS 46171 WITH SCORE 46411.898
AT ITER 4056 NEW BEST:: SOT 297540 SOS 240884 HAS SOPS 240773 HAS SOUS 46274 HAS SOUPS 46163 WITH SCORE 46403.884
AT ITER 4073 NEW BEST:: SOT 297533 SOS 240877 HAS SOPS 240766 HAS SOUS 46266 HAS SOUPS 46155 WITH SCORE 46395.877
AT ITER 4112 NEW BEST:: SOT 297536 SOS 240883 HAS SOPS 240772 HAS SOUS 46258 HAS SOUPS 46147 WITH SCORE 46387.883
AT ITER 4124 NEW BEST:: SOT 297456 SOS 240826 HAS SOPS 240715 HAS SOUS 46201 HAS SOUPS 46090 WITH SCORE 46330.826
AT ITER 4214 NEW BEST:: SOT 297448 SOS 240810 HAS SOPS 240699 HAS SOUS 46180 HAS SOUPS 46069 WITH SCORE 46309.81
AT ITER 4245 NEW BEST:: SOT 297453 SOS 240808 HAS SOPS 240697 HAS SOUS 46170 HAS SOUPS 46059 WITH SCORE 46299.808
AT ITER 4328 NEW BEST:: SOT 297438 SOS 240793 HAS SOPS 240682 HAS SOUS 46146 HAS SOUPS 46035 WITH SCORE 46275.793
AT ITER 4341 NEW BEST:: SOT 297456 SOS 240755 HAS SOPS 240644 HAS SOUS 46140 HAS SOUPS 46029 WITH SCORE 46269.755
AT ITER 4350 NEW BEST:: SOT 297453 SOS 240752 HAS SOPS 240641 HAS SOUS 46130 HAS SOUPS 46019 WITH SCORE 46259.752
AT ITER 4364 NEW BEST:: SOT 297339 SOS 240638 HAS SOPS 240527 HAS SOUS 46128 HAS SOUPS 46017 WITH SCORE 46257.638
AT ITER 4396 NEW BEST:: SOT 297339 SOS 240606 HAS SOPS 240495 HAS SOUS 46128 HAS SOUPS 46017 WITH SCORE 46257.606
AT ITER 4405 NEW BEST:: SOT 297340 SOS 240608 HAS SOPS 240497 HAS SOUS 46127 HAS SOUPS 46016 WITH SCORE 46256.608
AT ITER 4438 NEW BEST:: SOT 297323 SOS 240640 HAS SOPS 240529 HAS SOUS 46119 HAS SOUPS 46008 WITH SCORE 46248.64
AT ITER 4452 NEW BEST:: SOT 297319 SOS 240632 HAS SOPS 240521 HAS SOUS 46111 HAS SOUPS 46000 WITH SCORE 46240.632
AT ITER 4464 NEW BEST:: SOT 297314 SOS 240622 HAS SOPS 240511 HAS SOUS 46101 HAS SOUPS 45990 WITH SCORE 46230.622
AT ITER 4466 NEW BEST:: SOT 297305 SOS 240604 HAS SOPS 240493 HAS SOUS 46096 HAS SOUPS 45985 WITH SCORE 46225.604
AT ITER 4489 NEW BEST:: SOT 297229 SOS 240815 HAS SOPS 240704 HAS SOUS 46021 HAS SOUPS 45910 WITH SCORE 46150.815
AT ITER 4498 NEW BEST:: SOT 297219 SOS 240815 HAS SOPS 240704 HAS SOUS 46011 HAS SOUPS 45900 WITH SCORE 46140.815
AT ITER 4568 NEW BEST:: SOT 297205 SOS 240807 HAS SOPS 240696 HAS SOUS 45993 HAS SOUPS 45882 WITH SCORE 46122.807
AT ITER 4570 NEW BEST:: SOT 297204 SOS 240805 HAS SOPS 240694 HAS SOUS 45992 HAS SOUPS 45881 WITH SCORE 46121.805
AT ITER 4595 NEW BEST:: SOT 297197 SOS 240798 HAS SOPS 240687 HAS SOUS 45978 HAS SOUPS 45867 WITH SCORE 46107.798
AT ITER 4622 NEW BEST:: SOT 297192 SOS 240778 HAS SOPS 240667 HAS SOUS 45973 HAS SOUPS 45862 WITH SCORE 46102.778
AT ITER 4623 NEW BEST:: SOT 297191 SOS 240776 HAS SOPS 240665 HAS SOUS 45971 HAS SOUPS 45860 WITH SCORE 46100.776
AT ITER 4624 NEW BEST:: SOT 297186 SOS 240766 HAS SOPS 240655 HAS SOUS 45951 HAS SOUPS 45840 WITH SCORE 46080.766
AT ITER 4627 NEW BEST:: SOT 297173 SOS 240764 HAS SOPS 240653 HAS SOUS 45949 HAS SOUPS 45838 WITH SCORE 46078.764
AT ITER 4635 NEW BEST:: SOT 297494 SOS 241133 HAS SOPS 241022 HAS SOUS 45934 HAS SOUPS 45823 WITH SCORE 46064.133
AT ITER 4675 NEW BEST:: SOT 297464 SOS 241133 HAS SOPS 241022 HAS SOUS 45904 HAS SOUPS 45793 WITH SCORE 46034.133
AT ITER 4683 NEW BEST:: SOT 297456 SOS 241125 HAS SOPS 241014 HAS SOUS 45896 HAS SOUPS 45785 WITH SCORE 46026.125
AT ITER 4697 NEW BEST:: SOT 297448 SOS 241109 HAS SOPS 240998 HAS SOUS 45888 HAS SOUPS 45777 WITH SCORE 46018.109
AT ITER 4714 NEW BEST:: SOT 297447 SOS 241108 HAS SOPS 240997 HAS SOUS 45886 HAS SOUPS 45775 WITH SCORE 46016.108
AT ITER 4720 NEW BEST:: SOT 297433 SOS 241094 HAS SOPS 240983 HAS SOUS 45858 HAS SOUPS 45747 WITH SCORE 45988.094
AT ITER 4722 NEW BEST:: SOT 297417 SOS 241078 HAS SOPS 240967 HAS SOUS 45836 HAS SOUPS 45725 WITH SCORE 45966.078
AT ITER 4758 NEW BEST:: SOT 297087 SOS 240748 HAS SOPS 240637 HAS SOUS 45836 HAS SOUPS 45725 WITH SCORE 45965.748
AT ITER 4762 NEW BEST:: SOT 297087 SOS 240702 HAS SOPS 240591 HAS SOUS 45836 HAS SOUPS 45725 WITH SCORE 45965.702
AT ITER 4816 NEW BEST:: SOT 297079 SOS 240694 HAS SOPS 240583 HAS SOUS 45820 HAS SOUPS 45709 WITH SCORE 45949.694
AT ITER 4838 NEW BEST:: SOT 297078 SOS 240693 HAS SOPS 240582 HAS SOUS 45818 HAS SOUPS 45707 WITH SCORE 45947.693
AT ITER 4844 NEW BEST:: SOT 297078 SOS 240691 HAS SOPS 240580 HAS SOUS 45814 HAS SOUPS 45703 WITH SCORE 45943.691
AT ITER 4847 NEW BEST:: SOT 297078 SOS 240979 HAS SOPS 240868 HAS SOUS 45806 HAS SOUPS 45695 WITH SCORE 45935.979
AT ITER 4867 NEW BEST:: SOT 297074 SOS 240971 HAS SOPS 240860 HAS SOUS 45798 HAS SOUPS 45687 WITH SCORE 45927.971
AT ITER 4923 NEW BEST:: SOT 297069 SOS 240966 HAS SOPS 240855 HAS SOUS 45788 HAS SOUPS 45677 WITH SCORE 45917.966
AT ITER 4951 NEW BEST:: SOT 297171 SOS 241060 HAS SOPS 240949 HAS SOUS 45770 HAS SOUPS 45659 WITH SCORE 45900.06
AT ITER 4954 NEW BEST:: SOT 297145 SOS 241062 HAS SOPS 240951 HAS SOUS 45744 HAS SOUPS 45633 WITH SCORE 45874.062
AT ITER 4995 NEW BEST:: SOT 297139 SOS 241050 HAS SOPS 240939 HAS SOUS 45732 HAS SOUPS 45621 WITH SCORE 45862.05
AT ITER 5011 NEW BEST:: SOT 297129 SOS 241030 HAS SOPS 240919 HAS SOUS 45713 HAS SOUPS 45602 WITH SCORE 45843.03
AT ITER 5036 NEW BEST:: SOT 297126 SOS 241078 HAS SOPS 240967 HAS SOUS 45710 HAS SOUPS 45599 WITH SCORE 45840.078
AT ITER 5042 NEW BEST:: SOT 297116 SOS 241068 HAS SOPS 240957 HAS SOUS 45690 HAS SOUPS 45579 WITH SCORE 45820.068
AT ITER 5045 NEW BEST:: SOT 297104 SOS 241056 HAS SOPS 240945 HAS SOUS 45678 HAS SOUPS 45567 WITH SCORE 45808.056
AT ITER 5083 NEW BEST:: SOT 297104 SOS 241048 HAS SOPS 240937 HAS SOUS 45678 HAS SOUPS 45567 WITH SCORE 45808.048
AT ITER 5123 NEW BEST:: SOT 297638 SOS 241582 HAS SOPS 241471 HAS SOUS 45672 HAS SOUPS 45561 WITH SCORE 45802.582
AT ITER 5166 NEW BEST:: SOT 297637 SOS 241580 HAS SOPS 241469 HAS SOUS 45670 HAS SOUPS 45559 WITH SCORE 45800.58
AT ITER 5169 NEW BEST:: SOT 297627 SOS 241570 HAS SOPS 241459 HAS SOUS 45650 HAS SOUPS 45539 WITH SCORE 45780.57
AT ITER 5184 NEW BEST:: SOT 297624 SOS 241567 HAS SOPS 241456 HAS SOUS 45644 HAS SOUPS 45533 WITH SCORE 45774.567
AT ITER 5205 NEW BEST:: SOT 297579 SOS 241569 HAS SOPS 241458 HAS SOUS 45598 HAS SOUPS 45487 WITH SCORE 45728.569
AT ITER 5232 NEW BEST:: SOT 297569 SOS 241549 HAS SOPS 241438 HAS SOUS 45578 HAS SOUPS 45467 WITH SCORE 45708.549
AT ITER 5236 NEW BEST:: SOT 297553 SOS 241517 HAS SOPS 241406 HAS SOUS 45559 HAS SOUPS 45448 WITH SCORE 45689.517
AT ITER 5283 NEW BEST:: SOT 297551 SOS 241513 HAS SOPS 241402 HAS SOUS 45556 HAS SOUPS 45445 WITH SCORE 45686.513
AT ITER 5292 NEW BEST:: SOT 297545 SOS 241507 HAS SOPS 241396 HAS SOUS 45544 HAS SOUPS 45433 WITH SCORE 45674.507
AT ITER 5306 NEW BEST:: SOT 297536 SOS 241498 HAS SOPS 241387 HAS SOUS 45537 HAS SOUPS 45426 WITH SCORE 45667.498
AT ITER 5310 NEW BEST:: SOT 297523 SOS 241498 HAS SOPS 241387 HAS SOUS 45511 HAS SOUPS 45400 WITH SCORE 45641.498
AT ITER 5353 NEW BEST:: SOT 297521 SOS 241496 HAS SOPS 241385 HAS SOUS 45507 HAS SOUPS 45396 WITH SCORE 45637.496
AT ITER 5384 NEW BEST:: SOT 297521 SOS 241490 HAS SOPS 241379 HAS SOUS 45507 HAS SOUPS 45396 WITH SCORE 45637.49
AT ITER 5392 NEW BEST:: SOT 297850 SOS 241819 HAS SOPS 241708 HAS SOUS 45506 HAS SOUPS 45395 WITH SCORE 45636.819
AT ITER 5402 NEW BEST:: SOT 297850 SOS 241783 HAS SOPS 241672 HAS SOUS 45506 HAS SOUPS 45395 WITH SCORE 45636.783
AT ITER 5446 NEW BEST:: SOT 297849 SOS 241782 HAS SOPS 241671 HAS SOUS 45504 HAS SOUPS 45393 WITH SCORE 45634.782
AT ITER 5471 NEW BEST:: SOT 297849 SOS 241782 HAS SOPS 241671 HAS SOUS 45489 HAS SOUPS 45378 WITH SCORE 45619.782
AT ITER 5492 NEW BEST:: SOT 297838 SOS 241760 HAS SOPS 241649 HAS SOUS 45467 HAS SOUPS 45356 WITH SCORE 45597.76
AT ITER 5499 NEW BEST:: SOT 297837 SOS 241758 HAS SOPS 241647 HAS SOUS 45465 HAS SOUPS 45354 WITH SCORE 45595.758
AT ITER 5521 NEW BEST:: SOT 297834 SOS 241758 HAS SOPS 241647 HAS SOUS 45462 HAS SOUPS 45351 WITH SCORE 45592.758
AT ITER 5541 NEW BEST:: SOT 297834 SOS 241758 HAS SOPS 241647 HAS SOUS 45460 HAS SOUPS 45349 WITH SCORE 45590.758
AT ITER 5599 NEW BEST:: SOT 297834 SOS 241726 HAS SOPS 241615 HAS SOUS 45448 HAS SOUPS 45337 WITH SCORE 45578.726
AT ITER 5613 NEW BEST:: SOT 297831 SOS 241723 HAS SOPS 241612 HAS SOUS 45440 HAS SOUPS 45329 WITH SCORE 45570.723
AT ITER 5632 NEW BEST:: SOT 297817 SOS 241709 HAS SOPS 241614 HAS SOUS 45412 HAS SOUPS 45317 WITH SCORE 45558.709
AT ITER 5738 NEW BEST:: SOT 297813 SOS 241673 HAS SOPS 241578 HAS SOUS 45408 HAS SOUPS 45313 WITH SCORE 45554.673
AT ITER 5742 NEW BEST:: SOT 297802 SOS 241651 HAS SOPS 241556 HAS SOUS 45388 HAS SOUPS 45293 WITH SCORE 45534.651
AT ITER 5756 NEW BEST:: SOT 297768 SOS 241617 HAS SOPS 241522 HAS SOUS 45354 HAS SOUPS 45259 WITH SCORE 45500.617
AT ITER 5772 NEW BEST:: SOT 297768 SOS 241617 HAS SOPS 241522 HAS SOUS 45346 HAS SOUPS 45251 WITH SCORE 45492.617
AT ITER 5789 NEW BEST:: SOT 297748 SOS 241651 HAS SOPS 241556 HAS SOUS 45319 HAS SOUPS 45224 WITH SCORE 45465.651
AT ITER 5818 NEW BEST:: SOT 297746 SOS 241647 HAS SOPS 241552 HAS SOUS 45315 HAS SOUPS 45220 WITH SCORE 45461.647
AT ITER 5847 NEW BEST:: SOT 297732 SOS 241633 HAS SOPS 241538 HAS SOUS 45301 HAS SOUPS 45206 WITH SCORE 45447.633
AT ITER 5864 NEW BEST:: SOT 297729 SOS 241627 HAS SOPS 241532 HAS SOUS 45295 HAS SOUPS 45200 WITH SCORE 45441.627
AT ITER 5891 NEW BEST:: SOT 297729 SOS 241589 HAS SOPS 241494 HAS SOUS 45295 HAS SOUPS 45200 WITH SCORE 45441.589
AT ITER 6021 NEW BEST:: SOT 297724 SOS 241584 HAS SOPS 241489 HAS SOUS 45290 HAS SOUPS 45195 WITH SCORE 45436.584
AT ITER 6047 NEW BEST:: SOT 297715 SOS 241748 HAS SOPS 241653 HAS SOUS 45280 HAS SOUPS 45185 WITH SCORE 45426.748
AT ITER 6157 NEW BEST:: SOT 297685 SOS 241748 HAS SOPS 241653 HAS SOUS 45240 HAS SOUPS 45145 WITH SCORE 45386.748
AT ITER 6178 NEW BEST:: SOT 297698 SOS 241744 HAS SOPS 241649 HAS SOUS 45236 HAS SOUPS 45141 WITH SCORE 45382.744
AT ITER 6216 NEW BEST:: SOT 297692 SOS 241738 HAS SOPS 241643 HAS SOUS 45224 HAS SOUPS 45129 WITH SCORE 45370.738
AT ITER 6250 NEW BEST:: SOT 297687 SOS 241806 HAS SOPS 241711 HAS SOUS 45218 HAS SOUPS 45123 WITH SCORE 45364.806
AT ITER 6281 NEW BEST:: SOT 297686 SOS 241839 HAS SOPS 241744 HAS SOUS 45217 HAS SOUPS 45122 WITH SCORE 45363.839
AT ITER 6330 NEW BEST:: SOT 297685 SOS 241844 HAS SOPS 241749 HAS SOUS 45216 HAS SOUPS 45121 WITH SCORE 45362.844
AT ITER 6367 NEW BEST:: SOT 297684 SOS 241843 HAS SOPS 241748 HAS SOUS 45214 HAS SOUPS 45119 WITH SCORE 45360.843
AT ITER 6382 NEW BEST:: SOT 297654 SOS 241768 HAS SOPS 241673 HAS SOUS 45170 HAS SOUPS 45075 WITH SCORE 45316.768
AT ITER 6465 NEW BEST:: SOT 297649 SOS 241758 HAS SOPS 241663 HAS SOUS 45157 HAS SOUPS 45062 WITH SCORE 45303.758
AT ITER 6469 NEW BEST:: SOT 297628 SOS 241737 HAS SOPS 241642 HAS SOUS 45106 HAS SOUPS 45011 WITH SCORE 45252.737
AT ITER 6472 NEW BEST:: SOT 297625 SOS 241734 HAS SOPS 241639 HAS SOUS 45103 HAS SOUPS 45008 WITH SCORE 45249.734
AT ITER 6532 NEW BEST:: SOT 297621 SOS 241730 HAS SOPS 241635 HAS SOUS 45095 HAS SOUPS 45000 WITH SCORE 45241.73
AT ITER 6571 NEW BEST:: SOT 297619 SOS 241736 HAS SOPS 241641 HAS SOUS 45093 HAS SOUPS 44998 WITH SCORE 45239.736
AT ITER 6597 NEW BEST:: SOT 297593 SOS 241702 HAS SOPS 241607 HAS SOUS 45077 HAS SOUPS 44982 WITH SCORE 45223.702
AT ITER 6599 NEW BEST:: SOT 297592 SOS 241701 HAS SOPS 241606 HAS SOUS 45075 HAS SOUPS 44980 WITH SCORE 45221.701
AT ITER 6621 NEW BEST:: SOT 297591 SOS 241673 HAS SOPS 241578 HAS SOUS 45073 HAS SOUPS 44978 WITH SCORE 45219.673
AT ITER 6668 NEW BEST:: SOT 297597 SOS 241679 HAS SOPS 241584 HAS SOUS 45069 HAS SOUPS 44974 WITH SCORE 45215.679
AT ITER 6670 NEW BEST:: SOT 297569 SOS 241779 HAS SOPS 241684 HAS SOUS 45068 HAS SOUPS 44973 WITH SCORE 45214.779
AT ITER 6730 NEW BEST:: SOT 297565 SOS 241775 HAS SOPS 241684 HAS SOUS 45064 HAS SOUPS 44973 WITH SCORE 45214.775
AT ITER 6752 NEW BEST:: SOT 297573 SOS 241773 HAS SOPS 241682 HAS SOUS 45022 HAS SOUPS 44931 WITH SCORE 45172.773
AT ITER 6866 NEW BEST:: SOT 297567 SOS 241773 HAS SOPS 241682 HAS SOUS 45016 HAS SOUPS 44925 WITH SCORE 45166.773
AT ITER 6906 NEW BEST:: SOT 297556 SOS 241707 HAS SOPS 241616 HAS SOUS 44995 HAS SOUPS 44904 WITH SCORE 45145.707
AT ITER 6915 NEW BEST:: SOT 297551 SOS 241709 HAS SOPS 241618 HAS SOUS 44989 HAS SOUPS 44898 WITH SCORE 45139.709
AT ITER 6934 NEW BEST:: SOT 297531 SOS 242167 HAS SOPS 242076 HAS SOUS 44969 HAS SOUPS 44878 WITH SCORE 45120.167
AT ITER 6949 NEW BEST:: SOT 297523 SOS 242159 HAS SOPS 242068 HAS SOUS 44966 HAS SOUPS 44875 WITH SCORE 45117.159
AT ITER 7045 NEW BEST:: SOT 297536 SOS 242171 HAS SOPS 242080 HAS SOUS 44963 HAS SOUPS 44872 WITH SCORE 45114.171
AT ITER 7046 NEW BEST:: SOT 297517 SOS 242133 HAS SOPS 242042 HAS SOUS 44906 HAS SOUPS 44815 WITH SCORE 45057.133
AT ITER 7074 NEW BEST:: SOT 297515 SOS 242129 HAS SOPS 242038 HAS SOUS 44902 HAS SOUPS 44811 WITH SCORE 45053.129
AT ITER 7108 NEW BEST:: SOT 297515 SOS 242127 HAS SOPS 242036 HAS SOUS 44900 HAS SOUPS 44809 WITH SCORE 45051.127
AT ITER 7114 NEW BEST:: SOT 297507 SOS 242111 HAS SOPS 242020 HAS SOUS 44892 HAS SOUPS 44801 WITH SCORE 45043.111
AT ITER 7125 NEW BEST:: SOT 296669 SOS 241273 HAS SOPS 241182 HAS SOUS 44890 HAS SOUPS 44799 WITH SCORE 45040.273
AT ITER 7182 NEW BEST:: SOT 296663 SOS 241235 HAS SOPS 241144 HAS SOUS 44884 HAS SOUPS 44793 WITH SCORE 45034.235
AT ITER 7379 NEW BEST:: SOT 296656 SOS 241221 HAS SOPS 241130 HAS SOUS 44870 HAS SOUPS 44779 WITH SCORE 45020.221
AT ITER 7386 NEW BEST:: SOT 296622 SOS 241187 HAS SOPS 241113 HAS SOUS 44819 HAS SOUPS 44745 WITH SCORE 44986.187
AT ITER 7410 NEW BEST:: SOT 296618 SOS 241307 HAS SOPS 241233 HAS SOUS 44815 HAS SOUPS 44741 WITH SCORE 44982.307
AT ITER 7440 NEW BEST:: SOT 296799 SOS 241485 HAS SOPS 241411 HAS SOUS 44811 HAS SOUPS 44737 WITH SCORE 44978.485
AT ITER 7444 NEW BEST:: SOT 296796 SOS 241482 HAS SOPS 241408 HAS SOUS 44808 HAS SOUPS 44734 WITH SCORE 44975.482
AT ITER 7495 NEW BEST:: SOT 296793 SOS 241441 HAS SOPS 241367 HAS SOUS 44794 HAS SOUPS 44720 WITH SCORE 44961.441
AT ITER 7596 NEW BEST:: SOT 296792 SOS 241440 HAS SOPS 241366 HAS SOUS 44789 HAS SOUPS 44715 WITH SCORE 44956.44
AT ITER 7714 NEW BEST:: SOT 296776 SOS 241408 HAS SOPS 241334 HAS SOUS 44773 HAS SOUPS 44699 WITH SCORE 44940.408
AT ITER 7730 NEW BEST:: SOT 296728 SOS 241312 HAS SOPS 241238 HAS SOUS 44723 HAS SOUPS 44649 WITH SCORE 44890.312
AT ITER 7748 NEW BEST:: SOT 296715 SOS 241299 HAS SOPS 241225 HAS SOUS 44710 HAS SOUPS 44636 WITH SCORE 44877.299
AT ITER 7872 NEW BEST:: SOT 296711 SOS 241329 HAS SOPS 241255 HAS SOUS 44702 HAS SOUPS 44628 WITH SCORE 44869.329
AT ITER 8009 NEW BEST:: SOT 296703 SOS 241321 HAS SOPS 241247 HAS SOUS 44686 HAS SOUPS 44612 WITH SCORE 44853.321
AT ITER 8053 NEW BEST:: SOT 296700 SOS 241285 HAS SOPS 241211 HAS SOUS 44682 HAS SOUPS 44608 WITH SCORE 44849.285
AT ITER 8062 NEW BEST:: SOT 296700 SOS 241349 HAS SOPS 241275 HAS SOUS 44681 HAS SOUPS 44607 WITH SCORE 44848.349
AT ITER 8205 NEW BEST:: SOT 296058 SOS 240707 HAS SOPS 240633 HAS SOUS 44654 HAS SOUPS 44580 WITH SCORE 44820.707
AT ITER 8216 NEW BEST:: SOT 296050 SOS 240681 HAS SOPS 240607 HAS SOUS 44646 HAS SOUPS 44572 WITH SCORE 44812.681
AT ITER 8287 NEW BEST:: SOT 296043 SOS 240667 HAS SOPS 240593 HAS SOUS 44621 HAS SOUPS 44547 WITH SCORE 44787.667
AT ITER 8300 NEW BEST:: SOT 296040 SOS 240661 HAS SOPS 240587 HAS SOUS 44618 HAS SOUPS 44544 WITH SCORE 44784.661
AT ITER 8317 NEW BEST:: SOT 296030 SOS 240651 HAS SOPS 240577 HAS SOUS 44598 HAS SOUPS 44524 WITH SCORE 44764.651
AT ITER 8371 NEW BEST:: SOT 296029 SOS 240650 HAS SOPS 240576 HAS SOUS 44597 HAS SOUPS 44523 WITH SCORE 44763.65
AT ITER 8475 NEW BEST:: SOT 296023 SOS 240644 HAS SOPS 240570 HAS SOUS 44585 HAS SOUPS 44511 WITH SCORE 44751.644
AT ITER 8567 NEW BEST:: SOT 296016 SOS 240638 HAS SOPS 240564 HAS SOUS 44579 HAS SOUPS 44505 WITH SCORE 44745.638
AT ITER 8640 NEW BEST:: SOT 296007 SOS 240620 HAS SOPS 240546 HAS SOUS 44561 HAS SOUPS 44487 WITH SCORE 44727.62
AT ITER 8656 NEW BEST:: SOT 296005 SOS 240616 HAS SOPS 240542 HAS SOUS 44560 HAS SOUPS 44486 WITH SCORE 44726.616
AT ITER 8723 NEW BEST:: SOT 295972 SOS 240596 HAS SOPS 240522 HAS SOUS 44539 HAS SOUPS 44465 WITH SCORE 44705.596
AT ITER 8726 NEW BEST:: SOT 295970 SOS 240594 HAS SOPS 240520 HAS SOUS 44535 HAS SOUPS 44461 WITH SCORE 44701.594
AT ITER 8786 NEW BEST:: SOT 295969 SOS 240593 HAS SOPS 240519 HAS SOUS 44533 HAS SOUPS 44459 WITH SCORE 44699.593
AT ITER 8856 NEW BEST:: SOT 295967 SOS 240577 HAS SOPS 240503 HAS SOUS 44526 HAS SOUPS 44452 WITH SCORE 44692.577
AT ITER 8859 NEW BEST:: SOT 295968 SOS 240555 HAS SOPS 240481 HAS SOUS 44520 HAS SOUPS 44446 WITH SCORE 44686.555
AT ITER 8882 NEW BEST:: SOT 295912 SOS 240499 HAS SOPS 240421 HAS SOUS 44524 HAS SOUPS 44446 WITH SCORE 44686.499
AT ITER 8930 NEW BEST:: SOT 295896 SOS 240483 HAS SOPS 240405 HAS SOUS 44492 HAS SOUPS 44414 WITH SCORE 44654.483
AT ITER 8935 NEW BEST:: SOT 295895 SOS 240477 HAS SOPS 240399 HAS SOUS 44489 HAS SOUPS 44411 WITH SCORE 44651.477
AT ITER 8944 NEW BEST:: SOT 295895 SOS 240439 HAS SOPS 240361 HAS SOUS 44489 HAS SOUPS 44411 WITH SCORE 44651.439
AT ITER 8965 NEW BEST:: SOT 295883 SOS 240415 HAS SOPS 240337 HAS SOUS 44482 HAS SOUPS 44404 WITH SCORE 44644.415
AT ITER 8975 NEW BEST:: SOT 295875 SOS 240433 HAS SOPS 240355 HAS SOUS 44470 HAS SOUPS 44392 WITH SCORE 44632.433
AT ITER 8987 NEW BEST:: SOT 295571 SOS 240129 HAS SOPS 240051 HAS SOUS 44460 HAS SOUPS 44382 WITH SCORE 44622.129
AT ITER 8998 NEW BEST:: SOT 295570 SOS 240187 HAS SOPS 240049 HAS SOUS 44518 HAS SOUPS 44380 WITH SCORE 44620.187
AT ITER 9041 NEW BEST:: SOT 295568 SOS 240183 HAS SOPS 240045 HAS SOUS 44516 HAS SOUPS 44378 WITH SCORE 44618.183
AT ITER 9069 NEW BEST:: SOT 295532 SOS 240029 HAS SOPS 239891 HAS SOUS 44480 HAS SOUPS 44342 WITH SCORE 44582.029
AT ITER 9121 NEW BEST:: SOT 295528 SOS 240025 HAS SOPS 239887 HAS SOUS 44475 HAS SOUPS 44337 WITH SCORE 44577.025
AT ITER 9210 NEW BEST:: SOT 296063 SOS 240560 HAS SOPS 240422 HAS SOUS 44470 HAS SOUPS 44332 WITH SCORE 44572.56
AT ITER 9211 NEW BEST:: SOT 296061 SOS 240564 HAS SOPS 240426 HAS SOUS 44468 HAS SOUPS 44330 WITH SCORE 44570.564
AT ITER 9264 NEW BEST:: SOT 296058 SOS 240561 HAS SOPS 240423 HAS SOUS 44465 HAS SOUPS 44327 WITH SCORE 44567.561
AT ITER 9268 NEW BEST:: SOT 296048 SOS 240567 HAS SOPS 240429 HAS SOUS 44455 HAS SOUPS 44317 WITH SCORE 44557.567
AT ITER 9282 NEW BEST:: SOT 296043 SOS 240547 HAS SOPS 240409 HAS SOUS 44450 HAS SOUPS 44312 WITH SCORE 44552.547
AT ITER 9289 NEW BEST:: SOT 296039 SOS 240539 HAS SOPS 240401 HAS SOUS 44445 HAS SOUPS 44307 WITH SCORE 44547.539
AT ITER 9297 NEW BEST:: SOT 295731 SOS 240234 HAS SOPS 240096 HAS SOUS 44445 HAS SOUPS 44307 WITH SCORE 44547.234
AT ITER 9302 NEW BEST:: SOT 295719 SOS 240222 HAS SOPS 240084 HAS SOUS 44433 HAS SOUPS 44295 WITH SCORE 44535.222
AT ITER 9320 NEW BEST:: SOT 295718 SOS 240220 HAS SOPS 240082 HAS SOUS 44432 HAS SOUPS 44294 WITH SCORE 44534.22
AT ITER 9378 NEW BEST:: SOT 295718 SOS 240220 HAS SOPS 240082 HAS SOUS 44426 HAS SOUPS 44288 WITH SCORE 44528.22
AT ITER 9472 NEW BEST:: SOT 295715 SOS 240217 HAS SOPS 240079 HAS SOUS 44420 HAS SOUPS 44282 WITH SCORE 44522.217
AT ITER 9521 NEW BEST:: SOT 295715 SOS 240215 HAS SOPS 240077 HAS SOUS 44419 HAS SOUPS 44281 WITH SCORE 44521.215
AT ITER 9556 NEW BEST:: SOT 295922 SOS 240420 HAS SOPS 240282 HAS SOUS 44414 HAS SOUPS 44276 WITH SCORE 44516.42
AT ITER 9600 NEW BEST:: SOT 295912 SOS 240426 HAS SOPS 240288 HAS SOUS 44404 HAS SOUPS 44266 WITH SCORE 44506.426
AT ITER 9723 NEW BEST:: SOT 295899 SOS 240400 HAS SOPS 240262 HAS SOUS 44389 HAS SOUPS 44251 WITH SCORE 44491.4
AT ITER 9786 NEW BEST:: SOT 295899 SOS 240400 HAS SOPS 240262 HAS SOUS 44359 HAS SOUPS 44221 WITH SCORE 44461.4
AT ITER 9822 NEW BEST:: SOT 295727 SOS 240288 HAS SOPS 240150 HAS SOUS 44189 HAS SOUPS 44051 WITH SCORE 44291.288
AT ITER 9846 NEW BEST:: SOT 295719 SOS 240306 HAS SOPS 240168 HAS SOUS 44180 HAS SOUPS 44042 WITH SCORE 44282.306
AT ITER 9856 NEW BEST:: SOT 295717 SOS 240302 HAS SOPS 240164 HAS SOUS 44176 HAS SOUPS 44038 WITH SCORE 44278.302
AT ITER 9937 NEW BEST:: SOT 295717 SOS 240274 HAS SOPS 240136 HAS SOUS 44162 HAS SOUPS 44024 WITH SCORE 44264.274
AT ITER 9998 NEW BEST:: SOT 295717 SOS 240274 HAS SOPS 240136 HAS SOUS 44161 HAS SOUPS 44023 WITH SCORE 44263.274
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4061316 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16128148 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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="Anderson-PT-08"
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 Anderson-PT-08, 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 r523-tall-167987247500040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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