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-159033469800664.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 ShieldPPPt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.6K May 14 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 19:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 19:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:51 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 185K May 12 20:42 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 1590447064054

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

Filename model.pnml
Petri model created: 783 places, 713 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 296304 SOS 49797 HAS SOPS 49797 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46428.797
AT ITER 54 NEW BEST:: SOT 296303 SOS 49769 HAS SOPS 49769 HAS SOUS 46351 HAS SOUPS 46351 WITH SCORE 46400.769
AT ITER 67 NEW BEST:: SOT 296255 SOS 49721 HAS SOPS 49721 HAS SOUS 46255 HAS SOUPS 46255 WITH SCORE 46304.721
AT ITER 74 NEW BEST:: SOT 296255 SOS 49675 HAS SOPS 49675 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46297.675
AT ITER 82 NEW BEST:: SOT 296255 SOS 49675 HAS SOPS 49675 HAS SOUS 46245 HAS SOUPS 46245 WITH SCORE 46294.675
AT ITER 162 NEW BEST:: SOT 296255 SOS 49672 HAS SOPS 49672 HAS SOUS 46211 HAS SOUPS 46211 WITH SCORE 46260.672
AT ITER 201 NEW BEST:: SOT 296255 SOS 49664 HAS SOPS 49664 HAS SOUS 46203 HAS SOUPS 46203 WITH SCORE 46252.664
AT ITER 244 NEW BEST:: SOT 296144 SOS 49553 HAS SOPS 49553 HAS SOUS 46092 HAS SOUPS 46092 WITH SCORE 46141.553
AT ITER 251 NEW BEST:: SOT 296182 SOS 49550 HAS SOPS 49550 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46138.55
AT ITER 304 NEW BEST:: SOT 296182 SOS 49535 HAS SOPS 49535 HAS SOUS 46074 HAS SOUPS 46074 WITH SCORE 46123.535
AT ITER 315 NEW BEST:: SOT 296182 SOS 49530 HAS SOPS 49530 HAS SOUS 46069 HAS SOUPS 46069 WITH SCORE 46118.53
AT ITER 346 NEW BEST:: SOT 296151 SOS 49500 HAS SOPS 49500 HAS SOUS 46037 HAS SOUPS 46037 WITH SCORE 46086.5
AT ITER 463 NEW BEST:: SOT 296119 SOS 49479 HAS SOPS 49479 HAS SOUS 46016 HAS SOUPS 46016 WITH SCORE 46065.479
AT ITER 473 NEW BEST:: SOT 296119 SOS 49456 HAS SOPS 49456 HAS SOUS 45993 HAS SOUPS 45993 WITH SCORE 46042.456
AT ITER 505 NEW BEST:: SOT 296066 SOS 49402 HAS SOPS 49402 HAS SOUS 45939 HAS SOUPS 45939 WITH SCORE 45988.402
AT ITER 519 NEW BEST:: SOT 296063 SOS 49390 HAS SOPS 49390 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45961.39
AT ITER 556 NEW BEST:: SOT 296043 SOS 49391 HAS SOPS 49391 HAS SOUS 45872 HAS SOUPS 45872 WITH SCORE 45921.391
AT ITER 575 NEW BEST:: SOT 296017 SOS 49313 HAS SOPS 49313 HAS SOUS 45794 HAS SOUPS 45794 WITH SCORE 45843.313
AT ITER 591 NEW BEST:: SOT 296014 SOS 49397 HAS SOPS 49397 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45836.397
AT ITER 607 NEW BEST:: SOT 296014 SOS 49379 HAS SOPS 49379 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45836.379
AT ITER 627 NEW BEST:: SOT 296093 SOS 49351 HAS SOPS 49351 HAS SOUS 45759 HAS SOUPS 45759 WITH SCORE 45808.351
AT ITER 660 NEW BEST:: SOT 296040 SOS 49339 HAS SOPS 49339 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45722.339
AT ITER 677 NEW BEST:: SOT 296007 SOS 49318 HAS SOPS 49318 HAS SOUS 45654 HAS SOUPS 45654 WITH SCORE 45703.318
AT ITER 695 NEW BEST:: SOT 295961 SOS 49180 HAS SOPS 49180 HAS SOUS 45562 HAS SOUPS 45562 WITH SCORE 45611.18
AT ITER 702 NEW BEST:: SOT 295914 SOS 49167 HAS SOPS 49167 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45592.167
AT ITER 715 NEW BEST:: SOT 295885 SOS 49138 HAS SOPS 49138 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45592.138
AT ITER 723 NEW BEST:: SOT 295864 SOS 49117 HAS SOPS 49117 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45571.117
AT ITER 761 NEW BEST:: SOT 295859 SOS 49102 HAS SOPS 49102 HAS SOUS 45507 HAS SOUPS 45507 WITH SCORE 45556.102
AT ITER 762 NEW BEST:: SOT 295837 SOS 49036 HAS SOPS 49036 HAS SOUS 45485 HAS SOUPS 45485 WITH SCORE 45534.036
AT ITER 779 NEW BEST:: SOT 295836 SOS 48977 HAS SOPS 48977 HAS SOUS 45483 HAS SOUPS 45483 WITH SCORE 45531.977
AT ITER 788 NEW BEST:: SOT 295841 SOS 48981 HAS SOPS 48981 HAS SOUS 45482 HAS SOUPS 45482 WITH SCORE 45530.981
AT ITER 790 NEW BEST:: SOT 295839 SOS 48977 HAS SOPS 48977 HAS SOUS 45477 HAS SOUPS 45477 WITH SCORE 45525.977
AT ITER 859 NEW BEST:: SOT 295785 SOS 48869 HAS SOPS 48869 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45417.869
AT ITER 880 NEW BEST:: SOT 295771 SOS 48833 HAS SOPS 48833 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45417.833
AT ITER 883 NEW BEST:: SOT 295760 SOS 48801 HAS SOPS 48801 HAS SOUS 45347 HAS SOUPS 45347 WITH SCORE 45395.801
AT ITER 885 NEW BEST:: SOT 295744 SOS 48804 HAS SOPS 48804 HAS SOUS 45309 HAS SOUPS 45309 WITH SCORE 45357.804
AT ITER 891 NEW BEST:: SOT 295736 SOS 48788 HAS SOPS 48788 HAS SOUS 45293 HAS SOUPS 45293 WITH SCORE 45341.788
AT ITER 902 NEW BEST:: SOT 295736 SOS 48777 HAS SOPS 48777 HAS SOUS 45282 HAS SOUPS 45282 WITH SCORE 45330.777
AT ITER 903 NEW BEST:: SOT 295736 SOS 48725 HAS SOPS 48725 HAS SOUS 45230 HAS SOUPS 45230 WITH SCORE 45278.725
AT ITER 914 NEW BEST:: SOT 295736 SOS 48718 HAS SOPS 48718 HAS SOUS 45223 HAS SOUPS 45223 WITH SCORE 45271.718
AT ITER 928 NEW BEST:: SOT 295648 SOS 48586 HAS SOPS 48586 HAS SOUS 45091 HAS SOUPS 45091 WITH SCORE 45139.586
AT ITER 933 NEW BEST:: SOT 295622 SOS 48573 HAS SOPS 48573 HAS SOUS 45072 HAS SOUPS 45072 WITH SCORE 45120.573
AT ITER 942 NEW BEST:: SOT 295622 SOS 48573 HAS SOPS 48573 HAS SOUS 45071 HAS SOUPS 45071 WITH SCORE 45119.573
AT ITER 946 NEW BEST:: SOT 295579 SOS 48572 HAS SOPS 48572 HAS SOUS 45070 HAS SOUPS 45070 WITH SCORE 45118.572
AT ITER 956 NEW BEST:: SOT 295579 SOS 48571 HAS SOPS 48571 HAS SOUS 45066 HAS SOUPS 45066 WITH SCORE 45114.571
AT ITER 976 NEW BEST:: SOT 295579 SOS 48549 HAS SOPS 48549 HAS SOUS 45044 HAS SOUPS 45044 WITH SCORE 45092.549
AT ITER 1012 NEW BEST:: SOT 295578 SOS 48457 HAS SOPS 48457 HAS SOUS 45042 HAS SOUPS 45042 WITH SCORE 45090.457
AT ITER 1035 NEW BEST:: SOT 295536 SOS 48579 HAS SOPS 48579 HAS SOUS 44996 HAS SOUPS 44996 WITH SCORE 45044.579
AT ITER 1042 NEW BEST:: SOT 295521 SOS 48589 HAS SOPS 48589 HAS SOUS 44981 HAS SOUPS 44981 WITH SCORE 45029.589
AT ITER 1122 NEW BEST:: SOT 295521 SOS 48579 HAS SOPS 48579 HAS SOUS 44981 HAS SOUPS 44981 WITH SCORE 45029.579
AT ITER 1130 NEW BEST:: SOT 295482 SOS 48593 HAS SOPS 48593 HAS SOUS 44972 HAS SOUPS 44972 WITH SCORE 45020.593
AT ITER 1147 NEW BEST:: SOT 295482 SOS 48573 HAS SOPS 48573 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45000.573
AT ITER 1174 NEW BEST:: SOT 295424 SOS 48450 HAS SOPS 48450 HAS SOUS 44829 HAS SOUPS 44829 WITH SCORE 44877.45
AT ITER 1199 NEW BEST:: SOT 295395 SOS 48377 HAS SOPS 48377 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44804.377
AT ITER 1208 NEW BEST:: SOT 295359 SOS 48338 HAS SOPS 48338 HAS SOUS 44747 HAS SOUPS 44747 WITH SCORE 44795.338
AT ITER 1219 NEW BEST:: SOT 295310 SOS 48331 HAS SOPS 48331 HAS SOUS 44708 HAS SOUPS 44708 WITH SCORE 44756.331
AT ITER 1237 NEW BEST:: SOT 295374 SOS 48335 HAS SOPS 48335 HAS SOUS 44592 HAS SOUPS 44592 WITH SCORE 44640.335
AT ITER 1252 NEW BEST:: SOT 295368 SOS 48329 HAS SOPS 48329 HAS SOUS 44586 HAS SOUPS 44586 WITH SCORE 44634.329
AT ITER 1254 NEW BEST:: SOT 295336 SOS 48233 HAS SOPS 48233 HAS SOUS 44490 HAS SOUPS 44490 WITH SCORE 44538.233
AT ITER 1291 NEW BEST:: SOT 295336 SOS 48227 HAS SOPS 48227 HAS SOUS 44484 HAS SOUPS 44484 WITH SCORE 44532.227
AT ITER 1357 NEW BEST:: SOT 295316 SOS 48259 HAS SOPS 48259 HAS SOUS 44483 HAS SOUPS 44483 WITH SCORE 44531.259
AT ITER 1369 NEW BEST:: SOT 295316 SOS 48251 HAS SOPS 48251 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44523.251
AT ITER 1385 NEW BEST:: SOT 295304 SOS 48282 HAS SOPS 48282 HAS SOUS 44461 HAS SOUPS 44461 WITH SCORE 44509.282
AT ITER 1413 NEW BEST:: SOT 295304 SOS 48281 HAS SOPS 48281 HAS SOUS 44460 HAS SOUPS 44460 WITH SCORE 44508.281
AT ITER 1422 NEW BEST:: SOT 295303 SOS 48280 HAS SOPS 48280 HAS SOUS 44452 HAS SOUPS 44452 WITH SCORE 44500.28
AT ITER 1432 NEW BEST:: SOT 295303 SOS 48280 HAS SOPS 48280 HAS SOUS 44407 HAS SOUPS 44407 WITH SCORE 44455.28
AT ITER 1435 NEW BEST:: SOT 295255 SOS 48184 HAS SOPS 48184 HAS SOUS 44298 HAS SOUPS 44298 WITH SCORE 44346.184
AT ITER 1446 NEW BEST:: SOT 295254 SOS 48181 HAS SOPS 48181 HAS SOUS 44296 HAS SOUPS 44296 WITH SCORE 44344.181
AT ITER 1481 NEW BEST:: SOT 295253 SOS 48071 HAS SOPS 48071 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44305.071
AT ITER 1510 NEW BEST:: SOT 295251 SOS 48065 HAS SOPS 48065 HAS SOUS 44251 HAS SOUPS 44251 WITH SCORE 44299.065
AT ITER 1563 NEW BEST:: SOT 295251 SOS 48046 HAS SOPS 48046 HAS SOUS 44232 HAS SOUPS 44232 WITH SCORE 44280.046
AT ITER 1571 NEW BEST:: SOT 295236 SOS 48030 HAS SOPS 48030 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44264.03
AT ITER 1579 NEW BEST:: SOT 295235 SOS 48011 HAS SOPS 48011 HAS SOUS 44215 HAS SOUPS 44215 WITH SCORE 44263.011
AT ITER 1593 NEW BEST:: SOT 295235 SOS 47981 HAS SOPS 47981 HAS SOUS 44185 HAS SOUPS 44185 WITH SCORE 44232.981
AT ITER 1601 NEW BEST:: SOT 295235 SOS 47971 HAS SOPS 47971 HAS SOUS 44175 HAS SOUPS 44175 WITH SCORE 44222.971
AT ITER 1652 NEW BEST:: SOT 295274 SOS 48040 HAS SOPS 48040 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44219.04
AT ITER 1661 NEW BEST:: SOT 295271 SOS 48034 HAS SOPS 48034 HAS SOUS 44147 HAS SOUPS 44147 WITH SCORE 44195.034
AT ITER 1751 NEW BEST:: SOT 295271 SOS 48020 HAS SOPS 48020 HAS SOUS 44133 HAS SOUPS 44133 WITH SCORE 44181.02
AT ITER 1752 NEW BEST:: SOT 295270 SOS 48001 HAS SOPS 48001 HAS SOUS 44131 HAS SOUPS 44131 WITH SCORE 44179.001
AT ITER 1768 NEW BEST:: SOT 295253 SOS 47984 HAS SOPS 47984 HAS SOUS 44114 HAS SOUPS 44114 WITH SCORE 44161.984
AT ITER 1808 NEW BEST:: SOT 295253 SOS 47981 HAS SOPS 47981 HAS SOUS 44087 HAS SOUPS 44087 WITH SCORE 44134.981
AT ITER 1832 NEW BEST:: SOT 295253 SOS 47895 HAS SOPS 47895 HAS SOUS 44027 HAS SOUPS 44027 WITH SCORE 44074.895
AT ITER 1843 NEW BEST:: SOT 295242 SOS 47894 HAS SOPS 47894 HAS SOUS 44026 HAS SOUPS 44026 WITH SCORE 44073.894
AT ITER 1851 NEW BEST:: SOT 295242 SOS 47776 HAS SOPS 47776 HAS SOUS 44000 HAS SOUPS 44000 WITH SCORE 44047.776
AT ITER 1882 NEW BEST:: SOT 295148 SOS 47732 HAS SOPS 47732 HAS SOUS 43956 HAS SOUPS 43956 WITH SCORE 44003.732
AT ITER 1900 NEW BEST:: SOT 295147 SOS 47690 HAS SOPS 47690 HAS SOUS 43954 HAS SOUPS 43954 WITH SCORE 44001.69
AT ITER 1959 NEW BEST:: SOT 295115 SOS 47609 HAS SOPS 47609 HAS SOUS 43873 HAS SOUPS 43873 WITH SCORE 43920.609
AT ITER 1968 NEW BEST:: SOT 295086 SOS 47535 HAS SOPS 47535 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43905.535
AT ITER 1976 NEW BEST:: SOT 295086 SOS 47534 HAS SOPS 47534 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43904.534
AT ITER 1989 NEW BEST:: SOT 295086 SOS 47499 HAS SOPS 47499 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43904.499
AT ITER 1998 NEW BEST:: SOT 295085 SOS 47497 HAS SOPS 47497 HAS SOUS 43855 HAS SOUPS 43855 WITH SCORE 43902.497
AT ITER 2010 NEW BEST:: SOT 295049 SOS 47537 HAS SOPS 47537 HAS SOUS 43819 HAS SOUPS 43819 WITH SCORE 43866.537
AT ITER 2030 NEW BEST:: SOT 295049 SOS 47529 HAS SOPS 47529 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43858.529
AT ITER 2032 NEW BEST:: SOT 295108 SOS 47644 HAS SOPS 47644 HAS SOUS 43784 HAS SOUPS 43784 WITH SCORE 43831.644
AT ITER 2039 NEW BEST:: SOT 295087 SOS 47650 HAS SOPS 47650 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43810.65
AT ITER 2051 NEW BEST:: SOT 295078 SOS 47638 HAS SOPS 47638 HAS SOUS 43751 HAS SOUPS 43751 WITH SCORE 43798.638
AT ITER 2065 NEW BEST:: SOT 295078 SOS 47630 HAS SOPS 47630 HAS SOUS 43743 HAS SOUPS 43743 WITH SCORE 43790.63
AT ITER 2072 NEW BEST:: SOT 295076 SOS 47602 HAS SOPS 47602 HAS SOUS 43697 HAS SOUPS 43697 WITH SCORE 43744.602
AT ITER 2079 NEW BEST:: SOT 295029 SOS 47586 HAS SOPS 47586 HAS SOUS 43642 HAS SOUPS 43642 WITH SCORE 43689.586
AT ITER 2109 NEW BEST:: SOT 295016 SOS 47570 HAS SOPS 47570 HAS SOUS 43626 HAS SOUPS 43626 WITH SCORE 43673.57
AT ITER 2130 NEW BEST:: SOT 295016 SOS 47570 HAS SOPS 47570 HAS SOUS 43625 HAS SOUPS 43625 WITH SCORE 43672.57
AT ITER 2155 NEW BEST:: SOT 294989 SOS 47516 HAS SOPS 47516 HAS SOUS 43571 HAS SOUPS 43571 WITH SCORE 43618.516
AT ITER 2158 NEW BEST:: SOT 294945 SOS 47425 HAS SOPS 47425 HAS SOUS 43464 HAS SOUPS 43464 WITH SCORE 43511.425
AT ITER 2272 NEW BEST:: SOT 294945 SOS 47424 HAS SOPS 47424 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43510.424
AT ITER 2290 NEW BEST:: SOT 294958 SOS 47450 HAS SOPS 47450 HAS SOUS 43450 HAS SOUPS 43450 WITH SCORE 43497.45
AT ITER 2299 NEW BEST:: SOT 294914 SOS 47450 HAS SOPS 47450 HAS SOUS 43428 HAS SOUPS 43428 WITH SCORE 43475.45
AT ITER 2306 NEW BEST:: SOT 294914 SOS 47450 HAS SOPS 47450 HAS SOUS 43414 HAS SOUPS 43414 WITH SCORE 43461.45
AT ITER 2350 NEW BEST:: SOT 294914 SOS 47431 HAS SOPS 47431 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43411.431
AT ITER 2445 NEW BEST:: SOT 294892 SOS 47377 HAS SOPS 47377 HAS SOUS 43334 HAS SOUPS 43334 WITH SCORE 43381.377
AT ITER 2448 NEW BEST:: SOT 294892 SOS 47371 HAS SOPS 47371 HAS SOUS 43328 HAS SOUPS 43328 WITH SCORE 43375.371
AT ITER 2450 NEW BEST:: SOT 294892 SOS 47364 HAS SOPS 47364 HAS SOUS 43314 HAS SOUPS 43314 WITH SCORE 43361.364
AT ITER 2481 NEW BEST:: SOT 294873 SOS 47326 HAS SOPS 47326 HAS SOUS 43276 HAS SOUPS 43276 WITH SCORE 43323.326
AT ITER 2505 NEW BEST:: SOT 294809 SOS 47192 HAS SOPS 47192 HAS SOUS 43139 HAS SOUPS 43139 WITH SCORE 43186.192
AT ITER 2517 NEW BEST:: SOT 294791 SOS 47138 HAS SOPS 47138 HAS SOUS 43103 HAS SOUPS 43103 WITH SCORE 43150.138
AT ITER 2525 NEW BEST:: SOT 294791 SOS 47137 HAS SOPS 47137 HAS SOUS 43102 HAS SOUPS 43102 WITH SCORE 43149.137
AT ITER 2552 NEW BEST:: SOT 294721 SOS 47015 HAS SOPS 47015 HAS SOUS 43026 HAS SOUPS 43026 WITH SCORE 43073.015
AT ITER 2564 NEW BEST:: SOT 294714 SOS 47015 HAS SOPS 47015 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43066.015
AT ITER 2569 NEW BEST:: SOT 294708 SOS 47009 HAS SOPS 47009 HAS SOUS 43013 HAS SOUPS 43013 WITH SCORE 43060.009
AT ITER 2609 NEW BEST:: SOT 294657 SOS 46956 HAS SOPS 46956 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43057.956
AT ITER 2614 NEW BEST:: SOT 294657 SOS 46955 HAS SOPS 46955 HAS SOUS 43010 HAS SOUPS 43010 WITH SCORE 43056.955
AT ITER 2652 NEW BEST:: SOT 294653 SOS 46951 HAS SOPS 46951 HAS SOUS 43006 HAS SOUPS 43006 WITH SCORE 43052.951
AT ITER 2751 NEW BEST:: SOT 294625 SOS 46857 HAS SOPS 46857 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43017.857
AT ITER 2752 NEW BEST:: SOT 294575 SOS 46757 HAS SOPS 46757 HAS SOUS 42944 HAS SOUPS 42944 WITH SCORE 42990.757
AT ITER 2759 NEW BEST:: SOT 294585 SOS 46793 HAS SOPS 46793 HAS SOUS 42922 HAS SOUPS 42922 WITH SCORE 42968.793
AT ITER 2769 NEW BEST:: SOT 294585 SOS 46785 HAS SOPS 46785 HAS SOUS 42914 HAS SOUPS 42914 WITH SCORE 42960.785
AT ITER 2770 NEW BEST:: SOT 294563 SOS 46763 HAS SOPS 46763 HAS SOUS 42892 HAS SOUPS 42892 WITH SCORE 42938.763
AT ITER 2774 NEW BEST:: SOT 294587 SOS 46740 HAS SOPS 46740 HAS SOUS 42869 HAS SOUPS 42869 WITH SCORE 42915.74
AT ITER 2780 NEW BEST:: SOT 294515 SOS 46752 HAS SOPS 46752 HAS SOUS 42836 HAS SOUPS 42836 WITH SCORE 42882.752
AT ITER 2788 NEW BEST:: SOT 294515 SOS 46738 HAS SOPS 46738 HAS SOUS 42829 HAS SOUPS 42829 WITH SCORE 42875.738
AT ITER 2805 NEW BEST:: SOT 294515 SOS 46737 HAS SOPS 46737 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42874.737
AT ITER 2810 NEW BEST:: SOT 294500 SOS 46722 HAS SOPS 46722 HAS SOUS 42813 HAS SOUPS 42813 WITH SCORE 42859.722
AT ITER 2814 NEW BEST:: SOT 294489 SOS 46700 HAS SOPS 46700 HAS SOUS 42802 HAS SOUPS 42802 WITH SCORE 42848.7
AT ITER 2856 NEW BEST:: SOT 294497 SOS 46716 HAS SOPS 46716 HAS SOUS 42786 HAS SOUPS 42786 WITH SCORE 42832.716
AT ITER 2858 NEW BEST:: SOT 294497 SOS 46675 HAS SOPS 46675 HAS SOUS 42786 HAS SOUPS 42786 WITH SCORE 42832.675
AT ITER 2869 NEW BEST:: SOT 294497 SOS 46669 HAS SOPS 46669 HAS SOUS 42780 HAS SOUPS 42780 WITH SCORE 42826.669
AT ITER 2874 NEW BEST:: SOT 294470 SOS 46615 HAS SOPS 46615 HAS SOUS 42762 HAS SOUPS 42762 WITH SCORE 42808.615
AT ITER 2885 NEW BEST:: SOT 294468 SOS 46608 HAS SOPS 46608 HAS SOUS 42758 HAS SOUPS 42758 WITH SCORE 42804.608
AT ITER 2907 NEW BEST:: SOT 294482 SOS 46561 HAS SOPS 46561 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42784.561
AT ITER 2918 NEW BEST:: SOT 294489 SOS 46568 HAS SOPS 46568 HAS SOUS 42719 HAS SOUPS 42719 WITH SCORE 42765.568
AT ITER 2930 NEW BEST:: SOT 294449 SOS 46488 HAS SOPS 46488 HAS SOUS 42634 HAS SOUPS 42634 WITH SCORE 42680.488
AT ITER 2943 NEW BEST:: SOT 294374 SOS 46470 HAS SOPS 46470 HAS SOUS 42616 HAS SOUPS 42616 WITH SCORE 42662.47
AT ITER 2965 NEW BEST:: SOT 294363 SOS 46459 HAS SOPS 46459 HAS SOUS 42605 HAS SOUPS 42605 WITH SCORE 42651.459
AT ITER 2974 NEW BEST:: SOT 294405 SOS 46500 HAS SOPS 46500 HAS SOUS 42588 HAS SOUPS 42588 WITH SCORE 42634.5
AT ITER 2987 NEW BEST:: SOT 294316 SOS 46537 HAS SOPS 46537 HAS SOUS 42565 HAS SOUPS 42565 WITH SCORE 42611.537
AT ITER 3052 NEW BEST:: SOT 294261 SOS 46495 HAS SOPS 46495 HAS SOUS 42523 HAS SOUPS 42523 WITH SCORE 42569.495
AT ITER 3099 NEW BEST:: SOT 294261 SOS 46494 HAS SOPS 46494 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42568.494
AT ITER 3108 NEW BEST:: SOT 294257 SOS 46489 HAS SOPS 46489 HAS SOUS 42517 HAS SOUPS 42517 WITH SCORE 42563.489
AT ITER 3125 NEW BEST:: SOT 294257 SOS 46484 HAS SOPS 46484 HAS SOUS 42512 HAS SOUPS 42512 WITH SCORE 42558.484
AT ITER 3135 NEW BEST:: SOT 294209 SOS 46388 HAS SOPS 46388 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42462.388
AT ITER 3153 NEW BEST:: SOT 294205 SOS 46376 HAS SOPS 46376 HAS SOUS 42404 HAS SOUPS 42404 WITH SCORE 42450.376
AT ITER 3173 NEW BEST:: SOT 294178 SOS 46348 HAS SOPS 46348 HAS SOUS 42376 HAS SOUPS 42376 WITH SCORE 42422.348
AT ITER 3178 NEW BEST:: SOT 294178 SOS 46327 HAS SOPS 46327 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42401.327
AT ITER 3180 NEW BEST:: SOT 294178 SOS 46326 HAS SOPS 46326 HAS SOUS 42354 HAS SOUPS 42354 WITH SCORE 42400.326
AT ITER 3190 NEW BEST:: SOT 294164 SOS 46318 HAS SOPS 46318 HAS SOUS 42346 HAS SOUPS 42346 WITH SCORE 42392.318
AT ITER 3237 NEW BEST:: SOT 294181 SOS 46306 HAS SOPS 46306 HAS SOUS 42263 HAS SOUPS 42263 WITH SCORE 42309.306
AT ITER 3243 NEW BEST:: SOT 294134 SOS 46212 HAS SOPS 46212 HAS SOUS 42211 HAS SOUPS 42211 WITH SCORE 42257.212
AT ITER 3251 NEW BEST:: SOT 294134 SOS 46182 HAS SOPS 46182 HAS SOUS 42181 HAS SOUPS 42181 WITH SCORE 42227.182
AT ITER 3319 NEW BEST:: SOT 294079 SOS 46181 HAS SOPS 46181 HAS SOUS 42180 HAS SOUPS 42180 WITH SCORE 42226.181
AT ITER 3324 NEW BEST:: SOT 294079 SOS 46212 HAS SOPS 46212 HAS SOUS 42179 HAS SOUPS 42179 WITH SCORE 42225.212
AT ITER 3329 NEW BEST:: SOT 294063 SOS 46180 HAS SOPS 46180 HAS SOUS 42147 HAS SOUPS 42147 WITH SCORE 42193.18
AT ITER 3330 NEW BEST:: SOT 294044 SOS 46139 HAS SOPS 46139 HAS SOUS 42144 HAS SOUPS 42144 WITH SCORE 42190.139
AT ITER 3342 NEW BEST:: SOT 294010 SOS 46104 HAS SOPS 46104 HAS SOUS 42109 HAS SOUPS 42109 WITH SCORE 42155.104
AT ITER 3351 NEW BEST:: SOT 294009 SOS 46082 HAS SOPS 46082 HAS SOUS 42107 HAS SOUPS 42107 WITH SCORE 42153.082
AT ITER 3355 NEW BEST:: SOT 294052 SOS 46147 HAS SOPS 46147 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42121.147
AT ITER 3368 NEW BEST:: SOT 294043 SOS 46138 HAS SOPS 46138 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42112.138
AT ITER 3416 NEW BEST:: SOT 294040 SOS 46135 HAS SOPS 46135 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42112.135
AT ITER 3426 NEW BEST:: SOT 294030 SOS 46115 HAS SOPS 46115 HAS SOUS 42017 HAS SOUPS 42017 WITH SCORE 42063.115
AT ITER 3439 NEW BEST:: SOT 294030 SOS 46077 HAS SOPS 46077 HAS SOUS 42014 HAS SOUPS 42014 WITH SCORE 42060.077
AT ITER 3466 NEW BEST:: SOT 294033 SOS 46067 HAS SOPS 46067 HAS SOUS 42004 HAS SOUPS 42004 WITH SCORE 42050.067
AT ITER 3518 NEW BEST:: SOT 293965 SOS 46020 HAS SOPS 46020 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41941.02
AT ITER 3523 NEW BEST:: SOT 293965 SOS 45986 HAS SOPS 45986 HAS SOUS 41820 HAS SOUPS 41820 WITH SCORE 41865.986
AT ITER 3529 NEW BEST:: SOT 293934 SOS 45979 HAS SOPS 45979 HAS SOUS 41813 HAS SOUPS 41813 WITH SCORE 41858.979
AT ITER 3550 NEW BEST:: SOT 293930 SOS 45972 HAS SOPS 45972 HAS SOUS 41810 HAS SOUPS 41810 WITH SCORE 41855.972
AT ITER 3559 NEW BEST:: SOT 293888 SOS 45972 HAS SOPS 45972 HAS SOUS 41773 HAS SOUPS 41773 WITH SCORE 41818.972
AT ITER 3602 NEW BEST:: SOT 293883 SOS 45962 HAS SOPS 45962 HAS SOUS 41763 HAS SOUPS 41763 WITH SCORE 41808.962
AT ITER 3691 NEW BEST:: SOT 293870 SOS 45947 HAS SOPS 45947 HAS SOUS 41750 HAS SOUPS 41750 WITH SCORE 41795.947
AT ITER 3693 NEW BEST:: SOT 293849 SOS 45926 HAS SOPS 45926 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41793.926
AT ITER 3736 NEW BEST:: SOT 293827 SOS 45882 HAS SOPS 45882 HAS SOUS 41704 HAS SOUPS 41704 WITH SCORE 41749.882
AT ITER 3744 NEW BEST:: SOT 293814 SOS 45830 HAS SOPS 45830 HAS SOUS 41691 HAS SOUPS 41691 WITH SCORE 41736.83
AT ITER 3753 NEW BEST:: SOT 293814 SOS 45828 HAS SOPS 45828 HAS SOUS 41691 HAS SOUPS 41691 WITH SCORE 41736.828
AT ITER 3811 NEW BEST:: SOT 293871 SOS 45745 HAS SOPS 45745 HAS SOUS 41655 HAS SOUPS 41655 WITH SCORE 41700.745
AT ITER 3818 NEW BEST:: SOT 293859 SOS 45739 HAS SOPS 45739 HAS SOUS 41649 HAS SOUPS 41649 WITH SCORE 41694.739
AT ITER 3821 NEW BEST:: SOT 293831 SOS 45655 HAS SOPS 45655 HAS SOUS 41593 HAS SOUPS 41593 WITH SCORE 41638.655
AT ITER 3822 NEW BEST:: SOT 293860 SOS 45676 HAS SOPS 45676 HAS SOUS 41579 HAS SOUPS 41579 WITH SCORE 41624.676
AT ITER 3825 NEW BEST:: SOT 293859 SOS 45644 HAS SOPS 45644 HAS SOUS 41577 HAS SOUPS 41577 WITH SCORE 41622.644
AT ITER 3860 NEW BEST:: SOT 293859 SOS 45643 HAS SOPS 45643 HAS SOUS 41571 HAS SOUPS 41571 WITH SCORE 41616.643
AT ITER 3906 NEW BEST:: SOT 293859 SOS 45613 HAS SOPS 45613 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41601.613
AT ITER 3913 NEW BEST:: SOT 293856 SOS 45610 HAS SOPS 45610 HAS SOUS 41536 HAS SOUPS 41536 WITH SCORE 41581.61
AT ITER 3965 NEW BEST:: SOT 293855 SOS 45608 HAS SOPS 45608 HAS SOUS 41534 HAS SOUPS 41534 WITH SCORE 41579.608
AT ITER 3966 NEW BEST:: SOT 293854 SOS 45606 HAS SOPS 45606 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41577.606
AT ITER 3967 NEW BEST:: SOT 293836 SOS 45547 HAS SOPS 45547 HAS SOUS 41514 HAS SOUPS 41514 WITH SCORE 41559.547
AT ITER 3981 NEW BEST:: SOT 293836 SOS 45532 HAS SOPS 45532 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41544.532
AT ITER 3987 NEW BEST:: SOT 293816 SOS 45504 HAS SOPS 45504 HAS SOUS 41495 HAS SOUPS 41495 WITH SCORE 41540.504
AT ITER 3994 NEW BEST:: SOT 293809 SOS 45461 HAS SOPS 45461 HAS SOUS 41452 HAS SOUPS 41452 WITH SCORE 41497.461
AT ITER 4099 NEW BEST:: SOT 293816 SOS 45447 HAS SOPS 45447 HAS SOUS 41438 HAS SOUPS 41438 WITH SCORE 41483.447
AT ITER 4178 NEW BEST:: SOT 293812 SOS 45440 HAS SOPS 45440 HAS SOUS 41431 HAS SOUPS 41431 WITH SCORE 41476.44
AT ITER 4187 NEW BEST:: SOT 293812 SOS 45433 HAS SOPS 45433 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41469.433
AT ITER 4226 NEW BEST:: SOT 293810 SOS 45429 HAS SOPS 45429 HAS SOUS 41422 HAS SOUPS 41422 WITH SCORE 41467.429
AT ITER 4281 NEW BEST:: SOT 293806 SOS 45417 HAS SOPS 45417 HAS SOUS 41411 HAS SOUPS 41411 WITH SCORE 41456.417
AT ITER 4307 NEW BEST:: SOT 293806 SOS 45410 HAS SOPS 45410 HAS SOUS 41404 HAS SOUPS 41404 WITH SCORE 41449.41
AT ITER 4338 NEW BEST:: SOT 293805 SOS 45391 HAS SOPS 45391 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41447.391
AT ITER 4355 NEW BEST:: SOT 293767 SOS 45353 HAS SOPS 45353 HAS SOUS 41392 HAS SOUPS 41392 WITH SCORE 41437.353
AT ITER 4431 NEW BEST:: SOT 293766 SOS 45310 HAS SOPS 45310 HAS SOUS 41390 HAS SOUPS 41390 WITH SCORE 41435.31
AT ITER 4454 NEW BEST:: SOT 293757 SOS 45283 HAS SOPS 45283 HAS SOUS 41381 HAS SOUPS 41381 WITH SCORE 41426.283
AT ITER 4496 NEW BEST:: SOT 293749 SOS 45275 HAS SOPS 45275 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41418.275
AT ITER 4515 NEW BEST:: SOT 293746 SOS 45272 HAS SOPS 45272 HAS SOUS 41367 HAS SOUPS 41367 WITH SCORE 41412.272
AT ITER 4521 NEW BEST:: SOT 293746 SOS 45253 HAS SOPS 45253 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41393.253
AT ITER 4561 NEW BEST:: SOT 293746 SOS 45248 HAS SOPS 45248 HAS SOUS 41343 HAS SOUPS 41343 WITH SCORE 41388.248
AT ITER 4576 NEW BEST:: SOT 293704 SOS 45109 HAS SOPS 45109 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41359.109
AT ITER 4582 NEW BEST:: SOT 293678 SOS 44984 HAS SOPS 44984 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41277.984
AT ITER 4679 NEW BEST:: SOT 293678 SOS 45023 HAS SOPS 45023 HAS SOUS 41232 HAS SOUPS 41232 WITH SCORE 41277.023
AT ITER 4691 NEW BEST:: SOT 293655 SOS 44977 HAS SOPS 44977 HAS SOUS 41152 HAS SOUPS 41152 WITH SCORE 41196.977
AT ITER 4700 NEW BEST:: SOT 293582 SOS 44917 HAS SOPS 44917 HAS SOUS 41092 HAS SOUPS 41092 WITH SCORE 41136.917
AT ITER 4716 NEW BEST:: SOT 293561 SOS 44919 HAS SOPS 44919 HAS SOUS 41083 HAS SOUPS 41083 WITH SCORE 41127.919
AT ITER 4722 NEW BEST:: SOT 293549 SOS 44922 HAS SOPS 44922 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41115.922
AT ITER 4744 NEW BEST:: SOT 293549 SOS 44959 HAS SOPS 44959 HAS SOUS 41068 HAS SOUPS 41068 WITH SCORE 41112.959
AT ITER 4755 NEW BEST:: SOT 293537 SOS 44923 HAS SOPS 44923 HAS SOUS 41056 HAS SOUPS 41056 WITH SCORE 41100.923
AT ITER 4803 NEW BEST:: SOT 293537 SOS 44916 HAS SOPS 44916 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41093.916
AT ITER 4855 NEW BEST:: SOT 293521 SOS 44902 HAS SOPS 44902 HAS SOUS 41032 HAS SOUPS 41032 WITH SCORE 41076.902
AT ITER 4881 NEW BEST:: SOT 293521 SOS 44899 HAS SOPS 44899 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41073.899
AT ITER 4925 NEW BEST:: SOT 293521 SOS 44824 HAS SOPS 44824 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41073.824
AT ITER 5037 NEW BEST:: SOT 293530 SOS 44797 HAS SOPS 44797 HAS SOUS 41002 HAS SOUPS 41002 WITH SCORE 41046.797
AT ITER 5060 NEW BEST:: SOT 293556 SOS 44848 HAS SOPS 44848 HAS SOUS 40998 HAS SOUPS 40998 WITH SCORE 41042.848
AT ITER 5134 NEW BEST:: SOT 293548 SOS 44815 HAS SOPS 44815 HAS SOUS 40990 HAS SOUPS 40990 WITH SCORE 41034.815
AT ITER 5135 NEW BEST:: SOT 293540 SOS 44807 HAS SOPS 44807 HAS SOUS 40986 HAS SOUPS 40986 WITH SCORE 41030.807
AT ITER 5166 NEW BEST:: SOT 293528 SOS 44796 HAS SOPS 44796 HAS SOUS 40975 HAS SOUPS 40975 WITH SCORE 41019.796
AT ITER 5189 NEW BEST:: SOT 293528 SOS 44781 HAS SOPS 44781 HAS SOUS 40960 HAS SOUPS 40960 WITH SCORE 41004.781
AT ITER 5213 NEW BEST:: SOT 293573 SOS 44856 HAS SOPS 44856 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40943.856
AT ITER 5217 NEW BEST:: SOT 293573 SOS 44851 HAS SOPS 44851 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40943.851
AT ITER 5259 NEW BEST:: SOT 293573 SOS 44848 HAS SOPS 44848 HAS SOUS 40896 HAS SOUPS 40896 WITH SCORE 40940.848
AT ITER 5336 NEW BEST:: SOT 293573 SOS 44838 HAS SOPS 44838 HAS SOUS 40886 HAS SOUPS 40886 WITH SCORE 40930.838
AT ITER 5376 NEW BEST:: SOT 293515 SOS 44854 HAS SOPS 44854 HAS SOUS 40844 HAS SOUPS 40844 WITH SCORE 40888.854
AT ITER 5389 NEW BEST:: SOT 293505 SOS 44865 HAS SOPS 44865 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40878.865
AT ITER 5405 NEW BEST:: SOT 293481 SOS 44778 HAS SOPS 44778 HAS SOUS 40795 HAS SOUPS 40795 WITH SCORE 40839.778
AT ITER 5431 NEW BEST:: SOT 293481 SOS 44741 HAS SOPS 44741 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40802.741
AT ITER 5432 NEW BEST:: SOT 293481 SOS 44714 HAS SOPS 44714 HAS SOUS 40757 HAS SOUPS 40757 WITH SCORE 40801.714
AT ITER 5445 NEW BEST:: SOT 293481 SOS 44715 HAS SOPS 44715 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40800.715
AT ITER 5462 NEW BEST:: SOT 293481 SOS 44714 HAS SOPS 44714 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40795.714
AT ITER 5565 NEW BEST:: SOT 293493 SOS 44786 HAS SOPS 44786 HAS SOUS 40750 HAS SOUPS 40750 WITH SCORE 40794.786
AT ITER 5568 NEW BEST:: SOT 293493 SOS 44780 HAS SOPS 44780 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40788.78
AT ITER 5581 NEW BEST:: SOT 293474 SOS 44763 HAS SOPS 44763 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40771.763
AT ITER 5611 NEW BEST:: SOT 293474 SOS 44745 HAS SOPS 44745 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40771.745
AT ITER 5630 NEW BEST:: SOT 293494 SOS 44765 HAS SOPS 44765 HAS SOUS 40726 HAS SOUPS 40726 WITH SCORE 40770.765
AT ITER 5637 NEW BEST:: SOT 293502 SOS 44716 HAS SOPS 44716 HAS SOUS 40704 HAS SOUPS 40704 WITH SCORE 40748.716
AT ITER 5673 NEW BEST:: SOT 293502 SOS 44707 HAS SOPS 44707 HAS SOUS 40694 HAS SOUPS 40694 WITH SCORE 40738.707
AT ITER 5682 NEW BEST:: SOT 293500 SOS 44701 HAS SOPS 44701 HAS SOUS 40688 HAS SOUPS 40688 WITH SCORE 40732.701
AT ITER 5717 NEW BEST:: SOT 293487 SOS 44681 HAS SOPS 44681 HAS SOUS 40668 HAS SOUPS 40668 WITH SCORE 40712.681
AT ITER 5814 NEW BEST:: SOT 293462 SOS 44631 HAS SOPS 44631 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40665.631
AT ITER 5815 NEW BEST:: SOT 293448 SOS 44603 HAS SOPS 44603 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40665.603
AT ITER 5819 NEW BEST:: SOT 293499 SOS 44676 HAS SOPS 44676 HAS SOUS 40618 HAS SOUPS 40618 WITH SCORE 40662.676
AT ITER 5875 NEW BEST:: SOT 293498 SOS 44669 HAS SOPS 44669 HAS SOUS 40611 HAS SOUPS 40611 WITH SCORE 40655.669
AT ITER 5904 NEW BEST:: SOT 293495 SOS 44663 HAS SOPS 44663 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40626.663
AT ITER 5979 NEW BEST:: SOT 293495 SOS 44644 HAS SOPS 44644 HAS SOUS 40563 HAS SOUPS 40563 WITH SCORE 40607.644
AT ITER 6036 NEW BEST:: SOT 293495 SOS 44643 HAS SOPS 44643 HAS SOUS 40562 HAS SOUPS 40562 WITH SCORE 40606.643
AT ITER 6048 NEW BEST:: SOT 293495 SOS 44620 HAS SOPS 44620 HAS SOUS 40539 HAS SOUPS 40539 WITH SCORE 40583.62
AT ITER 6055 NEW BEST:: SOT 293492 SOS 44617 HAS SOPS 44617 HAS SOUS 40539 HAS SOUPS 40539 WITH SCORE 40583.617
AT ITER 6062 NEW BEST:: SOT 293481 SOS 44606 HAS SOPS 44606 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40572.606
AT ITER 6065 NEW BEST:: SOT 293473 SOS 44598 HAS SOPS 44598 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40572.598
AT ITER 6193 NEW BEST:: SOT 293435 SOS 44526 HAS SOPS 44526 HAS SOUS 40488 HAS SOUPS 40488 WITH SCORE 40532.526
AT ITER 6195 NEW BEST:: SOT 293443 SOS 44512 HAS SOPS 44512 HAS SOUS 40474 HAS SOUPS 40474 WITH SCORE 40518.512
AT ITER 6228 NEW BEST:: SOT 293417 SOS 44474 HAS SOPS 44474 HAS SOUS 40462 HAS SOUPS 40462 WITH SCORE 40506.474
AT ITER 6241 NEW BEST:: SOT 293417 SOS 44462 HAS SOPS 44462 HAS SOUS 40450 HAS SOUPS 40450 WITH SCORE 40494.462
AT ITER 6299 NEW BEST:: SOT 293376 SOS 44423 HAS SOPS 44423 HAS SOUS 40409 HAS SOUPS 40409 WITH SCORE 40453.423
AT ITER 6305 NEW BEST:: SOT 293338 SOS 44389 HAS SOPS 44389 HAS SOUS 40371 HAS SOUPS 40371 WITH SCORE 40415.389
AT ITER 6310 NEW BEST:: SOT 293338 SOS 44388 HAS SOPS 44388 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40414.388
AT ITER 6332 NEW BEST:: SOT 293332 SOS 44370 HAS SOPS 44370 HAS SOUS 40364 HAS SOUPS 40364 WITH SCORE 40408.37
AT ITER 6361 NEW BEST:: SOT 293334 SOS 44373 HAS SOPS 44373 HAS SOUS 40363 HAS SOUPS 40363 WITH SCORE 40407.373
AT ITER 6399 NEW BEST:: SOT 293330 SOS 44355 HAS SOPS 44355 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40402.355
AT ITER 6442 NEW BEST:: SOT 293329 SOS 44312 HAS SOPS 44312 HAS SOUS 40356 HAS SOUPS 40356 WITH SCORE 40400.312
AT ITER 6451 NEW BEST:: SOT 293355 SOS 44307 HAS SOPS 44307 HAS SOUS 40351 HAS SOUPS 40351 WITH SCORE 40395.307
AT ITER 6469 NEW BEST:: SOT 293410 SOS 44299 HAS SOPS 44299 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40387.299
AT ITER 6524 NEW BEST:: SOT 293409 SOS 44263 HAS SOPS 44263 HAS SOUS 40324 HAS SOUPS 40324 WITH SCORE 40368.263
AT ITER 6537 NEW BEST:: SOT 293403 SOS 44260 HAS SOPS 44260 HAS SOUS 40321 HAS SOUPS 40321 WITH SCORE 40365.26
AT ITER 6540 NEW BEST:: SOT 293439 SOS 44233 HAS SOPS 44233 HAS SOUS 40294 HAS SOUPS 40294 WITH SCORE 40338.233
AT ITER 6542 NEW BEST:: SOT 293438 SOS 44232 HAS SOPS 44232 HAS SOUS 40293 HAS SOUPS 40293 WITH SCORE 40337.232
AT ITER 6552 NEW BEST:: SOT 293458 SOS 44194 HAS SOPS 44194 HAS SOUS 40255 HAS SOUPS 40255 WITH SCORE 40299.194
AT ITER 6561 NEW BEST:: SOT 293426 SOS 44098 HAS SOPS 44098 HAS SOUS 40191 HAS SOUPS 40191 WITH SCORE 40235.098
AT ITER 6594 NEW BEST:: SOT 293426 SOS 44097 HAS SOPS 44097 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40234.097
AT ITER 6618 NEW BEST:: SOT 293424 SOS 44093 HAS SOPS 44093 HAS SOUS 40186 HAS SOUPS 40186 WITH SCORE 40230.093
AT ITER 6632 NEW BEST:: SOT 293414 SOS 43935 HAS SOPS 43935 HAS SOUS 40099 HAS SOUPS 40099 WITH SCORE 40142.935
AT ITER 6640 NEW BEST:: SOT 293408 SOS 43923 HAS SOPS 43923 HAS SOUS 40093 HAS SOUPS 40093 WITH SCORE 40136.923
AT ITER 6652 NEW BEST:: SOT 293417 SOS 43924 HAS SOPS 43924 HAS SOUS 40086 HAS SOUPS 40086 WITH SCORE 40129.924
AT ITER 6690 NEW BEST:: SOT 293417 SOS 43919 HAS SOPS 43919 HAS SOUS 40081 HAS SOUPS 40081 WITH SCORE 40124.919
AT ITER 6796 NEW BEST:: SOT 293422 SOS 43884 HAS SOPS 43884 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40107.884
AT ITER 6798 NEW BEST:: SOT 293422 SOS 43865 HAS SOPS 43865 HAS SOUS 40045 HAS SOUPS 40045 WITH SCORE 40088.865
AT ITER 6809 NEW BEST:: SOT 293422 SOS 43840 HAS SOPS 43840 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40063.84
AT ITER 6819 NEW BEST:: SOT 293422 SOS 43833 HAS SOPS 43833 HAS SOUS 40013 HAS SOUPS 40013 WITH SCORE 40056.833
AT ITER 6971 NEW BEST:: SOT 293401 SOS 43781 HAS SOPS 43781 HAS SOUS 39961 HAS SOUPS 39961 WITH SCORE 40004.781
AT ITER 7020 NEW BEST:: SOT 293396 SOS 43771 HAS SOPS 43771 HAS SOUS 39953 HAS SOUPS 39953 WITH SCORE 39996.771
AT ITER 7023 NEW BEST:: SOT 293396 SOS 43771 HAS SOPS 43771 HAS SOUS 39921 HAS SOUPS 39921 WITH SCORE 39964.771
AT ITER 7040 NEW BEST:: SOT 293380 SOS 43755 HAS SOPS 43755 HAS SOUS 39905 HAS SOUPS 39905 WITH SCORE 39948.755
AT ITER 7053 NEW BEST:: SOT 293358 SOS 43733 HAS SOPS 43733 HAS SOUS 39905 HAS SOUPS 39905 WITH SCORE 39948.733
AT ITER 7113 NEW BEST:: SOT 293327 SOS 43677 HAS SOPS 43677 HAS SOUS 39873 HAS SOUPS 39873 WITH SCORE 39916.677
AT ITER 7174 NEW BEST:: SOT 293327 SOS 43676 HAS SOPS 43676 HAS SOUS 39872 HAS SOUPS 39872 WITH SCORE 39915.676
AT ITER 7189 NEW BEST:: SOT 293327 SOS 43656 HAS SOPS 43656 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39895.656
AT ITER 7191 NEW BEST:: SOT 293250 SOS 43523 HAS SOPS 43523 HAS SOUS 39750 HAS SOUPS 39750 WITH SCORE 39793.523
AT ITER 7226 NEW BEST:: SOT 293243 SOS 43509 HAS SOPS 43509 HAS SOUS 39743 HAS SOUPS 39743 WITH SCORE 39786.509
AT ITER 7317 NEW BEST:: SOT 293255 SOS 43544 HAS SOPS 43544 HAS SOUS 39737 HAS SOUPS 39737 WITH SCORE 39780.544
AT ITER 7318 NEW BEST:: SOT 293233 SOS 43448 HAS SOPS 43448 HAS SOUS 39718 HAS SOUPS 39718 WITH SCORE 39761.448
AT ITER 7446 NEW BEST:: SOT 293218 SOS 43435 HAS SOPS 43435 HAS SOUS 39705 HAS SOUPS 39705 WITH SCORE 39748.435
AT ITER 7502 NEW BEST:: SOT 293213 SOS 43402 HAS SOPS 43402 HAS SOUS 39672 HAS SOUPS 39672 WITH SCORE 39715.402
AT ITER 7585 NEW BEST:: SOT 293211 SOS 43401 HAS SOPS 43401 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39711.401
AT ITER 7614 NEW BEST:: SOT 293199 SOS 43383 HAS SOPS 43383 HAS SOUS 39650 HAS SOUPS 39650 WITH SCORE 39693.383
AT ITER 7642 NEW BEST:: SOT 293190 SOS 43352 HAS SOPS 43352 HAS SOUS 39619 HAS SOUPS 39619 WITH SCORE 39662.352
AT ITER 7660 NEW BEST:: SOT 293222 SOS 43329 HAS SOPS 43329 HAS SOUS 39604 HAS SOUPS 39604 WITH SCORE 39647.329
AT ITER 7683 NEW BEST:: SOT 293219 SOS 43316 HAS SOPS 43316 HAS SOUS 39591 HAS SOUPS 39591 WITH SCORE 39634.316
AT ITER 7697 NEW BEST:: SOT 293219 SOS 43312 HAS SOPS 43312 HAS SOUS 39589 HAS SOUPS 39589 WITH SCORE 39632.312
AT ITER 7775 NEW BEST:: SOT 293243 SOS 43325 HAS SOPS 43325 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39621.325
AT ITER 7780 NEW BEST:: SOT 293243 SOS 43309 HAS SOPS 43309 HAS SOUS 39576 HAS SOUPS 39576 WITH SCORE 39619.309
AT ITER 7804 NEW BEST:: SOT 293243 SOS 43304 HAS SOPS 43304 HAS SOUS 39573 HAS SOUPS 39573 WITH SCORE 39616.304
AT ITER 7928 NEW BEST:: SOT 293243 SOS 43297 HAS SOPS 43297 HAS SOUS 39559 HAS SOUPS 39559 WITH SCORE 39602.297
AT ITER 7941 NEW BEST:: SOT 293255 SOS 43309 HAS SOPS 43309 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39599.309
AT ITER 7954 NEW BEST:: SOT 293227 SOS 43272 HAS SOPS 43272 HAS SOUS 39530 HAS SOUPS 39530 WITH SCORE 39573.272
AT ITER 8009 NEW BEST:: SOT 293263 SOS 43334 HAS SOPS 43334 HAS SOUS 39526 HAS SOUPS 39526 WITH SCORE 39569.334
AT ITER 8100 NEW BEST:: SOT 293286 SOS 43238 HAS SOPS 43238 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39560.238
AT ITER 8124 NEW BEST:: SOT 293271 SOS 43213 HAS SOPS 43213 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39532.213
AT ITER 8204 NEW BEST:: SOT 293271 SOS 43199 HAS SOPS 43199 HAS SOUS 39475 HAS SOUPS 39475 WITH SCORE 39518.199
AT ITER 8228 NEW BEST:: SOT 293249 SOS 43189 HAS SOPS 43189 HAS SOUS 39465 HAS SOUPS 39465 WITH SCORE 39508.189
AT ITER 8374 NEW BEST:: SOT 293267 SOS 43203 HAS SOPS 43203 HAS SOUS 39438 HAS SOUPS 39438 WITH SCORE 39481.203
AT ITER 8376 NEW BEST:: SOT 293262 SOS 43186 HAS SOPS 43186 HAS SOUS 39427 HAS SOUPS 39427 WITH SCORE 39470.186
AT ITER 8561 NEW BEST:: SOT 293286 SOS 43121 HAS SOPS 43121 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39445.121
AT ITER 8583 NEW BEST:: SOT 293274 SOS 43092 HAS SOPS 43092 HAS SOUS 39373 HAS SOUPS 39373 WITH SCORE 39416.092
AT ITER 8611 NEW BEST:: SOT 293274 SOS 43081 HAS SOPS 43081 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39405.081
AT ITER 8674 NEW BEST:: SOT 293272 SOS 43079 HAS SOPS 43079 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39396.079
AT ITER 8676 NEW BEST:: SOT 293257 SOS 43069 HAS SOPS 43069 HAS SOUS 39340 HAS SOUPS 39340 WITH SCORE 39383.069
AT ITER 8688 NEW BEST:: SOT 293257 SOS 43067 HAS SOPS 43067 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39381.067
AT ITER 8723 NEW BEST:: SOT 293257 SOS 43067 HAS SOPS 43067 HAS SOUS 39332 HAS SOUPS 39332 WITH SCORE 39375.067
AT ITER 8788 NEW BEST:: SOT 293257 SOS 43055 HAS SOPS 43055 HAS SOUS 39332 HAS SOUPS 39332 WITH SCORE 39375.055
AT ITER 8826 NEW BEST:: SOT 293257 SOS 43055 HAS SOPS 43055 HAS SOUS 39317 HAS SOUPS 39317 WITH SCORE 39360.055
AT ITER 8843 NEW BEST:: SOT 293254 SOS 43037 HAS SOPS 43037 HAS SOUS 39308 HAS SOUPS 39308 WITH SCORE 39351.037
AT ITER 8900 NEW BEST:: SOT 293254 SOS 43036 HAS SOPS 43036 HAS SOUS 39308 HAS SOUPS 39308 WITH SCORE 39351.036
AT ITER 9000 NEW BEST:: SOT 293227 SOS 43037 HAS SOPS 43037 HAS SOUS 39272 HAS SOUPS 39272 WITH SCORE 39315.037
AT ITER 9022 NEW BEST:: SOT 293227 SOS 42999 HAS SOPS 42999 HAS SOUS 39253 HAS SOUPS 39253 WITH SCORE 39295.999
AT ITER 9105 NEW BEST:: SOT 293237 SOS 42993 HAS SOPS 42993 HAS SOUS 39247 HAS SOUPS 39247 WITH SCORE 39289.993
AT ITER 9121 NEW BEST:: SOT 293229 SOS 42918 HAS SOPS 42918 HAS SOUS 39219 HAS SOUPS 39219 WITH SCORE 39261.918
AT ITER 9159 NEW BEST:: SOT 293223 SOS 42906 HAS SOPS 42906 HAS SOUS 39207 HAS SOUPS 39207 WITH SCORE 39249.906
AT ITER 9192 NEW BEST:: SOT 293223 SOS 42890 HAS SOPS 42890 HAS SOUS 39207 HAS SOUPS 39207 WITH SCORE 39249.89
AT ITER 9203 NEW BEST:: SOT 293212 SOS 42868 HAS SOPS 42868 HAS SOUS 39185 HAS SOUPS 39185 WITH SCORE 39227.868
AT ITER 9288 NEW BEST:: SOT 293176 SOS 42834 HAS SOPS 42834 HAS SOUS 39151 HAS SOUPS 39151 WITH SCORE 39193.834
AT ITER 9334 NEW BEST:: SOT 293176 SOS 42832 HAS SOPS 42832 HAS SOUS 39135 HAS SOUPS 39135 WITH SCORE 39177.832
AT ITER 9403 NEW BEST:: SOT 293169 SOS 42811 HAS SOPS 42811 HAS SOUS 39128 HAS SOUPS 39128 WITH SCORE 39170.811
AT ITER 9411 NEW BEST:: SOT 293162 SOS 42767 HAS SOPS 42767 HAS SOUS 39115 HAS SOUPS 39115 WITH SCORE 39157.767
AT ITER 9413 NEW BEST:: SOT 293162 SOS 42725 HAS SOPS 42725 HAS SOUS 39031 HAS SOUPS 39031 WITH SCORE 39073.725
AT ITER 9428 NEW BEST:: SOT 293157 SOS 42715 HAS SOPS 42715 HAS SOUS 39026 HAS SOUPS 39026 WITH SCORE 39068.715
AT ITER 9465 NEW BEST:: SOT 293072 SOS 42625 HAS SOPS 42625 HAS SOUS 38936 HAS SOUPS 38936 WITH SCORE 38978.625
AT ITER 9475 NEW BEST:: SOT 293035 SOS 42551 HAS SOPS 42551 HAS SOUS 38862 HAS SOUPS 38862 WITH SCORE 38904.551
AT ITER 9515 NEW BEST:: SOT 293035 SOS 42545 HAS SOPS 42545 HAS SOUS 38856 HAS SOUPS 38856 WITH SCORE 38898.545
AT ITER 9524 NEW BEST:: SOT 293035 SOS 42545 HAS SOPS 42545 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38839.545
AT ITER 9545 NEW BEST:: SOT 292986 SOS 42461 HAS SOPS 42461 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38755.461
AT ITER 9569 NEW BEST:: SOT 292989 SOS 42464 HAS SOPS 42464 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38752.464
AT ITER 9577 NEW BEST:: SOT 292977 SOS 42440 HAS SOPS 42440 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38714.44
AT ITER 9650 NEW BEST:: SOT 292916 SOS 42315 HAS SOPS 42315 HAS SOUS 38547 HAS SOUPS 38547 WITH SCORE 38589.315
AT ITER 9651 NEW BEST:: SOT 292880 SOS 42242 HAS SOPS 42242 HAS SOUS 38465 HAS SOUPS 38465 WITH SCORE 38507.242
AT ITER 9682 NEW BEST:: SOT 292876 SOS 42238 HAS SOPS 42238 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38503.238
AT ITER 9702 NEW BEST:: SOT 292876 SOS 42212 HAS SOPS 42212 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38503.212
AT ITER 9710 NEW BEST:: SOT 292832 SOS 42124 HAS SOPS 42124 HAS SOUS 38354 HAS SOUPS 38354 WITH SCORE 38396.124
AT ITER 9771 NEW BEST:: SOT 292815 SOS 42105 HAS SOPS 42105 HAS SOUS 38335 HAS SOUPS 38335 WITH SCORE 38377.105
AT ITER 9796 NEW BEST:: SOT 292737 SOS 42080 HAS SOPS 42080 HAS SOUS 38310 HAS SOUPS 38310 WITH SCORE 38352.08
AT ITER 9868 NEW BEST:: SOT 292746 SOS 41980 HAS SOPS 41980 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38310.98
AT ITER 9871 NEW BEST:: SOT 292752 SOS 41984 HAS SOPS 41984 HAS SOUS 38267 HAS SOUPS 38267 WITH SCORE 38308.984
AT ITER 9942 NEW BEST:: SOT 292748 SOS 41938 HAS SOPS 41938 HAS SOUS 38234 HAS SOUPS 38234 WITH SCORE 38275.938
AT ITER 9943 NEW BEST:: SOT 292748 SOS 41916 HAS SOPS 41916 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38253.916

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="ShieldPPPt-PT-010B"
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 ShieldPPPt-PT-010B, 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 r207-tajo-159033469800664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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