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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 8.1K Feb 25 12:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 12:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K 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 15K Feb 25 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1678775706656

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-V50P20N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 06:35:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 06:35:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 06:35:08] [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:35:08] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 06:35:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 428 ms
[2023-03-14 06:35:08] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 168 PT places and 531118.0 transition bindings in 16 ms.
[2023-03-14 06:35:08] [INFO ] Unfolded HLPN to a Petri net with 168 places and 5408 transitions 42330 arcs in 115 ms.
[2023-03-14 06:35:08] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 06:35:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 5408 transitions and 42330 arcs took 47 ms.
Total runtime 688 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), 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 42315 HAS SOUPS 42257 WITH SCORE 42852.02
AT ITER 23 NEW BEST:: SOT 609224 SOS 595532 HAS SOPS 589982 HAS SOUS 41193 HAS SOUPS 41135 WITH SCORE 41730.532
AT ITER 41 NEW BEST:: SOT 609224 SOS 595532 HAS SOPS 589982 HAS SOUS 36550 HAS SOUPS 36492 WITH SCORE 37087.532
AT ITER 115 NEW BEST:: SOT 609262 SOS 595570 HAS SOPS 590020 HAS SOUS 36533 HAS SOUPS 36475 WITH SCORE 37070.57
AT ITER 161 NEW BEST:: SOT 610391 SOS 596699 HAS SOPS 591149 HAS SOUS 36283 HAS SOUPS 36225 WITH SCORE 36821.699
AT ITER 169 NEW BEST:: SOT 610391 SOS 596699 HAS SOPS 591149 HAS SOUS 31547 HAS SOUPS 31489 WITH SCORE 32085.699
AT ITER 323 NEW BEST:: SOT 610390 SOS 596698 HAS SOPS 591148 HAS SOUS 31546 HAS SOUPS 31488 WITH SCORE 32084.698
AT ITER 350 NEW BEST:: SOT 610389 SOS 596697 HAS SOPS 591147 HAS SOUS 31543 HAS SOUPS 31485 WITH SCORE 32081.697
AT ITER 445 NEW BEST:: SOT 610398 SOS 596706 HAS SOPS 591156 HAS SOUS 31530 HAS SOUPS 31472 WITH SCORE 32068.706
AT ITER 456 NEW BEST:: SOT 610366 SOS 596674 HAS SOPS 591124 HAS SOUS 31450 HAS SOUPS 31392 WITH SCORE 31988.674
AT ITER 520 NEW BEST:: SOT 610358 SOS 596666 HAS SOPS 591116 HAS SOUS 31426 HAS SOUPS 31368 WITH SCORE 31964.666
AT ITER 586 NEW BEST:: SOT 610358 SOS 596666 HAS SOPS 591116 HAS SOUS 31424 HAS SOUPS 31366 WITH SCORE 31962.666
AT ITER 645 NEW BEST:: SOT 610358 SOS 563776 HAS SOPS 558926 HAS SOUS 31417 HAS SOUPS 31366 WITH SCORE 31929.776
AT ITER 660 NEW BEST:: SOT 610358 SOS 563632 HAS SOPS 558782 HAS SOUS 31369 HAS SOUPS 31318 WITH SCORE 31881.632
AT ITER 699 NEW BEST:: SOT 611308 SOS 564582 HAS SOPS 559732 HAS SOUS 28849 HAS SOUPS 28798 WITH SCORE 29362.582
AT ITER 711 NEW BEST:: SOT 611307 SOS 564581 HAS SOPS 559731 HAS SOUS 28846 HAS SOUPS 28795 WITH SCORE 29359.581
AT ITER 747 NEW BEST:: SOT 612258 SOS 565532 HAS SOPS 560682 HAS SOUS 28419 HAS SOUPS 28368 WITH SCORE 28933.532
AT ITER 756 NEW BEST:: SOT 612258 SOS 474600 HAS SOPS 473250 HAS SOUS 28384 HAS SOUPS 28368 WITH SCORE 28842.6
AT ITER 760 NEW BEST:: SOT 612258 SOS 474126 HAS SOPS 472776 HAS SOUS 28366 HAS SOUPS 28350 WITH SCORE 28824.126
AT ITER 776 NEW BEST:: SOT 612258 SOS 474124 HAS SOPS 472774 HAS SOUS 28365 HAS SOUPS 28349 WITH SCORE 28823.124
AT ITER 780 NEW BEST:: SOT 612249 SOS 474115 HAS SOPS 472765 HAS SOUS 28340 HAS SOUPS 28324 WITH SCORE 28798.115
AT ITER 838 NEW BEST:: SOT 612249 SOS 473476 HAS SOPS 472126 HAS SOUS 28327 HAS SOUPS 28311 WITH SCORE 28784.476
AT ITER 861 NEW BEST:: SOT 612241 SOS 473468 HAS SOPS 472118 HAS SOUS 28291 HAS SOUPS 28275 WITH SCORE 28748.468
AT ITER 875 NEW BEST:: SOT 612241 SOS 473466 HAS SOPS 472116 HAS SOUS 28291 HAS SOUPS 28275 WITH SCORE 28748.466
AT ITER 889 NEW BEST:: SOT 612240 SOS 473465 HAS SOPS 472115 HAS SOUS 28237 HAS SOUPS 28221 WITH SCORE 28694.465
AT ITER 1038 NEW BEST:: SOT 612240 SOS 473463 HAS SOPS 472113 HAS SOUS 28237 HAS SOUPS 28221 WITH SCORE 28694.463
AT ITER 1104 NEW BEST:: SOT 612240 SOS 473461 HAS SOPS 472111 HAS SOUS 28237 HAS SOUPS 28221 WITH SCORE 28694.461
AT ITER 1126 NEW BEST:: SOT 612240 SOS 473459 HAS SOPS 472109 HAS SOUS 28237 HAS SOUPS 28221 WITH SCORE 28694.459
AT ITER 1175 NEW BEST:: SOT 612590 SOS 473809 HAS SOPS 472459 HAS SOUS 28216 HAS SOUPS 28200 WITH SCORE 28673.809
AT ITER 1178 NEW BEST:: SOT 612579 SOS 473798 HAS SOPS 472448 HAS SOUS 28183 HAS SOUPS 28167 WITH SCORE 28640.798
AT ITER 1203 NEW BEST:: SOT 612722 SOS 473941 HAS SOPS 472591 HAS SOUS 28171 HAS SOUPS 28155 WITH SCORE 28628.941
AT ITER 1261 NEW BEST:: SOT 612716 SOS 474074 HAS SOPS 472574 HAS SOUS 28158 HAS SOUPS 28139 WITH SCORE 28613.074
AT ITER 1268 NEW BEST:: SOT 612716 SOS 473994 HAS SOPS 472494 HAS SOUS 28147 HAS SOUPS 28128 WITH SCORE 28601.994
AT ITER 1365 NEW BEST:: SOT 612715 SOS 473993 HAS SOPS 472493 HAS SOUS 28144 HAS SOUPS 28125 WITH SCORE 28598.993
AT ITER 1380 NEW BEST:: SOT 612238 SOS 473518 HAS SOPS 472018 HAS SOUS 27719 HAS SOUPS 27700 WITH SCORE 28173.518
AT ITER 1384 NEW BEST:: SOT 612238 SOS 473516 HAS SOPS 472016 HAS SOUS 27719 HAS SOUPS 27700 WITH SCORE 28173.516
AT ITER 1397 NEW BEST:: SOT 612238 SOS 473514 HAS SOPS 472014 HAS SOUS 27719 HAS SOUPS 27700 WITH SCORE 28173.514
AT ITER 1414 NEW BEST:: SOT 612237 SOS 473513 HAS SOPS 472013 HAS SOUS 27716 HAS SOUPS 27697 WITH SCORE 28170.513
AT ITER 1440 NEW BEST:: SOT 612236 SOS 473512 HAS SOPS 472012 HAS SOUS 27713 HAS SOUPS 27694 WITH SCORE 28167.512
AT ITER 1465 NEW BEST:: SOT 612236 SOS 473510 HAS SOPS 472010 HAS SOUS 27713 HAS SOUPS 27694 WITH SCORE 28167.51
AT ITER 1470 NEW BEST:: SOT 612236 SOS 473510 HAS SOPS 472010 HAS SOUS 27711 HAS SOUPS 27692 WITH SCORE 28165.51
AT ITER 1507 NEW BEST:: SOT 612225 SOS 473499 HAS SOPS 471999 HAS SOUS 27678 HAS SOUPS 27659 WITH SCORE 28132.499
AT ITER 1508 NEW BEST:: SOT 612225 SOS 473497 HAS SOPS 471997 HAS SOUS 27677 HAS SOUPS 27658 WITH SCORE 28131.497
AT ITER 1512 NEW BEST:: SOT 612225 SOS 473493 HAS SOPS 471993 HAS SOUS 27677 HAS SOUPS 27658 WITH SCORE 28131.493
AT ITER 1523 NEW BEST:: SOT 612224 SOS 473492 HAS SOPS 471992 HAS SOUS 27674 HAS SOUPS 27655 WITH SCORE 28128.492
AT ITER 1606 NEW BEST:: SOT 612222 SOS 473490 HAS SOPS 471990 HAS SOUS 27670 HAS SOUPS 27651 WITH SCORE 28124.49
AT ITER 1614 NEW BEST:: SOT 612221 SOS 473489 HAS SOPS 471989 HAS SOUS 27667 HAS SOUPS 27648 WITH SCORE 28121.489
AT ITER 1615 NEW BEST:: SOT 612250 SOS 473518 HAS SOPS 472018 HAS SOUS 27499 HAS SOUPS 27480 WITH SCORE 27953.518
AT ITER 1628 NEW BEST:: SOT 612249 SOS 473517 HAS SOPS 472017 HAS SOUS 27496 HAS SOUPS 27477 WITH SCORE 27950.517
AT ITER 1638 NEW BEST:: SOT 612232 SOS 473500 HAS SOPS 472000 HAS SOUS 27479 HAS SOUPS 27460 WITH SCORE 27933.5
AT ITER 1639 NEW BEST:: SOT 612232 SOS 473204 HAS SOPS 471704 HAS SOUS 27473 HAS SOUPS 27454 WITH SCORE 27927.204
AT ITER 1645 NEW BEST:: SOT 612232 SOS 473204 HAS SOPS 471704 HAS SOUS 27316 HAS SOUPS 27297 WITH SCORE 27770.204
AT ITER 1654 NEW BEST:: SOT 612232 SOS 473196 HAS SOPS 471696 HAS SOUS 27316 HAS SOUPS 27297 WITH SCORE 27770.196
AT ITER 1674 NEW BEST:: SOT 612232 SOS 473200 HAS SOPS 471700 HAS SOUS 27053 HAS SOUPS 27034 WITH SCORE 27507.2
AT ITER 1691 NEW BEST:: SOT 612219 SOS 473187 HAS SOPS 471687 HAS SOUS 27014 HAS SOUPS 26995 WITH SCORE 27468.187
AT ITER 1733 NEW BEST:: SOT 612217 SOS 473185 HAS SOPS 471685 HAS SOUS 27008 HAS SOUPS 26989 WITH SCORE 27462.185
AT ITER 1738 NEW BEST:: SOT 612216 SOS 473184 HAS SOPS 471684 HAS SOUS 27005 HAS SOUPS 26986 WITH SCORE 27459.184
AT ITER 1764 NEW BEST:: SOT 612216 SOS 473180 HAS SOPS 471680 HAS SOUS 27005 HAS SOUPS 26986 WITH SCORE 27459.18
AT ITER 1783 NEW BEST:: SOT 612509 SOS 473473 HAS SOPS 471973 HAS SOUS 26982 HAS SOUPS 26963 WITH SCORE 27436.473
AT ITER 1811 NEW BEST:: SOT 612492 SOS 473456 HAS SOPS 471956 HAS SOUS 26931 HAS SOUPS 26912 WITH SCORE 27385.456
AT ITER 1837 NEW BEST:: SOT 612491 SOS 473455 HAS SOPS 471955 HAS SOUS 26928 HAS SOUPS 26909 WITH SCORE 27382.455
AT ITER 1838 NEW BEST:: SOT 612480 SOS 473444 HAS SOPS 471944 HAS SOUS 26895 HAS SOUPS 26876 WITH SCORE 27349.444
AT ITER 1873 NEW BEST:: SOT 612480 SOS 470036 HAS SOPS 468936 HAS SOUS 26883 HAS SOUPS 26868 WITH SCORE 27338.036
AT ITER 1897 NEW BEST:: SOT 612480 SOS 470035 HAS SOPS 468985 HAS SOUS 26882 HAS SOUPS 26868 WITH SCORE 27338.035
AT ITER 1996 NEW BEST:: SOT 612477 SOS 470032 HAS SOPS 468982 HAS SOUS 26873 HAS SOUPS 26859 WITH SCORE 27329.032
AT ITER 2041 NEW BEST:: SOT 612476 SOS 470031 HAS SOPS 468981 HAS SOUS 26870 HAS SOUPS 26856 WITH SCORE 27326.031
AT ITER 2093 NEW BEST:: SOT 612475 SOS 470030 HAS SOPS 468980 HAS SOUS 26867 HAS SOUPS 26853 WITH SCORE 27323.03
AT ITER 2103 NEW BEST:: SOT 612426 SOS 469982 HAS SOPS 468932 HAS SOUS 26819 HAS SOUPS 26805 WITH SCORE 27274.982
AT ITER 2121 NEW BEST:: SOT 612424 SOS 469980 HAS SOPS 468930 HAS SOUS 26813 HAS SOUPS 26799 WITH SCORE 27268.98
AT ITER 2122 NEW BEST:: SOT 612421 SOS 469977 HAS SOPS 468927 HAS SOUS 26804 HAS SOUPS 26790 WITH SCORE 27259.977
AT ITER 2195 NEW BEST:: SOT 612421 SOS 469967 HAS SOPS 468917 HAS SOUS 26804 HAS SOUPS 26790 WITH SCORE 27259.967
AT ITER 2246 NEW BEST:: SOT 614681 SOS 472320 HAS SOPS 471270 HAS SOUS 26732 HAS SOUPS 26718 WITH SCORE 27190.32
AT ITER 2316 NEW BEST:: SOT 614673 SOS 472312 HAS SOPS 471262 HAS SOUS 26708 HAS SOUPS 26694 WITH SCORE 27166.312
AT ITER 2420 NEW BEST:: SOT 614671 SOS 472310 HAS SOPS 471260 HAS SOUS 26702 HAS SOUPS 26688 WITH SCORE 27160.31
AT ITER 2439 NEW BEST:: SOT 614680 SOS 472319 HAS SOPS 471269 HAS SOUS 26676 HAS SOUPS 26662 WITH SCORE 27134.319
AT ITER 2471 NEW BEST:: SOT 614762 SOS 472401 HAS SOPS 471351 HAS SOUS 26406 HAS SOUPS 26392 WITH SCORE 26864.401
AT ITER 2544 NEW BEST:: SOT 614755 SOS 472394 HAS SOPS 471344 HAS SOUS 26385 HAS SOUPS 26371 WITH SCORE 26843.394
AT ITER 2547 NEW BEST:: SOT 614755 SOS 470298 HAS SOPS 469848 HAS SOUS 26372 HAS SOUPS 26364 WITH SCORE 26834.298
AT ITER 2563 NEW BEST:: SOT 614754 SOS 470297 HAS SOPS 469847 HAS SOUS 26369 HAS SOUPS 26361 WITH SCORE 26831.297
AT ITER 2571 NEW BEST:: SOT 614753 SOS 470296 HAS SOPS 469846 HAS SOUS 26366 HAS SOUPS 26358 WITH SCORE 26828.296
AT ITER 2609 NEW BEST:: SOT 614753 SOS 470051 HAS SOPS 469601 HAS SOUS 26361 HAS SOUPS 26353 WITH SCORE 26823.051
AT ITER 2635 NEW BEST:: SOT 615400 SOS 470698 HAS SOPS 470248 HAS SOUS 25756 HAS SOUPS 25748 WITH SCORE 26218.698
AT ITER 2654 NEW BEST:: SOT 615395 SOS 470693 HAS SOPS 470243 HAS SOUS 25755 HAS SOUPS 25747 WITH SCORE 26217.693
AT ITER 2687 NEW BEST:: SOT 615499 SOS 470797 HAS SOPS 470347 HAS SOUS 25699 HAS SOUPS 25691 WITH SCORE 26161.797
AT ITER 2702 NEW BEST:: SOT 615493 SOS 470791 HAS SOPS 470341 HAS SOUS 25687 HAS SOUPS 25679 WITH SCORE 26149.791
AT ITER 2712 NEW BEST:: SOT 615493 SOS 470099 HAS SOPS 469649 HAS SOUS 25673 HAS SOUPS 25665 WITH SCORE 26135.099
AT ITER 2713 NEW BEST:: SOT 615493 SOS 470097 HAS SOPS 469647 HAS SOUS 25673 HAS SOUPS 25665 WITH SCORE 26135.097
AT ITER 2720 NEW BEST:: SOT 616425 SOS 471038 HAS SOPS 470588 HAS SOUS 25603 HAS SOUPS 25595 WITH SCORE 26066.038
AT ITER 2733 NEW BEST:: SOT 616424 SOS 471037 HAS SOPS 470587 HAS SOUS 25600 HAS SOUPS 25592 WITH SCORE 26063.037
AT ITER 2746 NEW BEST:: SOT 618713 SOS 473409 HAS SOPS 472959 HAS SOUS 25577 HAS SOUPS 25569 WITH SCORE 26042.409
AT ITER 2774 NEW BEST:: SOT 618703 SOS 473399 HAS SOPS 472949 HAS SOUS 25563 HAS SOUPS 25555 WITH SCORE 26028.399
AT ITER 2778 NEW BEST:: SOT 618719 SOS 471569 HAS SOPS 471119 HAS SOUS 25543 HAS SOUPS 25535 WITH SCORE 26006.569
AT ITER 2825 NEW BEST:: SOT 618707 SOS 471557 HAS SOPS 471107 HAS SOUS 25531 HAS SOUPS 25523 WITH SCORE 25994.557
AT ITER 2830 NEW BEST:: SOT 618705 SOS 471555 HAS SOPS 471105 HAS SOUS 25527 HAS SOUPS 25519 WITH SCORE 25990.555
AT ITER 2870 NEW BEST:: SOT 620714 SOS 473567 HAS SOPS 473117 HAS SOUS 23190 HAS SOUPS 23182 WITH SCORE 23655.567
AT ITER 2877 NEW BEST:: SOT 620961 SOS 473821 HAS SOPS 473371 HAS SOUS 23185 HAS SOUPS 23177 WITH SCORE 23650.821
AT ITER 2887 NEW BEST:: SOT 620929 SOS 473789 HAS SOPS 473339 HAS SOUS 23121 HAS SOUPS 23113 WITH SCORE 23586.789
AT ITER 2956 NEW BEST:: SOT 620925 SOS 473785 HAS SOPS 473335 HAS SOUS 23113 HAS SOUPS 23105 WITH SCORE 23578.785
AT ITER 2957 NEW BEST:: SOT 620917 SOS 473777 HAS SOPS 473327 HAS SOUS 23097 HAS SOUPS 23089 WITH SCORE 23562.777
AT ITER 2962 NEW BEST:: SOT 620917 SOS 473773 HAS SOPS 473323 HAS SOUS 23097 HAS SOUPS 23089 WITH SCORE 23562.773
AT ITER 2963 NEW BEST:: SOT 620903 SOS 473759 HAS SOPS 473309 HAS SOUS 23069 HAS SOUPS 23061 WITH SCORE 23534.759
AT ITER 2995 NEW BEST:: SOT 620856 SOS 473712 HAS SOPS 473262 HAS SOUS 22982 HAS SOUPS 22974 WITH SCORE 23447.712
AT ITER 3019 NEW BEST:: SOT 620832 SOS 473688 HAS SOPS 473238 HAS SOUS 22934 HAS SOUPS 22926 WITH SCORE 23399.688
AT ITER 3027 NEW BEST:: SOT 620831 SOS 473687 HAS SOPS 473237 HAS SOUS 22933 HAS SOUPS 22925 WITH SCORE 23398.687
AT ITER 3046 NEW BEST:: SOT 620831 SOS 473685 HAS SOPS 473235 HAS SOUS 22933 HAS SOUPS 22925 WITH SCORE 23398.685
AT ITER 3059 NEW BEST:: SOT 620829 SOS 473683 HAS SOPS 473233 HAS SOUS 22929 HAS SOUPS 22921 WITH SCORE 23394.683
AT ITER 3067 NEW BEST:: SOT 620829 SOS 473675 HAS SOPS 473225 HAS SOUS 22929 HAS SOUPS 22921 WITH SCORE 23394.675
AT ITER 3102 NEW BEST:: SOT 620821 SOS 473667 HAS SOPS 473217 HAS SOUS 22913 HAS SOUPS 22905 WITH SCORE 23378.667
AT ITER 3114 NEW BEST:: SOT 620821 SOS 473663 HAS SOPS 473213 HAS SOUS 22913 HAS SOUPS 22905 WITH SCORE 23378.663
AT ITER 3122 NEW BEST:: SOT 620814 SOS 473656 HAS SOPS 473206 HAS SOUS 22898 HAS SOUPS 22890 WITH SCORE 23363.656
AT ITER 3125 NEW BEST:: SOT 620814 SOS 473630 HAS SOPS 473180 HAS SOUS 22898 HAS SOUPS 22890 WITH SCORE 23363.63
AT ITER 3137 NEW BEST:: SOT 620814 SOS 473626 HAS SOPS 473176 HAS SOUS 22898 HAS SOUPS 22890 WITH SCORE 23363.626
AT ITER 3146 NEW BEST:: SOT 620810 SOS 473622 HAS SOPS 473172 HAS SOUS 22890 HAS SOUPS 22882 WITH SCORE 23355.622
AT ITER 3183 NEW BEST:: SOT 620798 SOS 473610 HAS SOPS 473160 HAS SOUS 22866 HAS SOUPS 22858 WITH SCORE 23331.61
AT ITER 3232 NEW BEST:: SOT 620780 SOS 473592 HAS SOPS 473142 HAS SOUS 22830 HAS SOUPS 22822 WITH SCORE 23295.592
AT ITER 3248 NEW BEST:: SOT 620586 SOS 473503 HAS SOPS 473053 HAS SOUS 22674 HAS SOUPS 22667 WITH SCORE 23140.503
AT ITER 3296 NEW BEST:: SOT 620580 SOS 473497 HAS SOPS 473047 HAS SOUS 22662 HAS SOUPS 22655 WITH SCORE 23128.497
AT ITER 3306 NEW BEST:: SOT 620580 SOS 472889 HAS SOPS 472439 HAS SOUS 22650 HAS SOUPS 22643 WITH SCORE 23115.889
AT ITER 3326 NEW BEST:: SOT 620578 SOS 472887 HAS SOPS 472437 HAS SOUS 22646 HAS SOUPS 22639 WITH SCORE 23111.887
AT ITER 3363 NEW BEST:: SOT 620578 SOS 472728 HAS SOPS 472278 HAS SOUS 22643 HAS SOUPS 22636 WITH SCORE 23108.728
AT ITER 3370 NEW BEST:: SOT 620578 SOS 472575 HAS SOPS 472125 HAS SOUS 22640 HAS SOUPS 22633 WITH SCORE 23105.575
AT ITER 3451 NEW BEST:: SOT 620676 SOS 472673 HAS SOPS 472223 HAS SOUS 22326 HAS SOUPS 22319 WITH SCORE 22791.673
AT ITER 3512 NEW BEST:: SOT 620668 SOS 472665 HAS SOPS 472215 HAS SOUS 22310 HAS SOUPS 22303 WITH SCORE 22775.665
AT ITER 3541 NEW BEST:: SOT 620646 SOS 472643 HAS SOPS 472193 HAS SOUS 22266 HAS SOUPS 22259 WITH SCORE 22731.643
AT ITER 3575 NEW BEST:: SOT 620628 SOS 472625 HAS SOPS 472175 HAS SOUS 22224 HAS SOUPS 22217 WITH SCORE 22689.625
AT ITER 3639 NEW BEST:: SOT 620628 SOS 472607 HAS SOPS 472157 HAS SOUS 22224 HAS SOUPS 22217 WITH SCORE 22689.607
AT ITER 3662 NEW BEST:: SOT 620620 SOS 472599 HAS SOPS 472149 HAS SOUS 22208 HAS SOUPS 22201 WITH SCORE 22673.599
AT ITER 3678 NEW BEST:: SOT 620610 SOS 472589 HAS SOPS 472139 HAS SOUS 22188 HAS SOUPS 22181 WITH SCORE 22653.589
AT ITER 3685 NEW BEST:: SOT 620610 SOS 472583 HAS SOPS 472133 HAS SOUS 22188 HAS SOUPS 22181 WITH SCORE 22653.583
AT ITER 3717 NEW BEST:: SOT 620861 SOS 472844 HAS SOPS 472394 HAS SOUS 22179 HAS SOUPS 22172 WITH SCORE 22644.844
AT ITER 3730 NEW BEST:: SOT 621433 SOS 473416 HAS SOPS 472966 HAS SOUS 22166 HAS SOUPS 22159 WITH SCORE 22632.416
AT ITER 3739 NEW BEST:: SOT 621431 SOS 473414 HAS SOPS 472964 HAS SOUS 22162 HAS SOUPS 22155 WITH SCORE 22628.414
AT ITER 3748 NEW BEST:: SOT 621425 SOS 473408 HAS SOPS 472958 HAS SOUS 22150 HAS SOUPS 22143 WITH SCORE 22616.408
AT ITER 3760 NEW BEST:: SOT 621415 SOS 473398 HAS SOPS 472948 HAS SOUS 22130 HAS SOUPS 22123 WITH SCORE 22596.398
AT ITER 3776 NEW BEST:: SOT 621413 SOS 473396 HAS SOPS 472946 HAS SOUS 22126 HAS SOUPS 22119 WITH SCORE 22592.396
AT ITER 3802 NEW BEST:: SOT 620797 SOS 472780 HAS SOPS 472330 HAS SOUS 22126 HAS SOUPS 22119 WITH SCORE 22591.78
AT ITER 3808 NEW BEST:: SOT 620797 SOS 472778 HAS SOPS 472328 HAS SOUS 22126 HAS SOUPS 22119 WITH SCORE 22591.778
AT ITER 3814 NEW BEST:: SOT 620797 SOS 472776 HAS SOPS 472326 HAS SOUS 22126 HAS SOUPS 22119 WITH SCORE 22591.776
AT ITER 3890 NEW BEST:: SOT 620784 SOS 472763 HAS SOPS 472313 HAS SOUS 22101 HAS SOUPS 22094 WITH SCORE 22566.763
AT ITER 3917 NEW BEST:: SOT 620784 SOS 472761 HAS SOPS 472311 HAS SOUS 22101 HAS SOUPS 22094 WITH SCORE 22566.761
AT ITER 3961 NEW BEST:: SOT 620784 SOS 472755 HAS SOPS 472305 HAS SOUS 22101 HAS SOUPS 22094 WITH SCORE 22566.755
AT ITER 3979 NEW BEST:: SOT 620784 SOS 472749 HAS SOPS 472299 HAS SOUS 22101 HAS SOUPS 22094 WITH SCORE 22566.749
AT ITER 4121 NEW BEST:: SOT 620758 SOS 472723 HAS SOPS 472273 HAS SOUS 22049 HAS SOUPS 22042 WITH SCORE 22514.723
AT ITER 4203 NEW BEST:: SOT 620758 SOS 472721 HAS SOPS 472271 HAS SOUS 22049 HAS SOUPS 22042 WITH SCORE 22514.721
AT ITER 4219 NEW BEST:: SOT 620744 SOS 472707 HAS SOPS 472257 HAS SOUS 22021 HAS SOUPS 22014 WITH SCORE 22486.707
AT ITER 4286 NEW BEST:: SOT 620734 SOS 472697 HAS SOPS 472247 HAS SOUS 22001 HAS SOUPS 21994 WITH SCORE 22466.697
AT ITER 4320 NEW BEST:: SOT 620726 SOS 472689 HAS SOPS 472239 HAS SOUS 21985 HAS SOUPS 21978 WITH SCORE 22450.689
AT ITER 4334 NEW BEST:: SOT 620724 SOS 472687 HAS SOPS 472237 HAS SOUS 21981 HAS SOUPS 21974 WITH SCORE 22446.687
AT ITER 4357 NEW BEST:: SOT 620722 SOS 472685 HAS SOPS 472235 HAS SOUS 21977 HAS SOUPS 21970 WITH SCORE 22442.685
AT ITER 4379 NEW BEST:: SOT 620716 SOS 472679 HAS SOPS 472229 HAS SOUS 21967 HAS SOUPS 21960 WITH SCORE 22432.679
AT ITER 4386 NEW BEST:: SOT 620648 SOS 472611 HAS SOPS 472161 HAS SOUS 21831 HAS SOUPS 21824 WITH SCORE 22296.611
AT ITER 4402 NEW BEST:: SOT 620646 SOS 472609 HAS SOPS 472159 HAS SOUS 21827 HAS SOUPS 21820 WITH SCORE 22292.609
AT ITER 4417 NEW BEST:: SOT 620646 SOS 472605 HAS SOPS 472155 HAS SOUS 21825 HAS SOUPS 21818 WITH SCORE 22290.605
AT ITER 4428 NEW BEST:: SOT 620644 SOS 472603 HAS SOPS 472153 HAS SOUS 21821 HAS SOUPS 21814 WITH SCORE 22286.603
AT ITER 4429 NEW BEST:: SOT 620620 SOS 472579 HAS SOPS 472129 HAS SOUS 21765 HAS SOUPS 21758 WITH SCORE 22230.579
AT ITER 4498 NEW BEST:: SOT 620618 SOS 472577 HAS SOPS 472127 HAS SOUS 21708 HAS SOUPS 21701 WITH SCORE 22173.577
AT ITER 4499 NEW BEST:: SOT 620612 SOS 472571 HAS SOPS 472121 HAS SOUS 21696 HAS SOUPS 21689 WITH SCORE 22161.571
AT ITER 4523 NEW BEST:: SOT 620612 SOS 472565 HAS SOPS 472115 HAS SOUS 21696 HAS SOUPS 21689 WITH SCORE 22161.565
AT ITER 4544 NEW BEST:: SOT 620612 SOS 472561 HAS SOPS 472111 HAS SOUS 21696 HAS SOUPS 21689 WITH SCORE 22161.561
AT ITER 4546 NEW BEST:: SOT 620610 SOS 472559 HAS SOPS 472109 HAS SOUS 21692 HAS SOUPS 21685 WITH SCORE 22157.559
AT ITER 4584 NEW BEST:: SOT 620610 SOS 472557 HAS SOPS 472107 HAS SOUS 21692 HAS SOUPS 21685 WITH SCORE 22157.557
AT ITER 4640 NEW BEST:: SOT 620610 SOS 472555 HAS SOPS 472105 HAS SOUS 21692 HAS SOUPS 21685 WITH SCORE 22157.555
AT ITER 4641 NEW BEST:: SOT 620712 SOS 472657 HAS SOPS 472207 HAS SOUS 21684 HAS SOUPS 21677 WITH SCORE 22149.657
AT ITER 4662 NEW BEST:: SOT 620720 SOS 472665 HAS SOPS 472215 HAS SOUS 21647 HAS SOUPS 21640 WITH SCORE 22112.665
AT ITER 4754 NEW BEST:: SOT 620708 SOS 472653 HAS SOPS 472203 HAS SOUS 21623 HAS SOUPS 21616 WITH SCORE 22088.653
AT ITER 4915 NEW BEST:: SOT 620708 SOS 472649 HAS SOPS 472199 HAS SOUS 21623 HAS SOUPS 21616 WITH SCORE 22088.649
AT ITER 4958 NEW BEST:: SOT 620686 SOS 472627 HAS SOPS 472177 HAS SOUS 21512 HAS SOUPS 21505 WITH SCORE 21977.627
AT ITER 4962 NEW BEST:: SOT 620686 SOS 472625 HAS SOPS 472175 HAS SOUS 21512 HAS SOUPS 21505 WITH SCORE 21977.625
AT ITER 4969 NEW BEST:: SOT 620684 SOS 472623 HAS SOPS 472173 HAS SOUS 21508 HAS SOUPS 21501 WITH SCORE 21973.623
AT ITER 5042 NEW BEST:: SOT 620680 SOS 472619 HAS SOPS 472169 HAS SOUS 21500 HAS SOUPS 21493 WITH SCORE 21965.619
AT ITER 5058 NEW BEST:: SOT 620680 SOS 472617 HAS SOPS 472167 HAS SOUS 21500 HAS SOUPS 21493 WITH SCORE 21965.617
AT ITER 5140 NEW BEST:: SOT 620730 SOS 472667 HAS SOPS 472217 HAS SOUS 21497 HAS SOUPS 21490 WITH SCORE 21962.667
AT ITER 5185 NEW BEST:: SOT 620722 SOS 472659 HAS SOPS 472209 HAS SOUS 21481 HAS SOUPS 21474 WITH SCORE 21946.659
AT ITER 5274 NEW BEST:: SOT 620722 SOS 472657 HAS SOPS 472207 HAS SOUS 21481 HAS SOUPS 21474 WITH SCORE 21946.657
AT ITER 5305 NEW BEST:: SOT 620722 SOS 472655 HAS SOPS 472205 HAS SOUS 21481 HAS SOUPS 21474 WITH SCORE 21946.655
AT ITER 5337 NEW BEST:: SOT 620706 SOS 472639 HAS SOPS 472189 HAS SOUS 21473 HAS SOUPS 21466 WITH SCORE 21938.639
AT ITER 5338 NEW BEST:: SOT 620694 SOS 472627 HAS SOPS 472177 HAS SOUS 21449 HAS SOUPS 21442 WITH SCORE 21914.627
AT ITER 5344 NEW BEST:: SOT 620693 SOS 472626 HAS SOPS 472176 HAS SOUS 21448 HAS SOUPS 21441 WITH SCORE 21913.626
AT ITER 5390 NEW BEST:: SOT 620689 SOS 472622 HAS SOPS 472172 HAS SOUS 21440 HAS SOUPS 21433 WITH SCORE 21905.622
AT ITER 5397 NEW BEST:: SOT 620528 SOS 472461 HAS SOPS 472011 HAS SOUS 21427 HAS SOUPS 21420 WITH SCORE 21892.461
AT ITER 5507 NEW BEST:: SOT 620524 SOS 472457 HAS SOPS 472007 HAS SOUS 21419 HAS SOUPS 21412 WITH SCORE 21884.457
AT ITER 5611 NEW BEST:: SOT 620522 SOS 472455 HAS SOPS 472005 HAS SOUS 21415 HAS SOUPS 21408 WITH SCORE 21880.455
AT ITER 5632 NEW BEST:: SOT 620510 SOS 472443 HAS SOPS 471993 HAS SOUS 21391 HAS SOUPS 21384 WITH SCORE 21856.443
AT ITER 5762 NEW BEST:: SOT 620510 SOS 472441 HAS SOPS 471991 HAS SOUS 21391 HAS SOUPS 21384 WITH SCORE 21856.441
AT ITER 5775 NEW BEST:: SOT 620504 SOS 472435 HAS SOPS 471985 HAS SOUS 21379 HAS SOUPS 21372 WITH SCORE 21844.435
AT ITER 5833 NEW BEST:: SOT 620582 SOS 472513 HAS SOPS 472063 HAS SOUS 21331 HAS SOUPS 21324 WITH SCORE 21796.513
AT ITER 5868 NEW BEST:: SOT 620680 SOS 472611 HAS SOPS 472161 HAS SOUS 21325 HAS SOUPS 21318 WITH SCORE 21790.611
AT ITER 5871 NEW BEST:: SOT 620674 SOS 472605 HAS SOPS 472155 HAS SOUS 21313 HAS SOUPS 21306 WITH SCORE 21778.605
AT ITER 5874 NEW BEST:: SOT 620674 SOS 472603 HAS SOPS 472153 HAS SOUS 21313 HAS SOUPS 21306 WITH SCORE 21778.603
AT ITER 5878 NEW BEST:: SOT 620664 SOS 472593 HAS SOPS 472143 HAS SOUS 21293 HAS SOUPS 21286 WITH SCORE 21758.593
AT ITER 5959 NEW BEST:: SOT 620656 SOS 472585 HAS SOPS 472135 HAS SOUS 21277 HAS SOUPS 21270 WITH SCORE 21742.585
AT ITER 6013 NEW BEST:: SOT 620656 SOS 472577 HAS SOPS 472127 HAS SOUS 21277 HAS SOUPS 21270 WITH SCORE 21742.577
AT ITER 6019 NEW BEST:: SOT 620652 SOS 472573 HAS SOPS 472123 HAS SOUS 21269 HAS SOUPS 21262 WITH SCORE 21734.573
AT ITER 6037 NEW BEST:: SOT 620652 SOS 472573 HAS SOPS 472123 HAS SOUS 21267 HAS SOUPS 21260 WITH SCORE 21732.573
AT ITER 6038 NEW BEST:: SOT 620910 SOS 472833 HAS SOPS 472383 HAS SOUS 21265 HAS SOUPS 21258 WITH SCORE 21730.833
AT ITER 6067 NEW BEST:: SOT 620910 SOS 472831 HAS SOPS 472381 HAS SOUS 21265 HAS SOUPS 21258 WITH SCORE 21730.831
AT ITER 6089 NEW BEST:: SOT 620908 SOS 472829 HAS SOPS 472379 HAS SOUS 21261 HAS SOUPS 21254 WITH SCORE 21726.829
AT ITER 6097 NEW BEST:: SOT 620906 SOS 472827 HAS SOPS 472377 HAS SOUS 21257 HAS SOUPS 21250 WITH SCORE 21722.827
AT ITER 6170 NEW BEST:: SOT 620902 SOS 472823 HAS SOPS 472373 HAS SOUS 21249 HAS SOUPS 21242 WITH SCORE 21714.823
AT ITER 6213 NEW BEST:: SOT 620900 SOS 472821 HAS SOPS 472371 HAS SOUS 21245 HAS SOUPS 21238 WITH SCORE 21710.821
AT ITER 6245 NEW BEST:: SOT 620530 SOS 472451 HAS SOPS 472001 HAS SOUS 21244 HAS SOUPS 21237 WITH SCORE 21709.451
AT ITER 6257 NEW BEST:: SOT 620528 SOS 472449 HAS SOPS 471999 HAS SOUS 21240 HAS SOUPS 21233 WITH SCORE 21705.449
AT ITER 6313 NEW BEST:: SOT 620512 SOS 472433 HAS SOPS 471983 HAS SOUS 21208 HAS SOUPS 21201 WITH SCORE 21673.433
AT ITER 6378 NEW BEST:: SOT 620532 SOS 470082 HAS SOPS 469632 HAS SOUS 21195 HAS SOUPS 21188 WITH SCORE 21658.082
AT ITER 6381 NEW BEST:: SOT 620486 SOS 470036 HAS SOPS 469636 HAS SOUS 21147 HAS SOUPS 21141 WITH SCORE 21611.036
AT ITER 6429 NEW BEST:: SOT 620476 SOS 470026 HAS SOPS 469626 HAS SOUS 20868 HAS SOUPS 20862 WITH SCORE 21332.026
AT ITER 6490 NEW BEST:: SOT 620472 SOS 470022 HAS SOPS 469622 HAS SOUS 20752 HAS SOUPS 20746 WITH SCORE 21216.022
AT ITER 6555 NEW BEST:: SOT 620470 SOS 470020 HAS SOPS 469620 HAS SOUS 20748 HAS SOUPS 20742 WITH SCORE 21212.02
AT ITER 6658 NEW BEST:: SOT 620492 SOS 470042 HAS SOPS 469642 HAS SOUS 20690 HAS SOUPS 20684 WITH SCORE 21154.042
AT ITER 6669 NEW BEST:: SOT 620490 SOS 470040 HAS SOPS 469640 HAS SOUS 20686 HAS SOUPS 20680 WITH SCORE 21150.04
AT ITER 6703 NEW BEST:: SOT 620486 SOS 470036 HAS SOPS 469636 HAS SOUS 20678 HAS SOUPS 20672 WITH SCORE 21142.036
AT ITER 6741 NEW BEST:: SOT 620486 SOS 470034 HAS SOPS 469634 HAS SOUS 20678 HAS SOUPS 20672 WITH SCORE 21142.034
AT ITER 6742 NEW BEST:: SOT 620327 SOS 469875 HAS SOPS 469475 HAS SOUS 20678 HAS SOUPS 20672 WITH SCORE 21141.875
AT ITER 6813 NEW BEST:: SOT 620327 SOS 469873 HAS SOPS 469473 HAS SOUS 20678 HAS SOUPS 20672 WITH SCORE 21141.873
AT ITER 6814 NEW BEST:: SOT 620317 SOS 469863 HAS SOPS 469463 HAS SOUS 20658 HAS SOUPS 20652 WITH SCORE 21121.863
AT ITER 6939 NEW BEST:: SOT 620317 SOS 468257 HAS SOPS 467857 HAS SOUS 20642 HAS SOUPS 20636 WITH SCORE 21104.257
AT ITER 6955 NEW BEST:: SOT 620317 SOS 468255 HAS SOPS 467855 HAS SOUS 20642 HAS SOUPS 20636 WITH SCORE 21104.255
AT ITER 6990 NEW BEST:: SOT 620305 SOS 468243 HAS SOPS 467843 HAS SOUS 20618 HAS SOUPS 20612 WITH SCORE 21080.243
AT ITER 7020 NEW BEST:: SOT 620885 SOS 468823 HAS SOPS 468423 HAS SOUS 20615 HAS SOUPS 20609 WITH SCORE 21077.823
AT ITER 7081 NEW BEST:: SOT 620883 SOS 468821 HAS SOPS 468421 HAS SOUS 20611 HAS SOUPS 20605 WITH SCORE 21073.821
AT ITER 7102 NEW BEST:: SOT 620837 SOS 468775 HAS SOPS 468375 HAS SOUS 20519 HAS SOUPS 20513 WITH SCORE 20981.775
AT ITER 7184 NEW BEST:: SOT 620833 SOS 468771 HAS SOPS 468371 HAS SOUS 20511 HAS SOUPS 20505 WITH SCORE 20973.771
AT ITER 7200 NEW BEST:: SOT 620829 SOS 468767 HAS SOPS 468367 HAS SOUS 20503 HAS SOUPS 20497 WITH SCORE 20965.767
AT ITER 7213 NEW BEST:: SOT 620827 SOS 468765 HAS SOPS 468365 HAS SOUS 20499 HAS SOUPS 20493 WITH SCORE 20961.765
AT ITER 7222 NEW BEST:: SOT 620827 SOS 468753 HAS SOPS 468353 HAS SOUS 20499 HAS SOUPS 20493 WITH SCORE 20961.753
AT ITER 7259 NEW BEST:: SOT 620827 SOS 468751 HAS SOPS 468351 HAS SOUS 20499 HAS SOUPS 20493 WITH SCORE 20961.751
AT ITER 7275 NEW BEST:: SOT 620821 SOS 468745 HAS SOPS 468345 HAS SOUS 20487 HAS SOUPS 20481 WITH SCORE 20949.745
AT ITER 7295 NEW BEST:: SOT 620817 SOS 468741 HAS SOPS 468341 HAS SOUS 20479 HAS SOUPS 20473 WITH SCORE 20941.741
AT ITER 7357 NEW BEST:: SOT 620817 SOS 468341 HAS SOPS 467941 HAS SOUS 20475 HAS SOUPS 20469 WITH SCORE 20937.341
AT ITER 7374 NEW BEST:: SOT 620817 SOS 468339 HAS SOPS 467939 HAS SOUS 20475 HAS SOUPS 20469 WITH SCORE 20937.339
AT ITER 7498 NEW BEST:: SOT 620815 SOS 468337 HAS SOPS 467937 HAS SOUS 20463 HAS SOUPS 20457 WITH SCORE 20925.337
AT ITER 7517 NEW BEST:: SOT 620815 SOS 468333 HAS SOPS 467933 HAS SOUS 20463 HAS SOUPS 20457 WITH SCORE 20925.333
AT ITER 7556 NEW BEST:: SOT 620811 SOS 468329 HAS SOPS 467929 HAS SOUS 20455 HAS SOUPS 20449 WITH SCORE 20917.329
AT ITER 7581 NEW BEST:: SOT 620803 SOS 468321 HAS SOPS 467921 HAS SOUS 20439 HAS SOUPS 20433 WITH SCORE 20901.321
AT ITER 7822 NEW BEST:: SOT 620803 SOS 468317 HAS SOPS 467917 HAS SOUS 20439 HAS SOUPS 20433 WITH SCORE 20901.317
AT ITER 7899 NEW BEST:: SOT 620803 SOS 468313 HAS SOPS 467913 HAS SOUS 20439 HAS SOUPS 20433 WITH SCORE 20901.313
AT ITER 7950 NEW BEST:: SOT 620803 SOS 468311 HAS SOPS 467911 HAS SOUS 20439 HAS SOUPS 20433 WITH SCORE 20901.311
AT ITER 7965 NEW BEST:: SOT 620799 SOS 468307 HAS SOPS 467907 HAS SOUS 20431 HAS SOUPS 20425 WITH SCORE 20893.307
AT ITER 8011 NEW BEST:: SOT 620795 SOS 468303 HAS SOPS 467903 HAS SOUS 20423 HAS SOUPS 20417 WITH SCORE 20885.303
AT ITER 8082 NEW BEST:: SOT 620795 SOS 468301 HAS SOPS 467901 HAS SOUS 20423 HAS SOUPS 20417 WITH SCORE 20885.301
AT ITER 8286 NEW BEST:: SOT 620795 SOS 468301 HAS SOPS 467901 HAS SOUS 20148 HAS SOUPS 20142 WITH SCORE 20610.301
AT ITER 8323 NEW BEST:: SOT 620793 SOS 468299 HAS SOPS 467899 HAS SOUS 20144 HAS SOUPS 20138 WITH SCORE 20606.299
AT ITER 8371 NEW BEST:: SOT 620787 SOS 468293 HAS SOPS 467893 HAS SOUS 20132 HAS SOUPS 20126 WITH SCORE 20594.293
AT ITER 8421 NEW BEST:: SOT 620777 SOS 468274 HAS SOPS 467874 HAS SOUS 20118 HAS SOUPS 20112 WITH SCORE 20580.274
AT ITER 8438 NEW BEST:: SOT 620777 SOS 468270 HAS SOPS 467870 HAS SOUS 20118 HAS SOUPS 20112 WITH SCORE 20580.27
AT ITER 8462 NEW BEST:: SOT 620775 SOS 468268 HAS SOPS 467868 HAS SOUS 20114 HAS SOUPS 20108 WITH SCORE 20576.268
AT ITER 8494 NEW BEST:: SOT 620779 SOS 468272 HAS SOPS 467872 HAS SOUS 19845 HAS SOUPS 19839 WITH SCORE 20307.272
AT ITER 8501 NEW BEST:: SOT 620769 SOS 468262 HAS SOPS 467862 HAS SOUS 19825 HAS SOUPS 19819 WITH SCORE 20287.262
AT ITER 8558 NEW BEST:: SOT 620767 SOS 468260 HAS SOPS 467860 HAS SOUS 19821 HAS SOUPS 19815 WITH SCORE 20283.26
AT ITER 8559 NEW BEST:: SOT 620767 SOS 468254 HAS SOPS 467854 HAS SOUS 19821 HAS SOUPS 19815 WITH SCORE 20283.254
AT ITER 8644 NEW BEST:: SOT 620765 SOS 468252 HAS SOPS 467852 HAS SOUS 19817 HAS SOUPS 19811 WITH SCORE 20279.252
AT ITER 8984 NEW BEST:: SOT 620763 SOS 468250 HAS SOPS 467850 HAS SOUS 19813 HAS SOUPS 19807 WITH SCORE 20275.25
AT ITER 9062 NEW BEST:: SOT 620763 SOS 468240 HAS SOPS 467840 HAS SOUS 19813 HAS SOUPS 19807 WITH SCORE 20275.24
AT ITER 9099 NEW BEST:: SOT 620761 SOS 468238 HAS SOPS 467838 HAS SOUS 19809 HAS SOUPS 19803 WITH SCORE 20271.238
AT ITER 9103 NEW BEST:: SOT 620759 SOS 468236 HAS SOPS 467836 HAS SOUS 19801 HAS SOUPS 19795 WITH SCORE 20263.236
AT ITER 9160 NEW BEST:: SOT 620755 SOS 468232 HAS SOPS 467832 HAS SOUS 19793 HAS SOUPS 19787 WITH SCORE 20255.232
AT ITER 9161 NEW BEST:: SOT 620753 SOS 468230 HAS SOPS 467830 HAS SOUS 19789 HAS SOUPS 19783 WITH SCORE 20251.23
AT ITER 9383 NEW BEST:: SOT 620739 SOS 468216 HAS SOPS 467816 HAS SOUS 19761 HAS SOUPS 19755 WITH SCORE 20223.216
AT ITER 9491 NEW BEST:: SOT 620729 SOS 468206 HAS SOPS 467806 HAS SOUS 19741 HAS SOUPS 19735 WITH SCORE 20203.206
AT ITER 9558 NEW BEST:: SOT 620727 SOS 468204 HAS SOPS 467804 HAS SOUS 19737 HAS SOUPS 19731 WITH SCORE 20199.204
AT ITER 9633 NEW BEST:: SOT 620726 SOS 468203 HAS SOPS 467803 HAS SOUS 19579 HAS SOUPS 19573 WITH SCORE 20041.203
AT ITER 9643 NEW BEST:: SOT 620726 SOS 468193 HAS SOPS 467793 HAS SOUS 19579 HAS SOUPS 19573 WITH SCORE 20041.193
AT ITER 9741 NEW BEST:: SOT 620722 SOS 468189 HAS SOPS 467789 HAS SOUS 19571 HAS SOUPS 19565 WITH SCORE 20033.189
AT ITER 9839 NEW BEST:: SOT 620720 SOS 468187 HAS SOPS 467787 HAS SOUS 19567 HAS SOUPS 19561 WITH SCORE 20029.187
AT ITER 9970 NEW BEST:: SOT 620720 SOS 468183 HAS SOPS 467783 HAS SOUS 19567 HAS SOUPS 19561 WITH SCORE 20029.183
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 2933252 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16110844 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-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-COL-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-167813696400088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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