About the Execution of Smart+red for Dekker-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.008 | 2851268.00 | 2886498.00 | 17454.30 | [undef] | Cannot compute |
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.r139-smll-167819421600024.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 Dekker-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819421600024
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 6.3K Feb 26 01:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 01:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 01:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 01:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 30K Feb 26 01:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 247K 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 1678295868838
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=Dekker-PT-020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 17:17:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 17:17:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 17:17:52] [INFO ] Load time of PNML (sax parser for PT used): 141 ms
[2023-03-08 17:17:52] [INFO ] Transformed 100 places.
[2023-03-08 17:17:52] [INFO ] Transformed 440 transitions.
[2023-03-08 17:17:52] [INFO ] Found NUPN structural information;
[2023-03-08 17:17:52] [INFO ] Parsed PT model containing 100 places and 440 transitions and 3240 arcs in 251 ms.
[2023-03-08 17:17:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 100 places, 440 transitions and 3240 arcs took 12 ms.
Total runtime 317 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 020
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: 100 places, 440 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 38527 SOS 34746 HAS SOPS 31950 HAS SOUS 31744 HAS SOUPS 30088 WITH SCORE 30122.746
AT ITER 3 NEW BEST:: SOT 38527 SOS 34729 HAS SOPS 31933 HAS SOUS 31710 HAS SOUPS 30054 WITH SCORE 30088.729
AT ITER 10 NEW BEST:: SOT 37886 SOS 34153 HAS SOPS 31273 HAS SOUS 31058 HAS SOUPS 29375 WITH SCORE 29409.153
AT ITER 11 NEW BEST:: SOT 38509 SOS 34615 HAS SOPS 31741 HAS SOUS 29961 HAS SOUPS 28395 WITH SCORE 28429.615
AT ITER 14 NEW BEST:: SOT 38509 SOS 34615 HAS SOPS 31738 HAS SOUS 29956 HAS SOUPS 28389 WITH SCORE 28423.615
AT ITER 16 NEW BEST:: SOT 37749 SOS 34177 HAS SOPS 30978 HAS SOUS 29224 HAS SOUPS 27629 WITH SCORE 27663.177
AT ITER 17 NEW BEST:: SOT 37763 SOS 34094 HAS SOPS 30699 HAS SOUS 28225 HAS SOUPS 26671 WITH SCORE 26705.094
AT ITER 18 NEW BEST:: SOT 37799 SOS 33820 HAS SOPS 30455 HAS SOUS 27047 HAS SOUPS 25557 WITH SCORE 25590.82
AT ITER 22 NEW BEST:: SOT 37400 SOS 33421 HAS SOPS 29638 HAS SOUS 26337 HAS SOUPS 24797 WITH SCORE 24830.421
AT ITER 25 NEW BEST:: SOT 37226 SOS 33247 HAS SOPS 29445 HAS SOUS 26128 HAS SOUPS 24585 WITH SCORE 24618.247
AT ITER 27 NEW BEST:: SOT 37464 SOS 33113 HAS SOPS 29128 HAS SOUS 24983 HAS SOUPS 23500 WITH SCORE 23533.113
AT ITER 28 NEW BEST:: SOT 37567 SOS 33298 HAS SOPS 29502 HAS SOUS 24120 HAS SOUPS 22672 WITH SCORE 22705.298
AT ITER 29 NEW BEST:: SOT 37427 SOS 33158 HAS SOPS 29355 HAS SOUS 23973 HAS SOUPS 22518 WITH SCORE 22551.158
AT ITER 31 NEW BEST:: SOT 37621 SOS 33061 HAS SOPS 29297 HAS SOUS 22642 HAS SOUPS 21264 WITH SCORE 21297.061
AT ITER 32 NEW BEST:: SOT 37672 SOS 32964 HAS SOPS 29405 HAS SOUS 21776 HAS SOUPS 20457 WITH SCORE 20489.964
AT ITER 38 NEW BEST:: SOT 37672 SOS 32956 HAS SOPS 29392 HAS SOUS 21766 HAS SOUPS 20447 WITH SCORE 20479.956
AT ITER 40 NEW BEST:: SOT 37474 SOS 32428 HAS SOPS 29063 HAS SOUS 20929 HAS SOUPS 19670 WITH SCORE 19702.428
AT ITER 42 NEW BEST:: SOT 38450 SOS 33246 HAS SOPS 30143 HAS SOUS 20672 HAS SOUPS 19490 WITH SCORE 19523.246
AT ITER 45 NEW BEST:: SOT 38450 SOS 33056 HAS SOPS 29763 HAS SOUS 20444 HAS SOUPS 19262 WITH SCORE 19295.056
AT ITER 47 NEW BEST:: SOT 38450 SOS 32780 HAS SOPS 29495 HAS SOUS 19755 HAS SOUPS 18608 WITH SCORE 18640.78
AT ITER 55 NEW BEST:: SOT 38433 SOS 32751 HAS SOPS 29457 HAS SOUS 19727 HAS SOUPS 18580 WITH SCORE 18612.751
AT ITER 58 NEW BEST:: SOT 38433 SOS 32884 HAS SOPS 29429 HAS SOUS 19729 HAS SOUPS 18557 WITH SCORE 18589.884
AT ITER 60 NEW BEST:: SOT 38433 SOS 32862 HAS SOPS 29367 HAS SOUS 19667 HAS SOUPS 18495 WITH SCORE 18527.862
AT ITER 62 NEW BEST:: SOT 38460 SOS 32886 HAS SOPS 29394 HAS SOUS 19637 HAS SOUPS 18468 WITH SCORE 18500.886
AT ITER 70 NEW BEST:: SOT 38501 SOS 32896 HAS SOPS 29435 HAS SOUS 19089 HAS SOUPS 17951 WITH SCORE 17983.896
AT ITER 71 NEW BEST:: SOT 38550 SOS 32657 HAS SOPS 29484 HAS SOUS 17997 HAS SOUPS 16891 WITH SCORE 16923.657
AT ITER 75 NEW BEST:: SOT 38446 SOS 32518 HAS SOPS 29380 HAS SOUS 17228 HAS SOUPS 16157 WITH SCORE 16189.518
AT ITER 76 NEW BEST:: SOT 38334 SOS 32441 HAS SOPS 29335 HAS SOUS 17156 HAS SOUPS 16085 WITH SCORE 16117.441
AT ITER 78 NEW BEST:: SOT 38334 SOS 32345 HAS SOPS 29175 HAS SOUS 17077 HAS SOUPS 16005 WITH SCORE 16037.345
AT ITER 79 NEW BEST:: SOT 38334 SOS 31995 HAS SOPS 28887 HAS SOUS 16596 HAS SOUPS 15551 WITH SCORE 15582.995
AT ITER 81 NEW BEST:: SOT 38334 SOS 31995 HAS SOPS 28878 HAS SOUS 16578 HAS SOUPS 15533 WITH SCORE 15564.995
AT ITER 83 NEW BEST:: SOT 38334 SOS 31981 HAS SOPS 28858 HAS SOUS 16571 HAS SOUPS 15526 WITH SCORE 15557.981
AT ITER 84 NEW BEST:: SOT 37993 SOS 31370 HAS SOPS 28104 HAS SOUS 16069 HAS SOUPS 14990 WITH SCORE 15021.37
AT ITER 88 NEW BEST:: SOT 37993 SOS 31370 HAS SOPS 28088 HAS SOUS 16056 HAS SOUPS 14958 WITH SCORE 14989.37
AT ITER 90 NEW BEST:: SOT 37993 SOS 31055 HAS SOPS 28005 HAS SOUS 15501 HAS SOUPS 14442 WITH SCORE 14473.055
AT ITER 92 NEW BEST:: SOT 38127 SOS 30739 HAS SOPS 28150 HAS SOUS 14722 HAS SOUPS 13767 WITH SCORE 13797.739
AT ITER 93 NEW BEST:: SOT 38142 SOS 30729 HAS SOPS 28119 HAS SOUS 14690 HAS SOUPS 13744 WITH SCORE 13774.729
AT ITER 94 NEW BEST:: SOT 38142 SOS 30386 HAS SOPS 27972 HAS SOUS 14392 HAS SOUPS 13470 WITH SCORE 13500.386
AT ITER 98 NEW BEST:: SOT 38142 SOS 30306 HAS SOPS 27869 HAS SOUS 14375 HAS SOUPS 13439 WITH SCORE 13469.306
AT ITER 102 NEW BEST:: SOT 38142 SOS 30545 HAS SOPS 28103 HAS SOUS 14388 HAS SOUPS 13419 WITH SCORE 13449.545
AT ITER 103 NEW BEST:: SOT 38130 SOS 30533 HAS SOPS 28091 HAS SOUS 14376 HAS SOUPS 13407 WITH SCORE 13437.533
AT ITER 104 NEW BEST:: SOT 38130 SOS 30533 HAS SOPS 28083 HAS SOUS 14376 HAS SOUPS 13391 WITH SCORE 13421.533
AT ITER 106 NEW BEST:: SOT 38130 SOS 30103 HAS SOPS 27556 HAS SOUS 14184 HAS SOUPS 13244 WITH SCORE 13274.103
AT ITER 109 NEW BEST:: SOT 38118 SOS 30069 HAS SOPS 27537 HAS SOUS 14165 HAS SOUPS 13240 WITH SCORE 13270.069
AT ITER 114 NEW BEST:: SOT 38480 SOS 30477 HAS SOPS 28019 HAS SOUS 13729 HAS SOUPS 12846 WITH SCORE 12876.477
AT ITER 115 NEW BEST:: SOT 38480 SOS 30486 HAS SOPS 28019 HAS SOUS 13720 HAS SOUPS 12837 WITH SCORE 12867.486
AT ITER 116 NEW BEST:: SOT 38480 SOS 30469 HAS SOPS 27998 HAS SOUS 13727 HAS SOUPS 12831 WITH SCORE 12861.469
AT ITER 117 NEW BEST:: SOT 38208 SOS 30196 HAS SOPS 27725 HAS SOUS 13454 HAS SOUPS 12558 WITH SCORE 12588.196
AT ITER 118 NEW BEST:: SOT 38170 SOS 30158 HAS SOPS 27690 HAS SOUS 13419 HAS SOUPS 12526 WITH SCORE 12556.158
AT ITER 119 NEW BEST:: SOT 38205 SOS 30157 HAS SOPS 27740 HAS SOUS 13005 HAS SOUPS 12152 WITH SCORE 12182.157
AT ITER 126 NEW BEST:: SOT 38205 SOS 29863 HAS SOPS 27377 HAS SOUS 12902 HAS SOUPS 12062 WITH SCORE 12091.863
AT ITER 127 NEW BEST:: SOT 38158 SOS 29528 HAS SOPS 26952 HAS SOUS 12729 HAS SOUPS 11889 WITH SCORE 11918.528
AT ITER 128 NEW BEST:: SOT 38118 SOS 29488 HAS SOPS 26912 HAS SOUS 12689 HAS SOUPS 11849 WITH SCORE 11878.488
AT ITER 129 NEW BEST:: SOT 38118 SOS 29350 HAS SOPS 26740 HAS SOUS 12652 HAS SOUPS 11792 WITH SCORE 11821.35
AT ITER 132 NEW BEST:: SOT 38118 SOS 29255 HAS SOPS 26635 HAS SOUS 12632 HAS SOUPS 11772 WITH SCORE 11801.255
AT ITER 133 NEW BEST:: SOT 37925 SOS 28896 HAS SOPS 26268 HAS SOUS 12428 HAS SOUPS 11568 WITH SCORE 11596.896
AT ITER 136 NEW BEST:: SOT 37257 SOS 28253 HAS SOPS 25600 HAS SOUS 12253 HAS SOUPS 11368 WITH SCORE 11396.253
AT ITER 140 NEW BEST:: SOT 37257 SOS 28244 HAS SOPS 25600 HAS SOUS 12241 HAS SOUPS 11368 WITH SCORE 11396.244
AT ITER 150 NEW BEST:: SOT 37257 SOS 28222 HAS SOPS 25548 HAS SOUS 12181 HAS SOUPS 11308 WITH SCORE 11336.222
AT ITER 151 NEW BEST:: SOT 36859 SOS 27895 HAS SOPS 25208 HAS SOUS 11753 HAS SOUPS 10874 WITH SCORE 10901.895
AT ITER 156 NEW BEST:: SOT 37001 SOS 27682 HAS SOPS 25437 HAS SOUS 10956 HAS SOUPS 10131 WITH SCORE 10158.682
AT ITER 158 NEW BEST:: SOT 37001 SOS 27674 HAS SOPS 25429 HAS SOUS 10956 HAS SOUPS 10131 WITH SCORE 10158.674
AT ITER 159 NEW BEST:: SOT 36985 SOS 27658 HAS SOPS 25413 HAS SOUS 10940 HAS SOUPS 10115 WITH SCORE 10142.658
AT ITER 160 NEW BEST:: SOT 36985 SOS 27658 HAS SOPS 25408 HAS SOUS 10935 HAS SOUPS 10105 WITH SCORE 10132.658
AT ITER 163 NEW BEST:: SOT 36985 SOS 27658 HAS SOPS 25407 HAS SOUS 10934 HAS SOUPS 10103 WITH SCORE 10130.658
AT ITER 166 NEW BEST:: SOT 36985 SOS 27369 HAS SOPS 25067 HAS SOUS 10849 HAS SOUPS 10035 WITH SCORE 10062.369
AT ITER 173 NEW BEST:: SOT 36985 SOS 27454 HAS SOPS 25138 HAS SOUS 10816 HAS SOUPS 10002 WITH SCORE 10029.454
AT ITER 178 NEW BEST:: SOT 36985 SOS 27089 HAS SOPS 24699 HAS SOUS 10698 HAS SOUPS 9905 WITH SCORE 9932.089
AT ITER 183 NEW BEST:: SOT 36987 SOS 26884 HAS SOPS 24638 HAS SOUS 10515 HAS SOUPS 9722 WITH SCORE 9748.884
AT ITER 189 NEW BEST:: SOT 37121 SOS 27267 HAS SOPS 25235 HAS SOUS 10447 HAS SOUPS 9678 WITH SCORE 9705.267
AT ITER 191 NEW BEST:: SOT 37121 SOS 26833 HAS SOPS 24752 HAS SOUS 10352 HAS SOUPS 9583 WITH SCORE 9609.833
AT ITER 195 NEW BEST:: SOT 37121 SOS 26773 HAS SOPS 24710 HAS SOUS 10343 HAS SOUPS 9577 WITH SCORE 9603.773
AT ITER 202 NEW BEST:: SOT 37121 SOS 26640 HAS SOPS 24563 HAS SOUS 10315 HAS SOUPS 9549 WITH SCORE 9575.64
AT ITER 203 NEW BEST:: SOT 37121 SOS 26698 HAS SOPS 24769 HAS SOUS 10283 HAS SOUPS 9527 WITH SCORE 9553.698
AT ITER 205 NEW BEST:: SOT 37121 SOS 26605 HAS SOPS 24675 HAS SOUS 10272 HAS SOUPS 9522 WITH SCORE 9548.605
AT ITER 214 NEW BEST:: SOT 36955 SOS 26529 HAS SOPS 24592 HAS SOUS 10097 HAS SOUPS 9337 WITH SCORE 9363.529
AT ITER 215 NEW BEST:: SOT 36814 SOS 26394 HAS SOPS 24451 HAS SOUS 10070 HAS SOUPS 9304 WITH SCORE 9330.394
AT ITER 224 NEW BEST:: SOT 37242 SOS 26796 HAS SOPS 24879 HAS SOUS 10004 HAS SOUPS 9264 WITH SCORE 9290.796
AT ITER 235 NEW BEST:: SOT 37178 SOS 26536 HAS SOPS 24568 HAS SOUS 9911 HAS SOUPS 9164 WITH SCORE 9190.536
AT ITER 239 NEW BEST:: SOT 37178 SOS 26533 HAS SOPS 24565 HAS SOUS 9908 HAS SOUPS 9161 WITH SCORE 9187.533
AT ITER 242 NEW BEST:: SOT 37178 SOS 26108 HAS SOPS 24037 HAS SOUS 9755 HAS SOUPS 9005 WITH SCORE 9031.108
AT ITER 243 NEW BEST:: SOT 37178 SOS 25956 HAS SOPS 23871 HAS SOUS 9725 HAS SOUPS 8975 WITH SCORE 9000.956
AT ITER 246 NEW BEST:: SOT 37052 SOS 25830 HAS SOPS 23745 HAS SOUS 9599 HAS SOUPS 8849 WITH SCORE 8874.83
AT ITER 248 NEW BEST:: SOT 37010 SOS 25788 HAS SOPS 23703 HAS SOUS 9557 HAS SOUPS 8807 WITH SCORE 8832.788
AT ITER 251 NEW BEST:: SOT 36991 SOS 25769 HAS SOPS 23690 HAS SOUS 9544 HAS SOUPS 8800 WITH SCORE 8825.769
AT ITER 256 NEW BEST:: SOT 36991 SOS 25764 HAS SOPS 23673 HAS SOUS 9527 HAS SOUPS 8776 WITH SCORE 8801.764
AT ITER 257 NEW BEST:: SOT 36991 SOS 25764 HAS SOPS 23664 HAS SOUS 9509 HAS SOUPS 8758 WITH SCORE 8783.764
AT ITER 262 NEW BEST:: SOT 36793 SOS 25577 HAS SOPS 23466 HAS SOUS 9520 HAS SOUPS 8758 WITH SCORE 8783.577
AT ITER 274 NEW BEST:: SOT 36793 SOS 25569 HAS SOPS 23458 HAS SOUS 9512 HAS SOUPS 8758 WITH SCORE 8783.569
AT ITER 275 NEW BEST:: SOT 36785 SOS 25561 HAS SOPS 23450 HAS SOUS 9504 HAS SOUPS 8750 WITH SCORE 8775.561
AT ITER 278 NEW BEST:: SOT 36688 SOS 25383 HAS SOPS 23213 HAS SOUS 9474 HAS SOUPS 8713 WITH SCORE 8738.383
AT ITER 281 NEW BEST:: SOT 36837 SOS 24871 HAS SOPS 22797 HAS SOUS 8778 HAS SOUPS 8032 WITH SCORE 8056.871
AT ITER 287 NEW BEST:: SOT 36650 SOS 24692 HAS SOPS 22610 HAS SOUS 8743 HAS SOUPS 7989 WITH SCORE 8013.692
AT ITER 289 NEW BEST:: SOT 36771 SOS 24805 HAS SOPS 22731 HAS SOUS 8712 HAS SOUPS 7966 WITH SCORE 7990.805
AT ITER 290 NEW BEST:: SOT 36759 SOS 24812 HAS SOPS 22718 HAS SOUS 8699 HAS SOUPS 7933 WITH SCORE 7957.812
AT ITER 297 NEW BEST:: SOT 36619 SOS 24676 HAS SOPS 22578 HAS SOUS 8635 HAS SOUPS 7865 WITH SCORE 7889.676
AT ITER 303 NEW BEST:: SOT 36738 SOS 25283 HAS SOPS 23495 HAS SOUS 8418 HAS SOUPS 7648 WITH SCORE 7673.283
AT ITER 328 NEW BEST:: SOT 36738 SOS 25123 HAS SOPS 23334 HAS SOUS 8391 HAS SOUPS 7636 WITH SCORE 7661.123
AT ITER 337 NEW BEST:: SOT 36738 SOS 24608 HAS SOPS 22793 HAS SOUS 8280 HAS SOUPS 7563 WITH SCORE 7587.608
AT ITER 338 NEW BEST:: SOT 36894 SOS 24754 HAS SOPS 22949 HAS SOUS 8246 HAS SOUPS 7539 WITH SCORE 7563.754
AT ITER 341 NEW BEST:: SOT 36894 SOS 24403 HAS SOPS 22610 HAS SOUS 8224 HAS SOUPS 7535 WITH SCORE 7559.403
AT ITER 349 NEW BEST:: SOT 36894 SOS 24423 HAS SOPS 22629 HAS SOUS 8225 HAS SOUPS 7534 WITH SCORE 7558.423
AT ITER 365 NEW BEST:: SOT 36894 SOS 24492 HAS SOPS 22653 HAS SOUS 8198 HAS SOUPS 7458 WITH SCORE 7482.492
AT ITER 372 NEW BEST:: SOT 37450 SOS 25854 HAS SOPS 24691 HAS SOUS 7959 HAS SOUPS 7239 WITH SCORE 7264.854
AT ITER 395 NEW BEST:: SOT 37450 SOS 25665 HAS SOPS 24502 HAS SOUS 7932 HAS SOUPS 7221 WITH SCORE 7246.665
AT ITER 405 NEW BEST:: SOT 37280 SOS 25502 HAS SOPS 24332 HAS SOUS 7895 HAS SOUPS 7177 WITH SCORE 7202.502
AT ITER 411 NEW BEST:: SOT 37270 SOS 24670 HAS SOPS 23525 HAS SOUS 7744 HAS SOUPS 7124 WITH SCORE 7148.67
AT ITER 413 NEW BEST:: SOT 37270 SOS 24652 HAS SOPS 23525 HAS SOUS 7742 HAS SOUPS 7123 WITH SCORE 7147.652
AT ITER 415 NEW BEST:: SOT 37437 SOS 23931 HAS SOPS 22707 HAS SOUS 7683 HAS SOUPS 7120 WITH SCORE 7143.931
AT ITER 417 NEW BEST:: SOT 37437 SOS 23794 HAS SOPS 22570 HAS SOUS 7672 HAS SOUPS 7116 WITH SCORE 7139.794
AT ITER 423 NEW BEST:: SOT 37408 SOS 23765 HAS SOPS 22541 HAS SOUS 7643 HAS SOUPS 7087 WITH SCORE 7110.765
AT ITER 429 NEW BEST:: SOT 37407 SOS 23764 HAS SOPS 22540 HAS SOUS 7642 HAS SOUPS 7086 WITH SCORE 7109.764
AT ITER 460 NEW BEST:: SOT 37407 SOS 23775 HAS SOPS 22539 HAS SOUS 7639 HAS SOUPS 7070 WITH SCORE 7093.775
AT ITER 491 NEW BEST:: SOT 37116 SOS 23494 HAS SOPS 22248 HAS SOUS 7538 HAS SOUPS 6959 WITH SCORE 6982.494
AT ITER 493 NEW BEST:: SOT 37116 SOS 23489 HAS SOPS 22242 HAS SOUS 7532 HAS SOUPS 6957 WITH SCORE 6980.489
AT ITER 497 NEW BEST:: SOT 37080 SOS 23663 HAS SOPS 22416 HAS SOUS 7516 HAS SOUPS 6941 WITH SCORE 6964.663
AT ITER 516 NEW BEST:: SOT 37080 SOS 23644 HAS SOPS 22397 HAS SOUS 7516 HAS SOUPS 6941 WITH SCORE 6964.644
AT ITER 531 NEW BEST:: SOT 37080 SOS 23583 HAS SOPS 22336 HAS SOUS 7498 HAS SOUPS 6935 WITH SCORE 6958.583
AT ITER 547 NEW BEST:: SOT 37258 SOS 24016 HAS SOPS 22883 HAS SOUS 7415 HAS SOUPS 6864 WITH SCORE 6888.016
AT ITER 595 NEW BEST:: SOT 37255 SOS 24013 HAS SOPS 22880 HAS SOUS 7412 HAS SOUPS 6861 WITH SCORE 6885.013
AT ITER 599 NEW BEST:: SOT 37255 SOS 24289 HAS SOPS 23129 HAS SOUS 7409 HAS SOUPS 6844 WITH SCORE 6868.289
AT ITER 600 NEW BEST:: SOT 37230 SOS 24265 HAS SOPS 23103 HAS SOUS 7402 HAS SOUPS 6835 WITH SCORE 6859.265
AT ITER 603 NEW BEST:: SOT 37230 SOS 25196 HAS SOPS 23969 HAS SOUS 7427 HAS SOUPS 6804 WITH SCORE 6829.196
AT ITER 622 NEW BEST:: SOT 37230 SOS 25091 HAS SOPS 23866 HAS SOUS 7419 HAS SOUPS 6798 WITH SCORE 6823.091
AT ITER 640 NEW BEST:: SOT 37230 SOS 25028 HAS SOPS 23803 HAS SOUS 7413 HAS SOUPS 6792 WITH SCORE 6817.028
AT ITER 644 NEW BEST:: SOT 37230 SOS 25008 HAS SOPS 23783 HAS SOUS 7411 HAS SOUPS 6790 WITH SCORE 6815.008
AT ITER 645 NEW BEST:: SOT 37209 SOS 24987 HAS SOPS 23762 HAS SOUS 7390 HAS SOUPS 6769 WITH SCORE 6793.987
AT ITER 665 NEW BEST:: SOT 37209 SOS 24976 HAS SOPS 23747 HAS SOUS 7375 HAS SOUPS 6756 WITH SCORE 6780.976
AT ITER 667 NEW BEST:: SOT 37209 SOS 24976 HAS SOPS 23745 HAS SOUS 7388 HAS SOUPS 6752 WITH SCORE 6776.976
AT ITER 702 NEW BEST:: SOT 37209 SOS 24976 HAS SOPS 23742 HAS SOUS 7385 HAS SOUPS 6746 WITH SCORE 6770.976
AT ITER 705 NEW BEST:: SOT 37209 SOS 24974 HAS SOPS 23740 HAS SOUS 7383 HAS SOUPS 6744 WITH SCORE 6768.974
AT ITER 713 NEW BEST:: SOT 37209 SOS 24916 HAS SOPS 23682 HAS SOUS 7384 HAS SOUPS 6743 WITH SCORE 6767.916
AT ITER 719 NEW BEST:: SOT 37205 SOS 24912 HAS SOPS 23677 HAS SOUS 7379 HAS SOUPS 6737 WITH SCORE 6761.912
AT ITER 720 NEW BEST:: SOT 37228 SOS 24737 HAS SOPS 23491 HAS SOUS 7362 HAS SOUPS 6729 WITH SCORE 6753.737
AT ITER 730 NEW BEST:: SOT 37220 SOS 24724 HAS SOPS 23480 HAS SOUS 7348 HAS SOUPS 6725 WITH SCORE 6749.724
AT ITER 734 NEW BEST:: SOT 37220 SOS 25228 HAS SOPS 23957 HAS SOUS 7396 HAS SOUPS 6719 WITH SCORE 6744.228
AT ITER 747 NEW BEST:: SOT 37134 SOS 25142 HAS SOPS 23871 HAS SOUS 7310 HAS SOUPS 6633 WITH SCORE 6658.142
AT ITER 749 NEW BEST:: SOT 36877 SOS 24904 HAS SOPS 23614 HAS SOUS 7294 HAS SOUPS 6604 WITH SCORE 6628.904
AT ITER 755 NEW BEST:: SOT 36877 SOS 24799 HAS SOPS 23509 HAS SOUS 7277 HAS SOUPS 6594 WITH SCORE 6618.799
AT ITER 768 NEW BEST:: SOT 36877 SOS 24760 HAS SOPS 23303 HAS SOUS 7088 HAS SOUPS 6405 WITH SCORE 6429.76
AT ITER 769 NEW BEST:: SOT 36907 SOS 24832 HAS SOPS 23400 HAS SOUS 7013 HAS SOUPS 6337 WITH SCORE 6361.832
AT ITER 772 NEW BEST:: SOT 36907 SOS 24599 HAS SOPS 23173 HAS SOUS 6984 HAS SOUPS 6325 WITH SCORE 6349.599
AT ITER 812 NEW BEST:: SOT 36907 SOS 24397 HAS SOPS 22879 HAS SOUS 6864 HAS SOUPS 6205 WITH SCORE 6229.397
AT ITER 815 NEW BEST:: SOT 36907 SOS 24399 HAS SOPS 22879 HAS SOUS 6864 HAS SOUPS 6203 WITH SCORE 6227.399
AT ITER 828 NEW BEST:: SOT 36900 SOS 24392 HAS SOPS 22870 HAS SOUS 6855 HAS SOUPS 6192 WITH SCORE 6216.392
AT ITER 882 NEW BEST:: SOT 36900 SOS 24318 HAS SOPS 22793 HAS SOUS 6832 HAS SOUPS 6169 WITH SCORE 6193.318
AT ITER 887 NEW BEST:: SOT 36900 SOS 24108 HAS SOPS 22583 HAS SOUS 6786 HAS SOUPS 6149 WITH SCORE 6173.108
AT ITER 914 NEW BEST:: SOT 36900 SOS 24024 HAS SOPS 22499 HAS SOUS 6778 HAS SOUPS 6141 WITH SCORE 6165.024
AT ITER 933 NEW BEST:: SOT 36900 SOS 24024 HAS SOPS 22497 HAS SOUS 6776 HAS SOUPS 6137 WITH SCORE 6161.024
AT ITER 945 NEW BEST:: SOT 36925 SOS 24028 HAS SOPS 22480 HAS SOUS 6736 HAS SOUPS 6099 WITH SCORE 6123.028
AT ITER 960 NEW BEST:: SOT 36926 SOS 24019 HAS SOPS 22464 HAS SOUS 6729 HAS SOUPS 6085 WITH SCORE 6109.019
AT ITER 970 NEW BEST:: SOT 36926 SOS 23872 HAS SOPS 22317 HAS SOUS 6715 HAS SOUPS 6071 WITH SCORE 6094.872
AT ITER 993 NEW BEST:: SOT 36936 SOS 23882 HAS SOPS 22312 HAS SOUS 6710 HAS SOUPS 6051 WITH SCORE 6074.882
AT ITER 1002 NEW BEST:: SOT 36936 SOS 23817 HAS SOPS 22247 HAS SOUS 6704 HAS SOUPS 6045 WITH SCORE 6068.817
AT ITER 1003 NEW BEST:: SOT 37265 SOS 24164 HAS SOPS 22674 HAS SOUS 6599 HAS SOUPS 5963 WITH SCORE 5987.164
AT ITER 1021 NEW BEST:: SOT 37290 SOS 24185 HAS SOPS 22699 HAS SOUS 6588 HAS SOUPS 5954 WITH SCORE 5978.185
AT ITER 1023 NEW BEST:: SOT 37280 SOS 24175 HAS SOPS 22689 HAS SOUS 6578 HAS SOUPS 5944 WITH SCORE 5968.175
AT ITER 1050 NEW BEST:: SOT 37280 SOS 24154 HAS SOPS 22669 HAS SOUS 6577 HAS SOUPS 5944 WITH SCORE 5968.154
AT ITER 1056 NEW BEST:: SOT 37280 SOS 24092 HAS SOPS 22607 HAS SOUS 6572 HAS SOUPS 5938 WITH SCORE 5962.092
AT ITER 1131 NEW BEST:: SOT 37404 SOS 24192 HAS SOPS 22731 HAS SOUS 6560 HAS SOUPS 5934 WITH SCORE 5958.192
AT ITER 1132 NEW BEST:: SOT 37404 SOS 23793 HAS SOPS 22339 HAS SOUS 6510 HAS SOUPS 5910 WITH SCORE 5933.793
AT ITER 1150 NEW BEST:: SOT 37403 SOS 23792 HAS SOPS 22338 HAS SOUS 6509 HAS SOUPS 5909 WITH SCORE 5932.792
AT ITER 1198 NEW BEST:: SOT 37403 SOS 23792 HAS SOPS 22337 HAS SOUS 6508 HAS SOUPS 5907 WITH SCORE 5930.792
AT ITER 1199 NEW BEST:: SOT 37403 SOS 23771 HAS SOPS 22316 HAS SOUS 6504 HAS SOUPS 5905 WITH SCORE 5928.771
AT ITER 1207 NEW BEST:: SOT 37402 SOS 23770 HAS SOPS 22315 HAS SOUS 6503 HAS SOUPS 5904 WITH SCORE 5927.77
AT ITER 1220 NEW BEST:: SOT 37401 SOS 23769 HAS SOPS 22314 HAS SOUS 6502 HAS SOUPS 5903 WITH SCORE 5926.769
AT ITER 1260 NEW BEST:: SOT 37401 SOS 23768 HAS SOPS 22314 HAS SOUS 6501 HAS SOUPS 5903 WITH SCORE 5926.768
AT ITER 1318 NEW BEST:: SOT 37501 SOS 23838 HAS SOPS 22414 HAS SOUS 6431 HAS SOUPS 5843 WITH SCORE 5866.838
AT ITER 1344 NEW BEST:: SOT 37501 SOS 23838 HAS SOPS 22411 HAS SOUS 6428 HAS SOUPS 5837 WITH SCORE 5860.838
AT ITER 1351 NEW BEST:: SOT 37501 SOS 23835 HAS SOPS 22405 HAS SOUS 6422 HAS SOUPS 5831 WITH SCORE 5854.835
AT ITER 1373 NEW BEST:: SOT 37501 SOS 23851 HAS SOPS 22420 HAS SOUS 6438 HAS SOUPS 5829 WITH SCORE 5852.851
AT ITER 1376 NEW BEST:: SOT 37069 SOS 23459 HAS SOPS 21940 HAS SOUS 6374 HAS SOUPS 5741 WITH SCORE 5764.459
AT ITER 1387 NEW BEST:: SOT 37069 SOS 23459 HAS SOPS 21938 HAS SOUS 6372 HAS SOUPS 5737 WITH SCORE 5760.459
AT ITER 1414 NEW BEST:: SOT 37069 SOS 23396 HAS SOPS 21875 HAS SOUS 6369 HAS SOUPS 5731 WITH SCORE 5754.396
AT ITER 1421 NEW BEST:: SOT 36873 SOS 23232 HAS SOPS 21679 HAS SOUS 6361 HAS SOUPS 5712 WITH SCORE 5735.232
AT ITER 1426 NEW BEST:: SOT 36873 SOS 23233 HAS SOPS 21658 HAS SOUS 6369 HAS SOUPS 5710 WITH SCORE 5733.233
AT ITER 1461 NEW BEST:: SOT 36873 SOS 23073 HAS SOPS 21503 HAS SOUS 6358 HAS SOUPS 5704 WITH SCORE 5727.073
AT ITER 1470 NEW BEST:: SOT 36865 SOS 23065 HAS SOPS 21495 HAS SOUS 6350 HAS SOUPS 5696 WITH SCORE 5719.065
AT ITER 1495 NEW BEST:: SOT 36865 SOS 23124 HAS SOPS 21550 HAS SOUS 6352 HAS SOUPS 5694 WITH SCORE 5717.124
AT ITER 1519 NEW BEST:: SOT 36865 SOS 23061 HAS SOPS 21487 HAS SOUS 6346 HAS SOUPS 5688 WITH SCORE 5711.061
AT ITER 1538 NEW BEST:: SOT 36865 SOS 23014 HAS SOPS 21444 HAS SOUS 6336 HAS SOUPS 5685 WITH SCORE 5708.014
AT ITER 1578 NEW BEST:: SOT 36865 SOS 23014 HAS SOPS 21443 HAS SOUS 6335 HAS SOUPS 5683 WITH SCORE 5706.014
AT ITER 1642 NEW BEST:: SOT 36811 SOS 22958 HAS SOPS 21365 HAS SOUS 6258 HAS SOUPS 5602 WITH SCORE 5624.958
AT ITER 1671 NEW BEST:: SOT 36751 SOS 22902 HAS SOPS 21305 HAS SOUS 6234 HAS SOUPS 5576 WITH SCORE 5598.902
AT ITER 1682 NEW BEST:: SOT 36751 SOS 22902 HAS SOPS 21304 HAS SOUS 6233 HAS SOUPS 5574 WITH SCORE 5596.902
AT ITER 1705 NEW BEST:: SOT 36744 SOS 22895 HAS SOPS 21297 HAS SOUS 6226 HAS SOUPS 5567 WITH SCORE 5589.895
AT ITER 1744 NEW BEST:: SOT 36744 SOS 22892 HAS SOPS 21294 HAS SOUS 6223 HAS SOUPS 5567 WITH SCORE 5589.892
AT ITER 1789 NEW BEST:: SOT 36680 SOS 22832 HAS SOPS 21230 HAS SOUS 6195 HAS SOUPS 5537 WITH SCORE 5559.832
AT ITER 1878 NEW BEST:: SOT 36680 SOS 22794 HAS SOPS 21194 HAS SOUS 6195 HAS SOUPS 5537 WITH SCORE 5559.794
AT ITER 1906 NEW BEST:: SOT 36646 SOS 22762 HAS SOPS 21160 HAS SOUS 6179 HAS SOUPS 5520 WITH SCORE 5542.762
AT ITER 1940 NEW BEST:: SOT 36645 SOS 22761 HAS SOPS 21159 HAS SOUS 6178 HAS SOUPS 5519 WITH SCORE 5541.761
AT ITER 1954 NEW BEST:: SOT 36645 SOS 22761 HAS SOPS 21157 HAS SOUS 6176 HAS SOUPS 5515 WITH SCORE 5537.761
AT ITER 1960 NEW BEST:: SOT 36645 SOS 22741 HAS SOPS 21137 HAS SOUS 6174 HAS SOUPS 5513 WITH SCORE 5535.741
AT ITER 2022 NEW BEST:: SOT 36639 SOS 22735 HAS SOPS 21131 HAS SOUS 6168 HAS SOUPS 5507 WITH SCORE 5529.735
AT ITER 2080 NEW BEST:: SOT 36639 SOS 22732 HAS SOPS 21128 HAS SOUS 6165 HAS SOUPS 5507 WITH SCORE 5529.732
AT ITER 2155 NEW BEST:: SOT 36605 SOS 22698 HAS SOPS 21094 HAS SOUS 6131 HAS SOUPS 5473 WITH SCORE 5495.698
AT ITER 2239 NEW BEST:: SOT 36603 SOS 22696 HAS SOPS 21092 HAS SOUS 6129 HAS SOUPS 5471 WITH SCORE 5493.696
AT ITER 2254 NEW BEST:: SOT 36600 SOS 22693 HAS SOPS 21089 HAS SOUS 6126 HAS SOUPS 5468 WITH SCORE 5490.693
AT ITER 2277 NEW BEST:: SOT 36600 SOS 22674 HAS SOPS 21070 HAS SOUS 6124 HAS SOUPS 5466 WITH SCORE 5488.674
AT ITER 2301 NEW BEST:: SOT 36600 SOS 22779 HAS SOPS 21168 HAS SOUS 6127 HAS SOUPS 5462 WITH SCORE 5484.779
AT ITER 2339 NEW BEST:: SOT 36600 SOS 22918 HAS SOPS 21299 HAS SOUS 6133 HAS SOUPS 5460 WITH SCORE 5482.918
AT ITER 2368 NEW BEST:: SOT 36582 SOS 22901 HAS SOPS 21281 HAS SOUS 6134 HAS SOUPS 5460 WITH SCORE 5482.901
AT ITER 2385 NEW BEST:: SOT 36456 SOS 22802 HAS SOPS 21146 HAS SOUS 6152 HAS SOUPS 5460 WITH SCORE 5482.802
AT ITER 2390 NEW BEST:: SOT 36456 SOS 22718 HAS SOPS 21062 HAS SOUS 6149 HAS SOUPS 5452 WITH SCORE 5474.718
AT ITER 2403 NEW BEST:: SOT 36456 SOS 22718 HAS SOPS 21060 HAS SOUS 6147 HAS SOUPS 5448 WITH SCORE 5470.718
AT ITER 2422 NEW BEST:: SOT 36456 SOS 22775 HAS SOPS 21111 HAS SOUS 6141 HAS SOUPS 5442 WITH SCORE 5464.775
AT ITER 2462 NEW BEST:: SOT 36501 SOS 22814 HAS SOPS 21156 HAS SOUS 6132 HAS SOUPS 5436 WITH SCORE 5458.814
AT ITER 2473 NEW BEST:: SOT 36041 SOS 22400 HAS SOPS 20656 HAS SOUS 6029 HAS SOUPS 5304 WITH SCORE 5326.4
AT ITER 2500 NEW BEST:: SOT 35913 SOS 22292 HAS SOPS 20520 HAS SOUS 6033 HAS SOUPS 5292 WITH SCORE 5314.292
AT ITER 2505 NEW BEST:: SOT 35908 SOS 22287 HAS SOPS 20515 HAS SOUS 6028 HAS SOUPS 5287 WITH SCORE 5309.287
AT ITER 2544 NEW BEST:: SOT 35908 SOS 22287 HAS SOPS 20514 HAS SOUS 6027 HAS SOUPS 5285 WITH SCORE 5307.287
AT ITER 2590 NEW BEST:: SOT 35908 SOS 22434 HAS SOPS 20653 HAS SOUS 6044 HAS SOUPS 5283 WITH SCORE 5305.434
AT ITER 2664 NEW BEST:: SOT 35908 SOS 22434 HAS SOPS 20652 HAS SOUS 6044 HAS SOUPS 5281 WITH SCORE 5303.434
AT ITER 2854 NEW BEST:: SOT 35611 SOS 22197 HAS SOPS 20334 HAS SOUS 6086 HAS SOUPS 5281 WITH SCORE 5303.197
AT ITER 2890 NEW BEST:: SOT 35566 SOS 22152 HAS SOPS 20291 HAS SOUS 6044 HAS SOUPS 5240 WITH SCORE 5262.152
AT ITER 2912 NEW BEST:: SOT 35566 SOS 22172 HAS SOPS 20309 HAS SOUS 6043 HAS SOUPS 5238 WITH SCORE 5260.172
AT ITER 3033 NEW BEST:: SOT 35550 SOS 22156 HAS SOPS 20293 HAS SOUS 6027 HAS SOUPS 5222 WITH SCORE 5244.156
AT ITER 3100 NEW BEST:: SOT 35550 SOS 22155 HAS SOPS 20292 HAS SOUS 6025 HAS SOUPS 5222 WITH SCORE 5244.155
AT ITER 3104 NEW BEST:: SOT 35550 SOS 22218 HAS SOPS 20350 HAS SOUS 6032 HAS SOUPS 5218 WITH SCORE 5240.218
AT ITER 3140 NEW BEST:: SOT 35550 SOS 22216 HAS SOPS 20346 HAS SOUS 6028 HAS SOUPS 5214 WITH SCORE 5236.216
AT ITER 3220 NEW BEST:: SOT 35550 SOS 22216 HAS SOPS 20342 HAS SOUS 6024 HAS SOUPS 5206 WITH SCORE 5228.216
AT ITER 3255 NEW BEST:: SOT 35550 SOS 22216 HAS SOPS 20341 HAS SOUS 6023 HAS SOUPS 5204 WITH SCORE 5226.216
AT ITER 3376 NEW BEST:: SOT 35465 SOS 22131 HAS SOPS 20296 HAS SOUS 5976 HAS SOUPS 5199 WITH SCORE 5221.131
AT ITER 3465 NEW BEST:: SOT 35465 SOS 22420 HAS SOPS 20570 HAS SOUS 5998 HAS SOUPS 5197 WITH SCORE 5219.42
AT ITER 3517 NEW BEST:: SOT 35454 SOS 22402 HAS SOPS 20542 HAS SOUS 5976 HAS SOUPS 5169 WITH SCORE 5191.402
AT ITER 3525 NEW BEST:: SOT 35454 SOS 22381 HAS SOPS 20521 HAS SOUS 5974 HAS SOUPS 5167 WITH SCORE 5189.381
AT ITER 3594 NEW BEST:: SOT 35454 SOS 22360 HAS SOPS 20501 HAS SOUS 5972 HAS SOUPS 5167 WITH SCORE 5189.36
AT ITER 3631 NEW BEST:: SOT 35454 SOS 22549 HAS SOPS 20676 HAS SOUS 5989 HAS SOUPS 5157 WITH SCORE 5179.549
AT ITER 3635 NEW BEST:: SOT 35454 SOS 22507 HAS SOPS 20634 HAS SOUS 5980 HAS SOUPS 5153 WITH SCORE 5175.507
AT ITER 3703 NEW BEST:: SOT 35454 SOS 22507 HAS SOPS 20633 HAS SOUS 5979 HAS SOUPS 5151 WITH SCORE 5173.507
AT ITER 4161 NEW BEST:: SOT 35223 SOS 22312 HAS SOPS 20402 HAS SOUS 5952 HAS SOUPS 5112 WITH SCORE 5134.312
AT ITER 4164 NEW BEST:: SOT 35205 SOS 22295 HAS SOPS 20384 HAS SOUS 5953 HAS SOUPS 5112 WITH SCORE 5134.295
AT ITER 4182 NEW BEST:: SOT 35196 SOS 22286 HAS SOPS 20375 HAS SOUS 5944 HAS SOUPS 5103 WITH SCORE 5125.286
AT ITER 4356 NEW BEST:: SOT 35196 SOS 22286 HAS SOPS 20374 HAS SOUS 5943 HAS SOUPS 5101 WITH SCORE 5123.286
AT ITER 4384 NEW BEST:: SOT 35196 SOS 22307 HAS SOPS 20393 HAS SOUS 5945 HAS SOUPS 5099 WITH SCORE 5121.307
AT ITER 4405 NEW BEST:: SOT 35196 SOS 22286 HAS SOPS 20372 HAS SOUS 5941 HAS SOUPS 5097 WITH SCORE 5119.286
AT ITER 4472 NEW BEST:: SOT 35194 SOS 22284 HAS SOPS 20370 HAS SOUS 5939 HAS SOUPS 5095 WITH SCORE 5117.284
AT ITER 4599 NEW BEST:: SOT 35194 SOS 22284 HAS SOPS 20369 HAS SOUS 5938 HAS SOUPS 5093 WITH SCORE 5115.284
AT ITER 4613 NEW BEST:: SOT 35194 SOS 22263 HAS SOPS 20348 HAS SOUS 5936 HAS SOUPS 5091 WITH SCORE 5113.263
AT ITER 4646 NEW BEST:: SOT 35194 SOS 22242 HAS SOPS 20327 HAS SOUS 5936 HAS SOUPS 5089 WITH SCORE 5111.242
AT ITER 4652 NEW BEST:: SOT 35194 SOS 22242 HAS SOPS 20326 HAS SOUS 5935 HAS SOUPS 5087 WITH SCORE 5109.242
AT ITER 4851 NEW BEST:: SOT 35194 SOS 22242 HAS SOPS 20324 HAS SOUS 5933 HAS SOUPS 5083 WITH SCORE 5105.242
AT ITER 4912 NEW BEST:: SOT 35190 SOS 22238 HAS SOPS 20320 HAS SOUS 5929 HAS SOUPS 5079 WITH SCORE 5101.238
AT ITER 4925 NEW BEST:: SOT 35190 SOS 22238 HAS SOPS 20319 HAS SOUS 5928 HAS SOUPS 5077 WITH SCORE 5099.238
AT ITER 4958 NEW BEST:: SOT 35190 SOS 22238 HAS SOPS 20318 HAS SOUS 5927 HAS SOUPS 5075 WITH SCORE 5097.238
AT ITER 5058 NEW BEST:: SOT 35183 SOS 22231 HAS SOPS 20311 HAS SOUS 5920 HAS SOUPS 5068 WITH SCORE 5090.231
AT ITER 5100 NEW BEST:: SOT 35183 SOS 22210 HAS SOPS 20290 HAS SOUS 5915 HAS SOUPS 5066 WITH SCORE 5088.21
AT ITER 5104 NEW BEST:: SOT 35183 SOS 22189 HAS SOPS 20269 HAS SOUS 5912 HAS SOUPS 5064 WITH SCORE 5086.189
AT ITER 5215 NEW BEST:: SOT 35125 SOS 22131 HAS SOPS 20239 HAS SOUS 5882 HAS SOUPS 5062 WITH SCORE 5084.131
AT ITER 5219 NEW BEST:: SOT 35125 SOS 22131 HAS SOPS 20236 HAS SOUS 5879 HAS SOUPS 5056 WITH SCORE 5078.131
AT ITER 5411 NEW BEST:: SOT 35135 SOS 22121 HAS SOPS 20141 HAS SOUS 5787 HAS SOUPS 4971 WITH SCORE 4993.121
AT ITER 5655 NEW BEST:: SOT 35157 SOS 22143 HAS SOPS 20146 HAS SOUS 5792 HAS SOUPS 4959 WITH SCORE 4981.143
AT ITER 5747 NEW BEST:: SOT 35157 SOS 22143 HAS SOPS 20145 HAS SOUS 5791 HAS SOUPS 4957 WITH SCORE 4979.143
AT ITER 5932 NEW BEST:: SOT 35142 SOS 22128 HAS SOPS 20130 HAS SOUS 5776 HAS SOUPS 4942 WITH SCORE 4964.128
AT ITER 5944 NEW BEST:: SOT 35142 SOS 22065 HAS SOPS 20068 HAS SOUS 5768 HAS SOUPS 4938 WITH SCORE 4960.065
AT ITER 6025 NEW BEST:: SOT 35142 SOS 22023 HAS SOPS 20027 HAS SOUS 5763 HAS SOUPS 4936 WITH SCORE 4958.023
AT ITER 6083 NEW BEST:: SOT 35142 SOS 22002 HAS SOPS 20006 HAS SOUS 5760 HAS SOUPS 4934 WITH SCORE 4956.002
AT ITER 6144 NEW BEST:: SOT 35142 SOS 22006 HAS SOPS 20006 HAS SOUS 5763 HAS SOUPS 4933 WITH SCORE 4955.006
AT ITER 6646 NEW BEST:: SOT 35142 SOS 22006 HAS SOPS 20003 HAS SOUS 5760 HAS SOUPS 4927 WITH SCORE 4949.006
AT ITER 6683 NEW BEST:: SOT 35142 SOS 22006 HAS SOPS 20002 HAS SOUS 5759 HAS SOUPS 4925 WITH SCORE 4947.006
AT ITER 6912 NEW BEST:: SOT 35126 SOS 21990 HAS SOPS 19986 HAS SOUS 5743 HAS SOUPS 4909 WITH SCORE 4930.99
AT ITER 6938 NEW BEST:: SOT 35126 SOS 21989 HAS SOPS 19984 HAS SOUS 5741 HAS SOUPS 4907 WITH SCORE 4928.989
AT ITER 7221 NEW BEST:: SOT 35126 SOS 21968 HAS SOPS 19963 HAS SOUS 5738 HAS SOUPS 4905 WITH SCORE 4926.968
AT ITER 7792 NEW BEST:: SOT 35126 SOS 21968 HAS SOPS 19962 HAS SOUS 5737 HAS SOUPS 4903 WITH SCORE 4924.968
AT ITER 7930 NEW BEST:: SOT 35092 SOS 21936 HAS SOPS 19949 HAS SOUS 5705 HAS SOUPS 4890 WITH SCORE 4911.936
AT ITER 8001 NEW BEST:: SOT 34867 SOS 21759 HAS SOPS 19708 HAS SOUS 5736 HAS SOUPS 4889 WITH SCORE 4910.759
AT ITER 8148 NEW BEST:: SOT 34867 SOS 21759 HAS SOPS 19707 HAS SOUS 5735 HAS SOUPS 4887 WITH SCORE 4908.759
AT ITER 8621 NEW BEST:: SOT 34862 SOS 21754 HAS SOPS 19702 HAS SOUS 5730 HAS SOUPS 4882 WITH SCORE 4903.754
AT ITER 8691 NEW BEST:: SOT 34857 SOS 21749 HAS SOPS 19697 HAS SOUS 5725 HAS SOUPS 4877 WITH SCORE 4898.749
AT ITER 8740 NEW BEST:: SOT 34857 SOS 21728 HAS SOPS 19678 HAS SOUS 5723 HAS SOUPS 4877 WITH SCORE 4898.728
AT ITER 9118 NEW BEST:: SOT 34857 SOS 21707 HAS SOPS 19657 HAS SOUS 5724 HAS SOUPS 4875 WITH SCORE 4896.707
AT ITER 9282 NEW BEST:: SOT 34857 SOS 21686 HAS SOPS 19636 HAS SOUS 5722 HAS SOUPS 4873 WITH SCORE 4894.686
AT ITER 9528 NEW BEST:: SOT 34857 SOS 21686 HAS SOPS 19635 HAS SOUS 5721 HAS SOUPS 4871 WITH SCORE 4892.686
AT ITER 9810 NEW BEST:: SOT 34857 SOS 21706 HAS SOPS 19653 HAS SOUS 5720 HAS SOUPS 4869 WITH SCORE 4890.706
AT ITER 9994 NEW BEST:: SOT 34841 SOS 21693 HAS SOPS 19636 HAS SOUS 5720 HAS SOUPS 4867 WITH SCORE 4888.693
BK_STOP 1678298720106
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}
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="Dekker-PT-020"
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 Dekker-PT-020, 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 r139-smll-167819421600024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-020.tgz
mv Dekker-PT-020 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 '
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 ;