fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r043-tajo-167813696400112
Last Updated
May 14, 2023

About the Execution of Smart+red for BridgeAndVehicles-COL-V50P50N50

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696400112.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BridgeAndVehicles-COL-V50P50N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696400112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.1K Feb 25 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:32 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 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 13:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 13:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678775962810

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=BridgeAndVehicles-COL-V50P50N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 06:39:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 06:39:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 06:39:24] [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-14 06:39:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 06:39:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 452 ms
[2023-03-14 06:39:24] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 168 PT places and 531118.0 transition bindings in 20 ms.
[2023-03-14 06:39:25] [INFO ] Unfolded HLPN to a Petri net with 168 places and 5408 transitions 42330 arcs in 133 ms.
[2023-03-14 06:39:25] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 06:39:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 5408 transitions and 42330 arcs took 59 ms.
Total runtime 758 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V50P50N50
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: 168 places, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 42315 HAS SOUPS 42257 WITH SCORE 42852.02
AT ITER 87 NEW BEST:: SOT 608712 SOS 471200 HAS SOPS 469850 HAS SOUS 42273 HAS SOUPS 42257 WITH SCORE 42728.2
AT ITER 99 NEW BEST:: SOT 608712 SOS 471200 HAS SOPS 469850 HAS SOUS 41047 HAS SOUPS 41031 WITH SCORE 41502.2
AT ITER 102 NEW BEST:: SOT 608712 SOS 471200 HAS SOPS 469850 HAS SOUS 40229 HAS SOUPS 40213 WITH SCORE 40684.2
AT ITER 136 NEW BEST:: SOT 609030 SOS 471518 HAS SOPS 470168 HAS SOUS 38250 HAS SOUPS 38234 WITH SCORE 38705.518
AT ITER 163 NEW BEST:: SOT 609030 SOS 471518 HAS SOPS 470168 HAS SOUS 38248 HAS SOUPS 38232 WITH SCORE 38703.518
AT ITER 165 NEW BEST:: SOT 609030 SOS 471485 HAS SOPS 470135 HAS SOUS 38239 HAS SOUPS 38223 WITH SCORE 38694.485
AT ITER 197 NEW BEST:: SOT 610719 SOS 473174 HAS SOPS 471824 HAS SOUS 37017 HAS SOUPS 37001 WITH SCORE 37474.174
AT ITER 252 NEW BEST:: SOT 610752 SOS 473207 HAS SOPS 471857 HAS SOUS 36181 HAS SOUPS 36165 WITH SCORE 36638.207
AT ITER 255 NEW BEST:: SOT 610751 SOS 473206 HAS SOPS 471856 HAS SOUS 36178 HAS SOUPS 36162 WITH SCORE 36635.206
AT ITER 289 NEW BEST:: SOT 610773 SOS 473228 HAS SOPS 471878 HAS SOUS 33799 HAS SOUPS 33783 WITH SCORE 34256.228
AT ITER 295 NEW BEST:: SOT 610809 SOS 473264 HAS SOPS 471914 HAS SOUS 31742 HAS SOUPS 31726 WITH SCORE 32199.264
AT ITER 300 NEW BEST:: SOT 610808 SOS 473263 HAS SOPS 471913 HAS SOUS 31586 HAS SOUPS 31570 WITH SCORE 32043.263
AT ITER 364 NEW BEST:: SOT 610808 SOS 473263 HAS SOPS 471913 HAS SOUS 30156 HAS SOUPS 30140 WITH SCORE 30613.263
AT ITER 429 NEW BEST:: SOT 609907 SOS 473063 HAS SOPS 471713 HAS SOUS 29949 HAS SOUPS 29933 WITH SCORE 30406.063
AT ITER 446 NEW BEST:: SOT 609905 SOS 473061 HAS SOPS 471711 HAS SOUS 29949 HAS SOUPS 29933 WITH SCORE 30406.061
AT ITER 452 NEW BEST:: SOT 609905 SOS 473013 HAS SOPS 471663 HAS SOUS 29929 HAS SOUPS 29913 WITH SCORE 30386.013
AT ITER 497 NEW BEST:: SOT 610346 SOS 473454 HAS SOPS 472104 HAS SOUS 29911 HAS SOUPS 29895 WITH SCORE 30368.454
AT ITER 518 NEW BEST:: SOT 610346 SOS 473452 HAS SOPS 472102 HAS SOUS 29911 HAS SOUPS 29895 WITH SCORE 30368.452
AT ITER 528 NEW BEST:: SOT 611508 SOS 474614 HAS SOPS 473264 HAS SOUS 29832 HAS SOUPS 29816 WITH SCORE 30290.614
AT ITER 540 NEW BEST:: SOT 611508 SOS 474290 HAS SOPS 472940 HAS SOUS 29476 HAS SOUPS 29460 WITH SCORE 29934.29
AT ITER 550 NEW BEST:: SOT 611506 SOS 474288 HAS SOPS 472938 HAS SOUS 29470 HAS SOUPS 29454 WITH SCORE 29928.288
AT ITER 556 NEW BEST:: SOT 611454 SOS 474237 HAS SOPS 472887 HAS SOUS 29419 HAS SOUPS 29403 WITH SCORE 29877.237
AT ITER 593 NEW BEST:: SOT 611540 SOS 474201 HAS SOPS 472851 HAS SOUS 29416 HAS SOUPS 29400 WITH SCORE 29874.201
AT ITER 652 NEW BEST:: SOT 611540 SOS 473827 HAS SOPS 472477 HAS SOUS 29398 HAS SOUPS 29382 WITH SCORE 29855.827
AT ITER 662 NEW BEST:: SOT 611539 SOS 473826 HAS SOPS 472476 HAS SOUS 29395 HAS SOUPS 29379 WITH SCORE 29852.826
AT ITER 681 NEW BEST:: SOT 611537 SOS 473824 HAS SOPS 472474 HAS SOUS 29393 HAS SOUPS 29377 WITH SCORE 29850.824
AT ITER 698 NEW BEST:: SOT 611499 SOS 473786 HAS SOPS 472436 HAS SOUS 29393 HAS SOUPS 29377 WITH SCORE 29850.786
AT ITER 703 NEW BEST:: SOT 611499 SOS 473784 HAS SOPS 472434 HAS SOUS 29393 HAS SOUPS 29377 WITH SCORE 29850.784
AT ITER 708 NEW BEST:: SOT 611499 SOS 473782 HAS SOPS 472432 HAS SOUS 29393 HAS SOUPS 29377 WITH SCORE 29850.782
AT ITER 710 NEW BEST:: SOT 611498 SOS 473781 HAS SOPS 472431 HAS SOUS 29390 HAS SOUPS 29374 WITH SCORE 29847.781
AT ITER 714 NEW BEST:: SOT 611498 SOS 473781 HAS SOPS 472431 HAS SOUS 29388 HAS SOUPS 29372 WITH SCORE 29845.781
AT ITER 744 NEW BEST:: SOT 611484 SOS 473767 HAS SOPS 472417 HAS SOUS 29344 HAS SOUPS 29328 WITH SCORE 29801.767
AT ITER 753 NEW BEST:: SOT 611484 SOS 473767 HAS SOPS 472417 HAS SOUS 29342 HAS SOUPS 29326 WITH SCORE 29799.767
AT ITER 781 NEW BEST:: SOT 611492 SOS 473775 HAS SOPS 472425 HAS SOUS 29148 HAS SOUPS 29132 WITH SCORE 29605.775
AT ITER 807 NEW BEST:: SOT 611492 SOS 473773 HAS SOPS 472423 HAS SOUS 29148 HAS SOUPS 29132 WITH SCORE 29605.773
AT ITER 817 NEW BEST:: SOT 611492 SOS 473769 HAS SOPS 472419 HAS SOUS 29146 HAS SOUPS 29130 WITH SCORE 29603.769
AT ITER 819 NEW BEST:: SOT 611491 SOS 473768 HAS SOPS 472418 HAS SOUS 29143 HAS SOUPS 29127 WITH SCORE 29600.768
AT ITER 832 NEW BEST:: SOT 611491 SOS 473766 HAS SOPS 472416 HAS SOUS 29143 HAS SOUPS 29127 WITH SCORE 29600.766
AT ITER 839 NEW BEST:: SOT 611537 SOS 473810 HAS SOPS 472810 HAS SOUS 29079 HAS SOUPS 29066 WITH SCORE 29539.81
AT ITER 852 NEW BEST:: SOT 611528 SOS 473801 HAS SOPS 472801 HAS SOUS 29064 HAS SOUPS 29051 WITH SCORE 29524.801
AT ITER 853 NEW BEST:: SOT 611516 SOS 473789 HAS SOPS 472789 HAS SOUS 29028 HAS SOUPS 29015 WITH SCORE 29488.789
AT ITER 921 NEW BEST:: SOT 611516 SOS 473787 HAS SOPS 472787 HAS SOUS 29028 HAS SOUPS 29015 WITH SCORE 29488.787
AT ITER 928 NEW BEST:: SOT 611510 SOS 473781 HAS SOPS 472781 HAS SOUS 29010 HAS SOUPS 28997 WITH SCORE 29470.781
AT ITER 967 NEW BEST:: SOT 611510 SOS 473781 HAS SOPS 472781 HAS SOUS 29008 HAS SOUPS 28995 WITH SCORE 29468.781
AT ITER 974 NEW BEST:: SOT 611471 SOS 473742 HAS SOPS 472742 HAS SOUS 28947 HAS SOUPS 28934 WITH SCORE 29407.742
AT ITER 999 NEW BEST:: SOT 611464 SOS 473735 HAS SOPS 472735 HAS SOUS 28942 HAS SOUPS 28929 WITH SCORE 29402.735
AT ITER 1008 NEW BEST:: SOT 611464 SOS 472033 HAS SOPS 471033 HAS SOUS 28908 HAS SOUPS 28895 WITH SCORE 29367.033
AT ITER 1011 NEW BEST:: SOT 611740 SOS 472309 HAS SOPS 471309 HAS SOUS 28470 HAS SOUPS 28457 WITH SCORE 28929.309
AT ITER 1018 NEW BEST:: SOT 611751 SOS 472320 HAS SOPS 471320 HAS SOUS 28299 HAS SOUPS 28286 WITH SCORE 28758.32
AT ITER 1029 NEW BEST:: SOT 611751 SOS 472318 HAS SOPS 471318 HAS SOUS 28299 HAS SOUPS 28286 WITH SCORE 28758.318
AT ITER 1052 NEW BEST:: SOT 611751 SOS 472316 HAS SOPS 471316 HAS SOUS 28299 HAS SOUPS 28286 WITH SCORE 28758.316
AT ITER 1152 NEW BEST:: SOT 611751 SOS 472336 HAS SOPS 471336 HAS SOUS 28291 HAS SOUPS 28278 WITH SCORE 28750.336
AT ITER 1177 NEW BEST:: SOT 611734 SOS 472319 HAS SOPS 471319 HAS SOUS 28238 HAS SOUPS 28225 WITH SCORE 28697.319
AT ITER 1240 NEW BEST:: SOT 611519 SOS 472252 HAS SOPS 471252 HAS SOUS 28160 HAS SOUPS 28147 WITH SCORE 28619.252
AT ITER 1286 NEW BEST:: SOT 611516 SOS 472249 HAS SOPS 471249 HAS SOUS 28151 HAS SOUPS 28138 WITH SCORE 28610.249
AT ITER 1311 NEW BEST:: SOT 611514 SOS 472247 HAS SOPS 471247 HAS SOUS 28151 HAS SOUPS 28138 WITH SCORE 28610.247
AT ITER 1317 NEW BEST:: SOT 611514 SOS 472239 HAS SOPS 471239 HAS SOUS 28151 HAS SOUPS 28138 WITH SCORE 28610.239
AT ITER 1345 NEW BEST:: SOT 611507 SOS 472232 HAS SOPS 471232 HAS SOUS 28130 HAS SOUPS 28117 WITH SCORE 28589.232
AT ITER 1357 NEW BEST:: SOT 611506 SOS 472231 HAS SOPS 471231 HAS SOUS 28127 HAS SOUPS 28114 WITH SCORE 28586.231
AT ITER 1367 NEW BEST:: SOT 611803 SOS 472528 HAS SOPS 471528 HAS SOUS 27963 HAS SOUPS 27950 WITH SCORE 28422.528
AT ITER 1384 NEW BEST:: SOT 611803 SOS 472524 HAS SOPS 471524 HAS SOUS 27963 HAS SOUPS 27950 WITH SCORE 28422.524
AT ITER 1561 NEW BEST:: SOT 611803 SOS 472520 HAS SOPS 471520 HAS SOUS 27963 HAS SOUPS 27950 WITH SCORE 28422.52
AT ITER 1567 NEW BEST:: SOT 611803 SOS 472518 HAS SOPS 471518 HAS SOUS 27963 HAS SOUPS 27950 WITH SCORE 28422.518
AT ITER 1584 NEW BEST:: SOT 611795 SOS 472510 HAS SOPS 471510 HAS SOUS 27880 HAS SOUPS 27867 WITH SCORE 28339.51
AT ITER 1596 NEW BEST:: SOT 611795 SOS 472504 HAS SOPS 471504 HAS SOUS 27880 HAS SOUPS 27867 WITH SCORE 28339.504
AT ITER 1621 NEW BEST:: SOT 611792 SOS 472501 HAS SOPS 471501 HAS SOUS 27875 HAS SOUPS 27862 WITH SCORE 28334.501
AT ITER 1666 NEW BEST:: SOT 611791 SOS 472500 HAS SOPS 471500 HAS SOUS 27870 HAS SOUPS 27857 WITH SCORE 28329.5
AT ITER 1695 NEW BEST:: SOT 611770 SOS 472479 HAS SOPS 471479 HAS SOUS 27861 HAS SOUPS 27848 WITH SCORE 28320.479
AT ITER 1741 NEW BEST:: SOT 611770 SOS 472477 HAS SOPS 471477 HAS SOUS 27861 HAS SOUPS 27848 WITH SCORE 28320.477
AT ITER 1751 NEW BEST:: SOT 611770 SOS 472461 HAS SOPS 471461 HAS SOUS 27861 HAS SOUPS 27848 WITH SCORE 28320.461
AT ITER 1754 NEW BEST:: SOT 612132 SOS 472823 HAS SOPS 471823 HAS SOUS 27816 HAS SOUPS 27803 WITH SCORE 28275.823
AT ITER 1761 NEW BEST:: SOT 612132 SOS 471415 HAS SOPS 470415 HAS SOUS 27788 HAS SOUPS 27775 WITH SCORE 28246.415
AT ITER 1779 NEW BEST:: SOT 612130 SOS 471413 HAS SOPS 470413 HAS SOUS 27782 HAS SOUPS 27769 WITH SCORE 28240.413
AT ITER 1787 NEW BEST:: SOT 612116 SOS 471399 HAS SOPS 470399 HAS SOUS 27740 HAS SOUPS 27727 WITH SCORE 28198.399
AT ITER 1806 NEW BEST:: SOT 612197 SOS 471481 HAS SOPS 470131 HAS SOUS 27646 HAS SOUPS 27630 WITH SCORE 28101.481
AT ITER 1834 NEW BEST:: SOT 612197 SOS 471479 HAS SOPS 470129 HAS SOUS 27646 HAS SOUPS 27630 WITH SCORE 28101.479
AT ITER 1859 NEW BEST:: SOT 612197 SOS 471469 HAS SOPS 470119 HAS SOUS 27646 HAS SOUPS 27630 WITH SCORE 28101.469
AT ITER 1875 NEW BEST:: SOT 612197 SOS 471463 HAS SOPS 470113 HAS SOUS 27646 HAS SOUPS 27630 WITH SCORE 28101.463
AT ITER 1888 NEW BEST:: SOT 612197 SOS 471461 HAS SOPS 470111 HAS SOUS 27646 HAS SOUPS 27630 WITH SCORE 28101.461
AT ITER 1903 NEW BEST:: SOT 612220 SOS 471484 HAS SOPS 470134 HAS SOUS 27616 HAS SOUPS 27600 WITH SCORE 28071.484
AT ITER 1911 NEW BEST:: SOT 612215 SOS 471479 HAS SOPS 470129 HAS SOUS 27499 HAS SOUPS 27483 WITH SCORE 27954.479
AT ITER 1922 NEW BEST:: SOT 612208 SOS 471472 HAS SOPS 470122 HAS SOUS 27423 HAS SOUPS 27407 WITH SCORE 27878.472
AT ITER 1931 NEW BEST:: SOT 612095 SOS 471359 HAS SOPS 470009 HAS SOUS 27300 HAS SOUPS 27284 WITH SCORE 27755.359
AT ITER 1988 NEW BEST:: SOT 612074 SOS 471338 HAS SOPS 469988 HAS SOUS 27279 HAS SOUPS 27263 WITH SCORE 27734.338
AT ITER 1995 NEW BEST:: SOT 612071 SOS 471335 HAS SOPS 469985 HAS SOUS 27270 HAS SOUPS 27254 WITH SCORE 27725.335
AT ITER 2012 NEW BEST:: SOT 612048 SOS 471312 HAS SOPS 469962 HAS SOUS 27195 HAS SOUPS 27179 WITH SCORE 27650.312
AT ITER 2029 NEW BEST:: SOT 612048 SOS 471312 HAS SOPS 469962 HAS SOUS 27169 HAS SOUPS 27153 WITH SCORE 27624.312
AT ITER 2041 NEW BEST:: SOT 612048 SOS 471312 HAS SOPS 469962 HAS SOUS 27163 HAS SOUPS 27147 WITH SCORE 27618.312
AT ITER 2042 NEW BEST:: SOT 612048 SOS 471298 HAS SOPS 469948 HAS SOUS 27163 HAS SOUPS 27147 WITH SCORE 27618.298
AT ITER 2046 NEW BEST:: SOT 612066 SOS 471316 HAS SOPS 469966 HAS SOUS 27147 HAS SOUPS 27131 WITH SCORE 27602.316
AT ITER 2073 NEW BEST:: SOT 612066 SOS 471316 HAS SOPS 469966 HAS SOUS 27145 HAS SOUPS 27129 WITH SCORE 27600.316
AT ITER 2096 NEW BEST:: SOT 612066 SOS 471316 HAS SOPS 469966 HAS SOUS 27143 HAS SOUPS 27127 WITH SCORE 27598.316
AT ITER 2102 NEW BEST:: SOT 612064 SOS 471314 HAS SOPS 469964 HAS SOUS 27137 HAS SOUPS 27121 WITH SCORE 27592.314
AT ITER 2108 NEW BEST:: SOT 612975 SOS 472225 HAS SOPS 470875 HAS SOUS 26669 HAS SOUPS 26653 WITH SCORE 27125.225
AT ITER 2128 NEW BEST:: SOT 612974 SOS 472224 HAS SOPS 470874 HAS SOUS 26666 HAS SOUPS 26650 WITH SCORE 27122.224
AT ITER 2147 NEW BEST:: SOT 612967 SOS 472217 HAS SOPS 470867 HAS SOUS 26645 HAS SOUPS 26629 WITH SCORE 27101.217
AT ITER 2217 NEW BEST:: SOT 613261 SOS 472511 HAS SOPS 471161 HAS SOUS 26566 HAS SOUPS 26550 WITH SCORE 27022.511
AT ITER 2247 NEW BEST:: SOT 613261 SOS 472461 HAS SOPS 471111 HAS SOUS 26567 HAS SOUPS 26550 WITH SCORE 27022.461
AT ITER 2356 NEW BEST:: SOT 613261 SOS 471549 HAS SOPS 470199 HAS SOUS 26549 HAS SOUPS 26532 WITH SCORE 27003.549
AT ITER 2399 NEW BEST:: SOT 613261 SOS 471547 HAS SOPS 470197 HAS SOUS 26549 HAS SOUPS 26532 WITH SCORE 27003.547
AT ITER 2407 NEW BEST:: SOT 613260 SOS 471546 HAS SOPS 470196 HAS SOUS 26546 HAS SOUPS 26529 WITH SCORE 27000.546
AT ITER 2475 NEW BEST:: SOT 613260 SOS 471536 HAS SOPS 470186 HAS SOUS 26546 HAS SOUPS 26529 WITH SCORE 27000.536
AT ITER 2527 NEW BEST:: SOT 613258 SOS 471534 HAS SOPS 470184 HAS SOUS 26540 HAS SOUPS 26523 WITH SCORE 26994.534
AT ITER 2568 NEW BEST:: SOT 613258 SOS 471530 HAS SOPS 470180 HAS SOUS 26540 HAS SOUPS 26523 WITH SCORE 26994.53
AT ITER 2586 NEW BEST:: SOT 613253 SOS 471525 HAS SOPS 470175 HAS SOUS 26525 HAS SOUPS 26508 WITH SCORE 26979.525
AT ITER 2737 NEW BEST:: SOT 613245 SOS 471517 HAS SOPS 470167 HAS SOUS 26503 HAS SOUPS 26486 WITH SCORE 26957.517
AT ITER 2759 NEW BEST:: SOT 613244 SOS 471516 HAS SOPS 470166 HAS SOUS 26500 HAS SOUPS 26483 WITH SCORE 26954.516
AT ITER 2767 NEW BEST:: SOT 613243 SOS 471515 HAS SOPS 470165 HAS SOUS 26497 HAS SOUPS 26480 WITH SCORE 26951.515
AT ITER 2808 NEW BEST:: SOT 613241 SOS 471513 HAS SOPS 470163 HAS SOUS 26491 HAS SOUPS 26474 WITH SCORE 26945.513
AT ITER 2819 NEW BEST:: SOT 613248 SOS 471520 HAS SOPS 470170 HAS SOUS 26461 HAS SOUPS 26444 WITH SCORE 26915.52
AT ITER 2875 NEW BEST:: SOT 613543 SOS 471815 HAS SOPS 470465 HAS SOUS 26448 HAS SOUPS 26431 WITH SCORE 26902.815
AT ITER 2917 NEW BEST:: SOT 613543 SOS 471813 HAS SOPS 470463 HAS SOUS 26448 HAS SOUPS 26431 WITH SCORE 26902.813
AT ITER 2949 NEW BEST:: SOT 613542 SOS 471812 HAS SOPS 470462 HAS SOUS 26445 HAS SOUPS 26428 WITH SCORE 26899.812
AT ITER 2997 NEW BEST:: SOT 613536 SOS 471806 HAS SOPS 470456 HAS SOUS 26425 HAS SOUPS 26408 WITH SCORE 26879.806
AT ITER 3029 NEW BEST:: SOT 613534 SOS 471804 HAS SOPS 470454 HAS SOUS 26419 HAS SOUPS 26402 WITH SCORE 26873.804
AT ITER 3038 NEW BEST:: SOT 613534 SOS 471802 HAS SOPS 470452 HAS SOUS 26419 HAS SOUPS 26402 WITH SCORE 26873.802
AT ITER 3089 NEW BEST:: SOT 613523 SOS 471791 HAS SOPS 470441 HAS SOUS 26386 HAS SOUPS 26369 WITH SCORE 26840.791
AT ITER 3102 NEW BEST:: SOT 613521 SOS 471789 HAS SOPS 470439 HAS SOUS 26380 HAS SOUPS 26363 WITH SCORE 26834.789
AT ITER 3118 NEW BEST:: SOT 613520 SOS 471788 HAS SOPS 470438 HAS SOUS 26377 HAS SOUPS 26360 WITH SCORE 26831.788
AT ITER 3213 NEW BEST:: SOT 613519 SOS 471787 HAS SOPS 470437 HAS SOUS 26374 HAS SOUPS 26357 WITH SCORE 26828.787
AT ITER 3309 NEW BEST:: SOT 613519 SOS 471783 HAS SOPS 470433 HAS SOUS 26374 HAS SOUPS 26357 WITH SCORE 26828.783
AT ITER 3310 NEW BEST:: SOT 613512 SOS 471804 HAS SOPS 470454 HAS SOUS 26367 HAS SOUPS 26350 WITH SCORE 26821.804
AT ITER 3335 NEW BEST:: SOT 613508 SOS 471800 HAS SOPS 470450 HAS SOUS 26355 HAS SOUPS 26338 WITH SCORE 26809.8
AT ITER 3363 NEW BEST:: SOT 613505 SOS 471797 HAS SOPS 470447 HAS SOUS 26346 HAS SOUPS 26329 WITH SCORE 26800.797
AT ITER 3474 NEW BEST:: SOT 613505 SOS 471795 HAS SOPS 470445 HAS SOUS 26346 HAS SOUPS 26329 WITH SCORE 26800.795
AT ITER 3479 NEW BEST:: SOT 613504 SOS 471794 HAS SOPS 470444 HAS SOUS 26343 HAS SOUPS 26326 WITH SCORE 26797.794
AT ITER 3534 NEW BEST:: SOT 613503 SOS 471793 HAS SOPS 470443 HAS SOUS 26340 HAS SOUPS 26323 WITH SCORE 26794.793
AT ITER 3573 NEW BEST:: SOT 613503 SOS 471791 HAS SOPS 470441 HAS SOUS 26340 HAS SOUPS 26323 WITH SCORE 26794.791
AT ITER 3578 NEW BEST:: SOT 613502 SOS 471790 HAS SOPS 470440 HAS SOUS 26337 HAS SOUPS 26320 WITH SCORE 26791.79
AT ITER 3647 NEW BEST:: SOT 613498 SOS 471786 HAS SOPS 470436 HAS SOUS 26325 HAS SOUPS 26308 WITH SCORE 26779.786
AT ITER 3676 NEW BEST:: SOT 613496 SOS 471784 HAS SOPS 470434 HAS SOUS 26319 HAS SOUPS 26302 WITH SCORE 26773.784
AT ITER 3697 NEW BEST:: SOT 613493 SOS 471781 HAS SOPS 470431 HAS SOUS 26310 HAS SOUPS 26293 WITH SCORE 26764.781
AT ITER 3737 NEW BEST:: SOT 613493 SOS 471775 HAS SOPS 470425 HAS SOUS 26310 HAS SOUPS 26293 WITH SCORE 26764.775
AT ITER 3783 NEW BEST:: SOT 613487 SOS 471769 HAS SOPS 470419 HAS SOUS 26292 HAS SOUPS 26275 WITH SCORE 26746.769
AT ITER 3891 NEW BEST:: SOT 613471 SOS 471753 HAS SOPS 470403 HAS SOUS 26271 HAS SOUPS 26254 WITH SCORE 26725.753
AT ITER 3913 NEW BEST:: SOT 613470 SOS 471752 HAS SOPS 470402 HAS SOUS 26268 HAS SOUPS 26251 WITH SCORE 26722.752
AT ITER 3964 NEW BEST:: SOT 613470 SOS 471750 HAS SOPS 470400 HAS SOUS 26268 HAS SOUPS 26251 WITH SCORE 26722.75
AT ITER 3992 NEW BEST:: SOT 613470 SOS 471748 HAS SOPS 470398 HAS SOUS 26268 HAS SOUPS 26251 WITH SCORE 26722.748
AT ITER 4032 NEW BEST:: SOT 613465 SOS 471743 HAS SOPS 470393 HAS SOUS 26253 HAS SOUPS 26236 WITH SCORE 26707.743
AT ITER 4060 NEW BEST:: SOT 613465 SOS 471747 HAS SOPS 470547 HAS SOUS 26240 HAS SOUPS 26226 WITH SCORE 26697.747
AT ITER 4075 NEW BEST:: SOT 613460 SOS 471742 HAS SOPS 470542 HAS SOUS 26225 HAS SOUPS 26211 WITH SCORE 26682.742
AT ITER 4128 NEW BEST:: SOT 613455 SOS 471737 HAS SOPS 470537 HAS SOUS 26210 HAS SOUPS 26196 WITH SCORE 26667.737
AT ITER 4166 NEW BEST:: SOT 613453 SOS 471735 HAS SOPS 470535 HAS SOUS 26204 HAS SOUPS 26190 WITH SCORE 26661.735
AT ITER 4229 NEW BEST:: SOT 613444 SOS 471726 HAS SOPS 470526 HAS SOUS 26177 HAS SOUPS 26163 WITH SCORE 26634.726
AT ITER 4411 NEW BEST:: SOT 613441 SOS 471723 HAS SOPS 470523 HAS SOUS 26168 HAS SOUPS 26154 WITH SCORE 26625.723
AT ITER 4419 NEW BEST:: SOT 613439 SOS 471721 HAS SOPS 470521 HAS SOUS 26162 HAS SOUPS 26148 WITH SCORE 26619.721
AT ITER 4452 NEW BEST:: SOT 613438 SOS 471720 HAS SOPS 470520 HAS SOUS 26159 HAS SOUPS 26145 WITH SCORE 26616.72
AT ITER 4462 NEW BEST:: SOT 613439 SOS 471721 HAS SOPS 470521 HAS SOUS 26158 HAS SOUPS 26144 WITH SCORE 26615.721
AT ITER 4504 NEW BEST:: SOT 613439 SOS 471568 HAS SOPS 470368 HAS SOUS 26155 HAS SOUPS 26141 WITH SCORE 26612.568
AT ITER 4517 NEW BEST:: SOT 613437 SOS 471566 HAS SOPS 470366 HAS SOUS 26149 HAS SOUPS 26135 WITH SCORE 26606.566
AT ITER 4521 NEW BEST:: SOT 613436 SOS 471565 HAS SOPS 470365 HAS SOUS 26146 HAS SOUPS 26132 WITH SCORE 26603.565
AT ITER 4543 NEW BEST:: SOT 613435 SOS 471564 HAS SOPS 470364 HAS SOUS 26143 HAS SOUPS 26129 WITH SCORE 26600.564
AT ITER 4614 NEW BEST:: SOT 613438 SOS 471567 HAS SOPS 470367 HAS SOUS 26097 HAS SOUPS 26083 WITH SCORE 26554.567
AT ITER 4663 NEW BEST:: SOT 613437 SOS 471566 HAS SOPS 470366 HAS SOUS 26094 HAS SOUPS 26080 WITH SCORE 26551.566
AT ITER 4677 NEW BEST:: SOT 613436 SOS 471565 HAS SOPS 470365 HAS SOUS 26091 HAS SOUPS 26077 WITH SCORE 26548.565
AT ITER 4687 NEW BEST:: SOT 613435 SOS 471564 HAS SOPS 470364 HAS SOUS 26088 HAS SOUPS 26074 WITH SCORE 26545.564
AT ITER 4814 NEW BEST:: SOT 613433 SOS 471563 HAS SOPS 470363 HAS SOUS 26086 HAS SOUPS 26072 WITH SCORE 26543.563
AT ITER 4934 NEW BEST:: SOT 613429 SOS 471559 HAS SOPS 470359 HAS SOUS 26074 HAS SOUPS 26060 WITH SCORE 26531.559
AT ITER 5041 NEW BEST:: SOT 613530 SOS 471660 HAS SOPS 470460 HAS SOUS 26069 HAS SOUPS 26055 WITH SCORE 26526.66
AT ITER 5108 NEW BEST:: SOT 613530 SOS 471656 HAS SOPS 470456 HAS SOUS 26069 HAS SOUPS 26055 WITH SCORE 26526.656
AT ITER 5143 NEW BEST:: SOT 613528 SOS 471654 HAS SOPS 470454 HAS SOUS 26063 HAS SOUPS 26049 WITH SCORE 26520.654
AT ITER 5248 NEW BEST:: SOT 613526 SOS 471652 HAS SOPS 470452 HAS SOUS 26057 HAS SOUPS 26043 WITH SCORE 26514.652
AT ITER 5272 NEW BEST:: SOT 613525 SOS 471651 HAS SOPS 470451 HAS SOUS 26054 HAS SOUPS 26040 WITH SCORE 26511.651
AT ITER 5289 NEW BEST:: SOT 613524 SOS 471650 HAS SOPS 470450 HAS SOUS 26051 HAS SOUPS 26037 WITH SCORE 26508.65
AT ITER 5300 NEW BEST:: SOT 613569 SOS 470259 HAS SOPS 469059 HAS SOUS 26037 HAS SOUPS 26023 WITH SCORE 26493.259
AT ITER 5301 NEW BEST:: SOT 613567 SOS 470257 HAS SOPS 469057 HAS SOUS 26031 HAS SOUPS 26017 WITH SCORE 26487.257
AT ITER 5421 NEW BEST:: SOT 613566 SOS 470256 HAS SOPS 469056 HAS SOUS 26028 HAS SOUPS 26014 WITH SCORE 26484.256
AT ITER 5429 NEW BEST:: SOT 613566 SOS 470254 HAS SOPS 469054 HAS SOUS 26027 HAS SOUPS 26013 WITH SCORE 26483.254
AT ITER 5450 NEW BEST:: SOT 613566 SOS 470252 HAS SOPS 469052 HAS SOUS 26027 HAS SOUPS 26013 WITH SCORE 26483.252
AT ITER 5605 NEW BEST:: SOT 613567 SOS 470253 HAS SOPS 469053 HAS SOUS 26026 HAS SOUPS 26012 WITH SCORE 26482.253
AT ITER 5627 NEW BEST:: SOT 613567 SOS 470249 HAS SOPS 469049 HAS SOUS 26024 HAS SOUPS 26010 WITH SCORE 26480.249
AT ITER 5677 NEW BEST:: SOT 613564 SOS 470246 HAS SOPS 469046 HAS SOUS 26015 HAS SOUPS 26001 WITH SCORE 26471.246
AT ITER 5702 NEW BEST:: SOT 613564 SOS 470240 HAS SOPS 469040 HAS SOUS 26015 HAS SOUPS 26001 WITH SCORE 26471.24
AT ITER 5716 NEW BEST:: SOT 613564 SOS 470238 HAS SOPS 469038 HAS SOUS 26014 HAS SOUPS 26000 WITH SCORE 26470.238
AT ITER 5780 NEW BEST:: SOT 613563 SOS 470237 HAS SOPS 469037 HAS SOUS 26011 HAS SOUPS 25997 WITH SCORE 26467.237
AT ITER 5899 NEW BEST:: SOT 613562 SOS 470236 HAS SOPS 469036 HAS SOUS 26008 HAS SOUPS 25994 WITH SCORE 26464.236
AT ITER 5925 NEW BEST:: SOT 613560 SOS 470234 HAS SOPS 469034 HAS SOUS 26002 HAS SOUPS 25988 WITH SCORE 26458.234
AT ITER 5958 NEW BEST:: SOT 613560 SOS 470230 HAS SOPS 469030 HAS SOUS 26002 HAS SOUPS 25988 WITH SCORE 26458.23
AT ITER 5994 NEW BEST:: SOT 613560 SOS 469030 HAS SOPS 467930 HAS SOUS 25998 HAS SOUPS 25985 WITH SCORE 26454.03
AT ITER 6186 NEW BEST:: SOT 613559 SOS 469029 HAS SOPS 467929 HAS SOUS 25995 HAS SOUPS 25982 WITH SCORE 26451.029
AT ITER 6196 NEW BEST:: SOT 613603 SOS 469073 HAS SOPS 467973 HAS SOUS 25984 HAS SOUPS 25971 WITH SCORE 26440.073
AT ITER 6223 NEW BEST:: SOT 613602 SOS 469072 HAS SOPS 467972 HAS SOUS 25981 HAS SOUPS 25968 WITH SCORE 26437.072
AT ITER 6282 NEW BEST:: SOT 613602 SOS 469068 HAS SOPS 467968 HAS SOUS 25981 HAS SOUPS 25968 WITH SCORE 26437.068
AT ITER 6364 NEW BEST:: SOT 613601 SOS 469067 HAS SOPS 467967 HAS SOUS 25978 HAS SOUPS 25965 WITH SCORE 26434.067
AT ITER 6416 NEW BEST:: SOT 613592 SOS 469058 HAS SOPS 467958 HAS SOUS 25951 HAS SOUPS 25938 WITH SCORE 26407.058
AT ITER 6439 NEW BEST:: SOT 613591 SOS 469057 HAS SOPS 467957 HAS SOUS 25948 HAS SOUPS 25935 WITH SCORE 26404.057
AT ITER 6452 NEW BEST:: SOT 613594 SOS 469060 HAS SOPS 467960 HAS SOUS 25906 HAS SOUPS 25893 WITH SCORE 26362.06
AT ITER 6546 NEW BEST:: SOT 613591 SOS 469057 HAS SOPS 467957 HAS SOUS 25738 HAS SOUPS 25725 WITH SCORE 26194.057
AT ITER 6585 NEW BEST:: SOT 613590 SOS 469056 HAS SOPS 467956 HAS SOUS 25735 HAS SOUPS 25722 WITH SCORE 26191.056
AT ITER 6599 NEW BEST:: SOT 613597 SOS 469063 HAS SOPS 467963 HAS SOUS 25597 HAS SOUPS 25584 WITH SCORE 26053.063
AT ITER 6702 NEW BEST:: SOT 613597 SOS 469057 HAS SOPS 467957 HAS SOUS 25597 HAS SOUPS 25584 WITH SCORE 26053.057
AT ITER 6774 NEW BEST:: SOT 613595 SOS 469055 HAS SOPS 467955 HAS SOUS 25591 HAS SOUPS 25578 WITH SCORE 26047.055
AT ITER 6819 NEW BEST:: SOT 613597 SOS 469097 HAS SOPS 467997 HAS SOUS 25590 HAS SOUPS 25577 WITH SCORE 26046.097
AT ITER 6850 NEW BEST:: SOT 613555 SOS 469055 HAS SOPS 467805 HAS SOUS 25454 HAS SOUPS 25441 WITH SCORE 25910.055
AT ITER 6854 NEW BEST:: SOT 613552 SOS 469052 HAS SOPS 467802 HAS SOUS 25445 HAS SOUPS 25432 WITH SCORE 25901.052
AT ITER 6866 NEW BEST:: SOT 613597 SOS 469097 HAS SOPS 467847 HAS SOUS 25435 HAS SOUPS 25422 WITH SCORE 25891.097
AT ITER 6954 NEW BEST:: SOT 613597 SOS 469095 HAS SOPS 467845 HAS SOUS 25435 HAS SOUPS 25422 WITH SCORE 25891.095
AT ITER 7009 NEW BEST:: SOT 613596 SOS 469094 HAS SOPS 467844 HAS SOUS 25432 HAS SOUPS 25419 WITH SCORE 25888.094
AT ITER 7062 NEW BEST:: SOT 613594 SOS 469092 HAS SOPS 467842 HAS SOUS 25426 HAS SOUPS 25413 WITH SCORE 25882.092
AT ITER 7183 NEW BEST:: SOT 613594 SOS 469078 HAS SOPS 467828 HAS SOUS 25426 HAS SOUPS 25413 WITH SCORE 25882.078
AT ITER 7269 NEW BEST:: SOT 613593 SOS 469077 HAS SOPS 467827 HAS SOUS 25423 HAS SOUPS 25410 WITH SCORE 25879.077
AT ITER 7337 NEW BEST:: SOT 613587 SOS 469071 HAS SOPS 467821 HAS SOUS 25405 HAS SOUPS 25392 WITH SCORE 25861.071
AT ITER 7374 NEW BEST:: SOT 613587 SOS 469069 HAS SOPS 467819 HAS SOUS 25405 HAS SOUPS 25392 WITH SCORE 25861.069
AT ITER 7379 NEW BEST:: SOT 613586 SOS 469068 HAS SOPS 467818 HAS SOUS 25402 HAS SOUPS 25389 WITH SCORE 25858.068
AT ITER 7426 NEW BEST:: SOT 613586 SOS 469018 HAS SOPS 467768 HAS SOUS 25401 HAS SOUPS 25388 WITH SCORE 25857.018
AT ITER 7469 NEW BEST:: SOT 613581 SOS 469013 HAS SOPS 467763 HAS SOUS 25386 HAS SOUPS 25373 WITH SCORE 25842.013
AT ITER 7514 NEW BEST:: SOT 613579 SOS 469011 HAS SOPS 467761 HAS SOUS 25380 HAS SOUPS 25367 WITH SCORE 25836.011
AT ITER 7567 NEW BEST:: SOT 613577 SOS 469009 HAS SOPS 467759 HAS SOUS 25374 HAS SOUPS 25361 WITH SCORE 25830.009
AT ITER 7715 NEW BEST:: SOT 613577 SOS 468999 HAS SOPS 467749 HAS SOUS 25374 HAS SOUPS 25361 WITH SCORE 25829.999
AT ITER 7724 NEW BEST:: SOT 613575 SOS 468997 HAS SOPS 467747 HAS SOUS 25368 HAS SOUPS 25355 WITH SCORE 25823.997
AT ITER 7767 NEW BEST:: SOT 613573 SOS 468995 HAS SOPS 467745 HAS SOUS 25362 HAS SOUPS 25349 WITH SCORE 25817.995
AT ITER 7868 NEW BEST:: SOT 613566 SOS 468988 HAS SOPS 467738 HAS SOUS 25341 HAS SOUPS 25328 WITH SCORE 25796.988
AT ITER 8089 NEW BEST:: SOT 613566 SOS 468980 HAS SOPS 467730 HAS SOUS 25341 HAS SOUPS 25328 WITH SCORE 25796.98
AT ITER 8172 NEW BEST:: SOT 613565 SOS 468979 HAS SOPS 467729 HAS SOUS 25338 HAS SOUPS 25325 WITH SCORE 25793.979
AT ITER 8192 NEW BEST:: SOT 613564 SOS 468978 HAS SOPS 467728 HAS SOUS 25335 HAS SOUPS 25322 WITH SCORE 25790.978
AT ITER 8209 NEW BEST:: SOT 613551 SOS 468950 HAS SOPS 467700 HAS SOUS 25314 HAS SOUPS 25301 WITH SCORE 25769.95
AT ITER 8306 NEW BEST:: SOT 613550 SOS 468949 HAS SOPS 467699 HAS SOUS 25311 HAS SOUPS 25298 WITH SCORE 25766.949
AT ITER 8406 NEW BEST:: SOT 613548 SOS 468947 HAS SOPS 467697 HAS SOUS 25305 HAS SOUPS 25292 WITH SCORE 25760.947
AT ITER 8419 NEW BEST:: SOT 613548 SOS 468945 HAS SOPS 467695 HAS SOUS 25305 HAS SOUPS 25292 WITH SCORE 25760.945
AT ITER 8445 NEW BEST:: SOT 613545 SOS 468942 HAS SOPS 467692 HAS SOUS 25296 HAS SOUPS 25283 WITH SCORE 25751.942
AT ITER 8576 NEW BEST:: SOT 613545 SOS 468936 HAS SOPS 467686 HAS SOUS 25296 HAS SOUPS 25283 WITH SCORE 25751.936
AT ITER 8590 NEW BEST:: SOT 613545 SOS 468936 HAS SOPS 467686 HAS SOUS 25295 HAS SOUPS 25282 WITH SCORE 25750.936
AT ITER 8675 NEW BEST:: SOT 613545 SOS 468936 HAS SOPS 467686 HAS SOUS 25293 HAS SOUPS 25280 WITH SCORE 25748.936
AT ITER 8691 NEW BEST:: SOT 613545 SOS 468928 HAS SOPS 467678 HAS SOUS 25293 HAS SOUPS 25280 WITH SCORE 25748.928
AT ITER 8764 NEW BEST:: SOT 613545 SOS 468926 HAS SOPS 467676 HAS SOUS 25293 HAS SOUPS 25280 WITH SCORE 25748.926
AT ITER 8791 NEW BEST:: SOT 613544 SOS 468925 HAS SOPS 467675 HAS SOUS 25290 HAS SOUPS 25277 WITH SCORE 25745.925
AT ITER 8794 NEW BEST:: SOT 613544 SOS 468925 HAS SOPS 467675 HAS SOUS 25288 HAS SOUPS 25275 WITH SCORE 25743.925
AT ITER 8827 NEW BEST:: SOT 613544 SOS 468923 HAS SOPS 467673 HAS SOUS 25288 HAS SOUPS 25275 WITH SCORE 25743.923
AT ITER 8908 NEW BEST:: SOT 613543 SOS 468922 HAS SOPS 467672 HAS SOUS 25285 HAS SOUPS 25272 WITH SCORE 25740.922
AT ITER 8982 NEW BEST:: SOT 613543 SOS 468914 HAS SOPS 467664 HAS SOUS 25285 HAS SOUPS 25272 WITH SCORE 25740.914
AT ITER 8986 NEW BEST:: SOT 613540 SOS 468911 HAS SOPS 467661 HAS SOUS 25276 HAS SOUPS 25263 WITH SCORE 25731.911
AT ITER 9027 NEW BEST:: SOT 613540 SOS 468909 HAS SOPS 467659 HAS SOUS 25276 HAS SOUPS 25263 WITH SCORE 25731.909
AT ITER 9171 NEW BEST:: SOT 613534 SOS 468903 HAS SOPS 467653 HAS SOUS 25258 HAS SOUPS 25245 WITH SCORE 25713.903
AT ITER 9406 NEW BEST:: SOT 613534 SOS 464415 HAS SOPS 463665 HAS SOUS 25242 HAS SOUPS 25234 WITH SCORE 25698.415
AT ITER 9456 NEW BEST:: SOT 613533 SOS 464414 HAS SOPS 463664 HAS SOUS 25239 HAS SOUPS 25231 WITH SCORE 25695.414
AT ITER 9667 NEW BEST:: SOT 613533 SOS 464410 HAS SOPS 463660 HAS SOUS 25239 HAS SOUPS 25231 WITH SCORE 25695.41
AT ITER 9778 NEW BEST:: SOT 613532 SOS 464409 HAS SOPS 463659 HAS SOUS 25236 HAS SOUPS 25228 WITH SCORE 25692.409
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 12356184 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16110528 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="BridgeAndVehicles-COL-V50P50N50"
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 BridgeAndVehicles-COL-V50P50N50, 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 r043-tajo-167813696400112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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