Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407700472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DoubleExponent-PT-004, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407700472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 13:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 13:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679914786924

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-004
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 004
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 216 places, 198 transitions, 558 arcs.
AT ITER 0 NEW BEST:: SOT 23544 SOS 5240 HAS SOPS 5240 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.24
AT ITER 13 NEW BEST:: SOT 23544 SOS 5228 HAS SOPS 5228 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4971.228
AT ITER 14 NEW BEST:: SOT 23531 SOS 5243 HAS SOPS 5243 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.243
AT ITER 23 NEW BEST:: SOT 23531 SOS 5242 HAS SOPS 5242 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.242
AT ITER 53 NEW BEST:: SOT 23521 SOS 5232 HAS SOPS 5232 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4944.232
AT ITER 71 NEW BEST:: SOT 23503 SOS 5217 HAS SOPS 5217 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4912.217
AT ITER 76 NEW BEST:: SOT 23503 SOS 5191 HAS SOPS 5191 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.191
AT ITER 77 NEW BEST:: SOT 23503 SOS 5190 HAS SOPS 5190 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.19
AT ITER 94 NEW BEST:: SOT 23503 SOS 5181 HAS SOPS 5181 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.181
AT ITER 104 NEW BEST:: SOT 23493 SOS 5168 HAS SOPS 5168 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.168
AT ITER 107 NEW BEST:: SOT 23489 SOS 5153 HAS SOPS 5153 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.153
AT ITER 157 NEW BEST:: SOT 23492 SOS 5141 HAS SOPS 5141 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.141
AT ITER 170 NEW BEST:: SOT 23490 SOS 5137 HAS SOPS 5137 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.137
AT ITER 188 NEW BEST:: SOT 23466 SOS 5130 HAS SOPS 5130 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.13
AT ITER 222 NEW BEST:: SOT 23464 SOS 5136 HAS SOPS 5136 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4802.136
AT ITER 228 NEW BEST:: SOT 23470 SOS 5099 HAS SOPS 5099 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.099
AT ITER 249 NEW BEST:: SOT 23470 SOS 5095 HAS SOPS 5095 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4788.095
AT ITER 251 NEW BEST:: SOT 23468 SOS 5093 HAS SOPS 5093 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4786.093
AT ITER 254 NEW BEST:: SOT 23454 SOS 4994 HAS SOPS 4994 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4739.994
AT ITER 327 NEW BEST:: SOT 23454 SOS 4972 HAS SOPS 4972 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4728.972
AT ITER 416 NEW BEST:: SOT 23453 SOS 4970 HAS SOPS 4970 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4726.97
AT ITER 454 NEW BEST:: SOT 23423 SOS 4932 HAS SOPS 4932 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4713.932
AT ITER 479 NEW BEST:: SOT 23423 SOS 4908 HAS SOPS 4908 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4689.908
AT ITER 489 NEW BEST:: SOT 23418 SOS 4890 HAS SOPS 4890 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4671.89
AT ITER 496 NEW BEST:: SOT 23416 SOS 4888 HAS SOPS 4888 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4669.888
AT ITER 498 NEW BEST:: SOT 23416 SOS 4882 HAS SOPS 4882 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4657.882
AT ITER 542 NEW BEST:: SOT 23416 SOS 4882 HAS SOPS 4882 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4656.882
AT ITER 544 NEW BEST:: SOT 23416 SOS 4879 HAS SOPS 4879 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4653.879
AT ITER 549 NEW BEST:: SOT 23414 SOS 4875 HAS SOPS 4875 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4649.875
AT ITER 593 NEW BEST:: SOT 23414 SOS 4869 HAS SOPS 4869 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4648.869
AT ITER 614 NEW BEST:: SOT 23404 SOS 4880 HAS SOPS 4880 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4641.88
AT ITER 684 NEW BEST:: SOT 23401 SOS 4874 HAS SOPS 4874 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4632.874
AT ITER 695 NEW BEST:: SOT 23396 SOS 4869 HAS SOPS 4869 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4608.869
AT ITER 770 NEW BEST:: SOT 23397 SOS 4870 HAS SOPS 4870 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4595.87
AT ITER 779 NEW BEST:: SOT 23395 SOS 4868 HAS SOPS 4868 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4593.868
AT ITER 790 NEW BEST:: SOT 23382 SOS 4874 HAS SOPS 4874 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4583.874
AT ITER 810 NEW BEST:: SOT 23382 SOS 4872 HAS SOPS 4872 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4581.872
AT ITER 817 NEW BEST:: SOT 23380 SOS 4868 HAS SOPS 4868 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4577.868
AT ITER 850 NEW BEST:: SOT 23387 SOS 4872 HAS SOPS 4872 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4575.872
AT ITER 868 NEW BEST:: SOT 23371 SOS 4823 HAS SOPS 4823 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4542.823
AT ITER 914 NEW BEST:: SOT 23365 SOS 4811 HAS SOPS 4811 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4530.811
AT ITER 941 NEW BEST:: SOT 23341 SOS 4793 HAS SOPS 4793 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4506.793
AT ITER 961 NEW BEST:: SOT 23340 SOS 4791 HAS SOPS 4791 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4504.791
AT ITER 982 NEW BEST:: SOT 23340 SOS 4782 HAS SOPS 4782 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4489.782
AT ITER 1082 NEW BEST:: SOT 23340 SOS 4775 HAS SOPS 4775 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4482.775
AT ITER 1100 NEW BEST:: SOT 23339 SOS 4766 HAS SOPS 4766 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.766
AT ITER 1159 NEW BEST:: SOT 23339 SOS 4763 HAS SOPS 4763 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.763
AT ITER 1161 NEW BEST:: SOT 23339 SOS 4762 HAS SOPS 4762 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4472.762
AT ITER 1186 NEW BEST:: SOT 23339 SOS 4738 HAS SOPS 4738 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4465.738
AT ITER 1208 NEW BEST:: SOT 23339 SOS 4738 HAS SOPS 4738 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.738
AT ITER 1215 NEW BEST:: SOT 23323 SOS 4693 HAS SOPS 4693 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.693
AT ITER 1219 NEW BEST:: SOT 23324 SOS 4693 HAS SOPS 4693 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4430.693
AT ITER 1220 NEW BEST:: SOT 23323 SOS 4697 HAS SOPS 4697 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4429.697
AT ITER 1252 NEW BEST:: SOT 23322 SOS 4694 HAS SOPS 4694 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4428.694
AT ITER 1255 NEW BEST:: SOT 23319 SOS 4687 HAS SOPS 4687 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4421.687
AT ITER 1323 NEW BEST:: SOT 23317 SOS 4685 HAS SOPS 4685 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4417.685
AT ITER 1328 NEW BEST:: SOT 23311 SOS 4679 HAS SOPS 4679 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4411.679
AT ITER 1332 NEW BEST:: SOT 23276 SOS 4698 HAS SOPS 4698 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4396.698
AT ITER 1333 NEW BEST:: SOT 23285 SOS 4696 HAS SOPS 4696 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4394.696
AT ITER 1356 NEW BEST:: SOT 23278 SOS 4684 HAS SOPS 4684 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4387.684
AT ITER 1424 NEW BEST:: SOT 23279 SOS 4630 HAS SOPS 4630 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4374.63
AT ITER 1452 NEW BEST:: SOT 23270 SOS 4617 HAS SOPS 4617 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4366.617
AT ITER 1524 NEW BEST:: SOT 23270 SOS 4605 HAS SOPS 4605 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.605
AT ITER 1530 NEW BEST:: SOT 23282 SOS 4604 HAS SOPS 4604 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4353.604
AT ITER 1608 NEW BEST:: SOT 23276 SOS 4587 HAS SOPS 4587 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.587
AT ITER 1647 NEW BEST:: SOT 23270 SOS 4579 HAS SOPS 4579 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.579
AT ITER 1652 NEW BEST:: SOT 23251 SOS 4576 HAS SOPS 4576 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4312.576
AT ITER 1686 NEW BEST:: SOT 23251 SOS 4575 HAS SOPS 4575 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4311.575
AT ITER 1690 NEW BEST:: SOT 23250 SOS 4574 HAS SOPS 4574 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4309.574
AT ITER 1776 NEW BEST:: SOT 23235 SOS 4564 HAS SOPS 4564 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4277.564
AT ITER 1777 NEW BEST:: SOT 23235 SOS 4559 HAS SOPS 4559 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4272.559
AT ITER 1790 NEW BEST:: SOT 23227 SOS 4551 HAS SOPS 4551 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.551
AT ITER 1796 NEW BEST:: SOT 23239 SOS 4564 HAS SOPS 4564 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4259.564
AT ITER 1797 NEW BEST:: SOT 23251 SOS 4561 HAS SOPS 4561 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4252.561
AT ITER 1800 NEW BEST:: SOT 23251 SOS 4561 HAS SOPS 4561 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.561
AT ITER 1852 NEW BEST:: SOT 23255 SOS 4546 HAS SOPS 4546 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.546
AT ITER 1888 NEW BEST:: SOT 23243 SOS 4523 HAS SOPS 4523 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4232.523
AT ITER 1892 NEW BEST:: SOT 23236 SOS 4516 HAS SOPS 4516 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.516
AT ITER 1931 NEW BEST:: SOT 23232 SOS 4504 HAS SOPS 4504 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4213.504
AT ITER 1936 NEW BEST:: SOT 23239 SOS 4498 HAS SOPS 4498 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4207.498
AT ITER 1942 NEW BEST:: SOT 23237 SOS 4492 HAS SOPS 4492 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4204.492
AT ITER 1955 NEW BEST:: SOT 23228 SOS 4474 HAS SOPS 4474 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4182.474
AT ITER 1962 NEW BEST:: SOT 23228 SOS 4469 HAS SOPS 4469 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.469
AT ITER 1964 NEW BEST:: SOT 23217 SOS 4463 HAS SOPS 4463 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4165.463
AT ITER 2028 NEW BEST:: SOT 23217 SOS 4446 HAS SOPS 4446 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.446
AT ITER 2053 NEW BEST:: SOT 23213 SOS 4436 HAS SOPS 4436 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.436
AT ITER 2078 NEW BEST:: SOT 23213 SOS 4436 HAS SOPS 4436 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.436
AT ITER 2080 NEW BEST:: SOT 23194 SOS 4401 HAS SOPS 4401 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.401
AT ITER 2106 NEW BEST:: SOT 23194 SOS 4396 HAS SOPS 4396 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.396
AT ITER 2111 NEW BEST:: SOT 23194 SOS 4392 HAS SOPS 4392 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.392
AT ITER 2171 NEW BEST:: SOT 23182 SOS 4360 HAS SOPS 4360 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4063.36
AT ITER 2184 NEW BEST:: SOT 23175 SOS 4359 HAS SOPS 4359 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.359
AT ITER 2196 NEW BEST:: SOT 23158 SOS 4354 HAS SOPS 4354 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.354
AT ITER 2211 NEW BEST:: SOT 23156 SOS 4352 HAS SOPS 4352 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.352
AT ITER 2236 NEW BEST:: SOT 23139 SOS 4336 HAS SOPS 4336 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.336
AT ITER 2242 NEW BEST:: SOT 23135 SOS 4334 HAS SOPS 4334 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.334
AT ITER 2261 NEW BEST:: SOT 23134 SOS 4338 HAS SOPS 4338 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.338
AT ITER 2278 NEW BEST:: SOT 23135 SOS 4330 HAS SOPS 4330 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4015.33
AT ITER 2313 NEW BEST:: SOT 23134 SOS 4329 HAS SOPS 4329 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.329
AT ITER 2322 NEW BEST:: SOT 23137 SOS 4326 HAS SOPS 4326 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.326
AT ITER 2335 NEW BEST:: SOT 23137 SOS 4325 HAS SOPS 4325 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.325
AT ITER 2355 NEW BEST:: SOT 23134 SOS 4318 HAS SOPS 4318 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.318
AT ITER 2436 NEW BEST:: SOT 23132 SOS 4316 HAS SOPS 4316 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4001.316
AT ITER 2444 NEW BEST:: SOT 23130 SOS 4312 HAS SOPS 4312 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.312
AT ITER 2455 NEW BEST:: SOT 23127 SOS 4306 HAS SOPS 4306 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3993.306
AT ITER 2484 NEW BEST:: SOT 23111 SOS 4296 HAS SOPS 4296 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.296
AT ITER 2492 NEW BEST:: SOT 23111 SOS 4293 HAS SOPS 4293 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.293
AT ITER 2497 NEW BEST:: SOT 23111 SOS 4292 HAS SOPS 4292 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3983.292
AT ITER 2556 NEW BEST:: SOT 23111 SOS 4292 HAS SOPS 4292 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3977.292
AT ITER 2559 NEW BEST:: SOT 23113 SOS 4290 HAS SOPS 4290 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3977.29
AT ITER 2564 NEW BEST:: SOT 23112 SOS 4289 HAS SOPS 4289 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.289
AT ITER 2568 NEW BEST:: SOT 23112 SOS 4287 HAS SOPS 4287 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.287
AT ITER 2580 NEW BEST:: SOT 23111 SOS 4286 HAS SOPS 4286 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3971.286
AT ITER 2588 NEW BEST:: SOT 23109 SOS 4284 HAS SOPS 4284 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3967.284
AT ITER 2609 NEW BEST:: SOT 23090 SOS 4247 HAS SOPS 4247 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.247
AT ITER 2619 NEW BEST:: SOT 23089 SOS 4245 HAS SOPS 4245 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.245
AT ITER 2627 NEW BEST:: SOT 23080 SOS 4228 HAS SOPS 4228 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.228
AT ITER 2640 NEW BEST:: SOT 23067 SOS 4211 HAS SOPS 4211 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.211
AT ITER 2674 NEW BEST:: SOT 23066 SOS 4209 HAS SOPS 4209 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.209
AT ITER 2677 NEW BEST:: SOT 23066 SOS 4195 HAS SOPS 4195 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.195
AT ITER 2680 NEW BEST:: SOT 23074 SOS 4183 HAS SOPS 4183 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3848.183
AT ITER 2699 NEW BEST:: SOT 23074 SOS 4182 HAS SOPS 4182 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3847.182
AT ITER 2793 NEW BEST:: SOT 23068 SOS 4164 HAS SOPS 4164 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.164
AT ITER 2847 NEW BEST:: SOT 23068 SOS 4148 HAS SOPS 4148 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.148
AT ITER 2858 NEW BEST:: SOT 23066 SOS 4147 HAS SOPS 4147 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.147
AT ITER 2862 NEW BEST:: SOT 23060 SOS 4132 HAS SOPS 4132 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.132
AT ITER 2885 NEW BEST:: SOT 23058 SOS 4128 HAS SOPS 4128 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.128
AT ITER 2894 NEW BEST:: SOT 23056 SOS 4127 HAS SOPS 4127 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.127
AT ITER 2897 NEW BEST:: SOT 23050 SOS 4119 HAS SOPS 4119 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.119
AT ITER 2973 NEW BEST:: SOT 23050 SOS 4117 HAS SOPS 4117 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.117
AT ITER 2990 NEW BEST:: SOT 23037 SOS 4117 HAS SOPS 4117 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.117
AT ITER 3013 NEW BEST:: SOT 23037 SOS 4113 HAS SOPS 4113 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.113
AT ITER 3015 NEW BEST:: SOT 23036 SOS 4112 HAS SOPS 4112 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.112
AT ITER 3033 NEW BEST:: SOT 23029 SOS 4103 HAS SOPS 4103 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3766.103
AT ITER 3141 NEW BEST:: SOT 23032 SOS 4085 HAS SOPS 4085 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.085
AT ITER 3153 NEW BEST:: SOT 23027 SOS 4082 HAS SOPS 4082 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.082
AT ITER 3191 NEW BEST:: SOT 23017 SOS 4072 HAS SOPS 4072 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.072
AT ITER 3194 NEW BEST:: SOT 23015 SOS 4066 HAS SOPS 4066 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.066
AT ITER 3215 NEW BEST:: SOT 23014 SOS 4020 HAS SOPS 4020 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.02
AT ITER 3218 NEW BEST:: SOT 23014 SOS 3984 HAS SOPS 3984 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3708.984
AT ITER 3255 NEW BEST:: SOT 23013 SOS 3975 HAS SOPS 3975 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3699.975
AT ITER 3404 NEW BEST:: SOT 23012 SOS 3974 HAS SOPS 3974 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3698.974
AT ITER 3471 NEW BEST:: SOT 23021 SOS 3966 HAS SOPS 3966 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3690.966
AT ITER 3492 NEW BEST:: SOT 23012 SOS 3961 HAS SOPS 3961 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3681.961
AT ITER 3508 NEW BEST:: SOT 23007 SOS 3954 HAS SOPS 3954 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3669.954
AT ITER 3527 NEW BEST:: SOT 23006 SOS 3953 HAS SOPS 3953 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3668.953
AT ITER 3547 NEW BEST:: SOT 23006 SOS 3952 HAS SOPS 3952 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3665.952
AT ITER 3559 NEW BEST:: SOT 23006 SOS 3951 HAS SOPS 3951 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3664.951
AT ITER 3581 NEW BEST:: SOT 22998 SOS 3937 HAS SOPS 3937 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3640.937
AT ITER 3617 NEW BEST:: SOT 22997 SOS 3914 HAS SOPS 3914 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3618.914
AT ITER 3668 NEW BEST:: SOT 22991 SOS 3908 HAS SOPS 3908 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3612.908
AT ITER 3698 NEW BEST:: SOT 22989 SOS 3904 HAS SOPS 3904 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3610.904
AT ITER 3702 NEW BEST:: SOT 22994 SOS 3901 HAS SOPS 3901 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3607.901
AT ITER 3714 NEW BEST:: SOT 22993 SOS 3901 HAS SOPS 3901 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3606.901
AT ITER 3721 NEW BEST:: SOT 22983 SOS 3904 HAS SOPS 3904 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3603.904
AT ITER 3754 NEW BEST:: SOT 22982 SOS 3901 HAS SOPS 3901 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3592.901
AT ITER 3756 NEW BEST:: SOT 22979 SOS 3898 HAS SOPS 3898 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3589.898
AT ITER 3777 NEW BEST:: SOT 22976 SOS 3895 HAS SOPS 3895 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3586.895
AT ITER 3845 NEW BEST:: SOT 22975 SOS 3908 HAS SOPS 3908 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3585.908
AT ITER 3922 NEW BEST:: SOT 22973 SOS 3906 HAS SOPS 3906 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.906
AT ITER 3951 NEW BEST:: SOT 22960 SOS 3904 HAS SOPS 3904 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3581.904
AT ITER 3954 NEW BEST:: SOT 22958 SOS 3900 HAS SOPS 3900 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3578.9
AT ITER 4030 NEW BEST:: SOT 22947 SOS 3905 HAS SOPS 3905 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3576.905
AT ITER 4036 NEW BEST:: SOT 22940 SOS 3879 HAS SOPS 3879 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3557.879
AT ITER 4103 NEW BEST:: SOT 22940 SOS 3878 HAS SOPS 3878 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3556.878
AT ITER 4111 NEW BEST:: SOT 22942 SOS 3869 HAS SOPS 3869 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3555.869
AT ITER 4117 NEW BEST:: SOT 22926 SOS 3870 HAS SOPS 3870 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3544.87
AT ITER 4143 NEW BEST:: SOT 22922 SOS 3866 HAS SOPS 3866 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.866
AT ITER 4165 NEW BEST:: SOT 22922 SOS 3862 HAS SOPS 3862 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.862
AT ITER 4206 NEW BEST:: SOT 22885 SOS 3854 HAS SOPS 3854 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3519.854
AT ITER 4232 NEW BEST:: SOT 22881 SOS 3847 HAS SOPS 3847 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3512.847
AT ITER 4336 NEW BEST:: SOT 22877 SOS 3843 HAS SOPS 3843 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3511.843
AT ITER 4432 NEW BEST:: SOT 22877 SOS 3841 HAS SOPS 3841 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3509.841
AT ITER 4520 NEW BEST:: SOT 22875 SOS 3831 HAS SOPS 3831 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.831
AT ITER 4595 NEW BEST:: SOT 22875 SOS 3812 HAS SOPS 3812 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.812
AT ITER 4619 NEW BEST:: SOT 22875 SOS 3810 HAS SOPS 3810 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.81
AT ITER 4652 NEW BEST:: SOT 22869 SOS 3800 HAS SOPS 3800 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3495.8
AT ITER 4661 NEW BEST:: SOT 22868 SOS 3803 HAS SOPS 3803 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3494.803
AT ITER 4788 NEW BEST:: SOT 22865 SOS 3796 HAS SOPS 3796 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3484.796
AT ITER 4806 NEW BEST:: SOT 22859 SOS 3790 HAS SOPS 3790 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.79
AT ITER 4832 NEW BEST:: SOT 22859 SOS 3789 HAS SOPS 3789 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.789
AT ITER 4891 NEW BEST:: SOT 22859 SOS 3787 HAS SOPS 3787 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.787
AT ITER 4899 NEW BEST:: SOT 22858 SOS 3786 HAS SOPS 3786 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3477.786
AT ITER 4900 NEW BEST:: SOT 22843 SOS 3749 HAS SOPS 3749 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.749
AT ITER 4923 NEW BEST:: SOT 22842 SOS 3748 HAS SOPS 3748 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.748
AT ITER 4996 NEW BEST:: SOT 22823 SOS 3742 HAS SOPS 3742 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.742
AT ITER 4997 NEW BEST:: SOT 22823 SOS 3739 HAS SOPS 3739 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.739
AT ITER 5084 NEW BEST:: SOT 22823 SOS 3737 HAS SOPS 3737 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.737
AT ITER 5132 NEW BEST:: SOT 22822 SOS 3726 HAS SOPS 3726 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.726
AT ITER 5228 NEW BEST:: SOT 22814 SOS 3711 HAS SOPS 3711 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3421.711
AT ITER 5266 NEW BEST:: SOT 22814 SOS 3699 HAS SOPS 3699 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3413.699
AT ITER 5276 NEW BEST:: SOT 22804 SOS 3676 HAS SOPS 3676 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.676
AT ITER 5408 NEW BEST:: SOT 22789 SOS 3654 HAS SOPS 3654 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.654
AT ITER 5481 NEW BEST:: SOT 22789 SOS 3650 HAS SOPS 3650 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3390.65
AT ITER 5483 NEW BEST:: SOT 22785 SOS 3641 HAS SOPS 3641 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3382.641
AT ITER 5498 NEW BEST:: SOT 22784 SOS 3632 HAS SOPS 3632 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.632
AT ITER 5618 NEW BEST:: SOT 22787 SOS 3631 HAS SOPS 3631 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.631
AT ITER 5709 NEW BEST:: SOT 22787 SOS 3628 HAS SOPS 3628 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.628
AT ITER 5846 NEW BEST:: SOT 22787 SOS 3625 HAS SOPS 3625 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.625
AT ITER 5872 NEW BEST:: SOT 22775 SOS 3607 HAS SOPS 3607 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.607
AT ITER 5909 NEW BEST:: SOT 22763 SOS 3581 HAS SOPS 3581 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.581
AT ITER 5920 NEW BEST:: SOT 22761 SOS 3579 HAS SOPS 3579 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.579
AT ITER 5978 NEW BEST:: SOT 22765 SOS 3554 HAS SOPS 3554 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3322.554
AT ITER 6006 NEW BEST:: SOT 22771 SOS 3550 HAS SOPS 3550 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.55
AT ITER 6021 NEW BEST:: SOT 22771 SOS 3545 HAS SOPS 3545 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.545
AT ITER 6022 NEW BEST:: SOT 22768 SOS 3539 HAS SOPS 3539 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.539
AT ITER 6088 NEW BEST:: SOT 22769 SOS 3533 HAS SOPS 3533 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.533
AT ITER 6130 NEW BEST:: SOT 22769 SOS 3528 HAS SOPS 3528 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.528
AT ITER 6229 NEW BEST:: SOT 22769 SOS 3527 HAS SOPS 3527 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.527
AT ITER 6237 NEW BEST:: SOT 22769 SOS 3523 HAS SOPS 3523 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.523
AT ITER 6387 NEW BEST:: SOT 22768 SOS 3519 HAS SOPS 3519 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.519
AT ITER 6391 NEW BEST:: SOT 22757 SOS 3511 HAS SOPS 3511 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.511
AT ITER 6433 NEW BEST:: SOT 22756 SOS 3520 HAS SOPS 3520 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.52
AT ITER 6480 NEW BEST:: SOT 22749 SOS 3519 HAS SOPS 3519 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.519
AT ITER 6499 NEW BEST:: SOT 22748 SOS 3516 HAS SOPS 3516 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.516
AT ITER 6649 NEW BEST:: SOT 22736 SOS 3534 HAS SOPS 3534 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.534
AT ITER 6771 NEW BEST:: SOT 22732 SOS 3531 HAS SOPS 3531 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.531
AT ITER 6920 NEW BEST:: SOT 22731 SOS 3521 HAS SOPS 3521 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.521
AT ITER 6975 NEW BEST:: SOT 22732 SOS 3519 HAS SOPS 3519 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.519
AT ITER 7004 NEW BEST:: SOT 22732 SOS 3515 HAS SOPS 3515 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3259.515
AT ITER 7021 NEW BEST:: SOT 22741 SOS 3497 HAS SOPS 3497 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.497
AT ITER 7035 NEW BEST:: SOT 22741 SOS 3492 HAS SOPS 3492 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.492
AT ITER 7121 NEW BEST:: SOT 22738 SOS 3491 HAS SOPS 3491 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.491
AT ITER 7156 NEW BEST:: SOT 22734 SOS 3487 HAS SOPS 3487 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.487
AT ITER 7337 NEW BEST:: SOT 22736 SOS 3482 HAS SOPS 3482 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.482
AT ITER 7556 NEW BEST:: SOT 22738 SOS 3482 HAS SOPS 3482 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3246.482
AT ITER 7611 NEW BEST:: SOT 22738 SOS 3481 HAS SOPS 3481 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.481
AT ITER 7614 NEW BEST:: SOT 22736 SOS 3476 HAS SOPS 3476 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.476
AT ITER 7616 NEW BEST:: SOT 22744 SOS 3466 HAS SOPS 3466 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.466
AT ITER 7670 NEW BEST:: SOT 22744 SOS 3464 HAS SOPS 3464 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.464
AT ITER 7681 NEW BEST:: SOT 22739 SOS 3463 HAS SOPS 3463 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.463
AT ITER 7694 NEW BEST:: SOT 22737 SOS 3461 HAS SOPS 3461 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.461
AT ITER 7744 NEW BEST:: SOT 22738 SOS 3462 HAS SOPS 3462 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.462
AT ITER 8260 NEW BEST:: SOT 22734 SOS 3458 HAS SOPS 3458 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.458
AT ITER 8263 NEW BEST:: SOT 22734 SOS 3458 HAS SOPS 3458 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.458
AT ITER 8269 NEW BEST:: SOT 22734 SOS 3457 HAS SOPS 3457 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.457
AT ITER 8325 NEW BEST:: SOT 22730 SOS 3453 HAS SOPS 3453 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.453
AT ITER 8365 NEW BEST:: SOT 22729 SOS 3446 HAS SOPS 3446 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3217.446
AT ITER 8377 NEW BEST:: SOT 22731 SOS 3440 HAS SOPS 3440 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.44
AT ITER 8383 NEW BEST:: SOT 22734 SOS 3458 HAS SOPS 3458 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3212.458
AT ITER 8385 NEW BEST:: SOT 22731 SOS 3444 HAS SOPS 3444 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.444
AT ITER 8428 NEW BEST:: SOT 22731 SOS 3443 HAS SOPS 3443 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.443
AT ITER 8453 NEW BEST:: SOT 22752 SOS 3433 HAS SOPS 3433 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.433
AT ITER 8492 NEW BEST:: SOT 22752 SOS 3433 HAS SOPS 3433 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.433
AT ITER 8550 NEW BEST:: SOT 22754 SOS 3433 HAS SOPS 3433 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.433
AT ITER 8590 NEW BEST:: SOT 22753 SOS 3426 HAS SOPS 3426 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.426
AT ITER 8704 NEW BEST:: SOT 22753 SOS 3411 HAS SOPS 3411 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.411
AT ITER 8735 NEW BEST:: SOT 22754 SOS 3409 HAS SOPS 3409 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.409
AT ITER 8831 NEW BEST:: SOT 22746 SOS 3408 HAS SOPS 3408 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.408
AT ITER 8909 NEW BEST:: SOT 22750 SOS 3410 HAS SOPS 3410 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.41
AT ITER 9099 NEW BEST:: SOT 22750 SOS 3409 HAS SOPS 3409 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.409
AT ITER 9112 NEW BEST:: SOT 22748 SOS 3407 HAS SOPS 3407 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3161.407
AT ITER 9114 NEW BEST:: SOT 22748 SOS 3400 HAS SOPS 3400 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.4
AT ITER 9225 NEW BEST:: SOT 22748 SOS 3393 HAS SOPS 3393 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.393
AT ITER 9238 NEW BEST:: SOT 22746 SOS 3393 HAS SOPS 3393 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.393
AT ITER 9327 NEW BEST:: SOT 22747 SOS 3383 HAS SOPS 3383 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.383
AT ITER 9341 NEW BEST:: SOT 22746 SOS 3382 HAS SOPS 3382 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3141.382
AT ITER 9388 NEW BEST:: SOT 22745 SOS 3381 HAS SOPS 3381 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.381
AT ITER 9405 NEW BEST:: SOT 22743 SOS 3380 HAS SOPS 3380 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.38
AT ITER 9417 NEW BEST:: SOT 22741 SOS 3390 HAS SOPS 3390 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.39
AT ITER 9440 NEW BEST:: SOT 22742 SOS 3380 HAS SOPS 3380 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.38
AT ITER 9509 NEW BEST:: SOT 22741 SOS 3379 HAS SOPS 3379 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.379
AT ITER 9524 NEW BEST:: SOT 22736 SOS 3374 HAS SOPS 3374 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.374
AT ITER 9540 NEW BEST:: SOT 22739 SOS 3366 HAS SOPS 3366 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3124.366
AT ITER 9570 NEW BEST:: SOT 22739 SOS 3361 HAS SOPS 3361 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.361
AT ITER 9595 NEW BEST:: SOT 22739 SOS 3356 HAS SOPS 3356 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.356
AT ITER 9663 NEW BEST:: SOT 22739 SOS 3357 HAS SOPS 3357 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3118.357
AT ITER 9676 NEW BEST:: SOT 22737 SOS 3353 HAS SOPS 3353 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.353
AT ITER 9843 NEW BEST:: SOT 22737 SOS 3350 HAS SOPS 3350 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.35
AT ITER 9945 NEW BEST:: SOT 22728 SOS 3341 HAS SOPS 3341 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3103.341
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11736968 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149224 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="DoubleExponent-PT-004"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DoubleExponent-PT-004, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r131-smll-167819407700472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-004.tgz
mv DoubleExponent-PT-004 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;