Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953500824.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is QuasiCertifProtocol-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953500824
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 01:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 72K Mar 5 18:23 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 1679555414871

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=QuasiCertifProtocol-COL-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 07:10:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 07:10:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 07:10:16] [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-23 07:10:16] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 07:10:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 632 ms
[2023-03-23 07:10:17] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 550 PT places and 176.0 transition bindings in 14 ms.
[2023-03-23 07:10:17] [INFO ] Unfolded HLPN to a Petri net with 550 places and 176 transitions 1287 arcs in 18 ms.
[2023-03-23 07:10:17] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 07:10:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 550 places, 176 transitions and 1287 arcs took 9 ms.
Total runtime 756 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 10
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: 550 places, 176 transitions, 1287 arcs.
AT ITER 0 NEW BEST:: SOT 57724 SOS 38648 HAS SOPS 38648 HAS SOUS 32187 HAS SOUPS 32187 WITH SCORE 32225.648
AT ITER 1 NEW BEST:: SOT 57724 SOS 38429 HAS SOPS 38429 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32016.429
AT ITER 8 NEW BEST:: SOT 57724 SOS 38319 HAS SOPS 38319 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31916.319
AT ITER 12 NEW BEST:: SOT 57895 SOS 38260 HAS SOPS 38260 HAS SOUS 31715 HAS SOUPS 31715 WITH SCORE 31753.26
AT ITER 34 NEW BEST:: SOT 57884 SOS 38188 HAS SOPS 38188 HAS SOUS 31653 HAS SOUPS 31653 WITH SCORE 31691.188
AT ITER 50 NEW BEST:: SOT 57945 SOS 37933 HAS SOPS 37933 HAS SOUS 31479 HAS SOUPS 31479 WITH SCORE 31516.933
AT ITER 56 NEW BEST:: SOT 57949 SOS 37928 HAS SOPS 37928 HAS SOUS 31474 HAS SOUPS 31474 WITH SCORE 31511.928
AT ITER 67 NEW BEST:: SOT 57938 SOS 37907 HAS SOPS 37907 HAS SOUS 31419 HAS SOUPS 31419 WITH SCORE 31456.907
AT ITER 78 NEW BEST:: SOT 57938 SOS 37906 HAS SOPS 37906 HAS SOUS 31419 HAS SOUPS 31419 WITH SCORE 31456.906
AT ITER 87 NEW BEST:: SOT 57938 SOS 37846 HAS SOPS 37846 HAS SOUS 31369 HAS SOUPS 31369 WITH SCORE 31406.846
AT ITER 120 NEW BEST:: SOT 57974 SOS 37712 HAS SOPS 37712 HAS SOUS 31235 HAS SOUPS 31235 WITH SCORE 31272.712
AT ITER 144 NEW BEST:: SOT 57972 SOS 37710 HAS SOPS 37710 HAS SOUS 31233 HAS SOUPS 31233 WITH SCORE 31270.71
AT ITER 174 NEW BEST:: SOT 57972 SOS 37292 HAS SOPS 37292 HAS SOUS 30981 HAS SOUPS 30981 WITH SCORE 31018.292
AT ITER 180 NEW BEST:: SOT 57961 SOS 37281 HAS SOPS 37281 HAS SOUS 30970 HAS SOUPS 30970 WITH SCORE 31007.281
AT ITER 191 NEW BEST:: SOT 57960 SOS 37280 HAS SOPS 37280 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31006.28
AT ITER 217 NEW BEST:: SOT 57960 SOS 37280 HAS SOPS 37280 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31005.28
AT ITER 242 NEW BEST:: SOT 57952 SOS 37272 HAS SOPS 37272 HAS SOUS 30960 HAS SOUPS 30960 WITH SCORE 30997.272
AT ITER 256 NEW BEST:: SOT 57941 SOS 37199 HAS SOPS 37199 HAS SOUS 30897 HAS SOUPS 30897 WITH SCORE 30934.199
AT ITER 260 NEW BEST:: SOT 57919 SOS 37193 HAS SOPS 37193 HAS SOUS 30891 HAS SOUPS 30891 WITH SCORE 30928.193
AT ITER 269 NEW BEST:: SOT 57908 SOS 37172 HAS SOPS 37172 HAS SOUS 30861 HAS SOUPS 30861 WITH SCORE 30898.172
AT ITER 275 NEW BEST:: SOT 57981 SOS 36721 HAS SOPS 36721 HAS SOUS 30670 HAS SOUPS 30670 WITH SCORE 30706.721
AT ITER 278 NEW BEST:: SOT 57981 SOS 36707 HAS SOPS 36707 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30700.707
AT ITER 294 NEW BEST:: SOT 57971 SOS 36697 HAS SOPS 36697 HAS SOUS 30654 HAS SOUPS 30654 WITH SCORE 30690.697
AT ITER 315 NEW BEST:: SOT 57964 SOS 36690 HAS SOPS 36690 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30683.69
AT ITER 337 NEW BEST:: SOT 57953 SOS 36663 HAS SOPS 36663 HAS SOUS 30636 HAS SOUPS 30636 WITH SCORE 30672.663
AT ITER 354 NEW BEST:: SOT 57953 SOS 36337 HAS SOPS 36337 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30592.337
AT ITER 395 NEW BEST:: SOT 57954 SOS 36235 HAS SOPS 36235 HAS SOUS 30454 HAS SOUPS 30454 WITH SCORE 30490.235
AT ITER 404 NEW BEST:: SOT 57954 SOS 35675 HAS SOPS 35675 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30209.675
AT ITER 475 NEW BEST:: SOT 57953 SOS 35665 HAS SOPS 35665 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30199.665
AT ITER 502 NEW BEST:: SOT 58226 SOS 35520 HAS SOPS 35520 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30199.52
AT ITER 510 NEW BEST:: SOT 58306 SOS 35012 HAS SOPS 35012 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30064.012
AT ITER 524 NEW BEST:: SOT 58306 SOS 34774 HAS SOPS 34774 HAS SOUS 29905 HAS SOUPS 29905 WITH SCORE 29939.774
AT ITER 659 NEW BEST:: SOT 58305 SOS 34652 HAS SOPS 34652 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29839.652
AT ITER 671 NEW BEST:: SOT 58546 SOS 34607 HAS SOPS 34607 HAS SOUS 29768 HAS SOUPS 29768 WITH SCORE 29802.607
AT ITER 684 NEW BEST:: SOT 58546 SOS 34601 HAS SOPS 34601 HAS SOUS 29766 HAS SOUPS 29766 WITH SCORE 29800.601
AT ITER 690 NEW BEST:: SOT 58504 SOS 34571 HAS SOPS 34571 HAS SOUS 29732 HAS SOUPS 29732 WITH SCORE 29766.571
AT ITER 698 NEW BEST:: SOT 58456 SOS 34523 HAS SOPS 34523 HAS SOUS 29684 HAS SOUPS 29684 WITH SCORE 29718.523
AT ITER 716 NEW BEST:: SOT 58456 SOS 34522 HAS SOPS 34522 HAS SOUS 29683 HAS SOUPS 29683 WITH SCORE 29717.522
AT ITER 735 NEW BEST:: SOT 58456 SOS 34517 HAS SOPS 34517 HAS SOUS 29678 HAS SOUPS 29678 WITH SCORE 29712.517
AT ITER 744 NEW BEST:: SOT 58534 SOS 34377 HAS SOPS 34377 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29702.377
AT ITER 748 NEW BEST:: SOT 58533 SOS 34377 HAS SOPS 34377 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29701.377
AT ITER 817 NEW BEST:: SOT 58533 SOS 34249 HAS SOPS 34249 HAS SOUS 29539 HAS SOUPS 29539 WITH SCORE 29573.249
AT ITER 818 NEW BEST:: SOT 58533 SOS 34141 HAS SOPS 34141 HAS SOUS 29431 HAS SOUPS 29431 WITH SCORE 29465.141
AT ITER 1003 NEW BEST:: SOT 58525 SOS 34133 HAS SOPS 34133 HAS SOUS 29423 HAS SOUPS 29423 WITH SCORE 29457.133
AT ITER 1034 NEW BEST:: SOT 58554 SOS 33702 HAS SOPS 33702 HAS SOUS 29290 HAS SOUPS 29290 WITH SCORE 29323.702
AT ITER 1051 NEW BEST:: SOT 58554 SOS 33691 HAS SOPS 33691 HAS SOUS 29280 HAS SOUPS 29280 WITH SCORE 29313.691
AT ITER 1056 NEW BEST:: SOT 58549 SOS 33686 HAS SOPS 33686 HAS SOUS 29275 HAS SOUPS 29275 WITH SCORE 29308.686
AT ITER 1066 NEW BEST:: SOT 58549 SOS 33557 HAS SOPS 33557 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29305.557
AT ITER 1085 NEW BEST:: SOT 58658 SOS 33552 HAS SOPS 33552 HAS SOUS 29213 HAS SOUPS 29213 WITH SCORE 29246.552
AT ITER 1093 NEW BEST:: SOT 58658 SOS 33541 HAS SOPS 33541 HAS SOUS 29206 HAS SOUPS 29206 WITH SCORE 29239.541
AT ITER 1102 NEW BEST:: SOT 58659 SOS 33539 HAS SOPS 33539 HAS SOUS 29204 HAS SOUPS 29204 WITH SCORE 29237.539
AT ITER 1144 NEW BEST:: SOT 58659 SOS 33513 HAS SOPS 33513 HAS SOUS 29191 HAS SOUPS 29191 WITH SCORE 29224.513
AT ITER 1213 NEW BEST:: SOT 58659 SOS 33455 HAS SOPS 33455 HAS SOUS 29133 HAS SOUPS 29133 WITH SCORE 29166.455
AT ITER 1227 NEW BEST:: SOT 58659 SOS 33430 HAS SOPS 33430 HAS SOUS 29108 HAS SOUPS 29108 WITH SCORE 29141.43
AT ITER 1292 NEW BEST:: SOT 58659 SOS 33430 HAS SOPS 33430 HAS SOUS 29107 HAS SOUPS 29107 WITH SCORE 29140.43
AT ITER 1329 NEW BEST:: SOT 58659 SOS 33380 HAS SOPS 33380 HAS SOUS 29057 HAS SOUPS 29057 WITH SCORE 29090.38
AT ITER 1369 NEW BEST:: SOT 58550 SOS 33271 HAS SOPS 33271 HAS SOUS 28829 HAS SOUPS 28829 WITH SCORE 28862.271
AT ITER 1378 NEW BEST:: SOT 58550 SOS 33271 HAS SOPS 33271 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28861.271
AT ITER 1406 NEW BEST:: SOT 58550 SOS 33170 HAS SOPS 33170 HAS SOUS 28775 HAS SOUPS 28775 WITH SCORE 28808.17
AT ITER 1420 NEW BEST:: SOT 58549 SOS 33169 HAS SOPS 33169 HAS SOUS 28774 HAS SOUPS 28774 WITH SCORE 28807.169
AT ITER 1427 NEW BEST:: SOT 58549 SOS 33114 HAS SOPS 33114 HAS SOUS 28719 HAS SOUPS 28719 WITH SCORE 28752.114
AT ITER 1433 NEW BEST:: SOT 58548 SOS 33000 HAS SOPS 33000 HAS SOUS 28605 HAS SOUPS 28605 WITH SCORE 28638.0
AT ITER 1447 NEW BEST:: SOT 58537 SOS 32989 HAS SOPS 32989 HAS SOUS 28594 HAS SOUPS 28594 WITH SCORE 28626.989
AT ITER 1460 NEW BEST:: SOT 58587 SOS 32966 HAS SOPS 32966 HAS SOUS 28570 HAS SOUPS 28570 WITH SCORE 28602.966
AT ITER 1485 NEW BEST:: SOT 58587 SOS 32922 HAS SOPS 32922 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28558.922
AT ITER 1578 NEW BEST:: SOT 58748 SOS 32807 HAS SOPS 32807 HAS SOUS 28515 HAS SOUPS 28515 WITH SCORE 28547.807
AT ITER 1592 NEW BEST:: SOT 58767 SOS 32776 HAS SOPS 32776 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28495.776
AT ITER 1593 NEW BEST:: SOT 58767 SOS 32776 HAS SOPS 32776 HAS SOUS 28462 HAS SOUPS 28462 WITH SCORE 28494.776
AT ITER 1628 NEW BEST:: SOT 58764 SOS 32773 HAS SOPS 32773 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28491.773
AT ITER 1644 NEW BEST:: SOT 58830 SOS 32740 HAS SOPS 32740 HAS SOUS 28426 HAS SOUPS 28426 WITH SCORE 28458.74
AT ITER 1657 NEW BEST:: SOT 58830 SOS 32740 HAS SOPS 32740 HAS SOUS 28425 HAS SOUPS 28425 WITH SCORE 28457.74
AT ITER 1791 NEW BEST:: SOT 58835 SOS 32727 HAS SOPS 32727 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28453.727
AT ITER 1799 NEW BEST:: SOT 58825 SOS 32717 HAS SOPS 32717 HAS SOUS 28411 HAS SOUPS 28411 WITH SCORE 28443.717
AT ITER 1808 NEW BEST:: SOT 58960 SOS 32485 HAS SOPS 32485 HAS SOUS 28344 HAS SOUPS 28344 WITH SCORE 28376.485
AT ITER 1819 NEW BEST:: SOT 59035 SOS 32471 HAS SOPS 32471 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28362.471
AT ITER 1822 NEW BEST:: SOT 59035 SOS 32471 HAS SOPS 32471 HAS SOUS 28327 HAS SOUPS 28327 WITH SCORE 28359.471
AT ITER 1823 NEW BEST:: SOT 59035 SOS 32388 HAS SOPS 32388 HAS SOUS 28244 HAS SOUPS 28244 WITH SCORE 28276.388
AT ITER 1865 NEW BEST:: SOT 59072 SOS 32334 HAS SOPS 32334 HAS SOUS 28190 HAS SOUPS 28190 WITH SCORE 28222.334
AT ITER 1910 NEW BEST:: SOT 58962 SOS 32333 HAS SOPS 32333 HAS SOUS 28189 HAS SOUPS 28189 WITH SCORE 28221.333
AT ITER 1921 NEW BEST:: SOT 58960 SOS 32331 HAS SOPS 32331 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28219.331
AT ITER 1963 NEW BEST:: SOT 58995 SOS 32207 HAS SOPS 32207 HAS SOUS 28142 HAS SOUPS 28142 WITH SCORE 28174.207
AT ITER 2004 NEW BEST:: SOT 58968 SOS 32180 HAS SOPS 32180 HAS SOUS 28115 HAS SOUPS 28115 WITH SCORE 28147.18
AT ITER 2099 NEW BEST:: SOT 59041 SOS 32172 HAS SOPS 32172 HAS SOUS 28107 HAS SOUPS 28107 WITH SCORE 28139.172
AT ITER 2177 NEW BEST:: SOT 59139 SOS 32131 HAS SOPS 32131 HAS SOUS 28066 HAS SOUPS 28066 WITH SCORE 28098.131
AT ITER 2183 NEW BEST:: SOT 59109 SOS 32127 HAS SOPS 32127 HAS SOUS 28062 HAS SOUPS 28062 WITH SCORE 28094.127
AT ITER 2202 NEW BEST:: SOT 59109 SOS 30390 HAS SOPS 30390 HAS SOUS 28060 HAS SOUPS 28060 WITH SCORE 28090.39
AT ITER 2243 NEW BEST:: SOT 59102 SOS 30383 HAS SOPS 30383 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28083.383
AT ITER 2252 NEW BEST:: SOT 59058 SOS 30339 HAS SOPS 30339 HAS SOUS 28009 HAS SOUPS 28009 WITH SCORE 28039.339
AT ITER 2319 NEW BEST:: SOT 59051 SOS 30332 HAS SOPS 30332 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28032.332
AT ITER 2323 NEW BEST:: SOT 59051 SOS 30279 HAS SOPS 30279 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 27954.279
AT ITER 2402 NEW BEST:: SOT 58956 SOS 30184 HAS SOPS 30184 HAS SOUS 27827 HAS SOUPS 27827 WITH SCORE 27857.184
AT ITER 2426 NEW BEST:: SOT 58921 SOS 30149 HAS SOPS 30149 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27815.149
AT ITER 2430 NEW BEST:: SOT 59094 SOS 30137 HAS SOPS 30137 HAS SOUS 27773 HAS SOUPS 27773 WITH SCORE 27803.137
AT ITER 2458 NEW BEST:: SOT 59094 SOS 30134 HAS SOPS 30134 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27800.134
AT ITER 2508 NEW BEST:: SOT 59094 SOS 30133 HAS SOPS 30133 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27799.133
AT ITER 2516 NEW BEST:: SOT 59165 SOS 30132 HAS SOPS 30132 HAS SOUS 27768 HAS SOUPS 27768 WITH SCORE 27798.132
AT ITER 2540 NEW BEST:: SOT 59165 SOS 30121 HAS SOPS 30121 HAS SOUS 27768 HAS SOUPS 27768 WITH SCORE 27798.121
AT ITER 2569 NEW BEST:: SOT 59159 SOS 30115 HAS SOPS 30115 HAS SOUS 27762 HAS SOUPS 27762 WITH SCORE 27792.115
AT ITER 2584 NEW BEST:: SOT 59152 SOS 30108 HAS SOPS 30108 HAS SOUS 27755 HAS SOUPS 27755 WITH SCORE 27785.108
AT ITER 2630 NEW BEST:: SOT 59150 SOS 30106 HAS SOPS 30106 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27783.106
AT ITER 2637 NEW BEST:: SOT 59139 SOS 30094 HAS SOPS 30094 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27771.094
AT ITER 2657 NEW BEST:: SOT 59139 SOS 29977 HAS SOPS 29977 HAS SOUS 27624 HAS SOUPS 27624 WITH SCORE 27653.977
AT ITER 2676 NEW BEST:: SOT 59138 SOS 29976 HAS SOPS 29976 HAS SOUS 27623 HAS SOUPS 27623 WITH SCORE 27652.976
AT ITER 2720 NEW BEST:: SOT 59060 SOS 29997 HAS SOPS 29997 HAS SOUS 27545 HAS SOUPS 27545 WITH SCORE 27574.997
AT ITER 2743 NEW BEST:: SOT 59064 SOS 29992 HAS SOPS 29992 HAS SOUS 27540 HAS SOUPS 27540 WITH SCORE 27569.992
AT ITER 2759 NEW BEST:: SOT 59038 SOS 29966 HAS SOPS 29966 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27543.966
AT ITER 2775 NEW BEST:: SOT 59038 SOS 29951 HAS SOPS 29951 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27528.951
AT ITER 2788 NEW BEST:: SOT 59041 SOS 29944 HAS SOPS 29944 HAS SOUS 27492 HAS SOUPS 27492 WITH SCORE 27521.944
AT ITER 2796 NEW BEST:: SOT 59041 SOS 29850 HAS SOPS 29850 HAS SOUS 27369 HAS SOUPS 27369 WITH SCORE 27398.85
AT ITER 2829 NEW BEST:: SOT 59041 SOS 29767 HAS SOPS 29767 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27315.767
AT ITER 2867 NEW BEST:: SOT 59049 SOS 29764 HAS SOPS 29764 HAS SOUS 27283 HAS SOUPS 27283 WITH SCORE 27312.764
AT ITER 3062 NEW BEST:: SOT 59049 SOS 29723 HAS SOPS 29723 HAS SOUS 27273 HAS SOUPS 27273 WITH SCORE 27302.723
AT ITER 3084 NEW BEST:: SOT 59108 SOS 29744 HAS SOPS 29744 HAS SOUS 27265 HAS SOUPS 27265 WITH SCORE 27294.744
AT ITER 3092 NEW BEST:: SOT 59161 SOS 29733 HAS SOPS 29733 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27283.733
AT ITER 3103 NEW BEST:: SOT 59161 SOS 29733 HAS SOPS 29733 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27282.733
AT ITER 3173 NEW BEST:: SOT 59161 SOS 29699 HAS SOPS 29699 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27265.699
AT ITER 3228 NEW BEST:: SOT 59161 SOS 29698 HAS SOPS 29698 HAS SOUS 27235 HAS SOUPS 27235 WITH SCORE 27264.698
AT ITER 3242 NEW BEST:: SOT 59112 SOS 28396 HAS SOPS 28396 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27214.396
AT ITER 3298 NEW BEST:: SOT 58999 SOS 28387 HAS SOPS 28387 HAS SOUS 27177 HAS SOUPS 27177 WITH SCORE 27205.387
AT ITER 3305 NEW BEST:: SOT 58992 SOS 28380 HAS SOPS 28380 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27198.38
AT ITER 3330 NEW BEST:: SOT 59020 SOS 28379 HAS SOPS 28379 HAS SOUS 27169 HAS SOUPS 27169 WITH SCORE 27197.379
AT ITER 3396 NEW BEST:: SOT 59014 SOS 28374 HAS SOPS 28374 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27192.374
AT ITER 3443 NEW BEST:: SOT 59021 SOS 28374 HAS SOPS 28374 HAS SOUS 27163 HAS SOUPS 27163 WITH SCORE 27191.374
AT ITER 3455 NEW BEST:: SOT 58958 SOS 28327 HAS SOPS 28327 HAS SOUS 27124 HAS SOUPS 27124 WITH SCORE 27152.327
AT ITER 3464 NEW BEST:: SOT 58957 SOS 28326 HAS SOPS 28326 HAS SOUS 27123 HAS SOUPS 27123 WITH SCORE 27151.326
AT ITER 3540 NEW BEST:: SOT 58957 SOS 28316 HAS SOPS 28316 HAS SOUS 27047 HAS SOUPS 27047 WITH SCORE 27075.316
AT ITER 3568 NEW BEST:: SOT 58957 SOS 28287 HAS SOPS 28287 HAS SOUS 27047 HAS SOUPS 27047 WITH SCORE 27075.287
AT ITER 3573 NEW BEST:: SOT 59162 SOS 28139 HAS SOPS 28139 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27063.139
AT ITER 3578 NEW BEST:: SOT 59134 SOS 28125 HAS SOPS 28125 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27049.125
AT ITER 3641 NEW BEST:: SOT 59222 SOS 28121 HAS SOPS 28121 HAS SOUS 27017 HAS SOUPS 27017 WITH SCORE 27045.121
AT ITER 3678 NEW BEST:: SOT 59267 SOS 28072 HAS SOPS 28072 HAS SOUS 27015 HAS SOUPS 27015 WITH SCORE 27043.072
AT ITER 3701 NEW BEST:: SOT 59254 SOS 28059 HAS SOPS 28059 HAS SOUS 27002 HAS SOUPS 27002 WITH SCORE 27030.059
AT ITER 3737 NEW BEST:: SOT 59341 SOS 28051 HAS SOPS 28051 HAS SOUS 26994 HAS SOUPS 26994 WITH SCORE 27022.051
AT ITER 3769 NEW BEST:: SOT 59341 SOS 28040 HAS SOPS 28040 HAS SOUS 26983 HAS SOUPS 26983 WITH SCORE 27011.04
AT ITER 3835 NEW BEST:: SOT 59341 SOS 28037 HAS SOPS 28037 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27008.037
AT ITER 3849 NEW BEST:: SOT 59338 SOS 28034 HAS SOPS 28034 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27005.034
AT ITER 3927 NEW BEST:: SOT 59338 SOS 28033 HAS SOPS 28033 HAS SOUS 26976 HAS SOUPS 26976 WITH SCORE 27004.033
AT ITER 3940 NEW BEST:: SOT 59310 SOS 27990 HAS SOPS 27990 HAS SOUS 26907 HAS SOUPS 26907 WITH SCORE 26934.99
AT ITER 3945 NEW BEST:: SOT 59310 SOS 27944 HAS SOPS 27944 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26911.944
AT ITER 4006 NEW BEST:: SOT 59371 SOS 27833 HAS SOPS 27833 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26886.833
AT ITER 4022 NEW BEST:: SOT 59371 SOS 27827 HAS SOPS 27827 HAS SOUS 26853 HAS SOUPS 26853 WITH SCORE 26880.827
AT ITER 4077 NEW BEST:: SOT 59363 SOS 27819 HAS SOPS 27819 HAS SOUS 26845 HAS SOUPS 26845 WITH SCORE 26872.819
AT ITER 4093 NEW BEST:: SOT 59268 SOS 27729 HAS SOPS 27729 HAS SOUS 26741 HAS SOUPS 26741 WITH SCORE 26768.729
AT ITER 4097 NEW BEST:: SOT 59267 SOS 27728 HAS SOPS 27728 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26767.728
AT ITER 4148 NEW BEST:: SOT 59267 SOS 27695 HAS SOPS 27695 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26734.695
AT ITER 4203 NEW BEST:: SOT 59267 SOS 27694 HAS SOPS 27694 HAS SOUS 26706 HAS SOUPS 26706 WITH SCORE 26733.694
AT ITER 4245 NEW BEST:: SOT 59003 SOS 27978 HAS SOPS 27978 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26613.978
AT ITER 4274 NEW BEST:: SOT 59025 SOS 27782 HAS SOPS 27782 HAS SOUS 26499 HAS SOUPS 26499 WITH SCORE 26526.782
AT ITER 4317 NEW BEST:: SOT 59025 SOS 27781 HAS SOPS 27781 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26525.781
AT ITER 4370 NEW BEST:: SOT 59025 SOS 27771 HAS SOPS 27771 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26525.771
AT ITER 4406 NEW BEST:: SOT 59178 SOS 27760 HAS SOPS 27760 HAS SOUS 26487 HAS SOUPS 26487 WITH SCORE 26514.76
AT ITER 4420 NEW BEST:: SOT 59178 SOS 27759 HAS SOPS 27759 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26513.759
AT ITER 4500 NEW BEST:: SOT 59150 SOS 27731 HAS SOPS 27731 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26485.731
AT ITER 4503 NEW BEST:: SOT 56842 SOS 27899 HAS SOPS 27899 HAS SOUS 24565 HAS SOUPS 24565 WITH SCORE 24592.899
AT ITER 4543 NEW BEST:: SOT 56842 SOS 27894 HAS SOPS 27894 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24587.894
AT ITER 4619 NEW BEST:: SOT 56839 SOS 27891 HAS SOPS 27891 HAS SOUS 24557 HAS SOUPS 24557 WITH SCORE 24584.891
AT ITER 4627 NEW BEST:: SOT 56827 SOS 27883 HAS SOPS 27883 HAS SOUS 24549 HAS SOUPS 24549 WITH SCORE 24576.883
AT ITER 4642 NEW BEST:: SOT 56827 SOS 25462 HAS SOPS 25462 HAS SOUS 24192 HAS SOUPS 24192 WITH SCORE 24217.462
AT ITER 4700 NEW BEST:: SOT 56909 SOS 25362 HAS SOPS 25362 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24208.362
AT ITER 4704 NEW BEST:: SOT 56920 SOS 25372 HAS SOPS 25372 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24207.372
AT ITER 4707 NEW BEST:: SOT 56890 SOS 25339 HAS SOPS 25339 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24174.339
AT ITER 4742 NEW BEST:: SOT 56889 SOS 25338 HAS SOPS 25338 HAS SOUS 24148 HAS SOUPS 24148 WITH SCORE 24173.338
AT ITER 4754 NEW BEST:: SOT 56883 SOS 25332 HAS SOPS 25332 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24167.332
AT ITER 4767 NEW BEST:: SOT 56886 SOS 25329 HAS SOPS 25329 HAS SOUS 24139 HAS SOUPS 24139 WITH SCORE 24164.329
AT ITER 4803 NEW BEST:: SOT 56885 SOS 25328 HAS SOPS 25328 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24163.328
AT ITER 4860 NEW BEST:: SOT 56869 SOS 25305 HAS SOPS 25305 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24140.305
AT ITER 4942 NEW BEST:: SOT 56869 SOS 25302 HAS SOPS 25302 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24140.302
AT ITER 4983 NEW BEST:: SOT 56869 SOS 25291 HAS SOPS 25291 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24129.291
AT ITER 5032 NEW BEST:: SOT 56827 SOS 25249 HAS SOPS 25249 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24108.249
AT ITER 5075 NEW BEST:: SOT 56827 SOS 25249 HAS SOPS 25249 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24107.249
AT ITER 5215 NEW BEST:: SOT 56983 SOS 25149 HAS SOPS 25149 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24104.149
AT ITER 5218 NEW BEST:: SOT 56901 SOS 25067 HAS SOPS 25067 HAS SOUS 23997 HAS SOUPS 23997 WITH SCORE 24022.067
AT ITER 5229 NEW BEST:: SOT 56864 SOS 25030 HAS SOPS 25030 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23985.03
AT ITER 5261 NEW BEST:: SOT 56860 SOS 25026 HAS SOPS 25026 HAS SOUS 23956 HAS SOUPS 23956 WITH SCORE 23981.026
AT ITER 5265 NEW BEST:: SOT 56863 SOS 25023 HAS SOPS 25023 HAS SOUS 23953 HAS SOUPS 23953 WITH SCORE 23978.023
AT ITER 5300 NEW BEST:: SOT 56862 SOS 25022 HAS SOPS 25022 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23977.022
AT ITER 5324 NEW BEST:: SOT 56863 SOS 25007 HAS SOPS 25007 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 23962.007
AT ITER 5327 NEW BEST:: SOT 56894 SOS 25022 HAS SOPS 25022 HAS SOUS 23936 HAS SOUPS 23936 WITH SCORE 23961.022
AT ITER 5339 NEW BEST:: SOT 56884 SOS 25012 HAS SOPS 25012 HAS SOUS 23926 HAS SOUPS 23926 WITH SCORE 23951.012
AT ITER 5422 NEW BEST:: SOT 56884 SOS 25011 HAS SOPS 25011 HAS SOUS 23925 HAS SOUPS 23925 WITH SCORE 23950.011
AT ITER 5493 NEW BEST:: SOT 56884 SOS 25010 HAS SOPS 25010 HAS SOUS 23924 HAS SOUPS 23924 WITH SCORE 23949.01
AT ITER 5529 NEW BEST:: SOT 56884 SOS 25000 HAS SOPS 25000 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23939.0
AT ITER 5546 NEW BEST:: SOT 56842 SOS 24958 HAS SOPS 24958 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23896.958
AT ITER 5563 NEW BEST:: SOT 56792 SOS 25001 HAS SOPS 25001 HAS SOUS 23865 HAS SOUPS 23865 WITH SCORE 23890.001
AT ITER 5578 NEW BEST:: SOT 56895 SOS 24997 HAS SOPS 24997 HAS SOUS 23861 HAS SOUPS 23861 WITH SCORE 23885.997
AT ITER 5591 NEW BEST:: SOT 56894 SOS 24996 HAS SOPS 24996 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23884.996
AT ITER 5639 NEW BEST:: SOT 56894 SOS 24983 HAS SOPS 24983 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23871.983
AT ITER 5706 NEW BEST:: SOT 56680 SOS 25985 HAS SOPS 25985 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23737.985
AT ITER 5732 NEW BEST:: SOT 56638 SOS 25951 HAS SOPS 25951 HAS SOUS 23678 HAS SOUPS 23678 WITH SCORE 23703.951
AT ITER 5839 NEW BEST:: SOT 56638 SOS 25943 HAS SOPS 25943 HAS SOUS 23670 HAS SOUPS 23670 WITH SCORE 23695.943
AT ITER 5849 NEW BEST:: SOT 54536 SOS 25161 HAS SOPS 25161 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21762.161
AT ITER 5906 NEW BEST:: SOT 54536 SOS 25139 HAS SOPS 25139 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21740.139
AT ITER 5950 NEW BEST:: SOT 54536 SOS 25135 HAS SOPS 25135 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21736.135
AT ITER 6056 NEW BEST:: SOT 54480 SOS 25100 HAS SOPS 25100 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21736.1
AT ITER 6123 NEW BEST:: SOT 54479 SOS 25099 HAS SOPS 25099 HAS SOUS 21710 HAS SOUPS 21710 WITH SCORE 21735.099
AT ITER 6228 NEW BEST:: SOT 54373 SOS 24992 HAS SOPS 24992 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21682.992
AT ITER 6344 NEW BEST:: SOT 54373 SOS 24991 HAS SOPS 24991 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21681.991
AT ITER 6352 NEW BEST:: SOT 54373 SOS 24988 HAS SOPS 24988 HAS SOUS 21654 HAS SOUPS 21654 WITH SCORE 21678.988
AT ITER 6453 NEW BEST:: SOT 54383 SOS 24990 HAS SOPS 24990 HAS SOUS 21648 HAS SOUPS 21648 WITH SCORE 21672.99
AT ITER 6518 NEW BEST:: SOT 54383 SOS 24986 HAS SOPS 24986 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21668.986
AT ITER 6519 NEW BEST:: SOT 54305 SOS 24908 HAS SOPS 24908 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21629.908
AT ITER 6683 NEW BEST:: SOT 54302 SOS 24905 HAS SOPS 24905 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21626.905
AT ITER 6689 NEW BEST:: SOT 54302 SOS 24904 HAS SOPS 24904 HAS SOUS 21601 HAS SOUPS 21601 WITH SCORE 21625.904
AT ITER 6889 NEW BEST:: SOT 54315 SOS 24903 HAS SOPS 24903 HAS SOUS 21600 HAS SOUPS 21600 WITH SCORE 21624.903
AT ITER 6914 NEW BEST:: SOT 54302 SOS 24890 HAS SOPS 24890 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21611.89
AT ITER 6926 NEW BEST:: SOT 54302 SOS 24853 HAS SOPS 24853 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21611.853
AT ITER 7046 NEW BEST:: SOT 54302 SOS 24839 HAS SOPS 24839 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21597.839
AT ITER 7047 NEW BEST:: SOT 54302 SOS 24838 HAS SOPS 24838 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21596.838
AT ITER 7056 NEW BEST:: SOT 54230 SOS 24835 HAS SOPS 24835 HAS SOUS 21569 HAS SOUPS 21569 WITH SCORE 21593.835
AT ITER 7069 NEW BEST:: SOT 54309 SOS 24871 HAS SOPS 24871 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21592.871
AT ITER 7091 NEW BEST:: SOT 54309 SOS 24867 HAS SOPS 24867 HAS SOUS 21564 HAS SOUPS 21564 WITH SCORE 21588.867
AT ITER 7109 NEW BEST:: SOT 54300 SOS 24858 HAS SOPS 24858 HAS SOUS 21555 HAS SOUPS 21555 WITH SCORE 21579.858
AT ITER 7381 NEW BEST:: SOT 54300 SOS 24850 HAS SOPS 24850 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21571.85
AT ITER 7402 NEW BEST:: SOT 54300 SOS 24847 HAS SOPS 24847 HAS SOUS 21544 HAS SOUPS 21544 WITH SCORE 21568.847
AT ITER 7441 NEW BEST:: SOT 54290 SOS 24845 HAS SOPS 24845 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21566.845
AT ITER 7464 NEW BEST:: SOT 54290 SOS 24843 HAS SOPS 24843 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21564.843
AT ITER 7720 NEW BEST:: SOT 54179 SOS 24770 HAS SOPS 24770 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21551.77
AT ITER 7732 NEW BEST:: SOT 54179 SOS 24767 HAS SOPS 24767 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21548.767
AT ITER 7792 NEW BEST:: SOT 54179 SOS 24766 HAS SOPS 24766 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21547.766
AT ITER 7818 NEW BEST:: SOT 54179 SOS 24761 HAS SOPS 24761 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21542.761
AT ITER 7893 NEW BEST:: SOT 54179 SOS 24761 HAS SOPS 24761 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21540.761
AT ITER 7904 NEW BEST:: SOT 54204 SOS 24759 HAS SOPS 24759 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21538.759
AT ITER 7916 NEW BEST:: SOT 53195 SOS 23981 HAS SOPS 23981 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20549.981
AT ITER 7934 NEW BEST:: SOT 53214 SOS 23962 HAS SOPS 23962 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20549.962
AT ITER 7953 NEW BEST:: SOT 53214 SOS 23961 HAS SOPS 23961 HAS SOUS 20525 HAS SOUPS 20525 WITH SCORE 20548.961
AT ITER 7959 NEW BEST:: SOT 51420 SOS 27769 HAS SOPS 27769 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18953.769
AT ITER 7987 NEW BEST:: SOT 51419 SOS 27768 HAS SOPS 27768 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18953.768
AT ITER 7989 NEW BEST:: SOT 51419 SOS 27759 HAS SOPS 27759 HAS SOUS 18897 HAS SOUPS 18897 WITH SCORE 18924.759
AT ITER 7994 NEW BEST:: SOT 51317 SOS 27657 HAS SOPS 27657 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18902.657
AT ITER 8048 NEW BEST:: SOT 51305 SOS 27651 HAS SOPS 27651 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18902.651
AT ITER 8064 NEW BEST:: SOT 51279 SOS 27638 HAS SOPS 27638 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18891.638
AT ITER 8071 NEW BEST:: SOT 51265 SOS 27624 HAS SOPS 27624 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18884.624
AT ITER 8093 NEW BEST:: SOT 51333 SOS 27673 HAS SOPS 27673 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18865.673
AT ITER 8100 NEW BEST:: SOT 51333 SOS 27667 HAS SOPS 27667 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18859.667
AT ITER 8168 NEW BEST:: SOT 51295 SOS 27629 HAS SOPS 27629 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18859.629
AT ITER 8226 NEW BEST:: SOT 51215 SOS 27549 HAS SOPS 27549 HAS SOUS 18820 HAS SOUPS 18820 WITH SCORE 18847.549
AT ITER 8239 NEW BEST:: SOT 51201 SOS 27542 HAS SOPS 27542 HAS SOUS 18820 HAS SOUPS 18820 WITH SCORE 18847.542
AT ITER 8243 NEW BEST:: SOT 51201 SOS 27540 HAS SOPS 27540 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18845.54
AT ITER 8267 NEW BEST:: SOT 51200 SOS 27539 HAS SOPS 27539 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18844.539
AT ITER 8291 NEW BEST:: SOT 51191 SOS 27530 HAS SOPS 27530 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18844.53
AT ITER 8316 NEW BEST:: SOT 51270 SOS 27606 HAS SOPS 27606 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18841.606
AT ITER 8342 NEW BEST:: SOT 51182 SOS 27546 HAS SOPS 27546 HAS SOUS 18796 HAS SOUPS 18796 WITH SCORE 18823.546
AT ITER 8368 NEW BEST:: SOT 51145 SOS 27509 HAS SOPS 27509 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18786.509
AT ITER 8417 NEW BEST:: SOT 51141 SOS 27505 HAS SOPS 27505 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18782.505
AT ITER 8453 NEW BEST:: SOT 51057 SOS 27421 HAS SOPS 27421 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18740.421
AT ITER 8473 NEW BEST:: SOT 51083 SOS 27412 HAS SOPS 27412 HAS SOUS 18696 HAS SOUPS 18696 WITH SCORE 18723.412
AT ITER 8483 NEW BEST:: SOT 50898 SOS 27299 HAS SOPS 27299 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18720.299
AT ITER 8517 NEW BEST:: SOT 50898 SOS 27293 HAS SOPS 27293 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18714.293
AT ITER 8575 NEW BEST:: SOT 50891 SOS 27286 HAS SOPS 27286 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18707.286
AT ITER 8617 NEW BEST:: SOT 50883 SOS 27278 HAS SOPS 27278 HAS SOUS 18672 HAS SOUPS 18672 WITH SCORE 18699.278
AT ITER 8671 NEW BEST:: SOT 50877 SOS 27277 HAS SOPS 27277 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18698.277
AT ITER 8685 NEW BEST:: SOT 50877 SOS 24024 HAS SOPS 24024 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18681.024
AT ITER 8801 NEW BEST:: SOT 50860 SOS 24007 HAS SOPS 24007 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18664.007
AT ITER 8835 NEW BEST:: SOT 50858 SOS 24005 HAS SOPS 24005 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18662.005
AT ITER 8874 NEW BEST:: SOT 50788 SOS 23935 HAS SOPS 23935 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18641.935
AT ITER 8884 NEW BEST:: SOT 50784 SOS 23931 HAS SOPS 23931 HAS SOUS 18614 HAS SOUPS 18614 WITH SCORE 18637.931
AT ITER 8966 NEW BEST:: SOT 49966 SOS 23113 HAS SOPS 23113 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17838.113
AT ITER 8971 NEW BEST:: SOT 50014 SOS 23129 HAS SOPS 23129 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17822.129
AT ITER 9008 NEW BEST:: SOT 50012 SOS 23127 HAS SOPS 23127 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17820.127
AT ITER 9068 NEW BEST:: SOT 49918 SOS 23033 HAS SOPS 23033 HAS SOUS 17750 HAS SOUPS 17750 WITH SCORE 17773.033
AT ITER 9070 NEW BEST:: SOT 49918 SOS 23025 HAS SOPS 23025 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17765.025
AT ITER 9186 NEW BEST:: SOT 49918 SOS 23023 HAS SOPS 23023 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17763.023
AT ITER 9267 NEW BEST:: SOT 49918 SOS 23019 HAS SOPS 23019 HAS SOUS 17736 HAS SOUPS 17736 WITH SCORE 17759.019
AT ITER 9311 NEW BEST:: SOT 49918 SOS 23016 HAS SOPS 23016 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17756.016
AT ITER 9324 NEW BEST:: SOT 49916 SOS 23014 HAS SOPS 23014 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17754.014
AT ITER 9329 NEW BEST:: SOT 49948 SOS 23007 HAS SOPS 23007 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17747.007
AT ITER 9394 NEW BEST:: SOT 49942 SOS 23001 HAS SOPS 23001 HAS SOUS 17718 HAS SOUPS 17718 WITH SCORE 17741.001
AT ITER 9449 NEW BEST:: SOT 49916 SOS 22975 HAS SOPS 22975 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17714.975
AT ITER 9514 NEW BEST:: SOT 49945 SOS 22961 HAS SOPS 22961 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17700.961
AT ITER 9527 NEW BEST:: SOT 49963 SOS 22971 HAS SOPS 22971 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17698.971
AT ITER 9540 NEW BEST:: SOT 49876 SOS 22946 HAS SOPS 22946 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17695.946
AT ITER 9553 NEW BEST:: SOT 49863 SOS 22937 HAS SOPS 22937 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17686.937
AT ITER 9568 NEW BEST:: SOT 49859 SOS 22935 HAS SOPS 22935 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17686.935
AT ITER 9650 NEW BEST:: SOT 49829 SOS 22920 HAS SOPS 22920 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17686.92
AT ITER 9666 NEW BEST:: SOT 49829 SOS 22919 HAS SOPS 22919 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17685.919
AT ITER 9805 NEW BEST:: SOT 49808 SOS 22898 HAS SOPS 22898 HAS SOUS 17642 HAS SOUPS 17642 WITH SCORE 17664.898
AT ITER 9818 NEW BEST:: SOT 49746 SOS 22866 HAS SOPS 22866 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17663.866
AT ITER 9933 NEW BEST:: SOT 49694 SOS 22840 HAS SOPS 22840 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17663.84
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 2422108 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16120968 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="QuasiCertifProtocol-COL-10"
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 QuasiCertifProtocol-COL-10, 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 r299-tall-167873953500824"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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