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.r063-tajo-158922807200280.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 DatabaseWithMutex-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807200280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 8.0K Mar 31 05:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 31 05:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Mar 29 20:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Mar 29 20:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 28 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 43K Mar 28 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Mar 27 06:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Mar 27 06:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 114K Mar 24 05:37 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 1589358878142

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 140 places, 128 transitions, 416 arcs.
AT ITER 0 NEW BEST:: SOT 11480 SOS 5108 HAS SOPS 5108 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.108
AT ITER 3 NEW BEST:: SOT 11460 SOS 5078 HAS SOPS 5078 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.078
AT ITER 13 NEW BEST:: SOT 11415 SOS 5033 HAS SOPS 5033 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4581.033
AT ITER 15 NEW BEST:: SOT 11415 SOS 5073 HAS SOPS 5073 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.073
AT ITER 22 NEW BEST:: SOT 11412 SOS 5063 HAS SOPS 5063 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.063
AT ITER 33 NEW BEST:: SOT 11412 SOS 5059 HAS SOPS 5059 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4568.059
AT ITER 41 NEW BEST:: SOT 11405 SOS 5060 HAS SOPS 5060 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4566.06
AT ITER 49 NEW BEST:: SOT 11401 SOS 5056 HAS SOPS 5056 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.056
AT ITER 56 NEW BEST:: SOT 11401 SOS 5034 HAS SOPS 5034 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.034
AT ITER 57 NEW BEST:: SOT 11379 SOS 4970 HAS SOPS 4970 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4523.97
AT ITER 68 NEW BEST:: SOT 11367 SOS 4970 HAS SOPS 4970 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4511.97
AT ITER 71 NEW BEST:: SOT 11357 SOS 4960 HAS SOPS 4960 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4504.96
AT ITER 86 NEW BEST:: SOT 11357 SOS 4951 HAS SOPS 4951 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4495.951
AT ITER 88 NEW BEST:: SOT 11353 SOS 4947 HAS SOPS 4947 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4491.947
AT ITER 94 NEW BEST:: SOT 11345 SOS 4931 HAS SOPS 4931 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4475.931
AT ITER 98 NEW BEST:: SOT 11302 SOS 4907 HAS SOPS 4907 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.907
AT ITER 105 NEW BEST:: SOT 11288 SOS 4895 HAS SOPS 4895 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4453.895
AT ITER 114 NEW BEST:: SOT 11288 SOS 4886 HAS SOPS 4886 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4444.886
AT ITER 126 NEW BEST:: SOT 11288 SOS 4885 HAS SOPS 4885 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4443.885
AT ITER 133 NEW BEST:: SOT 11274 SOS 4867 HAS SOPS 4867 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4441.867
AT ITER 136 NEW BEST:: SOT 11266 SOS 4863 HAS SOPS 4863 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4437.863
AT ITER 139 NEW BEST:: SOT 11265 SOS 4881 HAS SOPS 4881 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4432.881
AT ITER 143 NEW BEST:: SOT 11257 SOS 4869 HAS SOPS 4869 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4420.869
AT ITER 154 NEW BEST:: SOT 11238 SOS 4850 HAS SOPS 4850 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4411.85
AT ITER 157 NEW BEST:: SOT 11222 SOS 4818 HAS SOPS 4818 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.818
AT ITER 161 NEW BEST:: SOT 11218 SOS 4816 HAS SOPS 4816 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4377.816
AT ITER 179 NEW BEST:: SOT 11162 SOS 4789 HAS SOPS 4789 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4350.789
AT ITER 180 NEW BEST:: SOT 11120 SOS 4778 HAS SOPS 4778 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4339.778
AT ITER 200 NEW BEST:: SOT 11120 SOS 4778 HAS SOPS 4778 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.778
AT ITER 202 NEW BEST:: SOT 11103 SOS 4750 HAS SOPS 4750 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.75
AT ITER 219 NEW BEST:: SOT 11086 SOS 4740 HAS SOPS 4740 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4315.74
AT ITER 220 NEW BEST:: SOT 11072 SOS 4698 HAS SOPS 4698 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4281.698
AT ITER 228 NEW BEST:: SOT 11069 SOS 4695 HAS SOPS 4695 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4278.695
AT ITER 229 NEW BEST:: SOT 11060 SOS 4699 HAS SOPS 4699 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4273.699
AT ITER 233 NEW BEST:: SOT 11046 SOS 4679 HAS SOPS 4679 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4249.679
AT ITER 241 NEW BEST:: SOT 11028 SOS 4672 HAS SOPS 4672 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.672
AT ITER 253 NEW BEST:: SOT 11020 SOS 4665 HAS SOPS 4665 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4230.665
AT ITER 263 NEW BEST:: SOT 11020 SOS 4664 HAS SOPS 4664 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4220.664
AT ITER 264 NEW BEST:: SOT 11017 SOS 4636 HAS SOPS 4636 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.636
AT ITER 283 NEW BEST:: SOT 11023 SOS 4612 HAS SOPS 4612 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.612
AT ITER 287 NEW BEST:: SOT 11020 SOS 4610 HAS SOPS 4610 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4192.61
AT ITER 293 NEW BEST:: SOT 11020 SOS 4606 HAS SOPS 4606 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4188.606
AT ITER 310 NEW BEST:: SOT 11020 SOS 4604 HAS SOPS 4604 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4188.604
AT ITER 311 NEW BEST:: SOT 11017 SOS 4598 HAS SOPS 4598 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4182.598
AT ITER 318 NEW BEST:: SOT 11028 SOS 4596 HAS SOPS 4596 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.596
AT ITER 323 NEW BEST:: SOT 11023 SOS 4598 HAS SOPS 4598 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.598
AT ITER 335 NEW BEST:: SOT 11035 SOS 4596 HAS SOPS 4596 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.596
AT ITER 338 NEW BEST:: SOT 11023 SOS 4674 HAS SOPS 4674 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4177.674
AT ITER 344 NEW BEST:: SOT 11021 SOS 4669 HAS SOPS 4669 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4174.669
AT ITER 350 NEW BEST:: SOT 11009 SOS 4665 HAS SOPS 4665 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.665
AT ITER 361 NEW BEST:: SOT 11003 SOS 4654 HAS SOPS 4654 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.654
AT ITER 373 NEW BEST:: SOT 11002 SOS 4653 HAS SOPS 4653 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4155.653
AT ITER 380 NEW BEST:: SOT 11006 SOS 4653 HAS SOPS 4653 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.653
AT ITER 382 NEW BEST:: SOT 11006 SOS 4648 HAS SOPS 4648 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.648
AT ITER 383 NEW BEST:: SOT 10959 SOS 4616 HAS SOPS 4616 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4120.616
AT ITER 398 NEW BEST:: SOT 10951 SOS 4584 HAS SOPS 4584 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.584
AT ITER 405 NEW BEST:: SOT 10951 SOS 4584 HAS SOPS 4584 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.584
AT ITER 430 NEW BEST:: SOT 10948 SOS 4540 HAS SOPS 4540 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.54
AT ITER 437 NEW BEST:: SOT 10955 SOS 4523 HAS SOPS 4523 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.523
AT ITER 441 NEW BEST:: SOT 10955 SOS 4499 HAS SOPS 4499 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.499
AT ITER 452 NEW BEST:: SOT 10945 SOS 4501 HAS SOPS 4501 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.501
AT ITER 468 NEW BEST:: SOT 10939 SOS 4491 HAS SOPS 4491 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.491
AT ITER 469 NEW BEST:: SOT 10939 SOS 4487 HAS SOPS 4487 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4028.487
AT ITER 473 NEW BEST:: SOT 10924 SOS 4500 HAS SOPS 4500 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.5
AT ITER 491 NEW BEST:: SOT 10924 SOS 4498 HAS SOPS 4498 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.498
AT ITER 524 NEW BEST:: SOT 10918 SOS 4492 HAS SOPS 4492 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3990.492
AT ITER 533 NEW BEST:: SOT 10915 SOS 4566 HAS SOPS 4566 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.566
AT ITER 540 NEW BEST:: SOT 10910 SOS 4556 HAS SOPS 4556 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3982.556
AT ITER 563 NEW BEST:: SOT 10903 SOS 4559 HAS SOPS 4559 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.559
AT ITER 566 NEW BEST:: SOT 10875 SOS 4512 HAS SOPS 4512 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.512
AT ITER 585 NEW BEST:: SOT 10914 SOS 4494 HAS SOPS 4494 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3925.494
AT ITER 587 NEW BEST:: SOT 10911 SOS 4497 HAS SOPS 4497 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.497
AT ITER 603 NEW BEST:: SOT 10907 SOS 4493 HAS SOPS 4493 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.493
AT ITER 610 NEW BEST:: SOT 10870 SOS 4464 HAS SOPS 4464 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.464
AT ITER 613 NEW BEST:: SOT 10870 SOS 4456 HAS SOPS 4456 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.456
AT ITER 616 NEW BEST:: SOT 10855 SOS 4441 HAS SOPS 4441 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.441
AT ITER 641 NEW BEST:: SOT 10849 SOS 4435 HAS SOPS 4435 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3847.435
AT ITER 646 NEW BEST:: SOT 10823 SOS 4437 HAS SOPS 4437 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.437
AT ITER 677 NEW BEST:: SOT 10821 SOS 4435 HAS SOPS 4435 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3840.435
AT ITER 686 NEW BEST:: SOT 10804 SOS 4432 HAS SOPS 4432 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.432
AT ITER 690 NEW BEST:: SOT 10800 SOS 4432 HAS SOPS 4432 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3829.432
AT ITER 707 NEW BEST:: SOT 10800 SOS 4430 HAS SOPS 4430 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.43
AT ITER 719 NEW BEST:: SOT 10797 SOS 4429 HAS SOPS 4429 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.429
AT ITER 727 NEW BEST:: SOT 10757 SOS 4407 HAS SOPS 4407 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.407
AT ITER 733 NEW BEST:: SOT 10757 SOS 4403 HAS SOPS 4403 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.403
AT ITER 753 NEW BEST:: SOT 10757 SOS 4403 HAS SOPS 4403 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.403
AT ITER 774 NEW BEST:: SOT 10753 SOS 4408 HAS SOPS 4408 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3795.408
AT ITER 813 NEW BEST:: SOT 10754 SOS 4410 HAS SOPS 4410 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.41
AT ITER 820 NEW BEST:: SOT 10754 SOS 4290 HAS SOPS 4290 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.29
AT ITER 835 NEW BEST:: SOT 10754 SOS 4292 HAS SOPS 4292 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.292
AT ITER 847 NEW BEST:: SOT 10760 SOS 4279 HAS SOPS 4279 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.279
AT ITER 869 NEW BEST:: SOT 10807 SOS 4229 HAS SOPS 4229 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3756.229
AT ITER 900 NEW BEST:: SOT 10805 SOS 4227 HAS SOPS 4227 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.227
AT ITER 915 NEW BEST:: SOT 10761 SOS 4223 HAS SOPS 4223 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.223
AT ITER 916 NEW BEST:: SOT 10756 SOS 4213 HAS SOPS 4213 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.213
AT ITER 922 NEW BEST:: SOT 10731 SOS 4265 HAS SOPS 4265 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.265
AT ITER 925 NEW BEST:: SOT 10731 SOS 4265 HAS SOPS 4265 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.265
AT ITER 936 NEW BEST:: SOT 10735 SOS 4257 HAS SOPS 4257 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.257
AT ITER 943 NEW BEST:: SOT 10718 SOS 4248 HAS SOPS 4248 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.248
AT ITER 955 NEW BEST:: SOT 10722 SOS 4286 HAS SOPS 4286 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.286
AT ITER 959 NEW BEST:: SOT 10717 SOS 4281 HAS SOPS 4281 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.281
AT ITER 984 NEW BEST:: SOT 10719 SOS 4281 HAS SOPS 4281 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3705.281
AT ITER 992 NEW BEST:: SOT 10705 SOS 4267 HAS SOPS 4267 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3703.267
AT ITER 1013 NEW BEST:: SOT 10692 SOS 4254 HAS SOPS 4254 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3690.254
AT ITER 1016 NEW BEST:: SOT 10689 SOS 4271 HAS SOPS 4271 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.271
AT ITER 1019 NEW BEST:: SOT 10687 SOS 4271 HAS SOPS 4271 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.271
AT ITER 1030 NEW BEST:: SOT 10686 SOS 4270 HAS SOPS 4270 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.27
AT ITER 1058 NEW BEST:: SOT 10687 SOS 4268 HAS SOPS 4268 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.268
AT ITER 1078 NEW BEST:: SOT 10687 SOS 4268 HAS SOPS 4268 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.268
AT ITER 1097 NEW BEST:: SOT 10686 SOS 4269 HAS SOPS 4269 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.269
AT ITER 1106 NEW BEST:: SOT 10684 SOS 4270 HAS SOPS 4270 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3676.27
AT ITER 1116 NEW BEST:: SOT 10668 SOS 4245 HAS SOPS 4245 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.245
AT ITER 1124 NEW BEST:: SOT 10680 SOS 4250 HAS SOPS 4250 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.25
AT ITER 1125 NEW BEST:: SOT 10679 SOS 4244 HAS SOPS 4244 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.244
AT ITER 1133 NEW BEST:: SOT 10679 SOS 4192 HAS SOPS 4192 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.192
AT ITER 1141 NEW BEST:: SOT 10670 SOS 4183 HAS SOPS 4183 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.183
AT ITER 1147 NEW BEST:: SOT 10671 SOS 4173 HAS SOPS 4173 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.173
AT ITER 1148 NEW BEST:: SOT 10665 SOS 4162 HAS SOPS 4162 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.162
AT ITER 1169 NEW BEST:: SOT 10664 SOS 4161 HAS SOPS 4161 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.161
AT ITER 1175 NEW BEST:: SOT 10661 SOS 4158 HAS SOPS 4158 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.158
AT ITER 1187 NEW BEST:: SOT 10657 SOS 4150 HAS SOPS 4150 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3601.15
AT ITER 1225 NEW BEST:: SOT 10663 SOS 4124 HAS SOPS 4124 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3595.124
AT ITER 1228 NEW BEST:: SOT 10667 SOS 4126 HAS SOPS 4126 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.126
AT ITER 1273 NEW BEST:: SOT 10667 SOS 4124 HAS SOPS 4124 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.124
AT ITER 1278 NEW BEST:: SOT 10665 SOS 4122 HAS SOPS 4122 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.122
AT ITER 1283 NEW BEST:: SOT 10664 SOS 4120 HAS SOPS 4120 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3585.12
AT ITER 1323 NEW BEST:: SOT 10662 SOS 4118 HAS SOPS 4118 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.118
AT ITER 1356 NEW BEST:: SOT 10648 SOS 4100 HAS SOPS 4100 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.1
AT ITER 1374 NEW BEST:: SOT 10648 SOS 4100 HAS SOPS 4100 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.1
AT ITER 1412 NEW BEST:: SOT 10626 SOS 4078 HAS SOPS 4078 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3534.078
AT ITER 1415 NEW BEST:: SOT 10626 SOS 4073 HAS SOPS 4073 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3524.073
AT ITER 1452 NEW BEST:: SOT 10622 SOS 4071 HAS SOPS 4071 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3517.071
AT ITER 1459 NEW BEST:: SOT 10621 SOS 4120 HAS SOPS 4120 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.12
AT ITER 1468 NEW BEST:: SOT 10614 SOS 4120 HAS SOPS 4120 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3510.12
AT ITER 1489 NEW BEST:: SOT 10598 SOS 4104 HAS SOPS 4104 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.104
AT ITER 1508 NEW BEST:: SOT 10598 SOS 4105 HAS SOPS 4105 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3503.105
AT ITER 1534 NEW BEST:: SOT 10598 SOS 4102 HAS SOPS 4102 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.102
AT ITER 1538 NEW BEST:: SOT 10596 SOS 4100 HAS SOPS 4100 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.1
AT ITER 1548 NEW BEST:: SOT 10591 SOS 4113 HAS SOPS 4113 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.113
AT ITER 1557 NEW BEST:: SOT 10591 SOS 4111 HAS SOPS 4111 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.111
AT ITER 1564 NEW BEST:: SOT 10586 SOS 4101 HAS SOPS 4101 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3483.101
AT ITER 1565 NEW BEST:: SOT 10586 SOS 4095 HAS SOPS 4095 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3483.095
AT ITER 1581 NEW BEST:: SOT 10567 SOS 4126 HAS SOPS 4126 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.126
AT ITER 1628 NEW BEST:: SOT 10556 SOS 4114 HAS SOPS 4114 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3457.114
AT ITER 1629 NEW BEST:: SOT 10553 SOS 4108 HAS SOPS 4108 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.108
AT ITER 1644 NEW BEST:: SOT 10557 SOS 4119 HAS SOPS 4119 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.119
AT ITER 1718 NEW BEST:: SOT 10557 SOS 4110 HAS SOPS 4110 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.11
AT ITER 1723 NEW BEST:: SOT 10557 SOS 4110 HAS SOPS 4110 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3442.11
AT ITER 1733 NEW BEST:: SOT 10553 SOS 4116 HAS SOPS 4116 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3438.116
AT ITER 1734 NEW BEST:: SOT 10550 SOS 4113 HAS SOPS 4113 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3435.113
AT ITER 1806 NEW BEST:: SOT 10545 SOS 4108 HAS SOPS 4108 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3425.108
AT ITER 1812 NEW BEST:: SOT 10543 SOS 4104 HAS SOPS 4104 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3421.104
AT ITER 1832 NEW BEST:: SOT 10542 SOS 4073 HAS SOPS 4073 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.073
AT ITER 1848 NEW BEST:: SOT 10540 SOS 4030 HAS SOPS 4030 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3407.03
AT ITER 1850 NEW BEST:: SOT 10540 SOS 4035 HAS SOPS 4035 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3404.035
AT ITER 1937 NEW BEST:: SOT 10542 SOS 4033 HAS SOPS 4033 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3402.033
AT ITER 1978 NEW BEST:: SOT 10542 SOS 4032 HAS SOPS 4032 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3402.032
AT ITER 1984 NEW BEST:: SOT 10542 SOS 4033 HAS SOPS 4033 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.033
AT ITER 1989 NEW BEST:: SOT 10533 SOS 4048 HAS SOPS 4048 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3391.048
AT ITER 2048 NEW BEST:: SOT 10531 SOS 4046 HAS SOPS 4046 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.046
AT ITER 2054 NEW BEST:: SOT 10531 SOS 4029 HAS SOPS 4029 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3386.029
AT ITER 2079 NEW BEST:: SOT 10537 SOS 4017 HAS SOPS 4017 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3386.017
AT ITER 2086 NEW BEST:: SOT 10537 SOS 4015 HAS SOPS 4015 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3386.015
AT ITER 2088 NEW BEST:: SOT 10530 SOS 4025 HAS SOPS 4025 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.025
AT ITER 2099 NEW BEST:: SOT 10530 SOS 4025 HAS SOPS 4025 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3371.025
AT ITER 2122 NEW BEST:: SOT 10531 SOS 4023 HAS SOPS 4023 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.023
AT ITER 2188 NEW BEST:: SOT 10531 SOS 3990 HAS SOPS 3990 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.99
AT ITER 2200 NEW BEST:: SOT 10531 SOS 3989 HAS SOPS 3989 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.989
AT ITER 2212 NEW BEST:: SOT 10532 SOS 3987 HAS SOPS 3987 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.987
AT ITER 2218 NEW BEST:: SOT 10532 SOS 3982 HAS SOPS 3982 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.982
AT ITER 2230 NEW BEST:: SOT 10532 SOS 3980 HAS SOPS 3980 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.98
AT ITER 2232 NEW BEST:: SOT 10529 SOS 3983 HAS SOPS 3983 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3359.983
AT ITER 2261 NEW BEST:: SOT 10512 SOS 3955 HAS SOPS 3955 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3348.955
AT ITER 2341 NEW BEST:: SOT 10526 SOS 3951 HAS SOPS 3951 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.951
AT ITER 2369 NEW BEST:: SOT 10524 SOS 3949 HAS SOPS 3949 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.949
AT ITER 2421 NEW BEST:: SOT 10524 SOS 3944 HAS SOPS 3944 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.944
AT ITER 2458 NEW BEST:: SOT 10523 SOS 3943 HAS SOPS 3943 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3336.943
AT ITER 2606 NEW BEST:: SOT 10516 SOS 3942 HAS SOPS 3942 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.942
AT ITER 2625 NEW BEST:: SOT 10518 SOS 3951 HAS SOPS 3951 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.951
AT ITER 2662 NEW BEST:: SOT 10516 SOS 3947 HAS SOPS 3947 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.947
AT ITER 2689 NEW BEST:: SOT 10541 SOS 3969 HAS SOPS 3969 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.969
AT ITER 2730 NEW BEST:: SOT 10540 SOS 3967 HAS SOPS 3967 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.967
AT ITER 2733 NEW BEST:: SOT 10539 SOS 3966 HAS SOPS 3966 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.966
AT ITER 2750 NEW BEST:: SOT 10528 SOS 3964 HAS SOPS 3964 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3322.964
AT ITER 2785 NEW BEST:: SOT 10525 SOS 3982 HAS SOPS 3982 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.982
AT ITER 2809 NEW BEST:: SOT 10524 SOS 3981 HAS SOPS 3981 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.981
AT ITER 2841 NEW BEST:: SOT 10534 SOS 3967 HAS SOPS 3967 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3311.967
AT ITER 2845 NEW BEST:: SOT 10534 SOS 3969 HAS SOPS 3969 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.969
AT ITER 2866 NEW BEST:: SOT 10530 SOS 3965 HAS SOPS 3965 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.965
AT ITER 2882 NEW BEST:: SOT 10526 SOS 3964 HAS SOPS 3964 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3306.964
AT ITER 2897 NEW BEST:: SOT 10509 SOS 3950 HAS SOPS 3950 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.95
AT ITER 2904 NEW BEST:: SOT 10500 SOS 3863 HAS SOPS 3863 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.863
AT ITER 2907 NEW BEST:: SOT 10500 SOS 3857 HAS SOPS 3857 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.857
AT ITER 2925 NEW BEST:: SOT 10479 SOS 3853 HAS SOPS 3853 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.853
AT ITER 3025 NEW BEST:: SOT 10479 SOS 3849 HAS SOPS 3849 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.849
AT ITER 3026 NEW BEST:: SOT 10479 SOS 3848 HAS SOPS 3848 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.848
AT ITER 3081 NEW BEST:: SOT 10484 SOS 3833 HAS SOPS 3833 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.833
AT ITER 3145 NEW BEST:: SOT 10481 SOS 3839 HAS SOPS 3839 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.839
AT ITER 3172 NEW BEST:: SOT 10478 SOS 3840 HAS SOPS 3840 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.84
AT ITER 3198 NEW BEST:: SOT 10478 SOS 3839 HAS SOPS 3839 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.839
AT ITER 3211 NEW BEST:: SOT 10475 SOS 3836 HAS SOPS 3836 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.836
AT ITER 3259 NEW BEST:: SOT 10467 SOS 3825 HAS SOPS 3825 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3269.825
AT ITER 3298 NEW BEST:: SOT 10466 SOS 3828 HAS SOPS 3828 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.828
AT ITER 3314 NEW BEST:: SOT 10459 SOS 3837 HAS SOPS 3837 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.837
AT ITER 3323 NEW BEST:: SOT 10455 SOS 3826 HAS SOPS 3826 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.826
AT ITER 3326 NEW BEST:: SOT 10452 SOS 3823 HAS SOPS 3823 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.823
AT ITER 3388 NEW BEST:: SOT 10452 SOS 3819 HAS SOPS 3819 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.819
AT ITER 3458 NEW BEST:: SOT 10448 SOS 3815 HAS SOPS 3815 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.815
AT ITER 3467 NEW BEST:: SOT 10455 SOS 3822 HAS SOPS 3822 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.822
AT ITER 3485 NEW BEST:: SOT 10452 SOS 3818 HAS SOPS 3818 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.818
AT ITER 3500 NEW BEST:: SOT 10442 SOS 3818 HAS SOPS 3818 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.818
AT ITER 3502 NEW BEST:: SOT 10439 SOS 3812 HAS SOPS 3812 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.812
AT ITER 3521 NEW BEST:: SOT 10438 SOS 3811 HAS SOPS 3811 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.811
AT ITER 3593 NEW BEST:: SOT 10438 SOS 3811 HAS SOPS 3811 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.811
AT ITER 3639 NEW BEST:: SOT 10433 SOS 3806 HAS SOPS 3806 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.806
AT ITER 3652 NEW BEST:: SOT 10432 SOS 3805 HAS SOPS 3805 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.805
AT ITER 3666 NEW BEST:: SOT 10430 SOS 3799 HAS SOPS 3799 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3223.799
AT ITER 3693 NEW BEST:: SOT 10440 SOS 3798 HAS SOPS 3798 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3223.798
AT ITER 3729 NEW BEST:: SOT 10441 SOS 3792 HAS SOPS 3792 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.792
AT ITER 3836 NEW BEST:: SOT 10441 SOS 3788 HAS SOPS 3788 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.788
AT ITER 3844 NEW BEST:: SOT 10438 SOS 3785 HAS SOPS 3785 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.785
AT ITER 3845 NEW BEST:: SOT 10438 SOS 3785 HAS SOPS 3785 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.785
AT ITER 3869 NEW BEST:: SOT 10431 SOS 3778 HAS SOPS 3778 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.778
AT ITER 3897 NEW BEST:: SOT 10431 SOS 3773 HAS SOPS 3773 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.773
AT ITER 3921 NEW BEST:: SOT 10424 SOS 3766 HAS SOPS 3766 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.766
AT ITER 4044 NEW BEST:: SOT 10418 SOS 3760 HAS SOPS 3760 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.76
AT ITER 4063 NEW BEST:: SOT 10418 SOS 3759 HAS SOPS 3759 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.759
AT ITER 4153 NEW BEST:: SOT 10418 SOS 3750 HAS SOPS 3750 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.75
AT ITER 4237 NEW BEST:: SOT 10411 SOS 3737 HAS SOPS 3737 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.737
AT ITER 4267 NEW BEST:: SOT 10411 SOS 3727 HAS SOPS 3727 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.727
AT ITER 4294 NEW BEST:: SOT 10411 SOS 3725 HAS SOPS 3725 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.725
AT ITER 4350 NEW BEST:: SOT 10414 SOS 3720 HAS SOPS 3720 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.72
AT ITER 4427 NEW BEST:: SOT 10409 SOS 3710 HAS SOPS 3710 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.71
AT ITER 4429 NEW BEST:: SOT 10411 SOS 3702 HAS SOPS 3702 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.702
AT ITER 4462 NEW BEST:: SOT 10410 SOS 3719 HAS SOPS 3719 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.719
AT ITER 4487 NEW BEST:: SOT 10409 SOS 3711 HAS SOPS 3711 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.711
AT ITER 4603 NEW BEST:: SOT 10404 SOS 3719 HAS SOPS 3719 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.719
AT ITER 4806 NEW BEST:: SOT 10405 SOS 3716 HAS SOPS 3716 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.716
AT ITER 4807 NEW BEST:: SOT 10405 SOS 3692 HAS SOPS 3692 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.692
AT ITER 4875 NEW BEST:: SOT 10400 SOS 3687 HAS SOPS 3687 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3161.687
AT ITER 4908 NEW BEST:: SOT 10383 SOS 3677 HAS SOPS 3677 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3156.677
AT ITER 4934 NEW BEST:: SOT 10362 SOS 3691 HAS SOPS 3691 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.691
AT ITER 4962 NEW BEST:: SOT 10359 SOS 3688 HAS SOPS 3688 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.688
AT ITER 4982 NEW BEST:: SOT 10364 SOS 3679 HAS SOPS 3679 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.679
AT ITER 4992 NEW BEST:: SOT 10363 SOS 3678 HAS SOPS 3678 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.678
AT ITER 5020 NEW BEST:: SOT 10367 SOS 3670 HAS SOPS 3670 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.67
AT ITER 5052 NEW BEST:: SOT 10362 SOS 3709 HAS SOPS 3709 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.709
AT ITER 5094 NEW BEST:: SOT 10363 SOS 3708 HAS SOPS 3708 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.708
AT ITER 5134 NEW BEST:: SOT 10363 SOS 3707 HAS SOPS 3707 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.707
AT ITER 5152 NEW BEST:: SOT 10363 SOS 3701 HAS SOPS 3701 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.701
AT ITER 5170 NEW BEST:: SOT 10363 SOS 3697 HAS SOPS 3697 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3141.697
AT ITER 5223 NEW BEST:: SOT 10361 SOS 3695 HAS SOPS 3695 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.695
AT ITER 5278 NEW BEST:: SOT 10358 SOS 3691 HAS SOPS 3691 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.691
AT ITER 5280 NEW BEST:: SOT 10357 SOS 3690 HAS SOPS 3690 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.69
AT ITER 5370 NEW BEST:: SOT 10357 SOS 3689 HAS SOPS 3689 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.689
AT ITER 5432 NEW BEST:: SOT 10357 SOS 3695 HAS SOPS 3695 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.695
AT ITER 5490 NEW BEST:: SOT 10359 SOS 3696 HAS SOPS 3696 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.696
AT ITER 5522 NEW BEST:: SOT 10358 SOS 3691 HAS SOPS 3691 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.691
AT ITER 5584 NEW BEST:: SOT 10355 SOS 3688 HAS SOPS 3688 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3118.688
AT ITER 5708 NEW BEST:: SOT 10353 SOS 3686 HAS SOPS 3686 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.686
AT ITER 5720 NEW BEST:: SOT 10353 SOS 3685 HAS SOPS 3685 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.685
AT ITER 5782 NEW BEST:: SOT 10353 SOS 3682 HAS SOPS 3682 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.682
AT ITER 5848 NEW BEST:: SOT 10352 SOS 3680 HAS SOPS 3680 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.68
AT ITER 5903 NEW BEST:: SOT 10351 SOS 3679 HAS SOPS 3679 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.679
AT ITER 5914 NEW BEST:: SOT 10351 SOS 3677 HAS SOPS 3677 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.677
AT ITER 6037 NEW BEST:: SOT 10353 SOS 3661 HAS SOPS 3661 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.661
AT ITER 6186 NEW BEST:: SOT 10356 SOS 3659 HAS SOPS 3659 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3106.659
AT ITER 6270 NEW BEST:: SOT 10357 SOS 3659 HAS SOPS 3659 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.659
AT ITER 6310 NEW BEST:: SOT 10354 SOS 3653 HAS SOPS 3653 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.653
AT ITER 6324 NEW BEST:: SOT 10354 SOS 3653 HAS SOPS 3653 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.653
AT ITER 6376 NEW BEST:: SOT 10350 SOS 3616 HAS SOPS 3616 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.616
AT ITER 6381 NEW BEST:: SOT 10349 SOS 3615 HAS SOPS 3615 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.615
AT ITER 6396 NEW BEST:: SOT 10342 SOS 3659 HAS SOPS 3659 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.659
AT ITER 6554 NEW BEST:: SOT 10341 SOS 3659 HAS SOPS 3659 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.659
AT ITER 6629 NEW BEST:: SOT 10340 SOS 3658 HAS SOPS 3658 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.658
AT ITER 6846 NEW BEST:: SOT 10337 SOS 3656 HAS SOPS 3656 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.656
AT ITER 7085 NEW BEST:: SOT 10337 SOS 3656 HAS SOPS 3656 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.656
AT ITER 7160 NEW BEST:: SOT 10337 SOS 3647 HAS SOPS 3647 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.647
AT ITER 7166 NEW BEST:: SOT 10337 SOS 3647 HAS SOPS 3647 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.647
AT ITER 7180 NEW BEST:: SOT 10332 SOS 3642 HAS SOPS 3642 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.642
AT ITER 7208 NEW BEST:: SOT 10326 SOS 3636 HAS SOPS 3636 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.636
AT ITER 7278 NEW BEST:: SOT 10326 SOS 3635 HAS SOPS 3635 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.635
AT ITER 7368 NEW BEST:: SOT 10324 SOS 3633 HAS SOPS 3633 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3072.633
AT ITER 7398 NEW BEST:: SOT 10325 SOS 3632 HAS SOPS 3632 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.632
AT ITER 7542 NEW BEST:: SOT 10323 SOS 3630 HAS SOPS 3630 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.63
AT ITER 7553 NEW BEST:: SOT 10322 SOS 3628 HAS SOPS 3628 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.628
AT ITER 7567 NEW BEST:: SOT 10322 SOS 3628 HAS SOPS 3628 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.628
AT ITER 7743 NEW BEST:: SOT 10321 SOS 3626 HAS SOPS 3626 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.626
AT ITER 8025 NEW BEST:: SOT 10320 SOS 3666 HAS SOPS 3666 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.666
AT ITER 8027 NEW BEST:: SOT 10310 SOS 3738 HAS SOPS 3738 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.738
AT ITER 8060 NEW BEST:: SOT 10309 SOS 3737 HAS SOPS 3737 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.737
AT ITER 8331 NEW BEST:: SOT 10306 SOS 3755 HAS SOPS 3755 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.755
AT ITER 8366 NEW BEST:: SOT 10302 SOS 3762 HAS SOPS 3762 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.762
AT ITER 8553 NEW BEST:: SOT 10292 SOS 3752 HAS SOPS 3752 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.752
AT ITER 8603 NEW BEST:: SOT 10291 SOS 3755 HAS SOPS 3755 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.755
AT ITER 8655 NEW BEST:: SOT 10296 SOS 3698 HAS SOPS 3698 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.698
AT ITER 8773 NEW BEST:: SOT 10291 SOS 3693 HAS SOPS 3693 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.693
AT ITER 8916 NEW BEST:: SOT 10291 SOS 3692 HAS SOPS 3692 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.692
AT ITER 8964 NEW BEST:: SOT 10291 SOS 3687 HAS SOPS 3687 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.687
AT ITER 9007 NEW BEST:: SOT 10305 SOS 3689 HAS SOPS 3689 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.689
AT ITER 9040 NEW BEST:: SOT 10305 SOS 3686 HAS SOPS 3686 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.686
AT ITER 9065 NEW BEST:: SOT 10305 SOS 3696 HAS SOPS 3696 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.696
AT ITER 9254 NEW BEST:: SOT 10303 SOS 3695 HAS SOPS 3695 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.695
AT ITER 9430 NEW BEST:: SOT 10303 SOS 3700 HAS SOPS 3700 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.7
AT ITER 9545 NEW BEST:: SOT 10303 SOS 3710 HAS SOPS 3710 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.71
AT ITER 9614 NEW BEST:: SOT 10300 SOS 3707 HAS SOPS 3707 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.707
AT ITER 9655 NEW BEST:: SOT 10300 SOS 3706 HAS SOPS 3706 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.706
AT ITER 9696 NEW BEST:: SOT 10307 SOS 3684 HAS SOPS 3684 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.684
AT ITER 9697 NEW BEST:: SOT 10306 SOS 3683 HAS SOPS 3683 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3011.683
AT ITER 9776 NEW BEST:: SOT 10301 SOS 3699 HAS SOPS 3699 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.699
AT ITER 9928 NEW BEST:: SOT 10296 SOS 3707 HAS SOPS 3707 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.707
STATE_SPACE STATES 4717886881 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 39697223744 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589358909962

--------------------
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="DatabaseWithMutex-PT-04"
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"

# 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 DatabaseWithMutex-PT-04, 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 r063-tajo-158922807200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-04.tgz
mv DatabaseWithMutex-PT-04 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 ;