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.r207-tajo-159033469500467.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 ShieldPPPs-PT-005B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500467
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.5K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 86K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590442927123

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005B
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 343 places, 318 transitions, 876 arcs.
AT ITER 0 NEW BEST:: SOT 60713 SOS 16292 HAS SOPS 16292 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.292
AT ITER 40 NEW BEST:: SOT 60711 SOS 16290 HAS SOPS 16290 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.29
AT ITER 45 NEW BEST:: SOT 60690 SOS 16269 HAS SOPS 16269 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14657.269
AT ITER 47 NEW BEST:: SOT 60707 SOS 16068 HAS SOPS 16068 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.068
AT ITER 56 NEW BEST:: SOT 60688 SOS 16030 HAS SOPS 16030 HAS SOUS 14586 HAS SOUPS 14586 WITH SCORE 14602.03
AT ITER 70 NEW BEST:: SOT 60688 SOS 15992 HAS SOPS 15992 HAS SOUS 14548 HAS SOUPS 14548 WITH SCORE 14563.992
AT ITER 76 NEW BEST:: SOT 60674 SOS 15964 HAS SOPS 15964 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14535.964
AT ITER 101 NEW BEST:: SOT 60656 SOS 15953 HAS SOPS 15953 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14524.953
AT ITER 102 NEW BEST:: SOT 60623 SOS 15945 HAS SOPS 15945 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14516.945
AT ITER 131 NEW BEST:: SOT 60545 SOS 15903 HAS SOPS 15903 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14512.903
AT ITER 142 NEW BEST:: SOT 60517 SOS 15889 HAS SOPS 15889 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14498.889
AT ITER 157 NEW BEST:: SOT 60476 SOS 15851 HAS SOPS 15851 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14459.851
AT ITER 173 NEW BEST:: SOT 60471 SOS 15843 HAS SOPS 15843 HAS SOUS 14437 HAS SOUPS 14437 WITH SCORE 14452.843
AT ITER 183 NEW BEST:: SOT 60471 SOS 15817 HAS SOPS 15817 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14426.817
AT ITER 202 NEW BEST:: SOT 60474 SOS 15814 HAS SOPS 15814 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14423.814
AT ITER 206 NEW BEST:: SOT 60472 SOS 15812 HAS SOPS 15812 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14423.812
AT ITER 237 NEW BEST:: SOT 60443 SOS 15846 HAS SOPS 15846 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14398.846
AT ITER 251 NEW BEST:: SOT 60407 SOS 15810 HAS SOPS 15810 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14350.81
AT ITER 265 NEW BEST:: SOT 60435 SOS 15808 HAS SOPS 15808 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14348.808
AT ITER 274 NEW BEST:: SOT 60435 SOS 15804 HAS SOPS 15804 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14344.804
AT ITER 282 NEW BEST:: SOT 60434 SOS 15785 HAS SOPS 15785 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14325.785
AT ITER 286 NEW BEST:: SOT 60424 SOS 15750 HAS SOPS 15750 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14263.75
AT ITER 324 NEW BEST:: SOT 60427 SOS 15746 HAS SOPS 15746 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14259.746
AT ITER 325 NEW BEST:: SOT 60427 SOS 15733 HAS SOPS 15733 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14259.733
AT ITER 333 NEW BEST:: SOT 60432 SOS 15731 HAS SOPS 15731 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14257.731
AT ITER 366 NEW BEST:: SOT 60429 SOS 15727 HAS SOPS 15727 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14253.727
AT ITER 369 NEW BEST:: SOT 60429 SOS 15704 HAS SOPS 15704 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14230.704
AT ITER 392 NEW BEST:: SOT 60429 SOS 15703 HAS SOPS 15703 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14229.703
AT ITER 403 NEW BEST:: SOT 60440 SOS 15714 HAS SOPS 15714 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14227.714
AT ITER 458 NEW BEST:: SOT 60431 SOS 15696 HAS SOPS 15696 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14218.696
AT ITER 492 NEW BEST:: SOT 60421 SOS 15686 HAS SOPS 15686 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14208.686
AT ITER 501 NEW BEST:: SOT 60408 SOS 15609 HAS SOPS 15609 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14195.609
AT ITER 564 NEW BEST:: SOT 60370 SOS 15572 HAS SOPS 15572 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14180.572
AT ITER 580 NEW BEST:: SOT 60370 SOS 15560 HAS SOPS 15560 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14168.56
AT ITER 595 NEW BEST:: SOT 60370 SOS 15559 HAS SOPS 15559 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14167.559
AT ITER 596 NEW BEST:: SOT 60360 SOS 15535 HAS SOPS 15535 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14157.535
AT ITER 607 NEW BEST:: SOT 60366 SOS 15523 HAS SOPS 15523 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14151.523
AT ITER 668 NEW BEST:: SOT 60361 SOS 15523 HAS SOPS 15523 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14146.523
AT ITER 683 NEW BEST:: SOT 60361 SOS 15521 HAS SOPS 15521 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14144.521
AT ITER 687 NEW BEST:: SOT 60361 SOS 15518 HAS SOPS 15518 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14141.518
AT ITER 700 NEW BEST:: SOT 60340 SOS 15260 HAS SOPS 15260 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14033.26
AT ITER 705 NEW BEST:: SOT 60329 SOS 15254 HAS SOPS 15254 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14027.254
AT ITER 709 NEW BEST:: SOT 60313 SOS 15238 HAS SOPS 15238 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 13995.238
AT ITER 757 NEW BEST:: SOT 60293 SOS 15231 HAS SOPS 15231 HAS SOUS 13960 HAS SOUPS 13960 WITH SCORE 13975.231
AT ITER 766 NEW BEST:: SOT 60270 SOS 15056 HAS SOPS 15056 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13918.056
AT ITER 771 NEW BEST:: SOT 60293 SOS 15091 HAS SOPS 15091 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13912.091
AT ITER 777 NEW BEST:: SOT 60282 SOS 15081 HAS SOPS 15081 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13901.081
AT ITER 795 NEW BEST:: SOT 60271 SOS 15027 HAS SOPS 15027 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13885.027
AT ITER 797 NEW BEST:: SOT 60264 SOS 14994 HAS SOPS 14994 HAS SOUS 13856 HAS SOUPS 13856 WITH SCORE 13870.994
AT ITER 807 NEW BEST:: SOT 60223 SOS 14979 HAS SOPS 14979 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13855.979
AT ITER 828 NEW BEST:: SOT 60221 SOS 14937 HAS SOPS 14937 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13847.937
AT ITER 852 NEW BEST:: SOT 60210 SOS 14898 HAS SOPS 14898 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13836.898
AT ITER 856 NEW BEST:: SOT 60203 SOS 14884 HAS SOPS 14884 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13815.884
AT ITER 907 NEW BEST:: SOT 60153 SOS 14909 HAS SOPS 14909 HAS SOUS 13800 HAS SOUPS 13800 WITH SCORE 13814.909
AT ITER 935 NEW BEST:: SOT 60146 SOS 14902 HAS SOPS 14902 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13807.902
AT ITER 987 NEW BEST:: SOT 60146 SOS 14901 HAS SOPS 14901 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13806.901
AT ITER 989 NEW BEST:: SOT 60174 SOS 14940 HAS SOPS 14940 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13799.94
AT ITER 1004 NEW BEST:: SOT 60173 SOS 14939 HAS SOPS 14939 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13798.939
AT ITER 1012 NEW BEST:: SOT 60167 SOS 14927 HAS SOPS 14927 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13773.927
AT ITER 1016 NEW BEST:: SOT 60167 SOS 14939 HAS SOPS 14939 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13742.939
AT ITER 1020 NEW BEST:: SOT 60167 SOS 14928 HAS SOPS 14928 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13731.928
AT ITER 1068 NEW BEST:: SOT 60167 SOS 14922 HAS SOPS 14922 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13731.922
AT ITER 1075 NEW BEST:: SOT 60150 SOS 14889 HAS SOPS 14889 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13698.889
AT ITER 1123 NEW BEST:: SOT 60144 SOS 14877 HAS SOPS 14877 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13686.877
AT ITER 1142 NEW BEST:: SOT 60124 SOS 14876 HAS SOPS 14876 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13681.876
AT ITER 1149 NEW BEST:: SOT 60123 SOS 14872 HAS SOPS 14872 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13677.872
AT ITER 1163 NEW BEST:: SOT 60122 SOS 14871 HAS SOPS 14871 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13676.871
AT ITER 1176 NEW BEST:: SOT 60153 SOS 14886 HAS SOPS 14886 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13668.886
AT ITER 1189 NEW BEST:: SOT 60133 SOS 14848 HAS SOPS 14848 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13662.848
AT ITER 1203 NEW BEST:: SOT 60083 SOS 14863 HAS SOPS 14863 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13650.863
AT ITER 1237 NEW BEST:: SOT 60082 SOS 14857 HAS SOPS 14857 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13644.857
AT ITER 1241 NEW BEST:: SOT 60076 SOS 14849 HAS SOPS 14849 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13642.849
AT ITER 1273 NEW BEST:: SOT 60040 SOS 14788 HAS SOPS 14788 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13581.788
AT ITER 1280 NEW BEST:: SOT 59994 SOS 14739 HAS SOPS 14739 HAS SOUS 13518 HAS SOUPS 13518 WITH SCORE 13532.739
AT ITER 1286 NEW BEST:: SOT 59989 SOS 14734 HAS SOPS 14734 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13527.734
AT ITER 1315 NEW BEST:: SOT 59970 SOS 14747 HAS SOPS 14747 HAS SOUS 13494 HAS SOUPS 13494 WITH SCORE 13508.747
AT ITER 1322 NEW BEST:: SOT 59974 SOS 14694 HAS SOPS 14694 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13505.694
AT ITER 1323 NEW BEST:: SOT 59974 SOS 14682 HAS SOPS 14682 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13493.682
AT ITER 1404 NEW BEST:: SOT 59963 SOS 14661 HAS SOPS 14661 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13482.661
AT ITER 1440 NEW BEST:: SOT 59978 SOS 14648 HAS SOPS 14648 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13469.648
AT ITER 1484 NEW BEST:: SOT 60014 SOS 14649 HAS SOPS 14649 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.649
AT ITER 1496 NEW BEST:: SOT 60011 SOS 14643 HAS SOPS 14643 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13447.643
AT ITER 1503 NEW BEST:: SOT 59977 SOS 14592 HAS SOPS 14592 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.592
AT ITER 1509 NEW BEST:: SOT 59977 SOS 14583 HAS SOPS 14583 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.583
AT ITER 1528 NEW BEST:: SOT 59980 SOS 14576 HAS SOPS 14576 HAS SOUS 13392 HAS SOUPS 13392 WITH SCORE 13406.576
AT ITER 1531 NEW BEST:: SOT 59980 SOS 14575 HAS SOPS 14575 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13405.575
AT ITER 1551 NEW BEST:: SOT 59926 SOS 14544 HAS SOPS 14544 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13374.544
AT ITER 1568 NEW BEST:: SOT 59922 SOS 14526 HAS SOPS 14526 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13368.526
AT ITER 1579 NEW BEST:: SOT 59922 SOS 14472 HAS SOPS 14472 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13362.472
AT ITER 1582 NEW BEST:: SOT 59916 SOS 14466 HAS SOPS 14466 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13359.466
AT ITER 1597 NEW BEST:: SOT 59916 SOS 14457 HAS SOPS 14457 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13350.457
AT ITER 1608 NEW BEST:: SOT 59919 SOS 14452 HAS SOPS 14452 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13345.452
AT ITER 1620 NEW BEST:: SOT 59919 SOS 14443 HAS SOPS 14443 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13336.443
AT ITER 1649 NEW BEST:: SOT 59919 SOS 14442 HAS SOPS 14442 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13336.442
AT ITER 1693 NEW BEST:: SOT 59874 SOS 14428 HAS SOPS 14428 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13322.428
AT ITER 1694 NEW BEST:: SOT 59867 SOS 14417 HAS SOPS 14417 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13311.417
AT ITER 1708 NEW BEST:: SOT 59866 SOS 14416 HAS SOPS 14416 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13310.416
AT ITER 1723 NEW BEST:: SOT 59859 SOS 14411 HAS SOPS 14411 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13305.411
AT ITER 1731 NEW BEST:: SOT 59859 SOS 14407 HAS SOPS 14407 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13305.407
AT ITER 1740 NEW BEST:: SOT 59849 SOS 14374 HAS SOPS 14374 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.374
AT ITER 1743 NEW BEST:: SOT 59849 SOS 14360 HAS SOPS 14360 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13268.36
AT ITER 1776 NEW BEST:: SOT 59828 SOS 14339 HAS SOPS 14339 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13247.339
AT ITER 1795 NEW BEST:: SOT 59861 SOS 14342 HAS SOPS 14342 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13206.342
AT ITER 1810 NEW BEST:: SOT 59849 SOS 14326 HAS SOPS 14326 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13198.326
AT ITER 1818 NEW BEST:: SOT 59777 SOS 14335 HAS SOPS 14335 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13184.335
AT ITER 1855 NEW BEST:: SOT 59780 SOS 14333 HAS SOPS 14333 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13182.333
AT ITER 1856 NEW BEST:: SOT 59708 SOS 14332 HAS SOPS 14332 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13181.332
AT ITER 1857 NEW BEST:: SOT 59701 SOS 14323 HAS SOPS 14323 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13172.323
AT ITER 1864 NEW BEST:: SOT 59689 SOS 14311 HAS SOPS 14311 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13172.311
AT ITER 1880 NEW BEST:: SOT 59664 SOS 14267 HAS SOPS 14267 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13128.267
AT ITER 1900 NEW BEST:: SOT 59675 SOS 14312 HAS SOPS 14312 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13126.312
AT ITER 1906 NEW BEST:: SOT 59670 SOS 14286 HAS SOPS 14286 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.286
AT ITER 1957 NEW BEST:: SOT 59670 SOS 14275 HAS SOPS 14275 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.275
AT ITER 1990 NEW BEST:: SOT 59676 SOS 14273 HAS SOPS 14273 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.273
AT ITER 2004 NEW BEST:: SOT 59663 SOS 14247 HAS SOPS 14247 HAS SOUS 13038 HAS SOUPS 13038 WITH SCORE 13052.247
AT ITER 2013 NEW BEST:: SOT 59661 SOS 14233 HAS SOPS 14233 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13038.233
AT ITER 2097 NEW BEST:: SOT 59670 SOS 14226 HAS SOPS 14226 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.226
AT ITER 2102 NEW BEST:: SOT 59651 SOS 14190 HAS SOPS 14190 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 12990.19
AT ITER 2106 NEW BEST:: SOT 59717 SOS 14253 HAS SOPS 14253 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12987.253
AT ITER 2107 NEW BEST:: SOT 59729 SOS 14230 HAS SOPS 14230 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12981.23
AT ITER 2115 NEW BEST:: SOT 59709 SOS 14220 HAS SOPS 14220 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12971.22
AT ITER 2118 NEW BEST:: SOT 59709 SOS 14218 HAS SOPS 14218 HAS SOUS 12955 HAS SOUPS 12955 WITH SCORE 12969.218
AT ITER 2191 NEW BEST:: SOT 59679 SOS 14104 HAS SOPS 14104 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12909.104
AT ITER 2214 NEW BEST:: SOT 59679 SOS 14103 HAS SOPS 14103 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12908.103
AT ITER 2222 NEW BEST:: SOT 59679 SOS 14097 HAS SOPS 14097 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12897.097
AT ITER 2232 NEW BEST:: SOT 59664 SOS 14080 HAS SOPS 14080 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12873.08
AT ITER 2273 NEW BEST:: SOT 59654 SOS 14076 HAS SOPS 14076 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12869.076
AT ITER 2312 NEW BEST:: SOT 59650 SOS 14006 HAS SOPS 14006 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12801.006
AT ITER 2319 NEW BEST:: SOT 59643 SOS 13994 HAS SOPS 13994 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12788.994
AT ITER 2323 NEW BEST:: SOT 59643 SOS 13992 HAS SOPS 13992 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12788.992
AT ITER 2348 NEW BEST:: SOT 59615 SOS 13939 HAS SOPS 13939 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12735.939
AT ITER 2402 NEW BEST:: SOT 59614 SOS 13917 HAS SOPS 13917 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12733.917
AT ITER 2415 NEW BEST:: SOT 59601 SOS 13923 HAS SOPS 13923 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12720.923
AT ITER 2419 NEW BEST:: SOT 59598 SOS 13909 HAS SOPS 13909 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12717.909
AT ITER 2432 NEW BEST:: SOT 59590 SOS 13913 HAS SOPS 13913 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12708.913
AT ITER 2453 NEW BEST:: SOT 59587 SOS 13910 HAS SOPS 13910 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12708.91
AT ITER 2454 NEW BEST:: SOT 59581 SOS 13904 HAS SOPS 13904 HAS SOUS 12689 HAS SOUPS 12689 WITH SCORE 12702.904
AT ITER 2472 NEW BEST:: SOT 59568 SOS 13895 HAS SOPS 13895 HAS SOUS 12680 HAS SOUPS 12680 WITH SCORE 12693.895
AT ITER 2486 NEW BEST:: SOT 59563 SOS 13885 HAS SOPS 13885 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12683.885
AT ITER 2496 NEW BEST:: SOT 59657 SOS 13793 HAS SOPS 13793 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12666.793
AT ITER 2498 NEW BEST:: SOT 59643 SOS 13864 HAS SOPS 13864 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12641.864
AT ITER 2523 NEW BEST:: SOT 59599 SOS 13874 HAS SOPS 13874 HAS SOUS 12589 HAS SOUPS 12589 WITH SCORE 12602.874
AT ITER 2590 NEW BEST:: SOT 59523 SOS 13798 HAS SOPS 13798 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12586.798
AT ITER 2613 NEW BEST:: SOT 59525 SOS 13794 HAS SOPS 13794 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12582.794
AT ITER 2625 NEW BEST:: SOT 59535 SOS 13798 HAS SOPS 13798 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12574.798
AT ITER 2652 NEW BEST:: SOT 59548 SOS 13769 HAS SOPS 13769 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12570.769
AT ITER 2668 NEW BEST:: SOT 59548 SOS 13768 HAS SOPS 13768 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12569.768
AT ITER 2692 NEW BEST:: SOT 59562 SOS 13760 HAS SOPS 13760 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12525.76
AT ITER 2784 NEW BEST:: SOT 59561 SOS 13759 HAS SOPS 13759 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12524.759
AT ITER 2815 NEW BEST:: SOT 59573 SOS 13759 HAS SOPS 13759 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12512.759
AT ITER 2870 NEW BEST:: SOT 59599 SOS 13800 HAS SOPS 13800 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12506.8
AT ITER 2876 NEW BEST:: SOT 59593 SOS 13789 HAS SOPS 13789 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12495.789
AT ITER 2900 NEW BEST:: SOT 59587 SOS 13774 HAS SOPS 13774 HAS SOUS 12467 HAS SOUPS 12467 WITH SCORE 12480.774
AT ITER 2907 NEW BEST:: SOT 59587 SOS 13772 HAS SOPS 13772 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12478.772
AT ITER 2935 NEW BEST:: SOT 59574 SOS 13724 HAS SOPS 13724 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12432.724
AT ITER 2944 NEW BEST:: SOT 59581 SOS 13686 HAS SOPS 13686 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12408.686
AT ITER 2974 NEW BEST:: SOT 59588 SOS 13592 HAS SOPS 13592 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12372.592
AT ITER 2975 NEW BEST:: SOT 59588 SOS 13590 HAS SOPS 13590 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12370.59
AT ITER 3015 NEW BEST:: SOT 59588 SOS 13557 HAS SOPS 13557 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12370.557
AT ITER 3025 NEW BEST:: SOT 59580 SOS 13542 HAS SOPS 13542 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12355.542
AT ITER 3027 NEW BEST:: SOT 59578 SOS 13540 HAS SOPS 13540 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12351.54
AT ITER 3070 NEW BEST:: SOT 59535 SOS 13528 HAS SOPS 13528 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12322.528
AT ITER 3090 NEW BEST:: SOT 59537 SOS 13525 HAS SOPS 13525 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12319.525
AT ITER 3098 NEW BEST:: SOT 59534 SOS 13519 HAS SOPS 13519 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12306.519
AT ITER 3125 NEW BEST:: SOT 59531 SOS 13509 HAS SOPS 13509 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12296.509
AT ITER 3129 NEW BEST:: SOT 59530 SOS 13505 HAS SOPS 13505 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12292.505
AT ITER 3132 NEW BEST:: SOT 59502 SOS 13578 HAS SOPS 13578 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.578
AT ITER 3238 NEW BEST:: SOT 59486 SOS 13534 HAS SOPS 13534 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12236.534
AT ITER 3243 NEW BEST:: SOT 59483 SOS 13532 HAS SOPS 13532 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12235.532
AT ITER 3257 NEW BEST:: SOT 59476 SOS 13531 HAS SOPS 13531 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12233.531
AT ITER 3266 NEW BEST:: SOT 59456 SOS 13511 HAS SOPS 13511 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12193.511
AT ITER 3292 NEW BEST:: SOT 59456 SOS 13489 HAS SOPS 13489 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12182.489
AT ITER 3300 NEW BEST:: SOT 59430 SOS 13503 HAS SOPS 13503 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12164.503
AT ITER 3303 NEW BEST:: SOT 59428 SOS 13501 HAS SOPS 13501 HAS SOUS 12149 HAS SOUPS 12149 WITH SCORE 12162.501
AT ITER 3332 NEW BEST:: SOT 59422 SOS 13489 HAS SOPS 13489 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12150.489
AT ITER 3375 NEW BEST:: SOT 59422 SOS 13466 HAS SOPS 13466 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12130.466
AT ITER 3376 NEW BEST:: SOT 59426 SOS 13483 HAS SOPS 13483 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12127.483
AT ITER 3411 NEW BEST:: SOT 59419 SOS 13481 HAS SOPS 13481 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12124.481
AT ITER 3416 NEW BEST:: SOT 59412 SOS 13476 HAS SOPS 13476 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12119.476
AT ITER 3424 NEW BEST:: SOT 59412 SOS 13474 HAS SOPS 13474 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12112.474
AT ITER 3428 NEW BEST:: SOT 59378 SOS 13464 HAS SOPS 13464 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12102.464
AT ITER 3449 NEW BEST:: SOT 59356 SOS 13358 HAS SOPS 13358 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12049.358
AT ITER 3472 NEW BEST:: SOT 59347 SOS 13349 HAS SOPS 13349 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.349
AT ITER 3484 NEW BEST:: SOT 59345 SOS 13422 HAS SOPS 13422 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.422
AT ITER 3487 NEW BEST:: SOT 59340 SOS 13415 HAS SOPS 13415 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12031.415
AT ITER 3521 NEW BEST:: SOT 59340 SOS 13407 HAS SOPS 13407 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12023.407
AT ITER 3533 NEW BEST:: SOT 59355 SOS 13338 HAS SOPS 13338 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12017.338
AT ITER 3555 NEW BEST:: SOT 59212 SOS 13313 HAS SOPS 13313 HAS SOUS 11959 HAS SOUPS 11959 WITH SCORE 11972.313
AT ITER 3577 NEW BEST:: SOT 59214 SOS 13316 HAS SOPS 13316 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 11964.316
AT ITER 3591 NEW BEST:: SOT 59214 SOS 13311 HAS SOPS 13311 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 11964.311
AT ITER 3613 NEW BEST:: SOT 59250 SOS 13188 HAS SOPS 13188 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11951.188
AT ITER 3620 NEW BEST:: SOT 59263 SOS 13196 HAS SOPS 13196 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11928.196
AT ITER 3643 NEW BEST:: SOT 59257 SOS 13177 HAS SOPS 13177 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11909.177
AT ITER 3650 NEW BEST:: SOT 59256 SOS 13100 HAS SOPS 13100 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11869.1
AT ITER 3675 NEW BEST:: SOT 59256 SOS 13085 HAS SOPS 13085 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11855.085
AT ITER 3715 NEW BEST:: SOT 59234 SOS 13063 HAS SOPS 13063 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11852.063
AT ITER 3735 NEW BEST:: SOT 59231 SOS 13051 HAS SOPS 13051 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11840.051
AT ITER 3779 NEW BEST:: SOT 59247 SOS 13044 HAS SOPS 13044 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11817.044
AT ITER 3794 NEW BEST:: SOT 59220 SOS 12982 HAS SOPS 12982 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11761.982
AT ITER 3835 NEW BEST:: SOT 59220 SOS 12977 HAS SOPS 12977 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11756.977
AT ITER 3836 NEW BEST:: SOT 59220 SOS 12951 HAS SOPS 12951 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11742.951
AT ITER 3864 NEW BEST:: SOT 59216 SOS 12947 HAS SOPS 12947 HAS SOUS 11726 HAS SOUPS 11726 WITH SCORE 11738.947
AT ITER 3869 NEW BEST:: SOT 59225 SOS 12945 HAS SOPS 12945 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11737.945
AT ITER 3922 NEW BEST:: SOT 59220 SOS 12925 HAS SOPS 12925 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11722.925
AT ITER 3939 NEW BEST:: SOT 59221 SOS 12922 HAS SOPS 12922 HAS SOUS 11707 HAS SOUPS 11707 WITH SCORE 11719.922
AT ITER 3949 NEW BEST:: SOT 59206 SOS 12924 HAS SOPS 12924 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11704.924
AT ITER 3960 NEW BEST:: SOT 59206 SOS 12855 HAS SOPS 12855 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11680.855
AT ITER 3984 NEW BEST:: SOT 59200 SOS 12813 HAS SOPS 12813 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11638.813
AT ITER 4039 NEW BEST:: SOT 59201 SOS 12815 HAS SOPS 12815 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11636.815
AT ITER 4040 NEW BEST:: SOT 59201 SOS 12806 HAS SOPS 12806 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11627.806
AT ITER 4046 NEW BEST:: SOT 59201 SOS 12802 HAS SOPS 12802 HAS SOUS 11611 HAS SOUPS 11611 WITH SCORE 11623.802
AT ITER 4047 NEW BEST:: SOT 59200 SOS 12801 HAS SOPS 12801 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.801
AT ITER 4050 NEW BEST:: SOT 59194 SOS 12792 HAS SOPS 12792 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11613.792
AT ITER 4055 NEW BEST:: SOT 59175 SOS 12776 HAS SOPS 12776 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11597.776
AT ITER 4092 NEW BEST:: SOT 59154 SOS 12755 HAS SOPS 12755 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11576.755
AT ITER 4123 NEW BEST:: SOT 59163 SOS 12750 HAS SOPS 12750 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11571.75
AT ITER 4211 NEW BEST:: SOT 59179 SOS 12712 HAS SOPS 12712 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11571.712
AT ITER 4232 NEW BEST:: SOT 59179 SOS 12712 HAS SOPS 12712 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11566.712
AT ITER 4235 NEW BEST:: SOT 59176 SOS 12704 HAS SOPS 12704 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11562.704
AT ITER 4303 NEW BEST:: SOT 59173 SOS 12676 HAS SOPS 12676 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11547.676
AT ITER 4304 NEW BEST:: SOT 59166 SOS 12639 HAS SOPS 12639 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11538.639
AT ITER 4321 NEW BEST:: SOT 59205 SOS 12698 HAS SOPS 12698 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11529.698
AT ITER 4367 NEW BEST:: SOT 59185 SOS 12658 HAS SOPS 12658 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11479.658
AT ITER 4373 NEW BEST:: SOT 59179 SOS 12636 HAS SOPS 12636 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11478.636
AT ITER 4374 NEW BEST:: SOT 59179 SOS 12633 HAS SOPS 12633 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11477.633
AT ITER 4386 NEW BEST:: SOT 59177 SOS 12631 HAS SOPS 12631 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11475.631
AT ITER 4405 NEW BEST:: SOT 59177 SOS 12627 HAS SOPS 12627 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11471.627
AT ITER 4436 NEW BEST:: SOT 59177 SOS 12650 HAS SOPS 12650 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11466.65
AT ITER 4451 NEW BEST:: SOT 59157 SOS 12616 HAS SOPS 12616 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11464.616
AT ITER 4508 NEW BEST:: SOT 59160 SOS 12562 HAS SOPS 12562 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11427.562
AT ITER 4519 NEW BEST:: SOT 59160 SOS 12568 HAS SOPS 12568 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11426.568
AT ITER 4533 NEW BEST:: SOT 59180 SOS 12566 HAS SOPS 12566 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11424.566
AT ITER 4552 NEW BEST:: SOT 59212 SOS 12552 HAS SOPS 12552 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.552
AT ITER 4582 NEW BEST:: SOT 59212 SOS 12546 HAS SOPS 12546 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11408.546
AT ITER 4588 NEW BEST:: SOT 59197 SOS 12544 HAS SOPS 12544 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11380.544
AT ITER 4589 NEW BEST:: SOT 59187 SOS 12527 HAS SOPS 12527 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11363.527
AT ITER 4595 NEW BEST:: SOT 59190 SOS 12513 HAS SOPS 12513 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11363.513
AT ITER 4597 NEW BEST:: SOT 59190 SOS 12509 HAS SOPS 12509 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11359.509
AT ITER 4611 NEW BEST:: SOT 59207 SOS 12450 HAS SOPS 12450 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11356.45
AT ITER 4634 NEW BEST:: SOT 59204 SOS 12415 HAS SOPS 12415 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11355.415
AT ITER 4637 NEW BEST:: SOT 59204 SOS 12413 HAS SOPS 12413 HAS SOUS 11335 HAS SOUPS 11335 WITH SCORE 11347.413
AT ITER 4639 NEW BEST:: SOT 59201 SOS 12399 HAS SOPS 12399 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11344.399
AT ITER 4668 NEW BEST:: SOT 59198 SOS 12396 HAS SOPS 12396 HAS SOUS 11329 HAS SOUPS 11329 WITH SCORE 11341.396
AT ITER 4681 NEW BEST:: SOT 59198 SOS 12401 HAS SOPS 12401 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.401
AT ITER 4686 NEW BEST:: SOT 59191 SOS 12382 HAS SOPS 12382 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.382
AT ITER 4962 NEW BEST:: SOT 59159 SOS 12336 HAS SOPS 12336 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11285.336
AT ITER 4963 NEW BEST:: SOT 59144 SOS 12321 HAS SOPS 12321 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11267.321
AT ITER 4974 NEW BEST:: SOT 59138 SOS 12261 HAS SOPS 12261 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11261.261
AT ITER 4979 NEW BEST:: SOT 59139 SOS 12234 HAS SOPS 12234 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11249.234
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-00 (! (! (EF(( potential( ( 1 ) <= (tk(P119)) ) & potential( (tk(P286)) <= (tk(P137)) ) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-01 (AG( (EX( ( potential( (tk(P254)) <= (tk(P262)) ) | potential( ( 3 ) <= (tk(P147)) ) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-02 (EU( (AX( potential( (tk(P261)) <= (tk(P99)) ))),( (! potential( (tk(P191)) <= (tk(P13)) )) & ( potential( (tk(P276)) <= (tk(P59)) ) & potential( ( 3 ) <= (tk(P8)) ) ) ) ))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-03 ( ( (! ( (! potential( (tk(P58)) <= (tk(P189)) )) & ( potential( (tk(P122)) <= (tk(P48)) ) | potential( ( 3 ) <= (tk(P17)) ) ) )) & ( (! potential( ( 3 ) <= (tk(P291)) )) & (EG( potential( (tk(P154)) <= (tk(P324)) ))) ) ) & potential( (tk(P242)) <= (tk(P7)) ) )
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-04 ( (EX( (AG( potential( ( 2 ) <= (tk(P85)) ))))) | ( (EG( potential( ( 3 ) <= (tk(P286)) ))) | (EF(( potential( ( 3 ) <= (tk(P196)) ) & potential( (tk(P199)) <= (tk(P113)) ) ))) ) )
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-05 (AG( (AU( potential( (tk(P85)) <= (tk(P48)) ),potential( ( 3 ) <= (tk(P221)) ) ))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-06 (EU( (AG( potential( (tk(P70)) <= (tk(P54)) ))),( ( potential( (tk(P281)) <= (tk(P258)) ) & potential( (tk(P25)) <= (tk(P94)) ) ) & ( potential( ( 1 ) <= (tk(P144)) ) & potential( (tk(P212)) <= (tk(P19)) ) ) ) ))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-07 (EG( (AF(potential( (tk(P88)) <= (tk(P98)) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-08 ( (EU( potential( (tk(P40)) <= (tk(P95)) ),potential( ( 3 ) <= (tk(P292)) ) )) | potential( ( 1 ) <= (tk(P8)) ) )
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-09 (EG( (EF(potential( (tk(P94)) <= (tk(P34)) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-10 ( ( ( ( (! potential( (tk(P58)) <= (tk(P286)) )) & ( potential( (tk(P79)) <= (tk(P213)) ) | potential( ( 3 ) <= (tk(P141)) ) ) ) | (EG( potential( (tk(P32)) <= (tk(P292)) ))) ) | (! (EG( potential( (tk(P341)) <= (tk(P295)) )))) ) | (EX( (EF(potential( ( 2 ) <= (tk(P239)) ))))) )
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-11 (EF(( (AX( potential( ( 3 ) <= (tk(P162)) ))) | ( potential( (tk(P145)) <= (tk(P100)) ) & (! potential( (tk(P191)) <= (tk(P299)) )) ) )))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-12 (EF((! (! ( potential( ( 3 ) <= (tk(P223)) ) & potential( (tk(P187)) <= (tk(P15)) ) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-13 (EF((AX( ( potential( ( 1 ) <= (tk(P170)) ) & potential( ( 2 ) <= (tk(P337)) ) )))))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-14 (EF(( potential( ( 2 ) <= (tk(P203)) ) & potential( ( 2 ) <= (tk(P83)) ) )))
PROPERTY: ShieldPPPs-PT-005B-CTLCardinality-15 (AF(( ( (! potential( ( 2 ) <= (tk(P270)) )) & ( potential( ( 1 ) <= (tk(P84)) ) & potential( (tk(P39)) <= (tk(P2)) ) ) ) & potential( ( 3 ) <= (tk(P295)) ) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-005B"
export BK_EXAMINATION="CTLCardinality"
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 ShieldPPPs-PT-005B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469500467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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