About the Execution of smart for Parking-PT-208
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.390 | 5256.00 | 5030.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250600524.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 Parking-PT-208, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600524
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.9K Apr 11 23:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 11 23:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 22:33 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.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 07:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 07:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 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 49K 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 Parking-PT-208-CTLFireability-00
FORMULA_NAME Parking-PT-208-CTLFireability-01
FORMULA_NAME Parking-PT-208-CTLFireability-02
FORMULA_NAME Parking-PT-208-CTLFireability-03
FORMULA_NAME Parking-PT-208-CTLFireability-04
FORMULA_NAME Parking-PT-208-CTLFireability-05
FORMULA_NAME Parking-PT-208-CTLFireability-06
FORMULA_NAME Parking-PT-208-CTLFireability-07
FORMULA_NAME Parking-PT-208-CTLFireability-08
FORMULA_NAME Parking-PT-208-CTLFireability-09
FORMULA_NAME Parking-PT-208-CTLFireability-10
FORMULA_NAME Parking-PT-208-CTLFireability-11
FORMULA_NAME Parking-PT-208-CTLFireability-12
FORMULA_NAME Parking-PT-208-CTLFireability-13
FORMULA_NAME Parking-PT-208-CTLFireability-14
FORMULA_NAME Parking-PT-208-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589645032574
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 208
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: 137 places, 201 transitions, 593 arcs.
AT ITER 0 NEW BEST:: SOT 16137 SOS 11468 HAS SOPS 11468 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.468
AT ITER 1 NEW BEST:: SOT 16011 SOS 11363 HAS SOPS 11363 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7476.363
AT ITER 4 NEW BEST:: SOT 15971 SOS 10629 HAS SOPS 10629 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7427.629
AT ITER 5 NEW BEST:: SOT 15971 SOS 10610 HAS SOPS 10610 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7426.61
AT ITER 6 NEW BEST:: SOT 15876 SOS 10515 HAS SOPS 10515 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7367.515
AT ITER 8 NEW BEST:: SOT 15876 SOS 10403 HAS SOPS 10403 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7302.403
AT ITER 9 NEW BEST:: SOT 15765 SOS 10291 HAS SOPS 10291 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7219.291
AT ITER 10 NEW BEST:: SOT 15633 SOS 10159 HAS SOPS 10159 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7121.159
AT ITER 12 NEW BEST:: SOT 15415 SOS 9806 HAS SOPS 9780 HAS SOUS 6898 HAS SOUPS 6872 WITH SCORE 6881.806
AT ITER 13 NEW BEST:: SOT 14971 SOS 9362 HAS SOPS 9336 HAS SOUS 6604 HAS SOUPS 6578 WITH SCORE 6587.362
AT ITER 14 NEW BEST:: SOT 14869 SOS 9232 HAS SOPS 9159 HAS SOUS 6542 HAS SOUPS 6469 WITH SCORE 6478.232
AT ITER 15 NEW BEST:: SOT 14841 SOS 9204 HAS SOPS 9131 HAS SOUS 6514 HAS SOUPS 6441 WITH SCORE 6450.204
AT ITER 16 NEW BEST:: SOT 14813 SOS 9176 HAS SOPS 9103 HAS SOUS 6486 HAS SOUPS 6413 WITH SCORE 6422.176
AT ITER 18 NEW BEST:: SOT 14813 SOS 9072 HAS SOPS 8999 HAS SOUS 6486 HAS SOUPS 6413 WITH SCORE 6422.072
AT ITER 19 NEW BEST:: SOT 14813 SOS 8861 HAS SOPS 8788 HAS SOUS 6455 HAS SOUPS 6382 WITH SCORE 6390.861
AT ITER 23 NEW BEST:: SOT 14690 SOS 8738 HAS SOPS 8665 HAS SOUS 6352 HAS SOUPS 6279 WITH SCORE 6287.738
AT ITER 25 NEW BEST:: SOT 14690 SOS 8651 HAS SOPS 8578 HAS SOUS 6327 HAS SOUPS 6254 WITH SCORE 6262.651
AT ITER 27 NEW BEST:: SOT 14676 SOS 8644 HAS SOPS 8571 HAS SOUS 6327 HAS SOUPS 6254 WITH SCORE 6262.644
AT ITER 28 NEW BEST:: SOT 14494 SOS 8547 HAS SOPS 8393 HAS SOUS 6257 HAS SOUPS 6103 WITH SCORE 6111.547
AT ITER 30 NEW BEST:: SOT 14494 SOS 8505 HAS SOPS 8351 HAS SOUS 6217 HAS SOUPS 6063 WITH SCORE 6071.505
AT ITER 31 NEW BEST:: SOT 14487 SOS 8498 HAS SOPS 8344 HAS SOUS 6192 HAS SOUPS 6038 WITH SCORE 6046.498
AT ITER 35 NEW BEST:: SOT 14481 SOS 8497 HAS SOPS 8343 HAS SOUS 6175 HAS SOUPS 6021 WITH SCORE 6029.497
AT ITER 37 NEW BEST:: SOT 14466 SOS 8482 HAS SOPS 8328 HAS SOUS 6165 HAS SOUPS 6011 WITH SCORE 6019.482
AT ITER 39 NEW BEST:: SOT 14357 SOS 8291 HAS SOPS 8137 HAS SOUS 6054 HAS SOUPS 5900 WITH SCORE 5908.291
AT ITER 40 NEW BEST:: SOT 13987 SOS 7855 HAS SOPS 7682 HAS SOUS 5821 HAS SOUPS 5657 WITH SCORE 5664.855
AT ITER 43 NEW BEST:: SOT 13709 SOS 7267 HAS SOPS 7094 HAS SOUS 5514 HAS SOUPS 5350 WITH SCORE 5357.267
AT ITER 45 NEW BEST:: SOT 13511 SOS 6901 HAS SOPS 6673 HAS SOUS 5306 HAS SOUPS 5087 WITH SCORE 5093.901
AT ITER 46 NEW BEST:: SOT 13411 SOS 6796 HAS SOPS 6557 HAS SOUS 5237 HAS SOUPS 5007 WITH SCORE 5013.796
AT ITER 48 NEW BEST:: SOT 13310 SOS 6630 HAS SOPS 6391 HAS SOUS 5125 HAS SOUPS 4895 WITH SCORE 4901.63
AT ITER 52 NEW BEST:: SOT 13215 SOS 6535 HAS SOPS 6295 HAS SOUS 5065 HAS SOUPS 4834 WITH SCORE 4840.535
AT ITER 58 NEW BEST:: SOT 13241 SOS 6603 HAS SOPS 6323 HAS SOUS 5094 HAS SOUPS 4823 WITH SCORE 4829.603
AT ITER 63 NEW BEST:: SOT 13229 SOS 6589 HAS SOPS 6305 HAS SOUS 5086 HAS SOUPS 4813 WITH SCORE 4819.589
AT ITER 74 NEW BEST:: SOT 12979 SOS 6364 HAS SOPS 6080 HAS SOUS 4957 HAS SOUPS 4684 WITH SCORE 4690.364
AT ITER 76 NEW BEST:: SOT 13235 SOS 6598 HAS SOPS 6314 HAS SOUS 4951 HAS SOUPS 4678 WITH SCORE 4684.598
AT ITER 79 NEW BEST:: SOT 13316 SOS 6679 HAS SOPS 6386 HAS SOUS 4951 HAS SOUPS 4669 WITH SCORE 4675.679
AT ITER 83 NEW BEST:: SOT 13510 SOS 7017 HAS SOPS 6668 HAS SOUS 4973 HAS SOUPS 4663 WITH SCORE 4670.017
AT ITER 85 NEW BEST:: SOT 13504 SOS 7011 HAS SOPS 6662 HAS SOUS 4967 HAS SOUPS 4657 WITH SCORE 4664.011
AT ITER 86 NEW BEST:: SOT 13494 SOS 7001 HAS SOPS 6652 HAS SOUS 4957 HAS SOUPS 4647 WITH SCORE 4654.001
AT ITER 92 NEW BEST:: SOT 13476 SOS 6981 HAS SOPS 6632 HAS SOUS 4944 HAS SOUPS 4634 WITH SCORE 4640.981
AT ITER 93 NEW BEST:: SOT 13476 SOS 6939 HAS SOPS 6590 HAS SOUS 4944 HAS SOUPS 4634 WITH SCORE 4640.939
AT ITER 94 NEW BEST:: SOT 13475 SOS 6938 HAS SOPS 6589 HAS SOUS 4943 HAS SOUPS 4633 WITH SCORE 4639.938
AT ITER 111 NEW BEST:: SOT 13471 SOS 6934 HAS SOPS 6585 HAS SOUS 4939 HAS SOUPS 4629 WITH SCORE 4635.934
AT ITER 114 NEW BEST:: SOT 13446 SOS 6887 HAS SOPS 6568 HAS SOUS 4892 HAS SOUPS 4612 WITH SCORE 4618.887
AT ITER 122 NEW BEST:: SOT 13442 SOS 6895 HAS SOPS 6570 HAS SOUS 4892 HAS SOUPS 4606 WITH SCORE 4612.895
AT ITER 131 NEW BEST:: SOT 13311 SOS 6783 HAS SOPS 6458 HAS SOUS 4841 HAS SOUPS 4555 WITH SCORE 4561.783
AT ITER 133 NEW BEST:: SOT 13314 SOS 6791 HAS SOPS 6436 HAS SOUS 4849 HAS SOUPS 4533 WITH SCORE 4539.791
AT ITER 138 NEW BEST:: SOT 13314 SOS 6783 HAS SOPS 6428 HAS SOUS 4846 HAS SOUPS 4530 WITH SCORE 4536.783
AT ITER 139 NEW BEST:: SOT 13312 SOS 6775 HAS SOPS 6420 HAS SOUS 4838 HAS SOUPS 4522 WITH SCORE 4528.775
AT ITER 149 NEW BEST:: SOT 13136 SOS 6599 HAS SOPS 6244 HAS SOUS 4822 HAS SOUPS 4506 WITH SCORE 4512.599
AT ITER 159 NEW BEST:: SOT 13136 SOS 6613 HAS SOPS 6258 HAS SOUS 4793 HAS SOUPS 4477 WITH SCORE 4483.613
AT ITER 165 NEW BEST:: SOT 13138 SOS 6619 HAS SOPS 6264 HAS SOUS 4785 HAS SOUPS 4469 WITH SCORE 4475.619
AT ITER 171 NEW BEST:: SOT 13112 SOS 6538 HAS SOPS 6183 HAS SOUS 4769 HAS SOUPS 4453 WITH SCORE 4459.538
AT ITER 172 NEW BEST:: SOT 13112 SOS 6499 HAS SOPS 6144 HAS SOUS 4730 HAS SOUPS 4414 WITH SCORE 4420.499
AT ITER 178 NEW BEST:: SOT 13111 SOS 6498 HAS SOPS 6143 HAS SOUS 4729 HAS SOUPS 4413 WITH SCORE 4419.498
AT ITER 188 NEW BEST:: SOT 13110 SOS 6493 HAS SOPS 6138 HAS SOUS 4724 HAS SOUPS 4408 WITH SCORE 4414.493
AT ITER 196 NEW BEST:: SOT 13102 SOS 6481 HAS SOPS 6126 HAS SOUS 4716 HAS SOUPS 4400 WITH SCORE 4406.481
AT ITER 198 NEW BEST:: SOT 13086 SOS 6480 HAS SOPS 6125 HAS SOUS 4711 HAS SOUPS 4395 WITH SCORE 4401.48
AT ITER 200 NEW BEST:: SOT 13101 SOS 6490 HAS SOPS 6135 HAS SOUS 4706 HAS SOUPS 4390 WITH SCORE 4396.49
AT ITER 201 NEW BEST:: SOT 13067 SOS 6488 HAS SOPS 6113 HAS SOUS 4692 HAS SOUPS 4356 WITH SCORE 4362.488
AT ITER 202 NEW BEST:: SOT 12983 SOS 6376 HAS SOPS 6001 HAS SOUS 4608 HAS SOUPS 4272 WITH SCORE 4278.376
AT ITER 207 NEW BEST:: SOT 12983 SOS 6375 HAS SOPS 6000 HAS SOUS 4604 HAS SOUPS 4268 WITH SCORE 4274.375
AT ITER 208 NEW BEST:: SOT 12979 SOS 6371 HAS SOPS 5996 HAS SOUS 4600 HAS SOUPS 4264 WITH SCORE 4270.371
AT ITER 218 NEW BEST:: SOT 12967 SOS 6353 HAS SOPS 5978 HAS SOUS 4588 HAS SOUPS 4252 WITH SCORE 4258.353
AT ITER 223 NEW BEST:: SOT 12816 SOS 6192 HAS SOPS 5786 HAS SOUS 4471 HAS SOUPS 4104 WITH SCORE 4110.192
AT ITER 231 NEW BEST:: SOT 12814 SOS 6190 HAS SOPS 5778 HAS SOUS 4469 HAS SOUPS 4096 WITH SCORE 4102.19
AT ITER 245 NEW BEST:: SOT 12799 SOS 6142 HAS SOPS 5730 HAS SOUS 4450 HAS SOUPS 4077 WITH SCORE 4083.142
AT ITER 247 NEW BEST:: SOT 12793 SOS 6128 HAS SOPS 5716 HAS SOUS 4442 HAS SOUPS 4069 WITH SCORE 4075.128
AT ITER 256 NEW BEST:: SOT 12808 SOS 6109 HAS SOPS 5697 HAS SOUS 4423 HAS SOUPS 4050 WITH SCORE 4056.109
AT ITER 265 NEW BEST:: SOT 12790 SOS 6073 HAS SOPS 5661 HAS SOUS 4399 HAS SOUPS 4026 WITH SCORE 4032.073
AT ITER 285 NEW BEST:: SOT 12762 SOS 5975 HAS SOPS 5563 HAS SOUS 4385 HAS SOUPS 4012 WITH SCORE 4017.975
AT ITER 287 NEW BEST:: SOT 12763 SOS 5973 HAS SOPS 5561 HAS SOUS 4384 HAS SOUPS 4011 WITH SCORE 4016.973
AT ITER 295 NEW BEST:: SOT 12739 SOS 5949 HAS SOPS 5525 HAS SOUS 4372 HAS SOUPS 3987 WITH SCORE 3992.949
AT ITER 307 NEW BEST:: SOT 12751 SOS 5946 HAS SOPS 5522 HAS SOUS 4357 HAS SOUPS 3972 WITH SCORE 3977.946
AT ITER 314 NEW BEST:: SOT 12762 SOS 5898 HAS SOPS 5457 HAS SOUS 4309 HAS SOUPS 3907 WITH SCORE 3912.898
AT ITER 327 NEW BEST:: SOT 12755 SOS 5891 HAS SOPS 5450 HAS SOUS 4302 HAS SOUPS 3900 WITH SCORE 3905.891
AT ITER 343 NEW BEST:: SOT 12749 SOS 5885 HAS SOPS 5444 HAS SOUS 4302 HAS SOUPS 3900 WITH SCORE 3905.885
AT ITER 358 NEW BEST:: SOT 12749 SOS 5849 HAS SOPS 5408 HAS SOUS 4284 HAS SOUPS 3882 WITH SCORE 3887.849
AT ITER 383 NEW BEST:: SOT 12807 SOS 5907 HAS SOPS 5442 HAS SOUS 4301 HAS SOUPS 3876 WITH SCORE 3881.907
AT ITER 388 NEW BEST:: SOT 12938 SOS 5824 HAS SOPS 5320 HAS SOUS 4317 HAS SOUPS 3872 WITH SCORE 3877.824
AT ITER 414 NEW BEST:: SOT 12928 SOS 5808 HAS SOPS 5304 HAS SOUS 4286 HAS SOUPS 3841 WITH SCORE 3846.808
AT ITER 433 NEW BEST:: SOT 12927 SOS 5807 HAS SOPS 5303 HAS SOUS 4285 HAS SOUPS 3840 WITH SCORE 3845.807
AT ITER 437 NEW BEST:: SOT 12854 SOS 5758 HAS SOPS 5254 HAS SOUS 4266 HAS SOUPS 3821 WITH SCORE 3826.758
AT ITER 439 NEW BEST:: SOT 12852 SOS 5753 HAS SOPS 5249 HAS SOUS 4263 HAS SOUPS 3818 WITH SCORE 3823.753
AT ITER 448 NEW BEST:: SOT 12832 SOS 5713 HAS SOPS 5209 HAS SOUS 4223 HAS SOUPS 3778 WITH SCORE 3783.713
AT ITER 458 NEW BEST:: SOT 12819 SOS 5641 HAS SOPS 5137 HAS SOUS 4197 HAS SOUPS 3752 WITH SCORE 3757.641
AT ITER 461 NEW BEST:: SOT 12884 SOS 5683 HAS SOPS 5157 HAS SOUS 4164 HAS SOUPS 3714 WITH SCORE 3719.683
AT ITER 490 NEW BEST:: SOT 12857 SOS 5656 HAS SOPS 5131 HAS SOUS 4151 HAS SOUPS 3702 WITH SCORE 3707.656
AT ITER 511 NEW BEST:: SOT 12856 SOS 5654 HAS SOPS 5129 HAS SOUS 4150 HAS SOUPS 3701 WITH SCORE 3706.654
AT ITER 513 NEW BEST:: SOT 12854 SOS 5652 HAS SOPS 5127 HAS SOUS 4146 HAS SOUPS 3697 WITH SCORE 3702.652
AT ITER 517 NEW BEST:: SOT 12853 SOS 5647 HAS SOPS 5123 HAS SOUS 4141 HAS SOUPS 3693 WITH SCORE 3698.647
AT ITER 528 NEW BEST:: SOT 12843 SOS 5647 HAS SOPS 5123 HAS SOUS 4131 HAS SOUPS 3683 WITH SCORE 3688.647
AT ITER 542 NEW BEST:: SOT 12779 SOS 5573 HAS SOPS 5032 HAS SOUS 4082 HAS SOUPS 3617 WITH SCORE 3622.573
AT ITER 559 NEW BEST:: SOT 12779 SOS 5553 HAS SOPS 5021 HAS SOUS 4071 HAS SOUPS 3615 WITH SCORE 3620.553
AT ITER 560 NEW BEST:: SOT 12772 SOS 5547 HAS SOPS 5015 HAS SOUS 4065 HAS SOUPS 3609 WITH SCORE 3614.547
AT ITER 575 NEW BEST:: SOT 12768 SOS 5539 HAS SOPS 5011 HAS SOUS 4065 HAS SOUPS 3609 WITH SCORE 3614.539
AT ITER 585 NEW BEST:: SOT 12755 SOS 5499 HAS SOPS 4987 HAS SOUS 4043 HAS SOUPS 3603 WITH SCORE 3608.499
AT ITER 591 NEW BEST:: SOT 12751 SOS 5476 HAS SOPS 4980 HAS SOUS 4024 HAS SOUPS 3600 WITH SCORE 3605.476
AT ITER 601 NEW BEST:: SOT 12748 SOS 5448 HAS SOPS 4952 HAS SOUS 3997 HAS SOUPS 3573 WITH SCORE 3578.448
AT ITER 605 NEW BEST:: SOT 12748 SOS 5444 HAS SOPS 4952 HAS SOUS 3993 HAS SOUPS 3573 WITH SCORE 3578.444
AT ITER 617 NEW BEST:: SOT 12742 SOS 5412 HAS SOPS 4959 HAS SOUS 3965 HAS SOUPS 3565 WITH SCORE 3570.412
AT ITER 620 NEW BEST:: SOT 12742 SOS 5399 HAS SOPS 4946 HAS SOUS 3965 HAS SOUPS 3565 WITH SCORE 3570.399
AT ITER 627 NEW BEST:: SOT 12742 SOS 5398 HAS SOPS 4945 HAS SOUS 3964 HAS SOUPS 3564 WITH SCORE 3569.398
AT ITER 635 NEW BEST:: SOT 12626 SOS 5376 HAS SOPS 4881 HAS SOUS 3953 HAS SOUPS 3532 WITH SCORE 3537.376
AT ITER 639 NEW BEST:: SOT 12625 SOS 5375 HAS SOPS 4880 HAS SOUS 3952 HAS SOUPS 3531 WITH SCORE 3536.375
AT ITER 647 NEW BEST:: SOT 12622 SOS 5376 HAS SOPS 4881 HAS SOUS 3949 HAS SOUPS 3528 WITH SCORE 3533.376
AT ITER 654 NEW BEST:: SOT 12622 SOS 5365 HAS SOPS 4870 HAS SOUS 3938 HAS SOUPS 3517 WITH SCORE 3522.365
AT ITER 657 NEW BEST:: SOT 12622 SOS 5364 HAS SOPS 4870 HAS SOUS 3937 HAS SOUPS 3517 WITH SCORE 3522.364
AT ITER 662 NEW BEST:: SOT 12621 SOS 5363 HAS SOPS 4869 HAS SOUS 3936 HAS SOUPS 3516 WITH SCORE 3521.363
AT ITER 673 NEW BEST:: SOT 12618 SOS 5357 HAS SOPS 4863 HAS SOUS 3933 HAS SOUPS 3513 WITH SCORE 3518.357
AT ITER 676 NEW BEST:: SOT 12640 SOS 5252 HAS SOPS 4741 HAS SOUS 3941 HAS SOUPS 3504 WITH SCORE 3509.252
AT ITER 683 NEW BEST:: SOT 12639 SOS 5239 HAS SOPS 4728 HAS SOUS 3928 HAS SOUPS 3491 WITH SCORE 3496.239
AT ITER 693 NEW BEST:: SOT 12637 SOS 5237 HAS SOPS 4726 HAS SOUS 3925 HAS SOUPS 3488 WITH SCORE 3493.237
AT ITER 703 NEW BEST:: SOT 12589 SOS 5155 HAS SOPS 4644 HAS SOUS 3875 HAS SOUPS 3438 WITH SCORE 3443.155
AT ITER 728 NEW BEST:: SOT 12588 SOS 5139 HAS SOPS 4628 HAS SOUS 3859 HAS SOUPS 3422 WITH SCORE 3427.139
AT ITER 735 NEW BEST:: SOT 12580 SOS 5119 HAS SOPS 4608 HAS SOUS 3847 HAS SOUPS 3410 WITH SCORE 3415.119
AT ITER 743 NEW BEST:: SOT 12548 SOS 5087 HAS SOPS 4576 HAS SOUS 3847 HAS SOUPS 3410 WITH SCORE 3415.087
AT ITER 755 NEW BEST:: SOT 12627 SOS 5126 HAS SOPS 4615 HAS SOUS 3836 HAS SOUPS 3399 WITH SCORE 3404.126
AT ITER 769 NEW BEST:: SOT 12627 SOS 5119 HAS SOPS 4608 HAS SOUS 3835 HAS SOUPS 3398 WITH SCORE 3403.119
AT ITER 770 NEW BEST:: SOT 12627 SOS 5132 HAS SOPS 4605 HAS SOUS 3850 HAS SOUPS 3397 WITH SCORE 3402.132
AT ITER 772 NEW BEST:: SOT 12609 SOS 5114 HAS SOPS 4578 HAS SOUS 3841 HAS SOUPS 3379 WITH SCORE 3384.114
AT ITER 773 NEW BEST:: SOT 12664 SOS 5153 HAS SOPS 4630 HAS SOUS 3830 HAS SOUPS 3368 WITH SCORE 3373.153
AT ITER 781 NEW BEST:: SOT 12754 SOS 5233 HAS SOPS 4710 HAS SOUS 3820 HAS SOUPS 3358 WITH SCORE 3363.233
AT ITER 794 NEW BEST:: SOT 12746 SOS 5243 HAS SOPS 4720 HAS SOUS 3815 HAS SOUPS 3353 WITH SCORE 3358.243
AT ITER 797 NEW BEST:: SOT 12718 SOS 5211 HAS SOPS 4688 HAS SOUS 3792 HAS SOUPS 3330 WITH SCORE 3335.211
AT ITER 803 NEW BEST:: SOT 12718 SOS 5187 HAS SOPS 4664 HAS SOUS 3768 HAS SOUPS 3306 WITH SCORE 3311.187
AT ITER 810 NEW BEST:: SOT 12771 SOS 5234 HAS SOPS 4711 HAS SOUS 3752 HAS SOUPS 3290 WITH SCORE 3295.234
AT ITER 816 NEW BEST:: SOT 12765 SOS 5232 HAS SOPS 4709 HAS SOUS 3750 HAS SOUPS 3288 WITH SCORE 3293.232
AT ITER 819 NEW BEST:: SOT 12765 SOS 5102 HAS SOPS 4579 HAS SOUS 3750 HAS SOUPS 3288 WITH SCORE 3293.102
AT ITER 821 NEW BEST:: SOT 12758 SOS 5095 HAS SOPS 4572 HAS SOUS 3743 HAS SOUPS 3281 WITH SCORE 3286.095
AT ITER 834 NEW BEST:: SOT 12763 SOS 5079 HAS SOPS 4563 HAS SOUS 3734 HAS SOUPS 3279 WITH SCORE 3284.079
AT ITER 835 NEW BEST:: SOT 12760 SOS 5073 HAS SOPS 4557 HAS SOUS 3728 HAS SOUPS 3273 WITH SCORE 3278.073
AT ITER 836 NEW BEST:: SOT 12736 SOS 5040 HAS SOPS 4536 HAS SOUS 3719 HAS SOUPS 3264 WITH SCORE 3269.04
AT ITER 837 NEW BEST:: SOT 12994 SOS 5248 HAS SOPS 4744 HAS SOUS 3715 HAS SOUPS 3260 WITH SCORE 3265.248
AT ITER 856 NEW BEST:: SOT 12921 SOS 5124 HAS SOPS 4637 HAS SOUS 3638 HAS SOUPS 3183 WITH SCORE 3188.124
AT ITER 881 NEW BEST:: SOT 12904 SOS 5090 HAS SOPS 4610 HAS SOUS 3614 HAS SOUPS 3166 WITH SCORE 3171.09
AT ITER 897 NEW BEST:: SOT 12880 SOS 4930 HAS SOPS 4450 HAS SOUS 3583 HAS SOUPS 3135 WITH SCORE 3139.93
AT ITER 900 NEW BEST:: SOT 12864 SOS 4930 HAS SOPS 4447 HAS SOUS 3573 HAS SOUPS 3122 WITH SCORE 3126.93
AT ITER 907 NEW BEST:: SOT 12806 SOS 4868 HAS SOPS 4385 HAS SOUS 3531 HAS SOUPS 3080 WITH SCORE 3084.868
AT ITER 918 NEW BEST:: SOT 12736 SOS 4856 HAS SOPS 4361 HAS SOUS 3516 HAS SOUPS 3065 WITH SCORE 3069.856
AT ITER 919 NEW BEST:: SOT 12772 SOS 4915 HAS SOPS 4384 HAS SOUS 3520 HAS SOUPS 3052 WITH SCORE 3056.915
AT ITER 961 NEW BEST:: SOT 12768 SOS 4920 HAS SOPS 4376 HAS SOUS 3529 HAS SOUPS 3048 WITH SCORE 3052.92
AT ITER 970 NEW BEST:: SOT 12766 SOS 4916 HAS SOPS 4372 HAS SOUS 3525 HAS SOUPS 3044 WITH SCORE 3048.916
AT ITER 976 NEW BEST:: SOT 12761 SOS 4909 HAS SOPS 4365 HAS SOUS 3524 HAS SOUPS 3043 WITH SCORE 3047.909
AT ITER 985 NEW BEST:: SOT 12753 SOS 4828 HAS SOPS 4304 HAS SOUS 3501 HAS SOUPS 3031 WITH SCORE 3035.828
AT ITER 988 NEW BEST:: SOT 12733 SOS 4953 HAS SOPS 4376 HAS SOUS 3500 HAS SOUPS 3012 WITH SCORE 3016.953
AT ITER 991 NEW BEST:: SOT 12714 SOS 4955 HAS SOPS 4345 HAS SOUS 3509 HAS SOUPS 2988 WITH SCORE 2992.955
AT ITER 1029 NEW BEST:: SOT 12711 SOS 4951 HAS SOPS 4342 HAS SOUS 3506 HAS SOUPS 2986 WITH SCORE 2990.951
AT ITER 1045 NEW BEST:: SOT 12705 SOS 4945 HAS SOPS 4319 HAS SOUS 3506 HAS SOUPS 2969 WITH SCORE 2973.945
AT ITER 1053 NEW BEST:: SOT 12704 SOS 4944 HAS SOPS 4318 HAS SOUS 3504 HAS SOUPS 2967 WITH SCORE 2971.944
AT ITER 1085 NEW BEST:: SOT 12698 SOS 4943 HAS SOPS 4311 HAS SOUS 3507 HAS SOUPS 2965 WITH SCORE 2969.943
AT ITER 1088 NEW BEST:: SOT 12655 SOS 4843 HAS SOPS 4232 HAS SOUS 3445 HAS SOUPS 2924 WITH SCORE 2928.843
AT ITER 1096 NEW BEST:: SOT 12648 SOS 4804 HAS SOPS 4193 HAS SOUS 3435 HAS SOUPS 2914 WITH SCORE 2918.804
AT ITER 1102 NEW BEST:: SOT 12664 SOS 4768 HAS SOPS 4157 HAS SOUS 3422 HAS SOUPS 2901 WITH SCORE 2905.768
AT ITER 1106 NEW BEST:: SOT 12666 SOS 4779 HAS SOPS 4156 HAS SOUS 3425 HAS SOUPS 2898 WITH SCORE 2902.779
AT ITER 1108 NEW BEST:: SOT 12661 SOS 4761 HAS SOPS 4151 HAS SOUS 3407 HAS SOUPS 2893 WITH SCORE 2897.761
AT ITER 1112 NEW BEST:: SOT 12655 SOS 4754 HAS SOPS 4144 HAS SOUS 3402 HAS SOUPS 2888 WITH SCORE 2892.754
AT ITER 1115 NEW BEST:: SOT 12655 SOS 4754 HAS SOPS 4143 HAS SOUS 3402 HAS SOUPS 2887 WITH SCORE 2891.754
AT ITER 1132 NEW BEST:: SOT 12652 SOS 4748 HAS SOPS 4137 HAS SOUS 3394 HAS SOUPS 2879 WITH SCORE 2883.748
AT ITER 1157 NEW BEST:: SOT 12652 SOS 4741 HAS SOPS 4130 HAS SOUS 3394 HAS SOUPS 2879 WITH SCORE 2883.741
AT ITER 1184 NEW BEST:: SOT 12646 SOS 4729 HAS SOPS 4118 HAS SOUS 3388 HAS SOUPS 2873 WITH SCORE 2877.729
AT ITER 1215 NEW BEST:: SOT 12630 SOS 4713 HAS SOPS 4110 HAS SOUS 3388 HAS SOUPS 2873 WITH SCORE 2877.713
AT ITER 1281 NEW BEST:: SOT 12621 SOS 4686 HAS SOPS 4092 HAS SOUS 3370 HAS SOUPS 2864 WITH SCORE 2868.686
AT ITER 1291 NEW BEST:: SOT 12619 SOS 4683 HAS SOPS 4090 HAS SOUS 3368 HAS SOUPS 2863 WITH SCORE 2867.683
AT ITER 1303 NEW BEST:: SOT 12619 SOS 4683 HAS SOPS 4088 HAS SOUS 3368 HAS SOUPS 2861 WITH SCORE 2865.683
AT ITER 1357 NEW BEST:: SOT 12618 SOS 4691 HAS SOPS 4086 HAS SOUS 3376 HAS SOUPS 2859 WITH SCORE 2863.691
AT ITER 1364 NEW BEST:: SOT 12620 SOS 4667 HAS SOPS 4086 HAS SOUS 3350 HAS SOUPS 2857 WITH SCORE 2861.667
AT ITER 1400 NEW BEST:: SOT 12570 SOS 4622 HAS SOPS 4041 HAS SOUS 3350 HAS SOUPS 2857 WITH SCORE 2861.622
AT ITER 1406 NEW BEST:: SOT 12560 SOS 4613 HAS SOPS 4031 HAS SOUS 3341 HAS SOUPS 2847 WITH SCORE 2851.613
AT ITER 1421 NEW BEST:: SOT 12546 SOS 4599 HAS SOPS 4017 HAS SOUS 3327 HAS SOUPS 2833 WITH SCORE 2837.599
AT ITER 1468 NEW BEST:: SOT 12740 SOS 4723 HAS SOPS 4141 HAS SOUS 3321 HAS SOUPS 2827 WITH SCORE 2831.723
AT ITER 1477 NEW BEST:: SOT 12734 SOS 4711 HAS SOPS 4129 HAS SOUS 3321 HAS SOUPS 2827 WITH SCORE 2831.711
AT ITER 1482 NEW BEST:: SOT 12732 SOS 4707 HAS SOPS 4125 HAS SOUS 3317 HAS SOUPS 2823 WITH SCORE 2827.707
AT ITER 1505 NEW BEST:: SOT 12732 SOS 4700 HAS SOPS 4125 HAS SOUS 3310 HAS SOUPS 2823 WITH SCORE 2827.7
AT ITER 1513 NEW BEST:: SOT 12723 SOS 4601 HAS SOPS 4026 HAS SOUS 3292 HAS SOUPS 2805 WITH SCORE 2809.601
AT ITER 1528 NEW BEST:: SOT 12863 SOS 4630 HAS SOPS 4055 HAS SOUS 3281 HAS SOUPS 2794 WITH SCORE 2798.63
AT ITER 1547 NEW BEST:: SOT 12859 SOS 4628 HAS SOPS 4047 HAS SOUS 3281 HAS SOUPS 2790 WITH SCORE 2794.628
AT ITER 1557 NEW BEST:: SOT 12701 SOS 4474 HAS SOPS 3893 HAS SOUS 3273 HAS SOUPS 2782 WITH SCORE 2786.474
AT ITER 1560 NEW BEST:: SOT 12693 SOS 4458 HAS SOPS 3885 HAS SOUS 3265 HAS SOUPS 2782 WITH SCORE 2786.458
AT ITER 1602 NEW BEST:: SOT 12692 SOS 4405 HAS SOPS 3832 HAS SOUS 3242 HAS SOUPS 2759 WITH SCORE 2763.405
AT ITER 1614 NEW BEST:: SOT 12688 SOS 4341 HAS SOPS 3761 HAS SOUS 3245 HAS SOUPS 2755 WITH SCORE 2759.341
AT ITER 1622 NEW BEST:: SOT 12687 SOS 4340 HAS SOPS 3760 HAS SOUS 3244 HAS SOUPS 2754 WITH SCORE 2758.34
AT ITER 1686 NEW BEST:: SOT 12683 SOS 4334 HAS SOPS 3754 HAS SOUS 3240 HAS SOUPS 2750 WITH SCORE 2754.334
AT ITER 1691 NEW BEST:: SOT 12660 SOS 4295 HAS SOPS 3715 HAS SOUS 3219 HAS SOUPS 2729 WITH SCORE 2733.295
AT ITER 1692 NEW BEST:: SOT 12667 SOS 4270 HAS SOPS 3701 HAS SOUS 3199 HAS SOUPS 2720 WITH SCORE 2724.27
AT ITER 1737 NEW BEST:: SOT 12651 SOS 4254 HAS SOPS 3685 HAS SOUS 3183 HAS SOUPS 2704 WITH SCORE 2708.254
AT ITER 1739 NEW BEST:: SOT 12645 SOS 4227 HAS SOPS 3658 HAS SOUS 3162 HAS SOUPS 2683 WITH SCORE 2687.227
AT ITER 1788 NEW BEST:: SOT 12634 SOS 4217 HAS SOPS 3648 HAS SOUS 3152 HAS SOUPS 2673 WITH SCORE 2677.217
AT ITER 1824 NEW BEST:: SOT 12652 SOS 4128 HAS SOPS 3559 HAS SOUS 3149 HAS SOUPS 2670 WITH SCORE 2674.128
AT ITER 1841 NEW BEST:: SOT 12660 SOS 4104 HAS SOPS 3535 HAS SOUS 3149 HAS SOUPS 2670 WITH SCORE 2674.104
AT ITER 1842 NEW BEST:: SOT 12659 SOS 4095 HAS SOPS 3533 HAS SOUS 3140 HAS SOUPS 2668 WITH SCORE 2672.095
AT ITER 1877 NEW BEST:: SOT 12692 SOS 4121 HAS SOPS 3559 HAS SOUS 3137 HAS SOUPS 2665 WITH SCORE 2669.121
AT ITER 1881 NEW BEST:: SOT 12688 SOS 4115 HAS SOPS 3553 HAS SOUS 3133 HAS SOUPS 2661 WITH SCORE 2665.115
AT ITER 1904 NEW BEST:: SOT 12656 SOS 4072 HAS SOPS 3521 HAS SOUS 3138 HAS SOUPS 2661 WITH SCORE 2665.072
AT ITER 1917 NEW BEST:: SOT 12654 SOS 4080 HAS SOPS 3529 HAS SOUS 3136 HAS SOUPS 2659 WITH SCORE 2663.08
AT ITER 1950 NEW BEST:: SOT 12654 SOS 4046 HAS SOPS 3503 HAS SOUS 3128 HAS SOUPS 2655 WITH SCORE 2659.046
AT ITER 1974 NEW BEST:: SOT 12652 SOS 4042 HAS SOPS 3499 HAS SOUS 3126 HAS SOUPS 2653 WITH SCORE 2657.042
AT ITER 1993 NEW BEST:: SOT 12648 SOS 4050 HAS SOPS 3507 HAS SOUS 3125 HAS SOUPS 2652 WITH SCORE 2656.05
AT ITER 2034 NEW BEST:: SOT 12648 SOS 4050 HAS SOPS 3494 HAS SOUS 3126 HAS SOUPS 2640 WITH SCORE 2644.05
AT ITER 2147 NEW BEST:: SOT 12638 SOS 4030 HAS SOPS 3474 HAS SOUS 3116 HAS SOUPS 2630 WITH SCORE 2634.03
AT ITER 2162 NEW BEST:: SOT 12633 SOS 4023 HAS SOPS 3467 HAS SOUS 3114 HAS SOUPS 2628 WITH SCORE 2632.023
AT ITER 2164 NEW BEST:: SOT 12632 SOS 4022 HAS SOPS 3466 HAS SOUS 3113 HAS SOUPS 2627 WITH SCORE 2631.022
AT ITER 2177 NEW BEST:: SOT 12634 SOS 4016 HAS SOPS 3466 HAS SOUS 3105 HAS SOUPS 2625 WITH SCORE 2629.016
AT ITER 2186 NEW BEST:: SOT 12630 SOS 4012 HAS SOPS 3462 HAS SOUS 3103 HAS SOUPS 2623 WITH SCORE 2627.012
AT ITER 2271 NEW BEST:: SOT 12626 SOS 4006 HAS SOPS 3458 HAS SOUS 3099 HAS SOUPS 2621 WITH SCORE 2625.006
AT ITER 2282 NEW BEST:: SOT 12622 SOS 4002 HAS SOPS 3450 HAS SOUS 3099 HAS SOUPS 2617 WITH SCORE 2621.002
AT ITER 2328 NEW BEST:: SOT 12618 SOS 3994 HAS SOPS 3446 HAS SOUS 3095 HAS SOUPS 2617 WITH SCORE 2620.994
AT ITER 2336 NEW BEST:: SOT 12618 SOS 3983 HAS SOPS 3435 HAS SOUS 3084 HAS SOUPS 2606 WITH SCORE 2609.983
AT ITER 2405 NEW BEST:: SOT 12614 SOS 3973 HAS SOPS 3425 HAS SOUS 3078 HAS SOUPS 2600 WITH SCORE 2603.973
AT ITER 2763 NEW BEST:: SOT 12576 SOS 3953 HAS SOPS 3405 HAS SOUS 3058 HAS SOUPS 2580 WITH SCORE 2583.953
AT ITER 2803 NEW BEST:: SOT 12586 SOS 3961 HAS SOPS 3413 HAS SOUS 3052 HAS SOUPS 2574 WITH SCORE 2577.961
AT ITER 2811 NEW BEST:: SOT 12583 SOS 3925 HAS SOPS 3364 HAS SOUS 3058 HAS SOUPS 2567 WITH SCORE 2570.925
AT ITER 2814 NEW BEST:: SOT 12587 SOS 3924 HAS SOPS 3363 HAS SOUS 3057 HAS SOUPS 2566 WITH SCORE 2569.924
AT ITER 2856 NEW BEST:: SOT 12590 SOS 3886 HAS SOPS 3325 HAS SOUS 3055 HAS SOUPS 2564 WITH SCORE 2567.886
AT ITER 2933 NEW BEST:: SOT 12588 SOS 3883 HAS SOPS 3322 HAS SOUS 3054 HAS SOUPS 2563 WITH SCORE 2566.883
AT ITER 3028 NEW BEST:: SOT 12588 SOS 3881 HAS SOPS 3320 HAS SOUS 3049 HAS SOUPS 2558 WITH SCORE 2561.881
AT ITER 3103 NEW BEST:: SOT 12595 SOS 3886 HAS SOPS 3325 HAS SOUS 3045 HAS SOUPS 2554 WITH SCORE 2557.886
AT ITER 3185 NEW BEST:: SOT 12589 SOS 3874 HAS SOPS 3316 HAS SOUS 3039 HAS SOUPS 2551 WITH SCORE 2554.874
AT ITER 3221 NEW BEST:: SOT 12588 SOS 3857 HAS SOPS 3309 HAS SOUS 3017 HAS SOUPS 2539 WITH SCORE 2542.857
AT ITER 3252 NEW BEST:: SOT 12580 SOS 3865 HAS SOPS 3317 HAS SOUS 3013 HAS SOUPS 2535 WITH SCORE 2538.865
AT ITER 3253 NEW BEST:: SOT 12578 SOS 3861 HAS SOPS 3313 HAS SOUS 3011 HAS SOUPS 2533 WITH SCORE 2536.861
AT ITER 3279 NEW BEST:: SOT 12574 SOS 3860 HAS SOPS 3309 HAS SOUS 3013 HAS SOUPS 2532 WITH SCORE 2535.86
AT ITER 3283 NEW BEST:: SOT 12573 SOS 3859 HAS SOPS 3307 HAS SOUS 3013 HAS SOUPS 2531 WITH SCORE 2534.859
AT ITER 3302 NEW BEST:: SOT 12578 SOS 3862 HAS SOPS 3310 HAS SOUS 3011 HAS SOUPS 2529 WITH SCORE 2532.862
AT ITER 3375 NEW BEST:: SOT 12575 SOS 3859 HAS SOPS 3307 HAS SOUS 3007 HAS SOUPS 2525 WITH SCORE 2528.859
AT ITER 3377 NEW BEST:: SOT 12572 SOS 3856 HAS SOPS 3304 HAS SOUS 3004 HAS SOUPS 2522 WITH SCORE 2525.856
AT ITER 3400 NEW BEST:: SOT 12568 SOS 3853 HAS SOPS 3301 HAS SOUS 3000 HAS SOUPS 2518 WITH SCORE 2521.853
AT ITER 3447 NEW BEST:: SOT 12564 SOS 3845 HAS SOPS 3293 HAS SOUS 2996 HAS SOUPS 2514 WITH SCORE 2517.845
AT ITER 3449 NEW BEST:: SOT 12555 SOS 3873 HAS SOPS 3307 HAS SOUS 3001 HAS SOUPS 2512 WITH SCORE 2515.873
AT ITER 3450 NEW BEST:: SOT 12553 SOS 3869 HAS SOPS 3303 HAS SOUS 2999 HAS SOUPS 2510 WITH SCORE 2513.869
AT ITER 3460 NEW BEST:: SOT 12554 SOS 3866 HAS SOPS 3300 HAS SOUS 2999 HAS SOUPS 2510 WITH SCORE 2513.866
AT ITER 3543 NEW BEST:: SOT 12553 SOS 3859 HAS SOPS 3295 HAS SOUS 2995 HAS SOUPS 2508 WITH SCORE 2511.859
AT ITER 3544 NEW BEST:: SOT 12551 SOS 3849 HAS SOPS 3291 HAS SOUS 2987 HAS SOUPS 2506 WITH SCORE 2509.849
AT ITER 3642 NEW BEST:: SOT 12550 SOS 3846 HAS SOPS 3288 HAS SOUS 2986 HAS SOUPS 2505 WITH SCORE 2508.846
AT ITER 3649 NEW BEST:: SOT 12550 SOS 3845 HAS SOPS 3287 HAS SOUS 2985 HAS SOUPS 2504 WITH SCORE 2507.845
AT ITER 3719 NEW BEST:: SOT 12548 SOS 3843 HAS SOPS 3283 HAS SOUS 2983 HAS SOUPS 2500 WITH SCORE 2503.843
AT ITER 3784 NEW BEST:: SOT 12543 SOS 3834 HAS SOPS 3271 HAS SOUS 2974 HAS SOUPS 2488 WITH SCORE 2491.834
AT ITER 3836 NEW BEST:: SOT 12543 SOS 3818 HAS SOPS 3271 HAS SOUS 2958 HAS SOUPS 2488 WITH SCORE 2491.818
AT ITER 3946 NEW BEST:: SOT 12545 SOS 3820 HAS SOPS 3272 HAS SOUS 2956 HAS SOUPS 2486 WITH SCORE 2489.82
AT ITER 4006 NEW BEST:: SOT 12545 SOS 3809 HAS SOPS 3266 HAS SOUS 2951 HAS SOUPS 2486 WITH SCORE 2489.809
AT ITER 4130 NEW BEST:: SOT 12545 SOS 3828 HAS SOPS 3265 HAS SOUS 2970 HAS SOUPS 2485 WITH SCORE 2488.828
AT ITER 4163 NEW BEST:: SOT 12544 SOS 3825 HAS SOPS 3262 HAS SOUS 2968 HAS SOUPS 2483 WITH SCORE 2486.825
AT ITER 4168 NEW BEST:: SOT 12542 SOS 3827 HAS SOPS 3264 HAS SOUS 2967 HAS SOUPS 2482 WITH SCORE 2485.827
AT ITER 4184 NEW BEST:: SOT 12541 SOS 3826 HAS SOPS 3264 HAS SOUS 2966 HAS SOUPS 2482 WITH SCORE 2485.826
AT ITER 4227 NEW BEST:: SOT 12541 SOS 3825 HAS SOPS 3263 HAS SOUS 2965 HAS SOUPS 2481 WITH SCORE 2484.825
AT ITER 4233 NEW BEST:: SOT 12572 SOS 3847 HAS SOPS 3280 HAS SOUS 2969 HAS SOUPS 2480 WITH SCORE 2483.847
AT ITER 4334 NEW BEST:: SOT 12568 SOS 3848 HAS SOPS 3281 HAS SOUS 2966 HAS SOUPS 2477 WITH SCORE 2480.848
AT ITER 4360 NEW BEST:: SOT 12568 SOS 3847 HAS SOPS 3280 HAS SOUS 2965 HAS SOUPS 2476 WITH SCORE 2479.847
AT ITER 4388 NEW BEST:: SOT 12568 SOS 3890 HAS SOPS 3323 HAS SOUS 2963 HAS SOUPS 2474 WITH SCORE 2477.89
AT ITER 4393 NEW BEST:: SOT 12571 SOS 3893 HAS SOPS 3317 HAS SOUS 2966 HAS SOUPS 2468 WITH SCORE 2471.893
AT ITER 4472 NEW BEST:: SOT 12556 SOS 3868 HAS SOPS 3297 HAS SOUS 2966 HAS SOUPS 2468 WITH SCORE 2471.868
AT ITER 4601 NEW BEST:: SOT 12536 SOS 3846 HAS SOPS 3275 HAS SOUS 2966 HAS SOUPS 2468 WITH SCORE 2471.846
AT ITER 4629 NEW BEST:: SOT 12536 SOS 3843 HAS SOPS 3272 HAS SOUS 2964 HAS SOUPS 2466 WITH SCORE 2469.843
AT ITER 4634 NEW BEST:: SOT 12528 SOS 3848 HAS SOPS 3270 HAS SOUS 2970 HAS SOUPS 2465 WITH SCORE 2468.848
AT ITER 4676 NEW BEST:: SOT 12540 SOS 3810 HAS SOPS 3232 HAS SOUS 2968 HAS SOUPS 2463 WITH SCORE 2466.81
AT ITER 4780 NEW BEST:: SOT 12521 SOS 3791 HAS SOPS 3213 HAS SOUS 2968 HAS SOUPS 2463 WITH SCORE 2466.791
AT ITER 4964 NEW BEST:: SOT 12518 SOS 3780 HAS SOPS 3207 HAS SOUS 2960 HAS SOUPS 2460 WITH SCORE 2463.78
AT ITER 4980 NEW BEST:: SOT 12518 SOS 3778 HAS SOPS 3207 HAS SOUS 2958 HAS SOUPS 2460 WITH SCORE 2463.778
Bounds file is: CTLFireability.xml
PROPERTY: Parking-PT-208-CTLFireability-00 (! ( ((potential((tk(P75)>=1)))) | (EU( (! ((potential((tk(P49)>=1))))) , ( ((potential((tk(P115)>=1)))) | ((potential((tk(P7)>=1) & (tk(P23)>=1)))) ) )) ))
PROPERTY: Parking-PT-208-CTLFireability-01 (! (EG( ( (! ( ((potential((tk(P42)>=1)))) | ((potential((tk(P33)>=1)))) )) & (! ( ((potential((tk(P7)>=1)))) & ((potential((tk(P115)>=1)))) )) ))))
PROPERTY: Parking-PT-208-CTLFireability-02 ( ( ((potential((tk(P134)>=1)))) | (EF( (AF( ((potential((tk(P27)>=1) & (tk(P70)>=1)))))))) ) | ( ((potential((tk(P92)>=1) & (tk(P137)>=1)))) & (AX( ( ((potential((tk(P42)>=1)))) | ((potential((tk(P41)>=1)))) ))) ) )
PROPERTY: Parking-PT-208-CTLFireability-03 ( (! ((potential((tk(P116)>=1))))) & ( (EF( (AG( ((potential((tk(P4)>=1) & (tk(P60)>=1)))))))) | (AG( ( ((potential((tk(P79)>=1) & (tk(P123)>=1)))) | ( ((potential((tk(P87)>=1) & (tk(P125)>=1)))) & ((potential((tk(P41)>=1)))) ) ))) ) )
PROPERTY: Parking-PT-208-CTLFireability-04 ( ((potential((tk(P49)>=1)))) | (EF( (EG( ( ((potential((tk(P77)>=1) & (tk(P98)>=1)))) & ((potential((tk(P45)>=1) & (tk(P66)>=1)))) ))))) )
PROPERTY: Parking-PT-208-CTLFireability-05 (AX( (EF( ( (! ((potential((tk(P30)>=1) & (tk(P67)>=1))))) & ( ((potential((tk(P115)>=1)))) & ((potential((tk(P13)>=1)))) ) )))))
PROPERTY: Parking-PT-208-CTLFireability-06 (AU( ( ( (! ((potential((tk(P34)>=1) & (tk(P71)>=1))))) | (! ((potential((tk(P49)>=1))))) ) | (! ( ((potential((tk(P115)>=1)))) | ((potential((tk(P10)>=1) & (tk(P62)>=1)))) )) ) , (AF( ( ((potential((tk(P48)>=1) & (tk(P71)>=1)))) | ((potential((tk(P107)>=1)))) ))) ))
PROPERTY: Parking-PT-208-CTLFireability-07 (AG( ( ( (EX( ((potential((tk(P7)>=1)))))) | (! ( ((potential((tk(P19)>=1) & (tk(P47)>=1)))) | ((potential((tk(P49)>=1)))) )) ) | (EG( ( ((potential((tk(P72)>=1) & (tk(P127)>=1)))) | ((potential((tk(P33)>=1)))) ))) )))
PROPERTY: Parking-PT-208-CTLFireability-08 (EF( ( (EF( (! ((potential((tk(P115)>=1))))))) & (EG( ( ((potential((tk(P7)>=1)))) | ((potential((tk(P45)>=1) & (tk(P66)>=1)))) ))) )))
PROPERTY: Parking-PT-208-CTLFireability-09 ( (AF( ( (AX( ((potential((tk(P50)>=1)))))) & ( ( ((potential((tk(P96)>=1) & (tk(P133)>=1)))) & ((potential((tk(P93)>=1) & (tk(P136)>=1)))) ) | ((potential((tk(P92)>=1) & (tk(P137)>=1)))) ) ))) & (! ( (AX( (! ((potential((tk(P115)>=1))))))) & (AX( ( ((potential((tk(P25)>=1)))) | ((potential((tk(P107)>=1)))) ))) )) )
PROPERTY: Parking-PT-208-CTLFireability-10 (AG( ( ( ( ( ((potential((tk(P134)>=1)))) & ((potential((tk(P41)>=1)))) ) & (! ((potential((tk(P92)>=1) & (tk(P137)>=1))))) ) & ( ((potential((tk(P131)>=1) & (tk(P132)>=1)))) | (! ((potential((tk(P85)>=1))))) ) ) | ( ( ((potential((tk(P11)>=1)))) | (! ((potential((tk(P84)>=1) & (tk(P130)>=1))))) ) | (! (! ((potential((tk(P7)>=1)))))) ) )))
PROPERTY: Parking-PT-208-CTLFireability-11 (! ( (! (EF( ((potential((tk(P38)>=1) & (tk(P67)>=1))))))) | (AX( (! ( ((potential((tk(P116)>=1)))) | ((potential((tk(P11)>=1)))) )))) ))
PROPERTY: Parking-PT-208-CTLFireability-12 (EG( (! (EF( ( ((potential((tk(P99)>=1)))) | ((potential((tk(P106)>=1) & (tk(P137)>=1)))) ))))))
PROPERTY: Parking-PT-208-CTLFireability-13 (EF( ( (! (EF( ((potential((tk(P107)>=1))))))) & (AX( ( ((potential((tk(P107)>=1)))) & ((potential((tk(P79)>=1)))) ))) )))
PROPERTY: Parking-PT-208-CTLFireability-14 ( (EU( (! ( ((potential((tk(P9)>=1)))) & ((potential((tk(P41)>=1)))) )) , (EX( ((potential((tk(P115)>=1)))))) )) & (! ((potential((tk(P114)>=1) & (tk(P137)>=1))))) )
PROPERTY: Parking-PT-208-CTLFireability-15 (AF( ( ( (AG( ((potential((tk(P107)>=1)))))) & (EG( ((potential((tk(P83)>=1)))))) ) & ( ((potential((tk(P95)>=1) & (tk(P132)>=1)))) & ( ( ((potential((tk(P41)>=1)))) | ((potential((tk(P120)>=1) & (tk(P133)>=1)))) ) | ((potential((tk(P73)>=1) & (tk(P90)>=1)))) ) ) )))
BK_STOP 1589645037830
--------------------
content from stderr:
/home/mcc/BenchKit/bin/smart.sh: line 117: 365 Segmentation fault ${SMART} ${INPUT_SM}
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="Parking-PT-208"
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 Parking-PT-208, 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 r108-csrt-158961250600524"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-208.tgz
mv Parking-PT-208 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 ;