About the Execution of Smart+red for RwMutex-PT-r0010w0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 257.911 | 65893.00 | 74551.00 | 690.00 | 1124 10440 1 120 | normal |
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.r363-smll-167891813700136.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 RwMutex-PT-r0010w0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813700136
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 6.7K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 22:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 22:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 183K 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 1679021442601
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=RwMutex-PT-r0010w0100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 02:50:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 02:50:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 02:50:46] [INFO ] Load time of PNML (sax parser for PT used): 188 ms
[2023-03-17 02:50:46] [INFO ] Transformed 230 places.
[2023-03-17 02:50:46] [INFO ] Transformed 220 transitions.
[2023-03-17 02:50:46] [INFO ] Found NUPN structural information;
[2023-03-17 02:50:46] [INFO ] Parsed PT model containing 230 places and 220 transitions and 2460 arcs in 425 ms.
[2023-03-17 02:50:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 230 places, 220 transitions and 2460 arcs took 29 ms.
Total runtime 531 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0100
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: 230 places, 220 transitions, 2460 arcs.
AT ITER 0 NEW BEST:: SOT 50074 SOS 37866 HAS SOPS 37866 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37903.866
AT ITER 1 NEW BEST:: SOT 50074 SOS 37748 HAS SOPS 37748 HAS SOUS 37748 HAS SOUPS 37748 WITH SCORE 37785.748
AT ITER 2 NEW BEST:: SOT 50074 SOS 37638 HAS SOPS 37638 HAS SOUS 37638 HAS SOUPS 37638 WITH SCORE 37675.638
AT ITER 4 NEW BEST:: SOT 50074 SOS 37520 HAS SOPS 37520 HAS SOUS 37520 HAS SOUPS 37520 WITH SCORE 37557.52
AT ITER 5 NEW BEST:: SOT 50074 SOS 37176 HAS SOPS 37176 HAS SOUS 37176 HAS SOUPS 37176 WITH SCORE 37213.176
AT ITER 9 NEW BEST:: SOT 50074 SOS 37062 HAS SOPS 37062 HAS SOUS 37062 HAS SOUPS 37062 WITH SCORE 37099.062
AT ITER 10 NEW BEST:: SOT 50074 SOS 37056 HAS SOPS 37056 HAS SOUS 37056 HAS SOUPS 37056 WITH SCORE 37093.056
AT ITER 11 NEW BEST:: SOT 50074 SOS 36722 HAS SOPS 36722 HAS SOUS 36722 HAS SOUPS 36722 WITH SCORE 36758.722
AT ITER 12 NEW BEST:: SOT 50074 SOS 36602 HAS SOPS 36602 HAS SOUS 36602 HAS SOUPS 36602 WITH SCORE 36638.602
AT ITER 14 NEW BEST:: SOT 50074 SOS 36488 HAS SOPS 36488 HAS SOUS 36488 HAS SOUPS 36488 WITH SCORE 36524.488
AT ITER 16 NEW BEST:: SOT 50074 SOS 36428 HAS SOPS 36428 HAS SOUS 36428 HAS SOUPS 36428 WITH SCORE 36464.428
AT ITER 19 NEW BEST:: SOT 50002 SOS 36444 HAS SOPS 36444 HAS SOUS 36414 HAS SOUPS 36414 WITH SCORE 36450.444
AT ITER 21 NEW BEST:: SOT 50002 SOS 36132 HAS SOPS 36132 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36138.132
AT ITER 23 NEW BEST:: SOT 50002 SOS 36012 HAS SOPS 36012 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36018.012
AT ITER 25 NEW BEST:: SOT 50002 SOS 35920 HAS SOPS 35920 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 35925.92
AT ITER 26 NEW BEST:: SOT 49900 SOS 36048 HAS SOPS 36048 HAS SOUS 35848 HAS SOUPS 35848 WITH SCORE 35884.048
AT ITER 27 NEW BEST:: SOT 49900 SOS 35944 HAS SOPS 35944 HAS SOUS 35736 HAS SOUPS 35736 WITH SCORE 35771.944
AT ITER 29 NEW BEST:: SOT 49900 SOS 35920 HAS SOPS 35920 HAS SOUS 35692 HAS SOUPS 35692 WITH SCORE 35727.92
AT ITER 31 NEW BEST:: SOT 49900 SOS 35798 HAS SOPS 35798 HAS SOUS 35570 HAS SOUPS 35570 WITH SCORE 35605.798
AT ITER 32 NEW BEST:: SOT 49900 SOS 35738 HAS SOPS 35738 HAS SOUS 35510 HAS SOUPS 35510 WITH SCORE 35545.738
AT ITER 34 NEW BEST:: SOT 49900 SOS 35618 HAS SOPS 35618 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35425.618
AT ITER 35 NEW BEST:: SOT 49900 SOS 35504 HAS SOPS 35504 HAS SOUS 35276 HAS SOUPS 35276 WITH SCORE 35311.504
AT ITER 36 NEW BEST:: SOT 49900 SOS 35488 HAS SOPS 35488 HAS SOUS 35258 HAS SOUPS 35258 WITH SCORE 35293.488
AT ITER 37 NEW BEST:: SOT 49900 SOS 35280 HAS SOPS 35280 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35085.28
AT ITER 41 NEW BEST:: SOT 49900 SOS 35280 HAS SOPS 35280 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35081.28
AT ITER 45 NEW BEST:: SOT 49900 SOS 35204 HAS SOPS 35204 HAS SOUS 34970 HAS SOUPS 34970 WITH SCORE 35005.204
AT ITER 48 NEW BEST:: SOT 49900 SOS 35146 HAS SOPS 35146 HAS SOUS 34912 HAS SOUPS 34912 WITH SCORE 34947.146
AT ITER 51 NEW BEST:: SOT 49900 SOS 35056 HAS SOPS 35056 HAS SOUS 34822 HAS SOUPS 34822 WITH SCORE 34857.056
AT ITER 53 NEW BEST:: SOT 49852 SOS 43960 HAS SOPS 43960 HAS SOUS 34726 HAS SOUPS 34726 WITH SCORE 34769.96
AT ITER 58 NEW BEST:: SOT 49750 SOS 43858 HAS SOPS 43858 HAS SOUS 34628 HAS SOUPS 34628 WITH SCORE 34671.858
AT ITER 61 NEW BEST:: SOT 49750 SOS 43858 HAS SOPS 43858 HAS SOUS 34524 HAS SOUPS 34524 WITH SCORE 34567.858
AT ITER 62 NEW BEST:: SOT 49720 SOS 43828 HAS SOPS 43828 HAS SOUS 34438 HAS SOUPS 34438 WITH SCORE 34481.828
AT ITER 65 NEW BEST:: SOT 49720 SOS 43828 HAS SOPS 43828 HAS SOUS 34404 HAS SOUPS 34404 WITH SCORE 34447.828
AT ITER 67 NEW BEST:: SOT 49720 SOS 43828 HAS SOPS 43828 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34327.828
AT ITER 71 NEW BEST:: SOT 49720 SOS 43828 HAS SOPS 43828 HAS SOUS 34168 HAS SOUPS 34168 WITH SCORE 34211.828
AT ITER 73 NEW BEST:: SOT 49720 SOS 43828 HAS SOPS 43828 HAS SOUS 34132 HAS SOUPS 34132 WITH SCORE 34175.828
AT ITER 75 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34045.808
AT ITER 76 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33942 HAS SOUPS 33942 WITH SCORE 33985.808
AT ITER 77 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33928 HAS SOUPS 33928 WITH SCORE 33971.808
AT ITER 79 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33924 HAS SOUPS 33924 WITH SCORE 33967.808
AT ITER 80 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33745.808
AT ITER 86 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33688 HAS SOUPS 33688 WITH SCORE 33731.808
AT ITER 87 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33624 HAS SOUPS 33624 WITH SCORE 33667.808
AT ITER 88 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33458 HAS SOUPS 33458 WITH SCORE 33501.808
AT ITER 89 NEW BEST:: SOT 49720 SOS 43808 HAS SOPS 43808 HAS SOUS 33380 HAS SOUPS 33380 WITH SCORE 33423.808
AT ITER 92 NEW BEST:: SOT 49438 SOS 43526 HAS SOPS 43526 HAS SOUS 33098 HAS SOUPS 33098 WITH SCORE 33141.526
AT ITER 97 NEW BEST:: SOT 49412 SOS 43562 HAS SOPS 43562 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33093.562
AT ITER 98 NEW BEST:: SOT 49412 SOS 43562 HAS SOPS 43562 HAS SOUS 32936 HAS SOUPS 32936 WITH SCORE 32979.562
AT ITER 99 NEW BEST:: SOT 49412 SOS 43562 HAS SOPS 43562 HAS SOUS 32646 HAS SOUPS 32646 WITH SCORE 32689.562
AT ITER 105 NEW BEST:: SOT 49394 SOS 43662 HAS SOPS 43662 HAS SOUS 32544 HAS SOUPS 32544 WITH SCORE 32587.662
AT ITER 106 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32521.596
AT ITER 107 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32466 HAS SOUPS 32466 WITH SCORE 32509.596
AT ITER 110 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32402 HAS SOUPS 32402 WITH SCORE 32445.596
AT ITER 115 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32396 HAS SOUPS 32396 WITH SCORE 32439.596
AT ITER 116 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32321.596
AT ITER 117 NEW BEST:: SOT 49328 SOS 43596 HAS SOPS 43596 HAS SOUS 32156 HAS SOUPS 32156 WITH SCORE 32199.596
AT ITER 119 NEW BEST:: SOT 49190 SOS 43458 HAS SOPS 43458 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32023.458
AT ITER 121 NEW BEST:: SOT 49190 SOS 43458 HAS SOPS 43458 HAS SOUS 31774 HAS SOUPS 31774 WITH SCORE 31817.458
AT ITER 124 NEW BEST:: SOT 49190 SOS 43434 HAS SOPS 43434 HAS SOUS 31608 HAS SOUPS 31608 WITH SCORE 31651.434
AT ITER 125 NEW BEST:: SOT 49156 SOS 43400 HAS SOPS 43400 HAS SOUS 31540 HAS SOUPS 31540 WITH SCORE 31583.4
AT ITER 126 NEW BEST:: SOT 49064 SOS 43308 HAS SOPS 43308 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31563.308
AT ITER 137 NEW BEST:: SOT 48752 SOS 42996 HAS SOPS 42996 HAS SOUS 31088 HAS SOUPS 31088 WITH SCORE 31130.996
AT ITER 139 NEW BEST:: SOT 48752 SOS 42986 HAS SOPS 42986 HAS SOUS 31044 HAS SOUPS 31044 WITH SCORE 31086.986
AT ITER 140 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 31002 HAS SOUPS 31002 WITH SCORE 31044.924
AT ITER 146 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 30810 HAS SOUPS 30810 WITH SCORE 30852.924
AT ITER 149 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 30720 HAS SOUPS 30720 WITH SCORE 30762.924
AT ITER 150 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 30718 HAS SOUPS 30718 WITH SCORE 30760.924
AT ITER 154 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 30640 HAS SOUPS 30640 WITH SCORE 30682.924
AT ITER 158 NEW BEST:: SOT 48752 SOS 42924 HAS SOPS 42924 HAS SOUS 30626 HAS SOUPS 30626 WITH SCORE 30668.924
AT ITER 162 NEW BEST:: SOT 47504 SOS 41676 HAS SOPS 41676 HAS SOUS 29318 HAS SOUPS 29318 WITH SCORE 29359.676
AT ITER 163 NEW BEST:: SOT 47504 SOS 41662 HAS SOPS 41662 HAS SOUS 29176 HAS SOUPS 29176 WITH SCORE 29217.662
AT ITER 165 NEW BEST:: SOT 47504 SOS 41662 HAS SOPS 41662 HAS SOUS 29148 HAS SOUPS 29148 WITH SCORE 29189.662
AT ITER 166 NEW BEST:: SOT 47450 SOS 41608 HAS SOPS 41608 HAS SOUS 29036 HAS SOUPS 29036 WITH SCORE 29077.608
AT ITER 170 NEW BEST:: SOT 47450 SOS 41608 HAS SOPS 41608 HAS SOUS 28916 HAS SOUPS 28916 WITH SCORE 28957.608
AT ITER 174 NEW BEST:: SOT 47450 SOS 41586 HAS SOPS 41586 HAS SOUS 28894 HAS SOUPS 28894 WITH SCORE 28935.586
AT ITER 176 NEW BEST:: SOT 47450 SOS 41586 HAS SOPS 41586 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28905.586
AT ITER 187 NEW BEST:: SOT 47450 SOS 41586 HAS SOPS 41586 HAS SOUS 28854 HAS SOUPS 28854 WITH SCORE 28895.586
AT ITER 188 NEW BEST:: SOT 47450 SOS 42394 HAS SOPS 42394 HAS SOUS 28722 HAS SOUPS 28722 WITH SCORE 28764.394
AT ITER 190 NEW BEST:: SOT 47450 SOS 42394 HAS SOPS 42394 HAS SOUS 28694 HAS SOUPS 28694 WITH SCORE 28736.394
AT ITER 191 NEW BEST:: SOT 47450 SOS 42394 HAS SOPS 42394 HAS SOUS 28572 HAS SOUPS 28572 WITH SCORE 28614.394
AT ITER 196 NEW BEST:: SOT 47450 SOS 42394 HAS SOPS 42394 HAS SOUS 28562 HAS SOUPS 28562 WITH SCORE 28604.394
AT ITER 206 NEW BEST:: SOT 47450 SOS 42394 HAS SOPS 42394 HAS SOUS 28442 HAS SOUPS 28442 WITH SCORE 28484.394
AT ITER 211 NEW BEST:: SOT 47450 SOS 42360 HAS SOPS 42360 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28434.36
AT ITER 220 NEW BEST:: SOT 47450 SOS 42360 HAS SOPS 42360 HAS SOUS 28360 HAS SOUPS 28360 WITH SCORE 28402.36
AT ITER 225 NEW BEST:: SOT 47450 SOS 42360 HAS SOPS 42360 HAS SOUS 28318 HAS SOUPS 28318 WITH SCORE 28360.36
AT ITER 226 NEW BEST:: SOT 47450 SOS 42360 HAS SOPS 42360 HAS SOUS 28312 HAS SOUPS 28312 WITH SCORE 28354.36
AT ITER 228 NEW BEST:: SOT 47450 SOS 42360 HAS SOPS 42360 HAS SOUS 28306 HAS SOUPS 28306 WITH SCORE 28348.36
AT ITER 231 NEW BEST:: SOT 47418 SOS 42324 HAS SOPS 42324 HAS SOUS 28270 HAS SOUPS 28270 WITH SCORE 28312.324
AT ITER 233 NEW BEST:: SOT 47418 SOS 42324 HAS SOPS 42324 HAS SOUS 28246 HAS SOUPS 28246 WITH SCORE 28288.324
AT ITER 236 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 28070 HAS SOUPS 28070 WITH SCORE 28112.236
AT ITER 240 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28092.236
AT ITER 241 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 28022 HAS SOUPS 28022 WITH SCORE 28064.236
AT ITER 242 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 28016 HAS SOUPS 28016 WITH SCORE 28058.236
AT ITER 244 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27948 HAS SOUPS 27948 WITH SCORE 27990.236
AT ITER 246 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27960.236
AT ITER 249 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27842 HAS SOUPS 27842 WITH SCORE 27884.236
AT ITER 250 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27700 HAS SOUPS 27700 WITH SCORE 27742.236
AT ITER 256 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27646 HAS SOUPS 27646 WITH SCORE 27688.236
AT ITER 261 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27538 HAS SOUPS 27538 WITH SCORE 27580.236
AT ITER 266 NEW BEST:: SOT 47330 SOS 42236 HAS SOPS 42236 HAS SOUS 27420 HAS SOUPS 27420 WITH SCORE 27462.236
AT ITER 269 NEW BEST:: SOT 47330 SOS 42112 HAS SOPS 42112 HAS SOUS 27302 HAS SOUPS 27302 WITH SCORE 27344.112
AT ITER 274 NEW BEST:: SOT 47330 SOS 42112 HAS SOPS 42112 HAS SOUS 27300 HAS SOUPS 27300 WITH SCORE 27342.112
AT ITER 279 NEW BEST:: SOT 47320 SOS 42102 HAS SOPS 42102 HAS SOUS 27290 HAS SOUPS 27290 WITH SCORE 27332.102
AT ITER 285 NEW BEST:: SOT 47300 SOS 42082 HAS SOPS 42082 HAS SOUS 27232 HAS SOUPS 27232 WITH SCORE 27274.082
AT ITER 294 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27177.986
AT ITER 300 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 27120 HAS SOUPS 27120 WITH SCORE 27161.986
AT ITER 304 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 27116 HAS SOUPS 27116 WITH SCORE 27157.986
AT ITER 305 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27135.986
AT ITER 316 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27101.986
AT ITER 321 NEW BEST:: SOT 47300 SOS 41986 HAS SOPS 41986 HAS SOUS 26968 HAS SOUPS 26968 WITH SCORE 27009.986
AT ITER 326 NEW BEST:: SOT 46806 SOS 43708 HAS SOPS 43708 HAS SOUS 26570 HAS SOUPS 26570 WITH SCORE 26613.708
AT ITER 328 NEW BEST:: SOT 46806 SOS 43708 HAS SOPS 43708 HAS SOUS 26566 HAS SOUPS 26566 WITH SCORE 26609.708
AT ITER 329 NEW BEST:: SOT 46736 SOS 43878 HAS SOPS 43878 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26541.878
AT ITER 333 NEW BEST:: SOT 46712 SOS 43854 HAS SOPS 43854 HAS SOUS 26412 HAS SOUPS 26412 WITH SCORE 26455.854
AT ITER 355 NEW BEST:: SOT 46712 SOS 43854 HAS SOPS 43854 HAS SOUS 26404 HAS SOUPS 26404 WITH SCORE 26447.854
AT ITER 356 NEW BEST:: SOT 46712 SOS 43854 HAS SOPS 43854 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26383.854
AT ITER 361 NEW BEST:: SOT 46546 SOS 43688 HAS SOPS 43688 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26103.688
AT ITER 362 NEW BEST:: SOT 46546 SOS 43688 HAS SOPS 43688 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 25999.688
AT ITER 364 NEW BEST:: SOT 46474 SOS 43616 HAS SOPS 43616 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25927.616
AT ITER 368 NEW BEST:: SOT 46474 SOS 43616 HAS SOPS 43616 HAS SOUS 25848 HAS SOUPS 25848 WITH SCORE 25891.616
AT ITER 373 NEW BEST:: SOT 46474 SOS 43616 HAS SOPS 43616 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25883.616
AT ITER 374 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25828 HAS SOUPS 25828 WITH SCORE 25871.694
AT ITER 376 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25813.694
AT ITER 378 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25744 HAS SOUPS 25744 WITH SCORE 25787.694
AT ITER 379 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25742 HAS SOUPS 25742 WITH SCORE 25785.694
AT ITER 381 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25712 HAS SOUPS 25712 WITH SCORE 25755.694
AT ITER 386 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25729.694
AT ITER 401 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25727.694
AT ITER 403 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25660 HAS SOUPS 25660 WITH SCORE 25703.694
AT ITER 407 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25588 HAS SOUPS 25588 WITH SCORE 25631.694
AT ITER 409 NEW BEST:: SOT 46474 SOS 43694 HAS SOPS 43694 HAS SOUS 25550 HAS SOUPS 25550 WITH SCORE 25593.694
AT ITER 410 NEW BEST:: SOT 46474 SOS 43560 HAS SOPS 43560 HAS SOUS 25496 HAS SOUPS 25496 WITH SCORE 25539.56
AT ITER 416 NEW BEST:: SOT 46474 SOS 43560 HAS SOPS 43560 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25505.56
AT ITER 417 NEW BEST:: SOT 46474 SOS 43560 HAS SOPS 43560 HAS SOUS 25442 HAS SOUPS 25442 WITH SCORE 25485.56
AT ITER 419 NEW BEST:: SOT 46474 SOS 43482 HAS SOPS 43482 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25415.482
AT ITER 420 NEW BEST:: SOT 46474 SOS 43450 HAS SOPS 43450 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25415.45
AT ITER 421 NEW BEST:: SOT 46436 SOS 43412 HAS SOPS 43412 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25275.412
AT ITER 425 NEW BEST:: SOT 46436 SOS 43412 HAS SOPS 43412 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25253.412
AT ITER 428 NEW BEST:: SOT 46436 SOS 43412 HAS SOPS 43412 HAS SOUS 25208 HAS SOUPS 25208 WITH SCORE 25251.412
AT ITER 447 NEW BEST:: SOT 46436 SOS 43412 HAS SOPS 43412 HAS SOUS 25200 HAS SOUPS 25200 WITH SCORE 25243.412
AT ITER 457 NEW BEST:: SOT 39840 SOS 37122 HAS SOPS 37122 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18927.122
AT ITER 476 NEW BEST:: SOT 39840 SOS 37122 HAS SOPS 37122 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18889.122
AT ITER 477 NEW BEST:: SOT 39840 SOS 37122 HAS SOPS 37122 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18875.122
AT ITER 482 NEW BEST:: SOT 39840 SOS 37122 HAS SOPS 37122 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18863.122
AT ITER 488 NEW BEST:: SOT 39822 SOS 37104 HAS SOPS 37104 HAS SOUS 18696 HAS SOUPS 18696 WITH SCORE 18733.104
AT ITER 491 NEW BEST:: SOT 39822 SOS 37104 HAS SOPS 37104 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18681.104
AT ITER 506 NEW BEST:: SOT 39724 SOS 37174 HAS SOPS 37174 HAS SOUS 18642 HAS SOUPS 18642 WITH SCORE 18679.174
AT ITER 508 NEW BEST:: SOT 39714 SOS 37164 HAS SOPS 37164 HAS SOUS 18614 HAS SOUPS 18614 WITH SCORE 18651.164
AT ITER 511 NEW BEST:: SOT 39714 SOS 37164 HAS SOPS 37164 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18613.164
AT ITER 513 NEW BEST:: SOT 39670 SOS 37120 HAS SOPS 37120 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18455.12
AT ITER 520 NEW BEST:: SOT 39670 SOS 37120 HAS SOPS 37120 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18417.12
AT ITER 524 NEW BEST:: SOT 39670 SOS 37120 HAS SOPS 37120 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18413.12
AT ITER 530 NEW BEST:: SOT 33988 SOS 31438 HAS SOPS 31438 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12725.438
AT ITER 535 NEW BEST:: SOT 33974 SOS 31424 HAS SOPS 31424 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12697.424
AT ITER 536 NEW BEST:: SOT 33974 SOS 31414 HAS SOPS 31414 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12687.414
AT ITER 540 NEW BEST:: SOT 33968 SOS 31408 HAS SOPS 31408 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12669.408
AT ITER 605 NEW BEST:: SOT 33966 SOS 31406 HAS SOPS 31406 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12665.406
AT ITER 608 NEW BEST:: SOT 33966 SOS 31406 HAS SOPS 31406 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12661.406
AT ITER 610 NEW BEST:: SOT 33922 SOS 31362 HAS SOPS 31362 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12539.362
AT ITER 629 NEW BEST:: SOT 33922 SOS 31362 HAS SOPS 31362 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12495.362
AT ITER 646 NEW BEST:: SOT 33902 SOS 31342 HAS SOPS 31342 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12455.342
AT ITER 649 NEW BEST:: SOT 33894 SOS 31334 HAS SOPS 31334 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12439.334
AT ITER 652 NEW BEST:: SOT 33892 SOS 31320 HAS SOPS 31320 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12425.32
AT ITER 655 NEW BEST:: SOT 33892 SOS 31256 HAS SOPS 31256 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12423.256
AT ITER 660 NEW BEST:: SOT 33892 SOS 31128 HAS SOPS 31128 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12387.128
AT ITER 666 NEW BEST:: SOT 33856 SOS 31092 HAS SOPS 31092 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12345.092
AT ITER 670 NEW BEST:: SOT 33780 SOS 31016 HAS SOPS 31016 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12269.016
AT ITER 681 NEW BEST:: SOT 33780 SOS 31016 HAS SOPS 31016 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12255.016
AT ITER 682 NEW BEST:: SOT 33780 SOS 30988 HAS SOPS 30988 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12226.988
AT ITER 691 NEW BEST:: SOT 33752 SOS 30960 HAS SOPS 30960 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12170.96
AT ITER 700 NEW BEST:: SOT 33752 SOS 30960 HAS SOPS 30960 HAS SOUS 12120 HAS SOUPS 12120 WITH SCORE 12150.96
AT ITER 703 NEW BEST:: SOT 33706 SOS 30914 HAS SOPS 30914 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12104.914
AT ITER 706 NEW BEST:: SOT 33620 SOS 30828 HAS SOPS 30828 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11932.828
AT ITER 721 NEW BEST:: SOT 33620 SOS 30828 HAS SOPS 30828 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11920.828
AT ITER 723 NEW BEST:: SOT 32958 SOS 30318 HAS SOPS 30318 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11410.318
AT ITER 733 NEW BEST:: SOT 32958 SOS 30374 HAS SOPS 30374 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11386.374
AT ITER 734 NEW BEST:: SOT 32944 SOS 30360 HAS SOPS 30360 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11358.36
AT ITER 735 NEW BEST:: SOT 32944 SOS 30360 HAS SOPS 30360 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11312.36
AT ITER 738 NEW BEST:: SOT 32944 SOS 30360 HAS SOPS 30360 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11266.36
AT ITER 741 NEW BEST:: SOT 32944 SOS 30256 HAS SOPS 30256 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11266.256
AT ITER 745 NEW BEST:: SOT 32944 SOS 30254 HAS SOPS 30254 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11264.254
AT ITER 758 NEW BEST:: SOT 32948 SOS 30248 HAS SOPS 30248 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11264.248
AT ITER 761 NEW BEST:: SOT 32930 SOS 30230 HAS SOPS 30230 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11196.23
AT ITER 766 NEW BEST:: SOT 32918 SOS 30218 HAS SOPS 30218 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11172.218
AT ITER 769 NEW BEST:: SOT 32918 SOS 30218 HAS SOPS 30218 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11170.218
AT ITER 771 NEW BEST:: SOT 32910 SOS 30210 HAS SOPS 30210 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11096.21
AT ITER 775 NEW BEST:: SOT 32876 SOS 30176 HAS SOPS 30176 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11028.176
AT ITER 776 NEW BEST:: SOT 32876 SOS 30176 HAS SOPS 30176 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10994.176
AT ITER 800 NEW BEST:: SOT 32810 SOS 30110 HAS SOPS 30110 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10850.11
AT ITER 801 NEW BEST:: SOT 32788 SOS 30088 HAS SOPS 30088 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10806.088
AT ITER 814 NEW BEST:: SOT 32770 SOS 30070 HAS SOPS 30070 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10770.07
AT ITER 818 NEW BEST:: SOT 32756 SOS 30056 HAS SOPS 30056 HAS SOUS 10712 HAS SOUPS 10712 WITH SCORE 10742.056
AT ITER 827 NEW BEST:: SOT 32774 SOS 30126 HAS SOPS 30126 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10702.126
AT ITER 837 NEW BEST:: SOT 32772 SOS 30124 HAS SOPS 30124 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10698.124
AT ITER 838 NEW BEST:: SOT 32770 SOS 30122 HAS SOPS 30122 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10694.122
AT ITER 845 NEW BEST:: SOT 32770 SOS 30082 HAS SOPS 30082 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10684.082
AT ITER 846 NEW BEST:: SOT 32752 SOS 30064 HAS SOPS 30064 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10648.064
AT ITER 884 NEW BEST:: SOT 32734 SOS 30142 HAS SOPS 30142 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10640.142
AT ITER 890 NEW BEST:: SOT 32704 SOS 30200 HAS SOPS 30200 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10596.2
AT ITER 891 NEW BEST:: SOT 32630 SOS 30126 HAS SOPS 30126 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10444.126
AT ITER 907 NEW BEST:: SOT 32630 SOS 30126 HAS SOPS 30126 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10420.126
AT ITER 914 NEW BEST:: SOT 32580 SOS 30076 HAS SOPS 30076 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10320.076
AT ITER 916 NEW BEST:: SOT 32516 SOS 30028 HAS SOPS 30028 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10272.028
AT ITER 927 NEW BEST:: SOT 32496 SOS 30008 HAS SOPS 30008 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10232.008
AT ITER 934 NEW BEST:: SOT 32496 SOS 30008 HAS SOPS 30008 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10212.008
AT ITER 937 NEW BEST:: SOT 32476 SOS 29988 HAS SOPS 29988 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10171.988
AT ITER 939 NEW BEST:: SOT 32476 SOS 29988 HAS SOPS 29988 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10167.988
AT ITER 957 NEW BEST:: SOT 32476 SOS 29988 HAS SOPS 29988 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10061.988
AT ITER 962 NEW BEST:: SOT 32476 SOS 29988 HAS SOPS 29988 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10053.988
AT ITER 976 NEW BEST:: SOT 32460 SOS 29972 HAS SOPS 29972 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10021.972
AT ITER 980 NEW BEST:: SOT 32454 SOS 29966 HAS SOPS 29966 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 10009.966
AT ITER 1007 NEW BEST:: SOT 32454 SOS 29966 HAS SOPS 29966 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9981.966
AT ITER 1017 NEW BEST:: SOT 32406 SOS 29906 HAS SOPS 29906 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9957.906
AT ITER 1021 NEW BEST:: SOT 32366 SOS 29854 HAS SOPS 29854 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9905.854
AT ITER 1028 NEW BEST:: SOT 32280 SOS 29768 HAS SOPS 29768 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9803.768
AT ITER 1029 NEW BEST:: SOT 32270 SOS 29758 HAS SOPS 29758 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9783.758
AT ITER 1039 NEW BEST:: SOT 32262 SOS 29750 HAS SOPS 29750 HAS SOUS 9730 HAS SOUPS 9730 WITH SCORE 9759.75
AT ITER 1041 NEW BEST:: SOT 32262 SOS 29750 HAS SOPS 29750 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9721.75
AT ITER 1046 NEW BEST:: SOT 32262 SOS 29750 HAS SOPS 29750 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9699.75
AT ITER 1055 NEW BEST:: SOT 32262 SOS 29732 HAS SOPS 29732 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9689.732
AT ITER 1059 NEW BEST:: SOT 32262 SOS 29822 HAS SOPS 29822 HAS SOUS 9644 HAS SOUPS 9644 WITH SCORE 9673.822
AT ITER 1078 NEW BEST:: SOT 32262 SOS 29822 HAS SOPS 29822 HAS SOUS 9626 HAS SOUPS 9626 WITH SCORE 9655.822
AT ITER 1086 NEW BEST:: SOT 32252 SOS 29812 HAS SOPS 29812 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9635.812
AT ITER 1103 NEW BEST:: SOT 32216 SOS 29776 HAS SOPS 29776 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9563.776
AT ITER 1104 NEW BEST:: SOT 32216 SOS 29776 HAS SOPS 29776 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9553.776
AT ITER 1105 NEW BEST:: SOT 32212 SOS 29766 HAS SOPS 29766 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9543.766
AT ITER 1111 NEW BEST:: SOT 32176 SOS 29730 HAS SOPS 29730 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9471.73
AT ITER 1115 NEW BEST:: SOT 32166 SOS 29720 HAS SOPS 29720 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9447.72
AT ITER 1127 NEW BEST:: SOT 32164 SOS 29718 HAS SOPS 29718 HAS SOUS 9414 HAS SOUPS 9414 WITH SCORE 9443.718
AT ITER 1145 NEW BEST:: SOT 32090 SOS 29644 HAS SOPS 29644 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9295.644
AT ITER 1153 NEW BEST:: SOT 32074 SOS 29628 HAS SOPS 29628 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9259.628
AT ITER 1154 NEW BEST:: SOT 32056 SOS 29610 HAS SOPS 29610 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9223.61
AT ITER 1183 NEW BEST:: SOT 32040 SOS 29594 HAS SOPS 29594 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9191.594
AT ITER 1220 NEW BEST:: SOT 32014 SOS 29568 HAS SOPS 29568 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9139.568
AT ITER 1224 NEW BEST:: SOT 31982 SOS 29536 HAS SOPS 29536 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9075.536
AT ITER 1227 NEW BEST:: SOT 31982 SOS 29536 HAS SOPS 29536 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9029.536
AT ITER 1254 NEW BEST:: SOT 31980 SOS 29534 HAS SOPS 29534 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9025.534
AT ITER 1269 NEW BEST:: SOT 31980 SOS 29534 HAS SOPS 29534 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9015.534
AT ITER 1278 NEW BEST:: SOT 31968 SOS 29522 HAS SOPS 29522 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8991.522
AT ITER 1280 NEW BEST:: SOT 31968 SOS 29522 HAS SOPS 29522 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8969.522
AT ITER 1296 NEW BEST:: SOT 31964 SOS 29518 HAS SOPS 29518 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8961.518
AT ITER 1302 NEW BEST:: SOT 31948 SOS 29502 HAS SOPS 29502 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8929.502
AT ITER 1342 NEW BEST:: SOT 31946 SOS 29460 HAS SOPS 29460 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8887.46
AT ITER 1357 NEW BEST:: SOT 31582 SOS 29164 HAS SOPS 29164 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8591.164
AT ITER 1361 NEW BEST:: SOT 30172 SOS 27836 HAS SOPS 27836 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7261.836
AT ITER 1379 NEW BEST:: SOT 30172 SOS 27800 HAS SOPS 27800 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7259.8
AT ITER 1415 NEW BEST:: SOT 30108 SOS 27736 HAS SOPS 27736 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7131.736
AT ITER 1438 NEW BEST:: SOT 30108 SOS 27736 HAS SOPS 27736 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7097.736
AT ITER 1442 NEW BEST:: SOT 30080 SOS 27708 HAS SOPS 27708 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7041.708
AT ITER 1447 NEW BEST:: SOT 30076 SOS 27704 HAS SOPS 27704 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7033.704
AT ITER 1454 NEW BEST:: SOT 30050 SOS 27678 HAS SOPS 27678 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6981.678
AT ITER 1469 NEW BEST:: SOT 30040 SOS 27668 HAS SOPS 27668 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6961.668
AT ITER 1503 NEW BEST:: SOT 30032 SOS 27660 HAS SOPS 27660 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6945.66
AT ITER 1523 NEW BEST:: SOT 30028 SOS 27656 HAS SOPS 27656 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6937.656
AT ITER 1537 NEW BEST:: SOT 30028 SOS 27656 HAS SOPS 27656 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6875.656
AT ITER 1573 NEW BEST:: SOT 30018 SOS 27646 HAS SOPS 27646 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6855.646
AT ITER 1578 NEW BEST:: SOT 30010 SOS 27638 HAS SOPS 27638 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6839.638
AT ITER 1601 NEW BEST:: SOT 30006 SOS 27634 HAS SOPS 27634 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6831.634
AT ITER 1607 NEW BEST:: SOT 30004 SOS 27632 HAS SOPS 27632 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6827.632
AT ITER 1627 NEW BEST:: SOT 29996 SOS 27624 HAS SOPS 27624 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6819.624
AT ITER 1640 NEW BEST:: SOT 29984 SOS 27612 HAS SOPS 27612 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6795.612
AT ITER 1641 NEW BEST:: SOT 29982 SOS 27610 HAS SOPS 27610 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6791.61
AT ITER 1653 NEW BEST:: SOT 29966 SOS 27594 HAS SOPS 27594 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6759.594
AT ITER 1667 NEW BEST:: SOT 29966 SOS 27594 HAS SOPS 27594 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6757.594
AT ITER 1668 NEW BEST:: SOT 29958 SOS 27586 HAS SOPS 27586 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6741.586
AT ITER 1681 NEW BEST:: SOT 29944 SOS 27572 HAS SOPS 27572 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6713.572
AT ITER 1683 NEW BEST:: SOT 29936 SOS 27564 HAS SOPS 27564 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6695.564
AT ITER 1708 NEW BEST:: SOT 29898 SOS 27548 HAS SOPS 27548 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6679.548
AT ITER 1716 NEW BEST:: SOT 29848 SOS 27536 HAS SOPS 27536 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6653.536
AT ITER 1719 NEW BEST:: SOT 29848 SOS 27532 HAS SOPS 27532 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6649.532
AT ITER 1724 NEW BEST:: SOT 29848 SOS 27534 HAS SOPS 27534 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6639.534
AT ITER 1740 NEW BEST:: SOT 29848 SOS 27534 HAS SOPS 27534 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6611.534
AT ITER 1747 NEW BEST:: SOT 29842 SOS 27528 HAS SOPS 27528 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6599.528
AT ITER 1749 NEW BEST:: SOT 29828 SOS 27514 HAS SOPS 27514 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6571.514
AT ITER 1750 NEW BEST:: SOT 29826 SOS 27512 HAS SOPS 27512 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6567.512
AT ITER 1756 NEW BEST:: SOT 29814 SOS 27500 HAS SOPS 27500 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6543.5
AT ITER 1778 NEW BEST:: SOT 29786 SOS 27472 HAS SOPS 27472 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6487.472
AT ITER 1790 NEW BEST:: SOT 29784 SOS 27470 HAS SOPS 27470 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6483.47
AT ITER 1803 NEW BEST:: SOT 29768 SOS 27454 HAS SOPS 27454 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6451.454
AT ITER 1808 NEW BEST:: SOT 29724 SOS 27410 HAS SOPS 27410 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6363.41
AT ITER 1821 NEW BEST:: SOT 29724 SOS 27410 HAS SOPS 27410 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6355.41
AT ITER 1828 NEW BEST:: SOT 29704 SOS 27390 HAS SOPS 27390 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6299.39
AT ITER 1849 NEW BEST:: SOT 29682 SOS 27368 HAS SOPS 27368 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6255.368
AT ITER 1857 NEW BEST:: SOT 29682 SOS 27366 HAS SOPS 27366 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6243.366
AT ITER 1860 NEW BEST:: SOT 29678 SOS 27362 HAS SOPS 27362 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6235.362
AT ITER 1878 NEW BEST:: SOT 29676 SOS 27360 HAS SOPS 27360 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6231.36
AT ITER 1882 NEW BEST:: SOT 29670 SOS 27344 HAS SOPS 27344 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6215.344
AT ITER 1884 NEW BEST:: SOT 29666 SOS 27340 HAS SOPS 27340 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6207.34
AT ITER 1909 NEW BEST:: SOT 29660 SOS 27334 HAS SOPS 27334 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6195.334
AT ITER 1928 NEW BEST:: SOT 29652 SOS 27330 HAS SOPS 27330 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6161.33
AT ITER 1942 NEW BEST:: SOT 29646 SOS 27324 HAS SOPS 27324 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6149.324
AT ITER 1995 NEW BEST:: SOT 29622 SOS 27300 HAS SOPS 27300 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6101.3
AT ITER 2011 NEW BEST:: SOT 29622 SOS 27300 HAS SOPS 27300 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6079.3
AT ITER 2031 NEW BEST:: SOT 29622 SOS 27300 HAS SOPS 27300 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6067.3
AT ITER 2039 NEW BEST:: SOT 29378 SOS 27056 HAS SOPS 27056 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5791.056
AT ITER 2082 NEW BEST:: SOT 29378 SOS 27072 HAS SOPS 27072 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5787.072
AT ITER 2104 NEW BEST:: SOT 29378 SOS 27072 HAS SOPS 27072 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5783.072
AT ITER 2136 NEW BEST:: SOT 29374 SOS 27068 HAS SOPS 27068 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5775.068
AT ITER 2166 NEW BEST:: SOT 29434 SOS 27128 HAS SOPS 27128 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5759.128
AT ITER 2168 NEW BEST:: SOT 29420 SOS 27114 HAS SOPS 27114 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5731.114
AT ITER 2173 NEW BEST:: SOT 29410 SOS 27104 HAS SOPS 27104 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5699.104
AT ITER 2189 NEW BEST:: SOT 29378 SOS 27072 HAS SOPS 27072 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5635.072
AT ITER 2208 NEW BEST:: SOT 29366 SOS 27060 HAS SOPS 27060 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5611.06
AT ITER 2224 NEW BEST:: SOT 29362 SOS 27056 HAS SOPS 27056 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5603.056
AT ITER 2265 NEW BEST:: SOT 29362 SOS 27056 HAS SOPS 27056 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5595.056
AT ITER 2266 NEW BEST:: SOT 29340 SOS 27034 HAS SOPS 27034 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5531.034
AT ITER 2279 NEW BEST:: SOT 29338 SOS 27032 HAS SOPS 27032 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5527.032
AT ITER 2294 NEW BEST:: SOT 29334 SOS 27028 HAS SOPS 27028 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5519.028
AT ITER 2299 NEW BEST:: SOT 29276 SOS 26970 HAS SOPS 26970 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5402.97
AT ITER 2302 NEW BEST:: SOT 29276 SOS 26958 HAS SOPS 26958 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5390.958
AT ITER 2349 NEW BEST:: SOT 29258 SOS 26940 HAS SOPS 26940 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5354.94
AT ITER 2370 NEW BEST:: SOT 29254 SOS 26936 HAS SOPS 26936 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5346.936
AT ITER 2406 NEW BEST:: SOT 29250 SOS 26932 HAS SOPS 26932 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5338.932
AT ITER 2408 NEW BEST:: SOT 29228 SOS 26910 HAS SOPS 26910 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5294.91
AT ITER 2415 NEW BEST:: SOT 29228 SOS 26910 HAS SOPS 26910 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5280.91
AT ITER 2431 NEW BEST:: SOT 29200 SOS 26882 HAS SOPS 26882 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5224.882
AT ITER 2450 NEW BEST:: SOT 29192 SOS 26874 HAS SOPS 26874 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5208.874
AT ITER 2475 NEW BEST:: SOT 29190 SOS 26872 HAS SOPS 26872 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5204.872
AT ITER 2585 NEW BEST:: SOT 29176 SOS 26858 HAS SOPS 26858 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5176.858
AT ITER 2599 NEW BEST:: SOT 29162 SOS 26844 HAS SOPS 26844 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5150.844
AT ITER 2631 NEW BEST:: SOT 29160 SOS 26842 HAS SOPS 26842 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5144.842
AT ITER 2633 NEW BEST:: SOT 29132 SOS 26814 HAS SOPS 26814 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5088.814
AT ITER 2635 NEW BEST:: SOT 29132 SOS 26814 HAS SOPS 26814 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5084.814
AT ITER 2661 NEW BEST:: SOT 29128 SOS 26810 HAS SOPS 26810 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5076.81
AT ITER 2662 NEW BEST:: SOT 29128 SOS 26794 HAS SOPS 26794 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5060.794
AT ITER 2678 NEW BEST:: SOT 29108 SOS 26774 HAS SOPS 26774 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5030.774
AT ITER 2697 NEW BEST:: SOT 29070 SOS 26752 HAS SOPS 26752 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4958.752
AT ITER 2717 NEW BEST:: SOT 29062 SOS 26744 HAS SOPS 26744 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4942.744
AT ITER 2727 NEW BEST:: SOT 29052 SOS 26734 HAS SOPS 26734 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4922.734
AT ITER 2777 NEW BEST:: SOT 28782 SOS 26590 HAS SOPS 26590 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4800.59
AT ITER 2779 NEW BEST:: SOT 28782 SOS 26590 HAS SOPS 26590 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4788.59
AT ITER 2783 NEW BEST:: SOT 28482 SOS 26348 HAS SOPS 26348 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4516.348
AT ITER 2790 NEW BEST:: SOT 28466 SOS 26332 HAS SOPS 26332 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4484.332
AT ITER 2799 NEW BEST:: SOT 28464 SOS 26330 HAS SOPS 26330 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4480.33
AT ITER 2862 NEW BEST:: SOT 28448 SOS 26314 HAS SOPS 26314 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4436.314
AT ITER 2876 NEW BEST:: SOT 28446 SOS 26360 HAS SOPS 26360 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4428.36
AT ITER 2888 NEW BEST:: SOT 28174 SOS 27278 HAS SOPS 27278 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4201.278
AT ITER 2915 NEW BEST:: SOT 28140 SOS 27246 HAS SOPS 27246 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4147.246
AT ITER 2923 NEW BEST:: SOT 28088 SOS 27220 HAS SOPS 27220 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4083.22
AT ITER 2937 NEW BEST:: SOT 28084 SOS 27216 HAS SOPS 27216 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4075.216
AT ITER 2949 NEW BEST:: SOT 28072 SOS 27204 HAS SOPS 27204 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4051.204
AT ITER 2967 NEW BEST:: SOT 28070 SOS 27202 HAS SOPS 27202 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4047.202
AT ITER 2975 NEW BEST:: SOT 28068 SOS 27200 HAS SOPS 27200 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4043.2
AT ITER 3013 NEW BEST:: SOT 28064 SOS 27196 HAS SOPS 27196 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4035.196
AT ITER 3014 NEW BEST:: SOT 28064 SOS 27196 HAS SOPS 27196 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4025.196
AT ITER 3022 NEW BEST:: SOT 28054 SOS 27186 HAS SOPS 27186 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 4005.186
AT ITER 3037 NEW BEST:: SOT 28054 SOS 26024 HAS SOPS 26024 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3992.024
AT ITER 3048 NEW BEST:: SOT 28052 SOS 26022 HAS SOPS 26022 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3988.022
AT ITER 3052 NEW BEST:: SOT 28048 SOS 26018 HAS SOPS 26018 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3980.018
AT ITER 3054 NEW BEST:: SOT 28030 SOS 26000 HAS SOPS 26000 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3944.0
AT ITER 3093 NEW BEST:: SOT 28016 SOS 25986 HAS SOPS 25986 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3915.986
AT ITER 3111 NEW BEST:: SOT 28010 SOS 25980 HAS SOPS 25980 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3885.98
AT ITER 3187 NEW BEST:: SOT 27998 SOS 25968 HAS SOPS 25968 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3861.968
AT ITER 3225 NEW BEST:: SOT 27994 SOS 25964 HAS SOPS 25964 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3853.964
AT ITER 3285 NEW BEST:: SOT 27994 SOS 25958 HAS SOPS 25958 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3847.958
AT ITER 3296 NEW BEST:: SOT 27778 SOS 25800 HAS SOPS 25800 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3689.8
AT ITER 3299 NEW BEST:: SOT 27778 SOS 25798 HAS SOPS 25798 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3689.798
AT ITER 3314 NEW BEST:: SOT 27772 SOS 25792 HAS SOPS 25792 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3677.792
AT ITER 3327 NEW BEST:: SOT 27764 SOS 25784 HAS SOPS 25784 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3661.784
AT ITER 3331 NEW BEST:: SOT 27752 SOS 25772 HAS SOPS 25772 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3637.772
AT ITER 3412 NEW BEST:: SOT 27750 SOS 25770 HAS SOPS 25770 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3633.77
AT ITER 3415 NEW BEST:: SOT 27748 SOS 25768 HAS SOPS 25768 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3629.768
AT ITER 3447 NEW BEST:: SOT 27740 SOS 25760 HAS SOPS 25760 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3613.76
AT ITER 3461 NEW BEST:: SOT 27726 SOS 25746 HAS SOPS 25746 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3585.746
AT ITER 3493 NEW BEST:: SOT 27714 SOS 25734 HAS SOPS 25734 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3561.734
AT ITER 3515 NEW BEST:: SOT 27702 SOS 25722 HAS SOPS 25722 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3537.722
AT ITER 3530 NEW BEST:: SOT 27682 SOS 25702 HAS SOPS 25702 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3497.702
AT ITER 3536 NEW BEST:: SOT 27674 SOS 25694 HAS SOPS 25694 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3481.694
AT ITER 3562 NEW BEST:: SOT 27674 SOS 25690 HAS SOPS 25690 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3477.69
AT ITER 3567 NEW BEST:: SOT 27672 SOS 25688 HAS SOPS 25688 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3457.688
AT ITER 3574 NEW BEST:: SOT 27666 SOS 25682 HAS SOPS 25682 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3445.682
AT ITER 3646 NEW BEST:: SOT 27660 SOS 25676 HAS SOPS 25676 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3433.676
AT ITER 3661 NEW BEST:: SOT 27660 SOS 25670 HAS SOPS 25670 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3433.67
AT ITER 3664 NEW BEST:: SOT 27648 SOS 25658 HAS SOPS 25658 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3415.658
AT ITER 3749 NEW BEST:: SOT 27648 SOS 25646 HAS SOPS 25646 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3415.646
AT ITER 3758 NEW BEST:: SOT 27630 SOS 25628 HAS SOPS 25628 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3379.628
AT ITER 3812 NEW BEST:: SOT 27628 SOS 25626 HAS SOPS 25626 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3375.626
AT ITER 3872 NEW BEST:: SOT 27618 SOS 25616 HAS SOPS 25616 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3355.616
AT ITER 3880 NEW BEST:: SOT 27608 SOS 25606 HAS SOPS 25606 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3335.606
AT ITER 3914 NEW BEST:: SOT 27604 SOS 25602 HAS SOPS 25602 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3327.602
AT ITER 4063 NEW BEST:: SOT 27604 SOS 25602 HAS SOPS 25602 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3321.602
AT ITER 4084 NEW BEST:: SOT 27602 SOS 25600 HAS SOPS 25600 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3317.6
AT ITER 4092 NEW BEST:: SOT 27600 SOS 25598 HAS SOPS 25598 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3313.598
AT ITER 4103 NEW BEST:: SOT 27598 SOS 25596 HAS SOPS 25596 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3309.596
AT ITER 4170 NEW BEST:: SOT 27594 SOS 25592 HAS SOPS 25592 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3301.592
AT ITER 4226 NEW BEST:: SOT 27592 SOS 25590 HAS SOPS 25590 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3297.59
AT ITER 4274 NEW BEST:: SOT 27576 SOS 25548 HAS SOPS 25548 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3291.548
AT ITER 4365 NEW BEST:: SOT 27568 SOS 25540 HAS SOPS 25540 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3275.54
AT ITER 4395 NEW BEST:: SOT 27556 SOS 25512 HAS SOPS 25512 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3247.512
AT ITER 4405 NEW BEST:: SOT 27556 SOS 25514 HAS SOPS 25514 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3243.514
AT ITER 4540 NEW BEST:: SOT 27552 SOS 25510 HAS SOPS 25510 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3235.51
AT ITER 4606 NEW BEST:: SOT 27540 SOS 25498 HAS SOPS 25498 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3211.498
AT ITER 4611 NEW BEST:: SOT 27540 SOS 25494 HAS SOPS 25494 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3207.494
AT ITER 4631 NEW BEST:: SOT 27538 SOS 25492 HAS SOPS 25492 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3203.492
AT ITER 4677 NEW BEST:: SOT 27510 SOS 25464 HAS SOPS 25464 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3147.464
AT ITER 4697 NEW BEST:: SOT 27496 SOS 25450 HAS SOPS 25450 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3119.45
AT ITER 4726 NEW BEST:: SOT 27496 SOS 25450 HAS SOPS 25450 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3113.45
AT ITER 4771 NEW BEST:: SOT 27486 SOS 25440 HAS SOPS 25440 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3093.44
AT ITER 4834 NEW BEST:: SOT 27484 SOS 25438 HAS SOPS 25438 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3075.438
AT ITER 4836 NEW BEST:: SOT 27482 SOS 25436 HAS SOPS 25436 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3071.436
AT ITER 4917 NEW BEST:: SOT 27388 SOS 25370 HAS SOPS 25370 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 3005.37
AT ITER 4956 NEW BEST:: SOT 27378 SOS 25360 HAS SOPS 25360 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2977.36
AT ITER 5004 NEW BEST:: SOT 27376 SOS 25358 HAS SOPS 25358 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2973.358
AT ITER 5032 NEW BEST:: SOT 27376 SOS 25358 HAS SOPS 25358 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2963.358
AT ITER 5219 NEW BEST:: SOT 27374 SOS 25356 HAS SOPS 25356 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2959.356
AT ITER 5230 NEW BEST:: SOT 27368 SOS 25350 HAS SOPS 25350 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2947.35
AT ITER 5245 NEW BEST:: SOT 27368 SOS 25360 HAS SOPS 25360 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2931.36
AT ITER 5290 NEW BEST:: SOT 27368 SOS 25368 HAS SOPS 25368 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2929.368
AT ITER 5299 NEW BEST:: SOT 27358 SOS 25358 HAS SOPS 25358 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2909.358
AT ITER 5360 NEW BEST:: SOT 27356 SOS 25356 HAS SOPS 25356 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2905.356
AT ITER 5379 NEW BEST:: SOT 27342 SOS 25342 HAS SOPS 25342 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2877.342
AT ITER 5537 NEW BEST:: SOT 27334 SOS 25334 HAS SOPS 25334 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2855.334
AT ITER 5555 NEW BEST:: SOT 27332 SOS 25332 HAS SOPS 25332 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2851.332
AT ITER 5618 NEW BEST:: SOT 27330 SOS 25330 HAS SOPS 25330 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2847.33
AT ITER 5627 NEW BEST:: SOT 27324 SOS 25324 HAS SOPS 25324 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2841.324
AT ITER 5725 NEW BEST:: SOT 27328 SOS 25328 HAS SOPS 25328 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2839.328
AT ITER 5769 NEW BEST:: SOT 27328 SOS 25322 HAS SOPS 25322 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2833.322
AT ITER 5808 NEW BEST:: SOT 27322 SOS 25316 HAS SOPS 25316 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2821.316
AT ITER 5840 NEW BEST:: SOT 27320 SOS 25314 HAS SOPS 25314 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2817.314
AT ITER 5882 NEW BEST:: SOT 27316 SOS 25310 HAS SOPS 25310 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2809.31
AT ITER 5897 NEW BEST:: SOT 27314 SOS 25308 HAS SOPS 25308 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2805.308
AT ITER 5987 NEW BEST:: SOT 27310 SOS 25304 HAS SOPS 25304 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2797.304
AT ITER 6011 NEW BEST:: SOT 27296 SOS 25290 HAS SOPS 25290 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2769.29
AT ITER 6094 NEW BEST:: SOT 27292 SOS 25286 HAS SOPS 25286 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2761.286
AT ITER 6097 NEW BEST:: SOT 27284 SOS 25278 HAS SOPS 25278 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2745.278
AT ITER 6157 NEW BEST:: SOT 27282 SOS 25276 HAS SOPS 25276 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2741.276
AT ITER 6173 NEW BEST:: SOT 27282 SOS 24518 HAS SOPS 24518 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2740.518
AT ITER 6185 NEW BEST:: SOT 27282 SOS 24514 HAS SOPS 24514 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2736.514
AT ITER 6218 NEW BEST:: SOT 27272 SOS 24504 HAS SOPS 24504 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2716.504
AT ITER 6310 NEW BEST:: SOT 27272 SOS 24504 HAS SOPS 24504 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2708.504
AT ITER 6313 NEW BEST:: SOT 27268 SOS 24500 HAS SOPS 24500 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2700.5
AT ITER 6366 NEW BEST:: SOT 27264 SOS 24496 HAS SOPS 24496 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2692.496
AT ITER 6716 NEW BEST:: SOT 27258 SOS 24490 HAS SOPS 24490 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2680.49
AT ITER 6841 NEW BEST:: SOT 27254 SOS 24486 HAS SOPS 24486 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2672.486
AT ITER 7097 NEW BEST:: SOT 27246 SOS 24478 HAS SOPS 24478 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2656.478
AT ITER 7148 NEW BEST:: SOT 27246 SOS 24476 HAS SOPS 24476 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2656.476
AT ITER 7162 NEW BEST:: SOT 27242 SOS 24472 HAS SOPS 24472 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2648.472
AT ITER 7318 NEW BEST:: SOT 27238 SOS 24468 HAS SOPS 24468 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2640.468
AT ITER 7336 NEW BEST:: SOT 27236 SOS 24466 HAS SOPS 24466 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2636.466
AT ITER 7345 NEW BEST:: SOT 27234 SOS 24472 HAS SOPS 24472 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2616.472
AT ITER 7381 NEW BEST:: SOT 27230 SOS 24468 HAS SOPS 24468 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2608.468
AT ITER 7475 NEW BEST:: SOT 27224 SOS 24462 HAS SOPS 24462 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2596.462
AT ITER 7495 NEW BEST:: SOT 27212 SOS 24450 HAS SOPS 24450 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2584.45
AT ITER 7592 NEW BEST:: SOT 27212 SOS 24450 HAS SOPS 24450 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2578.45
AT ITER 7630 NEW BEST:: SOT 27208 SOS 24446 HAS SOPS 24446 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2570.446
AT ITER 7727 NEW BEST:: SOT 27206 SOS 24444 HAS SOPS 24444 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2566.444
AT ITER 7865 NEW BEST:: SOT 27188 SOS 24614 HAS SOPS 24614 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2552.614
AT ITER 7930 NEW BEST:: SOT 27184 SOS 24610 HAS SOPS 24610 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2544.61
AT ITER 7955 NEW BEST:: SOT 27180 SOS 24606 HAS SOPS 24606 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2536.606
AT ITER 7998 NEW BEST:: SOT 27176 SOS 24602 HAS SOPS 24602 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2528.602
AT ITER 8102 NEW BEST:: SOT 27172 SOS 24598 HAS SOPS 24598 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2518.598
AT ITER 8112 NEW BEST:: SOT 27170 SOS 24596 HAS SOPS 24596 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2514.596
AT ITER 8129 NEW BEST:: SOT 27168 SOS 24594 HAS SOPS 24594 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2510.594
AT ITER 8170 NEW BEST:: SOT 27166 SOS 24592 HAS SOPS 24592 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2506.592
AT ITER 8231 NEW BEST:: SOT 27166 SOS 24592 HAS SOPS 24592 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2488.592
AT ITER 8361 NEW BEST:: SOT 27160 SOS 24586 HAS SOPS 24586 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2476.586
AT ITER 8372 NEW BEST:: SOT 27140 SOS 24566 HAS SOPS 24566 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2456.566
AT ITER 8440 NEW BEST:: SOT 27136 SOS 24564 HAS SOPS 24564 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2454.564
AT ITER 8508 NEW BEST:: SOT 27134 SOS 24562 HAS SOPS 24562 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2450.562
AT ITER 8568 NEW BEST:: SOT 27132 SOS 24560 HAS SOPS 24560 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2446.56
AT ITER 8589 NEW BEST:: SOT 27132 SOS 24544 HAS SOPS 24544 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2430.544
AT ITER 8613 NEW BEST:: SOT 27132 SOS 24544 HAS SOPS 24544 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2428.544
AT ITER 8737 NEW BEST:: SOT 27132 SOS 24544 HAS SOPS 24544 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2424.544
AT ITER 8896 NEW BEST:: SOT 27128 SOS 24540 HAS SOPS 24540 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2416.54
AT ITER 8937 NEW BEST:: SOT 27078 SOS 24528 HAS SOPS 24528 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2404.528
AT ITER 8994 NEW BEST:: SOT 27074 SOS 24524 HAS SOPS 24524 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2396.524
AT ITER 9032 NEW BEST:: SOT 27074 SOS 24518 HAS SOPS 24518 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2390.518
AT ITER 9051 NEW BEST:: SOT 27058 SOS 24490 HAS SOPS 24490 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2362.49
AT ITER 9349 NEW BEST:: SOT 27046 SOS 24478 HAS SOPS 24478 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2338.478
AT ITER 9364 NEW BEST:: SOT 27044 SOS 24476 HAS SOPS 24476 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2334.476
AT ITER 9634 NEW BEST:: SOT 27042 SOS 24474 HAS SOPS 24474 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2330.474
AT ITER 9725 NEW BEST:: SOT 27040 SOS 24472 HAS SOPS 24472 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2326.472
AT ITER 9750 NEW BEST:: SOT 27038 SOS 24470 HAS SOPS 24470 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2322.47
AT ITER 9760 NEW BEST:: SOT 27036 SOS 24468 HAS SOPS 24468 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2318.468
AT ITER 9806 NEW BEST:: SOT 27036 SOS 24470 HAS SOPS 24470 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2316.47
AT ITER 9927 NEW BEST:: SOT 27032 SOS 24466 HAS SOPS 24466 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2308.466
STATE_SPACE STATES 1124 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 120 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10440 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679021508494
--------------------
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
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="RwMutex-PT-r0010w0100"
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 RwMutex-PT-r0010w0100, 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 r363-smll-167891813700136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0010w0100.tgz
mv RwMutex-PT-r0010w0100 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 ;