Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711400080.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldIIPs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711400080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.2K Feb 25 15:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 15:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 15:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 15:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 15:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 15:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 15:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 82K Mar 5 18:23 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 1679060200569

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

Filename model.pnml
Petri model created: 303 places, 298 transitions, 896 arcs.
AT ITER 0 NEW BEST:: SOT 50992 SOS 14714 HAS SOPS 14714 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12012.714
AT ITER 2 NEW BEST:: SOT 50992 SOS 14698 HAS SOPS 14698 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 11996.698
AT ITER 5 NEW BEST:: SOT 50943 SOS 14673 HAS SOPS 14673 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11995.673
AT ITER 28 NEW BEST:: SOT 50923 SOS 14661 HAS SOPS 14661 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11983.661
AT ITER 48 NEW BEST:: SOT 50922 SOS 14659 HAS SOPS 14659 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11980.659
AT ITER 64 NEW BEST:: SOT 50901 SOS 14617 HAS SOPS 14617 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11970.617
AT ITER 74 NEW BEST:: SOT 50881 SOS 14580 HAS SOPS 14580 HAS SOUS 11951 HAS SOUPS 11951 WITH SCORE 11965.58
AT ITER 76 NEW BEST:: SOT 50881 SOS 14589 HAS SOPS 14589 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11959.589
AT ITER 77 NEW BEST:: SOT 50881 SOS 14531 HAS SOPS 14531 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11934.531
AT ITER 80 NEW BEST:: SOT 50867 SOS 14517 HAS SOPS 14517 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11892.517
AT ITER 89 NEW BEST:: SOT 50815 SOS 14491 HAS SOPS 14491 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11866.491
AT ITER 97 NEW BEST:: SOT 50815 SOS 14539 HAS SOPS 14539 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11865.539
AT ITER 104 NEW BEST:: SOT 50815 SOS 14596 HAS SOPS 14596 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11864.596
AT ITER 139 NEW BEST:: SOT 50776 SOS 14603 HAS SOPS 14603 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11857.603
AT ITER 152 NEW BEST:: SOT 50776 SOS 14607 HAS SOPS 14607 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11829.607
AT ITER 159 NEW BEST:: SOT 50737 SOS 14536 HAS SOPS 14536 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11793.536
AT ITER 164 NEW BEST:: SOT 50738 SOS 14445 HAS SOPS 14445 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11771.445
AT ITER 167 NEW BEST:: SOT 50738 SOS 14463 HAS SOPS 14463 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11762.463
AT ITER 227 NEW BEST:: SOT 50733 SOS 14458 HAS SOPS 14458 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11757.458
AT ITER 228 NEW BEST:: SOT 50699 SOS 14416 HAS SOPS 14416 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11621.416
AT ITER 230 NEW BEST:: SOT 50700 SOS 14413 HAS SOPS 14413 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11618.413
AT ITER 249 NEW BEST:: SOT 50695 SOS 14244 HAS SOPS 14244 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11585.244
AT ITER 275 NEW BEST:: SOT 50738 SOS 14254 HAS SOPS 14254 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11578.254
AT ITER 276 NEW BEST:: SOT 50631 SOS 14220 HAS SOPS 14220 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11503.22
AT ITER 322 NEW BEST:: SOT 50622 SOS 14211 HAS SOPS 14211 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11494.211
AT ITER 323 NEW BEST:: SOT 50604 SOS 14202 HAS SOPS 14202 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11485.202
AT ITER 324 NEW BEST:: SOT 50620 SOS 14332 HAS SOPS 14332 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11460.332
AT ITER 325 NEW BEST:: SOT 50626 SOS 14312 HAS SOPS 14312 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11433.312
AT ITER 333 NEW BEST:: SOT 50593 SOS 14281 HAS SOPS 14281 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11400.281
AT ITER 340 NEW BEST:: SOT 50593 SOS 14273 HAS SOPS 14273 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11400.273
AT ITER 348 NEW BEST:: SOT 50592 SOS 14268 HAS SOPS 14268 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11399.268
AT ITER 350 NEW BEST:: SOT 50531 SOS 14227 HAS SOPS 14227 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11350.227
AT ITER 357 NEW BEST:: SOT 50531 SOS 14227 HAS SOPS 14227 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11329.227
AT ITER 359 NEW BEST:: SOT 50500 SOS 14113 HAS SOPS 14113 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11275.113
AT ITER 373 NEW BEST:: SOT 50473 SOS 14086 HAS SOPS 14086 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11248.086
AT ITER 395 NEW BEST:: SOT 50422 SOS 14062 HAS SOPS 14062 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11224.062
AT ITER 408 NEW BEST:: SOT 50401 SOS 14042 HAS SOPS 14042 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11206.042
AT ITER 410 NEW BEST:: SOT 50388 SOS 14029 HAS SOPS 14029 HAS SOUS 11191 HAS SOUPS 11191 WITH SCORE 11205.029
AT ITER 413 NEW BEST:: SOT 50276 SOS 14001 HAS SOPS 14001 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11175.001
AT ITER 433 NEW BEST:: SOT 50276 SOS 13992 HAS SOPS 13992 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11165.992
AT ITER 442 NEW BEST:: SOT 50272 SOS 13984 HAS SOPS 13984 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11161.984
AT ITER 490 NEW BEST:: SOT 50261 SOS 13973 HAS SOPS 13973 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11161.973
AT ITER 509 NEW BEST:: SOT 50261 SOS 13813 HAS SOPS 13813 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11121.813
AT ITER 526 NEW BEST:: SOT 50256 SOS 13806 HAS SOPS 13806 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11115.806
AT ITER 529 NEW BEST:: SOT 50256 SOS 13806 HAS SOPS 13806 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11112.806
AT ITER 541 NEW BEST:: SOT 50256 SOS 13805 HAS SOPS 13805 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11111.805
AT ITER 543 NEW BEST:: SOT 50256 SOS 13821 HAS SOPS 13821 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11096.821
AT ITER 552 NEW BEST:: SOT 50247 SOS 13803 HAS SOPS 13803 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11078.803
AT ITER 578 NEW BEST:: SOT 50202 SOS 13760 HAS SOPS 13760 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11035.76
AT ITER 600 NEW BEST:: SOT 50174 SOS 13766 HAS SOPS 13766 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11013.766
AT ITER 602 NEW BEST:: SOT 50157 SOS 13725 HAS SOPS 13725 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10984.725
AT ITER 618 NEW BEST:: SOT 50157 SOS 13724 HAS SOPS 13724 HAS SOUS 10970 HAS SOUPS 10970 WITH SCORE 10983.724
AT ITER 632 NEW BEST:: SOT 50152 SOS 13713 HAS SOPS 13713 HAS SOUS 10963 HAS SOUPS 10963 WITH SCORE 10976.713
AT ITER 638 NEW BEST:: SOT 50139 SOS 13668 HAS SOPS 13668 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10947.668
AT ITER 661 NEW BEST:: SOT 50135 SOS 13630 HAS SOPS 13630 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10924.63
AT ITER 663 NEW BEST:: SOT 50084 SOS 13596 HAS SOPS 13596 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10890.596
AT ITER 675 NEW BEST:: SOT 49997 SOS 13615 HAS SOPS 13615 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10885.615
AT ITER 687 NEW BEST:: SOT 49917 SOS 13409 HAS SOPS 13409 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10799.409
AT ITER 699 NEW BEST:: SOT 49913 SOS 13428 HAS SOPS 13428 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10792.428
AT ITER 740 NEW BEST:: SOT 49913 SOS 13416 HAS SOPS 13416 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10780.416
AT ITER 743 NEW BEST:: SOT 49916 SOS 13422 HAS SOPS 13422 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10772.422
AT ITER 776 NEW BEST:: SOT 49891 SOS 13434 HAS SOPS 13434 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10735.434
AT ITER 793 NEW BEST:: SOT 49877 SOS 13353 HAS SOPS 13353 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10721.353
AT ITER 810 NEW BEST:: SOT 49890 SOS 13405 HAS SOPS 13405 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10718.405
AT ITER 829 NEW BEST:: SOT 49829 SOS 13322 HAS SOPS 13322 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10661.322
AT ITER 875 NEW BEST:: SOT 49829 SOS 13325 HAS SOPS 13325 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10660.325
AT ITER 886 NEW BEST:: SOT 49814 SOS 13298 HAS SOPS 13298 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10655.298
AT ITER 915 NEW BEST:: SOT 49814 SOS 13296 HAS SOPS 13296 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10653.296
AT ITER 953 NEW BEST:: SOT 49814 SOS 13294 HAS SOPS 13294 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10651.294
AT ITER 955 NEW BEST:: SOT 49799 SOS 13346 HAS SOPS 13346 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10636.346
AT ITER 972 NEW BEST:: SOT 49807 SOS 13362 HAS SOPS 13362 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10632.362
AT ITER 979 NEW BEST:: SOT 49804 SOS 13359 HAS SOPS 13359 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10629.359
AT ITER 999 NEW BEST:: SOT 49799 SOS 13358 HAS SOPS 13358 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10627.358
AT ITER 1001 NEW BEST:: SOT 49755 SOS 13390 HAS SOPS 13390 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10621.39
AT ITER 1013 NEW BEST:: SOT 49699 SOS 13345 HAS SOPS 13345 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10601.345
AT ITER 1035 NEW BEST:: SOT 49692 SOS 13331 HAS SOPS 13331 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10594.331
AT ITER 1042 NEW BEST:: SOT 49692 SOS 13325 HAS SOPS 13325 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10591.325
AT ITER 1052 NEW BEST:: SOT 49674 SOS 13309 HAS SOPS 13309 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10591.309
AT ITER 1054 NEW BEST:: SOT 49674 SOS 13305 HAS SOPS 13305 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.305
AT ITER 1067 NEW BEST:: SOT 49669 SOS 13290 HAS SOPS 13290 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10577.29
AT ITER 1077 NEW BEST:: SOT 49654 SOS 13279 HAS SOPS 13279 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10569.279
AT ITER 1104 NEW BEST:: SOT 49652 SOS 13277 HAS SOPS 13277 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10569.277
AT ITER 1107 NEW BEST:: SOT 49574 SOS 13259 HAS SOPS 13259 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10537.259
AT ITER 1116 NEW BEST:: SOT 49574 SOS 13257 HAS SOPS 13257 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10537.257
AT ITER 1124 NEW BEST:: SOT 49574 SOS 13256 HAS SOPS 13256 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10536.256
AT ITER 1145 NEW BEST:: SOT 49574 SOS 13255 HAS SOPS 13255 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10535.255
AT ITER 1161 NEW BEST:: SOT 49571 SOS 13080 HAS SOPS 13080 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10484.08
AT ITER 1162 NEW BEST:: SOT 49571 SOS 13079 HAS SOPS 13079 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10483.079
AT ITER 1180 NEW BEST:: SOT 49510 SOS 13016 HAS SOPS 13016 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10428.016
AT ITER 1209 NEW BEST:: SOT 49484 SOS 12976 HAS SOPS 12976 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10397.976
AT ITER 1267 NEW BEST:: SOT 49484 SOS 12973 HAS SOPS 12973 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10394.973
AT ITER 1283 NEW BEST:: SOT 49484 SOS 12981 HAS SOPS 12981 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10372.981
AT ITER 1321 NEW BEST:: SOT 49451 SOS 13076 HAS SOPS 13076 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10300.076
AT ITER 1324 NEW BEST:: SOT 49451 SOS 13074 HAS SOPS 13074 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10300.074
AT ITER 1341 NEW BEST:: SOT 49451 SOS 13032 HAS SOPS 13032 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10300.032
AT ITER 1350 NEW BEST:: SOT 49450 SOS 12898 HAS SOPS 12898 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10283.898
AT ITER 1370 NEW BEST:: SOT 49439 SOS 12894 HAS SOPS 12894 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10282.894
AT ITER 1385 NEW BEST:: SOT 49439 SOS 12789 HAS SOPS 12789 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10282.789
AT ITER 1420 NEW BEST:: SOT 49439 SOS 12788 HAS SOPS 12788 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10281.788
AT ITER 1436 NEW BEST:: SOT 49436 SOS 12773 HAS SOPS 12773 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10266.773
AT ITER 1443 NEW BEST:: SOT 49419 SOS 12770 HAS SOPS 12770 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10263.77
AT ITER 1457 NEW BEST:: SOT 49406 SOS 12709 HAS SOPS 12709 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10249.709
AT ITER 1480 NEW BEST:: SOT 49395 SOS 12698 HAS SOPS 12698 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10245.698
AT ITER 1498 NEW BEST:: SOT 49394 SOS 12679 HAS SOPS 12679 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10226.679
AT ITER 1547 NEW BEST:: SOT 49394 SOS 12677 HAS SOPS 12677 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10224.677
AT ITER 1560 NEW BEST:: SOT 49378 SOS 12681 HAS SOPS 12681 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10219.681
AT ITER 1625 NEW BEST:: SOT 49366 SOS 12645 HAS SOPS 12645 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10207.645
AT ITER 1696 NEW BEST:: SOT 49375 SOS 12643 HAS SOPS 12643 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10205.643
AT ITER 1746 NEW BEST:: SOT 49377 SOS 12641 HAS SOPS 12641 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10203.641
AT ITER 1785 NEW BEST:: SOT 49370 SOS 12640 HAS SOPS 12640 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10202.64
AT ITER 1805 NEW BEST:: SOT 49362 SOS 12618 HAS SOPS 12618 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10188.618
AT ITER 1866 NEW BEST:: SOT 49362 SOS 12622 HAS SOPS 12622 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10184.622
AT ITER 1869 NEW BEST:: SOT 49369 SOS 12605 HAS SOPS 12605 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10167.605
AT ITER 1871 NEW BEST:: SOT 49379 SOS 12673 HAS SOPS 12673 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10137.673
AT ITER 1901 NEW BEST:: SOT 49379 SOS 12670 HAS SOPS 12670 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10137.67
AT ITER 1903 NEW BEST:: SOT 49384 SOS 12657 HAS SOPS 12657 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10124.657
AT ITER 1912 NEW BEST:: SOT 49385 SOS 12578 HAS SOPS 12578 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10124.578
AT ITER 1952 NEW BEST:: SOT 49361 SOS 12473 HAS SOPS 12473 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10028.473
AT ITER 1962 NEW BEST:: SOT 49357 SOS 12456 HAS SOPS 12456 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10028.456
AT ITER 1974 NEW BEST:: SOT 49372 SOS 12452 HAS SOPS 12452 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10028.452
AT ITER 1976 NEW BEST:: SOT 49370 SOS 12463 HAS SOPS 12463 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10021.463
AT ITER 2004 NEW BEST:: SOT 49374 SOS 12463 HAS SOPS 12463 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10017.463
AT ITER 2006 NEW BEST:: SOT 49370 SOS 12459 HAS SOPS 12459 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10009.459
AT ITER 2009 NEW BEST:: SOT 49368 SOS 12454 HAS SOPS 12454 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10009.454
AT ITER 2029 NEW BEST:: SOT 49368 SOS 12450 HAS SOPS 12450 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10007.45
AT ITER 2036 NEW BEST:: SOT 49347 SOS 12436 HAS SOPS 12436 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9993.436
AT ITER 2049 NEW BEST:: SOT 49315 SOS 12409 HAS SOPS 12409 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9990.409
AT ITER 2052 NEW BEST:: SOT 49303 SOS 12395 HAS SOPS 12395 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9966.395
AT ITER 2053 NEW BEST:: SOT 49334 SOS 12456 HAS SOPS 12456 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9948.456
AT ITER 2073 NEW BEST:: SOT 49333 SOS 12464 HAS SOPS 12464 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9947.464
AT ITER 2101 NEW BEST:: SOT 49333 SOS 12469 HAS SOPS 12469 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9938.469
AT ITER 2106 NEW BEST:: SOT 49298 SOS 12409 HAS SOPS 12409 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9873.409
AT ITER 2114 NEW BEST:: SOT 49298 SOS 12431 HAS SOPS 12431 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9852.431
AT ITER 2116 NEW BEST:: SOT 49297 SOS 12414 HAS SOPS 12414 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9843.414
AT ITER 2164 NEW BEST:: SOT 49291 SOS 12408 HAS SOPS 12408 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9837.408
AT ITER 2172 NEW BEST:: SOT 49278 SOS 12402 HAS SOPS 12402 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9834.402
AT ITER 2176 NEW BEST:: SOT 49276 SOS 12399 HAS SOPS 12399 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9831.399
AT ITER 2199 NEW BEST:: SOT 49272 SOS 12394 HAS SOPS 12394 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9826.394
AT ITER 2213 NEW BEST:: SOT 49268 SOS 12386 HAS SOPS 12386 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9822.386
AT ITER 2225 NEW BEST:: SOT 49268 SOS 12375 HAS SOPS 12375 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9819.375
AT ITER 2243 NEW BEST:: SOT 49264 SOS 12362 HAS SOPS 12362 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9818.362
AT ITER 2256 NEW BEST:: SOT 49264 SOS 12361 HAS SOPS 12361 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9818.361
AT ITER 2259 NEW BEST:: SOT 49261 SOS 12312 HAS SOPS 12312 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9811.312
AT ITER 2264 NEW BEST:: SOT 49280 SOS 12284 HAS SOPS 12284 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9809.284
AT ITER 2298 NEW BEST:: SOT 49280 SOS 12277 HAS SOPS 12277 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9802.277
AT ITER 2307 NEW BEST:: SOT 49265 SOS 12254 HAS SOPS 12254 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9779.254
AT ITER 2309 NEW BEST:: SOT 49265 SOS 12250 HAS SOPS 12250 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9775.25
AT ITER 2313 NEW BEST:: SOT 49300 SOS 12200 HAS SOPS 12200 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9746.2
AT ITER 2321 NEW BEST:: SOT 49300 SOS 12195 HAS SOPS 12195 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9738.195
AT ITER 2337 NEW BEST:: SOT 49287 SOS 12171 HAS SOPS 12171 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9698.171
AT ITER 2339 NEW BEST:: SOT 49287 SOS 12169 HAS SOPS 12169 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9696.169
AT ITER 2369 NEW BEST:: SOT 49284 SOS 12160 HAS SOPS 12160 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9687.16
AT ITER 2376 NEW BEST:: SOT 49196 SOS 12065 HAS SOPS 12065 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9603.065
AT ITER 2398 NEW BEST:: SOT 49196 SOS 12028 HAS SOPS 12028 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9592.028
AT ITER 2399 NEW BEST:: SOT 49196 SOS 12027 HAS SOPS 12027 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9592.027
AT ITER 2432 NEW BEST:: SOT 49194 SOS 11989 HAS SOPS 11989 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9580.989
AT ITER 2442 NEW BEST:: SOT 49194 SOS 11988 HAS SOPS 11988 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9579.988
AT ITER 2450 NEW BEST:: SOT 49184 SOS 11978 HAS SOPS 11978 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9569.978
AT ITER 2452 NEW BEST:: SOT 49150 SOS 11842 HAS SOPS 11842 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9535.842
AT ITER 2463 NEW BEST:: SOT 49148 SOS 11796 HAS SOPS 11796 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9516.796
AT ITER 2500 NEW BEST:: SOT 49148 SOS 11795 HAS SOPS 11795 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9515.795
AT ITER 2511 NEW BEST:: SOT 49144 SOS 11791 HAS SOPS 11791 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9511.791
AT ITER 2540 NEW BEST:: SOT 49127 SOS 11680 HAS SOPS 11680 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9472.68
AT ITER 2555 NEW BEST:: SOT 49118 SOS 11671 HAS SOPS 11671 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9463.671
AT ITER 2559 NEW BEST:: SOT 49105 SOS 11679 HAS SOPS 11679 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9462.679
AT ITER 2600 NEW BEST:: SOT 49103 SOS 11633 HAS SOPS 11633 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9439.633
AT ITER 2619 NEW BEST:: SOT 49081 SOS 11600 HAS SOPS 11600 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9417.6
AT ITER 2660 NEW BEST:: SOT 49080 SOS 11599 HAS SOPS 11599 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9416.599
AT ITER 2710 NEW BEST:: SOT 49080 SOS 11591 HAS SOPS 11591 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9416.591
AT ITER 2717 NEW BEST:: SOT 49067 SOS 11579 HAS SOPS 11579 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9390.579
AT ITER 2720 NEW BEST:: SOT 49059 SOS 11557 HAS SOPS 11557 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9386.557
AT ITER 2727 NEW BEST:: SOT 49083 SOS 11486 HAS SOPS 11486 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9360.486
AT ITER 2731 NEW BEST:: SOT 49089 SOS 11459 HAS SOPS 11459 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9339.459
AT ITER 2759 NEW BEST:: SOT 49089 SOS 11455 HAS SOPS 11455 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9335.455
AT ITER 2763 NEW BEST:: SOT 49063 SOS 11418 HAS SOPS 11418 HAS SOUS 9308 HAS SOUPS 9308 WITH SCORE 9319.418
AT ITER 2827 NEW BEST:: SOT 49037 SOS 11303 HAS SOPS 11303 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9282.303
AT ITER 2838 NEW BEST:: SOT 49027 SOS 11298 HAS SOPS 11298 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9272.298
AT ITER 2841 NEW BEST:: SOT 49018 SOS 11289 HAS SOPS 11289 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9263.289
AT ITER 2852 NEW BEST:: SOT 49018 SOS 11397 HAS SOPS 11397 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9254.397
AT ITER 2866 NEW BEST:: SOT 49011 SOS 11417 HAS SOPS 11417 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9238.417
AT ITER 2874 NEW BEST:: SOT 48999 SOS 11353 HAS SOPS 11353 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9216.353
AT ITER 2897 NEW BEST:: SOT 48979 SOS 11321 HAS SOPS 11321 HAS SOUS 9182 HAS SOUPS 9182 WITH SCORE 9193.321
AT ITER 2931 NEW BEST:: SOT 48975 SOS 11309 HAS SOPS 11309 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9189.309
AT ITER 2941 NEW BEST:: SOT 48959 SOS 11213 HAS SOPS 11213 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9141.213
AT ITER 3006 NEW BEST:: SOT 48955 SOS 11208 HAS SOPS 11208 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9136.208
AT ITER 3089 NEW BEST:: SOT 48957 SOS 11210 HAS SOPS 11210 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9132.21
AT ITER 3146 NEW BEST:: SOT 48950 SOS 11227 HAS SOPS 11227 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9129.227
AT ITER 3163 NEW BEST:: SOT 48978 SOS 11187 HAS SOPS 11187 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9126.187
AT ITER 3179 NEW BEST:: SOT 48972 SOS 11163 HAS SOPS 11163 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9111.163
AT ITER 3222 NEW BEST:: SOT 48972 SOS 11106 HAS SOPS 11106 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9105.106
AT ITER 3275 NEW BEST:: SOT 48966 SOS 11062 HAS SOPS 11062 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9099.062
AT ITER 3276 NEW BEST:: SOT 48942 SOS 10990 HAS SOPS 10990 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9070.99
AT ITER 3298 NEW BEST:: SOT 48932 SOS 11010 HAS SOPS 11010 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9061.01
AT ITER 3300 NEW BEST:: SOT 48929 SOS 11007 HAS SOPS 11007 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9058.007
AT ITER 3313 NEW BEST:: SOT 48851 SOS 10847 HAS SOPS 10847 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8952.847
AT ITER 3314 NEW BEST:: SOT 48861 SOS 10873 HAS SOPS 10873 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8950.873
AT ITER 3317 NEW BEST:: SOT 48858 SOS 10858 HAS SOPS 10858 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8942.858
AT ITER 3319 NEW BEST:: SOT 48858 SOS 10867 HAS SOPS 10867 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8940.867
AT ITER 3352 NEW BEST:: SOT 48815 SOS 10820 HAS SOPS 10820 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8895.82
AT ITER 3362 NEW BEST:: SOT 48809 SOS 10808 HAS SOPS 10808 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8889.808
AT ITER 3363 NEW BEST:: SOT 48796 SOS 10825 HAS SOPS 10825 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8876.825
AT ITER 3372 NEW BEST:: SOT 48765 SOS 10774 HAS SOPS 10774 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8836.774
AT ITER 3375 NEW BEST:: SOT 48758 SOS 10769 HAS SOPS 10769 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8831.769
AT ITER 3382 NEW BEST:: SOT 48738 SOS 10712 HAS SOPS 10712 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8794.712
AT ITER 3389 NEW BEST:: SOT 48736 SOS 10710 HAS SOPS 10710 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8792.71
AT ITER 3392 NEW BEST:: SOT 48739 SOS 10703 HAS SOPS 10703 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8785.703
AT ITER 3396 NEW BEST:: SOT 48739 SOS 10691 HAS SOPS 10691 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8779.691
AT ITER 3417 NEW BEST:: SOT 48739 SOS 10695 HAS SOPS 10695 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8773.695
AT ITER 3430 NEW BEST:: SOT 48739 SOS 10694 HAS SOPS 10694 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8772.694
AT ITER 3473 NEW BEST:: SOT 48733 SOS 10682 HAS SOPS 10682 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8770.682
AT ITER 3487 NEW BEST:: SOT 48733 SOS 10680 HAS SOPS 10680 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8768.68
AT ITER 3500 NEW BEST:: SOT 48731 SOS 10670 HAS SOPS 10670 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.67
AT ITER 3558 NEW BEST:: SOT 48731 SOS 10645 HAS SOPS 10645 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.645
AT ITER 3567 NEW BEST:: SOT 48711 SOS 10635 HAS SOPS 10635 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8749.635
AT ITER 3646 NEW BEST:: SOT 48688 SOS 10525 HAS SOPS 10525 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8717.525
AT ITER 3657 NEW BEST:: SOT 48684 SOS 10533 HAS SOPS 10533 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8709.533
AT ITER 3737 NEW BEST:: SOT 48678 SOS 10535 HAS SOPS 10535 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8707.535
AT ITER 3835 NEW BEST:: SOT 48678 SOS 10532 HAS SOPS 10532 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8704.532
AT ITER 3868 NEW BEST:: SOT 48669 SOS 10507 HAS SOPS 10507 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8702.507
AT ITER 3878 NEW BEST:: SOT 48654 SOS 10484 HAS SOPS 10484 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8687.484
AT ITER 3894 NEW BEST:: SOT 48654 SOS 10437 HAS SOPS 10437 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8687.437
AT ITER 3900 NEW BEST:: SOT 48652 SOS 10433 HAS SOPS 10433 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8685.433
AT ITER 3915 NEW BEST:: SOT 48641 SOS 10401 HAS SOPS 10401 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8670.401
AT ITER 3936 NEW BEST:: SOT 48629 SOS 10393 HAS SOPS 10393 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8663.393
AT ITER 3961 NEW BEST:: SOT 48629 SOS 10385 HAS SOPS 10385 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8655.385
AT ITER 3985 NEW BEST:: SOT 48627 SOS 10387 HAS SOPS 10387 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8647.387
AT ITER 4089 NEW BEST:: SOT 48625 SOS 10434 HAS SOPS 10434 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8636.434
AT ITER 4128 NEW BEST:: SOT 48622 SOS 10420 HAS SOPS 10420 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8631.42
AT ITER 4139 NEW BEST:: SOT 48622 SOS 10405 HAS SOPS 10405 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8621.405
AT ITER 4140 NEW BEST:: SOT 48622 SOS 10395 HAS SOPS 10395 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8611.395
AT ITER 4155 NEW BEST:: SOT 48625 SOS 10398 HAS SOPS 10398 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8604.398
AT ITER 4185 NEW BEST:: SOT 48625 SOS 10398 HAS SOPS 10398 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8601.398
AT ITER 4206 NEW BEST:: SOT 48625 SOS 10339 HAS SOPS 10339 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8534.339
AT ITER 4217 NEW BEST:: SOT 48611 SOS 10327 HAS SOPS 10327 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8514.327
AT ITER 4224 NEW BEST:: SOT 48580 SOS 10297 HAS SOPS 10297 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8502.297
AT ITER 4229 NEW BEST:: SOT 48572 SOS 10237 HAS SOPS 10237 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8493.237
AT ITER 4230 NEW BEST:: SOT 48531 SOS 10323 HAS SOPS 10323 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8475.323
AT ITER 4359 NEW BEST:: SOT 48535 SOS 10327 HAS SOPS 10327 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8465.327
AT ITER 4372 NEW BEST:: SOT 48533 SOS 10324 HAS SOPS 10324 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8463.324
AT ITER 4395 NEW BEST:: SOT 48533 SOS 10323 HAS SOPS 10323 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8462.323
AT ITER 4440 NEW BEST:: SOT 48533 SOS 10306 HAS SOPS 10306 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8445.306
AT ITER 4481 NEW BEST:: SOT 48531 SOS 10304 HAS SOPS 10304 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8443.304
AT ITER 4490 NEW BEST:: SOT 48531 SOS 10303 HAS SOPS 10303 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8442.303
AT ITER 4501 NEW BEST:: SOT 48532 SOS 10299 HAS SOPS 10299 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8438.299
AT ITER 4550 NEW BEST:: SOT 48528 SOS 10295 HAS SOPS 10295 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8434.295
AT ITER 4554 NEW BEST:: SOT 48519 SOS 10212 HAS SOPS 10212 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8407.212
AT ITER 4567 NEW BEST:: SOT 48526 SOS 10219 HAS SOPS 10219 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8404.219
AT ITER 4570 NEW BEST:: SOT 48533 SOS 10226 HAS SOPS 10226 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8398.226
AT ITER 4646 NEW BEST:: SOT 48533 SOS 10219 HAS SOPS 10219 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8398.219
AT ITER 4759 NEW BEST:: SOT 48528 SOS 10214 HAS SOPS 10214 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8393.214
AT ITER 4765 NEW BEST:: SOT 48516 SOS 10147 HAS SOPS 10147 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8357.147
AT ITER 4770 NEW BEST:: SOT 48515 SOS 10129 HAS SOPS 10129 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8344.129
AT ITER 4821 NEW BEST:: SOT 48515 SOS 10126 HAS SOPS 10126 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8341.126
AT ITER 4832 NEW BEST:: SOT 48505 SOS 10115 HAS SOPS 10115 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8331.115
AT ITER 4847 NEW BEST:: SOT 48452 SOS 10062 HAS SOPS 10062 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8278.062
AT ITER 4905 NEW BEST:: SOT 48444 SOS 10036 HAS SOPS 10036 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8262.036
AT ITER 4912 NEW BEST:: SOT 48438 SOS 10024 HAS SOPS 10024 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8250.024
AT ITER 4939 NEW BEST:: SOT 48437 SOS 10020 HAS SOPS 10020 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8250.02
AT ITER 5011 NEW BEST:: SOT 48428 SOS 10005 HAS SOPS 10005 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8239.005
AT ITER 5023 NEW BEST:: SOT 48421 SOS 9977 HAS SOPS 9977 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8224.977
AT ITER 5077 NEW BEST:: SOT 48421 SOS 9971 HAS SOPS 9971 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8210.971
AT ITER 5175 NEW BEST:: SOT 48421 SOS 9969 HAS SOPS 9969 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8208.969
AT ITER 5183 NEW BEST:: SOT 48418 SOS 9968 HAS SOPS 9968 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8205.968
AT ITER 5202 NEW BEST:: SOT 48405 SOS 9952 HAS SOPS 9952 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8188.952
AT ITER 5229 NEW BEST:: SOT 48406 SOS 9947 HAS SOPS 9947 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.947
AT ITER 5232 NEW BEST:: SOT 48406 SOS 9938 HAS SOPS 9938 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8174.938
AT ITER 5257 NEW BEST:: SOT 48387 SOS 9864 HAS SOPS 9864 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8131.864
AT ITER 5272 NEW BEST:: SOT 48395 SOS 9872 HAS SOPS 9872 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8128.872
AT ITER 5320 NEW BEST:: SOT 48375 SOS 9861 HAS SOPS 9861 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8112.861
AT ITER 5340 NEW BEST:: SOT 48374 SOS 9859 HAS SOPS 9859 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8110.859
AT ITER 5395 NEW BEST:: SOT 48391 SOS 9867 HAS SOPS 9867 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8106.867
AT ITER 5403 NEW BEST:: SOT 48391 SOS 9851 HAS SOPS 9851 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8090.851
AT ITER 5405 NEW BEST:: SOT 48391 SOS 9842 HAS SOPS 9842 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8081.842
AT ITER 5436 NEW BEST:: SOT 48386 SOS 9816 HAS SOPS 9816 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8076.816
AT ITER 5488 NEW BEST:: SOT 48376 SOS 9808 HAS SOPS 9808 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8068.808
AT ITER 5522 NEW BEST:: SOT 48369 SOS 9801 HAS SOPS 9801 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8061.801
AT ITER 5556 NEW BEST:: SOT 48319 SOS 9779 HAS SOPS 9779 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8039.779
AT ITER 5562 NEW BEST:: SOT 48319 SOS 9771 HAS SOPS 9771 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8039.771
AT ITER 5683 NEW BEST:: SOT 48321 SOS 9765 HAS SOPS 9765 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8037.765
AT ITER 5719 NEW BEST:: SOT 48317 SOS 9761 HAS SOPS 9761 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.761
AT ITER 5731 NEW BEST:: SOT 48317 SOS 9754 HAS SOPS 9754 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.754
AT ITER 5753 NEW BEST:: SOT 48315 SOS 9752 HAS SOPS 9752 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8033.752
AT ITER 5801 NEW BEST:: SOT 48276 SOS 9573 HAS SOPS 9573 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8008.573
AT ITER 5815 NEW BEST:: SOT 48271 SOS 9553 HAS SOPS 9553 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7996.553
AT ITER 5827 NEW BEST:: SOT 48270 SOS 9551 HAS SOPS 9551 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7995.551
AT ITER 5917 NEW BEST:: SOT 48269 SOS 9551 HAS SOPS 9551 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7994.551
AT ITER 5944 NEW BEST:: SOT 48261 SOS 9475 HAS SOPS 9475 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7971.475
AT ITER 5955 NEW BEST:: SOT 48256 SOS 9470 HAS SOPS 9470 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7966.47
AT ITER 5957 NEW BEST:: SOT 48230 SOS 9464 HAS SOPS 9464 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.464
AT ITER 5967 NEW BEST:: SOT 48218 SOS 9438 HAS SOPS 9438 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7930.438
AT ITER 5991 NEW BEST:: SOT 48214 SOS 9429 HAS SOPS 9429 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7929.429
AT ITER 5999 NEW BEST:: SOT 48214 SOS 9428 HAS SOPS 9428 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7928.428
AT ITER 6016 NEW BEST:: SOT 48208 SOS 9416 HAS SOPS 9416 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7922.416
AT ITER 6044 NEW BEST:: SOT 48208 SOS 9403 HAS SOPS 9403 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7909.403
AT ITER 6088 NEW BEST:: SOT 48208 SOS 9403 HAS SOPS 9403 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7908.403
AT ITER 6118 NEW BEST:: SOT 48208 SOS 9403 HAS SOPS 9403 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7906.403
AT ITER 6163 NEW BEST:: SOT 48206 SOS 9401 HAS SOPS 9401 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7904.401
AT ITER 6199 NEW BEST:: SOT 48206 SOS 9427 HAS SOPS 9427 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.427
AT ITER 6227 NEW BEST:: SOT 48206 SOS 9415 HAS SOPS 9415 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7885.415
AT ITER 6259 NEW BEST:: SOT 48200 SOS 9404 HAS SOPS 9404 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7874.404
AT ITER 6310 NEW BEST:: SOT 48194 SOS 9403 HAS SOPS 9403 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7874.403
AT ITER 6372 NEW BEST:: SOT 48194 SOS 9402 HAS SOPS 9402 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7873.402
AT ITER 6380 NEW BEST:: SOT 48187 SOS 9359 HAS SOPS 9359 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7865.359
AT ITER 6456 NEW BEST:: SOT 48186 SOS 9373 HAS SOPS 9373 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7864.373
AT ITER 6509 NEW BEST:: SOT 48185 SOS 9372 HAS SOPS 9372 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7863.372
AT ITER 6546 NEW BEST:: SOT 48193 SOS 9380 HAS SOPS 9380 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7856.38
AT ITER 6574 NEW BEST:: SOT 48193 SOS 9364 HAS SOPS 9364 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7852.364
AT ITER 6635 NEW BEST:: SOT 48202 SOS 9365 HAS SOPS 9365 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.365
AT ITER 6692 NEW BEST:: SOT 48199 SOS 9362 HAS SOPS 9362 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.362
AT ITER 6733 NEW BEST:: SOT 48195 SOS 9346 HAS SOPS 9346 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7816.346
AT ITER 6788 NEW BEST:: SOT 48185 SOS 9326 HAS SOPS 9326 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7799.326
AT ITER 6880 NEW BEST:: SOT 48177 SOS 9310 HAS SOPS 9310 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7775.31
AT ITER 6901 NEW BEST:: SOT 48177 SOS 9323 HAS SOPS 9323 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7770.323
AT ITER 6990 NEW BEST:: SOT 48161 SOS 9303 HAS SOPS 9303 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7750.303
AT ITER 7036 NEW BEST:: SOT 48148 SOS 9300 HAS SOPS 9300 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7747.3
AT ITER 7071 NEW BEST:: SOT 48139 SOS 9284 HAS SOPS 9284 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7731.284
AT ITER 7125 NEW BEST:: SOT 48141 SOS 9291 HAS SOPS 9291 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7730.291
AT ITER 7197 NEW BEST:: SOT 48152 SOS 9300 HAS SOPS 9300 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7707.3
AT ITER 7198 NEW BEST:: SOT 48146 SOS 9290 HAS SOPS 9290 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7697.29
AT ITER 7275 NEW BEST:: SOT 48108 SOS 9206 HAS SOPS 9206 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7670.206
AT ITER 7325 NEW BEST:: SOT 48107 SOS 9204 HAS SOPS 9204 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7668.204
AT ITER 7363 NEW BEST:: SOT 48103 SOS 9207 HAS SOPS 9207 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.207
AT ITER 7380 NEW BEST:: SOT 48099 SOS 9203 HAS SOPS 9203 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7661.203
AT ITER 7433 NEW BEST:: SOT 48079 SOS 9188 HAS SOPS 9188 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7646.188
AT ITER 7460 NEW BEST:: SOT 48079 SOS 9180 HAS SOPS 9180 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7644.18
AT ITER 7551 NEW BEST:: SOT 48073 SOS 9150 HAS SOPS 9150 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7629.15
AT ITER 7561 NEW BEST:: SOT 48069 SOS 9146 HAS SOPS 9146 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7625.146
AT ITER 7633 NEW BEST:: SOT 48066 SOS 9146 HAS SOPS 9146 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7622.146
AT ITER 7650 NEW BEST:: SOT 48060 SOS 9135 HAS SOPS 9135 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7614.135
AT ITER 7677 NEW BEST:: SOT 48056 SOS 9122 HAS SOPS 9122 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7614.122
AT ITER 7678 NEW BEST:: SOT 48056 SOS 9121 HAS SOPS 9121 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7613.121
AT ITER 7687 NEW BEST:: SOT 48050 SOS 9097 HAS SOPS 9097 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7599.097
AT ITER 7714 NEW BEST:: SOT 48051 SOS 9086 HAS SOPS 9086 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7597.086
AT ITER 7751 NEW BEST:: SOT 48063 SOS 9081 HAS SOPS 9081 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7597.081
AT ITER 7759 NEW BEST:: SOT 48056 SOS 9074 HAS SOPS 9074 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7590.074
AT ITER 7773 NEW BEST:: SOT 48045 SOS 9061 HAS SOPS 9061 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7577.061
AT ITER 7804 NEW BEST:: SOT 48034 SOS 9053 HAS SOPS 9053 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7569.053
AT ITER 7809 NEW BEST:: SOT 48017 SOS 9037 HAS SOPS 9037 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7513.037
AT ITER 7877 NEW BEST:: SOT 48014 SOS 9022 HAS SOPS 9022 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7501.022
AT ITER 8076 NEW BEST:: SOT 48010 SOS 9014 HAS SOPS 9014 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7493.014
AT ITER 8089 NEW BEST:: SOT 48007 SOS 8982 HAS SOPS 8982 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.982
AT ITER 8108 NEW BEST:: SOT 47999 SOS 8966 HAS SOPS 8966 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.966
AT ITER 8125 NEW BEST:: SOT 48004 SOS 8939 HAS SOPS 8939 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7462.939
AT ITER 8177 NEW BEST:: SOT 48009 SOS 8938 HAS SOPS 8938 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.938
AT ITER 8191 NEW BEST:: SOT 48010 SOS 8939 HAS SOPS 8939 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7459.939
AT ITER 8233 NEW BEST:: SOT 48004 SOS 8936 HAS SOPS 8936 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7453.936
AT ITER 8262 NEW BEST:: SOT 48004 SOS 8933 HAS SOPS 8933 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.933
AT ITER 8268 NEW BEST:: SOT 48004 SOS 8930 HAS SOPS 8930 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7447.93
AT ITER 8398 NEW BEST:: SOT 48002 SOS 8926 HAS SOPS 8926 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7443.926
AT ITER 8471 NEW BEST:: SOT 47998 SOS 8922 HAS SOPS 8922 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7439.922
AT ITER 8572 NEW BEST:: SOT 47997 SOS 8920 HAS SOPS 8920 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7438.92
AT ITER 8599 NEW BEST:: SOT 47996 SOS 8919 HAS SOPS 8919 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7436.919
AT ITER 8744 NEW BEST:: SOT 47991 SOS 8896 HAS SOPS 8896 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7436.896
AT ITER 8833 NEW BEST:: SOT 47989 SOS 8879 HAS SOPS 8879 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7434.879
AT ITER 8963 NEW BEST:: SOT 47982 SOS 8873 HAS SOPS 8873 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7427.873
AT ITER 8974 NEW BEST:: SOT 47944 SOS 8854 HAS SOPS 8854 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7426.854
AT ITER 9012 NEW BEST:: SOT 47944 SOS 8850 HAS SOPS 8850 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7426.85
AT ITER 9059 NEW BEST:: SOT 47942 SOS 8845 HAS SOPS 8845 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7422.845
AT ITER 9214 NEW BEST:: SOT 47928 SOS 8821 HAS SOPS 8821 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7403.821
AT ITER 9264 NEW BEST:: SOT 47938 SOS 8743 HAS SOPS 8743 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7391.743
AT ITER 9378 NEW BEST:: SOT 47938 SOS 8755 HAS SOPS 8755 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.755
AT ITER 9386 NEW BEST:: SOT 47927 SOS 8737 HAS SOPS 8737 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7362.737
AT ITER 9482 NEW BEST:: SOT 47919 SOS 8735 HAS SOPS 8735 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.735
AT ITER 9556 NEW BEST:: SOT 47911 SOS 8720 HAS SOPS 8720 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.72
AT ITER 9682 NEW BEST:: SOT 47903 SOS 8714 HAS SOPS 8714 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7348.714
AT ITER 9707 NEW BEST:: SOT 47876 SOS 8745 HAS SOPS 8745 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7343.745
AT ITER 9766 NEW BEST:: SOT 47876 SOS 8745 HAS SOPS 8745 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7339.745
AT ITER 9803 NEW BEST:: SOT 47872 SOS 8741 HAS SOPS 8741 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7335.741
AT ITER 9808 NEW BEST:: SOT 47859 SOS 8736 HAS SOPS 8736 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.736
AT ITER 9886 NEW BEST:: SOT 47862 SOS 8736 HAS SOPS 8736 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7309.736

BK_STOP 1679063308653

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 372 Killed ${SMART}/smart ${INPUT_SM}

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-005B, 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 r387-oct2-167903711400080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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