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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 29K Feb 25 12:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 25 12:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 589K Feb 25 12:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.1M Feb 25 12:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 16K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 58K 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 711K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 46K Feb 25 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 253K Feb 25 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Feb 25 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.1M Feb 25 14:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K 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 1678779924738

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-V50P20N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 07:45:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 07:45:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 07:45:26] [INFO ] Load time of PNML (sax parser for PT used): 233 ms
[2023-03-14 07:45:26] [INFO ] Transformed 168 places.
[2023-03-14 07:45:26] [INFO ] Transformed 5408 transitions.
[2023-03-14 07:45:26] [INFO ] Parsed PT model containing 168 places and 5408 transitions and 42330 arcs in 337 ms.
[2023-03-14 07:45:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 5408 transitions and 42330 arcs took 54 ms.
Total runtime 421 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V50P20N50
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 15 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 41952 HAS SOUPS 41894 WITH SCORE 42489.02
AT ITER 29 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 41442 HAS SOUPS 41384 WITH SCORE 41979.02
AT ITER 32 NEW BEST:: SOT 608712 SOS 467714 HAS SOPS 467064 HAS SOUS 41393 HAS SOUPS 41384 WITH SCORE 41851.714
AT ITER 36 NEW BEST:: SOT 609376 SOS 468378 HAS SOPS 467728 HAS SOUS 39095 HAS SOUPS 39086 WITH SCORE 39554.378
AT ITER 82 NEW BEST:: SOT 610837 SOS 469839 HAS SOPS 469189 HAS SOUS 37337 HAS SOUPS 37328 WITH SCORE 37797.839
AT ITER 94 NEW BEST:: SOT 612223 SOS 471225 HAS SOPS 470575 HAS SOUS 36495 HAS SOUPS 36486 WITH SCORE 36957.225
AT ITER 145 NEW BEST:: SOT 612224 SOS 471226 HAS SOPS 470576 HAS SOUS 36478 HAS SOUPS 36469 WITH SCORE 36940.226
AT ITER 172 NEW BEST:: SOT 612224 SOS 471226 HAS SOPS 470576 HAS SOUS 36427 HAS SOUPS 36418 WITH SCORE 36889.226
AT ITER 189 NEW BEST:: SOT 612365 SOS 471367 HAS SOPS 470717 HAS SOUS 32945 HAS SOUPS 32936 WITH SCORE 33407.367
AT ITER 202 NEW BEST:: SOT 612364 SOS 471366 HAS SOPS 470716 HAS SOUS 32942 HAS SOUPS 32933 WITH SCORE 33404.366
AT ITER 215 NEW BEST:: SOT 612363 SOS 471365 HAS SOPS 470715 HAS SOUS 32939 HAS SOUPS 32930 WITH SCORE 33401.365
AT ITER 216 NEW BEST:: SOT 612363 SOS 471269 HAS SOPS 470619 HAS SOUS 32936 HAS SOUPS 32927 WITH SCORE 33398.269
AT ITER 234 NEW BEST:: SOT 612363 SOS 469895 HAS SOPS 469245 HAS SOUS 32908 HAS SOUPS 32899 WITH SCORE 33368.895
AT ITER 255 NEW BEST:: SOT 612362 SOS 469894 HAS SOPS 469244 HAS SOUS 32905 HAS SOUPS 32896 WITH SCORE 33365.894
AT ITER 305 NEW BEST:: SOT 612360 SOS 469892 HAS SOPS 469242 HAS SOUS 32899 HAS SOUPS 32890 WITH SCORE 33359.892
AT ITER 310 NEW BEST:: SOT 612360 SOS 469890 HAS SOPS 469240 HAS SOUS 32899 HAS SOUPS 32890 WITH SCORE 33359.89
AT ITER 332 NEW BEST:: SOT 612342 SOS 469872 HAS SOPS 469222 HAS SOUS 32877 HAS SOUPS 32868 WITH SCORE 33337.872
AT ITER 333 NEW BEST:: SOT 612341 SOS 469871 HAS SOPS 469221 HAS SOUS 32874 HAS SOUPS 32865 WITH SCORE 33334.871
AT ITER 361 NEW BEST:: SOT 612341 SOS 468799 HAS SOPS 468149 HAS SOUS 32850 HAS SOUPS 32841 WITH SCORE 33309.799
AT ITER 362 NEW BEST:: SOT 612340 SOS 468798 HAS SOPS 468148 HAS SOUS 32847 HAS SOUPS 32838 WITH SCORE 33306.798
AT ITER 368 NEW BEST:: SOT 612329 SOS 468787 HAS SOPS 468137 HAS SOUS 32814 HAS SOUPS 32805 WITH SCORE 33273.787
AT ITER 415 NEW BEST:: SOT 612328 SOS 468786 HAS SOPS 468136 HAS SOUS 32811 HAS SOUPS 32802 WITH SCORE 33270.786
AT ITER 455 NEW BEST:: SOT 612328 SOS 468784 HAS SOPS 468134 HAS SOUS 32811 HAS SOUPS 32802 WITH SCORE 33270.784
AT ITER 529 NEW BEST:: SOT 612321 SOS 468777 HAS SOPS 468127 HAS SOUS 32790 HAS SOUPS 32781 WITH SCORE 33249.777
AT ITER 560 NEW BEST:: SOT 612321 SOS 468275 HAS SOPS 467825 HAS SOUS 32785 HAS SOUPS 32778 WITH SCORE 33246.275
AT ITER 599 NEW BEST:: SOT 612331 SOS 468285 HAS SOPS 467835 HAS SOUS 32711 HAS SOUPS 32704 WITH SCORE 33172.285
AT ITER 601 NEW BEST:: SOT 612331 SOS 467087 HAS SOPS 466637 HAS SOUS 32688 HAS SOUPS 32681 WITH SCORE 33148.087
AT ITER 624 NEW BEST:: SOT 612421 SOS 467177 HAS SOPS 466727 HAS SOUS 32448 HAS SOUPS 32441 WITH SCORE 32908.177
AT ITER 633 NEW BEST:: SOT 612419 SOS 467175 HAS SOPS 466725 HAS SOUS 32442 HAS SOUPS 32435 WITH SCORE 32902.175
AT ITER 642 NEW BEST:: SOT 612419 SOS 467075 HAS SOPS 466625 HAS SOUS 32440 HAS SOUPS 32433 WITH SCORE 32900.075
AT ITER 678 NEW BEST:: SOT 612592 SOS 467248 HAS SOPS 466798 HAS SOUS 28174 HAS SOUPS 28167 WITH SCORE 28634.248
AT ITER 702 NEW BEST:: SOT 612588 SOS 467244 HAS SOPS 466794 HAS SOUS 28162 HAS SOUPS 28155 WITH SCORE 28622.244
AT ITER 727 NEW BEST:: SOT 612587 SOS 467243 HAS SOPS 466793 HAS SOUS 28159 HAS SOUPS 28152 WITH SCORE 28619.243
AT ITER 728 NEW BEST:: SOT 612587 SOS 467192 HAS SOPS 466742 HAS SOUS 28158 HAS SOUPS 28151 WITH SCORE 28618.192
AT ITER 735 NEW BEST:: SOT 612587 SOS 466323 HAS SOPS 465873 HAS SOUS 28141 HAS SOUPS 28134 WITH SCORE 28600.323
AT ITER 748 NEW BEST:: SOT 612587 SOS 466326 HAS SOPS 465876 HAS SOUS 28096 HAS SOUPS 28089 WITH SCORE 28555.326
AT ITER 799 NEW BEST:: SOT 612587 SOS 466322 HAS SOPS 465872 HAS SOUS 28096 HAS SOUPS 28089 WITH SCORE 28555.322
AT ITER 913 NEW BEST:: SOT 612587 SOS 466320 HAS SOPS 465870 HAS SOUS 28096 HAS SOUPS 28089 WITH SCORE 28555.32
AT ITER 935 NEW BEST:: SOT 612587 SOS 466318 HAS SOPS 465868 HAS SOUS 28096 HAS SOUPS 28089 WITH SCORE 28555.318
AT ITER 964 NEW BEST:: SOT 612587 SOS 466316 HAS SOPS 465866 HAS SOUS 28096 HAS SOUPS 28089 WITH SCORE 28555.316
AT ITER 972 NEW BEST:: SOT 612586 SOS 466315 HAS SOPS 465865 HAS SOUS 28093 HAS SOUPS 28086 WITH SCORE 28552.315
AT ITER 979 NEW BEST:: SOT 612585 SOS 466314 HAS SOPS 465864 HAS SOUS 28090 HAS SOUPS 28083 WITH SCORE 28549.314
AT ITER 1026 NEW BEST:: SOT 611850 SOS 465097 HAS SOPS 464647 HAS SOUS 27840 HAS SOUPS 27833 WITH SCORE 28298.097
AT ITER 1034 NEW BEST:: SOT 611843 SOS 465090 HAS SOPS 464640 HAS SOUS 27819 HAS SOUPS 27812 WITH SCORE 28277.09
AT ITER 1068 NEW BEST:: SOT 611841 SOS 465088 HAS SOPS 464638 HAS SOUS 27795 HAS SOUPS 27788 WITH SCORE 28253.088
AT ITER 1069 NEW BEST:: SOT 611832 SOS 465079 HAS SOPS 464629 HAS SOUS 27768 HAS SOUPS 27761 WITH SCORE 28226.079
AT ITER 1107 NEW BEST:: SOT 611831 SOS 465078 HAS SOPS 464628 HAS SOUS 27765 HAS SOUPS 27758 WITH SCORE 28223.078
AT ITER 1165 NEW BEST:: SOT 611820 SOS 465067 HAS SOPS 464617 HAS SOUS 27732 HAS SOUPS 27725 WITH SCORE 28190.067
AT ITER 1174 NEW BEST:: SOT 611819 SOS 465066 HAS SOPS 464616 HAS SOUS 27729 HAS SOUPS 27722 WITH SCORE 28187.066
AT ITER 1181 NEW BEST:: SOT 611814 SOS 465061 HAS SOPS 464611 HAS SOUS 27714 HAS SOUPS 27707 WITH SCORE 28172.061
AT ITER 1191 NEW BEST:: SOT 611807 SOS 465054 HAS SOPS 464604 HAS SOUS 27693 HAS SOUPS 27686 WITH SCORE 28151.054
AT ITER 1202 NEW BEST:: SOT 611803 SOS 465050 HAS SOPS 464600 HAS SOUS 27681 HAS SOUPS 27674 WITH SCORE 28139.05
AT ITER 1203 NEW BEST:: SOT 611803 SOS 465340 HAS SOPS 464890 HAS SOUS 27541 HAS SOUPS 27534 WITH SCORE 27999.34
AT ITER 1231 NEW BEST:: SOT 611427 SOS 465013 HAS SOPS 464413 HAS SOUS 27165 HAS SOUPS 27155 WITH SCORE 27620.013
AT ITER 1266 NEW BEST:: SOT 611427 SOS 465011 HAS SOPS 464411 HAS SOUS 27165 HAS SOUPS 27155 WITH SCORE 27620.011
AT ITER 1270 NEW BEST:: SOT 611461 SOS 465045 HAS SOPS 464445 HAS SOUS 27148 HAS SOUPS 27138 WITH SCORE 27603.045
AT ITER 1324 NEW BEST:: SOT 611645 SOS 465229 HAS SOPS 464629 HAS SOUS 27075 HAS SOUPS 27065 WITH SCORE 27530.229
AT ITER 1359 NEW BEST:: SOT 611635 SOS 465219 HAS SOPS 464619 HAS SOUS 27045 HAS SOUPS 27035 WITH SCORE 27500.219
AT ITER 1363 NEW BEST:: SOT 611635 SOS 465217 HAS SOPS 464617 HAS SOUS 27045 HAS SOUPS 27035 WITH SCORE 27500.217
AT ITER 1371 NEW BEST:: SOT 611635 SOS 465216 HAS SOPS 464616 HAS SOUS 27045 HAS SOUPS 27035 WITH SCORE 27500.216
AT ITER 1383 NEW BEST:: SOT 611636 SOS 465217 HAS SOPS 464617 HAS SOUS 27040 HAS SOUPS 27030 WITH SCORE 27495.217
AT ITER 1384 NEW BEST:: SOT 611636 SOS 464235 HAS SOPS 463635 HAS SOUS 27020 HAS SOUPS 27010 WITH SCORE 27474.235
AT ITER 1412 NEW BEST:: SOT 611632 SOS 464231 HAS SOPS 463631 HAS SOUS 27008 HAS SOUPS 26998 WITH SCORE 27462.231
AT ITER 1413 NEW BEST:: SOT 611631 SOS 464230 HAS SOPS 463630 HAS SOUS 27007 HAS SOUPS 26997 WITH SCORE 27461.23
AT ITER 1442 NEW BEST:: SOT 611631 SOS 464226 HAS SOPS 463626 HAS SOUS 27007 HAS SOUPS 26997 WITH SCORE 27461.226
AT ITER 1619 NEW BEST:: SOT 611631 SOS 463218 HAS SOPS 462618 HAS SOUS 26987 HAS SOUPS 26977 WITH SCORE 27440.218
AT ITER 1647 NEW BEST:: SOT 611631 SOS 463198 HAS SOPS 462598 HAS SOUS 26987 HAS SOUPS 26977 WITH SCORE 27440.198
AT ITER 1669 NEW BEST:: SOT 611579 SOS 463147 HAS SOPS 462547 HAS SOUS 26936 HAS SOUPS 26926 WITH SCORE 27389.147
AT ITER 1681 NEW BEST:: SOT 611579 SOS 463147 HAS SOPS 462547 HAS SOUS 26916 HAS SOUPS 26906 WITH SCORE 27369.147
AT ITER 1740 NEW BEST:: SOT 611575 SOS 463143 HAS SOPS 462543 HAS SOUS 26904 HAS SOUPS 26894 WITH SCORE 27357.143
AT ITER 1744 NEW BEST:: SOT 612634 SOS 464202 HAS SOPS 463602 HAS SOUS 26856 HAS SOUPS 26846 WITH SCORE 27310.202
AT ITER 1757 NEW BEST:: SOT 612633 SOS 464201 HAS SOPS 463601 HAS SOUS 26853 HAS SOUPS 26843 WITH SCORE 27307.201
AT ITER 1791 NEW BEST:: SOT 612630 SOS 464198 HAS SOPS 463598 HAS SOUS 26844 HAS SOUPS 26834 WITH SCORE 27298.198
AT ITER 1804 NEW BEST:: SOT 612630 SOS 464182 HAS SOPS 463582 HAS SOUS 26844 HAS SOUPS 26834 WITH SCORE 27298.182
AT ITER 1840 NEW BEST:: SOT 612630 SOS 464180 HAS SOPS 463580 HAS SOUS 26844 HAS SOUPS 26834 WITH SCORE 27298.18
AT ITER 1912 NEW BEST:: SOT 612626 SOS 464175 HAS SOPS 463575 HAS SOUS 26837 HAS SOUPS 26827 WITH SCORE 27291.175
AT ITER 1991 NEW BEST:: SOT 612360 SOS 463909 HAS SOPS 463609 HAS SOUS 26609 HAS SOUPS 26604 WITH SCORE 27067.909
AT ITER 2025 NEW BEST:: SOT 612360 SOS 463907 HAS SOPS 463607 HAS SOUS 26609 HAS SOUPS 26604 WITH SCORE 27067.907
AT ITER 2090 NEW BEST:: SOT 612359 SOS 463906 HAS SOPS 463606 HAS SOUS 26606 HAS SOUPS 26601 WITH SCORE 27064.906
AT ITER 2131 NEW BEST:: SOT 612359 SOS 463904 HAS SOPS 463604 HAS SOUS 26606 HAS SOUPS 26601 WITH SCORE 27064.904
AT ITER 2135 NEW BEST:: SOT 612359 SOS 463896 HAS SOPS 463596 HAS SOUS 26606 HAS SOUPS 26601 WITH SCORE 27064.896
AT ITER 2171 NEW BEST:: SOT 612359 SOS 463894 HAS SOPS 463594 HAS SOUS 26606 HAS SOUPS 26601 WITH SCORE 27064.894
AT ITER 2186 NEW BEST:: SOT 612356 SOS 463891 HAS SOPS 463591 HAS SOUS 26597 HAS SOUPS 26592 WITH SCORE 27055.891
AT ITER 2267 NEW BEST:: SOT 612355 SOS 463890 HAS SOPS 463590 HAS SOUS 26594 HAS SOUPS 26589 WITH SCORE 27052.89
AT ITER 2312 NEW BEST:: SOT 612339 SOS 463874 HAS SOPS 463574 HAS SOUS 26546 HAS SOUPS 26541 WITH SCORE 27004.874
AT ITER 2343 NEW BEST:: SOT 612339 SOS 463866 HAS SOPS 463566 HAS SOUS 26546 HAS SOUPS 26541 WITH SCORE 27004.866
AT ITER 2363 NEW BEST:: SOT 612339 SOS 463864 HAS SOPS 463564 HAS SOUS 26546 HAS SOUPS 26541 WITH SCORE 27004.864
AT ITER 2457 NEW BEST:: SOT 612338 SOS 463863 HAS SOPS 463563 HAS SOUS 26543 HAS SOUPS 26538 WITH SCORE 27001.863
AT ITER 2463 NEW BEST:: SOT 612337 SOS 463862 HAS SOPS 463562 HAS SOUS 26540 HAS SOUPS 26535 WITH SCORE 26998.862
AT ITER 2490 NEW BEST:: SOT 612336 SOS 463861 HAS SOPS 463561 HAS SOUS 26537 HAS SOUPS 26532 WITH SCORE 26995.861
AT ITER 2575 NEW BEST:: SOT 612328 SOS 463842 HAS SOPS 463542 HAS SOUS 26512 HAS SOUPS 26507 WITH SCORE 26970.842
AT ITER 2637 NEW BEST:: SOT 612328 SOS 463840 HAS SOPS 463540 HAS SOUS 26512 HAS SOUPS 26507 WITH SCORE 26970.84
AT ITER 2661 NEW BEST:: SOT 612326 SOS 463838 HAS SOPS 463538 HAS SOUS 26506 HAS SOUPS 26501 WITH SCORE 26964.838
AT ITER 2755 NEW BEST:: SOT 612326 SOS 463832 HAS SOPS 463532 HAS SOUS 26506 HAS SOUPS 26501 WITH SCORE 26964.832
AT ITER 2818 NEW BEST:: SOT 612326 SOS 463832 HAS SOPS 463532 HAS SOUS 26502 HAS SOUPS 26497 WITH SCORE 26960.832
AT ITER 2822 NEW BEST:: SOT 612325 SOS 463831 HAS SOPS 463531 HAS SOUS 26499 HAS SOUPS 26494 WITH SCORE 26957.831
AT ITER 2840 NEW BEST:: SOT 612375 SOS 463881 HAS SOPS 463581 HAS SOUS 26494 HAS SOUPS 26489 WITH SCORE 26952.881
AT ITER 2867 NEW BEST:: SOT 612373 SOS 463879 HAS SOPS 463579 HAS SOUS 26488 HAS SOUPS 26483 WITH SCORE 26946.879
AT ITER 2937 NEW BEST:: SOT 612373 SOS 463977 HAS SOPS 463677 HAS SOUS 26440 HAS SOUPS 26435 WITH SCORE 26898.977
AT ITER 3067 NEW BEST:: SOT 612373 SOS 463975 HAS SOPS 463675 HAS SOUS 26440 HAS SOUPS 26435 WITH SCORE 26898.975
AT ITER 3116 NEW BEST:: SOT 612373 SOS 463963 HAS SOPS 463663 HAS SOUS 26440 HAS SOUPS 26435 WITH SCORE 26898.963
AT ITER 3237 NEW BEST:: SOT 612373 SOS 463961 HAS SOPS 463661 HAS SOUS 26440 HAS SOUPS 26435 WITH SCORE 26898.961
AT ITER 3287 NEW BEST:: SOT 612373 SOS 463955 HAS SOPS 463655 HAS SOUS 26440 HAS SOUPS 26435 WITH SCORE 26898.955
AT ITER 3309 NEW BEST:: SOT 612372 SOS 463954 HAS SOPS 463654 HAS SOUS 26437 HAS SOUPS 26432 WITH SCORE 26895.954
AT ITER 3373 NEW BEST:: SOT 612370 SOS 463952 HAS SOPS 463652 HAS SOUS 26431 HAS SOUPS 26426 WITH SCORE 26889.952
AT ITER 3386 NEW BEST:: SOT 612369 SOS 463951 HAS SOPS 463651 HAS SOUS 26428 HAS SOUPS 26423 WITH SCORE 26886.951
AT ITER 3436 NEW BEST:: SOT 612369 SOS 463945 HAS SOPS 463645 HAS SOUS 26428 HAS SOUPS 26423 WITH SCORE 26886.945
AT ITER 3444 NEW BEST:: SOT 612370 SOS 463946 HAS SOPS 463646 HAS SOUS 26427 HAS SOUPS 26422 WITH SCORE 26885.946
AT ITER 3454 NEW BEST:: SOT 612370 SOS 463944 HAS SOPS 463644 HAS SOUS 26427 HAS SOUPS 26422 WITH SCORE 26885.944
AT ITER 3561 NEW BEST:: SOT 612366 SOS 463940 HAS SOPS 463640 HAS SOUS 26415 HAS SOUPS 26410 WITH SCORE 26873.94
AT ITER 3630 NEW BEST:: SOT 612365 SOS 463939 HAS SOPS 463639 HAS SOUS 26412 HAS SOUPS 26407 WITH SCORE 26870.939
AT ITER 3726 NEW BEST:: SOT 612356 SOS 463930 HAS SOPS 463630 HAS SOUS 26385 HAS SOUPS 26380 WITH SCORE 26843.93
AT ITER 3761 NEW BEST:: SOT 612354 SOS 463928 HAS SOPS 463628 HAS SOUS 26379 HAS SOUPS 26374 WITH SCORE 26837.928
AT ITER 3781 NEW BEST:: SOT 616570 SOS 468313 HAS SOPS 468013 HAS SOUS 26309 HAS SOUPS 26304 WITH SCORE 26772.313
AT ITER 3803 NEW BEST:: SOT 616570 SOS 468311 HAS SOPS 468011 HAS SOUS 26309 HAS SOUPS 26304 WITH SCORE 26772.311
AT ITER 3873 NEW BEST:: SOT 616573 SOS 468314 HAS SOPS 468014 HAS SOUS 26262 HAS SOUPS 26257 WITH SCORE 26725.314
AT ITER 3877 NEW BEST:: SOT 616572 SOS 468313 HAS SOPS 468013 HAS SOUS 26259 HAS SOUPS 26254 WITH SCORE 26722.313
AT ITER 3900 NEW BEST:: SOT 616979 SOS 468720 HAS SOPS 468420 HAS SOUS 25681 HAS SOUPS 25676 WITH SCORE 26144.72
AT ITER 3906 NEW BEST:: SOT 616979 SOS 468714 HAS SOPS 468414 HAS SOUS 25681 HAS SOUPS 25676 WITH SCORE 26144.714
AT ITER 3907 NEW BEST:: SOT 616979 SOS 468710 HAS SOPS 468410 HAS SOUS 25681 HAS SOUPS 25676 WITH SCORE 26144.71
AT ITER 3933 NEW BEST:: SOT 616955 SOS 468686 HAS SOPS 468386 HAS SOUS 25609 HAS SOUPS 25604 WITH SCORE 26072.686
AT ITER 3943 NEW BEST:: SOT 617607 SOS 469338 HAS SOPS 469038 HAS SOUS 24623 HAS SOUPS 24618 WITH SCORE 25087.338
AT ITER 4029 NEW BEST:: SOT 617723 SOS 469454 HAS SOPS 469154 HAS SOUS 24486 HAS SOUPS 24481 WITH SCORE 24950.454
AT ITER 4055 NEW BEST:: SOT 617719 SOS 469450 HAS SOPS 469150 HAS SOUS 24380 HAS SOUPS 24375 WITH SCORE 24844.45
AT ITER 4065 NEW BEST:: SOT 617717 SOS 469448 HAS SOPS 469148 HAS SOUS 24376 HAS SOUPS 24371 WITH SCORE 24840.448
AT ITER 4066 NEW BEST:: SOT 620167 SOS 471904 HAS SOPS 471604 HAS SOUS 24122 HAS SOUPS 24117 WITH SCORE 24588.904
AT ITER 4078 NEW BEST:: SOT 620153 SOS 471890 HAS SOPS 471590 HAS SOUS 24118 HAS SOUPS 24113 WITH SCORE 24584.89
AT ITER 4118 NEW BEST:: SOT 620153 SOS 471890 HAS SOPS 471590 HAS SOUS 24116 HAS SOUPS 24111 WITH SCORE 24582.89
AT ITER 4123 NEW BEST:: SOT 620149 SOS 471886 HAS SOPS 471586 HAS SOUS 23649 HAS SOUPS 23644 WITH SCORE 24115.886
AT ITER 4138 NEW BEST:: SOT 620145 SOS 471882 HAS SOPS 471582 HAS SOUS 23641 HAS SOUPS 23636 WITH SCORE 24107.882
AT ITER 4144 NEW BEST:: SOT 620305 SOS 472042 HAS SOPS 471742 HAS SOUS 23493 HAS SOUPS 23488 WITH SCORE 23960.042
AT ITER 4214 NEW BEST:: SOT 620301 SOS 472038 HAS SOPS 471738 HAS SOUS 23485 HAS SOUPS 23480 WITH SCORE 23952.038
AT ITER 4223 NEW BEST:: SOT 620299 SOS 472036 HAS SOPS 471736 HAS SOUS 23481 HAS SOUPS 23476 WITH SCORE 23948.036
AT ITER 4246 NEW BEST:: SOT 620297 SOS 472034 HAS SOPS 471734 HAS SOUS 23479 HAS SOUPS 23474 WITH SCORE 23946.034
AT ITER 4305 NEW BEST:: SOT 620295 SOS 472032 HAS SOPS 471732 HAS SOUS 23475 HAS SOUPS 23470 WITH SCORE 23942.032
AT ITER 4335 NEW BEST:: SOT 621796 SOS 473538 HAS SOPS 473238 HAS SOUS 22592 HAS SOUPS 22587 WITH SCORE 23060.538
AT ITER 4435 NEW BEST:: SOT 621790 SOS 473532 HAS SOPS 473232 HAS SOUS 22580 HAS SOUPS 22575 WITH SCORE 23048.532
AT ITER 4451 NEW BEST:: SOT 621788 SOS 473530 HAS SOPS 473230 HAS SOUS 22576 HAS SOUPS 22571 WITH SCORE 23044.53
AT ITER 4526 NEW BEST:: SOT 621772 SOS 473514 HAS SOPS 473214 HAS SOUS 22544 HAS SOUPS 22539 WITH SCORE 23012.514
AT ITER 4565 NEW BEST:: SOT 621760 SOS 473502 HAS SOPS 473202 HAS SOUS 22536 HAS SOUPS 22531 WITH SCORE 23004.502
AT ITER 4632 NEW BEST:: SOT 621674 SOS 473558 HAS SOPS 473256 HAS SOUS 22398 HAS SOUPS 22391 WITH SCORE 22864.558
AT ITER 4634 NEW BEST:: SOT 621674 SOS 473554 HAS SOPS 473252 HAS SOUS 22398 HAS SOUPS 22391 WITH SCORE 22864.554
AT ITER 4721 NEW BEST:: SOT 621656 SOS 473536 HAS SOPS 473234 HAS SOUS 22362 HAS SOUPS 22355 WITH SCORE 22828.536
AT ITER 4746 NEW BEST:: SOT 621652 SOS 473532 HAS SOPS 473230 HAS SOUS 22252 HAS SOUPS 22245 WITH SCORE 22718.532
AT ITER 4750 NEW BEST:: SOT 621648 SOS 473528 HAS SOPS 473226 HAS SOUS 22244 HAS SOUPS 22237 WITH SCORE 22710.528
AT ITER 4806 NEW BEST:: SOT 621646 SOS 473526 HAS SOPS 473224 HAS SOUS 22240 HAS SOUPS 22233 WITH SCORE 22706.526
AT ITER 4954 NEW BEST:: SOT 621644 SOS 473524 HAS SOPS 473222 HAS SOUS 22236 HAS SOUPS 22229 WITH SCORE 22702.524
AT ITER 4960 NEW BEST:: SOT 622228 SOS 474108 HAS SOPS 473806 HAS SOUS 22217 HAS SOUPS 22210 WITH SCORE 22684.108
AT ITER 4975 NEW BEST:: SOT 622262 SOS 469683 HAS SOPS 469381 HAS SOUS 22193 HAS SOUPS 22186 WITH SCORE 22655.683
AT ITER 4979 NEW BEST:: SOT 622252 SOS 469673 HAS SOPS 469371 HAS SOUS 22173 HAS SOUPS 22166 WITH SCORE 22635.673
AT ITER 5159 NEW BEST:: SOT 622252 SOS 469641 HAS SOPS 469339 HAS SOUS 22173 HAS SOUPS 22166 WITH SCORE 22635.641
AT ITER 5163 NEW BEST:: SOT 622253 SOS 469642 HAS SOPS 469340 HAS SOUS 22164 HAS SOUPS 22157 WITH SCORE 22626.642
AT ITER 5241 NEW BEST:: SOT 622254 SOS 468522 HAS SOPS 468169 HAS SOUS 22192 HAS SOUPS 22158 WITH SCORE 22626.522
AT ITER 5242 NEW BEST:: SOT 622252 SOS 468520 HAS SOPS 468167 HAS SOUS 22188 HAS SOUPS 22154 WITH SCORE 22622.52
AT ITER 5352 NEW BEST:: SOT 622250 SOS 468518 HAS SOPS 468165 HAS SOUS 22184 HAS SOUPS 22150 WITH SCORE 22618.518
AT ITER 5465 NEW BEST:: SOT 623190 SOS 469458 HAS SOPS 469105 HAS SOUS 22170 HAS SOUPS 22136 WITH SCORE 22605.458
AT ITER 5477 NEW BEST:: SOT 623188 SOS 469456 HAS SOPS 469103 HAS SOUS 22166 HAS SOUPS 22132 WITH SCORE 22601.456
AT ITER 5500 NEW BEST:: SOT 623170 SOS 469438 HAS SOPS 469085 HAS SOUS 22130 HAS SOUPS 22096 WITH SCORE 22565.438
AT ITER 5503 NEW BEST:: SOT 623160 SOS 469428 HAS SOPS 469075 HAS SOUS 22110 HAS SOUPS 22076 WITH SCORE 22545.428
AT ITER 5542 NEW BEST:: SOT 623158 SOS 469426 HAS SOPS 469073 HAS SOUS 22106 HAS SOUPS 22072 WITH SCORE 22541.426
AT ITER 5611 NEW BEST:: SOT 623116 SOS 469083 HAS SOPS 468830 HAS SOUS 22105 HAS SOUPS 22072 WITH SCORE 22541.083
AT ITER 5616 NEW BEST:: SOT 623116 SOS 469081 HAS SOPS 468828 HAS SOUS 22105 HAS SOUPS 22072 WITH SCORE 22541.081
AT ITER 5698 NEW BEST:: SOT 623116 SOS 469079 HAS SOPS 468826 HAS SOUS 22105 HAS SOUPS 22072 WITH SCORE 22541.079
AT ITER 5751 NEW BEST:: SOT 623100 SOS 469063 HAS SOPS 468810 HAS SOUS 22073 HAS SOUPS 22040 WITH SCORE 22509.063
AT ITER 5783 NEW BEST:: SOT 623126 SOS 466929 HAS SOPS 466676 HAS SOUS 22038 HAS SOUPS 22005 WITH SCORE 22471.929
AT ITER 5784 NEW BEST:: SOT 623086 SOS 466889 HAS SOPS 466636 HAS SOUS 21958 HAS SOUPS 21925 WITH SCORE 22391.889
AT ITER 5801 NEW BEST:: SOT 623086 SOS 466229 HAS SOPS 465948 HAS SOUS 21972 HAS SOUPS 21925 WITH SCORE 22391.229
AT ITER 5803 NEW BEST:: SOT 623086 SOS 466029 HAS SOPS 465748 HAS SOUS 21968 HAS SOUPS 21921 WITH SCORE 22387.029
AT ITER 5818 NEW BEST:: SOT 623219 SOS 462016 HAS SOPS 461735 HAS SOUS 21953 HAS SOUPS 21906 WITH SCORE 22368.016
AT ITER 5831 NEW BEST:: SOT 623219 SOS 462014 HAS SOPS 461733 HAS SOUS 21953 HAS SOUPS 21906 WITH SCORE 22368.014
AT ITER 5843 NEW BEST:: SOT 623211 SOS 462006 HAS SOPS 461725 HAS SOUS 21937 HAS SOUPS 21890 WITH SCORE 22352.006
AT ITER 5867 NEW BEST:: SOT 623211 SOS 462004 HAS SOPS 461723 HAS SOUS 21937 HAS SOUPS 21890 WITH SCORE 22352.004
AT ITER 5879 NEW BEST:: SOT 623211 SOS 462002 HAS SOPS 461721 HAS SOUS 21937 HAS SOUPS 21890 WITH SCORE 22352.002
AT ITER 5916 NEW BEST:: SOT 623201 SOS 461992 HAS SOPS 461711 HAS SOUS 21917 HAS SOUPS 21870 WITH SCORE 22331.992
AT ITER 5918 NEW BEST:: SOT 623197 SOS 461988 HAS SOPS 461707 HAS SOUS 21909 HAS SOUPS 21862 WITH SCORE 22323.988
AT ITER 5961 NEW BEST:: SOT 623191 SOS 461982 HAS SOPS 461701 HAS SOUS 21903 HAS SOUPS 21856 WITH SCORE 22317.982
AT ITER 5992 NEW BEST:: SOT 623189 SOS 461980 HAS SOPS 461699 HAS SOUS 21899 HAS SOUPS 21852 WITH SCORE 22313.98
AT ITER 5998 NEW BEST:: SOT 623189 SOS 461974 HAS SOPS 461693 HAS SOUS 21899 HAS SOUPS 21852 WITH SCORE 22313.974
AT ITER 6024 NEW BEST:: SOT 623187 SOS 461972 HAS SOPS 461691 HAS SOUS 21895 HAS SOUPS 21848 WITH SCORE 22309.972
AT ITER 6053 NEW BEST:: SOT 623175 SOS 461960 HAS SOPS 461679 HAS SOUS 21871 HAS SOUPS 21824 WITH SCORE 22285.96
AT ITER 6055 NEW BEST:: SOT 623137 SOS 461922 HAS SOPS 461641 HAS SOUS 21795 HAS SOUPS 21748 WITH SCORE 22209.922
AT ITER 6108 NEW BEST:: SOT 623133 SOS 461918 HAS SOPS 461637 HAS SOUS 21787 HAS SOUPS 21740 WITH SCORE 22201.918
AT ITER 6117 NEW BEST:: SOT 623133 SOS 461729 HAS SOPS 461434 HAS SOUS 21793 HAS SOUPS 21739 WITH SCORE 22200.729
AT ITER 6136 NEW BEST:: SOT 623131 SOS 461727 HAS SOPS 461432 HAS SOUS 21791 HAS SOUPS 21737 WITH SCORE 22198.727
AT ITER 6142 NEW BEST:: SOT 623915 SOS 462511 HAS SOPS 462216 HAS SOUS 21784 HAS SOUPS 21730 WITH SCORE 22192.511
AT ITER 6195 NEW BEST:: SOT 623913 SOS 462509 HAS SOPS 462214 HAS SOUS 21780 HAS SOUPS 21726 WITH SCORE 22188.509
AT ITER 6217 NEW BEST:: SOT 623905 SOS 462501 HAS SOPS 462206 HAS SOUS 21764 HAS SOUPS 21710 WITH SCORE 22172.501
AT ITER 6246 NEW BEST:: SOT 623905 SOS 461099 HAS SOPS 460804 HAS SOUS 21736 HAS SOUPS 21682 WITH SCORE 22143.099
AT ITER 6254 NEW BEST:: SOT 623899 SOS 461093 HAS SOPS 460798 HAS SOUS 21728 HAS SOUPS 21674 WITH SCORE 22135.093
AT ITER 6289 NEW BEST:: SOT 623899 SOS 461092 HAS SOPS 460797 HAS SOUS 21725 HAS SOUPS 21671 WITH SCORE 22132.092
AT ITER 6322 NEW BEST:: SOT 623888 SOS 461060 HAS SOPS 460765 HAS SOUS 21698 HAS SOUPS 21644 WITH SCORE 22105.06
AT ITER 6349 NEW BEST:: SOT 623886 SOS 461058 HAS SOPS 460763 HAS SOUS 21694 HAS SOUPS 21640 WITH SCORE 22101.058
AT ITER 6351 NEW BEST:: SOT 623886 SOS 461056 HAS SOPS 460761 HAS SOUS 21694 HAS SOUPS 21640 WITH SCORE 22101.056
AT ITER 6395 NEW BEST:: SOT 623886 SOS 461048 HAS SOPS 460753 HAS SOUS 21694 HAS SOUPS 21640 WITH SCORE 22101.048
AT ITER 6438 NEW BEST:: SOT 623878 SOS 461040 HAS SOPS 460745 HAS SOUS 21678 HAS SOUPS 21624 WITH SCORE 22085.04
AT ITER 6477 NEW BEST:: SOT 624091 SOS 461253 HAS SOPS 460958 HAS SOUS 21659 HAS SOUPS 21605 WITH SCORE 22066.253
AT ITER 6485 NEW BEST:: SOT 624089 SOS 461251 HAS SOPS 460956 HAS SOUS 21655 HAS SOUPS 21601 WITH SCORE 22062.251
AT ITER 6493 NEW BEST:: SOT 624079 SOS 461241 HAS SOPS 460946 HAS SOUS 21625 HAS SOUPS 21571 WITH SCORE 22032.241
AT ITER 6494 NEW BEST:: SOT 624079 SOS 461239 HAS SOPS 460944 HAS SOUS 21625 HAS SOUPS 21571 WITH SCORE 22032.239
AT ITER 6517 NEW BEST:: SOT 624069 SOS 461229 HAS SOPS 460934 HAS SOUS 21605 HAS SOUPS 21551 WITH SCORE 22012.229
AT ITER 6575 NEW BEST:: SOT 624061 SOS 461221 HAS SOPS 460926 HAS SOUS 21589 HAS SOUPS 21535 WITH SCORE 21996.221
AT ITER 6600 NEW BEST:: SOT 624689 SOS 461849 HAS SOPS 461554 HAS SOUS 21585 HAS SOUPS 21531 WITH SCORE 21992.849
AT ITER 6615 NEW BEST:: SOT 624689 SOS 461837 HAS SOPS 461542 HAS SOUS 21585 HAS SOUPS 21531 WITH SCORE 21992.837
AT ITER 6649 NEW BEST:: SOT 624689 SOS 461833 HAS SOPS 461538 HAS SOUS 21585 HAS SOUPS 21531 WITH SCORE 21992.833
AT ITER 6653 NEW BEST:: SOT 624687 SOS 461831 HAS SOPS 461536 HAS SOUS 21581 HAS SOUPS 21527 WITH SCORE 21988.831
AT ITER 6667 NEW BEST:: SOT 624685 SOS 461829 HAS SOPS 461534 HAS SOUS 21577 HAS SOUPS 21523 WITH SCORE 21984.829
AT ITER 6678 NEW BEST:: SOT 624685 SOS 461819 HAS SOPS 461524 HAS SOUS 21577 HAS SOUPS 21523 WITH SCORE 21984.819
AT ITER 6769 NEW BEST:: SOT 624679 SOS 461813 HAS SOPS 461518 HAS SOUS 21565 HAS SOUPS 21511 WITH SCORE 21972.813
AT ITER 6878 NEW BEST:: SOT 624677 SOS 461811 HAS SOPS 461516 HAS SOUS 21561 HAS SOUPS 21507 WITH SCORE 21968.811
AT ITER 6926 NEW BEST:: SOT 624673 SOS 461807 HAS SOPS 461512 HAS SOUS 21553 HAS SOUPS 21499 WITH SCORE 21960.807
AT ITER 7215 NEW BEST:: SOT 624673 SOS 461779 HAS SOPS 461484 HAS SOUS 21553 HAS SOUPS 21499 WITH SCORE 21960.779
AT ITER 7386 NEW BEST:: SOT 624669 SOS 461775 HAS SOPS 461480 HAS SOUS 21545 HAS SOUPS 21491 WITH SCORE 21952.775
AT ITER 7543 NEW BEST:: SOT 624669 SOS 461773 HAS SOPS 461478 HAS SOUS 21545 HAS SOUPS 21491 WITH SCORE 21952.773
AT ITER 7565 NEW BEST:: SOT 624639 SOS 461743 HAS SOPS 461448 HAS SOUS 21529 HAS SOUPS 21475 WITH SCORE 21936.743
AT ITER 7582 NEW BEST:: SOT 624637 SOS 461741 HAS SOPS 461446 HAS SOUS 21525 HAS SOUPS 21471 WITH SCORE 21932.741
AT ITER 7583 NEW BEST:: SOT 624816 SOS 461920 HAS SOPS 461625 HAS SOUS 21499 HAS SOUPS 21445 WITH SCORE 21906.92
AT ITER 7651 NEW BEST:: SOT 624816 SOS 461918 HAS SOPS 461623 HAS SOUS 21499 HAS SOUPS 21445 WITH SCORE 21906.918
AT ITER 7916 NEW BEST:: SOT 624816 SOS 461888 HAS SOPS 461593 HAS SOUS 21499 HAS SOUPS 21445 WITH SCORE 21906.888
AT ITER 7918 NEW BEST:: SOT 624816 SOS 461884 HAS SOPS 461589 HAS SOUS 21499 HAS SOUPS 21445 WITH SCORE 21906.884
AT ITER 7941 NEW BEST:: SOT 624816 SOS 461876 HAS SOPS 461581 HAS SOUS 21499 HAS SOUPS 21445 WITH SCORE 21906.876
AT ITER 8017 NEW BEST:: SOT 624816 SOS 461823 HAS SOPS 461530 HAS SOUS 21497 HAS SOUPS 21444 WITH SCORE 21905.823
AT ITER 8048 NEW BEST:: SOT 624814 SOS 461821 HAS SOPS 461528 HAS SOUS 21493 HAS SOUPS 21440 WITH SCORE 21901.821
AT ITER 8280 NEW BEST:: SOT 624814 SOS 461809 HAS SOPS 461516 HAS SOUS 21493 HAS SOUPS 21440 WITH SCORE 21901.809
AT ITER 8313 NEW BEST:: SOT 624812 SOS 461807 HAS SOPS 461514 HAS SOUS 21489 HAS SOUPS 21436 WITH SCORE 21897.807
AT ITER 8335 NEW BEST:: SOT 624806 SOS 461801 HAS SOPS 461508 HAS SOUS 21477 HAS SOUPS 21424 WITH SCORE 21885.801
AT ITER 8336 NEW BEST:: SOT 624806 SOS 461699 HAS SOPS 461406 HAS SOUS 21475 HAS SOUPS 21422 WITH SCORE 21883.699
AT ITER 8342 NEW BEST:: SOT 625152 SOS 462045 HAS SOPS 461752 HAS SOUS 21395 HAS SOUPS 21342 WITH SCORE 21804.045
AT ITER 8368 NEW BEST:: SOT 625150 SOS 462043 HAS SOPS 461750 HAS SOUS 21391 HAS SOUPS 21338 WITH SCORE 21800.043
AT ITER 8375 NEW BEST:: SOT 625150 SOS 462041 HAS SOPS 461748 HAS SOUS 21391 HAS SOUPS 21338 WITH SCORE 21800.041
AT ITER 8398 NEW BEST:: SOT 625148 SOS 462039 HAS SOPS 461746 HAS SOUS 21387 HAS SOUPS 21334 WITH SCORE 21796.039
AT ITER 8432 NEW BEST:: SOT 625136 SOS 462027 HAS SOPS 461734 HAS SOUS 21363 HAS SOUPS 21310 WITH SCORE 21772.027
AT ITER 8434 NEW BEST:: SOT 625134 SOS 462025 HAS SOPS 461732 HAS SOUS 21359 HAS SOUPS 21306 WITH SCORE 21768.025
AT ITER 8505 NEW BEST:: SOT 625134 SOS 462019 HAS SOPS 461726 HAS SOUS 21359 HAS SOUPS 21306 WITH SCORE 21768.019
AT ITER 8580 NEW BEST:: SOT 625131 SOS 462016 HAS SOPS 461723 HAS SOUS 21348 HAS SOUPS 21295 WITH SCORE 21757.016
AT ITER 8717 NEW BEST:: SOT 625339 SOS 462224 HAS SOPS 461931 HAS SOUS 21344 HAS SOUPS 21291 WITH SCORE 21753.224
AT ITER 8732 NEW BEST:: SOT 625339 SOS 462121 HAS SOPS 461828 HAS SOUS 21343 HAS SOUPS 21290 WITH SCORE 21752.121
AT ITER 8795 NEW BEST:: SOT 625302 SOS 462090 HAS SOPS 461947 HAS SOUS 21297 HAS SOUPS 21247 WITH SCORE 21709.09
AT ITER 8818 NEW BEST:: SOT 625300 SOS 462088 HAS SOPS 461945 HAS SOUS 21293 HAS SOUPS 21243 WITH SCORE 21705.088
AT ITER 8841 NEW BEST:: SOT 625300 SOS 461892 HAS SOPS 461741 HAS SOUS 21297 HAS SOUPS 21243 WITH SCORE 21704.892
AT ITER 8891 NEW BEST:: SOT 625300 SOS 461890 HAS SOPS 461739 HAS SOUS 21297 HAS SOUPS 21243 WITH SCORE 21704.89
AT ITER 8913 NEW BEST:: SOT 625300 SOS 461886 HAS SOPS 461735 HAS SOUS 21297 HAS SOUPS 21243 WITH SCORE 21704.886
AT ITER 8962 NEW BEST:: SOT 625290 SOS 461876 HAS SOPS 461725 HAS SOUS 21277 HAS SOUPS 21223 WITH SCORE 21684.876
AT ITER 9049 NEW BEST:: SOT 625290 SOS 461866 HAS SOPS 461715 HAS SOUS 21277 HAS SOUPS 21223 WITH SCORE 21684.866
AT ITER 9198 NEW BEST:: SOT 625288 SOS 461864 HAS SOPS 461713 HAS SOUS 21273 HAS SOUPS 21219 WITH SCORE 21680.864
AT ITER 9244 NEW BEST:: SOT 625288 SOS 461862 HAS SOPS 461711 HAS SOUS 21273 HAS SOUPS 21219 WITH SCORE 21680.862
AT ITER 9293 NEW BEST:: SOT 625286 SOS 461860 HAS SOPS 461709 HAS SOUS 21269 HAS SOUPS 21215 WITH SCORE 21676.86
AT ITER 9339 NEW BEST:: SOT 625282 SOS 461856 HAS SOPS 461705 HAS SOUS 21261 HAS SOUPS 21207 WITH SCORE 21668.856
AT ITER 9410 NEW BEST:: SOT 625282 SOS 461854 HAS SOPS 461703 HAS SOUS 21261 HAS SOUPS 21207 WITH SCORE 21668.854
AT ITER 9465 NEW BEST:: SOT 625282 SOS 461852 HAS SOPS 461701 HAS SOUS 21261 HAS SOUPS 21207 WITH SCORE 21668.852
AT ITER 9630 NEW BEST:: SOT 625242 SOS 461812 HAS SOPS 461662 HAS SOUS 21218 HAS SOUPS 21165 WITH SCORE 21626.812
AT ITER 9678 NEW BEST:: SOT 625251 SOS 461821 HAS SOPS 461671 HAS SOUS 21213 HAS SOUPS 21160 WITH SCORE 21621.821
AT ITER 9702 NEW BEST:: SOT 625249 SOS 461819 HAS SOPS 461669 HAS SOUS 21211 HAS SOUPS 21158 WITH SCORE 21619.819
AT ITER 9735 NEW BEST:: SOT 625245 SOS 461815 HAS SOPS 461665 HAS SOUS 21203 HAS SOUPS 21150 WITH SCORE 21611.815
AT ITER 9981 NEW BEST:: SOT 625243 SOS 461813 HAS SOPS 461663 HAS SOUS 21199 HAS SOUPS 21146 WITH SCORE 21607.813
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 159396 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16288088 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-V50P20N50"
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-V50P20N50, 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-167813696600248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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