About the Execution of Smart+red for SmartHome-PT-07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 370.115 | 59972.00 | 66520.00 | 574.10 | 3.4115E+0011 3.1251E+0012 1 10 | 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.r459-smll-167912650900208.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 SmartHome-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900208
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.8K Feb 26 05:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 26 05:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 05:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 05:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 05:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 05:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 63K 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 1679259948724
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=SmartHome-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:05:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:05:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:05:51] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2023-03-19 21:05:51] [INFO ] Transformed 251 places.
[2023-03-19 21:05:51] [INFO ] Transformed 290 transitions.
[2023-03-19 21:05:51] [INFO ] Found NUPN structural information;
[2023-03-19 21:05:51] [INFO ] Parsed PT model containing 251 places and 290 transitions and 658 arcs in 260 ms.
[2023-03-19 21:05:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 251 places, 290 transitions and 658 arcs took 9 ms.
Total runtime 342 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 07
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: 251 places, 290 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 43536 SOS 10676 HAS SOPS 10676 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10353.676
AT ITER 10 NEW BEST:: SOT 43544 SOS 10672 HAS SOPS 10672 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10349.672
AT ITER 21 NEW BEST:: SOT 43544 SOS 10661 HAS SOPS 10661 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10338.661
AT ITER 32 NEW BEST:: SOT 43520 SOS 10613 HAS SOPS 10613 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10290.613
AT ITER 42 NEW BEST:: SOT 43038 SOS 10533 HAS SOPS 10533 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9896.533
AT ITER 51 NEW BEST:: SOT 43036 SOS 10529 HAS SOPS 10529 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.529
AT ITER 58 NEW BEST:: SOT 43004 SOS 10465 HAS SOPS 10465 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9813.465
AT ITER 86 NEW BEST:: SOT 42989 SOS 10435 HAS SOPS 10435 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9759.435
AT ITER 89 NEW BEST:: SOT 42989 SOS 10406 HAS SOPS 10406 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9730.406
AT ITER 103 NEW BEST:: SOT 42893 SOS 10370 HAS SOPS 10370 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.37
AT ITER 119 NEW BEST:: SOT 42893 SOS 10408 HAS SOPS 10408 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9624.408
AT ITER 126 NEW BEST:: SOT 42870 SOS 10408 HAS SOPS 10408 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9601.408
AT ITER 134 NEW BEST:: SOT 42854 SOS 10427 HAS SOPS 10427 HAS SOUS 9559 HAS SOUPS 9559 WITH SCORE 9569.427
AT ITER 137 NEW BEST:: SOT 42850 SOS 10419 HAS SOPS 10419 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9561.419
AT ITER 145 NEW BEST:: SOT 42836 SOS 10391 HAS SOPS 10391 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9510.391
AT ITER 152 NEW BEST:: SOT 42826 SOS 10371 HAS SOPS 10371 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9495.371
AT ITER 158 NEW BEST:: SOT 42824 SOS 10351 HAS SOPS 10351 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9482.351
AT ITER 162 NEW BEST:: SOT 42858 SOS 10402 HAS SOPS 10402 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9475.402
AT ITER 164 NEW BEST:: SOT 42810 SOS 10384 HAS SOPS 10384 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9433.384
AT ITER 176 NEW BEST:: SOT 42810 SOS 10384 HAS SOPS 10384 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9430.384
AT ITER 192 NEW BEST:: SOT 42772 SOS 10363 HAS SOPS 10363 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9392.363
AT ITER 197 NEW BEST:: SOT 42770 SOS 10359 HAS SOPS 10359 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9390.359
AT ITER 206 NEW BEST:: SOT 42704 SOS 10197 HAS SOPS 10197 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9251.197
AT ITER 213 NEW BEST:: SOT 42691 SOS 10171 HAS SOPS 10171 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.171
AT ITER 222 NEW BEST:: SOT 42702 SOS 10143 HAS SOPS 10143 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9205.143
AT ITER 227 NEW BEST:: SOT 42533 SOS 10165 HAS SOPS 10165 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9056.165
AT ITER 233 NEW BEST:: SOT 42525 SOS 10149 HAS SOPS 10149 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9040.149
AT ITER 244 NEW BEST:: SOT 42525 SOS 10146 HAS SOPS 10146 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9037.146
AT ITER 248 NEW BEST:: SOT 42497 SOS 10090 HAS SOPS 10090 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8911.09
AT ITER 259 NEW BEST:: SOT 42492 SOS 10085 HAS SOPS 10085 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8911.085
AT ITER 266 NEW BEST:: SOT 42452 SOS 9965 HAS SOPS 9965 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8830.965
AT ITER 300 NEW BEST:: SOT 42441 SOS 9943 HAS SOPS 9943 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8807.943
AT ITER 311 NEW BEST:: SOT 42437 SOS 9935 HAS SOPS 9935 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8799.935
AT ITER 328 NEW BEST:: SOT 42426 SOS 9913 HAS SOPS 9913 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8777.913
AT ITER 331 NEW BEST:: SOT 42294 SOS 9910 HAS SOPS 9910 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8725.91
AT ITER 332 NEW BEST:: SOT 42206 SOS 10474 HAS SOPS 10474 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8723.474
AT ITER 334 NEW BEST:: SOT 42202 SOS 10466 HAS SOPS 10466 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8715.466
AT ITER 365 NEW BEST:: SOT 42125 SOS 10950 HAS SOPS 10950 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8673.95
AT ITER 400 NEW BEST:: SOT 42089 SOS 10913 HAS SOPS 10913 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8666.913
AT ITER 404 NEW BEST:: SOT 42080 SOS 10895 HAS SOPS 10895 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8657.895
AT ITER 453 NEW BEST:: SOT 42077 SOS 10892 HAS SOPS 10892 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8657.892
AT ITER 512 NEW BEST:: SOT 42095 SOS 10928 HAS SOPS 10928 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8643.928
AT ITER 519 NEW BEST:: SOT 42089 SOS 10916 HAS SOPS 10916 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8631.916
AT ITER 521 NEW BEST:: SOT 42066 SOS 10810 HAS SOPS 10810 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8571.81
AT ITER 547 NEW BEST:: SOT 42066 SOS 10780 HAS SOPS 10780 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8571.78
AT ITER 550 NEW BEST:: SOT 41920 SOS 11358 HAS SOPS 11358 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8491.358
AT ITER 563 NEW BEST:: SOT 41842 SOS 11261 HAS SOPS 11261 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8453.261
AT ITER 576 NEW BEST:: SOT 41824 SOS 11225 HAS SOPS 11225 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8439.225
AT ITER 584 NEW BEST:: SOT 41818 SOS 11219 HAS SOPS 11219 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8427.219
AT ITER 586 NEW BEST:: SOT 41620 SOS 11287 HAS SOPS 11287 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8237.287
AT ITER 603 NEW BEST:: SOT 41618 SOS 11283 HAS SOPS 11283 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.283
AT ITER 604 NEW BEST:: SOT 41570 SOS 11235 HAS SOPS 11235 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8231.235
AT ITER 612 NEW BEST:: SOT 41441 SOS 12254 HAS SOPS 12254 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8222.254
AT ITER 617 NEW BEST:: SOT 41427 SOS 12239 HAS SOPS 12239 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8207.239
AT ITER 618 NEW BEST:: SOT 41405 SOS 12235 HAS SOPS 12235 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8203.235
AT ITER 626 NEW BEST:: SOT 41382 SOS 12214 HAS SOPS 12214 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8180.214
AT ITER 649 NEW BEST:: SOT 41305 SOS 12351 HAS SOPS 12351 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8149.351
AT ITER 665 NEW BEST:: SOT 41290 SOS 12336 HAS SOPS 12336 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8148.336
AT ITER 687 NEW BEST:: SOT 41330 SOS 12300 HAS SOPS 12300 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8143.3
AT ITER 693 NEW BEST:: SOT 41322 SOS 12284 HAS SOPS 12284 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8143.284
AT ITER 708 NEW BEST:: SOT 41321 SOS 12282 HAS SOPS 12282 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8127.282
AT ITER 713 NEW BEST:: SOT 41338 SOS 12316 HAS SOPS 12316 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8121.316
AT ITER 718 NEW BEST:: SOT 41312 SOS 12290 HAS SOPS 12290 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8120.29
AT ITER 731 NEW BEST:: SOT 41297 SOS 12260 HAS SOPS 12260 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8120.26
AT ITER 756 NEW BEST:: SOT 41297 SOS 12260 HAS SOPS 12260 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8117.26
AT ITER 790 NEW BEST:: SOT 41291 SOS 12254 HAS SOPS 12254 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8111.254
AT ITER 810 NEW BEST:: SOT 41291 SOS 12254 HAS SOPS 12254 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8108.254
AT ITER 819 NEW BEST:: SOT 41241 SOS 12204 HAS SOPS 12204 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8033.204
AT ITER 825 NEW BEST:: SOT 41239 SOS 12200 HAS SOPS 12200 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8024.2
AT ITER 836 NEW BEST:: SOT 41239 SOS 12200 HAS SOPS 12200 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8001.2
AT ITER 841 NEW BEST:: SOT 41230 SOS 12182 HAS SOPS 12182 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7993.182
AT ITER 867 NEW BEST:: SOT 41230 SOS 12132 HAS SOPS 12132 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7993.132
AT ITER 911 NEW BEST:: SOT 41194 SOS 12042 HAS SOPS 12042 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7898.042
AT ITER 943 NEW BEST:: SOT 41180 SOS 12287 HAS SOPS 12287 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7884.287
AT ITER 958 NEW BEST:: SOT 41191 SOS 12049 HAS SOPS 12049 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7875.049
AT ITER 968 NEW BEST:: SOT 41174 SOS 12036 HAS SOPS 12036 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7864.036
AT ITER 970 NEW BEST:: SOT 41158 SOS 12004 HAS SOPS 12004 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7853.004
AT ITER 972 NEW BEST:: SOT 41154 SOS 11122 HAS SOPS 11122 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7812.122
AT ITER 986 NEW BEST:: SOT 41097 SOS 11008 HAS SOPS 11008 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7720.008
AT ITER 1001 NEW BEST:: SOT 41097 SOS 10986 HAS SOPS 10986 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7697.986
AT ITER 1011 NEW BEST:: SOT 41094 SOS 10990 HAS SOPS 10990 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7691.99
AT ITER 1032 NEW BEST:: SOT 41090 SOS 10982 HAS SOPS 10982 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7687.982
AT ITER 1038 NEW BEST:: SOT 41088 SOS 10976 HAS SOPS 10976 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7683.976
AT ITER 1044 NEW BEST:: SOT 41071 SOS 10942 HAS SOPS 10942 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7651.942
AT ITER 1049 NEW BEST:: SOT 41049 SOS 10920 HAS SOPS 10920 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7619.92
AT ITER 1114 NEW BEST:: SOT 41049 SOS 10920 HAS SOPS 10920 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7617.92
AT ITER 1120 NEW BEST:: SOT 41040 SOS 10902 HAS SOPS 10902 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7614.902
AT ITER 1141 NEW BEST:: SOT 41038 SOS 10898 HAS SOPS 10898 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7608.898
AT ITER 1150 NEW BEST:: SOT 41026 SOS 10874 HAS SOPS 10874 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7584.874
AT ITER 1152 NEW BEST:: SOT 41026 SOS 10859 HAS SOPS 10859 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7584.859
AT ITER 1164 NEW BEST:: SOT 40987 SOS 11522 HAS SOPS 11522 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7553.522
AT ITER 1185 NEW BEST:: SOT 40987 SOS 11513 HAS SOPS 11513 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7553.513
AT ITER 1188 NEW BEST:: SOT 40987 SOS 11513 HAS SOPS 11513 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7539.513
AT ITER 1219 NEW BEST:: SOT 40904 SOS 11366 HAS SOPS 11366 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7426.366
AT ITER 1250 NEW BEST:: SOT 40894 SOS 11369 HAS SOPS 11369 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7423.369
AT ITER 1256 NEW BEST:: SOT 40896 SOS 11371 HAS SOPS 11371 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7421.371
AT ITER 1277 NEW BEST:: SOT 40886 SOS 11361 HAS SOPS 11361 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7411.361
AT ITER 1299 NEW BEST:: SOT 40879 SOS 11347 HAS SOPS 11347 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7411.347
AT ITER 1324 NEW BEST:: SOT 40902 SOS 11370 HAS SOPS 11370 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7405.37
AT ITER 1330 NEW BEST:: SOT 40884 SOS 11292 HAS SOPS 11292 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7375.292
AT ITER 1353 NEW BEST:: SOT 40884 SOS 11292 HAS SOPS 11292 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7367.292
AT ITER 1355 NEW BEST:: SOT 40870 SOS 11264 HAS SOPS 11264 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7359.264
AT ITER 1358 NEW BEST:: SOT 40866 SOS 11256 HAS SOPS 11256 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7346.256
AT ITER 1363 NEW BEST:: SOT 40861 SOS 11241 HAS SOPS 11241 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7336.241
AT ITER 1366 NEW BEST:: SOT 40856 SOS 11224 HAS SOPS 11224 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7326.224
AT ITER 1378 NEW BEST:: SOT 40856 SOS 11217 HAS SOPS 11217 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7319.217
AT ITER 1398 NEW BEST:: SOT 40841 SOS 11210 HAS SOPS 11210 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7312.21
AT ITER 1413 NEW BEST:: SOT 40816 SOS 11193 HAS SOPS 11193 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7281.193
AT ITER 1420 NEW BEST:: SOT 40800 SOS 11144 HAS SOPS 11144 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.144
AT ITER 1421 NEW BEST:: SOT 40800 SOS 11144 HAS SOPS 11144 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7247.144
AT ITER 1432 NEW BEST:: SOT 40802 SOS 11132 HAS SOPS 11132 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7238.132
AT ITER 1445 NEW BEST:: SOT 40801 SOS 11130 HAS SOPS 11130 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7236.13
AT ITER 1453 NEW BEST:: SOT 40801 SOS 11130 HAS SOPS 11130 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7234.13
AT ITER 1459 NEW BEST:: SOT 40783 SOS 11122 HAS SOPS 11122 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7226.122
AT ITER 1461 NEW BEST:: SOT 40779 SOS 11070 HAS SOPS 11070 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7218.07
AT ITER 1471 NEW BEST:: SOT 40777 SOS 11091 HAS SOPS 11091 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7209.091
AT ITER 1474 NEW BEST:: SOT 40777 SOS 11089 HAS SOPS 11089 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7209.089
AT ITER 1476 NEW BEST:: SOT 40780 SOS 11082 HAS SOPS 11082 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7202.082
AT ITER 1514 NEW BEST:: SOT 40780 SOS 11082 HAS SOPS 11082 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7188.082
AT ITER 1524 NEW BEST:: SOT 40772 SOS 11070 HAS SOPS 11070 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7180.07
AT ITER 1534 NEW BEST:: SOT 40779 SOS 10938 HAS SOPS 10938 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7163.938
AT ITER 1549 NEW BEST:: SOT 40783 SOS 10946 HAS SOPS 10946 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7153.946
AT ITER 1563 NEW BEST:: SOT 40718 SOS 10863 HAS SOPS 10863 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7070.863
AT ITER 1568 NEW BEST:: SOT 40718 SOS 10858 HAS SOPS 10858 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7065.858
AT ITER 1607 NEW BEST:: SOT 40719 SOS 10826 HAS SOPS 10826 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7064.826
AT ITER 1622 NEW BEST:: SOT 40703 SOS 10806 HAS SOPS 10806 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7056.806
AT ITER 1635 NEW BEST:: SOT 40695 SOS 10790 HAS SOPS 10790 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7048.79
AT ITER 1641 NEW BEST:: SOT 40685 SOS 10770 HAS SOPS 10770 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7028.77
AT ITER 1644 NEW BEST:: SOT 40654 SOS 10689 HAS SOPS 10689 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6997.689
AT ITER 1669 NEW BEST:: SOT 40629 SOS 10639 HAS SOPS 10639 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6975.639
AT ITER 1684 NEW BEST:: SOT 40628 SOS 10638 HAS SOPS 10638 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6975.638
AT ITER 1741 NEW BEST:: SOT 40625 SOS 10632 HAS SOPS 10632 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6950.632
AT ITER 1751 NEW BEST:: SOT 40641 SOS 10645 HAS SOPS 10645 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6949.645
AT ITER 1764 NEW BEST:: SOT 40633 SOS 10637 HAS SOPS 10637 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6946.637
AT ITER 1793 NEW BEST:: SOT 40635 SOS 10641 HAS SOPS 10641 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6943.641
AT ITER 1845 NEW BEST:: SOT 40635 SOS 10641 HAS SOPS 10641 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6937.641
AT ITER 1862 NEW BEST:: SOT 40646 SOS 10602 HAS SOPS 10602 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6913.602
AT ITER 1880 NEW BEST:: SOT 40636 SOS 10582 HAS SOPS 10582 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6893.582
AT ITER 1883 NEW BEST:: SOT 40631 SOS 10572 HAS SOPS 10572 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6883.572
AT ITER 1901 NEW BEST:: SOT 40545 SOS 10400 HAS SOPS 10400 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6873.4
AT ITER 1975 NEW BEST:: SOT 40542 SOS 10394 HAS SOPS 10394 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6873.394
AT ITER 1982 NEW BEST:: SOT 40528 SOS 10408 HAS SOPS 10408 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6866.408
AT ITER 1998 NEW BEST:: SOT 40503 SOS 10388 HAS SOPS 10388 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6860.388
AT ITER 2005 NEW BEST:: SOT 40499 SOS 10376 HAS SOPS 10376 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6852.376
AT ITER 2048 NEW BEST:: SOT 40499 SOS 10367 HAS SOPS 10367 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6843.367
AT ITER 2068 NEW BEST:: SOT 40509 SOS 10390 HAS SOPS 10390 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6837.39
AT ITER 2104 NEW BEST:: SOT 40482 SOS 10397 HAS SOPS 10397 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.397
AT ITER 2122 NEW BEST:: SOT 40474 SOS 10381 HAS SOPS 10381 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6789.381
AT ITER 2123 NEW BEST:: SOT 40470 SOS 10373 HAS SOPS 10373 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6781.373
AT ITER 2175 NEW BEST:: SOT 40411 SOS 10307 HAS SOPS 10307 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6715.307
AT ITER 2191 NEW BEST:: SOT 40303 SOS 10735 HAS SOPS 10735 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6673.735
AT ITER 2195 NEW BEST:: SOT 40264 SOS 10657 HAS SOPS 10657 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6634.657
AT ITER 2201 NEW BEST:: SOT 40250 SOS 10629 HAS SOPS 10629 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6606.629
AT ITER 2241 NEW BEST:: SOT 40236 SOS 10621 HAS SOPS 10621 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6578.621
AT ITER 2283 NEW BEST:: SOT 40230 SOS 10609 HAS SOPS 10609 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6572.609
AT ITER 2303 NEW BEST:: SOT 40230 SOS 10609 HAS SOPS 10609 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.609
AT ITER 2305 NEW BEST:: SOT 40224 SOS 10558 HAS SOPS 10558 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6558.558
AT ITER 2320 NEW BEST:: SOT 40228 SOS 10519 HAS SOPS 10519 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6541.519
AT ITER 2328 NEW BEST:: SOT 40214 SOS 10505 HAS SOPS 10505 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6527.505
AT ITER 2345 NEW BEST:: SOT 40210 SOS 10497 HAS SOPS 10497 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6519.497
AT ITER 2360 NEW BEST:: SOT 40202 SOS 10481 HAS SOPS 10481 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6511.481
AT ITER 2379 NEW BEST:: SOT 40198 SOS 10473 HAS SOPS 10473 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6503.473
AT ITER 2412 NEW BEST:: SOT 40198 SOS 10473 HAS SOPS 10473 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6489.473
AT ITER 2413 NEW BEST:: SOT 40195 SOS 10470 HAS SOPS 10470 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.47
AT ITER 2414 NEW BEST:: SOT 40179 SOS 10454 HAS SOPS 10454 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.454
AT ITER 2428 NEW BEST:: SOT 40181 SOS 10458 HAS SOPS 10458 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6483.458
AT ITER 2450 NEW BEST:: SOT 40182 SOS 10475 HAS SOPS 10475 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6481.475
AT ITER 2465 NEW BEST:: SOT 40178 SOS 10441 HAS SOPS 10441 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6477.441
AT ITER 2488 NEW BEST:: SOT 40178 SOS 10440 HAS SOPS 10440 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.44
AT ITER 2517 NEW BEST:: SOT 40208 SOS 9856 HAS SOPS 9856 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6471.856
AT ITER 2528 NEW BEST:: SOT 40208 SOS 9846 HAS SOPS 9846 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6466.846
AT ITER 2533 NEW BEST:: SOT 40208 SOS 9844 HAS SOPS 9844 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6464.844
AT ITER 2539 NEW BEST:: SOT 40166 SOS 10194 HAS SOPS 10194 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6430.194
AT ITER 2578 NEW BEST:: SOT 40165 SOS 10192 HAS SOPS 10192 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6428.192
AT ITER 2599 NEW BEST:: SOT 40147 SOS 10176 HAS SOPS 10176 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6412.176
AT ITER 2608 NEW BEST:: SOT 40124 SOS 10171 HAS SOPS 10171 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6405.171
AT ITER 2633 NEW BEST:: SOT 40123 SOS 10167 HAS SOPS 10167 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6402.167
AT ITER 2644 NEW BEST:: SOT 40095 SOS 10129 HAS SOPS 10129 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6382.129
AT ITER 2651 NEW BEST:: SOT 40094 SOS 10127 HAS SOPS 10127 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6381.127
AT ITER 2663 NEW BEST:: SOT 40092 SOS 10096 HAS SOPS 10096 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6377.096
AT ITER 2667 NEW BEST:: SOT 40072 SOS 10014 HAS SOPS 10014 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6332.014
AT ITER 2733 NEW BEST:: SOT 40055 SOS 9980 HAS SOPS 9980 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6297.98
AT ITER 2786 NEW BEST:: SOT 40054 SOS 9986 HAS SOPS 9986 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6296.986
AT ITER 2840 NEW BEST:: SOT 40054 SOS 9975 HAS SOPS 9975 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6285.975
AT ITER 2847 NEW BEST:: SOT 40033 SOS 9954 HAS SOPS 9954 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6264.954
AT ITER 2858 NEW BEST:: SOT 40029 SOS 9946 HAS SOPS 9946 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6256.946
AT ITER 2872 NEW BEST:: SOT 40014 SOS 9916 HAS SOPS 9916 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6226.916
AT ITER 2904 NEW BEST:: SOT 40010 SOS 9912 HAS SOPS 9912 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6222.912
AT ITER 2927 NEW BEST:: SOT 40008 SOS 9903 HAS SOPS 9903 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6218.903
AT ITER 2961 NEW BEST:: SOT 39945 SOS 9896 HAS SOPS 9896 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6165.896
AT ITER 3041 NEW BEST:: SOT 39921 SOS 9872 HAS SOPS 9872 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6165.872
AT ITER 3075 NEW BEST:: SOT 39915 SOS 9860 HAS SOPS 9860 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6159.86
AT ITER 3101 NEW BEST:: SOT 39898 SOS 9851 HAS SOPS 9851 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6143.851
AT ITER 3114 NEW BEST:: SOT 39896 SOS 9847 HAS SOPS 9847 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6139.847
AT ITER 3121 NEW BEST:: SOT 39896 SOS 9847 HAS SOPS 9847 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6137.847
AT ITER 3154 NEW BEST:: SOT 39888 SOS 9831 HAS SOPS 9831 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6114.831
AT ITER 3318 NEW BEST:: SOT 39887 SOS 9829 HAS SOPS 9829 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6112.829
AT ITER 3323 NEW BEST:: SOT 39874 SOS 9985 HAS SOPS 9985 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6099.985
AT ITER 3361 NEW BEST:: SOT 39873 SOS 9984 HAS SOPS 9984 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6099.984
AT ITER 3394 NEW BEST:: SOT 39874 SOS 9989 HAS SOPS 9989 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6098.989
AT ITER 3401 NEW BEST:: SOT 39841 SOS 9948 HAS SOPS 9948 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6080.948
AT ITER 3432 NEW BEST:: SOT 39836 SOS 9938 HAS SOPS 9938 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6068.938
AT ITER 3488 NEW BEST:: SOT 39832 SOS 9934 HAS SOPS 9934 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6064.934
AT ITER 3490 NEW BEST:: SOT 39832 SOS 9909 HAS SOPS 9909 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6064.909
AT ITER 3504 NEW BEST:: SOT 39832 SOS 9901 HAS SOPS 9901 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6056.901
AT ITER 3569 NEW BEST:: SOT 39832 SOS 9901 HAS SOPS 9901 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6055.901
AT ITER 3576 NEW BEST:: SOT 39832 SOS 9901 HAS SOPS 9901 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6049.901
AT ITER 3595 NEW BEST:: SOT 39827 SOS 9891 HAS SOPS 9891 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6039.891
AT ITER 3626 NEW BEST:: SOT 39866 SOS 9930 HAS SOPS 9930 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.93
AT ITER 3655 NEW BEST:: SOT 39866 SOS 9923 HAS SOPS 9923 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.923
AT ITER 3661 NEW BEST:: SOT 39856 SOS 9913 HAS SOPS 9913 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.913
AT ITER 3675 NEW BEST:: SOT 39855 SOS 9912 HAS SOPS 9912 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.912
AT ITER 3770 NEW BEST:: SOT 39855 SOS 9907 HAS SOPS 9907 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6033.907
AT ITER 3792 NEW BEST:: SOT 39851 SOS 9899 HAS SOPS 9899 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6025.899
AT ITER 3819 NEW BEST:: SOT 39845 SOS 9887 HAS SOPS 9887 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6013.887
AT ITER 3839 NEW BEST:: SOT 39825 SOS 9851 HAS SOPS 9851 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6009.851
AT ITER 3855 NEW BEST:: SOT 39828 SOS 9854 HAS SOPS 9854 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6006.854
AT ITER 3888 NEW BEST:: SOT 39833 SOS 9852 HAS SOPS 9852 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6003.852
AT ITER 3924 NEW BEST:: SOT 39827 SOS 9846 HAS SOPS 9846 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5997.846
AT ITER 3947 NEW BEST:: SOT 39822 SOS 9875 HAS SOPS 9875 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.875
AT ITER 3965 NEW BEST:: SOT 39810 SOS 9863 HAS SOPS 9863 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.863
AT ITER 3988 NEW BEST:: SOT 39810 SOS 9853 HAS SOPS 9853 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5986.853
AT ITER 4003 NEW BEST:: SOT 39792 SOS 9835 HAS SOPS 9835 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5986.835
AT ITER 4011 NEW BEST:: SOT 39781 SOS 9829 HAS SOPS 9829 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5980.829
AT ITER 4018 NEW BEST:: SOT 39778 SOS 9823 HAS SOPS 9823 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5974.823
AT ITER 4030 NEW BEST:: SOT 39778 SOS 9823 HAS SOPS 9823 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.823
AT ITER 4032 NEW BEST:: SOT 39778 SOS 9816 HAS SOPS 9816 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5969.816
AT ITER 4035 NEW BEST:: SOT 39720 SOS 9744 HAS SOPS 9744 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5952.744
AT ITER 4064 NEW BEST:: SOT 39692 SOS 9688 HAS SOPS 9688 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5952.688
AT ITER 4066 NEW BEST:: SOT 39692 SOS 9671 HAS SOPS 9671 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5935.671
AT ITER 4097 NEW BEST:: SOT 39701 SOS 9689 HAS SOPS 9689 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5932.689
AT ITER 4124 NEW BEST:: SOT 39701 SOS 9667 HAS SOPS 9667 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5932.667
AT ITER 4128 NEW BEST:: SOT 39716 SOS 9682 HAS SOPS 9682 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5922.682
AT ITER 4138 NEW BEST:: SOT 39716 SOS 9688 HAS SOPS 9688 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5921.688
AT ITER 4203 NEW BEST:: SOT 39717 SOS 9689 HAS SOPS 9689 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5920.689
AT ITER 4209 NEW BEST:: SOT 39715 SOS 9687 HAS SOPS 9687 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5920.687
AT ITER 4297 NEW BEST:: SOT 39685 SOS 9660 HAS SOPS 9660 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5893.66
AT ITER 4336 NEW BEST:: SOT 39681 SOS 9656 HAS SOPS 9656 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5889.656
AT ITER 4455 NEW BEST:: SOT 39674 SOS 9642 HAS SOPS 9642 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5875.642
AT ITER 4474 NEW BEST:: SOT 39672 SOS 9638 HAS SOPS 9638 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5873.638
AT ITER 4513 NEW BEST:: SOT 39672 SOS 9610 HAS SOPS 9610 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5845.61
AT ITER 4514 NEW BEST:: SOT 39661 SOS 9599 HAS SOPS 9599 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.599
AT ITER 4516 NEW BEST:: SOT 39654 SOS 9593 HAS SOPS 9593 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5815.593
AT ITER 4525 NEW BEST:: SOT 39655 SOS 9589 HAS SOPS 9589 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5811.589
AT ITER 4554 NEW BEST:: SOT 39668 SOS 9585 HAS SOPS 9585 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5792.585
AT ITER 4576 NEW BEST:: SOT 39667 SOS 9583 HAS SOPS 9583 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5790.583
AT ITER 4577 NEW BEST:: SOT 39662 SOS 9567 HAS SOPS 9567 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5786.567
AT ITER 4617 NEW BEST:: SOT 39661 SOS 9566 HAS SOPS 9566 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5785.566
AT ITER 4673 NEW BEST:: SOT 39660 SOS 9553 HAS SOPS 9553 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5783.553
AT ITER 4722 NEW BEST:: SOT 39654 SOS 9541 HAS SOPS 9541 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5777.541
AT ITER 4739 NEW BEST:: SOT 39661 SOS 9529 HAS SOPS 9529 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5765.529
AT ITER 4758 NEW BEST:: SOT 39658 SOS 9523 HAS SOPS 9523 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5765.523
AT ITER 4775 NEW BEST:: SOT 39658 SOS 9519 HAS SOPS 9519 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5761.519
AT ITER 4834 NEW BEST:: SOT 39571 SOS 9912 HAS SOPS 9912 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5679.912
AT ITER 4852 NEW BEST:: SOT 39569 SOS 9909 HAS SOPS 9909 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5676.909
AT ITER 4866 NEW BEST:: SOT 39551 SOS 9891 HAS SOPS 9891 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5658.891
AT ITER 4922 NEW BEST:: SOT 39550 SOS 9889 HAS SOPS 9889 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5657.889
AT ITER 4937 NEW BEST:: SOT 39546 SOS 9885 HAS SOPS 9885 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5653.885
AT ITER 4947 NEW BEST:: SOT 39544 SOS 9881 HAS SOPS 9881 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5651.881
AT ITER 4959 NEW BEST:: SOT 39543 SOS 9873 HAS SOPS 9873 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5649.873
AT ITER 5013 NEW BEST:: SOT 39543 SOS 9871 HAS SOPS 9871 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5648.871
AT ITER 5130 NEW BEST:: SOT 39539 SOS 9797 HAS SOPS 9797 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5640.797
AT ITER 5186 NEW BEST:: SOT 39524 SOS 9767 HAS SOPS 9767 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5625.767
AT ITER 5190 NEW BEST:: SOT 39524 SOS 9756 HAS SOPS 9756 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5625.756
AT ITER 5308 NEW BEST:: SOT 39541 SOS 9412 HAS SOPS 9412 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5624.412
AT ITER 5317 NEW BEST:: SOT 39535 SOS 9404 HAS SOPS 9404 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5616.404
AT ITER 5338 NEW BEST:: SOT 39537 SOS 9397 HAS SOPS 9397 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5609.397
AT ITER 5393 NEW BEST:: SOT 39523 SOS 9435 HAS SOPS 9435 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5597.435
AT ITER 5407 NEW BEST:: SOT 39529 SOS 9426 HAS SOPS 9426 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5597.426
AT ITER 5439 NEW BEST:: SOT 39522 SOS 9412 HAS SOPS 9412 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5583.412
AT ITER 5484 NEW BEST:: SOT 39512 SOS 9407 HAS SOPS 9407 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5575.407
AT ITER 5511 NEW BEST:: SOT 39502 SOS 9396 HAS SOPS 9396 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.396
AT ITER 5535 NEW BEST:: SOT 39502 SOS 9396 HAS SOPS 9396 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5559.396
AT ITER 5561 NEW BEST:: SOT 39502 SOS 9353 HAS SOPS 9353 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5559.353
AT ITER 5580 NEW BEST:: SOT 39502 SOS 9311 HAS SOPS 9311 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5556.311
AT ITER 5642 NEW BEST:: SOT 39477 SOS 9261 HAS SOPS 9261 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5529.261
AT ITER 5733 NEW BEST:: SOT 39471 SOS 9249 HAS SOPS 9249 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5517.249
AT ITER 5751 NEW BEST:: SOT 39463 SOS 9237 HAS SOPS 9237 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5506.237
AT ITER 5793 NEW BEST:: SOT 39455 SOS 9237 HAS SOPS 9237 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5498.237
AT ITER 5837 NEW BEST:: SOT 39451 SOS 9229 HAS SOPS 9229 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5490.229
AT ITER 5840 NEW BEST:: SOT 39445 SOS 9223 HAS SOPS 9223 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5490.223
AT ITER 5911 NEW BEST:: SOT 39440 SOS 9213 HAS SOPS 9213 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5476.213
AT ITER 5951 NEW BEST:: SOT 39436 SOS 9198 HAS SOPS 9198 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5468.198
AT ITER 6006 NEW BEST:: SOT 39439 SOS 9204 HAS SOPS 9204 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5462.204
AT ITER 6092 NEW BEST:: SOT 39435 SOS 9194 HAS SOPS 9194 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5455.194
AT ITER 6098 NEW BEST:: SOT 39434 SOS 9192 HAS SOPS 9192 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5453.192
AT ITER 6100 NEW BEST:: SOT 39433 SOS 9190 HAS SOPS 9190 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5452.19
AT ITER 6123 NEW BEST:: SOT 39430 SOS 9188 HAS SOPS 9188 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5450.188
AT ITER 6171 NEW BEST:: SOT 39424 SOS 9168 HAS SOPS 9168 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5436.168
AT ITER 6259 NEW BEST:: SOT 39425 SOS 9170 HAS SOPS 9170 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5434.17
AT ITER 6287 NEW BEST:: SOT 39414 SOS 9149 HAS SOPS 9149 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5413.149
AT ITER 6321 NEW BEST:: SOT 39399 SOS 9121 HAS SOPS 9121 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5395.121
AT ITER 6360 NEW BEST:: SOT 39399 SOS 9121 HAS SOPS 9121 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5394.121
AT ITER 6369 NEW BEST:: SOT 39386 SOS 9108 HAS SOPS 9108 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5394.108
AT ITER 6501 NEW BEST:: SOT 39370 SOS 9076 HAS SOPS 9076 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5378.076
AT ITER 6519 NEW BEST:: SOT 39367 SOS 9073 HAS SOPS 9073 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5372.073
AT ITER 6618 NEW BEST:: SOT 39367 SOS 9072 HAS SOPS 9072 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5371.072
AT ITER 6626 NEW BEST:: SOT 39366 SOS 9070 HAS SOPS 9070 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5370.07
AT ITER 6648 NEW BEST:: SOT 39348 SOS 9202 HAS SOPS 9202 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5357.202
AT ITER 6651 NEW BEST:: SOT 39345 SOS 9199 HAS SOPS 9199 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5354.199
AT ITER 6673 NEW BEST:: SOT 39341 SOS 9160 HAS SOPS 9160 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5340.16
AT ITER 6714 NEW BEST:: SOT 39341 SOS 9159 HAS SOPS 9159 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5340.159
AT ITER 6803 NEW BEST:: SOT 39341 SOS 9156 HAS SOPS 9156 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5340.156
AT ITER 6872 NEW BEST:: SOT 39341 SOS 9156 HAS SOPS 9156 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5339.156
AT ITER 6928 NEW BEST:: SOT 39339 SOS 9152 HAS SOPS 9152 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5336.152
AT ITER 6978 NEW BEST:: SOT 39344 SOS 9147 HAS SOPS 9147 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5331.147
AT ITER 6994 NEW BEST:: SOT 39343 SOS 9145 HAS SOPS 9145 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5329.145
AT ITER 7004 NEW BEST:: SOT 39343 SOS 9145 HAS SOPS 9145 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5327.145
AT ITER 7007 NEW BEST:: SOT 39339 SOS 9141 HAS SOPS 9141 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5323.141
AT ITER 7029 NEW BEST:: SOT 39332 SOS 9127 HAS SOPS 9127 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5309.127
AT ITER 7132 NEW BEST:: SOT 39331 SOS 9126 HAS SOPS 9126 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5308.126
AT ITER 7143 NEW BEST:: SOT 39327 SOS 9118 HAS SOPS 9118 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5300.118
AT ITER 7229 NEW BEST:: SOT 39324 SOS 9117 HAS SOPS 9117 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5299.117
AT ITER 7241 NEW BEST:: SOT 39324 SOS 9117 HAS SOPS 9117 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.117
AT ITER 7246 NEW BEST:: SOT 39324 SOS 9117 HAS SOPS 9117 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5292.117
AT ITER 7252 NEW BEST:: SOT 39318 SOS 9111 HAS SOPS 9111 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5292.111
AT ITER 7271 NEW BEST:: SOT 39328 SOS 9120 HAS SOPS 9120 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5279.12
AT ITER 7306 NEW BEST:: SOT 39322 SOS 9113 HAS SOPS 9113 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5272.113
AT ITER 7312 NEW BEST:: SOT 39318 SOS 9109 HAS SOPS 9109 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5272.109
AT ITER 7318 NEW BEST:: SOT 39299 SOS 9090 HAS SOPS 9090 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5271.09
AT ITER 7324 NEW BEST:: SOT 39190 SOS 8976 HAS SOPS 8976 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5229.976
AT ITER 7381 NEW BEST:: SOT 39171 SOS 9029 HAS SOPS 9029 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5218.029
AT ITER 7390 NEW BEST:: SOT 39169 SOS 9023 HAS SOPS 9023 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5214.023
AT ITER 7406 NEW BEST:: SOT 39168 SOS 9021 HAS SOPS 9021 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5212.021
AT ITER 7407 NEW BEST:: SOT 39167 SOS 9019 HAS SOPS 9019 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5212.019
AT ITER 7421 NEW BEST:: SOT 39169 SOS 9018 HAS SOPS 9018 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5211.018
AT ITER 7437 NEW BEST:: SOT 39165 SOS 9010 HAS SOPS 9010 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.01
AT ITER 7473 NEW BEST:: SOT 39165 SOS 9010 HAS SOPS 9010 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5200.01
AT ITER 7492 NEW BEST:: SOT 39161 SOS 9002 HAS SOPS 9002 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5194.002
AT ITER 7521 NEW BEST:: SOT 39168 SOS 9009 HAS SOPS 9009 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5190.009
AT ITER 7649 NEW BEST:: SOT 39179 SOS 9020 HAS SOPS 9020 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5185.02
AT ITER 7663 NEW BEST:: SOT 39163 SOS 8988 HAS SOPS 8988 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5177.988
AT ITER 7759 NEW BEST:: SOT 39159 SOS 8987 HAS SOPS 8987 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5176.987
AT ITER 7926 NEW BEST:: SOT 39156 SOS 8981 HAS SOPS 8981 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5173.981
AT ITER 7987 NEW BEST:: SOT 39154 SOS 8977 HAS SOPS 8977 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5173.977
AT ITER 8023 NEW BEST:: SOT 39152 SOS 8973 HAS SOPS 8973 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5169.973
AT ITER 8090 NEW BEST:: SOT 39209 SOS 9030 HAS SOPS 9030 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.03
AT ITER 8115 NEW BEST:: SOT 39209 SOS 9030 HAS SOPS 9030 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5162.03
AT ITER 8229 NEW BEST:: SOT 39205 SOS 9026 HAS SOPS 9026 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.026
AT ITER 8247 NEW BEST:: SOT 39203 SOS 9022 HAS SOPS 9022 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5154.022
AT ITER 8352 NEW BEST:: SOT 39204 SOS 9023 HAS SOPS 9023 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5153.023
AT ITER 8369 NEW BEST:: SOT 39194 SOS 9003 HAS SOPS 9003 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5133.003
AT ITER 8396 NEW BEST:: SOT 39190 SOS 8995 HAS SOPS 8995 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5124.995
AT ITER 8432 NEW BEST:: SOT 39189 SOS 8995 HAS SOPS 8995 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5123.995
AT ITER 8459 NEW BEST:: SOT 39190 SOS 8983 HAS SOPS 8983 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5123.983
AT ITER 8482 NEW BEST:: SOT 39190 SOS 8983 HAS SOPS 8983 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5122.983
AT ITER 8495 NEW BEST:: SOT 39185 SOS 8979 HAS SOPS 8979 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5116.979
AT ITER 8512 NEW BEST:: SOT 39186 SOS 8978 HAS SOPS 8978 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5115.978
AT ITER 8569 NEW BEST:: SOT 39185 SOS 8976 HAS SOPS 8976 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5114.976
AT ITER 8587 NEW BEST:: SOT 39185 SOS 8976 HAS SOPS 8976 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5110.976
AT ITER 8589 NEW BEST:: SOT 39186 SOS 8961 HAS SOPS 8961 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5107.961
AT ITER 8650 NEW BEST:: SOT 39187 SOS 8962 HAS SOPS 8962 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5106.962
AT ITER 8665 NEW BEST:: SOT 39173 SOS 8945 HAS SOPS 8945 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5100.945
AT ITER 8687 NEW BEST:: SOT 39173 SOS 8925 HAS SOPS 8925 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5100.925
AT ITER 8741 NEW BEST:: SOT 39163 SOS 8913 HAS SOPS 8913 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5088.913
AT ITER 8759 NEW BEST:: SOT 39099 SOS 8849 HAS SOPS 8849 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5087.849
AT ITER 8828 NEW BEST:: SOT 39099 SOS 8849 HAS SOPS 8849 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5079.849
AT ITER 8864 NEW BEST:: SOT 39092 SOS 8858 HAS SOPS 8858 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5077.858
AT ITER 9014 NEW BEST:: SOT 39086 SOS 9056 HAS SOPS 9056 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5072.056
AT ITER 9047 NEW BEST:: SOT 39102 SOS 9088 HAS SOPS 9088 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5068.088
AT ITER 9112 NEW BEST:: SOT 39103 SOS 9083 HAS SOPS 9083 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5063.083
AT ITER 9185 NEW BEST:: SOT 39103 SOS 9082 HAS SOPS 9082 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5063.082
AT ITER 9354 NEW BEST:: SOT 39101 SOS 9078 HAS SOPS 9078 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5059.078
AT ITER 9389 NEW BEST:: SOT 39098 SOS 9075 HAS SOPS 9075 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5056.075
AT ITER 9406 NEW BEST:: SOT 39085 SOS 9076 HAS SOPS 9076 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5055.076
AT ITER 9483 NEW BEST:: SOT 39084 SOS 9074 HAS SOPS 9074 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5053.074
AT ITER 9715 NEW BEST:: SOT 39081 SOS 9026 HAS SOPS 9026 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5047.026
AT ITER 9717 NEW BEST:: SOT 39079 SOS 9022 HAS SOPS 9022 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5046.022
STATE_SPACE STATES 341149113957 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3125104112644 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679260008696
--------------------
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="SmartHome-PT-07"
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 SmartHome-PT-07, 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 r459-smll-167912650900208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-07.tgz
mv SmartHome-PT-07 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 ;