About the Execution of Smart+red for HealthRecord-PT-07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 809.760 | 61399.00 | 68757.00 | 722.10 | 5.2471E+0008 7.9980E+0009 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.r203-smll-167840349300288.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 HealthRecord-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300288
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 26 18:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 26 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678578671017
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=HealthRecord-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:51:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:51:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:51:14] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-11 23:51:14] [INFO ] Transformed 155 places.
[2023-03-11 23:51:14] [INFO ] Transformed 320 transitions.
[2023-03-11 23:51:14] [INFO ] Found NUPN structural information;
[2023-03-11 23:51:14] [INFO ] Parsed PT model containing 155 places and 320 transitions and 839 arcs in 384 ms.
[2023-03-11 23:51:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 155 places, 320 transitions and 839 arcs took 9 ms.
Total runtime 471 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (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: 155 places, 320 transitions, 839 arcs.
AT ITER 0 NEW BEST:: SOT 31892 SOS 16943 HAS SOPS 16921 HAS SOUS 10108 HAS SOUPS 10095 WITH SCORE 10111.943
AT ITER 6 NEW BEST:: SOT 31756 SOS 16739 HAS SOPS 16717 HAS SOUS 10039 HAS SOUPS 10026 WITH SCORE 10042.739
AT ITER 9 NEW BEST:: SOT 31503 SOS 16532 HAS SOPS 16510 HAS SOUS 9985 HAS SOUPS 9972 WITH SCORE 9988.532
AT ITER 16 NEW BEST:: SOT 31503 SOS 16531 HAS SOPS 16509 HAS SOUS 9985 HAS SOUPS 9972 WITH SCORE 9988.531
AT ITER 17 NEW BEST:: SOT 31503 SOS 16514 HAS SOPS 16492 HAS SOUS 9985 HAS SOUPS 9972 WITH SCORE 9988.514
AT ITER 18 NEW BEST:: SOT 31503 SOS 16368 HAS SOPS 16346 HAS SOUS 9892 HAS SOUPS 9879 WITH SCORE 9895.368
AT ITER 19 NEW BEST:: SOT 31492 SOS 16346 HAS SOPS 16324 HAS SOUS 9892 HAS SOUPS 9879 WITH SCORE 9895.346
AT ITER 20 NEW BEST:: SOT 30549 SOS 16956 HAS SOPS 16934 HAS SOUS 9797 HAS SOUPS 9784 WITH SCORE 9800.956
AT ITER 22 NEW BEST:: SOT 30502 SOS 16815 HAS SOPS 16793 HAS SOUS 9750 HAS SOUPS 9737 WITH SCORE 9753.815
AT ITER 25 NEW BEST:: SOT 30464 SOS 16753 HAS SOPS 16731 HAS SOUS 9726 HAS SOUPS 9713 WITH SCORE 9729.753
AT ITER 28 NEW BEST:: SOT 30590 SOS 16902 HAS SOPS 16880 HAS SOUS 9702 HAS SOUPS 9689 WITH SCORE 9705.902
AT ITER 29 NEW BEST:: SOT 30564 SOS 16837 HAS SOPS 16815 HAS SOUS 9676 HAS SOUPS 9663 WITH SCORE 9679.837
AT ITER 30 NEW BEST:: SOT 30466 SOS 16652 HAS SOPS 16630 HAS SOUS 9589 HAS SOUPS 9576 WITH SCORE 9592.652
AT ITER 31 NEW BEST:: SOT 30429 SOS 16510 HAS SOPS 16488 HAS SOUS 9521 HAS SOUPS 9508 WITH SCORE 9524.51
AT ITER 46 NEW BEST:: SOT 30376 SOS 16390 HAS SOPS 16368 HAS SOUS 9505 HAS SOUPS 9492 WITH SCORE 9508.39
AT ITER 54 NEW BEST:: SOT 31340 SOS 16292 HAS SOPS 16270 HAS SOUS 9469 HAS SOUPS 9456 WITH SCORE 9472.292
AT ITER 61 NEW BEST:: SOT 31315 SOS 16242 HAS SOPS 16220 HAS SOUS 9469 HAS SOUPS 9456 WITH SCORE 9472.242
AT ITER 63 NEW BEST:: SOT 31225 SOS 16135 HAS SOPS 16113 HAS SOUS 9433 HAS SOUPS 9420 WITH SCORE 9436.135
AT ITER 64 NEW BEST:: SOT 31186 SOS 16045 HAS SOPS 16023 HAS SOUS 9341 HAS SOUPS 9328 WITH SCORE 9344.045
AT ITER 66 NEW BEST:: SOT 29707 SOS 17058 HAS SOPS 17036 HAS SOUS 7767 HAS SOUPS 7754 WITH SCORE 7771.058
AT ITER 67 NEW BEST:: SOT 29772 SOS 17195 HAS SOPS 17173 HAS SOUS 7685 HAS SOUPS 7672 WITH SCORE 7689.195
AT ITER 69 NEW BEST:: SOT 29732 SOS 17117 HAS SOPS 17095 HAS SOUS 7681 HAS SOUPS 7668 WITH SCORE 7685.117
AT ITER 78 NEW BEST:: SOT 28738 SOS 17482 HAS SOPS 17460 HAS SOUS 7284 HAS SOUPS 7271 WITH SCORE 7288.482
AT ITER 83 NEW BEST:: SOT 28486 SOS 17290 HAS SOPS 17268 HAS SOUS 7006 HAS SOUPS 6993 WITH SCORE 7010.29
AT ITER 86 NEW BEST:: SOT 28492 SOS 17302 HAS SOPS 17280 HAS SOUS 7000 HAS SOUPS 6987 WITH SCORE 7004.302
AT ITER 87 NEW BEST:: SOT 28063 SOS 17137 HAS SOPS 17115 HAS SOUS 6965 HAS SOUPS 6952 WITH SCORE 6969.137
AT ITER 93 NEW BEST:: SOT 28036 SOS 17083 HAS SOPS 17061 HAS SOUS 6942 HAS SOUPS 6929 WITH SCORE 6946.083
AT ITER 94 NEW BEST:: SOT 27986 SOS 17033 HAS SOPS 17011 HAS SOUS 6921 HAS SOUPS 6908 WITH SCORE 6925.033
AT ITER 98 NEW BEST:: SOT 27870 SOS 16713 HAS SOPS 16691 HAS SOUS 6873 HAS SOUPS 6860 WITH SCORE 6876.713
AT ITER 102 NEW BEST:: SOT 27830 SOS 16672 HAS SOPS 16650 HAS SOUS 6794 HAS SOUPS 6781 WITH SCORE 6797.672
AT ITER 106 NEW BEST:: SOT 27804 SOS 16633 HAS SOPS 16611 HAS SOUS 6794 HAS SOUPS 6781 WITH SCORE 6797.633
AT ITER 107 NEW BEST:: SOT 27810 SOS 16660 HAS SOPS 16638 HAS SOUS 6793 HAS SOUPS 6780 WITH SCORE 6796.66
AT ITER 109 NEW BEST:: SOT 27711 SOS 16511 HAS SOPS 16489 HAS SOUS 6745 HAS SOUPS 6732 WITH SCORE 6748.511
AT ITER 111 NEW BEST:: SOT 27588 SOS 16265 HAS SOPS 16243 HAS SOUS 6622 HAS SOUPS 6609 WITH SCORE 6625.265
AT ITER 116 NEW BEST:: SOT 27548 SOS 16151 HAS SOPS 16129 HAS SOUS 6600 HAS SOUPS 6587 WITH SCORE 6603.151
AT ITER 117 NEW BEST:: SOT 27600 SOS 16289 HAS SOPS 16267 HAS SOUS 6566 HAS SOUPS 6553 WITH SCORE 6569.289
AT ITER 119 NEW BEST:: SOT 27600 SOS 16281 HAS SOPS 16259 HAS SOUS 6562 HAS SOUPS 6549 WITH SCORE 6565.281
AT ITER 123 NEW BEST:: SOT 27553 SOS 16202 HAS SOPS 16180 HAS SOUS 6515 HAS SOUPS 6502 WITH SCORE 6518.202
AT ITER 143 NEW BEST:: SOT 27551 SOS 15316 HAS SOPS 15294 HAS SOUS 6457 HAS SOUPS 6444 WITH SCORE 6459.316
AT ITER 144 NEW BEST:: SOT 27471 SOS 15116 HAS SOPS 15094 HAS SOUS 6403 HAS SOUPS 6390 WITH SCORE 6405.116
AT ITER 153 NEW BEST:: SOT 27429 SOS 15042 HAS SOPS 15020 HAS SOUS 6366 HAS SOUPS 6353 WITH SCORE 6368.042
AT ITER 162 NEW BEST:: SOT 27072 SOS 14978 HAS SOPS 14956 HAS SOUS 6040 HAS SOUPS 6027 WITH SCORE 6041.978
AT ITER 167 NEW BEST:: SOT 27040 SOS 14946 HAS SOPS 14924 HAS SOUS 6039 HAS SOUPS 6026 WITH SCORE 6040.946
AT ITER 168 NEW BEST:: SOT 26819 SOS 14763 HAS SOPS 14741 HAS SOUS 5981 HAS SOUPS 5968 WITH SCORE 5982.763
AT ITER 169 NEW BEST:: SOT 26787 SOS 14695 HAS SOPS 14673 HAS SOUS 5953 HAS SOUPS 5940 WITH SCORE 5954.695
AT ITER 170 NEW BEST:: SOT 26840 SOS 14828 HAS SOPS 14806 HAS SOUS 5896 HAS SOUPS 5883 WITH SCORE 5897.828
AT ITER 180 NEW BEST:: SOT 26868 SOS 14840 HAS SOPS 14818 HAS SOUS 5880 HAS SOUPS 5867 WITH SCORE 5881.84
AT ITER 183 NEW BEST:: SOT 26826 SOS 14709 HAS SOPS 14687 HAS SOUS 5833 HAS SOUPS 5820 WITH SCORE 5834.709
AT ITER 186 NEW BEST:: SOT 26872 SOS 14819 HAS SOPS 14797 HAS SOUS 5783 HAS SOUPS 5770 WITH SCORE 5784.819
AT ITER 193 NEW BEST:: SOT 26829 SOS 14717 HAS SOPS 14695 HAS SOUS 5733 HAS SOUPS 5720 WITH SCORE 5734.717
AT ITER 203 NEW BEST:: SOT 26831 SOS 14647 HAS SOPS 14625 HAS SOUS 5729 HAS SOUPS 5716 WITH SCORE 5730.647
AT ITER 206 NEW BEST:: SOT 26831 SOS 14647 HAS SOPS 14625 HAS SOUS 5723 HAS SOUPS 5710 WITH SCORE 5724.647
AT ITER 210 NEW BEST:: SOT 26413 SOS 14832 HAS SOPS 14810 HAS SOUS 5642 HAS SOUPS 5629 WITH SCORE 5643.832
AT ITER 211 NEW BEST:: SOT 26402 SOS 14799 HAS SOPS 14777 HAS SOUS 5620 HAS SOUPS 5607 WITH SCORE 5621.799
AT ITER 224 NEW BEST:: SOT 26351 SOS 14647 HAS SOPS 14625 HAS SOUS 5536 HAS SOUPS 5523 WITH SCORE 5537.647
AT ITER 228 NEW BEST:: SOT 26346 SOS 14642 HAS SOPS 14620 HAS SOUS 5526 HAS SOUPS 5513 WITH SCORE 5527.642
AT ITER 231 NEW BEST:: SOT 26296 SOS 14554 HAS SOPS 14532 HAS SOUS 5514 HAS SOUPS 5501 WITH SCORE 5515.554
AT ITER 232 NEW BEST:: SOT 26151 SOS 14815 HAS SOPS 14793 HAS SOUS 5369 HAS SOUPS 5356 WITH SCORE 5370.815
AT ITER 233 NEW BEST:: SOT 26150 SOS 14814 HAS SOPS 14792 HAS SOUS 5368 HAS SOUPS 5355 WITH SCORE 5369.814
AT ITER 234 NEW BEST:: SOT 26167 SOS 14827 HAS SOPS 14805 HAS SOUS 5360 HAS SOUPS 5347 WITH SCORE 5361.827
AT ITER 239 NEW BEST:: SOT 26142 SOS 14790 HAS SOPS 14768 HAS SOUS 5351 HAS SOUPS 5338 WITH SCORE 5352.79
AT ITER 251 NEW BEST:: SOT 26039 SOS 14687 HAS SOPS 14665 HAS SOUS 5294 HAS SOUPS 5281 WITH SCORE 5295.687
AT ITER 252 NEW BEST:: SOT 26011 SOS 14627 HAS SOPS 14605 HAS SOUS 5293 HAS SOUPS 5280 WITH SCORE 5294.627
AT ITER 260 NEW BEST:: SOT 25998 SOS 14613 HAS SOPS 14591 HAS SOUS 5285 HAS SOUPS 5272 WITH SCORE 5286.613
AT ITER 261 NEW BEST:: SOT 26027 SOS 14617 HAS SOPS 14595 HAS SOUS 5245 HAS SOUPS 5232 WITH SCORE 5246.617
AT ITER 271 NEW BEST:: SOT 25920 SOS 15161 HAS SOPS 15139 HAS SOUS 5153 HAS SOUPS 5140 WITH SCORE 5155.161
AT ITER 278 NEW BEST:: SOT 25912 SOS 15153 HAS SOPS 15131 HAS SOUS 5144 HAS SOUPS 5131 WITH SCORE 5146.153
AT ITER 285 NEW BEST:: SOT 25897 SOS 15118 HAS SOPS 15096 HAS SOUS 5132 HAS SOUPS 5119 WITH SCORE 5134.118
AT ITER 286 NEW BEST:: SOT 25897 SOS 15124 HAS SOPS 15102 HAS SOUS 5126 HAS SOUPS 5113 WITH SCORE 5128.124
AT ITER 289 NEW BEST:: SOT 25926 SOS 15159 HAS SOPS 15137 HAS SOUS 5113 HAS SOUPS 5100 WITH SCORE 5115.159
AT ITER 290 NEW BEST:: SOT 25926 SOS 15142 HAS SOPS 15120 HAS SOUS 5113 HAS SOUPS 5100 WITH SCORE 5115.142
AT ITER 293 NEW BEST:: SOT 25924 SOS 15138 HAS SOPS 15116 HAS SOUS 5109 HAS SOUPS 5096 WITH SCORE 5111.138
AT ITER 297 NEW BEST:: SOT 25924 SOS 15138 HAS SOPS 15116 HAS SOUS 5107 HAS SOUPS 5094 WITH SCORE 5109.138
AT ITER 301 NEW BEST:: SOT 25903 SOS 15108 HAS SOPS 15086 HAS SOUS 5102 HAS SOUPS 5089 WITH SCORE 5104.108
AT ITER 304 NEW BEST:: SOT 25881 SOS 15037 HAS SOPS 15015 HAS SOUS 5075 HAS SOUPS 5062 WITH SCORE 5077.037
AT ITER 306 NEW BEST:: SOT 25873 SOS 15033 HAS SOPS 15011 HAS SOUS 5055 HAS SOUPS 5042 WITH SCORE 5057.033
AT ITER 308 NEW BEST:: SOT 25845 SOS 15005 HAS SOPS 14983 HAS SOUS 5036 HAS SOUPS 5023 WITH SCORE 5038.005
AT ITER 322 NEW BEST:: SOT 25837 SOS 14997 HAS SOPS 14975 HAS SOUS 5028 HAS SOUPS 5015 WITH SCORE 5029.997
AT ITER 324 NEW BEST:: SOT 25968 SOS 15074 HAS SOPS 15052 HAS SOUS 4989 HAS SOUPS 4976 WITH SCORE 4991.074
AT ITER 326 NEW BEST:: SOT 25954 SOS 15044 HAS SOPS 15022 HAS SOUS 4948 HAS SOUPS 4935 WITH SCORE 4950.044
AT ITER 328 NEW BEST:: SOT 25936 SOS 15026 HAS SOPS 15004 HAS SOUS 4931 HAS SOUPS 4918 WITH SCORE 4933.026
AT ITER 330 NEW BEST:: SOT 25936 SOS 15017 HAS SOPS 14995 HAS SOUS 4922 HAS SOUPS 4909 WITH SCORE 4924.017
AT ITER 331 NEW BEST:: SOT 25818 SOS 14851 HAS SOPS 14829 HAS SOUS 4890 HAS SOUPS 4877 WITH SCORE 4891.851
AT ITER 334 NEW BEST:: SOT 25805 SOS 14835 HAS SOPS 14813 HAS SOUS 4872 HAS SOUPS 4859 WITH SCORE 4873.835
AT ITER 338 NEW BEST:: SOT 25803 SOS 14827 HAS SOPS 14805 HAS SOUS 4868 HAS SOUPS 4855 WITH SCORE 4869.827
AT ITER 342 NEW BEST:: SOT 25787 SOS 14803 HAS SOPS 14781 HAS SOUS 4860 HAS SOUPS 4847 WITH SCORE 4861.803
AT ITER 347 NEW BEST:: SOT 25787 SOS 14803 HAS SOPS 14781 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4846.803
AT ITER 366 NEW BEST:: SOT 25762 SOS 14754 HAS SOPS 14732 HAS SOUS 4825 HAS SOUPS 4812 WITH SCORE 4826.754
AT ITER 367 NEW BEST:: SOT 25951 SOS 14607 HAS SOPS 14585 HAS SOUS 4818 HAS SOUPS 4805 WITH SCORE 4819.607
AT ITER 387 NEW BEST:: SOT 25906 SOS 14472 HAS SOPS 14450 HAS SOUS 4782 HAS SOUPS 4769 WITH SCORE 4783.472
AT ITER 400 NEW BEST:: SOT 25890 SOS 14456 HAS SOPS 14434 HAS SOUS 4774 HAS SOUPS 4761 WITH SCORE 4775.456
AT ITER 402 NEW BEST:: SOT 25880 SOS 14436 HAS SOPS 14414 HAS SOUS 4764 HAS SOUPS 4751 WITH SCORE 4765.436
AT ITER 413 NEW BEST:: SOT 25854 SOS 14371 HAS SOPS 14349 HAS SOUS 4741 HAS SOUPS 4728 WITH SCORE 4742.371
AT ITER 416 NEW BEST:: SOT 25834 SOS 14315 HAS SOPS 14293 HAS SOUS 4701 HAS SOUPS 4688 WITH SCORE 4702.315
AT ITER 424 NEW BEST:: SOT 25834 SOS 14315 HAS SOPS 14293 HAS SOUS 4698 HAS SOUPS 4685 WITH SCORE 4699.315
AT ITER 430 NEW BEST:: SOT 25765 SOS 14223 HAS SOPS 14201 HAS SOUS 4665 HAS SOUPS 4652 WITH SCORE 4666.223
AT ITER 455 NEW BEST:: SOT 25752 SOS 14052 HAS SOPS 14030 HAS SOUS 4655 HAS SOUPS 4642 WITH SCORE 4656.052
AT ITER 467 NEW BEST:: SOT 25711 SOS 14164 HAS SOPS 14142 HAS SOUS 4639 HAS SOUPS 4626 WITH SCORE 4640.164
AT ITER 472 NEW BEST:: SOT 25743 SOS 14196 HAS SOPS 14174 HAS SOUS 4638 HAS SOUPS 4625 WITH SCORE 4639.196
AT ITER 478 NEW BEST:: SOT 25744 SOS 14197 HAS SOPS 14175 HAS SOUS 4636 HAS SOUPS 4623 WITH SCORE 4637.197
AT ITER 480 NEW BEST:: SOT 25733 SOS 14186 HAS SOPS 14164 HAS SOUS 4636 HAS SOUPS 4623 WITH SCORE 4637.186
AT ITER 494 NEW BEST:: SOT 25762 SOS 14251 HAS SOPS 14229 HAS SOUS 4635 HAS SOUPS 4622 WITH SCORE 4636.251
AT ITER 506 NEW BEST:: SOT 25731 SOS 14220 HAS SOPS 14198 HAS SOUS 4622 HAS SOUPS 4609 WITH SCORE 4623.22
AT ITER 509 NEW BEST:: SOT 25731 SOS 14220 HAS SOPS 14198 HAS SOUS 4617 HAS SOUPS 4604 WITH SCORE 4618.22
AT ITER 519 NEW BEST:: SOT 25710 SOS 14190 HAS SOPS 14168 HAS SOUS 4596 HAS SOUPS 4583 WITH SCORE 4597.19
AT ITER 528 NEW BEST:: SOT 25710 SOS 14190 HAS SOPS 14168 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4585.19
AT ITER 534 NEW BEST:: SOT 25695 SOS 14122 HAS SOPS 14100 HAS SOUS 4565 HAS SOUPS 4552 WITH SCORE 4566.122
AT ITER 538 NEW BEST:: SOT 25668 SOS 14067 HAS SOPS 14045 HAS SOUS 4540 HAS SOUPS 4527 WITH SCORE 4541.067
AT ITER 543 NEW BEST:: SOT 25663 SOS 14057 HAS SOPS 14035 HAS SOUS 4540 HAS SOUPS 4527 WITH SCORE 4541.057
AT ITER 546 NEW BEST:: SOT 25610 SOS 13999 HAS SOPS 13977 HAS SOUS 4505 HAS SOUPS 4492 WITH SCORE 4505.999
AT ITER 551 NEW BEST:: SOT 25575 SOS 13964 HAS SOPS 13942 HAS SOUS 4470 HAS SOUPS 4457 WITH SCORE 4470.964
AT ITER 567 NEW BEST:: SOT 25530 SOS 13919 HAS SOPS 13897 HAS SOUS 4470 HAS SOUPS 4457 WITH SCORE 4470.919
AT ITER 580 NEW BEST:: SOT 25536 SOS 13900 HAS SOPS 13878 HAS SOUS 4455 HAS SOUPS 4442 WITH SCORE 4455.9
AT ITER 587 NEW BEST:: SOT 25426 SOS 13764 HAS SOPS 13742 HAS SOUS 4442 HAS SOUPS 4429 WITH SCORE 4442.764
AT ITER 592 NEW BEST:: SOT 25451 SOS 13781 HAS SOPS 13759 HAS SOUS 4439 HAS SOUPS 4426 WITH SCORE 4439.781
AT ITER 603 NEW BEST:: SOT 25437 SOS 13767 HAS SOPS 13745 HAS SOUS 4411 HAS SOUPS 4398 WITH SCORE 4411.767
AT ITER 604 NEW BEST:: SOT 25404 SOS 13734 HAS SOPS 13712 HAS SOUS 4401 HAS SOUPS 4388 WITH SCORE 4401.734
AT ITER 605 NEW BEST:: SOT 25404 SOS 13734 HAS SOPS 13712 HAS SOUS 4386 HAS SOUPS 4373 WITH SCORE 4386.734
AT ITER 609 NEW BEST:: SOT 25402 SOS 13728 HAS SOPS 13706 HAS SOUS 4384 HAS SOUPS 4371 WITH SCORE 4384.728
AT ITER 657 NEW BEST:: SOT 25402 SOS 13730 HAS SOPS 13708 HAS SOUS 4382 HAS SOUPS 4369 WITH SCORE 4382.73
AT ITER 671 NEW BEST:: SOT 25403 SOS 13726 HAS SOPS 13704 HAS SOUS 4378 HAS SOUPS 4365 WITH SCORE 4378.726
AT ITER 679 NEW BEST:: SOT 25359 SOS 13644 HAS SOPS 13622 HAS SOUS 4374 HAS SOUPS 4361 WITH SCORE 4374.644
AT ITER 686 NEW BEST:: SOT 25347 SOS 13620 HAS SOPS 13598 HAS SOUS 4366 HAS SOUPS 4353 WITH SCORE 4366.62
AT ITER 689 NEW BEST:: SOT 25356 SOS 13616 HAS SOPS 13594 HAS SOUS 4353 HAS SOUPS 4340 WITH SCORE 4353.616
AT ITER 702 NEW BEST:: SOT 25351 SOS 13611 HAS SOPS 13589 HAS SOUS 4353 HAS SOUPS 4340 WITH SCORE 4353.611
AT ITER 703 NEW BEST:: SOT 25351 SOS 13611 HAS SOPS 13589 HAS SOUS 4340 HAS SOUPS 4327 WITH SCORE 4340.611
AT ITER 706 NEW BEST:: SOT 25351 SOS 13611 HAS SOPS 13589 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4324.611
AT ITER 728 NEW BEST:: SOT 25349 SOS 13609 HAS SOPS 13587 HAS SOUS 4322 HAS SOUPS 4309 WITH SCORE 4322.609
AT ITER 730 NEW BEST:: SOT 25328 SOS 13546 HAS SOPS 13524 HAS SOUS 4280 HAS SOUPS 4267 WITH SCORE 4280.546
AT ITER 733 NEW BEST:: SOT 25275 SOS 13617 HAS SOPS 13595 HAS SOUS 4260 HAS SOUPS 4247 WITH SCORE 4260.617
AT ITER 734 NEW BEST:: SOT 25269 SOS 13599 HAS SOPS 13577 HAS SOUS 4254 HAS SOUPS 4241 WITH SCORE 4254.599
AT ITER 736 NEW BEST:: SOT 25261 SOS 13583 HAS SOPS 13561 HAS SOUS 4246 HAS SOUPS 4233 WITH SCORE 4246.583
AT ITER 778 NEW BEST:: SOT 25236 SOS 13546 HAS SOPS 13524 HAS SOUS 4236 HAS SOUPS 4223 WITH SCORE 4236.546
AT ITER 783 NEW BEST:: SOT 25216 SOS 13516 HAS SOPS 13494 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4226.516
AT ITER 784 NEW BEST:: SOT 25221 SOS 13526 HAS SOPS 13504 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4208.526
AT ITER 789 NEW BEST:: SOT 25221 SOS 13526 HAS SOPS 13504 HAS SOUS 4207 HAS SOUPS 4194 WITH SCORE 4207.526
AT ITER 794 NEW BEST:: SOT 25207 SOS 13498 HAS SOPS 13476 HAS SOUS 4196 HAS SOUPS 4183 WITH SCORE 4196.498
AT ITER 795 NEW BEST:: SOT 25196 SOS 13856 HAS SOPS 13834 HAS SOUS 4185 HAS SOUPS 4172 WITH SCORE 4185.856
AT ITER 810 NEW BEST:: SOT 25186 SOS 13846 HAS SOPS 13824 HAS SOUS 4175 HAS SOUPS 4162 WITH SCORE 4175.846
AT ITER 813 NEW BEST:: SOT 25173 SOS 13804 HAS SOPS 13782 HAS SOUS 4152 HAS SOUPS 4139 WITH SCORE 4152.804
AT ITER 817 NEW BEST:: SOT 25192 SOS 13823 HAS SOPS 13801 HAS SOUS 4151 HAS SOUPS 4138 WITH SCORE 4151.823
AT ITER 824 NEW BEST:: SOT 25137 SOS 13768 HAS SOPS 13746 HAS SOUS 4125 HAS SOUPS 4112 WITH SCORE 4125.768
AT ITER 829 NEW BEST:: SOT 24984 SOS 13589 HAS SOPS 13567 HAS SOUS 4098 HAS SOUPS 4085 WITH SCORE 4098.589
AT ITER 842 NEW BEST:: SOT 24984 SOS 13584 HAS SOPS 13562 HAS SOUS 4062 HAS SOUPS 4049 WITH SCORE 4062.584
AT ITER 865 NEW BEST:: SOT 24940 SOS 13604 HAS SOPS 13582 HAS SOUS 4038 HAS SOUPS 4025 WITH SCORE 4038.604
AT ITER 883 NEW BEST:: SOT 24918 SOS 13577 HAS SOPS 13555 HAS SOUS 4033 HAS SOUPS 4020 WITH SCORE 4033.577
AT ITER 902 NEW BEST:: SOT 24939 SOS 13644 HAS SOPS 13622 HAS SOUS 4026 HAS SOUPS 4013 WITH SCORE 4026.644
AT ITER 910 NEW BEST:: SOT 24931 SOS 13628 HAS SOPS 13606 HAS SOUS 4010 HAS SOUPS 3997 WITH SCORE 4010.628
AT ITER 933 NEW BEST:: SOT 24909 SOS 13570 HAS SOPS 13548 HAS SOUS 3996 HAS SOUPS 3983 WITH SCORE 3996.57
AT ITER 982 NEW BEST:: SOT 24969 SOS 13622 HAS SOPS 13600 HAS SOUS 3995 HAS SOUPS 3982 WITH SCORE 3995.622
AT ITER 985 NEW BEST:: SOT 24966 SOS 13616 HAS SOPS 13594 HAS SOUS 3995 HAS SOUPS 3982 WITH SCORE 3995.616
AT ITER 1017 NEW BEST:: SOT 24956 SOS 13661 HAS SOPS 13639 HAS SOUS 3991 HAS SOUPS 3978 WITH SCORE 3991.661
AT ITER 1023 NEW BEST:: SOT 24964 SOS 13677 HAS SOPS 13655 HAS SOUS 3989 HAS SOUPS 3976 WITH SCORE 3989.677
AT ITER 1055 NEW BEST:: SOT 24963 SOS 13676 HAS SOPS 13654 HAS SOUS 3970 HAS SOUPS 3957 WITH SCORE 3970.676
AT ITER 1074 NEW BEST:: SOT 24981 SOS 13978 HAS SOPS 13956 HAS SOUS 3956 HAS SOUPS 3943 WITH SCORE 3956.978
AT ITER 1082 NEW BEST:: SOT 24969 SOS 13984 HAS SOPS 13962 HAS SOUS 3942 HAS SOUPS 3929 WITH SCORE 3942.984
AT ITER 1085 NEW BEST:: SOT 24951 SOS 13966 HAS SOPS 13944 HAS SOUS 3919 HAS SOUPS 3906 WITH SCORE 3919.966
AT ITER 1110 NEW BEST:: SOT 24938 SOS 13953 HAS SOPS 13931 HAS SOUS 3915 HAS SOUPS 3902 WITH SCORE 3915.953
AT ITER 1127 NEW BEST:: SOT 24938 SOS 13950 HAS SOPS 13928 HAS SOUS 3915 HAS SOUPS 3902 WITH SCORE 3915.95
AT ITER 1131 NEW BEST:: SOT 24943 SOS 13940 HAS SOPS 13918 HAS SOUS 3913 HAS SOUPS 3900 WITH SCORE 3913.94
AT ITER 1136 NEW BEST:: SOT 24942 SOS 13939 HAS SOPS 13917 HAS SOUS 3912 HAS SOUPS 3899 WITH SCORE 3912.939
AT ITER 1146 NEW BEST:: SOT 24933 SOS 13948 HAS SOPS 13926 HAS SOUS 3911 HAS SOUPS 3898 WITH SCORE 3911.948
AT ITER 1155 NEW BEST:: SOT 24925 SOS 13940 HAS SOPS 13918 HAS SOUS 3910 HAS SOUPS 3897 WITH SCORE 3910.94
AT ITER 1163 NEW BEST:: SOT 24920 SOS 13937 HAS SOPS 13915 HAS SOUS 3907 HAS SOUPS 3894 WITH SCORE 3907.937
AT ITER 1179 NEW BEST:: SOT 24917 SOS 13934 HAS SOPS 13912 HAS SOUS 3906 HAS SOUPS 3893 WITH SCORE 3906.934
AT ITER 1199 NEW BEST:: SOT 24845 SOS 13814 HAS SOPS 13792 HAS SOUS 3906 HAS SOUPS 3893 WITH SCORE 3906.814
AT ITER 1210 NEW BEST:: SOT 24827 SOS 13832 HAS SOPS 13810 HAS SOUS 3905 HAS SOUPS 3892 WITH SCORE 3905.832
AT ITER 1217 NEW BEST:: SOT 24809 SOS 13796 HAS SOPS 13774 HAS SOUS 3895 HAS SOUPS 3882 WITH SCORE 3895.796
AT ITER 1233 NEW BEST:: SOT 24821 SOS 13815 HAS SOPS 13793 HAS SOUS 3891 HAS SOUPS 3878 WITH SCORE 3891.815
AT ITER 1252 NEW BEST:: SOT 24812 SOS 13806 HAS SOPS 13784 HAS SOUS 3882 HAS SOUPS 3869 WITH SCORE 3882.806
AT ITER 1267 NEW BEST:: SOT 24812 SOS 13806 HAS SOPS 13784 HAS SOUS 3879 HAS SOUPS 3866 WITH SCORE 3879.806
AT ITER 1273 NEW BEST:: SOT 24808 SOS 13797 HAS SOPS 13775 HAS SOUS 3877 HAS SOUPS 3864 WITH SCORE 3877.797
AT ITER 1284 NEW BEST:: SOT 24808 SOS 13794 HAS SOPS 13772 HAS SOUS 3874 HAS SOUPS 3861 WITH SCORE 3874.794
AT ITER 1311 NEW BEST:: SOT 24808 SOS 13794 HAS SOPS 13772 HAS SOUS 3872 HAS SOUPS 3859 WITH SCORE 3872.794
AT ITER 1326 NEW BEST:: SOT 24768 SOS 13714 HAS SOPS 13692 HAS SOUS 3824 HAS SOUPS 3811 WITH SCORE 3824.714
AT ITER 1339 NEW BEST:: SOT 24772 SOS 13707 HAS SOPS 13685 HAS SOUS 3824 HAS SOUPS 3811 WITH SCORE 3824.707
AT ITER 1340 NEW BEST:: SOT 24784 SOS 13687 HAS SOPS 13665 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3812.687
AT ITER 1372 NEW BEST:: SOT 24776 SOS 13676 HAS SOPS 13654 HAS SOUS 3804 HAS SOUPS 3791 WITH SCORE 3804.676
AT ITER 1417 NEW BEST:: SOT 24759 SOS 13659 HAS SOPS 13637 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3777.659
AT ITER 1433 NEW BEST:: SOT 24737 SOS 13634 HAS SOPS 13612 HAS SOUS 3771 HAS SOUPS 3758 WITH SCORE 3771.634
AT ITER 1447 NEW BEST:: SOT 24737 SOS 13624 HAS SOPS 13602 HAS SOUS 3771 HAS SOUPS 3758 WITH SCORE 3771.624
AT ITER 1460 NEW BEST:: SOT 24738 SOS 13625 HAS SOPS 13603 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3768.625
AT ITER 1477 NEW BEST:: SOT 24749 SOS 13643 HAS SOPS 13621 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3760.643
AT ITER 1488 NEW BEST:: SOT 24711 SOS 13802 HAS SOPS 13780 HAS SOUS 3749 HAS SOUPS 3736 WITH SCORE 3749.802
AT ITER 1500 NEW BEST:: SOT 24655 SOS 13817 HAS SOPS 13795 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3728.817
AT ITER 1528 NEW BEST:: SOT 24655 SOS 13737 HAS SOPS 13715 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3728.737
AT ITER 1531 NEW BEST:: SOT 24647 SOS 13729 HAS SOPS 13707 HAS SOUS 3714 HAS SOUPS 3701 WITH SCORE 3714.729
AT ITER 1585 NEW BEST:: SOT 24641 SOS 13723 HAS SOPS 13701 HAS SOUS 3708 HAS SOUPS 3695 WITH SCORE 3708.723
AT ITER 1594 NEW BEST:: SOT 24639 SOS 13721 HAS SOPS 13699 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3704.721
AT ITER 1600 NEW BEST:: SOT 24637 SOS 13717 HAS SOPS 13695 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3701.717
AT ITER 1612 NEW BEST:: SOT 24634 SOS 13708 HAS SOPS 13686 HAS SOUS 3695 HAS SOUPS 3682 WITH SCORE 3695.708
AT ITER 1631 NEW BEST:: SOT 24634 SOS 13708 HAS SOPS 13686 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3690.708
AT ITER 1644 NEW BEST:: SOT 24634 SOS 13708 HAS SOPS 13686 HAS SOUS 3668 HAS SOUPS 3655 WITH SCORE 3668.708
AT ITER 1659 NEW BEST:: SOT 24582 SOS 13658 HAS SOPS 13636 HAS SOUS 3664 HAS SOUPS 3651 WITH SCORE 3664.658
AT ITER 1676 NEW BEST:: SOT 24582 SOS 13655 HAS SOPS 13633 HAS SOUS 3658 HAS SOUPS 3645 WITH SCORE 3658.655
AT ITER 1684 NEW BEST:: SOT 24582 SOS 13655 HAS SOPS 13633 HAS SOUS 3656 HAS SOUPS 3643 WITH SCORE 3656.655
AT ITER 1718 NEW BEST:: SOT 24574 SOS 13643 HAS SOPS 13621 HAS SOUS 3652 HAS SOUPS 3639 WITH SCORE 3652.643
AT ITER 1722 NEW BEST:: SOT 24554 SOS 12473 HAS SOPS 12451 HAS SOUS 3652 HAS SOUPS 3639 WITH SCORE 3651.473
AT ITER 1724 NEW BEST:: SOT 24554 SOS 12473 HAS SOPS 12451 HAS SOUS 3651 HAS SOUPS 3638 WITH SCORE 3650.473
AT ITER 1729 NEW BEST:: SOT 24554 SOS 12473 HAS SOPS 12451 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3635.473
AT ITER 1744 NEW BEST:: SOT 24597 SOS 12578 HAS SOPS 12556 HAS SOUS 3628 HAS SOUPS 3615 WITH SCORE 3627.578
AT ITER 1757 NEW BEST:: SOT 24606 SOS 12587 HAS SOPS 12565 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3618.587
AT ITER 1767 NEW BEST:: SOT 24577 SOS 12542 HAS SOPS 12520 HAS SOUS 3595 HAS SOUPS 3582 WITH SCORE 3594.542
AT ITER 1773 NEW BEST:: SOT 24571 SOS 12536 HAS SOPS 12514 HAS SOUS 3577 HAS SOUPS 3564 WITH SCORE 3576.536
AT ITER 1791 NEW BEST:: SOT 24539 SOS 12520 HAS SOPS 12498 HAS SOUS 3572 HAS SOUPS 3559 WITH SCORE 3571.52
AT ITER 1861 NEW BEST:: SOT 24547 SOS 12528 HAS SOPS 12506 HAS SOUS 3561 HAS SOUPS 3548 WITH SCORE 3560.528
AT ITER 1863 NEW BEST:: SOT 24533 SOS 12514 HAS SOPS 12492 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3555.514
AT ITER 1881 NEW BEST:: SOT 24520 SOS 12472 HAS SOPS 12450 HAS SOUS 3534 HAS SOUPS 3521 WITH SCORE 3533.472
AT ITER 1909 NEW BEST:: SOT 24509 SOS 12314 HAS SOPS 12292 HAS SOUS 3524 HAS SOUPS 3511 WITH SCORE 3523.314
AT ITER 1921 NEW BEST:: SOT 24509 SOS 12314 HAS SOPS 12292 HAS SOUS 3520 HAS SOUPS 3507 WITH SCORE 3519.314
AT ITER 1957 NEW BEST:: SOT 24509 SOS 12314 HAS SOPS 12292 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3515.314
AT ITER 1989 NEW BEST:: SOT 24423 SOS 12175 HAS SOPS 12153 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3498.175
AT ITER 2014 NEW BEST:: SOT 24405 SOS 12213 HAS SOPS 12191 HAS SOUS 3493 HAS SOUPS 3480 WITH SCORE 3492.213
AT ITER 2036 NEW BEST:: SOT 24400 SOS 12215 HAS SOPS 12193 HAS SOUS 3483 HAS SOUPS 3470 WITH SCORE 3482.215
AT ITER 2058 NEW BEST:: SOT 24382 SOS 12190 HAS SOPS 12168 HAS SOUS 3462 HAS SOUPS 3449 WITH SCORE 3461.19
AT ITER 2072 NEW BEST:: SOT 24374 SOS 12313 HAS SOPS 12291 HAS SOUS 3458 HAS SOUPS 3445 WITH SCORE 3457.313
AT ITER 2079 NEW BEST:: SOT 24362 SOS 12271 HAS SOPS 12249 HAS SOUS 3449 HAS SOUPS 3436 WITH SCORE 3448.271
AT ITER 2101 NEW BEST:: SOT 24360 SOS 12269 HAS SOPS 12247 HAS SOUS 3445 HAS SOUPS 3432 WITH SCORE 3444.269
AT ITER 2103 NEW BEST:: SOT 24359 SOS 12268 HAS SOPS 12246 HAS SOUS 3443 HAS SOUPS 3430 WITH SCORE 3442.268
AT ITER 2107 NEW BEST:: SOT 24358 SOS 12266 HAS SOPS 12244 HAS SOUS 3443 HAS SOUPS 3430 WITH SCORE 3442.266
AT ITER 2122 NEW BEST:: SOT 24351 SOS 12241 HAS SOPS 12219 HAS SOUS 3439 HAS SOUPS 3426 WITH SCORE 3438.241
AT ITER 2126 NEW BEST:: SOT 24358 SOS 12248 HAS SOPS 12226 HAS SOUS 3434 HAS SOUPS 3421 WITH SCORE 3433.248
AT ITER 2127 NEW BEST:: SOT 24371 SOS 12291 HAS SOPS 12269 HAS SOUS 3430 HAS SOUPS 3417 WITH SCORE 3429.291
AT ITER 2160 NEW BEST:: SOT 24371 SOS 12291 HAS SOPS 12269 HAS SOUS 3428 HAS SOUPS 3415 WITH SCORE 3427.291
AT ITER 2214 NEW BEST:: SOT 24399 SOS 12356 HAS SOPS 12334 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3417.356
AT ITER 2233 NEW BEST:: SOT 24399 SOS 12350 HAS SOPS 12328 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3417.35
AT ITER 2239 NEW BEST:: SOT 24320 SOS 12205 HAS SOPS 12183 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3405.205
AT ITER 2248 NEW BEST:: SOT 24319 SOS 12204 HAS SOPS 12182 HAS SOUS 3403 HAS SOUPS 3390 WITH SCORE 3402.204
AT ITER 2290 NEW BEST:: SOT 24316 SOS 12201 HAS SOPS 12179 HAS SOUS 3400 HAS SOUPS 3387 WITH SCORE 3399.201
AT ITER 2317 NEW BEST:: SOT 24270 SOS 12322 HAS SOPS 12300 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3393.322
AT ITER 2334 NEW BEST:: SOT 24265 SOS 12317 HAS SOPS 12295 HAS SOUS 3389 HAS SOUPS 3376 WITH SCORE 3388.317
AT ITER 2357 NEW BEST:: SOT 24261 SOS 12313 HAS SOPS 12291 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3379.313
AT ITER 2362 NEW BEST:: SOT 24261 SOS 12309 HAS SOPS 12287 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3379.309
AT ITER 2383 NEW BEST:: SOT 24259 SOS 12302 HAS SOPS 12280 HAS SOUS 3380 HAS SOUPS 3367 WITH SCORE 3379.302
AT ITER 2424 NEW BEST:: SOT 24251 SOS 12230 HAS SOPS 12208 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3370.23
AT ITER 2441 NEW BEST:: SOT 24249 SOS 12228 HAS SOPS 12206 HAS SOUS 3369 HAS SOUPS 3356 WITH SCORE 3368.228
AT ITER 2467 NEW BEST:: SOT 24248 SOS 12224 HAS SOPS 12202 HAS SOUS 3367 HAS SOUPS 3354 WITH SCORE 3366.224
AT ITER 2533 NEW BEST:: SOT 24294 SOS 12308 HAS SOPS 12286 HAS SOUS 3345 HAS SOUPS 3332 WITH SCORE 3344.308
AT ITER 2594 NEW BEST:: SOT 24311 SOS 12301 HAS SOPS 12279 HAS SOUS 3338 HAS SOUPS 3325 WITH SCORE 3337.301
AT ITER 2616 NEW BEST:: SOT 24299 SOS 12277 HAS SOPS 12255 HAS SOUS 3329 HAS SOUPS 3316 WITH SCORE 3328.277
AT ITER 2618 NEW BEST:: SOT 24295 SOS 12273 HAS SOPS 12251 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3320.273
AT ITER 2644 NEW BEST:: SOT 24287 SOS 12265 HAS SOPS 12243 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3320.265
AT ITER 2647 NEW BEST:: SOT 24292 SOS 12270 HAS SOPS 12248 HAS SOUS 3319 HAS SOUPS 3306 WITH SCORE 3318.27
AT ITER 2668 NEW BEST:: SOT 24290 SOS 12268 HAS SOPS 12246 HAS SOUS 3317 HAS SOUPS 3304 WITH SCORE 3316.268
AT ITER 2685 NEW BEST:: SOT 24288 SOS 12265 HAS SOPS 12243 HAS SOUS 3314 HAS SOUPS 3301 WITH SCORE 3313.265
AT ITER 2746 NEW BEST:: SOT 24288 SOS 12191 HAS SOPS 12169 HAS SOUS 3312 HAS SOUPS 3299 WITH SCORE 3311.191
AT ITER 2760 NEW BEST:: SOT 24301 SOS 12187 HAS SOPS 12165 HAS SOUS 3308 HAS SOUPS 3295 WITH SCORE 3307.187
AT ITER 2777 NEW BEST:: SOT 24301 SOS 12187 HAS SOPS 12165 HAS SOUS 3302 HAS SOUPS 3289 WITH SCORE 3301.187
AT ITER 2794 NEW BEST:: SOT 24297 SOS 12183 HAS SOPS 12161 HAS SOUS 3298 HAS SOUPS 3285 WITH SCORE 3297.183
AT ITER 2808 NEW BEST:: SOT 24297 SOS 12183 HAS SOPS 12161 HAS SOUS 3297 HAS SOUPS 3284 WITH SCORE 3296.183
AT ITER 2814 NEW BEST:: SOT 24294 SOS 12180 HAS SOPS 12158 HAS SOUS 3291 HAS SOUPS 3278 WITH SCORE 3290.18
AT ITER 2816 NEW BEST:: SOT 24300 SOS 12186 HAS SOPS 12164 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3289.186
AT ITER 2831 NEW BEST:: SOT 24297 SOS 12176 HAS SOPS 12154 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3283.176
AT ITER 2862 NEW BEST:: SOT 24277 SOS 12136 HAS SOPS 12114 HAS SOUS 3278 HAS SOUPS 3265 WITH SCORE 3277.136
AT ITER 2921 NEW BEST:: SOT 24283 SOS 12142 HAS SOPS 12120 HAS SOUS 3272 HAS SOUPS 3259 WITH SCORE 3271.142
AT ITER 2959 NEW BEST:: SOT 24286 SOS 12145 HAS SOPS 12123 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3266.145
AT ITER 2989 NEW BEST:: SOT 24283 SOS 12139 HAS SOPS 12117 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3266.139
AT ITER 2990 NEW BEST:: SOT 24279 SOS 12053 HAS SOPS 12031 HAS SOUS 3265 HAS SOUPS 3252 WITH SCORE 3264.053
AT ITER 3015 NEW BEST:: SOT 24288 SOS 12062 HAS SOPS 12040 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3252.062
AT ITER 3041 NEW BEST:: SOT 24282 SOS 12046 HAS SOPS 12024 HAS SOUS 3251 HAS SOUPS 3238 WITH SCORE 3250.046
AT ITER 3058 NEW BEST:: SOT 24283 SOS 12047 HAS SOPS 12025 HAS SOUS 3250 HAS SOUPS 3237 WITH SCORE 3249.047
AT ITER 3084 NEW BEST:: SOT 24286 SOS 12050 HAS SOPS 12028 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3238.05
AT ITER 3141 NEW BEST:: SOT 24278 SOS 12042 HAS SOPS 12020 HAS SOUS 3228 HAS SOUPS 3215 WITH SCORE 3227.042
AT ITER 3164 NEW BEST:: SOT 24283 SOS 12047 HAS SOPS 12025 HAS SOUS 3225 HAS SOUPS 3212 WITH SCORE 3224.047
AT ITER 3195 NEW BEST:: SOT 24283 SOS 12047 HAS SOPS 12025 HAS SOUS 3219 HAS SOUPS 3206 WITH SCORE 3218.047
AT ITER 3200 NEW BEST:: SOT 24277 SOS 12041 HAS SOPS 12019 HAS SOUS 3207 HAS SOUPS 3194 WITH SCORE 3206.041
AT ITER 3221 NEW BEST:: SOT 24276 SOS 12103 HAS SOPS 12081 HAS SOUS 3206 HAS SOUPS 3193 WITH SCORE 3205.103
AT ITER 3256 NEW BEST:: SOT 24273 SOS 12096 HAS SOPS 12074 HAS SOUS 3203 HAS SOUPS 3190 WITH SCORE 3202.096
AT ITER 3267 NEW BEST:: SOT 24295 SOS 12100 HAS SOPS 12078 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3200.1
AT ITER 3279 NEW BEST:: SOT 24291 SOS 12098 HAS SOPS 12076 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3196.098
AT ITER 3285 NEW BEST:: SOT 24285 SOS 12092 HAS SOPS 12070 HAS SOUS 3191 HAS SOUPS 3178 WITH SCORE 3190.092
AT ITER 3301 NEW BEST:: SOT 24275 SOS 12072 HAS SOPS 12050 HAS SOUS 3188 HAS SOUPS 3175 WITH SCORE 3187.072
AT ITER 3344 NEW BEST:: SOT 24227 SOS 11964 HAS SOPS 11942 HAS SOUS 3178 HAS SOUPS 3165 WITH SCORE 3176.964
AT ITER 3382 NEW BEST:: SOT 24227 SOS 11964 HAS SOPS 11942 HAS SOUS 3175 HAS SOUPS 3162 WITH SCORE 3173.964
AT ITER 3391 NEW BEST:: SOT 24224 SOS 11958 HAS SOPS 11936 HAS SOUS 3175 HAS SOUPS 3162 WITH SCORE 3173.958
AT ITER 3403 NEW BEST:: SOT 24220 SOS 11954 HAS SOPS 11932 HAS SOUS 3171 HAS SOUPS 3158 WITH SCORE 3169.954
AT ITER 3485 NEW BEST:: SOT 24218 SOS 11896 HAS SOPS 11874 HAS SOUS 3171 HAS SOUPS 3158 WITH SCORE 3169.896
AT ITER 3730 NEW BEST:: SOT 24215 SOS 11893 HAS SOPS 11871 HAS SOUS 3167 HAS SOUPS 3154 WITH SCORE 3165.893
AT ITER 3731 NEW BEST:: SOT 24209 SOS 11878 HAS SOPS 11856 HAS SOUS 3164 HAS SOUPS 3151 WITH SCORE 3162.878
AT ITER 3753 NEW BEST:: SOT 24201 SOS 12043 HAS SOPS 12021 HAS SOUS 3163 HAS SOUPS 3150 WITH SCORE 3162.043
AT ITER 3768 NEW BEST:: SOT 24198 SOS 12043 HAS SOPS 12021 HAS SOUS 3162 HAS SOUPS 3149 WITH SCORE 3161.043
AT ITER 3796 NEW BEST:: SOT 24199 SOS 12044 HAS SOPS 12022 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3160.044
AT ITER 3797 NEW BEST:: SOT 24188 SOS 12030 HAS SOPS 12008 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3148.03
AT ITER 3812 NEW BEST:: SOT 24189 SOS 12031 HAS SOPS 12009 HAS SOUS 3148 HAS SOUPS 3135 WITH SCORE 3147.031
AT ITER 3814 NEW BEST:: SOT 24232 SOS 12083 HAS SOPS 12061 HAS SOUS 3134 HAS SOUPS 3121 WITH SCORE 3133.083
AT ITER 3838 NEW BEST:: SOT 24222 SOS 12062 HAS SOPS 12040 HAS SOUS 3130 HAS SOUPS 3117 WITH SCORE 3129.062
AT ITER 3843 NEW BEST:: SOT 24173 SOS 12013 HAS SOPS 11991 HAS SOUS 3118 HAS SOUPS 3105 WITH SCORE 3117.013
AT ITER 3940 NEW BEST:: SOT 24172 SOS 12012 HAS SOPS 11990 HAS SOUS 3117 HAS SOUPS 3104 WITH SCORE 3116.012
AT ITER 3946 NEW BEST:: SOT 24166 SOS 12006 HAS SOPS 11984 HAS SOUS 3115 HAS SOUPS 3102 WITH SCORE 3114.006
AT ITER 3986 NEW BEST:: SOT 24159 SOS 11999 HAS SOPS 11977 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3106.999
AT ITER 4010 NEW BEST:: SOT 24157 SOS 11997 HAS SOPS 11975 HAS SOUS 3106 HAS SOUPS 3093 WITH SCORE 3104.997
AT ITER 4014 NEW BEST:: SOT 24138 SOS 11959 HAS SOPS 11937 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3082.959
AT ITER 4018 NEW BEST:: SOT 24136 SOS 11955 HAS SOPS 11933 HAS SOUS 3081 HAS SOUPS 3068 WITH SCORE 3079.955
AT ITER 4044 NEW BEST:: SOT 24132 SOS 11951 HAS SOPS 11929 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3071.951
AT ITER 4162 NEW BEST:: SOT 24126 SOS 11945 HAS SOPS 11923 HAS SOUS 3067 HAS SOUPS 3054 WITH SCORE 3065.945
AT ITER 4172 NEW BEST:: SOT 24124 SOS 11943 HAS SOPS 11921 HAS SOUS 3065 HAS SOUPS 3052 WITH SCORE 3063.943
AT ITER 4194 NEW BEST:: SOT 24123 SOS 11942 HAS SOPS 11920 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3061.942
AT ITER 4216 NEW BEST:: SOT 24124 SOS 11938 HAS SOPS 11916 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3061.938
AT ITER 4229 NEW BEST:: SOT 24104 SOS 11912 HAS SOPS 11890 HAS SOUS 3049 HAS SOUPS 3036 WITH SCORE 3047.912
AT ITER 4236 NEW BEST:: SOT 24102 SOS 11911 HAS SOPS 11889 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3044.911
AT ITER 4240 NEW BEST:: SOT 24102 SOS 11911 HAS SOPS 11889 HAS SOUS 3045 HAS SOUPS 3032 WITH SCORE 3043.911
AT ITER 4241 NEW BEST:: SOT 24097 SOS 11906 HAS SOPS 11884 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3037.906
AT ITER 4262 NEW BEST:: SOT 24096 SOS 11905 HAS SOPS 11883 HAS SOUS 3038 HAS SOUPS 3025 WITH SCORE 3036.905
AT ITER 4315 NEW BEST:: SOT 24080 SOS 11892 HAS SOPS 11870 HAS SOUS 3029 HAS SOUPS 3016 WITH SCORE 3027.892
AT ITER 4351 NEW BEST:: SOT 24078 SOS 11890 HAS SOPS 11868 HAS SOUS 3028 HAS SOUPS 3015 WITH SCORE 3026.89
AT ITER 4417 NEW BEST:: SOT 24077 SOS 11889 HAS SOPS 11867 HAS SOUS 3026 HAS SOUPS 3013 WITH SCORE 3024.889
AT ITER 4431 NEW BEST:: SOT 24077 SOS 11886 HAS SOPS 11864 HAS SOUS 3023 HAS SOUPS 3010 WITH SCORE 3021.886
AT ITER 4462 NEW BEST:: SOT 24072 SOS 11881 HAS SOPS 11859 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3016.881
AT ITER 4496 NEW BEST:: SOT 24064 SOS 11873 HAS SOPS 11851 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3008.873
AT ITER 4567 NEW BEST:: SOT 24068 SOS 11877 HAS SOPS 11855 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3007.877
AT ITER 4614 NEW BEST:: SOT 24062 SOS 11871 HAS SOPS 11849 HAS SOUS 3005 HAS SOUPS 2992 WITH SCORE 3003.871
AT ITER 4620 NEW BEST:: SOT 24059 SOS 11868 HAS SOPS 11846 HAS SOUS 3004 HAS SOUPS 2991 WITH SCORE 3002.868
AT ITER 4622 NEW BEST:: SOT 24057 SOS 11866 HAS SOPS 11844 HAS SOUS 3002 HAS SOUPS 2989 WITH SCORE 3000.866
AT ITER 4638 NEW BEST:: SOT 24048 SOS 11857 HAS SOPS 11835 HAS SOUS 3000 HAS SOUPS 2987 WITH SCORE 2998.857
AT ITER 4671 NEW BEST:: SOT 24043 SOS 11935 HAS SOPS 11913 HAS SOUS 2995 HAS SOUPS 2982 WITH SCORE 2993.935
AT ITER 4692 NEW BEST:: SOT 24032 SOS 11907 HAS SOPS 11885 HAS SOUS 2986 HAS SOUPS 2973 WITH SCORE 2984.907
AT ITER 4693 NEW BEST:: SOT 24032 SOS 11907 HAS SOPS 11885 HAS SOUS 2985 HAS SOUPS 2972 WITH SCORE 2983.907
AT ITER 4700 NEW BEST:: SOT 24030 SOS 11904 HAS SOPS 11882 HAS SOUS 2983 HAS SOUPS 2970 WITH SCORE 2981.904
AT ITER 4777 NEW BEST:: SOT 24030 SOS 11904 HAS SOPS 11882 HAS SOUS 2981 HAS SOUPS 2968 WITH SCORE 2979.904
AT ITER 4827 NEW BEST:: SOT 24027 SOS 11901 HAS SOPS 11879 HAS SOUS 2975 HAS SOUPS 2962 WITH SCORE 2973.901
AT ITER 4828 NEW BEST:: SOT 24025 SOS 11895 HAS SOPS 11873 HAS SOUS 2973 HAS SOUPS 2960 WITH SCORE 2971.895
AT ITER 4841 NEW BEST:: SOT 24022 SOS 11896 HAS SOPS 11874 HAS SOUS 2971 HAS SOUPS 2958 WITH SCORE 2969.896
AT ITER 4847 NEW BEST:: SOT 24011 SOS 11885 HAS SOPS 11863 HAS SOUS 2963 HAS SOUPS 2950 WITH SCORE 2961.885
AT ITER 4900 NEW BEST:: SOT 23999 SOS 11861 HAS SOPS 11839 HAS SOUS 2945 HAS SOUPS 2932 WITH SCORE 2943.861
AT ITER 4954 NEW BEST:: SOT 23998 SOS 11860 HAS SOPS 11838 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2942.86
AT ITER 4964 NEW BEST:: SOT 23994 SOS 11852 HAS SOPS 11830 HAS SOUS 2941 HAS SOUPS 2928 WITH SCORE 2939.852
AT ITER 4974 NEW BEST:: SOT 23992 SOS 11851 HAS SOPS 11829 HAS SOUS 2940 HAS SOUPS 2927 WITH SCORE 2938.851
AT ITER 5086 NEW BEST:: SOT 23989 SOS 11845 HAS SOPS 11823 HAS SOUS 2940 HAS SOUPS 2927 WITH SCORE 2938.845
AT ITER 5091 NEW BEST:: SOT 23989 SOS 11845 HAS SOPS 11823 HAS SOUS 2939 HAS SOUPS 2926 WITH SCORE 2937.845
AT ITER 5261 NEW BEST:: SOT 23981 SOS 11837 HAS SOPS 11815 HAS SOUS 2937 HAS SOUPS 2924 WITH SCORE 2935.837
AT ITER 5271 NEW BEST:: SOT 23980 SOS 11836 HAS SOPS 11814 HAS SOUS 2936 HAS SOUPS 2923 WITH SCORE 2934.836
AT ITER 5338 NEW BEST:: SOT 23980 SOS 11836 HAS SOPS 11814 HAS SOUS 2934 HAS SOUPS 2921 WITH SCORE 2932.836
AT ITER 5458 NEW BEST:: SOT 23976 SOS 11832 HAS SOPS 11810 HAS SOUS 2929 HAS SOUPS 2916 WITH SCORE 2927.832
AT ITER 5467 NEW BEST:: SOT 23974 SOS 11830 HAS SOPS 11808 HAS SOUS 2927 HAS SOUPS 2914 WITH SCORE 2925.83
AT ITER 5522 NEW BEST:: SOT 23972 SOS 11828 HAS SOPS 11806 HAS SOUS 2925 HAS SOUPS 2912 WITH SCORE 2923.828
AT ITER 5523 NEW BEST:: SOT 23966 SOS 11816 HAS SOPS 11794 HAS SOUS 2923 HAS SOUPS 2910 WITH SCORE 2921.816
AT ITER 5604 NEW BEST:: SOT 23950 SOS 11792 HAS SOPS 11770 HAS SOUS 2915 HAS SOUPS 2902 WITH SCORE 2913.792
AT ITER 5643 NEW BEST:: SOT 23948 SOS 11790 HAS SOPS 11768 HAS SOUS 2915 HAS SOUPS 2902 WITH SCORE 2913.79
AT ITER 5649 NEW BEST:: SOT 23947 SOS 11789 HAS SOPS 11767 HAS SOUS 2914 HAS SOUPS 2901 WITH SCORE 2912.789
AT ITER 5749 NEW BEST:: SOT 23932 SOS 11774 HAS SOPS 11752 HAS SOUS 2905 HAS SOUPS 2892 WITH SCORE 2903.774
AT ITER 5785 NEW BEST:: SOT 23942 SOS 11746 HAS SOPS 11724 HAS SOUS 2905 HAS SOUPS 2892 WITH SCORE 2903.746
AT ITER 5793 NEW BEST:: SOT 23931 SOS 11724 HAS SOPS 11702 HAS SOUS 2901 HAS SOUPS 2888 WITH SCORE 2899.724
AT ITER 5901 NEW BEST:: SOT 23931 SOS 11712 HAS SOPS 11690 HAS SOUS 2901 HAS SOUPS 2888 WITH SCORE 2899.712
AT ITER 5970 NEW BEST:: SOT 23933 SOS 11714 HAS SOPS 11692 HAS SOUS 2900 HAS SOUPS 2887 WITH SCORE 2898.714
AT ITER 6089 NEW BEST:: SOT 23927 SOS 11711 HAS SOPS 11689 HAS SOUS 2900 HAS SOUPS 2887 WITH SCORE 2898.711
AT ITER 6103 NEW BEST:: SOT 23931 SOS 11715 HAS SOPS 11693 HAS SOUS 2898 HAS SOUPS 2885 WITH SCORE 2896.715
AT ITER 6141 NEW BEST:: SOT 23931 SOS 11715 HAS SOPS 11693 HAS SOUS 2894 HAS SOUPS 2881 WITH SCORE 2892.715
AT ITER 6199 NEW BEST:: SOT 23898 SOS 11835 HAS SOPS 11813 HAS SOUS 2893 HAS SOUPS 2880 WITH SCORE 2891.835
AT ITER 6208 NEW BEST:: SOT 23899 SOS 11836 HAS SOPS 11814 HAS SOUS 2887 HAS SOUPS 2874 WITH SCORE 2885.836
AT ITER 6211 NEW BEST:: SOT 23901 SOS 11838 HAS SOPS 11816 HAS SOUS 2885 HAS SOUPS 2872 WITH SCORE 2883.838
AT ITER 6300 NEW BEST:: SOT 23905 SOS 11853 HAS SOPS 11831 HAS SOUS 2882 HAS SOUPS 2869 WITH SCORE 2880.853
AT ITER 6423 NEW BEST:: SOT 23905 SOS 11853 HAS SOPS 11831 HAS SOUS 2868 HAS SOUPS 2855 WITH SCORE 2866.853
AT ITER 6473 NEW BEST:: SOT 23903 SOS 11859 HAS SOPS 11837 HAS SOUS 2867 HAS SOUPS 2854 WITH SCORE 2865.859
AT ITER 6527 NEW BEST:: SOT 23898 SOS 11854 HAS SOPS 11832 HAS SOUS 2866 HAS SOUPS 2853 WITH SCORE 2864.854
AT ITER 6532 NEW BEST:: SOT 23897 SOS 11851 HAS SOPS 11829 HAS SOUS 2865 HAS SOUPS 2852 WITH SCORE 2863.851
AT ITER 6684 NEW BEST:: SOT 23896 SOS 11850 HAS SOPS 11828 HAS SOUS 2864 HAS SOUPS 2851 WITH SCORE 2862.85
AT ITER 6757 NEW BEST:: SOT 23893 SOS 11847 HAS SOPS 11825 HAS SOUS 2861 HAS SOUPS 2848 WITH SCORE 2859.847
AT ITER 6759 NEW BEST:: SOT 23891 SOS 11845 HAS SOPS 11823 HAS SOUS 2857 HAS SOUPS 2844 WITH SCORE 2855.845
AT ITER 7015 NEW BEST:: SOT 23890 SOS 11844 HAS SOPS 11822 HAS SOUS 2856 HAS SOUPS 2843 WITH SCORE 2854.844
AT ITER 7199 NEW BEST:: SOT 23890 SOS 11844 HAS SOPS 11822 HAS SOUS 2850 HAS SOUPS 2837 WITH SCORE 2848.844
AT ITER 7206 NEW BEST:: SOT 23878 SOS 11832 HAS SOPS 11810 HAS SOUS 2838 HAS SOUPS 2825 WITH SCORE 2836.832
AT ITER 7263 NEW BEST:: SOT 23876 SOS 11836 HAS SOPS 11814 HAS SOUS 2836 HAS SOUPS 2823 WITH SCORE 2834.836
AT ITER 7272 NEW BEST:: SOT 23883 SOS 11817 HAS SOPS 11795 HAS SOUS 2836 HAS SOUPS 2823 WITH SCORE 2834.817
AT ITER 7281 NEW BEST:: SOT 23883 SOS 11817 HAS SOPS 11795 HAS SOUS 2834 HAS SOUPS 2821 WITH SCORE 2832.817
AT ITER 7338 NEW BEST:: SOT 23881 SOS 11815 HAS SOPS 11793 HAS SOUS 2834 HAS SOUPS 2821 WITH SCORE 2832.815
AT ITER 7423 NEW BEST:: SOT 23876 SOS 11810 HAS SOPS 11788 HAS SOUS 2833 HAS SOUPS 2820 WITH SCORE 2831.81
AT ITER 7445 NEW BEST:: SOT 23884 SOS 11818 HAS SOPS 11796 HAS SOUS 2830 HAS SOUPS 2817 WITH SCORE 2828.818
AT ITER 7657 NEW BEST:: SOT 23884 SOS 11814 HAS SOPS 11792 HAS SOUS 2828 HAS SOUPS 2815 WITH SCORE 2826.814
AT ITER 7788 NEW BEST:: SOT 23881 SOS 11811 HAS SOPS 11789 HAS SOUS 2827 HAS SOUPS 2814 WITH SCORE 2825.811
AT ITER 7809 NEW BEST:: SOT 23881 SOS 11811 HAS SOPS 11789 HAS SOUS 2825 HAS SOUPS 2812 WITH SCORE 2823.811
AT ITER 7856 NEW BEST:: SOT 23883 SOS 11814 HAS SOPS 11792 HAS SOUS 2824 HAS SOUPS 2811 WITH SCORE 2822.814
AT ITER 7858 NEW BEST:: SOT 23882 SOS 11813 HAS SOPS 11791 HAS SOUS 2824 HAS SOUPS 2811 WITH SCORE 2822.813
AT ITER 7934 NEW BEST:: SOT 23878 SOS 11809 HAS SOPS 11787 HAS SOUS 2823 HAS SOUPS 2810 WITH SCORE 2821.809
AT ITER 7945 NEW BEST:: SOT 23874 SOS 11805 HAS SOPS 11783 HAS SOUS 2817 HAS SOUPS 2804 WITH SCORE 2815.805
AT ITER 8108 NEW BEST:: SOT 23873 SOS 11804 HAS SOPS 11782 HAS SOUS 2816 HAS SOUPS 2803 WITH SCORE 2814.804
AT ITER 8201 NEW BEST:: SOT 23872 SOS 11803 HAS SOPS 11781 HAS SOUS 2813 HAS SOUPS 2800 WITH SCORE 2811.803
AT ITER 8226 NEW BEST:: SOT 23868 SOS 11795 HAS SOPS 11773 HAS SOUS 2813 HAS SOUPS 2800 WITH SCORE 2811.795
AT ITER 8280 NEW BEST:: SOT 23868 SOS 11794 HAS SOPS 11772 HAS SOUS 2813 HAS SOUPS 2800 WITH SCORE 2811.794
AT ITER 8302 NEW BEST:: SOT 23868 SOS 11794 HAS SOPS 11772 HAS SOUS 2812 HAS SOUPS 2799 WITH SCORE 2810.794
AT ITER 8458 NEW BEST:: SOT 23854 SOS 11832 HAS SOPS 11810 HAS SOUS 2810 HAS SOUPS 2797 WITH SCORE 2808.832
AT ITER 8461 NEW BEST:: SOT 23871 SOS 11767 HAS SOPS 11745 HAS SOUS 2810 HAS SOUPS 2797 WITH SCORE 2808.767
AT ITER 8589 NEW BEST:: SOT 23874 SOS 11779 HAS SOPS 11757 HAS SOUS 2809 HAS SOUPS 2796 WITH SCORE 2807.779
AT ITER 8806 NEW BEST:: SOT 23873 SOS 11777 HAS SOPS 11755 HAS SOUS 2808 HAS SOUPS 2795 WITH SCORE 2806.777
AT ITER 8942 NEW BEST:: SOT 23871 SOS 11734 HAS SOPS 11712 HAS SOUS 2807 HAS SOUPS 2794 WITH SCORE 2805.734
AT ITER 9010 NEW BEST:: SOT 23863 SOS 11729 HAS SOPS 11707 HAS SOUS 2806 HAS SOUPS 2793 WITH SCORE 2804.729
AT ITER 9163 NEW BEST:: SOT 23861 SOS 11727 HAS SOPS 11705 HAS SOUS 2805 HAS SOUPS 2792 WITH SCORE 2803.727
AT ITER 9367 NEW BEST:: SOT 23859 SOS 11725 HAS SOPS 11703 HAS SOUS 2803 HAS SOUPS 2790 WITH SCORE 2801.725
AT ITER 9411 NEW BEST:: SOT 23856 SOS 11716 HAS SOPS 11694 HAS SOUS 2803 HAS SOUPS 2790 WITH SCORE 2801.716
AT ITER 9421 NEW BEST:: SOT 23854 SOS 11714 HAS SOPS 11692 HAS SOUS 2803 HAS SOUPS 2790 WITH SCORE 2801.714
AT ITER 9444 NEW BEST:: SOT 23861 SOS 11724 HAS SOPS 11702 HAS SOUS 2802 HAS SOUPS 2789 WITH SCORE 2800.724
AT ITER 9603 NEW BEST:: SOT 23859 SOS 11720 HAS SOPS 11698 HAS SOUS 2800 HAS SOUPS 2787 WITH SCORE 2798.72
AT ITER 9715 NEW BEST:: SOT 23856 SOS 11717 HAS SOPS 11695 HAS SOUS 2797 HAS SOUPS 2784 WITH SCORE 2795.717
AT ITER 9792 NEW BEST:: SOT 23856 SOS 11717 HAS SOPS 11695 HAS SOUS 2794 HAS SOUPS 2781 WITH SCORE 2792.717
AT ITER 9839 NEW BEST:: SOT 23856 SOS 11717 HAS SOPS 11695 HAS SOUS 2793 HAS SOUPS 2780 WITH SCORE 2791.717
AT ITER 9842 NEW BEST:: SOT 23844 SOS 11693 HAS SOPS 11671 HAS SOUS 2786 HAS SOUPS 2773 WITH SCORE 2784.693
STATE_SPACE STATES 524711692 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 7997959542 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678578732416
--------------------
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="HealthRecord-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 HealthRecord-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 r203-smll-167840349300288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HealthRecord-PT-07.tgz
mv HealthRecord-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 ;