About the Execution of smart for DLCshifumi-PT-4a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.060 | 2359426.00 | 2359079.00 | 0.00 | [undef] | Cannot compute |
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-158922806900036.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900036
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-4a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589357748003
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 12 NEW BEST:: SOT 5775362 SOS 4644627 HAS SOPS 2384896 HAS SOUS 551504 HAS SOUPS 261258 WITH SCORE 265902.627
AT ITER 18 NEW BEST:: SOT 5775360 SOS 4644623 HAS SOPS 2385768 HAS SOUS 551283 HAS SOUPS 261256 WITH SCORE 265900.623
AT ITER 19 NEW BEST:: SOT 5774913 SOS 4643729 HAS SOPS 2386430 HAS SOUS 550224 HAS SOUPS 260586 WITH SCORE 265229.729
AT ITER 22 NEW BEST:: SOT 5774110 SOS 4644451 HAS SOPS 2385772 HAS SOUS 549915 HAS SOUPS 260162 WITH SCORE 264806.451
AT ITER 24 NEW BEST:: SOT 5772974 SOS 4647737 HAS SOPS 2386058 HAS SOUS 549427 HAS SOUPS 259424 WITH SCORE 264071.737
AT ITER 27 NEW BEST:: SOT 5772637 SOS 4647063 HAS SOPS 2386740 HAS SOUS 548640 HAS SOUPS 258976 WITH SCORE 263623.063
AT ITER 39 NEW BEST:: SOT 5772635 SOS 4647059 HAS SOPS 2387320 HAS SOUS 548492 HAS SOUPS 258974 WITH SCORE 263621.059
AT ITER 42 NEW BEST:: SOT 5772633 SOS 4647055 HAS SOPS 2387316 HAS SOUS 548470 HAS SOUPS 258952 WITH SCORE 263599.055
AT ITER 44 NEW BEST:: SOT 5771487 SOS 4647763 HAS SOPS 2385888 HAS SOUS 547913 HAS SOUPS 258217 WITH SCORE 262864.763
AT ITER 59 NEW BEST:: SOT 5771487 SOS 4647763 HAS SOPS 2385888 HAS SOUS 547763 HAS SOUPS 258067 WITH SCORE 262714.763
AT ITER 65 NEW BEST:: SOT 5771015 SOS 4647763 HAS SOPS 2385416 HAS SOUS 547468 HAS SOUPS 257772 WITH SCORE 262419.763
AT ITER 86 NEW BEST:: SOT 5771015 SOS 4647763 HAS SOPS 2385416 HAS SOUS 547340 HAS SOUPS 257644 WITH SCORE 262291.763
AT ITER 87 NEW BEST:: SOT 5771015 SOS 4647763 HAS SOPS 2385416 HAS SOUS 547312 HAS SOUPS 257616 WITH SCORE 262263.763
AT ITER 89 NEW BEST:: SOT 5771015 SOS 4647763 HAS SOPS 2385416 HAS SOUS 547308 HAS SOUPS 257612 WITH SCORE 262259.763
AT ITER 90 NEW BEST:: SOT 5771015 SOS 4647687 HAS SOPS 2385340 HAS SOUS 547258 HAS SOUPS 257562 WITH SCORE 262209.687
AT ITER 112 NEW BEST:: SOT 5770597 SOS 4646851 HAS SOPS 2385540 HAS SOUS 546389 HAS SOUPS 256952 WITH SCORE 261598.851
AT ITER 114 NEW BEST:: SOT 5768647 SOS 4615838 HAS SOPS 2387197 HAS SOUS 545180 HAS SOUPS 255743 WITH SCORE 260358.838
AT ITER 118 NEW BEST:: SOT 5767847 SOS 4616790 HAS SOPS 2386517 HAS SOUS 544905 HAS SOUPS 255332 WITH SCORE 259948.79
AT ITER 129 NEW BEST:: SOT 5767481 SOS 4616890 HAS SOPS 2385993 HAS SOUS 544695 HAS SOUPS 255070 WITH SCORE 259686.89
AT ITER 130 NEW BEST:: SOT 5767256 SOS 4616440 HAS SOPS 2386443 HAS SOUS 544245 HAS SOUPS 254845 WITH SCORE 259461.44
AT ITER 140 NEW BEST:: SOT 5766305 SOS 4618654 HAS SOPS 2386149 HAS SOUS 543763 HAS SOUPS 254154 WITH SCORE 258772.654
AT ITER 141 NEW BEST:: SOT 5765820 SOS 4619236 HAS SOPS 2385567 HAS SOUS 543375 HAS SOUPS 253669 WITH SCORE 258288.236
AT ITER 165 NEW BEST:: SOT 5765415 SOS 4620370 HAS SOPS 2386053 HAS SOUS 543098 HAS SOUPS 253392 WITH SCORE 258012.37
AT ITER 176 NEW BEST:: SOT 5762902 SOS 4622864 HAS SOPS 2385523 HAS SOUS 541440 HAS SOUPS 251734 WITH SCORE 256356.864
AT ITER 182 NEW BEST:: SOT 5761879 SOS 4620136 HAS SOPS 2384159 HAS SOUS 540076 HAS SOUPS 250711 WITH SCORE 255331.136
AT ITER 208 NEW BEST:: SOT 5761877 SOS 4620132 HAS SOPS 2384991 HAS SOUS 539865 HAS SOUPS 250709 WITH SCORE 255329.132
AT ITER 220 NEW BEST:: SOT 5761873 SOS 4620124 HAS SOPS 2384983 HAS SOUS 539861 HAS SOUPS 250705 WITH SCORE 255325.124
AT ITER 230 NEW BEST:: SOT 5761544 SOS 4619466 HAS SOPS 2385701 HAS SOUS 539084 HAS SOUPS 250272 WITH SCORE 254891.46600000001
AT ITER 233 NEW BEST:: SOT 5759738 SOS 4624054 HAS SOPS 2387321 HAS SOUS 537904 HAS SOUPS 249092 WITH SCORE 253716.054
AT ITER 245 NEW BEST:: SOT 5757924 SOS 4625454 HAS SOPS 2386689 HAS SOUS 536490 HAS SOUPS 247678 WITH SCORE 252303.454
AT ITER 249 NEW BEST:: SOT 5756560 SOS 4628210 HAS SOPS 2386229 HAS SOUS 536114 HAS SOUPS 247034 WITH SCORE 251662.21
AT ITER 264 NEW BEST:: SOT 5755940 SOS 4656520 HAS SOPS 2385383 HAS SOUS 535301 HAS SOUPS 246221 WITH SCORE 250877.52
AT ITER 267 NEW BEST:: SOT 5754924 SOS 4658676 HAS SOPS 2384875 HAS SOUS 534854 HAS SOUPS 245552 WITH SCORE 250210.676
AT ITER 275 NEW BEST:: SOT 5754602 SOS 4658032 HAS SOPS 2385319 HAS SOUS 534210 HAS SOUPS 245180 WITH SCORE 249838.032
AT ITER 282 NEW BEST:: SOT 5754503 SOS 4658362 HAS SOPS 2385253 HAS SOUS 534144 HAS SOUPS 245081 WITH SCORE 249739.362
AT ITER 284 NEW BEST:: SOT 5753262 SOS 4660780 HAS SOPS 2384779 HAS SOUS 533552 HAS SOUPS 244248 WITH SCORE 248908.78
AT ITER 289 NEW BEST:: SOT 5753138 SOS 4660532 HAS SOPS 2385455 HAS SOUS 533203 HAS SOUPS 244130 WITH SCORE 248790.532
AT ITER 290 NEW BEST:: SOT 5746540 SOS 4652157 HAS SOPS 2381049 HAS SOUS 532847 HAS SOUPS 244005 WITH SCORE 248657.157
AT ITER 310 NEW BEST:: SOT 5746408 SOS 4651893 HAS SOPS 2381313 HAS SOUS 532583 HAS SOUPS 243873 WITH SCORE 248524.893
AT ITER 311 NEW BEST:: SOT 5746406 SOS 4651889 HAS SOPS 2382233 HAS SOUS 532350 HAS SOUPS 243871 WITH SCORE 248522.889
AT ITER 324 NEW BEST:: SOT 5746433 SOS 4651943 HAS SOPS 2382287 HAS SOUS 532304 HAS SOUPS 243825 WITH SCORE 248476.943
AT ITER 350 NEW BEST:: SOT 5746433 SOS 4651943 HAS SOPS 2382287 HAS SOUS 532154 HAS SOUPS 243675 WITH SCORE 248326.943
AT ITER 360 NEW BEST:: SOT 5746351 SOS 4651779 HAS SOPS 2382287 HAS SOUS 531990 HAS SOUPS 243552 WITH SCORE 248203.779
AT ITER 361 NEW BEST:: SOT 5746351 SOS 4651779 HAS SOPS 2382287 HAS SOUS 531932 HAS SOUPS 243494 WITH SCORE 248145.779
AT ITER 371 NEW BEST:: SOT 5745983 SOS 4651043 HAS SOPS 2382287 HAS SOUS 531196 HAS SOUPS 242942 WITH SCORE 247593.043
AT ITER 375 NEW BEST:: SOT 5745983 SOS 4651043 HAS SOPS 2382287 HAS SOUS 531046 HAS SOUPS 242792 WITH SCORE 247443.043
AT ITER 379 NEW BEST:: SOT 5745981 SOS 4651039 HAS SOPS 2382743 HAS SOUS 530929 HAS SOUPS 242790 WITH SCORE 247441.039
AT ITER 397 NEW BEST:: SOT 5745047 SOS 4653395 HAS SOPS 2382723 HAS SOUS 530713 HAS SOUPS 242376 WITH SCORE 247029.395
AT ITER 398 NEW BEST:: SOT 5744918 SOS 4653137 HAS SOPS 2382981 HAS SOUS 530454 HAS SOUPS 242246 WITH SCORE 246899.137
AT ITER 427 NEW BEST:: SOT 5744918 SOS 4653137 HAS SOPS 2382981 HAS SOUS 530304 HAS SOUPS 242096 WITH SCORE 246749.137
AT ITER 433 NEW BEST:: SOT 5743598 SOS 4653137 HAS SOPS 2381661 HAS SOUS 529479 HAS SOUPS 241271 WITH SCORE 245924.137
AT ITER 435 NEW BEST:: SOT 5743514 SOS 4652969 HAS SOPS 2381493 HAS SOUS 529311 HAS SOUPS 241103 WITH SCORE 245755.969
AT ITER 439 NEW BEST:: SOT 5743514 SOS 4652969 HAS SOPS 2381493 HAS SOUS 529213 HAS SOUPS 241005 WITH SCORE 245657.969
AT ITER 443 NEW BEST:: SOT 5743512 SOS 4653009 HAS SOPS 2381533 HAS SOUS 528989 HAS SOUPS 240781 WITH SCORE 245434.009
AT ITER 447 NEW BEST:: SOT 5743512 SOS 4653009 HAS SOPS 2381533 HAS SOUS 528839 HAS SOUPS 240631 WITH SCORE 245284.009
AT ITER 479 NEW BEST:: SOT 5743318 SOS 4652297 HAS SOPS 2381837 HAS SOUS 528391 HAS SOUPS 240437 WITH SCORE 245089.297
AT ITER 490 NEW BEST:: SOT 5742185 SOS 4653043 HAS SOPS 2380483 HAS SOUS 527943 HAS SOUPS 239814 WITH SCORE 244467.043
AT ITER 501 NEW BEST:: SOT 5744657 SOS 4656339 HAS SOPS 2381719 HAS SOUS 527737 HAS SOUPS 239402 WITH SCORE 244058.339
AT ITER 504 NEW BEST:: SOT 5740029 SOS 4650431 HAS SOPS 2378381 HAS SOUS 527582 HAS SOUPS 239323 WITH SCORE 243973.431
AT ITER 508 NEW BEST:: SOT 5738350 SOS 4620237 HAS SOPS 2379631 HAS SOUS 526786 HAS SOUPS 238527 WITH SCORE 243147.237
AT ITER 511 NEW BEST:: SOT 5738147 SOS 4620295 HAS SOPS 2379341 HAS SOUS 526699 HAS SOUPS 238411 WITH SCORE 243031.295
AT ITER 524 NEW BEST:: SOT 5737914 SOS 4624153 HAS SOPS 2381527 HAS SOUS 526677 HAS SOUPS 238389 WITH SCORE 243013.153
AT ITER 536 NEW BEST:: SOT 5737914 SOS 4624153 HAS SOPS 2381527 HAS SOUS 526527 HAS SOUPS 238239 WITH SCORE 242863.153
AT ITER 551 NEW BEST:: SOT 5738643 SOS 4629381 HAS SOPS 2383127 HAS SOUS 525217 HAS SOUPS 236929 WITH SCORE 241558.381
AT ITER 556 NEW BEST:: SOT 5738616 SOS 4629327 HAS SOPS 2383073 HAS SOUS 525194 HAS SOUPS 236906 WITH SCORE 241535.327
AT ITER 564 NEW BEST:: SOT 5738616 SOS 4629327 HAS SOPS 2383073 HAS SOUS 525092 HAS SOUPS 236804 WITH SCORE 241433.327
AT ITER 577 NEW BEST:: SOT 5738343 SOS 4628781 HAS SOPS 2384119 HAS SOUS 524373 HAS SOUPS 236483 WITH SCORE 241111.781
AT ITER 592 NEW BEST:: SOT 5733665 SOS 4621953 HAS SOPS 2381001 HAS SOUS 523852 HAS SOUPS 236333 WITH SCORE 240954.953
AT ITER 607 NEW BEST:: SOT 5733655 SOS 4621933 HAS SOPS 2381573 HAS SOUS 523694 HAS SOUPS 236323 WITH SCORE 240944.933
AT ITER 611 NEW BEST:: SOT 5733116 SOS 4622395 HAS SOPS 2381111 HAS SOUS 523540 HAS SOUPS 236092 WITH SCORE 240714.395
AT ITER 617 NEW BEST:: SOT 5727020 SOS 4614824 HAS SOPS 2376718 HAS SOUS 523272 HAS SOUPS 236029 WITH SCORE 240643.824
AT ITER 626 NEW BEST:: SOT 5727018 SOS 4614820 HAS SOPS 2378134 HAS SOUS 522915 HAS SOUPS 236027 WITH SCORE 240641.82
AT ITER 628 NEW BEST:: SOT 5726179 SOS 4616918 HAS SOPS 2378180 HAS SOUS 522667 HAS SOUPS 235608 WITH SCORE 240224.918
AT ITER 631 NEW BEST:: SOT 5725605 SOS 4617410 HAS SOPS 2377688 HAS SOUS 522421 HAS SOUPS 235280 WITH SCORE 239897.41
AT ITER 636 NEW BEST:: SOT 5725509 SOS 4617218 HAS SOPS 2377880 HAS SOUS 522229 HAS SOUPS 235184 WITH SCORE 239801.218
AT ITER 650 NEW BEST:: SOT 5725877 SOS 4593578 HAS SOPS 2377608 HAS SOUS 521548 HAS SOUPS 234808 WITH SCORE 239401.578
AT ITER 674 NEW BEST:: SOT 5725809 SOS 4593442 HAS SOPS 2377964 HAS SOUS 521357 HAS SOUPS 234740 WITH SCORE 239333.442
AT ITER 676 NEW BEST:: SOT 5722211 SOS 4586997 HAS SOPS 2376436 HAS SOUS 520964 HAS SOUPS 234714 WITH SCORE 239300.997
AT ITER 677 NEW BEST:: SOT 5720802 SOS 4587427 HAS SOPS 2374430 HAS SOUS 520158 HAS SOUPS 233705 WITH SCORE 238292.427
AT ITER 688 NEW BEST:: SOT 5716636 SOS 4579908 HAS SOPS 2372818 HAS SOUS 519618 HAS SOUPS 233687 WITH SCORE 238266.908
AT ITER 689 NEW BEST:: SOT 5716636 SOS 4579908 HAS SOPS 2372818 HAS SOUS 519504 HAS SOUPS 233573 WITH SCORE 238152.908
AT ITER 693 NEW BEST:: SOT 5715336 SOS 4582832 HAS SOPS 2373422 HAS SOUS 519323 HAS SOUPS 233392 WITH SCORE 237974.832
AT ITER 696 NEW BEST:: SOT 5715255 SOS 4582670 HAS SOPS 2373712 HAS SOUS 519089 HAS SOUPS 233271 WITH SCORE 237853.67
AT ITER 704 NEW BEST:: SOT 5714758 SOS 4582812 HAS SOPS 2373286 HAS SOUS 518817 HAS SOUPS 232999 WITH SCORE 237581.812
AT ITER 719 NEW BEST:: SOT 5714756 SOS 4582808 HAS SOPS 2373282 HAS SOUS 518807 HAS SOUPS 232989 WITH SCORE 237571.808
AT ITER 731 NEW BEST:: SOT 5714490 SOS 4582276 HAS SOPS 2373282 HAS SOUS 518408 HAS SOUPS 232723 WITH SCORE 237305.276
AT ITER 752 NEW BEST:: SOT 5714449 SOS 4582194 HAS SOPS 2373282 HAS SOUS 518367 HAS SOUPS 232723 WITH SCORE 237305.194
AT ITER 760 NEW BEST:: SOT 5714040 SOS 4581204 HAS SOPS 2373492 HAS SOUS 517468 HAS SOUPS 232124 WITH SCORE 236705.204
AT ITER 766 NEW BEST:: SOT 5713830 SOS 4581264 HAS SOPS 2373192 HAS SOUS 517378 HAS SOUPS 232004 WITH SCORE 236585.264
AT ITER 768 NEW BEST:: SOT 5713859 SOS 4579738 HAS SOPS 2372194 HAS SOUS 517341 HAS SOUPS 231967 WITH SCORE 236546.738
AT ITER 772 NEW BEST:: SOT 5713907 SOS 4579834 HAS SOPS 2370698 HAS SOUS 517611 HAS SOUPS 231839 WITH SCORE 236418.834
AT ITER 775 NEW BEST:: SOT 5713667 SOS 4579354 HAS SOPS 2371706 HAS SOUS 517175 HAS SOUPS 231775 WITH SCORE 236354.354
AT ITER 795 NEW BEST:: SOT 5713571 SOS 4579162 HAS SOPS 2371514 HAS SOUS 516983 HAS SOUPS 231583 WITH SCORE 236162.162
AT ITER 796 NEW BEST:: SOT 5709429 SOS 4571683 HAS SOPS 2369870 HAS SOUS 516606 HAS SOUPS 231549 WITH SCORE 236120.683
AT ITER 800 NEW BEST:: SOT 5709429 SOS 4571683 HAS SOPS 2369870 HAS SOUS 516456 HAS SOUPS 231399 WITH SCORE 235970.683
AT ITER 807 NEW BEST:: SOT 5709429 SOS 4571683 HAS SOPS 2369870 HAS SOUS 516318 HAS SOUPS 231261 WITH SCORE 235832.683
AT ITER 813 NEW BEST:: SOT 5709429 SOS 4571683 HAS SOPS 2369870 HAS SOUS 516315 HAS SOUPS 231259 WITH SCORE 235830.683
AT ITER 823 NEW BEST:: SOT 5708908 SOS 4569381 HAS SOPS 2367568 HAS SOUS 515886 HAS SOUPS 230830 WITH SCORE 235399.381
AT ITER 826 NEW BEST:: SOT 5708084 SOS 4575757 HAS SOPS 2371232 HAS SOUS 515515 HAS SOUPS 230459 WITH SCORE 235034.757
AT ITER 830 NEW BEST:: SOT 5707093 SOS 4580783 HAS SOPS 2373254 HAS SOUS 515247 HAS SOUPS 230010 WITH SCORE 234590.783
AT ITER 831 NEW BEST:: SOT 5707091 SOS 4580779 HAS SOPS 2373998 HAS SOUS 515058 HAS SOUPS 230008 WITH SCORE 234588.779
AT ITER 843 NEW BEST:: SOT 5707372 SOS 4581624 HAS SOPS 2373857 HAS SOUS 515237 HAS SOUPS 229982 WITH SCORE 234563.624
AT ITER 845 NEW BEST:: SOT 5706637 SOS 4582026 HAS SOPS 2372855 HAS SOUS 515054 HAS SOUPS 229682 WITH SCORE 234264.026
AT ITER 846 NEW BEST:: SOT 5706385 SOS 4583202 HAS SOPS 2373359 HAS SOUS 514886 HAS SOUPS 229514 WITH SCORE 234097.202
AT ITER 849 NEW BEST:: SOT 5706291 SOS 4583014 HAS SOPS 2373171 HAS SOUS 514838 HAS SOUPS 229466 WITH SCORE 234049.014
AT ITER 864 NEW BEST:: SOT 5704016 SOS 4554986 HAS SOPS 2374577 HAS SOUS 514673 HAS SOUPS 229301 WITH SCORE 233855.986
AT ITER 901 NEW BEST:: SOT 5704014 SOS 4554626 HAS SOPS 2374217 HAS SOUS 514543 HAS SOUPS 229171 WITH SCORE 233725.626
AT ITER 903 NEW BEST:: SOT 5704014 SOS 4554626 HAS SOPS 2374217 HAS SOUS 514507 HAS SOUPS 229135 WITH SCORE 233689.626
AT ITER 912 NEW BEST:: SOT 5702172 SOS 4557402 HAS SOPS 2375265 HAS SOUS 514560 HAS SOUPS 229100 WITH SCORE 233657.402
AT ITER 928 NEW BEST:: SOT 5702011 SOS 4557080 HAS SOPS 2374943 HAS SOUS 514399 HAS SOUPS 228939 WITH SCORE 233496.08
AT ITER 933 NEW BEST:: SOT 5702009 SOS 4556980 HAS SOPS 2374843 HAS SOUS 514340 HAS SOUPS 228880 WITH SCORE 233436.98
AT ITER 945 NEW BEST:: SOT 5699208 SOS 4560942 HAS SOPS 2375325 HAS SOUS 512704 HAS SOUPS 227244 WITH SCORE 231804.942
AT ITER 951 NEW BEST:: SOT 5698336 SOS 4563178 HAS SOPS 2375851 HAS SOUS 511926 HAS SOUPS 226466 WITH SCORE 231029.178
AT ITER 954 NEW BEST:: SOT 5698336 SOS 4563178 HAS SOPS 2375851 HAS SOUS 511848 HAS SOUPS 226388 WITH SCORE 230951.178
AT ITER 957 NEW BEST:: SOT 5697722 SOS 4561002 HAS SOPS 2375170 HAS SOUS 511145 HAS SOUPS 226043 WITH SCORE 230604.002
AT ITER 979 NEW BEST:: SOT 5696741 SOS 4563816 HAS SOPS 2375236 HAS SOUS 510576 HAS SOUPS 225245 WITH SCORE 229808.816
AT ITER 992 NEW BEST:: SOT 5696194 SOS 4567450 HAS SOPS 2376506 HAS SOUS 510423 HAS SOUPS 224895 WITH SCORE 229462.45
AT ITER 993 NEW BEST:: SOT 5695906 SOS 4566874 HAS SOPS 2376506 HAS SOUS 509847 HAS SOUPS 224463 WITH SCORE 229029.874
AT ITER 999 NEW BEST:: SOT 5695907 SOS 4570418 HAS SOPS 2378364 HAS SOUS 509698 HAS SOUPS 224314 WITH SCORE 228884.418
AT ITER 1000 NEW BEST:: SOT 5695719 SOS 4569666 HAS SOPS 2377988 HAS SOUS 509320 HAS SOUPS 224030 WITH SCORE 228599.666
AT ITER 1013 NEW BEST:: SOT 5694773 SOS 4567774 HAS SOPS 2377040 HAS SOUS 508622 HAS SOUPS 223568 WITH SCORE 228135.774
AT ITER 1016 NEW BEST:: SOT 5694324 SOS 4566876 HAS SOPS 2377118 HAS SOUS 507705 HAS SOUPS 222895 WITH SCORE 227461.876
AT ITER 1019 NEW BEST:: SOT 5693812 SOS 4565696 HAS SOPS 2375938 HAS SOUS 507365 HAS SOUPS 222555 WITH SCORE 227120.696
AT ITER 1022 NEW BEST:: SOT 5692531 SOS 4569770 HAS SOPS 2377164 HAS SOUS 506782 HAS SOUPS 221972 WITH SCORE 226541.77
AT ITER 1035 NEW BEST:: SOT 5692525 SOS 4569758 HAS SOPS 2377140 HAS SOUS 506779 HAS SOUPS 221966 WITH SCORE 226535.758
AT ITER 1043 NEW BEST:: SOT 5689866 SOS 4572584 HAS SOPS 2376806 HAS SOUS 505440 HAS SOUPS 220627 WITH SCORE 225199.584
AT ITER 1082 NEW BEST:: SOT 5689180 SOS 4572832 HAS SOPS 2375878 HAS SOUS 505159 HAS SOUPS 220248 WITH SCORE 224820.832
AT ITER 1099 NEW BEST:: SOT 5689168 SOS 4572804 HAS SOPS 2375866 HAS SOUS 505151 HAS SOUPS 220244 WITH SCORE 224816.804
AT ITER 1106 NEW BEST:: SOT 5694114 SOS 4577847 HAS SOPS 2379730 HAS SOUS 505294 HAS SOUPS 220077 WITH SCORE 224654.847
AT ITER 1107 NEW BEST:: SOT 5693583 SOS 4590389 HAS SOPS 2378668 HAS SOUS 504948 HAS SOUPS 219552 WITH SCORE 224142.389
AT ITER 1108 NEW BEST:: SOT 5693135 SOS 4588237 HAS SOPS 2377772 HAS SOUS 503622 HAS SOUPS 218540 WITH SCORE 223128.237
AT ITER 1113 NEW BEST:: SOT 5693053 SOS 4588073 HAS SOPS 2377608 HAS SOUS 503620 HAS SOUPS 218538 WITH SCORE 223126.073
AT ITER 1125 NEW BEST:: SOT 5693359 SOS 4588519 HAS SOPS 2377844 HAS SOUS 503611 HAS SOUPS 218529 WITH SCORE 223117.519
AT ITER 1132 NEW BEST:: SOT 5690278 SOS 4584626 HAS SOPS 2375091 HAS SOUS 503493 HAS SOUPS 218331 WITH SCORE 222915.626
AT ITER 1137 NEW BEST:: SOT 5690278 SOS 4584626 HAS SOPS 2375091 HAS SOUS 503343 HAS SOUPS 218181 WITH SCORE 222765.626
AT ITER 1138 NEW BEST:: SOT 5690285 SOS 4584632 HAS SOPS 2375097 HAS SOUS 503274 HAS SOUPS 218112 WITH SCORE 222696.632
AT ITER 1164 NEW BEST:: SOT 5689258 SOS 4584866 HAS SOPS 2374187 HAS SOUS 502793 HAS SOUPS 217631 WITH SCORE 222215.866
AT ITER 1174 NEW BEST:: SOT 5688818 SOS 4583510 HAS SOPS 2374491 HAS SOUS 501858 HAS SOUPS 217111 WITH SCORE 221694.51
AT ITER 1185 NEW BEST:: SOT 5683466 SOS 4576394 HAS SOPS 2370861 HAS SOUS 501580 HAS SOUPS 217061 WITH SCORE 221637.394
AT ITER 1195 NEW BEST:: SOT 5682498 SOS 4576666 HAS SOPS 2369477 HAS SOUS 501026 HAS SOUPS 216369 WITH SCORE 220945.666
AT ITER 1199 NEW BEST:: SOT 5682498 SOS 4576666 HAS SOPS 2369477 HAS SOUS 501004 HAS SOUPS 216347 WITH SCORE 220923.666
AT ITER 1205 NEW BEST:: SOT 5682352 SOS 4576305 HAS SOPS 2370537 HAS SOUS 500550 HAS SOUPS 216240 WITH SCORE 220816.305
AT ITER 1209 NEW BEST:: SOT 5682352 SOS 4576233 HAS SOPS 2370789 HAS SOUS 500469 HAS SOUPS 216240 WITH SCORE 220816.233
AT ITER 1224 NEW BEST:: SOT 5682352 SOS 4576233 HAS SOPS 2370789 HAS SOUS 500433 HAS SOUPS 216204 WITH SCORE 220780.233
AT ITER 1228 NEW BEST:: SOT 5682423 SOS 4575905 HAS SOPS 2370931 HAS SOUS 500191 HAS SOUPS 215964 WITH SCORE 220539.905
AT ITER 1260 NEW BEST:: SOT 5681901 SOS 4580249 HAS SOPS 2373283 HAS SOUS 500015 HAS SOUPS 215788 WITH SCORE 220368.249
AT ITER 1261 NEW BEST:: SOT 5681901 SOS 4580249 HAS SOPS 2373283 HAS SOUS 499953 HAS SOUPS 215726 WITH SCORE 220306.249
AT ITER 1264 NEW BEST:: SOT 5681399 SOS 4579245 HAS SOPS 2374251 HAS SOUS 499058 HAS SOUPS 215324 WITH SCORE 219903.245
AT ITER 1287 NEW BEST:: SOT 5679901 SOS 4582517 HAS SOPS 2374803 HAS SOUS 497929 HAS SOUPS 214195 WITH SCORE 218777.517
AT ITER 1293 NEW BEST:: SOT 5679799 SOS 4582313 HAS SOPS 2373971 HAS SOUS 497889 HAS SOUPS 213998 WITH SCORE 218580.313
AT ITER 1299 NEW BEST:: SOT 5679797 SOS 4582309 HAS SOPS 2375207 HAS SOUS 497577 HAS SOUPS 213996 WITH SCORE 218578.309
AT ITER 1312 NEW BEST:: SOT 5679599 SOS 4581913 HAS SOPS 2374811 HAS SOUS 497573 HAS SOUPS 213992 WITH SCORE 218573.913
AT ITER 1323 NEW BEST:: SOT 5679419 SOS 4581037 HAS SOPS 2374655 HAS SOUS 497213 HAS SOUPS 213812 WITH SCORE 218393.037
AT ITER 1331 NEW BEST:: SOT 5679509 SOS 4580895 HAS SOPS 2374513 HAS SOUS 497159 HAS SOUPS 213758 WITH SCORE 218338.895
AT ITER 1336 NEW BEST:: SOT 5677202 SOS 4584505 HAS SOPS 2375067 HAS SOUS 495632 HAS SOUPS 212231 WITH SCORE 216815.505
AT ITER 1339 NEW BEST:: SOT 5676895 SOS 4583891 HAS SOPS 2374453 HAS SOUS 495214 HAS SOUPS 211813 WITH SCORE 216396.891
AT ITER 1348 NEW BEST:: SOT 5675438 SOS 4591293 HAS SOPS 2378343 HAS SOUS 494462 HAS SOUPS 211061 WITH SCORE 215652.293
AT ITER 1350 NEW BEST:: SOT 5675438 SOS 4591293 HAS SOPS 2378343 HAS SOUS 494352 HAS SOUPS 210951 WITH SCORE 215542.293
AT ITER 1367 NEW BEST:: SOT 5675438 SOS 4590845 HAS SOPS 2378343 HAS SOUS 494128 HAS SOUPS 210839 WITH SCORE 215429.845
AT ITER 1379 NEW BEST:: SOT 5675000 SOS 4589847 HAS SOPS 2377345 HAS SOUS 493496 HAS SOUPS 210207 WITH SCORE 214796.847
AT ITER 1395 NEW BEST:: SOT 5674388 SOS 4591127 HAS SOPS 2377125 HAS SOUS 493305 HAS SOUPS 209891 WITH SCORE 214482.127
AT ITER 1406 NEW BEST:: SOT 5669654 SOS 4585005 HAS SOPS 2373801 HAS SOUS 493036 HAS SOUPS 209751 WITH SCORE 214336.005
AT ITER 1413 NEW BEST:: SOT 5664312 SOS 4578059 HAS SOPS 2370019 HAS SOUS 492723 HAS SOUPS 209591 WITH SCORE 214169.059
AT ITER 1430 NEW BEST:: SOT 5664804 SOS 4579355 HAS SOPS 2370109 HAS SOUS 492575 HAS SOUPS 209242 WITH SCORE 213821.355
AT ITER 1431 NEW BEST:: SOT 5664419 SOS 4579465 HAS SOPS 2369559 HAS SOUS 492355 HAS SOUPS 208967 WITH SCORE 213546.465
AT ITER 1443 NEW BEST:: SOT 5664363 SOS 4579353 HAS SOPS 2369335 HAS SOUS 492411 HAS SOUPS 208967 WITH SCORE 213546.353
AT ITER 1448 NEW BEST:: SOT 5664363 SOS 4579353 HAS SOPS 2369335 HAS SOUS 492261 HAS SOUPS 208817 WITH SCORE 213396.353
AT ITER 1457 NEW BEST:: SOT 5663698 SOS 4579923 HAS SOPS 2368765 HAS SOUS 491976 HAS SOUPS 208437 WITH SCORE 213016.923
AT ITER 1458 NEW BEST:: SOT 5663642 SOS 4579947 HAS SOPS 2368693 HAS SOUS 491954 HAS SOUPS 208407 WITH SCORE 212986.947
AT ITER 1464 NEW BEST:: SOT 5662949 SOS 4583941 HAS SOPS 2369303 HAS SOUS 491752 HAS SOUPS 207923 WITH SCORE 212506.941
AT ITER 1465 NEW BEST:: SOT 5662816 SOS 4583579 HAS SOPS 2369725 HAS SOUS 491399 HAS SOUPS 207766 WITH SCORE 212349.579
AT ITER 1481 NEW BEST:: SOT 5661625 SOS 4590349 HAS SOPS 2373095 HAS SOUS 490769 HAS SOUPS 207136 WITH SCORE 211726.349
AT ITER 1482 NEW BEST:: SOT 5661108 SOS 4593671 HAS SOPS 2374897 HAS SOUS 490442 HAS SOUPS 206809 WITH SCORE 211402.671
AT ITER 1490 NEW BEST:: SOT 5660628 SOS 4593203 HAS SOPS 2374429 HAS SOUS 490331 HAS SOUPS 206698 WITH SCORE 211291.203
AT ITER 1496 NEW BEST:: SOT 5660440 SOS 4592827 HAS SOPS 2373429 HAS SOUS 490006 HAS SOUPS 206217 WITH SCORE 210809.827
AT ITER 1497 NEW BEST:: SOT 5659133 SOS 4594913 HAS SOPS 2373555 HAS SOUS 489242 HAS SOUPS 205453 WITH SCORE 210047.913
AT ITER 1498 NEW BEST:: SOT 5659021 SOS 4594689 HAS SOPS 2374139 HAS SOUS 488928 HAS SOUPS 205341 WITH SCORE 209935.689
AT ITER 1500 NEW BEST:: SOT 5659021 SOS 4594689 HAS SOPS 2374139 HAS SOUS 488894 HAS SOUPS 205307 WITH SCORE 209901.689
AT ITER 1543 NEW BEST:: SOT 5658835 SOS 4594317 HAS SOPS 2373767 HAS SOUS 488612 HAS SOUPS 205025 WITH SCORE 209619.317
AT ITER 1562 NEW BEST:: SOT 5658753 SOS 4594221 HAS SOPS 2373671 HAS SOUS 488530 HAS SOUPS 204943 WITH SCORE 209537.221
AT ITER 1567 NEW BEST:: SOT 5658749 SOS 4594217 HAS SOPS 2373667 HAS SOUS 488526 HAS SOUPS 204939 WITH SCORE 209533.217
AT ITER 1570 NEW BEST:: SOT 5658580 SOS 4593879 HAS SOPS 2373329 HAS SOUS 488250 HAS SOUPS 204663 WITH SCORE 209256.879
AT ITER 1571 NEW BEST:: SOT 5658427 SOS 4594073 HAS SOPS 2373523 HAS SOUS 487807 HAS SOUPS 204220 WITH SCORE 208814.073
AT ITER 1590 NEW BEST:: SOT 5657448 SOS 4597455 HAS SOPS 2374833 HAS SOUS 487661 HAS SOUPS 204074 WITH SCORE 208671.455
AT ITER 1595 NEW BEST:: SOT 5655358 SOS 4594543 HAS SOPS 2373323 HAS SOUS 487620 HAS SOUPS 204076 WITH SCORE 208670.543
AT ITER 1596 NEW BEST:: SOT 5655358 SOS 4594543 HAS SOPS 2373323 HAS SOUS 487518 HAS SOUPS 203974 WITH SCORE 208568.543
AT ITER 1609 NEW BEST:: SOT 5653601 SOS 4595301 HAS SOPS 2372749 HAS SOUS 486186 HAS SOUPS 202827 WITH SCORE 207422.301
AT ITER 1621 NEW BEST:: SOT 5653601 SOS 4595301 HAS SOPS 2372749 HAS SOUS 485984 HAS SOUPS 202625 WITH SCORE 207220.301
AT ITER 1627 NEW BEST:: SOT 5653523 SOS 4595145 HAS SOPS 2372593 HAS SOUS 485758 HAS SOUPS 202399 WITH SCORE 206994.145
AT ITER 1630 NEW BEST:: SOT 5653522 SOS 4595066 HAS SOPS 2372592 HAS SOUS 485756 HAS SOUPS 202398 WITH SCORE 206993.066
AT ITER 1632 NEW BEST:: SOT 5652396 SOS 4599818 HAS SOPS 2375574 HAS SOUS 485395 HAS SOUPS 202164 WITH SCORE 206763.818
AT ITER 1633 NEW BEST:: SOT 5652418 SOS 4599970 HAS SOPS 2375138 HAS SOUS 485445 HAS SOUPS 202067 WITH SCORE 206666.97
AT ITER 1638 NEW BEST:: SOT 5652349 SOS 4599832 HAS SOPS 2375000 HAS SOUS 485445 HAS SOUPS 202067 WITH SCORE 206666.832
AT ITER 1640 NEW BEST:: SOT 5651907 SOS 4598948 HAS SOPS 2375000 HAS SOUS 484561 HAS SOUPS 201404 WITH SCORE 206002.948
AT ITER 1650 NEW BEST:: SOT 5651907 SOS 4598948 HAS SOPS 2375000 HAS SOUS 484545 HAS SOUPS 201388 WITH SCORE 205986.948
AT ITER 1651 NEW BEST:: SOT 5651907 SOS 4598948 HAS SOPS 2375000 HAS SOUS 484453 HAS SOUPS 201296 WITH SCORE 205894.948
AT ITER 1685 NEW BEST:: SOT 5651907 SOS 4598948 HAS SOPS 2375000 HAS SOUS 484303 HAS SOUPS 201146 WITH SCORE 205744.948
AT ITER 1687 NEW BEST:: SOT 5651790 SOS 4598714 HAS SOPS 2374766 HAS SOUS 484186 HAS SOUPS 201029 WITH SCORE 205627.714
AT ITER 1689 NEW BEST:: SOT 5651814 SOS 4598186 HAS SOPS 2374430 HAS SOUS 484186 HAS SOUPS 201029 WITH SCORE 205627.186
AT ITER 1704 NEW BEST:: SOT 5651600 SOS 4597758 HAS SOPS 2374002 HAS SOUS 483865 HAS SOUPS 200708 WITH SCORE 205305.758
AT ITER 1714 NEW BEST:: SOT 5649667 SOS 4603436 HAS SOPS 2375728 HAS SOUS 483640 HAS SOUPS 200483 WITH SCORE 205086.436
AT ITER 1715 NEW BEST:: SOT 5649593 SOS 4602992 HAS SOPS 2375580 HAS SOUS 483492 HAS SOUPS 200409 WITH SCORE 205011.992
AT ITER 1719 NEW BEST:: SOT 5648949 SOS 4601704 HAS SOPS 2374292 HAS SOUS 482814 HAS SOUPS 199731 WITH SCORE 204332.704
AT ITER 1720 NEW BEST:: SOT 5648841 SOS 4601542 HAS SOPS 2374184 HAS SOUS 482760 HAS SOUPS 199677 WITH SCORE 204278.542
AT ITER 1734 NEW BEST:: SOT 5648763 SOS 4601386 HAS SOPS 2374028 HAS SOUS 482682 HAS SOUPS 199599 WITH SCORE 204200.386
AT ITER 1747 NEW BEST:: SOT 5648955 SOS 4598890 HAS SOPS 2372972 HAS SOUS 482496 HAS SOUPS 199533 WITH SCORE 204131.89
AT ITER 1757 NEW BEST:: SOT 5648922 SOS 4598824 HAS SOPS 2372906 HAS SOUS 482463 HAS SOUPS 199500 WITH SCORE 204098.824
AT ITER 1760 NEW BEST:: SOT 5648922 SOS 4598824 HAS SOPS 2372906 HAS SOUS 482427 HAS SOUPS 199464 WITH SCORE 204062.824
AT ITER 1768 NEW BEST:: SOT 5648922 SOS 4598824 HAS SOPS 2372906 HAS SOUS 482363 HAS SOUPS 199400 WITH SCORE 203998.824
AT ITER 1771 NEW BEST:: SOT 5648881 SOS 4598742 HAS SOPS 2372824 HAS SOUS 482322 HAS SOUPS 199359 WITH SCORE 203957.742
AT ITER 1773 NEW BEST:: SOT 5647666 SOS 4599024 HAS SOPS 2372894 HAS SOUS 481848 HAS SOUPS 198998 WITH SCORE 203597.024
AT ITER 1806 NEW BEST:: SOT 5646714 SOS 4599876 HAS SOPS 2372626 HAS SOUS 481259 HAS SOUPS 198409 WITH SCORE 203008.876
AT ITER 1814 NEW BEST:: SOT 5646741 SOS 4599930 HAS SOPS 2372346 HAS SOUS 481371 HAS SOUPS 198354 WITH SCORE 202953.93
AT ITER 1845 NEW BEST:: SOT 5646209 SOS 4600386 HAS SOPS 2371890 HAS SOUS 481143 HAS SOUPS 198050 WITH SCORE 202650.386
AT ITER 1851 NEW BEST:: SOT 5645988 SOS 4599944 HAS SOPS 2371448 HAS SOUS 480832 HAS SOUPS 197739 WITH SCORE 202338.944
AT ITER 1857 NEW BEST:: SOT 5646129 SOS 4600226 HAS SOPS 2371164 HAS SOUS 480497 HAS SOUPS 197402 WITH SCORE 202002.226
AT ITER 1859 NEW BEST:: SOT 5647596 SOS 4602783 HAS SOPS 2371626 HAS SOUS 480393 HAS SOUPS 197293 WITH SCORE 201895.783
AT ITER 1874 NEW BEST:: SOT 5647446 SOS 4602983 HAS SOPS 2371626 HAS SOUS 480368 HAS SOUPS 197268 WITH SCORE 201870.983
AT ITER 1886 NEW BEST:: SOT 5647237 SOS 4602565 HAS SOPS 2372044 HAS SOUS 479950 HAS SOUPS 197059 WITH SCORE 201661.565
AT ITER 1892 NEW BEST:: SOT 5647237 SOS 4602565 HAS SOPS 2372044 HAS SOUS 479938 HAS SOUPS 197047 WITH SCORE 201649.565
AT ITER 1897 NEW BEST:: SOT 5646329 SOS 4601717 HAS SOPS 2371196 HAS SOUS 479754 HAS SOUPS 196863 WITH SCORE 201464.717
AT ITER 1899 NEW BEST:: SOT 5646373 SOS 4601129 HAS SOPS 2370608 HAS SOUS 479517 HAS SOUPS 196626 WITH SCORE 201227.129
AT ITER 1902 NEW BEST:: SOT 5646313 SOS 4600341 HAS SOPS 2370632 HAS SOUS 479130 HAS SOUPS 196442 WITH SCORE 201042.34100000001
AT ITER 1908 NEW BEST:: SOT 5647940 SOS 4602483 HAS SOPS 2371584 HAS SOUS 479030 HAS SOUPS 196255 WITH SCORE 200857.483
AT ITER 1914 NEW BEST:: SOT 5647721 SOS 4602045 HAS SOPS 2370920 HAS SOUS 479004 HAS SOUPS 196118 WITH SCORE 200720.045
AT ITER 1938 NEW BEST:: SOT 5647213 SOS 4605101 HAS SOPS 2372568 HAS SOUS 478971 HAS SOUPS 196085 WITH SCORE 200690.101
AT ITER 1988 NEW BEST:: SOT 5647043 SOS 4604761 HAS SOPS 2372228 HAS SOUS 478968 HAS SOUPS 196082 WITH SCORE 200686.761
AT ITER 2001 NEW BEST:: SOT 5648962 SOS 4613575 HAS SOPS 2377140 HAS SOUS 478651 HAS SOUPS 195765 WITH SCORE 200378.575
AT ITER 2003 NEW BEST:: SOT 5648822 SOS 4612279 HAS SOPS 2376860 HAS SOUS 478249 HAS SOUPS 195617 WITH SCORE 200229.279
AT ITER 2014 NEW BEST:: SOT 5648724 SOS 4612111 HAS SOPS 2376692 HAS SOUS 478151 HAS SOUPS 195519 WITH SCORE 200131.111
AT ITER 2019 NEW BEST:: SOT 5647543 SOS 4615049 HAS SOPS 2376402 HAS SOUS 477967 HAS SOUPS 195066 WITH SCORE 199681.049
AT ITER 2048 NEW BEST:: SOT 5647543 SOS 4615049 HAS SOPS 2376402 HAS SOUS 477853 HAS SOUPS 194952 WITH SCORE 199567.049
AT ITER 2061 NEW BEST:: SOT 5642582 SOS 4607948 HAS SOPS 2373111 HAS SOUS 477186 HAS SOUPS 194666 WITH SCORE 199273.948
AT ITER 2084 NEW BEST:: SOT 5641993 SOS 4611282 HAS SOPS 2373601 HAS SOUS 477337 HAS SOUPS 194580 WITH SCORE 199191.282
AT ITER 2089 NEW BEST:: SOT 5641993 SOS 4611282 HAS SOPS 2373601 HAS SOUS 477303 HAS SOUPS 194546 WITH SCORE 199157.282
AT ITER 2090 NEW BEST:: SOT 5641991 SOS 4611278 HAS SOPS 2374197 HAS SOUS 477151 HAS SOUPS 194544 WITH SCORE 199155.278
AT ITER 2091 NEW BEST:: SOT 5642187 SOS 4604018 HAS SOPS 2370309 HAS SOUS 476785 HAS SOUPS 194459 WITH SCORE 199063.018
AT ITER 2104 NEW BEST:: SOT 5645787 SOS 4608818 HAS SOPS 2372109 HAS SOUS 477148 HAS SOUPS 194294 WITH SCORE 198902.818
AT ITER 2112 NEW BEST:: SOT 5645873 SOS 4608990 HAS SOPS 2371381 HAS SOUS 477065 HAS SOUPS 193986 WITH SCORE 198594.99
AT ITER 2125 NEW BEST:: SOT 5645827 SOS 4608898 HAS SOPS 2371289 HAS SOUS 477019 HAS SOUPS 193940 WITH SCORE 198548.898
AT ITER 2136 NEW BEST:: SOT 5645719 SOS 4608682 HAS SOPS 2371073 HAS SOUS 476911 HAS SOUPS 193832 WITH SCORE 198440.682
AT ITER 2144 NEW BEST:: SOT 5645566 SOS 4608376 HAS SOPS 2371327 HAS SOUS 476520 HAS SOUPS 193581 WITH SCORE 198189.376
AT ITER 2183 NEW BEST:: SOT 5645407 SOS 4607898 HAS SOPS 2370849 HAS SOUS 476202 HAS SOUPS 193263 WITH SCORE 197870.898
AT ITER 2195 NEW BEST:: SOT 5643516 SOS 4610398 HAS SOPS 2371065 HAS SOUS 475231 HAS SOUPS 192292 WITH SCORE 196902.398
AT ITER 2196 NEW BEST:: SOT 5642235 SOS 4609117 HAS SOPS 2369967 HAS SOUS 475231 HAS SOUPS 192292 WITH SCORE 196901.117
AT ITER 2212 NEW BEST:: SOT 5642196 SOS 4609351 HAS SOPS 2370097 HAS SOUS 475205 HAS SOUPS 192266 WITH SCORE 196875.351
AT ITER 2223 NEW BEST:: SOT 5642154 SOS 4609111 HAS SOPS 2370221 HAS SOUS 475099 HAS SOUPS 192251 WITH SCORE 196860.111
AT ITER 2236 NEW BEST:: SOT 5645189 SOS 4613157 HAS SOPS 2371739 HAS SOUS 475258 HAS SOUPS 192066 WITH SCORE 196679.157
AT ITER 2241 NEW BEST:: SOT 5644931 SOS 4612641 HAS SOPS 2371223 HAS SOUS 475000 HAS SOUPS 191808 WITH SCORE 196420.641
AT ITER 2242 NEW BEST:: SOT 5644038 SOS 4619005 HAS SOPS 2373315 HAS SOUS 475185 HAS SOUPS 191633 WITH SCORE 196252.005
AT ITER 2284 NEW BEST:: SOT 5644175 SOS 4618679 HAS SOPS 2373349 HAS SOUS 475142 HAS SOUPS 191620 WITH SCORE 196238.679
AT ITER 2311 NEW BEST:: SOT 5644003 SOS 4616679 HAS SOPS 2372177 HAS SOUS 474970 HAS SOUPS 191517 WITH SCORE 196133.679
AT ITER 2313 NEW BEST:: SOT 5644003 SOS 4616679 HAS SOPS 2372177 HAS SOUS 474948 HAS SOUPS 191495 WITH SCORE 196111.679
AT ITER 2330 NEW BEST:: SOT 5644003 SOS 4616679 HAS SOPS 2372177 HAS SOUS 474798 HAS SOUPS 191345 WITH SCORE 195961.679
AT ITER 2351 NEW BEST:: SOT 5643685 SOS 4621067 HAS SOPS 2374613 HAS SOUS 474744 HAS SOUPS 191291 WITH SCORE 195912.067
AT ITER 2354 NEW BEST:: SOT 5643558 SOS 4621821 HAS SOPS 2375367 HAS SOUS 474503 HAS SOUPS 191050 WITH SCORE 195671.821
AT ITER 2359 NEW BEST:: SOT 5643343 SOS 4621339 HAS SOPS 2374885 HAS SOUS 474039 HAS SOUPS 190586 WITH SCORE 195207.339
AT ITER 2360 NEW BEST:: SOT 5643401 SOS 4623287 HAS SOPS 2374777 HAS SOUS 474472 HAS SOUPS 190505 WITH SCORE 195128.287
AT ITER 2365 NEW BEST:: SOT 5642509 SOS 4584910 HAS SOPS 2373918 HAS SOUS 472730 HAS SOUPS 189244 WITH SCORE 193828.91
AT ITER 2378 NEW BEST:: SOT 5642499 SOS 4584350 HAS SOPS 2373358 HAS SOUS 472583 HAS SOUPS 189097 WITH SCORE 193681.35
AT ITER 2379 NEW BEST:: SOT 5642364 SOS 4584080 HAS SOPS 2374360 HAS SOUS 472222 HAS SOUPS 189054 WITH SCORE 193638.08
AT ITER 2380 NEW BEST:: SOT 5642277 SOS 4583702 HAS SOPS 2375178 HAS SOUS 471864 HAS SOUPS 188995 WITH SCORE 193578.702
AT ITER 2391 NEW BEST:: SOT 5642387 SOS 4584336 HAS SOPS 2375288 HAS SOUS 471974 HAS SOUPS 188974 WITH SCORE 193558.336
AT ITER 2394 NEW BEST:: SOT 5642387 SOS 4584336 HAS SOPS 2375288 HAS SOUS 471824 HAS SOUPS 188824 WITH SCORE 193408.336
AT ITER 2402 NEW BEST:: SOT 5642334 SOS 4584230 HAS SOPS 2375962 HAS SOUS 471523 HAS SOUPS 188718 WITH SCORE 193302.23
AT ITER 2416 NEW BEST:: SOT 5641403 SOS 4582368 HAS SOPS 2375420 HAS SOUS 470968 HAS SOUPS 188493 WITH SCORE 193075.368
AT ITER 2421 NEW BEST:: SOT 5641329 SOS 4581320 HAS SOPS 2375272 HAS SOUS 470669 HAS SOUPS 188419 WITH SCORE 193000.32
AT ITER 2438 NEW BEST:: SOT 5637022 SOS 4575304 HAS SOPS 2372716 HAS SOUS 470264 HAS SOUPS 188360 WITH SCORE 192935.304
AT ITER 2448 NEW BEST:: SOT 5637016 SOS 4575292 HAS SOPS 2373184 HAS SOUS 470138 HAS SOUPS 188354 WITH SCORE 192929.292
AT ITER 2506 NEW BEST:: SOT 5636881 SOS 4575022 HAS SOPS 2373942 HAS SOUS 469869 HAS SOUPS 188342 WITH SCORE 192917.022
AT ITER 2510 NEW BEST:: SOT 5636841 SOS 4574934 HAS SOPS 2374176 HAS SOUS 469626 HAS SOUPS 188260 WITH SCORE 192834.934
AT ITER 2519 NEW BEST:: SOT 5636602 SOS 4577140 HAS SOPS 2374930 HAS SOUS 469687 HAS SOUPS 188200 WITH SCORE 192777.14
AT ITER 2527 NEW BEST:: SOT 5636602 SOS 4577140 HAS SOPS 2374930 HAS SOUS 469617 HAS SOUPS 188130 WITH SCORE 192707.14
AT ITER 2531 NEW BEST:: SOT 5636548 SOS 4576920 HAS SOPS 2374822 HAS SOUS 469512 HAS SOUPS 188025 WITH SCORE 192601.92
AT ITER 2562 NEW BEST:: SOT 5635575 SOS 4580986 HAS SOPS 2375636 HAS SOUS 469309 HAS SOUPS 187551 WITH SCORE 192131.986
AT ITER 2565 NEW BEST:: SOT 5635575 SOS 4580986 HAS SOPS 2375636 HAS SOUS 469223 HAS SOUPS 187465 WITH SCORE 192045.986
AT ITER 2575 NEW BEST:: SOT 5635573 SOS 4580734 HAS SOPS 2375384 HAS SOUS 469159 HAS SOUPS 187401 WITH SCORE 191981.734
AT ITER 2589 NEW BEST:: SOT 5635573 SOS 4580734 HAS SOPS 2375384 HAS SOUS 469111 HAS SOUPS 187353 WITH SCORE 191933.734
AT ITER 2602 NEW BEST:: SOT 5634712 SOS 4579873 HAS SOPS 2374646 HAS SOUS 469111 HAS SOUPS 187353 WITH SCORE 191932.873
AT ITER 2625 NEW BEST:: SOT 5634815 SOS 4577607 HAS SOPS 2373204 HAS SOUS 469111 HAS SOUPS 187353 WITH SCORE 191930.607
AT ITER 2630 NEW BEST:: SOT 5634539 SOS 4577055 HAS SOPS 2373204 HAS SOUS 469172 HAS SOUPS 187353 WITH SCORE 191930.055
AT ITER 2636 NEW BEST:: SOT 5634530 SOS 4577117 HAS SOPS 2372854 HAS SOUS 469257 HAS SOUPS 187335 WITH SCORE 191912.117
AT ITER 2641 NEW BEST:: SOT 5632659 SOS 4575052 HAS SOPS 2371629 HAS SOUS 469217 HAS SOUPS 187295 WITH SCORE 191870.052
AT ITER 2652 NEW BEST:: SOT 5627916 SOS 4569237 HAS SOPS 2367386 HAS SOUS 469391 HAS SOUPS 187224 WITH SCORE 191793.237
AT ITER 2675 NEW BEST:: SOT 5627916 SOS 4569237 HAS SOPS 2367386 HAS SOUS 469241 HAS SOUPS 187074 WITH SCORE 191643.237
AT ITER 2714 NEW BEST:: SOT 5627916 SOS 4569237 HAS SOPS 2367386 HAS SOUS 469141 HAS SOUPS 186974 WITH SCORE 191543.237
AT ITER 2727 NEW BEST:: SOT 5627843 SOS 4569091 HAS SOPS 2367240 HAS SOUS 469088 HAS SOUPS 186921 WITH SCORE 191490.09100000001
AT ITER 2731 NEW BEST:: SOT 5626991 SOS 4569347 HAS SOPS 2366320 HAS SOUS 468628 HAS SOUPS 186363 WITH SCORE 190932.347
AT ITER 2738 NEW BEST:: SOT 5625662 SOS 4566689 HAS SOPS 2365138 HAS SOUS 468071 HAS SOUPS 186175 WITH SCORE 190741.689
AT ITER 2742 NEW BEST:: SOT 5624975 SOS 4572879 HAS SOPS 2367200 HAS SOUS 468126 HAS SOUPS 185886 WITH SCORE 190458.879
AT ITER 2759 NEW BEST:: SOT 5624865 SOS 4572769 HAS SOPS 2367090 HAS SOUS 468016 HAS SOUPS 185776 WITH SCORE 190348.769
AT ITER 2778 NEW BEST:: SOT 5624749 SOS 4566949 HAS SOPS 2364108 HAS SOUS 467190 HAS SOUPS 185188 WITH SCORE 189754.949
AT ITER 2820 NEW BEST:: SOT 5624680 SOS 4566279 HAS SOPS 2363970 HAS SOUS 467043 HAS SOUPS 185174 WITH SCORE 189740.279
AT ITER 2833 NEW BEST:: SOT 5624598 SOS 4566031 HAS SOPS 2365666 HAS SOUS 466545 HAS SOUPS 185162 WITH SCORE 189728.031
AT ITER 2843 NEW BEST:: SOT 5624581 SOS 4565997 HAS SOPS 2365632 HAS SOUS 466408 HAS SOUPS 185025 WITH SCORE 189590.997
AT ITER 2847 NEW BEST:: SOT 5624247 SOS 4565329 HAS SOPS 2366016 HAS SOUS 465831 HAS SOUPS 184711 WITH SCORE 189276.329
AT ITER 2883 NEW BEST:: SOT 5624247 SOS 4565329 HAS SOPS 2366016 HAS SOUS 465813 HAS SOUPS 184693 WITH SCORE 189258.329
AT ITER 2884 NEW BEST:: SOT 5624262 SOS 4565344 HAS SOPS 2366031 HAS SOUS 465720 HAS SOUPS 184600 WITH SCORE 189165.344
AT ITER 2894 NEW BEST:: SOT 5624243 SOS 4565306 HAS SOPS 2365993 HAS SOUS 465604 HAS SOUPS 184484 WITH SCORE 189049.306
AT ITER 2896 NEW BEST:: SOT 5624001 SOS 4568350 HAS SOPS 2367861 HAS SOUS 465509 HAS SOUPS 184389 WITH SCORE 188957.35
AT ITER 2910 NEW BEST:: SOT 5623617 SOS 4567582 HAS SOPS 2367093 HAS SOUS 465317 HAS SOUPS 184197 WITH SCORE 188764.582
AT ITER 2926 NEW BEST:: SOT 5622815 SOS 4565978 HAS SOPS 2366589 HAS SOUS 465006 HAS SOUPS 184161 WITH SCORE 188726.978
AT ITER 2940 NEW BEST:: SOT 5622815 SOS 4565978 HAS SOPS 2366589 HAS SOUS 464774 HAS SOUPS 184033 WITH SCORE 188598.978
AT ITER 2945 NEW BEST:: SOT 5622760 SOS 4565868 HAS SOPS 2366187 HAS SOUS 464704 HAS SOUPS 183890 WITH SCORE 188455.868
AT ITER 2961 NEW BEST:: SOT 5622635 SOS 4565118 HAS SOPS 2365937 HAS SOUS 464454 HAS SOUPS 183765 WITH SCORE 188330.118
AT ITER 2966 NEW BEST:: SOT 5622607 SOS 4565166 HAS SOPS 2365933 HAS SOUS 464400 HAS SOUPS 183711 WITH SCORE 188276.166
AT ITER 2981 NEW BEST:: SOT 5622375 SOS 4564905 HAS SOPS 2365788 HAS SOUS 464400 HAS SOUPS 183711 WITH SCORE 188275.905
AT ITER 2987 NEW BEST:: SOT 5622326 SOS 4565303 HAS SOPS 2366186 HAS SOUS 464384 HAS SOUPS 183695 WITH SCORE 188260.303
AT ITER 2988 NEW BEST:: SOT 5622204 SOS 4565551 HAS SOPS 2366434 HAS SOUS 464262 HAS SOUPS 183573 WITH SCORE 188138.551
AT ITER 3007 NEW BEST:: SOT 5619230 SOS 4562130 HAS SOPS 2363898 HAS SOUS 464179 HAS SOUPS 183520 WITH SCORE 188082.13
AT ITER 3016 NEW BEST:: SOT 5619230 SOS 4562130 HAS SOPS 2363898 HAS SOUS 464151 HAS SOUPS 183492 WITH SCORE 188054.13
AT ITER 3029 NEW BEST:: SOT 5619278 SOS 4562226 HAS SOPS 2363994 HAS SOUS 463891 HAS SOUPS 183232 WITH SCORE 187794.226
AT ITER 3036 NEW BEST:: SOT 5619278 SOS 4561774 HAS SOPS 2364166 HAS SOUS 463735 HAS SOUPS 183232 WITH SCORE 187793.774
AT ITER 3038 NEW BEST:: SOT 5619179 SOS 4560844 HAS SOPS 2364188 HAS SOUS 463349 HAS SOUPS 183084 WITH SCORE 187644.844
AT ITER 3056 NEW BEST:: SOT 5619019 SOS 4559664 HAS SOPS 2363008 HAS SOUS 463189 HAS SOUPS 182924 WITH SCORE 187483.664
AT ITER 3070 NEW BEST:: SOT 5619069 SOS 4559764 HAS SOPS 2363108 HAS SOUS 463150 HAS SOUPS 182885 WITH SCORE 187444.764
AT ITER 3077 NEW BEST:: SOT 5617590 SOS 4561546 HAS SOPS 2362714 HAS SOUS 463095 HAS SOUPS 182830 WITH SCORE 187391.546
AT ITER 3093 NEW BEST:: SOT 5617590 SOS 4561546 HAS SOPS 2362714 HAS SOUS 462945 HAS SOUPS 182680 WITH SCORE 187241.546
AT ITER 3104 NEW BEST:: SOT 5617636 SOS 4560754 HAS SOPS 2361922 HAS SOUS 462737 HAS SOUPS 182472 WITH SCORE 187032.754
AT ITER 3122 NEW BEST:: SOT 5617636 SOS 4560754 HAS SOPS 2361922 HAS SOUS 462627 HAS SOUPS 182362 WITH SCORE 186922.754
AT ITER 3168 NEW BEST:: SOT 5617587 SOS 4560656 HAS SOPS 2362012 HAS SOUS 462507 HAS SOUPS 182289 WITH SCORE 186849.656
AT ITER 3182 NEW BEST:: SOT 5617442 SOS 4562310 HAS SOPS 2363018 HAS SOUS 462443 HAS SOUPS 182225 WITH SCORE 186787.31
AT ITER 3185 NEW BEST:: SOT 5617442 SOS 4562310 HAS SOPS 2363018 HAS SOUS 462295 HAS SOUPS 182077 WITH SCORE 186639.31
AT ITER 3186 NEW BEST:: SOT 5617331 SOS 4562088 HAS SOPS 2362796 HAS SOUS 461898 HAS SOUPS 181680 WITH SCORE 186242.088
AT ITER 3190 NEW BEST:: SOT 5617331 SOS 4562088 HAS SOPS 2362796 HAS SOUS 461842 HAS SOUPS 181624 WITH SCORE 186186.088
AT ITER 3207 NEW BEST:: SOT 5617248 SOS 4563122 HAS SOPS 2363230 HAS SOUS 461759 HAS SOUPS 181541 WITH SCORE 186104.122
AT ITER 3219 NEW BEST:: SOT 5616685 SOS 4561996 HAS SOPS 2362104 HAS SOUS 461649 HAS SOUPS 181431 WITH SCORE 185992.996
AT ITER 3223 NEW BEST:: SOT 5616685 SOS 4561792 HAS SOPS 2362104 HAS SOUS 461598 HAS SOUPS 181431 WITH SCORE 185992.792
AT ITER 3235 NEW BEST:: SOT 5616571 SOS 4561336 HAS SOPS 2361648 HAS SOUS 461427 HAS SOUPS 181260 WITH SCORE 185821.336
AT ITER 3246 NEW BEST:: SOT 5610840 SOS 4553506 HAS SOPS 2358358 HAS SOUS 460950 HAS SOUPS 181237 WITH SCORE 185790.506
AT ITER 3248 NEW BEST:: SOT 5610724 SOS 4554234 HAS SOPS 2358766 HAS SOUS 460874 HAS SOUPS 181161 WITH SCORE 185715.234
AT ITER 3257 NEW BEST:: SOT 5610575 SOS 4553936 HAS SOPS 2358468 HAS SOUS 460673 HAS SOUPS 180960 WITH SCORE 185513.936
AT ITER 3261 NEW BEST:: SOT 5611245 SOS 4555276 HAS SOPS 2358428 HAS SOUS 460396 HAS SOUPS 180338 WITH SCORE 184893.276
AT ITER 3262 NEW BEST:: SOT 5611329 SOS 4555360 HAS SOPS 2358512 HAS SOUS 460393 HAS SOUPS 180335 WITH SCORE 184890.36
AT ITER 3278 NEW BEST:: SOT 5611329 SOS 4555724 HAS SOPS 2358512 HAS SOUS 460393 HAS SOUPS 180244 WITH SCORE 184799.724
AT ITER 3286 NEW BEST:: SOT 5611318 SOS 4555702 HAS SOPS 2358512 HAS SOUS 460382 HAS SOUPS 180244 WITH SCORE 184799.702
AT ITER 3302 NEW BEST:: SOT 5611280 SOS 4555626 HAS SOPS 2358436 HAS SOUS 460381 HAS SOUPS 180243 WITH SCORE 184798.626
AT ITER 3305 NEW BEST:: SOT 5611280 SOS 4554566 HAS SOPS 2358584 HAS SOUS 459919 HAS SOUPS 180083 WITH SCORE 184637.566
AT ITER 3306 NEW BEST:: SOT 5611168 SOS 4554342 HAS SOPS 2358360 HAS SOUS 459891 HAS SOUPS 180055 WITH SCORE 184609.342
AT ITER 3312 NEW BEST:: SOT 5611168 SOS 4554342 HAS SOPS 2358360 HAS SOUS 459741 HAS SOUPS 179905 WITH SCORE 184459.342
AT ITER 3313 NEW BEST:: SOT 5610932 SOS 4553870 HAS SOPS 2357416 HAS SOUS 459387 HAS SOUPS 179433 WITH SCORE 183986.87
AT ITER 3320 NEW BEST:: SOT 5610953 SOS 4553912 HAS SOPS 2357458 HAS SOUS 459349 HAS SOUPS 179395 WITH SCORE 183948.912
AT ITER 3327 NEW BEST:: SOT 5610934 SOS 4553926 HAS SOPS 2357104 HAS SOUS 459321 HAS SOUPS 179275 WITH SCORE 183828.926
AT ITER 3355 NEW BEST:: SOT 5610532 SOS 4583272 HAS SOPS 2356702 HAS SOUS 459187 HAS SOUPS 179141 WITH SCORE 183724.272
AT ITER 3383 NEW BEST:: SOT 5609895 SOS 4585026 HAS SOPS 2356356 HAS SOUS 458665 HAS SOUPS 178444 WITH SCORE 183029.026
AT ITER 3397 NEW BEST:: SOT 5609895 SOS 4585026 HAS SOPS 2355736 HAS SOUS 458716 HAS SOUPS 178340 WITH SCORE 182925.026
AT ITER 3402 NEW BEST:: SOT 5609819 SOS 4584874 HAS SOPS 2355584 HAS SOUS 458640 HAS SOUPS 178264 WITH SCORE 182848.874
AT ITER 3412 NEW BEST:: SOT 5609470 SOS 4583304 HAS SOPS 2355106 HAS SOUS 457792 HAS SOUPS 177689 WITH SCORE 182272.304
AT ITER 3421 NEW BEST:: SOT 5609482 SOS 4583328 HAS SOPS 2355130 HAS SOUS 457737 HAS SOUPS 177634 WITH SCORE 182217.328
AT ITER 3422 NEW BEST:: SOT 5609482 SOS 4583328 HAS SOPS 2355130 HAS SOUS 457617 HAS SOUPS 177514 WITH SCORE 182097.328
AT ITER 3423 NEW BEST:: SOT 5609410 SOS 4583227 HAS SOPS 2355029 HAS SOUS 457559 HAS SOUPS 177456 WITH SCORE 182039.227
AT ITER 3438 NEW BEST:: SOT 5606729 SOS 4579773 HAS SOPS 2352775 HAS SOUS 457369 HAS SOUPS 177266 WITH SCORE 181845.773
AT ITER 3449 NEW BEST:: SOT 5606687 SOS 4579689 HAS SOPS 2352859 HAS SOUS 457284 HAS SOUPS 177223 WITH SCORE 181802.689
AT ITER 3461 NEW BEST:: SOT 5605375 SOS 4585697 HAS SOPS 2353575 HAS SOUS 457015 HAS SOUPS 176513 WITH SCORE 181098.697
AT ITER 3485 NEW BEST:: SOT 5605330 SOS 4585638 HAS SOPS 2353547 HAS SOUS 457001 HAS SOUPS 176499 WITH SCORE 181084.638
AT ITER 3514 NEW BEST:: SOT 5605720 SOS 4586075 HAS SOPS 2353788 HAS SOUS 456901 HAS SOUPS 176448 WITH SCORE 181034.075
AT ITER 3531 NEW BEST:: SOT 5605642 SOS 4585267 HAS SOPS 2353632 HAS SOUS 456546 HAS SOUPS 176256 WITH SCORE 180841.267
AT ITER 3541 NEW BEST:: SOT 5604403 SOS 4587401 HAS SOPS 2353646 HAS SOUS 455443 HAS SOUPS 175153 WITH SCORE 179740.401
AT ITER 3563 NEW BEST:: SOT 5604403 SOS 4587401 HAS SOPS 2353646 HAS SOUS 455401 HAS SOUPS 175111 WITH SCORE 179698.401
AT ITER 3588 NEW BEST:: SOT 5603893 SOS 4588301 HAS SOPS 2353906 HAS SOUS 455174 HAS SOUPS 174884 WITH SCORE 179472.301
AT ITER 3592 NEW BEST:: SOT 5603157 SOS 4587445 HAS SOPS 2353512 HAS SOUS 455131 HAS SOUPS 174841 WITH SCORE 179428.445
AT ITER 3613 NEW BEST:: SOT 5603157 SOS 4587445 HAS SOPS 2353512 HAS SOUS 455023 HAS SOUPS 174733 WITH SCORE 179320.445
AT ITER 3620 NEW BEST:: SOT 5603157 SOS 4587445 HAS SOPS 2353512 HAS SOUS 454979 HAS SOUPS 174689 WITH SCORE 179276.445
AT ITER 3629 NEW BEST:: SOT 5602940 SOS 4587763 HAS SOPS 2353454 HAS SOUS 454925 HAS SOUPS 174635 WITH SCORE 179222.763
AT ITER 3635 NEW BEST:: SOT 5602900 SOS 4587683 HAS SOPS 2353374 HAS SOUS 454865 HAS SOUPS 174575 WITH SCORE 179162.683
AT ITER 3672 NEW BEST:: SOT 5602832 SOS 4588171 HAS SOPS 2353210 HAS SOUS 454990 HAS SOUPS 174537 WITH SCORE 179125.171
AT ITER 3677 NEW BEST:: SOT 5602655 SOS 4588053 HAS SOPS 2353092 HAS SOUS 454931 HAS SOUPS 174478 WITH SCORE 179066.053
AT ITER 3686 NEW BEST:: SOT 5602682 SOS 4586975 HAS SOPS 2352398 HAS SOUS 454869 HAS SOUPS 174416 WITH SCORE 179002.975
AT ITER 3709 NEW BEST:: SOT 5602552 SOS 4586825 HAS SOPS 2352308 HAS SOUS 454859 HAS SOUPS 174406 WITH SCORE 178992.825
AT ITER 3710 NEW BEST:: SOT 5602552 SOS 4586825 HAS SOPS 2352308 HAS SOUS 454763 HAS SOUPS 174310 WITH SCORE 178896.825
AT ITER 3720 NEW BEST:: SOT 5602552 SOS 4586825 HAS SOPS 2352308 HAS SOUS 454717 HAS SOUPS 174264 WITH SCORE 178850.825
AT ITER 3736 NEW BEST:: SOT 5602391 SOS 4585947 HAS SOPS 2352074 HAS SOUS 454392 HAS SOUPS 174100 WITH SCORE 178685.947
AT ITER 3743 NEW BEST:: SOT 5602199 SOS 4585563 HAS SOPS 2352410 HAS SOUS 454147 HAS SOUPS 174035 WITH SCORE 178620.563
AT ITER 3764 NEW BEST:: SOT 5602252 SOS 4585669 HAS SOPS 2352338 HAS SOUS 454111 HAS SOUPS 173999 WITH SCORE 178584.669
AT ITER 3783 NEW BEST:: SOT 5597276 SOS 4579577 HAS SOPS 2349184 HAS SOUS 453573 HAS SOUPS 173610 WITH SCORE 178189.577
AT ITER 3784 NEW BEST:: SOT 5597274 SOS 4579598 HAS SOPS 2349080 HAS SOUS 453546 HAS SOUPS 173558 WITH SCORE 178137.598
AT ITER 3787 NEW BEST:: SOT 5596674 SOS 4580810 HAS SOPS 2348852 HAS SOUS 453186 HAS SOUPS 173078 WITH SCORE 177658.81
AT ITER 3793 NEW BEST:: SOT 5596586 SOS 4580634 HAS SOPS 2348836 HAS SOUS 453018 HAS SOUPS 172990 WITH SCORE 177570.634
AT ITER 3811 NEW BEST:: SOT 5596541 SOS 4580589 HAS SOPS 2348791 HAS SOUS 452973 HAS SOUPS 172945 WITH SCORE 177525.589
AT ITER 3813 NEW BEST:: SOT 5596501 SOS 4580509 HAS SOPS 2348791 HAS SOUS 452973 HAS SOUPS 172945 WITH SCORE 177525.509
AT ITER 3847 NEW BEST:: SOT 5595812 SOS 4578727 HAS SOPS 2348105 HAS SOUS 452644 HAS SOUPS 172938 WITH SCORE 177516.727
AT ITER 3849 NEW BEST:: SOT 5593683 SOS 4580173 HAS SOPS 2346951 HAS SOUS 452012 HAS SOUPS 172306 WITH SCORE 176886.173
AT ITER 3863 NEW BEST:: SOT 5593683 SOS 4579869 HAS SOPS 2346951 HAS SOUS 451860 HAS SOUPS 172230 WITH SCORE 176809.869
AT ITER 3865 NEW BEST:: SOT 5593655 SOS 4579553 HAS SOPS 2346895 HAS SOUS 451723 HAS SOUPS 172158 WITH SCORE 176737.553
AT ITER 3868 NEW BEST:: SOT 5593801 SOS 4579561 HAS SOPS 2346903 HAS SOUS 451656 HAS SOUPS 172091 WITH SCORE 176670.561
AT ITER 3875 NEW BEST:: SOT 5593432 SOS 4573961 HAS SOPS 2343643 HAS SOUS 450702 HAS SOUPS 171332 WITH SCORE 175905.961
AT ITER 3878 NEW BEST:: SOT 5593392 SOS 4573561 HAS SOPS 2343563 HAS SOUS 450542 HAS SOUPS 171252 WITH SCORE 175825.561
AT ITER 3884 NEW BEST:: SOT 5592682 SOS 4572141 HAS SOPS 2342143 HAS SOUS 450405 HAS SOUPS 171115 WITH SCORE 175687.141
AT ITER 3895 NEW BEST:: SOT 5592631 SOS 4572039 HAS SOPS 2342041 HAS SOUS 450290 HAS SOUPS 171000 WITH SCORE 175572.039
AT ITER 3906 NEW BEST:: SOT 5592624 SOS 4572025 HAS SOPS 2342027 HAS SOUS 450270 HAS SOUPS 170980 WITH SCORE 175552.025
AT ITER 3908 NEW BEST:: SOT 5587589 SOS 4564757 HAS SOPS 2338909 HAS SOUS 449796 HAS SOUPS 170921 WITH SCORE 175485.757
AT ITER 3913 NEW BEST:: SOT 5589173 SOS 4566869 HAS SOPS 2339701 HAS SOUS 449880 HAS SOUPS 170873 WITH SCORE 175439.869
AT ITER 3916 NEW BEST:: SOT 5589173 SOS 4565109 HAS SOPS 2338757 HAS SOUS 449744 HAS SOUPS 170805 WITH SCORE 175370.109
AT ITER 3953 NEW BEST:: SOT 5589111 SOS 4565417 HAS SOPS 2338921 HAS SOUS 449700 HAS SOUPS 170761 WITH SCORE 175326.417
AT ITER 3954 NEW BEST:: SOT 5589058 SOS 4565311 HAS SOPS 2338815 HAS SOUS 449572 HAS SOUPS 170633 WITH SCORE 175198.311
AT ITER 3956 NEW BEST:: SOT 5585918 SOS 4559866 HAS SOPS 2337375 HAS SOUS 449284 HAS SOUPS 170597 WITH SCORE 175156.866
AT ITER 3957 NEW BEST:: SOT 5585916 SOS 4559862 HAS SOPS 2337371 HAS SOUS 449281 HAS SOUPS 170594 WITH SCORE 175153.862
AT ITER 3978 NEW BEST:: SOT 5585830 SOS 4558890 HAS SOPS 2337199 HAS SOUS 448795 HAS SOUPS 170308 WITH SCORE 174866.89
AT ITER 3998 NEW BEST:: SOT 5585830 SOS 4558890 HAS SOPS 2337199 HAS SOUS 448775 HAS SOUPS 170288 WITH SCORE 174846.89
AT ITER 4000 NEW BEST:: SOT 5584815 SOS 4556860 HAS SOPS 2337199 HAS SOUS 448545 HAS SOUPS 170288 WITH SCORE 174844.86
AT ITER 4002 NEW BEST:: SOT 5579939 SOS 4549954 HAS SOPS 2334203 HAS SOUS 448010 HAS SOUPS 170144 WITH SCORE 174693.954
AT ITER 4008 NEW BEST:: SOT 5579185 SOS 4556218 HAS SOPS 2337779 HAS SOUS 447916 HAS SOUPS 170050 WITH SCORE 174606.218
AT ITER 4026 NEW BEST:: SOT 5579185 SOS 4556218 HAS SOPS 2337779 HAS SOUS 447838 HAS SOUPS 169972 WITH SCORE 174528.218
AT ITER 4039 NEW BEST:: SOT 5579175 SOS 4556960 HAS SOPS 2337741 HAS SOUS 447826 HAS SOUPS 169950 WITH SCORE 174506.96
AT ITER 4045 NEW BEST:: SOT 5579175 SOS 4556788 HAS SOPS 2337961 HAS SOUS 447725 HAS SOUPS 169947 WITH SCORE 174503.788
AT ITER 4058 NEW BEST:: SOT 5579175 SOS 4556788 HAS SOPS 2337961 HAS SOUS 447679 HAS SOUPS 169901 WITH SCORE 174457.788
AT ITER 4060 NEW BEST:: SOT 5579151 SOS 4557004 HAS SOPS 2338081 HAS SOUS 447667 HAS SOUPS 169889 WITH SCORE 174446.004
AT ITER 4071 NEW BEST:: SOT 5578813 SOS 4559604 HAS SOPS 2339505 HAS SOUS 447476 HAS SOUPS 169698 WITH SCORE 174257.604
AT ITER 4073 NEW BEST:: SOT 5578813 SOS 4559604 HAS SOPS 2339505 HAS SOUS 447426 HAS SOUPS 169648 WITH SCORE 174207.604
AT ITER 4077 NEW BEST:: SOT 5578813 SOS 4559604 HAS SOPS 2339505 HAS SOUS 447424 HAS SOUPS 169646 WITH SCORE 174205.604
AT ITER 4087 NEW BEST:: SOT 5581885 SOS 4563700 HAS SOPS 2341041 HAS SOUS 447380 HAS SOUPS 169346 WITH SCORE 173909.7
AT ITER 4102 NEW BEST:: SOT 5581885 SOS 4563700 HAS SOPS 2341041 HAS SOUS 447342 HAS SOUPS 169308 WITH SCORE 173871.7
AT ITER 4108 NEW BEST:: SOT 5581835 SOS 4563600 HAS SOPS 2340521 HAS SOUS 447397 HAS SOUPS 169258 WITH SCORE 173821.6
AT ITER 4111 NEW BEST:: SOT 5581781 SOS 4563330 HAS SOPS 2340467 HAS SOUS 447299 HAS SOUPS 169214 WITH SCORE 173777.33
AT ITER 4124 NEW BEST:: SOT 5581956 SOS 4561924 HAS SOPS 2339535 HAS SOUS 447152 HAS SOUPS 169100 WITH SCORE 173661.924
AT ITER 4189 NEW BEST:: SOT 5581956 SOS 4561924 HAS SOPS 2339535 HAS SOUS 447150 HAS SOUPS 169098 WITH SCORE 173659.924
AT ITER 4209 NEW BEST:: SOT 5581080 SOS 4563312 HAS SOPS 2339291 HAS SOUS 446674 HAS SOUPS 168486 WITH SCORE 173049.312
AT ITER 4210 NEW BEST:: SOT 5581015 SOS 4562686 HAS SOPS 2339313 HAS SOUS 446259 HAS SOUPS 168233 WITH SCORE 172795.686
AT ITER 4216 NEW BEST:: SOT 5580729 SOS 4564186 HAS SOPS 2339925 HAS SOUS 446047 HAS SOUPS 168021 WITH SCORE 172585.186
AT ITER 4222 NEW BEST:: SOT 5580729 SOS 4564186 HAS SOPS 2339925 HAS SOUS 446043 HAS SOUPS 168017 WITH SCORE 172581.186
AT ITER 4238 NEW BEST:: SOT 5573319 SOS 4553939 HAS SOPS 2335586 HAS SOUS 445462 HAS SOUPS 168004 WITH SCORE 172557.939
AT ITER 4246 NEW BEST:: SOT 5568529 SOS 4547570 HAS SOPS 2330273 HAS SOUS 445169 HAS SOUPS 167501 WITH SCORE 172048.57
AT ITER 4262 NEW BEST:: SOT 5562048 SOS 4539839 HAS SOPS 2324564 HAS SOUS 445401 HAS SOUPS 167446 WITH SCORE 171985.839
AT ITER 4278 NEW BEST:: SOT 5561906 SOS 4539871 HAS SOPS 2324280 HAS SOUS 445338 HAS SOUPS 167304 WITH SCORE 171843.871
AT ITER 4281 NEW BEST:: SOT 5561606 SOS 4539471 HAS SOPS 2324130 HAS SOUS 445313 HAS SOUPS 167304 WITH SCORE 171843.471
AT ITER 4292 NEW BEST:: SOT 5561607 SOS 4539417 HAS SOPS 2324064 HAS SOUS 445314 HAS SOUPS 167304 WITH SCORE 171843.417
AT ITER 4305 NEW BEST:: SOT 5561607 SOS 4539417 HAS SOPS 2324064 HAS SOUS 445272 HAS SOUPS 167262 WITH SCORE 171801.417
AT ITER 4317 NEW BEST:: SOT 5561607 SOS 4539061 HAS SOPS 2324064 HAS SOUS 445094 HAS SOUPS 167173 WITH SCORE 171712.061
AT ITER 4324 NEW BEST:: SOT 5561359 SOS 4538977 HAS SOPS 2324124 HAS SOUS 444846 HAS SOUPS 166925 WITH SCORE 171463.977
AT ITER 4343 NEW BEST:: SOT 5560700 SOS 4537659 HAS SOPS 2324124 HAS SOUS 444671 HAS SOUPS 166925 WITH SCORE 171462.65899999999
AT ITER 4349 NEW BEST:: SOT 5560724 SOS 4537655 HAS SOPS 2324628 HAS SOUS 444505 HAS SOUPS 166886 WITH SCORE 171423.655
AT ITER 4354 NEW BEST:: SOT 5560724 SOS 4537655 HAS SOPS 2324628 HAS SOUS 444437 HAS SOUPS 166818 WITH SCORE 171355.655
AT ITER 4359 NEW BEST:: SOT 5555728 SOS 4530739 HAS SOPS 2321296 HAS SOUS 443977 HAS SOUPS 166656 WITH SCORE 171186.739
AT ITER 4364 NEW BEST:: SOT 5554218 SOS 4528618 HAS SOPS 2320355 HAS SOUS 443765 HAS SOUPS 166562 WITH SCORE 171090.618
AT ITER 4378 NEW BEST:: SOT 5554084 SOS 4530110 HAS SOPS 2320815 HAS SOUS 443813 HAS SOUPS 166524 WITH SCORE 171054.11
AT ITER 4405 NEW BEST:: SOT 5554054 SOS 4529718 HAS SOPS 2320755 HAS SOUS 443617 HAS SOUPS 166411 WITH SCORE 170940.718
AT ITER 4417 NEW BEST:: SOT 5553610 SOS 4528286 HAS SOPS 2319323 HAS SOUS 443037 HAS SOUPS 165831 WITH SCORE 170359.286
AT ITER 4428 NEW BEST:: SOT 5553524 SOS 4529054 HAS SOPS 2319151 HAS SOUS 443147 HAS SOUPS 165706 WITH SCORE 170235.054
AT ITER 4429 NEW BEST:: SOT 5554520 SOS 4530050 HAS SOPS 2319649 HAS SOUS 443138 HAS SOUPS 165697 WITH SCORE 170227.05
AT ITER 4434 NEW BEST:: SOT 5554520 SOS 4530050 HAS SOPS 2319649 HAS SOUS 443112 HAS SOUPS 165671 WITH SCORE 170201.05
AT ITER 4443 NEW BEST:: SOT 5554520 SOS 4530050 HAS SOPS 2319649 HAS SOUS 443062 HAS SOUPS 165621 WITH SCORE 170151.05
AT ITER 4445 NEW BEST:: SOT 5554160 SOS 4529654 HAS SOPS 2319415 HAS SOUS 443032 HAS SOUPS 165591 WITH SCORE 170120.654
AT ITER 4458 NEW BEST:: SOT 5554160 SOS 4529654 HAS SOPS 2319415 HAS SOUS 442952 HAS SOUPS 165511 WITH SCORE 170040.654
AT ITER 4459 NEW BEST:: SOT 5553920 SOS 4528322 HAS SOPS 2318935 HAS SOUS 442323 HAS SOUPS 165095 WITH SCORE 169623.322
AT ITER 4472 NEW BEST:: SOT 5554006 SOS 4528494 HAS SOPS 2318987 HAS SOUS 442299 HAS SOUPS 165041 WITH SCORE 169569.494
AT ITER 4479 NEW BEST:: SOT 5554006 SOS 4527990 HAS SOPS 2318987 HAS SOUS 442173 HAS SOUPS 165041 WITH SCORE 169568.99
AT ITER 4483 NEW BEST:: SOT 5553981 SOS 4527940 HAS SOPS 2318937 HAS SOUS 442148 HAS SOUPS 165016 WITH SCORE 169543.94
AT ITER 4504 NEW BEST:: SOT 5553894 SOS 4527766 HAS SOPS 2318879 HAS SOUS 442099 HAS SOUPS 164996 WITH SCORE 169523.766
AT ITER 4533 NEW BEST:: SOT 5550808 SOS 4523538 HAS SOPS 2317081 HAS SOUS 441760 HAS SOUPS 164900 WITH SCORE 169423.538
AT ITER 4541 NEW BEST:: SOT 5550688 SOS 4523342 HAS SOPS 2316605 HAS SOUS 441672 HAS SOUPS 164742 WITH SCORE 169265.342
AT ITER 4543 NEW BEST:: SOT 5550688 SOS 4523342 HAS SOPS 2316605 HAS SOUS 441618 HAS SOUPS 164688 WITH SCORE 169211.342
AT ITER 4561 NEW BEST:: SOT 5550294 SOS 4525554 HAS SOPS 2317317 HAS SOUS 441669 HAS SOUPS 164614 WITH SCORE 169139.554
AT ITER 4578 NEW BEST:: SOT 5550365 SOS 4525696 HAS SOPS 2317459 HAS SOUS 441616 HAS SOUPS 164561 WITH SCORE 169086.696
AT ITER 4597 NEW BEST:: SOT 5548314 SOS 4524974 HAS SOPS 2316642 HAS SOUS 440388 HAS SOUPS 163444 WITH SCORE 167968.974
AT ITER 4615 NEW BEST:: SOT 5548295 SOS 4524955 HAS SOPS 2316604 HAS SOUS 440369 HAS SOUPS 163425 WITH SCORE 167949.955
AT ITER 4633 NEW BEST:: SOT 5548214 SOS 4524793 HAS SOPS 2316118 HAS SOUS 440301 HAS SOUPS 163276 WITH SCORE 167800.793
AT ITER 4639 NEW BEST:: SOT 5544542 SOS 4520275 HAS SOPS 2313716 HAS SOUS 440291 HAS SOUPS 163244 WITH SCORE 167764.275
AT ITER 4668 NEW BEST:: SOT 5544505 SOS 4519837 HAS SOPS 2313278 HAS SOUS 440254 HAS SOUPS 163207 WITH SCORE 167726.837
AT ITER 4677 NEW BEST:: SOT 5546017 SOS 4521381 HAS SOPS 2314082 HAS SOUS 440120 HAS SOUPS 163073 WITH SCORE 167594.381
AT ITER 4693 NEW BEST:: SOT 5546027 SOS 4521391 HAS SOPS 2314092 HAS SOUS 440051 HAS SOUPS 163004 WITH SCORE 167525.391
AT ITER 4694 NEW BEST:: SOT 5545844 SOS 4521025 HAS SOPS 2314092 HAS SOUS 439811 HAS SOUPS 163004 WITH SCORE 167525.025
AT ITER 4701 NEW BEST:: SOT 5545844 SOS 4521025 HAS SOPS 2314092 HAS SOUS 439631 HAS SOUPS 162824 WITH SCORE 167345.025
AT ITER 4713 NEW BEST:: SOT 5543022 SOS 4517251 HAS SOPS 2312132 HAS SOUS 439571 HAS SOUPS 162820 WITH SCORE 167337.251
AT ITER 4728 NEW BEST:: SOT 5543022 SOS 4517251 HAS SOPS 2312132 HAS SOUS 439559 HAS SOUPS 162808 WITH SCORE 167325.251
AT ITER 4744 NEW BEST:: SOT 5543022 SOS 4517251 HAS SOPS 2312132 HAS SOUS 439417 HAS SOUPS 162666 WITH SCORE 167183.251
AT ITER 4773 NEW BEST:: SOT 5541442 SOS 4515213 HAS SOPS 2310497 HAS SOUS 439443 HAS SOUPS 162599 WITH SCORE 167114.213
AT ITER 4776 NEW BEST:: SOT 5541473 SOS 4515244 HAS SOPS 2310528 HAS SOUS 439432 HAS SOUPS 162588 WITH SCORE 167103.244
AT ITER 4803 NEW BEST:: SOT 5541349 SOS 4515244 HAS SOPS 2310280 HAS SOUS 439370 HAS SOUPS 162464 WITH SCORE 166979.244
AT ITER 4825 NEW BEST:: SOT 5541212 SOS 4514970 HAS SOPS 2310280 HAS SOUS 439244 HAS SOUPS 162464 WITH SCORE 166978.97
AT ITER 4860 NEW BEST:: SOT 5540140 SOS 4513961 HAS SOPS 2309861 HAS SOUS 439132 HAS SOUPS 162287 WITH SCORE 166800.961
AT ITER 4865 NEW BEST:: SOT 5540122 SOS 4513925 HAS SOPS 2309857 HAS SOUS 439122 HAS SOUPS 162285 WITH SCORE 166798.925
AT ITER 4876 NEW BEST:: SOT 5540122 SOS 4513553 HAS SOPS 2309857 HAS SOUS 438967 HAS SOUPS 162223 WITH SCORE 166736.553
AT ITER 4949 NEW BEST:: SOT 5540394 SOS 4506357 HAS SOPS 2305301 HAS SOUS 438834 HAS SOUPS 162090 WITH SCORE 166596.357
AT ITER 4955 NEW BEST:: SOT 5540109 SOS 4505787 HAS SOPS 2304959 HAS SOUS 438663 HAS SOUPS 161976 WITH SCORE 166481.787
AT ITER 4961 NEW BEST:: SOT 5539789 SOS 4505147 HAS SOPS 2304319 HAS SOUS 438583 HAS SOUPS 161896 WITH SCORE 166401.147
AT ITER 4995 NEW BEST:: SOT 5534438 SOS 4499440 HAS SOPS 2301150 HAS SOUS 438539 HAS SOUPS 161852 WITH SCORE 166351.44
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-4a-CTLFireability-00 (AX( (EU( (! ((potential((tk(P461)>=1))))) , ( ((potential((tk(P133)>=1)))) & ((potential((tk(P600)>=1) & (tk(P533)>=1)))) ) ))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-01 (! (EF( (AX( ( ((potential((tk(P561)>=1) & (tk(P1124)>=1)))) | ((potential((tk(P527)>=1) & (tk(P590)>=1)))) ))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-02 ( ( ( (AX( ((potential((tk(P562)>=1) & (tk(P1058)>=1)))))) & (AF( ( ((potential((tk(P528)>=1)))) & ((potential((tk(P555)>=1) & (tk(P955)>=1)))) ))) ) | ( ( ( (! ((potential((tk(P506)>=1) & (tk(P861)>=1))))) & ( ((potential((tk(P907)>=1) & (tk(P555)>=1)))) | ((potential((tk(P545)>=1) & (tk(P843)>=1)))) ) ) & ( ((potential((tk(P535)>=1) & (tk(P626)>=1)))) & ( ((potential((tk(P529)>=1) & (tk(P618)>=1)))) & ((potential((tk(P22)>=1) & (tk(P722)>=1)))) ) ) ) & (EF( ( ((potential((tk(P120)>=1)))) & ((potential((tk(P330)>=1)))) ))) ) ) | (AX( ( (EF( ((potential((tk(P30)>=1) & (tk(P725)>=1)))))) & (EG( ((potential((tk(P190)>=1) & (tk(P769)>=1)))))) ))) )
PROPERTY: DLCshifumi-PT-4a-CTLFireability-03 ( ( (AG( (! ((potential((tk(P1050)>=1) & (tk(P563)>=1))))))) | ( (! ( ( ((potential((tk(P535)>=1) & (tk(P662)>=1)))) & ((potential((tk(P532)>=1) & (tk(P648)>=1)))) ) & ( ((potential((tk(P70)>=1)))) | ((potential((tk(P565)>=1) & (tk(P1091)>=1)))) ) )) & (EU( ((potential((tk(P467)>=1) & (tk(P999)>=1)))) , ((potential((tk(P431)>=1)))) )) ) ) | ((potential((tk(P456)>=1) & (tk(P845)>=1)))) )
PROPERTY: DLCshifumi-PT-4a-CTLFireability-04 (AG( (EF( ( (! ((potential((tk(P535)>=1) & (tk(P677)>=1))))) & (! ((potential((tk(P564)>=1) & (tk(P1086)>=1))))) )))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-05 (EF( ((potential((tk(P551)>=1) & (tk(P950)>=1))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-06 ( ( ( (AU( ((potential((tk(P111)>=1)))) , ((potential((tk(P802)>=1) & (tk(P302)>=1)))) )) | (EF( ( ((potential((tk(P527)>=1) & (tk(P588)>=1)))) & ((potential((tk(P542)>=1) & (tk(P736)>=1)))) ))) ) | ( (! (EF( ((potential((tk(P556)>=1) & (tk(P960)>=1))))))) | (EU( ((potential((tk(P463)>=1) & (tk(P1147)>=1)))) , ((potential((tk(P535)>=1) & (tk(P621)>=1)))) )) ) ) & (EF( ( (! ((potential((tk(P1032)>=1) & (tk(P563)>=1))))) | (AF( ((potential((tk(P269)>=1) & (tk(P793)>=1)))))) ))) )
PROPERTY: DLCshifumi-PT-4a-CTLFireability-07 (AX( ( ((potential((tk(P477)>=1) & (tk(P1002)>=1)))) & (EF( ( ((potential((tk(P545)>=1) & (tk(P762)>=1)))) & ((potential((tk(P549)>=1)))) ))) )))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-08 (EF( ( (! (! (! ((potential((tk(P489)>=1))))))) & ( ( (! ((potential((tk(P288)>=1) & (tk(P1097)>=1))))) & ((potential((tk(P126)>=1)))) ) & (EF( ((potential((tk(P555)>=1) & (tk(P895)>=1)))))) ) )))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-09 (! (EF( (AG( ( ((potential((tk(P419)>=1)))) | ((potential((tk(P544)>=1) & (tk(P854)>=1)))) ))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-10 (EX( (EX( (EG( ((potential((tk(P555)>=1) & (tk(P987)>=1))))))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-11 (AG( (EU( ( ((potential((tk(P393)>=1) & (tk(P1128)>=1)))) & ((potential((tk(P807)>=1) & (tk(P545)>=1)))) ) , (! ((potential((tk(P539)>=1) & (tk(P794)>=1))))) ))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-12 (AF( (EX( (AX( ((potential((tk(P232)>=1) & (tk(P1082)>=1))))))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-13 (AU( (AG( (! ((potential((tk(P300)>=1))))))) , ((potential((tk(P162)>=1) & (tk(P912)>=1)))) ))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-14 (EX( (EF( (! (! ((potential((tk(P549)>=1) & (tk(P896)>=1))))))))))
PROPERTY: DLCshifumi-PT-4a-CTLFireability-15 (! (! (EF( ( ( ((potential((tk(P535)>=1) & (tk(P673)>=1)))) | ((potential((tk(P728)>=1) & (tk(P543)>=1)))) ) & ((potential((tk(P52)>=1) & (tk(P731)>=1)))) )))))
BK_STOP 1589360107429
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_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="CTLFireability"
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 CTLFireability"
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-158922806900036"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;