About the Execution of smart for BusinessProcesses-PT-17
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15753.290 | 3600000.00 | 3600596.00 | 0.00 | [undef] | Time out reached |
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.r018-oct2-158897680200579.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 BusinessProcesses-PT-17, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200579
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356K
-rw-r--r-- 1 mcc users 4.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 161K 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 BusinessProcesses-PT-17-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-17-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590869258012
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 17
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 650 places, 580 transitions, 1709 arcs.
AT ITER 0 NEW BEST:: SOT 238524 SOS 92850 HAS SOPS 92850 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90300.85
AT ITER 4 NEW BEST:: SOT 238524 SOS 92826 HAS SOPS 92826 HAS SOUS 90184 HAS SOUPS 90184 WITH SCORE 90276.826
AT ITER 7 NEW BEST:: SOT 238504 SOS 92786 HAS SOPS 92786 HAS SOUS 90144 HAS SOUPS 90144 WITH SCORE 90236.786
AT ITER 14 NEW BEST:: SOT 238504 SOS 92627 HAS SOPS 92627 HAS SOUS 89985 HAS SOUPS 89985 WITH SCORE 90077.627
AT ITER 17 NEW BEST:: SOT 238461 SOS 92571 HAS SOPS 92571 HAS SOUS 89929 HAS SOUPS 89929 WITH SCORE 90021.571
AT ITER 25 NEW BEST:: SOT 238461 SOS 92455 HAS SOPS 92455 HAS SOUS 89813 HAS SOUPS 89813 WITH SCORE 89905.455
AT ITER 33 NEW BEST:: SOT 238461 SOS 92319 HAS SOPS 92319 HAS SOUS 89677 HAS SOUPS 89677 WITH SCORE 89769.319
AT ITER 37 NEW BEST:: SOT 238280 SOS 92138 HAS SOPS 92138 HAS SOUS 89496 HAS SOUPS 89496 WITH SCORE 89588.138
AT ITER 45 NEW BEST:: SOT 237641 SOS 92276 HAS SOPS 92276 HAS SOUS 88990 HAS SOUPS 88990 WITH SCORE 89082.276
AT ITER 47 NEW BEST:: SOT 231718 SOS 117713 HAS SOPS 117713 HAS SOUS 83699 HAS SOUPS 83699 WITH SCORE 83816.713
AT ITER 50 NEW BEST:: SOT 231718 SOS 117670 HAS SOPS 117670 HAS SOUS 83645 HAS SOUPS 83645 WITH SCORE 83762.67
AT ITER 51 NEW BEST:: SOT 231718 SOS 117662 HAS SOPS 117662 HAS SOUS 83645 HAS SOUPS 83645 WITH SCORE 83762.662
AT ITER 52 NEW BEST:: SOT 231718 SOS 117661 HAS SOPS 117661 HAS SOUS 83643 HAS SOUPS 83643 WITH SCORE 83760.661
AT ITER 60 NEW BEST:: SOT 231664 SOS 117580 HAS SOPS 117580 HAS SOUS 83589 HAS SOUPS 83589 WITH SCORE 83706.58
AT ITER 61 NEW BEST:: SOT 231664 SOS 117378 HAS SOPS 117378 HAS SOUS 83387 HAS SOUPS 83387 WITH SCORE 83504.378
AT ITER 71 NEW BEST:: SOT 231618 SOS 117284 HAS SOPS 117284 HAS SOUS 83339 HAS SOUPS 83339 WITH SCORE 83456.284
AT ITER 76 NEW BEST:: SOT 229490 SOS 115023 HAS SOPS 115023 HAS SOUS 81211 HAS SOUPS 81211 WITH SCORE 81326.023
AT ITER 80 NEW BEST:: SOT 229347 SOS 114879 HAS SOPS 114879 HAS SOUS 81209 HAS SOUPS 81209 WITH SCORE 81323.879
AT ITER 84 NEW BEST:: SOT 229249 SOS 114683 HAS SOPS 114683 HAS SOUS 81111 HAS SOUPS 81111 WITH SCORE 81225.683
AT ITER 85 NEW BEST:: SOT 229218 SOS 114652 HAS SOPS 114652 HAS SOUS 81080 HAS SOUPS 81080 WITH SCORE 81194.652
AT ITER 91 NEW BEST:: SOT 229218 SOS 114625 HAS SOPS 114625 HAS SOUS 81026 HAS SOUPS 81026 WITH SCORE 81140.625
AT ITER 98 NEW BEST:: SOT 229164 SOS 114570 HAS SOPS 114570 HAS SOUS 80971 HAS SOUPS 80971 WITH SCORE 81085.57
AT ITER 115 NEW BEST:: SOT 229007 SOS 114182 HAS SOPS 114182 HAS SOUS 80842 HAS SOUPS 80842 WITH SCORE 80956.182
AT ITER 118 NEW BEST:: SOT 229097 SOS 114272 HAS SOPS 114272 HAS SOUS 80789 HAS SOUPS 80789 WITH SCORE 80903.272
AT ITER 121 NEW BEST:: SOT 229095 SOS 114313 HAS SOPS 114313 HAS SOUS 80786 HAS SOUPS 80786 WITH SCORE 80900.313
AT ITER 126 NEW BEST:: SOT 229094 SOS 114311 HAS SOPS 114311 HAS SOUS 80784 HAS SOUPS 80784 WITH SCORE 80898.311
AT ITER 136 NEW BEST:: SOT 228755 SOS 113351 HAS SOPS 113351 HAS SOUS 80221 HAS SOUPS 80221 WITH SCORE 80334.351
AT ITER 144 NEW BEST:: SOT 228718 SOS 113314 HAS SOPS 113314 HAS SOUS 80221 HAS SOUPS 80221 WITH SCORE 80334.314
AT ITER 149 NEW BEST:: SOT 228718 SOS 113261 HAS SOPS 113261 HAS SOUS 80193 HAS SOUPS 80193 WITH SCORE 80306.261
AT ITER 154 NEW BEST:: SOT 228717 SOS 113259 HAS SOPS 113259 HAS SOUS 80191 HAS SOUPS 80191 WITH SCORE 80304.259
AT ITER 158 NEW BEST:: SOT 228716 SOS 113257 HAS SOPS 113257 HAS SOUS 80189 HAS SOUPS 80189 WITH SCORE 80302.257
AT ITER 164 NEW BEST:: SOT 228716 SOS 113239 HAS SOPS 113239 HAS SOUS 80185 HAS SOUPS 80185 WITH SCORE 80298.239
AT ITER 165 NEW BEST:: SOT 228523 SOS 112997 HAS SOPS 112997 HAS SOUS 79934 HAS SOUPS 79934 WITH SCORE 80046.997
AT ITER 170 NEW BEST:: SOT 228550 SOS 112808 HAS SOPS 112808 HAS SOUS 79870 HAS SOUPS 79870 WITH SCORE 79982.808
AT ITER 173 NEW BEST:: SOT 228406 SOS 112664 HAS SOPS 112664 HAS SOUS 79864 HAS SOUPS 79864 WITH SCORE 79976.664
AT ITER 175 NEW BEST:: SOT 227085 SOS 112768 HAS SOPS 112768 HAS SOUS 78822 HAS SOUPS 78822 WITH SCORE 78934.768
AT ITER 194 NEW BEST:: SOT 226776 SOS 112308 HAS SOPS 112308 HAS SOUS 78567 HAS SOUPS 78567 WITH SCORE 78679.308
AT ITER 202 NEW BEST:: SOT 226736 SOS 112228 HAS SOPS 112228 HAS SOUS 78487 HAS SOUPS 78487 WITH SCORE 78599.228
AT ITER 210 NEW BEST:: SOT 226736 SOS 112226 HAS SOPS 112226 HAS SOUS 78483 HAS SOUPS 78483 WITH SCORE 78595.226
AT ITER 212 NEW BEST:: SOT 226705 SOS 112195 HAS SOPS 112195 HAS SOUS 78452 HAS SOUPS 78452 WITH SCORE 78564.195
AT ITER 213 NEW BEST:: SOT 226701 SOS 111982 HAS SOPS 111982 HAS SOUS 78291 HAS SOUPS 78291 WITH SCORE 78402.982
AT ITER 217 NEW BEST:: SOT 226699 SOS 111978 HAS SOPS 111978 HAS SOUS 78265 HAS SOUPS 78265 WITH SCORE 78376.978
AT ITER 218 NEW BEST:: SOT 224072 SOS 109880 HAS SOPS 109880 HAS SOUS 75678 HAS SOUPS 75678 WITH SCORE 75787.88
AT ITER 228 NEW BEST:: SOT 223971 SOS 109824 HAS SOPS 109824 HAS SOUS 75566 HAS SOUPS 75566 WITH SCORE 75675.824
AT ITER 238 NEW BEST:: SOT 223961 SOS 109804 HAS SOPS 109804 HAS SOUS 75546 HAS SOUPS 75546 WITH SCORE 75655.804
AT ITER 244 NEW BEST:: SOT 223961 SOS 109668 HAS SOPS 109668 HAS SOUS 75410 HAS SOUPS 75410 WITH SCORE 75519.668
AT ITER 262 NEW BEST:: SOT 223931 SOS 109638 HAS SOPS 109638 HAS SOUS 75382 HAS SOUPS 75382 WITH SCORE 75491.638
AT ITER 268 NEW BEST:: SOT 223931 SOS 109634 HAS SOPS 109634 HAS SOUS 75378 HAS SOUPS 75378 WITH SCORE 75487.634
AT ITER 271 NEW BEST:: SOT 223824 SOS 109349 HAS SOPS 109349 HAS SOUS 75191 HAS SOUPS 75191 WITH SCORE 75300.349
AT ITER 278 NEW BEST:: SOT 223822 SOS 109155 HAS SOPS 109155 HAS SOUS 75012 HAS SOUPS 75012 WITH SCORE 75121.155
AT ITER 303 NEW BEST:: SOT 223687 SOS 109020 HAS SOPS 109020 HAS SOUS 74877 HAS SOUPS 74877 WITH SCORE 74986.02
AT ITER 311 NEW BEST:: SOT 223407 SOS 108600 HAS SOPS 108600 HAS SOUS 74597 HAS SOUPS 74597 WITH SCORE 74705.6
AT ITER 315 NEW BEST:: SOT 223407 SOS 108538 HAS SOPS 108538 HAS SOUS 74535 HAS SOUPS 74535 WITH SCORE 74643.538
AT ITER 324 NEW BEST:: SOT 223063 SOS 108075 HAS SOPS 108075 HAS SOUS 74244 HAS SOUPS 74244 WITH SCORE 74352.075
AT ITER 330 NEW BEST:: SOT 223051 SOS 108050 HAS SOPS 108050 HAS SOUS 74229 HAS SOUPS 74229 WITH SCORE 74337.05
AT ITER 338 NEW BEST:: SOT 222826 SOS 107543 HAS SOPS 107543 HAS SOUS 74040 HAS SOUPS 74040 WITH SCORE 74147.543
AT ITER 339 NEW BEST:: SOT 222625 SOS 107141 HAS SOPS 107141 HAS SOUS 73940 HAS SOUPS 73940 WITH SCORE 74047.141
AT ITER 341 NEW BEST:: SOT 222625 SOS 107131 HAS SOPS 107131 HAS SOUS 73930 HAS SOUPS 73930 WITH SCORE 74037.131
AT ITER 347 NEW BEST:: SOT 222447 SOS 106685 HAS SOPS 106685 HAS SOUS 73821 HAS SOUPS 73821 WITH SCORE 73927.685
AT ITER 355 NEW BEST:: SOT 222366 SOS 106604 HAS SOPS 106604 HAS SOUS 73820 HAS SOUPS 73820 WITH SCORE 73926.604
AT ITER 356 NEW BEST:: SOT 222292 SOS 106521 HAS SOPS 106521 HAS SOUS 73774 HAS SOUPS 73774 WITH SCORE 73880.521
AT ITER 360 NEW BEST:: SOT 222203 SOS 106343 HAS SOPS 106343 HAS SOUS 73596 HAS SOUPS 73596 WITH SCORE 73702.343
AT ITER 361 NEW BEST:: SOT 221996 SOS 106326 HAS SOPS 106326 HAS SOUS 73420 HAS SOUPS 73420 WITH SCORE 73526.326
AT ITER 363 NEW BEST:: SOT 221996 SOS 106321 HAS SOPS 106321 HAS SOUS 73415 HAS SOUPS 73415 WITH SCORE 73521.321
AT ITER 374 NEW BEST:: SOT 221993 SOS 106178 HAS SOPS 106178 HAS SOUS 73409 HAS SOUPS 73409 WITH SCORE 73515.178
AT ITER 378 NEW BEST:: SOT 221947 SOS 105716 HAS SOPS 105716 HAS SOUS 73162 HAS SOUPS 73162 WITH SCORE 73267.716
AT ITER 380 NEW BEST:: SOT 221771 SOS 105540 HAS SOPS 105540 HAS SOUS 73024 HAS SOUPS 73024 WITH SCORE 73129.54
AT ITER 392 NEW BEST:: SOT 221635 SOS 105255 HAS SOPS 105255 HAS SOUS 72908 HAS SOUPS 72908 WITH SCORE 73013.255
AT ITER 400 NEW BEST:: SOT 221713 SOS 105333 HAS SOPS 105333 HAS SOUS 72857 HAS SOUPS 72857 WITH SCORE 72962.333
AT ITER 411 NEW BEST:: SOT 221688 SOS 105295 HAS SOPS 105295 HAS SOUS 72819 HAS SOUPS 72819 WITH SCORE 72924.295
AT ITER 412 NEW BEST:: SOT 221688 SOS 105208 HAS SOPS 105208 HAS SOUS 72732 HAS SOUPS 72732 WITH SCORE 72837.208
AT ITER 414 NEW BEST:: SOT 221660 SOS 105124 HAS SOPS 105124 HAS SOUS 72676 HAS SOUPS 72676 WITH SCORE 72781.124
AT ITER 415 NEW BEST:: SOT 221655 SOS 105119 HAS SOPS 105119 HAS SOUS 72676 HAS SOUPS 72676 WITH SCORE 72781.119
AT ITER 420 NEW BEST:: SOT 221393 SOS 104847 HAS SOPS 104847 HAS SOUS 72666 HAS SOUPS 72666 WITH SCORE 72770.847
AT ITER 425 NEW BEST:: SOT 221392 SOS 104845 HAS SOPS 104845 HAS SOUS 72664 HAS SOUPS 72664 WITH SCORE 72768.845
AT ITER 448 NEW BEST:: SOT 221330 SOS 104721 HAS SOPS 104721 HAS SOUS 72661 HAS SOUPS 72661 WITH SCORE 72765.721
AT ITER 449 NEW BEST:: SOT 221308 SOS 104659 HAS SOPS 104659 HAS SOUS 72599 HAS SOUPS 72599 WITH SCORE 72703.659
AT ITER 456 NEW BEST:: SOT 221304 SOS 104487 HAS SOPS 104487 HAS SOUS 72539 HAS SOUPS 72539 WITH SCORE 72643.487
AT ITER 458 NEW BEST:: SOT 221088 SOS 104055 HAS SOPS 104055 HAS SOUS 72387 HAS SOUPS 72387 WITH SCORE 72491.055
AT ITER 460 NEW BEST:: SOT 221086 SOS 104051 HAS SOPS 104051 HAS SOUS 72383 HAS SOUPS 72383 WITH SCORE 72487.051
AT ITER 461 NEW BEST:: SOT 221100 SOS 103873 HAS SOPS 103873 HAS SOUS 72375 HAS SOUPS 72375 WITH SCORE 72478.873
AT ITER 468 NEW BEST:: SOT 221080 SOS 103832 HAS SOPS 103832 HAS SOUS 72254 HAS SOUPS 72254 WITH SCORE 72357.832
AT ITER 469 NEW BEST:: SOT 220881 SOS 103362 HAS SOPS 103362 HAS SOUS 72071 HAS SOUPS 72071 WITH SCORE 72174.362
AT ITER 477 NEW BEST:: SOT 220908 SOS 103250 HAS SOPS 103250 HAS SOUS 71959 HAS SOUPS 71959 WITH SCORE 72062.25
AT ITER 483 NEW BEST:: SOT 220916 SOS 103257 HAS SOPS 103257 HAS SOUS 71954 HAS SOUPS 71954 WITH SCORE 72057.257
AT ITER 504 NEW BEST:: SOT 220466 SOS 102807 HAS SOPS 102807 HAS SOUS 71474 HAS SOUPS 71474 WITH SCORE 71576.807
AT ITER 505 NEW BEST:: SOT 220673 SOS 103214 HAS SOPS 103214 HAS SOUS 71455 HAS SOUPS 71455 WITH SCORE 71558.214
AT ITER 513 NEW BEST:: SOT 220602 SOS 103133 HAS SOPS 103133 HAS SOUS 71435 HAS SOUPS 71435 WITH SCORE 71538.133
AT ITER 517 NEW BEST:: SOT 220602 SOS 103133 HAS SOPS 103133 HAS SOUS 71368 HAS SOUPS 71368 WITH SCORE 71471.133
AT ITER 520 NEW BEST:: SOT 220602 SOS 103025 HAS SOPS 103025 HAS SOUS 71260 HAS SOUPS 71260 WITH SCORE 71363.025
AT ITER 529 NEW BEST:: SOT 220557 SOS 102848 HAS SOPS 102848 HAS SOUS 71083 HAS SOUPS 71083 WITH SCORE 71185.848
AT ITER 532 NEW BEST:: SOT 220528 SOS 102790 HAS SOPS 102790 HAS SOUS 71025 HAS SOUPS 71025 WITH SCORE 71127.79
AT ITER 544 NEW BEST:: SOT 220528 SOS 102582 HAS SOPS 102582 HAS SOUS 70858 HAS SOUPS 70858 WITH SCORE 70960.582
AT ITER 546 NEW BEST:: SOT 220554 SOS 102608 HAS SOPS 102608 HAS SOUS 70803 HAS SOUPS 70803 WITH SCORE 70905.608
AT ITER 547 NEW BEST:: SOT 220554 SOS 102608 HAS SOPS 102608 HAS SOUS 70704 HAS SOUPS 70704 WITH SCORE 70806.608
AT ITER 554 NEW BEST:: SOT 220554 SOS 102446 HAS SOPS 102446 HAS SOUS 70542 HAS SOUPS 70542 WITH SCORE 70644.446
AT ITER 560 NEW BEST:: SOT 220536 SOS 102410 HAS SOPS 102410 HAS SOUS 70521 HAS SOUPS 70521 WITH SCORE 70623.41
AT ITER 561 NEW BEST:: SOT 220534 SOS 102408 HAS SOPS 102408 HAS SOUS 70519 HAS SOUPS 70519 WITH SCORE 70621.408
AT ITER 564 NEW BEST:: SOT 220384 SOS 102070 HAS SOPS 102070 HAS SOUS 70337 HAS SOUPS 70337 WITH SCORE 70439.07
AT ITER 570 NEW BEST:: SOT 220252 SOS 101806 HAS SOPS 101806 HAS SOUS 70204 HAS SOUPS 70204 WITH SCORE 70305.806
AT ITER 596 NEW BEST:: SOT 220267 SOS 101760 HAS SOPS 101760 HAS SOUS 70158 HAS SOUPS 70158 WITH SCORE 70259.76
AT ITER 597 NEW BEST:: SOT 220243 SOS 101736 HAS SOPS 101736 HAS SOUS 70107 HAS SOUPS 70107 WITH SCORE 70208.736
AT ITER 608 NEW BEST:: SOT 220201 SOS 101652 HAS SOPS 101652 HAS SOUS 70023 HAS SOUPS 70023 WITH SCORE 70124.652
AT ITER 609 NEW BEST:: SOT 220201 SOS 101651 HAS SOPS 101651 HAS SOUS 69955 HAS SOUPS 69955 WITH SCORE 70056.651
AT ITER 610 NEW BEST:: SOT 220200 SOS 101650 HAS SOPS 101650 HAS SOUS 69954 HAS SOUPS 69954 WITH SCORE 70055.65
AT ITER 611 NEW BEST:: SOT 220061 SOS 101372 HAS SOPS 101372 HAS SOUS 69676 HAS SOUPS 69676 WITH SCORE 69777.372
AT ITER 626 NEW BEST:: SOT 220037 SOS 101348 HAS SOPS 101348 HAS SOUS 69676 HAS SOUPS 69676 WITH SCORE 69777.348
AT ITER 632 NEW BEST:: SOT 219948 SOS 101247 HAS SOPS 101247 HAS SOUS 69575 HAS SOUPS 69575 WITH SCORE 69676.247
AT ITER 637 NEW BEST:: SOT 219933 SOS 101217 HAS SOPS 101217 HAS SOUS 69545 HAS SOUPS 69545 WITH SCORE 69646.217
AT ITER 638 NEW BEST:: SOT 219959 SOS 100922 HAS SOPS 100922 HAS SOUS 69254 HAS SOUPS 69254 WITH SCORE 69354.922
AT ITER 641 NEW BEST:: SOT 219870 SOS 100655 HAS SOPS 100655 HAS SOUS 69165 HAS SOUPS 69165 WITH SCORE 69265.655
AT ITER 652 NEW BEST:: SOT 219870 SOS 100603 HAS SOPS 100603 HAS SOUS 69113 HAS SOUPS 69113 WITH SCORE 69213.603
AT ITER 658 NEW BEST:: SOT 219756 SOS 100489 HAS SOPS 100489 HAS SOUS 68999 HAS SOUPS 68999 WITH SCORE 69099.489
AT ITER 661 NEW BEST:: SOT 219756 SOS 100449 HAS SOPS 100449 HAS SOUS 68926 HAS SOUPS 68926 WITH SCORE 69026.449
AT ITER 664 NEW BEST:: SOT 219710 SOS 100357 HAS SOPS 100357 HAS SOUS 68834 HAS SOUPS 68834 WITH SCORE 68934.357
AT ITER 673 NEW BEST:: SOT 219710 SOS 100341 HAS SOPS 100341 HAS SOUS 68826 HAS SOUPS 68826 WITH SCORE 68926.341
AT ITER 675 NEW BEST:: SOT 219591 SOS 99984 HAS SOPS 99984 HAS SOUS 68469 HAS SOUPS 68469 WITH SCORE 68568.984
AT ITER 683 NEW BEST:: SOT 219480 SOS 99787 HAS SOPS 99787 HAS SOUS 68272 HAS SOUPS 68272 WITH SCORE 68371.787
AT ITER 686 NEW BEST:: SOT 219435 SOS 99541 HAS SOPS 99541 HAS SOUS 68178 HAS SOUPS 68178 WITH SCORE 68277.541
AT ITER 690 NEW BEST:: SOT 219412 SOS 99517 HAS SOPS 99517 HAS SOUS 68154 HAS SOUPS 68154 WITH SCORE 68253.517
AT ITER 708 NEW BEST:: SOT 219410 SOS 99436 HAS SOPS 99436 HAS SOUS 68151 HAS SOUPS 68151 WITH SCORE 68250.436
AT ITER 713 NEW BEST:: SOT 219340 SOS 99296 HAS SOPS 99296 HAS SOUS 68011 HAS SOUPS 68011 WITH SCORE 68110.296
AT ITER 724 NEW BEST:: SOT 219091 SOS 98798 HAS SOPS 98798 HAS SOUS 67674 HAS SOUPS 67674 WITH SCORE 67772.798
AT ITER 728 NEW BEST:: SOT 218700 SOS 98016 HAS SOPS 98016 HAS SOUS 67454 HAS SOUPS 67454 WITH SCORE 67552.016
AT ITER 754 NEW BEST:: SOT 218540 SOS 97892 HAS SOPS 97892 HAS SOUS 67330 HAS SOUPS 67330 WITH SCORE 67427.892
AT ITER 758 NEW BEST:: SOT 218560 SOS 97932 HAS SOPS 97932 HAS SOUS 67266 HAS SOUPS 67266 WITH SCORE 67363.932
AT ITER 767 NEW BEST:: SOT 218460 SOS 97732 HAS SOPS 97732 HAS SOUS 67158 HAS SOUPS 67158 WITH SCORE 67255.732
AT ITER 794 NEW BEST:: SOT 218347 SOS 97421 HAS SOPS 97421 HAS SOUS 66913 HAS SOUPS 66913 WITH SCORE 67010.421
AT ITER 822 NEW BEST:: SOT 218433 SOS 97316 HAS SOPS 97316 HAS SOUS 66808 HAS SOUPS 66808 WITH SCORE 66905.316
AT ITER 825 NEW BEST:: SOT 218329 SOS 97108 HAS SOPS 97108 HAS SOUS 66704 HAS SOUPS 66704 WITH SCORE 66801.108
AT ITER 831 NEW BEST:: SOT 217831 SOS 96395 HAS SOPS 96395 HAS SOUS 66315 HAS SOUPS 66315 WITH SCORE 66411.395
AT ITER 842 NEW BEST:: SOT 217850 SOS 96367 HAS SOPS 96367 HAS SOUS 66168 HAS SOUPS 66168 WITH SCORE 66264.367
AT ITER 845 NEW BEST:: SOT 217742 SOS 96134 HAS SOPS 96134 HAS SOUS 66102 HAS SOUPS 66102 WITH SCORE 66198.134
AT ITER 851 NEW BEST:: SOT 217512 SOS 95972 HAS SOPS 95972 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66037.972
AT ITER 853 NEW BEST:: SOT 217496 SOS 95956 HAS SOPS 95956 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66037.956
AT ITER 857 NEW BEST:: SOT 217535 SOS 96044 HAS SOPS 96044 HAS SOUS 65921 HAS SOUPS 65921 WITH SCORE 66017.044
AT ITER 870 NEW BEST:: SOT 217402 SOS 95911 HAS SOPS 95911 HAS SOUS 65921 HAS SOUPS 65921 WITH SCORE 66016.911
AT ITER 871 NEW BEST:: SOT 217405 SOS 95894 HAS SOPS 95894 HAS SOUS 65904 HAS SOUPS 65904 WITH SCORE 65999.894
AT ITER 884 NEW BEST:: SOT 217145 SOS 95446 HAS SOPS 95446 HAS SOUS 65456 HAS SOUPS 65456 WITH SCORE 65551.446
AT ITER 889 NEW BEST:: SOT 217131 SOS 95428 HAS SOPS 95428 HAS SOUS 65386 HAS SOUPS 65386 WITH SCORE 65481.428
AT ITER 911 NEW BEST:: SOT 217111 SOS 95398 HAS SOPS 95398 HAS SOUS 65366 HAS SOUPS 65366 WITH SCORE 65461.398
AT ITER 912 NEW BEST:: SOT 217237 SOS 95350 HAS SOPS 95350 HAS SOUS 65032 HAS SOUPS 65032 WITH SCORE 65127.35
AT ITER 927 NEW BEST:: SOT 217301 SOS 95205 HAS SOPS 95205 HAS SOUS 65027 HAS SOUPS 65027 WITH SCORE 65122.205
AT ITER 934 NEW BEST:: SOT 217242 SOS 95146 HAS SOPS 95146 HAS SOUS 65027 HAS SOUPS 65027 WITH SCORE 65122.146
AT ITER 935 NEW BEST:: SOT 217221 SOS 95111 HAS SOPS 95111 HAS SOUS 64992 HAS SOUPS 64992 WITH SCORE 65087.111
AT ITER 940 NEW BEST:: SOT 217243 SOS 95133 HAS SOPS 95133 HAS SOUS 64818 HAS SOUPS 64818 WITH SCORE 64913.133
AT ITER 946 NEW BEST:: SOT 217230 SOS 95120 HAS SOPS 95120 HAS SOUS 64818 HAS SOUPS 64818 WITH SCORE 64913.12
AT ITER 957 NEW BEST:: SOT 217229 SOS 95119 HAS SOPS 95119 HAS SOUS 64818 HAS SOUPS 64818 WITH SCORE 64913.119
AT ITER 966 NEW BEST:: SOT 217146 SOS 94942 HAS SOPS 94942 HAS SOUS 64809 HAS SOUPS 64809 WITH SCORE 64903.942
AT ITER 968 NEW BEST:: SOT 217141 SOS 94932 HAS SOPS 94932 HAS SOUS 64799 HAS SOUPS 64799 WITH SCORE 64893.932
AT ITER 971 NEW BEST:: SOT 217111 SOS 94872 HAS SOPS 94872 HAS SOUS 64739 HAS SOUPS 64739 WITH SCORE 64833.872
AT ITER 973 NEW BEST:: SOT 217007 SOS 94757 HAS SOPS 94757 HAS SOUS 64717 HAS SOUPS 64717 WITH SCORE 64811.757
AT ITER 974 NEW BEST:: SOT 217053 SOS 94755 HAS SOPS 94755 HAS SOUS 64715 HAS SOUPS 64715 WITH SCORE 64809.755
AT ITER 975 NEW BEST:: SOT 216975 SOS 94638 HAS SOPS 94638 HAS SOUS 64637 HAS SOUPS 64637 WITH SCORE 64731.638
AT ITER 996 NEW BEST:: SOT 216987 SOS 94614 HAS SOPS 94614 HAS SOUS 64613 HAS SOUPS 64613 WITH SCORE 64707.614
AT ITER 998 NEW BEST:: SOT 216967 SOS 94580 HAS SOPS 94580 HAS SOUS 64579 HAS SOUPS 64579 WITH SCORE 64673.58
AT ITER 999 NEW BEST:: SOT 216932 SOS 94545 HAS SOPS 94545 HAS SOUS 64544 HAS SOUPS 64544 WITH SCORE 64638.545
AT ITER 1017 NEW BEST:: SOT 216816 SOS 94379 HAS SOPS 94379 HAS SOUS 64378 HAS SOUPS 64378 WITH SCORE 64472.379
AT ITER 1019 NEW BEST:: SOT 216673 SOS 94088 HAS SOPS 94088 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64236.088
AT ITER 1025 NEW BEST:: SOT 216672 SOS 94086 HAS SOPS 94086 HAS SOUS 64140 HAS SOUPS 64140 WITH SCORE 64234.086
AT ITER 1032 NEW BEST:: SOT 216622 SOS 94040 HAS SOPS 94040 HAS SOUS 64094 HAS SOUPS 64094 WITH SCORE 64188.04
AT ITER 1033 NEW BEST:: SOT 216549 SOS 93804 HAS SOPS 93804 HAS SOUS 63867 HAS SOUPS 63867 WITH SCORE 63960.804
AT ITER 1043 NEW BEST:: SOT 216495 SOS 93696 HAS SOPS 93696 HAS SOUS 63813 HAS SOUPS 63813 WITH SCORE 63906.696
AT ITER 1046 NEW BEST:: SOT 216523 SOS 93662 HAS SOPS 93662 HAS SOUS 63779 HAS SOUPS 63779 WITH SCORE 63872.662
AT ITER 1075 NEW BEST:: SOT 216459 SOS 93534 HAS SOPS 93534 HAS SOUS 63741 HAS SOUPS 63741 WITH SCORE 63834.534
AT ITER 1079 NEW BEST:: SOT 216402 SOS 93420 HAS SOPS 93420 HAS SOUS 63627 HAS SOUPS 63627 WITH SCORE 63720.42
AT ITER 1081 NEW BEST:: SOT 216397 SOS 93415 HAS SOPS 93415 HAS SOUS 63622 HAS SOUPS 63622 WITH SCORE 63715.415
AT ITER 1083 NEW BEST:: SOT 216335 SOS 93107 HAS SOPS 93107 HAS SOUS 63314 HAS SOUPS 63314 WITH SCORE 63407.107
AT ITER 1106 NEW BEST:: SOT 216330 SOS 93102 HAS SOPS 93102 HAS SOUS 63314 HAS SOUPS 63314 WITH SCORE 63407.102
AT ITER 1118 NEW BEST:: SOT 216230 SOS 92902 HAS SOPS 92902 HAS SOUS 63167 HAS SOUPS 63167 WITH SCORE 63259.902
AT ITER 1122 NEW BEST:: SOT 216225 SOS 92897 HAS SOPS 92897 HAS SOUS 63162 HAS SOUPS 63162 WITH SCORE 63254.897
AT ITER 1129 NEW BEST:: SOT 216181 SOS 92585 HAS SOPS 92585 HAS SOUS 62894 HAS SOUPS 62894 WITH SCORE 62986.585
AT ITER 1137 NEW BEST:: SOT 216177 SOS 92616 HAS SOPS 92616 HAS SOUS 62889 HAS SOUPS 62889 WITH SCORE 62981.616
AT ITER 1138 NEW BEST:: SOT 216122 SOS 92506 HAS SOPS 92506 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62979.506
AT ITER 1147 NEW BEST:: SOT 216122 SOS 92466 HAS SOPS 92466 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62979.466
AT ITER 1162 NEW BEST:: SOT 215933 SOS 92277 HAS SOPS 92277 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62979.277
AT ITER 1163 NEW BEST:: SOT 215933 SOS 92264 HAS SOPS 92264 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62979.264
AT ITER 1164 NEW BEST:: SOT 215933 SOS 92254 HAS SOPS 92254 HAS SOUS 62877 HAS SOUPS 62877 WITH SCORE 62969.254
AT ITER 1184 NEW BEST:: SOT 215929 SOS 92223 HAS SOPS 92223 HAS SOUS 62846 HAS SOUPS 62846 WITH SCORE 62938.223
AT ITER 1190 NEW BEST:: SOT 215915 SOS 92195 HAS SOPS 92195 HAS SOUS 62818 HAS SOUPS 62818 WITH SCORE 62910.195
AT ITER 1207 NEW BEST:: SOT 215682 SOS 91786 HAS SOPS 91786 HAS SOUS 62409 HAS SOUPS 62409 WITH SCORE 62500.786
AT ITER 1211 NEW BEST:: SOT 215703 SOS 91784 HAS SOPS 91784 HAS SOUS 62407 HAS SOUPS 62407 WITH SCORE 62498.784
AT ITER 1225 NEW BEST:: SOT 215867 SOS 91717 HAS SOPS 91717 HAS SOUS 62340 HAS SOUPS 62340 WITH SCORE 62431.717
AT ITER 1227 NEW BEST:: SOT 215828 SOS 91678 HAS SOPS 91678 HAS SOUS 62338 HAS SOUPS 62338 WITH SCORE 62429.678
AT ITER 1232 NEW BEST:: SOT 215776 SOS 91626 HAS SOPS 91626 HAS SOUS 62338 HAS SOUPS 62338 WITH SCORE 62429.626
AT ITER 1245 NEW BEST:: SOT 215719 SOS 91567 HAS SOPS 91567 HAS SOUS 62279 HAS SOUPS 62279 WITH SCORE 62370.567
AT ITER 1260 NEW BEST:: SOT 215719 SOS 91556 HAS SOPS 91556 HAS SOUS 62268 HAS SOUPS 62268 WITH SCORE 62359.556
AT ITER 1269 NEW BEST:: SOT 215719 SOS 91502 HAS SOPS 91502 HAS SOUS 62160 HAS SOUPS 62160 WITH SCORE 62251.502
AT ITER 1273 NEW BEST:: SOT 215718 SOS 91500 HAS SOPS 91500 HAS SOUS 62127 HAS SOUPS 62127 WITH SCORE 62218.5
AT ITER 1274 NEW BEST:: SOT 215705 SOS 91487 HAS SOPS 91487 HAS SOUS 62111 HAS SOUPS 62111 WITH SCORE 62202.487
AT ITER 1275 NEW BEST:: SOT 215705 SOS 91471 HAS SOPS 91471 HAS SOUS 62079 HAS SOUPS 62079 WITH SCORE 62170.471
AT ITER 1289 NEW BEST:: SOT 215693 SOS 91456 HAS SOPS 91456 HAS SOUS 62064 HAS SOUPS 62064 WITH SCORE 62155.456
AT ITER 1295 NEW BEST:: SOT 215572 SOS 91355 HAS SOPS 91355 HAS SOUS 61963 HAS SOUPS 61963 WITH SCORE 62054.355
AT ITER 1297 NEW BEST:: SOT 215012 SOS 90987 HAS SOPS 90987 HAS SOUS 61591 HAS SOUPS 61591 WITH SCORE 61681.987
AT ITER 1302 NEW BEST:: SOT 215031 SOS 91006 HAS SOPS 91006 HAS SOUS 61495 HAS SOUPS 61495 WITH SCORE 61586.006
AT ITER 1304 NEW BEST:: SOT 214963 SOS 90870 HAS SOPS 90870 HAS SOUS 61372 HAS SOUPS 61372 WITH SCORE 61462.87
AT ITER 1327 NEW BEST:: SOT 214951 SOS 90858 HAS SOPS 90858 HAS SOUS 61360 HAS SOUPS 61360 WITH SCORE 61450.858
AT ITER 1371 NEW BEST:: SOT 214946 SOS 90848 HAS SOPS 90848 HAS SOUS 61353 HAS SOUPS 61353 WITH SCORE 61443.848
AT ITER 1372 NEW BEST:: SOT 214946 SOS 90730 HAS SOPS 90730 HAS SOUS 61242 HAS SOUPS 61242 WITH SCORE 61332.73
AT ITER 1377 NEW BEST:: SOT 214986 SOS 90687 HAS SOPS 90687 HAS SOUS 61076 HAS SOUPS 61076 WITH SCORE 61166.687
AT ITER 1386 NEW BEST:: SOT 214959 SOS 90662 HAS SOPS 90662 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61141.662
AT ITER 1393 NEW BEST:: SOT 214885 SOS 90588 HAS SOPS 90588 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61141.588
AT ITER 1395 NEW BEST:: SOT 214860 SOS 90538 HAS SOPS 90538 HAS SOUS 60896 HAS SOUPS 60896 WITH SCORE 60986.538
AT ITER 1396 NEW BEST:: SOT 214817 SOS 90452 HAS SOPS 90452 HAS SOUS 60810 HAS SOUPS 60810 WITH SCORE 60900.452
AT ITER 1405 NEW BEST:: SOT 214870 SOS 89913 HAS SOPS 89913 HAS SOUS 60752 HAS SOUPS 60752 WITH SCORE 60841.913
AT ITER 1408 NEW BEST:: SOT 214813 SOS 89881 HAS SOPS 89881 HAS SOUS 60720 HAS SOUPS 60720 WITH SCORE 60809.881
AT ITER 1410 NEW BEST:: SOT 214807 SOS 89869 HAS SOPS 89869 HAS SOUS 60708 HAS SOUPS 60708 WITH SCORE 60797.869
AT ITER 1416 NEW BEST:: SOT 214708 SOS 89829 HAS SOPS 89829 HAS SOUS 60672 HAS SOUPS 60672 WITH SCORE 60761.829
AT ITER 1422 NEW BEST:: SOT 214703 SOS 89784 HAS SOPS 89784 HAS SOUS 60662 HAS SOUPS 60662 WITH SCORE 60751.784
AT ITER 1424 NEW BEST:: SOT 214689 SOS 89666 HAS SOPS 89666 HAS SOUS 60544 HAS SOUPS 60544 WITH SCORE 60633.666
AT ITER 1429 NEW BEST:: SOT 214661 SOS 89628 HAS SOPS 89628 HAS SOUS 60524 HAS SOUPS 60524 WITH SCORE 60613.628
AT ITER 1442 NEW BEST:: SOT 214578 SOS 89545 HAS SOPS 89545 HAS SOUS 60524 HAS SOUPS 60524 WITH SCORE 60613.545
AT ITER 1465 NEW BEST:: SOT 214399 SOS 89187 HAS SOPS 89187 HAS SOUS 60166 HAS SOUPS 60166 WITH SCORE 60255.187
AT ITER 1467 NEW BEST:: SOT 214393 SOS 89014 HAS SOPS 89014 HAS SOUS 60002 HAS SOUPS 60002 WITH SCORE 60091.014
AT ITER 1469 NEW BEST:: SOT 214356 SOS 88932 HAS SOPS 88932 HAS SOUS 59920 HAS SOUPS 59920 WITH SCORE 60008.932
AT ITER 1480 NEW BEST:: SOT 214323 SOS 88875 HAS SOPS 88875 HAS SOUS 59863 HAS SOUPS 59863 WITH SCORE 59951.875
AT ITER 1493 NEW BEST:: SOT 214394 SOS 88883 HAS SOPS 88883 HAS SOUS 59797 HAS SOUPS 59797 WITH SCORE 59885.883
AT ITER 1502 NEW BEST:: SOT 214387 SOS 88876 HAS SOPS 88876 HAS SOUS 59790 HAS SOUPS 59790 WITH SCORE 59878.876
AT ITER 1516 NEW BEST:: SOT 214286 SOS 88615 HAS SOPS 88615 HAS SOUS 59529 HAS SOUPS 59529 WITH SCORE 59617.615
AT ITER 1520 NEW BEST:: SOT 214236 SOS 88553 HAS SOPS 88553 HAS SOUS 59517 HAS SOUPS 59517 WITH SCORE 59605.553
AT ITER 1523 NEW BEST:: SOT 214218 SOS 88517 HAS SOPS 88517 HAS SOUS 59481 HAS SOUPS 59481 WITH SCORE 59569.517
AT ITER 1528 NEW BEST:: SOT 214125 SOS 88331 HAS SOPS 88331 HAS SOUS 59411 HAS SOUPS 59411 WITH SCORE 59499.331
AT ITER 1533 NEW BEST:: SOT 214107 SOS 87962 HAS SOPS 87962 HAS SOUS 59118 HAS SOUPS 59118 WITH SCORE 59205.962
AT ITER 1551 NEW BEST:: SOT 214233 SOS 88006 HAS SOPS 88006 HAS SOUS 58954 HAS SOUPS 58954 WITH SCORE 59042.006
AT ITER 1560 NEW BEST:: SOT 213216 SOS 86989 HAS SOPS 86989 HAS SOUS 57937 HAS SOUPS 57937 WITH SCORE 58023.989
AT ITER 1570 NEW BEST:: SOT 213296 SOS 87120 HAS SOPS 87120 HAS SOUS 57928 HAS SOUPS 57928 WITH SCORE 58015.12
AT ITER 1574 NEW BEST:: SOT 213290 SOS 87115 HAS SOPS 87115 HAS SOUS 57928 HAS SOUPS 57928 WITH SCORE 58015.115
AT ITER 1594 NEW BEST:: SOT 213255 SOS 87028 HAS SOPS 87028 HAS SOUS 57841 HAS SOUPS 57841 WITH SCORE 57928.028
AT ITER 1597 NEW BEST:: SOT 213255 SOS 87026 HAS SOPS 87026 HAS SOUS 57839 HAS SOUPS 57839 WITH SCORE 57926.026
AT ITER 1602 NEW BEST:: SOT 212695 SOS 86894 HAS SOPS 86894 HAS SOUS 57477 HAS SOUPS 57477 WITH SCORE 57563.894
AT ITER 1611 NEW BEST:: SOT 212641 SOS 86868 HAS SOPS 86868 HAS SOUS 57451 HAS SOUPS 57451 WITH SCORE 57537.868
AT ITER 1618 NEW BEST:: SOT 212636 SOS 86845 HAS SOPS 86845 HAS SOUS 57446 HAS SOUPS 57446 WITH SCORE 57532.845
AT ITER 1622 NEW BEST:: SOT 212625 SOS 86823 HAS SOPS 86823 HAS SOUS 57442 HAS SOUPS 57442 WITH SCORE 57528.823
AT ITER 1641 NEW BEST:: SOT 212434 SOS 86511 HAS SOPS 86511 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57318.511
AT ITER 1646 NEW BEST:: SOT 212523 SOS 86600 HAS SOPS 86600 HAS SOUS 57188 HAS SOUPS 57188 WITH SCORE 57274.6
AT ITER 1651 NEW BEST:: SOT 212503 SOS 86567 HAS SOPS 86567 HAS SOUS 57155 HAS SOUPS 57155 WITH SCORE 57241.567
AT ITER 1658 NEW BEST:: SOT 212349 SOS 86518 HAS SOPS 86518 HAS SOUS 57106 HAS SOUPS 57106 WITH SCORE 57192.518
AT ITER 1662 NEW BEST:: SOT 212168 SOS 86308 HAS SOPS 86308 HAS SOUS 56905 HAS SOUPS 56905 WITH SCORE 56991.308
AT ITER 1673 NEW BEST:: SOT 212146 SOS 86286 HAS SOPS 86286 HAS SOUS 56883 HAS SOUPS 56883 WITH SCORE 56969.286
AT ITER 1678 NEW BEST:: SOT 212316 SOS 86028 HAS SOPS 86028 HAS SOUS 56774 HAS SOUPS 56774 WITH SCORE 56860.028
AT ITER 1682 NEW BEST:: SOT 212309 SOS 85980 HAS SOPS 85980 HAS SOUS 56746 HAS SOUPS 56746 WITH SCORE 56831.98
AT ITER 1688 NEW BEST:: SOT 212225 SOS 85835 HAS SOPS 85835 HAS SOUS 56601 HAS SOUPS 56601 WITH SCORE 56686.835
AT ITER 1701 NEW BEST:: SOT 212225 SOS 85809 HAS SOPS 85809 HAS SOUS 56575 HAS SOUPS 56575 WITH SCORE 56660.809
AT ITER 1702 NEW BEST:: SOT 212045 SOS 85582 HAS SOPS 85582 HAS SOUS 56348 HAS SOUPS 56348 WITH SCORE 56433.582
AT ITER 1705 NEW BEST:: SOT 212045 SOS 85582 HAS SOPS 85582 HAS SOUS 56328 HAS SOUPS 56328 WITH SCORE 56413.582
AT ITER 1712 NEW BEST:: SOT 211803 SOS 85340 HAS SOPS 85340 HAS SOUS 56314 HAS SOUPS 56314 WITH SCORE 56399.34
AT ITER 1731 NEW BEST:: SOT 211780 SOS 85348 HAS SOPS 85348 HAS SOUS 56291 HAS SOUPS 56291 WITH SCORE 56376.348
AT ITER 1741 NEW BEST:: SOT 211752 SOS 85318 HAS SOPS 85318 HAS SOUS 56261 HAS SOUPS 56261 WITH SCORE 56346.318
AT ITER 1753 NEW BEST:: SOT 211770 SOS 85303 HAS SOPS 85303 HAS SOUS 56246 HAS SOUPS 56246 WITH SCORE 56331.303
AT ITER 1758 NEW BEST:: SOT 211757 SOS 85301 HAS SOPS 85301 HAS SOUS 56244 HAS SOUPS 56244 WITH SCORE 56329.301
AT ITER 1777 NEW BEST:: SOT 211729 SOS 85257 HAS SOPS 85257 HAS SOUS 56184 HAS SOUPS 56184 WITH SCORE 56269.257
AT ITER 1796 NEW BEST:: SOT 211726 SOS 85242 HAS SOPS 85242 HAS SOUS 56169 HAS SOUPS 56169 WITH SCORE 56254.242
AT ITER 1814 NEW BEST:: SOT 211518 SOS 85034 HAS SOPS 85034 HAS SOUS 55961 HAS SOUPS 55961 WITH SCORE 56046.034
AT ITER 1815 NEW BEST:: SOT 211530 SOS 84952 HAS SOPS 84952 HAS SOUS 55773 HAS SOUPS 55773 WITH SCORE 55857.952
AT ITER 1840 NEW BEST:: SOT 211508 SOS 84908 HAS SOPS 84908 HAS SOUS 55751 HAS SOUPS 55751 WITH SCORE 55835.908
AT ITER 1849 NEW BEST:: SOT 211486 SOS 84864 HAS SOPS 84864 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55791.864
AT ITER 1850 NEW BEST:: SOT 211486 SOS 84819 HAS SOPS 84819 HAS SOUS 55662 HAS SOUPS 55662 WITH SCORE 55746.819
AT ITER 1861 NEW BEST:: SOT 211479 SOS 84818 HAS SOPS 84818 HAS SOUS 55661 HAS SOUPS 55661 WITH SCORE 55745.818
AT ITER 1862 NEW BEST:: SOT 211479 SOS 84863 HAS SOPS 84863 HAS SOUS 55649 HAS SOUPS 55649 WITH SCORE 55733.863
AT ITER 1871 NEW BEST:: SOT 211467 SOS 84839 HAS SOPS 84839 HAS SOUS 55631 HAS SOUPS 55631 WITH SCORE 55715.839
AT ITER 1878 NEW BEST:: SOT 211467 SOS 84829 HAS SOPS 84829 HAS SOUS 55621 HAS SOUPS 55621 WITH SCORE 55705.829
AT ITER 1881 NEW BEST:: SOT 211429 SOS 84753 HAS SOPS 84753 HAS SOUS 55545 HAS SOUPS 55545 WITH SCORE 55629.753
AT ITER 1902 NEW BEST:: SOT 211275 SOS 84455 HAS SOPS 84455 HAS SOUS 55391 HAS SOUPS 55391 WITH SCORE 55475.455
AT ITER 1918 NEW BEST:: SOT 211274 SOS 84453 HAS SOPS 84453 HAS SOUS 55389 HAS SOUPS 55389 WITH SCORE 55473.453
AT ITER 1922 NEW BEST:: SOT 211190 SOS 84368 HAS SOPS 84368 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55388.368
AT ITER 1937 NEW BEST:: SOT 211190 SOS 84368 HAS SOPS 84368 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55347.368
AT ITER 1940 NEW BEST:: SOT 211190 SOS 84351 HAS SOPS 84351 HAS SOUS 55246 HAS SOUPS 55246 WITH SCORE 55330.351
AT ITER 1941 NEW BEST:: SOT 211177 SOS 84338 HAS SOPS 84338 HAS SOUS 55246 HAS SOUPS 55246 WITH SCORE 55330.338
AT ITER 1943 NEW BEST:: SOT 211146 SOS 84330 HAS SOPS 84330 HAS SOUS 55238 HAS SOUPS 55238 WITH SCORE 55322.33
AT ITER 1945 NEW BEST:: SOT 211146 SOS 84163 HAS SOPS 84163 HAS SOUS 55197 HAS SOUPS 55197 WITH SCORE 55281.163
AT ITER 1952 NEW BEST:: SOT 211158 SOS 84150 HAS SOPS 84150 HAS SOUS 55184 HAS SOUPS 55184 WITH SCORE 55268.15
AT ITER 1959 NEW BEST:: SOT 211104 SOS 84061 HAS SOPS 84061 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55152.061
AT ITER 1993 NEW BEST:: SOT 210917 SOS 83666 HAS SOPS 83666 HAS SOUS 54860 HAS SOUPS 54860 WITH SCORE 54943.666
AT ITER 1995 NEW BEST:: SOT 210888 SOS 84088 HAS SOPS 84088 HAS SOUS 54800 HAS SOUPS 54800 WITH SCORE 54884.088
AT ITER 2004 NEW BEST:: SOT 210839 SOS 83963 HAS SOPS 83963 HAS SOUS 54675 HAS SOUPS 54675 WITH SCORE 54758.963
AT ITER 2013 NEW BEST:: SOT 210719 SOS 83722 HAS SOPS 83722 HAS SOUS 54449 HAS SOUPS 54449 WITH SCORE 54532.722
AT ITER 2019 NEW BEST:: SOT 210668 SOS 83516 HAS SOPS 83516 HAS SOUS 54398 HAS SOUPS 54398 WITH SCORE 54481.516
AT ITER 2022 NEW BEST:: SOT 210565 SOS 83380 HAS SOPS 83380 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54313.38
AT ITER 2030 NEW BEST:: SOT 210565 SOS 83337 HAS SOPS 83337 HAS SOUS 54187 HAS SOUPS 54187 WITH SCORE 54270.337
AT ITER 2059 NEW BEST:: SOT 210553 SOS 83329 HAS SOPS 83329 HAS SOUS 54171 HAS SOUPS 54171 WITH SCORE 54254.329
AT ITER 2063 NEW BEST:: SOT 210410 SOS 82945 HAS SOPS 82945 HAS SOUS 53977 HAS SOUPS 53977 WITH SCORE 54059.945
AT ITER 2075 NEW BEST:: SOT 210267 SOS 82763 HAS SOPS 82763 HAS SOUS 53899 HAS SOUPS 53899 WITH SCORE 53981.763
AT ITER 2080 NEW BEST:: SOT 210267 SOS 82763 HAS SOPS 82763 HAS SOUS 53886 HAS SOUPS 53886 WITH SCORE 53968.763
AT ITER 2081 NEW BEST:: SOT 210244 SOS 82657 HAS SOPS 82657 HAS SOUS 53861 HAS SOUPS 53861 WITH SCORE 53943.657
AT ITER 2085 NEW BEST:: SOT 209917 SOS 82155 HAS SOPS 82155 HAS SOUS 53422 HAS SOUPS 53422 WITH SCORE 53504.155
AT ITER 2116 NEW BEST:: SOT 209933 SOS 82200 HAS SOPS 82200 HAS SOUS 53408 HAS SOUPS 53408 WITH SCORE 53490.2
AT ITER 2119 NEW BEST:: SOT 209891 SOS 82158 HAS SOPS 82158 HAS SOUS 53408 HAS SOUPS 53408 WITH SCORE 53490.158
AT ITER 2131 NEW BEST:: SOT 209652 SOS 81914 HAS SOPS 81914 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53296.914
AT ITER 2145 NEW BEST:: SOT 209605 SOS 81820 HAS SOPS 81820 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53249.82
AT ITER 2147 NEW BEST:: SOT 209562 SOS 81793 HAS SOPS 81793 HAS SOUS 53141 HAS SOUPS 53141 WITH SCORE 53222.793
AT ITER 2166 NEW BEST:: SOT 209452 SOS 81683 HAS SOPS 81683 HAS SOUS 53140 HAS SOUPS 53140 WITH SCORE 53221.683
AT ITER 2172 NEW BEST:: SOT 209452 SOS 81651 HAS SOPS 81651 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53189.651
AT ITER 2177 NEW BEST:: SOT 209230 SOS 81503 HAS SOPS 81503 HAS SOUS 52960 HAS SOUPS 52960 WITH SCORE 53041.503
AT ITER 2198 NEW BEST:: SOT 209227 SOS 81494 HAS SOPS 81494 HAS SOUS 52954 HAS SOUPS 52954 WITH SCORE 53035.494
AT ITER 2212 NEW BEST:: SOT 209191 SOS 81427 HAS SOPS 81427 HAS SOUS 52923 HAS SOUPS 52923 WITH SCORE 53004.427
AT ITER 2219 NEW BEST:: SOT 208966 SOS 81180 HAS SOPS 81180 HAS SOUS 52914 HAS SOUPS 52914 WITH SCORE 52995.18
AT ITER 2227 NEW BEST:: SOT 208892 SOS 81026 HAS SOPS 81026 HAS SOUS 52760 HAS SOUPS 52760 WITH SCORE 52841.026
AT ITER 2252 NEW BEST:: SOT 208888 SOS 81022 HAS SOPS 81022 HAS SOUS 52758 HAS SOUPS 52758 WITH SCORE 52839.022
AT ITER 2330 NEW BEST:: SOT 208842 SOS 80930 HAS SOPS 80930 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52746.93
AT ITER 2332 NEW BEST:: SOT 208700 SOS 80646 HAS SOPS 80646 HAS SOUS 52477 HAS SOUPS 52477 WITH SCORE 52557.646
AT ITER 2337 NEW BEST:: SOT 208686 SOS 80632 HAS SOPS 80632 HAS SOUS 52463 HAS SOUPS 52463 WITH SCORE 52543.632
AT ITER 2345 NEW BEST:: SOT 208685 SOS 80630 HAS SOPS 80630 HAS SOUS 52461 HAS SOUPS 52461 WITH SCORE 52541.63
AT ITER 2346 NEW BEST:: SOT 208685 SOS 80610 HAS SOPS 80610 HAS SOUS 52441 HAS SOUPS 52441 WITH SCORE 52521.61
AT ITER 2348 NEW BEST:: SOT 208647 SOS 80594 HAS SOPS 80594 HAS SOUS 52425 HAS SOUPS 52425 WITH SCORE 52505.594
AT ITER 2349 NEW BEST:: SOT 208647 SOS 80563 HAS SOPS 80563 HAS SOUS 52363 HAS SOUPS 52363 WITH SCORE 52443.563
AT ITER 2351 NEW BEST:: SOT 208584 SOS 80437 HAS SOPS 80437 HAS SOUS 52300 HAS SOUPS 52300 WITH SCORE 52380.437
AT ITER 2355 NEW BEST:: SOT 208584 SOS 80390 HAS SOPS 80390 HAS SOUS 52253 HAS SOUPS 52253 WITH SCORE 52333.39
AT ITER 2356 NEW BEST:: SOT 208565 SOS 80383 HAS SOPS 80383 HAS SOUS 52246 HAS SOUPS 52246 WITH SCORE 52326.383
AT ITER 2359 NEW BEST:: SOT 208490 SOS 80233 HAS SOPS 80233 HAS SOUS 52096 HAS SOUPS 52096 WITH SCORE 52176.233
AT ITER 2363 NEW BEST:: SOT 208393 SOS 80062 HAS SOPS 80062 HAS SOUS 51925 HAS SOUPS 51925 WITH SCORE 52005.062
AT ITER 2400 NEW BEST:: SOT 208367 SOS 79915 HAS SOPS 79915 HAS SOUS 51657 HAS SOUPS 51657 WITH SCORE 51736.915
AT ITER 2407 NEW BEST:: SOT 208344 SOS 79881 HAS SOPS 79881 HAS SOUS 51623 HAS SOUPS 51623 WITH SCORE 51702.881
AT ITER 2416 NEW BEST:: SOT 208339 SOS 79876 HAS SOPS 79876 HAS SOUS 51618 HAS SOUPS 51618 WITH SCORE 51697.876
AT ITER 2453 NEW BEST:: SOT 208296 SOS 79813 HAS SOPS 79813 HAS SOUS 51555 HAS SOUPS 51555 WITH SCORE 51634.813
AT ITER 2454 NEW BEST:: SOT 208295 SOS 79811 HAS SOPS 79811 HAS SOUS 51553 HAS SOUPS 51553 WITH SCORE 51632.811
AT ITER 2487 NEW BEST:: SOT 208286 SOS 79802 HAS SOPS 79802 HAS SOUS 51553 HAS SOUPS 51553 WITH SCORE 51632.802
AT ITER 2503 NEW BEST:: SOT 208263 SOS 79756 HAS SOPS 79756 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51586.756
AT ITER 2521 NEW BEST:: SOT 208276 SOS 79700 HAS SOPS 79700 HAS SOUS 51451 HAS SOUPS 51451 WITH SCORE 51530.7
AT ITER 2561 NEW BEST:: SOT 208276 SOS 79699 HAS SOPS 79699 HAS SOUS 51450 HAS SOUPS 51450 WITH SCORE 51529.699
AT ITER 2566 NEW BEST:: SOT 208261 SOS 79684 HAS SOPS 79684 HAS SOUS 51435 HAS SOUPS 51435 WITH SCORE 51514.684
AT ITER 2601 NEW BEST:: SOT 208233 SOS 79650 HAS SOPS 79650 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51508.65
AT ITER 2607 NEW BEST:: SOT 208233 SOS 79650 HAS SOPS 79650 HAS SOUS 51428 HAS SOUPS 51428 WITH SCORE 51507.65
AT ITER 2616 NEW BEST:: SOT 208227 SOS 79620 HAS SOPS 79620 HAS SOUS 51416 HAS SOUPS 51416 WITH SCORE 51495.62
AT ITER 2629 NEW BEST:: SOT 208079 SOS 79324 HAS SOPS 79324 HAS SOUS 51120 HAS SOUPS 51120 WITH SCORE 51199.324
AT ITER 2632 NEW BEST:: SOT 208025 SOS 78460 HAS SOPS 78460 HAS SOUS 51012 HAS SOUPS 51012 WITH SCORE 51090.46
AT ITER 2640 NEW BEST:: SOT 208027 SOS 78347 HAS SOPS 78347 HAS SOUS 50785 HAS SOUPS 50785 WITH SCORE 50863.347
AT ITER 2663 NEW BEST:: SOT 207989 SOS 78313 HAS SOPS 78313 HAS SOUS 50748 HAS SOUPS 50748 WITH SCORE 50826.313
AT ITER 2669 NEW BEST:: SOT 207989 SOS 78220 HAS SOPS 78220 HAS SOUS 50625 HAS SOUPS 50625 WITH SCORE 50703.22
AT ITER 2694 NEW BEST:: SOT 207989 SOS 78174 HAS SOPS 78174 HAS SOUS 50579 HAS SOUPS 50579 WITH SCORE 50657.174
AT ITER 2698 NEW BEST:: SOT 207973 SOS 78142 HAS SOPS 78142 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50625.142
AT ITER 2716 NEW BEST:: SOT 207966 SOS 78128 HAS SOPS 78128 HAS SOUS 50533 HAS SOUPS 50533 WITH SCORE 50611.128
AT ITER 2721 NEW BEST:: SOT 207950 SOS 78096 HAS SOPS 78096 HAS SOUS 50501 HAS SOUPS 50501 WITH SCORE 50579.096
AT ITER 2737 NEW BEST:: SOT 207619 SOS 77521 HAS SOPS 77521 HAS SOUS 50193 HAS SOUPS 50193 WITH SCORE 50270.521
AT ITER 2745 NEW BEST:: SOT 207616 SOS 77518 HAS SOPS 77518 HAS SOUS 50193 HAS SOUPS 50193 WITH SCORE 50270.518
AT ITER 2783 NEW BEST:: SOT 207615 SOS 77464 HAS SOPS 77464 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50234.464
AT ITER 2804 NEW BEST:: SOT 207576 SOS 77401 HAS SOPS 77401 HAS SOUS 50136 HAS SOUPS 50136 WITH SCORE 50213.401
AT ITER 2828 NEW BEST:: SOT 207612 SOS 77409 HAS SOPS 77409 HAS SOUS 50107 HAS SOUPS 50107 WITH SCORE 50184.409
AT ITER 2859 NEW BEST:: SOT 207678 SOS 77474 HAS SOPS 77474 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50158.474
AT ITER 2867 NEW BEST:: SOT 207594 SOS 77390 HAS SOPS 77390 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50158.39
AT ITER 2872 NEW BEST:: SOT 207345 SOS 76793 HAS SOPS 76793 HAS SOUS 49833 HAS SOUPS 49833 WITH SCORE 49909.793
AT ITER 2892 NEW BEST:: SOT 207247 SOS 76694 HAS SOPS 76694 HAS SOUS 49831 HAS SOUPS 49831 WITH SCORE 49907.694
AT ITER 2900 NEW BEST:: SOT 207243 SOS 76556 HAS SOPS 76556 HAS SOUS 49693 HAS SOUPS 49693 WITH SCORE 49769.556
AT ITER 2937 NEW BEST:: SOT 207225 SOS 76474 HAS SOPS 76474 HAS SOUS 49654 HAS SOUPS 49654 WITH SCORE 49730.474
AT ITER 2949 NEW BEST:: SOT 207225 SOS 76474 HAS SOPS 76474 HAS SOUS 49591 HAS SOUPS 49591 WITH SCORE 49667.474
AT ITER 2974 NEW BEST:: SOT 207206 SOS 76455 HAS SOPS 76455 HAS SOUS 49572 HAS SOUPS 49572 WITH SCORE 49648.455
AT ITER 2984 NEW BEST:: SOT 207197 SOS 76437 HAS SOPS 76437 HAS SOUS 49564 HAS SOUPS 49564 WITH SCORE 49640.437
AT ITER 2985 NEW BEST:: SOT 207192 SOS 76427 HAS SOPS 76427 HAS SOUS 49554 HAS SOUPS 49554 WITH SCORE 49630.427
AT ITER 3026 NEW BEST:: SOT 207245 SOS 76458 HAS SOPS 76458 HAS SOUS 49509 HAS SOUPS 49509 WITH SCORE 49585.458
AT ITER 3039 NEW BEST:: SOT 207227 SOS 76427 HAS SOPS 76427 HAS SOUS 49478 HAS SOUPS 49478 WITH SCORE 49554.427
AT ITER 3042 NEW BEST:: SOT 207225 SOS 76380 HAS SOPS 76380 HAS SOUS 49389 HAS SOUPS 49389 WITH SCORE 49465.38
AT ITER 3080 NEW BEST:: SOT 207197 SOS 76312 HAS SOPS 76312 HAS SOUS 49349 HAS SOUPS 49349 WITH SCORE 49425.312
AT ITER 3095 NEW BEST:: SOT 207197 SOS 76307 HAS SOPS 76307 HAS SOUS 49347 HAS SOUPS 49347 WITH SCORE 49423.307
AT ITER 3101 NEW BEST:: SOT 207197 SOS 76275 HAS SOPS 76275 HAS SOUS 49347 HAS SOUPS 49347 WITH SCORE 49423.275
AT ITER 3130 NEW BEST:: SOT 207203 SOS 76258 HAS SOPS 76258 HAS SOUS 49330 HAS SOUPS 49330 WITH SCORE 49406.258
AT ITER 3133 NEW BEST:: SOT 207129 SOS 76177 HAS SOPS 76177 HAS SOUS 49311 HAS SOUPS 49311 WITH SCORE 49387.177
AT ITER 3154 NEW BEST:: SOT 207001 SOS 76082 HAS SOPS 76082 HAS SOUS 49221 HAS SOUPS 49221 WITH SCORE 49297.082
AT ITER 3168 NEW BEST:: SOT 207001 SOS 76061 HAS SOPS 76061 HAS SOUS 49208 HAS SOUPS 49208 WITH SCORE 49284.061
AT ITER 3200 NEW BEST:: SOT 206993 SOS 76045 HAS SOPS 76045 HAS SOUS 49192 HAS SOUPS 49192 WITH SCORE 49268.045
AT ITER 3204 NEW BEST:: SOT 206829 SOS 75901 HAS SOPS 75901 HAS SOUS 48998 HAS SOUPS 48998 WITH SCORE 49073.901
AT ITER 3225 NEW BEST:: SOT 206844 SOS 75866 HAS SOPS 75866 HAS SOUS 48963 HAS SOUPS 48963 WITH SCORE 49038.866
AT ITER 3228 NEW BEST:: SOT 206822 SOS 75774 HAS SOPS 75774 HAS SOUS 48871 HAS SOUPS 48871 WITH SCORE 48946.774
AT ITER 3231 NEW BEST:: SOT 206822 SOS 75715 HAS SOPS 75715 HAS SOUS 48819 HAS SOUPS 48819 WITH SCORE 48894.715
AT ITER 3233 NEW BEST:: SOT 206808 SOS 75703 HAS SOPS 75703 HAS SOUS 48807 HAS SOUPS 48807 WITH SCORE 48882.703
AT ITER 3235 NEW BEST:: SOT 206807 SOS 75701 HAS SOPS 75701 HAS SOUS 48805 HAS SOUPS 48805 WITH SCORE 48880.701
AT ITER 3245 NEW BEST:: SOT 206820 SOS 75727 HAS SOPS 75727 HAS SOUS 48788 HAS SOUPS 48788 WITH SCORE 48863.727
AT ITER 3248 NEW BEST:: SOT 206801 SOS 75689 HAS SOPS 75689 HAS SOUS 48750 HAS SOUPS 48750 WITH SCORE 48825.689
AT ITER 3260 NEW BEST:: SOT 206772 SOS 75603 HAS SOPS 75603 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48771.603
AT ITER 3270 NEW BEST:: SOT 206791 SOS 75575 HAS SOPS 75575 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48743.575
AT ITER 3279 NEW BEST:: SOT 206799 SOS 75573 HAS SOPS 75573 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48723.573
AT ITER 3286 NEW BEST:: SOT 206792 SOS 75566 HAS SOPS 75566 HAS SOUS 48641 HAS SOUPS 48641 WITH SCORE 48716.566
AT ITER 3336 NEW BEST:: SOT 206801 SOS 75584 HAS SOPS 75584 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48692.584
AT ITER 3339 NEW BEST:: SOT 206781 SOS 75544 HAS SOPS 75544 HAS SOUS 48577 HAS SOUPS 48577 WITH SCORE 48652.544
AT ITER 3356 NEW BEST:: SOT 206789 SOS 75560 HAS SOPS 75560 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48645.56
AT ITER 3374 NEW BEST:: SOT 206789 SOS 75537 HAS SOPS 75537 HAS SOUS 48547 HAS SOUPS 48547 WITH SCORE 48622.537
AT ITER 3378 NEW BEST:: SOT 206759 SOS 75507 HAS SOPS 75507 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48592.507
AT ITER 3382 NEW BEST:: SOT 206742 SOS 75473 HAS SOPS 75473 HAS SOUS 48483 HAS SOUPS 48483 WITH SCORE 48558.473
AT ITER 3399 NEW BEST:: SOT 206716 SOS 75447 HAS SOPS 75447 HAS SOUS 48427 HAS SOUPS 48427 WITH SCORE 48502.447
AT ITER 3444 NEW BEST:: SOT 206609 SOS 75126 HAS SOPS 75126 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48181.126
AT ITER 3446 NEW BEST:: SOT 206323 SOS 74798 HAS SOPS 74798 HAS SOUS 48022 HAS SOUPS 48022 WITH SCORE 48096.798
AT ITER 3450 NEW BEST:: SOT 206386 SOS 74751 HAS SOPS 74751 HAS SOUS 47975 HAS SOUPS 47975 WITH SCORE 48049.751
AT ITER 3481 NEW BEST:: SOT 206392 SOS 74742 HAS SOPS 74742 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48040.742
AT ITER 3526 NEW BEST:: SOT 206425 SOS 74723 HAS SOPS 74723 HAS SOUS 47952 HAS SOUPS 47952 WITH SCORE 48026.723
AT ITER 3538 NEW BEST:: SOT 206346 SOS 74565 HAS SOPS 74565 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47868.565
AT ITER 3556 NEW BEST:: SOT 206367 SOS 74561 HAS SOPS 74561 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47864.561
AT ITER 3557 NEW BEST:: SOT 206331 SOS 74507 HAS SOPS 74507 HAS SOUS 47754 HAS SOUPS 47754 WITH SCORE 47828.507
AT ITER 3566 NEW BEST:: SOT 206254 SOS 74430 HAS SOPS 74430 HAS SOUS 47754 HAS SOUPS 47754 WITH SCORE 47828.43
AT ITER 3594 NEW BEST:: SOT 206294 SOS 74441 HAS SOPS 74441 HAS SOUS 47696 HAS SOUPS 47696 WITH SCORE 47770.441
AT ITER 3596 NEW BEST:: SOT 206293 SOS 74412 HAS SOPS 74412 HAS SOUS 47667 HAS SOUPS 47667 WITH SCORE 47741.412
AT ITER 3646 NEW BEST:: SOT 206229 SOS 74348 HAS SOPS 74348 HAS SOUS 47603 HAS SOUPS 47603 WITH SCORE 47677.348
AT ITER 3695 NEW BEST:: SOT 206206 SOS 74325 HAS SOPS 74325 HAS SOUS 47580 HAS SOUPS 47580 WITH SCORE 47654.325
AT ITER 3704 NEW BEST:: SOT 206258 SOS 74252 HAS SOPS 74252 HAS SOUS 47507 HAS SOUPS 47507 WITH SCORE 47581.252
AT ITER 3707 NEW BEST:: SOT 206233 SOS 74202 HAS SOPS 74202 HAS SOUS 47482 HAS SOUPS 47482 WITH SCORE 47556.202
AT ITER 3719 NEW BEST:: SOT 206231 SOS 74198 HAS SOPS 74198 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47554.198
AT ITER 3739 NEW BEST:: SOT 206287 SOS 74129 HAS SOPS 74129 HAS SOUS 47475 HAS SOUPS 47475 WITH SCORE 47549.129
AT ITER 3745 NEW BEST:: SOT 206289 SOS 74127 HAS SOPS 74127 HAS SOUS 47474 HAS SOUPS 47474 WITH SCORE 47548.127
AT ITER 3764 NEW BEST:: SOT 206314 SOS 74117 HAS SOPS 74117 HAS SOUS 47464 HAS SOUPS 47464 WITH SCORE 47538.117
AT ITER 3767 NEW BEST:: SOT 206475 SOS 74254 HAS SOPS 74254 HAS SOUS 47440 HAS SOUPS 47440 WITH SCORE 47514.254
AT ITER 3771 NEW BEST:: SOT 206444 SOS 74192 HAS SOPS 74192 HAS SOUS 47410 HAS SOUPS 47410 WITH SCORE 47484.192
AT ITER 3773 NEW BEST:: SOT 206443 SOS 74190 HAS SOPS 74190 HAS SOUS 47408 HAS SOUPS 47408 WITH SCORE 47482.19
AT ITER 3781 NEW BEST:: SOT 206401 SOS 74063 HAS SOPS 74063 HAS SOUS 47281 HAS SOUPS 47281 WITH SCORE 47355.063
AT ITER 3794 NEW BEST:: SOT 206398 SOS 74059 HAS SOPS 74059 HAS SOUS 47277 HAS SOUPS 47277 WITH SCORE 47351.059
AT ITER 3796 NEW BEST:: SOT 206402 SOS 74067 HAS SOPS 74067 HAS SOUS 47269 HAS SOUPS 47269 WITH SCORE 47343.067
AT ITER 3803 NEW BEST:: SOT 206352 SOS 73967 HAS SOPS 73967 HAS SOUS 47169 HAS SOUPS 47169 WITH SCORE 47242.967
AT ITER 3805 NEW BEST:: SOT 206319 SOS 73934 HAS SOPS 73934 HAS SOUS 47140 HAS SOUPS 47140 WITH SCORE 47213.934
AT ITER 3836 NEW BEST:: SOT 206301 SOS 73757 HAS SOPS 73757 HAS SOUS 46963 HAS SOUPS 46963 WITH SCORE 47036.757
AT ITER 3860 NEW BEST:: SOT 206275 SOS 73731 HAS SOPS 73731 HAS SOUS 46937 HAS SOUPS 46937 WITH SCORE 47010.731
AT ITER 3891 NEW BEST:: SOT 206277 SOS 73732 HAS SOPS 73732 HAS SOUS 46935 HAS SOUPS 46935 WITH SCORE 47008.732
AT ITER 3897 NEW BEST:: SOT 206270 SOS 73725 HAS SOPS 73725 HAS SOUS 46928 HAS SOUPS 46928 WITH SCORE 47001.725
AT ITER 3911 NEW BEST:: SOT 206270 SOS 73659 HAS SOPS 73659 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 46992.659
AT ITER 3941 NEW BEST:: SOT 206269 SOS 73657 HAS SOPS 73657 HAS SOUS 46917 HAS SOUPS 46917 WITH SCORE 46990.657
AT ITER 3946 NEW BEST:: SOT 206253 SOS 73619 HAS SOPS 73619 HAS SOUS 46879 HAS SOUPS 46879 WITH SCORE 46952.619
AT ITER 3951 NEW BEST:: SOT 206233 SOS 73599 HAS SOPS 73599 HAS SOUS 46879 HAS SOUPS 46879 WITH SCORE 46952.599
AT ITER 3976 NEW BEST:: SOT 206206 SOS 73627 HAS SOPS 73627 HAS SOUS 46862 HAS SOUPS 46862 WITH SCORE 46935.627
AT ITER 3978 NEW BEST:: SOT 206183 SOS 73581 HAS SOPS 73581 HAS SOUS 46839 HAS SOUPS 46839 WITH SCORE 46912.581
AT ITER 3996 NEW BEST:: SOT 206167 SOS 73549 HAS SOPS 73549 HAS SOUS 46807 HAS SOUPS 46807 WITH SCORE 46880.549
AT ITER 4007 NEW BEST:: SOT 206147 SOS 73529 HAS SOPS 73529 HAS SOUS 46787 HAS SOUPS 46787 WITH SCORE 46860.529
AT ITER 4067 NEW BEST:: SOT 206140 SOS 73522 HAS SOPS 73522 HAS SOUS 46780 HAS SOUPS 46780 WITH SCORE 46853.522
AT ITER 4073 NEW BEST:: SOT 206100 SOS 73443 HAS SOPS 73443 HAS SOUS 46701 HAS SOUPS 46701 WITH SCORE 46774.443
AT ITER 4075 NEW BEST:: SOT 206161 SOS 73531 HAS SOPS 73531 HAS SOUS 46572 HAS SOUPS 46572 WITH SCORE 46645.531
AT ITER 4092 NEW BEST:: SOT 206166 SOS 73526 HAS SOPS 73526 HAS SOUS 46567 HAS SOUPS 46567 WITH SCORE 46640.526
AT ITER 4115 NEW BEST:: SOT 206166 SOS 73646 HAS SOPS 73646 HAS SOUS 46560 HAS SOUPS 46560 WITH SCORE 46633.646
AT ITER 4199 NEW BEST:: SOT 206166 SOS 73643 HAS SOPS 73643 HAS SOUS 46557 HAS SOUPS 46557 WITH SCORE 46630.643
AT ITER 4231 NEW BEST:: SOT 206155 SOS 73542 HAS SOPS 73542 HAS SOUS 46456 HAS SOUPS 46456 WITH SCORE 46529.542
AT ITER 4252 NEW BEST:: SOT 206155 SOS 73478 HAS SOPS 73478 HAS SOUS 46456 HAS SOUPS 46456 WITH SCORE 46529.478
AT ITER 4276 NEW BEST:: SOT 206140 SOS 73448 HAS SOPS 73448 HAS SOUS 46426 HAS SOUPS 46426 WITH SCORE 46499.448
AT ITER 4294 NEW BEST:: SOT 206115 SOS 73373 HAS SOPS 73373 HAS SOUS 46351 HAS SOUPS 46351 WITH SCORE 46424.373
AT ITER 4298 NEW BEST:: SOT 206091 SOS 73325 HAS SOPS 73325 HAS SOUS 46233 HAS SOUPS 46233 WITH SCORE 46306.325
AT ITER 4299 NEW BEST:: SOT 206080 SOS 73325 HAS SOPS 73325 HAS SOUS 46222 HAS SOUPS 46222 WITH SCORE 46295.325
AT ITER 4315 NEW BEST:: SOT 206052 SOS 73297 HAS SOPS 73297 HAS SOUS 46194 HAS SOUPS 46194 WITH SCORE 46267.297
AT ITER 4323 NEW BEST:: SOT 206028 SOS 73227 HAS SOPS 73227 HAS SOUS 46124 HAS SOUPS 46124 WITH SCORE 46197.227
AT ITER 4327 NEW BEST:: SOT 206066 SOS 73303 HAS SOPS 73303 HAS SOUS 46120 HAS SOUPS 46120 WITH SCORE 46193.303
AT ITER 4329 NEW BEST:: SOT 205933 SOS 73184 HAS SOPS 73184 HAS SOUS 45941 HAS SOUPS 45941 WITH SCORE 46014.184
AT ITER 4330 NEW BEST:: SOT 205907 SOS 73147 HAS SOPS 73147 HAS SOUS 45904 HAS SOUPS 45904 WITH SCORE 45977.147
AT ITER 4355 NEW BEST:: SOT 205902 SOS 73137 HAS SOPS 73137 HAS SOUS 45894 HAS SOUPS 45894 WITH SCORE 45967.137
AT ITER 4379 NEW BEST:: SOT 205886 SOS 73060 HAS SOPS 73060 HAS SOUS 45817 HAS SOUPS 45817 WITH SCORE 45890.06
AT ITER 4398 NEW BEST:: SOT 205823 SOS 72934 HAS SOPS 72934 HAS SOUS 45691 HAS SOUPS 45691 WITH SCORE 45763.934
AT ITER 4405 NEW BEST:: SOT 205818 SOS 72929 HAS SOPS 72929 HAS SOUS 45686 HAS SOUPS 45686 WITH SCORE 45758.929
AT ITER 4443 NEW BEST:: SOT 205768 SOS 72829 HAS SOPS 72829 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45715.829
AT ITER 4488 NEW BEST:: SOT 205670 SOS 72667 HAS SOPS 72667 HAS SOUS 45481 HAS SOUPS 45481 WITH SCORE 45553.667
AT ITER 4491 NEW BEST:: SOT 205510 SOS 72445 HAS SOPS 72445 HAS SOUS 45259 HAS SOUPS 45259 WITH SCORE 45331.445
AT ITER 4505 NEW BEST:: SOT 205510 SOS 72449 HAS SOPS 72449 HAS SOUS 45246 HAS SOUPS 45246 WITH SCORE 45318.449
AT ITER 4577 NEW BEST:: SOT 205505 SOS 72439 HAS SOPS 72439 HAS SOUS 45232 HAS SOUPS 45232 WITH SCORE 45304.439
AT ITER 4592 NEW BEST:: SOT 205499 SOS 72427 HAS SOPS 72427 HAS SOUS 45220 HAS SOUPS 45220 WITH SCORE 45292.427
AT ITER 4596 NEW BEST:: SOT 205517 SOS 72421 HAS SOPS 72421 HAS SOUS 45214 HAS SOUPS 45214 WITH SCORE 45286.421
AT ITER 4634 NEW BEST:: SOT 205500 SOS 72366 HAS SOPS 72366 HAS SOUS 45178 HAS SOUPS 45178 WITH SCORE 45250.366
AT ITER 4664 NEW BEST:: SOT 205476 SOS 72342 HAS SOPS 72342 HAS SOUS 45178 HAS SOUPS 45178 WITH SCORE 45250.342
AT ITER 4669 NEW BEST:: SOT 205457 SOS 72323 HAS SOPS 72323 HAS SOUS 45178 HAS SOUPS 45178 WITH SCORE 45250.323
AT ITER 4692 NEW BEST:: SOT 205393 SOS 72195 HAS SOPS 72195 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45226.195
AT ITER 4751 NEW BEST:: SOT 205350 SOS 72008 HAS SOPS 72008 HAS SOUS 44972 HAS SOUPS 44972 WITH SCORE 45044.008
AT ITER 4757 NEW BEST:: SOT 205336 SOS 71847 HAS SOPS 71847 HAS SOUS 44848 HAS SOUPS 44848 WITH SCORE 44919.847
AT ITER 4786 NEW BEST:: SOT 205303 SOS 71801 HAS SOPS 71801 HAS SOUS 44823 HAS SOUPS 44823 WITH SCORE 44894.801
AT ITER 4832 NEW BEST:: SOT 205261 SOS 71674 HAS SOPS 71674 HAS SOUS 44738 HAS SOUPS 44738 WITH SCORE 44809.674
AT ITER 4843 NEW BEST:: SOT 205254 SOS 71670 HAS SOPS 71670 HAS SOUS 44734 HAS SOUPS 44734 WITH SCORE 44805.67
AT ITER 4865 NEW BEST:: SOT 205333 SOS 71642 HAS SOPS 71642 HAS SOUS 44706 HAS SOUPS 44706 WITH SCORE 44777.642
AT ITER 4900 NEW BEST:: SOT 205332 SOS 71641 HAS SOPS 71641 HAS SOUS 44705 HAS SOUPS 44705 WITH SCORE 44776.641
AT ITER 4904 NEW BEST:: SOT 205294 SOS 71560 HAS SOPS 71560 HAS SOUS 44654 HAS SOUPS 44654 WITH SCORE 44725.56
AT ITER 4906 NEW BEST:: SOT 205294 SOS 71520 HAS SOPS 71520 HAS SOUS 44574 HAS SOUPS 44574 WITH SCORE 44645.52
AT ITER 4934 NEW BEST:: SOT 205294 SOS 71520 HAS SOPS 71520 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44628.52
AT ITER 4951 NEW BEST:: SOT 205247 SOS 71476 HAS SOPS 71476 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44628.476
AT ITER 4954 NEW BEST:: SOT 205227 SOS 71436 HAS SOPS 71436 HAS SOUS 44517 HAS SOUPS 44517 WITH SCORE 44588.436
AT ITER 4962 NEW BEST:: SOT 205255 SOS 71417 HAS SOPS 71417 HAS SOUS 44511 HAS SOUPS 44511 WITH SCORE 44582.417
AT ITER 4996 NEW BEST:: SOT 205251 SOS 71409 HAS SOPS 71409 HAS SOUS 44503 HAS SOUPS 44503 WITH SCORE 44574.409
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-00 (AU( (! potential( (tk(P234)) <= (tk(P161)) )),(AG( potential( (tk(P193)) <= (tk(P110)) ))) ))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-01 (EG( ( (AG( potential( (tk(P590)) <= (tk(P127)) ))) | ( ( potential( (tk(P223)) <= (tk(P44)) ) & potential( ( 3 ) <= (tk(P367)) ) ) | potential( ( 1 ) <= (tk(P618)) ) ) )))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-02 ( (! potential( ( 3 ) <= (tk(P202)) )) & (EG( (EF(potential( ( 1 ) <= (tk(P537)) ))))) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-03 ( (EU( potential( (tk(P138)) <= (tk(P123)) ),( potential( ( 3 ) <= (tk(P319)) ) & potential( (tk(P321)) <= (tk(P467)) ) ) )) | (! (EX( (! potential( ( 3 ) <= (tk(P325)) ))))) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-04 ( ( (EF(( potential( ( 2 ) <= (tk(P278)) ) | potential( ( 3 ) <= (tk(P400)) ) ))) | (! potential( (tk(P97)) <= (tk(P89)) )) ) | ( ( ( ( potential( ( 3 ) <= (tk(P416)) ) & potential( (tk(P468)) <= (tk(P348)) ) ) | ( potential( (tk(P501)) <= (tk(P372)) ) | potential( (tk(P98)) <= (tk(P334)) ) ) ) & ( ( potential( ( 1 ) <= (tk(P630)) ) | potential( ( 2 ) <= (tk(P206)) ) ) & ( potential( ( 1 ) <= (tk(P84)) ) & potential( (tk(P144)) <= (tk(P335)) ) ) ) ) | ( ( ( potential( (tk(P141)) <= (tk(P251)) ) & potential( (tk(P424)) <= (tk(P381)) ) ) | ( potential( ( 3 ) <= (tk(P272)) ) & potential( (tk(P603)) <= (tk(P454)) ) ) ) & ( potential( ( 1 ) <= (tk(P645)) ) | ( potential( ( 1 ) <= (tk(P186)) ) & potential( (tk(P28)) <= (tk(P535)) ) ) ) ) ) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-05 ( (EF(( ( potential( ( 1 ) <= (tk(P592)) ) | potential( ( 2 ) <= (tk(P595)) ) ) & ( potential( (tk(P272)) <= (tk(P437)) ) | potential( (tk(P196)) <= (tk(P338)) ) ) ))) | (! (EF(( potential( (tk(P567)) <= (tk(P226)) ) & potential( ( 3 ) <= (tk(P81)) ) )))) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-06 (EF(potential( ( 2 ) <= (tk(P446)) )))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-07 (AG( (EF(( potential( ( 1 ) <= (tk(P132)) ) | potential( ( 2 ) <= (tk(P80)) ) )))))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-08 (EG( (EU( potential( (tk(P312)) <= (tk(P366)) ),potential( ( 1 ) <= (tk(P418)) ) ))))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-09 ( ( (! ( (! potential( (tk(P420)) <= (tk(P21)) )) & ( potential( ( 3 ) <= (tk(P569)) ) | potential( ( 3 ) <= (tk(P459)) ) ) )) & (EU( potential( (tk(P537)) <= (tk(P622)) ),potential( ( 2 ) <= (tk(P187)) ) )) ) & (AG( (AG( potential( (tk(P170)) <= (tk(P182)) ))))) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-10 (EF((! (EX( potential( (tk(P87)) <= (tk(P90)) ))))))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-11 (AG( (EF((! potential( ( 1 ) <= (tk(P294)) ))))))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-12 (EU( (! ( potential( (tk(P512)) <= (tk(P486)) ) & potential( (tk(P417)) <= (tk(P229)) ) )),(AG( potential( (tk(P527)) <= (tk(P580)) ))) ))
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-13 ( ( (EG( ( potential( (tk(P147)) <= (tk(P41)) ) | potential( (tk(P483)) <= (tk(P521)) ) ))) & ( (! potential( (tk(P194)) <= (tk(P408)) )) | (AG( potential( (tk(P104)) <= (tk(P317)) ))) ) ) | ( ( (AX( potential( ( 2 ) <= (tk(P225)) ))) & ( potential( (tk(P439)) <= (tk(P134)) ) | ( potential( ( 1 ) <= (tk(P45)) ) & potential( (tk(P333)) <= (tk(P289)) ) ) ) ) & potential( (tk(P589)) <= (tk(P9)) ) ) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-14 ( (AX( (! (! potential( (tk(P471)) <= (tk(P605)) ))))) & (AG( (! potential( ( 3 ) <= (tk(P448)) )))) )
PROPERTY: BusinessProcesses-PT-17-CTLCardinality-15 (AX( (EU( potential( (tk(P119)) <= (tk(P364)) ),potential( ( 2 ) <= (tk(P202)) ) ))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="BusinessProcesses-PT-17"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-17, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680200579"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-17.tgz
mv BusinessProcesses-PT-17 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;