About the Execution of smart for DES-PT-05a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.240 | 3600000.00 | 3600041.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900228.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-05a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900228
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 37K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-05a-CTLFireability-00
FORMULA_NAME DES-PT-05a-CTLFireability-01
FORMULA_NAME DES-PT-05a-CTLFireability-02
FORMULA_NAME DES-PT-05a-CTLFireability-03
FORMULA_NAME DES-PT-05a-CTLFireability-04
FORMULA_NAME DES-PT-05a-CTLFireability-05
FORMULA_NAME DES-PT-05a-CTLFireability-06
FORMULA_NAME DES-PT-05a-CTLFireability-07
FORMULA_NAME DES-PT-05a-CTLFireability-08
FORMULA_NAME DES-PT-05a-CTLFireability-09
FORMULA_NAME DES-PT-05a-CTLFireability-10
FORMULA_NAME DES-PT-05a-CTLFireability-11
FORMULA_NAME DES-PT-05a-CTLFireability-12
FORMULA_NAME DES-PT-05a-CTLFireability-13
FORMULA_NAME DES-PT-05a-CTLFireability-14
FORMULA_NAME DES-PT-05a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589103022339
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 135 places, 92 transitions, 457 arcs.
AT ITER 0 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.681
AT ITER 4 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5425.681
AT ITER 10 NEW BEST:: SOT 9263 SOS 7677 HAS SOPS 7677 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5423.677
AT ITER 14 NEW BEST:: SOT 9263 SOS 7668 HAS SOPS 7668 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5414.668
AT ITER 18 NEW BEST:: SOT 9195 SOS 7638 HAS SOPS 7638 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5387.638
AT ITER 24 NEW BEST:: SOT 9195 SOS 7574 HAS SOPS 7574 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5375.574
AT ITER 27 NEW BEST:: SOT 9256 SOS 7505 HAS SOPS 7505 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5351.505
AT ITER 28 NEW BEST:: SOT 9238 SOS 7460 HAS SOPS 7460 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5306.46
AT ITER 34 NEW BEST:: SOT 9284 SOS 7506 HAS SOPS 7506 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5300.506
AT ITER 42 NEW BEST:: SOT 9279 SOS 7501 HAS SOPS 7501 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5295.501
AT ITER 43 NEW BEST:: SOT 9290 SOS 7466 HAS SOPS 7466 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5260.466
AT ITER 44 NEW BEST:: SOT 9286 SOS 7462 HAS SOPS 7462 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5256.462
AT ITER 45 NEW BEST:: SOT 9278 SOS 7454 HAS SOPS 7454 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5248.454
AT ITER 50 NEW BEST:: SOT 9274 SOS 7450 HAS SOPS 7450 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5245.45
AT ITER 51 NEW BEST:: SOT 9270 SOS 7446 HAS SOPS 7446 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5241.446
AT ITER 62 NEW BEST:: SOT 9264 SOS 7440 HAS SOPS 7440 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5210.44
AT ITER 67 NEW BEST:: SOT 9264 SOS 7430 HAS SOPS 7430 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5200.43
AT ITER 68 NEW BEST:: SOT 9264 SOS 7431 HAS SOPS 7431 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5198.431
AT ITER 71 NEW BEST:: SOT 9069 SOS 7236 HAS SOPS 7236 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5159.236
AT ITER 76 NEW BEST:: SOT 9090 SOS 7291 HAS SOPS 7291 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5147.291
AT ITER 77 NEW BEST:: SOT 9090 SOS 7271 HAS SOPS 7271 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5127.271
AT ITER 79 NEW BEST:: SOT 9134 SOS 7325 HAS SOPS 7325 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5124.325
AT ITER 82 NEW BEST:: SOT 9154 SOS 7291 HAS SOPS 7291 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5090.291
AT ITER 89 NEW BEST:: SOT 9127 SOS 7267 HAS SOPS 7267 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5066.267
AT ITER 92 NEW BEST:: SOT 9127 SOS 7267 HAS SOPS 7267 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5063.267
AT ITER 94 NEW BEST:: SOT 9119 SOS 7259 HAS SOPS 7259 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5052.259
AT ITER 95 NEW BEST:: SOT 9069 SOS 7210 HAS SOPS 7210 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5044.21
AT ITER 97 NEW BEST:: SOT 9083 SOS 7224 HAS SOPS 7224 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5030.224
AT ITER 115 NEW BEST:: SOT 9076 SOS 7216 HAS SOPS 7216 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5029.216
AT ITER 117 NEW BEST:: SOT 9076 SOS 7235 HAS SOPS 7235 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5027.235
AT ITER 121 NEW BEST:: SOT 9050 SOS 7209 HAS SOPS 7209 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4987.209
AT ITER 129 NEW BEST:: SOT 8982 SOS 7141 HAS SOPS 7141 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4893.141
AT ITER 130 NEW BEST:: SOT 8929 SOS 7105 HAS SOPS 7105 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4857.105
AT ITER 132 NEW BEST:: SOT 8907 SOS 7083 HAS SOPS 7083 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4835.083
AT ITER 135 NEW BEST:: SOT 8906 SOS 7082 HAS SOPS 7082 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4834.082
AT ITER 137 NEW BEST:: SOT 8904 SOS 7080 HAS SOPS 7080 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4748.08
AT ITER 147 NEW BEST:: SOT 8773 SOS 6949 HAS SOPS 6949 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4562.949
AT ITER 150 NEW BEST:: SOT 8750 SOS 6926 HAS SOPS 6926 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4541.926
AT ITER 151 NEW BEST:: SOT 8712 SOS 6857 HAS SOPS 6857 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4472.857
AT ITER 152 NEW BEST:: SOT 8635 SOS 6780 HAS SOPS 6780 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4395.78
AT ITER 153 NEW BEST:: SOT 8567 SOS 6711 HAS SOPS 6711 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4326.711
AT ITER 155 NEW BEST:: SOT 8565 SOS 6709 HAS SOPS 6709 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4324.709
AT ITER 158 NEW BEST:: SOT 8565 SOS 6699 HAS SOPS 6699 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4314.699
AT ITER 173 NEW BEST:: SOT 8527 SOS 6661 HAS SOPS 6661 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4300.661
AT ITER 185 NEW BEST:: SOT 8525 SOS 6659 HAS SOPS 6659 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4298.659
AT ITER 186 NEW BEST:: SOT 8506 SOS 6640 HAS SOPS 6640 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4279.64
AT ITER 188 NEW BEST:: SOT 8511 SOS 6636 HAS SOPS 6636 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4275.636
AT ITER 189 NEW BEST:: SOT 8497 SOS 6610 HAS SOPS 6610 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4249.61
AT ITER 191 NEW BEST:: SOT 8431 SOS 6538 HAS SOPS 6538 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.538
AT ITER 194 NEW BEST:: SOT 8397 SOS 6473 HAS SOPS 6473 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4112.473
AT ITER 196 NEW BEST:: SOT 8365 SOS 6434 HAS SOPS 6434 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4073.434
AT ITER 201 NEW BEST:: SOT 8364 SOS 6423 HAS SOPS 6423 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4062.423
AT ITER 202 NEW BEST:: SOT 8240 SOS 6272 HAS SOPS 6272 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3966.272
AT ITER 209 NEW BEST:: SOT 8239 SOS 6271 HAS SOPS 6271 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3965.271
AT ITER 210 NEW BEST:: SOT 8239 SOS 6246 HAS SOPS 6246 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.246
AT ITER 215 NEW BEST:: SOT 8211 SOS 6157 HAS SOPS 6157 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3891.157
AT ITER 216 NEW BEST:: SOT 8198 SOS 6144 HAS SOPS 6144 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3878.144
AT ITER 218 NEW BEST:: SOT 8198 SOS 6125 HAS SOPS 6125 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3859.125
AT ITER 230 NEW BEST:: SOT 8198 SOS 6125 HAS SOPS 6125 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3851.125
AT ITER 233 NEW BEST:: SOT 8198 SOS 6107 HAS SOPS 6107 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3833.107
AT ITER 237 NEW BEST:: SOT 8134 SOS 6002 HAS SOPS 6002 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3728.002
AT ITER 240 NEW BEST:: SOT 8096 SOS 5964 HAS SOPS 5964 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3689.964
AT ITER 245 NEW BEST:: SOT 8096 SOS 5983 HAS SOPS 5983 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3688.983
AT ITER 281 NEW BEST:: SOT 8074 SOS 5939 HAS SOPS 5939 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3644.939
AT ITER 293 NEW BEST:: SOT 8051 SOS 5916 HAS SOPS 5916 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3592.916
AT ITER 303 NEW BEST:: SOT 8051 SOS 5910 HAS SOPS 5910 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3592.91
AT ITER 308 NEW BEST:: SOT 8035 SOS 5875 HAS SOPS 5875 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3560.875
AT ITER 322 NEW BEST:: SOT 8028 SOS 5822 HAS SOPS 5822 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3507.822
AT ITER 333 NEW BEST:: SOT 8020 SOS 5814 HAS SOPS 5814 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3503.814
AT ITER 341 NEW BEST:: SOT 8018 SOS 5812 HAS SOPS 5812 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3498.812
AT ITER 347 NEW BEST:: SOT 7988 SOS 5779 HAS SOPS 5779 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3465.779
AT ITER 356 NEW BEST:: SOT 7988 SOS 5765 HAS SOPS 5765 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3455.765
AT ITER 358 NEW BEST:: SOT 7949 SOS 5726 HAS SOPS 5726 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3416.726
AT ITER 361 NEW BEST:: SOT 7914 SOS 5681 HAS SOPS 5681 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3371.681
AT ITER 373 NEW BEST:: SOT 7914 SOS 5677 HAS SOPS 5677 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3367.677
AT ITER 382 NEW BEST:: SOT 7668 SOS 5431 HAS SOPS 5431 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3317.431
AT ITER 383 NEW BEST:: SOT 7668 SOS 5430 HAS SOPS 5430 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3316.43
AT ITER 385 NEW BEST:: SOT 7664 SOS 5406 HAS SOPS 5406 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3292.406
AT ITER 387 NEW BEST:: SOT 7664 SOS 5404 HAS SOPS 5404 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3290.404
AT ITER 390 NEW BEST:: SOT 7568 SOS 5306 HAS SOPS 5306 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3256.306
AT ITER 393 NEW BEST:: SOT 7567 SOS 5305 HAS SOPS 5305 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3255.305
AT ITER 397 NEW BEST:: SOT 7542 SOS 5279 HAS SOPS 5279 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3249.279
AT ITER 401 NEW BEST:: SOT 7521 SOS 5257 HAS SOPS 5257 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3248.257
AT ITER 404 NEW BEST:: SOT 7521 SOS 5252 HAS SOPS 5252 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3248.252
AT ITER 407 NEW BEST:: SOT 7521 SOS 5250 HAS SOPS 5250 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3246.25
AT ITER 415 NEW BEST:: SOT 7513 SOS 5232 HAS SOPS 5232 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3228.232
AT ITER 419 NEW BEST:: SOT 7396 SOS 5115 HAS SOPS 5115 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3214.115
AT ITER 442 NEW BEST:: SOT 7396 SOS 5057 HAS SOPS 5057 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3206.057
AT ITER 446 NEW BEST:: SOT 7356 SOS 5017 HAS SOPS 5017 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3152.017
AT ITER 448 NEW BEST:: SOT 7356 SOS 5011 HAS SOPS 5011 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3146.011
AT ITER 451 NEW BEST:: SOT 7347 SOS 5002 HAS SOPS 5002 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3137.002
AT ITER 452 NEW BEST:: SOT 7345 SOS 5000 HAS SOPS 5000 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3135.0
AT ITER 454 NEW BEST:: SOT 7345 SOS 5011 HAS SOPS 5011 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3133.011
AT ITER 459 NEW BEST:: SOT 7345 SOS 5006 HAS SOPS 5006 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3128.006
AT ITER 465 NEW BEST:: SOT 7308 SOS 4969 HAS SOPS 4969 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3118.969
AT ITER 472 NEW BEST:: SOT 7304 SOS 4977 HAS SOPS 4977 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3110.977
AT ITER 492 NEW BEST:: SOT 7315 SOS 4988 HAS SOPS 4988 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3107.988
AT ITER 497 NEW BEST:: SOT 7264 SOS 4937 HAS SOPS 4937 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3067.937
AT ITER 508 NEW BEST:: SOT 7262 SOS 4933 HAS SOPS 4933 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3063.933
AT ITER 522 NEW BEST:: SOT 7256 SOS 4923 HAS SOPS 4923 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3063.923
AT ITER 525 NEW BEST:: SOT 7223 SOS 4890 HAS SOPS 4890 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3057.89
AT ITER 533 NEW BEST:: SOT 7219 SOS 4886 HAS SOPS 4886 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.886
AT ITER 538 NEW BEST:: SOT 7177 SOS 4837 HAS SOPS 4837 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3033.837
AT ITER 544 NEW BEST:: SOT 7145 SOS 4820 HAS SOPS 4820 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3016.82
AT ITER 572 NEW BEST:: SOT 7144 SOS 4820 HAS SOPS 4820 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3014.82
AT ITER 590 NEW BEST:: SOT 7122 SOS 4625 HAS SOPS 4625 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2990.625
AT ITER 599 NEW BEST:: SOT 7110 SOS 4638 HAS SOPS 4638 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2984.638
AT ITER 603 NEW BEST:: SOT 7110 SOS 4622 HAS SOPS 4622 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.622
AT ITER 605 NEW BEST:: SOT 7096 SOS 4617 HAS SOPS 4617 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2963.617
AT ITER 612 NEW BEST:: SOT 7096 SOS 4600 HAS SOPS 4600 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2946.6
AT ITER 616 NEW BEST:: SOT 7080 SOS 4584 HAS SOPS 4584 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2918.584
AT ITER 628 NEW BEST:: SOT 7084 SOS 4588 HAS SOPS 4588 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2915.588
AT ITER 651 NEW BEST:: SOT 7078 SOS 4582 HAS SOPS 4582 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2909.582
AT ITER 658 NEW BEST:: SOT 7052 SOS 4531 HAS SOPS 4531 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2892.531
AT ITER 681 NEW BEST:: SOT 7028 SOS 4507 HAS SOPS 4507 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2860.507
AT ITER 689 NEW BEST:: SOT 7028 SOS 4506 HAS SOPS 4506 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2859.506
AT ITER 697 NEW BEST:: SOT 7010 SOS 4498 HAS SOPS 4498 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2859.498
AT ITER 719 NEW BEST:: SOT 7007 SOS 4495 HAS SOPS 4495 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2856.495
AT ITER 730 NEW BEST:: SOT 6991 SOS 4485 HAS SOPS 4485 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2846.485
AT ITER 737 NEW BEST:: SOT 6987 SOS 4451 HAS SOPS 4451 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2816.451
AT ITER 738 NEW BEST:: SOT 6983 SOS 4443 HAS SOPS 4443 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2808.443
AT ITER 742 NEW BEST:: SOT 6946 SOS 4406 HAS SOPS 4406 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2771.406
AT ITER 744 NEW BEST:: SOT 6948 SOS 4408 HAS SOPS 4408 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2770.408
AT ITER 775 NEW BEST:: SOT 6952 SOS 4424 HAS SOPS 4424 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2766.424
AT ITER 795 NEW BEST:: SOT 6928 SOS 4388 HAS SOPS 4388 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2730.388
AT ITER 796 NEW BEST:: SOT 6919 SOS 4379 HAS SOPS 4379 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2721.379
AT ITER 804 NEW BEST:: SOT 6919 SOS 4355 HAS SOPS 4355 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2697.355
AT ITER 812 NEW BEST:: SOT 6882 SOS 4318 HAS SOPS 4318 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2660.318
AT ITER 816 NEW BEST:: SOT 6873 SOS 4312 HAS SOPS 4312 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2654.312
AT ITER 828 NEW BEST:: SOT 6860 SOS 4251 HAS SOPS 4251 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2640.251
AT ITER 830 NEW BEST:: SOT 6848 SOS 4224 HAS SOPS 4224 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2631.224
AT ITER 831 NEW BEST:: SOT 6845 SOS 4214 HAS SOPS 4214 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2621.214
AT ITER 837 NEW BEST:: SOT 6844 SOS 4213 HAS SOPS 4213 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2620.213
AT ITER 839 NEW BEST:: SOT 6846 SOS 4214 HAS SOPS 4214 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2619.214
AT ITER 842 NEW BEST:: SOT 6841 SOS 4268 HAS SOPS 4268 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2609.268
AT ITER 851 NEW BEST:: SOT 6841 SOS 4262 HAS SOPS 4262 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2603.262
AT ITER 857 NEW BEST:: SOT 6841 SOS 4259 HAS SOPS 4259 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2600.259
AT ITER 872 NEW BEST:: SOT 6878 SOS 4177 HAS SOPS 4177 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2592.177
AT ITER 882 NEW BEST:: SOT 6876 SOS 4173 HAS SOPS 4173 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2588.173
AT ITER 886 NEW BEST:: SOT 6858 SOS 4140 HAS SOPS 4140 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2555.14
AT ITER 888 NEW BEST:: SOT 6856 SOS 4138 HAS SOPS 4138 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2553.138
AT ITER 904 NEW BEST:: SOT 6822 SOS 4102 HAS SOPS 4102 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2540.102
AT ITER 917 NEW BEST:: SOT 6822 SOS 4101 HAS SOPS 4101 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2540.101
AT ITER 918 NEW BEST:: SOT 6818 SOS 4097 HAS SOPS 4097 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2537.097
AT ITER 939 NEW BEST:: SOT 6818 SOS 4091 HAS SOPS 4091 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2535.091
AT ITER 956 NEW BEST:: SOT 6808 SOS 4081 HAS SOPS 4081 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2533.081
AT ITER 959 NEW BEST:: SOT 6802 SOS 4075 HAS SOPS 4075 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2527.075
AT ITER 966 NEW BEST:: SOT 6802 SOS 4076 HAS SOPS 4076 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2525.076
AT ITER 969 NEW BEST:: SOT 6777 SOS 3993 HAS SOPS 3993 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.993
AT ITER 975 NEW BEST:: SOT 6773 SOS 3989 HAS SOPS 3989 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.989
AT ITER 984 NEW BEST:: SOT 6769 SOS 3868 HAS SOPS 3868 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2468.868
AT ITER 996 NEW BEST:: SOT 6771 SOS 3866 HAS SOPS 3866 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2466.866
AT ITER 1012 NEW BEST:: SOT 6768 SOS 3861 HAS SOPS 3861 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.861
AT ITER 1015 NEW BEST:: SOT 6761 SOS 3854 HAS SOPS 3854 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2447.854
AT ITER 1023 NEW BEST:: SOT 6760 SOS 3851 HAS SOPS 3851 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.851
AT ITER 1029 NEW BEST:: SOT 6757 SOS 3848 HAS SOPS 3848 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2438.848
AT ITER 1031 NEW BEST:: SOT 6754 SOS 3845 HAS SOPS 3845 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.845
AT ITER 1080 NEW BEST:: SOT 6747 SOS 3831 HAS SOPS 3831 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.831
AT ITER 1087 NEW BEST:: SOT 6746 SOS 3843 HAS SOPS 3843 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2422.843
AT ITER 1100 NEW BEST:: SOT 6737 SOS 3825 HAS SOPS 3825 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2404.825
AT ITER 1113 NEW BEST:: SOT 6737 SOS 3817 HAS SOPS 3817 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2396.817
AT ITER 1181 NEW BEST:: SOT 6729 SOS 3798 HAS SOPS 3798 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2394.798
AT ITER 1207 NEW BEST:: SOT 6683 SOS 3771 HAS SOPS 3771 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.771
AT ITER 1249 NEW BEST:: SOT 6674 SOS 3762 HAS SOPS 3762 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.762
AT ITER 1254 NEW BEST:: SOT 6674 SOS 3760 HAS SOPS 3760 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2347.76
AT ITER 1256 NEW BEST:: SOT 6668 SOS 3754 HAS SOPS 3754 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2341.754
AT ITER 1263 NEW BEST:: SOT 6665 SOS 3746 HAS SOPS 3746 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2340.746
AT ITER 1271 NEW BEST:: SOT 6665 SOS 3711 HAS SOPS 3711 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2339.711
AT ITER 1290 NEW BEST:: SOT 6664 SOS 3700 HAS SOPS 3700 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2328.7
AT ITER 1317 NEW BEST:: SOT 6644 SOS 3752 HAS SOPS 3752 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.752
AT ITER 1320 NEW BEST:: SOT 6642 SOS 3750 HAS SOPS 3750 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2322.75
AT ITER 1350 NEW BEST:: SOT 6641 SOS 3748 HAS SOPS 3748 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2320.748
AT ITER 1358 NEW BEST:: SOT 6636 SOS 3745 HAS SOPS 3745 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.745
AT ITER 1373 NEW BEST:: SOT 6634 SOS 3742 HAS SOPS 3742 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2313.742
AT ITER 1378 NEW BEST:: SOT 6632 SOS 3740 HAS SOPS 3740 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2313.74
AT ITER 1383 NEW BEST:: SOT 6624 SOS 3731 HAS SOPS 3731 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.731
AT ITER 1402 NEW BEST:: SOT 6624 SOS 3724 HAS SOPS 3724 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.724
AT ITER 1417 NEW BEST:: SOT 6617 SOS 3709 HAS SOPS 3709 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2290.709
AT ITER 1427 NEW BEST:: SOT 6617 SOS 3704 HAS SOPS 3704 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2285.704
AT ITER 1449 NEW BEST:: SOT 6616 SOS 3702 HAS SOPS 3702 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2285.702
AT ITER 1465 NEW BEST:: SOT 6586 SOS 3701 HAS SOPS 3701 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2284.701
AT ITER 1474 NEW BEST:: SOT 6587 SOS 3673 HAS SOPS 3673 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.673
AT ITER 1479 NEW BEST:: SOT 6587 SOS 3661 HAS SOPS 3661 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.661
AT ITER 1496 NEW BEST:: SOT 6582 SOS 3651 HAS SOPS 3651 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.651
AT ITER 1497 NEW BEST:: SOT 6580 SOS 3646 HAS SOPS 3646 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.646
AT ITER 1510 NEW BEST:: SOT 6554 SOS 3594 HAS SOPS 3594 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.594
AT ITER 1519 NEW BEST:: SOT 6554 SOS 3616 HAS SOPS 3616 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2251.616
AT ITER 1524 NEW BEST:: SOT 6554 SOS 3579 HAS SOPS 3579 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.579
AT ITER 1539 NEW BEST:: SOT 6554 SOS 3579 HAS SOPS 3579 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2228.579
AT ITER 1549 NEW BEST:: SOT 6554 SOS 3571 HAS SOPS 3571 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.571
AT ITER 1551 NEW BEST:: SOT 6546 SOS 3563 HAS SOPS 3563 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2217.563
AT ITER 1579 NEW BEST:: SOT 6546 SOS 3558 HAS SOPS 3558 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.558
AT ITER 1597 NEW BEST:: SOT 6546 SOS 3567 HAS SOPS 3567 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.567
AT ITER 1614 NEW BEST:: SOT 6536 SOS 3557 HAS SOPS 3557 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2197.557
AT ITER 1657 NEW BEST:: SOT 6526 SOS 3547 HAS SOPS 3547 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.547
AT ITER 1697 NEW BEST:: SOT 6518 SOS 3532 HAS SOPS 3532 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2180.532
AT ITER 1701 NEW BEST:: SOT 6490 SOS 3504 HAS SOPS 3504 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2152.504
AT ITER 1736 NEW BEST:: SOT 6486 SOS 3505 HAS SOPS 3505 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2144.505
AT ITER 1750 NEW BEST:: SOT 6477 SOS 3496 HAS SOPS 3496 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.496
AT ITER 1770 NEW BEST:: SOT 6480 SOS 3501 HAS SOPS 3501 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2134.501
AT ITER 1777 NEW BEST:: SOT 6481 SOS 3502 HAS SOPS 3502 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.502
AT ITER 1800 NEW BEST:: SOT 6480 SOS 3501 HAS SOPS 3501 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2131.501
AT ITER 1823 NEW BEST:: SOT 6503 SOS 3483 HAS SOPS 3483 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.483
AT ITER 1846 NEW BEST:: SOT 6503 SOS 3483 HAS SOPS 3483 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2128.483
AT ITER 1883 NEW BEST:: SOT 6483 SOS 3446 HAS SOPS 3446 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.446
AT ITER 1922 NEW BEST:: SOT 6482 SOS 3445 HAS SOPS 3445 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.445
AT ITER 1924 NEW BEST:: SOT 6422 SOS 3383 HAS SOPS 3383 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2098.383
AT ITER 1928 NEW BEST:: SOT 6435 SOS 3382 HAS SOPS 3382 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2097.382
AT ITER 1934 NEW BEST:: SOT 6422 SOS 3369 HAS SOPS 3369 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2084.369
AT ITER 1949 NEW BEST:: SOT 6418 SOS 3360 HAS SOPS 3360 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2075.36
AT ITER 1961 NEW BEST:: SOT 6420 SOS 3392 HAS SOPS 3392 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2073.392
AT ITER 1977 NEW BEST:: SOT 6420 SOS 3377 HAS SOPS 3377 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2068.377
AT ITER 1983 NEW BEST:: SOT 6411 SOS 3368 HAS SOPS 3368 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2063.368
AT ITER 1999 NEW BEST:: SOT 6413 SOS 3370 HAS SOPS 3370 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2062.37
AT ITER 2068 NEW BEST:: SOT 6411 SOS 3367 HAS SOPS 3367 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2059.367
AT ITER 2074 NEW BEST:: SOT 6410 SOS 3366 HAS SOPS 3366 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2058.366
AT ITER 2145 NEW BEST:: SOT 6406 SOS 3360 HAS SOPS 3360 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.36
AT ITER 2147 NEW BEST:: SOT 6402 SOS 3352 HAS SOPS 3352 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2044.352
AT ITER 2166 NEW BEST:: SOT 6402 SOS 3356 HAS SOPS 3356 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2040.356
AT ITER 2197 NEW BEST:: SOT 6399 SOS 3351 HAS SOPS 3351 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2035.351
AT ITER 2205 NEW BEST:: SOT 6392 SOS 3344 HAS SOPS 3344 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2035.344
AT ITER 2240 NEW BEST:: SOT 6390 SOS 3342 HAS SOPS 3342 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.342
AT ITER 2242 NEW BEST:: SOT 6390 SOS 3395 HAS SOPS 3395 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2026.395
AT ITER 2251 NEW BEST:: SOT 6393 SOS 3390 HAS SOPS 3390 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2021.39
AT ITER 2304 NEW BEST:: SOT 6392 SOS 3384 HAS SOPS 3384 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.384
AT ITER 2305 NEW BEST:: SOT 6383 SOS 3366 HAS SOPS 3366 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2011.366
AT ITER 2324 NEW BEST:: SOT 6382 SOS 3365 HAS SOPS 3365 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2010.365
AT ITER 2379 NEW BEST:: SOT 6375 SOS 3361 HAS SOPS 3361 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2006.361
AT ITER 2428 NEW BEST:: SOT 6375 SOS 3345 HAS SOPS 3345 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1999.345
AT ITER 2443 NEW BEST:: SOT 6372 SOS 3342 HAS SOPS 3342 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1999.342
AT ITER 2482 NEW BEST:: SOT 6372 SOS 3342 HAS SOPS 3342 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1994.342
AT ITER 2484 NEW BEST:: SOT 6369 SOS 3336 HAS SOPS 3336 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1988.336
AT ITER 2513 NEW BEST:: SOT 6369 SOS 3335 HAS SOPS 3335 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1986.335
AT ITER 2535 NEW BEST:: SOT 6343 SOS 3291 HAS SOPS 3291 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1954.291
AT ITER 2542 NEW BEST:: SOT 6322 SOS 3254 HAS SOPS 3254 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1927.254
AT ITER 2576 NEW BEST:: SOT 6322 SOS 3254 HAS SOPS 3254 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1924.254
AT ITER 2610 NEW BEST:: SOT 6320 SOS 3250 HAS SOPS 3250 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1924.25
AT ITER 2618 NEW BEST:: SOT 6307 SOS 3229 HAS SOPS 3229 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1903.229
AT ITER 2647 NEW BEST:: SOT 6306 SOS 3228 HAS SOPS 3228 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1901.228
AT ITER 2759 NEW BEST:: SOT 6306 SOS 3248 HAS SOPS 3248 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1898.248
AT ITER 2760 NEW BEST:: SOT 6307 SOS 3231 HAS SOPS 3231 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1881.231
AT ITER 2771 NEW BEST:: SOT 6306 SOS 3230 HAS SOPS 3230 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1880.23
AT ITER 2816 NEW BEST:: SOT 6306 SOS 3228 HAS SOPS 3228 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1878.228
AT ITER 2846 NEW BEST:: SOT 6305 SOS 3226 HAS SOPS 3226 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1878.226
AT ITER 2927 NEW BEST:: SOT 6291 SOS 3212 HAS SOPS 3212 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1865.212
AT ITER 2962 NEW BEST:: SOT 6290 SOS 3209 HAS SOPS 3209 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1863.209
AT ITER 3196 NEW BEST:: SOT 6289 SOS 3208 HAS SOPS 3208 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1862.208
AT ITER 3199 NEW BEST:: SOT 6288 SOS 3207 HAS SOPS 3207 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1861.207
AT ITER 3370 NEW BEST:: SOT 6292 SOS 3206 HAS SOPS 3206 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1859.206
AT ITER 3388 NEW BEST:: SOT 6292 SOS 3207 HAS SOPS 3207 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1858.207
AT ITER 3545 NEW BEST:: SOT 6293 SOS 3208 HAS SOPS 3208 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1857.208
AT ITER 3564 NEW BEST:: SOT 6291 SOS 3203 HAS SOPS 3203 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1852.203
AT ITER 3612 NEW BEST:: SOT 6284 SOS 3196 HAS SOPS 3196 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1845.196
AT ITER 3617 NEW BEST:: SOT 6281 SOS 3193 HAS SOPS 3193 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1842.193
AT ITER 3641 NEW BEST:: SOT 6262 SOS 3114 HAS SOPS 3114 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1811.114
AT ITER 3692 NEW BEST:: SOT 6253 SOS 3098 HAS SOPS 3098 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1795.098
AT ITER 3786 NEW BEST:: SOT 6253 SOS 3095 HAS SOPS 3095 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1794.095
AT ITER 3816 NEW BEST:: SOT 6253 SOS 3086 HAS SOPS 3086 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1793.086
AT ITER 3825 NEW BEST:: SOT 6253 SOS 3085 HAS SOPS 3085 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1792.085
AT ITER 3848 NEW BEST:: SOT 6253 SOS 3072 HAS SOPS 3072 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1785.072
AT ITER 3871 NEW BEST:: SOT 6253 SOS 3071 HAS SOPS 3071 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1784.071
AT ITER 3903 NEW BEST:: SOT 6249 SOS 3067 HAS SOPS 3067 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1780.067
AT ITER 3933 NEW BEST:: SOT 6249 SOS 3064 HAS SOPS 3064 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1777.064
AT ITER 3958 NEW BEST:: SOT 6248 SOS 3063 HAS SOPS 3063 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1776.063
AT ITER 3977 NEW BEST:: SOT 6234 SOS 3056 HAS SOPS 3056 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1769.056
AT ITER 3985 NEW BEST:: SOT 6233 SOS 3050 HAS SOPS 3050 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1765.05
AT ITER 4042 NEW BEST:: SOT 6228 SOS 3037 HAS SOPS 3037 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1752.037
AT ITER 4141 NEW BEST:: SOT 6228 SOS 3036 HAS SOPS 3036 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1750.036
AT ITER 4154 NEW BEST:: SOT 6226 SOS 3029 HAS SOPS 3029 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1749.029
AT ITER 4195 NEW BEST:: SOT 6212 SOS 3013 HAS SOPS 3013 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1747.013
AT ITER 4201 NEW BEST:: SOT 6209 SOS 2995 HAS SOPS 2995 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1740.995
AT ITER 4207 NEW BEST:: SOT 6203 SOS 2978 HAS SOPS 2978 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.978
AT ITER 4292 NEW BEST:: SOT 6202 SOS 2976 HAS SOPS 2976 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.976
AT ITER 4337 NEW BEST:: SOT 6202 SOS 2975 HAS SOPS 2975 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.975
AT ITER 4351 NEW BEST:: SOT 6198 SOS 2971 HAS SOPS 2971 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.971
AT ITER 4372 NEW BEST:: SOT 6197 SOS 2970 HAS SOPS 2970 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.97
AT ITER 4410 NEW BEST:: SOT 6196 SOS 2966 HAS SOPS 2966 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1711.966
AT ITER 4442 NEW BEST:: SOT 6192 SOS 2963 HAS SOPS 2963 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1708.963
AT ITER 4479 NEW BEST:: SOT 6189 SOS 2960 HAS SOPS 2960 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.96
AT ITER 4504 NEW BEST:: SOT 6188 SOS 2959 HAS SOPS 2959 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.959
AT ITER 4553 NEW BEST:: SOT 6181 SOS 2948 HAS SOPS 2948 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.948
AT ITER 4572 NEW BEST:: SOT 6180 SOS 2942 HAS SOPS 2942 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.942
AT ITER 4594 NEW BEST:: SOT 6179 SOS 2941 HAS SOPS 2941 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.941
AT ITER 4679 NEW BEST:: SOT 6178 SOS 2936 HAS SOPS 2936 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.936
AT ITER 4710 NEW BEST:: SOT 6176 SOS 2933 HAS SOPS 2933 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.933
AT ITER 4797 NEW BEST:: SOT 6179 SOS 2932 HAS SOPS 2932 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1682.932
AT ITER 4889 NEW BEST:: SOT 6183 SOS 2945 HAS SOPS 2945 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.945
AT ITER 4901 NEW BEST:: SOT 6182 SOS 2943 HAS SOPS 2943 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.943
AT ITER 4947 NEW BEST:: SOT 6181 SOS 2953 HAS SOPS 2953 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.953
AT ITER 4973 NEW BEST:: SOT 6180 SOS 2952 HAS SOPS 2952 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1671.952
AT ITER 4981 NEW BEST:: SOT 6182 SOS 2954 HAS SOPS 2954 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.954
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-05a-CTLFireability-00 (EU( (EF( (! ((potential((tk(P32)>=1) & (tk(P126)>=1))))))) , ( ((potential((tk(P54)>=1) & (tk(P56)>=1) & (tk(P2)>=1)))) & ( ( ((potential((tk(P1)>=1)))) & ((potential((tk(P32)>=1) & (tk(P126)>=1)))) ) | ( ((potential((tk(P74)>=1) & (tk(P70)>=1) & (tk(P66)>=1) & (tk(P62)>=1) & (tk(P64)>=1) & (tk(P68)>=1) & (tk(P72)>=1) & (tk(P76)>=1) & (tk(P57)>=1)))) & ((potential((tk(P130)>=1) & (tk(P124)>=1)))) ) ) ) ))
PROPERTY: DES-PT-05a-CTLFireability-01 ( ( (EF( (! ((potential((tk(P46)>=1) & (tk(P44)>=1) & (tk(P34)>=1))))))) & (AF( (AX( ((potential((tk(P75)>=1) & (tk(P92)>=1)))))))) ) | ( ( ((potential((tk(P15)>=1) & (tk(P51)>=1)))) | ( (AX( ((potential((tk(P130)>=1) & (tk(P124)>=1)))))) | ((potential((tk(P46)>=1) & (tk(P44)>=1)))) ) ) & (AU( (! ((potential((tk(P54)>=1) & (tk(P56)>=1) & (tk(P3)>=1))))) , ((potential((tk(P111)>=1) & (tk(P114)>=1)))) )) ) )
PROPERTY: DES-PT-05a-CTLFireability-02 ( (AG( ((potential((tk(P25)>=1) & (tk(P45)>=1)))))) | (EU( ( ( ((potential((tk(P25)>=1) & (tk(P45)>=1)))) & ((potential((tk(P17)>=1) & (tk(P26)>=1)))) ) | ( ((potential((tk(P17)>=1) & (tk(P26)>=1)))) & ((potential((tk(P19)>=1) & (tk(P26)>=1)))) ) ) , (AF( ((potential((tk(P111)>=1) & (tk(P114)>=1)))))) )) )
PROPERTY: DES-PT-05a-CTLFireability-03 (EF( ( (AX( ((potential((tk(P130)>=1) & (tk(P124)>=1)))))) | (AG( ((potential((tk(P50)>=1) & (tk(P48)>=1) & (tk(P43)>=1)))))) )))
PROPERTY: DES-PT-05a-CTLFireability-04 (EF( ( ((potential((tk(P19)>=1) & (tk(P26)>=1)))) | ((potential((tk(P53)>=1) & (tk(P116)>=1)))) )))
PROPERTY: DES-PT-05a-CTLFireability-05 (EU( (EF( ( ((potential((tk(P14)>=1) & (tk(P51)>=1)))) & ((potential((tk(P89)>=1) & (tk(P105)>=1)))) ))) , (AX( ( ((potential((tk(P130)>=1) & (tk(P134)>=1)))) & ((potential((tk(P9)>=1) & (tk(P131)>=1)))) ))) ))
PROPERTY: DES-PT-05a-CTLFireability-06 (AG( (AU( ( ((potential((tk(P21)>=1) & (tk(P26)>=1)))) & ((potential((tk(P89)>=1) & (tk(P105)>=1)))) ) , (! ((potential((tk(P42)>=1) & (tk(P40)>=1))))) ))))
PROPERTY: DES-PT-05a-CTLFireability-07 ( (EF( (EG( (! ((potential((tk(P20)>=1) & (tk(P26)>=1))))))))) | (EX( ((potential((tk(P13)>=1) & (tk(P51)>=1)))))) )
PROPERTY: DES-PT-05a-CTLFireability-08 (AX( (AF( (AF( ((potential((tk(P54)>=1) & (tk(P56)>=1) & (tk(P2)>=1))))))))))
PROPERTY: DES-PT-05a-CTLFireability-09 (AF( ( (EG( (! ((potential((tk(P79)>=1) & (tk(P95)>=1))))))) & (! ( ( ((potential((tk(P23)>=1)))) & ((potential((tk(P7)>=1) & (tk(P131)>=1)))) ) & ((potential((tk(P13)>=1) & (tk(P51)>=1)))) )) )))
PROPERTY: DES-PT-05a-CTLFireability-10 (EG( (AU( (! ((potential((tk(P108)>=1) & (tk(P104)>=1) & (tk(P100)>=1) & (tk(P96)>=1) & (tk(P94)>=1) & (tk(P98)>=1) & (tk(P102)>=1) & (tk(P106)>=1))))) , (! ((potential((tk(P65)>=1) & (tk(P82)>=1))))) ))))
PROPERTY: DES-PT-05a-CTLFireability-11 (AU( ( (! ( ((potential((tk(P59)>=1) & (tk(P129)>=1)))) & ((potential((tk(P53)>=1) & (tk(P116)>=1)))) )) | (AF( ((potential((tk(P54)>=1) & (tk(P56)>=1) & (tk(P3)>=1)))))) ) , (EU( ((potential((tk(P30)>=1) & (tk(P115)>=1)))) , ((potential((tk(P112)>=1) & (tk(P110)>=1)))) )) ))
PROPERTY: DES-PT-05a-CTLFireability-12 ( ( ((potential((tk(P130)>=1) & (tk(P134)>=1)))) & (EG( (EX( ((potential((tk(P27)>=1) & (tk(P49)>=1)))))))) ) | (EG( (EF( ( ((potential((tk(P32)>=1) & (tk(P126)>=1)))) | ((potential((tk(P61)>=1) & (tk(P78)>=1)))) ))))) )
PROPERTY: DES-PT-05a-CTLFireability-13 (EF( ((potential((tk(P113)>=1) & (tk(P118)>=1))))))
PROPERTY: DES-PT-05a-CTLFireability-14 (AU( (EF( (! ((potential((tk(P75)>=1) & (tk(P92)>=1))))))) , (EF( ( ((potential((tk(P112)>=1) & (tk(P110)>=1)))) & ((potential((tk(P46)>=1) & (tk(P44)>=1)))) ))) ))
PROPERTY: DES-PT-05a-CTLFireability-15 ( (AF( (AG( ( ((potential((tk(P117)>=1) & (tk(P58)>=1) & (tk(P60)>=1)))) | ((potential((tk(P50)>=1) & (tk(P48)>=1) & (tk(P43)>=1)))) ))))) & (AF( (AX( ( ((potential((tk(P67)>=1) & (tk(P84)>=1)))) & ((potential((tk(P30)>=1) & (tk(P115)>=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="DES-PT-05a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-05a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541900228"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-05a.tgz
mv DES-PT-05a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;