About the Execution of smart for DLCround-PT-05a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.710 | 3600000.00 | 3600050.00 | 10.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542200484.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-05a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200484
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.3K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 259K 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 DLCround-PT-05a-CTLFireability-00
FORMULA_NAME DLCround-PT-05a-CTLFireability-01
FORMULA_NAME DLCround-PT-05a-CTLFireability-02
FORMULA_NAME DLCround-PT-05a-CTLFireability-03
FORMULA_NAME DLCround-PT-05a-CTLFireability-04
FORMULA_NAME DLCround-PT-05a-CTLFireability-05
FORMULA_NAME DLCround-PT-05a-CTLFireability-06
FORMULA_NAME DLCround-PT-05a-CTLFireability-07
FORMULA_NAME DLCround-PT-05a-CTLFireability-08
FORMULA_NAME DLCround-PT-05a-CTLFireability-09
FORMULA_NAME DLCround-PT-05a-CTLFireability-10
FORMULA_NAME DLCround-PT-05a-CTLFireability-11
FORMULA_NAME DLCround-PT-05a-CTLFireability-12
FORMULA_NAME DLCround-PT-05a-CTLFireability-13
FORMULA_NAME DLCround-PT-05a-CTLFireability-14
FORMULA_NAME DLCround-PT-05a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589123575393
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05a
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: 167 places, 1055 transitions, 3985 arcs.
AT ITER 0 NEW BEST:: SOT 117369 SOS 92878 HAS SOPS 56439 HAS SOUS 16646 HAS SOUPS 11230 WITH SCORE 11322.878
AT ITER 8 NEW BEST:: SOT 117211 SOS 93458 HAS SOPS 56647 HAS SOUS 16533 HAS SOUPS 11117 WITH SCORE 11210.458
AT ITER 11 NEW BEST:: SOT 117098 SOS 92571 HAS SOPS 56482 HAS SOUS 16734 HAS SOUPS 11101 WITH SCORE 11193.571
AT ITER 19 NEW BEST:: SOT 116968 SOS 93197 HAS SOPS 56788 HAS SOUS 16681 HAS SOUPS 11048 WITH SCORE 11141.197
AT ITER 23 NEW BEST:: SOT 116978 SOS 93147 HAS SOPS 56778 HAS SOUS 16651 HAS SOUPS 11028 WITH SCORE 11121.147
AT ITER 27 NEW BEST:: SOT 117418 SOS 93699 HAS SOPS 57330 HAS SOUS 16075 HAS SOUPS 10452 WITH SCORE 10545.699
AT ITER 30 NEW BEST:: SOT 117408 SOS 93609 HAS SOPS 57300 HAS SOUS 16035 HAS SOUPS 10422 WITH SCORE 10515.609
AT ITER 55 NEW BEST:: SOT 117303 SOS 93525 HAS SOPS 57111 HAS SOUS 15865 HAS SOUPS 10229 WITH SCORE 10322.525
AT ITER 59 NEW BEST:: SOT 117186 SOS 92534 HAS SOPS 56892 HAS SOUS 16108 HAS SOUPS 10158 WITH SCORE 10250.534
AT ITER 73 NEW BEST:: SOT 117236 SOS 92587 HAS SOPS 56945 HAS SOUS 16047 HAS SOUPS 10097 WITH SCORE 10189.587
AT ITER 79 NEW BEST:: SOT 117229 SOS 93311 HAS SOPS 57327 HAS SOUS 16040 HAS SOUPS 10090 WITH SCORE 10183.311
AT ITER 89 NEW BEST:: SOT 116814 SOS 91815 HAS SOPS 56215 HAS SOUS 15995 HAS SOUPS 9864 WITH SCORE 9955.815
AT ITER 104 NEW BEST:: SOT 117031 SOS 91987 HAS SOPS 56127 HAS SOUS 16223 HAS SOUPS 9832 WITH SCORE 9923.987
AT ITER 106 NEW BEST:: SOT 117010 SOS 93602 HAS SOPS 57100 HAS SOUS 16178 HAS SOUPS 9787 WITH SCORE 9880.602
AT ITER 117 NEW BEST:: SOT 116940 SOS 94944 HAS SOPS 57929 HAS SOUS 16149 HAS SOUPS 9758 WITH SCORE 9852.944
AT ITER 126 NEW BEST:: SOT 117036 SOS 95016 HAS SOPS 58001 HAS SOUS 16139 HAS SOUPS 9748 WITH SCORE 9843.016
AT ITER 128 NEW BEST:: SOT 117040 SOS 95064 HAS SOPS 57791 HAS SOUS 15900 HAS SOUPS 9436 WITH SCORE 9531.064
AT ITER 148 NEW BEST:: SOT 117103 SOS 95096 HAS SOPS 57885 HAS SOUS 15842 HAS SOUPS 9400 WITH SCORE 9495.096
AT ITER 155 NEW BEST:: SOT 116582 SOS 94575 HAS SOPS 57629 HAS SOUS 15796 HAS SOUPS 9354 WITH SCORE 9448.575
AT ITER 167 NEW BEST:: SOT 116562 SOS 94535 HAS SOPS 57589 HAS SOUS 15775 HAS SOUPS 9333 WITH SCORE 9427.535
AT ITER 176 NEW BEST:: SOT 116553 SOS 94525 HAS SOPS 57579 HAS SOUS 15775 HAS SOUPS 9333 WITH SCORE 9427.525
AT ITER 180 NEW BEST:: SOT 116597 SOS 94613 HAS SOPS 57493 HAS SOUS 15695 HAS SOUPS 9122 WITH SCORE 9216.613
AT ITER 189 NEW BEST:: SOT 116556 SOS 92236 HAS SOPS 55236 HAS SOUS 15635 HAS SOUPS 9062 WITH SCORE 9154.236
AT ITER 192 NEW BEST:: SOT 116565 SOS 92209 HAS SOPS 55236 HAS SOUS 15635 HAS SOUPS 9062 WITH SCORE 9154.209
AT ITER 193 NEW BEST:: SOT 116837 SOS 92549 HAS SOPS 55372 HAS SOUS 15550 HAS SOUPS 8977 WITH SCORE 9069.549
AT ITER 194 NEW BEST:: SOT 116759 SOS 92477 HAS SOPS 55324 HAS SOUS 15436 HAS SOUPS 8917 WITH SCORE 9009.477
AT ITER 195 NEW BEST:: SOT 116756 SOS 92453 HAS SOPS 55318 HAS SOUS 15427 HAS SOUPS 8911 WITH SCORE 9003.453
AT ITER 201 NEW BEST:: SOT 116972 SOS 92649 HAS SOPS 55554 HAS SOUS 15311 HAS SOUPS 8853 WITH SCORE 8945.649
AT ITER 209 NEW BEST:: SOT 116899 SOS 91722 HAS SOPS 55112 HAS SOUS 15255 HAS SOUPS 8846 WITH SCORE 8937.722
AT ITER 210 NEW BEST:: SOT 116819 SOS 91652 HAS SOPS 55072 HAS SOUS 15265 HAS SOUPS 8846 WITH SCORE 8937.652
AT ITER 225 NEW BEST:: SOT 116811 SOS 90982 HAS SOPS 54609 HAS SOUS 15203 HAS SOUPS 8784 WITH SCORE 8874.982
AT ITER 236 NEW BEST:: SOT 116895 SOS 90646 HAS SOPS 54759 HAS SOUS 15115 HAS SOUPS 8750 WITH SCORE 8840.646
AT ITER 240 NEW BEST:: SOT 116895 SOS 90646 HAS SOPS 54759 HAS SOUS 15112 HAS SOUPS 8748 WITH SCORE 8838.646
AT ITER 250 NEW BEST:: SOT 116898 SOS 90584 HAS SOPS 54895 HAS SOUS 15079 HAS SOUPS 8737 WITH SCORE 8827.584
AT ITER 255 NEW BEST:: SOT 116874 SOS 89500 HAS SOPS 53811 HAS SOUS 15075 HAS SOUPS 8733 WITH SCORE 8822.5
AT ITER 257 NEW BEST:: SOT 116866 SOS 87556 HAS SOPS 52227 HAS SOUS 15019 HAS SOUPS 8717 WITH SCORE 8804.556
AT ITER 258 NEW BEST:: SOT 116866 SOS 87444 HAS SOPS 52115 HAS SOUS 15019 HAS SOUPS 8717 WITH SCORE 8804.444
AT ITER 260 NEW BEST:: SOT 116904 SOS 87494 HAS SOPS 51881 HAS SOUS 14497 HAS SOUPS 8226 WITH SCORE 8313.494
AT ITER 264 NEW BEST:: SOT 116916 SOS 87522 HAS SOPS 51881 HAS SOUS 14481 HAS SOUPS 8210 WITH SCORE 8297.522
AT ITER 272 NEW BEST:: SOT 116915 SOS 87520 HAS SOPS 51879 HAS SOUS 14480 HAS SOUPS 8209 WITH SCORE 8296.52
AT ITER 273 NEW BEST:: SOT 116914 SOS 87421 HAS SOPS 51846 HAS SOUS 14472 HAS SOUPS 8201 WITH SCORE 8288.421
AT ITER 285 NEW BEST:: SOT 116829 SOS 86719 HAS SOPS 51588 HAS SOUS 14374 HAS SOUPS 8153 WITH SCORE 8239.719
AT ITER 289 NEW BEST:: SOT 116900 SOS 85920 HAS SOPS 51194 HAS SOUS 14287 HAS SOUPS 8115 WITH SCORE 8200.92
AT ITER 298 NEW BEST:: SOT 116913 SOS 85893 HAS SOPS 51181 HAS SOUS 14214 HAS SOUPS 8064 WITH SCORE 8149.893
AT ITER 311 NEW BEST:: SOT 116877 SOS 85848 HAS SOPS 51154 HAS SOUS 14196 HAS SOUPS 8055 WITH SCORE 8140.848
AT ITER 315 NEW BEST:: SOT 116893 SOS 85112 HAS SOPS 50706 HAS SOUS 14188 HAS SOUPS 8047 WITH SCORE 8132.112
AT ITER 316 NEW BEST:: SOT 116882 SOS 85112 HAS SOPS 50684 HAS SOUS 14177 HAS SOUPS 8036 WITH SCORE 8121.112
AT ITER 318 NEW BEST:: SOT 116852 SOS 85082 HAS SOPS 50654 HAS SOUS 14177 HAS SOUPS 8036 WITH SCORE 8121.082
AT ITER 321 NEW BEST:: SOT 116951 SOS 85166 HAS SOPS 50708 HAS SOUS 14163 HAS SOUPS 8029 WITH SCORE 8114.166
AT ITER 323 NEW BEST:: SOT 116930 SOS 85124 HAS SOPS 50708 HAS SOUS 14142 HAS SOUPS 8029 WITH SCORE 8114.124
AT ITER 331 NEW BEST:: SOT 116866 SOS 85064 HAS SOPS 50676 HAS SOUS 14140 HAS SOUPS 8024 WITH SCORE 8109.064
AT ITER 345 NEW BEST:: SOT 116640 SOS 84838 HAS SOPS 50576 HAS SOUS 14136 HAS SOUPS 8020 WITH SCORE 8104.838
AT ITER 354 NEW BEST:: SOT 116631 SOS 84271 HAS SOPS 50090 HAS SOUS 14118 HAS SOUPS 8011 WITH SCORE 8095.271
AT ITER 361 NEW BEST:: SOT 116627 SOS 84243 HAS SOPS 50044 HAS SOUS 14118 HAS SOUPS 8009 WITH SCORE 8093.243
AT ITER 365 NEW BEST:: SOT 116657 SOS 84014 HAS SOPS 50076 HAS SOUS 14079 HAS SOUPS 7999 WITH SCORE 8083.014
AT ITER 378 NEW BEST:: SOT 116720 SOS 84053 HAS SOPS 50163 HAS SOUS 14046 HAS SOUPS 7990 WITH SCORE 8074.053
AT ITER 383 NEW BEST:: SOT 116751 SOS 84237 HAS SOPS 50161 HAS SOUS 14038 HAS SOUPS 7951 WITH SCORE 8035.237
AT ITER 385 NEW BEST:: SOT 116762 SOS 83800 HAS SOPS 49805 HAS SOUS 14015 HAS SOUPS 7937 WITH SCORE 8020.8
AT ITER 386 NEW BEST:: SOT 116736 SOS 83776 HAS SOPS 49789 HAS SOUS 13980 HAS SOUPS 7919 WITH SCORE 8002.776
AT ITER 401 NEW BEST:: SOT 116736 SOS 83776 HAS SOPS 49789 HAS SOUS 13971 HAS SOUPS 7911 WITH SCORE 7994.776
AT ITER 405 NEW BEST:: SOT 116866 SOS 83827 HAS SOPS 49998 HAS SOUS 13817 HAS SOUPS 7830 WITH SCORE 7913.827
AT ITER 410 NEW BEST:: SOT 116630 SOS 83355 HAS SOPS 49823 HAS SOUS 13831 HAS SOUPS 7830 WITH SCORE 7913.355
AT ITER 420 NEW BEST:: SOT 116571 SOS 82589 HAS SOPS 49057 HAS SOUS 13787 HAS SOUPS 7786 WITH SCORE 7868.589
AT ITER 425 NEW BEST:: SOT 116571 SOS 82463 HAS SOPS 48937 HAS SOUS 13787 HAS SOUPS 7786 WITH SCORE 7868.463
AT ITER 426 NEW BEST:: SOT 116547 SOS 82439 HAS SOPS 48913 HAS SOUS 13779 HAS SOUPS 7778 WITH SCORE 7860.439
AT ITER 447 NEW BEST:: SOT 116538 SOS 82423 HAS SOPS 48911 HAS SOUS 13770 HAS SOUPS 7776 WITH SCORE 7858.423
AT ITER 479 NEW BEST:: SOT 116535 SOS 82420 HAS SOPS 48908 HAS SOUS 13767 HAS SOUPS 7773 WITH SCORE 7855.42
AT ITER 497 NEW BEST:: SOT 116517 SOS 82402 HAS SOPS 48890 HAS SOUS 13767 HAS SOUPS 7773 WITH SCORE 7855.402
AT ITER 511 NEW BEST:: SOT 116710 SOS 82574 HAS SOPS 48978 HAS SOUS 13741 HAS SOUPS 7768 WITH SCORE 7850.574
AT ITER 526 NEW BEST:: SOT 116755 SOS 82614 HAS SOPS 48998 HAS SOUS 13726 HAS SOUPS 7758 WITH SCORE 7840.614
AT ITER 528 NEW BEST:: SOT 116742 SOS 82548 HAS SOPS 48976 HAS SOUS 13651 HAS SOUPS 7736 WITH SCORE 7818.548
AT ITER 568 NEW BEST:: SOT 116712 SOS 80748 HAS SOPS 47176 HAS SOUS 13651 HAS SOUPS 7736 WITH SCORE 7816.748
AT ITER 593 NEW BEST:: SOT 116747 SOS 79846 HAS SOPS 46472 HAS SOUS 13616 HAS SOUPS 7723 WITH SCORE 7802.846
AT ITER 596 NEW BEST:: SOT 116711 SOS 79627 HAS SOPS 46352 HAS SOUS 13593 HAS SOUPS 7711 WITH SCORE 7790.627
AT ITER 616 NEW BEST:: SOT 116513 SOS 79429 HAS SOPS 46154 HAS SOUS 13593 HAS SOUPS 7711 WITH SCORE 7790.429
AT ITER 643 NEW BEST:: SOT 116513 SOS 79429 HAS SOPS 46154 HAS SOUS 13591 HAS SOUPS 7709 WITH SCORE 7788.429
AT ITER 645 NEW BEST:: SOT 116513 SOS 79429 HAS SOPS 46154 HAS SOUS 13585 HAS SOUPS 7705 WITH SCORE 7784.429
AT ITER 648 NEW BEST:: SOT 116509 SOS 79415 HAS SOPS 46149 HAS SOUS 13583 HAS SOUPS 7704 WITH SCORE 7783.415
AT ITER 660 NEW BEST:: SOT 116509 SOS 79412 HAS SOPS 46134 HAS SOUS 13571 HAS SOUPS 7692 WITH SCORE 7771.412
AT ITER 668 NEW BEST:: SOT 116162 SOS 78986 HAS SOPS 45986 HAS SOUS 13569 HAS SOUPS 7684 WITH SCORE 7762.986
AT ITER 672 NEW BEST:: SOT 116148 SOS 78972 HAS SOPS 45972 HAS SOUS 13555 HAS SOUPS 7670 WITH SCORE 7748.972
AT ITER 679 NEW BEST:: SOT 115906 SOS 78502 HAS SOPS 45808 HAS SOUS 13541 HAS SOUPS 7656 WITH SCORE 7734.502
AT ITER 688 NEW BEST:: SOT 115897 SOS 78476 HAS SOPS 45782 HAS SOUS 13502 HAS SOUPS 7617 WITH SCORE 7695.476
AT ITER 690 NEW BEST:: SOT 115978 SOS 78418 HAS SOPS 45822 HAS SOUS 13482 HAS SOUPS 7617 WITH SCORE 7695.418
AT ITER 713 NEW BEST:: SOT 115978 SOS 78388 HAS SOPS 45882 HAS SOUS 13452 HAS SOUPS 7597 WITH SCORE 7675.388
AT ITER 725 NEW BEST:: SOT 115978 SOS 78360 HAS SOPS 45874 HAS SOUS 13448 HAS SOUPS 7589 WITH SCORE 7667.36
AT ITER 735 NEW BEST:: SOT 115978 SOS 78360 HAS SOPS 45874 HAS SOUS 13442 HAS SOUPS 7585 WITH SCORE 7663.36
AT ITER 739 NEW BEST:: SOT 115985 SOS 78365 HAS SOPS 45877 HAS SOUS 13439 HAS SOUPS 7583 WITH SCORE 7661.365
AT ITER 740 NEW BEST:: SOT 115958 SOS 78302 HAS SOPS 45787 HAS SOUS 13430 HAS SOUPS 7565 WITH SCORE 7643.302
AT ITER 746 NEW BEST:: SOT 115918 SOS 78262 HAS SOPS 45756 HAS SOUS 13448 HAS SOUPS 7559 WITH SCORE 7637.262
AT ITER 760 NEW BEST:: SOT 115804 SOS 77960 HAS SOPS 45676 HAS SOUS 13392 HAS SOUPS 7540 WITH SCORE 7617.96
AT ITER 787 NEW BEST:: SOT 115987 SOS 78138 HAS SOPS 45837 HAS SOUS 13386 HAS SOUPS 7539 WITH SCORE 7617.138
AT ITER 789 NEW BEST:: SOT 115909 SOS 78060 HAS SOPS 45787 HAS SOUS 13387 HAS SOUPS 7533 WITH SCORE 7611.06
AT ITER 797 NEW BEST:: SOT 115896 SOS 78047 HAS SOPS 45787 HAS SOUS 13387 HAS SOUPS 7533 WITH SCORE 7611.047
AT ITER 826 NEW BEST:: SOT 115913 SOS 77808 HAS SOPS 45899 HAS SOUS 13344 HAS SOUPS 7529 WITH SCORE 7606.808
AT ITER 828 NEW BEST:: SOT 115936 SOS 77689 HAS SOPS 45879 HAS SOUS 13316 HAS SOUPS 7501 WITH SCORE 7578.689
AT ITER 839 NEW BEST:: SOT 115907 SOS 77341 HAS SOPS 45792 HAS SOUS 13285 HAS SOUPS 7499 WITH SCORE 7576.341
AT ITER 848 NEW BEST:: SOT 115340 SOS 75815 HAS SOPS 45041 HAS SOUS 13257 HAS SOUPS 7498 WITH SCORE 7573.815
AT ITER 852 NEW BEST:: SOT 115310 SOS 75725 HAS SOPS 45035 HAS SOUS 13251 HAS SOUPS 7498 WITH SCORE 7573.725
AT ITER 878 NEW BEST:: SOT 115373 SOS 75850 HAS SOPS 45067 HAS SOUS 13276 HAS SOUPS 7495 WITH SCORE 7570.85
AT ITER 909 NEW BEST:: SOT 115317 SOS 75738 HAS SOPS 44955 HAS SOUS 13251 HAS SOUPS 7470 WITH SCORE 7545.738
AT ITER 910 NEW BEST:: SOT 115315 SOS 75736 HAS SOPS 44953 HAS SOUS 13247 HAS SOUPS 7466 WITH SCORE 7541.736
AT ITER 912 NEW BEST:: SOT 115321 SOS 75748 HAS SOPS 44965 HAS SOUS 13243 HAS SOUPS 7462 WITH SCORE 7537.748
AT ITER 913 NEW BEST:: SOT 115302 SOS 75691 HAS SOPS 44946 HAS SOUS 13215 HAS SOUPS 7457 WITH SCORE 7532.691
AT ITER 921 NEW BEST:: SOT 115226 SOS 75587 HAS SOPS 44884 HAS SOUS 13195 HAS SOUPS 7451 WITH SCORE 7526.587
AT ITER 926 NEW BEST:: SOT 115225 SOS 75360 HAS SOPS 44669 HAS SOUS 13194 HAS SOUPS 7450 WITH SCORE 7525.36
AT ITER 930 NEW BEST:: SOT 115245 SOS 75373 HAS SOPS 44696 HAS SOUS 13178 HAS SOUPS 7449 WITH SCORE 7524.373
AT ITER 933 NEW BEST:: SOT 115264 SOS 75371 HAS SOPS 44702 HAS SOUS 13178 HAS SOUPS 7449 WITH SCORE 7524.371
AT ITER 935 NEW BEST:: SOT 115257 SOS 75514 HAS SOPS 44790 HAS SOUS 13174 HAS SOUPS 7442 WITH SCORE 7517.514
AT ITER 937 NEW BEST:: SOT 115256 SOS 73977 HAS SOPS 43239 HAS SOUS 13177 HAS SOUPS 7439 WITH SCORE 7512.977
AT ITER 939 NEW BEST:: SOT 115253 SOS 73953 HAS SOPS 43214 HAS SOUS 13175 HAS SOUPS 7437 WITH SCORE 7510.953
AT ITER 942 NEW BEST:: SOT 115153 SOS 73903 HAS SOPS 43089 HAS SOUS 13193 HAS SOUPS 7433 WITH SCORE 7506.903
AT ITER 952 NEW BEST:: SOT 115093 SOS 73843 HAS SOPS 43114 HAS SOUS 13193 HAS SOUPS 7433 WITH SCORE 7506.843
AT ITER 960 NEW BEST:: SOT 115062 SOS 73120 HAS SOPS 42688 HAS SOUS 13130 HAS SOUPS 7408 WITH SCORE 7481.12
AT ITER 967 NEW BEST:: SOT 115058 SOS 73116 HAS SOPS 42684 HAS SOUS 13128 HAS SOUPS 7406 WITH SCORE 7479.116
AT ITER 977 NEW BEST:: SOT 115060 SOS 73094 HAS SOPS 42668 HAS SOUS 13128 HAS SOUPS 7406 WITH SCORE 7479.094
AT ITER 986 NEW BEST:: SOT 115060 SOS 73082 HAS SOPS 42668 HAS SOUS 13116 HAS SOUPS 7406 WITH SCORE 7479.082
AT ITER 990 NEW BEST:: SOT 115066 SOS 72938 HAS SOPS 42596 HAS SOUS 13110 HAS SOUPS 7400 WITH SCORE 7472.938
AT ITER 995 NEW BEST:: SOT 115066 SOS 72948 HAS SOPS 42594 HAS SOUS 13110 HAS SOUPS 7398 WITH SCORE 7470.948
AT ITER 997 NEW BEST:: SOT 115009 SOS 72837 HAS SOPS 42564 HAS SOUS 13053 HAS SOUPS 7380 WITH SCORE 7452.837
AT ITER 1043 NEW BEST:: SOT 115815 SOS 73535 HAS SOPS 42803 HAS SOUS 13051 HAS SOUPS 7379 WITH SCORE 7452.535
AT ITER 1047 NEW BEST:: SOT 115836 SOS 73326 HAS SOPS 42681 HAS SOUS 13043 HAS SOUPS 7371 WITH SCORE 7444.326
AT ITER 1051 NEW BEST:: SOT 115838 SOS 73242 HAS SOPS 42699 HAS SOUS 13018 HAS SOUPS 7357 WITH SCORE 7430.242
AT ITER 1053 NEW BEST:: SOT 115610 SOS 72714 HAS SOPS 42187 HAS SOUS 13035 HAS SOUPS 7343 WITH SCORE 7415.714
AT ITER 1081 NEW BEST:: SOT 115601 SOS 72984 HAS SOPS 42295 HAS SOUS 13039 HAS SOUPS 7338 WITH SCORE 7410.984
AT ITER 1090 NEW BEST:: SOT 115623 SOS 72995 HAS SOPS 42328 HAS SOUS 13023 HAS SOUPS 7331 WITH SCORE 7403.995
AT ITER 1104 NEW BEST:: SOT 115564 SOS 72924 HAS SOPS 42304 HAS SOUS 12999 HAS SOUPS 7313 WITH SCORE 7385.924
AT ITER 1105 NEW BEST:: SOT 115547 SOS 72907 HAS SOPS 42304 HAS SOUS 13012 HAS SOUPS 7313 WITH SCORE 7385.907
AT ITER 1109 NEW BEST:: SOT 115517 SOS 72877 HAS SOPS 42274 HAS SOUS 12991 HAS SOUPS 7304 WITH SCORE 7376.877
AT ITER 1117 NEW BEST:: SOT 115514 SOS 72874 HAS SOPS 42271 HAS SOUS 12988 HAS SOUPS 7301 WITH SCORE 7373.874
AT ITER 1123 NEW BEST:: SOT 115508 SOS 72862 HAS SOPS 42271 HAS SOUS 12955 HAS SOUPS 7286 WITH SCORE 7358.862
AT ITER 1129 NEW BEST:: SOT 115492 SOS 72846 HAS SOPS 42271 HAS SOUS 12955 HAS SOUPS 7286 WITH SCORE 7358.846
AT ITER 1137 NEW BEST:: SOT 115374 SOS 72728 HAS SOPS 42153 HAS SOUS 12954 HAS SOUPS 7286 WITH SCORE 7358.728
AT ITER 1185 NEW BEST:: SOT 115035 SOS 72429 HAS SOPS 41774 HAS SOUS 12845 HAS SOUPS 7186 WITH SCORE 7258.429
AT ITER 1187 NEW BEST:: SOT 115047 SOS 72449 HAS SOPS 41798 HAS SOUS 12809 HAS SOUPS 7178 WITH SCORE 7250.449
AT ITER 1200 NEW BEST:: SOT 114793 SOS 72198 HAS SOPS 41671 HAS SOUS 12807 HAS SOUPS 7173 WITH SCORE 7245.198
AT ITER 1205 NEW BEST:: SOT 114766 SOS 72171 HAS SOPS 41671 HAS SOUS 12820 HAS SOUPS 7169 WITH SCORE 7241.171
AT ITER 1231 NEW BEST:: SOT 114917 SOS 72348 HAS SOPS 41746 HAS SOUS 12801 HAS SOUPS 7150 WITH SCORE 7222.348
AT ITER 1269 NEW BEST:: SOT 114917 SOS 72348 HAS SOPS 41746 HAS SOUS 12782 HAS SOUPS 7140 WITH SCORE 7212.348
AT ITER 1271 NEW BEST:: SOT 114908 SOS 72330 HAS SOPS 41746 HAS SOUS 12782 HAS SOUPS 7140 WITH SCORE 7212.33
AT ITER 1334 NEW BEST:: SOT 114558 SOS 71885 HAS SOPS 41464 HAS SOUS 12743 HAS SOUPS 7100 WITH SCORE 7171.885
AT ITER 1336 NEW BEST:: SOT 114559 SOS 71734 HAS SOPS 41322 HAS SOUS 12742 HAS SOUPS 7099 WITH SCORE 7170.734
AT ITER 1339 NEW BEST:: SOT 114481 SOS 71656 HAS SOPS 41379 HAS SOUS 12742 HAS SOUPS 7099 WITH SCORE 7170.656
AT ITER 1343 NEW BEST:: SOT 114475 SOS 71659 HAS SOPS 41400 HAS SOUS 12733 HAS SOUPS 7093 WITH SCORE 7164.659
AT ITER 1369 NEW BEST:: SOT 114475 SOS 71659 HAS SOPS 41400 HAS SOUS 12736 HAS SOUPS 7087 WITH SCORE 7158.659
AT ITER 1376 NEW BEST:: SOT 114480 SOS 71600 HAS SOPS 41341 HAS SOUS 12731 HAS SOUPS 7082 WITH SCORE 7153.6
AT ITER 1378 NEW BEST:: SOT 114475 SOS 71578 HAS SOPS 41283 HAS SOUS 12733 HAS SOUPS 7078 WITH SCORE 7149.578
AT ITER 1392 NEW BEST:: SOT 114750 SOS 72141 HAS SOPS 41490 HAS SOUS 12695 HAS SOUPS 7053 WITH SCORE 7125.141
AT ITER 1396 NEW BEST:: SOT 114768 SOS 72183 HAS SOPS 41490 HAS SOUS 12677 HAS SOUPS 7041 WITH SCORE 7113.183
AT ITER 1399 NEW BEST:: SOT 114759 SOS 72169 HAS SOPS 41483 HAS SOUS 12672 HAS SOUPS 7039 WITH SCORE 7111.169
AT ITER 1413 NEW BEST:: SOT 114760 SOS 72106 HAS SOPS 41435 HAS SOUS 12668 HAS SOUPS 7035 WITH SCORE 7107.106
AT ITER 1448 NEW BEST:: SOT 114772 SOS 71930 HAS SOPS 41355 HAS SOUS 12645 HAS SOUPS 7020 WITH SCORE 7091.93
AT ITER 1449 NEW BEST:: SOT 114764 SOS 71864 HAS SOPS 41244 HAS SOUS 12646 HAS SOUPS 7016 WITH SCORE 7087.864
AT ITER 1456 NEW BEST:: SOT 114764 SOS 71314 HAS SOPS 41189 HAS SOUS 12531 HAS SOUPS 6956 WITH SCORE 7027.314
AT ITER 1475 NEW BEST:: SOT 114764 SOS 71314 HAS SOPS 41189 HAS SOUS 12516 HAS SOUPS 6946 WITH SCORE 7017.314
AT ITER 1497 NEW BEST:: SOT 114749 SOS 71292 HAS SOPS 41173 HAS SOUS 12488 HAS SOUPS 6937 WITH SCORE 7008.292
AT ITER 1498 NEW BEST:: SOT 114741 SOS 71324 HAS SOPS 41169 HAS SOUS 12486 HAS SOUPS 6933 WITH SCORE 7004.324
AT ITER 1520 NEW BEST:: SOT 114715 SOS 71232 HAS SOPS 40997 HAS SOUS 12494 HAS SOUPS 6931 WITH SCORE 7002.232
AT ITER 1526 NEW BEST:: SOT 114727 SOS 71392 HAS SOPS 40987 HAS SOUS 12486 HAS SOUPS 6917 WITH SCORE 6988.392
AT ITER 1539 NEW BEST:: SOT 114714 SOS 71383 HAS SOPS 40978 HAS SOUS 12457 HAS SOUPS 6894 WITH SCORE 6965.383
AT ITER 1543 NEW BEST:: SOT 114720 SOS 71389 HAS SOPS 40984 HAS SOUS 12447 HAS SOUPS 6892 WITH SCORE 6963.389
AT ITER 1551 NEW BEST:: SOT 114720 SOS 71389 HAS SOPS 40984 HAS SOUS 12434 HAS SOUPS 6886 WITH SCORE 6957.389
AT ITER 1564 NEW BEST:: SOT 114304 SOS 68525 HAS SOPS 38646 HAS SOUS 12382 HAS SOUPS 6857 WITH SCORE 6925.525
AT ITER 1580 NEW BEST:: SOT 114304 SOS 68476 HAS SOPS 38595 HAS SOUS 12382 HAS SOUPS 6857 WITH SCORE 6925.476
AT ITER 1590 NEW BEST:: SOT 114307 SOS 68456 HAS SOPS 38588 HAS SOUS 12381 HAS SOUPS 6857 WITH SCORE 6925.456
AT ITER 1601 NEW BEST:: SOT 114301 SOS 68439 HAS SOPS 38585 HAS SOUS 12379 HAS SOUPS 6856 WITH SCORE 6924.439
AT ITER 1630 NEW BEST:: SOT 114406 SOS 68652 HAS SOPS 38625 HAS SOUS 12411 HAS SOUPS 6853 WITH SCORE 6921.652
AT ITER 1642 NEW BEST:: SOT 114405 SOS 68651 HAS SOPS 38624 HAS SOUS 12410 HAS SOUPS 6852 WITH SCORE 6920.651
AT ITER 1667 NEW BEST:: SOT 114390 SOS 68693 HAS SOPS 38642 HAS SOUS 12410 HAS SOUPS 6849 WITH SCORE 6917.693
AT ITER 1668 NEW BEST:: SOT 114350 SOS 68523 HAS SOPS 38607 HAS SOUS 12385 HAS SOUPS 6839 WITH SCORE 6907.523
AT ITER 1674 NEW BEST:: SOT 114350 SOS 68523 HAS SOPS 38607 HAS SOUS 12382 HAS SOUPS 6837 WITH SCORE 6905.523
AT ITER 1686 NEW BEST:: SOT 114344 SOS 68514 HAS SOPS 38607 HAS SOUS 12379 HAS SOUPS 6837 WITH SCORE 6905.514
AT ITER 1700 NEW BEST:: SOT 114343 SOS 68512 HAS SOPS 38607 HAS SOUS 12378 HAS SOUPS 6837 WITH SCORE 6905.512
AT ITER 1735 NEW BEST:: SOT 114341 SOS 68515 HAS SOPS 38610 HAS SOUS 12371 HAS SOUPS 6830 WITH SCORE 6898.515
AT ITER 1742 NEW BEST:: SOT 114305 SOS 68479 HAS SOPS 38574 HAS SOUS 12371 HAS SOUPS 6830 WITH SCORE 6898.479
AT ITER 1753 NEW BEST:: SOT 114295 SOS 68469 HAS SOPS 38574 HAS SOUS 12371 HAS SOUPS 6830 WITH SCORE 6898.469
AT ITER 1761 NEW BEST:: SOT 114290 SOS 68464 HAS SOPS 38569 HAS SOUS 12366 HAS SOUPS 6825 WITH SCORE 6893.464
AT ITER 1776 NEW BEST:: SOT 114454 SOS 68979 HAS SOPS 39210 HAS SOUS 12289 HAS SOUPS 6788 WITH SCORE 6856.979
AT ITER 1785 NEW BEST:: SOT 114249 SOS 68572 HAS SOPS 39075 HAS SOUS 12267 HAS SOUPS 6788 WITH SCORE 6856.572
AT ITER 1843 NEW BEST:: SOT 114264 SOS 68122 HAS SOPS 38760 HAS SOUS 12232 HAS SOUPS 6768 WITH SCORE 6836.122
AT ITER 1853 NEW BEST:: SOT 114264 SOS 68122 HAS SOPS 38760 HAS SOUS 12226 HAS SOUPS 6764 WITH SCORE 6832.122
AT ITER 1856 NEW BEST:: SOT 114273 SOS 68121 HAS SOPS 38763 HAS SOUS 12217 HAS SOUPS 6757 WITH SCORE 6825.121
AT ITER 1870 NEW BEST:: SOT 114276 SOS 68091 HAS SOPS 38733 HAS SOUS 12211 HAS SOUPS 6751 WITH SCORE 6819.091
AT ITER 1888 NEW BEST:: SOT 114116 SOS 67931 HAS SOPS 38458 HAS SOUS 12183 HAS SOUPS 6721 WITH SCORE 6788.931
AT ITER 1890 NEW BEST:: SOT 114130 SOS 68012 HAS SOPS 38453 HAS SOUS 12186 HAS SOUPS 6716 WITH SCORE 6784.012
AT ITER 1914 NEW BEST:: SOT 114154 SOS 68036 HAS SOPS 38465 HAS SOUS 12184 HAS SOUPS 6714 WITH SCORE 6782.036
AT ITER 1920 NEW BEST:: SOT 114251 SOS 68132 HAS SOPS 38518 HAS SOUS 12173 HAS SOUPS 6704 WITH SCORE 6772.132
AT ITER 1927 NEW BEST:: SOT 114224 SOS 67937 HAS SOPS 38311 HAS SOUS 12143 HAS SOUPS 6674 WITH SCORE 6741.937
AT ITER 1942 NEW BEST:: SOT 114056 SOS 67769 HAS SOPS 38143 HAS SOUS 12143 HAS SOUPS 6674 WITH SCORE 6741.769
AT ITER 1964 NEW BEST:: SOT 114140 SOS 67931 HAS SOPS 38194 HAS SOUS 12119 HAS SOUPS 6653 WITH SCORE 6720.931
AT ITER 2016 NEW BEST:: SOT 114122 SOS 67733 HAS SOPS 38158 HAS SOUS 12101 HAS SOUPS 6653 WITH SCORE 6720.733
AT ITER 2020 NEW BEST:: SOT 114078 SOS 67623 HAS SOPS 38126 HAS SOUS 12092 HAS SOUPS 6653 WITH SCORE 6720.623
AT ITER 2024 NEW BEST:: SOT 114085 SOS 67616 HAS SOPS 38119 HAS SOUS 12092 HAS SOUPS 6653 WITH SCORE 6720.616
AT ITER 2048 NEW BEST:: SOT 114095 SOS 67636 HAS SOPS 38124 HAS SOUS 12076 HAS SOUPS 6641 WITH SCORE 6708.636
AT ITER 2050 NEW BEST:: SOT 114071 SOS 67594 HAS SOPS 38086 HAS SOUS 12072 HAS SOUPS 6635 WITH SCORE 6702.594
AT ITER 2063 NEW BEST:: SOT 113994 SOS 67457 HAS SOPS 37967 HAS SOUS 12061 HAS SOUPS 6618 WITH SCORE 6685.457
AT ITER 2069 NEW BEST:: SOT 114160 SOS 67639 HAS SOPS 38053 HAS SOUS 12019 HAS SOUPS 6576 WITH SCORE 6643.639
AT ITER 2081 NEW BEST:: SOT 114147 SOS 67618 HAS SOPS 38037 HAS SOUS 12018 HAS SOUPS 6575 WITH SCORE 6642.618
AT ITER 2104 NEW BEST:: SOT 114146 SOS 67619 HAS SOPS 38028 HAS SOUS 12018 HAS SOUPS 6574 WITH SCORE 6641.619
AT ITER 2109 NEW BEST:: SOT 114147 SOS 67620 HAS SOPS 38029 HAS SOUS 12016 HAS SOUPS 6572 WITH SCORE 6639.62
AT ITER 2111 NEW BEST:: SOT 114077 SOS 67564 HAS SOPS 37945 HAS SOUS 11993 HAS SOUPS 6552 WITH SCORE 6619.564
AT ITER 2119 NEW BEST:: SOT 114033 SOS 67448 HAS SOPS 37875 HAS SOUS 11988 HAS SOUPS 6547 WITH SCORE 6614.448
AT ITER 2144 NEW BEST:: SOT 114014 SOS 67429 HAS SOPS 37875 HAS SOUS 11988 HAS SOUPS 6547 WITH SCORE 6614.429
AT ITER 2148 NEW BEST:: SOT 114078 SOS 67557 HAS SOPS 37989 HAS SOUS 11874 HAS SOUPS 6529 WITH SCORE 6596.557
AT ITER 2158 NEW BEST:: SOT 114096 SOS 67417 HAS SOPS 37849 HAS SOUS 11874 HAS SOUPS 6529 WITH SCORE 6596.417
AT ITER 2177 NEW BEST:: SOT 114106 SOS 67367 HAS SOPS 37841 HAS SOUS 11866 HAS SOUPS 6521 WITH SCORE 6588.367
AT ITER 2195 NEW BEST:: SOT 114166 SOS 67427 HAS SOPS 37881 HAS SOUS 11765 HAS SOUPS 6480 WITH SCORE 6547.427
AT ITER 2233 NEW BEST:: SOT 114170 SOS 67435 HAS SOPS 37889 HAS SOUS 11752 HAS SOUPS 6467 WITH SCORE 6534.435
AT ITER 2260 NEW BEST:: SOT 114163 SOS 67421 HAS SOPS 37875 HAS SOUS 11751 HAS SOUPS 6466 WITH SCORE 6533.421
AT ITER 2314 NEW BEST:: SOT 113949 SOS 67081 HAS SOPS 37745 HAS SOUS 11708 HAS SOUPS 6446 WITH SCORE 6513.081
AT ITER 2335 NEW BEST:: SOT 113725 SOS 66664 HAS SOPS 37352 HAS SOUS 11724 HAS SOUPS 6441 WITH SCORE 6507.664
AT ITER 2336 NEW BEST:: SOT 113681 SOS 66580 HAS SOPS 37320 HAS SOUS 11720 HAS SOUPS 6441 WITH SCORE 6507.58
AT ITER 2339 NEW BEST:: SOT 113688 SOS 66570 HAS SOPS 37320 HAS SOUS 11703 HAS SOUPS 6441 WITH SCORE 6507.57
AT ITER 2346 NEW BEST:: SOT 113676 SOS 66536 HAS SOPS 37308 HAS SOUS 11691 HAS SOUPS 6440 WITH SCORE 6506.536
AT ITER 2348 NEW BEST:: SOT 113676 SOS 66536 HAS SOPS 37308 HAS SOUS 11688 HAS SOUPS 6438 WITH SCORE 6504.536
AT ITER 2351 NEW BEST:: SOT 113718 SOS 66580 HAS SOPS 37352 HAS SOUS 11674 HAS SOUPS 6424 WITH SCORE 6490.58
AT ITER 2354 NEW BEST:: SOT 113571 SOS 66433 HAS SOPS 37226 HAS SOUS 11674 HAS SOUPS 6424 WITH SCORE 6490.433
AT ITER 2382 NEW BEST:: SOT 113565 SOS 66420 HAS SOPS 37211 HAS SOUS 11673 HAS SOUPS 6423 WITH SCORE 6489.42
AT ITER 2396 NEW BEST:: SOT 113539 SOS 66632 HAS SOPS 37315 HAS SOUS 11647 HAS SOUPS 6397 WITH SCORE 6463.632
AT ITER 2414 NEW BEST:: SOT 113354 SOS 66264 HAS SOPS 37193 HAS SOUS 11625 HAS SOUPS 6395 WITH SCORE 6461.264
AT ITER 2471 NEW BEST:: SOT 113324 SOS 66194 HAS SOPS 37173 HAS SOUS 11585 HAS SOUPS 6380 WITH SCORE 6446.194
AT ITER 2503 NEW BEST:: SOT 113312 SOS 65914 HAS SOPS 36917 HAS SOUS 11577 HAS SOUPS 6372 WITH SCORE 6437.914
AT ITER 2509 NEW BEST:: SOT 113280 SOS 66060 HAS SOPS 36991 HAS SOUS 11561 HAS SOUPS 6356 WITH SCORE 6422.06
AT ITER 2545 NEW BEST:: SOT 113193 SOS 65988 HAS SOPS 36889 HAS SOUS 11576 HAS SOUPS 6356 WITH SCORE 6421.988
AT ITER 2547 NEW BEST:: SOT 113178 SOS 65958 HAS SOPS 36889 HAS SOUS 11561 HAS SOUPS 6356 WITH SCORE 6421.958
AT ITER 2555 NEW BEST:: SOT 113175 SOS 65925 HAS SOPS 36883 HAS SOUS 11558 HAS SOUPS 6356 WITH SCORE 6421.925
AT ITER 2559 NEW BEST:: SOT 113282 SOS 66031 HAS SOPS 36952 HAS SOUS 11527 HAS SOUPS 6338 WITH SCORE 6404.031
AT ITER 2576 NEW BEST:: SOT 113286 SOS 66033 HAS SOPS 36954 HAS SOUS 11517 HAS SOUPS 6330 WITH SCORE 6396.033
AT ITER 2600 NEW BEST:: SOT 113283 SOS 66030 HAS SOPS 36951 HAS SOUS 11516 HAS SOUPS 6329 WITH SCORE 6395.03
AT ITER 2624 NEW BEST:: SOT 113219 SOS 66102 HAS SOPS 36904 HAS SOUS 11534 HAS SOUPS 6328 WITH SCORE 6394.102
AT ITER 2628 NEW BEST:: SOT 113227 SOS 66118 HAS SOPS 36908 HAS SOUS 11531 HAS SOUPS 6324 WITH SCORE 6390.118
AT ITER 2672 NEW BEST:: SOT 113191 SOS 66020 HAS SOPS 36888 HAS SOUS 11518 HAS SOUPS 6324 WITH SCORE 6390.02
AT ITER 2691 NEW BEST:: SOT 113226 SOS 66055 HAS SOPS 36923 HAS SOUS 11448 HAS SOUPS 6254 WITH SCORE 6320.055
AT ITER 2707 NEW BEST:: SOT 113184 SOS 66013 HAS SOPS 36922 HAS SOUS 11447 HAS SOUPS 6253 WITH SCORE 6319.013
AT ITER 2722 NEW BEST:: SOT 113161 SOS 65943 HAS SOPS 36828 HAS SOUS 11445 HAS SOUPS 6243 WITH SCORE 6308.943
AT ITER 2733 NEW BEST:: SOT 113146 SOS 64176 HAS SOPS 35226 HAS SOUS 11445 HAS SOUPS 6243 WITH SCORE 6307.176
AT ITER 2748 NEW BEST:: SOT 113150 SOS 64212 HAS SOPS 35178 HAS SOUS 11451 HAS SOUPS 6235 WITH SCORE 6299.212
AT ITER 2778 NEW BEST:: SOT 113117 SOS 63398 HAS SOPS 34463 HAS SOUS 11429 HAS SOUPS 6224 WITH SCORE 6287.398
AT ITER 2812 NEW BEST:: SOT 113129 SOS 63427 HAS SOPS 34426 HAS SOUS 11438 HAS SOUPS 6222 WITH SCORE 6285.427
AT ITER 2814 NEW BEST:: SOT 113008 SOS 63299 HAS SOPS 34368 HAS SOUS 11424 HAS SOUPS 6208 WITH SCORE 6271.299
AT ITER 2831 NEW BEST:: SOT 113006 SOS 63299 HAS SOPS 34350 HAS SOUS 11422 HAS SOUPS 6204 WITH SCORE 6267.299
AT ITER 2910 NEW BEST:: SOT 113000 SOS 63161 HAS SOPS 34222 HAS SOUS 11416 HAS SOUPS 6198 WITH SCORE 6261.161
AT ITER 2946 NEW BEST:: SOT 113037 SOS 63231 HAS SOPS 34246 HAS SOUS 11405 HAS SOUPS 6190 WITH SCORE 6253.231
AT ITER 2949 NEW BEST:: SOT 112993 SOS 63201 HAS SOPS 34202 HAS SOUS 11411 HAS SOUPS 6182 WITH SCORE 6245.201
AT ITER 2978 NEW BEST:: SOT 112956 SOS 63110 HAS SOPS 34124 HAS SOUS 11403 HAS SOUPS 6174 WITH SCORE 6237.11
AT ITER 2993 NEW BEST:: SOT 112958 SOS 63123 HAS SOPS 34137 HAS SOUS 11398 HAS SOUPS 6169 WITH SCORE 6232.123
AT ITER 2996 NEW BEST:: SOT 112958 SOS 63137 HAS SOPS 34124 HAS SOUS 11399 HAS SOUPS 6167 WITH SCORE 6230.137
AT ITER 2998 NEW BEST:: SOT 112966 SOS 63143 HAS SOPS 34134 HAS SOUS 11395 HAS SOUPS 6165 WITH SCORE 6228.143
AT ITER 3001 NEW BEST:: SOT 112872 SOS 62926 HAS SOPS 34079 HAS SOUS 11335 HAS SOUPS 6147 WITH SCORE 6209.926
AT ITER 3017 NEW BEST:: SOT 112904 SOS 62986 HAS SOPS 34099 HAS SOUS 11330 HAS SOUPS 6143 WITH SCORE 6205.986
AT ITER 3037 NEW BEST:: SOT 112848 SOS 62894 HAS SOPS 34027 HAS SOUS 11318 HAS SOUPS 6131 WITH SCORE 6193.894
AT ITER 3117 NEW BEST:: SOT 112908 SOS 63008 HAS SOPS 34063 HAS SOUS 11306 HAS SOUPS 6119 WITH SCORE 6182.008
AT ITER 3132 NEW BEST:: SOT 112768 SOS 62761 HAS SOPS 33964 HAS SOUS 11243 HAS SOUPS 6084 WITH SCORE 6146.761
AT ITER 3138 NEW BEST:: SOT 112743 SOS 62782 HAS SOPS 33845 HAS SOUS 11191 HAS SOUPS 5996 WITH SCORE 6058.782
AT ITER 3151 NEW BEST:: SOT 112744 SOS 62718 HAS SOPS 33847 HAS SOUS 11177 HAS SOUPS 5993 WITH SCORE 6055.718
AT ITER 3174 NEW BEST:: SOT 112744 SOS 62718 HAS SOPS 33847 HAS SOUS 11150 HAS SOUPS 5978 WITH SCORE 6040.718
AT ITER 3200 NEW BEST:: SOT 112760 SOS 62775 HAS SOPS 33852 HAS SOUS 11143 HAS SOUPS 5971 WITH SCORE 6033.775
AT ITER 3202 NEW BEST:: SOT 112764 SOS 62784 HAS SOPS 33856 HAS SOUS 11142 HAS SOUPS 5970 WITH SCORE 6032.784
AT ITER 3205 NEW BEST:: SOT 112779 SOS 62571 HAS SOPS 33683 HAS SOUS 11139 HAS SOUPS 5967 WITH SCORE 6029.571
AT ITER 3206 NEW BEST:: SOT 112772 SOS 62581 HAS SOPS 33683 HAS SOUS 11112 HAS SOUPS 5959 WITH SCORE 6021.581
AT ITER 3299 NEW BEST:: SOT 112783 SOS 62614 HAS SOPS 33694 HAS SOUS 11116 HAS SOUPS 5955 WITH SCORE 6017.614
AT ITER 3305 NEW BEST:: SOT 112779 SOS 62671 HAS SOPS 33743 HAS SOUS 11118 HAS SOUPS 5953 WITH SCORE 6015.671
AT ITER 3326 NEW BEST:: SOT 112764 SOS 62628 HAS SOPS 33656 HAS SOUS 11122 HAS SOUPS 5946 WITH SCORE 6008.628
AT ITER 3329 NEW BEST:: SOT 112749 SOS 62598 HAS SOPS 33491 HAS SOUS 11137 HAS SOUPS 5946 WITH SCORE 6008.598
AT ITER 3330 NEW BEST:: SOT 112742 SOS 62343 HAS SOPS 33353 HAS SOUS 11097 HAS SOUPS 5919 WITH SCORE 5981.343
AT ITER 3337 NEW BEST:: SOT 112718 SOS 62319 HAS SOPS 33353 HAS SOUS 11097 HAS SOUPS 5919 WITH SCORE 5981.319
AT ITER 3344 NEW BEST:: SOT 112711 SOS 62312 HAS SOPS 33353 HAS SOUS 11097 HAS SOUPS 5919 WITH SCORE 5981.312
AT ITER 3346 NEW BEST:: SOT 112711 SOS 62312 HAS SOPS 33353 HAS SOUS 11088 HAS SOUPS 5913 WITH SCORE 5975.312
AT ITER 3374 NEW BEST:: SOT 112679 SOS 62252 HAS SOPS 33333 HAS SOUS 11066 HAS SOUPS 5899 WITH SCORE 5961.252
AT ITER 3377 NEW BEST:: SOT 112677 SOS 62248 HAS SOPS 33332 HAS SOUS 11065 HAS SOUPS 5899 WITH SCORE 5961.248
AT ITER 3395 NEW BEST:: SOT 112610 SOS 62115 HAS SOPS 33283 HAS SOUS 11057 HAS SOUPS 5891 WITH SCORE 5953.115
AT ITER 3420 NEW BEST:: SOT 112611 SOS 62062 HAS SOPS 33232 HAS SOUS 11057 HAS SOUPS 5891 WITH SCORE 5953.062
AT ITER 3426 NEW BEST:: SOT 112604 SOS 62055 HAS SOPS 33232 HAS SOUS 11057 HAS SOUPS 5891 WITH SCORE 5953.055
AT ITER 3428 NEW BEST:: SOT 112604 SOS 62055 HAS SOPS 33232 HAS SOUS 10991 HAS SOUPS 5855 WITH SCORE 5917.055
AT ITER 3431 NEW BEST:: SOT 112646 SOS 62134 HAS SOPS 33257 HAS SOUS 10978 HAS SOUPS 5845 WITH SCORE 5907.134
AT ITER 3434 NEW BEST:: SOT 112646 SOS 62134 HAS SOPS 33257 HAS SOUS 10991 HAS SOUPS 5843 WITH SCORE 5905.134
AT ITER 3445 NEW BEST:: SOT 112730 SOS 62288 HAS SOPS 33306 HAS SOUS 10991 HAS SOUPS 5836 WITH SCORE 5898.288
AT ITER 3466 NEW BEST:: SOT 112730 SOS 62288 HAS SOPS 33371 HAS SOUS 10984 HAS SOUPS 5833 WITH SCORE 5895.288
AT ITER 3486 NEW BEST:: SOT 112718 SOS 62201 HAS SOPS 33284 HAS SOUS 10977 HAS SOUPS 5826 WITH SCORE 5888.201
AT ITER 3492 NEW BEST:: SOT 112721 SOS 62227 HAS SOPS 33286 HAS SOUS 10976 HAS SOUPS 5821 WITH SCORE 5883.227
AT ITER 3524 NEW BEST:: SOT 112743 SOS 62158 HAS SOPS 33049 HAS SOUS 10992 HAS SOUPS 5820 WITH SCORE 5882.158
AT ITER 3583 NEW BEST:: SOT 112724 SOS 62140 HAS SOPS 33029 HAS SOUS 10982 HAS SOUPS 5805 WITH SCORE 5867.14
AT ITER 3611 NEW BEST:: SOT 112670 SOS 62086 HAS SOPS 32975 HAS SOUS 10994 HAS SOUPS 5805 WITH SCORE 5867.086
AT ITER 3616 NEW BEST:: SOT 112702 SOS 62114 HAS SOPS 32963 HAS SOUS 10975 HAS SOUPS 5796 WITH SCORE 5858.114
AT ITER 3619 NEW BEST:: SOT 112731 SOS 62143 HAS SOPS 32973 HAS SOUS 10931 HAS SOUPS 5776 WITH SCORE 5838.143
AT ITER 3635 NEW BEST:: SOT 112670 SOS 62020 HAS SOPS 32932 HAS SOUS 10891 HAS SOUPS 5759 WITH SCORE 5821.02
AT ITER 3642 NEW BEST:: SOT 112669 SOS 62019 HAS SOPS 32932 HAS SOUS 10891 HAS SOUPS 5759 WITH SCORE 5821.019
AT ITER 3656 NEW BEST:: SOT 112770 SOS 62203 HAS SOPS 32995 HAS SOUS 10884 HAS SOUPS 5750 WITH SCORE 5812.203
AT ITER 3659 NEW BEST:: SOT 112782 SOS 62422 HAS SOPS 33274 HAS SOUS 10866 HAS SOUPS 5747 WITH SCORE 5809.422
AT ITER 3694 NEW BEST:: SOT 112784 SOS 62398 HAS SOPS 33254 HAS SOUS 10864 HAS SOUPS 5745 WITH SCORE 5807.398
AT ITER 3705 NEW BEST:: SOT 112777 SOS 62275 HAS SOPS 33295 HAS SOUS 10829 HAS SOUPS 5723 WITH SCORE 5785.275
AT ITER 3712 NEW BEST:: SOT 112768 SOS 62112 HAS SOPS 33177 HAS SOUS 10810 HAS SOUPS 5709 WITH SCORE 5771.112
AT ITER 3756 NEW BEST:: SOT 112767 SOS 61961 HAS SOPS 33152 HAS SOUS 10777 HAS SOUPS 5690 WITH SCORE 5751.961
AT ITER 3763 NEW BEST:: SOT 112749 SOS 61943 HAS SOPS 33134 HAS SOUS 10777 HAS SOUPS 5690 WITH SCORE 5751.943
AT ITER 3813 NEW BEST:: SOT 112749 SOS 61703 HAS SOPS 32990 HAS SOUS 10754 HAS SOUPS 5683 WITH SCORE 5744.703
AT ITER 3814 NEW BEST:: SOT 112745 SOS 61677 HAS SOPS 32946 HAS SOUS 10752 HAS SOUPS 5679 WITH SCORE 5740.677
AT ITER 3851 NEW BEST:: SOT 112684 SOS 61265 HAS SOPS 32596 HAS SOUS 10741 HAS SOUPS 5669 WITH SCORE 5730.265
AT ITER 3865 NEW BEST:: SOT 112682 SOS 61271 HAS SOPS 32590 HAS SOUS 10742 HAS SOUPS 5668 WITH SCORE 5729.271
AT ITER 3905 NEW BEST:: SOT 112687 SOS 61226 HAS SOPS 32590 HAS SOUS 10737 HAS SOUPS 5668 WITH SCORE 5729.226
AT ITER 3929 NEW BEST:: SOT 112680 SOS 61181 HAS SOPS 32545 HAS SOUS 10730 HAS SOUPS 5661 WITH SCORE 5722.181
AT ITER 3949 NEW BEST:: SOT 112591 SOS 60946 HAS SOPS 32375 HAS SOUS 10686 HAS SOUPS 5629 WITH SCORE 5689.946
AT ITER 3967 NEW BEST:: SOT 112609 SOS 61038 HAS SOPS 32404 HAS SOUS 10690 HAS SOUPS 5626 WITH SCORE 5687.038
AT ITER 3969 NEW BEST:: SOT 112567 SOS 60783 HAS SOPS 32194 HAS SOUS 10681 HAS SOUPS 5620 WITH SCORE 5680.783
AT ITER 3979 NEW BEST:: SOT 112565 SOS 60783 HAS SOPS 32194 HAS SOUS 10679 HAS SOUPS 5618 WITH SCORE 5678.783
AT ITER 3980 NEW BEST:: SOT 112514 SOS 60698 HAS SOPS 32177 HAS SOUS 10662 HAS SOUPS 5618 WITH SCORE 5678.698
AT ITER 3992 NEW BEST:: SOT 112496 SOS 60680 HAS SOPS 32177 HAS SOUS 10653 HAS SOUPS 5613 WITH SCORE 5673.68
AT ITER 4007 NEW BEST:: SOT 112334 SOS 60518 HAS SOPS 32015 HAS SOUS 10653 HAS SOUPS 5613 WITH SCORE 5673.518
AT ITER 4153 NEW BEST:: SOT 112334 SOS 60536 HAS SOPS 32033 HAS SOUS 10651 HAS SOUPS 5611 WITH SCORE 5671.536
AT ITER 4154 NEW BEST:: SOT 112240 SOS 60486 HAS SOPS 31983 HAS SOUS 10651 HAS SOUPS 5611 WITH SCORE 5671.486
AT ITER 4169 NEW BEST:: SOT 112243 SOS 60501 HAS SOPS 31998 HAS SOUS 10643 HAS SOUPS 5603 WITH SCORE 5663.501
AT ITER 4191 NEW BEST:: SOT 112239 SOS 60505 HAS SOPS 31994 HAS SOUS 10640 HAS SOUPS 5600 WITH SCORE 5660.505
AT ITER 4237 NEW BEST:: SOT 112097 SOS 60376 HAS SOPS 31839 HAS SOUS 10609 HAS SOUPS 5578 WITH SCORE 5638.376
AT ITER 4240 NEW BEST:: SOT 112096 SOS 60375 HAS SOPS 31839 HAS SOUS 10609 HAS SOUPS 5578 WITH SCORE 5638.375
AT ITER 4244 NEW BEST:: SOT 112090 SOS 60365 HAS SOPS 31829 HAS SOUS 10607 HAS SOUPS 5576 WITH SCORE 5636.365
AT ITER 4294 NEW BEST:: SOT 112084 SOS 60299 HAS SOPS 31763 HAS SOUS 10591 HAS SOUPS 5560 WITH SCORE 5620.299
AT ITER 4303 NEW BEST:: SOT 112047 SOS 60222 HAS SOPS 31731 HAS SOUS 10585 HAS SOUPS 5557 WITH SCORE 5617.222
AT ITER 4337 NEW BEST:: SOT 112037 SOS 60196 HAS SOPS 31723 HAS SOUS 10582 HAS SOUPS 5557 WITH SCORE 5617.196
AT ITER 4345 NEW BEST:: SOT 111978 SOS 59830 HAS SOPS 30997 HAS SOUS 10565 HAS SOUPS 5500 WITH SCORE 5559.83
AT ITER 4346 NEW BEST:: SOT 111977 SOS 59828 HAS SOPS 30997 HAS SOUS 10564 HAS SOUPS 5500 WITH SCORE 5559.828
AT ITER 4353 NEW BEST:: SOT 112315 SOS 61259 HAS SOPS 31042 HAS SOUS 10632 HAS SOUPS 5486 WITH SCORE 5547.259
AT ITER 4362 NEW BEST:: SOT 112302 SOS 61244 HAS SOPS 31032 HAS SOUS 10631 HAS SOUPS 5485 WITH SCORE 5546.244
AT ITER 4368 NEW BEST:: SOT 112413 SOS 61454 HAS SOPS 31134 HAS SOUS 10574 HAS SOUPS 5482 WITH SCORE 5543.454
AT ITER 4390 NEW BEST:: SOT 112459 SOS 61545 HAS SOPS 31157 HAS SOUS 10590 HAS SOUPS 5479 WITH SCORE 5540.545
AT ITER 4470 NEW BEST:: SOT 112231 SOS 61118 HAS SOPS 30986 HAS SOUS 10589 HAS SOUPS 5479 WITH SCORE 5540.118
AT ITER 4505 NEW BEST:: SOT 112187 SOS 60950 HAS SOPS 30938 HAS SOUS 10512 HAS SOUPS 5422 WITH SCORE 5482.95
AT ITER 4508 NEW BEST:: SOT 112188 SOS 60943 HAS SOPS 30940 HAS SOUS 10511 HAS SOUPS 5422 WITH SCORE 5482.943
AT ITER 4542 NEW BEST:: SOT 112183 SOS 60901 HAS SOPS 30898 HAS SOUS 10510 HAS SOUPS 5421 WITH SCORE 5481.901
AT ITER 4566 NEW BEST:: SOT 112181 SOS 60663 HAS SOPS 30530 HAS SOUS 10518 HAS SOUPS 5408 WITH SCORE 5468.663
AT ITER 4570 NEW BEST:: SOT 112307 SOS 60803 HAS SOPS 30586 HAS SOUS 10504 HAS SOUPS 5394 WITH SCORE 5454.803
AT ITER 4577 NEW BEST:: SOT 112399 SOS 61174 HAS SOPS 30598 HAS SOUS 10533 HAS SOUPS 5393 WITH SCORE 5454.174
AT ITER 4580 NEW BEST:: SOT 112331 SOS 60751 HAS SOPS 30250 HAS SOUS 10520 HAS SOUPS 5385 WITH SCORE 5445.751
AT ITER 4645 NEW BEST:: SOT 112332 SOS 60735 HAS SOPS 30240 HAS SOUS 10516 HAS SOUPS 5382 WITH SCORE 5442.735
AT ITER 4668 NEW BEST:: SOT 112378 SOS 60781 HAS SOPS 30286 HAS SOUS 10511 HAS SOUPS 5377 WITH SCORE 5437.781
AT ITER 4736 NEW BEST:: SOT 112376 SOS 60778 HAS SOPS 30286 HAS SOUS 10510 HAS SOUPS 5377 WITH SCORE 5437.778
AT ITER 4750 NEW BEST:: SOT 112427 SOS 60289 HAS SOPS 29797 HAS SOUS 10491 HAS SOUPS 5358 WITH SCORE 5418.289
AT ITER 4769 NEW BEST:: SOT 112409 SOS 60097 HAS SOPS 29773 HAS SOUS 10457 HAS SOUPS 5352 WITH SCORE 5412.097
AT ITER 4773 NEW BEST:: SOT 112231 SOS 59796 HAS SOPS 29349 HAS SOUS 10462 HAS SOUPS 5325 WITH SCORE 5384.796
AT ITER 4778 NEW BEST:: SOT 112228 SOS 59758 HAS SOPS 29347 HAS SOUS 10456 HAS SOUPS 5323 WITH SCORE 5382.758
AT ITER 4791 NEW BEST:: SOT 112228 SOS 59758 HAS SOPS 29347 HAS SOUS 10453 HAS SOUPS 5321 WITH SCORE 5380.758
AT ITER 4804 NEW BEST:: SOT 112215 SOS 59745 HAS SOPS 29347 HAS SOUS 10453 HAS SOUPS 5321 WITH SCORE 5380.745
AT ITER 4839 NEW BEST:: SOT 111994 SOS 59283 HAS SOPS 29190 HAS SOUS 10428 HAS SOUPS 5314 WITH SCORE 5373.283
AT ITER 4855 NEW BEST:: SOT 111985 SOS 59194 HAS SOPS 29079 HAS SOUS 10406 HAS SOUPS 5292 WITH SCORE 5351.194
AT ITER 4857 NEW BEST:: SOT 111981 SOS 59196 HAS SOPS 29075 HAS SOUS 10405 HAS SOUPS 5291 WITH SCORE 5350.196
AT ITER 4904 NEW BEST:: SOT 111856 SOS 58968 HAS SOPS 28903 HAS SOUS 10391 HAS SOUPS 5275 WITH SCORE 5333.968
AT ITER 4912 NEW BEST:: SOT 111851 SOS 58963 HAS SOPS 28903 HAS SOUS 10391 HAS SOUPS 5275 WITH SCORE 5333.963
AT ITER 4922 NEW BEST:: SOT 111850 SOS 58951 HAS SOPS 28900 HAS SOUS 10389 HAS SOUPS 5274 WITH SCORE 5332.951
AT ITER 4949 NEW BEST:: SOT 111588 SOS 58446 HAS SOPS 28732 HAS SOUS 10342 HAS SOUPS 5261 WITH SCORE 5319.446
AT ITER 4983 NEW BEST:: SOT 111541 SOS 58376 HAS SOPS 28667 HAS SOUS 10299 HAS SOUPS 5233 WITH SCORE 5291.376
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-05a-CTLFireability-00 (AF( ( (! ( ( ((potential((tk(P61)>=1)))) & ((potential((tk(P88)>=1) & (tk(P167)>=1)))) ) & ( ((potential((tk(P89)>=1) & (tk(P167)>=1)))) | ((potential((tk(P108)>=1) & (tk(P58)>=1)))) ) )) & (EF( ( ((potential((tk(P50)>=1) & (tk(P152)>=1)))) & ((potential((tk(P9)>=1) & (tk(P132)>=1)))) ))) )))
PROPERTY: DLCround-PT-05a-CTLFireability-01 ( ( (EU( ( ((potential((tk(P87)>=1) & (tk(P167)>=1)))) | ((potential((tk(P24)>=1) & (tk(P112)>=1)))) ) , ( ((potential((tk(P48)>=1)))) | ((potential((tk(P45)>=1) & (tk(P146)>=1)))) ) )) & (! ( (EG( ((potential((tk(P84)>=1) & (tk(P165)>=1)))))) & ( ((potential((tk(P78)>=1) & (tk(P151)>=1)))) | (! ((potential((tk(P51)>=1))))) ) )) ) | ( (EF( ( ( ((potential((tk(P29)>=1) & (tk(P137)>=1)))) & ((potential((tk(P15)>=1) & (tk(P124)>=1)))) ) & ( ((potential((tk(P77)>=1) & (tk(P129)>=1)))) & ((potential((tk(P73)>=1) & (tk(P159)>=1)))) ) ))) | (EU( ((potential((tk(P83)>=1) & (tk(P163)>=1)))) , ( ((potential((tk(P9)>=1) & (tk(P100)>=1)))) & ((potential((tk(P142)>=1) & (tk(P36)>=1)))) ) )) ) )
PROPERTY: DLCround-PT-05a-CTLFireability-02 (EF( ((potential((tk(P45)>=1) & (tk(P146)>=1))))))
PROPERTY: DLCround-PT-05a-CTLFireability-03 (EF( ( ( ((potential((tk(P150)>=1) & (tk(P68)>=1)))) | ((potential((tk(P87)>=1) & (tk(P164)>=1)))) ) & (AX( ( ((potential((tk(P163)>=1) & (tk(P38)>=1)))) & ((potential((tk(P44)>=1) & (tk(P103)>=1)))) ))) )))
PROPERTY: DLCround-PT-05a-CTLFireability-04 (EF( (AG( (AF( ((potential((tk(P24)>=1) & (tk(P96)>=1))))))))))
PROPERTY: DLCround-PT-05a-CTLFireability-05 (EF( (EG( ((potential((tk(P58)>=1) & (tk(P148)>=1))))))))
PROPERTY: DLCround-PT-05a-CTLFireability-06 (! (! (AG( (EF( ((potential((tk(P80)>=1) & (tk(P163)>=1))))))))))
PROPERTY: DLCround-PT-05a-CTLFireability-07 ( ( ( (EX( ( ((potential((tk(P88)>=1) & (tk(P157)>=1)))) | ((potential((tk(P74)>=1) & (tk(P162)>=1)))) ))) | ((potential((tk(P123)>=1) & (tk(P76)>=1)))) ) | ((potential((tk(P29)>=1) & (tk(P113)>=1)))) ) | ( (EF( (AX( ((potential((tk(P78)>=1)))))))) | ( (EG( ( ((potential((tk(P48)>=1) & (tk(P143)>=1)))) | ((potential((tk(P55)>=1) & (tk(P109)>=1)))) ))) & (! (EF( ((potential((tk(P87)>=1) & (tk(P135)>=1))))))) ) ) )
PROPERTY: DLCround-PT-05a-CTLFireability-08 (EF( (AG( (AX( ((potential((tk(P50)>=1) & (tk(P107)>=1))))))))))
PROPERTY: DLCround-PT-05a-CTLFireability-09 (AG( ( ((potential((tk(P15)>=1) & (tk(P132)>=1)))) | (AF( ((potential((tk(P15)>=1) & (tk(P109)>=1)))))) )))
PROPERTY: DLCround-PT-05a-CTLFireability-10 ( ((potential((tk(P77)>=1)))) | (EF( ( (AX( ((potential((tk(P47)>=1) & (tk(P144)>=1)))))) & ( (! ((potential((tk(P6)>=1))))) | (! ((potential((tk(P82)>=1))))) ) ))) )
PROPERTY: DLCround-PT-05a-CTLFireability-11 (AX( ((potential((tk(P54)>=1) & (tk(P149)>=1))))))
PROPERTY: DLCround-PT-05a-CTLFireability-12 (EG( ( ((potential((tk(P2)>=1) & (tk(P114)>=1)))) & ( (! (! ((potential((tk(P80)>=1) & (tk(P167)>=1)))))) | ( (! ((potential((tk(P38)>=1) & (tk(P163)>=1))))) & ((potential((tk(P45)>=1) & (tk(P146)>=1)))) ) ) )))
PROPERTY: DLCround-PT-05a-CTLFireability-13 ( ( ( ( ( ((potential((tk(P65)>=1) & (tk(P154)>=1)))) & (! ((potential((tk(P141)>=1) & (tk(P36)>=1))))) ) | ( ((potential((tk(P57)>=1) & (tk(P109)>=1)))) & ((potential((tk(P55)>=1) & (tk(P107)>=1)))) ) ) | ( ( (! ((potential((tk(P113)>=1) & (tk(P56)>=1))))) & (! ((potential((tk(P89)>=1))))) ) & (EF( ((potential((tk(P111)>=1) & (tk(P56)>=1)))))) ) ) & (! (AX( (! ((potential((tk(P22)>=1) & (tk(P110)>=1)))))))) ) | (AG( (EX( (! ((potential((tk(P78)>=1) & (tk(P123)>=1))))))))) )
PROPERTY: DLCround-PT-05a-CTLFireability-14 (EF( (! ( (! ((potential((tk(P8)>=1) & (tk(P106)>=1))))) & ( ( ((potential((tk(P34)>=1)))) | ((potential((tk(P88)>=1) & (tk(P157)>=1)))) ) | ((potential((tk(P22)>=1) & (tk(P94)>=1)))) ) ))))
PROPERTY: DLCround-PT-05a-CTLFireability-15 (EG( ( (! (EG( ((potential((tk(P22)>=1) & (tk(P127)>=1))))))) & (AX( ((potential((tk(P30)>=1) & (tk(P138)>=1)))))) )))
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="DLCround-PT-05a"
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 DLCround-PT-05a, 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 r048-ebro-158902542200484"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-05a.tgz
mv DLCround-PT-05a 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 ;