Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900035.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-4a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900035
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.4K Mar 30 23:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 23:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 02:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 27 02:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-4a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357748084

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1178 places, 7504 transitions, 28610 arcs.
AT ITER 0 NEW BEST:: SOT 5776050 SOS 4644053 HAS SOPS 2385618 HAS SOUS 551746 HAS SOUPS 261608 WITH SCORE 266252.053
AT ITER 17 NEW BEST:: SOT 5773340 SOS 4646725 HAS SOPS 2385202 HAS SOUS 549804 HAS SOUPS 259666 WITH SCORE 264312.725
AT ITER 21 NEW BEST:: SOT 5773338 SOS 4646721 HAS SOPS 2385198 HAS SOUS 549670 HAS SOUPS 259532 WITH SCORE 264178.721
AT ITER 27 NEW BEST:: SOT 5773008 SOS 4646061 HAS SOPS 2385198 HAS SOUS 549010 HAS SOUPS 259037 WITH SCORE 263683.061
AT ITER 33 NEW BEST:: SOT 5773008 SOS 4646061 HAS SOPS 2385198 HAS SOUS 548860 HAS SOUPS 258887 WITH SCORE 263533.061
AT ITER 38 NEW BEST:: SOT 5772576 SOS 4645197 HAS SOPS 2385198 HAS SOUS 547996 HAS SOUPS 258239 WITH SCORE 262884.197
AT ITER 53 NEW BEST:: SOT 5772128 SOS 4644301 HAS SOPS 2385198 HAS SOUS 547100 HAS SOUPS 257567 WITH SCORE 262211.301
AT ITER 69 NEW BEST:: SOT 5772128 SOS 4644301 HAS SOPS 2385198 HAS SOUS 547056 HAS SOUPS 257523 WITH SCORE 262167.301
AT ITER 83 NEW BEST:: SOT 5771093 SOS 4641456 HAS SOPS 2383973 HAS SOUS 545617 HAS SOUPS 256489 WITH SCORE 261130.456
AT ITER 89 NEW BEST:: SOT 5771091 SOS 4641452 HAS SOPS 2384637 HAS SOUS 545448 HAS SOUPS 256487 WITH SCORE 261128.452
AT ITER 97 NEW BEST:: SOT 5771394 SOS 4613482 HAS SOPS 2385995 HAS SOUS 544775 HAS SOUPS 256190 WITH SCORE 260803.482
AT ITER 100 NEW BEST:: SOT 5770955 SOS 4612604 HAS SOPS 2386057 HAS SOUS 543887 HAS SOUPS 255537 WITH SCORE 260149.604
AT ITER 109 NEW BEST:: SOT 5769780 SOS 4622512 HAS SOPS 2389977 HAS SOUS 544300 HAS SOUPS 255451 WITH SCORE 260073.512
AT ITER 111 NEW BEST:: SOT 5767494 SOS 4625596 HAS SOPS 2390005 HAS SOUS 542586 HAS SOUPS 253737 WITH SCORE 258362.596
AT ITER 112 NEW BEST:: SOT 5767494 SOS 4625596 HAS SOPS 2390005 HAS SOUS 542470 HAS SOUPS 253621 WITH SCORE 258246.596
AT ITER 113 NEW BEST:: SOT 5766404 SOS 4627212 HAS SOPS 2389269 HAS SOUS 541921 HAS SOUPS 252876 WITH SCORE 257503.212
AT ITER 117 NEW BEST:: SOT 5766402 SOS 4627208 HAS SOPS 2389265 HAS SOUS 541919 HAS SOUPS 252874 WITH SCORE 257501.208
AT ITER 126 NEW BEST:: SOT 5762990 SOS 4622836 HAS SOPS 2386621 HAS SOUS 541810 HAS SOUPS 252820 WITH SCORE 257442.836
AT ITER 137 NEW BEST:: SOT 5762931 SOS 4622718 HAS SOPS 2387311 HAS SOUS 541549 HAS SOUPS 252761 WITH SCORE 257383.718
AT ITER 159 NEW BEST:: SOT 5762561 SOS 4621978 HAS SOPS 2387311 HAS SOUS 540809 HAS SOUPS 252206 WITH SCORE 256827.978
AT ITER 160 NEW BEST:: SOT 5762425 SOS 4621978 HAS SOPS 2387175 HAS SOUS 540724 HAS SOUPS 252121 WITH SCORE 256742.978
AT ITER 169 NEW BEST:: SOT 5762278 SOS 4621099 HAS SOPS 2386296 HAS SOUS 540358 HAS SOUPS 251755 WITH SCORE 256376.099
AT ITER 187 NEW BEST:: SOT 5760486 SOS 4621599 HAS SOPS 2385318 HAS SOUS 539468 HAS SOUPS 250807 WITH SCORE 255428.599
AT ITER 191 NEW BEST:: SOT 5760310 SOS 4621155 HAS SOPS 2386050 HAS SOUS 538975 HAS SOUPS 250608 WITH SCORE 255229.155
AT ITER 194 NEW BEST:: SOT 5756734 SOS 4616636 HAS SOPS 2383291 HAS SOUS 538861 HAS SOUPS 250549 WITH SCORE 255165.636
AT ITER 219 NEW BEST:: SOT 5754746 SOS 4617964 HAS SOPS 2382259 HAS SOUS 537394 HAS SOUPS 249082 WITH SCORE 253699.964
AT ITER 227 NEW BEST:: SOT 5754333 SOS 4618370 HAS SOPS 2381741 HAS SOUS 537415 HAS SOUPS 249026 WITH SCORE 253644.37
AT ITER 232 NEW BEST:: SOT 5754333 SOS 4618370 HAS SOPS 2381741 HAS SOUS 537337 HAS SOUPS 248948 WITH SCORE 253566.37
AT ITER 245 NEW BEST:: SOT 5753887 SOS 4617478 HAS SOPS 2381761 HAS SOUS 536442 HAS SOUPS 248281 WITH SCORE 252898.478
AT ITER 272 NEW BEST:: SOT 5749270 SOS 4609092 HAS SOPS 2379989 HAS SOUS 535735 HAS SOUPS 248237 WITH SCORE 252846.092
AT ITER 280 NEW BEST:: SOT 5748984 SOS 4608520 HAS SOPS 2380653 HAS SOUS 535282 HAS SOUPS 248093 WITH SCORE 252701.52
AT ITER 292 NEW BEST:: SOT 5747657 SOS 4611794 HAS SOPS 2380579 HAS SOUS 534688 HAS SOUPS 247220 WITH SCORE 251831.794
AT ITER 324 NEW BEST:: SOT 5747550 SOS 4612588 HAS SOPS 2381037 HAS SOUS 534623 HAS SOUPS 247155 WITH SCORE 251767.588
AT ITER 332 NEW BEST:: SOT 5747550 SOS 4612588 HAS SOPS 2381037 HAS SOUS 534473 HAS SOUPS 247005 WITH SCORE 251617.588
AT ITER 363 NEW BEST:: SOT 5747103 SOS 4611694 HAS SOPS 2381339 HAS SOUS 533504 HAS SOUPS 246335 WITH SCORE 250946.694
AT ITER 369 NEW BEST:: SOT 5742752 SOS 4603849 HAS SOPS 2379539 HAS SOUS 533008 HAS SOUPS 246207 WITH SCORE 250810.849
AT ITER 374 NEW BEST:: SOT 5741149 SOS 4604885 HAS SOPS 2379257 HAS SOUS 532340 HAS SOUPS 245509 WITH SCORE 250113.885
AT ITER 407 NEW BEST:: SOT 5738554 SOS 4606303 HAS SOPS 2377899 HAS SOUS 530308 HAS SOUPS 243477 WITH SCORE 248083.303
AT ITER 426 NEW BEST:: SOT 5738552 SOS 4606299 HAS SOPS 2378335 HAS SOUS 530196 HAS SOUPS 243475 WITH SCORE 248081.299
AT ITER 434 NEW BEST:: SOT 5738552 SOS 4606299 HAS SOPS 2378335 HAS SOUS 530136 HAS SOUPS 243415 WITH SCORE 248021.299
AT ITER 437 NEW BEST:: SOT 5737304 SOS 4609167 HAS SOPS 2378131 HAS SOUS 529822 HAS SOUPS 242845 WITH SCORE 247454.167
AT ITER 441 NEW BEST:: SOT 5737139 SOS 4609629 HAS SOPS 2378329 HAS SOUS 529690 HAS SOUPS 242713 WITH SCORE 247322.629
AT ITER 447 NEW BEST:: SOT 5735751 SOS 4611297 HAS SOPS 2378085 HAS SOUS 528762 HAS SOUPS 241785 WITH SCORE 246396.297
AT ITER 455 NEW BEST:: SOT 5731089 SOS 4605473 HAS SOPS 2374369 HAS SOUS 528637 HAS SOUPS 241717 WITH SCORE 246322.473
AT ITER 478 NEW BEST:: SOT 5726460 SOS 4599775 HAS SOPS 2370725 HAS SOUS 528498 HAS SOUPS 241633 WITH SCORE 246232.775
AT ITER 491 NEW BEST:: SOT 5725406 SOS 4568880 HAS SOPS 2375404 HAS SOUS 527696 HAS SOUPS 240831 WITH SCORE 245399.88
AT ITER 501 NEW BEST:: SOT 5725108 SOS 4568284 HAS SOPS 2375580 HAS SOUS 527012 HAS SOUPS 240340 WITH SCORE 244908.28399999999
AT ITER 503 NEW BEST:: SOT 5724777 SOS 4567622 HAS SOPS 2376242 HAS SOUS 526350 HAS SOUPS 240009 WITH SCORE 244576.622
AT ITER 525 NEW BEST:: SOT 5724889 SOS 4568033 HAS SOPS 2376298 HAS SOUS 526191 HAS SOUPS 239822 WITH SCORE 244390.033
AT ITER 526 NEW BEST:: SOT 5724230 SOS 4566715 HAS SOPS 2375732 HAS SOUS 525815 HAS SOUPS 239634 WITH SCORE 244200.715
AT ITER 527 NEW BEST:: SOT 5723849 SOS 4565658 HAS SOPS 2376150 HAS SOUS 525279 HAS SOUPS 239393 WITH SCORE 243958.658
AT ITER 528 NEW BEST:: SOT 5721959 SOS 4571750 HAS SOPS 2378506 HAS SOUS 524385 HAS SOUPS 238499 WITH SCORE 243070.75
AT ITER 533 NEW BEST:: SOT 5721959 SOS 4571750 HAS SOPS 2378506 HAS SOUS 524319 HAS SOUPS 238433 WITH SCORE 243004.75
AT ITER 540 NEW BEST:: SOT 5721745 SOS 4571322 HAS SOPS 2379438 HAS SOUS 523883 HAS SOUPS 238337 WITH SCORE 242908.322
AT ITER 543 NEW BEST:: SOT 5719873 SOS 4576786 HAS SOPS 2381246 HAS SOUS 523136 HAS SOUPS 237590 WITH SCORE 242166.786
AT ITER 549 NEW BEST:: SOT 5719876 SOS 4576789 HAS SOPS 2381249 HAS SOUS 523135 HAS SOUPS 237589 WITH SCORE 242165.789
AT ITER 565 NEW BEST:: SOT 5718319 SOS 4580239 HAS SOPS 2382115 HAS SOUS 522370 HAS SOUPS 236824 WITH SCORE 241404.239
AT ITER 567 NEW BEST:: SOT 5718071 SOS 4579743 HAS SOPS 2382115 HAS SOUS 521874 HAS SOUPS 236452 WITH SCORE 241031.743
AT ITER 592 NEW BEST:: SOT 5718071 SOS 4579743 HAS SOPS 2382115 HAS SOUS 521724 HAS SOUPS 236302 WITH SCORE 240881.743
AT ITER 596 NEW BEST:: SOT 5716846 SOS 4547726 HAS SOPS 2384616 HAS SOUS 521227 HAS SOUPS 235805 WITH SCORE 240352.726
AT ITER 597 NEW BEST:: SOT 5716733 SOS 4547500 HAS SOPS 2384616 HAS SOUS 521227 HAS SOUPS 235805 WITH SCORE 240352.5
AT ITER 598 NEW BEST:: SOT 5716733 SOS 4547500 HAS SOPS 2384616 HAS SOUS 521121 HAS SOUPS 235699 WITH SCORE 240246.5
AT ITER 599 NEW BEST:: SOT 5715935 SOS 4545904 HAS SOPS 2383816 HAS SOUS 520718 HAS SOUPS 235495 WITH SCORE 240040.904
AT ITER 605 NEW BEST:: SOT 5715935 SOS 4545904 HAS SOPS 2383816 HAS SOUS 520707 HAS SOUPS 235484 WITH SCORE 240029.904
AT ITER 611 NEW BEST:: SOT 5715933 SOS 4545380 HAS SOPS 2383292 HAS SOUS 520573 HAS SOUPS 235350 WITH SCORE 239895.38
AT ITER 615 NEW BEST:: SOT 5715836 SOS 4544798 HAS SOPS 2383098 HAS SOUS 520379 HAS SOUPS 235253 WITH SCORE 239797.798
AT ITER 620 NEW BEST:: SOT 5716889 SOS 4550223 HAS SOPS 2384477 HAS SOUS 519544 HAS SOUPS 234307 WITH SCORE 238857.223
AT ITER 621 NEW BEST:: SOT 5716889 SOS 4550223 HAS SOPS 2384477 HAS SOUS 519528 HAS SOUPS 234291 WITH SCORE 238841.223
AT ITER 636 NEW BEST:: SOT 5716887 SOS 4550219 HAS SOPS 2385005 HAS SOUS 519393 HAS SOUPS 234289 WITH SCORE 238839.219
AT ITER 641 NEW BEST:: SOT 5716109 SOS 4548663 HAS SOPS 2384225 HAS SOUS 519003 HAS SOUPS 234093 WITH SCORE 238641.663
AT ITER 646 NEW BEST:: SOT 5715674 SOS 4547793 HAS SOPS 2384303 HAS SOUS 518120 HAS SOUPS 233447 WITH SCORE 237994.793
AT ITER 652 NEW BEST:: SOT 5713808 SOS 4553957 HAS SOPS 2386731 HAS SOUS 516912 HAS SOUPS 232239 WITH SCORE 236792.957
AT ITER 653 NEW BEST:: SOT 5718065 SOS 4557483 HAS SOPS 2390473 HAS SOUS 516714 HAS SOUPS 231846 WITH SCORE 236403.483
AT ITER 673 NEW BEST:: SOT 5718057 SOS 4557467 HAS SOPS 2390441 HAS SOUS 516722 HAS SOUPS 231846 WITH SCORE 236403.467
AT ITER 675 NEW BEST:: SOT 5717235 SOS 4559315 HAS SOPS 2389961 HAS SOUS 516662 HAS SOUPS 231592 WITH SCORE 236151.315
AT ITER 685 NEW BEST:: SOT 5716825 SOS 4558495 HAS SOPS 2390205 HAS SOUS 515801 HAS SOUPS 230997 WITH SCORE 235555.495
AT ITER 692 NEW BEST:: SOT 5716377 SOS 4557599 HAS SOPS 2389785 HAS SOUS 515591 HAS SOUPS 230906 WITH SCORE 235463.599
AT ITER 694 NEW BEST:: SOT 5716377 SOS 4557599 HAS SOPS 2389785 HAS SOUS 515511 HAS SOUPS 230826 WITH SCORE 235383.599
AT ITER 703 NEW BEST:: SOT 5716375 SOS 4557595 HAS SOPS 2390205 HAS SOUS 515403 HAS SOUPS 230824 WITH SCORE 235381.595
AT ITER 711 NEW BEST:: SOT 5715274 SOS 4561785 HAS SOPS 2391675 HAS SOUS 515072 HAS SOUPS 230493 WITH SCORE 235054.785
AT ITER 712 NEW BEST:: SOT 5713660 SOS 4565665 HAS SOPS 2392603 HAS SOUS 514853 HAS SOUPS 230274 WITH SCORE 234839.665
AT ITER 720 NEW BEST:: SOT 5713198 SOS 4564741 HAS SOPS 2392607 HAS SOUS 514515 HAS SOUPS 230168 WITH SCORE 234732.741
AT ITER 736 NEW BEST:: SOT 5713196 SOS 4564213 HAS SOPS 2392079 HAS SOUS 514385 HAS SOUPS 230038 WITH SCORE 234602.213
AT ITER 743 NEW BEST:: SOT 5713121 SOS 4564063 HAS SOPS 2391929 HAS SOUS 514215 HAS SOUPS 229868 WITH SCORE 234432.063
AT ITER 746 NEW BEST:: SOT 5713121 SOS 4563959 HAS SOPS 2391825 HAS SOUS 514189 HAS SOUPS 229842 WITH SCORE 234405.959
AT ITER 754 NEW BEST:: SOT 5713023 SOS 4563763 HAS SOPS 2391629 HAS SOUS 513993 HAS SOUPS 229646 WITH SCORE 234209.763
AT ITER 761 NEW BEST:: SOT 5712990 SOS 4563697 HAS SOPS 2391563 HAS SOUS 513927 HAS SOUPS 229580 WITH SCORE 234143.697
AT ITER 774 NEW BEST:: SOT 5712990 SOS 4563697 HAS SOPS 2391563 HAS SOUS 513777 HAS SOUPS 229430 WITH SCORE 233993.697
AT ITER 775 NEW BEST:: SOT 5712647 SOS 4563011 HAS SOPS 2390877 HAS SOUS 513193 HAS SOUPS 228846 WITH SCORE 233409.011
AT ITER 791 NEW BEST:: SOT 5712467 SOS 4562296 HAS SOPS 2391547 HAS SOUS 512784 HAS SOUPS 228744 WITH SCORE 233306.296
AT ITER 792 NEW BEST:: SOT 5712124 SOS 4561329 HAS SOPS 2391656 HAS SOUS 512691 HAS SOUPS 228702 WITH SCORE 233263.329
AT ITER 793 NEW BEST:: SOT 5712090 SOS 4561261 HAS SOPS 2392284 HAS SOUS 512483 HAS SOUPS 228668 WITH SCORE 233229.261
AT ITER 814 NEW BEST:: SOT 5712026 SOS 4561133 HAS SOPS 2392284 HAS SOUS 512355 HAS SOUPS 228572 WITH SCORE 233133.133
AT ITER 818 NEW BEST:: SOT 5707536 SOS 4554898 HAS SOPS 2389153 HAS SOUS 511997 HAS SOUPS 228418 WITH SCORE 232972.898
AT ITER 823 NEW BEST:: SOT 5707533 SOS 4554892 HAS SOPS 2389235 HAS SOUS 511971 HAS SOUPS 228414 WITH SCORE 232968.892
AT ITER 828 NEW BEST:: SOT 5705911 SOS 4555724 HAS SOPS 2388107 HAS SOUS 511065 HAS SOUPS 227508 WITH SCORE 232063.724
AT ITER 831 NEW BEST:: SOT 5705909 SOS 4555720 HAS SOPS 2388743 HAS SOUS 510903 HAS SOUPS 227506 WITH SCORE 232061.72
AT ITER 833 NEW BEST:: SOT 5707164 SOS 4565584 HAS SOPS 2392712 HAS SOUS 509276 HAS SOUPS 225866 WITH SCORE 230431.584
AT ITER 843 NEW BEST:: SOT 5707164 SOS 4565584 HAS SOPS 2392712 HAS SOUS 509273 HAS SOUPS 225864 WITH SCORE 230429.584
AT ITER 858 NEW BEST:: SOT 5703522 SOS 4559068 HAS SOPS 2391172 HAS SOUS 508975 HAS SOUPS 225860 WITH SCORE 230419.068
AT ITER 862 NEW BEST:: SOT 5703522 SOS 4558964 HAS SOPS 2391068 HAS SOUS 508975 HAS SOUPS 225860 WITH SCORE 230418.964
AT ITER 866 NEW BEST:: SOT 5703522 SOS 4558964 HAS SOPS 2391068 HAS SOUS 508825 HAS SOUPS 225710 WITH SCORE 230268.964
AT ITER 873 NEW BEST:: SOT 5703750 SOS 4559268 HAS SOPS 2391182 HAS SOUS 508806 HAS SOUPS 225672 WITH SCORE 230231.268
AT ITER 875 NEW BEST:: SOT 5700537 SOS 4554742 HAS SOPS 2389144 HAS SOUS 508560 HAS SOUPS 225658 WITH SCORE 230212.742
AT ITER 879 NEW BEST:: SOT 5700535 SOS 4554786 HAS SOPS 2388368 HAS SOUS 508365 HAS SOUPS 225258 WITH SCORE 229812.786
AT ITER 887 NEW BEST:: SOT 5699366 SOS 4557120 HAS SOPS 2387690 HAS SOUS 508318 HAS SOUPS 224960 WITH SCORE 229517.12
AT ITER 894 NEW BEST:: SOT 5699394 SOS 4557176 HAS SOPS 2388316 HAS SOUS 507744 HAS SOUPS 224671 WITH SCORE 229228.176
AT ITER 895 NEW BEST:: SOT 5698545 SOS 4557062 HAS SOPS 2387410 HAS SOUS 507135 HAS SOUPS 224062 WITH SCORE 228619.062
AT ITER 911 NEW BEST:: SOT 5697024 SOS 4556724 HAS SOPS 2385044 HAS SOUS 506121 HAS SOUPS 222879 WITH SCORE 227435.724
AT ITER 926 NEW BEST:: SOT 5694072 SOS 4557152 HAS SOPS 2382592 HAS SOUS 504092 HAS SOUPS 220850 WITH SCORE 225407.152
AT ITER 929 NEW BEST:: SOT 5694033 SOS 4557074 HAS SOPS 2382690 HAS SOUS 503970 HAS SOUPS 220772 WITH SCORE 225329.074
AT ITER 930 NEW BEST:: SOT 5692182 SOS 4564820 HAS SOPS 2386340 HAS SOUS 502737 HAS SOUPS 219539 WITH SCORE 224103.82
AT ITER 946 NEW BEST:: SOT 5692180 SOS 4564816 HAS SOPS 2387112 HAS SOUS 502541 HAS SOUPS 219537 WITH SCORE 224101.816
AT ITER 956 NEW BEST:: SOT 5692178 SOS 4564812 HAS SOPS 2387988 HAS SOUS 502319 HAS SOUPS 219535 WITH SCORE 224099.812
AT ITER 958 NEW BEST:: SOT 5691159 SOS 4571310 HAS SOPS 2391406 HAS SOUS 502096 HAS SOUPS 219312 WITH SCORE 223883.31
AT ITER 963 NEW BEST:: SOT 5690950 SOS 4570840 HAS SOPS 2392508 HAS SOUS 501658 HAS SOUPS 219267 WITH SCORE 223837.84
AT ITER 964 NEW BEST:: SOT 5689945 SOS 4576550 HAS SOPS 2395370 HAS SOUS 501468 HAS SOUPS 219077 WITH SCORE 223653.55
AT ITER 980 NEW BEST:: SOT 5689935 SOS 4576530 HAS SOPS 2396794 HAS SOUS 501097 HAS SOUPS 219067 WITH SCORE 223643.53
AT ITER 999 NEW BEST:: SOT 5689935 SOS 4577042 HAS SOPS 2396794 HAS SOUS 501183 HAS SOUPS 219025 WITH SCORE 223602.042
AT ITER 1000 NEW BEST:: SOT 5689935 SOS 4577042 HAS SOPS 2396794 HAS SOUS 501051 HAS SOUPS 218893 WITH SCORE 223470.042
AT ITER 1004 NEW BEST:: SOT 5689357 SOS 4547054 HAS SOPS 2402248 HAS SOUS 500712 HAS SOUPS 218554 WITH SCORE 223101.054
AT ITER 1023 NEW BEST:: SOT 5688956 SOS 4546252 HAS SOPS 2401446 HAS SOUS 500181 HAS SOUPS 218023 WITH SCORE 222569.252
AT ITER 1040 NEW BEST:: SOT 5687350 SOS 4550880 HAS SOPS 2403194 HAS SOUS 499828 HAS SOUPS 217670 WITH SCORE 222220.88
AT ITER 1044 NEW BEST:: SOT 5686794 SOS 4552060 HAS SOPS 2402886 HAS SOUS 499565 HAS SOUPS 217283 WITH SCORE 221835.06
AT ITER 1045 NEW BEST:: SOT 5686310 SOS 4553028 HAS SOPS 2402402 HAS SOUS 499202 HAS SOUPS 216799 WITH SCORE 221352.028
AT ITER 1055 NEW BEST:: SOT 5686142 SOS 4555020 HAS SOPS 2403618 HAS SOUS 499131 HAS SOUPS 216728 WITH SCORE 221283.02
AT ITER 1056 NEW BEST:: SOT 5684643 SOS 4551971 HAS SOPS 2400569 HAS SOUS 497821 HAS SOUPS 215418 WITH SCORE 219969.971
AT ITER 1057 NEW BEST:: SOT 5684354 SOS 4554993 HAS SOPS 2401791 HAS SOUS 497912 HAS SOUPS 215359 WITH SCORE 219913.993
AT ITER 1064 NEW BEST:: SOT 5684326 SOS 4549072 HAS SOPS 2403460 HAS SOUS 497889 HAS SOUPS 215336 WITH SCORE 219885.072
AT ITER 1068 NEW BEST:: SOT 5684326 SOS 4548712 HAS SOPS 2403220 HAS SOUS 497874 HAS SOUPS 215321 WITH SCORE 219869.712
AT ITER 1071 NEW BEST:: SOT 5684326 SOS 4548712 HAS SOPS 2403220 HAS SOUS 497784 HAS SOUPS 215231 WITH SCORE 219779.712
AT ITER 1072 NEW BEST:: SOT 5682079 SOS 4553062 HAS SOPS 2404202 HAS SOUS 496316 HAS SOUPS 213763 WITH SCORE 218316.062
AT ITER 1082 NEW BEST:: SOT 5682041 SOS 4552986 HAS SOPS 2404126 HAS SOUS 496278 HAS SOUPS 213725 WITH SCORE 218277.986
AT ITER 1083 NEW BEST:: SOT 5682041 SOS 4552890 HAS SOPS 2404030 HAS SOUS 496080 HAS SOUPS 213527 WITH SCORE 218079.89
AT ITER 1100 NEW BEST:: SOT 5681174 SOS 4553284 HAS SOPS 2405398 HAS SOUS 495583 HAS SOUPS 213363 WITH SCORE 217916.28399999999
AT ITER 1104 NEW BEST:: SOT 5681226 SOS 4552904 HAS SOPS 2405018 HAS SOUS 495229 HAS SOUPS 213009 WITH SCORE 217561.904
AT ITER 1111 NEW BEST:: SOT 5681226 SOS 4552904 HAS SOPS 2405018 HAS SOUS 495097 HAS SOUPS 212877 WITH SCORE 217429.904
AT ITER 1115 NEW BEST:: SOT 5681082 SOS 4552616 HAS SOPS 2404874 HAS SOUS 495025 HAS SOUPS 212805 WITH SCORE 217357.616
AT ITER 1120 NEW BEST:: SOT 5679798 SOS 4555900 HAS SOPS 2405558 HAS SOUS 494884 HAS SOUPS 212664 WITH SCORE 217219.9
AT ITER 1122 NEW BEST:: SOT 5679661 SOS 4555626 HAS SOPS 2405284 HAS SOUS 494679 HAS SOUPS 212459 WITH SCORE 217014.626
AT ITER 1131 NEW BEST:: SOT 5679638 SOS 4555580 HAS SOPS 2405146 HAS SOUS 494679 HAS SOUPS 212436 WITH SCORE 216991.58
AT ITER 1133 NEW BEST:: SOT 5679650 SOS 4532354 HAS SOPS 2404860 HAS SOUS 494593 HAS SOUPS 212350 WITH SCORE 216882.354
AT ITER 1136 NEW BEST:: SOT 5679400 SOS 4531854 HAS SOPS 2404360 HAS SOUS 494182 HAS SOUPS 211939 WITH SCORE 216470.854
AT ITER 1157 NEW BEST:: SOT 5678026 SOS 4535962 HAS SOPS 2405820 HAS SOUS 493625 HAS SOUPS 211382 WITH SCORE 215917.962
AT ITER 1170 NEW BEST:: SOT 5678026 SOS 4535754 HAS SOPS 2405820 HAS SOUS 493553 HAS SOUPS 211362 WITH SCORE 215897.754
AT ITER 1176 NEW BEST:: SOT 5677549 SOS 4534652 HAS SOPS 2406710 HAS SOUS 492570 HAS SOUPS 210877 WITH SCORE 215411.652
AT ITER 1196 NEW BEST:: SOT 5677231 SOS 4534016 HAS SOPS 2406074 HAS SOUS 492410 HAS SOUPS 210717 WITH SCORE 215251.016
AT ITER 1199 NEW BEST:: SOT 5672993 SOS 4526384 HAS SOPS 2404282 HAS SOUS 491797 HAS SOUPS 210561 WITH SCORE 215087.384
AT ITER 1209 NEW BEST:: SOT 5672525 SOS 4525448 HAS SOPS 2404078 HAS SOUS 491605 HAS SOUPS 210552 WITH SCORE 215077.448
AT ITER 1212 NEW BEST:: SOT 5672513 SOS 4525424 HAS SOPS 2404102 HAS SOUS 491581 HAS SOUPS 210540 WITH SCORE 215065.424
AT ITER 1219 NEW BEST:: SOT 5672273 SOS 4524944 HAS SOPS 2403622 HAS SOUS 491326 HAS SOUPS 210285 WITH SCORE 214809.944
AT ITER 1222 NEW BEST:: SOT 5672241 SOS 4524880 HAS SOPS 2403558 HAS SOUS 491262 HAS SOUPS 210221 WITH SCORE 214745.88
AT ITER 1228 NEW BEST:: SOT 5674053 SOS 4527296 HAS SOPS 2404464 HAS SOUS 491371 HAS SOUPS 210131 WITH SCORE 214658.296
AT ITER 1246 NEW BEST:: SOT 5674051 SOS 4527292 HAS SOPS 2404460 HAS SOUS 491369 HAS SOUPS 210129 WITH SCORE 214656.292
AT ITER 1259 NEW BEST:: SOT 5674321 SOS 4527292 HAS SOPS 2404460 HAS SOUS 491232 HAS SOUPS 209992 WITH SCORE 214519.292
AT ITER 1263 NEW BEST:: SOT 5669974 SOS 4519319 HAS SOPS 2402976 HAS SOUS 490469 HAS SOUPS 209950 WITH SCORE 214469.319
AT ITER 1297 NEW BEST:: SOT 5670148 SOS 4519359 HAS SOPS 2403016 HAS SOUS 490381 HAS SOUPS 209862 WITH SCORE 214381.359
AT ITER 1305 NEW BEST:: SOT 5665599 SOS 4512782 HAS SOPS 2399961 HAS SOUS 489977 HAS SOUPS 209671 WITH SCORE 214183.782
AT ITER 1324 NEW BEST:: SOT 5664210 SOS 4510004 HAS SOPS 2398803 HAS SOUS 489317 HAS SOUPS 209416 WITH SCORE 213926.004
AT ITER 1325 NEW BEST:: SOT 5664001 SOS 4509586 HAS SOPS 2399221 HAS SOUS 488899 HAS SOUPS 209207 WITH SCORE 213716.586
AT ITER 1342 NEW BEST:: SOT 5664001 SOS 4509586 HAS SOPS 2399221 HAS SOUS 488749 HAS SOUPS 209057 WITH SCORE 213566.586
AT ITER 1359 NEW BEST:: SOT 5664026 SOS 4509636 HAS SOPS 2399035 HAS SOUS 488774 HAS SOUPS 209023 WITH SCORE 213532.636
AT ITER 1360 NEW BEST:: SOT 5663965 SOS 4509514 HAS SOPS 2398913 HAS SOUS 488713 HAS SOUPS 208962 WITH SCORE 213471.514
AT ITER 1366 NEW BEST:: SOT 5663949 SOS 4509482 HAS SOPS 2398881 HAS SOUS 488697 HAS SOUPS 208946 WITH SCORE 213455.482
AT ITER 1373 NEW BEST:: SOT 5659410 SOS 4501197 HAS SOPS 2397209 HAS SOUS 488009 HAS SOUPS 208848 WITH SCORE 213349.197
AT ITER 1377 NEW BEST:: SOT 5658752 SOS 4499881 HAS SOPS 2396781 HAS SOUS 487645 HAS SOUPS 208706 WITH SCORE 213205.881
AT ITER 1378 NEW BEST:: SOT 5657214 SOS 4501713 HAS SOPS 2396485 HAS SOUS 486864 HAS SOUPS 207925 WITH SCORE 212426.713
AT ITER 1384 NEW BEST:: SOT 5657214 SOS 4501713 HAS SOPS 2396485 HAS SOUS 486786 HAS SOUPS 207847 WITH SCORE 212348.713
AT ITER 1392 NEW BEST:: SOT 5653073 SOS 4494348 HAS SOPS 2395151 HAS SOUS 486354 HAS SOUPS 207827 WITH SCORE 212321.348
AT ITER 1401 NEW BEST:: SOT 5651387 SOS 4497332 HAS SOPS 2395471 HAS SOUS 485467 HAS SOUPS 206940 WITH SCORE 211437.332
AT ITER 1404 NEW BEST:: SOT 5651387 SOS 4496456 HAS SOPS 2395679 HAS SOUS 485196 HAS SOUPS 206940 WITH SCORE 211436.456
AT ITER 1406 NEW BEST:: SOT 5651387 SOS 4496456 HAS SOPS 2395679 HAS SOUS 485178 HAS SOUPS 206922 WITH SCORE 211418.456
AT ITER 1407 NEW BEST:: SOT 5651387 SOS 4496456 HAS SOPS 2395679 HAS SOUS 485112 HAS SOUPS 206856 WITH SCORE 211352.456
AT ITER 1437 NEW BEST:: SOT 5651387 SOS 4496456 HAS SOPS 2395679 HAS SOUS 485052 HAS SOUPS 206796 WITH SCORE 211292.456
AT ITER 1452 NEW BEST:: SOT 5651072 SOS 4495826 HAS SOPS 2395067 HAS SOUS 484757 HAS SOUPS 206510 WITH SCORE 211005.826
AT ITER 1458 NEW BEST:: SOT 5650070 SOS 4499522 HAS SOPS 2395463 HAS SOUS 484533 HAS SOUPS 206011 WITH SCORE 210510.522
AT ITER 1459 NEW BEST:: SOT 5650070 SOS 4499366 HAS SOPS 2395307 HAS SOUS 484494 HAS SOUPS 205972 WITH SCORE 210471.366
AT ITER 1466 NEW BEST:: SOT 5650070 SOS 4498918 HAS SOPS 2395307 HAS SOUS 484382 HAS SOUPS 205972 WITH SCORE 210470.918
AT ITER 1494 NEW BEST:: SOT 5650156 SOS 4482710 HAS SOPS 2381985 HAS SOUS 484377 HAS SOUPS 205967 WITH SCORE 210449.71
AT ITER 1541 NEW BEST:: SOT 5649694 SOS 4482842 HAS SOPS 2381589 HAS SOUS 484179 HAS SOUPS 205769 WITH SCORE 210251.842
AT ITER 1557 NEW BEST:: SOT 5649694 SOS 4482842 HAS SOPS 2381589 HAS SOUS 484165 HAS SOUPS 205755 WITH SCORE 210237.842
AT ITER 1570 NEW BEST:: SOT 5649428 SOS 4482310 HAS SOPS 2381313 HAS SOUS 483963 HAS SOUPS 205617 WITH SCORE 210099.31
AT ITER 1572 NEW BEST:: SOT 5649316 SOS 4482086 HAS SOPS 2381089 HAS SOUS 483774 HAS SOUPS 205428 WITH SCORE 209910.086
AT ITER 1573 NEW BEST:: SOT 5646702 SOS 4478358 HAS SOPS 2379391 HAS SOUS 483436 HAS SOUPS 205293 WITH SCORE 209771.358
AT ITER 1584 NEW BEST:: SOT 5646208 SOS 4477370 HAS SOPS 2378403 HAS SOUS 482679 HAS SOUPS 204536 WITH SCORE 209013.37
AT ITER 1585 NEW BEST:: SOT 5646098 SOS 4477150 HAS SOPS 2378183 HAS SOUS 482569 HAS SOUPS 204426 WITH SCORE 208903.15
AT ITER 1596 NEW BEST:: SOT 5644629 SOS 4478416 HAS SOPS 2376581 HAS SOUS 482262 HAS SOUPS 203880 WITH SCORE 208358.416
AT ITER 1602 NEW BEST:: SOT 5644703 SOS 4478740 HAS SOPS 2376477 HAS SOUS 482198 HAS SOUPS 203709 WITH SCORE 208187.74
AT ITER 1613 NEW BEST:: SOT 5644701 SOS 4478736 HAS SOPS 2376473 HAS SOUS 482196 HAS SOUPS 203707 WITH SCORE 208185.736
AT ITER 1615 NEW BEST:: SOT 5640153 SOS 4472756 HAS SOPS 2373251 HAS SOUS 481925 HAS SOUPS 203567 WITH SCORE 208039.756
AT ITER 1628 NEW BEST:: SOT 5639232 SOS 4476002 HAS SOPS 2374177 HAS SOUS 481166 HAS SOUPS 202808 WITH SCORE 207284.002
AT ITER 1630 NEW BEST:: SOT 5638223 SOS 4484404 HAS SOPS 2378747 HAS SOUS 480971 HAS SOUPS 202613 WITH SCORE 207097.404
AT ITER 1633 NEW BEST:: SOT 5637050 SOS 4484842 HAS SOPS 2377817 HAS SOUS 480445 HAS SOUPS 202087 WITH SCORE 206571.842
AT ITER 1639 NEW BEST:: SOT 5636641 SOS 4484024 HAS SOPS 2377317 HAS SOUS 480229 HAS SOUPS 201871 WITH SCORE 206355.024
AT ITER 1640 NEW BEST:: SOT 5636641 SOS 4484024 HAS SOPS 2377317 HAS SOUS 480129 HAS SOUPS 201771 WITH SCORE 206255.024
AT ITER 1659 NEW BEST:: SOT 5636641 SOS 4484024 HAS SOPS 2377317 HAS SOUS 480071 HAS SOUPS 201713 WITH SCORE 206197.024
AT ITER 1660 NEW BEST:: SOT 5636620 SOS 4483982 HAS SOPS 2377275 HAS SOUS 480029 HAS SOUPS 201671 WITH SCORE 206154.982
AT ITER 1690 NEW BEST:: SOT 5628551 SOS 4472541 HAS SOPS 2371873 HAS SOUS 479324 HAS SOUPS 201637 WITH SCORE 206109.541
AT ITER 1700 NEW BEST:: SOT 5628451 SOS 4472341 HAS SOPS 2371673 HAS SOUS 479224 HAS SOUPS 201537 WITH SCORE 206009.34100000001
AT ITER 1702 NEW BEST:: SOT 5628451 SOS 4472341 HAS SOPS 2371673 HAS SOUS 479122 HAS SOUPS 201435 WITH SCORE 205907.34100000001
AT ITER 1718 NEW BEST:: SOT 5626709 SOS 4469554 HAS SOPS 2371541 HAS SOUS 479340 HAS SOUPS 201414 WITH SCORE 205883.554
AT ITER 1720 NEW BEST:: SOT 5623070 SOS 4464393 HAS SOPS 2368942 HAS SOUS 478755 HAS SOUPS 201002 WITH SCORE 205466.393
AT ITER 1734 NEW BEST:: SOT 5623236 SOS 4462421 HAS SOPS 2367598 HAS SOUS 478755 HAS SOUPS 201002 WITH SCORE 205464.421
AT ITER 1742 NEW BEST:: SOT 5623228 SOS 4462405 HAS SOPS 2367590 HAS SOUS 478749 HAS SOUPS 200998 WITH SCORE 205460.405
AT ITER 1768 NEW BEST:: SOT 5623100 SOS 4462485 HAS SOPS 2367334 HAS SOUS 478789 HAS SOUPS 200954 WITH SCORE 205416.485
AT ITER 1776 NEW BEST:: SOT 5622160 SOS 4463837 HAS SOPS 2366910 HAS SOUS 478475 HAS SOUPS 200492 WITH SCORE 204955.837
AT ITER 1789 NEW BEST:: SOT 5622160 SOS 4463837 HAS SOPS 2366910 HAS SOUS 478325 HAS SOUPS 200342 WITH SCORE 204805.837
AT ITER 1802 NEW BEST:: SOT 5622160 SOS 4463837 HAS SOPS 2366910 HAS SOUS 478241 HAS SOUPS 200258 WITH SCORE 204721.837
AT ITER 1803 NEW BEST:: SOT 5622098 SOS 4463713 HAS SOPS 2366786 HAS SOUS 478179 HAS SOUPS 200196 WITH SCORE 204659.713
AT ITER 1809 NEW BEST:: SOT 5621950 SOS 4463417 HAS SOPS 2366490 HAS SOUS 478036 HAS SOUPS 200053 WITH SCORE 204516.417
AT ITER 1815 NEW BEST:: SOT 5619941 SOS 4465863 HAS SOPS 2365704 HAS SOUS 477480 HAS SOUPS 199497 WITH SCORE 203962.863
AT ITER 1819 NEW BEST:: SOT 5619371 SOS 4469792 HAS SOPS 2367825 HAS SOUS 477143 HAS SOUPS 199160 WITH SCORE 203629.792
AT ITER 1832 NEW BEST:: SOT 5619311 SOS 4469024 HAS SOPS 2367057 HAS SOUS 476983 HAS SOUPS 199000 WITH SCORE 203469.024
AT ITER 1837 NEW BEST:: SOT 5619081 SOS 4468564 HAS SOPS 2366597 HAS SOUS 476753 HAS SOUPS 198770 WITH SCORE 203238.564
AT ITER 1852 NEW BEST:: SOT 5619110 SOS 4468593 HAS SOPS 2366626 HAS SOUS 476700 HAS SOUPS 198717 WITH SCORE 203185.593
AT ITER 1853 NEW BEST:: SOT 5619074 SOS 4468521 HAS SOPS 2366554 HAS SOUS 476664 HAS SOUPS 198681 WITH SCORE 203149.521
AT ITER 1881 NEW BEST:: SOT 5618888 SOS 4468021 HAS SOPS 2366054 HAS SOUS 476516 HAS SOUPS 198533 WITH SCORE 203001.021
AT ITER 1890 NEW BEST:: SOT 5618325 SOS 4466895 HAS SOPS 2364928 HAS SOUS 475700 HAS SOUPS 197717 WITH SCORE 202183.895
AT ITER 1912 NEW BEST:: SOT 5618348 SOS 4466895 HAS SOPS 2364928 HAS SOUS 475654 HAS SOUPS 197671 WITH SCORE 202137.895
AT ITER 1915 NEW BEST:: SOT 5617997 SOS 4466193 HAS SOPS 2364226 HAS SOUS 475134 HAS SOUPS 197151 WITH SCORE 201617.193
AT ITER 1917 NEW BEST:: SOT 5617646 SOS 4465491 HAS SOPS 2363524 HAS SOUS 474613 HAS SOUPS 196630 WITH SCORE 201095.491
AT ITER 1926 NEW BEST:: SOT 5617628 SOS 4465499 HAS SOPS 2363280 HAS SOUS 474658 HAS SOUPS 196612 WITH SCORE 201077.499
AT ITER 1928 NEW BEST:: SOT 5617628 SOS 4465163 HAS SOPS 2363056 HAS SOUS 474644 HAS SOUPS 196598 WITH SCORE 201063.163
AT ITER 1932 NEW BEST:: SOT 5617628 SOS 4465163 HAS SOPS 2363056 HAS SOUS 474498 HAS SOUPS 196452 WITH SCORE 200917.163
AT ITER 1941 NEW BEST:: SOT 5612188 SOS 4458359 HAS SOPS 2358598 HAS SOUS 474754 HAS SOUPS 196417 WITH SCORE 200875.359
AT ITER 1945 NEW BEST:: SOT 5612054 SOS 4457689 HAS SOPS 2357928 HAS SOUS 474752 HAS SOUPS 196415 WITH SCORE 200872.689
AT ITER 1950 NEW BEST:: SOT 5611511 SOS 4455263 HAS SOPS 2356842 HAS SOUS 473703 HAS SOUPS 195701 WITH SCORE 200156.263
AT ITER 1951 NEW BEST:: SOT 5607057 SOS 4447280 HAS SOPS 2354986 HAS SOUS 473213 HAS SOUPS 195635 WITH SCORE 200082.28
AT ITER 1954 NEW BEST:: SOT 5606988 SOS 4447142 HAS SOPS 2354714 HAS SOUS 473089 HAS SOUPS 195507 WITH SCORE 199954.142
AT ITER 1957 NEW BEST:: SOT 5606977 SOS 4447120 HAS SOPS 2354692 HAS SOUS 473049 HAS SOUPS 195467 WITH SCORE 199914.12
AT ITER 1981 NEW BEST:: SOT 5606909 SOS 4446712 HAS SOPS 2354556 HAS SOUS 472845 HAS SOUPS 195331 WITH SCORE 199777.712
AT ITER 1983 NEW BEST:: SOT 5606909 SOS 4446712 HAS SOPS 2354556 HAS SOUS 472807 HAS SOUPS 195293 WITH SCORE 199739.712
AT ITER 1987 NEW BEST:: SOT 5606757 SOS 4446408 HAS SOPS 2354752 HAS SOUS 472606 HAS SOUPS 195217 WITH SCORE 199663.408
AT ITER 1990 NEW BEST:: SOT 5606757 SOS 4446408 HAS SOPS 2354752 HAS SOUS 472468 HAS SOUPS 195079 WITH SCORE 199525.408
AT ITER 2009 NEW BEST:: SOT 5603267 SOS 4440082 HAS SOPS 2353808 HAS SOUS 471566 HAS SOUPS 194607 WITH SCORE 199047.082
AT ITER 2016 NEW BEST:: SOT 5603246 SOS 4453147 HAS SOPS 2349911 HAS SOUS 471288 HAS SOUPS 194329 WITH SCORE 198782.147
AT ITER 2020 NEW BEST:: SOT 5602631 SOS 4456442 HAS SOPS 2351065 HAS SOUS 470826 HAS SOUPS 193867 WITH SCORE 198323.442
AT ITER 2021 NEW BEST:: SOT 5603355 SOS 4456922 HAS SOPS 2351545 HAS SOUS 470703 HAS SOUPS 193865 WITH SCORE 198321.922
AT ITER 2024 NEW BEST:: SOT 5602739 SOS 4455410 HAS SOPS 2351425 HAS SOUS 469739 HAS SOUPS 193249 WITH SCORE 197704.41
AT ITER 2045 NEW BEST:: SOT 5601631 SOS 4456117 HAS SOPS 2351022 HAS SOUS 469462 HAS SOUPS 192972 WITH SCORE 197428.117
AT ITER 2052 NEW BEST:: SOT 5600892 SOS 4454151 HAS SOPS 2349938 HAS SOUS 468408 HAS SOUPS 192293 WITH SCORE 196747.151
AT ITER 2072 NEW BEST:: SOT 5600698 SOS 4454151 HAS SOPS 2349938 HAS SOUS 468214 HAS SOUPS 192099 WITH SCORE 196553.151
AT ITER 2081 NEW BEST:: SOT 5600822 SOS 4442421 HAS SOPS 2338208 HAS SOUS 468147 HAS SOUPS 192032 WITH SCORE 196474.421
AT ITER 2093 NEW BEST:: SOT 5600820 SOS 4442417 HAS SOPS 2338440 HAS SOUS 468086 HAS SOUPS 192030 WITH SCORE 196472.417
AT ITER 2107 NEW BEST:: SOT 5601552 SOS 4443393 HAS SOPS 2338806 HAS SOUS 468025 HAS SOUPS 191908 WITH SCORE 196351.393
AT ITER 2124 NEW BEST:: SOT 5601588 SOS 4443465 HAS SOPS 2338370 HAS SOUS 467907 HAS SOUPS 191663 WITH SCORE 196106.465
AT ITER 2127 NEW BEST:: SOT 5601124 SOS 4442537 HAS SOPS 2337838 HAS SOUS 467542 HAS SOUPS 191397 WITH SCORE 195839.537
AT ITER 2148 NEW BEST:: SOT 5595509 SOS 4435271 HAS SOPS 2334014 HAS SOUS 467253 HAS SOUPS 191269 WITH SCORE 195704.271
AT ITER 2149 NEW BEST:: SOT 5595235 SOS 4434723 HAS SOPS 2333862 HAS SOUS 467001 HAS SOUPS 191193 WITH SCORE 195627.723
AT ITER 2175 NEW BEST:: SOT 5595209 SOS 4434671 HAS SOPS 2333810 HAS SOUS 466974 HAS SOUPS 191166 WITH SCORE 195600.671
AT ITER 2185 NEW BEST:: SOT 5593956 SOS 4438845 HAS SOPS 2335648 HAS SOUS 466777 HAS SOUPS 190969 WITH SCORE 195407.845
AT ITER 2221 NEW BEST:: SOT 5593735 SOS 4441667 HAS SOPS 2337382 HAS SOUS 466692 HAS SOUPS 190884 WITH SCORE 195325.667
AT ITER 2258 NEW BEST:: SOT 5593553 SOS 4441303 HAS SOPS 2336206 HAS SOUS 466673 HAS SOUPS 190662 WITH SCORE 195103.303
AT ITER 2259 NEW BEST:: SOT 5593544 SOS 4441285 HAS SOPS 2336188 HAS SOUS 466664 HAS SOUPS 190653 WITH SCORE 195094.285
AT ITER 2276 NEW BEST:: SOT 5593265 SOS 4441223 HAS SOPS 2335878 HAS SOUS 466447 HAS SOUPS 190436 WITH SCORE 194877.223
AT ITER 2285 NEW BEST:: SOT 5595864 SOS 4443822 HAS SOPS 2336425 HAS SOUS 466552 HAS SOUPS 190357 WITH SCORE 194800.822
AT ITER 2286 NEW BEST:: SOT 5595864 SOS 4443822 HAS SOPS 2336425 HAS SOUS 466550 HAS SOUPS 190355 WITH SCORE 194798.822
AT ITER 2304 NEW BEST:: SOT 5595864 SOS 4443810 HAS SOPS 2336413 HAS SOUS 466547 HAS SOUPS 190352 WITH SCORE 194795.81
AT ITER 2328 NEW BEST:: SOT 5595658 SOS 4443398 HAS SOPS 2336409 HAS SOUS 466443 HAS SOUPS 190350 WITH SCORE 194793.398
AT ITER 2335 NEW BEST:: SOT 5597330 SOS 4445617 HAS SOPS 2337250 HAS SOUS 466507 HAS SOUPS 190293 WITH SCORE 194738.617
AT ITER 2338 NEW BEST:: SOT 5597259 SOS 4445475 HAS SOPS 2337392 HAS SOUS 466365 HAS SOUPS 190222 WITH SCORE 194667.475
AT ITER 2350 NEW BEST:: SOT 5591206 SOS 4437466 HAS SOPS 2333098 HAS SOUS 465911 HAS SOUPS 189917 WITH SCORE 194354.46600000001
AT ITER 2362 NEW BEST:: SOT 5590830 SOS 4436432 HAS SOPS 2333223 HAS SOUS 465714 HAS SOUPS 189907 WITH SCORE 194343.432
AT ITER 2374 NEW BEST:: SOT 5590830 SOS 4436432 HAS SOPS 2333223 HAS SOUS 465674 HAS SOUPS 189867 WITH SCORE 194303.432
AT ITER 2401 NEW BEST:: SOT 5589932 SOS 4434636 HAS SOPS 2332807 HAS SOUS 465248 HAS SOUPS 189786 WITH SCORE 194220.636
AT ITER 2409 NEW BEST:: SOT 5590060 SOS 4434892 HAS SOPS 2332745 HAS SOUS 465217 HAS SOUPS 189755 WITH SCORE 194189.892
AT ITER 2413 NEW BEST:: SOT 5589783 SOS 4428837 HAS SOPS 2329193 HAS SOUS 465116 HAS SOUPS 189654 WITH SCORE 194082.837
AT ITER 2416 NEW BEST:: SOT 5588608 SOS 4427151 HAS SOPS 2328383 HAS SOUS 464964 HAS SOUPS 189576 WITH SCORE 194003.151
AT ITER 2432 NEW BEST:: SOT 5585459 SOS 4422771 HAS SOPS 2326277 HAS SOUS 464601 HAS SOUPS 189390 WITH SCORE 193812.771
AT ITER 2438 NEW BEST:: SOT 5578993 SOS 4416230 HAS SOPS 2322009 HAS SOUS 464655 HAS SOUPS 189256 WITH SCORE 193672.23
AT ITER 2440 NEW BEST:: SOT 5578922 SOS 4416088 HAS SOPS 2321959 HAS SOUS 464630 HAS SOUPS 189254 WITH SCORE 193670.088
AT ITER 2447 NEW BEST:: SOT 5578236 SOS 4416284 HAS SOPS 2320979 HAS SOUS 464434 HAS SOUPS 188960 WITH SCORE 193376.28399999999
AT ITER 2466 NEW BEST:: SOT 5578236 SOS 4416284 HAS SOPS 2320979 HAS SOUS 464396 HAS SOUPS 188922 WITH SCORE 193338.28399999999
AT ITER 2503 NEW BEST:: SOT 5578371 SOS 4416074 HAS SOPS 2320985 HAS SOUS 464369 HAS SOUPS 188895 WITH SCORE 193311.074
AT ITER 2515 NEW BEST:: SOT 5573724 SOS 4410441 HAS SOPS 2317338 HAS SOUS 464423 HAS SOUPS 188845 WITH SCORE 193255.441
AT ITER 2560 NEW BEST:: SOT 5576179 SOS 4413711 HAS SOPS 2318568 HAS SOUS 464422 HAS SOUPS 188600 WITH SCORE 193013.711
AT ITER 2567 NEW BEST:: SOT 5576179 SOS 4413711 HAS SOPS 2318568 HAS SOUS 464272 HAS SOUPS 188450 WITH SCORE 192863.711
AT ITER 2573 NEW BEST:: SOT 5576247 SOS 4413043 HAS SOPS 2318448 HAS SOUS 463991 HAS SOUPS 188227 WITH SCORE 192640.043
AT ITER 2587 NEW BEST:: SOT 5576247 SOS 4413043 HAS SOPS 2318448 HAS SOUS 463919 HAS SOUPS 188155 WITH SCORE 192568.043
AT ITER 2590 NEW BEST:: SOT 5576079 SOS 4412875 HAS SOPS 2318304 HAS SOUS 463871 HAS SOUPS 188107 WITH SCORE 192519.875
AT ITER 2596 NEW BEST:: SOT 5575940 SOS 4412736 HAS SOPS 2318165 HAS SOUS 463862 HAS SOUPS 188098 WITH SCORE 192510.736
AT ITER 2610 NEW BEST:: SOT 5575964 SOS 4412784 HAS SOPS 2317563 HAS SOUS 463960 HAS SOUPS 187871 WITH SCORE 192283.78399999999
AT ITER 2622 NEW BEST:: SOT 5575622 SOS 4412139 HAS SOPS 2317322 HAS SOUS 463719 HAS SOUPS 187731 WITH SCORE 192143.139
AT ITER 2629 NEW BEST:: SOT 5575486 SOS 4410068 HAS SOPS 2316091 HAS SOUS 463579 HAS SOUPS 187591 WITH SCORE 192001.068
AT ITER 2640 NEW BEST:: SOT 5575486 SOS 4409424 HAS SOPS 2316231 HAS SOUS 463383 HAS SOUPS 187591 WITH SCORE 192000.424
AT ITER 2641 NEW BEST:: SOT 5574729 SOS 4407910 HAS SOPS 2315557 HAS SOUS 463002 HAS SOUPS 187420 WITH SCORE 191827.91
AT ITER 2664 NEW BEST:: SOT 5574145 SOS 4406742 HAS SOPS 2315557 HAS SOUS 462745 HAS SOUPS 187420 WITH SCORE 191826.742
AT ITER 2701 NEW BEST:: SOT 5574573 SOS 4407170 HAS SOPS 2315450 HAS SOUS 462531 HAS SOUPS 187206 WITH SCORE 191613.17
AT ITER 2710 NEW BEST:: SOT 5574573 SOS 4407170 HAS SOPS 2315450 HAS SOUS 462499 HAS SOUPS 187174 WITH SCORE 191581.17
AT ITER 2713 NEW BEST:: SOT 5574431 SOS 4411016 HAS SOPS 2317144 HAS SOUS 462226 HAS SOUPS 186901 WITH SCORE 191312.016
AT ITER 2720 NEW BEST:: SOT 5574404 SOS 4410962 HAS SOPS 2317126 HAS SOUS 462208 HAS SOUPS 186892 WITH SCORE 191302.962
AT ITER 2724 NEW BEST:: SOT 5574332 SOS 4410638 HAS SOPS 2316937 HAS SOUS 462208 HAS SOUPS 186892 WITH SCORE 191302.638
AT ITER 2731 NEW BEST:: SOT 5574375 SOS 4410724 HAS SOPS 2316827 HAS SOUS 462245 HAS SOUPS 186880 WITH SCORE 191290.724
AT ITER 2738 NEW BEST:: SOT 5574445 SOS 4410548 HAS SOPS 2316651 HAS SOUS 462236 HAS SOUPS 186871 WITH SCORE 191281.548
AT ITER 2744 NEW BEST:: SOT 5574445 SOS 4410548 HAS SOPS 2316651 HAS SOUS 462174 HAS SOUPS 186809 WITH SCORE 191219.548
AT ITER 2746 NEW BEST:: SOT 5574445 SOS 4410548 HAS SOPS 2316651 HAS SOUS 462156 HAS SOUPS 186791 WITH SCORE 191201.548
AT ITER 2751 NEW BEST:: SOT 5574061 SOS 4414340 HAS SOPS 2318923 HAS SOUS 461962 HAS SOUPS 186597 WITH SCORE 191011.34
AT ITER 2757 NEW BEST:: SOT 5579356 SOS 4420151 HAS SOPS 2322766 HAS SOUS 462433 HAS SOUPS 186591 WITH SCORE 191011.151
AT ITER 2772 NEW BEST:: SOT 5579816 SOS 4420561 HAS SOPS 2322870 HAS SOUS 462311 HAS SOUPS 186571 WITH SCORE 190991.561
AT ITER 2778 NEW BEST:: SOT 5579924 SOS 4420777 HAS SOPS 2323086 HAS SOUS 462308 HAS SOUPS 186568 WITH SCORE 190988.777
AT ITER 2782 NEW BEST:: SOT 5579924 SOS 4420757 HAS SOPS 2323938 HAS SOUS 462090 HAS SOUPS 186568 WITH SCORE 190988.757
AT ITER 2796 NEW BEST:: SOT 5578330 SOS 4419267 HAS SOPS 2322206 HAS SOUS 462234 HAS SOUPS 186510 WITH SCORE 190929.267
AT ITER 2810 NEW BEST:: SOT 5579260 SOS 4420569 HAS SOPS 2322950 HAS SOUS 462048 HAS SOUPS 186324 WITH SCORE 190744.569
AT ITER 2843 NEW BEST:: SOT 5579260 SOS 4420569 HAS SOPS 2322950 HAS SOUS 461906 HAS SOUPS 186182 WITH SCORE 190602.569
AT ITER 2858 NEW BEST:: SOT 5579238 SOS 4420459 HAS SOPS 2322840 HAS SOUS 461880 HAS SOUPS 186156 WITH SCORE 190576.459
AT ITER 2871 NEW BEST:: SOT 5579238 SOS 4420459 HAS SOPS 2322840 HAS SOUS 461740 HAS SOUPS 186016 WITH SCORE 190436.459
AT ITER 2877 NEW BEST:: SOT 5579827 SOS 4420976 HAS SOPS 2323357 HAS SOUS 461679 HAS SOUPS 185955 WITH SCORE 190375.976
AT ITER 2882 NEW BEST:: SOT 5579301 SOS 4419952 HAS SOPS 2323256 HAS SOUS 461406 HAS SOUPS 185847 WITH SCORE 190266.952
AT ITER 2891 NEW BEST:: SOT 5581493 SOS 4422524 HAS SOPS 2324632 HAS SOUS 461218 HAS SOUPS 185763 WITH SCORE 190185.524
AT ITER 2900 NEW BEST:: SOT 5580619 SOS 4421340 HAS SOPS 2323448 HAS SOUS 460941 HAS SOUPS 185486 WITH SCORE 189907.34
AT ITER 2901 NEW BEST:: SOT 5579697 SOS 4422008 HAS SOPS 2322546 HAS SOUS 460783 HAS SOUPS 185213 WITH SCORE 189635.008
AT ITER 2905 NEW BEST:: SOT 5579373 SOS 4421360 HAS SOPS 2321898 HAS SOUS 460586 HAS SOUPS 185016 WITH SCORE 189437.36
AT ITER 2918 NEW BEST:: SOT 5579320 SOS 4421254 HAS SOPS 2321792 HAS SOUS 460533 HAS SOUPS 184963 WITH SCORE 189384.254
AT ITER 2920 NEW BEST:: SOT 5572840 SOS 4412711 HAS SOPS 2317316 HAS SOUS 459891 HAS SOUPS 184512 WITH SCORE 188924.711
AT ITER 2943 NEW BEST:: SOT 5576151 SOS 4416925 HAS SOPS 2319122 HAS SOUS 459499 HAS SOUPS 184120 WITH SCORE 188536.925
AT ITER 2950 NEW BEST:: SOT 5579754 SOS 4421773 HAS SOPS 2321146 HAS SOUS 459535 HAS SOUPS 183924 WITH SCORE 188345.773
AT ITER 2964 NEW BEST:: SOT 5579754 SOS 4421773 HAS SOPS 2321244 HAS SOUS 459437 HAS SOUPS 183875 WITH SCORE 188296.773
AT ITER 2977 NEW BEST:: SOT 5579618 SOS 4421773 HAS SOPS 2321074 HAS SOUS 459403 HAS SOUPS 183824 WITH SCORE 188245.773
AT ITER 2997 NEW BEST:: SOT 5579592 SOS 4421721 HAS SOPS 2321022 HAS SOUS 459377 HAS SOUPS 183798 WITH SCORE 188219.721
AT ITER 3016 NEW BEST:: SOT 5577807 SOS 4424939 HAS SOPS 2321600 HAS SOUS 458393 HAS SOUPS 182814 WITH SCORE 187238.939
AT ITER 3018 NEW BEST:: SOT 5577413 SOS 4424151 HAS SOPS 2320812 HAS SOUS 457929 HAS SOUPS 182350 WITH SCORE 186774.151
AT ITER 3022 NEW BEST:: SOT 5577413 SOS 4424151 HAS SOPS 2320812 HAS SOUS 457857 HAS SOUPS 182278 WITH SCORE 186702.151
AT ITER 3032 NEW BEST:: SOT 5577261 SOS 4423847 HAS SOPS 2320508 HAS SOUS 457805 HAS SOUPS 182226 WITH SCORE 186649.847
AT ITER 3081 NEW BEST:: SOT 5577285 SOS 4423864 HAS SOPS 2320518 HAS SOUS 457798 HAS SOUPS 182219 WITH SCORE 186642.864
AT ITER 3093 NEW BEST:: SOT 5577285 SOS 4423864 HAS SOPS 2320518 HAS SOUS 457648 HAS SOUPS 182069 WITH SCORE 186492.864
AT ITER 3103 NEW BEST:: SOT 5577149 SOS 4424416 HAS SOPS 2320246 HAS SOUS 457616 HAS SOUPS 181831 WITH SCORE 186255.416
AT ITER 3108 NEW BEST:: SOT 5575493 SOS 4422208 HAS SOPS 2319418 HAS SOUS 457478 HAS SOUPS 181831 WITH SCORE 186253.208
AT ITER 3122 NEW BEST:: SOT 5575240 SOS 4420920 HAS SOPS 2319411 HAS SOUS 456998 HAS SOUPS 181655 WITH SCORE 186075.92
AT ITER 3125 NEW BEST:: SOT 5575867 SOS 4421661 HAS SOPS 2319810 HAS SOUS 456894 HAS SOUPS 181551 WITH SCORE 185972.661
AT ITER 3135 NEW BEST:: SOT 5575867 SOS 4421661 HAS SOPS 2319810 HAS SOUS 456884 HAS SOUPS 181541 WITH SCORE 185962.661
AT ITER 3140 NEW BEST:: SOT 5576019 SOS 4420573 HAS SOPS 2319378 HAS SOUS 456860 HAS SOUPS 181517 WITH SCORE 185937.573
AT ITER 3151 NEW BEST:: SOT 5574223 SOS 4418229 HAS SOPS 2317970 HAS SOUS 456786 HAS SOUPS 181443 WITH SCORE 185861.229
AT ITER 3152 NEW BEST:: SOT 5574223 SOS 4418345 HAS SOPS 2317970 HAS SOUS 456788 HAS SOUPS 181416 WITH SCORE 185834.345
AT ITER 3172 NEW BEST:: SOT 5574107 SOS 4418113 HAS SOPS 2317738 HAS SOUS 456556 HAS SOUPS 181184 WITH SCORE 185602.113
AT ITER 3175 NEW BEST:: SOT 5574100 SOS 4418099 HAS SOPS 2317724 HAS SOUS 456549 HAS SOUPS 181177 WITH SCORE 185595.099
AT ITER 3177 NEW BEST:: SOT 5567881 SOS 4409352 HAS SOPS 2313727 HAS SOUS 455808 HAS SOUPS 180911 WITH SCORE 185320.352
AT ITER 3190 NEW BEST:: SOT 5567477 SOS 4407962 HAS SOPS 2313113 HAS SOUS 455016 HAS SOUPS 180313 WITH SCORE 184720.962
AT ITER 3192 NEW BEST:: SOT 5567424 SOS 4407589 HAS SOPS 2313060 HAS SOUS 454936 HAS SOUPS 180313 WITH SCORE 184720.589
AT ITER 3202 NEW BEST:: SOT 5567424 SOS 4407589 HAS SOPS 2313060 HAS SOUS 454892 HAS SOUPS 180269 WITH SCORE 184676.589
AT ITER 3204 NEW BEST:: SOT 5567430 SOS 4407601 HAS SOPS 2313072 HAS SOUS 454798 HAS SOUPS 180175 WITH SCORE 184582.601
AT ITER 3208 NEW BEST:: SOT 5566566 SOS 4413293 HAS SOPS 2315296 HAS SOUS 454434 HAS SOUPS 179811 WITH SCORE 184224.293
AT ITER 3217 NEW BEST:: SOT 5566566 SOS 4412737 HAS SOPS 2314740 HAS SOUS 454434 HAS SOUPS 179811 WITH SCORE 184223.737
AT ITER 3250 NEW BEST:: SOT 5566566 SOS 4412737 HAS SOPS 2314740 HAS SOUS 454356 HAS SOUPS 179733 WITH SCORE 184145.737
AT ITER 3252 NEW BEST:: SOT 5566622 SOS 4412197 HAS SOPS 2314200 HAS SOUS 454027 HAS SOUPS 179404 WITH SCORE 183816.197
AT ITER 3255 NEW BEST:: SOT 5564840 SOS 4410209 HAS SOPS 2313358 HAS SOUS 454020 HAS SOUPS 179379 WITH SCORE 183789.209
AT ITER 3260 NEW BEST:: SOT 5564811 SOS 4410151 HAS SOPS 2313300 HAS SOUS 454016 HAS SOUPS 179375 WITH SCORE 183785.151
AT ITER 3261 NEW BEST:: SOT 5564535 SOS 4409599 HAS SOPS 2313748 HAS SOUS 453490 HAS SOUPS 179099 WITH SCORE 183508.599
AT ITER 3266 NEW BEST:: SOT 5564443 SOS 4409415 HAS SOPS 2313564 HAS SOUS 453178 HAS SOUPS 178787 WITH SCORE 183196.415
AT ITER 3314 NEW BEST:: SOT 5558853 SOS 4401567 HAS SOPS 2309948 HAS SOUS 452331 HAS SOUPS 178354 WITH SCORE 182755.567
AT ITER 3318 NEW BEST:: SOT 5558863 SOS 4401555 HAS SOPS 2309952 HAS SOUS 452329 HAS SOUPS 178352 WITH SCORE 182753.555
AT ITER 3322 NEW BEST:: SOT 5558863 SOS 4401555 HAS SOPS 2309952 HAS SOUS 452236 HAS SOUPS 178303 WITH SCORE 182704.555
AT ITER 3329 NEW BEST:: SOT 5558723 SOS 4401275 HAS SOPS 2309532 HAS SOUS 452096 HAS SOUPS 178163 WITH SCORE 182564.275
AT ITER 3332 NEW BEST:: SOT 5558723 SOS 4401275 HAS SOPS 2309532 HAS SOUS 451946 HAS SOUPS 178013 WITH SCORE 182414.275
AT ITER 3344 NEW BEST:: SOT 5558716 SOS 4401268 HAS SOPS 2309525 HAS SOUS 451939 HAS SOUPS 178006 WITH SCORE 182407.268
AT ITER 3357 NEW BEST:: SOT 5558716 SOS 4401268 HAS SOPS 2309525 HAS SOUS 451929 HAS SOUPS 177996 WITH SCORE 182397.268
AT ITER 3360 NEW BEST:: SOT 5558569 SOS 4400946 HAS SOPS 2310011 HAS SOUS 451461 HAS SOUPS 177730 WITH SCORE 182130.946
AT ITER 3366 NEW BEST:: SOT 5561629 SOS 4405026 HAS SOPS 2311541 HAS SOUS 451250 HAS SOUPS 177264 WITH SCORE 181669.026
AT ITER 3370 NEW BEST:: SOT 5562901 SOS 4406722 HAS SOPS 2312177 HAS SOUS 451144 HAS SOUPS 177052 WITH SCORE 181458.722
AT ITER 3382 NEW BEST:: SOT 5562877 SOS 4406674 HAS SOPS 2312833 HAS SOUS 450956 HAS SOUPS 177040 WITH SCORE 181446.674
AT ITER 3391 NEW BEST:: SOT 5562325 SOS 4407410 HAS SOPS 2312925 HAS SOUS 450864 HAS SOUPS 176856 WITH SCORE 181263.41
AT ITER 3410 NEW BEST:: SOT 5558936 SOS 4402760 HAS SOPS 2310903 HAS SOUS 450401 HAS SOUPS 176643 WITH SCORE 181045.76
AT ITER 3414 NEW BEST:: SOT 5558808 SOS 4402504 HAS SOPS 2310647 HAS SOUS 450309 HAS SOUPS 176551 WITH SCORE 180953.504
AT ITER 3422 NEW BEST:: SOT 5558976 SOS 4401528 HAS SOPS 2310307 HAS SOUS 450192 HAS SOUPS 176487 WITH SCORE 180888.528
AT ITER 3425 NEW BEST:: SOT 5558974 SOS 4401524 HAS SOPS 2310863 HAS SOUS 450050 HAS SOUPS 176485 WITH SCORE 180886.524
AT ITER 3437 NEW BEST:: SOT 5558010 SOS 4400364 HAS SOPS 2310279 HAS SOUS 450030 HAS SOUPS 176465 WITH SCORE 180865.364
AT ITER 3438 NEW BEST:: SOT 5561808 SOS 4405235 HAS SOPS 2312262 HAS SOUS 449695 HAS SOUPS 175991 WITH SCORE 180396.235
AT ITER 3439 NEW BEST:: SOT 5561808 SOS 4405235 HAS SOPS 2312262 HAS SOUS 449687 HAS SOUPS 175983 WITH SCORE 180388.235
AT ITER 3449 NEW BEST:: SOT 5561796 SOS 4405211 HAS SOPS 2312226 HAS SOUS 449669 HAS SOUPS 175965 WITH SCORE 180370.211
AT ITER 3498 NEW BEST:: SOT 5560899 SOS 4410721 HAS SOPS 2314216 HAS SOUS 449626 HAS SOUPS 175922 WITH SCORE 180332.721
AT ITER 3501 NEW BEST:: SOT 5560897 SOS 4410717 HAS SOPS 2314308 HAS SOUS 449600 HAS SOUPS 175920 WITH SCORE 180330.717
AT ITER 3506 NEW BEST:: SOT 5560821 SOS 4410605 HAS SOPS 2313940 HAS SOUS 449588 HAS SOUPS 175844 WITH SCORE 180254.605
AT ITER 3507 NEW BEST:: SOT 5560821 SOS 4410605 HAS SOPS 2313940 HAS SOUS 449576 HAS SOUPS 175832 WITH SCORE 180242.605
AT ITER 3514 NEW BEST:: SOT 5560758 SOS 4410046 HAS SOPS 2313381 HAS SOUS 449448 HAS SOUPS 175704 WITH SCORE 180114.046
AT ITER 3520 NEW BEST:: SOT 5560712 SOS 4409954 HAS SOPS 2313289 HAS SOUS 449402 HAS SOUPS 175658 WITH SCORE 180067.954
AT ITER 3572 NEW BEST:: SOT 5560706 SOS 4409942 HAS SOPS 2313101 HAS SOUS 449440 HAS SOUPS 175652 WITH SCORE 180061.942
AT ITER 3593 NEW BEST:: SOT 5560821 SOS 4406952 HAS SOPS 2311491 HAS SOUS 449325 HAS SOUPS 175652 WITH SCORE 180058.952
AT ITER 3616 NEW BEST:: SOT 5560826 SOS 4406962 HAS SOPS 2310695 HAS SOUS 449053 HAS SOUPS 175299 WITH SCORE 179705.962
AT ITER 3622 NEW BEST:: SOT 5560350 SOS 4406282 HAS SOPS 2310355 HAS SOUS 448951 HAS SOUPS 175231 WITH SCORE 179637.282
AT ITER 3623 NEW BEST:: SOT 5560565 SOS 4407110 HAS SOPS 2310392 HAS SOUS 449130 HAS SOUPS 175230 WITH SCORE 179637.11
AT ITER 3628 NEW BEST:: SOT 5561171 SOS 4405244 HAS SOPS 2308846 HAS SOUS 449113 HAS SOUPS 175070 WITH SCORE 179475.244
AT ITER 3649 NEW BEST:: SOT 5561137 SOS 4405176 HAS SOPS 2308778 HAS SOUS 449079 HAS SOUPS 175036 WITH SCORE 179441.176
AT ITER 3652 NEW BEST:: SOT 5561137 SOS 4405176 HAS SOPS 2308778 HAS SOUS 449043 HAS SOUPS 175000 WITH SCORE 179405.176
AT ITER 3672 NEW BEST:: SOT 5561137 SOS 4405176 HAS SOPS 2308778 HAS SOUS 449037 HAS SOUPS 174994 WITH SCORE 179399.176
AT ITER 3684 NEW BEST:: SOT 5561213 SOS 4405328 HAS SOPS 2308930 HAS SOUS 449020 HAS SOUPS 174977 WITH SCORE 179382.328
AT ITER 3699 NEW BEST:: SOT 5561022 SOS 4404988 HAS SOPS 2308930 HAS SOUS 448978 HAS SOUPS 174977 WITH SCORE 179381.988
AT ITER 3708 NEW BEST:: SOT 5559846 SOS 4403420 HAS SOPS 2308342 HAS SOUS 448864 HAS SOUPS 174961 WITH SCORE 179364.42
AT ITER 3722 NEW BEST:: SOT 5560260 SOS 4404248 HAS SOPS 2308654 HAS SOUS 448919 HAS SOUPS 174887 WITH SCORE 179291.248
AT ITER 3742 NEW BEST:: SOT 5560260 SOS 4404248 HAS SOPS 2308654 HAS SOUS 448873 HAS SOUPS 174841 WITH SCORE 179245.248
AT ITER 3757 NEW BEST:: SOT 5557240 SOS 4401272 HAS SOPS 2306039 HAS SOUS 448918 HAS SOUPS 174814 WITH SCORE 179215.272
AT ITER 3775 NEW BEST:: SOT 5556712 SOS 4399688 HAS SOPS 2305643 HAS SOUS 448852 HAS SOUPS 174814 WITH SCORE 179213.688
AT ITER 3798 NEW BEST:: SOT 5557012 SOS 4400088 HAS SOPS 2305793 HAS SOUS 448827 HAS SOUPS 174764 WITH SCORE 179164.088
AT ITER 3805 NEW BEST:: SOT 5557012 SOS 4400088 HAS SOPS 2305793 HAS SOUS 448713 HAS SOUPS 174650 WITH SCORE 179050.088
AT ITER 3827 NEW BEST:: SOT 5557004 SOS 4400056 HAS SOPS 2305761 HAS SOUS 448713 HAS SOUPS 174650 WITH SCORE 179050.056
AT ITER 3829 NEW BEST:: SOT 5556657 SOS 4399362 HAS SOPS 2305067 HAS SOUS 448661 HAS SOUPS 174598 WITH SCORE 178997.362
AT ITER 3834 NEW BEST:: SOT 5556657 SOS 4399362 HAS SOPS 2305067 HAS SOUS 448589 HAS SOUPS 174526 WITH SCORE 178925.362
AT ITER 3837 NEW BEST:: SOT 5554155 SOS 4396471 HAS SOPS 2303464 HAS SOUS 448577 HAS SOUPS 174501 WITH SCORE 178897.471
AT ITER 3866 NEW BEST:: SOT 5554405 SOS 4381999 HAS SOPS 2288204 HAS SOUS 448740 HAS SOUPS 174467 WITH SCORE 178848.999
AT ITER 3874 NEW BEST:: SOT 5553733 SOS 4383595 HAS SOPS 2288144 HAS SOUS 448748 HAS SOUPS 174337 WITH SCORE 178720.595
AT ITER 3880 NEW BEST:: SOT 5553733 SOS 4383538 HAS SOPS 2288068 HAS SOUS 448710 HAS SOUPS 174299 WITH SCORE 178682.538
AT ITER 3904 NEW BEST:: SOT 5553614 SOS 4383300 HAS SOPS 2287354 HAS SOUS 448472 HAS SOUPS 173942 WITH SCORE 178325.3
AT ITER 3918 NEW BEST:: SOT 5553609 SOS 4383234 HAS SOPS 2287288 HAS SOUS 448462 HAS SOUPS 173932 WITH SCORE 178315.234
AT ITER 3923 NEW BEST:: SOT 5553465 SOS 4352177 HAS SOPS 2284857 HAS SOUS 447583 HAS SOUPS 173420 WITH SCORE 177772.177
AT ITER 3979 NEW BEST:: SOT 5553343 SOS 4351933 HAS SOPS 2284125 HAS SOUS 447583 HAS SOUPS 173298 WITH SCORE 177649.933
AT ITER 3985 NEW BEST:: SOT 5553195 SOS 4351325 HAS SOPS 2283885 HAS SOUS 447168 HAS SOUPS 172975 WITH SCORE 177326.325
AT ITER 3993 NEW BEST:: SOT 5558299 SOS 4356595 HAS SOPS 2287973 HAS SOUS 447069 HAS SOUPS 172867 WITH SCORE 177223.595
AT ITER 4022 NEW BEST:: SOT 5558325 SOS 4356447 HAS SOPS 2287925 HAS SOUS 447044 HAS SOUPS 172866 WITH SCORE 177222.447
AT ITER 4030 NEW BEST:: SOT 5558275 SOS 4356519 HAS SOPS 2287917 HAS SOUS 446997 HAS SOUPS 172819 WITH SCORE 177175.519
AT ITER 4034 NEW BEST:: SOT 5558170 SOS 4358969 HAS SOPS 2287847 HAS SOUS 446935 HAS SOUPS 172792 WITH SCORE 177150.969
AT ITER 4067 NEW BEST:: SOT 5558563 SOS 4359624 HAS SOPS 2287978 HAS SOUS 447079 HAS SOUPS 172791 WITH SCORE 177150.624
AT ITER 4074 NEW BEST:: SOT 5558457 SOS 4359412 HAS SOPS 2287386 HAS SOUS 447043 HAS SOUPS 172660 WITH SCORE 177019.412
AT ITER 4161 NEW BEST:: SOT 5557192 SOS 4354662 HAS SOPS 2285380 HAS SOUS 446959 HAS SOUPS 172639 WITH SCORE 176993.662
AT ITER 4167 NEW BEST:: SOT 5558153 SOS 4358709 HAS SOPS 2287513 HAS SOUS 446704 HAS SOUPS 172417 WITH SCORE 176775.709
AT ITER 4200 NEW BEST:: SOT 5558153 SOS 4358181 HAS SOPS 2287161 HAS SOUS 446682 HAS SOUPS 172395 WITH SCORE 176753.181
AT ITER 4201 NEW BEST:: SOT 5557883 SOS 4357641 HAS SOPS 2287161 HAS SOUS 446277 HAS SOUPS 172125 WITH SCORE 176482.641
AT ITER 4207 NEW BEST:: SOT 5557103 SOS 4359497 HAS SOPS 2287967 HAS SOUS 445907 HAS SOUPS 171755 WITH SCORE 176114.497
AT ITER 4215 NEW BEST:: SOT 5557009 SOS 4359493 HAS SOPS 2287963 HAS SOUS 445905 HAS SOUPS 171753 WITH SCORE 176112.493
AT ITER 4227 NEW BEST:: SOT 5555861 SOS 4357853 HAS SOPS 2286815 HAS SOUS 445741 HAS SOUPS 171589 WITH SCORE 175946.853
AT ITER 4230 NEW BEST:: SOT 5554264 SOS 4355643 HAS SOPS 2285831 HAS SOUS 445620 HAS SOUPS 171589 WITH SCORE 175944.643
AT ITER 4240 NEW BEST:: SOT 5554215 SOS 4355961 HAS SOPS 2286149 HAS SOUS 445601 HAS SOUPS 171570 WITH SCORE 175925.961
AT ITER 4272 NEW BEST:: SOT 5553611 SOS 4354753 HAS SOPS 2284941 HAS SOUS 445459 HAS SOUPS 171428 WITH SCORE 175782.753
AT ITER 4273 NEW BEST:: SOT 5553598 SOS 4354727 HAS SOPS 2284941 HAS SOUS 445446 HAS SOUPS 171428 WITH SCORE 175782.727
AT ITER 4279 NEW BEST:: SOT 5553598 SOS 4354727 HAS SOPS 2284941 HAS SOUS 445440 HAS SOUPS 171422 WITH SCORE 175776.727
AT ITER 4287 NEW BEST:: SOT 5553270 SOS 4354071 HAS SOPS 2283679 HAS SOUS 445336 HAS SOUPS 171197 WITH SCORE 175551.071
AT ITER 4297 NEW BEST:: SOT 5553834 SOS 4354799 HAS SOPS 2284107 HAS SOUS 445327 HAS SOUPS 171188 WITH SCORE 175542.799
AT ITER 4305 NEW BEST:: SOT 5553700 SOS 4354531 HAS SOPS 2284043 HAS SOUS 445059 HAS SOUPS 171022 WITH SCORE 175376.531
AT ITER 4309 NEW BEST:: SOT 5553645 SOS 4354421 HAS SOPS 2283933 HAS SOUS 445056 HAS SOUPS 171019 WITH SCORE 175373.421
AT ITER 4340 NEW BEST:: SOT 5553570 SOS 4354271 HAS SOPS 2283447 HAS SOUS 445065 HAS SOUPS 170944 WITH SCORE 175298.271
AT ITER 4355 NEW BEST:: SOT 5553516 SOS 4354163 HAS SOPS 2283339 HAS SOUS 445011 HAS SOUPS 170890 WITH SCORE 175244.163
AT ITER 4369 NEW BEST:: SOT 5553518 SOS 4354167 HAS SOPS 2282939 HAS SOUS 444860 HAS SOUPS 170638 WITH SCORE 174992.167
AT ITER 4377 NEW BEST:: SOT 5553342 SOS 4353903 HAS SOPS 2282763 HAS SOUS 444772 HAS SOUPS 170550 WITH SCORE 174903.903
AT ITER 4397 NEW BEST:: SOT 5554442 SOS 4355407 HAS SOPS 2283397 HAS SOUS 444797 HAS SOUPS 170488 WITH SCORE 174843.407
AT ITER 4402 NEW BEST:: SOT 5554353 SOS 4354689 HAS SOPS 2283523 HAS SOUS 444497 HAS SOUPS 170399 WITH SCORE 174753.689
AT ITER 4416 NEW BEST:: SOT 5554431 SOS 4354429 HAS SOPS 2283471 HAS SOUS 444419 HAS SOUPS 170321 WITH SCORE 174675.429
AT ITER 4430 NEW BEST:: SOT 5553635 SOS 4363217 HAS SOPS 2288137 HAS SOUS 444239 HAS SOUPS 170141 WITH SCORE 174504.217
AT ITER 4455 NEW BEST:: SOT 5555041 SOS 4365147 HAS SOPS 2288757 HAS SOUS 444050 HAS SOUPS 169821 WITH SCORE 174186.147
AT ITER 4483 NEW BEST:: SOT 5554356 SOS 4363777 HAS SOPS 2288305 HAS SOUS 443589 HAS SOUPS 169673 WITH SCORE 174036.777
AT ITER 4493 NEW BEST:: SOT 5552680 SOS 4361817 HAS SOPS 2287389 HAS SOUS 443479 HAS SOUPS 169563 WITH SCORE 173924.817
AT ITER 4498 NEW BEST:: SOT 5552218 SOS 4366437 HAS SOPS 2289237 HAS SOUS 443479 HAS SOUPS 169332 WITH SCORE 173698.437
AT ITER 4547 NEW BEST:: SOT 5552232 SOS 4366465 HAS SOPS 2289265 HAS SOUS 443449 HAS SOUPS 169302 WITH SCORE 173668.465
AT ITER 4571 NEW BEST:: SOT 5552233 SOS 4366467 HAS SOPS 2289179 HAS SOUS 443318 HAS SOUPS 169171 WITH SCORE 173537.467
AT ITER 4572 NEW BEST:: SOT 5552209 SOS 4366419 HAS SOPS 2288927 HAS SOUS 443321 HAS SOUPS 169123 WITH SCORE 173489.419
AT ITER 4610 NEW BEST:: SOT 5552653 SOS 4367308 HAS SOPS 2289127 HAS SOUS 443218 HAS SOUPS 169020 WITH SCORE 173387.308
AT ITER 4612 NEW BEST:: SOT 5550483 SOS 4364674 HAS SOPS 2287463 HAS SOUS 443131 HAS SOUPS 168916 WITH SCORE 173280.674
AT ITER 4630 NEW BEST:: SOT 5549738 SOS 4363688 HAS SOPS 2287085 HAS SOUS 442979 HAS SOUPS 168816 WITH SCORE 173179.688
AT ITER 4661 NEW BEST:: SOT 5549738 SOS 4363688 HAS SOPS 2287085 HAS SOUS 442975 HAS SOUPS 168812 WITH SCORE 173175.688
AT ITER 4680 NEW BEST:: SOT 5549793 SOS 4363622 HAS SOPS 2287085 HAS SOUS 442953 HAS SOUPS 168790 WITH SCORE 173153.622
AT ITER 4681 NEW BEST:: SOT 5549734 SOS 4363048 HAS SOPS 2286739 HAS SOUS 442913 HAS SOUPS 168769 WITH SCORE 173132.048
AT ITER 4691 NEW BEST:: SOT 5549734 SOS 4363048 HAS SOPS 2286739 HAS SOUS 442909 HAS SOUPS 168765 WITH SCORE 173128.048
AT ITER 4702 NEW BEST:: SOT 5549780 SOS 4363094 HAS SOPS 2286785 HAS SOUS 442868 HAS SOUPS 168724 WITH SCORE 173087.094
AT ITER 4703 NEW BEST:: SOT 5549780 SOS 4363094 HAS SOPS 2286785 HAS SOUS 442864 HAS SOUPS 168720 WITH SCORE 173083.094
AT ITER 4721 NEW BEST:: SOT 5548184 SOS 4360273 HAS SOPS 2286337 HAS SOUS 442476 HAS SOUPS 168496 WITH SCORE 172856.273
AT ITER 4726 NEW BEST:: SOT 5548179 SOS 4360263 HAS SOPS 2286337 HAS SOUS 442471 HAS SOUPS 168496 WITH SCORE 172856.263
AT ITER 4747 NEW BEST:: SOT 5547878 SOS 4359962 HAS SOPS 2286079 HAS SOUS 442403 HAS SOUPS 168428 WITH SCORE 172787.962
AT ITER 4757 NEW BEST:: SOT 5547878 SOS 4359962 HAS SOPS 2286079 HAS SOUS 442395 HAS SOUPS 168420 WITH SCORE 172779.962
AT ITER 4776 NEW BEST:: SOT 5545175 SOS 4356918 HAS SOPS 2283805 HAS SOUS 442270 HAS SOUPS 168268 WITH SCORE 172624.918
AT ITER 4801 NEW BEST:: SOT 5545175 SOS 4356918 HAS SOPS 2283805 HAS SOUS 442162 HAS SOUPS 168160 WITH SCORE 172516.918
AT ITER 4809 NEW BEST:: SOT 5544460 SOS 4356091 HAS SOPS 2283332 HAS SOUS 442096 HAS SOUPS 168094 WITH SCORE 172450.09100000001
AT ITER 4851 NEW BEST:: SOT 5544400 SOS 4355971 HAS SOPS 2283212 HAS SOUS 442094 HAS SOUPS 168092 WITH SCORE 172447.971
AT ITER 4857 NEW BEST:: SOT 5543922 SOS 4359627 HAS SOPS 2285284 HAS SOUS 442024 HAS SOUPS 168022 WITH SCORE 172381.627
AT ITER 4887 NEW BEST:: SOT 5543907 SOS 4359197 HAS SOPS 2285034 HAS SOUS 441979 HAS SOUPS 167992 WITH SCORE 172351.197
AT ITER 4891 NEW BEST:: SOT 5543675 SOS 4361565 HAS SOPS 2285986 HAS SOUS 441983 HAS SOUPS 167878 WITH SCORE 172239.565
AT ITER 4907 NEW BEST:: SOT 5541137 SOS 4358235 HAS SOPS 2283958 HAS SOUS 441931 HAS SOUPS 167796 WITH SCORE 172154.235
AT ITER 4924 NEW BEST:: SOT 5541141 SOS 4358243 HAS SOPS 2283966 HAS SOUS 441924 HAS SOUPS 167789 WITH SCORE 172147.243
AT ITER 4926 NEW BEST:: SOT 5534928 SOS 4351774 HAS SOPS 2279969 HAS SOUS 442212 HAS SOUPS 167729 WITH SCORE 172080.774
AT ITER 4936 NEW BEST:: SOT 5534732 SOS 4351578 HAS SOPS 2279801 HAS SOUS 441973 HAS SOUPS 167574 WITH SCORE 171925.578
AT ITER 4959 NEW BEST:: SOT 5534687 SOS 4351488 HAS SOPS 2279711 HAS SOUS 441951 HAS SOUPS 167552 WITH SCORE 171903.488
AT ITER 4960 NEW BEST:: SOT 5533265 SOS 4373684 HAS SOPS 2279687 HAS SOUS 441232 HAS SOUPS 167350 WITH SCORE 171723.684
AT ITER 4979 NEW BEST:: SOT 5533212 SOS 4373578 HAS SOPS 2279687 HAS SOUS 441232 HAS SOUPS 167350 WITH SCORE 171723.578
AT ITER 4999 NEW BEST:: SOT 5532922 SOS 4373108 HAS SOPS 2279577 HAS SOUS 441080 HAS SOUPS 167302 WITH SCORE 171675.108
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-00 (EU( (! ( potential( ( 1 ) <= (tk(P1133)) ) & potential( ( 2 ) <= (tk(P436)) ) )),( potential( ( 3 ) <= (tk(P862)) ) & ( potential( (tk(P813)) <= (tk(P314)) ) | potential( (tk(P766)) <= (tk(P562)) ) ) ) ))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-01 (EG( ( (AG( potential( (tk(P979)) <= (tk(P1176)) ))) | potential( (tk(P102)) <= (tk(P638)) ) )))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-02 (AF(potential( ( 3 ) <= (tk(P523)) )))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-03 (AF((AU( potential( (tk(P172)) <= (tk(P28)) ),potential( ( 2 ) <= (tk(P837)) ) ))))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-04 ( ( ( potential( ( 2 ) <= (tk(P1051)) ) & ( ( potential( ( 3 ) <= (tk(P292)) ) & potential( ( 2 ) <= (tk(P933)) ) ) & ( potential( (tk(P826)) <= (tk(P455)) ) & potential( ( 3 ) <= (tk(P709)) ) ) ) ) | (! ( ( potential( ( 2 ) <= (tk(P492)) ) | potential( ( 3 ) <= (tk(P7)) ) ) & potential( (tk(P363)) <= (tk(P1087)) ) )) ) & (AF(( (! potential( ( 2 ) <= (tk(P424)) )) & potential( ( 3 ) <= (tk(P548)) ) ))) )
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-05 ( potential( (tk(P1085)) <= (tk(P615)) ) & (EF(( ( potential( ( 3 ) <= (tk(P213)) ) | potential( ( 2 ) <= (tk(P922)) ) ) & ( potential( (tk(P1075)) <= (tk(P530)) ) | potential( (tk(P947)) <= (tk(P40)) ) ) ))) )
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-06 (AG( potential( (tk(P175)) <= (tk(P581)) )))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-07 (EU( (EF(potential( ( 2 ) <= (tk(P1)) ))),(EX( potential( ( 2 ) <= (tk(P1120)) ))) ))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-08 (AG( ( (! ( potential( ( 3 ) <= (tk(P300)) ) & potential( (tk(P1103)) <= (tk(P559)) ) )) | (EX( potential( ( 2 ) <= (tk(P244)) ))) )))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-09 ( (EG( (! ( potential( ( 2 ) <= (tk(P596)) ) & potential( (tk(P93)) <= (tk(P27)) ) )))) | potential( ( 1 ) <= (tk(P1157)) ) )
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-10 (AF((EG( ( potential( ( 2 ) <= (tk(P498)) ) & potential( ( 3 ) <= (tk(P903)) ) )))))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-11 (AG( ( potential( (tk(P1145)) <= (tk(P1065)) ) | potential( (tk(P125)) <= (tk(P224)) ) )))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-12 ( (! ( (EX( potential( (tk(P620)) <= (tk(P1112)) ))) | potential( ( 1 ) <= (tk(P1086)) ) )) | (AG( (AF(potential( (tk(P769)) <= (tk(P491)) ))))) )
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-13 (! (EG( ( potential( ( 2 ) <= (tk(P696)) ) | potential( (tk(P374)) <= (tk(P729)) ) ))))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-14 (! (EG( ( ( potential( (tk(P496)) <= (tk(P814)) ) | potential( (tk(P586)) <= (tk(P224)) ) ) & ( potential( ( 2 ) <= (tk(P851)) ) | potential( (tk(P321)) <= (tk(P1028)) ) ) ))))
PROPERTY: DLCshifumi-PT-4a-CTLCardinality-15 (AG( ( (AX( potential( (tk(P347)) <= (tk(P948)) ))) & (EF(potential( ( 2 ) <= (tk(P238)) ))) )))

BK_STOP 1589359786424

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 475 Aborted ${SMART} ${INPUT_SM}

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="DLCshifumi-PT-4a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-4a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900035"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-4a.tgz
mv DLCshifumi-PT-4a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;