About the Execution of smart for SmartHome-PT-11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.520 | 3600000.00 | 3599100.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-159033538300084.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-11, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300084
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.0K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 71K 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-11-CTLFireability-00
FORMULA_NAME SmartHome-PT-11-CTLFireability-01
FORMULA_NAME SmartHome-PT-11-CTLFireability-02
FORMULA_NAME SmartHome-PT-11-CTLFireability-03
FORMULA_NAME SmartHome-PT-11-CTLFireability-04
FORMULA_NAME SmartHome-PT-11-CTLFireability-05
FORMULA_NAME SmartHome-PT-11-CTLFireability-06
FORMULA_NAME SmartHome-PT-11-CTLFireability-07
FORMULA_NAME SmartHome-PT-11-CTLFireability-08
FORMULA_NAME SmartHome-PT-11-CTLFireability-09
FORMULA_NAME SmartHome-PT-11-CTLFireability-10
FORMULA_NAME SmartHome-PT-11-CTLFireability-11
FORMULA_NAME SmartHome-PT-11-CTLFireability-12
FORMULA_NAME SmartHome-PT-11-CTLFireability-13
FORMULA_NAME SmartHome-PT-11-CTLFireability-14
FORMULA_NAME SmartHome-PT-11-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469757993
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 11
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: 290 places, 315 transitions, 722 arcs.
AT ITER 0 NEW BEST:: SOT 55680 SOS 14283 HAS SOPS 14283 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13876.283
AT ITER 3 NEW BEST:: SOT 55680 SOS 14257 HAS SOPS 14257 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13850.257
AT ITER 30 NEW BEST:: SOT 55680 SOS 14226 HAS SOPS 14226 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13850.226
AT ITER 32 NEW BEST:: SOT 55632 SOS 14178 HAS SOPS 14178 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13802.178
AT ITER 42 NEW BEST:: SOT 55588 SOS 14156 HAS SOPS 14156 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13780.156
AT ITER 54 NEW BEST:: SOT 55588 SOS 14141 HAS SOPS 14141 HAS SOUS 13751 HAS SOUPS 13751 WITH SCORE 13765.141
AT ITER 67 NEW BEST:: SOT 55588 SOS 14131 HAS SOPS 14131 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13755.131
AT ITER 68 NEW BEST:: SOT 54942 SOS 17279 HAS SOPS 17279 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13480.279
AT ITER 69 NEW BEST:: SOT 54875 SOS 17212 HAS SOPS 17212 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13413.212
AT ITER 77 NEW BEST:: SOT 54775 SOS 17108 HAS SOPS 17108 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13257.108
AT ITER 83 NEW BEST:: SOT 54719 SOS 17060 HAS SOPS 17060 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13205.06
AT ITER 88 NEW BEST:: SOT 54703 SOS 17044 HAS SOPS 17044 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13189.044
AT ITER 90 NEW BEST:: SOT 54707 SOS 17036 HAS SOPS 17036 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13179.036
AT ITER 100 NEW BEST:: SOT 54676 SOS 17005 HAS SOPS 17005 HAS SOUS 13131 HAS SOUPS 13131 WITH SCORE 13148.005
AT ITER 109 NEW BEST:: SOT 54675 SOS 17003 HAS SOPS 17003 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13146.003
AT ITER 120 NEW BEST:: SOT 54631 SOS 16871 HAS SOPS 16871 HAS SOUS 13041 HAS SOUPS 13041 WITH SCORE 13057.871
AT ITER 150 NEW BEST:: SOT 54462 SOS 16669 HAS SOPS 16669 HAS SOUS 12975 HAS SOUPS 12975 WITH SCORE 12991.669
AT ITER 182 NEW BEST:: SOT 54462 SOS 16667 HAS SOPS 16667 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12989.667
AT ITER 199 NEW BEST:: SOT 54462 SOS 16663 HAS SOPS 16663 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 12985.663
AT ITER 216 NEW BEST:: SOT 54381 SOS 16501 HAS SOPS 16501 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12904.501
AT ITER 228 NEW BEST:: SOT 54376 SOS 16509 HAS SOPS 16509 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12875.509
AT ITER 229 NEW BEST:: SOT 54108 SOS 16494 HAS SOPS 16494 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12646.494
AT ITER 231 NEW BEST:: SOT 54108 SOS 16445 HAS SOPS 16445 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12646.445
AT ITER 239 NEW BEST:: SOT 54091 SOS 16411 HAS SOPS 16411 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12612.411
AT ITER 240 NEW BEST:: SOT 54026 SOS 16325 HAS SOPS 16325 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12524.325
AT ITER 243 NEW BEST:: SOT 53997 SOS 16305 HAS SOPS 16305 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12501.305
AT ITER 245 NEW BEST:: SOT 53997 SOS 16283 HAS SOPS 16283 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12501.283
AT ITER 250 NEW BEST:: SOT 53979 SOS 16271 HAS SOPS 16271 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12489.271
AT ITER 258 NEW BEST:: SOT 53332 SOS 17299 HAS SOPS 17299 HAS SOUS 12149 HAS SOUPS 12149 WITH SCORE 12166.299
AT ITER 275 NEW BEST:: SOT 53283 SOS 17201 HAS SOPS 17201 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12068.201
AT ITER 306 NEW BEST:: SOT 52886 SOS 17502 HAS SOPS 17502 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11717.502
AT ITER 307 NEW BEST:: SOT 52870 SOS 17470 HAS SOPS 17470 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11685.47
AT ITER 311 NEW BEST:: SOT 52863 SOS 17463 HAS SOPS 17463 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11685.463
AT ITER 317 NEW BEST:: SOT 52873 SOS 17377 HAS SOPS 17377 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11599.377
AT ITER 319 NEW BEST:: SOT 52873 SOS 17359 HAS SOPS 17359 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11581.359
AT ITER 332 NEW BEST:: SOT 52787 SOS 17238 HAS SOPS 17238 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11438.238
AT ITER 334 NEW BEST:: SOT 52742 SOS 17184 HAS SOPS 17184 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11415.184
AT ITER 341 NEW BEST:: SOT 52742 SOS 17141 HAS SOPS 17141 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11415.141
AT ITER 343 NEW BEST:: SOT 52736 SOS 17135 HAS SOPS 17135 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11409.135
AT ITER 361 NEW BEST:: SOT 52736 SOS 17121 HAS SOPS 17121 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11409.121
AT ITER 368 NEW BEST:: SOT 52731 SOS 17111 HAS SOPS 17111 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11404.111
AT ITER 372 NEW BEST:: SOT 52755 SOS 17101 HAS SOPS 17101 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11394.101
AT ITER 378 NEW BEST:: SOT 52711 SOS 17057 HAS SOPS 17057 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11333.057
AT ITER 387 NEW BEST:: SOT 52707 SOS 17050 HAS SOPS 17050 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11326.05
AT ITER 403 NEW BEST:: SOT 52641 SOS 16907 HAS SOPS 16907 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11182.907
AT ITER 404 NEW BEST:: SOT 52611 SOS 16865 HAS SOPS 16865 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11149.865
AT ITER 420 NEW BEST:: SOT 52611 SOS 16823 HAS SOPS 16823 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11107.823
AT ITER 441 NEW BEST:: SOT 52569 SOS 16781 HAS SOPS 16781 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11065.781
AT ITER 444 NEW BEST:: SOT 52563 SOS 16769 HAS SOPS 16769 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11053.769
AT ITER 463 NEW BEST:: SOT 52531 SOS 16705 HAS SOPS 16705 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11021.705
AT ITER 474 NEW BEST:: SOT 52538 SOS 16712 HAS SOPS 16712 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10964.712
AT ITER 490 NEW BEST:: SOT 52478 SOS 16592 HAS SOPS 16592 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10844.592
AT ITER 508 NEW BEST:: SOT 52420 SOS 16476 HAS SOPS 16476 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10786.476
AT ITER 512 NEW BEST:: SOT 52436 SOS 16508 HAS SOPS 16508 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10768.508
AT ITER 514 NEW BEST:: SOT 52389 SOS 16414 HAS SOPS 16414 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10767.414
AT ITER 517 NEW BEST:: SOT 52371 SOS 16387 HAS SOPS 16387 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10749.387
AT ITER 523 NEW BEST:: SOT 51994 SOS 18096 HAS SOPS 18096 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10576.096
AT ITER 541 NEW BEST:: SOT 52117 SOS 15697 HAS SOPS 15697 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10560.697
AT ITER 555 NEW BEST:: SOT 52117 SOS 15694 HAS SOPS 15694 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10560.694
AT ITER 574 NEW BEST:: SOT 52085 SOS 15662 HAS SOPS 15662 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10528.662
AT ITER 579 NEW BEST:: SOT 52025 SOS 15542 HAS SOPS 15542 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10515.542
AT ITER 580 NEW BEST:: SOT 52013 SOS 15518 HAS SOPS 15518 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10499.518
AT ITER 582 NEW BEST:: SOT 52006 SOS 15498 HAS SOPS 15498 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10477.498
AT ITER 584 NEW BEST:: SOT 51994 SOS 15432 HAS SOPS 15432 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10460.432
AT ITER 599 NEW BEST:: SOT 51994 SOS 15422 HAS SOPS 15422 HAS SOUS 10435 HAS SOUPS 10435 WITH SCORE 10450.422
AT ITER 606 NEW BEST:: SOT 51964 SOS 15387 HAS SOPS 15387 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10415.387
AT ITER 623 NEW BEST:: SOT 51916 SOS 15238 HAS SOPS 15238 HAS SOUS 10304 HAS SOUPS 10304 WITH SCORE 10319.238
AT ITER 628 NEW BEST:: SOT 51885 SOS 15180 HAS SOPS 15180 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10275.18
AT ITER 633 NEW BEST:: SOT 51873 SOS 15167 HAS SOPS 15167 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10262.167
AT ITER 642 NEW BEST:: SOT 51882 SOS 14113 HAS SOPS 14113 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10170.113
AT ITER 666 NEW BEST:: SOT 51882 SOS 14064 HAS SOPS 14064 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10158.064
AT ITER 696 NEW BEST:: SOT 51966 SOS 13900 HAS SOPS 13900 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9993.9
AT ITER 707 NEW BEST:: SOT 51998 SOS 13964 HAS SOPS 13964 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9972.964
AT ITER 718 NEW BEST:: SOT 52022 SOS 13988 HAS SOPS 13988 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9970.988
AT ITER 729 NEW BEST:: SOT 52040 SOS 13962 HAS SOPS 13962 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9952.962
AT ITER 731 NEW BEST:: SOT 52037 SOS 13956 HAS SOPS 13956 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9949.956
AT ITER 742 NEW BEST:: SOT 52020 SOS 14080 HAS SOPS 14080 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9941.08
AT ITER 755 NEW BEST:: SOT 51990 SOS 14074 HAS SOPS 14074 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9935.074
AT ITER 763 NEW BEST:: SOT 51947 SOS 14031 HAS SOPS 14031 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9892.031
AT ITER 775 NEW BEST:: SOT 51942 SOS 14021 HAS SOPS 14021 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9882.021
AT ITER 778 NEW BEST:: SOT 51942 SOS 13993 HAS SOPS 13993 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9853.993
AT ITER 797 NEW BEST:: SOT 51937 SOS 13995 HAS SOPS 13995 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9848.995
AT ITER 802 NEW BEST:: SOT 51911 SOS 13969 HAS SOPS 13969 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9822.969
AT ITER 809 NEW BEST:: SOT 51911 SOS 13967 HAS SOPS 13967 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9820.967
AT ITER 810 NEW BEST:: SOT 51911 SOS 13967 HAS SOPS 13967 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9804.967
AT ITER 833 NEW BEST:: SOT 51911 SOS 13967 HAS SOPS 13967 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9765.967
AT ITER 842 NEW BEST:: SOT 51923 SOS 13959 HAS SOPS 13959 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9754.959
AT ITER 866 NEW BEST:: SOT 51902 SOS 13917 HAS SOPS 13917 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9754.917
AT ITER 875 NEW BEST:: SOT 51894 SOS 13909 HAS SOPS 13909 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9746.909
AT ITER 890 NEW BEST:: SOT 51864 SOS 13849 HAS SOPS 13849 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9716.849
AT ITER 892 NEW BEST:: SOT 51869 SOS 13839 HAS SOPS 13839 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9706.839
AT ITER 894 NEW BEST:: SOT 51628 SOS 14039 HAS SOPS 14039 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9491.039
AT ITER 906 NEW BEST:: SOT 51640 SOS 14036 HAS SOPS 14036 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9488.036
AT ITER 926 NEW BEST:: SOT 51634 SOS 14024 HAS SOPS 14024 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9479.024
AT ITER 941 NEW BEST:: SOT 51602 SOS 14012 HAS SOPS 14012 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9479.012
AT ITER 984 NEW BEST:: SOT 51591 SOS 13963 HAS SOPS 13963 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9459.963
AT ITER 985 NEW BEST:: SOT 51424 SOS 13554 HAS SOPS 13554 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9294.554
AT ITER 986 NEW BEST:: SOT 51424 SOS 13502 HAS SOPS 13502 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9275.502
AT ITER 987 NEW BEST:: SOT 51424 SOS 13489 HAS SOPS 13489 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9275.489
AT ITER 1033 NEW BEST:: SOT 51424 SOS 13478 HAS SOPS 13478 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9264.478
AT ITER 1036 NEW BEST:: SOT 51413 SOS 13424 HAS SOPS 13424 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9242.424
AT ITER 1057 NEW BEST:: SOT 51412 SOS 13423 HAS SOPS 13423 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9241.423
AT ITER 1059 NEW BEST:: SOT 51259 SOS 13378 HAS SOPS 13378 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9102.378
AT ITER 1079 NEW BEST:: SOT 51243 SOS 13346 HAS SOPS 13346 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9077.346
AT ITER 1091 NEW BEST:: SOT 51241 SOS 13309 HAS SOPS 13309 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9039.309
AT ITER 1094 NEW BEST:: SOT 51242 SOS 13304 HAS SOPS 13304 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9034.304
AT ITER 1115 NEW BEST:: SOT 51238 SOS 13298 HAS SOPS 13298 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9028.298
AT ITER 1126 NEW BEST:: SOT 51256 SOS 13236 HAS SOPS 13236 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8966.236
AT ITER 1167 NEW BEST:: SOT 51261 SOS 13237 HAS SOPS 13237 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8958.237
AT ITER 1185 NEW BEST:: SOT 51261 SOS 13272 HAS SOPS 13272 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8923.272
AT ITER 1188 NEW BEST:: SOT 51259 SOS 13269 HAS SOPS 13269 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8920.269
AT ITER 1205 NEW BEST:: SOT 51237 SOS 13225 HAS SOPS 13225 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8908.225
AT ITER 1208 NEW BEST:: SOT 51217 SOS 13165 HAS SOPS 13165 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8888.165
AT ITER 1226 NEW BEST:: SOT 51189 SOS 13109 HAS SOPS 13109 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8881.109
AT ITER 1245 NEW BEST:: SOT 51185 SOS 13161 HAS SOPS 13161 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8880.161
AT ITER 1253 NEW BEST:: SOT 51184 SOS 13159 HAS SOPS 13159 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8878.159
AT ITER 1262 NEW BEST:: SOT 51183 SOS 13157 HAS SOPS 13157 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8876.157
AT ITER 1280 NEW BEST:: SOT 51167 SOS 13133 HAS SOPS 13133 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8860.133
AT ITER 1303 NEW BEST:: SOT 51164 SOS 13116 HAS SOPS 13116 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8843.116
AT ITER 1308 NEW BEST:: SOT 51160 SOS 13102 HAS SOPS 13102 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8843.102
AT ITER 1310 NEW BEST:: SOT 51119 SOS 13061 HAS SOPS 13061 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8839.061
AT ITER 1311 NEW BEST:: SOT 51117 SOS 13057 HAS SOPS 13057 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8826.057
AT ITER 1322 NEW BEST:: SOT 51116 SOS 13040 HAS SOPS 13040 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8824.04
AT ITER 1341 NEW BEST:: SOT 51115 SOS 13038 HAS SOPS 13038 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.038
AT ITER 1354 NEW BEST:: SOT 51105 SOS 13019 HAS SOPS 13019 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8799.019
AT ITER 1391 NEW BEST:: SOT 51104 SOS 13015 HAS SOPS 13015 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8797.015
AT ITER 1401 NEW BEST:: SOT 51140 SOS 13021 HAS SOPS 13021 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8767.021
AT ITER 1407 NEW BEST:: SOT 51115 SOS 12971 HAS SOPS 12971 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8741.971
AT ITER 1425 NEW BEST:: SOT 51073 SOS 12925 HAS SOPS 12925 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8725.925
AT ITER 1432 NEW BEST:: SOT 51073 SOS 12944 HAS SOPS 12944 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8706.944
AT ITER 1439 NEW BEST:: SOT 51060 SOS 12894 HAS SOPS 12894 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8702.894
AT ITER 1463 NEW BEST:: SOT 51060 SOS 12891 HAS SOPS 12891 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8702.891
AT ITER 1495 NEW BEST:: SOT 51024 SOS 12819 HAS SOPS 12819 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8666.819
AT ITER 1498 NEW BEST:: SOT 51044 SOS 12859 HAS SOPS 12859 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8644.859
AT ITER 1509 NEW BEST:: SOT 51016 SOS 12803 HAS SOPS 12803 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8603.803
AT ITER 1529 NEW BEST:: SOT 50975 SOS 12721 HAS SOPS 12721 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8567.721
AT ITER 1538 NEW BEST:: SOT 50961 SOS 12701 HAS SOPS 12701 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8546.701
AT ITER 1554 NEW BEST:: SOT 50936 SOS 12651 HAS SOPS 12651 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8496.651
AT ITER 1556 NEW BEST:: SOT 50948 SOS 12663 HAS SOPS 12663 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8488.663
AT ITER 1580 NEW BEST:: SOT 50939 SOS 12648 HAS SOPS 12648 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8473.648
AT ITER 1585 NEW BEST:: SOT 50938 SOS 12646 HAS SOPS 12646 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8471.646
AT ITER 1586 NEW BEST:: SOT 50910 SOS 12683 HAS SOPS 12683 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8443.683
AT ITER 1597 NEW BEST:: SOT 50910 SOS 12679 HAS SOPS 12679 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8443.679
AT ITER 1631 NEW BEST:: SOT 50904 SOS 12077 HAS SOPS 12077 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8404.077
AT ITER 1664 NEW BEST:: SOT 50904 SOS 12094 HAS SOPS 12094 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.094
AT ITER 1681 NEW BEST:: SOT 50843 SOS 11972 HAS SOPS 11972 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8397.972
AT ITER 1684 NEW BEST:: SOT 50844 SOS 11973 HAS SOPS 11973 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8395.973
AT ITER 1746 NEW BEST:: SOT 50844 SOS 11972 HAS SOPS 11972 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8394.972
AT ITER 1806 NEW BEST:: SOT 50844 SOS 11992 HAS SOPS 11992 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8374.992
AT ITER 1823 NEW BEST:: SOT 50865 SOS 11984 HAS SOPS 11984 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8370.984
AT ITER 1829 NEW BEST:: SOT 50875 SOS 12004 HAS SOPS 12004 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8359.004
AT ITER 1832 NEW BEST:: SOT 50875 SOS 11990 HAS SOPS 11990 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8358.99
AT ITER 1834 NEW BEST:: SOT 50872 SOS 11992 HAS SOPS 11992 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8356.992
AT ITER 1852 NEW BEST:: SOT 50909 SOS 12026 HAS SOPS 12026 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8354.026
AT ITER 1873 NEW BEST:: SOT 50973 SOS 12061 HAS SOPS 12061 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8318.061
AT ITER 1881 NEW BEST:: SOT 50947 SOS 11995 HAS SOPS 11995 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8250.995
AT ITER 1883 NEW BEST:: SOT 50916 SOS 11964 HAS SOPS 11964 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8250.964
AT ITER 1893 NEW BEST:: SOT 50902 SOS 11950 HAS SOPS 11950 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.95
AT ITER 1894 NEW BEST:: SOT 50909 SOS 11891 HAS SOPS 11891 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8174.891
AT ITER 1908 NEW BEST:: SOT 50908 SOS 11890 HAS SOPS 11890 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8156.89
AT ITER 1930 NEW BEST:: SOT 50962 SOS 11998 HAS SOPS 11998 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8140.998
AT ITER 1991 NEW BEST:: SOT 50953 SOS 11980 HAS SOPS 11980 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8122.98
AT ITER 1995 NEW BEST:: SOT 50953 SOS 11980 HAS SOPS 11980 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8105.98
AT ITER 2024 NEW BEST:: SOT 50953 SOS 11987 HAS SOPS 11987 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8098.987
AT ITER 2064 NEW BEST:: SOT 50896 SOS 11873 HAS SOPS 11873 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8041.873
AT ITER 2069 NEW BEST:: SOT 50879 SOS 11858 HAS SOPS 11858 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8026.858
AT ITER 2095 NEW BEST:: SOT 50876 SOS 11841 HAS SOPS 11841 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8020.841
AT ITER 2100 NEW BEST:: SOT 50878 SOS 11702 HAS SOPS 11702 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8000.702
AT ITER 2120 NEW BEST:: SOT 50878 SOS 11702 HAS SOPS 11702 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7993.702
AT ITER 2127 NEW BEST:: SOT 50891 SOS 11701 HAS SOPS 11701 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7992.701
AT ITER 2137 NEW BEST:: SOT 50891 SOS 11700 HAS SOPS 11700 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7991.7
AT ITER 2138 NEW BEST:: SOT 50830 SOS 11639 HAS SOPS 11639 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7966.639
AT ITER 2158 NEW BEST:: SOT 50783 SOS 11585 HAS SOPS 11585 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.585
AT ITER 2161 NEW BEST:: SOT 50789 SOS 11597 HAS SOPS 11597 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7935.597
AT ITER 2271 NEW BEST:: SOT 50788 SOS 11596 HAS SOPS 11596 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7934.596
AT ITER 2288 NEW BEST:: SOT 50775 SOS 11570 HAS SOPS 11570 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7913.57
AT ITER 2317 NEW BEST:: SOT 50766 SOS 11552 HAS SOPS 11552 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7895.552
AT ITER 2326 NEW BEST:: SOT 50765 SOS 11550 HAS SOPS 11550 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7894.55
AT ITER 2336 NEW BEST:: SOT 50765 SOS 11542 HAS SOPS 11542 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7886.542
AT ITER 2342 NEW BEST:: SOT 50772 SOS 11538 HAS SOPS 11538 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7882.538
AT ITER 2420 NEW BEST:: SOT 50751 SOS 11717 HAS SOPS 11717 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7878.717
AT ITER 2437 NEW BEST:: SOT 50748 SOS 11711 HAS SOPS 11711 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7872.711
AT ITER 2449 NEW BEST:: SOT 50742 SOS 11705 HAS SOPS 11705 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7866.705
AT ITER 2486 NEW BEST:: SOT 50738 SOS 11701 HAS SOPS 11701 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7862.701
AT ITER 2529 NEW BEST:: SOT 50737 SOS 11699 HAS SOPS 11699 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7860.699
AT ITER 2533 NEW BEST:: SOT 50720 SOS 11604 HAS SOPS 11604 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7822.604
AT ITER 2537 NEW BEST:: SOT 50711 SOS 11639 HAS SOPS 11639 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7804.639
AT ITER 2564 NEW BEST:: SOT 50707 SOS 11617 HAS SOPS 11617 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7804.617
AT ITER 2595 NEW BEST:: SOT 50706 SOS 11615 HAS SOPS 11615 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7803.615
AT ITER 2615 NEW BEST:: SOT 50706 SOS 11605 HAS SOPS 11605 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7803.605
AT ITER 2641 NEW BEST:: SOT 50710 SOS 11612 HAS SOPS 11612 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7798.612
AT ITER 2645 NEW BEST:: SOT 50705 SOS 11609 HAS SOPS 11609 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7788.609
AT ITER 2705 NEW BEST:: SOT 50662 SOS 11565 HAS SOPS 11565 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.565
AT ITER 2713 NEW BEST:: SOT 50644 SOS 11547 HAS SOPS 11547 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7777.547
AT ITER 2718 NEW BEST:: SOT 50651 SOS 11554 HAS SOPS 11554 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7770.554
AT ITER 2727 NEW BEST:: SOT 50609 SOS 11525 HAS SOPS 11525 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7743.525
AT ITER 2771 NEW BEST:: SOT 50580 SOS 11496 HAS SOPS 11496 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7738.496
AT ITER 2778 NEW BEST:: SOT 50579 SOS 11495 HAS SOPS 11495 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7738.495
AT ITER 2782 NEW BEST:: SOT 50570 SOS 11452 HAS SOPS 11452 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7720.452
AT ITER 2796 NEW BEST:: SOT 50570 SOS 11435 HAS SOPS 11435 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7720.435
AT ITER 2831 NEW BEST:: SOT 50569 SOS 11433 HAS SOPS 11433 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7720.433
AT ITER 2846 NEW BEST:: SOT 50567 SOS 11429 HAS SOPS 11429 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7716.429
AT ITER 2871 NEW BEST:: SOT 50572 SOS 11411 HAS SOPS 11411 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7707.411
AT ITER 2872 NEW BEST:: SOT 50555 SOS 11377 HAS SOPS 11377 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7648.377
AT ITER 2886 NEW BEST:: SOT 50551 SOS 11369 HAS SOPS 11369 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7644.369
AT ITER 2887 NEW BEST:: SOT 50526 SOS 11319 HAS SOPS 11319 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7594.319
AT ITER 2901 NEW BEST:: SOT 50523 SOS 11313 HAS SOPS 11313 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7588.313
AT ITER 2952 NEW BEST:: SOT 50509 SOS 11299 HAS SOPS 11299 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7582.299
AT ITER 2962 NEW BEST:: SOT 50502 SOS 11292 HAS SOPS 11292 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7575.292
AT ITER 3047 NEW BEST:: SOT 50501 SOS 11290 HAS SOPS 11290 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7573.29
AT ITER 3049 NEW BEST:: SOT 50499 SOS 11288 HAS SOPS 11288 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7573.288
AT ITER 3054 NEW BEST:: SOT 50490 SOS 11279 HAS SOPS 11279 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7564.279
AT ITER 3119 NEW BEST:: SOT 50493 SOS 11278 HAS SOPS 11278 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7563.278
AT ITER 3133 NEW BEST:: SOT 50507 SOS 11292 HAS SOPS 11292 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7557.292
AT ITER 3174 NEW BEST:: SOT 50499 SOS 11288 HAS SOPS 11288 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7551.288
AT ITER 3193 NEW BEST:: SOT 50495 SOS 11284 HAS SOPS 11284 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7547.284
AT ITER 3195 NEW BEST:: SOT 50464 SOS 11244 HAS SOPS 11244 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7507.244
AT ITER 3210 NEW BEST:: SOT 50464 SOS 11244 HAS SOPS 11244 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7504.244
AT ITER 3211 NEW BEST:: SOT 50414 SOS 11171 HAS SOPS 11171 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7481.171
AT ITER 3218 NEW BEST:: SOT 50387 SOS 11149 HAS SOPS 11149 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7478.149
AT ITER 3228 NEW BEST:: SOT 50367 SOS 11109 HAS SOPS 11109 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7448.109
AT ITER 3263 NEW BEST:: SOT 50347 SOS 11089 HAS SOPS 11089 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7408.089
AT ITER 3280 NEW BEST:: SOT 50342 SOS 11084 HAS SOPS 11084 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7403.084
AT ITER 3283 NEW BEST:: SOT 50327 SOS 11031 HAS SOPS 11031 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7350.031
AT ITER 3307 NEW BEST:: SOT 50329 SOS 11022 HAS SOPS 11022 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7341.022
AT ITER 3356 NEW BEST:: SOT 50295 SOS 10971 HAS SOPS 10971 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7306.971
AT ITER 3364 NEW BEST:: SOT 50297 SOS 10950 HAS SOPS 10950 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7285.95
AT ITER 3391 NEW BEST:: SOT 50289 SOS 10946 HAS SOPS 10946 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7281.946
AT ITER 3400 NEW BEST:: SOT 50272 SOS 10851 HAS SOPS 10851 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7225.851
AT ITER 3444 NEW BEST:: SOT 50256 SOS 10835 HAS SOPS 10835 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7209.835
AT ITER 3478 NEW BEST:: SOT 50256 SOS 10835 HAS SOPS 10835 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7200.835
AT ITER 3508 NEW BEST:: SOT 50256 SOS 10831 HAS SOPS 10831 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7196.831
AT ITER 3516 NEW BEST:: SOT 50231 SOS 10781 HAS SOPS 10781 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7157.781
AT ITER 3579 NEW BEST:: SOT 50220 SOS 10739 HAS SOPS 10739 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7146.739
AT ITER 3582 NEW BEST:: SOT 50221 SOS 10720 HAS SOPS 10720 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7145.72
AT ITER 3592 NEW BEST:: SOT 50218 SOS 10714 HAS SOPS 10714 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7139.714
AT ITER 3600 NEW BEST:: SOT 50216 SOS 10710 HAS SOPS 10710 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7138.71
AT ITER 3604 NEW BEST:: SOT 50209 SOS 10696 HAS SOPS 10696 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7133.696
AT ITER 3728 NEW BEST:: SOT 50165 SOS 10632 HAS SOPS 10632 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7092.632
AT ITER 3753 NEW BEST:: SOT 50165 SOS 10623 HAS SOPS 10623 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7092.623
AT ITER 3797 NEW BEST:: SOT 50165 SOS 10623 HAS SOPS 10623 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7090.623
AT ITER 3849 NEW BEST:: SOT 50165 SOS 10619 HAS SOPS 10619 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7086.619
AT ITER 3855 NEW BEST:: SOT 50176 SOS 10595 HAS SOPS 10595 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7078.595
AT ITER 3862 NEW BEST:: SOT 50151 SOS 10581 HAS SOPS 10581 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7064.581
AT ITER 3885 NEW BEST:: SOT 50150 SOS 10580 HAS SOPS 10580 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7063.58
AT ITER 3894 NEW BEST:: SOT 50150 SOS 10580 HAS SOPS 10580 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7057.58
AT ITER 3905 NEW BEST:: SOT 50130 SOS 10560 HAS SOPS 10560 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7047.56
AT ITER 3928 NEW BEST:: SOT 50108 SOS 10516 HAS SOPS 10516 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7025.516
AT ITER 3979 NEW BEST:: SOT 50108 SOS 10510 HAS SOPS 10510 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7010.51
AT ITER 4023 NEW BEST:: SOT 50100 SOS 10497 HAS SOPS 10497 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7007.497
AT ITER 4076 NEW BEST:: SOT 50108 SOS 10491 HAS SOPS 10491 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 7001.491
AT ITER 4101 NEW BEST:: SOT 50093 SOS 10446 HAS SOPS 10446 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6971.446
AT ITER 4105 NEW BEST:: SOT 50082 SOS 10435 HAS SOPS 10435 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6960.435
AT ITER 4107 NEW BEST:: SOT 50082 SOS 10435 HAS SOPS 10435 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6954.435
AT ITER 4182 NEW BEST:: SOT 50100 SOS 10431 HAS SOPS 10431 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6954.431
AT ITER 4195 NEW BEST:: SOT 50098 SOS 10427 HAS SOPS 10427 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6936.427
AT ITER 4202 NEW BEST:: SOT 50090 SOS 10402 HAS SOPS 10402 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6920.402
AT ITER 4255 NEW BEST:: SOT 50089 SOS 10401 HAS SOPS 10401 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6919.401
AT ITER 4266 NEW BEST:: SOT 50089 SOS 10401 HAS SOPS 10401 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6913.401
AT ITER 4272 NEW BEST:: SOT 50064 SOS 10376 HAS SOPS 10376 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6913.376
AT ITER 4333 NEW BEST:: SOT 50059 SOS 10352 HAS SOPS 10352 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6895.352
AT ITER 4353 NEW BEST:: SOT 50051 SOS 10344 HAS SOPS 10344 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6888.344
AT ITER 4417 NEW BEST:: SOT 50049 SOS 10338 HAS SOPS 10338 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6884.338
AT ITER 4489 NEW BEST:: SOT 50049 SOS 10338 HAS SOPS 10338 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6869.338
AT ITER 4548 NEW BEST:: SOT 50041 SOS 10198 HAS SOPS 10198 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6851.198
AT ITER 4580 NEW BEST:: SOT 50041 SOS 10195 HAS SOPS 10195 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6848.195
AT ITER 4616 NEW BEST:: SOT 50038 SOS 10189 HAS SOPS 10189 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6842.189
AT ITER 4643 NEW BEST:: SOT 50037 SOS 10187 HAS SOPS 10187 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6840.187
AT ITER 4661 NEW BEST:: SOT 50046 SOS 10195 HAS SOPS 10195 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6839.195
AT ITER 4695 NEW BEST:: SOT 50045 SOS 10184 HAS SOPS 10184 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6837.184
AT ITER 4704 NEW BEST:: SOT 50043 SOS 10192 HAS SOPS 10192 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6835.192
AT ITER 4753 NEW BEST:: SOT 50041 SOS 10188 HAS SOPS 10188 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6831.188
AT ITER 4803 NEW BEST:: SOT 50035 SOS 10176 HAS SOPS 10176 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6819.176
AT ITER 4819 NEW BEST:: SOT 50035 SOS 10176 HAS SOPS 10176 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6813.176
AT ITER 4952 NEW BEST:: SOT 50033 SOS 10174 HAS SOPS 10174 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6813.174
AT ITER 4954 NEW BEST:: SOT 50022 SOS 10141 HAS SOPS 10141 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6812.141
AT ITER 4971 NEW BEST:: SOT 50004 SOS 10233 HAS SOPS 10233 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6800.233
AT ITER 4972 NEW BEST:: SOT 49989 SOS 10217 HAS SOPS 10217 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6792.217
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-11-CTLFireability-00 (EF( (AU( ( ((potential((tk(P130)>=1)))) | ((potential((tk(P195)>=1)))) ) , ( ((potential((tk(P65)>=1)))) | ((potential((tk(P282)>=1)))) ) ))))
PROPERTY: SmartHome-PT-11-CTLFireability-01 (AF( ( (EX( ((potential((tk(P99)>=1)))))) | (EF( ( ((potential((tk(P107)>=1)))) & ((potential((tk(P196)>=1) & (tk(P254)>=1)))) ))) )))
PROPERTY: SmartHome-PT-11-CTLFireability-02 ( (AF( ( ((potential((tk(P86)>=1)))) & (EF( ((potential((tk(P105)>=1)))))) ))) | (AG( (EX( (! ((potential((tk(P118)>=1))))))))) )
PROPERTY: SmartHome-PT-11-CTLFireability-03 ( (EF( (EU( ((potential((tk(P235)>=1)))) , ((potential((tk(P176)>=1)))) )))) | (AU( (! ( ((potential((tk(P7)>=1)))) | ((potential((tk(P45)>=1)))) )) , ( ((potential((tk(P225)>=1)))) | ( ((potential((tk(P228)>=1)))) & ((potential((tk(P22)>=1)))) ) ) )) )
PROPERTY: SmartHome-PT-11-CTLFireability-04 (EU( ( (EF( ((potential((tk(P59)>=1)))))) | (! ( ((potential((tk(P184)>=1)))) & ((potential((tk(P252)>=1)))) )) ) , ((potential((tk(P158)>=1)))) ))
PROPERTY: SmartHome-PT-11-CTLFireability-05 (EU( (EF( ( ((potential((tk(P62)>=1)))) | ((potential((tk(P97)>=1)))) ))) , ((potential((tk(P99)>=1)))) ))
PROPERTY: SmartHome-PT-11-CTLFireability-06 (EG( ( (! ( (! ((potential((tk(P170)>=1))))) | ((potential((tk(P41)>=1)))) )) | ( (! ( ((potential((tk(P56)>=1)))) | ((potential((tk(P136)>=1)))) )) & (EF( ((potential((tk(P57)>=1)))))) ) )))
PROPERTY: SmartHome-PT-11-CTLFireability-07 (EU( (! (EG( ((potential((tk(P75)>=1))))))) , ((potential((tk(P12)>=1)))) ))
PROPERTY: SmartHome-PT-11-CTLFireability-08 (EF( (EF( ((potential((tk(P196)>=1) & (tk(P289)>=1))))))))
PROPERTY: SmartHome-PT-11-CTLFireability-09 (EF( ( ((potential((tk(P68)>=1)))) & (EG( (! ((potential((tk(P227)>=1))))))) )))
PROPERTY: SmartHome-PT-11-CTLFireability-10 ( (AG( (EG( ( ((potential((tk(P124)>=1)))) | ((potential((tk(P28)>=1)))) ))))) | (AG( (AX( (! ((potential((tk(P196)>=1) & (tk(P284)>=1))))))))) )
PROPERTY: SmartHome-PT-11-CTLFireability-11 (EU( (EG( (! ((potential((tk(P196)>=1))))))) , ((potential((tk(P95)>=1)))) ))
PROPERTY: SmartHome-PT-11-CTLFireability-12 (EX( (AG( (! ((potential((tk(P290)>=1) & (tk(P287)>=1)))))))))
PROPERTY: SmartHome-PT-11-CTLFireability-13 (AX( ( (AF( ( ((potential((tk(P154)>=1)))) | ((potential((tk(P3)>=1) & (tk(P196)>=1)))) ))) | ( (EF( ((potential((tk(P85)>=1)))))) & (! ( ((potential((tk(P153)>=1)))) | ((potential((tk(P87)>=1)))) )) ) )))
PROPERTY: SmartHome-PT-11-CTLFireability-14 ( (AX( ( (EF( ((potential((tk(P25)>=1)))))) & (EF( ((potential((tk(P180)>=1)))))) ))) & ( ( (AX( ( ((potential((tk(P56)>=1)))) & ((potential((tk(P24)>=1)))) ))) & ((potential((tk(P190)>=1)))) ) | (AF( ( ( ((potential((tk(P104)>=1)))) & ((potential((tk(P95)>=1)))) ) | (! ((potential((tk(P88)>=1))))) ))) ) )
PROPERTY: SmartHome-PT-11-CTLFireability-15 (EU( (! ( ( ((potential((tk(P157)>=1)))) | ((potential((tk(P47)>=1)))) ) & ( ((potential((tk(P228)>=1) & (tk(P233)>=1)))) | ((potential((tk(P136)>=1)))) ) )) , ((potential((tk(P159)>=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-11"
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-11, 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-159033538300084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-11.tgz
mv SmartHome-PT-11 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 ;