About the Execution of smart for SmartHome-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.920 | 3600000.00 | 3599020.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.r224-oct2-159033538200044.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 SmartHome-PT-06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538200044
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.1K May 14 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 56K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-06-CTLFireability-00
FORMULA_NAME SmartHome-PT-06-CTLFireability-01
FORMULA_NAME SmartHome-PT-06-CTLFireability-02
FORMULA_NAME SmartHome-PT-06-CTLFireability-03
FORMULA_NAME SmartHome-PT-06-CTLFireability-04
FORMULA_NAME SmartHome-PT-06-CTLFireability-05
FORMULA_NAME SmartHome-PT-06-CTLFireability-06
FORMULA_NAME SmartHome-PT-06-CTLFireability-07
FORMULA_NAME SmartHome-PT-06-CTLFireability-08
FORMULA_NAME SmartHome-PT-06-CTLFireability-09
FORMULA_NAME SmartHome-PT-06-CTLFireability-10
FORMULA_NAME SmartHome-PT-06-CTLFireability-11
FORMULA_NAME SmartHome-PT-06-CTLFireability-12
FORMULA_NAME SmartHome-PT-06-CTLFireability-13
FORMULA_NAME SmartHome-PT-06-CTLFireability-14
FORMULA_NAME SmartHome-PT-06-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469742933
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 06
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: 219 places, 254 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 33184 SOS 8188 HAS SOPS 8188 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.188
AT ITER 9 NEW BEST:: SOT 33183 SOS 8186 HAS SOPS 8186 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7901.186
AT ITER 10 NEW BEST:: SOT 33183 SOS 8175 HAS SOPS 8175 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7890.175
AT ITER 35 NEW BEST:: SOT 33187 SOS 8147 HAS SOPS 8147 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7882.147
AT ITER 44 NEW BEST:: SOT 33186 SOS 8149 HAS SOPS 8149 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7870.149
AT ITER 47 NEW BEST:: SOT 33154 SOS 8085 HAS SOPS 8085 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7806.085
AT ITER 49 NEW BEST:: SOT 33144 SOS 8079 HAS SOPS 8079 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7796.079
AT ITER 61 NEW BEST:: SOT 33116 SOS 8022 HAS SOPS 8022 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7739.022
AT ITER 63 NEW BEST:: SOT 32960 SOS 8331 HAS SOPS 8331 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7645.331
AT ITER 67 NEW BEST:: SOT 32958 SOS 8322 HAS SOPS 8322 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7600.322
AT ITER 82 NEW BEST:: SOT 32931 SOS 8296 HAS SOPS 8296 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7599.296
AT ITER 89 NEW BEST:: SOT 32925 SOS 8284 HAS SOPS 8284 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7593.284
AT ITER 93 NEW BEST:: SOT 32741 SOS 8215 HAS SOPS 8215 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7432.215
AT ITER 100 NEW BEST:: SOT 32628 SOS 8635 HAS SOPS 8635 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.635
AT ITER 107 NEW BEST:: SOT 32569 SOS 8611 HAS SOPS 8611 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7342.611
AT ITER 112 NEW BEST:: SOT 32511 SOS 8495 HAS SOPS 8495 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.495
AT ITER 133 NEW BEST:: SOT 32502 SOS 8477 HAS SOPS 8477 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7227.477
AT ITER 135 NEW BEST:: SOT 32477 SOS 8427 HAS SOPS 8427 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7170.427
AT ITER 141 NEW BEST:: SOT 32477 SOS 8417 HAS SOPS 8417 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.417
AT ITER 144 NEW BEST:: SOT 32477 SOS 8413 HAS SOPS 8413 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7156.413
AT ITER 153 NEW BEST:: SOT 32341 SOS 8458 HAS SOPS 8458 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.458
AT ITER 158 NEW BEST:: SOT 32324 SOS 8429 HAS SOPS 8429 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.429
AT ITER 185 NEW BEST:: SOT 32302 SOS 8385 HAS SOPS 8385 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.385
AT ITER 191 NEW BEST:: SOT 32302 SOS 8385 HAS SOPS 8385 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.385
AT ITER 192 NEW BEST:: SOT 32306 SOS 8364 HAS SOPS 8364 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6952.364
AT ITER 204 NEW BEST:: SOT 32295 SOS 8398 HAS SOPS 8398 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.398
AT ITER 227 NEW BEST:: SOT 32315 SOS 8425 HAS SOPS 8425 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6937.425
AT ITER 230 NEW BEST:: SOT 32208 SOS 8695 HAS SOPS 8695 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.695
AT ITER 236 NEW BEST:: SOT 32190 SOS 8687 HAS SOPS 8687 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6851.687
AT ITER 237 NEW BEST:: SOT 32148 SOS 8603 HAS SOPS 8603 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6782.603
AT ITER 252 NEW BEST:: SOT 32145 SOS 8597 HAS SOPS 8597 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6776.597
AT ITER 277 NEW BEST:: SOT 32144 SOS 8595 HAS SOPS 8595 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6774.595
AT ITER 297 NEW BEST:: SOT 32143 SOS 8593 HAS SOPS 8593 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6772.593
AT ITER 302 NEW BEST:: SOT 32129 SOS 8573 HAS SOPS 8573 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.573
AT ITER 303 NEW BEST:: SOT 32125 SOS 8549 HAS SOPS 8549 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6746.549
AT ITER 310 NEW BEST:: SOT 32098 SOS 8495 HAS SOPS 8495 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.495
AT ITER 334 NEW BEST:: SOT 32098 SOS 8491 HAS SOPS 8491 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.491
AT ITER 354 NEW BEST:: SOT 32116 SOS 8500 HAS SOPS 8500 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.5
AT ITER 355 NEW BEST:: SOT 32141 SOS 8525 HAS SOPS 8525 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.525
AT ITER 360 NEW BEST:: SOT 32117 SOS 8490 HAS SOPS 8490 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6646.49
AT ITER 370 NEW BEST:: SOT 32072 SOS 8400 HAS SOPS 8400 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6579.4
AT ITER 378 NEW BEST:: SOT 32095 SOS 8423 HAS SOPS 8423 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6578.423
AT ITER 380 NEW BEST:: SOT 32075 SOS 8403 HAS SOPS 8403 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.403
AT ITER 384 NEW BEST:: SOT 32055 SOS 8388 HAS SOPS 8388 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.388
AT ITER 389 NEW BEST:: SOT 32036 SOS 8350 HAS SOPS 8350 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6524.35
AT ITER 395 NEW BEST:: SOT 32036 SOS 8339 HAS SOPS 8339 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6513.339
AT ITER 398 NEW BEST:: SOT 32022 SOS 8311 HAS SOPS 8311 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6499.311
AT ITER 404 NEW BEST:: SOT 31981 SOS 8290 HAS SOPS 8290 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6478.29
AT ITER 414 NEW BEST:: SOT 32018 SOS 8184 HAS SOPS 8184 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.184
AT ITER 431 NEW BEST:: SOT 31988 SOS 8171 HAS SOPS 8171 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6415.171
AT ITER 437 NEW BEST:: SOT 31955 SOS 8083 HAS SOPS 8083 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6382.083
AT ITER 438 NEW BEST:: SOT 31973 SOS 8176 HAS SOPS 8176 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6338.176
AT ITER 458 NEW BEST:: SOT 31964 SOS 8164 HAS SOPS 8164 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6326.164
AT ITER 462 NEW BEST:: SOT 31960 SOS 8158 HAS SOPS 8158 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6320.158
AT ITER 481 NEW BEST:: SOT 31960 SOS 8153 HAS SOPS 8153 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6320.153
AT ITER 485 NEW BEST:: SOT 31967 SOS 8160 HAS SOPS 8160 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6313.16
AT ITER 492 NEW BEST:: SOT 31965 SOS 8156 HAS SOPS 8156 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6309.156
AT ITER 542 NEW BEST:: SOT 31962 SOS 8153 HAS SOPS 8153 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6303.153
AT ITER 545 NEW BEST:: SOT 31959 SOS 8137 HAS SOPS 8137 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6294.137
AT ITER 547 NEW BEST:: SOT 31940 SOS 8099 HAS SOPS 8099 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6275.099
AT ITER 574 NEW BEST:: SOT 31935 SOS 8089 HAS SOPS 8089 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6269.089
AT ITER 579 NEW BEST:: SOT 31912 SOS 8141 HAS SOPS 8141 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6253.141
AT ITER 580 NEW BEST:: SOT 31907 SOS 8131 HAS SOPS 8131 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6253.131
AT ITER 590 NEW BEST:: SOT 31915 SOS 8139 HAS SOPS 8139 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6245.139
AT ITER 591 NEW BEST:: SOT 31889 SOS 8119 HAS SOPS 8119 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6218.119
AT ITER 599 NEW BEST:: SOT 31889 SOS 8113 HAS SOPS 8113 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6212.113
AT ITER 645 NEW BEST:: SOT 31887 SOS 8120 HAS SOPS 8120 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6210.12
AT ITER 650 NEW BEST:: SOT 31887 SOS 8120 HAS SOPS 8120 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6207.12
AT ITER 652 NEW BEST:: SOT 31728 SOS 8292 HAS SOPS 8292 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6091.292
AT ITER 655 NEW BEST:: SOT 31728 SOS 8283 HAS SOPS 8283 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6082.283
AT ITER 660 NEW BEST:: SOT 31728 SOS 8275 HAS SOPS 8275 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6074.275
AT ITER 680 NEW BEST:: SOT 31709 SOS 8260 HAS SOPS 8260 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6055.26
AT ITER 688 NEW BEST:: SOT 31683 SOS 8208 HAS SOPS 8208 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6020.208
AT ITER 693 NEW BEST:: SOT 31675 SOS 8207 HAS SOPS 8207 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6019.207
AT ITER 697 NEW BEST:: SOT 31670 SOS 8170 HAS SOPS 8170 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6018.17
AT ITER 722 NEW BEST:: SOT 31653 SOS 8195 HAS SOPS 8195 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6004.195
AT ITER 734 NEW BEST:: SOT 31654 SOS 8202 HAS SOPS 8202 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5989.202
AT ITER 766 NEW BEST:: SOT 31607 SOS 8128 HAS SOPS 8128 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5919.128
AT ITER 781 NEW BEST:: SOT 31607 SOS 8127 HAS SOPS 8127 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5919.127
AT ITER 782 NEW BEST:: SOT 31605 SOS 8121 HAS SOPS 8121 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5915.121
AT ITER 797 NEW BEST:: SOT 31597 SOS 8070 HAS SOPS 8070 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5888.07
AT ITER 799 NEW BEST:: SOT 31597 SOS 8046 HAS SOPS 8046 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5877.046
AT ITER 803 NEW BEST:: SOT 31589 SOS 7994 HAS SOPS 7994 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5860.994
AT ITER 807 NEW BEST:: SOT 31572 SOS 7960 HAS SOPS 7960 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5837.96
AT ITER 824 NEW BEST:: SOT 31573 SOS 7955 HAS SOPS 7955 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5831.955
AT ITER 829 NEW BEST:: SOT 31561 SOS 7793 HAS SOPS 7793 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5795.793
AT ITER 852 NEW BEST:: SOT 31560 SOS 7808 HAS SOPS 7808 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.808
AT ITER 879 NEW BEST:: SOT 31521 SOS 7924 HAS SOPS 7924 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5765.924
AT ITER 934 NEW BEST:: SOT 31521 SOS 7921 HAS SOPS 7921 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5762.921
AT ITER 938 NEW BEST:: SOT 31496 SOS 7829 HAS SOPS 7829 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5712.829
AT ITER 941 NEW BEST:: SOT 31489 SOS 7804 HAS SOPS 7804 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5698.804
AT ITER 960 NEW BEST:: SOT 31473 SOS 7795 HAS SOPS 7795 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5682.795
AT ITER 985 NEW BEST:: SOT 31473 SOS 7795 HAS SOPS 7795 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5663.795
AT ITER 988 NEW BEST:: SOT 31472 SOS 7791 HAS SOPS 7791 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5661.791
AT ITER 999 NEW BEST:: SOT 31464 SOS 7775 HAS SOPS 7775 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5645.775
AT ITER 1011 NEW BEST:: SOT 31446 SOS 7770 HAS SOPS 7770 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5640.77
AT ITER 1013 NEW BEST:: SOT 31434 SOS 7722 HAS SOPS 7722 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5615.722
AT ITER 1017 NEW BEST:: SOT 31434 SOS 7722 HAS SOPS 7722 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5611.722
AT ITER 1045 NEW BEST:: SOT 31446 SOS 7734 HAS SOPS 7734 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5610.734
AT ITER 1075 NEW BEST:: SOT 31423 SOS 7700 HAS SOPS 7700 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5576.7
AT ITER 1078 NEW BEST:: SOT 31359 SOS 7604 HAS SOPS 7604 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5512.604
AT ITER 1081 NEW BEST:: SOT 31356 SOS 7601 HAS SOPS 7601 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5509.601
AT ITER 1121 NEW BEST:: SOT 31347 SOS 7599 HAS SOPS 7599 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5491.599
AT ITER 1124 NEW BEST:: SOT 31333 SOS 7608 HAS SOPS 7608 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5481.608
AT ITER 1131 NEW BEST:: SOT 31319 SOS 7600 HAS SOPS 7600 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.6
AT ITER 1169 NEW BEST:: SOT 31327 SOS 7616 HAS SOPS 7616 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.616
AT ITER 1178 NEW BEST:: SOT 31327 SOS 7602 HAS SOPS 7602 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.602
AT ITER 1183 NEW BEST:: SOT 31281 SOS 7572 HAS SOPS 7572 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5428.572
AT ITER 1192 NEW BEST:: SOT 31279 SOS 7584 HAS SOPS 7584 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5424.584
AT ITER 1199 NEW BEST:: SOT 31274 SOS 7590 HAS SOPS 7590 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5421.59
AT ITER 1201 NEW BEST:: SOT 31270 SOS 7582 HAS SOPS 7582 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5413.582
AT ITER 1220 NEW BEST:: SOT 31250 SOS 7563 HAS SOPS 7563 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5371.563
AT ITER 1224 NEW BEST:: SOT 31232 SOS 7536 HAS SOPS 7536 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5362.536
AT ITER 1257 NEW BEST:: SOT 31219 SOS 7510 HAS SOPS 7510 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5336.51
AT ITER 1261 NEW BEST:: SOT 31185 SOS 7476 HAS SOPS 7476 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5324.476
AT ITER 1275 NEW BEST:: SOT 31181 SOS 7462 HAS SOPS 7462 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5310.462
AT ITER 1290 NEW BEST:: SOT 31181 SOS 7462 HAS SOPS 7462 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5304.462
AT ITER 1295 NEW BEST:: SOT 31163 SOS 7444 HAS SOPS 7444 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5286.444
AT ITER 1296 NEW BEST:: SOT 31131 SOS 7405 HAS SOPS 7405 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5247.405
AT ITER 1343 NEW BEST:: SOT 31089 SOS 7363 HAS SOPS 7363 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5240.363
AT ITER 1365 NEW BEST:: SOT 31085 SOS 7362 HAS SOPS 7362 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5239.362
AT ITER 1392 NEW BEST:: SOT 31072 SOS 7336 HAS SOPS 7336 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5226.336
AT ITER 1402 NEW BEST:: SOT 31072 SOS 7331 HAS SOPS 7331 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5226.331
AT ITER 1410 NEW BEST:: SOT 31068 SOS 7315 HAS SOPS 7315 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5214.315
AT ITER 1436 NEW BEST:: SOT 31066 SOS 7312 HAS SOPS 7312 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5211.312
AT ITER 1439 NEW BEST:: SOT 31068 SOS 7316 HAS SOPS 7316 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5200.316
AT ITER 1455 NEW BEST:: SOT 31045 SOS 7452 HAS SOPS 7452 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5190.452
AT ITER 1477 NEW BEST:: SOT 31045 SOS 7448 HAS SOPS 7448 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5190.448
AT ITER 1506 NEW BEST:: SOT 31037 SOS 7437 HAS SOPS 7437 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5179.437
AT ITER 1509 NEW BEST:: SOT 30966 SOS 7366 HAS SOPS 7366 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5156.366
AT ITER 1511 NEW BEST:: SOT 30958 SOS 7350 HAS SOPS 7350 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5148.35
AT ITER 1512 NEW BEST:: SOT 30958 SOS 7350 HAS SOPS 7350 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5141.35
AT ITER 1569 NEW BEST:: SOT 30955 SOS 7347 HAS SOPS 7347 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5138.347
AT ITER 1572 NEW BEST:: SOT 30949 SOS 7346 HAS SOPS 7346 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5137.346
AT ITER 1586 NEW BEST:: SOT 30949 SOS 7346 HAS SOPS 7346 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5135.346
AT ITER 1600 NEW BEST:: SOT 30949 SOS 7346 HAS SOPS 7346 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5134.346
AT ITER 1627 NEW BEST:: SOT 30948 SOS 7244 HAS SOPS 7244 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5133.244
AT ITER 1631 NEW BEST:: SOT 30945 SOS 7241 HAS SOPS 7241 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5130.241
AT ITER 1656 NEW BEST:: SOT 30940 SOS 7236 HAS SOPS 7236 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5125.236
AT ITER 1663 NEW BEST:: SOT 30938 SOS 7232 HAS SOPS 7232 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5123.232
AT ITER 1671 NEW BEST:: SOT 30938 SOS 7223 HAS SOPS 7223 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5123.223
AT ITER 1679 NEW BEST:: SOT 30938 SOS 7223 HAS SOPS 7223 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5114.223
AT ITER 1699 NEW BEST:: SOT 30912 SOS 7188 HAS SOPS 7188 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5103.188
AT ITER 1703 NEW BEST:: SOT 30908 SOS 7183 HAS SOPS 7183 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5098.183
AT ITER 1708 NEW BEST:: SOT 30905 SOS 7160 HAS SOPS 7160 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5081.16
AT ITER 1743 NEW BEST:: SOT 30901 SOS 7152 HAS SOPS 7152 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5077.152
AT ITER 1768 NEW BEST:: SOT 30897 SOS 7144 HAS SOPS 7144 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5073.144
AT ITER 1814 NEW BEST:: SOT 30883 SOS 7132 HAS SOPS 7132 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5061.132
AT ITER 1819 NEW BEST:: SOT 30871 SOS 7130 HAS SOPS 7130 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5037.13
AT ITER 1896 NEW BEST:: SOT 30881 SOS 7122 HAS SOPS 7122 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5029.122
AT ITER 1924 NEW BEST:: SOT 30878 SOS 7111 HAS SOPS 7111 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5023.111
AT ITER 1935 NEW BEST:: SOT 30871 SOS 7104 HAS SOPS 7104 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5009.104
AT ITER 1963 NEW BEST:: SOT 30857 SOS 7095 HAS SOPS 7095 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 5000.095
AT ITER 2049 NEW BEST:: SOT 30855 SOS 7102 HAS SOPS 7102 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4996.102
AT ITER 2050 NEW BEST:: SOT 30845 SOS 7087 HAS SOPS 7087 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4986.087
AT ITER 2116 NEW BEST:: SOT 30798 SOS 7350 HAS SOPS 7350 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4956.35
AT ITER 2141 NEW BEST:: SOT 30788 SOS 7330 HAS SOPS 7330 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4946.33
AT ITER 2185 NEW BEST:: SOT 30778 SOS 7310 HAS SOPS 7310 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4936.31
AT ITER 2206 NEW BEST:: SOT 30743 SOS 7188 HAS SOPS 7188 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4934.188
AT ITER 2213 NEW BEST:: SOT 30749 SOS 7186 HAS SOPS 7186 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4932.186
AT ITER 2218 NEW BEST:: SOT 30749 SOS 7185 HAS SOPS 7185 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4932.185
AT ITER 2255 NEW BEST:: SOT 30749 SOS 7177 HAS SOPS 7177 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4924.177
AT ITER 2285 NEW BEST:: SOT 30749 SOS 7177 HAS SOPS 7177 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4923.177
AT ITER 2288 NEW BEST:: SOT 30744 SOS 7167 HAS SOPS 7167 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4918.167
AT ITER 2294 NEW BEST:: SOT 30741 SOS 7161 HAS SOPS 7161 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4912.161
AT ITER 2303 NEW BEST:: SOT 30741 SOS 7161 HAS SOPS 7161 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4899.161
AT ITER 2317 NEW BEST:: SOT 30730 SOS 7124 HAS SOPS 7124 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4883.124
AT ITER 2323 NEW BEST:: SOT 30726 SOS 7120 HAS SOPS 7120 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4879.12
AT ITER 2375 NEW BEST:: SOT 30725 SOS 7100 HAS SOPS 7100 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4860.1
AT ITER 2387 NEW BEST:: SOT 30724 SOS 7064 HAS SOPS 7064 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4851.064
AT ITER 2489 NEW BEST:: SOT 30706 SOS 7073 HAS SOPS 7073 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4837.073
AT ITER 2568 NEW BEST:: SOT 30693 SOS 7060 HAS SOPS 7060 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4837.06
AT ITER 2569 NEW BEST:: SOT 30689 SOS 7052 HAS SOPS 7052 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4829.052
AT ITER 2584 NEW BEST:: SOT 30689 SOS 7051 HAS SOPS 7051 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4828.051
AT ITER 2606 NEW BEST:: SOT 30687 SOS 7047 HAS SOPS 7047 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4824.047
AT ITER 2673 NEW BEST:: SOT 30680 SOS 7033 HAS SOPS 7033 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4810.033
AT ITER 2743 NEW BEST:: SOT 30664 SOS 6984 HAS SOPS 6984 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.984
AT ITER 2752 NEW BEST:: SOT 30664 SOS 6962 HAS SOPS 6962 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.962
AT ITER 2755 NEW BEST:: SOT 30661 SOS 6956 HAS SOPS 6956 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.956
AT ITER 2795 NEW BEST:: SOT 30659 SOS 6952 HAS SOPS 6952 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4769.952
AT ITER 2805 NEW BEST:: SOT 30660 SOS 6951 HAS SOPS 6951 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.951
AT ITER 2830 NEW BEST:: SOT 30648 SOS 6996 HAS SOPS 6996 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4755.996
AT ITER 2872 NEW BEST:: SOT 30648 SOS 6993 HAS SOPS 6993 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4752.993
AT ITER 2892 NEW BEST:: SOT 30642 SOS 6986 HAS SOPS 6986 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.986
AT ITER 2948 NEW BEST:: SOT 30633 SOS 6980 HAS SOPS 6980 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4736.98
AT ITER 2976 NEW BEST:: SOT 30631 SOS 6976 HAS SOPS 6976 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.976
AT ITER 3004 NEW BEST:: SOT 30626 SOS 6969 HAS SOPS 6969 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4730.969
AT ITER 3068 NEW BEST:: SOT 30619 SOS 6955 HAS SOPS 6955 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4716.955
AT ITER 3071 NEW BEST:: SOT 30610 SOS 6937 HAS SOPS 6937 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4699.937
AT ITER 3084 NEW BEST:: SOT 30618 SOS 6949 HAS SOPS 6949 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4698.949
AT ITER 3170 NEW BEST:: SOT 30615 SOS 6941 HAS SOPS 6941 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4695.941
AT ITER 3188 NEW BEST:: SOT 30610 SOS 6931 HAS SOPS 6931 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4685.931
AT ITER 3314 NEW BEST:: SOT 30616 SOS 6913 HAS SOPS 6913 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4683.913
AT ITER 3349 NEW BEST:: SOT 30614 SOS 6909 HAS SOPS 6909 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4681.909
AT ITER 3397 NEW BEST:: SOT 30613 SOS 6907 HAS SOPS 6907 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4679.907
AT ITER 3421 NEW BEST:: SOT 30608 SOS 6897 HAS SOPS 6897 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4669.897
AT ITER 3453 NEW BEST:: SOT 30589 SOS 7097 HAS SOPS 7097 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4667.097
AT ITER 3474 NEW BEST:: SOT 30579 SOS 7092 HAS SOPS 7092 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4662.092
AT ITER 3500 NEW BEST:: SOT 30587 SOS 7108 HAS SOPS 7108 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4650.108
AT ITER 3522 NEW BEST:: SOT 30582 SOS 7098 HAS SOPS 7098 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4646.098
AT ITER 3536 NEW BEST:: SOT 30575 SOS 7084 HAS SOPS 7084 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4629.084
AT ITER 3544 NEW BEST:: SOT 30575 SOS 7072 HAS SOPS 7072 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4629.072
AT ITER 3570 NEW BEST:: SOT 30547 SOS 7394 HAS SOPS 7394 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4628.394
AT ITER 3571 NEW BEST:: SOT 30547 SOS 7392 HAS SOPS 7392 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4626.392
AT ITER 3585 NEW BEST:: SOT 30555 SOS 7383 HAS SOPS 7383 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.383
AT ITER 3614 NEW BEST:: SOT 30555 SOS 7367 HAS SOPS 7367 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.367
AT ITER 3627 NEW BEST:: SOT 30549 SOS 7361 HAS SOPS 7361 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.361
AT ITER 3635 NEW BEST:: SOT 30549 SOS 7361 HAS SOPS 7361 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4612.361
AT ITER 3649 NEW BEST:: SOT 30545 SOS 7358 HAS SOPS 7358 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4609.358
AT ITER 3684 NEW BEST:: SOT 30535 SOS 7348 HAS SOPS 7348 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4599.348
AT ITER 3687 NEW BEST:: SOT 30531 SOS 7344 HAS SOPS 7344 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4595.344
AT ITER 3755 NEW BEST:: SOT 30525 SOS 7338 HAS SOPS 7338 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4586.338
AT ITER 3756 NEW BEST:: SOT 30550 SOS 7397 HAS SOPS 7397 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4581.397
AT ITER 3759 NEW BEST:: SOT 30531 SOS 7378 HAS SOPS 7378 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4579.378
AT ITER 3780 NEW BEST:: SOT 30529 SOS 7374 HAS SOPS 7374 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4575.374
AT ITER 3798 NEW BEST:: SOT 30522 SOS 7355 HAS SOPS 7355 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4572.355
AT ITER 3869 NEW BEST:: SOT 30520 SOS 7349 HAS SOPS 7349 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4566.349
AT ITER 3875 NEW BEST:: SOT 30513 SOS 7417 HAS SOPS 7417 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4561.417
AT ITER 3904 NEW BEST:: SOT 30511 SOS 7398 HAS SOPS 7398 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4557.398
AT ITER 4041 NEW BEST:: SOT 30478 SOS 7332 HAS SOPS 7332 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4557.332
AT ITER 4066 NEW BEST:: SOT 30489 SOS 7345 HAS SOPS 7345 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4547.345
AT ITER 4085 NEW BEST:: SOT 30487 SOS 7343 HAS SOPS 7343 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4547.343
AT ITER 4111 NEW BEST:: SOT 30480 SOS 7329 HAS SOPS 7329 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4540.329
AT ITER 4115 NEW BEST:: SOT 30477 SOS 7323 HAS SOPS 7323 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4537.323
AT ITER 4127 NEW BEST:: SOT 30460 SOS 7289 HAS SOPS 7289 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4535.289
AT ITER 4221 NEW BEST:: SOT 30450 SOS 7279 HAS SOPS 7279 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4525.279
AT ITER 4230 NEW BEST:: SOT 30452 SOS 7304 HAS SOPS 7304 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4520.304
AT ITER 4235 NEW BEST:: SOT 30446 SOS 7292 HAS SOPS 7292 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4508.292
AT ITER 4251 NEW BEST:: SOT 30447 SOS 7293 HAS SOPS 7293 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4507.293
AT ITER 4269 NEW BEST:: SOT 30449 SOS 7269 HAS SOPS 7269 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4507.269
AT ITER 4291 NEW BEST:: SOT 30449 SOS 7269 HAS SOPS 7269 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4503.269
AT ITER 4422 NEW BEST:: SOT 30453 SOS 7298 HAS SOPS 7298 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4496.298
AT ITER 4429 NEW BEST:: SOT 30441 SOS 7270 HAS SOPS 7270 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4490.27
AT ITER 4462 NEW BEST:: SOT 30435 SOS 7261 HAS SOPS 7261 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4480.261
AT ITER 4470 NEW BEST:: SOT 30435 SOS 7242 HAS SOPS 7242 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4480.242
AT ITER 4491 NEW BEST:: SOT 30423 SOS 7203 HAS SOPS 7203 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4468.203
AT ITER 4499 NEW BEST:: SOT 30410 SOS 7195 HAS SOPS 7195 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4460.195
AT ITER 4511 NEW BEST:: SOT 30410 SOS 7193 HAS SOPS 7193 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4458.193
AT ITER 4541 NEW BEST:: SOT 30409 SOS 7191 HAS SOPS 7191 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4456.191
AT ITER 4599 NEW BEST:: SOT 30395 SOS 7163 HAS SOPS 7163 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4437.163
AT ITER 4634 NEW BEST:: SOT 30373 SOS 7140 HAS SOPS 7140 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4435.14
AT ITER 4641 NEW BEST:: SOT 30371 SOS 7143 HAS SOPS 7143 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4433.143
AT ITER 4642 NEW BEST:: SOT 30361 SOS 7123 HAS SOPS 7123 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4423.123
AT ITER 4701 NEW BEST:: SOT 30346 SOS 7093 HAS SOPS 7093 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4393.093
AT ITER 4742 NEW BEST:: SOT 30343 SOS 7080 HAS SOPS 7080 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4384.08
AT ITER 4754 NEW BEST:: SOT 30353 SOS 7090 HAS SOPS 7090 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4380.09
AT ITER 4780 NEW BEST:: SOT 30353 SOS 7089 HAS SOPS 7089 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4379.089
AT ITER 4852 NEW BEST:: SOT 30338 SOS 7059 HAS SOPS 7059 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4367.059
AT ITER 4866 NEW BEST:: SOT 30332 SOS 7040 HAS SOPS 7040 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4354.04
AT ITER 4971 NEW BEST:: SOT 30320 SOS 7028 HAS SOPS 7028 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4346.028
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-06-CTLFireability-00 (EU( (AF( (! ((potential((tk(P37)>=1))))))) , ( (AF( ((potential((tk(P136)>=1)))))) & (! ( ((potential((tk(P55)>=1)))) | ((potential((tk(P89)>=1)))) )) ) ))
PROPERTY: SmartHome-PT-06-CTLFireability-01 (! (AG( (! (AG( ((potential((tk(P129)>=1))))))))))
PROPERTY: SmartHome-PT-06-CTLFireability-02 (EF( ((potential((tk(P105)>=1) & (tk(P215)>=1))))))
PROPERTY: SmartHome-PT-06-CTLFireability-03 (EG( (AG( ( ( ((potential((tk(P153)>=1)))) & ((potential((tk(P3)>=1) & (tk(P152)>=1)))) ) | (! ((potential((tk(P36)>=1))))) )))))
PROPERTY: SmartHome-PT-06-CTLFireability-04 ( ( (! (! ( ((potential((tk(P8)>=1)))) | ((potential((tk(P169)>=1)))) ))) & ((potential((tk(P113)>=1)))) ) | (AX( (EF( ( ((potential((tk(P92)>=1)))) & ((potential((tk(P74)>=1) & (tk(P189)>=1)))) ))))) )
PROPERTY: SmartHome-PT-06-CTLFireability-05 (EF( ( ( (! ( ((potential((tk(P3)>=1) & (tk(P184)>=1)))) & ((potential((tk(P152)>=1) & (tk(P214)>=1)))) )) | (AX( ((potential((tk(P148)>=1)))))) ) & (AG( ((potential((tk(P44)>=1)))))) )))
PROPERTY: SmartHome-PT-06-CTLFireability-06 (! (EU( (EF( ((potential((tk(P105)>=1)))))) , (AG( ((potential((tk(P152)>=1) & (tk(P208)>=1)))))) )))
PROPERTY: SmartHome-PT-06-CTLFireability-07 (EF( (AX( (EG( ((potential((tk(P52)>=1))))))))))
PROPERTY: SmartHome-PT-06-CTLFireability-08 (! ( (AG( (! ((potential((tk(P136)>=1))))))) | (AG( (AF( ((potential((tk(P90)>=1)))))))) ))
PROPERTY: SmartHome-PT-06-CTLFireability-09 (AG( ( ( (! ( ((potential((tk(P25)>=1)))) & ((potential((tk(P111)>=1)))) )) & ( (! ((potential((tk(P194)>=1))))) & (! ((potential((tk(P5)>=1))))) ) ) | (! ( ( ((potential((tk(P7)>=1)))) & ((potential((tk(P152)>=1) & (tk(P214)>=1)))) ) & ( ((potential((tk(P146)>=1)))) | ((potential((tk(P152)>=1) & (tk(P214)>=1)))) ) )) )))
PROPERTY: SmartHome-PT-06-CTLFireability-10 (EF( (! (! ( ( ((potential((tk(P142)>=1)))) & ((potential((tk(P22)>=1)))) ) & ((potential((tk(P3)>=1) & (tk(P74)>=1)))) )))))
PROPERTY: SmartHome-PT-06-CTLFireability-11 ( (AU( ((potential((tk(P137)>=1)))) , ((potential((tk(P146)>=1)))) )) | (AG( (! (AX( ((potential((tk(P108)>=1))))))))) )
PROPERTY: SmartHome-PT-06-CTLFireability-12 (EF( ((potential((tk(P162)>=1))))))
PROPERTY: SmartHome-PT-06-CTLFireability-13 (EF( ( ( (EG( ((potential((tk(P192)>=1)))))) | ( ( ((potential((tk(P168)>=1)))) & ((potential((tk(P115)>=1)))) ) & ((potential((tk(P197)>=1)))) ) ) & (AF( ((potential((tk(P22)>=1)))))) )))
PROPERTY: SmartHome-PT-06-CTLFireability-14 (! ( (EF( (EG( ((potential((tk(P48)>=1)))))))) & (! ((potential((tk(P165)>=1))))) ))
PROPERTY: SmartHome-PT-06-CTLFireability-15 (EX( ( (AU( ((potential((tk(P156)>=1)))) , ((potential((tk(P100)>=1)))) )) | ( (EF( ((potential((tk(P129)>=1)))))) & ( (! ((potential((tk(P43)>=1) & (tk(P189)>=1))))) | (! ((potential((tk(P141)>=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="SmartHome-PT-06"
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 SmartHome-PT-06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538200044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-06.tgz
mv SmartHome-PT-06 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 ;