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.r195-smll-167840341800032.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 GPUForwardProgress-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341800032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 25 14:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 46K 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 1678436668132

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=GPUForwardProgress-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 08b
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: 188 places, 197 transitions, 477 arcs.
AT ITER 0 NEW BEST:: SOT 20760 SOS 6537 HAS SOPS 6537 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.537
AT ITER 25 NEW BEST:: SOT 20743 SOS 6537 HAS SOPS 6537 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.537
AT ITER 30 NEW BEST:: SOT 20726 SOS 6503 HAS SOPS 6503 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.503
AT ITER 43 NEW BEST:: SOT 20549 SOS 6523 HAS SOPS 6523 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.523
AT ITER 48 NEW BEST:: SOT 20540 SOS 6514 HAS SOPS 6514 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.514
AT ITER 60 NEW BEST:: SOT 20531 SOS 6493 HAS SOPS 6493 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.493
AT ITER 67 NEW BEST:: SOT 20531 SOS 6456 HAS SOPS 6456 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.456
AT ITER 80 NEW BEST:: SOT 20531 SOS 6448 HAS SOPS 6448 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.448
AT ITER 100 NEW BEST:: SOT 20531 SOS 6448 HAS SOPS 6448 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.448
AT ITER 112 NEW BEST:: SOT 20531 SOS 6426 HAS SOPS 6426 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.426
AT ITER 120 NEW BEST:: SOT 20522 SOS 6417 HAS SOPS 6417 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5770.417
AT ITER 129 NEW BEST:: SOT 20523 SOS 6369 HAS SOPS 6369 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.369
AT ITER 139 NEW BEST:: SOT 20491 SOS 6333 HAS SOPS 6333 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5710.333
AT ITER 140 NEW BEST:: SOT 20447 SOS 6366 HAS SOPS 6366 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5684.366
AT ITER 143 NEW BEST:: SOT 20426 SOS 6338 HAS SOPS 6338 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5663.338
AT ITER 145 NEW BEST:: SOT 20431 SOS 6238 HAS SOPS 6238 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5637.238
AT ITER 147 NEW BEST:: SOT 20431 SOS 6238 HAS SOPS 6238 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.238
AT ITER 151 NEW BEST:: SOT 20431 SOS 6238 HAS SOPS 6238 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.238
AT ITER 166 NEW BEST:: SOT 20418 SOS 6252 HAS SOPS 6252 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5619.252
AT ITER 180 NEW BEST:: SOT 20422 SOS 6379 HAS SOPS 6379 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.379
AT ITER 190 NEW BEST:: SOT 20396 SOS 6219 HAS SOPS 6219 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.219
AT ITER 191 NEW BEST:: SOT 20396 SOS 6204 HAS SOPS 6204 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.204
AT ITER 204 NEW BEST:: SOT 20400 SOS 6208 HAS SOPS 6208 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5492.208
AT ITER 214 NEW BEST:: SOT 20395 SOS 6203 HAS SOPS 6203 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5487.203
AT ITER 231 NEW BEST:: SOT 20395 SOS 6203 HAS SOPS 6203 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.203
AT ITER 260 NEW BEST:: SOT 20395 SOS 6203 HAS SOPS 6203 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.203
AT ITER 265 NEW BEST:: SOT 20351 SOS 6086 HAS SOPS 6086 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5376.086
AT ITER 269 NEW BEST:: SOT 20330 SOS 6023 HAS SOPS 6023 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.023
AT ITER 272 NEW BEST:: SOT 20311 SOS 5947 HAS SOPS 5947 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5292.947
AT ITER 276 NEW BEST:: SOT 20309 SOS 5943 HAS SOPS 5943 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5288.943
AT ITER 280 NEW BEST:: SOT 20346 SOS 5840 HAS SOPS 5840 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5281.84
AT ITER 290 NEW BEST:: SOT 20346 SOS 5840 HAS SOPS 5840 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5272.84
AT ITER 297 NEW BEST:: SOT 20345 SOS 5823 HAS SOPS 5823 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.823
AT ITER 300 NEW BEST:: SOT 20299 SOS 5817 HAS SOPS 5817 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5228.817
AT ITER 317 NEW BEST:: SOT 20293 SOS 5805 HAS SOPS 5805 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5216.805
AT ITER 325 NEW BEST:: SOT 20341 SOS 5800 HAS SOPS 5800 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5211.8
AT ITER 345 NEW BEST:: SOT 20341 SOS 5791 HAS SOPS 5791 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5211.791
AT ITER 347 NEW BEST:: SOT 20339 SOS 5787 HAS SOPS 5787 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5193.787
AT ITER 348 NEW BEST:: SOT 20339 SOS 5773 HAS SOPS 5773 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5185.773
AT ITER 391 NEW BEST:: SOT 20334 SOS 5763 HAS SOPS 5763 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.763
AT ITER 420 NEW BEST:: SOT 20333 SOS 5758 HAS SOPS 5758 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.758
AT ITER 459 NEW BEST:: SOT 20334 SOS 5686 HAS SOPS 5686 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5125.686
AT ITER 499 NEW BEST:: SOT 20306 SOS 5625 HAS SOPS 5625 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5069.625
AT ITER 504 NEW BEST:: SOT 20300 SOS 5613 HAS SOPS 5613 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.613
AT ITER 531 NEW BEST:: SOT 20299 SOS 5611 HAS SOPS 5611 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5055.611
AT ITER 600 NEW BEST:: SOT 20295 SOS 5566 HAS SOPS 5566 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.566
AT ITER 602 NEW BEST:: SOT 20295 SOS 5566 HAS SOPS 5566 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5044.566
AT ITER 609 NEW BEST:: SOT 20229 SOS 5502 HAS SOPS 5502 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4976.502
AT ITER 622 NEW BEST:: SOT 20229 SOS 5480 HAS SOPS 5480 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.48
AT ITER 624 NEW BEST:: SOT 20229 SOS 5452 HAS SOPS 5452 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.452
AT ITER 636 NEW BEST:: SOT 20228 SOS 5450 HAS SOPS 5450 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.45
AT ITER 664 NEW BEST:: SOT 20236 SOS 5432 HAS SOPS 5432 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4962.432
AT ITER 708 NEW BEST:: SOT 20249 SOS 5426 HAS SOPS 5426 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.426
AT ITER 715 NEW BEST:: SOT 20246 SOS 5419 HAS SOPS 5419 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.419
AT ITER 741 NEW BEST:: SOT 20244 SOS 5417 HAS SOPS 5417 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.417
AT ITER 754 NEW BEST:: SOT 20239 SOS 5412 HAS SOPS 5412 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4950.412
AT ITER 774 NEW BEST:: SOT 20227 SOS 5388 HAS SOPS 5388 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4926.388
AT ITER 805 NEW BEST:: SOT 20231 SOS 5376 HAS SOPS 5376 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4914.376
AT ITER 812 NEW BEST:: SOT 20231 SOS 5374 HAS SOPS 5374 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4914.374
AT ITER 817 NEW BEST:: SOT 20222 SOS 5365 HAS SOPS 5365 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4905.365
AT ITER 875 NEW BEST:: SOT 20206 SOS 5362 HAS SOPS 5362 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.362
AT ITER 877 NEW BEST:: SOT 20206 SOS 5352 HAS SOPS 5352 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.352
AT ITER 929 NEW BEST:: SOT 20206 SOS 5333 HAS SOPS 5333 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.333
AT ITER 930 NEW BEST:: SOT 20205 SOS 5331 HAS SOPS 5331 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4892.331
AT ITER 931 NEW BEST:: SOT 20205 SOS 5322 HAS SOPS 5322 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4892.322
AT ITER 940 NEW BEST:: SOT 20225 SOS 5302 HAS SOPS 5302 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.302
AT ITER 949 NEW BEST:: SOT 20215 SOS 5258 HAS SOPS 5258 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4853.258
AT ITER 1019 NEW BEST:: SOT 20207 SOS 5262 HAS SOPS 5262 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4847.262
AT ITER 1026 NEW BEST:: SOT 20200 SOS 5255 HAS SOPS 5255 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.255
AT ITER 1029 NEW BEST:: SOT 20195 SOS 5238 HAS SOPS 5238 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4827.238
AT ITER 1037 NEW BEST:: SOT 20143 SOS 5188 HAS SOPS 5188 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4818.188
AT ITER 1048 NEW BEST:: SOT 20133 SOS 5160 HAS SOPS 5160 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.16
AT ITER 1063 NEW BEST:: SOT 20133 SOS 5149 HAS SOPS 5149 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.149
AT ITER 1104 NEW BEST:: SOT 20130 SOS 5134 HAS SOPS 5134 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.134
AT ITER 1112 NEW BEST:: SOT 20128 SOS 5130 HAS SOPS 5130 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4762.13
AT ITER 1115 NEW BEST:: SOT 20128 SOS 5130 HAS SOPS 5130 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.13
AT ITER 1124 NEW BEST:: SOT 20120 SOS 5121 HAS SOPS 5121 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.121
AT ITER 1133 NEW BEST:: SOT 20120 SOS 5107 HAS SOPS 5107 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.107
AT ITER 1139 NEW BEST:: SOT 20120 SOS 5107 HAS SOPS 5107 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.107
AT ITER 1151 NEW BEST:: SOT 20111 SOS 5065 HAS SOPS 5065 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.065
AT ITER 1162 NEW BEST:: SOT 20111 SOS 5063 HAS SOPS 5063 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.063
AT ITER 1189 NEW BEST:: SOT 20111 SOS 5061 HAS SOPS 5061 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.061
AT ITER 1197 NEW BEST:: SOT 20111 SOS 5055 HAS SOPS 5055 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.055
AT ITER 1226 NEW BEST:: SOT 20107 SOS 5071 HAS SOPS 5071 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.071
AT ITER 1238 NEW BEST:: SOT 20107 SOS 5071 HAS SOPS 5071 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.071
AT ITER 1246 NEW BEST:: SOT 20107 SOS 5064 HAS SOPS 5064 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4695.064
AT ITER 1261 NEW BEST:: SOT 20104 SOS 5058 HAS SOPS 5058 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4683.058
AT ITER 1268 NEW BEST:: SOT 20098 SOS 5046 HAS SOPS 5046 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4671.046
AT ITER 1308 NEW BEST:: SOT 20084 SOS 5034 HAS SOPS 5034 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.034
AT ITER 1319 NEW BEST:: SOT 20081 SOS 5019 HAS SOPS 5019 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.019
AT ITER 1331 NEW BEST:: SOT 20084 SOS 5009 HAS SOPS 5009 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.009
AT ITER 1346 NEW BEST:: SOT 20076 SOS 4993 HAS SOPS 4993 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4632.993
AT ITER 1357 NEW BEST:: SOT 20075 SOS 4991 HAS SOPS 4991 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4611.991
AT ITER 1363 NEW BEST:: SOT 20053 SOS 4947 HAS SOPS 4947 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4567.947
AT ITER 1393 NEW BEST:: SOT 20035 SOS 4931 HAS SOPS 4931 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4551.931
AT ITER 1425 NEW BEST:: SOT 20033 SOS 4927 HAS SOPS 4927 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4547.927
AT ITER 1433 NEW BEST:: SOT 20014 SOS 4897 HAS SOPS 4897 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4532.897
AT ITER 1447 NEW BEST:: SOT 19997 SOS 4881 HAS SOPS 4881 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4516.881
AT ITER 1452 NEW BEST:: SOT 19996 SOS 4879 HAS SOPS 4879 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4514.879
AT ITER 1454 NEW BEST:: SOT 19998 SOS 4821 HAS SOPS 4821 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4507.821
AT ITER 1459 NEW BEST:: SOT 20015 SOS 4855 HAS SOPS 4855 HAS SOUS 4493 HAS SOUPS 4493 WITH SCORE 4497.855
AT ITER 1463 NEW BEST:: SOT 20015 SOS 4841 HAS SOPS 4841 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.841
AT ITER 1468 NEW BEST:: SOT 20009 SOS 4829 HAS SOPS 4829 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4478.829
AT ITER 1485 NEW BEST:: SOT 20006 SOS 4826 HAS SOPS 4826 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4475.826
AT ITER 1498 NEW BEST:: SOT 20004 SOS 4822 HAS SOPS 4822 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4471.822
AT ITER 1516 NEW BEST:: SOT 20011 SOS 4818 HAS SOPS 4818 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4468.818
AT ITER 1521 NEW BEST:: SOT 20005 SOS 4806 HAS SOPS 4806 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.806
AT ITER 1526 NEW BEST:: SOT 20005 SOS 4803 HAS SOPS 4803 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4450.803
AT ITER 1536 NEW BEST:: SOT 19997 SOS 4787 HAS SOPS 4787 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.787
AT ITER 1539 NEW BEST:: SOT 19997 SOS 4772 HAS SOPS 4772 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4419.772
AT ITER 1580 NEW BEST:: SOT 19990 SOS 4786 HAS SOPS 4786 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4402.786
AT ITER 1583 NEW BEST:: SOT 19980 SOS 4766 HAS SOPS 4766 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4371.766
AT ITER 1628 NEW BEST:: SOT 19979 SOS 4767 HAS SOPS 4767 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.767
AT ITER 1630 NEW BEST:: SOT 19972 SOS 4734 HAS SOPS 4734 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.734
AT ITER 1677 NEW BEST:: SOT 19979 SOS 4748 HAS SOPS 4748 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.748
AT ITER 1701 NEW BEST:: SOT 19974 SOS 4743 HAS SOPS 4743 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.743
AT ITER 1711 NEW BEST:: SOT 19974 SOS 4734 HAS SOPS 4734 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4319.734
AT ITER 1737 NEW BEST:: SOT 19964 SOS 4724 HAS SOPS 4724 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4309.724
AT ITER 1741 NEW BEST:: SOT 19966 SOS 4728 HAS SOPS 4728 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4308.728
AT ITER 1750 NEW BEST:: SOT 19954 SOS 4683 HAS SOPS 4683 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4275.683
AT ITER 1751 NEW BEST:: SOT 19950 SOS 4679 HAS SOPS 4679 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4271.679
AT ITER 1755 NEW BEST:: SOT 19949 SOS 4621 HAS SOPS 4621 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4243.621
AT ITER 1758 NEW BEST:: SOT 19949 SOS 4621 HAS SOPS 4621 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.621
AT ITER 1770 NEW BEST:: SOT 19930 SOS 4643 HAS SOPS 4643 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4236.643
AT ITER 1797 NEW BEST:: SOT 19943 SOS 4641 HAS SOPS 4641 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4191.641
AT ITER 1838 NEW BEST:: SOT 19943 SOS 4602 HAS SOPS 4602 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.602
AT ITER 1856 NEW BEST:: SOT 19951 SOS 4594 HAS SOPS 4594 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.594
AT ITER 1895 NEW BEST:: SOT 19949 SOS 4577 HAS SOPS 4577 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4127.577
AT ITER 1898 NEW BEST:: SOT 19945 SOS 4569 HAS SOPS 4569 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4119.569
AT ITER 1908 NEW BEST:: SOT 19941 SOS 4566 HAS SOPS 4566 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4111.566
AT ITER 1914 NEW BEST:: SOT 19941 SOS 4556 HAS SOPS 4556 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.556
AT ITER 1915 NEW BEST:: SOT 19937 SOS 4550 HAS SOPS 4550 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.55
AT ITER 1946 NEW BEST:: SOT 19931 SOS 4538 HAS SOPS 4538 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.538
AT ITER 1967 NEW BEST:: SOT 19931 SOS 4538 HAS SOPS 4538 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.538
AT ITER 1986 NEW BEST:: SOT 19929 SOS 4534 HAS SOPS 4534 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.534
AT ITER 1996 NEW BEST:: SOT 19927 SOS 4516 HAS SOPS 4516 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4072.516
AT ITER 2031 NEW BEST:: SOT 19920 SOS 4502 HAS SOPS 4502 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.502
AT ITER 2042 NEW BEST:: SOT 19920 SOS 4500 HAS SOPS 4500 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.5
AT ITER 2139 NEW BEST:: SOT 19917 SOS 4526 HAS SOPS 4526 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4056.526
AT ITER 2161 NEW BEST:: SOT 19912 SOS 4516 HAS SOPS 4516 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.516
AT ITER 2192 NEW BEST:: SOT 19953 SOS 4556 HAS SOPS 4556 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4001.556
AT ITER 2205 NEW BEST:: SOT 19953 SOS 4556 HAS SOPS 4556 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.556
AT ITER 2215 NEW BEST:: SOT 19952 SOS 4554 HAS SOPS 4554 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.554
AT ITER 2232 NEW BEST:: SOT 19950 SOS 4566 HAS SOPS 4566 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.566
AT ITER 2275 NEW BEST:: SOT 19947 SOS 4563 HAS SOPS 4563 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3983.563
AT ITER 2281 NEW BEST:: SOT 19947 SOS 4563 HAS SOPS 4563 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3981.563
AT ITER 2297 NEW BEST:: SOT 19942 SOS 4558 HAS SOPS 4558 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.558
AT ITER 2299 NEW BEST:: SOT 19942 SOS 4558 HAS SOPS 4558 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3970.558
AT ITER 2303 NEW BEST:: SOT 19941 SOS 4556 HAS SOPS 4556 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3968.556
AT ITER 2310 NEW BEST:: SOT 19941 SOS 4544 HAS SOPS 4544 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3968.544
AT ITER 2318 NEW BEST:: SOT 19924 SOS 4544 HAS SOPS 4544 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3966.544
AT ITER 2343 NEW BEST:: SOT 19924 SOS 4540 HAS SOPS 4540 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3962.54
AT ITER 2408 NEW BEST:: SOT 19924 SOS 4537 HAS SOPS 4537 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.537
AT ITER 2426 NEW BEST:: SOT 19926 SOS 4541 HAS SOPS 4541 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.541
AT ITER 2453 NEW BEST:: SOT 19921 SOS 4521 HAS SOPS 4521 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.521
AT ITER 2461 NEW BEST:: SOT 19929 SOS 4537 HAS SOPS 4537 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.537
AT ITER 2509 NEW BEST:: SOT 19917 SOS 4513 HAS SOPS 4513 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.513
AT ITER 2525 NEW BEST:: SOT 19902 SOS 4423 HAS SOPS 4423 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.423
AT ITER 2530 NEW BEST:: SOT 19902 SOS 4420 HAS SOPS 4420 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.42
AT ITER 2543 NEW BEST:: SOT 19880 SOS 4376 HAS SOPS 4376 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.376
AT ITER 2595 NEW BEST:: SOT 19880 SOS 4376 HAS SOPS 4376 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3860.376
AT ITER 2611 NEW BEST:: SOT 19880 SOS 4368 HAS SOPS 4368 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.368
AT ITER 2612 NEW BEST:: SOT 19880 SOS 4367 HAS SOPS 4367 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.367
AT ITER 2620 NEW BEST:: SOT 19880 SOS 4365 HAS SOPS 4365 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.365
AT ITER 2622 NEW BEST:: SOT 19882 SOS 4369 HAS SOPS 4369 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.369
AT ITER 2641 NEW BEST:: SOT 19874 SOS 4361 HAS SOPS 4361 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3837.361
AT ITER 2643 NEW BEST:: SOT 19873 SOS 4358 HAS SOPS 4358 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.358
AT ITER 2676 NEW BEST:: SOT 19873 SOS 4338 HAS SOPS 4338 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.338
AT ITER 2683 NEW BEST:: SOT 19873 SOS 4338 HAS SOPS 4338 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3822.338
AT ITER 2688 NEW BEST:: SOT 19867 SOS 4356 HAS SOPS 4356 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3820.356
AT ITER 2703 NEW BEST:: SOT 19867 SOS 4355 HAS SOPS 4355 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.355
AT ITER 2738 NEW BEST:: SOT 19863 SOS 4347 HAS SOPS 4347 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.347
AT ITER 2790 NEW BEST:: SOT 19863 SOS 4346 HAS SOPS 4346 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.346
AT ITER 2843 NEW BEST:: SOT 19863 SOS 4346 HAS SOPS 4346 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.346
AT ITER 2860 NEW BEST:: SOT 19830 SOS 4316 HAS SOPS 4316 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.316
AT ITER 2896 NEW BEST:: SOT 19830 SOS 4315 HAS SOPS 4315 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.315
AT ITER 2905 NEW BEST:: SOT 19824 SOS 4303 HAS SOPS 4303 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.303
AT ITER 2920 NEW BEST:: SOT 19823 SOS 4301 HAS SOPS 4301 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.301
AT ITER 2933 NEW BEST:: SOT 19825 SOS 4305 HAS SOPS 4305 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.305
AT ITER 2967 NEW BEST:: SOT 19819 SOS 4299 HAS SOPS 4299 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.299
AT ITER 2985 NEW BEST:: SOT 19813 SOS 4287 HAS SOPS 4287 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.287
AT ITER 3003 NEW BEST:: SOT 19813 SOS 4287 HAS SOPS 4287 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.287
AT ITER 3017 NEW BEST:: SOT 19810 SOS 4269 HAS SOPS 4269 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.269
AT ITER 3044 NEW BEST:: SOT 19809 SOS 4267 HAS SOPS 4267 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.267
AT ITER 3071 NEW BEST:: SOT 19805 SOS 4259 HAS SOPS 4259 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.259
AT ITER 3091 NEW BEST:: SOT 19807 SOS 4235 HAS SOPS 4235 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3705.235
AT ITER 3130 NEW BEST:: SOT 19805 SOS 4224 HAS SOPS 4224 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.224
AT ITER 3162 NEW BEST:: SOT 19804 SOS 4222 HAS SOPS 4222 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.222
AT ITER 3219 NEW BEST:: SOT 19789 SOS 4175 HAS SOPS 4175 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.175
AT ITER 3231 NEW BEST:: SOT 19777 SOS 4188 HAS SOPS 4188 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.188
AT ITER 3262 NEW BEST:: SOT 19777 SOS 4183 HAS SOPS 4183 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.183
AT ITER 3269 NEW BEST:: SOT 19773 SOS 4183 HAS SOPS 4183 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.183
AT ITER 3271 NEW BEST:: SOT 19761 SOS 4162 HAS SOPS 4162 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.162
AT ITER 3307 NEW BEST:: SOT 19758 SOS 4156 HAS SOPS 4156 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3633.156
AT ITER 3334 NEW BEST:: SOT 19743 SOS 4126 HAS SOPS 4126 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.126
AT ITER 3419 NEW BEST:: SOT 19741 SOS 4118 HAS SOPS 4118 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.118
AT ITER 3434 NEW BEST:: SOT 19740 SOS 4117 HAS SOPS 4117 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.117
AT ITER 3436 NEW BEST:: SOT 19736 SOS 4109 HAS SOPS 4109 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.109
AT ITER 3451 NEW BEST:: SOT 19732 SOS 4108 HAS SOPS 4108 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3621.108
AT ITER 3470 NEW BEST:: SOT 19729 SOS 4073 HAS SOPS 4073 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3615.073
AT ITER 3528 NEW BEST:: SOT 19727 SOS 4069 HAS SOPS 4069 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.069
AT ITER 3547 NEW BEST:: SOT 19728 SOS 4068 HAS SOPS 4068 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3610.068
AT ITER 3554 NEW BEST:: SOT 19726 SOS 4061 HAS SOPS 4061 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.061
AT ITER 3559 NEW BEST:: SOT 19714 SOS 4053 HAS SOPS 4053 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3595.053
AT ITER 3588 NEW BEST:: SOT 19722 SOS 4052 HAS SOPS 4052 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3594.052
AT ITER 3634 NEW BEST:: SOT 19722 SOS 4037 HAS SOPS 4037 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3594.037
AT ITER 3666 NEW BEST:: SOT 19713 SOS 4040 HAS SOPS 4040 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.04
AT ITER 3693 NEW BEST:: SOT 19707 SOS 4035 HAS SOPS 4035 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.035
AT ITER 3696 NEW BEST:: SOT 19706 SOS 4011 HAS SOPS 4011 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.011
AT ITER 3708 NEW BEST:: SOT 19706 SOS 4010 HAS SOPS 4010 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.01
AT ITER 3744 NEW BEST:: SOT 19706 SOS 4007 HAS SOPS 4007 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3563.007
AT ITER 3750 NEW BEST:: SOT 19703 SOS 4002 HAS SOPS 4002 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.002
AT ITER 3782 NEW BEST:: SOT 19680 SOS 4016 HAS SOPS 4016 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3515.016
AT ITER 3809 NEW BEST:: SOT 19679 SOS 4014 HAS SOPS 4014 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3514.014
AT ITER 3814 NEW BEST:: SOT 19677 SOS 4010 HAS SOPS 4010 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.01
AT ITER 3885 NEW BEST:: SOT 19677 SOS 4002 HAS SOPS 4002 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.002
AT ITER 3919 NEW BEST:: SOT 19682 SOS 3990 HAS SOPS 3990 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3499.99
AT ITER 4021 NEW BEST:: SOT 19682 SOS 3940 HAS SOPS 3940 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.94
AT ITER 4047 NEW BEST:: SOT 19679 SOS 3934 HAS SOPS 3934 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.934
AT ITER 4096 NEW BEST:: SOT 19679 SOS 3932 HAS SOPS 3932 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.932
AT ITER 4115 NEW BEST:: SOT 19669 SOS 3912 HAS SOPS 3912 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3431.912
AT ITER 4141 NEW BEST:: SOT 19673 SOS 3916 HAS SOPS 3916 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3430.916
AT ITER 4185 NEW BEST:: SOT 19662 SOS 3894 HAS SOPS 3894 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.894
AT ITER 4260 NEW BEST:: SOT 19652 SOS 3892 HAS SOPS 3892 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3398.892
AT ITER 4279 NEW BEST:: SOT 19648 SOS 3890 HAS SOPS 3890 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3393.89
AT ITER 4351 NEW BEST:: SOT 19642 SOS 3878 HAS SOPS 3878 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.878
AT ITER 4357 NEW BEST:: SOT 19642 SOS 3873 HAS SOPS 3873 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.873
AT ITER 4410 NEW BEST:: SOT 19646 SOS 3869 HAS SOPS 3869 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3377.869
AT ITER 4453 NEW BEST:: SOT 19643 SOS 3871 HAS SOPS 3871 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.871
AT ITER 4462 NEW BEST:: SOT 19642 SOS 3867 HAS SOPS 3867 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.867
AT ITER 4533 NEW BEST:: SOT 19639 SOS 3861 HAS SOPS 3861 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.861
AT ITER 4561 NEW BEST:: SOT 19635 SOS 3857 HAS SOPS 3857 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.857
AT ITER 4566 NEW BEST:: SOT 19630 SOS 3852 HAS SOPS 3852 HAS SOUS 3353 HAS SOUPS 3353 WITH SCORE 3356.852
AT ITER 4601 NEW BEST:: SOT 19632 SOS 3853 HAS SOPS 3853 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.853
AT ITER 4652 NEW BEST:: SOT 19623 SOS 3825 HAS SOPS 3825 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.825
AT ITER 4653 NEW BEST:: SOT 19621 SOS 3821 HAS SOPS 3821 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.821
AT ITER 4695 NEW BEST:: SOT 19621 SOS 3820 HAS SOPS 3820 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.82
AT ITER 4715 NEW BEST:: SOT 19642 SOS 3826 HAS SOPS 3826 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.826
AT ITER 4764 NEW BEST:: SOT 19657 SOS 3856 HAS SOPS 3856 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.856
AT ITER 4850 NEW BEST:: SOT 19651 SOS 3853 HAS SOPS 3853 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.853
AT ITER 4931 NEW BEST:: SOT 19648 SOS 3847 HAS SOPS 3847 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.847
AT ITER 4940 NEW BEST:: SOT 19648 SOS 3818 HAS SOPS 3818 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.818
AT ITER 4985 NEW BEST:: SOT 19650 SOS 3812 HAS SOPS 3812 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.812
AT ITER 4989 NEW BEST:: SOT 19648 SOS 3808 HAS SOPS 3808 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3304.808
AT ITER 5134 NEW BEST:: SOT 19642 SOS 3796 HAS SOPS 3796 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.796
AT ITER 5287 NEW BEST:: SOT 19644 SOS 3793 HAS SOPS 3793 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.793
AT ITER 5322 NEW BEST:: SOT 19642 SOS 3789 HAS SOPS 3789 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.789
AT ITER 5358 NEW BEST:: SOT 19638 SOS 3785 HAS SOPS 3785 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.785
AT ITER 5389 NEW BEST:: SOT 19636 SOS 3777 HAS SOPS 3777 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.777
AT ITER 5420 NEW BEST:: SOT 19635 SOS 3777 HAS SOPS 3777 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.777
AT ITER 5434 NEW BEST:: SOT 19616 SOS 3869 HAS SOPS 3869 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.869
AT ITER 5492 NEW BEST:: SOT 19621 SOS 3866 HAS SOPS 3866 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.866
AT ITER 5619 NEW BEST:: SOT 19620 SOS 3852 HAS SOPS 3852 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3239.852
AT ITER 5663 NEW BEST:: SOT 19617 SOS 3857 HAS SOPS 3857 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.857
AT ITER 5704 NEW BEST:: SOT 19601 SOS 3825 HAS SOPS 3825 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.825
AT ITER 5706 NEW BEST:: SOT 19598 SOS 3819 HAS SOPS 3819 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.819
AT ITER 5723 NEW BEST:: SOT 19605 SOS 3791 HAS SOPS 3791 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.791
AT ITER 5835 NEW BEST:: SOT 19601 SOS 3783 HAS SOPS 3783 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.783
AT ITER 5853 NEW BEST:: SOT 19597 SOS 3772 HAS SOPS 3772 HAS SOUS 3209 HAS SOUPS 3209 WITH SCORE 3212.772
AT ITER 5996 NEW BEST:: SOT 19592 SOS 3768 HAS SOPS 3768 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3211.768
AT ITER 6106 NEW BEST:: SOT 19581 SOS 3757 HAS SOPS 3757 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.757
AT ITER 6145 NEW BEST:: SOT 19577 SOS 3749 HAS SOPS 3749 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.749
AT ITER 6194 NEW BEST:: SOT 19573 SOS 3741 HAS SOPS 3741 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.741
AT ITER 6264 NEW BEST:: SOT 19550 SOS 3740 HAS SOPS 3740 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.74
AT ITER 6298 NEW BEST:: SOT 19550 SOS 3738 HAS SOPS 3738 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3175.738
AT ITER 6363 NEW BEST:: SOT 19546 SOS 3734 HAS SOPS 3734 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.734
AT ITER 6430 NEW BEST:: SOT 19546 SOS 3733 HAS SOPS 3733 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3170.733
AT ITER 6495 NEW BEST:: SOT 19545 SOS 3733 HAS SOPS 3733 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.733
AT ITER 6575 NEW BEST:: SOT 19545 SOS 3722 HAS SOPS 3722 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.722
AT ITER 6631 NEW BEST:: SOT 19555 SOS 3728 HAS SOPS 3728 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.728
AT ITER 6662 NEW BEST:: SOT 19554 SOS 3726 HAS SOPS 3726 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.726
AT ITER 6665 NEW BEST:: SOT 19554 SOS 3682 HAS SOPS 3682 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.682
AT ITER 6680 NEW BEST:: SOT 19555 SOS 3564 HAS SOPS 3564 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.564
AT ITER 6744 NEW BEST:: SOT 19553 SOS 3560 HAS SOPS 3560 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.56
AT ITER 6768 NEW BEST:: SOT 19550 SOS 3552 HAS SOPS 3552 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.552
AT ITER 6830 NEW BEST:: SOT 19549 SOS 3550 HAS SOPS 3550 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.55
AT ITER 6853 NEW BEST:: SOT 19546 SOS 3544 HAS SOPS 3544 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3120.544
AT ITER 6861 NEW BEST:: SOT 19550 SOS 3540 HAS SOPS 3540 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.54
AT ITER 6891 NEW BEST:: SOT 19550 SOS 3525 HAS SOPS 3525 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.525
AT ITER 6909 NEW BEST:: SOT 19550 SOS 3522 HAS SOPS 3522 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.522
AT ITER 6938 NEW BEST:: SOT 19548 SOS 3518 HAS SOPS 3518 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.518
AT ITER 7008 NEW BEST:: SOT 19547 SOS 3516 HAS SOPS 3516 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.516
AT ITER 7063 NEW BEST:: SOT 19545 SOS 3512 HAS SOPS 3512 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.512
AT ITER 7182 NEW BEST:: SOT 19545 SOS 3490 HAS SOPS 3490 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.49
AT ITER 7274 NEW BEST:: SOT 19545 SOS 3490 HAS SOPS 3490 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.49
AT ITER 7356 NEW BEST:: SOT 19540 SOS 3491 HAS SOPS 3491 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.491
AT ITER 7381 NEW BEST:: SOT 19539 SOS 3485 HAS SOPS 3485 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.485
AT ITER 7399 NEW BEST:: SOT 19539 SOS 3478 HAS SOPS 3478 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.478
AT ITER 7446 NEW BEST:: SOT 19536 SOS 3472 HAS SOPS 3472 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.472
AT ITER 7493 NEW BEST:: SOT 19534 SOS 3494 HAS SOPS 3494 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.494
AT ITER 7553 NEW BEST:: SOT 19532 SOS 3478 HAS SOPS 3478 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.478
AT ITER 7566 NEW BEST:: SOT 19533 SOS 3480 HAS SOPS 3480 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.48
AT ITER 7638 NEW BEST:: SOT 19532 SOS 3478 HAS SOPS 3478 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.478
AT ITER 7700 NEW BEST:: SOT 19529 SOS 3472 HAS SOPS 3472 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.472
AT ITER 7739 NEW BEST:: SOT 19529 SOS 3472 HAS SOPS 3472 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.472
AT ITER 7769 NEW BEST:: SOT 19530 SOS 3462 HAS SOPS 3462 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.462
AT ITER 7823 NEW BEST:: SOT 19530 SOS 3462 HAS SOPS 3462 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.462
AT ITER 7969 NEW BEST:: SOT 19531 SOS 3459 HAS SOPS 3459 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.459
AT ITER 8107 NEW BEST:: SOT 19536 SOS 3453 HAS SOPS 3453 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.453
AT ITER 8210 NEW BEST:: SOT 19536 SOS 3452 HAS SOPS 3452 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.452
AT ITER 8277 NEW BEST:: SOT 19535 SOS 3450 HAS SOPS 3450 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.45
AT ITER 8310 NEW BEST:: SOT 19535 SOS 3447 HAS SOPS 3447 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.447
AT ITER 8383 NEW BEST:: SOT 19535 SOS 3440 HAS SOPS 3440 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.44
AT ITER 8460 NEW BEST:: SOT 19534 SOS 3438 HAS SOPS 3438 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.438
AT ITER 8561 NEW BEST:: SOT 19527 SOS 3424 HAS SOPS 3424 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.424
AT ITER 8600 NEW BEST:: SOT 19526 SOS 3422 HAS SOPS 3422 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.422
AT ITER 8603 NEW BEST:: SOT 19523 SOS 3421 HAS SOPS 3421 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.421
AT ITER 8663 NEW BEST:: SOT 19521 SOS 3417 HAS SOPS 3417 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.417
AT ITER 8716 NEW BEST:: SOT 19521 SOS 3380 HAS SOPS 3380 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.38
AT ITER 8764 NEW BEST:: SOT 19520 SOS 3378 HAS SOPS 3378 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.378
AT ITER 8771 NEW BEST:: SOT 19519 SOS 3372 HAS SOPS 3372 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.372
AT ITER 8776 NEW BEST:: SOT 19519 SOS 3364 HAS SOPS 3364 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.364
AT ITER 8876 NEW BEST:: SOT 19518 SOS 3362 HAS SOPS 3362 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.362
AT ITER 8980 NEW BEST:: SOT 19499 SOS 3349 HAS SOPS 3349 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 2997.349
AT ITER 8989 NEW BEST:: SOT 19496 SOS 3347 HAS SOPS 3347 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.347
AT ITER 9226 NEW BEST:: SOT 19495 SOS 3345 HAS SOPS 3345 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.345
AT ITER 9574 NEW BEST:: SOT 19495 SOS 3343 HAS SOPS 3343 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.343
AT ITER 9908 NEW BEST:: SOT 19495 SOS 3343 HAS SOPS 3343 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.343
AT ITER 9948 NEW BEST:: SOT 19495 SOS 3342 HAS SOPS 3342 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.342
AT ITER 9993 NEW BEST:: SOT 19493 SOS 3340 HAS SOPS 3340 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.34
STATE_SPACE STATES 914000417611 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 8680224056432 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678436693664

--------------------
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="GPUForwardProgress-PT-08b"
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 GPUForwardProgress-PT-08b, 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 r195-smll-167840341800032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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