About the Execution of smart for SmartHome-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15760.730 | 3600000.00 | 3599111.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-159033538300075.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-10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300075
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 2.7K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 68K 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-10-CTLCardinality-00
FORMULA_NAME SmartHome-PT-10-CTLCardinality-01
FORMULA_NAME SmartHome-PT-10-CTLCardinality-02
FORMULA_NAME SmartHome-PT-10-CTLCardinality-03
FORMULA_NAME SmartHome-PT-10-CTLCardinality-04
FORMULA_NAME SmartHome-PT-10-CTLCardinality-05
FORMULA_NAME SmartHome-PT-10-CTLCardinality-06
FORMULA_NAME SmartHome-PT-10-CTLCardinality-07
FORMULA_NAME SmartHome-PT-10-CTLCardinality-08
FORMULA_NAME SmartHome-PT-10-CTLCardinality-09
FORMULA_NAME SmartHome-PT-10-CTLCardinality-10
FORMULA_NAME SmartHome-PT-10-CTLCardinality-11
FORMULA_NAME SmartHome-PT-10-CTLCardinality-12
FORMULA_NAME SmartHome-PT-10-CTLCardinality-13
FORMULA_NAME SmartHome-PT-10-CTLCardinality-14
FORMULA_NAME SmartHome-PT-10-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590469745029
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 10
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 273 places, 308 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 48623 SOS 11211 HAS SOPS 11211 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.211
AT ITER 5 NEW BEST:: SOT 48591 SOS 11163 HAS SOPS 11163 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10681.163
AT ITER 8 NEW BEST:: SOT 48541 SOS 11086 HAS SOPS 11086 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10568.086
AT ITER 52 NEW BEST:: SOT 48541 SOS 11062 HAS SOPS 11062 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10544.062
AT ITER 56 NEW BEST:: SOT 48461 SOS 10945 HAS SOPS 10945 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10421.945
AT ITER 57 NEW BEST:: SOT 48290 SOS 13063 HAS SOPS 13063 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10361.063
AT ITER 67 NEW BEST:: SOT 47641 SOS 12467 HAS SOPS 12467 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9711.467
AT ITER 111 NEW BEST:: SOT 47624 SOS 12451 HAS SOPS 12451 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9695.451
AT ITER 118 NEW BEST:: SOT 47588 SOS 12379 HAS SOPS 12379 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9607.379
AT ITER 126 NEW BEST:: SOT 47587 SOS 12377 HAS SOPS 12377 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9605.377
AT ITER 136 NEW BEST:: SOT 47557 SOS 12363 HAS SOPS 12363 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9572.363
AT ITER 156 NEW BEST:: SOT 47556 SOS 12352 HAS SOPS 12352 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9566.352
AT ITER 157 NEW BEST:: SOT 47541 SOS 12322 HAS SOPS 12322 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9504.322
AT ITER 180 NEW BEST:: SOT 47489 SOS 12293 HAS SOPS 12293 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9457.293
AT ITER 193 NEW BEST:: SOT 47489 SOS 12293 HAS SOPS 12293 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9438.293
AT ITER 228 NEW BEST:: SOT 47482 SOS 12279 HAS SOPS 12279 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9424.279
AT ITER 235 NEW BEST:: SOT 47478 SOS 12275 HAS SOPS 12275 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9420.275
AT ITER 237 NEW BEST:: SOT 47478 SOS 12275 HAS SOPS 12275 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9403.275
AT ITER 260 NEW BEST:: SOT 47452 SOS 12249 HAS SOPS 12249 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9395.249
AT ITER 335 NEW BEST:: SOT 47460 SOS 12240 HAS SOPS 12240 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9386.24
AT ITER 343 NEW BEST:: SOT 47460 SOS 12218 HAS SOPS 12218 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9364.218
AT ITER 354 NEW BEST:: SOT 47366 SOS 13302 HAS SOPS 13302 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9362.302
AT ITER 358 NEW BEST:: SOT 47285 SOS 13169 HAS SOPS 13169 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9361.169
AT ITER 370 NEW BEST:: SOT 47218 SOS 13178 HAS SOPS 13178 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9294.178
AT ITER 372 NEW BEST:: SOT 47173 SOS 13133 HAS SOPS 13133 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9276.133
AT ITER 386 NEW BEST:: SOT 47146 SOS 13079 HAS SOPS 13079 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9249.079
AT ITER 405 NEW BEST:: SOT 47144 SOS 13075 HAS SOPS 13075 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9248.075
AT ITER 406 NEW BEST:: SOT 47117 SOS 13021 HAS SOPS 13021 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9221.021
AT ITER 408 NEW BEST:: SOT 47124 SOS 13015 HAS SOPS 13015 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9175.015
AT ITER 409 NEW BEST:: SOT 47095 SOS 12957 HAS SOPS 12957 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9145.957
AT ITER 425 NEW BEST:: SOT 47091 SOS 12949 HAS SOPS 12949 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9133.949
AT ITER 428 NEW BEST:: SOT 47053 SOS 12892 HAS SOPS 12892 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.892
AT ITER 431 NEW BEST:: SOT 47082 SOS 11623 HAS SOPS 11623 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9095.623
AT ITER 438 NEW BEST:: SOT 47062 SOS 11603 HAS SOPS 11603 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9075.603
AT ITER 452 NEW BEST:: SOT 47021 SOS 11592 HAS SOPS 11592 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9075.592
AT ITER 471 NEW BEST:: SOT 46930 SOS 11579 HAS SOPS 11579 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8985.579
AT ITER 473 NEW BEST:: SOT 46516 SOS 11821 HAS SOPS 11821 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8760.821
AT ITER 475 NEW BEST:: SOT 46458 SOS 11705 HAS SOPS 11705 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8673.705
AT ITER 477 NEW BEST:: SOT 46458 SOS 11742 HAS SOPS 11742 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8669.742
AT ITER 500 NEW BEST:: SOT 46431 SOS 11688 HAS SOPS 11688 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8615.688
AT ITER 546 NEW BEST:: SOT 46394 SOS 11601 HAS SOPS 11601 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8573.601
AT ITER 557 NEW BEST:: SOT 46394 SOS 11587 HAS SOPS 11587 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8573.587
AT ITER 560 NEW BEST:: SOT 46375 SOS 11530 HAS SOPS 11530 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8535.53
AT ITER 571 NEW BEST:: SOT 46375 SOS 11465 HAS SOPS 11465 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8505.465
AT ITER 584 NEW BEST:: SOT 46372 SOS 11459 HAS SOPS 11459 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8504.459
AT ITER 590 NEW BEST:: SOT 46337 SOS 11389 HAS SOPS 11389 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8472.389
AT ITER 594 NEW BEST:: SOT 46331 SOS 11383 HAS SOPS 11383 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8472.383
AT ITER 603 NEW BEST:: SOT 46321 SOS 11373 HAS SOPS 11373 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8462.373
AT ITER 609 NEW BEST:: SOT 46295 SOS 11547 HAS SOPS 11547 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8436.547
AT ITER 617 NEW BEST:: SOT 46285 SOS 11527 HAS SOPS 11527 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8405.527
AT ITER 639 NEW BEST:: SOT 46285 SOS 11527 HAS SOPS 11527 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.527
AT ITER 649 NEW BEST:: SOT 46250 SOS 11457 HAS SOPS 11457 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.457
AT ITER 665 NEW BEST:: SOT 46250 SOS 11455 HAS SOPS 11455 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.455
AT ITER 666 NEW BEST:: SOT 46245 SOS 11445 HAS SOPS 11445 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8347.445
AT ITER 670 NEW BEST:: SOT 46246 SOS 11429 HAS SOPS 11429 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8331.429
AT ITER 680 NEW BEST:: SOT 46239 SOS 11415 HAS SOPS 11415 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8317.415
AT ITER 706 NEW BEST:: SOT 46220 SOS 11396 HAS SOPS 11396 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8298.396
AT ITER 720 NEW BEST:: SOT 46265 SOS 11350 HAS SOPS 11350 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8276.35
AT ITER 749 NEW BEST:: SOT 46263 SOS 11348 HAS SOPS 11348 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8272.348
AT ITER 752 NEW BEST:: SOT 46255 SOS 11340 HAS SOPS 11340 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8261.34
AT ITER 762 NEW BEST:: SOT 46233 SOS 11296 HAS SOPS 11296 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8239.296
AT ITER 763 NEW BEST:: SOT 46279 SOS 11388 HAS SOPS 11388 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8237.388
AT ITER 771 NEW BEST:: SOT 46278 SOS 11386 HAS SOPS 11386 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8235.386
AT ITER 773 NEW BEST:: SOT 46265 SOS 11373 HAS SOPS 11373 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8234.373
AT ITER 783 NEW BEST:: SOT 46246 SOS 11351 HAS SOPS 11351 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8231.351
AT ITER 795 NEW BEST:: SOT 46250 SOS 11359 HAS SOPS 11359 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8230.359
AT ITER 799 NEW BEST:: SOT 46250 SOS 11359 HAS SOPS 11359 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8193.359
AT ITER 803 NEW BEST:: SOT 46250 SOS 11316 HAS SOPS 11316 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8150.316
AT ITER 819 NEW BEST:: SOT 46254 SOS 11315 HAS SOPS 11315 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8149.315
AT ITER 825 NEW BEST:: SOT 46247 SOS 11301 HAS SOPS 11301 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8142.301
AT ITER 839 NEW BEST:: SOT 46244 SOS 11295 HAS SOPS 11295 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8136.295
AT ITER 841 NEW BEST:: SOT 46236 SOS 11279 HAS SOPS 11279 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8128.279
AT ITER 850 NEW BEST:: SOT 46236 SOS 11279 HAS SOPS 11279 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8120.279
AT ITER 854 NEW BEST:: SOT 46262 SOS 11331 HAS SOPS 11331 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8100.331
AT ITER 856 NEW BEST:: SOT 46261 SOS 11329 HAS SOPS 11329 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8098.329
AT ITER 863 NEW BEST:: SOT 46261 SOS 11329 HAS SOPS 11329 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8095.329
AT ITER 875 NEW BEST:: SOT 46270 SOS 11336 HAS SOPS 11336 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8091.336
AT ITER 885 NEW BEST:: SOT 46250 SOS 11315 HAS SOPS 11315 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8089.315
AT ITER 893 NEW BEST:: SOT 46268 SOS 11351 HAS SOPS 11351 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8087.351
AT ITER 919 NEW BEST:: SOT 46297 SOS 11342 HAS SOPS 11342 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8078.342
AT ITER 928 NEW BEST:: SOT 46297 SOS 11341 HAS SOPS 11341 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8077.341
AT ITER 949 NEW BEST:: SOT 46240 SOS 11243 HAS SOPS 11243 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8000.243
AT ITER 988 NEW BEST:: SOT 46110 SOS 12185 HAS SOPS 12185 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7969.185
AT ITER 994 NEW BEST:: SOT 46109 SOS 12183 HAS SOPS 12183 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7967.183
AT ITER 1031 NEW BEST:: SOT 46109 SOS 12176 HAS SOPS 12176 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7967.176
AT ITER 1038 NEW BEST:: SOT 46109 SOS 12160 HAS SOPS 12160 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7951.16
AT ITER 1056 NEW BEST:: SOT 46107 SOS 12158 HAS SOPS 12158 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7949.158
AT ITER 1067 NEW BEST:: SOT 46101 SOS 12161 HAS SOPS 12161 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7946.161
AT ITER 1083 NEW BEST:: SOT 46074 SOS 12134 HAS SOPS 12134 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7946.134
AT ITER 1084 NEW BEST:: SOT 46065 SOS 12109 HAS SOPS 12109 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7921.109
AT ITER 1111 NEW BEST:: SOT 46047 SOS 12082 HAS SOPS 12082 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7898.082
AT ITER 1115 NEW BEST:: SOT 46047 SOS 12119 HAS SOPS 12119 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7878.119
AT ITER 1158 NEW BEST:: SOT 46051 SOS 11871 HAS SOPS 11871 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7861.871
AT ITER 1162 NEW BEST:: SOT 46059 SOS 11846 HAS SOPS 11846 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7836.846
AT ITER 1166 NEW BEST:: SOT 46025 SOS 11232 HAS SOPS 11232 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.232
AT ITER 1178 NEW BEST:: SOT 45990 SOS 11162 HAS SOPS 11162 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7709.162
AT ITER 1202 NEW BEST:: SOT 45985 SOS 11152 HAS SOPS 11152 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.152
AT ITER 1208 NEW BEST:: SOT 45985 SOS 11134 HAS SOPS 11134 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7683.134
AT ITER 1226 NEW BEST:: SOT 45960 SOS 11084 HAS SOPS 11084 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7633.084
AT ITER 1260 NEW BEST:: SOT 45946 SOS 10934 HAS SOPS 10934 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7630.934
AT ITER 1305 NEW BEST:: SOT 45947 SOS 10918 HAS SOPS 10918 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7606.918
AT ITER 1306 NEW BEST:: SOT 45867 SOS 10758 HAS SOPS 10758 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7530.758
AT ITER 1308 NEW BEST:: SOT 45866 SOS 10756 HAS SOPS 10756 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7528.756
AT ITER 1314 NEW BEST:: SOT 45846 SOS 10716 HAS SOPS 10716 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7488.716
AT ITER 1318 NEW BEST:: SOT 45836 SOS 10716 HAS SOPS 10716 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7478.716
AT ITER 1326 NEW BEST:: SOT 45820 SOS 10692 HAS SOPS 10692 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7467.692
AT ITER 1329 NEW BEST:: SOT 45814 SOS 10662 HAS SOPS 10662 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7464.662
AT ITER 1355 NEW BEST:: SOT 45821 SOS 10676 HAS SOPS 10676 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7441.676
AT ITER 1359 NEW BEST:: SOT 45820 SOS 10674 HAS SOPS 10674 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7439.674
AT ITER 1361 NEW BEST:: SOT 45819 SOS 10641 HAS SOPS 10641 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7437.641
AT ITER 1392 NEW BEST:: SOT 45817 SOS 10672 HAS SOPS 10672 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7435.672
AT ITER 1408 NEW BEST:: SOT 45854 SOS 10734 HAS SOPS 10734 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7431.734
AT ITER 1416 NEW BEST:: SOT 45860 SOS 10746 HAS SOPS 10746 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7429.746
AT ITER 1425 NEW BEST:: SOT 45893 SOS 10786 HAS SOPS 10786 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7406.786
AT ITER 1428 NEW BEST:: SOT 45890 SOS 10793 HAS SOPS 10793 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7403.793
AT ITER 1466 NEW BEST:: SOT 45890 SOS 10790 HAS SOPS 10790 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7400.79
AT ITER 1520 NEW BEST:: SOT 45894 SOS 10920 HAS SOPS 10920 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7392.92
AT ITER 1554 NEW BEST:: SOT 45886 SOS 10912 HAS SOPS 10912 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7392.912
AT ITER 1558 NEW BEST:: SOT 45883 SOS 10906 HAS SOPS 10906 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7389.906
AT ITER 1560 NEW BEST:: SOT 45883 SOS 10773 HAS SOPS 10773 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7382.773
AT ITER 1570 NEW BEST:: SOT 45879 SOS 10765 HAS SOPS 10765 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7382.765
AT ITER 1583 NEW BEST:: SOT 45881 SOS 10769 HAS SOPS 10769 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7359.769
AT ITER 1627 NEW BEST:: SOT 45787 SOS 11525 HAS SOPS 11525 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7354.525
AT ITER 1632 NEW BEST:: SOT 45780 SOS 11329 HAS SOPS 11329 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7340.329
AT ITER 1642 NEW BEST:: SOT 45783 SOS 11317 HAS SOPS 11317 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7339.317
AT ITER 1648 NEW BEST:: SOT 45772 SOS 11306 HAS SOPS 11306 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7339.306
AT ITER 1658 NEW BEST:: SOT 45719 SOS 11200 HAS SOPS 11200 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7290.2
AT ITER 1669 NEW BEST:: SOT 45719 SOS 11203 HAS SOPS 11203 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7287.203
AT ITER 1681 NEW BEST:: SOT 45703 SOS 11171 HAS SOPS 11171 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7255.171
AT ITER 1714 NEW BEST:: SOT 45703 SOS 11164 HAS SOPS 11164 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7255.164
AT ITER 1717 NEW BEST:: SOT 45643 SOS 11044 HAS SOPS 11044 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7228.044
AT ITER 1749 NEW BEST:: SOT 45638 SOS 11034 HAS SOPS 11034 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7223.034
AT ITER 1765 NEW BEST:: SOT 45638 SOS 11029 HAS SOPS 11029 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7223.029
AT ITER 1777 NEW BEST:: SOT 45665 SOS 10717 HAS SOPS 10717 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7222.717
AT ITER 1789 NEW BEST:: SOT 45651 SOS 10696 HAS SOPS 10696 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7201.696
AT ITER 1891 NEW BEST:: SOT 45632 SOS 10820 HAS SOPS 10820 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7190.82
AT ITER 1897 NEW BEST:: SOT 45614 SOS 10784 HAS SOPS 10784 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7188.784
AT ITER 1902 NEW BEST:: SOT 45607 SOS 10777 HAS SOPS 10777 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7181.777
AT ITER 1918 NEW BEST:: SOT 45589 SOS 10759 HAS SOPS 10759 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7181.759
AT ITER 1945 NEW BEST:: SOT 45586 SOS 10756 HAS SOPS 10756 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7178.756
AT ITER 1958 NEW BEST:: SOT 45577 SOS 10738 HAS SOPS 10738 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7164.738
AT ITER 2025 NEW BEST:: SOT 45538 SOS 11072 HAS SOPS 11072 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7158.072
AT ITER 2026 NEW BEST:: SOT 45536 SOS 11070 HAS SOPS 11070 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7156.07
AT ITER 2031 NEW BEST:: SOT 45536 SOS 11066 HAS SOPS 11066 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7156.066
AT ITER 2054 NEW BEST:: SOT 45542 SOS 10982 HAS SOPS 10982 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7155.982
AT ITER 2057 NEW BEST:: SOT 45542 SOS 10980 HAS SOPS 10980 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7153.98
AT ITER 2150 NEW BEST:: SOT 45512 SOS 10920 HAS SOPS 10920 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7126.92
AT ITER 2164 NEW BEST:: SOT 45504 SOS 10904 HAS SOPS 10904 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7118.904
AT ITER 2191 NEW BEST:: SOT 45501 SOS 10898 HAS SOPS 10898 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7112.898
AT ITER 2201 NEW BEST:: SOT 45503 SOS 10868 HAS SOPS 10868 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7106.868
AT ITER 2202 NEW BEST:: SOT 45479 SOS 10820 HAS SOPS 10820 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7100.82
AT ITER 2212 NEW BEST:: SOT 45488 SOS 10869 HAS SOPS 10869 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7092.869
AT ITER 2231 NEW BEST:: SOT 45488 SOS 10845 HAS SOPS 10845 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7092.845
AT ITER 2260 NEW BEST:: SOT 45488 SOS 10841 HAS SOPS 10841 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7088.841
AT ITER 2274 NEW BEST:: SOT 45472 SOS 10825 HAS SOPS 10825 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7072.825
AT ITER 2302 NEW BEST:: SOT 45456 SOS 10809 HAS SOPS 10809 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7066.809
AT ITER 2334 NEW BEST:: SOT 45449 SOS 10792 HAS SOPS 10792 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7056.792
AT ITER 2379 NEW BEST:: SOT 45435 SOS 10774 HAS SOPS 10774 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7035.774
AT ITER 2391 NEW BEST:: SOT 45435 SOS 10774 HAS SOPS 10774 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7030.774
AT ITER 2411 NEW BEST:: SOT 45426 SOS 10720 HAS SOPS 10720 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6994.72
AT ITER 2413 NEW BEST:: SOT 45422 SOS 10748 HAS SOPS 10748 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6990.748
AT ITER 2417 NEW BEST:: SOT 45416 SOS 10760 HAS SOPS 10760 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6984.76
AT ITER 2467 NEW BEST:: SOT 45420 SOS 10754 HAS SOPS 10754 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6978.754
AT ITER 2491 NEW BEST:: SOT 45414 SOS 10742 HAS SOPS 10742 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6966.742
AT ITER 2511 NEW BEST:: SOT 45417 SOS 10749 HAS SOPS 10749 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6962.749
AT ITER 2518 NEW BEST:: SOT 45398 SOS 10762 HAS SOPS 10762 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6954.762
AT ITER 2522 NEW BEST:: SOT 45388 SOS 10722 HAS SOPS 10722 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6924.722
AT ITER 2537 NEW BEST:: SOT 45327 SOS 10639 HAS SOPS 10639 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6895.639
AT ITER 2564 NEW BEST:: SOT 45324 SOS 10630 HAS SOPS 10630 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6889.63
AT ITER 2575 NEW BEST:: SOT 45322 SOS 10628 HAS SOPS 10628 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6879.628
AT ITER 2590 NEW BEST:: SOT 45305 SOS 10762 HAS SOPS 10762 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6862.762
AT ITER 2623 NEW BEST:: SOT 45288 SOS 10728 HAS SOPS 10728 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6828.728
AT ITER 2624 NEW BEST:: SOT 45292 SOS 10736 HAS SOPS 10736 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6809.736
AT ITER 2655 NEW BEST:: SOT 45242 SOS 10700 HAS SOPS 10700 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6759.7
AT ITER 2667 NEW BEST:: SOT 45285 SOS 10750 HAS SOPS 10750 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6737.75
AT ITER 2671 NEW BEST:: SOT 45274 SOS 11102 HAS SOPS 11102 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6729.102
AT ITER 2729 NEW BEST:: SOT 45268 SOS 11090 HAS SOPS 11090 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6717.09
AT ITER 2739 NEW BEST:: SOT 45260 SOS 11082 HAS SOPS 11082 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6688.082
AT ITER 2750 NEW BEST:: SOT 45260 SOS 11082 HAS SOPS 11082 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6683.082
AT ITER 2778 NEW BEST:: SOT 45247 SOS 11064 HAS SOPS 11064 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6665.064
AT ITER 2788 NEW BEST:: SOT 45238 SOS 11058 HAS SOPS 11058 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6653.058
AT ITER 2809 NEW BEST:: SOT 45238 SOS 11057 HAS SOPS 11057 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6652.057
AT ITER 2819 NEW BEST:: SOT 45234 SOS 11049 HAS SOPS 11049 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6644.049
AT ITER 2828 NEW BEST:: SOT 45215 SOS 11037 HAS SOPS 11037 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6592.037
AT ITER 2865 NEW BEST:: SOT 45208 SOS 11023 HAS SOPS 11023 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6578.023
AT ITER 2871 NEW BEST:: SOT 45197 SOS 11001 HAS SOPS 11001 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6567.001
AT ITER 2885 NEW BEST:: SOT 45167 SOS 10941 HAS SOPS 10941 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6536.941
AT ITER 2889 NEW BEST:: SOT 45168 SOS 10920 HAS SOPS 10920 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6520.92
AT ITER 2935 NEW BEST:: SOT 45164 SOS 10914 HAS SOPS 10914 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6516.914
AT ITER 2962 NEW BEST:: SOT 45166 SOS 10916 HAS SOPS 10916 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.916
AT ITER 2966 NEW BEST:: SOT 45165 SOS 10914 HAS SOPS 10914 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6512.914
AT ITER 2970 NEW BEST:: SOT 45194 SOS 10655 HAS SOPS 10655 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6512.655
AT ITER 2991 NEW BEST:: SOT 45215 SOS 10691 HAS SOPS 10691 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6510.691
AT ITER 2997 NEW BEST:: SOT 45248 SOS 10645 HAS SOPS 10645 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6486.645
AT ITER 3003 NEW BEST:: SOT 45249 SOS 10642 HAS SOPS 10642 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6483.642
AT ITER 3057 NEW BEST:: SOT 45247 SOS 10616 HAS SOPS 10616 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6481.616
AT ITER 3099 NEW BEST:: SOT 45226 SOS 10593 HAS SOPS 10593 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6458.593
AT ITER 3100 NEW BEST:: SOT 45222 SOS 10588 HAS SOPS 10588 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6454.588
AT ITER 3112 NEW BEST:: SOT 45218 SOS 10555 HAS SOPS 10555 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6443.555
AT ITER 3138 NEW BEST:: SOT 45215 SOS 10546 HAS SOPS 10546 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6437.546
AT ITER 3191 NEW BEST:: SOT 45207 SOS 10530 HAS SOPS 10530 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6429.53
AT ITER 3196 NEW BEST:: SOT 45199 SOS 10522 HAS SOPS 10522 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6417.522
AT ITER 3280 NEW BEST:: SOT 45199 SOS 10521 HAS SOPS 10521 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6416.521
AT ITER 3283 NEW BEST:: SOT 45202 SOS 10512 HAS SOPS 10512 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6407.512
AT ITER 3285 NEW BEST:: SOT 45198 SOS 10540 HAS SOPS 10540 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6405.54
AT ITER 3313 NEW BEST:: SOT 45197 SOS 10539 HAS SOPS 10539 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6403.539
AT ITER 3327 NEW BEST:: SOT 45184 SOS 10526 HAS SOPS 10526 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6390.526
AT ITER 3338 NEW BEST:: SOT 45178 SOS 10515 HAS SOPS 10515 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6387.515
AT ITER 3383 NEW BEST:: SOT 45154 SOS 10491 HAS SOPS 10491 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6373.491
AT ITER 3402 NEW BEST:: SOT 45154 SOS 10490 HAS SOPS 10490 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6372.49
AT ITER 3404 NEW BEST:: SOT 45125 SOS 10396 HAS SOPS 10396 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6356.396
AT ITER 3436 NEW BEST:: SOT 45119 SOS 10384 HAS SOPS 10384 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6344.384
AT ITER 3462 NEW BEST:: SOT 45128 SOS 10375 HAS SOPS 10375 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6335.375
AT ITER 3565 NEW BEST:: SOT 45114 SOS 10347 HAS SOPS 10347 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6333.347
AT ITER 3582 NEW BEST:: SOT 45112 SOS 10344 HAS SOPS 10344 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6330.344
AT ITER 3635 NEW BEST:: SOT 45111 SOS 10343 HAS SOPS 10343 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6329.343
AT ITER 3666 NEW BEST:: SOT 45112 SOS 10328 HAS SOPS 10328 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6329.328
AT ITER 3670 NEW BEST:: SOT 45110 SOS 10324 HAS SOPS 10324 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6325.324
AT ITER 3674 NEW BEST:: SOT 45110 SOS 10318 HAS SOPS 10318 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6319.318
AT ITER 3688 NEW BEST:: SOT 45070 SOS 10274 HAS SOPS 10274 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6313.274
AT ITER 3700 NEW BEST:: SOT 45069 SOS 10270 HAS SOPS 10270 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6309.27
AT ITER 3702 NEW BEST:: SOT 45058 SOS 10392 HAS SOPS 10392 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6306.392
AT ITER 3753 NEW BEST:: SOT 45058 SOS 10380 HAS SOPS 10380 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6306.38
AT ITER 3784 NEW BEST:: SOT 45044 SOS 10352 HAS SOPS 10352 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6295.352
AT ITER 3789 NEW BEST:: SOT 45041 SOS 10346 HAS SOPS 10346 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6289.346
AT ITER 3834 NEW BEST:: SOT 45036 SOS 10342 HAS SOPS 10342 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6285.342
AT ITER 3888 NEW BEST:: SOT 45036 SOS 10339 HAS SOPS 10339 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6282.339
AT ITER 3940 NEW BEST:: SOT 45023 SOS 10313 HAS SOPS 10313 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6275.313
AT ITER 3961 NEW BEST:: SOT 45013 SOS 10292 HAS SOPS 10292 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6260.292
AT ITER 4015 NEW BEST:: SOT 45022 SOS 10310 HAS SOPS 10310 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6258.31
AT ITER 4037 NEW BEST:: SOT 45021 SOS 10309 HAS SOPS 10309 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6257.309
AT ITER 4054 NEW BEST:: SOT 45016 SOS 10299 HAS SOPS 10299 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6247.299
AT ITER 4107 NEW BEST:: SOT 45013 SOS 10293 HAS SOPS 10293 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6241.293
AT ITER 4108 NEW BEST:: SOT 44991 SOS 10249 HAS SOPS 10249 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6230.249
AT ITER 4185 NEW BEST:: SOT 44988 SOS 10244 HAS SOPS 10244 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6225.244
AT ITER 4186 NEW BEST:: SOT 44988 SOS 10243 HAS SOPS 10243 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.243
AT ITER 4211 NEW BEST:: SOT 44980 SOS 10234 HAS SOPS 10234 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6209.234
AT ITER 4255 NEW BEST:: SOT 44978 SOS 10230 HAS SOPS 10230 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6205.23
AT ITER 4272 NEW BEST:: SOT 44963 SOS 10196 HAS SOPS 10196 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6190.196
AT ITER 4410 NEW BEST:: SOT 44962 SOS 10191 HAS SOPS 10191 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6188.191
AT ITER 4504 NEW BEST:: SOT 44961 SOS 10191 HAS SOPS 10191 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6187.191
AT ITER 4519 NEW BEST:: SOT 44945 SOS 10175 HAS SOPS 10175 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6178.175
AT ITER 4533 NEW BEST:: SOT 44937 SOS 10168 HAS SOPS 10168 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6162.168
AT ITER 4560 NEW BEST:: SOT 44936 SOS 10166 HAS SOPS 10166 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6160.166
AT ITER 4576 NEW BEST:: SOT 44955 SOS 10180 HAS SOPS 10180 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6156.18
AT ITER 4599 NEW BEST:: SOT 44949 SOS 10174 HAS SOPS 10174 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6155.174
AT ITER 4624 NEW BEST:: SOT 44948 SOS 10172 HAS SOPS 10172 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6153.172
AT ITER 4637 NEW BEST:: SOT 44945 SOS 10166 HAS SOPS 10166 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6152.166
AT ITER 4672 NEW BEST:: SOT 44940 SOS 10156 HAS SOPS 10156 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6142.156
AT ITER 4675 NEW BEST:: SOT 44980 SOS 10236 HAS SOPS 10236 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.236
AT ITER 4712 NEW BEST:: SOT 44975 SOS 10231 HAS SOPS 10231 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.231
AT ITER 4716 NEW BEST:: SOT 44958 SOS 10197 HAS SOPS 10197 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6137.197
AT ITER 4793 NEW BEST:: SOT 44948 SOS 10177 HAS SOPS 10177 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6117.177
AT ITER 4803 NEW BEST:: SOT 44948 SOS 10177 HAS SOPS 10177 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6115.177
AT ITER 4823 NEW BEST:: SOT 44934 SOS 10156 HAS SOPS 10156 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.156
AT ITER 4832 NEW BEST:: SOT 44933 SOS 10155 HAS SOPS 10155 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6093.155
AT ITER 4875 NEW BEST:: SOT 44921 SOS 10131 HAS SOPS 10131 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6091.131
AT ITER 4876 NEW BEST:: SOT 44916 SOS 10055 HAS SOPS 10055 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6086.055
AT ITER 4901 NEW BEST:: SOT 44901 SOS 10025 HAS SOPS 10025 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6078.025
AT ITER 4929 NEW BEST:: SOT 44883 SOS 9989 HAS SOPS 9989 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6065.989
AT ITER 4961 NEW BEST:: SOT 44858 SOS 9978 HAS SOPS 9978 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6054.978
AT ITER 4995 NEW BEST:: SOT 44855 SOS 9975 HAS SOPS 9975 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6051.975
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-10-CTLCardinality-00 (! (AG( potential( (tk(P23)) <= (tk(P272)) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-01 (EF(( (EG( potential( ( 3 ) <= (tk(P23)) ))) | (EX( potential( ( 3 ) <= (tk(P109)) ))) )))
PROPERTY: SmartHome-PT-10-CTLCardinality-02 (EF((AG( potential( ( 3 ) <= (tk(P222)) )))))
PROPERTY: SmartHome-PT-10-CTLCardinality-03 (! (AG( ( (! potential( ( 2 ) <= (tk(P201)) )) | (! potential( ( 2 ) <= (tk(P230)) )) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-04 (! (! (EU( potential( (tk(P214)) <= (tk(P22)) ),potential( ( 1 ) <= (tk(P72)) ) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-05 (AG( (EU( potential( (tk(P162)) <= (tk(P95)) ),potential( ( 3 ) <= (tk(P222)) ) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-06 ( (EF((AF(potential( ( 2 ) <= (tk(P62)) ))))) | (AG( potential( (tk(P208)) <= (tk(P84)) ))) )
PROPERTY: SmartHome-PT-10-CTLCardinality-07 (EF(potential( ( 3 ) <= (tk(P32)) )))
PROPERTY: SmartHome-PT-10-CTLCardinality-08 (EF((EG( (! potential( (tk(P160)) <= (tk(P108)) ))))))
PROPERTY: SmartHome-PT-10-CTLCardinality-09 (EF((! (! (! potential( (tk(P96)) <= (tk(P225)) ))))))
PROPERTY: SmartHome-PT-10-CTLCardinality-10 (! ( (AX( ( potential( (tk(P230)) <= (tk(P182)) ) | potential( (tk(P272)) <= (tk(P16)) ) ))) & (AG( potential( (tk(P32)) <= (tk(P52)) ))) ))
PROPERTY: SmartHome-PT-10-CTLCardinality-11 (EU( ( ( potential( (tk(P255)) <= (tk(P204)) ) & potential( ( 2 ) <= (tk(P250)) ) ) & (! potential( ( 1 ) <= (tk(P255)) )) ),(EF(potential( ( 3 ) <= (tk(P186)) ))) ))
PROPERTY: SmartHome-PT-10-CTLCardinality-12 (! (AG( potential( (tk(P49)) <= (tk(P96)) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-13 (AF((EU( potential( (tk(P239)) <= (tk(P251)) ),potential( ( 3 ) <= (tk(P2)) ) ))))
PROPERTY: SmartHome-PT-10-CTLCardinality-14 ( (! (AU( potential( (tk(P14)) <= (tk(P148)) ),potential( ( 2 ) <= (tk(P44)) ) ))) & (EF(potential( ( 2 ) <= (tk(P3)) ))) )
PROPERTY: SmartHome-PT-10-CTLCardinality-15 ( (EG( potential( ( 2 ) <= (tk(P210)) ))) | (! (EU( potential( (tk(P22)) <= (tk(P228)) ),potential( ( 2 ) <= (tk(P226)) ) ))) )
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-10"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-10, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538300075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-10.tgz
mv SmartHome-PT-10 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;