About the Execution of smart for ViralEpidemic-PT-S04D1C1A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.760 | 3092745.00 | 3088030.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 '/data/fko/mcc2020-input.r224-oct2-159033538900540.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900540
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 4.1K May 14 05:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 05:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 2.2M May 12 20:42 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 ViralEpidemic-PT-S04D1C1A04-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590473817034
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A04
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: 2047 places, 3069 transitions, 7161 arcs.
AT ITER 0 NEW BEST:: SOT 4268333 SOS 2703647 HAS SOPS 2703647 HAS SOUS 817244 HAS SOUPS 817244 WITH SCORE 819947.647
AT ITER 3 NEW BEST:: SOT 4267555 SOS 2701702 HAS SOPS 2701702 HAS SOUS 817244 HAS SOUPS 817244 WITH SCORE 819945.702
AT ITER 11 NEW BEST:: SOT 4266657 SOS 2699457 HAS SOPS 2699457 HAS SOUS 817244 HAS SOUPS 817244 WITH SCORE 819943.457
AT ITER 17 NEW BEST:: SOT 4264757 SOS 2694705 HAS SOPS 2694705 HAS SOUS 817242 HAS SOUPS 817242 WITH SCORE 819936.705
AT ITER 21 NEW BEST:: SOT 4263795 SOS 2692297 HAS SOPS 2692297 HAS SOUS 817237 HAS SOUPS 817237 WITH SCORE 819929.297
AT ITER 29 NEW BEST:: SOT 4262445 SOS 2688922 HAS SOPS 2688922 HAS SOUS 817237 HAS SOUPS 817237 WITH SCORE 819925.922
AT ITER 34 NEW BEST:: SOT 4262045 SOS 2687922 HAS SOPS 2687922 HAS SOUS 817237 HAS SOUPS 817237 WITH SCORE 819924.922
AT ITER 40 NEW BEST:: SOT 4259785 SOS 2682270 HAS SOPS 2682270 HAS SOUS 817235 HAS SOUPS 817235 WITH SCORE 819917.27
AT ITER 44 NEW BEST:: SOT 4258691 SOS 2679532 HAS SOPS 2679532 HAS SOUS 817230 HAS SOUPS 817230 WITH SCORE 819909.532
AT ITER 78 NEW BEST:: SOT 4256933 SOS 2675134 HAS SOPS 2675134 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 819900.134
AT ITER 81 NEW BEST:: SOT 4255293 SOS 2671032 HAS SOPS 2671032 HAS SOUS 817223 HAS SOUPS 817223 WITH SCORE 819894.032
AT ITER 89 NEW BEST:: SOT 4253471 SOS 2666474 HAS SOPS 2666474 HAS SOUS 817218 HAS SOUPS 817218 WITH SCORE 819884.474
AT ITER 91 NEW BEST:: SOT 4252471 SOS 2663973 HAS SOPS 2663973 HAS SOUS 817217 HAS SOUPS 817217 WITH SCORE 819880.973
AT ITER 92 NEW BEST:: SOT 4251001 SOS 2660297 HAS SOPS 2660297 HAS SOUS 817216 HAS SOUPS 817216 WITH SCORE 819876.297
AT ITER 97 NEW BEST:: SOT 4249467 SOS 2656461 HAS SOPS 2656461 HAS SOUS 817215 HAS SOUPS 817215 WITH SCORE 819871.461
AT ITER 100 NEW BEST:: SOT 4248513 SOS 2654076 HAS SOPS 2654076 HAS SOUS 817215 HAS SOUPS 817215 WITH SCORE 819869.076
AT ITER 117 NEW BEST:: SOT 4247573 SOS 2651724 HAS SOPS 2651724 HAS SOUS 817213 HAS SOUPS 817213 WITH SCORE 819864.724
AT ITER 122 NEW BEST:: SOT 4245467 SOS 2646457 HAS SOPS 2646457 HAS SOUS 817211 HAS SOUPS 817211 WITH SCORE 819857.457
AT ITER 135 NEW BEST:: SOT 4243601 SOS 2641792 HAS SOPS 2641792 HAS SOUS 817211 HAS SOUPS 817211 WITH SCORE 819852.792
AT ITER 144 NEW BEST:: SOT 4242499 SOS 2638492 HAS SOPS 2638492 HAS SOUS 816666 HAS SOUPS 816666 WITH SCORE 819304.492
AT ITER 147 NEW BEST:: SOT 4241011 SOS 2634770 HAS SOPS 2634770 HAS SOUS 816664 HAS SOUPS 816664 WITH SCORE 819298.77
AT ITER 149 NEW BEST:: SOT 4240209 SOS 2632763 HAS SOPS 2632763 HAS SOUS 816662 HAS SOUPS 816662 WITH SCORE 819294.763
AT ITER 179 NEW BEST:: SOT 4239081 SOS 2629941 HAS SOPS 2629941 HAS SOUS 816660 HAS SOUPS 816660 WITH SCORE 819289.941
AT ITER 188 NEW BEST:: SOT 4238275 SOS 2627926 HAS SOPS 2627926 HAS SOUS 816660 HAS SOUPS 816660 WITH SCORE 819287.926
AT ITER 189 NEW BEST:: SOT 4237073 SOS 2624919 HAS SOPS 2624919 HAS SOUS 816658 HAS SOUPS 816658 WITH SCORE 819282.919
AT ITER 209 NEW BEST:: SOT 4235551 SOS 2621111 HAS SOPS 2621111 HAS SOUS 816653 HAS SOUPS 816653 WITH SCORE 819274.111
AT ITER 215 NEW BEST:: SOT 4234599 SOS 2618731 HAS SOPS 2618731 HAS SOUS 816653 HAS SOUPS 816653 WITH SCORE 819271.731
AT ITER 216 NEW BEST:: SOT 4232489 SOS 2612402 HAS SOPS 2612402 HAS SOUS 815595 HAS SOUPS 815595 WITH SCORE 818207.402
AT ITER 220 NEW BEST:: SOT 4230679 SOS 2607874 HAS SOPS 2607874 HAS SOUS 815590 HAS SOUPS 815590 WITH SCORE 818197.874
AT ITER 252 NEW BEST:: SOT 4229709 SOS 2605448 HAS SOPS 2605448 HAS SOUS 815589 HAS SOUPS 815589 WITH SCORE 818194.448
AT ITER 253 NEW BEST:: SOT 4229259 SOS 2604546 HAS SOPS 2604546 HAS SOUS 815437 HAS SOUPS 815437 WITH SCORE 818041.546
AT ITER 281 NEW BEST:: SOT 4228575 SOS 2602834 HAS SOPS 2602834 HAS SOUS 815435 HAS SOUPS 815435 WITH SCORE 818037.834
AT ITER 296 NEW BEST:: SOT 4226649 SOS 2598016 HAS SOPS 2598016 HAS SOUS 815430 HAS SOUPS 815430 WITH SCORE 818028.016
AT ITER 297 NEW BEST:: SOT 4226149 SOS 2596765 HAS SOPS 2596765 HAS SOUS 815429 HAS SOUPS 815429 WITH SCORE 818025.765
AT ITER 301 NEW BEST:: SOT 4225523 SOS 2595198 HAS SOPS 2595198 HAS SOUS 815427 HAS SOUPS 815427 WITH SCORE 818022.198
AT ITER 340 NEW BEST:: SOT 4225063 SOS 2594047 HAS SOPS 2594047 HAS SOUS 815426 HAS SOUPS 815426 WITH SCORE 818020.047
AT ITER 346 NEW BEST:: SOT 4221846 SOS 2587608 HAS SOPS 2587608 HAS SOUS 815068 HAS SOUPS 815068 WITH SCORE 817655.608
AT ITER 354 NEW BEST:: SOT 4221662 SOS 2587148 HAS SOPS 2587148 HAS SOUS 815068 HAS SOUPS 815068 WITH SCORE 817655.148
AT ITER 361 NEW BEST:: SOT 4220086 SOS 2583206 HAS SOPS 2583206 HAS SOUS 815066 HAS SOUPS 815066 WITH SCORE 817649.206
AT ITER 369 NEW BEST:: SOT 4219660 SOS 2582138 HAS SOPS 2582138 HAS SOUS 815061 HAS SOUPS 815061 WITH SCORE 817643.138
AT ITER 372 NEW BEST:: SOT 4219398 SOS 2581388 HAS SOPS 2581388 HAS SOUS 814964 HAS SOUPS 814964 WITH SCORE 817545.388
AT ITER 380 NEW BEST:: SOT 4218676 SOS 2579581 HAS SOPS 2579581 HAS SOUS 814962 HAS SOUPS 814962 WITH SCORE 817541.581
AT ITER 396 NEW BEST:: SOT 4217682 SOS 2577096 HAS SOPS 2577096 HAS SOUS 814962 HAS SOUPS 814962 WITH SCORE 817539.096
AT ITER 402 NEW BEST:: SOT 4215738 SOS 2572234 HAS SOPS 2572234 HAS SOUS 814960 HAS SOUPS 814960 WITH SCORE 817532.234
AT ITER 405 NEW BEST:: SOT 4215738 SOS 2571365 HAS SOPS 2571365 HAS SOUS 814091 HAS SOUPS 814091 WITH SCORE 816662.365
AT ITER 423 NEW BEST:: SOT 4215738 SOS 2570527 HAS SOPS 2570527 HAS SOUS 813253 HAS SOUPS 813253 WITH SCORE 815823.527
AT ITER 455 NEW BEST:: SOT 4213810 SOS 2565704 HAS SOPS 2565704 HAS SOUS 813248 HAS SOUPS 813248 WITH SCORE 815813.704
AT ITER 465 NEW BEST:: SOT 4212804 SOS 2563188 HAS SOPS 2563188 HAS SOUS 813247 HAS SOUPS 813247 WITH SCORE 815810.188
AT ITER 468 NEW BEST:: SOT 4211884 SOS 2560714 HAS SOPS 2560714 HAS SOUS 813203 HAS SOUPS 813203 WITH SCORE 815763.714
AT ITER 497 NEW BEST:: SOT 4211260 SOS 2559151 HAS SOPS 2559151 HAS SOUS 813198 HAS SOUPS 813198 WITH SCORE 815757.151
AT ITER 500 NEW BEST:: SOT 4210732 SOS 2557829 HAS SOPS 2557829 HAS SOUS 813196 HAS SOUPS 813196 WITH SCORE 815753.829
AT ITER 502 NEW BEST:: SOT 4210518 SOS 2557293 HAS SOPS 2557293 HAS SOUS 813195 HAS SOUPS 813195 WITH SCORE 815752.293
AT ITER 505 NEW BEST:: SOT 4208948 SOS 2552583 HAS SOPS 2552583 HAS SOUS 812406 HAS SOUPS 812406 WITH SCORE 814958.583
AT ITER 516 NEW BEST:: SOT 4206978 SOS 2547657 HAS SOPS 2547657 HAS SOUS 812405 HAS SOUPS 812405 WITH SCORE 814952.657
AT ITER 522 NEW BEST:: SOT 4205830 SOS 2544784 HAS SOPS 2544784 HAS SOUS 812400 HAS SOUPS 812400 WITH SCORE 814944.784
AT ITER 533 NEW BEST:: SOT 4205480 SOS 2543908 HAS SOPS 2543908 HAS SOUS 812399 HAS SOUPS 812399 WITH SCORE 814942.908
AT ITER 555 NEW BEST:: SOT 4204262 SOS 2540861 HAS SOPS 2540861 HAS SOUS 812397 HAS SOUPS 812397 WITH SCORE 814937.861
AT ITER 564 NEW BEST:: SOT 4202990 SOS 2537045 HAS SOPS 2537045 HAS SOUS 811761 HAS SOUPS 811761 WITH SCORE 814298.045
AT ITER 579 NEW BEST:: SOT 4201973 SOS 2533811 HAS SOPS 2533811 HAS SOUS 811559 HAS SOUPS 811559 WITH SCORE 814092.811
AT ITER 584 NEW BEST:: SOT 4200957 SOS 2531270 HAS SOPS 2531270 HAS SOUS 811558 HAS SOUPS 811558 WITH SCORE 814089.27
AT ITER 586 NEW BEST:: SOT 4200185 SOS 2529337 HAS SOPS 2529337 HAS SOUS 811553 HAS SOUPS 811553 WITH SCORE 814082.337
AT ITER 604 NEW BEST:: SOT 4199667 SOS 2528039 HAS SOPS 2528039 HAS SOUS 811548 HAS SOUPS 811548 WITH SCORE 814076.039
AT ITER 634 NEW BEST:: SOT 4198689 SOS 2525594 HAS SOPS 2525594 HAS SOUS 811548 HAS SOUPS 811548 WITH SCORE 814073.594
AT ITER 635 NEW BEST:: SOT 4197169 SOS 2521792 HAS SOPS 2521792 HAS SOUS 811546 HAS SOUPS 811546 WITH SCORE 814067.792
AT ITER 647 NEW BEST:: SOT 4195627 SOS 2517368 HAS SOPS 2517368 HAS SOUS 811486 HAS SOUPS 811486 WITH SCORE 814003.368
AT ITER 665 NEW BEST:: SOT 4193943 SOS 2513155 HAS SOPS 2513155 HAS SOUS 811481 HAS SOUPS 811481 WITH SCORE 813994.155
AT ITER 672 NEW BEST:: SOT 4191825 SOS 2507860 HAS SOPS 2507860 HAS SOUS 811481 HAS SOUPS 811481 WITH SCORE 813988.86
AT ITER 676 NEW BEST:: SOT 4190619 SOS 2504843 HAS SOPS 2504843 HAS SOUS 811479 HAS SOUPS 811479 WITH SCORE 813983.843
AT ITER 705 NEW BEST:: SOT 4189664 SOS 2501551 HAS SOPS 2501551 HAS SOUS 811366 HAS SOUPS 811366 WITH SCORE 813867.551
AT ITER 709 NEW BEST:: SOT 4187710 SOS 2496663 HAS SOPS 2496663 HAS SOUS 811361 HAS SOUPS 811361 WITH SCORE 813857.663
AT ITER 713 NEW BEST:: SOT 4186631 SOS 2494502 HAS SOPS 2494502 HAS SOUS 811235 HAS SOUPS 811235 WITH SCORE 813729.502
AT ITER 714 NEW BEST:: SOT 4186004 SOS 2493245 HAS SOPS 2493245 HAS SOUS 811021 HAS SOUPS 811021 WITH SCORE 813514.245
AT ITER 722 NEW BEST:: SOT 4185492 SOS 2491965 HAS SOPS 2491965 HAS SOUS 811021 HAS SOUPS 811021 WITH SCORE 813512.965
AT ITER 745 NEW BEST:: SOT 4184506 SOS 2489497 HAS SOPS 2489497 HAS SOUS 811016 HAS SOUPS 811016 WITH SCORE 813505.497
AT ITER 746 NEW BEST:: SOT 4183806 SOS 2487746 HAS SOPS 2487746 HAS SOUS 811015 HAS SOUPS 811015 WITH SCORE 813502.746
AT ITER 763 NEW BEST:: SOT 4182846 SOS 2485345 HAS SOPS 2485345 HAS SOUS 811014 HAS SOUPS 811014 WITH SCORE 813499.345
AT ITER 769 NEW BEST:: SOT 4181400 SOS 2481730 HAS SOPS 2481730 HAS SOUS 811014 HAS SOUPS 811014 WITH SCORE 813495.73
AT ITER 772 NEW BEST:: SOT 4180162 SOS 2478016 HAS SOPS 2478016 HAS SOUS 810391 HAS SOUPS 810391 WITH SCORE 812869.016
AT ITER 780 NEW BEST:: SOT 4178558 SOS 2474005 HAS SOPS 2474005 HAS SOUS 810390 HAS SOUPS 810390 WITH SCORE 812864.005
AT ITER 804 NEW BEST:: SOT 4177900 SOS 2472359 HAS SOPS 2472359 HAS SOUS 810389 HAS SOUPS 810389 WITH SCORE 812861.359
AT ITER 813 NEW BEST:: SOT 4177326 SOS 2470922 HAS SOPS 2470922 HAS SOUS 810387 HAS SOUPS 810387 WITH SCORE 812857.922
AT ITER 815 NEW BEST:: SOT 4176822 SOS 2469661 HAS SOPS 2469661 HAS SOUS 810386 HAS SOUPS 810386 WITH SCORE 812855.661
AT ITER 823 NEW BEST:: SOT 4174932 SOS 2464936 HAS SOPS 2464936 HAS SOUS 810386 HAS SOUPS 810386 WITH SCORE 812850.936
AT ITER 824 NEW BEST:: SOT 4174753 SOS 2464401 HAS SOPS 2464401 HAS SOUS 810294 HAS SOUPS 810294 WITH SCORE 812758.401
AT ITER 836 NEW BEST:: SOT 4173561 SOS 2461419 HAS SOPS 2461419 HAS SOUS 810292 HAS SOUPS 810292 WITH SCORE 812753.419
AT ITER 857 NEW BEST:: SOT 4172657 SOS 2458720 HAS SOPS 2458720 HAS SOUS 809905 HAS SOUPS 809905 WITH SCORE 812363.72
AT ITER 860 NEW BEST:: SOT 4170849 SOS 2453322 HAS SOPS 2453322 HAS SOUS 809025 HAS SOUPS 809025 WITH SCORE 811478.322
AT ITER 863 NEW BEST:: SOT 4168897 SOS 2447196 HAS SOPS 2447196 HAS SOUS 808878 HAS SOUPS 808878 WITH SCORE 811325.196
AT ITER 867 NEW BEST:: SOT 4168897 SOS 2447193 HAS SOPS 2447193 HAS SOUS 808873 HAS SOUPS 808873 WITH SCORE 811320.193
AT ITER 869 NEW BEST:: SOT 4167787 SOS 2444415 HAS SOPS 2444415 HAS SOUS 808868 HAS SOUPS 808868 WITH SCORE 811312.415
AT ITER 882 NEW BEST:: SOT 4166719 SOS 2441211 HAS SOPS 2441211 HAS SOUS 808334 HAS SOUPS 808334 WITH SCORE 810775.211
AT ITER 919 NEW BEST:: SOT 4166235 SOS 2439759 HAS SOPS 2439759 HAS SOUS 808090 HAS SOUPS 808090 WITH SCORE 810529.759
AT ITER 936 NEW BEST:: SOT 4165187 SOS 2437137 HAS SOPS 2437137 HAS SOUS 808088 HAS SOUPS 808088 WITH SCORE 810525.137
AT ITER 938 NEW BEST:: SOT 4164883 SOS 2436377 HAS SOPS 2436377 HAS SOUS 808088 HAS SOUPS 808088 WITH SCORE 810524.377
AT ITER 943 NEW BEST:: SOT 4163029 SOS 2431634 HAS SOPS 2431634 HAS SOUS 807980 HAS SOUPS 807980 WITH SCORE 810411.634
AT ITER 968 NEW BEST:: SOT 4161720 SOS 2427715 HAS SOPS 2427715 HAS SOUS 807452 HAS SOUPS 807452 WITH SCORE 809879.715
AT ITER 984 NEW BEST:: SOT 4161720 SOS 2426896 HAS SOPS 2426896 HAS SOUS 806633 HAS SOUPS 806633 WITH SCORE 809059.896
AT ITER 992 NEW BEST:: SOT 4160318 SOS 2423390 HAS SOPS 2423390 HAS SOUS 806632 HAS SOUPS 806632 WITH SCORE 809055.39
AT ITER 996 NEW BEST:: SOT 4159406 SOS 2421108 HAS SOPS 2421108 HAS SOUS 806630 HAS SOUPS 806630 WITH SCORE 809051.108
AT ITER 1005 NEW BEST:: SOT 4157686 SOS 2416049 HAS SOPS 2416049 HAS SOUS 805871 HAS SOUPS 805871 WITH SCORE 808287.049
AT ITER 1017 NEW BEST:: SOT 4156311 SOS 2411974 HAS SOPS 2411974 HAS SOUS 805460 HAS SOUPS 805460 WITH SCORE 807871.974
AT ITER 1025 NEW BEST:: SOT 4156075 SOS 2411384 HAS SOPS 2411384 HAS SOUS 805460 HAS SOUPS 805460 WITH SCORE 807871.384
AT ITER 1029 NEW BEST:: SOT 4155847 SOS 2410683 HAS SOPS 2410683 HAS SOUS 805422 HAS SOUPS 805422 WITH SCORE 807832.683
AT ITER 1036 NEW BEST:: SOT 4153519 SOS 2406022 HAS SOPS 2406022 HAS SOUS 805324 HAS SOUPS 805324 WITH SCORE 807730.022
AT ITER 1038 NEW BEST:: SOT 4152347 SOS 2402540 HAS SOPS 2402540 HAS SOUS 804772 HAS SOUPS 804772 WITH SCORE 807174.54
AT ITER 1040 NEW BEST:: SOT 4151097 SOS 2398790 HAS SOPS 2398790 HAS SOUS 804147 HAS SOUPS 804147 WITH SCORE 806545.79
AT ITER 1045 NEW BEST:: SOT 4150861 SOS 2398082 HAS SOPS 2398082 HAS SOUS 804027 HAS SOUPS 804027 WITH SCORE 806425.082
AT ITER 1077 NEW BEST:: SOT 4150273 SOS 2396610 HAS SOPS 2396610 HAS SOUS 804025 HAS SOUPS 804025 WITH SCORE 806421.61
AT ITER 1084 NEW BEST:: SOT 4148919 SOS 2393224 HAS SOPS 2393224 HAS SOUS 804024 HAS SOUPS 804024 WITH SCORE 806417.224
AT ITER 1090 NEW BEST:: SOT 4148919 SOS 2393202 HAS SOPS 2393202 HAS SOUS 804002 HAS SOUPS 804002 WITH SCORE 806395.202
AT ITER 1100 NEW BEST:: SOT 4147869 SOS 2390575 HAS SOPS 2390575 HAS SOUS 804000 HAS SOUPS 804000 WITH SCORE 806390.575
AT ITER 1102 NEW BEST:: SOT 4146467 SOS 2387067 HAS SOPS 2387067 HAS SOUS 803995 HAS SOUPS 803995 WITH SCORE 806382.067
AT ITER 1110 NEW BEST:: SOT 4145019 SOS 2383446 HAS SOPS 2383446 HAS SOUS 803994 HAS SOUPS 803994 WITH SCORE 806377.446
AT ITER 1115 NEW BEST:: SOT 4142900 SOS 2377189 HAS SOPS 2377189 HAS SOUS 803388 HAS SOUPS 803388 WITH SCORE 805765.189
AT ITER 1121 NEW BEST:: SOT 4142783 SOS 2376518 HAS SOPS 2376518 HAS SOUS 803271 HAS SOUPS 803271 WITH SCORE 805647.518
AT ITER 1137 NEW BEST:: SOT 4141123 SOS 2371678 HAS SOPS 2371678 HAS SOUS 802885 HAS SOUPS 802885 WITH SCORE 805256.678
AT ITER 1140 NEW BEST:: SOT 4140844 SOS 2371119 HAS SOPS 2371119 HAS SOUS 802791 HAS SOUPS 802791 WITH SCORE 805162.119
AT ITER 1153 NEW BEST:: SOT 4140306 SOS 2369562 HAS SOPS 2369562 HAS SOUS 802577 HAS SOUPS 802577 WITH SCORE 804946.562
AT ITER 1160 NEW BEST:: SOT 4139791 SOS 2367774 HAS SOPS 2367774 HAS SOUS 802441 HAS SOUPS 802441 WITH SCORE 804808.774
AT ITER 1172 NEW BEST:: SOT 4138477 SOS 2363832 HAS SOPS 2363832 HAS SOUS 801782 HAS SOUPS 801782 WITH SCORE 804145.832
AT ITER 1181 NEW BEST:: SOT 4136459 SOS 2358785 HAS SOPS 2358785 HAS SOUS 801780 HAS SOUPS 801780 WITH SCORE 804138.785
AT ITER 1202 NEW BEST:: SOT 4134561 SOS 2353091 HAS SOPS 2353091 HAS SOUS 800831 HAS SOUPS 800831 WITH SCORE 803184.091
AT ITER 1244 NEW BEST:: SOT 4133249 SOS 2349810 HAS SOPS 2349810 HAS SOUS 800830 HAS SOUPS 800830 WITH SCORE 803179.81
AT ITER 1254 NEW BEST:: SOT 4131567 SOS 2345605 HAS SOPS 2345605 HAS SOUS 800830 HAS SOUPS 800830 WITH SCORE 803175.605
AT ITER 1269 NEW BEST:: SOT 4130163 SOS 2342093 HAS SOPS 2342093 HAS SOUS 800828 HAS SOUPS 800828 WITH SCORE 803170.093
AT ITER 1282 NEW BEST:: SOT 4128600 SOS 2338964 HAS SOPS 2338964 HAS SOUS 800302 HAS SOUPS 800302 WITH SCORE 802640.964
AT ITER 1285 NEW BEST:: SOT 4127060 SOS 2335113 HAS SOPS 2335113 HAS SOUS 800301 HAS SOUPS 800301 WITH SCORE 802636.113
AT ITER 1291 NEW BEST:: SOT 4125148 SOS 2329377 HAS SOPS 2329377 HAS SOUS 799341 HAS SOUPS 799341 WITH SCORE 801670.377
AT ITER 1330 NEW BEST:: SOT 4123084 SOS 2324215 HAS SOPS 2324215 HAS SOUS 799339 HAS SOUPS 799339 WITH SCORE 801663.215
AT ITER 1340 NEW BEST:: SOT 4122884 SOS 2323715 HAS SOPS 2323715 HAS SOUS 799339 HAS SOUPS 799339 WITH SCORE 801662.715
AT ITER 1342 NEW BEST:: SOT 4122361 SOS 2322669 HAS SOPS 2322669 HAS SOUS 798840 HAS SOUPS 798840 WITH SCORE 801162.669
AT ITER 1349 NEW BEST:: SOT 4121159 SOS 2319274 HAS SOPS 2319274 HAS SOUS 798450 HAS SOUPS 798450 WITH SCORE 800769.274
AT ITER 1353 NEW BEST:: SOT 4121159 SOS 2319271 HAS SOPS 2319271 HAS SOUS 798445 HAS SOUPS 798445 WITH SCORE 800764.271
AT ITER 1354 NEW BEST:: SOT 4120644 SOS 2317317 HAS SOPS 2317317 HAS SOUS 798388 HAS SOUPS 798388 WITH SCORE 800705.317
AT ITER 1364 NEW BEST:: SOT 4119402 SOS 2314209 HAS SOPS 2314209 HAS SOUS 798383 HAS SOUPS 798383 WITH SCORE 800697.209
AT ITER 1390 NEW BEST:: SOT 4118190 SOS 2310667 HAS SOPS 2310667 HAS SOUS 797904 HAS SOUPS 797904 WITH SCORE 800214.667
AT ITER 1396 NEW BEST:: SOT 4116238 SOS 2305686 HAS SOPS 2305686 HAS SOUS 797856 HAS SOUPS 797856 WITH SCORE 800161.686
AT ITER 1398 NEW BEST:: SOT 4113092 SOS 2299390 HAS SOPS 2299390 HAS SOUS 797340 HAS SOUPS 797340 WITH SCORE 799639.39
AT ITER 1404 NEW BEST:: SOT 4111824 SOS 2296218 HAS SOPS 2296218 HAS SOUS 797338 HAS SOUPS 797338 WITH SCORE 799634.218
AT ITER 1410 NEW BEST:: SOT 4110278 SOS 2293120 HAS SOPS 2293120 HAS SOUS 797326 HAS SOUPS 797326 WITH SCORE 799619.12
AT ITER 1415 NEW BEST:: SOT 4109420 SOS 2290973 HAS SOPS 2290973 HAS SOUS 797324 HAS SOUPS 797324 WITH SCORE 799614.973
AT ITER 1428 NEW BEST:: SOT 4109202 SOS 2290319 HAS SOPS 2290319 HAS SOUS 797213 HAS SOUPS 797213 WITH SCORE 799503.319
AT ITER 1451 NEW BEST:: SOT 4108972 SOS 2289629 HAS SOPS 2289629 HAS SOUS 797098 HAS SOUPS 797098 WITH SCORE 799387.629
AT ITER 1457 NEW BEST:: SOT 4107874 SOS 2286884 HAS SOPS 2286884 HAS SOUS 797098 HAS SOUPS 797098 WITH SCORE 799384.884
AT ITER 1458 NEW BEST:: SOT 4107163 SOS 2285462 HAS SOPS 2285462 HAS SOUS 796861 HAS SOUPS 796861 WITH SCORE 799146.462
AT ITER 1469 NEW BEST:: SOT 4105394 SOS 2280367 HAS SOPS 2280367 HAS SOUS 796485 HAS SOUPS 796485 WITH SCORE 798765.367
AT ITER 1494 NEW BEST:: SOT 4104545 SOS 2278667 HAS SOPS 2278667 HAS SOUS 796200 HAS SOUPS 796200 WITH SCORE 798478.667
AT ITER 1503 NEW BEST:: SOT 4102787 SOS 2274272 HAS SOPS 2274272 HAS SOUS 796200 HAS SOUPS 796200 WITH SCORE 798474.272
AT ITER 1526 NEW BEST:: SOT 4102787 SOS 2274272 HAS SOPS 2274272 HAS SOUS 796198 HAS SOUPS 796198 WITH SCORE 798472.272
AT ITER 1546 NEW BEST:: SOT 4102081 SOS 2272158 HAS SOPS 2272158 HAS SOUS 795849 HAS SOUPS 795849 WITH SCORE 798121.158
AT ITER 1558 NEW BEST:: SOT 4101403 SOS 2270463 HAS SOPS 2270463 HAS SOUS 795849 HAS SOUPS 795849 WITH SCORE 798119.463
AT ITER 1565 NEW BEST:: SOT 4101403 SOS 2270460 HAS SOPS 2270460 HAS SOUS 795844 HAS SOUPS 795844 WITH SCORE 798114.46
AT ITER 1587 NEW BEST:: SOT 4101022 SOS 2269126 HAS SOPS 2269126 HAS SOUS 795749 HAS SOUPS 795749 WITH SCORE 798018.126
AT ITER 1590 NEW BEST:: SOT 4100700 SOS 2268318 HAS SOPS 2268318 HAS SOUS 795744 HAS SOUPS 795744 WITH SCORE 798012.318
AT ITER 1601 NEW BEST:: SOT 4099964 SOS 2266477 HAS SOPS 2266477 HAS SOUS 795743 HAS SOUPS 795743 WITH SCORE 798009.477
AT ITER 1602 NEW BEST:: SOT 4099232 SOS 2264644 HAS SOPS 2264644 HAS SOUS 795738 HAS SOUPS 795738 WITH SCORE 798002.644
AT ITER 1610 NEW BEST:: SOT 4097638 SOS 2259659 HAS SOPS 2259659 HAS SOUS 795588 HAS SOUPS 795588 WITH SCORE 797847.659
AT ITER 1648 NEW BEST:: SOT 4095802 SOS 2254249 HAS SOPS 2254249 HAS SOUS 795128 HAS SOUPS 795128 WITH SCORE 797382.249
AT ITER 1651 NEW BEST:: SOT 4094214 SOS 2250277 HAS SOPS 2250277 HAS SOUS 795126 HAS SOUPS 795126 WITH SCORE 797376.277
AT ITER 1658 NEW BEST:: SOT 4093499 SOS 2248050 HAS SOPS 2248050 HAS SOUS 794947 HAS SOUPS 794947 WITH SCORE 797195.05
AT ITER 1680 NEW BEST:: SOT 4091648 SOS 2242257 HAS SOPS 2242257 HAS SOUS 794151 HAS SOUPS 794151 WITH SCORE 796393.257
AT ITER 1693 NEW BEST:: SOT 4090073 SOS 2236985 HAS SOPS 2236985 HAS SOUS 793763 HAS SOUPS 793763 WITH SCORE 795999.985
AT ITER 1726 NEW BEST:: SOT 4090067 SOS 2236970 HAS SOPS 2236970 HAS SOUS 793763 HAS SOUPS 793763 WITH SCORE 795999.97
AT ITER 1739 NEW BEST:: SOT 4088651 SOS 2233430 HAS SOPS 2233430 HAS SOUS 793763 HAS SOUPS 793763 WITH SCORE 795996.43
AT ITER 1751 NEW BEST:: SOT 4088619 SOS 2233348 HAS SOPS 2233348 HAS SOUS 793761 HAS SOUPS 793761 WITH SCORE 795994.348
AT ITER 1753 NEW BEST:: SOT 4086287 SOS 2226393 HAS SOPS 2226393 HAS SOUS 793073 HAS SOUPS 793073 WITH SCORE 795299.393
AT ITER 1758 NEW BEST:: SOT 4086093 SOS 2226005 HAS SOPS 2226005 HAS SOUS 792879 HAS SOUPS 792879 WITH SCORE 795105.005
AT ITER 1788 NEW BEST:: SOT 4086003 SOS 2225825 HAS SOPS 2225825 HAS SOUS 792849 HAS SOUPS 792849 WITH SCORE 795074.825
AT ITER 1794 NEW BEST:: SOT 4082826 SOS 2219468 HAS SOPS 2219468 HAS SOUS 792132 HAS SOUPS 792132 WITH SCORE 794351.468
AT ITER 1795 NEW BEST:: SOT 4083375 SOS 2218827 HAS SOPS 2218827 HAS SOUS 791491 HAS SOUPS 791491 WITH SCORE 793709.827
AT ITER 1796 NEW BEST:: SOT 4081744 SOS 2214004 HAS SOPS 2214004 HAS SOUS 790777 HAS SOUPS 790777 WITH SCORE 792991.004
AT ITER 1797 NEW BEST:: SOT 4079786 SOS 2209108 HAS SOPS 2209108 HAS SOUS 790776 HAS SOUPS 790776 WITH SCORE 792985.108
AT ITER 1798 NEW BEST:: SOT 4078822 SOS 2206389 HAS SOPS 2206389 HAS SOUS 790467 HAS SOUPS 790467 WITH SCORE 792673.389
AT ITER 1810 NEW BEST:: SOT 4078967 SOS 2206816 HAS SOPS 2206816 HAS SOUS 790413 HAS SOUPS 790413 WITH SCORE 792619.816
AT ITER 1829 NEW BEST:: SOT 4078361 SOS 2205300 HAS SOPS 2205300 HAS SOUS 790412 HAS SOUPS 790412 WITH SCORE 792617.3
AT ITER 1837 NEW BEST:: SOT 4078352 SOS 2205282 HAS SOPS 2205282 HAS SOUS 790403 HAS SOUPS 790403 WITH SCORE 792608.282
AT ITER 1839 NEW BEST:: SOT 4077222 SOS 2202455 HAS SOPS 2202455 HAS SOUS 790401 HAS SOUPS 790401 WITH SCORE 792603.455
AT ITER 1842 NEW BEST:: SOT 4075270 SOS 2197574 HAS SOPS 2197574 HAS SOUS 790400 HAS SOUPS 790400 WITH SCORE 792597.574
AT ITER 1864 NEW BEST:: SOT 4073406 SOS 2192912 HAS SOPS 2192912 HAS SOUS 790398 HAS SOUPS 790398 WITH SCORE 792590.912
AT ITER 1883 NEW BEST:: SOT 4071571 SOS 2189241 HAS SOPS 2189241 HAS SOUS 790052 HAS SOUPS 790052 WITH SCORE 792241.241
AT ITER 1884 NEW BEST:: SOT 4071560 SOS 2189219 HAS SOPS 2189219 HAS SOUS 790041 HAS SOUPS 790041 WITH SCORE 792230.219
AT ITER 1887 NEW BEST:: SOT 4071560 SOS 2189218 HAS SOPS 2189218 HAS SOUS 790034 HAS SOUPS 790034 WITH SCORE 792223.218
AT ITER 1897 NEW BEST:: SOT 4071487 SOS 2189135 HAS SOPS 2189135 HAS SOUS 790024 HAS SOUPS 790024 WITH SCORE 792213.135
AT ITER 1898 NEW BEST:: SOT 4070776 SOS 2187711 HAS SOPS 2187711 HAS SOUS 789785 HAS SOUPS 789785 WITH SCORE 791972.711
AT ITER 1902 NEW BEST:: SOT 4070776 SOS 2187686 HAS SOPS 2187686 HAS SOUS 789506 HAS SOUPS 789506 WITH SCORE 791693.686
AT ITER 1918 NEW BEST:: SOT 4069816 SOS 2185285 HAS SOPS 2185285 HAS SOUS 789505 HAS SOUPS 789505 WITH SCORE 791690.285
AT ITER 1919 NEW BEST:: SOT 4069720 SOS 2185092 HAS SOPS 2185092 HAS SOUS 789472 HAS SOUPS 789472 WITH SCORE 791657.092
AT ITER 1933 NEW BEST:: SOT 4068237 SOS 2180782 HAS SOPS 2180782 HAS SOUS 789232 HAS SOUPS 789232 WITH SCORE 791412.782
AT ITER 1945 NEW BEST:: SOT 4067675 SOS 2179633 HAS SOPS 2179633 HAS SOUS 789211 HAS SOUPS 789211 WITH SCORE 791390.633
AT ITER 1950 NEW BEST:: SOT 4067625 SOS 2179505 HAS SOPS 2179505 HAS SOUS 789206 HAS SOUPS 789206 WITH SCORE 791385.505
AT ITER 1957 NEW BEST:: SOT 4065905 SOS 2174403 HAS SOPS 2174403 HAS SOUS 788713 HAS SOUPS 788713 WITH SCORE 790887.403
AT ITER 1981 NEW BEST:: SOT 4065343 SOS 2172795 HAS SOPS 2172795 HAS SOUS 788508 HAS SOUPS 788508 WITH SCORE 790680.795
AT ITER 2002 NEW BEST:: SOT 4065343 SOS 2172794 HAS SOPS 2172794 HAS SOUS 788507 HAS SOUPS 788507 WITH SCORE 790679.794
AT ITER 2031 NEW BEST:: SOT 4065374 SOS 2173296 HAS SOPS 2173296 HAS SOUS 787658 HAS SOUPS 787658 WITH SCORE 789831.296
AT ITER 2037 NEW BEST:: SOT 4063290 SOS 2167124 HAS SOPS 2167124 HAS SOUS 787048 HAS SOUPS 787048 WITH SCORE 789215.124
AT ITER 2062 NEW BEST:: SOT 4063091 SOS 2166726 HAS SOPS 2166726 HAS SOUS 786849 HAS SOUPS 786849 WITH SCORE 789015.726
AT ITER 2074 NEW BEST:: SOT 4061018 SOS 2161541 HAS SOPS 2161541 HAS SOUS 786851 HAS SOUPS 786851 WITH SCORE 789012.541
AT ITER 2076 NEW BEST:: SOT 4060782 SOS 2161069 HAS SOPS 2161069 HAS SOUS 786615 HAS SOUPS 786615 WITH SCORE 788776.069
AT ITER 2080 NEW BEST:: SOT 4060640 SOS 2160711 HAS SOPS 2160711 HAS SOUS 786610 HAS SOUPS 786610 WITH SCORE 788770.711
AT ITER 2081 NEW BEST:: SOT 4059730 SOS 2158434 HAS SOPS 2158434 HAS SOUS 786608 HAS SOUPS 786608 WITH SCORE 788766.434
AT ITER 2095 NEW BEST:: SOT 4058816 SOS 2155900 HAS SOPS 2155900 HAS SOUS 786359 HAS SOUPS 786359 WITH SCORE 788514.9
AT ITER 2114 NEW BEST:: SOT 4057946 SOS 2153290 HAS SOPS 2153290 HAS SOUS 785924 HAS SOUPS 785924 WITH SCORE 788077.29
AT ITER 2116 NEW BEST:: SOT 4057946 SOS 2153288 HAS SOPS 2153288 HAS SOUS 785922 HAS SOUPS 785922 WITH SCORE 788075.288
AT ITER 2124 NEW BEST:: SOT 4056998 SOS 2152467 HAS SOPS 2152467 HAS SOUS 785319 HAS SOUPS 785319 WITH SCORE 787471.467
AT ITER 2144 NEW BEST:: SOT 4055064 SOS 2147630 HAS SOPS 2147630 HAS SOUS 785317 HAS SOUPS 785317 WITH SCORE 787464.63
AT ITER 2157 NEW BEST:: SOT 4053780 SOS 2145036 HAS SOPS 2145036 HAS SOUS 784809 HAS SOUPS 784809 WITH SCORE 786954.036
AT ITER 2158 NEW BEST:: SOT 4053318 SOS 2143880 HAS SOPS 2143880 HAS SOUS 784808 HAS SOUPS 784808 WITH SCORE 786951.88
AT ITER 2161 NEW BEST:: SOT 4052325 SOS 2141607 HAS SOPS 2141607 HAS SOUS 784720 HAS SOUPS 784720 WITH SCORE 786861.607
AT ITER 2180 NEW BEST:: SOT 4051006 SOS 2137762 HAS SOPS 2137762 HAS SOUS 784372 HAS SOUPS 784372 WITH SCORE 786509.762
AT ITER 2189 NEW BEST:: SOT 4050912 SOS 2137525 HAS SOPS 2137525 HAS SOUS 784370 HAS SOUPS 784370 WITH SCORE 786507.525
AT ITER 2192 NEW BEST:: SOT 4050765 SOS 2137182 HAS SOPS 2137182 HAS SOUS 784272 HAS SOUPS 784272 WITH SCORE 786409.182
AT ITER 2254 NEW BEST:: SOT 4050765 SOS 2136149 HAS SOPS 2136149 HAS SOUS 783235 HAS SOUPS 783235 WITH SCORE 785371.149
AT ITER 2256 NEW BEST:: SOT 4049097 SOS 2131977 HAS SOPS 2131977 HAS SOUS 783233 HAS SOUPS 783233 WITH SCORE 785364.977
AT ITER 2275 NEW BEST:: SOT 4048685 SOS 2130741 HAS SOPS 2130741 HAS SOUS 782841 HAS SOUPS 782841 WITH SCORE 784971.741
AT ITER 2282 NEW BEST:: SOT 4047663 SOS 2128184 HAS SOPS 2128184 HAS SOUS 782839 HAS SOUPS 782839 WITH SCORE 784967.184
AT ITER 2284 NEW BEST:: SOT 4047663 SOS 2128172 HAS SOPS 2128172 HAS SOUS 782827 HAS SOUPS 782827 WITH SCORE 784955.172
AT ITER 2301 NEW BEST:: SOT 4046977 SOS 2126456 HAS SOPS 2126456 HAS SOUS 782826 HAS SOUPS 782826 WITH SCORE 784952.456
AT ITER 2318 NEW BEST:: SOT 4046977 SOS 2126454 HAS SOPS 2126454 HAS SOUS 782824 HAS SOUPS 782824 WITH SCORE 784950.454
AT ITER 2322 NEW BEST:: SOT 4046615 SOS 2125368 HAS SOPS 2125368 HAS SOUS 782643 HAS SOUPS 782643 WITH SCORE 784768.368
AT ITER 2387 NEW BEST:: SOT 4046615 SOS 2125367 HAS SOPS 2125367 HAS SOUS 782642 HAS SOUPS 782642 WITH SCORE 784767.367
AT ITER 2399 NEW BEST:: SOT 4045073 SOS 2121510 HAS SOPS 2121510 HAS SOUS 782640 HAS SOUPS 782640 WITH SCORE 784761.51
AT ITER 2415 NEW BEST:: SOT 4044409 SOS 2119518 HAS SOPS 2119518 HAS SOUS 782308 HAS SOUPS 782308 WITH SCORE 784427.518
AT ITER 2431 NEW BEST:: SOT 4042922 SOS 2115114 HAS SOPS 2115114 HAS SOUS 781870 HAS SOUPS 781870 WITH SCORE 783985.114
AT ITER 2437 NEW BEST:: SOT 4041508 SOS 2111026 HAS SOPS 2111026 HAS SOUS 781482 HAS SOUPS 781482 WITH SCORE 783593.026
AT ITER 2443 NEW BEST:: SOT 4041498 SOS 2111006 HAS SOPS 2111006 HAS SOUS 781481 HAS SOUPS 781481 WITH SCORE 783592.006
AT ITER 2457 NEW BEST:: SOT 4040028 SOS 2106620 HAS SOPS 2106620 HAS SOUS 780768 HAS SOUPS 780768 WITH SCORE 782874.62
AT ITER 2458 NEW BEST:: SOT 4039942 SOS 2106405 HAS SOPS 2106405 HAS SOUS 780768 HAS SOUPS 780768 WITH SCORE 782874.405
AT ITER 2474 NEW BEST:: SOT 4038926 SOS 2103137 HAS SOPS 2103137 HAS SOUS 780619 HAS SOUPS 780619 WITH SCORE 782722.137
AT ITER 2475 NEW BEST:: SOT 4037968 SOS 2100271 HAS SOPS 2100271 HAS SOUS 780142 HAS SOUPS 780142 WITH SCORE 782242.271
AT ITER 2476 NEW BEST:: SOT 4037320 SOS 2098648 HAS SOPS 2098648 HAS SOUS 780137 HAS SOUPS 780137 WITH SCORE 782235.648
AT ITER 2484 NEW BEST:: SOT 4037117 SOS 2098014 HAS SOPS 2098014 HAS SOUS 780048 HAS SOUPS 780048 WITH SCORE 782146.014
AT ITER 2490 NEW BEST:: SOT 4035965 SOS 2094558 HAS SOPS 2094558 HAS SOUS 779470 HAS SOUPS 779470 WITH SCORE 781564.558
AT ITER 2508 NEW BEST:: SOT 4035817 SOS 2094040 HAS SOPS 2094040 HAS SOUS 779433 HAS SOUPS 779433 WITH SCORE 781527.04
AT ITER 2515 NEW BEST:: SOT 4035817 SOS 2094038 HAS SOPS 2094038 HAS SOUS 779431 HAS SOUPS 779431 WITH SCORE 781525.038
AT ITER 2521 NEW BEST:: SOT 4035733 SOS 2093842 HAS SOPS 2093842 HAS SOUS 779375 HAS SOUPS 779375 WITH SCORE 781468.842
AT ITER 2523 NEW BEST:: SOT 4034564 SOS 2090536 HAS SOPS 2090536 HAS SOUS 779114 HAS SOUPS 779114 WITH SCORE 781204.536
AT ITER 2531 NEW BEST:: SOT 4034536 SOS 2090463 HAS SOPS 2090463 HAS SOUS 779109 HAS SOUPS 779109 WITH SCORE 781199.463
AT ITER 2535 NEW BEST:: SOT 4034536 SOS 2089951 HAS SOPS 2089951 HAS SOUS 778593 HAS SOUPS 778593 WITH SCORE 780682.951
AT ITER 2539 NEW BEST:: SOT 4034536 SOS 2089424 HAS SOPS 2089424 HAS SOUS 778320 HAS SOUPS 778320 WITH SCORE 780409.424
AT ITER 2571 NEW BEST:: SOT 4034400 SOS 2089016 HAS SOPS 2089016 HAS SOUS 778248 HAS SOUPS 778248 WITH SCORE 780337.016
AT ITER 2573 NEW BEST:: SOT 4034400 SOS 2089016 HAS SOPS 2089016 HAS SOUS 778244 HAS SOUPS 778244 WITH SCORE 780333.016
AT ITER 2581 NEW BEST:: SOT 4033433 SOS 2086215 HAS SOPS 2086215 HAS SOUS 777921 HAS SOUPS 777921 WITH SCORE 780007.215
AT ITER 2583 NEW BEST:: SOT 4033433 SOS 2086212 HAS SOPS 2086212 HAS SOUS 777916 HAS SOUPS 777916 WITH SCORE 780002.212
AT ITER 2586 NEW BEST:: SOT 4031523 SOS 2079820 HAS SOPS 2079820 HAS SOUS 777811 HAS SOUPS 777811 WITH SCORE 779890.82
AT ITER 2613 NEW BEST:: SOT 4028750 SOS 2073331 HAS SOPS 2073331 HAS SOUS 775967 HAS SOUPS 775967 WITH SCORE 778040.331
AT ITER 2620 NEW BEST:: SOT 4027863 SOS 2070589 HAS SOPS 2070589 HAS SOUS 775909 HAS SOUPS 775909 WITH SCORE 777979.589
AT ITER 2622 NEW BEST:: SOT 4026873 SOS 2068112 HAS SOPS 2068112 HAS SOUS 775907 HAS SOUPS 775907 WITH SCORE 777975.112
AT ITER 2638 NEW BEST:: SOT 4025792 SOS 2065057 HAS SOPS 2065057 HAS SOUS 775838 HAS SOUPS 775838 WITH SCORE 777903.057
AT ITER 2659 NEW BEST:: SOT 4023968 SOS 2059369 HAS SOPS 2059369 HAS SOUS 775562 HAS SOUPS 775562 WITH SCORE 777621.369
AT ITER 2673 NEW BEST:: SOT 4022910 SOS 2056337 HAS SOPS 2056337 HAS SOUS 775175 HAS SOUPS 775175 WITH SCORE 777231.337
AT ITER 2678 NEW BEST:: SOT 4021256 SOS 2051175 HAS SOPS 2051175 HAS SOUS 773342 HAS SOUPS 773342 WITH SCORE 775393.175
AT ITER 2683 NEW BEST:: SOT 4020976 SOS 2050335 HAS SOPS 2050335 HAS SOUS 773200 HAS SOUPS 773200 WITH SCORE 775250.335
AT ITER 2694 NEW BEST:: SOT 4019150 SOS 2044976 HAS SOPS 2044976 HAS SOUS 772751 HAS SOUPS 772751 WITH SCORE 774795.976
AT ITER 2698 NEW BEST:: SOT 4018146 SOS 2042134 HAS SOPS 2042134 HAS SOUS 772647 HAS SOUPS 772647 WITH SCORE 774689.134
AT ITER 2700 NEW BEST:: SOT 4017050 SOS 2038846 HAS SOPS 2038846 HAS SOUS 772099 HAS SOUPS 772099 WITH SCORE 774137.846
AT ITER 2718 NEW BEST:: SOT 4017050 SOS 2038845 HAS SOPS 2038845 HAS SOUS 772098 HAS SOUPS 772098 WITH SCORE 774136.845
AT ITER 2724 NEW BEST:: SOT 4017053 SOS 2038854 HAS SOPS 2038854 HAS SOUS 772095 HAS SOUPS 772095 WITH SCORE 774133.854
AT ITER 2725 NEW BEST:: SOT 4015277 SOS 2034412 HAS SOPS 2034412 HAS SOUS 772093 HAS SOUPS 772093 WITH SCORE 774127.412
AT ITER 2729 NEW BEST:: SOT 4014961 SOS 2033780 HAS SOPS 2033780 HAS SOUS 771815 HAS SOUPS 771815 WITH SCORE 773848.78
AT ITER 2732 NEW BEST:: SOT 4013752 SOS 2029832 HAS SOPS 2029832 HAS SOUS 771774 HAS SOUPS 771774 WITH SCORE 773803.832
AT ITER 2745 NEW BEST:: SOT 4013701 SOS 2029730 HAS SOPS 2029730 HAS SOUS 771774 HAS SOUPS 771774 WITH SCORE 773803.73
AT ITER 2756 NEW BEST:: SOT 4012679 SOS 2027299 HAS SOPS 2027299 HAS SOUS 771168 HAS SOUPS 771168 WITH SCORE 773195.299
AT ITER 2757 NEW BEST:: SOT 4012631 SOS 2027155 HAS SOPS 2027155 HAS SOUS 771144 HAS SOUPS 771144 WITH SCORE 773171.155
AT ITER 2767 NEW BEST:: SOT 4011611 SOS 2025114 HAS SOPS 2025114 HAS SOUS 770873 HAS SOUPS 770873 WITH SCORE 772898.114
AT ITER 2772 NEW BEST:: SOT 4010558 SOS 2022089 HAS SOPS 2022089 HAS SOUS 770635 HAS SOUPS 770635 WITH SCORE 772657.089
AT ITER 2775 NEW BEST:: SOT 4010584 SOS 2021899 HAS SOPS 2021899 HAS SOUS 770195 HAS SOUPS 770195 WITH SCORE 772216.899
AT ITER 2778 NEW BEST:: SOT 4008068 SOS 2016862 HAS SOPS 2016862 HAS SOUS 769999 HAS SOUPS 769999 WITH SCORE 772015.862
AT ITER 2788 NEW BEST:: SOT 4007949 SOS 2016624 HAS SOPS 2016624 HAS SOUS 769880 HAS SOUPS 769880 WITH SCORE 771896.624
AT ITER 2798 NEW BEST:: SOT 4006153 SOS 2011453 HAS SOPS 2011453 HAS SOUS 769432 HAS SOUPS 769432 WITH SCORE 771443.453
AT ITER 2799 NEW BEST:: SOT 4006051 SOS 2011248 HAS SOPS 2011248 HAS SOUS 769397 HAS SOUPS 769397 WITH SCORE 771408.248
AT ITER 2804 NEW BEST:: SOT 4005779 SOS 2010704 HAS SOPS 2010704 HAS SOUS 769141 HAS SOUPS 769141 WITH SCORE 771151.704
AT ITER 2813 NEW BEST:: SOT 4005219 SOS 2009024 HAS SOPS 2009024 HAS SOUS 768861 HAS SOUPS 768861 WITH SCORE 770870.024
AT ITER 2831 NEW BEST:: SOT 4004939 SOS 2008323 HAS SOPS 2008323 HAS SOUS 768860 HAS SOUPS 768860 WITH SCORE 770868.323
AT ITER 2848 NEW BEST:: SOT 4004689 SOS 2007688 HAS SOPS 2007688 HAS SOUS 768759 HAS SOUPS 768759 WITH SCORE 770766.688
AT ITER 2851 NEW BEST:: SOT 4003644 SOS 2004810 HAS SOPS 2004810 HAS SOUS 768603 HAS SOUPS 768603 WITH SCORE 770607.81
AT ITER 2862 NEW BEST:: SOT 4003644 SOS 2004809 HAS SOPS 2004809 HAS SOUS 768602 HAS SOUPS 768602 WITH SCORE 770606.809
AT ITER 2869 NEW BEST:: SOT 4003582 SOS 2004685 HAS SOPS 2004685 HAS SOUS 768588 HAS SOUPS 768588 WITH SCORE 770592.685
AT ITER 2885 NEW BEST:: SOT 4003582 SOS 2004685 HAS SOPS 2004685 HAS SOUS 768586 HAS SOUPS 768586 WITH SCORE 770590.685
AT ITER 2886 NEW BEST:: SOT 4003372 SOS 2004472 HAS SOPS 2004472 HAS SOUS 768580 HAS SOUPS 768580 WITH SCORE 770584.472
AT ITER 2889 NEW BEST:: SOT 4002785 SOS 2002325 HAS SOPS 2002325 HAS SOUS 768580 HAS SOUPS 768580 WITH SCORE 770582.325
AT ITER 2900 NEW BEST:: SOT 4002701 SOS 2002073 HAS SOPS 2002073 HAS SOUS 768538 HAS SOUPS 768538 WITH SCORE 770540.073
AT ITER 2902 NEW BEST:: SOT 4002701 SOS 2001971 HAS SOPS 2001971 HAS SOUS 768436 HAS SOUPS 768436 WITH SCORE 770437.971
AT ITER 2904 NEW BEST:: SOT 4001197 SOS 1997602 HAS SOPS 1997602 HAS SOUS 768072 HAS SOUPS 768072 WITH SCORE 770069.602
AT ITER 2925 NEW BEST:: SOT 4001197 SOS 1997599 HAS SOPS 1997599 HAS SOUS 768069 HAS SOUPS 768069 WITH SCORE 770066.599
AT ITER 2927 NEW BEST:: SOT 4000051 SOS 1994734 HAS SOPS 1994734 HAS SOUS 768069 HAS SOUPS 768069 WITH SCORE 770063.734
AT ITER 2935 NEW BEST:: SOT 3999885 SOS 1994250 HAS SOPS 1994250 HAS SOUS 767751 HAS SOUPS 767751 WITH SCORE 769745.25
AT ITER 2936 NEW BEST:: SOT 3999667 SOS 1993814 HAS SOPS 1993814 HAS SOUS 767507 HAS SOUPS 767507 WITH SCORE 769500.814
AT ITER 2941 NEW BEST:: SOT 3999323 SOS 1992782 HAS SOPS 1992782 HAS SOUS 767335 HAS SOUPS 767335 WITH SCORE 769327.782
AT ITER 2945 NEW BEST:: SOT 3999323 SOS 1992782 HAS SOPS 1992782 HAS SOUS 767329 HAS SOUPS 767329 WITH SCORE 769321.782
AT ITER 2951 NEW BEST:: SOT 3998359 SOS 1990370 HAS SOPS 1990370 HAS SOUS 767327 HAS SOUPS 767327 WITH SCORE 769317.37
AT ITER 2955 NEW BEST:: SOT 3997617 SOS 1988072 HAS SOPS 1988072 HAS SOUS 767015 HAS SOUPS 767015 WITH SCORE 769003.072
AT ITER 2966 NEW BEST:: SOT 3997381 SOS 1987401 HAS SOPS 1987401 HAS SOUS 766934 HAS SOUPS 766934 WITH SCORE 768921.401
AT ITER 2976 NEW BEST:: SOT 3996527 SOS 1985266 HAS SOPS 1985266 HAS SOUS 766934 HAS SOUPS 766934 WITH SCORE 768919.266
AT ITER 3010 NEW BEST:: SOT 3996527 SOS 1985264 HAS SOPS 1985264 HAS SOUS 766932 HAS SOUPS 766932 WITH SCORE 768917.264
AT ITER 3020 NEW BEST:: SOT 3995779 SOS 1982824 HAS SOPS 1982824 HAS SOUS 766656 HAS SOUPS 766656 WITH SCORE 768638.824
AT ITER 3023 NEW BEST:: SOT 3995519 SOS 1982044 HAS SOPS 1982044 HAS SOUS 766524 HAS SOUPS 766524 WITH SCORE 768506.044
AT ITER 3038 NEW BEST:: SOT 3994594 SOS 1980193 HAS SOPS 1980193 HAS SOUS 766422 HAS SOUPS 766422 WITH SCORE 768402.193
AT ITER 3042 NEW BEST:: SOT 3994452 SOS 1979909 HAS SOPS 1979909 HAS SOUS 766246 HAS SOUPS 766246 WITH SCORE 768225.909
AT ITER 3057 NEW BEST:: SOT 3994009 SOS 1978137 HAS SOPS 1978137 HAS SOUS 766244 HAS SOUPS 766244 WITH SCORE 768222.137
AT ITER 3068 NEW BEST:: SOT 3994188 SOS 1978786 HAS SOPS 1978786 HAS SOUS 766177 HAS SOUPS 766177 WITH SCORE 768155.786
AT ITER 3069 NEW BEST:: SOT 3993957 SOS 1977862 HAS SOPS 1977862 HAS SOUS 766177 HAS SOUPS 766177 WITH SCORE 768154.862
AT ITER 3075 NEW BEST:: SOT 3993153 SOS 1975849 HAS SOPS 1975849 HAS SOUS 766172 HAS SOUPS 766172 WITH SCORE 768147.849
AT ITER 3076 NEW BEST:: SOT 3993633 SOS 1977949 HAS SOPS 1977949 HAS SOUS 766082 HAS SOUPS 766082 WITH SCORE 768059.949
AT ITER 3091 NEW BEST:: SOT 3992070 SOS 1972631 HAS SOPS 1972631 HAS SOUS 765924 HAS SOUPS 765924 WITH SCORE 767896.631
AT ITER 3093 NEW BEST:: SOT 3992070 SOS 1972628 HAS SOPS 1972628 HAS SOUS 765919 HAS SOUPS 765919 WITH SCORE 767891.628
AT ITER 3099 NEW BEST:: SOT 3991931 SOS 1972350 HAS SOPS 1972350 HAS SOUS 765747 HAS SOUPS 765747 WITH SCORE 767719.35
AT ITER 3102 NEW BEST:: SOT 3991189 SOS 1970124 HAS SOPS 1970124 HAS SOUS 765376 HAS SOUPS 765376 WITH SCORE 767346.124
AT ITER 3119 NEW BEST:: SOT 3990589 SOS 1968324 HAS SOPS 1968324 HAS SOUS 765074 HAS SOUPS 765074 WITH SCORE 767042.324
AT ITER 3135 NEW BEST:: SOT 3990589 SOS 1968304 HAS SOPS 1968304 HAS SOUS 765054 HAS SOUPS 765054 WITH SCORE 767022.304
AT ITER 3136 NEW BEST:: SOT 3990198 SOS 1967161 HAS SOPS 1967161 HAS SOUS 764962 HAS SOUPS 764962 WITH SCORE 766929.161
AT ITER 3145 NEW BEST:: SOT 3989832 SOS 1965339 HAS SOPS 1965339 HAS SOUS 764051 HAS SOUPS 764051 WITH SCORE 766016.339
AT ITER 3170 NEW BEST:: SOT 3989348 SOS 1964126 HAS SOPS 1964126 HAS SOUS 764046 HAS SOUPS 764046 WITH SCORE 766010.126
AT ITER 3176 NEW BEST:: SOT 3988016 SOS 1959936 HAS SOPS 1959936 HAS SOUS 763477 HAS SOUPS 763477 WITH SCORE 765436.936
AT ITER 3185 NEW BEST:: SOT 3987895 SOS 1958005 HAS SOPS 1958005 HAS SOUS 762508 HAS SOUPS 762508 WITH SCORE 764466.005
AT ITER 3188 NEW BEST:: SOT 3986787 SOS 1955235 HAS SOPS 1955235 HAS SOUS 762508 HAS SOUPS 762508 WITH SCORE 764463.235
AT ITER 3197 NEW BEST:: SOT 3986596 SOS 1954485 HAS SOPS 1954485 HAS SOUS 761949 HAS SOUPS 761949 WITH SCORE 763903.485
AT ITER 3200 NEW BEST:: SOT 3984460 SOS 1949144 HAS SOPS 1949144 HAS SOUS 761948 HAS SOUPS 761948 WITH SCORE 763897.144
AT ITER 3201 NEW BEST:: SOT 3983129 SOS 1945254 HAS SOPS 1945254 HAS SOUS 761624 HAS SOUPS 761624 WITH SCORE 763569.254
AT ITER 3208 NEW BEST:: SOT 3983122 SOS 1945247 HAS SOPS 1945247 HAS SOUS 761603 HAS SOUPS 761603 WITH SCORE 763548.247
AT ITER 3215 NEW BEST:: SOT 3981758 SOS 1941345 HAS SOPS 1941345 HAS SOUS 761489 HAS SOUPS 761489 WITH SCORE 763430.345
AT ITER 3228 NEW BEST:: SOT 3981758 SOS 1941334 HAS SOPS 1941334 HAS SOUS 761478 HAS SOUPS 761478 WITH SCORE 763419.334
AT ITER 3232 NEW BEST:: SOT 3980932 SOS 1939269 HAS SOPS 1939269 HAS SOUS 761478 HAS SOUPS 761478 WITH SCORE 763417.269
AT ITER 3243 NEW BEST:: SOT 3980220 SOS 1937043 HAS SOPS 1937043 HAS SOUS 761167 HAS SOUPS 761167 WITH SCORE 763104.043
AT ITER 3287 NEW BEST:: SOT 3980220 SOS 1936846 HAS SOPS 1936846 HAS SOUS 760970 HAS SOUPS 760970 WITH SCORE 762906.846
AT ITER 3293 NEW BEST:: SOT 3979898 SOS 1936201 HAS SOPS 1936201 HAS SOUS 760893 HAS SOUPS 760893 WITH SCORE 762829.201
AT ITER 3301 NEW BEST:: SOT 3978577 SOS 1932436 HAS SOPS 1932436 HAS SOUS 760825 HAS SOUPS 760825 WITH SCORE 762757.436
AT ITER 3306 NEW BEST:: SOT 3977843 SOS 1930234 HAS SOPS 1930234 HAS SOUS 760458 HAS SOUPS 760458 WITH SCORE 762388.234
AT ITER 3313 NEW BEST:: SOT 3975650 SOS 1925072 HAS SOPS 1925072 HAS SOUS 759797 HAS SOUPS 759797 WITH SCORE 761722.072
AT ITER 3328 NEW BEST:: SOT 3974734 SOS 1922262 HAS SOPS 1922262 HAS SOUS 759370 HAS SOUPS 759370 WITH SCORE 761292.262
AT ITER 3344 NEW BEST:: SOT 3974590 SOS 1922432 HAS SOPS 1922432 HAS SOUS 759306 HAS SOUPS 759306 WITH SCORE 761228.432
AT ITER 3372 NEW BEST:: SOT 3972909 SOS 1917859 HAS SOPS 1917859 HAS SOUS 759288 HAS SOUPS 759288 WITH SCORE 761205.859
AT ITER 3398 NEW BEST:: SOT 3972443 SOS 1916567 HAS SOPS 1916567 HAS SOUS 759209 HAS SOUPS 759209 WITH SCORE 761125.567
AT ITER 3402 NEW BEST:: SOT 3972578 SOS 1916837 HAS SOPS 1916837 HAS SOUS 759126 HAS SOUPS 759126 WITH SCORE 761042.837
AT ITER 3407 NEW BEST:: SOT 3971572 SOS 1914247 HAS SOPS 1914247 HAS SOUS 759051 HAS SOUPS 759051 WITH SCORE 760965.247
AT ITER 3415 NEW BEST:: SOT 3971493 SOS 1913714 HAS SOPS 1913714 HAS SOUS 758593 HAS SOUPS 758593 WITH SCORE 760506.714
AT ITER 3421 NEW BEST:: SOT 3970919 SOS 1911992 HAS SOPS 1911992 HAS SOUS 758302 HAS SOUPS 758302 WITH SCORE 760213.992
AT ITER 3430 NEW BEST:: SOT 3970919 SOS 1911676 HAS SOPS 1911676 HAS SOUS 757986 HAS SOUPS 757986 WITH SCORE 759897.676
AT ITER 3438 NEW BEST:: SOT 3970919 SOS 1911674 HAS SOPS 1911674 HAS SOUS 757984 HAS SOUPS 757984 WITH SCORE 759895.674
AT ITER 3462 NEW BEST:: SOT 3970970 SOS 1911550 HAS SOPS 1911550 HAS SOUS 757807 HAS SOUPS 757807 WITH SCORE 759718.55
AT ITER 3470 NEW BEST:: SOT 3970970 SOS 1911550 HAS SOPS 1911550 HAS SOUS 757805 HAS SOUPS 757805 WITH SCORE 759716.55
AT ITER 3482 NEW BEST:: SOT 3971103 SOS 1911949 HAS SOPS 1911949 HAS SOUS 757672 HAS SOUPS 757672 WITH SCORE 759583.949
AT ITER 3489 NEW BEST:: SOT 3971103 SOS 1911949 HAS SOPS 1911949 HAS SOUS 757670 HAS SOUPS 757670 WITH SCORE 759581.949
AT ITER 3499 NEW BEST:: SOT 3971103 SOS 1911780 HAS SOPS 1911780 HAS SOUS 757499 HAS SOUPS 757499 WITH SCORE 759410.78
AT ITER 3510 NEW BEST:: SOT 3969447 SOS 1908456 HAS SOPS 1908456 HAS SOUS 757438 HAS SOUPS 757438 WITH SCORE 759346.456
AT ITER 3512 NEW BEST:: SOT 3970179 SOS 1910383 HAS SOPS 1910383 HAS SOUS 757197 HAS SOUPS 757197 WITH SCORE 759107.383
AT ITER 3527 NEW BEST:: SOT 3969208 SOS 1907472 HAS SOPS 1907472 HAS SOUS 756709 HAS SOUPS 756709 WITH SCORE 758616.472
AT ITER 3537 NEW BEST:: SOT 3968390 SOS 1905018 HAS SOPS 1905018 HAS SOUS 756300 HAS SOUPS 756300 WITH SCORE 758205.018
AT ITER 3554 NEW BEST:: SOT 3968226 SOS 1904690 HAS SOPS 1904690 HAS SOUS 756136 HAS SOUPS 756136 WITH SCORE 758040.69
AT ITER 3573 NEW BEST:: SOT 3967558 SOS 1903020 HAS SOPS 1903020 HAS SOUS 756136 HAS SOUPS 756136 WITH SCORE 758039.02
AT ITER 3582 NEW BEST:: SOT 3967558 SOS 1903017 HAS SOPS 1903017 HAS SOUS 756131 HAS SOUPS 756131 WITH SCORE 758034.017
AT ITER 3588 NEW BEST:: SOT 3967667 SOS 1903344 HAS SOPS 1903344 HAS SOUS 756022 HAS SOUPS 756022 WITH SCORE 757925.344
AT ITER 3593 NEW BEST:: SOT 3967537 SOS 1902954 HAS SOPS 1902954 HAS SOUS 755957 HAS SOUPS 755957 WITH SCORE 757859.954
AT ITER 3602 NEW BEST:: SOT 3967166 SOS 1901351 HAS SOPS 1901351 HAS SOUS 755834 HAS SOUPS 755834 WITH SCORE 757735.351
AT ITER 3616 NEW BEST:: SOT 3967052 SOS 1901123 HAS SOPS 1901123 HAS SOUS 755754 HAS SOUPS 755754 WITH SCORE 757655.123
AT ITER 3624 NEW BEST:: SOT 3966596 SOS 1899755 HAS SOPS 1899755 HAS SOUS 755526 HAS SOUPS 755526 WITH SCORE 757425.755
AT ITER 3641 NEW BEST:: SOT 3966389 SOS 1899341 HAS SOPS 1899341 HAS SOUS 755526 HAS SOUPS 755526 WITH SCORE 757425.341
AT ITER 3645 NEW BEST:: SOT 3966432 SOS 1896640 HAS SOPS 1896640 HAS SOUS 755324 HAS SOUPS 755324 WITH SCORE 757220.64
AT ITER 3648 NEW BEST:: SOT 3966182 SOS 1896015 HAS SOPS 1896015 HAS SOUS 755324 HAS SOUPS 755324 WITH SCORE 757220.015
AT ITER 3661 NEW BEST:: SOT 3965156 SOS 1892937 HAS SOPS 1892937 HAS SOUS 754811 HAS SOUPS 754811 WITH SCORE 756703.937
AT ITER 3696 NEW BEST:: SOT 3964660 SOS 1891696 HAS SOPS 1891696 HAS SOUS 754810 HAS SOUPS 754810 WITH SCORE 756701.696
AT ITER 3705 NEW BEST:: SOT 3964659 SOS 1891694 HAS SOPS 1891694 HAS SOUS 754809 HAS SOUPS 754809 WITH SCORE 756700.694
AT ITER 3718 NEW BEST:: SOT 3964636 SOS 1891648 HAS SOPS 1891648 HAS SOUS 754600 HAS SOUPS 754600 WITH SCORE 756491.648
AT ITER 3729 NEW BEST:: SOT 3963722 SOS 1888906 HAS SOPS 1888906 HAS SOUS 753627 HAS SOUPS 753627 WITH SCORE 755515.906
AT ITER 3756 NEW BEST:: SOT 3962414 SOS 1885633 HAS SOPS 1885633 HAS SOUS 753622 HAS SOUPS 753622 WITH SCORE 755507.633
AT ITER 3762 NEW BEST:: SOT 3960558 SOS 1881121 HAS SOPS 1881121 HAS SOUS 752963 HAS SOUPS 752963 WITH SCORE 754844.121
AT ITER 3773 NEW BEST:: SOT 3960558 SOS 1881083 HAS SOPS 1881083 HAS SOUS 752962 HAS SOUPS 752962 WITH SCORE 754843.083
AT ITER 3775 NEW BEST:: SOT 3959499 SOS 1877187 HAS SOPS 1877187 HAS SOUS 752890 HAS SOUPS 752890 WITH SCORE 754767.187
AT ITER 3793 NEW BEST:: SOT 3959145 SOS 1876478 HAS SOPS 1876478 HAS SOUS 752771 HAS SOUPS 752771 WITH SCORE 754647.478
AT ITER 3795 NEW BEST:: SOT 3959122 SOS 1876432 HAS SOPS 1876432 HAS SOUS 752748 HAS SOUPS 752748 WITH SCORE 754624.432
AT ITER 3818 NEW BEST:: SOT 3958838 SOS 1875864 HAS SOPS 1875864 HAS SOUS 752464 HAS SOUPS 752464 WITH SCORE 754339.864
AT ITER 3828 NEW BEST:: SOT 3957790 SOS 1872752 HAS SOPS 1872752 HAS SOUS 751970 HAS SOUPS 751970 WITH SCORE 753842.752
AT ITER 3837 NEW BEST:: SOT 3957176 SOS 1870473 HAS SOPS 1870473 HAS SOUS 751952 HAS SOUPS 751952 WITH SCORE 753822.473
AT ITER 3869 NEW BEST:: SOT 3956102 SOS 1866423 HAS SOPS 1866423 HAS SOUS 751827 HAS SOUPS 751827 WITH SCORE 753693.423
AT ITER 3872 NEW BEST:: SOT 3955494 SOS 1864903 HAS SOPS 1864903 HAS SOUS 751827 HAS SOUPS 751827 WITH SCORE 753691.903
AT ITER 3880 NEW BEST:: SOT 3954946 SOS 1863145 HAS SOPS 1863145 HAS SOUS 751494 HAS SOUPS 751494 WITH SCORE 753357.145
AT ITER 3887 NEW BEST:: SOT 3954946 SOS 1863080 HAS SOPS 1863080 HAS SOUS 751429 HAS SOUPS 751429 WITH SCORE 753292.08
AT ITER 3896 NEW BEST:: SOT 3954214 SOS 1860788 HAS SOPS 1860788 HAS SOUS 751111 HAS SOUPS 751111 WITH SCORE 752971.788
AT ITER 3897 NEW BEST:: SOT 3953432 SOS 1857936 HAS SOPS 1857936 HAS SOUS 751098 HAS SOUPS 751098 WITH SCORE 752955.936
AT ITER 3898 NEW BEST:: SOT 3952001 SOS 1854836 HAS SOPS 1854836 HAS SOUS 750508 HAS SOUPS 750508 WITH SCORE 752362.836
AT ITER 3906 NEW BEST:: SOT 3950951 SOS 1852211 HAS SOPS 1852211 HAS SOUS 750508 HAS SOUPS 750508 WITH SCORE 752360.211
AT ITER 3909 NEW BEST:: SOT 3949721 SOS 1848521 HAS SOPS 1848521 HAS SOUS 749259 HAS SOUPS 749259 WITH SCORE 751107.521
AT ITER 3935 NEW BEST:: SOT 3949648 SOS 1848375 HAS SOPS 1848375 HAS SOUS 749186 HAS SOUPS 749186 WITH SCORE 751034.375
AT ITER 3936 NEW BEST:: SOT 3949657 SOS 1848402 HAS SOPS 1848402 HAS SOUS 749177 HAS SOUPS 749177 WITH SCORE 751025.402
AT ITER 3948 NEW BEST:: SOT 3949535 SOS 1848095 HAS SOPS 1848095 HAS SOUS 749175 HAS SOUPS 749175 WITH SCORE 751023.095
AT ITER 3956 NEW BEST:: SOT 3949535 SOS 1847543 HAS SOPS 1847543 HAS SOUS 748623 HAS SOUPS 748623 WITH SCORE 750470.543
AT ITER 3957 NEW BEST:: SOT 3949542 SOS 1847547 HAS SOPS 1847547 HAS SOUS 747290 HAS SOUPS 747290 WITH SCORE 749137.547
AT ITER 3975 NEW BEST:: SOT 3949376 SOS 1847049 HAS SOPS 1847049 HAS SOUS 747288 HAS SOUPS 747288 WITH SCORE 749135.049
AT ITER 3991 NEW BEST:: SOT 3948432 SOS 1844217 HAS SOPS 1844217 HAS SOUS 745872 HAS SOUPS 745872 WITH SCORE 747716.217
AT ITER 4001 NEW BEST:: SOT 3947955 SOS 1843261 HAS SOPS 1843261 HAS SOUS 745711 HAS SOUPS 745711 WITH SCORE 747554.261
AT ITER 4021 NEW BEST:: SOT 3947911 SOS 1843129 HAS SOPS 1843129 HAS SOUS 745685 HAS SOUPS 745685 WITH SCORE 747528.129
AT ITER 4025 NEW BEST:: SOT 3947075 SOS 1840621 HAS SOPS 1840621 HAS SOUS 745267 HAS SOUPS 745267 WITH SCORE 747107.621
AT ITER 4030 NEW BEST:: SOT 3946023 SOS 1837649 HAS SOPS 1837649 HAS SOUS 745189 HAS SOUPS 745189 WITH SCORE 747026.649
AT ITER 4058 NEW BEST:: SOT 3944369 SOS 1834341 HAS SOPS 1834341 HAS SOUS 743659 HAS SOUPS 743659 WITH SCORE 745493.341
AT ITER 4059 NEW BEST:: SOT 3944337 SOS 1834277 HAS SOPS 1834277 HAS SOUS 743627 HAS SOUPS 743627 WITH SCORE 745461.277
AT ITER 4066 NEW BEST:: SOT 3943187 SOS 1830794 HAS SOPS 1830794 HAS SOUS 742583 HAS SOUPS 742583 WITH SCORE 744413.794
AT ITER 4083 NEW BEST:: SOT 3942081 SOS 1828027 HAS SOPS 1828027 HAS SOUS 742581 HAS SOUPS 742581 WITH SCORE 744409.027
AT ITER 4085 NEW BEST:: SOT 3942007 SOS 1827879 HAS SOPS 1827879 HAS SOUS 742577 HAS SOUPS 742577 WITH SCORE 744404.879
AT ITER 4110 NEW BEST:: SOT 3941951 SOS 1827711 HAS SOPS 1827711 HAS SOUS 742545 HAS SOUPS 742545 WITH SCORE 744372.711
AT ITER 4127 NEW BEST:: SOT 3941759 SOS 1827263 HAS SOPS 1827263 HAS SOUS 742415 HAS SOUPS 742415 WITH SCORE 744242.263
AT ITER 4133 NEW BEST:: SOT 3941187 SOS 1825059 HAS SOPS 1825059 HAS SOUS 742335 HAS SOUPS 742335 WITH SCORE 744160.059
AT ITER 4134 NEW BEST:: SOT 3941187 SOS 1824917 HAS SOPS 1824917 HAS SOUS 742221 HAS SOUPS 742221 WITH SCORE 744045.917
AT ITER 4137 NEW BEST:: SOT 3939827 SOS 1821070 HAS SOPS 1821070 HAS SOUS 741945 HAS SOUPS 741945 WITH SCORE 743766.07
AT ITER 4146 NEW BEST:: SOT 3939773 SOS 1820962 HAS SOPS 1820962 HAS SOUS 741945 HAS SOUPS 741945 WITH SCORE 743765.962
AT ITER 4149 NEW BEST:: SOT 3939879 SOS 1821271 HAS SOPS 1821271 HAS SOUS 741857 HAS SOUPS 741857 WITH SCORE 743678.271
AT ITER 4158 NEW BEST:: SOT 3939768 SOS 1821049 HAS SOPS 1821049 HAS SOUS 741857 HAS SOUPS 741857 WITH SCORE 743678.049
AT ITER 4162 NEW BEST:: SOT 3939458 SOS 1820274 HAS SOPS 1820274 HAS SOUS 741857 HAS SOUPS 741857 WITH SCORE 743677.274
AT ITER 4167 NEW BEST:: SOT 3939458 SOS 1820238 HAS SOPS 1820238 HAS SOUS 741743 HAS SOUPS 741743 WITH SCORE 743563.238
AT ITER 4180 NEW BEST:: SOT 3938794 SOS 1818008 HAS SOPS 1818008 HAS SOUS 740686 HAS SOUPS 740686 WITH SCORE 742504.008
AT ITER 4183 NEW BEST:: SOT 3938245 SOS 1816134 HAS SOPS 1816134 HAS SOUS 740573 HAS SOUPS 740573 WITH SCORE 742389.134
AT ITER 4195 NEW BEST:: SOT 3937739 SOS 1814754 HAS SOPS 1814754 HAS SOUS 740458 HAS SOUPS 740458 WITH SCORE 742272.754
AT ITER 4242 NEW BEST:: SOT 3937178 SOS 1813632 HAS SOPS 1813632 HAS SOUS 740271 HAS SOUPS 740271 WITH SCORE 742084.632
AT ITER 4244 NEW BEST:: SOT 3937178 SOS 1813606 HAS SOPS 1813606 HAS SOUS 740245 HAS SOUPS 740245 WITH SCORE 742058.606
AT ITER 4246 NEW BEST:: SOT 3937026 SOS 1813223 HAS SOPS 1813223 HAS SOUS 740240 HAS SOUPS 740240 WITH SCORE 742053.223
AT ITER 4251 NEW BEST:: SOT 3936912 SOS 1812995 HAS SOPS 1812995 HAS SOUS 740126 HAS SOUPS 740126 WITH SCORE 741938.995
AT ITER 4260 NEW BEST:: SOT 3935704 SOS 1809481 HAS SOPS 1809481 HAS SOUS 739632 HAS SOUPS 739632 WITH SCORE 741441.481
AT ITER 4262 NEW BEST:: SOT 3935137 SOS 1807604 HAS SOPS 1807604 HAS SOUS 739471 HAS SOUPS 739471 WITH SCORE 741278.604
AT ITER 4274 NEW BEST:: SOT 3935091 SOS 1807488 HAS SOPS 1807488 HAS SOUS 739470 HAS SOUPS 739470 WITH SCORE 741277.488
AT ITER 4275 NEW BEST:: SOT 3934889 SOS 1806849 HAS SOPS 1806849 HAS SOUS 739189 HAS SOUPS 739189 WITH SCORE 740995.849
AT ITER 4276 NEW BEST:: SOT 3934183 SOS 1803997 HAS SOPS 1803997 HAS SOUS 739075 HAS SOUPS 739075 WITH SCORE 740878.997
AT ITER 4279 NEW BEST:: SOT 3933587 SOS 1802352 HAS SOPS 1802352 HAS SOUS 738918 HAS SOUPS 738918 WITH SCORE 740720.352
AT ITER 4290 NEW BEST:: SOT 3933464 SOS 1802106 HAS SOPS 1802106 HAS SOUS 738795 HAS SOUPS 738795 WITH SCORE 740597.106
AT ITER 4298 NEW BEST:: SOT 3932976 SOS 1800804 HAS SOPS 1800804 HAS SOUS 738795 HAS SOUPS 738795 WITH SCORE 740595.804
AT ITER 4306 NEW BEST:: SOT 3932631 SOS 1800114 HAS SOPS 1800114 HAS SOUS 738761 HAS SOUPS 738761 WITH SCORE 740561.114
AT ITER 4324 NEW BEST:: SOT 3932519 SOS 1799834 HAS SOPS 1799834 HAS SOUS 738761 HAS SOUPS 738761 WITH SCORE 740560.834
AT ITER 4368 NEW BEST:: SOT 3932519 SOS 1799471 HAS SOPS 1799471 HAS SOUS 738546 HAS SOUPS 738546 WITH SCORE 740345.471
AT ITER 4388 NEW BEST:: SOT 3932519 SOS 1799471 HAS SOPS 1799471 HAS SOUS 738544 HAS SOUPS 738544 WITH SCORE 740343.471
AT ITER 4420 NEW BEST:: SOT 3932459 SOS 1799351 HAS SOPS 1799351 HAS SOUS 738477 HAS SOUPS 738477 WITH SCORE 740276.351
AT ITER 4424 NEW BEST:: SOT 3932459 SOS 1798972 HAS SOPS 1798972 HAS SOUS 738098 HAS SOUPS 738098 WITH SCORE 739896.972
AT ITER 4426 NEW BEST:: SOT 3931979 SOS 1797050 HAS SOPS 1797050 HAS SOUS 738003 HAS SOUPS 738003 WITH SCORE 739800.05
AT ITER 4475 NEW BEST:: SOT 3932046 SOS 1797314 HAS SOPS 1797314 HAS SOUS 737999 HAS SOUPS 737999 WITH SCORE 739796.314
AT ITER 4495 NEW BEST:: SOT 3931867 SOS 1796956 HAS SOPS 1796956 HAS SOUS 737960 HAS SOUPS 737960 WITH SCORE 739756.956
AT ITER 4499 NEW BEST:: SOT 3931867 SOS 1796956 HAS SOPS 1796956 HAS SOUS 737958 HAS SOUPS 737958 WITH SCORE 739754.956
AT ITER 4511 NEW BEST:: SOT 3931107 SOS 1794689 HAS SOPS 1794689 HAS SOUS 737855 HAS SOUPS 737855 WITH SCORE 739649.689
AT ITER 4512 NEW BEST:: SOT 3931105 SOS 1794683 HAS SOPS 1794683 HAS SOUS 737854 HAS SOUPS 737854 WITH SCORE 739648.683
AT ITER 4516 NEW BEST:: SOT 3930906 SOS 1794285 HAS SOPS 1794285 HAS SOUS 737655 HAS SOUPS 737655 WITH SCORE 739449.285
AT ITER 4524 NEW BEST:: SOT 3930266 SOS 1792454 HAS SOPS 1792454 HAS SOUS 737646 HAS SOUPS 737646 WITH SCORE 739438.454
AT ITER 4531 NEW BEST:: SOT 3930266 SOS 1792348 HAS SOPS 1792348 HAS SOUS 737180 HAS SOUPS 737180 WITH SCORE 738972.348
AT ITER 4557 NEW BEST:: SOT 3930204 SOS 1792100 HAS SOPS 1792100 HAS SOUS 737180 HAS SOUPS 737180 WITH SCORE 738972.1
AT ITER 4573 NEW BEST:: SOT 3930204 SOS 1792123 HAS SOPS 1792123 HAS SOUS 737157 HAS SOUPS 737157 WITH SCORE 738949.123
AT ITER 4579 NEW BEST:: SOT 3929716 SOS 1790483 HAS SOPS 1790483 HAS SOUS 736606 HAS SOUPS 736606 WITH SCORE 738396.483
AT ITER 4582 NEW BEST:: SOT 3928850 SOS 1787878 HAS SOPS 1787878 HAS SOUS 736244 HAS SOUPS 736244 WITH SCORE 738031.878
AT ITER 4583 NEW BEST:: SOT 3928798 SOS 1787722 HAS SOPS 1787722 HAS SOUS 736218 HAS SOUPS 736218 WITH SCORE 738005.722
AT ITER 4594 NEW BEST:: SOT 3927468 SOS 1783175 HAS SOPS 1783175 HAS SOUS 736193 HAS SOUPS 736193 WITH SCORE 737976.175
AT ITER 4647 NEW BEST:: SOT 3927331 SOS 1782711 HAS SOPS 1782711 HAS SOUS 736151 HAS SOUPS 736151 WITH SCORE 737933.711
AT ITER 4652 NEW BEST:: SOT 3926717 SOS 1781483 HAS SOPS 1781483 HAS SOUS 735537 HAS SOUPS 735537 WITH SCORE 737318.483
AT ITER 4674 NEW BEST:: SOT 3926237 SOS 1779693 HAS SOPS 1779693 HAS SOUS 735472 HAS SOUPS 735472 WITH SCORE 737251.693
AT ITER 4678 NEW BEST:: SOT 3925148 SOS 1776532 HAS SOPS 1776532 HAS SOUS 735288 HAS SOUPS 735288 WITH SCORE 737064.532
AT ITER 4735 NEW BEST:: SOT 3921965 SOS 1770161 HAS SOPS 1770161 HAS SOUS 734536 HAS SOUPS 734536 WITH SCORE 736306.161
AT ITER 4757 NEW BEST:: SOT 3920903 SOS 1767084 HAS SOPS 1767084 HAS SOUS 734347 HAS SOUPS 734347 WITH SCORE 736114.084
AT ITER 4764 NEW BEST:: SOT 3920680 SOS 1766314 HAS SOPS 1766314 HAS SOUS 734286 HAS SOUPS 734286 WITH SCORE 736052.314
AT ITER 4773 NEW BEST:: SOT 3920355 SOS 1765176 HAS SOPS 1765176 HAS SOUS 734205 HAS SOUPS 734205 WITH SCORE 735970.176
AT ITER 4783 NEW BEST:: SOT 3920665 SOS 1766025 HAS SOPS 1766025 HAS SOUS 734057 HAS SOUPS 734057 WITH SCORE 735823.025
AT ITER 4800 NEW BEST:: SOT 3920439 SOS 1765327 HAS SOPS 1765327 HAS SOUS 733954 HAS SOUPS 733954 WITH SCORE 735719.327
AT ITER 4801 NEW BEST:: SOT 3920424 SOS 1765311 HAS SOPS 1765311 HAS SOUS 733953 HAS SOUPS 733953 WITH SCORE 735718.311
AT ITER 4826 NEW BEST:: SOT 3918588 SOS 1758849 HAS SOPS 1758849 HAS SOUS 731238 HAS SOUPS 731238 WITH SCORE 732996.849
AT ITER 4830 NEW BEST:: SOT 3918530 SOS 1758675 HAS SOPS 1758675 HAS SOUS 731209 HAS SOUPS 731209 WITH SCORE 732967.675
AT ITER 4834 NEW BEST:: SOT 3919010 SOS 1760106 HAS SOPS 1760106 HAS SOUS 731167 HAS SOUPS 731167 WITH SCORE 732927.106
AT ITER 4837 NEW BEST:: SOT 3918722 SOS 1759242 HAS SOPS 1759242 HAS SOUS 731023 HAS SOUPS 731023 WITH SCORE 732782.242
AT ITER 4852 NEW BEST:: SOT 3918531 SOS 1757837 HAS SOPS 1757837 HAS SOUS 728109 HAS SOUPS 728109 WITH SCORE 729866.837
AT ITER 4857 NEW BEST:: SOT 3918495 SOS 1757456 HAS SOPS 1757456 HAS SOUS 727725 HAS SOUPS 727725 WITH SCORE 729482.456
AT ITER 4877 NEW BEST:: SOT 3917759 SOS 1755353 HAS SOPS 1755353 HAS SOUS 727463 HAS SOUPS 727463 WITH SCORE 729218.353
AT ITER 4884 NEW BEST:: SOT 3916917 SOS 1752712 HAS SOPS 1752712 HAS SOUS 727335 HAS SOUPS 727335 WITH SCORE 729087.712
AT ITER 4887 NEW BEST:: SOT 3916311 SOS 1750967 HAS SOPS 1750967 HAS SOUS 727333 HAS SOUPS 727333 WITH SCORE 729083.967
AT ITER 4889 NEW BEST:: SOT 3916388 SOS 1751198 HAS SOPS 1751198 HAS SOUS 727256 HAS SOUPS 727256 WITH SCORE 729007.198
AT ITER 4894 NEW BEST:: SOT 3916284 SOS 1750990 HAS SOPS 1750990 HAS SOUS 727152 HAS SOUPS 727152 WITH SCORE 728902.99
AT ITER 4902 NEW BEST:: SOT 3916284 SOS 1750990 HAS SOPS 1750990 HAS SOUS 727150 HAS SOUPS 727150 WITH SCORE 728900.99
AT ITER 4917 NEW BEST:: SOT 3914575 SOS 1746007 HAS SOPS 1746007 HAS SOUS 726762 HAS SOUPS 726762 WITH SCORE 728508.007
AT ITER 4918 NEW BEST:: SOT 3913893 SOS 1744301 HAS SOPS 1744301 HAS SOUS 726761 HAS SOUPS 726761 WITH SCORE 728505.301
AT ITER 4933 NEW BEST:: SOT 3914405 SOS 1745802 HAS SOPS 1745802 HAS SOUS 726518 HAS SOUPS 726518 WITH SCORE 728263.802
AT ITER 4936 NEW BEST:: SOT 3914013 SOS 1744665 HAS SOPS 1744665 HAS SOUS 726379 HAS SOUPS 726379 WITH SCORE 728123.665
AT ITER 4967 NEW BEST:: SOT 3914013 SOS 1743749 HAS SOPS 1743749 HAS SOUS 725463 HAS SOUPS 725463 WITH SCORE 727206.749
AT ITER 4983 NEW BEST:: SOT 3913463 SOS 1742649 HAS SOPS 1742649 HAS SOUS 725225 HAS SOUPS 725225 WITH SCORE 726967.649
AT ITER 4997 NEW BEST:: SOT 3912318 SOS 1739423 HAS SOPS 1739423 HAS SOUS 725163 HAS SOUPS 725163 WITH SCORE 726902.423
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-00 (AF( ( (! (AX( ((potential((tk(P990)>=1) & (tk(P991)>=1))))))) & (AU( ((potential((tk(P1170)>=1) & (tk(P1174)>=1)))) , ((potential((tk(P186)>=1) & (tk(P189)>=1)))) )) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-01 (! (EF( ((potential((tk(P1449)>=1) & (tk(P1451)>=1)))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-02 (AG( ( (AX( ( ((potential((tk(P1074)>=1) & (tk(P1079)>=1)))) | ((potential((tk(P914)>=1) & (tk(P915)>=1)))) ))) | (! (EX( ((potential((tk(P21)>=1) & (tk(P23)>=1))))))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-03 (AU( (AG( ( ((potential((tk(P187)>=1) & (tk(P189)>=1)))) & ((potential((tk(P1797)>=1)))) ))) , (AF( ((potential((tk(P1980)>=1) & (tk(P1983)>=1)))))) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-04 (EU( (EF( ((potential((tk(P571)>=1) & (tk(P572)>=1)))))) , (AU( ((potential((tk(P488)>=1) & (tk(P493)>=1)))) , ((potential((tk(P1839)>=1) & (tk(P1841)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-05 (EF( (! ( (AF( ((potential((tk(P690)>=1) & (tk(P694)>=1)))))) | (! (! ((potential((tk(P1034)>=1) & (tk(P1042)>=1)))))) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-06 (EF( (EG( (! ( ((potential((tk(P156)>=1) & (tk(P158)>=1)))) | ((potential((tk(P448)>=1) & (tk(P452)>=1)))) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-07 (EF( (AX( ((potential((tk(P722)>=1) & (tk(P724)>=1))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-08 ( (AF( ((potential((tk(P825)>=1) & (tk(P828)>=1)))))) | (AX( (EU( ((potential((tk(P966)>=1) & (tk(P988)>=1)))) , ((potential((tk(P1349)>=1) & (tk(P1358)>=1)))) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-09 (AX( (AF( (EX( ((potential((tk(P456)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-10 ( ( (EG( ( ( ((potential((tk(P1936)>=1) & (tk(P1939)>=1)))) | ((potential((tk(P711)>=1) & (tk(P713)>=1)))) ) | (! ((potential((tk(P1600)>=1) & (tk(P1603)>=1))))) ))) & (EX( (! ( ((potential((tk(P564)>=1) & (tk(P565)>=1)))) & ((potential((tk(P5)>=1) & (tk(P261)>=1)))) )))) ) & (! ( ( ((potential((tk(P501)>=1)))) | ( ( ((potential((tk(P1915)>=1) & (tk(P1917)>=1)))) & ((potential((tk(P1013)>=1) & (tk(P1015)>=1)))) ) & ( ((potential((tk(P1609)>=1) & (tk(P1612)>=1)))) | ((potential((tk(P1411)>=1) & (tk(P1475)>=1)))) ) ) ) & (EG( (! ((potential((tk(P1922)>=1) & (tk(P2017)>=1))))))) )) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-11 (AF( (AX( ( ( ((potential((tk(P337)>=1) & (tk(P341)>=1)))) | ((potential((tk(P249)>=1) & (tk(P251)>=1)))) ) | ( ((potential((tk(P6)>=1) & (tk(P261)>=1)))) & ((potential((tk(P265)>=1) & (tk(P274)>=1)))) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-12 ( (AG( (EG( (! ((potential((tk(P502)>=1) & (tk(P506)>=1))))))))) & ( (EF( ((potential((tk(P982)>=1) & (tk(P987)>=1)))))) | ( (! (! (! ((potential((tk(P1510)>=1) & (tk(P1514)>=1))))))) & (! (AF( ((potential((tk(P1411)>=1) & (tk(P1444)>=1))))))) ) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-13 (EG( (EU( ((potential((tk(P587)>=1) & (tk(P589)>=1)))) , (! ((potential((tk(P952)>=1) & (tk(P955)>=1))))) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-14 ( ((potential((tk(P647)>=1) & (tk(P741)>=1)))) | ( (AX( ((potential((tk(P1960)>=1) & (tk(P1961)>=1)))))) | (EX( (AF( ((potential((tk(P232)>=1) & (tk(P233)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLFireability-15 (AU( ( ( ((potential((tk(P1239)>=1) & (tk(P1241)>=1)))) & ( ((potential((tk(P122)>=1) & (tk(P123)>=1)))) & ((potential((tk(P1277)>=1) & (tk(P1282)>=1)))) ) ) | (EF( ((potential((tk(P546)>=1) & (tk(P550)>=1)))))) ) , ( (! (! ((potential((tk(P1270)>=1) & (tk(P1272)>=1)))))) | (AX( ((potential((tk(P1562)>=1) & (tk(P1563)>=1)))))) ) ))
BK_STOP 1590476909779
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 461 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="ViralEpidemic-PT-S04D1C1A04"
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 ViralEpidemic-PT-S04D1C1A04, 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 r224-oct2-159033538900540"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S04D1C1A04.tgz
mv ViralEpidemic-PT-S04D1C1A04 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 ;