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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 18:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 18:21 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 68K 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 1678579426538

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-09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 00:03:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 00:03:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 00:03:49] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-12 00:03:49] [INFO ] Transformed 157 places.
[2023-03-12 00:03:49] [INFO ] Transformed 327 transitions.
[2023-03-12 00:03:49] [INFO ] Found NUPN structural information;
[2023-03-12 00:03:50] [INFO ] Parsed PT model containing 157 places and 327 transitions and 859 arcs in 345 ms.
[2023-03-12 00:03:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 157 places, 327 transitions and 859 arcs took 15 ms.
Total runtime 414 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 09
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: 157 places, 327 transitions, 859 arcs.
AT ITER 0 NEW BEST:: SOT 33348 SOS 17857 HAS SOPS 17835 HAS SOUS 10496 HAS SOUPS 10483 WITH SCORE 10500.857
AT ITER 1 NEW BEST:: SOT 31501 SOS 17326 HAS SOPS 17304 HAS SOUS 9605 HAS SOUPS 9592 WITH SCORE 9609.326
AT ITER 2 NEW BEST:: SOT 31493 SOS 17326 HAS SOPS 17304 HAS SOUS 9603 HAS SOUPS 9590 WITH SCORE 9607.326
AT ITER 6 NEW BEST:: SOT 31471 SOS 17271 HAS SOPS 17249 HAS SOUS 9581 HAS SOUPS 9568 WITH SCORE 9585.271
AT ITER 14 NEW BEST:: SOT 31450 SOS 17250 HAS SOPS 17228 HAS SOUS 9511 HAS SOUPS 9498 WITH SCORE 9515.25
AT ITER 16 NEW BEST:: SOT 31452 SOS 17252 HAS SOPS 17230 HAS SOUS 9490 HAS SOUPS 9477 WITH SCORE 9494.252
AT ITER 17 NEW BEST:: SOT 31379 SOS 17109 HAS SOPS 17087 HAS SOUS 9480 HAS SOUPS 9467 WITH SCORE 9484.109
AT ITER 20 NEW BEST:: SOT 31325 SOS 16961 HAS SOPS 16939 HAS SOUS 9332 HAS SOUPS 9319 WITH SCORE 9335.961
AT ITER 24 NEW BEST:: SOT 30179 SOS 16984 HAS SOPS 16962 HAS SOUS 9143 HAS SOUPS 9130 WITH SCORE 9146.984
AT ITER 25 NEW BEST:: SOT 30179 SOS 16951 HAS SOPS 16929 HAS SOUS 9110 HAS SOUPS 9097 WITH SCORE 9113.951
AT ITER 26 NEW BEST:: SOT 30175 SOS 16947 HAS SOPS 16925 HAS SOUS 9067 HAS SOUPS 9054 WITH SCORE 9070.947
AT ITER 30 NEW BEST:: SOT 30039 SOS 16740 HAS SOPS 16718 HAS SOUS 8994 HAS SOUPS 8981 WITH SCORE 8997.74
AT ITER 39 NEW BEST:: SOT 30089 SOS 16900 HAS SOPS 16878 HAS SOUS 8950 HAS SOUPS 8937 WITH SCORE 8953.9
AT ITER 60 NEW BEST:: SOT 30040 SOS 16757 HAS SOPS 16735 HAS SOUS 8868 HAS SOUPS 8855 WITH SCORE 8871.757
AT ITER 69 NEW BEST:: SOT 30016 SOS 16795 HAS SOPS 16773 HAS SOUS 8857 HAS SOUPS 8844 WITH SCORE 8860.795
AT ITER 70 NEW BEST:: SOT 29891 SOS 16614 HAS SOPS 16592 HAS SOUS 8800 HAS SOUPS 8787 WITH SCORE 8803.614
AT ITER 71 NEW BEST:: SOT 29863 SOS 16532 HAS SOPS 16510 HAS SOUS 8772 HAS SOUPS 8759 WITH SCORE 8775.532
AT ITER 73 NEW BEST:: SOT 28518 SOS 15650 HAS SOPS 15628 HAS SOUS 7495 HAS SOUPS 7482 WITH SCORE 7497.65
AT ITER 76 NEW BEST:: SOT 28472 SOS 15479 HAS SOPS 15457 HAS SOUS 7468 HAS SOUPS 7455 WITH SCORE 7470.479
AT ITER 91 NEW BEST:: SOT 28445 SOS 15446 HAS SOPS 15424 HAS SOUS 7342 HAS SOUPS 7329 WITH SCORE 7344.446
AT ITER 94 NEW BEST:: SOT 28407 SOS 15372 HAS SOPS 15350 HAS SOUS 7338 HAS SOUPS 7325 WITH SCORE 7340.372
AT ITER 95 NEW BEST:: SOT 28457 SOS 14662 HAS SOPS 14640 HAS SOUS 7307 HAS SOUPS 7294 WITH SCORE 7308.662
AT ITER 97 NEW BEST:: SOT 28457 SOS 14692 HAS SOPS 14670 HAS SOUS 7277 HAS SOUPS 7264 WITH SCORE 7278.692
AT ITER 100 NEW BEST:: SOT 28377 SOS 14556 HAS SOPS 14534 HAS SOUS 7219 HAS SOUPS 7206 WITH SCORE 7220.556
AT ITER 102 NEW BEST:: SOT 28359 SOS 14538 HAS SOPS 14516 HAS SOUS 7219 HAS SOUPS 7206 WITH SCORE 7220.538
AT ITER 103 NEW BEST:: SOT 28309 SOS 14789 HAS SOPS 14767 HAS SOUS 7218 HAS SOUPS 7205 WITH SCORE 7219.789
AT ITER 106 NEW BEST:: SOT 28309 SOS 14789 HAS SOPS 14767 HAS SOUS 7211 HAS SOUPS 7198 WITH SCORE 7212.789
AT ITER 107 NEW BEST:: SOT 28292 SOS 14765 HAS SOPS 14743 HAS SOUS 7197 HAS SOUPS 7184 WITH SCORE 7198.765
AT ITER 108 NEW BEST:: SOT 28340 SOS 14684 HAS SOPS 14662 HAS SOUS 7161 HAS SOUPS 7148 WITH SCORE 7162.684
AT ITER 111 NEW BEST:: SOT 28317 SOS 14639 HAS SOPS 14617 HAS SOUS 7149 HAS SOUPS 7136 WITH SCORE 7150.639
AT ITER 114 NEW BEST:: SOT 28236 SOS 14545 HAS SOPS 14523 HAS SOUS 7119 HAS SOUPS 7106 WITH SCORE 7120.545
AT ITER 115 NEW BEST:: SOT 28231 SOS 14515 HAS SOPS 14493 HAS SOUS 7114 HAS SOUPS 7101 WITH SCORE 7115.515
AT ITER 120 NEW BEST:: SOT 28212 SOS 14496 HAS SOPS 14474 HAS SOUS 7072 HAS SOUPS 7059 WITH SCORE 7073.496
AT ITER 122 NEW BEST:: SOT 28202 SOS 14507 HAS SOPS 14485 HAS SOUS 7070 HAS SOUPS 7057 WITH SCORE 7071.507
AT ITER 130 NEW BEST:: SOT 28210 SOS 14445 HAS SOPS 14423 HAS SOUS 7008 HAS SOUPS 6995 WITH SCORE 7009.445
AT ITER 132 NEW BEST:: SOT 28199 SOS 14434 HAS SOPS 14412 HAS SOUS 7005 HAS SOUPS 6992 WITH SCORE 7006.434
AT ITER 133 NEW BEST:: SOT 28199 SOS 14434 HAS SOPS 14412 HAS SOUS 6981 HAS SOUPS 6968 WITH SCORE 6982.434
AT ITER 134 NEW BEST:: SOT 28338 SOS 14602 HAS SOPS 14580 HAS SOUS 6962 HAS SOUPS 6949 WITH SCORE 6963.602
AT ITER 135 NEW BEST:: SOT 28284 SOS 14584 HAS SOPS 14562 HAS SOUS 6926 HAS SOUPS 6913 WITH SCORE 6927.584
AT ITER 139 NEW BEST:: SOT 28319 SOS 14619 HAS SOPS 14597 HAS SOUS 6924 HAS SOUPS 6911 WITH SCORE 6925.619
AT ITER 141 NEW BEST:: SOT 28340 SOS 14629 HAS SOPS 14607 HAS SOUS 6878 HAS SOUPS 6865 WITH SCORE 6879.629
AT ITER 143 NEW BEST:: SOT 28373 SOS 14695 HAS SOPS 14673 HAS SOUS 6856 HAS SOUPS 6843 WITH SCORE 6857.695
AT ITER 145 NEW BEST:: SOT 28348 SOS 14665 HAS SOPS 14643 HAS SOUS 6831 HAS SOUPS 6818 WITH SCORE 6832.665
AT ITER 147 NEW BEST:: SOT 28332 SOS 14649 HAS SOPS 14627 HAS SOUS 6815 HAS SOUPS 6802 WITH SCORE 6816.649
AT ITER 149 NEW BEST:: SOT 28325 SOS 14658 HAS SOPS 14636 HAS SOUS 6812 HAS SOUPS 6799 WITH SCORE 6813.658
AT ITER 150 NEW BEST:: SOT 28351 SOS 14682 HAS SOPS 14660 HAS SOUS 6742 HAS SOUPS 6729 WITH SCORE 6743.682
AT ITER 152 NEW BEST:: SOT 27931 SOS 16272 HAS SOPS 16250 HAS SOUS 6157 HAS SOUPS 6144 WITH SCORE 6160.272
AT ITER 156 NEW BEST:: SOT 27896 SOS 16286 HAS SOPS 16264 HAS SOUS 6135 HAS SOUPS 6122 WITH SCORE 6138.286
AT ITER 174 NEW BEST:: SOT 27801 SOS 16195 HAS SOPS 16173 HAS SOUS 6134 HAS SOUPS 6121 WITH SCORE 6137.195
AT ITER 175 NEW BEST:: SOT 27799 SOS 16193 HAS SOPS 16171 HAS SOUS 6132 HAS SOUPS 6119 WITH SCORE 6135.193
AT ITER 176 NEW BEST:: SOT 27674 SOS 16009 HAS SOPS 15987 HAS SOUS 6013 HAS SOUPS 6000 WITH SCORE 6016.009
AT ITER 184 NEW BEST:: SOT 27628 SOS 15960 HAS SOPS 15938 HAS SOUS 5992 HAS SOUPS 5979 WITH SCORE 5994.96
AT ITER 185 NEW BEST:: SOT 27628 SOS 15956 HAS SOPS 15934 HAS SOUS 5988 HAS SOUPS 5975 WITH SCORE 5990.956
AT ITER 187 NEW BEST:: SOT 27621 SOS 15949 HAS SOPS 15927 HAS SOUS 5977 HAS SOUPS 5964 WITH SCORE 5979.949
AT ITER 189 NEW BEST:: SOT 27640 SOS 15914 HAS SOPS 15892 HAS SOUS 5896 HAS SOUPS 5883 WITH SCORE 5898.914
AT ITER 190 NEW BEST:: SOT 27605 SOS 15879 HAS SOPS 15857 HAS SOUS 5888 HAS SOUPS 5875 WITH SCORE 5890.879
AT ITER 200 NEW BEST:: SOT 27605 SOS 15879 HAS SOPS 15857 HAS SOUS 5885 HAS SOUPS 5872 WITH SCORE 5887.879
AT ITER 201 NEW BEST:: SOT 27582 SOS 15856 HAS SOPS 15834 HAS SOUS 5884 HAS SOUPS 5871 WITH SCORE 5886.856
AT ITER 204 NEW BEST:: SOT 27514 SOS 15742 HAS SOPS 15720 HAS SOUS 5881 HAS SOUPS 5868 WITH SCORE 5883.742
AT ITER 211 NEW BEST:: SOT 27535 SOS 15776 HAS SOPS 15754 HAS SOUS 5824 HAS SOUPS 5811 WITH SCORE 5826.776
AT ITER 216 NEW BEST:: SOT 27559 SOS 15815 HAS SOPS 15793 HAS SOUS 5763 HAS SOUPS 5750 WITH SCORE 5765.815
AT ITER 219 NEW BEST:: SOT 27527 SOS 15783 HAS SOPS 15761 HAS SOUS 5714 HAS SOUPS 5701 WITH SCORE 5716.783
AT ITER 226 NEW BEST:: SOT 27369 SOS 16344 HAS SOPS 16322 HAS SOUS 5521 HAS SOUPS 5508 WITH SCORE 5524.344
AT ITER 234 NEW BEST:: SOT 27361 SOS 16336 HAS SOPS 16314 HAS SOUS 5499 HAS SOUPS 5486 WITH SCORE 5502.336
AT ITER 257 NEW BEST:: SOT 27370 SOS 16354 HAS SOPS 16332 HAS SOUS 5490 HAS SOUPS 5477 WITH SCORE 5493.354
AT ITER 268 NEW BEST:: SOT 27337 SOS 16321 HAS SOPS 16299 HAS SOUS 5419 HAS SOUPS 5406 WITH SCORE 5422.321
AT ITER 275 NEW BEST:: SOT 27360 SOS 16344 HAS SOPS 16322 HAS SOUS 5409 HAS SOUPS 5396 WITH SCORE 5412.344
AT ITER 277 NEW BEST:: SOT 27274 SOS 16215 HAS SOPS 16193 HAS SOUS 5409 HAS SOUPS 5396 WITH SCORE 5412.215
AT ITER 280 NEW BEST:: SOT 27163 SOS 16039 HAS SOPS 16017 HAS SOUS 5376 HAS SOUPS 5363 WITH SCORE 5379.039
AT ITER 286 NEW BEST:: SOT 26993 SOS 15656 HAS SOPS 15634 HAS SOUS 5309 HAS SOUPS 5296 WITH SCORE 5311.656
AT ITER 293 NEW BEST:: SOT 26994 SOS 15635 HAS SOPS 15613 HAS SOUS 5286 HAS SOUPS 5273 WITH SCORE 5288.635
AT ITER 302 NEW BEST:: SOT 26994 SOS 16607 HAS SOPS 16585 HAS SOUS 5284 HAS SOUPS 5271 WITH SCORE 5287.607
AT ITER 304 NEW BEST:: SOT 26994 SOS 16586 HAS SOPS 16564 HAS SOUS 5279 HAS SOUPS 5266 WITH SCORE 5282.586
AT ITER 306 NEW BEST:: SOT 26983 SOS 16575 HAS SOPS 16553 HAS SOUS 5268 HAS SOUPS 5255 WITH SCORE 5271.575
AT ITER 312 NEW BEST:: SOT 26976 SOS 16561 HAS SOPS 16539 HAS SOUS 5254 HAS SOUPS 5241 WITH SCORE 5257.561
AT ITER 315 NEW BEST:: SOT 26979 SOS 16570 HAS SOPS 16548 HAS SOUS 5252 HAS SOUPS 5239 WITH SCORE 5255.57
AT ITER 316 NEW BEST:: SOT 26949 SOS 16524 HAS SOPS 16502 HAS SOUS 5202 HAS SOUPS 5189 WITH SCORE 5205.524
AT ITER 317 NEW BEST:: SOT 26960 SOS 16535 HAS SOPS 16513 HAS SOUS 5180 HAS SOUPS 5167 WITH SCORE 5183.535
AT ITER 323 NEW BEST:: SOT 26856 SOS 16379 HAS SOPS 16357 HAS SOUS 5180 HAS SOUPS 5167 WITH SCORE 5183.379
AT ITER 328 NEW BEST:: SOT 26794 SOS 16269 HAS SOPS 16247 HAS SOUS 5118 HAS SOUPS 5105 WITH SCORE 5121.269
AT ITER 331 NEW BEST:: SOT 26710 SOS 16143 HAS SOPS 16121 HAS SOUS 5068 HAS SOUPS 5055 WITH SCORE 5071.143
AT ITER 332 NEW BEST:: SOT 26701 SOS 16131 HAS SOPS 16109 HAS SOUS 5065 HAS SOUPS 5052 WITH SCORE 5068.131
AT ITER 349 NEW BEST:: SOT 26698 SOS 16128 HAS SOPS 16106 HAS SOUS 5025 HAS SOUPS 5012 WITH SCORE 5028.128
AT ITER 353 NEW BEST:: SOT 26666 SOS 16096 HAS SOPS 16074 HAS SOUS 4961 HAS SOUPS 4948 WITH SCORE 4964.096
AT ITER 356 NEW BEST:: SOT 26666 SOS 16061 HAS SOPS 16039 HAS SOUS 4961 HAS SOUPS 4948 WITH SCORE 4964.061
AT ITER 358 NEW BEST:: SOT 26669 SOS 15438 HAS SOPS 15416 HAS SOUS 4947 HAS SOUPS 4934 WITH SCORE 4949.438
AT ITER 365 NEW BEST:: SOT 26656 SOS 15399 HAS SOPS 15377 HAS SOUS 4921 HAS SOUPS 4908 WITH SCORE 4923.399
AT ITER 376 NEW BEST:: SOT 26650 SOS 15390 HAS SOPS 15368 HAS SOUS 4918 HAS SOUPS 4905 WITH SCORE 4920.39
AT ITER 377 NEW BEST:: SOT 26650 SOS 15390 HAS SOPS 15368 HAS SOUS 4909 HAS SOUPS 4896 WITH SCORE 4911.39
AT ITER 381 NEW BEST:: SOT 26598 SOS 15300 HAS SOPS 15278 HAS SOUS 4876 HAS SOUPS 4863 WITH SCORE 4878.3
AT ITER 382 NEW BEST:: SOT 26499 SOS 14978 HAS SOPS 14956 HAS SOUS 4866 HAS SOUPS 4853 WITH SCORE 4867.978
AT ITER 383 NEW BEST:: SOT 26458 SOS 14871 HAS SOPS 14849 HAS SOUS 4860 HAS SOUPS 4847 WITH SCORE 4861.871
AT ITER 396 NEW BEST:: SOT 26337 SOS 14687 HAS SOPS 14665 HAS SOUS 4815 HAS SOUPS 4802 WITH SCORE 4816.687
AT ITER 397 NEW BEST:: SOT 26320 SOS 14642 HAS SOPS 14620 HAS SOUS 4795 HAS SOUPS 4782 WITH SCORE 4796.642
AT ITER 399 NEW BEST:: SOT 26320 SOS 14642 HAS SOPS 14620 HAS SOUS 4773 HAS SOUPS 4760 WITH SCORE 4774.642
AT ITER 414 NEW BEST:: SOT 26268 SOS 14544 HAS SOPS 14522 HAS SOUS 4728 HAS SOUPS 4715 WITH SCORE 4729.544
AT ITER 420 NEW BEST:: SOT 26249 SOS 14512 HAS SOPS 14490 HAS SOUS 4702 HAS SOUPS 4689 WITH SCORE 4703.512
AT ITER 423 NEW BEST:: SOT 26246 SOS 14509 HAS SOPS 14487 HAS SOUS 4681 HAS SOUPS 4668 WITH SCORE 4682.509
AT ITER 439 NEW BEST:: SOT 26370 SOS 14718 HAS SOPS 14696 HAS SOUS 4676 HAS SOUPS 4663 WITH SCORE 4677.718
AT ITER 452 NEW BEST:: SOT 26344 SOS 14666 HAS SOPS 14644 HAS SOUS 4663 HAS SOUPS 4650 WITH SCORE 4664.666
AT ITER 461 NEW BEST:: SOT 26344 SOS 14666 HAS SOPS 14644 HAS SOUS 4661 HAS SOUPS 4648 WITH SCORE 4662.666
AT ITER 468 NEW BEST:: SOT 26342 SOS 14664 HAS SOPS 14642 HAS SOUS 4659 HAS SOUPS 4646 WITH SCORE 4660.664
AT ITER 482 NEW BEST:: SOT 26359 SOS 14698 HAS SOPS 14676 HAS SOUS 4658 HAS SOUPS 4645 WITH SCORE 4659.698
AT ITER 485 NEW BEST:: SOT 26359 SOS 14698 HAS SOPS 14676 HAS SOUS 4646 HAS SOUPS 4633 WITH SCORE 4647.698
AT ITER 509 NEW BEST:: SOT 26228 SOS 14481 HAS SOPS 14459 HAS SOUS 4642 HAS SOUPS 4629 WITH SCORE 4643.481
AT ITER 516 NEW BEST:: SOT 26326 SOS 14645 HAS SOPS 14623 HAS SOUS 4596 HAS SOUPS 4583 WITH SCORE 4597.645
AT ITER 522 NEW BEST:: SOT 26323 SOS 14676 HAS SOPS 14654 HAS SOUS 4594 HAS SOUPS 4581 WITH SCORE 4595.676
AT ITER 534 NEW BEST:: SOT 26328 SOS 14666 HAS SOPS 14644 HAS SOUS 4581 HAS SOUPS 4568 WITH SCORE 4582.666
AT ITER 535 NEW BEST:: SOT 26309 SOS 14647 HAS SOPS 14625 HAS SOUS 4562 HAS SOUPS 4549 WITH SCORE 4563.647
AT ITER 548 NEW BEST:: SOT 26291 SOS 14631 HAS SOPS 14609 HAS SOUS 4552 HAS SOUPS 4539 WITH SCORE 4553.631
AT ITER 549 NEW BEST:: SOT 26286 SOS 14626 HAS SOPS 14604 HAS SOUS 4547 HAS SOUPS 4534 WITH SCORE 4548.626
AT ITER 555 NEW BEST:: SOT 26286 SOS 14626 HAS SOPS 14604 HAS SOUS 4545 HAS SOUPS 4532 WITH SCORE 4546.626
AT ITER 576 NEW BEST:: SOT 26312 SOS 14630 HAS SOPS 14608 HAS SOUS 4538 HAS SOUPS 4525 WITH SCORE 4539.63
AT ITER 581 NEW BEST:: SOT 26294 SOS 14603 HAS SOPS 14581 HAS SOUS 4529 HAS SOUPS 4516 WITH SCORE 4530.603
AT ITER 591 NEW BEST:: SOT 26206 SOS 14743 HAS SOPS 14721 HAS SOUS 4526 HAS SOUPS 4513 WITH SCORE 4527.743
AT ITER 593 NEW BEST:: SOT 26203 SOS 14737 HAS SOPS 14715 HAS SOUS 4523 HAS SOUPS 4510 WITH SCORE 4524.737
AT ITER 614 NEW BEST:: SOT 26190 SOS 14724 HAS SOPS 14702 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4513.724
AT ITER 617 NEW BEST:: SOT 26175 SOS 14694 HAS SOPS 14672 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4503.694
AT ITER 625 NEW BEST:: SOT 26170 SOS 14689 HAS SOPS 14667 HAS SOUS 4497 HAS SOUPS 4484 WITH SCORE 4498.689
AT ITER 628 NEW BEST:: SOT 26139 SOS 14658 HAS SOPS 14636 HAS SOUS 4479 HAS SOUPS 4466 WITH SCORE 4480.658
AT ITER 644 NEW BEST:: SOT 26119 SOS 14771 HAS SOPS 14749 HAS SOUS 4477 HAS SOUPS 4464 WITH SCORE 4478.771
AT ITER 660 NEW BEST:: SOT 26108 SOS 14760 HAS SOPS 14738 HAS SOUS 4464 HAS SOUPS 4451 WITH SCORE 4465.76
AT ITER 665 NEW BEST:: SOT 26108 SOS 14753 HAS SOPS 14731 HAS SOUS 4463 HAS SOUPS 4450 WITH SCORE 4464.753
AT ITER 677 NEW BEST:: SOT 26106 SOS 14751 HAS SOPS 14729 HAS SOUS 4457 HAS SOUPS 4444 WITH SCORE 4458.751
AT ITER 683 NEW BEST:: SOT 26061 SOS 14706 HAS SOPS 14684 HAS SOUS 4414 HAS SOUPS 4401 WITH SCORE 4415.706
AT ITER 688 NEW BEST:: SOT 26034 SOS 14679 HAS SOPS 14657 HAS SOUS 4367 HAS SOUPS 4354 WITH SCORE 4368.679
AT ITER 696 NEW BEST:: SOT 26034 SOS 14679 HAS SOPS 14657 HAS SOUS 4365 HAS SOUPS 4352 WITH SCORE 4366.679
AT ITER 697 NEW BEST:: SOT 26034 SOS 14679 HAS SOPS 14657 HAS SOUS 4343 HAS SOUPS 4330 WITH SCORE 4344.679
AT ITER 710 NEW BEST:: SOT 25977 SOS 14604 HAS SOPS 14582 HAS SOUS 4301 HAS SOUPS 4288 WITH SCORE 4302.604
AT ITER 711 NEW BEST:: SOT 25976 SOS 14603 HAS SOPS 14581 HAS SOUS 4300 HAS SOUPS 4287 WITH SCORE 4301.603
AT ITER 725 NEW BEST:: SOT 25960 SOS 14587 HAS SOPS 14565 HAS SOUS 4297 HAS SOUPS 4284 WITH SCORE 4298.587
AT ITER 728 NEW BEST:: SOT 25942 SOS 14560 HAS SOPS 14538 HAS SOUS 4297 HAS SOUPS 4284 WITH SCORE 4298.56
AT ITER 741 NEW BEST:: SOT 25933 SOS 14564 HAS SOPS 14542 HAS SOUS 4295 HAS SOUPS 4282 WITH SCORE 4296.564
AT ITER 744 NEW BEST:: SOT 25892 SOS 14523 HAS SOPS 14501 HAS SOUS 4292 HAS SOUPS 4279 WITH SCORE 4293.523
AT ITER 754 NEW BEST:: SOT 25877 SOS 14493 HAS SOPS 14471 HAS SOUS 4262 HAS SOUPS 4249 WITH SCORE 4263.493
AT ITER 761 NEW BEST:: SOT 25852 SOS 14234 HAS SOPS 14212 HAS SOUS 4257 HAS SOUPS 4244 WITH SCORE 4258.234
AT ITER 767 NEW BEST:: SOT 25850 SOS 14231 HAS SOPS 14209 HAS SOUS 4255 HAS SOUPS 4242 WITH SCORE 4256.231
AT ITER 773 NEW BEST:: SOT 25826 SOS 14207 HAS SOPS 14185 HAS SOUS 4239 HAS SOUPS 4226 WITH SCORE 4240.207
AT ITER 779 NEW BEST:: SOT 25790 SOS 14255 HAS SOPS 14233 HAS SOUS 4221 HAS SOUPS 4208 WITH SCORE 4222.255
AT ITER 783 NEW BEST:: SOT 25830 SOS 14326 HAS SOPS 14304 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4209.326
AT ITER 798 NEW BEST:: SOT 25832 SOS 14328 HAS SOPS 14306 HAS SOUS 4206 HAS SOUPS 4193 WITH SCORE 4207.328
AT ITER 807 NEW BEST:: SOT 25844 SOS 14340 HAS SOPS 14318 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4201.34
AT ITER 813 NEW BEST:: SOT 25840 SOS 14320 HAS SOPS 14298 HAS SOUS 4188 HAS SOUPS 4175 WITH SCORE 4189.32
AT ITER 825 NEW BEST:: SOT 25830 SOS 14300 HAS SOPS 14278 HAS SOUS 4188 HAS SOUPS 4175 WITH SCORE 4189.3
AT ITER 860 NEW BEST:: SOT 25826 SOS 14296 HAS SOPS 14274 HAS SOUS 4186 HAS SOUPS 4173 WITH SCORE 4187.296
AT ITER 865 NEW BEST:: SOT 25784 SOS 14254 HAS SOPS 14232 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4157.254
AT ITER 872 NEW BEST:: SOT 25789 SOS 14271 HAS SOPS 14249 HAS SOUS 4152 HAS SOUPS 4139 WITH SCORE 4153.271
AT ITER 881 NEW BEST:: SOT 25765 SOS 14247 HAS SOPS 14225 HAS SOUS 4109 HAS SOUPS 4096 WITH SCORE 4110.247
AT ITER 887 NEW BEST:: SOT 25765 SOS 14247 HAS SOPS 14225 HAS SOUS 4098 HAS SOUPS 4085 WITH SCORE 4099.247
AT ITER 930 NEW BEST:: SOT 25756 SOS 14232 HAS SOPS 14210 HAS SOUS 4089 HAS SOUPS 4076 WITH SCORE 4090.232
AT ITER 936 NEW BEST:: SOT 25750 SOS 14223 HAS SOPS 14201 HAS SOUS 4086 HAS SOUPS 4073 WITH SCORE 4087.223
AT ITER 939 NEW BEST:: SOT 25750 SOS 14223 HAS SOPS 14201 HAS SOUS 4085 HAS SOUPS 4072 WITH SCORE 4086.223
AT ITER 945 NEW BEST:: SOT 25744 SOS 14217 HAS SOPS 14195 HAS SOUS 4076 HAS SOUPS 4063 WITH SCORE 4077.217
AT ITER 948 NEW BEST:: SOT 25741 SOS 14209 HAS SOPS 14187 HAS SOUS 4070 HAS SOUPS 4057 WITH SCORE 4071.209
AT ITER 950 NEW BEST:: SOT 25758 SOS 14226 HAS SOPS 14204 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4051.226
AT ITER 964 NEW BEST:: SOT 25753 SOS 14221 HAS SOPS 14199 HAS SOUS 4045 HAS SOUPS 4032 WITH SCORE 4046.221
AT ITER 981 NEW BEST:: SOT 25741 SOS 14209 HAS SOPS 14187 HAS SOUS 4031 HAS SOUPS 4018 WITH SCORE 4032.209
AT ITER 988 NEW BEST:: SOT 25740 SOS 14208 HAS SOPS 14186 HAS SOUS 4030 HAS SOUPS 4017 WITH SCORE 4031.208
AT ITER 1004 NEW BEST:: SOT 25737 SOS 14205 HAS SOPS 14183 HAS SOUS 4025 HAS SOUPS 4012 WITH SCORE 4026.205
AT ITER 1008 NEW BEST:: SOT 25755 SOS 14228 HAS SOPS 14206 HAS SOUS 4017 HAS SOUPS 4004 WITH SCORE 4018.228
AT ITER 1012 NEW BEST:: SOT 25745 SOS 14229 HAS SOPS 14207 HAS SOUS 4012 HAS SOUPS 3999 WITH SCORE 4013.229
AT ITER 1016 NEW BEST:: SOT 25732 SOS 14216 HAS SOPS 14194 HAS SOUS 4010 HAS SOUPS 3997 WITH SCORE 4011.216
AT ITER 1059 NEW BEST:: SOT 25709 SOS 14193 HAS SOPS 14171 HAS SOUS 3993 HAS SOUPS 3980 WITH SCORE 3994.193
AT ITER 1074 NEW BEST:: SOT 25695 SOS 14183 HAS SOPS 14161 HAS SOUS 3983 HAS SOUPS 3970 WITH SCORE 3984.183
AT ITER 1080 NEW BEST:: SOT 25696 SOS 14184 HAS SOPS 14162 HAS SOUS 3958 HAS SOUPS 3945 WITH SCORE 3959.184
AT ITER 1095 NEW BEST:: SOT 25703 SOS 14191 HAS SOPS 14169 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3947.191
AT ITER 1149 NEW BEST:: SOT 25699 SOS 14173 HAS SOPS 14151 HAS SOUS 3926 HAS SOUPS 3913 WITH SCORE 3927.173
AT ITER 1155 NEW BEST:: SOT 25690 SOS 14331 HAS SOPS 14309 HAS SOUS 3917 HAS SOUPS 3904 WITH SCORE 3918.331
AT ITER 1173 NEW BEST:: SOT 25686 SOS 14327 HAS SOPS 14305 HAS SOUS 3910 HAS SOUPS 3897 WITH SCORE 3911.327
AT ITER 1175 NEW BEST:: SOT 25680 SOS 14321 HAS SOPS 14299 HAS SOUS 3898 HAS SOUPS 3885 WITH SCORE 3899.321
AT ITER 1183 NEW BEST:: SOT 25678 SOS 14329 HAS SOPS 14307 HAS SOUS 3897 HAS SOUPS 3884 WITH SCORE 3898.329
AT ITER 1212 NEW BEST:: SOT 25673 SOS 14313 HAS SOPS 14291 HAS SOUS 3891 HAS SOUPS 3878 WITH SCORE 3892.313
AT ITER 1213 NEW BEST:: SOT 25668 SOS 14308 HAS SOPS 14286 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3887.308
AT ITER 1218 NEW BEST:: SOT 25662 SOS 14302 HAS SOPS 14280 HAS SOUS 3880 HAS SOUPS 3867 WITH SCORE 3881.302
AT ITER 1232 NEW BEST:: SOT 25662 SOS 14302 HAS SOPS 14280 HAS SOUS 3879 HAS SOUPS 3866 WITH SCORE 3880.302
AT ITER 1240 NEW BEST:: SOT 25660 SOS 14300 HAS SOPS 14278 HAS SOUS 3877 HAS SOUPS 3864 WITH SCORE 3878.3
AT ITER 1246 NEW BEST:: SOT 25658 SOS 14296 HAS SOPS 14274 HAS SOUS 3873 HAS SOUPS 3860 WITH SCORE 3874.296
AT ITER 1261 NEW BEST:: SOT 25656 SOS 14293 HAS SOPS 14271 HAS SOUS 3872 HAS SOUPS 3859 WITH SCORE 3873.293
AT ITER 1267 NEW BEST:: SOT 25691 SOS 14328 HAS SOPS 14306 HAS SOUS 3871 HAS SOUPS 3858 WITH SCORE 3872.328
AT ITER 1289 NEW BEST:: SOT 25705 SOS 14352 HAS SOPS 14330 HAS SOUS 3857 HAS SOUPS 3844 WITH SCORE 3858.352
AT ITER 1311 NEW BEST:: SOT 25705 SOS 14352 HAS SOPS 14330 HAS SOUS 3855 HAS SOUPS 3842 WITH SCORE 3856.352
AT ITER 1318 NEW BEST:: SOT 25714 SOS 14370 HAS SOPS 14348 HAS SOUS 3850 HAS SOUPS 3837 WITH SCORE 3851.37
AT ITER 1322 NEW BEST:: SOT 25731 SOS 14387 HAS SOPS 14365 HAS SOUS 3847 HAS SOUPS 3834 WITH SCORE 3848.387
AT ITER 1330 NEW BEST:: SOT 25718 SOS 14361 HAS SOPS 14339 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.361
AT ITER 1340 NEW BEST:: SOT 25707 SOS 14350 HAS SOPS 14328 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.35
AT ITER 1352 NEW BEST:: SOT 25702 SOS 14345 HAS SOPS 14323 HAS SOUS 3842 HAS SOUPS 3829 WITH SCORE 3843.345
AT ITER 1367 NEW BEST:: SOT 25702 SOS 14345 HAS SOPS 14323 HAS SOUS 3839 HAS SOUPS 3826 WITH SCORE 3840.345
AT ITER 1370 NEW BEST:: SOT 25690 SOS 14324 HAS SOPS 14302 HAS SOUS 3836 HAS SOUPS 3823 WITH SCORE 3837.324
AT ITER 1394 NEW BEST:: SOT 25691 SOS 14325 HAS SOPS 14303 HAS SOUS 3833 HAS SOUPS 3820 WITH SCORE 3834.325
AT ITER 1395 NEW BEST:: SOT 25685 SOS 14319 HAS SOPS 14297 HAS SOUS 3821 HAS SOUPS 3808 WITH SCORE 3822.319
AT ITER 1402 NEW BEST:: SOT 25683 SOS 14432 HAS SOPS 14410 HAS SOUS 3817 HAS SOUPS 3804 WITH SCORE 3818.432
AT ITER 1405 NEW BEST:: SOT 25679 SOS 14428 HAS SOPS 14406 HAS SOUS 3813 HAS SOUPS 3800 WITH SCORE 3814.428
AT ITER 1406 NEW BEST:: SOT 25649 SOS 14323 HAS SOPS 14301 HAS SOUS 3790 HAS SOUPS 3777 WITH SCORE 3791.323
AT ITER 1460 NEW BEST:: SOT 25650 SOS 14324 HAS SOPS 14302 HAS SOUS 3780 HAS SOUPS 3767 WITH SCORE 3781.324
AT ITER 1471 NEW BEST:: SOT 25654 SOS 14328 HAS SOPS 14306 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3741.328
AT ITER 1473 NEW BEST:: SOT 25644 SOS 14308 HAS SOPS 14286 HAS SOUS 3732 HAS SOUPS 3719 WITH SCORE 3733.308
AT ITER 1479 NEW BEST:: SOT 25642 SOS 14302 HAS SOPS 14280 HAS SOUS 3730 HAS SOUPS 3717 WITH SCORE 3731.302
AT ITER 1497 NEW BEST:: SOT 25622 SOS 14264 HAS SOPS 14242 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3711.264
AT ITER 1507 NEW BEST:: SOT 25613 SOS 14255 HAS SOPS 14233 HAS SOUS 3698 HAS SOUPS 3685 WITH SCORE 3699.255
AT ITER 1511 NEW BEST:: SOT 25604 SOS 14246 HAS SOPS 14224 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3681.246
AT ITER 1527 NEW BEST:: SOT 25679 SOS 14372 HAS SOPS 14350 HAS SOUS 3677 HAS SOUPS 3664 WITH SCORE 3678.372
AT ITER 1530 NEW BEST:: SOT 25679 SOS 14365 HAS SOPS 14343 HAS SOUS 3663 HAS SOUPS 3650 WITH SCORE 3664.365
AT ITER 1538 NEW BEST:: SOT 25679 SOS 14365 HAS SOPS 14343 HAS SOUS 3656 HAS SOUPS 3643 WITH SCORE 3657.365
AT ITER 1564 NEW BEST:: SOT 25669 SOS 14329 HAS SOPS 14307 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3634.329
AT ITER 1587 NEW BEST:: SOT 25638 SOS 14279 HAS SOPS 14257 HAS SOUS 3627 HAS SOUPS 3614 WITH SCORE 3628.279
AT ITER 1609 NEW BEST:: SOT 25636 SOS 14277 HAS SOPS 14255 HAS SOUS 3625 HAS SOUPS 3612 WITH SCORE 3626.277
AT ITER 1625 NEW BEST:: SOT 25598 SOS 14222 HAS SOPS 14200 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3606.222
AT ITER 1627 NEW BEST:: SOT 25597 SOS 14218 HAS SOPS 14196 HAS SOUS 3603 HAS SOUPS 3590 WITH SCORE 3604.218
AT ITER 1628 NEW BEST:: SOT 25597 SOS 14201 HAS SOPS 14179 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3587.201
AT ITER 1647 NEW BEST:: SOT 25583 SOS 14173 HAS SOPS 14151 HAS SOUS 3579 HAS SOUPS 3566 WITH SCORE 3580.173
AT ITER 1648 NEW BEST:: SOT 25579 SOS 14165 HAS SOPS 14143 HAS SOUS 3575 HAS SOUPS 3562 WITH SCORE 3576.165
AT ITER 1657 NEW BEST:: SOT 25579 SOS 14165 HAS SOPS 14143 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3568.165
AT ITER 1673 NEW BEST:: SOT 25574 SOS 14256 HAS SOPS 14234 HAS SOUS 3561 HAS SOUPS 3548 WITH SCORE 3562.256
AT ITER 1710 NEW BEST:: SOT 25565 SOS 14243 HAS SOPS 14221 HAS SOUS 3555 HAS SOUPS 3542 WITH SCORE 3556.243
AT ITER 1733 NEW BEST:: SOT 25565 SOS 14243 HAS SOPS 14221 HAS SOUS 3554 HAS SOUPS 3541 WITH SCORE 3555.243
AT ITER 1741 NEW BEST:: SOT 25564 SOS 14242 HAS SOPS 14220 HAS SOUS 3549 HAS SOUPS 3536 WITH SCORE 3550.242
AT ITER 1761 NEW BEST:: SOT 25563 SOS 14234 HAS SOPS 14212 HAS SOUS 3548 HAS SOUPS 3535 WITH SCORE 3549.234
AT ITER 1777 NEW BEST:: SOT 25585 SOS 14265 HAS SOPS 14243 HAS SOUS 3545 HAS SOUPS 3532 WITH SCORE 3546.265
AT ITER 1802 NEW BEST:: SOT 25579 SOS 14261 HAS SOPS 14239 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.261
AT ITER 1807 NEW BEST:: SOT 25571 SOS 14253 HAS SOPS 14231 HAS SOUS 3531 HAS SOUPS 3518 WITH SCORE 3532.253
AT ITER 1839 NEW BEST:: SOT 25570 SOS 14252 HAS SOPS 14230 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.252
AT ITER 1926 NEW BEST:: SOT 25584 SOS 14266 HAS SOPS 14244 HAS SOUS 3526 HAS SOUPS 3513 WITH SCORE 3527.266
AT ITER 1939 NEW BEST:: SOT 25584 SOS 14258 HAS SOPS 14236 HAS SOUS 3526 HAS SOUPS 3513 WITH SCORE 3527.258
AT ITER 1940 NEW BEST:: SOT 25582 SOS 14249 HAS SOPS 14227 HAS SOUS 3525 HAS SOUPS 3512 WITH SCORE 3526.249
AT ITER 1950 NEW BEST:: SOT 25582 SOS 14249 HAS SOPS 14227 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3523.249
AT ITER 1966 NEW BEST:: SOT 25584 SOS 14253 HAS SOPS 14231 HAS SOUS 3520 HAS SOUPS 3507 WITH SCORE 3521.253
AT ITER 1971 NEW BEST:: SOT 25583 SOS 14251 HAS SOPS 14229 HAS SOUS 3505 HAS SOUPS 3492 WITH SCORE 3506.251
AT ITER 2014 NEW BEST:: SOT 25577 SOS 14245 HAS SOPS 14223 HAS SOUS 3505 HAS SOUPS 3492 WITH SCORE 3506.245
AT ITER 2017 NEW BEST:: SOT 25574 SOS 14240 HAS SOPS 14218 HAS SOUS 3502 HAS SOUPS 3489 WITH SCORE 3503.24
AT ITER 2026 NEW BEST:: SOT 25572 SOS 14236 HAS SOPS 14214 HAS SOUS 3500 HAS SOUPS 3487 WITH SCORE 3501.236
AT ITER 2045 NEW BEST:: SOT 25581 SOS 14245 HAS SOPS 14223 HAS SOUS 3488 HAS SOUPS 3475 WITH SCORE 3489.245
AT ITER 2047 NEW BEST:: SOT 25579 SOS 14243 HAS SOPS 14221 HAS SOUS 3484 HAS SOUPS 3471 WITH SCORE 3485.243
AT ITER 2081 NEW BEST:: SOT 25561 SOS 14198 HAS SOPS 14176 HAS SOUS 3448 HAS SOUPS 3435 WITH SCORE 3449.198
AT ITER 2098 NEW BEST:: SOT 25555 SOS 14186 HAS SOPS 14164 HAS SOUS 3445 HAS SOUPS 3432 WITH SCORE 3446.186
AT ITER 2120 NEW BEST:: SOT 25552 SOS 14177 HAS SOPS 14155 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3441.177
AT ITER 2147 NEW BEST:: SOT 25545 SOS 14165 HAS SOPS 14143 HAS SOUS 3431 HAS SOUPS 3418 WITH SCORE 3432.165
AT ITER 2150 NEW BEST:: SOT 25538 SOS 14163 HAS SOPS 14141 HAS SOUS 3428 HAS SOUPS 3415 WITH SCORE 3429.163
AT ITER 2173 NEW BEST:: SOT 25538 SOS 14159 HAS SOPS 14137 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3423.159
AT ITER 2204 NEW BEST:: SOT 25539 SOS 14160 HAS SOPS 14138 HAS SOUS 3417 HAS SOUPS 3404 WITH SCORE 3418.16
AT ITER 2248 NEW BEST:: SOT 25539 SOS 14160 HAS SOPS 14138 HAS SOUS 3413 HAS SOUPS 3400 WITH SCORE 3414.16
AT ITER 2264 NEW BEST:: SOT 25539 SOS 14160 HAS SOPS 14138 HAS SOUS 3407 HAS SOUPS 3394 WITH SCORE 3408.16
AT ITER 2286 NEW BEST:: SOT 25540 SOS 14161 HAS SOPS 14139 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3405.161
AT ITER 2288 NEW BEST:: SOT 25530 SOS 14146 HAS SOPS 14124 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3405.146
AT ITER 2309 NEW BEST:: SOT 25522 SOS 14138 HAS SOPS 14116 HAS SOUS 3396 HAS SOUPS 3383 WITH SCORE 3397.138
AT ITER 2343 NEW BEST:: SOT 25545 SOS 14164 HAS SOPS 14142 HAS SOUS 3395 HAS SOUPS 3382 WITH SCORE 3396.164
AT ITER 2344 NEW BEST:: SOT 25512 SOS 14131 HAS SOPS 14109 HAS SOUS 3389 HAS SOUPS 3376 WITH SCORE 3390.131
AT ITER 2352 NEW BEST:: SOT 25509 SOS 14128 HAS SOPS 14106 HAS SOUS 3383 HAS SOUPS 3370 WITH SCORE 3384.128
AT ITER 2368 NEW BEST:: SOT 25522 SOS 14141 HAS SOPS 14119 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3380.141
AT ITER 2386 NEW BEST:: SOT 25516 SOS 14135 HAS SOPS 14113 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3380.135
AT ITER 2447 NEW BEST:: SOT 25520 SOS 14143 HAS SOPS 14121 HAS SOUS 3366 HAS SOUPS 3353 WITH SCORE 3367.143
AT ITER 2458 NEW BEST:: SOT 25518 SOS 14141 HAS SOPS 14119 HAS SOUS 3364 HAS SOUPS 3351 WITH SCORE 3365.141
AT ITER 2490 NEW BEST:: SOT 25510 SOS 14133 HAS SOPS 14111 HAS SOUS 3360 HAS SOUPS 3347 WITH SCORE 3361.133
AT ITER 2515 NEW BEST:: SOT 25491 SOS 14094 HAS SOPS 14072 HAS SOUS 3332 HAS SOUPS 3319 WITH SCORE 3333.094
AT ITER 2529 NEW BEST:: SOT 25489 SOS 14090 HAS SOPS 14068 HAS SOUS 3330 HAS SOUPS 3317 WITH SCORE 3331.09
AT ITER 2607 NEW BEST:: SOT 25489 SOS 14090 HAS SOPS 14068 HAS SOUS 3327 HAS SOUPS 3314 WITH SCORE 3328.09
AT ITER 2620 NEW BEST:: SOT 25481 SOS 14062 HAS SOPS 14040 HAS SOUS 3326 HAS SOUPS 3313 WITH SCORE 3327.062
AT ITER 2632 NEW BEST:: SOT 25461 SOS 14028 HAS SOPS 14006 HAS SOUS 3311 HAS SOUPS 3298 WITH SCORE 3312.028
AT ITER 2667 NEW BEST:: SOT 25458 SOS 14025 HAS SOPS 14003 HAS SOUS 3305 HAS SOUPS 3292 WITH SCORE 3306.025
AT ITER 2673 NEW BEST:: SOT 25451 SOS 14018 HAS SOPS 13996 HAS SOUS 3294 HAS SOUPS 3281 WITH SCORE 3295.018
AT ITER 2683 NEW BEST:: SOT 25450 SOS 14017 HAS SOPS 13995 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.017
AT ITER 2684 NEW BEST:: SOT 25442 SOS 14005 HAS SOPS 13983 HAS SOUS 3289 HAS SOUPS 3276 WITH SCORE 3290.005
AT ITER 2701 NEW BEST:: SOT 25439 SOS 14002 HAS SOPS 13980 HAS SOUS 3283 HAS SOUPS 3270 WITH SCORE 3284.002
AT ITER 2737 NEW BEST:: SOT 25437 SOS 14000 HAS SOPS 13978 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.0
AT ITER 2804 NEW BEST:: SOT 25430 SOS 13993 HAS SOPS 13971 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3275.993
AT ITER 2806 NEW BEST:: SOT 25428 SOS 13975 HAS SOPS 13953 HAS SOUS 3264 HAS SOUPS 3251 WITH SCORE 3264.975
AT ITER 2868 NEW BEST:: SOT 25428 SOS 13975 HAS SOPS 13953 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3262.975
AT ITER 2908 NEW BEST:: SOT 25419 SOS 13968 HAS SOPS 13946 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3262.968
AT ITER 2954 NEW BEST:: SOT 25418 SOS 13967 HAS SOPS 13945 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3261.967
AT ITER 2974 NEW BEST:: SOT 25415 SOS 13964 HAS SOPS 13942 HAS SOUS 3259 HAS SOUPS 3246 WITH SCORE 3259.964
AT ITER 3005 NEW BEST:: SOT 25414 SOS 13963 HAS SOPS 13941 HAS SOUS 3258 HAS SOUPS 3245 WITH SCORE 3258.963
AT ITER 3015 NEW BEST:: SOT 25412 SOS 13961 HAS SOPS 13939 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3255.961
AT ITER 3056 NEW BEST:: SOT 25428 SOS 13832 HAS SOPS 13810 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3249.832
AT ITER 3079 NEW BEST:: SOT 25306 SOS 13649 HAS SOPS 13627 HAS SOUS 3249 HAS SOUPS 3236 WITH SCORE 3249.649
AT ITER 3131 NEW BEST:: SOT 25301 SOS 13641 HAS SOPS 13619 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3244.641
AT ITER 3148 NEW BEST:: SOT 25305 SOS 13643 HAS SOPS 13621 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3238.643
AT ITER 3161 NEW BEST:: SOT 25295 SOS 13633 HAS SOPS 13611 HAS SOUS 3234 HAS SOUPS 3221 WITH SCORE 3234.633
AT ITER 3162 NEW BEST:: SOT 25295 SOS 13633 HAS SOPS 13611 HAS SOUS 3233 HAS SOUPS 3220 WITH SCORE 3233.633
AT ITER 3179 NEW BEST:: SOT 25288 SOS 13626 HAS SOPS 13604 HAS SOUS 3228 HAS SOUPS 3215 WITH SCORE 3228.626
AT ITER 3206 NEW BEST:: SOT 25277 SOS 13591 HAS SOPS 13569 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3226.591
AT ITER 3259 NEW BEST:: SOT 25275 SOS 13589 HAS SOPS 13567 HAS SOUS 3224 HAS SOUPS 3211 WITH SCORE 3224.589
AT ITER 3271 NEW BEST:: SOT 25279 SOS 13587 HAS SOPS 13565 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3222.587
AT ITER 3340 NEW BEST:: SOT 25277 SOS 13539 HAS SOPS 13517 HAS SOUS 3217 HAS SOUPS 3204 WITH SCORE 3217.539
AT ITER 3394 NEW BEST:: SOT 25271 SOS 13524 HAS SOPS 13502 HAS SOUS 3214 HAS SOUPS 3201 WITH SCORE 3214.524
AT ITER 3483 NEW BEST:: SOT 25271 SOS 13524 HAS SOPS 13502 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3213.524
AT ITER 3487 NEW BEST:: SOT 25233 SOS 13473 HAS SOPS 13451 HAS SOUS 3206 HAS SOUPS 3193 WITH SCORE 3206.473
AT ITER 3498 NEW BEST:: SOT 25233 SOS 13465 HAS SOPS 13443 HAS SOUS 3200 HAS SOUPS 3187 WITH SCORE 3200.465
AT ITER 3510 NEW BEST:: SOT 25231 SOS 13463 HAS SOPS 13441 HAS SOUS 3198 HAS SOUPS 3185 WITH SCORE 3198.463
AT ITER 3673 NEW BEST:: SOT 25235 SOS 13459 HAS SOPS 13437 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3196.459
AT ITER 3682 NEW BEST:: SOT 25217 SOS 13450 HAS SOPS 13428 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3195.45
AT ITER 3705 NEW BEST:: SOT 25194 SOS 13404 HAS SOPS 13382 HAS SOUS 3191 HAS SOUPS 3178 WITH SCORE 3191.404
AT ITER 3711 NEW BEST:: SOT 25196 SOS 13406 HAS SOPS 13384 HAS SOUS 3185 HAS SOUPS 3172 WITH SCORE 3185.406
AT ITER 3724 NEW BEST:: SOT 25210 SOS 13424 HAS SOPS 13402 HAS SOUS 3183 HAS SOUPS 3170 WITH SCORE 3183.424
AT ITER 3777 NEW BEST:: SOT 25211 SOS 13431 HAS SOPS 13409 HAS SOUS 3182 HAS SOUPS 3169 WITH SCORE 3182.431
AT ITER 3800 NEW BEST:: SOT 25202 SOS 13418 HAS SOPS 13396 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3179.418
AT ITER 3845 NEW BEST:: SOT 25189 SOS 13401 HAS SOPS 13379 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3179.401
AT ITER 3848 NEW BEST:: SOT 25173 SOS 13089 HAS SOPS 13067 HAS SOUS 3176 HAS SOUPS 3163 WITH SCORE 3176.089
AT ITER 3856 NEW BEST:: SOT 25174 SOS 13090 HAS SOPS 13068 HAS SOUS 3171 HAS SOUPS 3158 WITH SCORE 3171.09
AT ITER 3919 NEW BEST:: SOT 25163 SOS 13066 HAS SOPS 13044 HAS SOUS 3146 HAS SOUPS 3133 WITH SCORE 3146.066
AT ITER 3945 NEW BEST:: SOT 25162 SOS 13064 HAS SOPS 13042 HAS SOUS 3145 HAS SOUPS 3132 WITH SCORE 3145.064
AT ITER 4035 NEW BEST:: SOT 25158 SOS 13060 HAS SOPS 13038 HAS SOUS 3137 HAS SOUPS 3124 WITH SCORE 3137.06
AT ITER 4065 NEW BEST:: SOT 25146 SOS 13048 HAS SOPS 13026 HAS SOUS 3125 HAS SOUPS 3112 WITH SCORE 3125.048
AT ITER 4072 NEW BEST:: SOT 25146 SOS 13047 HAS SOPS 13025 HAS SOUS 3125 HAS SOUPS 3112 WITH SCORE 3125.047
AT ITER 4150 NEW BEST:: SOT 25152 SOS 12652 HAS SOPS 12630 HAS SOUS 3125 HAS SOUPS 3112 WITH SCORE 3124.652
AT ITER 4170 NEW BEST:: SOT 25143 SOS 12642 HAS SOPS 12620 HAS SOUS 3125 HAS SOUPS 3112 WITH SCORE 3124.642
AT ITER 4251 NEW BEST:: SOT 25142 SOS 12641 HAS SOPS 12619 HAS SOUS 3124 HAS SOUPS 3111 WITH SCORE 3123.641
AT ITER 4269 NEW BEST:: SOT 25138 SOS 12637 HAS SOPS 12615 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3119.637
AT ITER 4273 NEW BEST:: SOT 25139 SOS 12636 HAS SOPS 12614 HAS SOUS 3119 HAS SOUPS 3106 WITH SCORE 3118.636
AT ITER 4331 NEW BEST:: SOT 25137 SOS 12629 HAS SOPS 12607 HAS SOUS 3118 HAS SOUPS 3105 WITH SCORE 3117.629
AT ITER 4568 NEW BEST:: SOT 25136 SOS 12628 HAS SOPS 12606 HAS SOUS 3117 HAS SOUPS 3104 WITH SCORE 3116.628
AT ITER 4640 NEW BEST:: SOT 25135 SOS 12627 HAS SOPS 12605 HAS SOUS 3117 HAS SOUPS 3104 WITH SCORE 3116.627
AT ITER 4731 NEW BEST:: SOT 25135 SOS 12607 HAS SOPS 12585 HAS SOUS 3097 HAS SOUPS 3084 WITH SCORE 3096.607
AT ITER 4817 NEW BEST:: SOT 25135 SOS 12607 HAS SOPS 12585 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3095.607
AT ITER 4849 NEW BEST:: SOT 25122 SOS 12602 HAS SOPS 12580 HAS SOUS 3090 HAS SOUPS 3077 WITH SCORE 3089.602
AT ITER 4998 NEW BEST:: SOT 25121 SOS 12601 HAS SOPS 12579 HAS SOUS 3089 HAS SOUPS 3076 WITH SCORE 3088.601
AT ITER 5007 NEW BEST:: SOT 25117 SOS 12476 HAS SOPS 12454 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3084.476
AT ITER 5065 NEW BEST:: SOT 25114 SOS 12472 HAS SOPS 12450 HAS SOUS 3083 HAS SOUPS 3070 WITH SCORE 3082.472
AT ITER 5071 NEW BEST:: SOT 25113 SOS 12471 HAS SOPS 12449 HAS SOUS 3082 HAS SOUPS 3069 WITH SCORE 3081.471
AT ITER 5144 NEW BEST:: SOT 25115 SOS 12471 HAS SOPS 12449 HAS SOUS 3079 HAS SOUPS 3066 WITH SCORE 3078.471
AT ITER 5207 NEW BEST:: SOT 25109 SOS 12459 HAS SOPS 12437 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3071.459
AT ITER 5294 NEW BEST:: SOT 25098 SOS 12448 HAS SOPS 12426 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3071.448
AT ITER 5324 NEW BEST:: SOT 25091 SOS 12656 HAS SOPS 12634 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3065.656
AT ITER 5333 NEW BEST:: SOT 25091 SOS 12655 HAS SOPS 12633 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3065.655
AT ITER 5353 NEW BEST:: SOT 25094 SOS 12637 HAS SOPS 12615 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3065.637
AT ITER 5369 NEW BEST:: SOT 25092 SOS 12635 HAS SOPS 12613 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3065.635
AT ITER 5379 NEW BEST:: SOT 25096 SOS 12679 HAS SOPS 12657 HAS SOUS 3064 HAS SOUPS 3051 WITH SCORE 3063.679
AT ITER 5498 NEW BEST:: SOT 25094 SOS 12672 HAS SOPS 12650 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3062.672
AT ITER 5524 NEW BEST:: SOT 25098 SOS 12656 HAS SOPS 12634 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3062.656
AT ITER 5561 NEW BEST:: SOT 25096 SOS 12654 HAS SOPS 12632 HAS SOUS 3057 HAS SOUPS 3044 WITH SCORE 3056.654
AT ITER 5583 NEW BEST:: SOT 25094 SOS 12652 HAS SOPS 12630 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3054.652
AT ITER 5624 NEW BEST:: SOT 25093 SOS 12648 HAS SOPS 12626 HAS SOUS 3054 HAS SOUPS 3041 WITH SCORE 3053.648
AT ITER 5639 NEW BEST:: SOT 25092 SOS 12645 HAS SOPS 12623 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3052.645
AT ITER 5643 NEW BEST:: SOT 25109 SOS 12525 HAS SOPS 12503 HAS SOUS 3051 HAS SOUPS 3038 WITH SCORE 3050.525
AT ITER 5647 NEW BEST:: SOT 25083 SOS 12572 HAS SOPS 12550 HAS SOUS 3048 HAS SOUPS 3035 WITH SCORE 3047.572
AT ITER 5689 NEW BEST:: SOT 25083 SOS 12572 HAS SOPS 12550 HAS SOUS 3045 HAS SOUPS 3032 WITH SCORE 3044.572
AT ITER 5732 NEW BEST:: SOT 25083 SOS 12572 HAS SOPS 12550 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3042.572
AT ITER 5806 NEW BEST:: SOT 25083 SOS 12568 HAS SOPS 12546 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3038.568
AT ITER 5816 NEW BEST:: SOT 25082 SOS 12564 HAS SOPS 12542 HAS SOUS 3036 HAS SOUPS 3023 WITH SCORE 3035.564
AT ITER 5829 NEW BEST:: SOT 25082 SOS 12556 HAS SOPS 12534 HAS SOUS 3030 HAS SOUPS 3017 WITH SCORE 3029.556
AT ITER 5843 NEW BEST:: SOT 25079 SOS 12553 HAS SOPS 12531 HAS SOUS 3026 HAS SOUPS 3013 WITH SCORE 3025.553
AT ITER 5999 NEW BEST:: SOT 25065 SOS 12525 HAS SOPS 12503 HAS SOUS 3024 HAS SOUPS 3011 WITH SCORE 3023.525
AT ITER 6037 NEW BEST:: SOT 25067 SOS 12527 HAS SOPS 12505 HAS SOUS 3023 HAS SOUPS 3010 WITH SCORE 3022.527
AT ITER 6042 NEW BEST:: SOT 25065 SOS 12525 HAS SOPS 12503 HAS SOUS 3020 HAS SOUPS 3007 WITH SCORE 3019.525
AT ITER 6088 NEW BEST:: SOT 25059 SOS 12519 HAS SOPS 12497 HAS SOUS 3020 HAS SOUPS 3007 WITH SCORE 3019.519
AT ITER 6132 NEW BEST:: SOT 25057 SOS 12517 HAS SOPS 12495 HAS SOUS 3020 HAS SOUPS 3007 WITH SCORE 3019.517
AT ITER 6273 NEW BEST:: SOT 25072 SOS 12525 HAS SOPS 12503 HAS SOUS 3019 HAS SOUPS 3006 WITH SCORE 3018.525
AT ITER 6450 NEW BEST:: SOT 25071 SOS 12524 HAS SOPS 12502 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3017.524
AT ITER 6487 NEW BEST:: SOT 25072 SOS 12525 HAS SOPS 12503 HAS SOUS 3017 HAS SOUPS 3004 WITH SCORE 3016.525
AT ITER 6566 NEW BEST:: SOT 25069 SOS 12516 HAS SOPS 12494 HAS SOUS 3014 HAS SOUPS 3001 WITH SCORE 3013.516
AT ITER 6891 NEW BEST:: SOT 25068 SOS 12515 HAS SOPS 12493 HAS SOUS 3011 HAS SOUPS 2998 WITH SCORE 3010.515
AT ITER 6901 NEW BEST:: SOT 25066 SOS 12511 HAS SOPS 12489 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3006.511
AT ITER 6972 NEW BEST:: SOT 25064 SOS 12509 HAS SOPS 12487 HAS SOUS 3005 HAS SOUPS 2992 WITH SCORE 3004.509
AT ITER 7373 NEW BEST:: SOT 25074 SOS 12517 HAS SOPS 12495 HAS SOUS 3003 HAS SOUPS 2990 WITH SCORE 3002.517
AT ITER 7508 NEW BEST:: SOT 25074 SOS 12517 HAS SOPS 12495 HAS SOUS 3002 HAS SOUPS 2989 WITH SCORE 3001.517
AT ITER 7750 NEW BEST:: SOT 25068 SOS 12505 HAS SOPS 12483 HAS SOUS 2999 HAS SOUPS 2986 WITH SCORE 2998.505
AT ITER 7762 NEW BEST:: SOT 25067 SOS 12504 HAS SOPS 12482 HAS SOUS 2998 HAS SOUPS 2985 WITH SCORE 2997.504
AT ITER 7779 NEW BEST:: SOT 25065 SOS 12502 HAS SOPS 12480 HAS SOUS 2998 HAS SOUPS 2985 WITH SCORE 2997.502
AT ITER 7801 NEW BEST:: SOT 25063 SOS 12496 HAS SOPS 12474 HAS SOUS 2996 HAS SOUPS 2983 WITH SCORE 2995.496
AT ITER 7924 NEW BEST:: SOT 25070 SOS 12458 HAS SOPS 12436 HAS SOUS 2996 HAS SOUPS 2983 WITH SCORE 2995.458
AT ITER 8005 NEW BEST:: SOT 25068 SOS 12454 HAS SOPS 12432 HAS SOUS 2994 HAS SOUPS 2981 WITH SCORE 2993.454
AT ITER 8255 NEW BEST:: SOT 25067 SOS 12453 HAS SOPS 12431 HAS SOUS 2992 HAS SOUPS 2979 WITH SCORE 2991.453
AT ITER 8273 NEW BEST:: SOT 25067 SOS 12453 HAS SOPS 12431 HAS SOUS 2987 HAS SOUPS 2974 WITH SCORE 2986.453
AT ITER 8351 NEW BEST:: SOT 25064 SOS 12450 HAS SOPS 12428 HAS SOUS 2985 HAS SOUPS 2972 WITH SCORE 2984.45
AT ITER 8398 NEW BEST:: SOT 25062 SOS 12448 HAS SOPS 12426 HAS SOUS 2981 HAS SOUPS 2968 WITH SCORE 2980.448
AT ITER 8630 NEW BEST:: SOT 25056 SOS 12443 HAS SOPS 12421 HAS SOUS 2980 HAS SOUPS 2967 WITH SCORE 2979.443
AT ITER 8696 NEW BEST:: SOT 25054 SOS 12546 HAS SOPS 12524 HAS SOUS 2978 HAS SOUPS 2965 WITH SCORE 2977.546
AT ITER 8793 NEW BEST:: SOT 25053 SOS 12545 HAS SOPS 12523 HAS SOUS 2977 HAS SOUPS 2964 WITH SCORE 2976.545
AT ITER 8800 NEW BEST:: SOT 25053 SOS 12542 HAS SOPS 12520 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2973.542
AT ITER 8817 NEW BEST:: SOT 25053 SOS 12542 HAS SOPS 12520 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2971.542
AT ITER 8909 NEW BEST:: SOT 25053 SOS 12542 HAS SOPS 12520 HAS SOUS 2971 HAS SOUPS 2958 WITH SCORE 2970.542
AT ITER 8970 NEW BEST:: SOT 25053 SOS 12516 HAS SOPS 12494 HAS SOUS 2970 HAS SOUPS 2957 WITH SCORE 2969.516
AT ITER 9138 NEW BEST:: SOT 25050 SOS 12513 HAS SOPS 12491 HAS SOUS 2970 HAS SOUPS 2957 WITH SCORE 2969.513
AT ITER 9156 NEW BEST:: SOT 25044 SOS 12384 HAS SOPS 12362 HAS SOUS 2968 HAS SOUPS 2955 WITH SCORE 2967.384
AT ITER 9175 NEW BEST:: SOT 25042 SOS 12380 HAS SOPS 12358 HAS SOUS 2968 HAS SOUPS 2955 WITH SCORE 2967.38
AT ITER 9184 NEW BEST:: SOT 25030 SOS 12359 HAS SOPS 12337 HAS SOUS 2959 HAS SOUPS 2946 WITH SCORE 2958.359
AT ITER 9530 NEW BEST:: SOT 25025 SOS 12349 HAS SOPS 12327 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2952.349
AT ITER 9587 NEW BEST:: SOT 25028 SOS 12434 HAS SOPS 12412 HAS SOUS 2951 HAS SOUPS 2938 WITH SCORE 2950.434
AT ITER 9599 NEW BEST:: SOT 25028 SOS 12434 HAS SOPS 12412 HAS SOUS 2950 HAS SOUPS 2937 WITH SCORE 2949.434
AT ITER 9770 NEW BEST:: SOT 25025 SOS 12431 HAS SOPS 12409 HAS SOUS 2950 HAS SOUPS 2937 WITH SCORE 2949.431
AT ITER 9779 NEW BEST:: SOT 25037 SOS 12434 HAS SOPS 12412 HAS SOUS 2949 HAS SOUPS 2936 WITH SCORE 2948.434
AT ITER 9836 NEW BEST:: SOT 25040 SOS 12456 HAS SOPS 12434 HAS SOUS 2948 HAS SOUPS 2935 WITH SCORE 2947.456
AT ITER 9869 NEW BEST:: SOT 25039 SOS 12396 HAS SOPS 12374 HAS SOUS 2948 HAS SOUPS 2935 WITH SCORE 2947.396
AT ITER 9910 NEW BEST:: SOT 25033 SOS 12417 HAS SOPS 12395 HAS SOUS 2947 HAS SOUPS 2934 WITH SCORE 2946.417
AT ITER 9958 NEW BEST:: SOT 25026 SOS 12408 HAS SOPS 12386 HAS SOUS 2937 HAS SOUPS 2924 WITH SCORE 2936.408
AT ITER 9966 NEW BEST:: SOT 25020 SOS 12393 HAS SOPS 12371 HAS SOUS 2937 HAS SOUPS 2924 WITH SCORE 2936.393
STATE_SPACE STATES 829535052 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 12906496870 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678579605138

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-09"
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-09, 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-167840349400304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HealthRecord-PT-09.tgz
mv HealthRecord-PT-09 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 ;