Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807800628.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 DiscoveryGPU-PT-08b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800628
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 23:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 23:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 61K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589363222025

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 08b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 240 places, 254 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 42396 SOS 20015 HAS SOPS 20015 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.015
AT ITER 1 NEW BEST:: SOT 42232 SOS 19775 HAS SOPS 19775 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17600.775
AT ITER 4 NEW BEST:: SOT 42232 SOS 19729 HAS SOPS 19729 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17600.729
AT ITER 9 NEW BEST:: SOT 40609 SOS 20729 HAS SOPS 20729 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16101.729
AT ITER 11 NEW BEST:: SOT 40543 SOS 20615 HAS SOPS 20615 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16035.615
AT ITER 13 NEW BEST:: SOT 40393 SOS 20346 HAS SOPS 20346 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15810.346
AT ITER 14 NEW BEST:: SOT 40364 SOS 20288 HAS SOPS 20288 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15781.288
AT ITER 15 NEW BEST:: SOT 40222 SOS 20005 HAS SOPS 20005 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15568.005
AT ITER 18 NEW BEST:: SOT 40094 SOS 19749 HAS SOPS 19749 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15375.749
AT ITER 19 NEW BEST:: SOT 40089 SOS 19726 HAS SOPS 19726 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15365.726
AT ITER 27 NEW BEST:: SOT 40088 SOS 19724 HAS SOPS 19724 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15363.724
AT ITER 33 NEW BEST:: SOT 40079 SOS 19706 HAS SOPS 19706 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15345.706
AT ITER 44 NEW BEST:: SOT 40032 SOS 19264 HAS SOPS 19264 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15251.264
AT ITER 45 NEW BEST:: SOT 40024 SOS 19135 HAS SOPS 19135 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15135.135
AT ITER 46 NEW BEST:: SOT 40024 SOS 19043 HAS SOPS 19043 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15135.043
AT ITER 53 NEW BEST:: SOT 40033 SOS 18967 HAS SOPS 18967 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15068.967
AT ITER 55 NEW BEST:: SOT 39823 SOS 19565 HAS SOPS 19565 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15021.565
AT ITER 60 NEW BEST:: SOT 39821 SOS 19447 HAS SOPS 19447 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14954.447
AT ITER 72 NEW BEST:: SOT 39678 SOS 19275 HAS SOPS 19275 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14768.275
AT ITER 80 NEW BEST:: SOT 39640 SOS 19199 HAS SOPS 19199 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14730.199
AT ITER 85 NEW BEST:: SOT 39628 SOS 19175 HAS SOPS 19175 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14706.175
AT ITER 89 NEW BEST:: SOT 39565 SOS 19081 HAS SOPS 19081 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14642.081
AT ITER 92 NEW BEST:: SOT 39565 SOS 19045 HAS SOPS 19045 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14642.045
AT ITER 102 NEW BEST:: SOT 39475 SOS 18956 HAS SOPS 18956 HAS SOUS 14533 HAS SOUPS 14533 WITH SCORE 14551.956
AT ITER 104 NEW BEST:: SOT 39429 SOS 18864 HAS SOPS 18864 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14493.864
AT ITER 105 NEW BEST:: SOT 39403 SOS 18796 HAS SOPS 18796 HAS SOUS 14423 HAS SOUPS 14423 WITH SCORE 14441.796
AT ITER 126 NEW BEST:: SOT 39346 SOS 18697 HAS SOPS 18697 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14373.697
AT ITER 135 NEW BEST:: SOT 39389 SOS 18714 HAS SOPS 18714 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14337.714
AT ITER 143 NEW BEST:: SOT 39382 SOS 18691 HAS SOPS 18691 HAS SOUS 14312 HAS SOUPS 14312 WITH SCORE 14330.691
AT ITER 145 NEW BEST:: SOT 39382 SOS 18636 HAS SOPS 18636 HAS SOUS 14312 HAS SOUPS 14312 WITH SCORE 14330.636
AT ITER 146 NEW BEST:: SOT 39281 SOS 18439 HAS SOPS 18439 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14178.439
AT ITER 157 NEW BEST:: SOT 39277 SOS 18431 HAS SOPS 18431 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14174.431
AT ITER 161 NEW BEST:: SOT 38723 SOS 17804 HAS SOPS 17804 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13592.804
AT ITER 164 NEW BEST:: SOT 38722 SOS 17796 HAS SOPS 17796 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13590.796
AT ITER 182 NEW BEST:: SOT 38599 SOS 17572 HAS SOPS 17572 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13445.572
AT ITER 187 NEW BEST:: SOT 38558 SOS 17379 HAS SOPS 17379 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13269.379
AT ITER 192 NEW BEST:: SOT 38515 SOS 17293 HAS SOPS 17293 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13187.293
AT ITER 198 NEW BEST:: SOT 38512 SOS 17293 HAS SOPS 17293 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13184.293
AT ITER 207 NEW BEST:: SOT 38507 SOS 17288 HAS SOPS 17288 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13179.288
AT ITER 216 NEW BEST:: SOT 38504 SOS 17285 HAS SOPS 17285 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13176.285
AT ITER 220 NEW BEST:: SOT 38485 SOS 17256 HAS SOPS 17256 HAS SOUS 13131 HAS SOUPS 13131 WITH SCORE 13148.256
AT ITER 224 NEW BEST:: SOT 38462 SOS 17225 HAS SOPS 17225 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13124.225
AT ITER 227 NEW BEST:: SOT 38461 SOS 17223 HAS SOPS 17223 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13122.223
AT ITER 237 NEW BEST:: SOT 38455 SOS 17160 HAS SOPS 17160 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13110.16
AT ITER 263 NEW BEST:: SOT 38426 SOS 17131 HAS SOPS 17131 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13080.131
AT ITER 266 NEW BEST:: SOT 38389 SOS 17131 HAS SOPS 17131 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12969.131
AT ITER 269 NEW BEST:: SOT 38345 SOS 17065 HAS SOPS 17065 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12903.065
AT ITER 274 NEW BEST:: SOT 38343 SOS 16993 HAS SOPS 16993 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12816.993
AT ITER 278 NEW BEST:: SOT 38342 SOS 16900 HAS SOPS 16900 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12814.9
AT ITER 285 NEW BEST:: SOT 38248 SOS 16819 HAS SOPS 16819 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12733.819
AT ITER 288 NEW BEST:: SOT 38247 SOS 16792 HAS SOPS 16792 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12731.792
AT ITER 298 NEW BEST:: SOT 38175 SOS 16744 HAS SOPS 16744 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12683.744
AT ITER 312 NEW BEST:: SOT 38169 SOS 16724 HAS SOPS 16724 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12670.724
AT ITER 335 NEW BEST:: SOT 38169 SOS 16693 HAS SOPS 16693 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12639.693
AT ITER 352 NEW BEST:: SOT 38157 SOS 16681 HAS SOPS 16681 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12615.681
AT ITER 374 NEW BEST:: SOT 38155 SOS 16679 HAS SOPS 16679 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12615.679
AT ITER 375 NEW BEST:: SOT 38154 SOS 16677 HAS SOPS 16677 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12613.677
AT ITER 393 NEW BEST:: SOT 38154 SOS 16644 HAS SOPS 16644 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12580.644
AT ITER 394 NEW BEST:: SOT 38146 SOS 16640 HAS SOPS 16640 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12548.64
AT ITER 395 NEW BEST:: SOT 38082 SOS 16578 HAS SOPS 16578 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12486.578
AT ITER 416 NEW BEST:: SOT 38081 SOS 16541 HAS SOPS 16541 HAS SOUS 12468 HAS SOUPS 12468 WITH SCORE 12484.541
AT ITER 418 NEW BEST:: SOT 38081 SOS 16497 HAS SOPS 16497 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12436.497
AT ITER 420 NEW BEST:: SOT 38081 SOS 16497 HAS SOPS 16497 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12410.497
AT ITER 427 NEW BEST:: SOT 38080 SOS 16459 HAS SOPS 16459 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12408.459
AT ITER 428 NEW BEST:: SOT 38066 SOS 16442 HAS SOPS 16442 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12405.442
AT ITER 429 NEW BEST:: SOT 38047 SOS 16407 HAS SOPS 16407 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12358.407
AT ITER 438 NEW BEST:: SOT 37911 SOS 16198 HAS SOPS 16198 HAS SOUS 12206 HAS SOUPS 12206 WITH SCORE 12222.198
AT ITER 440 NEW BEST:: SOT 37877 SOS 16130 HAS SOPS 16130 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12154.13
AT ITER 452 NEW BEST:: SOT 37811 SOS 16051 HAS SOPS 16051 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12089.051
AT ITER 461 NEW BEST:: SOT 37754 SOS 15937 HAS SOPS 15937 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11984.937
AT ITER 465 NEW BEST:: SOT 37752 SOS 15935 HAS SOPS 15935 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11983.935
AT ITER 468 NEW BEST:: SOT 37746 SOS 15894 HAS SOPS 15894 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11976.894
AT ITER 474 NEW BEST:: SOT 37746 SOS 15894 HAS SOPS 15894 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11973.894
AT ITER 475 NEW BEST:: SOT 37769 SOS 15890 HAS SOPS 15890 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11924.89
AT ITER 486 NEW BEST:: SOT 37698 SOS 15748 HAS SOPS 15748 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11852.748
AT ITER 487 NEW BEST:: SOT 37698 SOS 15659 HAS SOPS 15659 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11852.659
AT ITER 501 NEW BEST:: SOT 37687 SOS 15642 HAS SOPS 15642 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11841.642
AT ITER 505 NEW BEST:: SOT 37668 SOS 15648 HAS SOPS 15648 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11831.648
AT ITER 511 NEW BEST:: SOT 37668 SOS 15628 HAS SOPS 15628 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11831.628
AT ITER 529 NEW BEST:: SOT 37607 SOS 15544 HAS SOPS 15544 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11783.544
AT ITER 530 NEW BEST:: SOT 37589 SOS 15503 HAS SOPS 15503 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11770.503
AT ITER 534 NEW BEST:: SOT 37578 SOS 15447 HAS SOPS 15447 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11732.447
AT ITER 540 NEW BEST:: SOT 37578 SOS 15410 HAS SOPS 15410 HAS SOUS 11680 HAS SOUPS 11680 WITH SCORE 11695.41
AT ITER 545 NEW BEST:: SOT 37564 SOS 15368 HAS SOPS 15368 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11667.368
AT ITER 593 NEW BEST:: SOT 37553 SOS 15318 HAS SOPS 15318 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11645.318
AT ITER 600 NEW BEST:: SOT 37113 SOS 14879 HAS SOPS 14879 HAS SOUS 11191 HAS SOUPS 11191 WITH SCORE 11205.879
AT ITER 613 NEW BEST:: SOT 37085 SOS 14860 HAS SOPS 14860 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11149.86
AT ITER 619 NEW BEST:: SOT 37100 SOS 14826 HAS SOPS 14826 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11115.826
AT ITER 625 NEW BEST:: SOT 37078 SOS 14783 HAS SOPS 14783 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11094.783
AT ITER 635 NEW BEST:: SOT 37056 SOS 14773 HAS SOPS 14773 HAS SOUS 11035 HAS SOUPS 11035 WITH SCORE 11049.773
AT ITER 648 NEW BEST:: SOT 36990 SOS 14689 HAS SOPS 14689 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10971.689
AT ITER 655 NEW BEST:: SOT 36980 SOS 14679 HAS SOPS 14679 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10971.679
AT ITER 673 NEW BEST:: SOT 36991 SOS 14660 HAS SOPS 14660 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10961.66
AT ITER 674 NEW BEST:: SOT 36934 SOS 14659 HAS SOPS 14659 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10960.659
AT ITER 683 NEW BEST:: SOT 36934 SOS 14652 HAS SOPS 14652 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10960.652
AT ITER 687 NEW BEST:: SOT 36966 SOS 14680 HAS SOPS 14680 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10959.68
AT ITER 693 NEW BEST:: SOT 36966 SOS 14664 HAS SOPS 14664 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10943.664
AT ITER 694 NEW BEST:: SOT 36944 SOS 14620 HAS SOPS 14620 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10923.62
AT ITER 710 NEW BEST:: SOT 36944 SOS 14568 HAS SOPS 14568 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10871.568
AT ITER 729 NEW BEST:: SOT 36934 SOS 14540 HAS SOPS 14540 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10847.54
AT ITER 730 NEW BEST:: SOT 36934 SOS 14509 HAS SOPS 14509 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10847.509
AT ITER 734 NEW BEST:: SOT 36629 SOS 14263 HAS SOPS 14263 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10626.263
AT ITER 743 NEW BEST:: SOT 36580 SOS 14214 HAS SOPS 14214 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10526.214
AT ITER 774 NEW BEST:: SOT 36575 SOS 14089 HAS SOPS 14089 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10516.089
AT ITER 781 NEW BEST:: SOT 36574 SOS 14068 HAS SOPS 14068 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10514.068
AT ITER 782 NEW BEST:: SOT 36583 SOS 14050 HAS SOPS 14050 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10497.05
AT ITER 798 NEW BEST:: SOT 36564 SOS 14018 HAS SOPS 14018 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10472.018
AT ITER 802 NEW BEST:: SOT 36544 SOS 14003 HAS SOPS 14003 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10457.003
AT ITER 805 NEW BEST:: SOT 36522 SOS 13989 HAS SOPS 13989 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10442.989
AT ITER 806 NEW BEST:: SOT 36534 SOS 13963 HAS SOPS 13963 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10404.963
AT ITER 822 NEW BEST:: SOT 36531 SOS 13960 HAS SOPS 13960 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10398.96
AT ITER 824 NEW BEST:: SOT 36530 SOS 13959 HAS SOPS 13959 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10396.959
AT ITER 856 NEW BEST:: SOT 36530 SOS 13948 HAS SOPS 13948 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10396.948
AT ITER 860 NEW BEST:: SOT 36509 SOS 13934 HAS SOPS 13934 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10374.934
AT ITER 866 NEW BEST:: SOT 36481 SOS 13878 HAS SOPS 13878 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10355.878
AT ITER 890 NEW BEST:: SOT 36469 SOS 13854 HAS SOPS 13854 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10331.854
AT ITER 893 NEW BEST:: SOT 36468 SOS 13833 HAS SOPS 13833 HAS SOUS 10316 HAS SOUPS 10316 WITH SCORE 10329.833
AT ITER 896 NEW BEST:: SOT 36464 SOS 13842 HAS SOPS 13842 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10320.842
AT ITER 937 NEW BEST:: SOT 36454 SOS 13822 HAS SOPS 13822 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10300.822
AT ITER 946 NEW BEST:: SOT 36430 SOS 13776 HAS SOPS 13776 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10254.776
AT ITER 949 NEW BEST:: SOT 36389 SOS 13701 HAS SOPS 13701 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10219.701
AT ITER 951 NEW BEST:: SOT 36387 SOS 13680 HAS SOPS 13680 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10198.68
AT ITER 956 NEW BEST:: SOT 36378 SOS 13671 HAS SOPS 13671 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10189.671
AT ITER 978 NEW BEST:: SOT 36346 SOS 13577 HAS SOPS 13577 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10113.577
AT ITER 1021 NEW BEST:: SOT 36332 SOS 13563 HAS SOPS 13563 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10084.563
AT ITER 1033 NEW BEST:: SOT 36330 SOS 13559 HAS SOPS 13559 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10065.559
AT ITER 1066 NEW BEST:: SOT 36318 SOS 13547 HAS SOPS 13547 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10053.547
AT ITER 1082 NEW BEST:: SOT 36296 SOS 13525 HAS SOPS 13525 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10031.525
AT ITER 1090 NEW BEST:: SOT 36283 SOS 13499 HAS SOPS 13499 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10005.499
AT ITER 1095 NEW BEST:: SOT 36321 SOS 13537 HAS SOPS 13537 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9990.537
AT ITER 1098 NEW BEST:: SOT 36315 SOS 13539 HAS SOPS 13539 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9964.539
AT ITER 1105 NEW BEST:: SOT 36315 SOS 13323 HAS SOPS 13323 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9964.323
AT ITER 1118 NEW BEST:: SOT 36315 SOS 13322 HAS SOPS 13322 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9963.322
AT ITER 1125 NEW BEST:: SOT 36308 SOS 13315 HAS SOPS 13315 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9949.315
AT ITER 1126 NEW BEST:: SOT 36306 SOS 13311 HAS SOPS 13311 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9947.311
AT ITER 1135 NEW BEST:: SOT 36304 SOS 13307 HAS SOPS 13307 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9943.307
AT ITER 1155 NEW BEST:: SOT 36304 SOS 13307 HAS SOPS 13307 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9934.307
AT ITER 1156 NEW BEST:: SOT 36299 SOS 13306 HAS SOPS 13306 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9933.306
AT ITER 1161 NEW BEST:: SOT 36310 SOS 13303 HAS SOPS 13303 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9926.303
AT ITER 1179 NEW BEST:: SOT 36309 SOS 13291 HAS SOPS 13291 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9924.291
AT ITER 1195 NEW BEST:: SOT 36303 SOS 13278 HAS SOPS 13278 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9912.278
AT ITER 1198 NEW BEST:: SOT 36273 SOS 13258 HAS SOPS 13258 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9892.258
AT ITER 1206 NEW BEST:: SOT 36261 SOS 13225 HAS SOPS 13225 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9839.225
AT ITER 1218 NEW BEST:: SOT 36277 SOS 13205 HAS SOPS 13205 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9819.205
AT ITER 1243 NEW BEST:: SOT 36205 SOS 13133 HAS SOPS 13133 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9747.133
AT ITER 1255 NEW BEST:: SOT 36202 SOS 13143 HAS SOPS 13143 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9744.143
AT ITER 1258 NEW BEST:: SOT 36192 SOS 13128 HAS SOPS 13128 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9729.128
AT ITER 1260 NEW BEST:: SOT 36182 SOS 13117 HAS SOPS 13117 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9727.117
AT ITER 1274 NEW BEST:: SOT 36179 SOS 13114 HAS SOPS 13114 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9722.114
AT ITER 1292 NEW BEST:: SOT 36179 SOS 13089 HAS SOPS 13089 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9722.089
AT ITER 1302 NEW BEST:: SOT 36164 SOS 13059 HAS SOPS 13059 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9692.059
AT ITER 1309 NEW BEST:: SOT 36113 SOS 12957 HAS SOPS 12957 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9627.957
AT ITER 1317 NEW BEST:: SOT 36037 SOS 12889 HAS SOPS 12889 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9577.889
AT ITER 1326 NEW BEST:: SOT 36041 SOS 12879 HAS SOPS 12879 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9547.879
AT ITER 1339 NEW BEST:: SOT 36021 SOS 12859 HAS SOPS 12859 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9507.859
AT ITER 1342 NEW BEST:: SOT 35975 SOS 12800 HAS SOPS 12800 HAS SOUS 9439 HAS SOUPS 9439 WITH SCORE 9451.8
AT ITER 1365 NEW BEST:: SOT 35971 SOS 12783 HAS SOPS 12783 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9443.783
AT ITER 1382 NEW BEST:: SOT 35968 SOS 12777 HAS SOPS 12777 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9437.777
AT ITER 1396 NEW BEST:: SOT 35965 SOS 12775 HAS SOPS 12775 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9431.775
AT ITER 1401 NEW BEST:: SOT 35965 SOS 12775 HAS SOPS 12775 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9430.775
AT ITER 1411 NEW BEST:: SOT 35964 SOS 12773 HAS SOPS 12773 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9428.773
AT ITER 1413 NEW BEST:: SOT 35964 SOS 12772 HAS SOPS 12772 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9427.772
AT ITER 1431 NEW BEST:: SOT 35957 SOS 12808 HAS SOPS 12808 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9401.808
AT ITER 1446 NEW BEST:: SOT 35954 SOS 12802 HAS SOPS 12802 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9387.802
AT ITER 1456 NEW BEST:: SOT 35949 SOS 12792 HAS SOPS 12792 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9377.792
AT ITER 1457 NEW BEST:: SOT 35936 SOS 12779 HAS SOPS 12779 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9364.779
AT ITER 1473 NEW BEST:: SOT 35923 SOS 12753 HAS SOPS 12753 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9335.753
AT ITER 1491 NEW BEST:: SOT 35917 SOS 12752 HAS SOPS 12752 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9334.752
AT ITER 1499 NEW BEST:: SOT 35896 SOS 12710 HAS SOPS 12710 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9300.71
AT ITER 1510 NEW BEST:: SOT 35862 SOS 12642 HAS SOPS 12642 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9275.642
AT ITER 1521 NEW BEST:: SOT 35862 SOS 12550 HAS SOPS 12550 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9275.55
AT ITER 1527 NEW BEST:: SOT 35817 SOS 12549 HAS SOPS 12549 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9274.549
AT ITER 1537 NEW BEST:: SOT 35754 SOS 12471 HAS SOPS 12471 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9246.471
AT ITER 1557 NEW BEST:: SOT 35746 SOS 12418 HAS SOPS 12418 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.418
AT ITER 1568 NEW BEST:: SOT 35744 SOS 12416 HAS SOPS 12416 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.416
AT ITER 1582 NEW BEST:: SOT 35744 SOS 12378 HAS SOPS 12378 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.378
AT ITER 1601 NEW BEST:: SOT 35749 SOS 12398 HAS SOPS 12398 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9190.398
AT ITER 1608 NEW BEST:: SOT 35746 SOS 12382 HAS SOPS 12382 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9165.382
AT ITER 1622 NEW BEST:: SOT 35694 SOS 12330 HAS SOPS 12330 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9113.33
AT ITER 1637 NEW BEST:: SOT 35668 SOS 12305 HAS SOPS 12305 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9109.305
AT ITER 1645 NEW BEST:: SOT 35662 SOS 12296 HAS SOPS 12296 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9089.296
AT ITER 1647 NEW BEST:: SOT 35662 SOS 12296 HAS SOPS 12296 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9086.296
AT ITER 1656 NEW BEST:: SOT 35661 SOS 12288 HAS SOPS 12288 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9078.288
AT ITER 1659 NEW BEST:: SOT 35637 SOS 12264 HAS SOPS 12264 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9045.264
AT ITER 1667 NEW BEST:: SOT 35620 SOS 12254 HAS SOPS 12254 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9031.254
AT ITER 1687 NEW BEST:: SOT 35616 SOS 12250 HAS SOPS 12250 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9025.25
AT ITER 1693 NEW BEST:: SOT 35606 SOS 12230 HAS SOPS 12230 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9005.23
AT ITER 1711 NEW BEST:: SOT 35604 SOS 12228 HAS SOPS 12228 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9001.228
AT ITER 1720 NEW BEST:: SOT 35564 SOS 12193 HAS SOPS 12193 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8961.193
AT ITER 1721 NEW BEST:: SOT 35554 SOS 12287 HAS SOPS 12287 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8951.287
AT ITER 1739 NEW BEST:: SOT 35540 SOS 12245 HAS SOPS 12245 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8923.245
AT ITER 1753 NEW BEST:: SOT 35542 SOS 12223 HAS SOPS 12223 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8901.223
AT ITER 1785 NEW BEST:: SOT 35542 SOS 12223 HAS SOPS 12223 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8881.223
AT ITER 1794 NEW BEST:: SOT 35541 SOS 12222 HAS SOPS 12222 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8879.222
AT ITER 1838 NEW BEST:: SOT 35502 SOS 12208 HAS SOPS 12208 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8865.208
AT ITER 1847 NEW BEST:: SOT 35550 SOS 12243 HAS SOPS 12243 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8858.243
AT ITER 1856 NEW BEST:: SOT 35495 SOS 12133 HAS SOPS 12133 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8810.133
AT ITER 1885 NEW BEST:: SOT 35494 SOS 12132 HAS SOPS 12132 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8809.132
AT ITER 1886 NEW BEST:: SOT 35516 SOS 12170 HAS SOPS 12170 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8794.17
AT ITER 1889 NEW BEST:: SOT 35507 SOS 12170 HAS SOPS 12170 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8776.17
AT ITER 1894 NEW BEST:: SOT 35531 SOS 12164 HAS SOPS 12164 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8770.164
AT ITER 1902 NEW BEST:: SOT 35525 SOS 12152 HAS SOPS 12152 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8761.152
AT ITER 1919 NEW BEST:: SOT 35522 SOS 12146 HAS SOPS 12146 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8758.146
AT ITER 1924 NEW BEST:: SOT 35501 SOS 12125 HAS SOPS 12125 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8737.125
AT ITER 1925 NEW BEST:: SOT 35487 SOS 12100 HAS SOPS 12100 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8725.1
AT ITER 1927 NEW BEST:: SOT 35491 SOS 12087 HAS SOPS 12087 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8712.087
AT ITER 1938 NEW BEST:: SOT 35472 SOS 12049 HAS SOPS 12049 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8674.049
AT ITER 1950 NEW BEST:: SOT 35384 SOS 11911 HAS SOPS 11911 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8627.911
AT ITER 1958 NEW BEST:: SOT 35376 SOS 11895 HAS SOPS 11895 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8611.895
AT ITER 1970 NEW BEST:: SOT 35369 SOS 11881 HAS SOPS 11881 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8591.881
AT ITER 1998 NEW BEST:: SOT 35361 SOS 11865 HAS SOPS 11865 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8575.865
AT ITER 2009 NEW BEST:: SOT 35356 SOS 11860 HAS SOPS 11860 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8570.86
AT ITER 2083 NEW BEST:: SOT 35352 SOS 11852 HAS SOPS 11852 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8566.852
AT ITER 2105 NEW BEST:: SOT 35335 SOS 11818 HAS SOPS 11818 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8549.818
AT ITER 2120 NEW BEST:: SOT 35311 SOS 11770 HAS SOPS 11770 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8497.77
AT ITER 2122 NEW BEST:: SOT 35310 SOS 11769 HAS SOPS 11769 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8495.769
AT ITER 2142 NEW BEST:: SOT 35290 SOS 11729 HAS SOPS 11729 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8455.729
AT ITER 2147 NEW BEST:: SOT 35286 SOS 11717 HAS SOPS 11717 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8443.717
AT ITER 2182 NEW BEST:: SOT 35266 SOS 11673 HAS SOPS 11673 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8403.673
AT ITER 2196 NEW BEST:: SOT 35255 SOS 11662 HAS SOPS 11662 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8381.662
AT ITER 2226 NEW BEST:: SOT 35243 SOS 11650 HAS SOPS 11650 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8369.65
AT ITER 2251 NEW BEST:: SOT 35253 SOS 11660 HAS SOPS 11660 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8345.66
AT ITER 2302 NEW BEST:: SOT 35246 SOS 11672 HAS SOPS 11672 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8331.672
AT ITER 2333 NEW BEST:: SOT 35238 SOS 11656 HAS SOPS 11656 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8323.656
AT ITER 2346 NEW BEST:: SOT 35227 SOS 11647 HAS SOPS 11647 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8312.647
AT ITER 2351 NEW BEST:: SOT 35198 SOS 11609 HAS SOPS 11609 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8272.609
AT ITER 2366 NEW BEST:: SOT 35198 SOS 11609 HAS SOPS 11609 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8258.609
AT ITER 2372 NEW BEST:: SOT 35192 SOS 11597 HAS SOPS 11597 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.597
AT ITER 2400 NEW BEST:: SOT 35187 SOS 11592 HAS SOPS 11592 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8236.592
AT ITER 2412 NEW BEST:: SOT 35182 SOS 11592 HAS SOPS 11592 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8231.592
AT ITER 2419 NEW BEST:: SOT 35161 SOS 11549 HAS SOPS 11549 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8189.549
AT ITER 2454 NEW BEST:: SOT 35145 SOS 11533 HAS SOPS 11533 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8173.533
AT ITER 2467 NEW BEST:: SOT 35141 SOS 11529 HAS SOPS 11529 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8165.529
AT ITER 2472 NEW BEST:: SOT 35119 SOS 11491 HAS SOPS 11491 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8144.491
AT ITER 2492 NEW BEST:: SOT 35119 SOS 11440 HAS SOPS 11440 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8093.44
AT ITER 2506 NEW BEST:: SOT 35119 SOS 11440 HAS SOPS 11440 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8091.44
AT ITER 2518 NEW BEST:: SOT 35125 SOS 11437 HAS SOPS 11437 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8088.437
AT ITER 2521 NEW BEST:: SOT 35127 SOS 11396 HAS SOPS 11396 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8047.396
AT ITER 2549 NEW BEST:: SOT 35127 SOS 11393 HAS SOPS 11393 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8047.393
AT ITER 2558 NEW BEST:: SOT 35129 SOS 11391 HAS SOPS 11391 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8045.391
AT ITER 2601 NEW BEST:: SOT 35129 SOS 11385 HAS SOPS 11385 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8045.385
AT ITER 2617 NEW BEST:: SOT 35125 SOS 11377 HAS SOPS 11377 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8037.377
AT ITER 2618 NEW BEST:: SOT 35114 SOS 11355 HAS SOPS 11355 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8030.355
AT ITER 2635 NEW BEST:: SOT 35113 SOS 11354 HAS SOPS 11354 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8028.354
AT ITER 2658 NEW BEST:: SOT 35110 SOS 11342 HAS SOPS 11342 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8013.342
AT ITER 2676 NEW BEST:: SOT 35096 SOS 11338 HAS SOPS 11338 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7993.338
AT ITER 2706 NEW BEST:: SOT 35095 SOS 11336 HAS SOPS 11336 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7993.336
AT ITER 2737 NEW BEST:: SOT 35094 SOS 11321 HAS SOPS 11321 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7986.321
AT ITER 2752 NEW BEST:: SOT 35090 SOS 11350 HAS SOPS 11350 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7978.35
AT ITER 2756 NEW BEST:: SOT 35088 SOS 11346 HAS SOPS 11346 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7974.346
AT ITER 2774 NEW BEST:: SOT 35088 SOS 11334 HAS SOPS 11334 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7974.334
AT ITER 2788 NEW BEST:: SOT 35083 SOS 11324 HAS SOPS 11324 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7964.324
AT ITER 2795 NEW BEST:: SOT 35077 SOS 11316 HAS SOPS 11316 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7956.316
AT ITER 2830 NEW BEST:: SOT 35072 SOS 11326 HAS SOPS 11326 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7941.326
AT ITER 2866 NEW BEST:: SOT 35044 SOS 11280 HAS SOPS 11280 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7925.28
AT ITER 2895 NEW BEST:: SOT 35035 SOS 11271 HAS SOPS 11271 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.271
AT ITER 2906 NEW BEST:: SOT 35033 SOS 11267 HAS SOPS 11267 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.267
AT ITER 2928 NEW BEST:: SOT 35033 SOS 11244 HAS SOPS 11244 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.244
AT ITER 2964 NEW BEST:: SOT 35033 SOS 11227 HAS SOPS 11227 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7867.227
AT ITER 2970 NEW BEST:: SOT 35046 SOS 11199 HAS SOPS 11199 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7866.199
AT ITER 2976 NEW BEST:: SOT 35045 SOS 11197 HAS SOPS 11197 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7866.197
AT ITER 2989 NEW BEST:: SOT 35035 SOS 11181 HAS SOPS 11181 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7846.181
AT ITER 3047 NEW BEST:: SOT 35018 SOS 11174 HAS SOPS 11174 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7842.174
AT ITER 3054 NEW BEST:: SOT 35018 SOS 11180 HAS SOPS 11180 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7836.18
AT ITER 3083 NEW BEST:: SOT 34999 SOS 11157 HAS SOPS 11157 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7825.157
AT ITER 3120 NEW BEST:: SOT 35002 SOS 11155 HAS SOPS 11155 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7823.155
AT ITER 3140 NEW BEST:: SOT 34989 SOS 11125 HAS SOPS 11125 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.125
AT ITER 3141 NEW BEST:: SOT 34988 SOS 11115 HAS SOPS 11115 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7794.115
AT ITER 3155 NEW BEST:: SOT 34988 SOS 11111 HAS SOPS 11111 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7790.111
AT ITER 3182 NEW BEST:: SOT 34983 SOS 11125 HAS SOPS 11125 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7785.125
AT ITER 3186 NEW BEST:: SOT 34977 SOS 11119 HAS SOPS 11119 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7779.119
AT ITER 3229 NEW BEST:: SOT 34977 SOS 11092 HAS SOPS 11092 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7752.092
AT ITER 3238 NEW BEST:: SOT 34963 SOS 11052 HAS SOPS 11052 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7719.052
AT ITER 3298 NEW BEST:: SOT 34978 SOS 11038 HAS SOPS 11038 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7704.038
AT ITER 3316 NEW BEST:: SOT 34975 SOS 11033 HAS SOPS 11033 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7699.033
AT ITER 3336 NEW BEST:: SOT 34959 SOS 11013 HAS SOPS 11013 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7678.013
AT ITER 3337 NEW BEST:: SOT 34955 SOS 11005 HAS SOPS 11005 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7670.005
AT ITER 3352 NEW BEST:: SOT 34954 SOS 11003 HAS SOPS 11003 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7668.003
AT ITER 3353 NEW BEST:: SOT 34954 SOS 11000 HAS SOPS 11000 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7665.0
AT ITER 3406 NEW BEST:: SOT 34944 SOS 10980 HAS SOPS 10980 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7644.98
AT ITER 3482 NEW BEST:: SOT 34942 SOS 10974 HAS SOPS 10974 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7644.974
AT ITER 3537 NEW BEST:: SOT 34941 SOS 10963 HAS SOPS 10963 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7634.963
AT ITER 3553 NEW BEST:: SOT 34940 SOS 10961 HAS SOPS 10961 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7632.961
AT ITER 3575 NEW BEST:: SOT 34930 SOS 10959 HAS SOPS 10959 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7630.959
AT ITER 3576 NEW BEST:: SOT 34930 SOS 10958 HAS SOPS 10958 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7630.958
AT ITER 3602 NEW BEST:: SOT 34929 SOS 10959 HAS SOPS 10959 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7628.959
AT ITER 3604 NEW BEST:: SOT 34928 SOS 10957 HAS SOPS 10957 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7626.957
AT ITER 3605 NEW BEST:: SOT 34926 SOS 10955 HAS SOPS 10955 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7622.955
AT ITER 3622 NEW BEST:: SOT 34920 SOS 10939 HAS SOPS 10939 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7610.939
AT ITER 3665 NEW BEST:: SOT 34918 SOS 10935 HAS SOPS 10935 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7582.935
AT ITER 3666 NEW BEST:: SOT 34914 SOS 10922 HAS SOPS 10922 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7574.922
AT ITER 3694 NEW BEST:: SOT 34914 SOS 10919 HAS SOPS 10919 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7571.919
AT ITER 3697 NEW BEST:: SOT 34925 SOS 10910 HAS SOPS 10910 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7527.91
AT ITER 3715 NEW BEST:: SOT 34920 SOS 10900 HAS SOPS 10900 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7520.9
AT ITER 3733 NEW BEST:: SOT 34921 SOS 10902 HAS SOPS 10902 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7519.902
AT ITER 3775 NEW BEST:: SOT 34921 SOS 10884 HAS SOPS 10884 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7519.884
AT ITER 3792 NEW BEST:: SOT 34908 SOS 10858 HAS SOPS 10858 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7506.858
AT ITER 3794 NEW BEST:: SOT 34905 SOS 10965 HAS SOPS 10965 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7503.965
AT ITER 3803 NEW BEST:: SOT 34894 SOS 10942 HAS SOPS 10942 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7491.942
AT ITER 3811 NEW BEST:: SOT 34894 SOS 10894 HAS SOPS 10894 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7491.894
AT ITER 3861 NEW BEST:: SOT 34894 SOS 10894 HAS SOPS 10894 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7488.894
AT ITER 3959 NEW BEST:: SOT 34893 SOS 10892 HAS SOPS 10892 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7486.892
AT ITER 3973 NEW BEST:: SOT 34891 SOS 10887 HAS SOPS 10887 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7471.887
AT ITER 4010 NEW BEST:: SOT 34890 SOS 10885 HAS SOPS 10885 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7469.885
AT ITER 4029 NEW BEST:: SOT 34895 SOS 10902 HAS SOPS 10902 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7467.902
AT ITER 4031 NEW BEST:: SOT 34895 SOS 10901 HAS SOPS 10901 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7466.901
AT ITER 4060 NEW BEST:: SOT 34895 SOS 10882 HAS SOPS 10882 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7466.882
AT ITER 4066 NEW BEST:: SOT 34895 SOS 10882 HAS SOPS 10882 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7465.882
AT ITER 4079 NEW BEST:: SOT 34884 SOS 10872 HAS SOPS 10872 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7454.872
AT ITER 4089 NEW BEST:: SOT 34888 SOS 10866 HAS SOPS 10866 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7448.866
AT ITER 4279 NEW BEST:: SOT 34887 SOS 10854 HAS SOPS 10854 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7441.854
AT ITER 4305 NEW BEST:: SOT 34897 SOS 10842 HAS SOPS 10842 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7439.842
AT ITER 4419 NEW BEST:: SOT 34890 SOS 10833 HAS SOPS 10833 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7431.833
AT ITER 4442 NEW BEST:: SOT 34889 SOS 10835 HAS SOPS 10835 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7430.835
AT ITER 4446 NEW BEST:: SOT 34887 SOS 10832 HAS SOPS 10832 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7426.832
AT ITER 4474 NEW BEST:: SOT 34884 SOS 10831 HAS SOPS 10831 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7425.831
AT ITER 4480 NEW BEST:: SOT 34883 SOS 10829 HAS SOPS 10829 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7422.829
AT ITER 4574 NEW BEST:: SOT 34873 SOS 10811 HAS SOPS 10811 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7419.811
AT ITER 4639 NEW BEST:: SOT 34884 SOS 10814 HAS SOPS 10814 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7417.814
AT ITER 4688 NEW BEST:: SOT 34867 SOS 10808 HAS SOPS 10808 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7406.808
AT ITER 4714 NEW BEST:: SOT 34866 SOS 10839 HAS SOPS 10839 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7404.839
AT ITER 4729 NEW BEST:: SOT 34838 SOS 10783 HAS SOPS 10783 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7357.783
AT ITER 4737 NEW BEST:: SOT 34837 SOS 10781 HAS SOPS 10781 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7355.781
AT ITER 4753 NEW BEST:: SOT 34837 SOS 10777 HAS SOPS 10777 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7351.777
AT ITER 4864 NEW BEST:: SOT 34833 SOS 10773 HAS SOPS 10773 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7347.773
AT ITER 4929 NEW BEST:: SOT 34825 SOS 10757 HAS SOPS 10757 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7339.757
AT ITER 4949 NEW BEST:: SOT 34822 SOS 10751 HAS SOPS 10751 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7337.751
AT ITER 4992 NEW BEST:: SOT 34821 SOS 10750 HAS SOPS 10750 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7335.75
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-00 ( ( ( ((potential((tk(P32)>=1)))) & ((potential((tk(P70)>=1)))) ) | (AF( ( ( ((potential((tk(P187)>=1)))) & ((potential((tk(P60)>=1) & (tk(P232)>=1)))) ) & ((potential((tk(P28)>=1)))) ))) ) | (EG( (! ( ( ((potential((tk(P63)>=1)))) & ((potential((tk(P41)>=1)))) ) & ( ((potential((tk(P59)>=1)))) | ((potential((tk(P56)>=1) & (tk(P232)>=1)))) ) )))) )
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-01 (EF( ((potential((tk(P84)>=1) & (tk(P239)>=1))))))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-02 ( ( ( (AG( ((potential((tk(P86)>=1)))))) & ( ((potential((tk(P218)>=1) & (tk(P232)>=1)))) & ((potential((tk(P4)>=1)))) ) ) | (AX( (! (! ((potential((tk(P5)>=1)))))))) ) | (AU( ( (! ((potential((tk(P59)>=1))))) & (! ((potential((tk(P102)>=1))))) ) , ((potential((tk(P234)>=1)))) )) )
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-03 (EU( (AF( ((potential((tk(P131)>=1)))))) , ((potential((tk(P138)>=1) & (tk(P239)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-04 ( ( ( ((potential((tk(P115)>=1)))) | (EF( ( ((potential((tk(P33)>=1) & (tk(P232)>=1)))) | ((potential((tk(P34)>=1)))) ))) ) & (! ((potential((tk(P195)>=1) & (tk(P232)>=1))))) ) | (AU( ( (! ((potential((tk(P206)>=1) & (tk(P239)>=1))))) | ( ((potential((tk(P205)>=1)))) | ((potential((tk(P125)>=1) & (tk(P239)>=1)))) ) ) , (AX( ((potential((tk(P59)>=1)))))) )) )
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-05 ( ( (! (AG( (! ((potential((tk(P236)>=1)))))))) | (EG( ((potential((tk(P231)>=1)))))) ) & (! ((potential((tk(P135)>=1))))) )
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-06 (! ( (! (EF( ( ((potential((tk(P70)>=1)))) | ((potential((tk(P138)>=1) & (tk(P239)>=1)))) )))) | ((potential((tk(P151)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-07 (AU( (AX( (! ((potential((tk(P10)>=1))))))) , ( (EF( ((potential((tk(P75)>=1)))))) & (EF( ((potential((tk(P192)>=1) & (tk(P239)>=1)))))) ) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-08 (AF( (EF( ((potential((tk(P159)>=1) & (tk(P232)>=1))))))))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-09 (AU( (AF( ((potential((tk(P55)>=1)))))) , ( ( ( ((potential((tk(P208)>=1) & (tk(P239)>=1)))) & ((potential((tk(P28)>=1)))) ) & ( ((potential((tk(P72)>=1)))) | ((potential((tk(P205)>=1)))) ) ) & (AF( ((potential((tk(P62)>=1) & (tk(P232)>=1)))))) ) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-10 (EX( (AG( (! ((potential((tk(P41)>=1)))))))))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-11 (AU( (AF( ( ((potential((tk(P72)>=1)))) & ((potential((tk(P153)>=1)))) ))) , ((potential((tk(P8)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-12 (! ( (EU( ( ((potential((tk(P72)>=1)))) | ((potential((tk(P156)>=1)))) ) , ((potential((tk(P104)>=1)))) )) | (AG( ( (! ((potential((tk(P178)>=1))))) | ( ((potential((tk(P25)>=1)))) | ((potential((tk(P99)>=1)))) ) ))) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-13 (EG( ( (AF( (! ((potential((tk(P190)>=1))))))) | ( ( ( ((potential((tk(P35)>=1) & (tk(P232)>=1)))) | ((potential((tk(P192)>=1) & (tk(P239)>=1)))) ) & ( ((potential((tk(P98)>=1) & (tk(P239)>=1)))) & ((potential((tk(P222)>=1) & (tk(P232)>=1)))) ) ) | (AG( ((potential((tk(P194)>=1)))))) ) )))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-14 (AU( (EG( ( ((potential((tk(P3)>=1)))) | ((potential((tk(P219)>=1) & (tk(P239)>=1)))) ))) , (EG( (! ((potential((tk(P91)>=1))))))) ))
PROPERTY: DiscoveryGPU-PT-08b-CTLFireability-15 ( ( (! (AG( ( ((potential((tk(P153)>=1)))) | ((potential((tk(P225)>=1)))) )))) & (AX( (EG( ((potential((tk(P208)>=1) & (tk(P239)>=1)))))))) ) | (EG( ( (! ( ((potential((tk(P45)>=1)))) & ((potential((tk(P78)>=1) & (tk(P232)>=1)))) )) | ( ((potential((tk(P18)>=1)))) | (! ((potential((tk(P234)>=1))))) ) ))) )

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="DiscoveryGPU-PT-08b"
export BK_EXAMINATION="CTLFireability"
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 DiscoveryGPU-PT-08b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807800628"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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