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-167840349400320.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-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 18:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 18:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 18:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 10K Feb 26 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 18:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 18:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 18:10 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 70K 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 1678582641141

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-11
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 00:57:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 00:57:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 00:57:25] [INFO ] Load time of PNML (sax parser for PT used): 140 ms
[2023-03-12 00:57:25] [INFO ] Transformed 159 places.
[2023-03-12 00:57:25] [INFO ] Transformed 334 transitions.
[2023-03-12 00:57:25] [INFO ] Found NUPN structural information;
[2023-03-12 00:57:25] [INFO ] Parsed PT model containing 159 places and 334 transitions and 879 arcs in 324 ms.
[2023-03-12 00:57:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 159 places, 334 transitions and 879 arcs took 14 ms.
Total runtime 399 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 11
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: 159 places, 334 transitions, 879 arcs.
AT ITER 0 NEW BEST:: SOT 34738 SOS 18722 HAS SOPS 18700 HAS SOUS 10926 HAS SOUPS 10913 WITH SCORE 10931.722
AT ITER 2 NEW BEST:: SOT 34464 SOS 18320 HAS SOPS 18298 HAS SOUS 10844 HAS SOUPS 10831 WITH SCORE 10849.32
AT ITER 3 NEW BEST:: SOT 34400 SOS 18160 HAS SOPS 18138 HAS SOUS 10780 HAS SOUPS 10767 WITH SCORE 10785.16
AT ITER 8 NEW BEST:: SOT 34400 SOS 18163 HAS SOPS 18141 HAS SOUS 10776 HAS SOUPS 10763 WITH SCORE 10781.163
AT ITER 9 NEW BEST:: SOT 34354 SOS 18071 HAS SOPS 18049 HAS SOUS 10730 HAS SOUPS 10717 WITH SCORE 10735.071
AT ITER 10 NEW BEST:: SOT 32818 SOS 17293 HAS SOPS 17271 HAS SOUS 9902 HAS SOUPS 9889 WITH SCORE 9906.293
AT ITER 15 NEW BEST:: SOT 32808 SOS 17273 HAS SOPS 17251 HAS SOUS 9902 HAS SOUPS 9889 WITH SCORE 9906.273
AT ITER 23 NEW BEST:: SOT 32808 SOS 17259 HAS SOPS 17237 HAS SOUS 9888 HAS SOUPS 9875 WITH SCORE 9892.259
AT ITER 33 NEW BEST:: SOT 32708 SOS 17101 HAS SOPS 17079 HAS SOUS 9818 HAS SOUPS 9805 WITH SCORE 9822.101
AT ITER 38 NEW BEST:: SOT 32661 SOS 17007 HAS SOPS 16985 HAS SOUS 9759 HAS SOUPS 9746 WITH SCORE 9763.007
AT ITER 39 NEW BEST:: SOT 32613 SOS 16913 HAS SOPS 16891 HAS SOUS 9670 HAS SOUPS 9657 WITH SCORE 9673.913
AT ITER 52 NEW BEST:: SOT 32589 SOS 16873 HAS SOPS 16851 HAS SOUS 9638 HAS SOUPS 9625 WITH SCORE 9641.873
AT ITER 54 NEW BEST:: SOT 32558 SOS 16771 HAS SOPS 16749 HAS SOUS 9607 HAS SOUPS 9594 WITH SCORE 9610.771
AT ITER 72 NEW BEST:: SOT 32533 SOS 16659 HAS SOPS 16637 HAS SOUS 9582 HAS SOUPS 9569 WITH SCORE 9585.659
AT ITER 73 NEW BEST:: SOT 30757 SOS 15660 HAS SOPS 15638 HAS SOUS 7851 HAS SOUPS 7838 WITH SCORE 7853.66
AT ITER 74 NEW BEST:: SOT 30746 SOS 15616 HAS SOPS 15594 HAS SOUS 7829 HAS SOUPS 7816 WITH SCORE 7831.616
AT ITER 83 NEW BEST:: SOT 30772 SOS 15675 HAS SOPS 15653 HAS SOUS 7821 HAS SOUPS 7808 WITH SCORE 7823.675
AT ITER 94 NEW BEST:: SOT 30677 SOS 15485 HAS SOPS 15463 HAS SOUS 7772 HAS SOUPS 7759 WITH SCORE 7774.485
AT ITER 95 NEW BEST:: SOT 30627 SOS 15335 HAS SOPS 15313 HAS SOUS 7747 HAS SOUPS 7734 WITH SCORE 7749.335
AT ITER 99 NEW BEST:: SOT 30531 SOS 15143 HAS SOPS 15121 HAS SOUS 7703 HAS SOUPS 7690 WITH SCORE 7705.143
AT ITER 101 NEW BEST:: SOT 30504 SOS 15068 HAS SOPS 15046 HAS SOUS 7611 HAS SOUPS 7598 WITH SCORE 7613.068
AT ITER 105 NEW BEST:: SOT 30504 SOS 15069 HAS SOPS 15047 HAS SOUS 7600 HAS SOUPS 7587 WITH SCORE 7602.069
AT ITER 106 NEW BEST:: SOT 30504 SOS 15064 HAS SOPS 15042 HAS SOUS 7595 HAS SOUPS 7582 WITH SCORE 7597.064
AT ITER 113 NEW BEST:: SOT 30520 SOS 15048 HAS SOPS 15026 HAS SOUS 7571 HAS SOUPS 7558 WITH SCORE 7573.048
AT ITER 116 NEW BEST:: SOT 30500 SOS 15008 HAS SOPS 14986 HAS SOUS 7551 HAS SOUPS 7538 WITH SCORE 7553.008
AT ITER 121 NEW BEST:: SOT 30381 SOS 14811 HAS SOPS 14789 HAS SOUS 7547 HAS SOUPS 7534 WITH SCORE 7548.811
AT ITER 123 NEW BEST:: SOT 30361 SOS 14791 HAS SOPS 14769 HAS SOUS 7539 HAS SOUPS 7526 WITH SCORE 7540.791
AT ITER 124 NEW BEST:: SOT 30362 SOS 14817 HAS SOPS 14795 HAS SOUS 7537 HAS SOUPS 7524 WITH SCORE 7538.817
AT ITER 126 NEW BEST:: SOT 30268 SOS 14589 HAS SOPS 14567 HAS SOUS 7450 HAS SOUPS 7437 WITH SCORE 7451.589
AT ITER 128 NEW BEST:: SOT 30156 SOS 14421 HAS SOPS 14399 HAS SOUS 7388 HAS SOUPS 7375 WITH SCORE 7389.421
AT ITER 129 NEW BEST:: SOT 30143 SOS 14404 HAS SOPS 14382 HAS SOUS 7373 HAS SOUPS 7360 WITH SCORE 7374.404
AT ITER 131 NEW BEST:: SOT 30077 SOS 14296 HAS SOPS 14274 HAS SOUS 7361 HAS SOUPS 7348 WITH SCORE 7362.296
AT ITER 135 NEW BEST:: SOT 30092 SOS 14338 HAS SOPS 14316 HAS SOUS 7263 HAS SOUPS 7250 WITH SCORE 7264.338
AT ITER 136 NEW BEST:: SOT 30062 SOS 14280 HAS SOPS 14258 HAS SOUS 7259 HAS SOUPS 7246 WITH SCORE 7260.28
AT ITER 139 NEW BEST:: SOT 29807 SOS 16310 HAS SOPS 16288 HAS SOUS 7237 HAS SOUPS 7224 WITH SCORE 7240.31
AT ITER 140 NEW BEST:: SOT 29715 SOS 16157 HAS SOPS 16135 HAS SOUS 7217 HAS SOUPS 7204 WITH SCORE 7220.157
AT ITER 141 NEW BEST:: SOT 29649 SOS 15996 HAS SOPS 15974 HAS SOUS 7164 HAS SOUPS 7151 WITH SCORE 7166.996
AT ITER 142 NEW BEST:: SOT 29654 SOS 15988 HAS SOPS 15966 HAS SOUS 7140 HAS SOUPS 7127 WITH SCORE 7142.988
AT ITER 148 NEW BEST:: SOT 29654 SOS 15953 HAS SOPS 15931 HAS SOUS 7126 HAS SOUPS 7113 WITH SCORE 7128.953
AT ITER 156 NEW BEST:: SOT 29657 SOS 15952 HAS SOPS 15930 HAS SOUS 7125 HAS SOUPS 7112 WITH SCORE 7127.952
AT ITER 159 NEW BEST:: SOT 29500 SOS 15573 HAS SOPS 15551 HAS SOUS 7043 HAS SOUPS 7030 WITH SCORE 7045.573
AT ITER 163 NEW BEST:: SOT 29457 SOS 15538 HAS SOPS 15516 HAS SOUS 6981 HAS SOUPS 6968 WITH SCORE 6983.538
AT ITER 185 NEW BEST:: SOT 29346 SOS 15267 HAS SOPS 15245 HAS SOUS 6887 HAS SOUPS 6874 WITH SCORE 6889.267
AT ITER 188 NEW BEST:: SOT 29341 SOS 15253 HAS SOPS 15231 HAS SOUS 6886 HAS SOUPS 6873 WITH SCORE 6888.253
AT ITER 191 NEW BEST:: SOT 29341 SOS 15229 HAS SOPS 15207 HAS SOUS 6862 HAS SOUPS 6849 WITH SCORE 6864.229
AT ITER 192 NEW BEST:: SOT 29332 SOS 15214 HAS SOPS 15192 HAS SOUS 6856 HAS SOUPS 6843 WITH SCORE 6858.214
AT ITER 199 NEW BEST:: SOT 29399 SOS 15281 HAS SOPS 15259 HAS SOUS 6801 HAS SOUPS 6788 WITH SCORE 6803.281
AT ITER 203 NEW BEST:: SOT 29399 SOS 15281 HAS SOPS 15259 HAS SOUS 6751 HAS SOUPS 6738 WITH SCORE 6753.281
AT ITER 212 NEW BEST:: SOT 29392 SOS 15233 HAS SOPS 15211 HAS SOUS 6729 HAS SOUPS 6716 WITH SCORE 6731.233
AT ITER 213 NEW BEST:: SOT 29239 SOS 14978 HAS SOPS 14956 HAS SOUS 6678 HAS SOUPS 6665 WITH SCORE 6679.978
AT ITER 219 NEW BEST:: SOT 29212 SOS 15070 HAS SOPS 15048 HAS SOUS 6670 HAS SOUPS 6657 WITH SCORE 6672.07
AT ITER 220 NEW BEST:: SOT 29233 SOS 15095 HAS SOPS 15073 HAS SOUS 6667 HAS SOUPS 6654 WITH SCORE 6669.095
AT ITER 233 NEW BEST:: SOT 29201 SOS 15015 HAS SOPS 14993 HAS SOUS 6648 HAS SOUPS 6635 WITH SCORE 6650.015
AT ITER 234 NEW BEST:: SOT 29089 SOS 14930 HAS SOPS 14908 HAS SOUS 6608 HAS SOUPS 6595 WITH SCORE 6609.93
AT ITER 236 NEW BEST:: SOT 28900 SOS 14750 HAS SOPS 14728 HAS SOUS 6380 HAS SOUPS 6367 WITH SCORE 6381.75
AT ITER 239 NEW BEST:: SOT 28898 SOS 14747 HAS SOPS 14725 HAS SOUS 6378 HAS SOUPS 6365 WITH SCORE 6379.747
AT ITER 240 NEW BEST:: SOT 28935 SOS 14784 HAS SOPS 14762 HAS SOUS 6373 HAS SOUPS 6360 WITH SCORE 6374.784
AT ITER 241 NEW BEST:: SOT 28948 SOS 14782 HAS SOPS 14760 HAS SOUS 6362 HAS SOUPS 6349 WITH SCORE 6363.782
AT ITER 248 NEW BEST:: SOT 28934 SOS 14780 HAS SOPS 14758 HAS SOUS 6333 HAS SOUPS 6320 WITH SCORE 6334.78
AT ITER 252 NEW BEST:: SOT 28910 SOS 14749 HAS SOPS 14727 HAS SOUS 6299 HAS SOUPS 6286 WITH SCORE 6300.749
AT ITER 254 NEW BEST:: SOT 28903 SOS 14742 HAS SOPS 14720 HAS SOUS 6292 HAS SOUPS 6279 WITH SCORE 6293.742
AT ITER 256 NEW BEST:: SOT 28797 SOS 14579 HAS SOPS 14557 HAS SOUS 6237 HAS SOUPS 6224 WITH SCORE 6238.579
AT ITER 259 NEW BEST:: SOT 28582 SOS 15749 HAS SOPS 15727 HAS SOUS 6228 HAS SOUPS 6215 WITH SCORE 6230.749
AT ITER 261 NEW BEST:: SOT 28546 SOS 15688 HAS SOPS 15666 HAS SOUS 6206 HAS SOUPS 6193 WITH SCORE 6208.688
AT ITER 268 NEW BEST:: SOT 28520 SOS 15645 HAS SOPS 15623 HAS SOUS 6187 HAS SOUPS 6174 WITH SCORE 6189.645
AT ITER 271 NEW BEST:: SOT 28520 SOS 15658 HAS SOPS 15636 HAS SOUS 6169 HAS SOUPS 6156 WITH SCORE 6171.658
AT ITER 273 NEW BEST:: SOT 28483 SOS 15529 HAS SOPS 15507 HAS SOUS 6128 HAS SOUPS 6115 WITH SCORE 6130.529
AT ITER 291 NEW BEST:: SOT 28320 SOS 15141 HAS SOPS 15119 HAS SOUS 6004 HAS SOUPS 5991 WITH SCORE 6006.141
AT ITER 293 NEW BEST:: SOT 28351 SOS 15240 HAS SOPS 15218 HAS SOUS 5998 HAS SOUPS 5985 WITH SCORE 6000.24
AT ITER 309 NEW BEST:: SOT 28418 SOS 15298 HAS SOPS 15276 HAS SOUS 5994 HAS SOUPS 5981 WITH SCORE 5996.298
AT ITER 314 NEW BEST:: SOT 28403 SOS 15268 HAS SOPS 15246 HAS SOUS 5979 HAS SOUPS 5966 WITH SCORE 5981.268
AT ITER 316 NEW BEST:: SOT 28397 SOS 15262 HAS SOPS 15240 HAS SOUS 5972 HAS SOUPS 5959 WITH SCORE 5974.262
AT ITER 322 NEW BEST:: SOT 28391 SOS 15255 HAS SOPS 15233 HAS SOUS 5965 HAS SOUPS 5952 WITH SCORE 5967.255
AT ITER 324 NEW BEST:: SOT 28368 SOS 15221 HAS SOPS 15199 HAS SOUS 5954 HAS SOUPS 5941 WITH SCORE 5956.221
AT ITER 328 NEW BEST:: SOT 28326 SOS 15170 HAS SOPS 15148 HAS SOUS 5905 HAS SOUPS 5892 WITH SCORE 5907.17
AT ITER 329 NEW BEST:: SOT 28375 SOS 15243 HAS SOPS 15221 HAS SOUS 5880 HAS SOUPS 5867 WITH SCORE 5882.243
AT ITER 333 NEW BEST:: SOT 28354 SOS 15201 HAS SOPS 15179 HAS SOUS 5838 HAS SOUPS 5825 WITH SCORE 5840.201
AT ITER 334 NEW BEST:: SOT 28348 SOS 15192 HAS SOPS 15170 HAS SOUS 5831 HAS SOUPS 5818 WITH SCORE 5833.192
AT ITER 340 NEW BEST:: SOT 28339 SOS 15165 HAS SOPS 15143 HAS SOUS 5810 HAS SOUPS 5797 WITH SCORE 5812.165
AT ITER 347 NEW BEST:: SOT 28012 SOS 16761 HAS SOPS 16739 HAS SOUS 5416 HAS SOUPS 5403 WITH SCORE 5419.761
AT ITER 356 NEW BEST:: SOT 28003 SOS 16752 HAS SOPS 16730 HAS SOUS 5407 HAS SOUPS 5394 WITH SCORE 5410.752
AT ITER 358 NEW BEST:: SOT 27988 SOS 16737 HAS SOPS 16715 HAS SOUS 5404 HAS SOUPS 5391 WITH SCORE 5407.737
AT ITER 362 NEW BEST:: SOT 27987 SOS 16736 HAS SOPS 16714 HAS SOUS 5403 HAS SOUPS 5390 WITH SCORE 5406.736
AT ITER 373 NEW BEST:: SOT 27963 SOS 16712 HAS SOPS 16690 HAS SOUS 5379 HAS SOUPS 5366 WITH SCORE 5382.712
AT ITER 375 NEW BEST:: SOT 27919 SOS 15383 HAS SOPS 15361 HAS SOUS 5361 HAS SOUPS 5348 WITH SCORE 5363.383
AT ITER 383 NEW BEST:: SOT 27917 SOS 15379 HAS SOPS 15357 HAS SOUS 5361 HAS SOUPS 5348 WITH SCORE 5363.379
AT ITER 407 NEW BEST:: SOT 27911 SOS 15373 HAS SOPS 15351 HAS SOUS 5355 HAS SOUPS 5342 WITH SCORE 5357.373
AT ITER 409 NEW BEST:: SOT 27907 SOS 15367 HAS SOPS 15345 HAS SOUS 5349 HAS SOUPS 5336 WITH SCORE 5351.367
AT ITER 413 NEW BEST:: SOT 27866 SOS 15508 HAS SOPS 15486 HAS SOUS 5340 HAS SOUPS 5327 WITH SCORE 5342.508
AT ITER 427 NEW BEST:: SOT 27834 SOS 15476 HAS SOPS 15454 HAS SOUS 5327 HAS SOUPS 5314 WITH SCORE 5329.476
AT ITER 432 NEW BEST:: SOT 27830 SOS 15462 HAS SOPS 15440 HAS SOUS 5313 HAS SOUPS 5300 WITH SCORE 5315.462
AT ITER 435 NEW BEST:: SOT 27884 SOS 15556 HAS SOPS 15534 HAS SOUS 5301 HAS SOUPS 5288 WITH SCORE 5303.556
AT ITER 440 NEW BEST:: SOT 27881 SOS 15553 HAS SOPS 15531 HAS SOUS 5298 HAS SOUPS 5285 WITH SCORE 5300.553
AT ITER 449 NEW BEST:: SOT 27881 SOS 15550 HAS SOPS 15528 HAS SOUS 5295 HAS SOUPS 5282 WITH SCORE 5297.55
AT ITER 450 NEW BEST:: SOT 27901 SOS 14830 HAS SOPS 14808 HAS SOUS 5295 HAS SOUPS 5282 WITH SCORE 5296.83
AT ITER 453 NEW BEST:: SOT 27832 SOS 13298 HAS SOPS 13276 HAS SOUS 5260 HAS SOUPS 5247 WITH SCORE 5260.298
AT ITER 455 NEW BEST:: SOT 27819 SOS 13285 HAS SOPS 13263 HAS SOUS 5247 HAS SOUPS 5234 WITH SCORE 5247.285
AT ITER 471 NEW BEST:: SOT 27800 SOS 13229 HAS SOPS 13207 HAS SOUS 5240 HAS SOUPS 5227 WITH SCORE 5240.229
AT ITER 476 NEW BEST:: SOT 27682 SOS 13041 HAS SOPS 13019 HAS SOUS 5205 HAS SOUPS 5192 WITH SCORE 5205.041
AT ITER 484 NEW BEST:: SOT 27671 SOS 13030 HAS SOPS 13008 HAS SOUS 5205 HAS SOUPS 5192 WITH SCORE 5205.03
AT ITER 489 NEW BEST:: SOT 27753 SOS 13131 HAS SOPS 13109 HAS SOUS 5188 HAS SOUPS 5175 WITH SCORE 5188.131
AT ITER 496 NEW BEST:: SOT 27789 SOS 13167 HAS SOPS 13145 HAS SOUS 5165 HAS SOUPS 5152 WITH SCORE 5165.167
AT ITER 499 NEW BEST:: SOT 27824 SOS 13221 HAS SOPS 13199 HAS SOUS 5121 HAS SOUPS 5108 WITH SCORE 5121.221
AT ITER 504 NEW BEST:: SOT 27813 SOS 13194 HAS SOPS 13172 HAS SOUS 5114 HAS SOUPS 5101 WITH SCORE 5114.194
AT ITER 514 NEW BEST:: SOT 27801 SOS 13182 HAS SOPS 13160 HAS SOUS 5107 HAS SOUPS 5094 WITH SCORE 5107.182
AT ITER 516 NEW BEST:: SOT 27774 SOS 13137 HAS SOPS 13115 HAS SOUS 5080 HAS SOUPS 5067 WITH SCORE 5080.137
AT ITER 517 NEW BEST:: SOT 27639 SOS 13871 HAS SOPS 13849 HAS SOUS 4983 HAS SOUPS 4970 WITH SCORE 4983.871
AT ITER 518 NEW BEST:: SOT 27628 SOS 13933 HAS SOPS 13911 HAS SOUS 4981 HAS SOUPS 4968 WITH SCORE 4981.933
AT ITER 521 NEW BEST:: SOT 27593 SOS 13872 HAS SOPS 13850 HAS SOUS 4943 HAS SOUPS 4930 WITH SCORE 4943.872
AT ITER 549 NEW BEST:: SOT 27591 SOS 13760 HAS SOPS 13738 HAS SOUS 4943 HAS SOUPS 4930 WITH SCORE 4943.76
AT ITER 560 NEW BEST:: SOT 27617 SOS 13808 HAS SOPS 13786 HAS SOUS 4926 HAS SOUPS 4913 WITH SCORE 4926.808
AT ITER 563 NEW BEST:: SOT 27617 SOS 13810 HAS SOPS 13788 HAS SOUS 4921 HAS SOUPS 4908 WITH SCORE 4921.81
AT ITER 582 NEW BEST:: SOT 27603 SOS 13796 HAS SOPS 13774 HAS SOUS 4895 HAS SOUPS 4882 WITH SCORE 4895.796
AT ITER 588 NEW BEST:: SOT 27608 SOS 13762 HAS SOPS 13740 HAS SOUS 4895 HAS SOUPS 4882 WITH SCORE 4895.762
AT ITER 592 NEW BEST:: SOT 27578 SOS 13732 HAS SOPS 13710 HAS SOUS 4848 HAS SOUPS 4835 WITH SCORE 4848.732
AT ITER 635 NEW BEST:: SOT 27555 SOS 13709 HAS SOPS 13687 HAS SOUS 4846 HAS SOUPS 4833 WITH SCORE 4846.709
AT ITER 641 NEW BEST:: SOT 27533 SOS 13910 HAS SOPS 13888 HAS SOUS 4844 HAS SOUPS 4831 WITH SCORE 4844.91
AT ITER 642 NEW BEST:: SOT 27541 SOS 13918 HAS SOPS 13896 HAS SOUS 4841 HAS SOUPS 4828 WITH SCORE 4841.918
AT ITER 663 NEW BEST:: SOT 27452 SOS 13798 HAS SOPS 13776 HAS SOUS 4810 HAS SOUPS 4797 WITH SCORE 4810.798
AT ITER 666 NEW BEST:: SOT 27450 SOS 13796 HAS SOPS 13774 HAS SOUS 4806 HAS SOUPS 4793 WITH SCORE 4806.796
AT ITER 675 NEW BEST:: SOT 27354 SOS 13710 HAS SOPS 13688 HAS SOUS 4782 HAS SOUPS 4769 WITH SCORE 4782.71
AT ITER 679 NEW BEST:: SOT 27332 SOS 13686 HAS SOPS 13664 HAS SOUS 4758 HAS SOUPS 4745 WITH SCORE 4758.686
AT ITER 685 NEW BEST:: SOT 27346 SOS 13688 HAS SOPS 13666 HAS SOUS 4739 HAS SOUPS 4726 WITH SCORE 4739.688
AT ITER 688 NEW BEST:: SOT 27346 SOS 13685 HAS SOPS 13663 HAS SOUS 4736 HAS SOUPS 4723 WITH SCORE 4736.685
AT ITER 701 NEW BEST:: SOT 27374 SOS 13725 HAS SOPS 13703 HAS SOUS 4731 HAS SOUPS 4718 WITH SCORE 4731.725
AT ITER 705 NEW BEST:: SOT 27372 SOS 13714 HAS SOPS 13692 HAS SOUS 4718 HAS SOUPS 4705 WITH SCORE 4718.714
AT ITER 710 NEW BEST:: SOT 27361 SOS 13701 HAS SOPS 13679 HAS SOUS 4705 HAS SOUPS 4692 WITH SCORE 4705.701
AT ITER 714 NEW BEST:: SOT 27357 SOS 13691 HAS SOPS 13669 HAS SOUS 4701 HAS SOUPS 4688 WITH SCORE 4701.691
AT ITER 715 NEW BEST:: SOT 27338 SOS 13688 HAS SOPS 13666 HAS SOUS 4679 HAS SOUPS 4666 WITH SCORE 4679.688
AT ITER 719 NEW BEST:: SOT 27328 SOS 13673 HAS SOPS 13651 HAS SOUS 4674 HAS SOUPS 4661 WITH SCORE 4674.673
AT ITER 723 NEW BEST:: SOT 27289 SOS 13633 HAS SOPS 13611 HAS SOUS 4673 HAS SOUPS 4660 WITH SCORE 4673.633
AT ITER 724 NEW BEST:: SOT 27287 SOS 13629 HAS SOPS 13607 HAS SOUS 4671 HAS SOUPS 4658 WITH SCORE 4671.629
AT ITER 730 NEW BEST:: SOT 27285 SOS 13627 HAS SOPS 13605 HAS SOUS 4669 HAS SOUPS 4656 WITH SCORE 4669.627
AT ITER 738 NEW BEST:: SOT 27274 SOS 13594 HAS SOPS 13572 HAS SOUS 4667 HAS SOUPS 4654 WITH SCORE 4667.594
AT ITER 745 NEW BEST:: SOT 27192 SOS 13737 HAS SOPS 13715 HAS SOUS 4639 HAS SOUPS 4626 WITH SCORE 4639.737
AT ITER 748 NEW BEST:: SOT 27192 SOS 13730 HAS SOPS 13708 HAS SOUS 4632 HAS SOUPS 4619 WITH SCORE 4632.73
AT ITER 768 NEW BEST:: SOT 27174 SOS 13701 HAS SOPS 13679 HAS SOUS 4629 HAS SOUPS 4616 WITH SCORE 4629.701
AT ITER 784 NEW BEST:: SOT 27128 SOS 13655 HAS SOPS 13633 HAS SOUS 4616 HAS SOUPS 4603 WITH SCORE 4616.655
AT ITER 788 NEW BEST:: SOT 27157 SOS 13684 HAS SOPS 13662 HAS SOUS 4599 HAS SOUPS 4586 WITH SCORE 4599.684
AT ITER 807 NEW BEST:: SOT 27127 SOS 13624 HAS SOPS 13602 HAS SOUS 4578 HAS SOUPS 4565 WITH SCORE 4578.624
AT ITER 813 NEW BEST:: SOT 27142 SOS 13667 HAS SOPS 13645 HAS SOUS 4576 HAS SOUPS 4563 WITH SCORE 4576.667
AT ITER 824 NEW BEST:: SOT 27114 SOS 13639 HAS SOPS 13617 HAS SOUS 4548 HAS SOUPS 4535 WITH SCORE 4548.639
AT ITER 835 NEW BEST:: SOT 27103 SOS 13622 HAS SOPS 13600 HAS SOUS 4529 HAS SOUPS 4516 WITH SCORE 4529.622
AT ITER 837 NEW BEST:: SOT 27097 SOS 13606 HAS SOPS 13584 HAS SOUS 4524 HAS SOUPS 4511 WITH SCORE 4524.606
AT ITER 843 NEW BEST:: SOT 27083 SOS 13571 HAS SOPS 13549 HAS SOUS 4515 HAS SOUPS 4502 WITH SCORE 4515.571
AT ITER 844 NEW BEST:: SOT 27069 SOS 13543 HAS SOPS 13521 HAS SOUS 4508 HAS SOUPS 4495 WITH SCORE 4508.543
AT ITER 859 NEW BEST:: SOT 27063 SOS 13533 HAS SOPS 13511 HAS SOUS 4504 HAS SOUPS 4491 WITH SCORE 4504.533
AT ITER 866 NEW BEST:: SOT 27068 SOS 13502 HAS SOPS 13480 HAS SOUS 4497 HAS SOUPS 4484 WITH SCORE 4497.502
AT ITER 880 NEW BEST:: SOT 27064 SOS 13490 HAS SOPS 13468 HAS SOUS 4485 HAS SOUPS 4472 WITH SCORE 4485.49
AT ITER 883 NEW BEST:: SOT 27080 SOS 13504 HAS SOPS 13482 HAS SOUS 4475 HAS SOUPS 4462 WITH SCORE 4475.504
AT ITER 898 NEW BEST:: SOT 27042 SOS 13466 HAS SOPS 13444 HAS SOUS 4467 HAS SOUPS 4454 WITH SCORE 4467.466
AT ITER 912 NEW BEST:: SOT 27025 SOS 13511 HAS SOPS 13489 HAS SOUS 4462 HAS SOUPS 4449 WITH SCORE 4462.511
AT ITER 917 NEW BEST:: SOT 27029 SOS 13515 HAS SOPS 13493 HAS SOUS 4457 HAS SOUPS 4444 WITH SCORE 4457.515
AT ITER 918 NEW BEST:: SOT 27020 SOS 13497 HAS SOPS 13475 HAS SOUS 4453 HAS SOUPS 4440 WITH SCORE 4453.497
AT ITER 919 NEW BEST:: SOT 27015 SOS 13492 HAS SOPS 13470 HAS SOUS 4448 HAS SOUPS 4435 WITH SCORE 4448.492
AT ITER 925 NEW BEST:: SOT 27017 SOS 13496 HAS SOPS 13474 HAS SOUS 4446 HAS SOUPS 4433 WITH SCORE 4446.496
AT ITER 926 NEW BEST:: SOT 27007 SOS 13486 HAS SOPS 13464 HAS SOUS 4436 HAS SOUPS 4423 WITH SCORE 4436.486
AT ITER 929 NEW BEST:: SOT 27017 SOS 13499 HAS SOPS 13477 HAS SOUS 4434 HAS SOUPS 4421 WITH SCORE 4434.499
AT ITER 935 NEW BEST:: SOT 27023 SOS 13497 HAS SOPS 13475 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4426.497
AT ITER 938 NEW BEST:: SOT 27011 SOS 13485 HAS SOPS 13463 HAS SOUS 4423 HAS SOUPS 4410 WITH SCORE 4423.485
AT ITER 941 NEW BEST:: SOT 26996 SOS 13470 HAS SOPS 13448 HAS SOUS 4416 HAS SOUPS 4403 WITH SCORE 4416.47
AT ITER 944 NEW BEST:: SOT 26969 SOS 13425 HAS SOPS 13403 HAS SOUS 4398 HAS SOUPS 4385 WITH SCORE 4398.425
AT ITER 950 NEW BEST:: SOT 26969 SOS 13425 HAS SOPS 13403 HAS SOUS 4393 HAS SOUPS 4380 WITH SCORE 4393.425
AT ITER 970 NEW BEST:: SOT 26933 SOS 13338 HAS SOPS 13316 HAS SOUS 4357 HAS SOUPS 4344 WITH SCORE 4357.338
AT ITER 972 NEW BEST:: SOT 26876 SOS 13275 HAS SOPS 13253 HAS SOUS 4348 HAS SOUPS 4335 WITH SCORE 4348.275
AT ITER 993 NEW BEST:: SOT 26814 SOS 13151 HAS SOPS 13129 HAS SOUS 4348 HAS SOUPS 4335 WITH SCORE 4348.151
AT ITER 1004 NEW BEST:: SOT 26814 SOS 13151 HAS SOPS 13129 HAS SOUS 4331 HAS SOUPS 4318 WITH SCORE 4331.151
AT ITER 1007 NEW BEST:: SOT 26713 SOS 14049 HAS SOPS 14027 HAS SOUS 4314 HAS SOUPS 4301 WITH SCORE 4315.049
AT ITER 1009 NEW BEST:: SOT 26700 SOS 14036 HAS SOPS 14014 HAS SOUS 4288 HAS SOUPS 4275 WITH SCORE 4289.036
AT ITER 1017 NEW BEST:: SOT 26704 SOS 14042 HAS SOPS 14020 HAS SOUS 4283 HAS SOUPS 4270 WITH SCORE 4284.042
AT ITER 1036 NEW BEST:: SOT 26701 SOS 14039 HAS SOPS 14017 HAS SOUS 4280 HAS SOUPS 4267 WITH SCORE 4281.039
AT ITER 1051 NEW BEST:: SOT 26736 SOS 15567 HAS SOPS 15545 HAS SOUS 4267 HAS SOUPS 4254 WITH SCORE 4269.567
AT ITER 1063 NEW BEST:: SOT 26767 SOS 15605 HAS SOPS 15583 HAS SOUS 4260 HAS SOUPS 4247 WITH SCORE 4262.605
AT ITER 1065 NEW BEST:: SOT 26751 SOS 15555 HAS SOPS 15533 HAS SOUS 4230 HAS SOUPS 4217 WITH SCORE 4232.555
AT ITER 1098 NEW BEST:: SOT 26749 SOS 15555 HAS SOPS 15533 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4228.555
AT ITER 1106 NEW BEST:: SOT 26749 SOS 15541 HAS SOPS 15519 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4228.541
AT ITER 1123 NEW BEST:: SOT 26747 SOS 15539 HAS SOPS 15517 HAS SOUS 4222 HAS SOUPS 4209 WITH SCORE 4224.539
AT ITER 1142 NEW BEST:: SOT 26747 SOS 15539 HAS SOPS 15517 HAS SOUS 4215 HAS SOUPS 4202 WITH SCORE 4217.539
AT ITER 1146 NEW BEST:: SOT 26744 SOS 15532 HAS SOPS 15510 HAS SOUS 4214 HAS SOUPS 4201 WITH SCORE 4216.532
AT ITER 1147 NEW BEST:: SOT 26738 SOS 15526 HAS SOPS 15504 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4210.526
AT ITER 1148 NEW BEST:: SOT 26733 SOS 15521 HAS SOPS 15499 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4202.521
AT ITER 1180 NEW BEST:: SOT 26723 SOS 15491 HAS SOPS 15469 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4202.491
AT ITER 1181 NEW BEST:: SOT 26712 SOS 15465 HAS SOPS 15443 HAS SOUS 4170 HAS SOUPS 4157 WITH SCORE 4172.465
AT ITER 1190 NEW BEST:: SOT 26709 SOS 15462 HAS SOPS 15440 HAS SOUS 4164 HAS SOUPS 4151 WITH SCORE 4166.462
AT ITER 1228 NEW BEST:: SOT 26703 SOS 15456 HAS SOPS 15434 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4158.456
AT ITER 1239 NEW BEST:: SOT 26699 SOS 15448 HAS SOPS 15426 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4158.448
AT ITER 1242 NEW BEST:: SOT 26667 SOS 15416 HAS SOPS 15394 HAS SOUS 4139 HAS SOUPS 4126 WITH SCORE 4141.416
AT ITER 1246 NEW BEST:: SOT 26661 SOS 15410 HAS SOPS 15388 HAS SOUS 4137 HAS SOUPS 4124 WITH SCORE 4139.41
AT ITER 1253 NEW BEST:: SOT 26648 SOS 15397 HAS SOPS 15375 HAS SOUS 4134 HAS SOUPS 4121 WITH SCORE 4136.397
AT ITER 1284 NEW BEST:: SOT 26646 SOS 15507 HAS SOPS 15485 HAS SOUS 4132 HAS SOUPS 4119 WITH SCORE 4134.507
AT ITER 1296 NEW BEST:: SOT 26667 SOS 15558 HAS SOPS 15536 HAS SOUS 4123 HAS SOUPS 4110 WITH SCORE 4125.558
AT ITER 1311 NEW BEST:: SOT 26664 SOS 15555 HAS SOPS 15533 HAS SOUS 4122 HAS SOUPS 4109 WITH SCORE 4124.555
AT ITER 1331 NEW BEST:: SOT 26666 SOS 15559 HAS SOPS 15537 HAS SOUS 4120 HAS SOUPS 4107 WITH SCORE 4122.559
AT ITER 1332 NEW BEST:: SOT 26658 SOS 15551 HAS SOPS 15529 HAS SOUS 4112 HAS SOUPS 4099 WITH SCORE 4114.551
AT ITER 1335 NEW BEST:: SOT 26649 SOS 15542 HAS SOPS 15520 HAS SOUS 4094 HAS SOUPS 4081 WITH SCORE 4096.542
AT ITER 1342 NEW BEST:: SOT 26648 SOS 15540 HAS SOPS 15518 HAS SOUS 4090 HAS SOUPS 4077 WITH SCORE 4092.54
AT ITER 1343 NEW BEST:: SOT 26647 SOS 15537 HAS SOPS 15515 HAS SOUS 4090 HAS SOUPS 4077 WITH SCORE 4092.537
AT ITER 1344 NEW BEST:: SOT 26647 SOS 15537 HAS SOPS 15515 HAS SOUS 4075 HAS SOUPS 4062 WITH SCORE 4077.537
AT ITER 1358 NEW BEST:: SOT 26598 SOS 15477 HAS SOPS 15455 HAS SOUS 4055 HAS SOUPS 4042 WITH SCORE 4057.477
AT ITER 1373 NEW BEST:: SOT 26593 SOS 15307 HAS SOPS 15285 HAS SOUS 4055 HAS SOUPS 4042 WITH SCORE 4057.307
AT ITER 1384 NEW BEST:: SOT 26589 SOS 15293 HAS SOPS 15271 HAS SOUS 4049 HAS SOUPS 4036 WITH SCORE 4051.293
AT ITER 1391 NEW BEST:: SOT 26589 SOS 15293 HAS SOPS 15271 HAS SOUS 4036 HAS SOUPS 4023 WITH SCORE 4038.293
AT ITER 1400 NEW BEST:: SOT 26589 SOS 15282 HAS SOPS 15260 HAS SOUS 4023 HAS SOUPS 4010 WITH SCORE 4025.282
AT ITER 1413 NEW BEST:: SOT 26586 SOS 15279 HAS SOPS 15257 HAS SOUS 4020 HAS SOUPS 4007 WITH SCORE 4022.279
AT ITER 1430 NEW BEST:: SOT 26585 SOS 15278 HAS SOPS 15256 HAS SOUS 4019 HAS SOUPS 4006 WITH SCORE 4021.278
AT ITER 1471 NEW BEST:: SOT 26585 SOS 15276 HAS SOPS 15254 HAS SOUS 4018 HAS SOUPS 4005 WITH SCORE 4020.276
AT ITER 1473 NEW BEST:: SOT 26587 SOS 15444 HAS SOPS 15422 HAS SOUS 4012 HAS SOUPS 3999 WITH SCORE 4014.444
AT ITER 1487 NEW BEST:: SOT 26581 SOS 15435 HAS SOPS 15413 HAS SOUS 4009 HAS SOUPS 3996 WITH SCORE 4011.435
AT ITER 1493 NEW BEST:: SOT 26466 SOS 15091 HAS SOPS 15069 HAS SOUS 3995 HAS SOUPS 3982 WITH SCORE 3997.091
AT ITER 1504 NEW BEST:: SOT 26414 SOS 15010 HAS SOPS 14988 HAS SOUS 3976 HAS SOUPS 3963 WITH SCORE 3978.01
AT ITER 1518 NEW BEST:: SOT 26391 SOS 14987 HAS SOPS 14965 HAS SOUS 3965 HAS SOUPS 3952 WITH SCORE 3966.987
AT ITER 1548 NEW BEST:: SOT 26392 SOS 14988 HAS SOPS 14966 HAS SOUS 3955 HAS SOUPS 3942 WITH SCORE 3956.988
AT ITER 1557 NEW BEST:: SOT 26390 SOS 14986 HAS SOPS 14964 HAS SOUS 3955 HAS SOUPS 3942 WITH SCORE 3956.986
AT ITER 1562 NEW BEST:: SOT 26389 SOS 14985 HAS SOPS 14963 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3954.985
AT ITER 1602 NEW BEST:: SOT 26403 SOS 14999 HAS SOPS 14977 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3951.999
AT ITER 1610 NEW BEST:: SOT 26392 SOS 14988 HAS SOPS 14966 HAS SOUS 3939 HAS SOUPS 3926 WITH SCORE 3940.988
AT ITER 1618 NEW BEST:: SOT 26391 SOS 14987 HAS SOPS 14965 HAS SOUS 3937 HAS SOUPS 3924 WITH SCORE 3938.987
AT ITER 1629 NEW BEST:: SOT 26410 SOS 15025 HAS SOPS 15003 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3933.025
AT ITER 1729 NEW BEST:: SOT 26415 SOS 15030 HAS SOPS 15008 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3926.03
AT ITER 1747 NEW BEST:: SOT 26412 SOS 14940 HAS SOPS 14918 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3919.94
AT ITER 1761 NEW BEST:: SOT 26382 SOS 14890 HAS SOPS 14868 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3919.89
AT ITER 1778 NEW BEST:: SOT 26387 SOS 14862 HAS SOPS 14840 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3919.862
AT ITER 1788 NEW BEST:: SOT 26381 SOS 14856 HAS SOPS 14834 HAS SOUS 3912 HAS SOUPS 3899 WITH SCORE 3913.856
AT ITER 1794 NEW BEST:: SOT 26371 SOS 14846 HAS SOPS 14824 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3893.846
AT ITER 1806 NEW BEST:: SOT 26374 SOS 14832 HAS SOPS 14810 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3891.832
AT ITER 1807 NEW BEST:: SOT 26322 SOS 14780 HAS SOPS 14758 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3891.78
AT ITER 1817 NEW BEST:: SOT 26319 SOS 14777 HAS SOPS 14755 HAS SOUS 3884 HAS SOUPS 3871 WITH SCORE 3885.777
AT ITER 1898 NEW BEST:: SOT 26314 SOS 14787 HAS SOPS 14765 HAS SOUS 3865 HAS SOUPS 3852 WITH SCORE 3866.787
AT ITER 1931 NEW BEST:: SOT 26268 SOS 14719 HAS SOPS 14697 HAS SOUS 3850 HAS SOUPS 3837 WITH SCORE 3851.719
AT ITER 1933 NEW BEST:: SOT 26259 SOS 14710 HAS SOPS 14688 HAS SOUS 3837 HAS SOUPS 3824 WITH SCORE 3838.71
AT ITER 1938 NEW BEST:: SOT 26252 SOS 14707 HAS SOPS 14685 HAS SOUS 3828 HAS SOUPS 3815 WITH SCORE 3829.707
AT ITER 1984 NEW BEST:: SOT 26252 SOS 14707 HAS SOPS 14685 HAS SOUS 3822 HAS SOUPS 3809 WITH SCORE 3823.707
AT ITER 1995 NEW BEST:: SOT 26270 SOS 14743 HAS SOPS 14721 HAS SOUS 3814 HAS SOUPS 3801 WITH SCORE 3815.743
AT ITER 2026 NEW BEST:: SOT 26224 SOS 14651 HAS SOPS 14629 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3811.651
AT ITER 2087 NEW BEST:: SOT 26223 SOS 14649 HAS SOPS 14627 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3811.649
AT ITER 2101 NEW BEST:: SOT 26221 SOS 14647 HAS SOPS 14625 HAS SOUS 3808 HAS SOUPS 3795 WITH SCORE 3809.647
AT ITER 2102 NEW BEST:: SOT 26221 SOS 14659 HAS SOPS 14637 HAS SOUS 3806 HAS SOUPS 3793 WITH SCORE 3807.659
AT ITER 2125 NEW BEST:: SOT 26211 SOS 14628 HAS SOPS 14606 HAS SOUS 3775 HAS SOUPS 3762 WITH SCORE 3776.628
AT ITER 2142 NEW BEST:: SOT 26189 SOS 14553 HAS SOPS 14531 HAS SOUS 3748 HAS SOUPS 3735 WITH SCORE 3749.553
AT ITER 2144 NEW BEST:: SOT 26186 SOS 14550 HAS SOPS 14528 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3747.55
AT ITER 2152 NEW BEST:: SOT 26181 SOS 14545 HAS SOPS 14523 HAS SOUS 3736 HAS SOUPS 3723 WITH SCORE 3737.545
AT ITER 2153 NEW BEST:: SOT 26170 SOS 14380 HAS SOPS 14358 HAS SOUS 3725 HAS SOUPS 3712 WITH SCORE 3726.38
AT ITER 2167 NEW BEST:: SOT 26169 SOS 14379 HAS SOPS 14357 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3725.379
AT ITER 2171 NEW BEST:: SOT 26168 SOS 14374 HAS SOPS 14352 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3722.374
AT ITER 2252 NEW BEST:: SOT 26184 SOS 14958 HAS SOPS 14936 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3711.958
AT ITER 2262 NEW BEST:: SOT 26182 SOS 14956 HAS SOPS 14934 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3711.956
AT ITER 2271 NEW BEST:: SOT 26182 SOS 14956 HAS SOPS 14934 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3705.956
AT ITER 2292 NEW BEST:: SOT 26149 SOS 14927 HAS SOPS 14905 HAS SOUS 3703 HAS SOUPS 3690 WITH SCORE 3704.927
AT ITER 2365 NEW BEST:: SOT 26144 SOS 14879 HAS SOPS 14857 HAS SOUS 3699 HAS SOUPS 3686 WITH SCORE 3700.879
AT ITER 2382 NEW BEST:: SOT 26123 SOS 14837 HAS SOPS 14815 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3695.837
AT ITER 2391 NEW BEST:: SOT 26124 SOS 14803 HAS SOPS 14781 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3695.803
AT ITER 2436 NEW BEST:: SOT 26120 SOS 14743 HAS SOPS 14721 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3691.743
AT ITER 2442 NEW BEST:: SOT 26118 SOS 14741 HAS SOPS 14719 HAS SOUS 3686 HAS SOUPS 3673 WITH SCORE 3687.741
AT ITER 2507 NEW BEST:: SOT 26112 SOS 14735 HAS SOPS 14713 HAS SOUS 3685 HAS SOUPS 3672 WITH SCORE 3686.735
AT ITER 2516 NEW BEST:: SOT 26110 SOS 14705 HAS SOPS 14683 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3684.705
AT ITER 2539 NEW BEST:: SOT 26110 SOS 14705 HAS SOPS 14683 HAS SOUS 3664 HAS SOUPS 3651 WITH SCORE 3665.705
AT ITER 2548 NEW BEST:: SOT 26099 SOS 14694 HAS SOPS 14672 HAS SOUS 3645 HAS SOUPS 3632 WITH SCORE 3646.694
AT ITER 2587 NEW BEST:: SOT 26093 SOS 14688 HAS SOPS 14666 HAS SOUS 3643 HAS SOUPS 3630 WITH SCORE 3644.688
AT ITER 2599 NEW BEST:: SOT 26092 SOS 14686 HAS SOPS 14664 HAS SOUS 3642 HAS SOUPS 3629 WITH SCORE 3643.686
AT ITER 2601 NEW BEST:: SOT 26088 SOS 14682 HAS SOPS 14660 HAS SOUS 3636 HAS SOUPS 3623 WITH SCORE 3637.682
AT ITER 2677 NEW BEST:: SOT 26118 SOS 14712 HAS SOPS 14690 HAS SOUS 3630 HAS SOUPS 3617 WITH SCORE 3631.712
AT ITER 2701 NEW BEST:: SOT 26117 SOS 14711 HAS SOPS 14689 HAS SOUS 3627 HAS SOUPS 3614 WITH SCORE 3628.711
AT ITER 2785 NEW BEST:: SOT 26209 SOS 14849 HAS SOPS 14827 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3625.849
AT ITER 2870 NEW BEST:: SOT 26209 SOS 14845 HAS SOPS 14823 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3622.845
AT ITER 2885 NEW BEST:: SOT 26208 SOS 14844 HAS SOPS 14822 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3622.844
AT ITER 2890 NEW BEST:: SOT 26201 SOS 14824 HAS SOPS 14802 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3619.824
AT ITER 2899 NEW BEST:: SOT 26199 SOS 14822 HAS SOPS 14800 HAS SOUS 3616 HAS SOUPS 3603 WITH SCORE 3617.822
AT ITER 2904 NEW BEST:: SOT 26198 SOS 14821 HAS SOPS 14799 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3613.821
AT ITER 2916 NEW BEST:: SOT 26197 SOS 14816 HAS SOPS 14794 HAS SOUS 3609 HAS SOUPS 3596 WITH SCORE 3610.816
AT ITER 2923 NEW BEST:: SOT 26191 SOS 14810 HAS SOPS 14788 HAS SOUS 3601 HAS SOUPS 3588 WITH SCORE 3602.81
AT ITER 2935 NEW BEST:: SOT 26180 SOS 14788 HAS SOPS 14766 HAS SOUS 3601 HAS SOUPS 3588 WITH SCORE 3602.788
AT ITER 2952 NEW BEST:: SOT 26175 SOS 14783 HAS SOPS 14761 HAS SOUS 3596 HAS SOUPS 3583 WITH SCORE 3597.783
AT ITER 3018 NEW BEST:: SOT 26173 SOS 14779 HAS SOPS 14757 HAS SOUS 3596 HAS SOUPS 3583 WITH SCORE 3597.779
AT ITER 3019 NEW BEST:: SOT 26175 SOS 14692 HAS SOPS 14670 HAS SOUS 3589 HAS SOUPS 3576 WITH SCORE 3590.692
AT ITER 3091 NEW BEST:: SOT 26175 SOS 14692 HAS SOPS 14670 HAS SOUS 3587 HAS SOUPS 3574 WITH SCORE 3588.692
AT ITER 3096 NEW BEST:: SOT 26197 SOS 14714 HAS SOPS 14692 HAS SOUS 3583 HAS SOUPS 3570 WITH SCORE 3584.714
AT ITER 3219 NEW BEST:: SOT 26209 SOS 14738 HAS SOPS 14716 HAS SOUS 3582 HAS SOUPS 3569 WITH SCORE 3583.738
AT ITER 3220 NEW BEST:: SOT 26196 SOS 14728 HAS SOPS 14706 HAS SOUS 3582 HAS SOUPS 3569 WITH SCORE 3583.728
AT ITER 3221 NEW BEST:: SOT 26195 SOS 14723 HAS SOPS 14701 HAS SOUS 3579 HAS SOUPS 3566 WITH SCORE 3580.723
AT ITER 3256 NEW BEST:: SOT 26194 SOS 14721 HAS SOPS 14699 HAS SOUS 3577 HAS SOUPS 3564 WITH SCORE 3578.721
AT ITER 3287 NEW BEST:: SOT 26191 SOS 14712 HAS SOPS 14690 HAS SOUS 3572 HAS SOUPS 3559 WITH SCORE 3573.712
AT ITER 3303 NEW BEST:: SOT 26181 SOS 14702 HAS SOPS 14680 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3566.702
AT ITER 3334 NEW BEST:: SOT 26176 SOS 14697 HAS SOPS 14675 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3566.697
AT ITER 3368 NEW BEST:: SOT 26175 SOS 14695 HAS SOPS 14673 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3566.695
AT ITER 3378 NEW BEST:: SOT 26177 SOS 14699 HAS SOPS 14677 HAS SOUS 3563 HAS SOUPS 3550 WITH SCORE 3564.699
AT ITER 3404 NEW BEST:: SOT 26176 SOS 14698 HAS SOPS 14676 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3563.698
AT ITER 3438 NEW BEST:: SOT 26172 SOS 14694 HAS SOPS 14672 HAS SOUS 3558 HAS SOUPS 3545 WITH SCORE 3559.694
AT ITER 3444 NEW BEST:: SOT 26127 SOS 14649 HAS SOPS 14627 HAS SOUS 3558 HAS SOUPS 3545 WITH SCORE 3559.649
AT ITER 3470 NEW BEST:: SOT 26153 SOS 14675 HAS SOPS 14653 HAS SOUS 3554 HAS SOUPS 3541 WITH SCORE 3555.675
AT ITER 3482 NEW BEST:: SOT 26151 SOS 14673 HAS SOPS 14651 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3553.673
AT ITER 3483 NEW BEST:: SOT 26139 SOS 14661 HAS SOPS 14639 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.661
AT ITER 3513 NEW BEST:: SOT 26138 SOS 14660 HAS SOPS 14638 HAS SOUS 3539 HAS SOUPS 3526 WITH SCORE 3540.66
AT ITER 3524 NEW BEST:: SOT 26138 SOS 14647 HAS SOPS 14625 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3539.647
AT ITER 3537 NEW BEST:: SOT 26126 SOS 14635 HAS SOPS 14613 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.635
AT ITER 3587 NEW BEST:: SOT 26122 SOS 14631 HAS SOPS 14609 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3504.631
AT ITER 3672 NEW BEST:: SOT 26108 SOS 14669 HAS SOPS 14647 HAS SOUS 3502 HAS SOUPS 3489 WITH SCORE 3503.669
AT ITER 3681 NEW BEST:: SOT 26108 SOS 14669 HAS SOPS 14647 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3500.669
AT ITER 3692 NEW BEST:: SOT 26107 SOS 14668 HAS SOPS 14646 HAS SOUS 3498 HAS SOUPS 3485 WITH SCORE 3499.668
AT ITER 3693 NEW BEST:: SOT 26105 SOS 14666 HAS SOPS 14644 HAS SOUS 3494 HAS SOUPS 3481 WITH SCORE 3495.666
AT ITER 3709 NEW BEST:: SOT 26102 SOS 14663 HAS SOPS 14641 HAS SOUS 3491 HAS SOUPS 3478 WITH SCORE 3492.663
AT ITER 3718 NEW BEST:: SOT 26102 SOS 14663 HAS SOPS 14641 HAS SOUS 3486 HAS SOUPS 3473 WITH SCORE 3487.663
AT ITER 3766 NEW BEST:: SOT 26097 SOS 14658 HAS SOPS 14636 HAS SOUS 3484 HAS SOUPS 3471 WITH SCORE 3485.658
AT ITER 3782 NEW BEST:: SOT 26094 SOS 14655 HAS SOPS 14633 HAS SOUS 3481 HAS SOUPS 3468 WITH SCORE 3482.655
AT ITER 3792 NEW BEST:: SOT 26096 SOS 14656 HAS SOPS 14634 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3475.656
AT ITER 3801 NEW BEST:: SOT 26094 SOS 14654 HAS SOPS 14632 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3475.654
AT ITER 3888 NEW BEST:: SOT 26089 SOS 14649 HAS SOPS 14627 HAS SOUS 3459 HAS SOUPS 3446 WITH SCORE 3460.649
AT ITER 3926 NEW BEST:: SOT 26089 SOS 14650 HAS SOPS 14628 HAS SOUS 3458 HAS SOUPS 3445 WITH SCORE 3459.65
AT ITER 3936 NEW BEST:: SOT 26087 SOS 14646 HAS SOPS 14624 HAS SOUS 3455 HAS SOUPS 3442 WITH SCORE 3456.646
AT ITER 4029 NEW BEST:: SOT 26090 SOS 14649 HAS SOPS 14627 HAS SOUS 3454 HAS SOUPS 3441 WITH SCORE 3455.649
AT ITER 4067 NEW BEST:: SOT 26076 SOS 14687 HAS SOPS 14665 HAS SOUS 3451 HAS SOUPS 3438 WITH SCORE 3452.687
AT ITER 4223 NEW BEST:: SOT 26076 SOS 14687 HAS SOPS 14665 HAS SOUS 3449 HAS SOUPS 3436 WITH SCORE 3450.687
AT ITER 4225 NEW BEST:: SOT 26076 SOS 14674 HAS SOPS 14652 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3449.674
AT ITER 4289 NEW BEST:: SOT 26078 SOS 14676 HAS SOPS 14654 HAS SOUS 3445 HAS SOUPS 3432 WITH SCORE 3446.676
AT ITER 4317 NEW BEST:: SOT 26082 SOS 14673 HAS SOPS 14651 HAS SOUS 3444 HAS SOUPS 3431 WITH SCORE 3445.673
AT ITER 4355 NEW BEST:: SOT 26083 SOS 14671 HAS SOPS 14649 HAS SOUS 3441 HAS SOUPS 3428 WITH SCORE 3442.671
AT ITER 4415 NEW BEST:: SOT 26081 SOS 14667 HAS SOPS 14645 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3441.667
AT ITER 4501 NEW BEST:: SOT 26081 SOS 14667 HAS SOPS 14645 HAS SOUS 3439 HAS SOUPS 3426 WITH SCORE 3440.667
AT ITER 4512 NEW BEST:: SOT 26080 SOS 14666 HAS SOPS 14644 HAS SOUS 3437 HAS SOUPS 3424 WITH SCORE 3438.666
AT ITER 4524 NEW BEST:: SOT 26072 SOS 14658 HAS SOPS 14636 HAS SOUS 3429 HAS SOUPS 3416 WITH SCORE 3430.658
AT ITER 4528 NEW BEST:: SOT 26073 SOS 14656 HAS SOPS 14634 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3428.656
AT ITER 4530 NEW BEST:: SOT 26063 SOS 14646 HAS SOPS 14624 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3428.646
AT ITER 4606 NEW BEST:: SOT 26061 SOS 14644 HAS SOPS 14622 HAS SOUS 3423 HAS SOUPS 3410 WITH SCORE 3424.644
AT ITER 4665 NEW BEST:: SOT 26057 SOS 14640 HAS SOPS 14618 HAS SOUS 3413 HAS SOUPS 3400 WITH SCORE 3414.64
AT ITER 4707 NEW BEST:: SOT 26053 SOS 14632 HAS SOPS 14610 HAS SOUS 3413 HAS SOUPS 3400 WITH SCORE 3414.632
AT ITER 4719 NEW BEST:: SOT 26052 SOS 14631 HAS SOPS 14609 HAS SOUS 3410 HAS SOUPS 3397 WITH SCORE 3411.631
AT ITER 4763 NEW BEST:: SOT 26046 SOS 14625 HAS SOPS 14603 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3403.625
AT ITER 4778 NEW BEST:: SOT 26037 SOS 14616 HAS SOPS 14594 HAS SOUS 3393 HAS SOUPS 3380 WITH SCORE 3394.616
AT ITER 4861 NEW BEST:: SOT 26035 SOS 14614 HAS SOPS 14592 HAS SOUS 3391 HAS SOUPS 3378 WITH SCORE 3392.614
AT ITER 4863 NEW BEST:: SOT 26031 SOS 14610 HAS SOPS 14588 HAS SOUS 3391 HAS SOUPS 3378 WITH SCORE 3392.61
AT ITER 4880 NEW BEST:: SOT 26029 SOS 14607 HAS SOPS 14585 HAS SOUS 3387 HAS SOUPS 3374 WITH SCORE 3388.607
AT ITER 4883 NEW BEST:: SOT 26029 SOS 14608 HAS SOPS 14586 HAS SOUS 3385 HAS SOUPS 3372 WITH SCORE 3386.608
AT ITER 4900 NEW BEST:: SOT 26028 SOS 14606 HAS SOPS 14584 HAS SOUS 3385 HAS SOUPS 3372 WITH SCORE 3386.606
AT ITER 4903 NEW BEST:: SOT 26024 SOS 14602 HAS SOPS 14580 HAS SOUS 3383 HAS SOUPS 3370 WITH SCORE 3384.602
AT ITER 4921 NEW BEST:: SOT 26022 SOS 14598 HAS SOPS 14576 HAS SOUS 3377 HAS SOUPS 3364 WITH SCORE 3378.598
AT ITER 4924 NEW BEST:: SOT 26020 SOS 14596 HAS SOPS 14574 HAS SOUS 3373 HAS SOUPS 3360 WITH SCORE 3374.596
AT ITER 4934 NEW BEST:: SOT 26005 SOS 14585 HAS SOPS 14563 HAS SOUS 3367 HAS SOUPS 3354 WITH SCORE 3368.585
AT ITER 5094 NEW BEST:: SOT 26002 SOS 14582 HAS SOPS 14560 HAS SOUS 3366 HAS SOUPS 3353 WITH SCORE 3367.582
AT ITER 5099 NEW BEST:: SOT 26001 SOS 14581 HAS SOPS 14559 HAS SOUS 3365 HAS SOUPS 3352 WITH SCORE 3366.581
AT ITER 5111 NEW BEST:: SOT 26000 SOS 14580 HAS SOPS 14558 HAS SOUS 3364 HAS SOUPS 3351 WITH SCORE 3365.58
AT ITER 5127 NEW BEST:: SOT 26000 SOS 14579 HAS SOPS 14557 HAS SOUS 3363 HAS SOUPS 3350 WITH SCORE 3364.579
AT ITER 5208 NEW BEST:: SOT 25989 SOS 14558 HAS SOPS 14536 HAS SOUS 3352 HAS SOUPS 3339 WITH SCORE 3353.558
AT ITER 5256 NEW BEST:: SOT 25988 SOS 14556 HAS SOPS 14534 HAS SOUS 3351 HAS SOUPS 3338 WITH SCORE 3352.556
AT ITER 5347 NEW BEST:: SOT 25987 SOS 14555 HAS SOPS 14533 HAS SOUS 3349 HAS SOUPS 3336 WITH SCORE 3350.555
AT ITER 5365 NEW BEST:: SOT 25986 SOS 14554 HAS SOPS 14532 HAS SOUS 3349 HAS SOUPS 3336 WITH SCORE 3350.554
AT ITER 5419 NEW BEST:: SOT 25984 SOS 14552 HAS SOPS 14530 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3349.552
AT ITER 5500 NEW BEST:: SOT 25985 SOS 14553 HAS SOPS 14531 HAS SOUS 3342 HAS SOUPS 3329 WITH SCORE 3343.553
AT ITER 5755 NEW BEST:: SOT 25984 SOS 14551 HAS SOPS 14529 HAS SOUS 3341 HAS SOUPS 3328 WITH SCORE 3342.551
AT ITER 5822 NEW BEST:: SOT 25977 SOS 14537 HAS SOPS 14515 HAS SOUS 3341 HAS SOUPS 3328 WITH SCORE 3342.537
AT ITER 5877 NEW BEST:: SOT 25978 SOS 14542 HAS SOPS 14520 HAS SOUS 3340 HAS SOUPS 3327 WITH SCORE 3341.542
AT ITER 5900 NEW BEST:: SOT 25976 SOS 14540 HAS SOPS 14518 HAS SOUS 3336 HAS SOUPS 3323 WITH SCORE 3337.54
AT ITER 5908 NEW BEST:: SOT 26003 SOS 14578 HAS SOPS 14556 HAS SOUS 3324 HAS SOUPS 3311 WITH SCORE 3325.578
AT ITER 5969 NEW BEST:: SOT 25999 SOS 14576 HAS SOPS 14554 HAS SOUS 3324 HAS SOUPS 3311 WITH SCORE 3325.576
AT ITER 5995 NEW BEST:: SOT 25997 SOS 14572 HAS SOPS 14550 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3321.572
AT ITER 6035 NEW BEST:: SOT 25993 SOS 14568 HAS SOPS 14546 HAS SOUS 3317 HAS SOUPS 3304 WITH SCORE 3318.568
AT ITER 6107 NEW BEST:: SOT 25995 SOS 14564 HAS SOPS 14542 HAS SOUS 3313 HAS SOUPS 3300 WITH SCORE 3314.564
AT ITER 6174 NEW BEST:: SOT 26011 SOS 14537 HAS SOPS 14515 HAS SOUS 3311 HAS SOUPS 3298 WITH SCORE 3312.537
AT ITER 6199 NEW BEST:: SOT 26015 SOS 14549 HAS SOPS 14527 HAS SOUS 3309 HAS SOUPS 3296 WITH SCORE 3310.549
AT ITER 6203 NEW BEST:: SOT 26013 SOS 14526 HAS SOPS 14504 HAS SOUS 3307 HAS SOUPS 3294 WITH SCORE 3308.526
AT ITER 6261 NEW BEST:: SOT 26016 SOS 14531 HAS SOPS 14509 HAS SOUS 3306 HAS SOUPS 3293 WITH SCORE 3307.531
AT ITER 6317 NEW BEST:: SOT 26012 SOS 14520 HAS SOPS 14498 HAS SOUS 3297 HAS SOUPS 3284 WITH SCORE 3298.52
AT ITER 6526 NEW BEST:: SOT 26002 SOS 14344 HAS SOPS 14322 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3291.344
AT ITER 6577 NEW BEST:: SOT 26003 SOS 14344 HAS SOPS 14322 HAS SOUS 3287 HAS SOUPS 3274 WITH SCORE 3288.344
AT ITER 6623 NEW BEST:: SOT 26000 SOS 14341 HAS SOPS 14319 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.341
AT ITER 6783 NEW BEST:: SOT 26000 SOS 14341 HAS SOPS 14319 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3280.341
AT ITER 6790 NEW BEST:: SOT 25993 SOS 14328 HAS SOPS 14306 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3276.328
AT ITER 6799 NEW BEST:: SOT 26008 SOS 14441 HAS SOPS 14419 HAS SOUS 3274 HAS SOUPS 3261 WITH SCORE 3275.441
AT ITER 6828 NEW BEST:: SOT 26010 SOS 14373 HAS SOPS 14351 HAS SOUS 3274 HAS SOUPS 3261 WITH SCORE 3275.373
AT ITER 6995 NEW BEST:: SOT 26008 SOS 14361 HAS SOPS 14339 HAS SOUS 3272 HAS SOUPS 3259 WITH SCORE 3273.361
AT ITER 7103 NEW BEST:: SOT 26008 SOS 14360 HAS SOPS 14338 HAS SOUS 3271 HAS SOUPS 3258 WITH SCORE 3272.36
AT ITER 7235 NEW BEST:: SOT 26005 SOS 14354 HAS SOPS 14332 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3269.354
AT ITER 7247 NEW BEST:: SOT 26010 SOS 14331 HAS SOPS 14309 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3269.331
AT ITER 7264 NEW BEST:: SOT 26010 SOS 14329 HAS SOPS 14307 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.329
AT ITER 7319 NEW BEST:: SOT 26005 SOS 14324 HAS SOPS 14302 HAS SOUS 3265 HAS SOUPS 3252 WITH SCORE 3266.324
AT ITER 7403 NEW BEST:: SOT 26003 SOS 14246 HAS SOPS 14224 HAS SOUS 3265 HAS SOUPS 3252 WITH SCORE 3266.246
AT ITER 7453 NEW BEST:: SOT 26001 SOS 14244 HAS SOPS 14222 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3263.244
AT ITER 7510 NEW BEST:: SOT 26000 SOS 14243 HAS SOPS 14221 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3262.243
AT ITER 7552 NEW BEST:: SOT 25998 SOS 14241 HAS SOPS 14219 HAS SOUS 3259 HAS SOUPS 3246 WITH SCORE 3260.241
AT ITER 7592 NEW BEST:: SOT 25996 SOS 14239 HAS SOPS 14217 HAS SOUS 3257 HAS SOUPS 3244 WITH SCORE 3258.239
AT ITER 7599 NEW BEST:: SOT 26060 SOS 14303 HAS SOPS 14281 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3254.303
AT ITER 7683 NEW BEST:: SOT 26060 SOS 14303 HAS SOPS 14281 HAS SOUS 3252 HAS SOUPS 3239 WITH SCORE 3253.303
AT ITER 7743 NEW BEST:: SOT 26056 SOS 14299 HAS SOPS 14277 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3249.299
AT ITER 7817 NEW BEST:: SOT 26056 SOS 14298 HAS SOPS 14276 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3249.298
AT ITER 7897 NEW BEST:: SOT 26061 SOS 14303 HAS SOPS 14281 HAS SOUS 3245 HAS SOUPS 3232 WITH SCORE 3246.303
AT ITER 7920 NEW BEST:: SOT 26054 SOS 14428 HAS SOPS 14406 HAS SOUS 3240 HAS SOUPS 3227 WITH SCORE 3241.428
AT ITER 7931 NEW BEST:: SOT 26058 SOS 14432 HAS SOPS 14410 HAS SOUS 3234 HAS SOUPS 3221 WITH SCORE 3235.432
AT ITER 7954 NEW BEST:: SOT 26057 SOS 14431 HAS SOPS 14409 HAS SOUS 3232 HAS SOUPS 3219 WITH SCORE 3233.431
AT ITER 7958 NEW BEST:: SOT 26061 SOS 14435 HAS SOPS 14413 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3227.435
AT ITER 7972 NEW BEST:: SOT 26058 SOS 14442 HAS SOPS 14420 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3224.442
AT ITER 8012 NEW BEST:: SOT 26058 SOS 14442 HAS SOPS 14420 HAS SOUS 3219 HAS SOUPS 3206 WITH SCORE 3220.442
AT ITER 8092 NEW BEST:: SOT 26057 SOS 14430 HAS SOPS 14408 HAS SOUS 3217 HAS SOUPS 3204 WITH SCORE 3218.43
AT ITER 8310 NEW BEST:: SOT 26050 SOS 14422 HAS SOPS 14400 HAS SOUS 3210 HAS SOUPS 3197 WITH SCORE 3211.422
AT ITER 8344 NEW BEST:: SOT 26046 SOS 14410 HAS SOPS 14388 HAS SOUS 3206 HAS SOUPS 3193 WITH SCORE 3207.41
AT ITER 8477 NEW BEST:: SOT 26046 SOS 14418 HAS SOPS 14396 HAS SOUS 3205 HAS SOUPS 3192 WITH SCORE 3206.418
AT ITER 8549 NEW BEST:: SOT 26037 SOS 14409 HAS SOPS 14387 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3202.409
AT ITER 8579 NEW BEST:: SOT 26036 SOS 14405 HAS SOPS 14383 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3202.405
AT ITER 8649 NEW BEST:: SOT 26037 SOS 14395 HAS SOPS 14373 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3202.395
AT ITER 8676 NEW BEST:: SOT 26036 SOS 14394 HAS SOPS 14372 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3202.394
AT ITER 8893 NEW BEST:: SOT 26036 SOS 14394 HAS SOPS 14372 HAS SOUS 3199 HAS SOUPS 3186 WITH SCORE 3200.394
AT ITER 9130 NEW BEST:: SOT 26045 SOS 14398 HAS SOPS 14376 HAS SOUS 3198 HAS SOUPS 3185 WITH SCORE 3199.398
AT ITER 9382 NEW BEST:: SOT 26044 SOS 14396 HAS SOPS 14374 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3197.396
AT ITER 9459 NEW BEST:: SOT 26029 SOS 14371 HAS SOPS 14349 HAS SOUS 3181 HAS SOUPS 3168 WITH SCORE 3182.371
AT ITER 9460 NEW BEST:: SOT 26029 SOS 14371 HAS SOPS 14349 HAS SOUS 3180 HAS SOUPS 3167 WITH SCORE 3181.371
AT ITER 9496 NEW BEST:: SOT 26028 SOS 14417 HAS SOPS 14395 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3180.417
AT ITER 9505 NEW BEST:: SOT 26020 SOS 14408 HAS SOPS 14386 HAS SOUS 3177 HAS SOUPS 3164 WITH SCORE 3178.408
AT ITER 9526 NEW BEST:: SOT 26015 SOS 14380 HAS SOPS 14358 HAS SOUS 3169 HAS SOUPS 3156 WITH SCORE 3170.38
AT ITER 9588 NEW BEST:: SOT 26017 SOS 14382 HAS SOPS 14360 HAS SOUS 3167 HAS SOUPS 3154 WITH SCORE 3168.382
AT ITER 9607 NEW BEST:: SOT 26023 SOS 14388 HAS SOPS 14366 HAS SOUS 3164 HAS SOUPS 3151 WITH SCORE 3165.388
AT ITER 9722 NEW BEST:: SOT 26020 SOS 14385 HAS SOPS 14363 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3162.385
AT ITER 9731 NEW BEST:: SOT 26014 SOS 14379 HAS SOPS 14357 HAS SOUS 3156 HAS SOUPS 3143 WITH SCORE 3157.379
AT ITER 9735 NEW BEST:: SOT 26021 SOS 14360 HAS SOPS 14338 HAS SOUS 3156 HAS SOUPS 3143 WITH SCORE 3157.36
AT ITER 9741 NEW BEST:: SOT 26021 SOS 14356 HAS SOPS 14334 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3155.356
AT ITER 9925 NEW BEST:: SOT 26023 SOS 14358 HAS SOPS 14336 HAS SOUS 3151 HAS SOUPS 3138 WITH SCORE 3152.358
STATE_SPACE STATES 1252473852 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 19929661934 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678582691605

--------------------
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-11"
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-11, 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-167840349400320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HealthRecord-PT-11.tgz
mv HealthRecord-PT-11 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;