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-167813696600272.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-PT-V50P50N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696600272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 30K Feb 25 12:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 169K Feb 25 12:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 597K Feb 25 12:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.3M Feb 25 12:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 241K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 708K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 32K Feb 25 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 188K Feb 25 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Feb 25 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.1M Feb 25 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.6K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.5M 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 1678781107908

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-PT-V50P50N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 08:05:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 08:05:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 08:05:10] [INFO ] Load time of PNML (sax parser for PT used): 423 ms
[2023-03-14 08:05:10] [INFO ] Transformed 168 places.
[2023-03-14 08:05:10] [INFO ] Transformed 5408 transitions.
[2023-03-14 08:05:10] [INFO ] Parsed PT model containing 168 places and 5408 transitions and 42330 arcs in 648 ms.
[2023-03-14 08:05:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 5408 transitions and 42330 arcs took 102 ms.
Total runtime 811 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), 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 42311 HAS SOUPS 42253 WITH SCORE 42848.02
AT ITER 24 NEW BEST:: SOT 608712 SOS 508160 HAS SOPS 504810 HAS SOUS 42289 HAS SOUPS 42253 WITH SCORE 42761.16
AT ITER 34 NEW BEST:: SOT 608712 SOS 508160 HAS SOPS 504810 HAS SOUS 42267 HAS SOUPS 42231 WITH SCORE 42739.16
AT ITER 44 NEW BEST:: SOT 609909 SOS 509357 HAS SOPS 506007 HAS SOUS 39431 HAS SOUPS 39395 WITH SCORE 39904.357
AT ITER 60 NEW BEST:: SOT 609851 SOS 509299 HAS SOPS 505949 HAS SOUS 39422 HAS SOUPS 39386 WITH SCORE 39895.299
AT ITER 105 NEW BEST:: SOT 609851 SOS 509299 HAS SOPS 505949 HAS SOUS 39420 HAS SOUPS 39384 WITH SCORE 39893.299
AT ITER 118 NEW BEST:: SOT 610013 SOS 509461 HAS SOPS 506111 HAS SOUS 35245 HAS SOUPS 35209 WITH SCORE 35718.461
AT ITER 148 NEW BEST:: SOT 610013 SOS 509461 HAS SOPS 506111 HAS SOUS 32968 HAS SOUPS 32932 WITH SCORE 33441.461
AT ITER 154 NEW BEST:: SOT 610013 SOS 476691 HAS SOPS 474941 HAS SOUS 32952 HAS SOUPS 32932 WITH SCORE 33408.691
AT ITER 173 NEW BEST:: SOT 611491 SOS 478231 HAS SOPS 476481 HAS SOUS 32933 HAS SOUPS 32913 WITH SCORE 33391.231
AT ITER 190 NEW BEST:: SOT 611790 SOS 478530 HAS SOPS 476780 HAS SOUS 31955 HAS SOUPS 31935 WITH SCORE 32413.53
AT ITER 192 NEW BEST:: SOT 611789 SOS 478529 HAS SOPS 476779 HAS SOUS 31952 HAS SOUPS 31932 WITH SCORE 32410.529
AT ITER 228 NEW BEST:: SOT 611784 SOS 478524 HAS SOPS 476774 HAS SOUS 31941 HAS SOUPS 31921 WITH SCORE 32399.524
AT ITER 259 NEW BEST:: SOT 611781 SOS 478521 HAS SOPS 476771 HAS SOUS 31932 HAS SOUPS 31912 WITH SCORE 32390.521
AT ITER 282 NEW BEST:: SOT 611781 SOS 478890 HAS SOPS 477140 HAS SOUS 31927 HAS SOUPS 31907 WITH SCORE 32385.89
AT ITER 313 NEW BEST:: SOT 611943 SOS 479052 HAS SOPS 477302 HAS SOUS 31716 HAS SOUPS 31696 WITH SCORE 32175.052
AT ITER 347 NEW BEST:: SOT 611943 SOS 479458 HAS SOPS 477708 HAS SOUS 31715 HAS SOUPS 31695 WITH SCORE 32174.458
AT ITER 348 NEW BEST:: SOT 611943 SOS 479458 HAS SOPS 477708 HAS SOUS 31458 HAS SOUPS 31438 WITH SCORE 31917.458
AT ITER 349 NEW BEST:: SOT 612100 SOS 479615 HAS SOPS 477865 HAS SOUS 31010 HAS SOUPS 30990 WITH SCORE 31469.615
AT ITER 350 NEW BEST:: SOT 613797 SOS 481341 HAS SOPS 479591 HAS SOUS 30501 HAS SOUPS 30481 WITH SCORE 30962.341
AT ITER 355 NEW BEST:: SOT 613793 SOS 481337 HAS SOPS 479587 HAS SOUS 30489 HAS SOUPS 30469 WITH SCORE 30950.337
AT ITER 361 NEW BEST:: SOT 613768 SOS 481312 HAS SOPS 479562 HAS SOUS 30458 HAS SOUPS 30438 WITH SCORE 30919.312
AT ITER 362 NEW BEST:: SOT 613692 SOS 481236 HAS SOPS 479486 HAS SOUS 30380 HAS SOUPS 30360 WITH SCORE 30841.236
AT ITER 367 NEW BEST:: SOT 616199 SOS 483743 HAS SOPS 481993 HAS SOUS 30131 HAS SOUPS 30111 WITH SCORE 30594.743
AT ITER 392 NEW BEST:: SOT 615425 SOS 483173 HAS SOPS 481423 HAS SOUS 29568 HAS SOUPS 29548 WITH SCORE 30031.173
AT ITER 394 NEW BEST:: SOT 615424 SOS 483172 HAS SOPS 481422 HAS SOUS 29565 HAS SOUPS 29545 WITH SCORE 30028.172
AT ITER 396 NEW BEST:: SOT 615391 SOS 483139 HAS SOPS 481389 HAS SOUS 29466 HAS SOUPS 29446 WITH SCORE 29929.139
AT ITER 428 NEW BEST:: SOT 615390 SOS 483138 HAS SOPS 481388 HAS SOUS 29463 HAS SOUPS 29443 WITH SCORE 29926.138
AT ITER 433 NEW BEST:: SOT 615383 SOS 483131 HAS SOPS 481381 HAS SOUS 29418 HAS SOUPS 29398 WITH SCORE 29881.131
AT ITER 464 NEW BEST:: SOT 615382 SOS 483130 HAS SOPS 481380 HAS SOUS 29415 HAS SOUPS 29395 WITH SCORE 29878.13
AT ITER 466 NEW BEST:: SOT 615388 SOS 483136 HAS SOPS 481386 HAS SOUS 29103 HAS SOUPS 29083 WITH SCORE 29566.136
AT ITER 490 NEW BEST:: SOT 615368 SOS 483116 HAS SOPS 481366 HAS SOUS 28636 HAS SOUPS 28616 WITH SCORE 29099.116
AT ITER 492 NEW BEST:: SOT 615385 SOS 483133 HAS SOPS 481383 HAS SOUS 27697 HAS SOUPS 27677 WITH SCORE 28160.133
AT ITER 523 NEW BEST:: SOT 614337 SOS 482959 HAS SOPS 481209 HAS SOUS 27234 HAS SOUPS 27214 WITH SCORE 27696.959
AT ITER 534 NEW BEST:: SOT 614163 SOS 482835 HAS SOPS 481335 HAS SOUS 27203 HAS SOUPS 27185 WITH SCORE 27667.835
AT ITER 549 NEW BEST:: SOT 614146 SOS 482818 HAS SOPS 481318 HAS SOUS 27152 HAS SOUPS 27134 WITH SCORE 27616.818
AT ITER 554 NEW BEST:: SOT 614145 SOS 482816 HAS SOPS 481316 HAS SOUS 27150 HAS SOUPS 27132 WITH SCORE 27614.816
AT ITER 577 NEW BEST:: SOT 614103 SOS 483097 HAS SOPS 481597 HAS SOUS 27104 HAS SOUPS 27086 WITH SCORE 27569.097
AT ITER 579 NEW BEST:: SOT 614233 SOS 483785 HAS SOPS 482285 HAS SOUS 26981 HAS SOUPS 26963 WITH SCORE 27446.785
AT ITER 594 NEW BEST:: SOT 614218 SOS 483770 HAS SOPS 482270 HAS SOUS 26874 HAS SOUPS 26856 WITH SCORE 27339.77
AT ITER 596 NEW BEST:: SOT 614166 SOS 483699 HAS SOPS 482199 HAS SOUS 26767 HAS SOUPS 26749 WITH SCORE 27232.699
AT ITER 622 NEW BEST:: SOT 614160 SOS 483693 HAS SOPS 482193 HAS SOUS 26749 HAS SOUPS 26731 WITH SCORE 27214.693
AT ITER 629 NEW BEST:: SOT 614160 SOS 482701 HAS SOPS 481201 HAS SOUS 26724 HAS SOUPS 26706 WITH SCORE 27188.701
AT ITER 633 NEW BEST:: SOT 615894 SOS 484516 HAS SOPS 483016 HAS SOUS 25701 HAS SOUPS 25683 WITH SCORE 26167.516
AT ITER 669 NEW BEST:: SOT 615894 SOS 484026 HAS SOPS 482526 HAS SOUS 25691 HAS SOUPS 25673 WITH SCORE 26157.026
AT ITER 688 NEW BEST:: SOT 616598 SOS 484730 HAS SOPS 483230 HAS SOUS 25163 HAS SOUPS 25145 WITH SCORE 25629.73
AT ITER 709 NEW BEST:: SOT 618971 SOS 487103 HAS SOPS 485603 HAS SOUS 24576 HAS SOUPS 24558 WITH SCORE 25045.103
AT ITER 715 NEW BEST:: SOT 618969 SOS 487101 HAS SOPS 485601 HAS SOUS 24572 HAS SOUPS 24554 WITH SCORE 25041.101
AT ITER 771 NEW BEST:: SOT 618966 SOS 487098 HAS SOPS 485598 HAS SOUS 24563 HAS SOUPS 24545 WITH SCORE 25032.098
AT ITER 887 NEW BEST:: SOT 618978 SOS 487110 HAS SOPS 485610 HAS SOUS 24537 HAS SOUPS 24519 WITH SCORE 25006.11
AT ITER 925 NEW BEST:: SOT 619061 SOS 487193 HAS SOPS 485593 HAS SOUS 24529 HAS SOUPS 24511 WITH SCORE 24998.193
AT ITER 975 NEW BEST:: SOT 619055 SOS 487187 HAS SOPS 485587 HAS SOUS 24262 HAS SOUPS 24244 WITH SCORE 24731.187
AT ITER 984 NEW BEST:: SOT 619027 SOS 487159 HAS SOPS 485559 HAS SOUS 24002 HAS SOUPS 23984 WITH SCORE 24471.159
AT ITER 999 NEW BEST:: SOT 619300 SOS 487436 HAS SOPS 485836 HAS SOUS 23968 HAS SOUPS 23950 WITH SCORE 24437.436
AT ITER 1013 NEW BEST:: SOT 619268 SOS 487404 HAS SOPS 485804 HAS SOUS 23904 HAS SOUPS 23886 WITH SCORE 24373.404
AT ITER 1037 NEW BEST:: SOT 619238 SOS 487374 HAS SOPS 485774 HAS SOUS 23844 HAS SOUPS 23826 WITH SCORE 24313.374
AT ITER 1062 NEW BEST:: SOT 619886 SOS 488022 HAS SOPS 486422 HAS SOUS 23695 HAS SOUPS 23677 WITH SCORE 24165.022
AT ITER 1066 NEW BEST:: SOT 619886 SOS 487417 HAS SOPS 485817 HAS SOUS 23685 HAS SOUPS 23667 WITH SCORE 24154.417
AT ITER 1092 NEW BEST:: SOT 619860 SOS 487391 HAS SOPS 485791 HAS SOUS 23633 HAS SOUPS 23615 WITH SCORE 24102.391
AT ITER 1095 NEW BEST:: SOT 619858 SOS 487389 HAS SOPS 485789 HAS SOUS 23629 HAS SOUPS 23611 WITH SCORE 24098.389
AT ITER 1119 NEW BEST:: SOT 619858 SOS 487387 HAS SOPS 485787 HAS SOUS 23629 HAS SOUPS 23611 WITH SCORE 24098.387
AT ITER 1212 NEW BEST:: SOT 619790 SOS 487319 HAS SOPS 485719 HAS SOUS 23493 HAS SOUPS 23475 WITH SCORE 23962.319
AT ITER 1244 NEW BEST:: SOT 619790 SOS 487318 HAS SOPS 485718 HAS SOUS 23491 HAS SOUPS 23473 WITH SCORE 23960.318
AT ITER 1269 NEW BEST:: SOT 619784 SOS 487312 HAS SOPS 485712 HAS SOUS 23479 HAS SOUPS 23461 WITH SCORE 23948.312
AT ITER 1274 NEW BEST:: SOT 619782 SOS 487310 HAS SOPS 485710 HAS SOUS 23475 HAS SOUPS 23457 WITH SCORE 23944.31
AT ITER 1283 NEW BEST:: SOT 620330 SOS 487858 HAS SOPS 486258 HAS SOUS 23416 HAS SOUPS 23398 WITH SCORE 23885.858
AT ITER 1288 NEW BEST:: SOT 620323 SOS 487851 HAS SOPS 486251 HAS SOUS 23409 HAS SOUPS 23391 WITH SCORE 23878.851
AT ITER 1300 NEW BEST:: SOT 620321 SOS 487849 HAS SOPS 486249 HAS SOUS 23405 HAS SOUPS 23387 WITH SCORE 23874.849
AT ITER 1328 NEW BEST:: SOT 621325 SOS 488854 HAS SOPS 487254 HAS SOUS 23403 HAS SOUPS 23385 WITH SCORE 23873.854
AT ITER 1340 NEW BEST:: SOT 621349 SOS 488878 HAS SOPS 487278 HAS SOUS 23388 HAS SOUPS 23370 WITH SCORE 23858.878
AT ITER 1429 NEW BEST:: SOT 621345 SOS 488874 HAS SOPS 487274 HAS SOUS 23380 HAS SOUPS 23362 WITH SCORE 23850.874
AT ITER 1454 NEW BEST:: SOT 621325 SOS 488854 HAS SOPS 487254 HAS SOUS 23340 HAS SOUPS 23322 WITH SCORE 23810.854
AT ITER 1468 NEW BEST:: SOT 621323 SOS 488852 HAS SOPS 487252 HAS SOUS 23336 HAS SOUPS 23318 WITH SCORE 23806.852
AT ITER 1503 NEW BEST:: SOT 621278 SOS 488807 HAS SOPS 487207 HAS SOUS 23291 HAS SOUPS 23273 WITH SCORE 23761.807
AT ITER 1507 NEW BEST:: SOT 621274 SOS 488803 HAS SOPS 487203 HAS SOUS 23285 HAS SOUPS 23267 WITH SCORE 23755.803
AT ITER 1521 NEW BEST:: SOT 621274 SOS 475609 HAS SOPS 475209 HAS SOUS 23277 HAS SOUPS 23271 WITH SCORE 23746.609
AT ITER 1576 NEW BEST:: SOT 621272 SOS 475607 HAS SOPS 475207 HAS SOUS 23273 HAS SOUPS 23267 WITH SCORE 23742.607
AT ITER 1617 NEW BEST:: SOT 621164 SOS 475499 HAS SOPS 475099 HAS SOUS 23216 HAS SOUPS 23210 WITH SCORE 23685.499
AT ITER 1622 NEW BEST:: SOT 621154 SOS 475489 HAS SOPS 475089 HAS SOUS 23196 HAS SOUPS 23190 WITH SCORE 23665.489
AT ITER 1635 NEW BEST:: SOT 621148 SOS 475483 HAS SOPS 475083 HAS SOUS 23184 HAS SOUPS 23178 WITH SCORE 23653.483
AT ITER 1638 NEW BEST:: SOT 621299 SOS 475675 HAS SOPS 475275 HAS SOUS 23151 HAS SOUPS 23145 WITH SCORE 23620.675
AT ITER 1645 NEW BEST:: SOT 621277 SOS 475653 HAS SOPS 475253 HAS SOUS 23107 HAS SOUPS 23101 WITH SCORE 23576.653
AT ITER 1662 NEW BEST:: SOT 621269 SOS 475645 HAS SOPS 475245 HAS SOUS 23091 HAS SOUPS 23085 WITH SCORE 23560.645
AT ITER 1763 NEW BEST:: SOT 621265 SOS 475641 HAS SOPS 475241 HAS SOUS 23083 HAS SOUPS 23077 WITH SCORE 23552.641
AT ITER 1805 NEW BEST:: SOT 621263 SOS 475639 HAS SOPS 475239 HAS SOUS 23081 HAS SOUPS 23075 WITH SCORE 23550.639
AT ITER 1838 NEW BEST:: SOT 621261 SOS 475637 HAS SOPS 475237 HAS SOUS 23077 HAS SOUPS 23071 WITH SCORE 23546.637
AT ITER 1840 NEW BEST:: SOT 621223 SOS 475599 HAS SOPS 475199 HAS SOUS 23001 HAS SOUPS 22995 WITH SCORE 23470.599
AT ITER 1843 NEW BEST:: SOT 621324 SOS 472337 HAS SOPS 471937 HAS SOUS 22953 HAS SOUPS 22947 WITH SCORE 23419.337
AT ITER 1881 NEW BEST:: SOT 621324 SOS 471747 HAS SOPS 471347 HAS SOUS 22941 HAS SOUPS 22935 WITH SCORE 23406.747
AT ITER 1907 NEW BEST:: SOT 621320 SOS 471743 HAS SOPS 471343 HAS SOUS 22931 HAS SOUPS 22925 WITH SCORE 23396.743
AT ITER 2005 NEW BEST:: SOT 621318 SOS 471741 HAS SOPS 471341 HAS SOUS 22927 HAS SOUPS 22921 WITH SCORE 23392.741
AT ITER 2037 NEW BEST:: SOT 621316 SOS 471739 HAS SOPS 471339 HAS SOUS 22923 HAS SOUPS 22917 WITH SCORE 23388.739
AT ITER 2067 NEW BEST:: SOT 621314 SOS 471737 HAS SOPS 471337 HAS SOUS 22919 HAS SOUPS 22913 WITH SCORE 23384.737
AT ITER 2116 NEW BEST:: SOT 621284 SOS 471707 HAS SOPS 471307 HAS SOUS 22859 HAS SOUPS 22853 WITH SCORE 23324.707
AT ITER 2126 NEW BEST:: SOT 621287 SOS 470822 HAS SOPS 470419 HAS SOUS 22846 HAS SOUPS 22837 WITH SCORE 23307.822
AT ITER 2136 NEW BEST:: SOT 621287 SOS 469220 HAS SOPS 468817 HAS SOUS 22814 HAS SOUPS 22805 WITH SCORE 23274.22
AT ITER 2151 NEW BEST:: SOT 621285 SOS 469218 HAS SOPS 468815 HAS SOUS 22810 HAS SOUPS 22801 WITH SCORE 23270.218
AT ITER 2173 NEW BEST:: SOT 621275 SOS 469208 HAS SOPS 468805 HAS SOUS 22790 HAS SOUPS 22781 WITH SCORE 23250.208
AT ITER 2185 NEW BEST:: SOT 621312 SOS 469245 HAS SOPS 468842 HAS SOUS 22693 HAS SOUPS 22684 WITH SCORE 23153.245
AT ITER 2199 NEW BEST:: SOT 621310 SOS 469243 HAS SOPS 468840 HAS SOUS 22689 HAS SOUPS 22680 WITH SCORE 23149.243
AT ITER 2233 NEW BEST:: SOT 621278 SOS 469211 HAS SOPS 468808 HAS SOUS 22625 HAS SOUPS 22616 WITH SCORE 23085.211
AT ITER 2238 NEW BEST:: SOT 621308 SOS 469241 HAS SOPS 468838 HAS SOUS 22569 HAS SOUPS 22560 WITH SCORE 23029.241
AT ITER 2247 NEW BEST:: SOT 621302 SOS 469235 HAS SOPS 468832 HAS SOUS 22557 HAS SOUPS 22548 WITH SCORE 23017.235
AT ITER 2257 NEW BEST:: SOT 621301 SOS 469234 HAS SOPS 468831 HAS SOUS 22557 HAS SOUPS 22548 WITH SCORE 23017.234
AT ITER 2258 NEW BEST:: SOT 621275 SOS 469208 HAS SOPS 468805 HAS SOUS 22505 HAS SOUPS 22496 WITH SCORE 22965.208
AT ITER 2285 NEW BEST:: SOT 621280 SOS 469213 HAS SOPS 468810 HAS SOUS 22504 HAS SOUPS 22495 WITH SCORE 22964.213
AT ITER 2295 NEW BEST:: SOT 620694 SOS 468627 HAS SOPS 468224 HAS SOUS 22488 HAS SOUPS 22479 WITH SCORE 22947.627
AT ITER 2299 NEW BEST:: SOT 620668 SOS 468601 HAS SOPS 468198 HAS SOUS 22436 HAS SOUPS 22427 WITH SCORE 22895.601
AT ITER 2327 NEW BEST:: SOT 620668 SOS 468788 HAS SOPS 468385 HAS SOUS 22247 HAS SOUPS 22238 WITH SCORE 22706.788
AT ITER 2329 NEW BEST:: SOT 620537 SOS 468657 HAS SOPS 468254 HAS SOUS 22247 HAS SOUPS 22238 WITH SCORE 22706.657
AT ITER 2341 NEW BEST:: SOT 620535 SOS 468655 HAS SOPS 468252 HAS SOUS 22243 HAS SOUPS 22234 WITH SCORE 22702.655
AT ITER 2365 NEW BEST:: SOT 620493 SOS 468613 HAS SOPS 468210 HAS SOUS 22138 HAS SOUPS 22129 WITH SCORE 22597.613
AT ITER 2390 NEW BEST:: SOT 621358 SOS 469478 HAS SOPS 469075 HAS SOUS 22133 HAS SOUPS 22124 WITH SCORE 22593.478
AT ITER 2419 NEW BEST:: SOT 621356 SOS 469476 HAS SOPS 469073 HAS SOUS 22129 HAS SOUPS 22120 WITH SCORE 22589.476
AT ITER 2427 NEW BEST:: SOT 621356 SOS 468389 HAS SOPS 467943 HAS SOUS 22151 HAS SOUPS 22120 WITH SCORE 22588.389
AT ITER 2451 NEW BEST:: SOT 621336 SOS 468369 HAS SOPS 467923 HAS SOUS 22131 HAS SOUPS 22100 WITH SCORE 22568.369
AT ITER 2462 NEW BEST:: SOT 621332 SOS 468365 HAS SOPS 467919 HAS SOUS 22123 HAS SOUPS 22092 WITH SCORE 22560.365
AT ITER 2466 NEW BEST:: SOT 621332 SOS 467670 HAS SOPS 467194 HAS SOUS 22138 HAS SOUPS 22092 WITH SCORE 22559.67
AT ITER 2484 NEW BEST:: SOT 621314 SOS 467652 HAS SOPS 467176 HAS SOUS 22102 HAS SOUPS 22056 WITH SCORE 22523.652
AT ITER 2521 NEW BEST:: SOT 621312 SOS 467650 HAS SOPS 467174 HAS SOUS 22098 HAS SOUPS 22052 WITH SCORE 22519.65
AT ITER 2573 NEW BEST:: SOT 621336 SOS 467174 HAS SOPS 466698 HAS SOUS 22085 HAS SOUPS 22039 WITH SCORE 22506.174
AT ITER 2621 NEW BEST:: SOT 621336 SOS 467170 HAS SOPS 466694 HAS SOUS 22085 HAS SOUPS 22039 WITH SCORE 22506.17
AT ITER 2633 NEW BEST:: SOT 622076 SOS 467910 HAS SOPS 467434 HAS SOUS 22053 HAS SOUPS 22007 WITH SCORE 22474.91
AT ITER 2634 NEW BEST:: SOT 622076 SOS 464856 HAS SOPS 464380 HAS SOUS 21989 HAS SOUPS 21943 WITH SCORE 22407.856
AT ITER 2636 NEW BEST:: SOT 622076 SOS 464854 HAS SOPS 464378 HAS SOUS 21989 HAS SOUPS 21943 WITH SCORE 22407.854
AT ITER 2664 NEW BEST:: SOT 622076 SOS 464848 HAS SOPS 464372 HAS SOUS 21989 HAS SOUPS 21943 WITH SCORE 22407.848
AT ITER 2666 NEW BEST:: SOT 622074 SOS 464846 HAS SOPS 464370 HAS SOUS 21975 HAS SOUPS 21929 WITH SCORE 22393.846
AT ITER 2676 NEW BEST:: SOT 622074 SOS 464840 HAS SOPS 464364 HAS SOUS 21975 HAS SOUPS 21929 WITH SCORE 22393.84
AT ITER 2692 NEW BEST:: SOT 622074 SOS 465574 HAS SOPS 465090 HAS SOUS 21805 HAS SOUPS 21755 WITH SCORE 22220.574
AT ITER 2696 NEW BEST:: SOT 622074 SOS 465570 HAS SOPS 465086 HAS SOUS 21805 HAS SOUPS 21755 WITH SCORE 22220.57
AT ITER 2716 NEW BEST:: SOT 622068 SOS 465564 HAS SOPS 465080 HAS SOUS 21793 HAS SOUPS 21743 WITH SCORE 22208.564
AT ITER 2757 NEW BEST:: SOT 622104 SOS 465600 HAS SOPS 465116 HAS SOUS 21557 HAS SOUPS 21507 WITH SCORE 21972.6
AT ITER 2765 NEW BEST:: SOT 622098 SOS 465594 HAS SOPS 465110 HAS SOUS 21545 HAS SOUPS 21495 WITH SCORE 21960.594
AT ITER 2783 NEW BEST:: SOT 622096 SOS 465592 HAS SOPS 465108 HAS SOUS 21541 HAS SOUPS 21491 WITH SCORE 21956.592
AT ITER 2797 NEW BEST:: SOT 622096 SOS 464878 HAS SOPS 464394 HAS SOUS 21534 HAS SOUPS 21484 WITH SCORE 21948.878
AT ITER 2801 NEW BEST:: SOT 622092 SOS 464874 HAS SOPS 464390 HAS SOUS 21424 HAS SOUPS 21374 WITH SCORE 21838.874
AT ITER 2827 NEW BEST:: SOT 622088 SOS 464870 HAS SOPS 464386 HAS SOUS 21416 HAS SOUPS 21366 WITH SCORE 21830.87
AT ITER 2841 NEW BEST:: SOT 622064 SOS 464846 HAS SOPS 464362 HAS SOUS 21164 HAS SOUPS 21114 WITH SCORE 21578.846
AT ITER 2955 NEW BEST:: SOT 622064 SOS 464436 HAS SOPS 463952 HAS SOUS 21156 HAS SOUPS 21106 WITH SCORE 21570.436
AT ITER 3038 NEW BEST:: SOT 622064 SOS 464428 HAS SOPS 463944 HAS SOUS 21156 HAS SOUPS 21106 WITH SCORE 21570.428
AT ITER 3048 NEW BEST:: SOT 621801 SOS 464565 HAS SOPS 464381 HAS SOUS 20997 HAS SOUPS 20951 WITH SCORE 21415.565
AT ITER 3050 NEW BEST:: SOT 621789 SOS 464553 HAS SOPS 464369 HAS SOUS 20973 HAS SOUPS 20927 WITH SCORE 21391.553
AT ITER 3059 NEW BEST:: SOT 621781 SOS 464545 HAS SOPS 464361 HAS SOUS 20957 HAS SOUPS 20911 WITH SCORE 21375.545
AT ITER 3074 NEW BEST:: SOT 621781 SOS 464541 HAS SOPS 464357 HAS SOUS 20957 HAS SOUPS 20911 WITH SCORE 21375.541
AT ITER 3105 NEW BEST:: SOT 621782 SOS 464542 HAS SOPS 464358 HAS SOUS 20956 HAS SOUPS 20910 WITH SCORE 21374.542
AT ITER 3118 NEW BEST:: SOT 621782 SOS 464542 HAS SOPS 464358 HAS SOUS 20932 HAS SOUPS 20886 WITH SCORE 21350.542
AT ITER 3131 NEW BEST:: SOT 621775 SOS 464532 HAS SOPS 464348 HAS SOUS 20910 HAS SOUPS 20864 WITH SCORE 21328.532
AT ITER 3133 NEW BEST:: SOT 621771 SOS 464528 HAS SOPS 464344 HAS SOUS 20902 HAS SOUPS 20856 WITH SCORE 21320.528
AT ITER 3141 NEW BEST:: SOT 621755 SOS 464512 HAS SOPS 464328 HAS SOUS 20870 HAS SOUPS 20824 WITH SCORE 21288.512
AT ITER 3154 NEW BEST:: SOT 621743 SOS 464500 HAS SOPS 464316 HAS SOUS 20846 HAS SOUPS 20800 WITH SCORE 21264.5
AT ITER 3170 NEW BEST:: SOT 621728 SOS 464485 HAS SOPS 464301 HAS SOUS 20815 HAS SOUPS 20769 WITH SCORE 21233.485
AT ITER 3186 NEW BEST:: SOT 621728 SOS 464473 HAS SOPS 464289 HAS SOUS 20815 HAS SOUPS 20769 WITH SCORE 21233.473
AT ITER 3227 NEW BEST:: SOT 621726 SOS 464471 HAS SOPS 464287 HAS SOUS 20811 HAS SOUPS 20765 WITH SCORE 21229.471
AT ITER 3323 NEW BEST:: SOT 621712 SOS 464457 HAS SOPS 464273 HAS SOUS 20775 HAS SOUPS 20729 WITH SCORE 21193.457
AT ITER 3349 NEW BEST:: SOT 621712 SOS 464456 HAS SOPS 464272 HAS SOUS 20774 HAS SOUPS 20728 WITH SCORE 21192.456
AT ITER 3363 NEW BEST:: SOT 621712 SOS 464434 HAS SOPS 464250 HAS SOUS 20774 HAS SOUPS 20728 WITH SCORE 21192.434
AT ITER 3424 NEW BEST:: SOT 621700 SOS 464422 HAS SOPS 464238 HAS SOUS 20750 HAS SOUPS 20704 WITH SCORE 21168.422
AT ITER 3430 NEW BEST:: SOT 621684 SOS 464406 HAS SOPS 464222 HAS SOUS 20718 HAS SOUPS 20672 WITH SCORE 21136.406
AT ITER 3441 NEW BEST:: SOT 621680 SOS 464402 HAS SOPS 464218 HAS SOUS 20710 HAS SOUPS 20664 WITH SCORE 21128.402
AT ITER 3457 NEW BEST:: SOT 621674 SOS 464396 HAS SOPS 464212 HAS SOUS 20698 HAS SOUPS 20652 WITH SCORE 21116.396
AT ITER 3539 NEW BEST:: SOT 621674 SOS 464384 HAS SOPS 464200 HAS SOUS 20698 HAS SOUPS 20652 WITH SCORE 21116.384
AT ITER 3546 NEW BEST:: SOT 621672 SOS 464895 HAS SOPS 464704 HAS SOUS 20526 HAS SOUPS 20477 WITH SCORE 20941.895
AT ITER 3671 NEW BEST:: SOT 620767 SOS 463990 HAS SOPS 463799 HAS SOUS 20518 HAS SOUPS 20469 WITH SCORE 20932.99
AT ITER 3786 NEW BEST:: SOT 620817 SOS 464040 HAS SOPS 463849 HAS SOUS 20516 HAS SOUPS 20467 WITH SCORE 20931.04
AT ITER 3849 NEW BEST:: SOT 620451 SOS 463674 HAS SOPS 463483 HAS SOUS 20500 HAS SOUPS 20451 WITH SCORE 20914.674
AT ITER 3867 NEW BEST:: SOT 620674 SOS 463897 HAS SOPS 463706 HAS SOUS 20409 HAS SOUPS 20360 WITH SCORE 20823.897
AT ITER 3939 NEW BEST:: SOT 620674 SOS 463895 HAS SOPS 463704 HAS SOUS 20409 HAS SOUPS 20360 WITH SCORE 20823.895
AT ITER 3953 NEW BEST:: SOT 620670 SOS 463891 HAS SOPS 463700 HAS SOUS 20397 HAS SOUPS 20348 WITH SCORE 20811.891
AT ITER 3954 NEW BEST:: SOT 620666 SOS 463887 HAS SOPS 463696 HAS SOUS 20389 HAS SOUPS 20340 WITH SCORE 20803.887
AT ITER 4014 NEW BEST:: SOT 620656 SOS 463877 HAS SOPS 463686 HAS SOUS 20369 HAS SOUPS 20320 WITH SCORE 20783.877
AT ITER 4029 NEW BEST:: SOT 620650 SOS 463871 HAS SOPS 463680 HAS SOUS 20357 HAS SOUPS 20308 WITH SCORE 20771.871
AT ITER 4054 NEW BEST:: SOT 620690 SOS 463911 HAS SOPS 463720 HAS SOUS 20344 HAS SOUPS 20295 WITH SCORE 20758.911
AT ITER 4104 NEW BEST:: SOT 620535 SOS 463756 HAS SOPS 463565 HAS SOUS 20343 HAS SOUPS 20294 WITH SCORE 20757.756
AT ITER 4114 NEW BEST:: SOT 620535 SOS 463536 HAS SOPS 463361 HAS SOUS 20331 HAS SOUPS 20290 WITH SCORE 20753.536
AT ITER 4116 NEW BEST:: SOT 620535 SOS 463532 HAS SOPS 463357 HAS SOUS 20331 HAS SOUPS 20290 WITH SCORE 20753.532
AT ITER 4156 NEW BEST:: SOT 620535 SOS 463530 HAS SOPS 463355 HAS SOUS 20331 HAS SOUPS 20290 WITH SCORE 20753.53
AT ITER 4250 NEW BEST:: SOT 620531 SOS 463526 HAS SOPS 463351 HAS SOUS 20323 HAS SOUPS 20282 WITH SCORE 20745.526
AT ITER 4298 NEW BEST:: SOT 620529 SOS 463524 HAS SOPS 463349 HAS SOUS 20319 HAS SOUPS 20278 WITH SCORE 20741.524
AT ITER 4390 NEW BEST:: SOT 620529 SOS 463418 HAS SOPS 463243 HAS SOUS 20319 HAS SOUPS 20278 WITH SCORE 20741.418
AT ITER 4430 NEW BEST:: SOT 620529 SOS 463365 HAS SOPS 463190 HAS SOUS 20318 HAS SOUPS 20277 WITH SCORE 20740.365
AT ITER 4513 NEW BEST:: SOT 620529 SOS 463357 HAS SOPS 463182 HAS SOUS 20318 HAS SOUPS 20277 WITH SCORE 20740.357
AT ITER 4574 NEW BEST:: SOT 620523 SOS 463351 HAS SOPS 463176 HAS SOUS 20306 HAS SOUPS 20265 WITH SCORE 20728.351
AT ITER 4618 NEW BEST:: SOT 620523 SOS 463349 HAS SOPS 463174 HAS SOUS 20306 HAS SOUPS 20265 WITH SCORE 20728.349
AT ITER 4677 NEW BEST:: SOT 620519 SOS 463345 HAS SOPS 463170 HAS SOUS 20298 HAS SOUPS 20257 WITH SCORE 20720.345
AT ITER 4687 NEW BEST:: SOT 620517 SOS 463343 HAS SOPS 463168 HAS SOUS 20294 HAS SOUPS 20253 WITH SCORE 20716.343
AT ITER 4781 NEW BEST:: SOT 620509 SOS 463335 HAS SOPS 463160 HAS SOUS 20278 HAS SOUPS 20237 WITH SCORE 20700.335
AT ITER 4802 NEW BEST:: SOT 620509 SOS 462723 HAS SOPS 462548 HAS SOUS 20266 HAS SOUPS 20225 WITH SCORE 20687.723
AT ITER 5000 NEW BEST:: SOT 620507 SOS 462721 HAS SOPS 462546 HAS SOUS 20058 HAS SOUPS 20017 WITH SCORE 20479.721
AT ITER 5116 NEW BEST:: SOT 620491 SOS 462705 HAS SOPS 462530 HAS SOUS 20026 HAS SOUPS 19985 WITH SCORE 20447.705
AT ITER 5156 NEW BEST:: SOT 620487 SOS 462701 HAS SOPS 462526 HAS SOUS 19916 HAS SOUPS 19875 WITH SCORE 20337.701
AT ITER 5216 NEW BEST:: SOT 620566 SOS 462342 HAS SOPS 462119 HAS SOUS 19914 HAS SOUPS 19875 WITH SCORE 20337.342
AT ITER 5244 NEW BEST:: SOT 620566 SOS 462342 HAS SOPS 462119 HAS SOUS 19898 HAS SOUPS 19859 WITH SCORE 20321.342
AT ITER 5296 NEW BEST:: SOT 620456 SOS 462232 HAS SOPS 462009 HAS SOUS 19890 HAS SOUPS 19851 WITH SCORE 20313.232
AT ITER 5336 NEW BEST:: SOT 620456 SOS 462222 HAS SOPS 461999 HAS SOUS 19890 HAS SOUPS 19851 WITH SCORE 20313.222
AT ITER 5365 NEW BEST:: SOT 620454 SOS 462220 HAS SOPS 461997 HAS SOUS 19886 HAS SOUPS 19847 WITH SCORE 20309.22
AT ITER 5443 NEW BEST:: SOT 620452 SOS 462218 HAS SOPS 461995 HAS SOUS 19882 HAS SOUPS 19843 WITH SCORE 20305.218
AT ITER 5540 NEW BEST:: SOT 620440 SOS 462206 HAS SOPS 461983 HAS SOUS 19858 HAS SOUPS 19819 WITH SCORE 20281.206
AT ITER 5685 NEW BEST:: SOT 620434 SOS 462200 HAS SOPS 461977 HAS SOUS 19846 HAS SOUPS 19807 WITH SCORE 20269.2
AT ITER 5799 NEW BEST:: SOT 620432 SOS 462198 HAS SOPS 461975 HAS SOUS 19842 HAS SOUPS 19803 WITH SCORE 20265.198
AT ITER 5831 NEW BEST:: SOT 620430 SOS 462196 HAS SOPS 461973 HAS SOUS 19838 HAS SOUPS 19799 WITH SCORE 20261.196
AT ITER 5835 NEW BEST:: SOT 620428 SOS 462194 HAS SOPS 461971 HAS SOUS 19834 HAS SOUPS 19795 WITH SCORE 20257.194
AT ITER 5848 NEW BEST:: SOT 620420 SOS 462212 HAS SOPS 461989 HAS SOUS 19818 HAS SOUPS 19779 WITH SCORE 20241.212
AT ITER 5876 NEW BEST:: SOT 620420 SOS 462194 HAS SOPS 461971 HAS SOUS 19818 HAS SOUPS 19779 WITH SCORE 20241.194
AT ITER 5903 NEW BEST:: SOT 620414 SOS 462188 HAS SOPS 461965 HAS SOUS 19806 HAS SOUPS 19767 WITH SCORE 20229.188
AT ITER 5928 NEW BEST:: SOT 620400 SOS 462174 HAS SOPS 461951 HAS SOUS 19778 HAS SOUPS 19739 WITH SCORE 20201.174
AT ITER 6014 NEW BEST:: SOT 620386 SOS 462160 HAS SOPS 461937 HAS SOUS 19764 HAS SOUPS 19725 WITH SCORE 20187.16
AT ITER 6047 NEW BEST:: SOT 620381 SOS 462164 HAS SOPS 461941 HAS SOUS 19748 HAS SOUPS 19709 WITH SCORE 20171.164
AT ITER 6162 NEW BEST:: SOT 620381 SOS 462154 HAS SOPS 461931 HAS SOUS 19748 HAS SOUPS 19709 WITH SCORE 20171.154
AT ITER 6198 NEW BEST:: SOT 620375 SOS 462148 HAS SOPS 461925 HAS SOUS 19740 HAS SOUPS 19701 WITH SCORE 20163.148
AT ITER 6233 NEW BEST:: SOT 620375 SOS 462146 HAS SOPS 461923 HAS SOUS 19740 HAS SOUPS 19701 WITH SCORE 20163.146
AT ITER 6333 NEW BEST:: SOT 620375 SOS 462132 HAS SOPS 461909 HAS SOUS 19740 HAS SOUPS 19701 WITH SCORE 20163.132
AT ITER 6369 NEW BEST:: SOT 620375 SOS 462124 HAS SOPS 461901 HAS SOUS 19740 HAS SOUPS 19701 WITH SCORE 20163.124
AT ITER 6376 NEW BEST:: SOT 620375 SOS 461928 HAS SOPS 461697 HAS SOUS 19740 HAS SOUPS 19697 WITH SCORE 20158.928
AT ITER 6503 NEW BEST:: SOT 620371 SOS 461924 HAS SOPS 461693 HAS SOUS 19732 HAS SOUPS 19689 WITH SCORE 20150.924
AT ITER 6530 NEW BEST:: SOT 620350 SOS 461903 HAS SOPS 461672 HAS SOUS 19713 HAS SOUPS 19670 WITH SCORE 20131.903
AT ITER 6665 NEW BEST:: SOT 620350 SOS 461893 HAS SOPS 461662 HAS SOUS 19713 HAS SOUPS 19670 WITH SCORE 20131.893
AT ITER 6679 NEW BEST:: SOT 620340 SOS 461883 HAS SOPS 461652 HAS SOUS 19711 HAS SOUPS 19668 WITH SCORE 20129.883
AT ITER 6816 NEW BEST:: SOT 620339 SOS 461882 HAS SOPS 461651 HAS SOUS 19710 HAS SOUPS 19667 WITH SCORE 20128.882
AT ITER 6850 NEW BEST:: SOT 620709 SOS 462252 HAS SOPS 462021 HAS SOUS 19700 HAS SOUPS 19657 WITH SCORE 20119.252
AT ITER 7010 NEW BEST:: SOT 620707 SOS 462250 HAS SOPS 462019 HAS SOUS 19696 HAS SOUPS 19653 WITH SCORE 20115.25
AT ITER 7185 NEW BEST:: SOT 620707 SOS 462097 HAS SOPS 461866 HAS SOUS 19696 HAS SOUPS 19653 WITH SCORE 20115.097
AT ITER 7260 NEW BEST:: SOT 620754 SOS 462144 HAS SOPS 461913 HAS SOUS 19649 HAS SOUPS 19606 WITH SCORE 20068.144
AT ITER 7284 NEW BEST:: SOT 620754 SOS 461899 HAS SOPS 461668 HAS SOUS 19644 HAS SOUPS 19601 WITH SCORE 20062.899
AT ITER 7327 NEW BEST:: SOT 621021 SOS 462166 HAS SOPS 461935 HAS SOUS 19584 HAS SOUPS 19541 WITH SCORE 20003.166
AT ITER 7344 NEW BEST:: SOT 621019 SOS 462164 HAS SOPS 461933 HAS SOUS 19580 HAS SOUPS 19537 WITH SCORE 19999.164
AT ITER 7357 NEW BEST:: SOT 621013 SOS 462158 HAS SOPS 461927 HAS SOUS 19568 HAS SOUPS 19525 WITH SCORE 19987.158
AT ITER 7378 NEW BEST:: SOT 620993 SOS 462138 HAS SOPS 461907 HAS SOUS 19528 HAS SOUPS 19485 WITH SCORE 19947.138
AT ITER 7568 NEW BEST:: SOT 620993 SOS 462136 HAS SOPS 461905 HAS SOUS 19528 HAS SOUPS 19485 WITH SCORE 19947.136
AT ITER 7699 NEW BEST:: SOT 620993 SOS 462130 HAS SOPS 461899 HAS SOUS 19528 HAS SOUPS 19485 WITH SCORE 19947.13
AT ITER 7748 NEW BEST:: SOT 620991 SOS 462128 HAS SOPS 461897 HAS SOUS 19524 HAS SOUPS 19481 WITH SCORE 19943.128
AT ITER 7792 NEW BEST:: SOT 620991 SOS 462124 HAS SOPS 461893 HAS SOUS 19524 HAS SOUPS 19481 WITH SCORE 19943.124
AT ITER 7848 NEW BEST:: SOT 620989 SOS 462122 HAS SOPS 461891 HAS SOUS 19520 HAS SOUPS 19477 WITH SCORE 19939.122
AT ITER 7886 NEW BEST:: SOT 620985 SOS 462118 HAS SOPS 461887 HAS SOUS 19512 HAS SOUPS 19469 WITH SCORE 19931.118
AT ITER 7914 NEW BEST:: SOT 620983 SOS 462116 HAS SOPS 461885 HAS SOUS 19508 HAS SOUPS 19465 WITH SCORE 19927.116
AT ITER 7970 NEW BEST:: SOT 620983 SOS 461910 HAS SOPS 461679 HAS SOUS 19506 HAS SOUPS 19463 WITH SCORE 19924.91
AT ITER 8266 NEW BEST:: SOT 620981 SOS 461908 HAS SOPS 461677 HAS SOUS 19502 HAS SOUPS 19459 WITH SCORE 19920.908
AT ITER 8459 NEW BEST:: SOT 620977 SOS 461904 HAS SOPS 461673 HAS SOUS 19498 HAS SOUPS 19455 WITH SCORE 19916.904
AT ITER 8480 NEW BEST:: SOT 620975 SOS 461902 HAS SOPS 461671 HAS SOUS 19494 HAS SOUPS 19451 WITH SCORE 19912.902
AT ITER 8488 NEW BEST:: SOT 620716 SOS 461643 HAS SOPS 461412 HAS SOUS 19491 HAS SOUPS 19448 WITH SCORE 19909.643
AT ITER 8636 NEW BEST:: SOT 620708 SOS 461635 HAS SOPS 461404 HAS SOUS 19475 HAS SOUPS 19432 WITH SCORE 19893.635
AT ITER 8662 NEW BEST:: SOT 620704 SOS 461631 HAS SOPS 461400 HAS SOUS 19467 HAS SOUPS 19424 WITH SCORE 19885.631
AT ITER 8975 NEW BEST:: SOT 620704 SOS 461629 HAS SOPS 461398 HAS SOUS 19467 HAS SOUPS 19424 WITH SCORE 19885.629
AT ITER 9009 NEW BEST:: SOT 620730 SOS 461655 HAS SOPS 461424 HAS SOUS 19258 HAS SOUPS 19215 WITH SCORE 19676.655
AT ITER 9010 NEW BEST:: SOT 620726 SOS 461651 HAS SOPS 461420 HAS SOUS 19250 HAS SOUPS 19207 WITH SCORE 19668.651
AT ITER 9062 NEW BEST:: SOT 620714 SOS 461639 HAS SOPS 461408 HAS SOUS 19124 HAS SOUPS 19081 WITH SCORE 19542.639
AT ITER 9084 NEW BEST:: SOT 620708 SOS 461633 HAS SOPS 461402 HAS SOUS 19114 HAS SOUPS 19071 WITH SCORE 19532.633
AT ITER 9149 NEW BEST:: SOT 620760 SOS 461685 HAS SOPS 461454 HAS SOUS 19113 HAS SOUPS 19070 WITH SCORE 19531.685
AT ITER 9224 NEW BEST:: SOT 620762 SOS 461687 HAS SOPS 461456 HAS SOUS 19064 HAS SOUPS 19021 WITH SCORE 19482.687
AT ITER 9247 NEW BEST:: SOT 620762 SOS 461683 HAS SOPS 461452 HAS SOUS 19064 HAS SOUPS 19021 WITH SCORE 19482.683
AT ITER 9293 NEW BEST:: SOT 620656 SOS 461577 HAS SOPS 461346 HAS SOUS 19064 HAS SOUPS 19021 WITH SCORE 19482.577
AT ITER 9528 NEW BEST:: SOT 619997 SOS 460918 HAS SOPS 460687 HAS SOUS 19059 HAS SOUPS 19016 WITH SCORE 19476.918
AT ITER 9577 NEW BEST:: SOT 619997 SOS 460914 HAS SOPS 460683 HAS SOUS 19059 HAS SOUPS 19016 WITH SCORE 19476.914
AT ITER 9695 NEW BEST:: SOT 619997 SOS 460910 HAS SOPS 460679 HAS SOUS 19059 HAS SOUPS 19016 WITH SCORE 19476.91
AT ITER 9730 NEW BEST:: SOT 619989 SOS 460902 HAS SOPS 460671 HAS SOUS 19045 HAS SOUPS 19002 WITH SCORE 19462.902
AT ITER 9800 NEW BEST:: SOT 619987 SOS 460900 HAS SOPS 460669 HAS SOUS 19041 HAS SOUPS 18998 WITH SCORE 19458.9
AT ITER 9895 NEW BEST:: SOT 619985 SOS 460898 HAS SOPS 460667 HAS SOUS 19037 HAS SOUPS 18994 WITH SCORE 19454.898
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 1970284 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16096664 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-PT-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-PT-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-167813696600272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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