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.r048-ebro-158902542300531.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 DLCround-PT-08a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300531
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 640K
-rw-r--r-- 1 mcc users 2.6K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 29 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 23:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 479K 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 DLCround-PT-08a-CTLCardinality-00
FORMULA_NAME DLCround-PT-08a-CTLCardinality-01
FORMULA_NAME DLCround-PT-08a-CTLCardinality-02
FORMULA_NAME DLCround-PT-08a-CTLCardinality-03
FORMULA_NAME DLCround-PT-08a-CTLCardinality-04
FORMULA_NAME DLCround-PT-08a-CTLCardinality-05
FORMULA_NAME DLCround-PT-08a-CTLCardinality-06
FORMULA_NAME DLCround-PT-08a-CTLCardinality-07
FORMULA_NAME DLCround-PT-08a-CTLCardinality-08
FORMULA_NAME DLCround-PT-08a-CTLCardinality-09
FORMULA_NAME DLCround-PT-08a-CTLCardinality-10
FORMULA_NAME DLCround-PT-08a-CTLCardinality-11
FORMULA_NAME DLCround-PT-08a-CTLCardinality-12
FORMULA_NAME DLCround-PT-08a-CTLCardinality-13
FORMULA_NAME DLCround-PT-08a-CTLCardinality-14
FORMULA_NAME DLCround-PT-08a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589127239396

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

GOT IT HERE. BS
Petri model created: 263 places, 1907 transitions, 7354 arcs.
AT ITER 0 NEW BEST:: SOT 320727 SOS 265771 HAS SOPS 160044 HAS SOUS 35066 HAS SOUPS 23630 WITH SCORE 23895.771
AT ITER 2 NEW BEST:: SOT 320734 SOS 265796 HAS SOPS 159979 HAS SOUS 34992 HAS SOUPS 23496 WITH SCORE 23761.796
AT ITER 12 NEW BEST:: SOT 320707 SOS 265670 HAS SOPS 159934 HAS SOUS 34965 HAS SOUPS 23478 WITH SCORE 23743.67
AT ITER 17 NEW BEST:: SOT 320682 SOS 265841 HAS SOPS 159916 HAS SOUS 34950 HAS SOUPS 23456 WITH SCORE 23721.841
AT ITER 18 NEW BEST:: SOT 320775 SOS 265904 HAS SOPS 159979 HAS SOUS 34941 HAS SOUPS 23447 WITH SCORE 23712.904
AT ITER 51 NEW BEST:: SOT 321178 SOS 266408 HAS SOPS 159877 HAS SOUS 34653 HAS SOUPS 22951 WITH SCORE 23217.408
AT ITER 52 NEW BEST:: SOT 321154 SOS 266120 HAS SOPS 159805 HAS SOUS 34557 HAS SOUPS 22879 WITH SCORE 23145.12
AT ITER 60 NEW BEST:: SOT 321143 SOS 266109 HAS SOPS 159794 HAS SOUS 34537 HAS SOUPS 22863 WITH SCORE 23129.109
AT ITER 62 NEW BEST:: SOT 321228 SOS 264438 HAS SOPS 159532 HAS SOUS 35367 HAS SOUPS 22862 WITH SCORE 23126.438
AT ITER 71 NEW BEST:: SOT 321238 SOS 264448 HAS SOPS 159542 HAS SOUS 35362 HAS SOUPS 22857 WITH SCORE 23121.448
AT ITER 72 NEW BEST:: SOT 321214 SOS 264143 HAS SOPS 159237 HAS SOUS 35345 HAS SOUPS 22840 WITH SCORE 23104.143
AT ITER 74 NEW BEST:: SOT 321232 SOS 263927 HAS SOPS 159237 HAS SOUS 35327 HAS SOUPS 22840 WITH SCORE 23103.927
AT ITER 78 NEW BEST:: SOT 321216 SOS 263703 HAS SOPS 159013 HAS SOUS 35311 HAS SOUPS 22824 WITH SCORE 23087.703
AT ITER 86 NEW BEST:: SOT 321266 SOS 264131 HAS SOPS 159441 HAS SOUS 35304 HAS SOUPS 22817 WITH SCORE 23081.131
AT ITER 98 NEW BEST:: SOT 321188 SOS 264092 HAS SOPS 159207 HAS SOUS 35046 HAS SOUPS 22431 WITH SCORE 22695.092
AT ITER 105 NEW BEST:: SOT 321876 SOS 263165 HAS SOPS 159224 HAS SOUS 35452 HAS SOUPS 22240 WITH SCORE 22503.165
AT ITER 114 NEW BEST:: SOT 321847 SOS 262730 HAS SOPS 159137 HAS SOUS 35402 HAS SOUPS 22219 WITH SCORE 22481.73
AT ITER 117 NEW BEST:: SOT 321840 SOS 262632 HAS SOPS 159039 HAS SOUS 35388 HAS SOUPS 22205 WITH SCORE 22467.632
AT ITER 124 NEW BEST:: SOT 321780 SOS 259228 HAS SOPS 156163 HAS SOUS 35347 HAS SOUPS 22208 WITH SCORE 22467.228
AT ITER 132 NEW BEST:: SOT 322338 SOS 258089 HAS SOPS 156054 HAS SOUS 35677 HAS SOUPS 22018 WITH SCORE 22276.089
AT ITER 134 NEW BEST:: SOT 322244 SOS 258002 HAS SOPS 155521 HAS SOUS 34392 HAS SOUPS 20814 WITH SCORE 21072.002
AT ITER 141 NEW BEST:: SOT 322183 SOS 257112 HAS SOPS 155015 HAS SOUS 34302 HAS SOUPS 20756 WITH SCORE 21013.112
AT ITER 148 NEW BEST:: SOT 322183 SOS 257146 HAS SOPS 155049 HAS SOUS 34234 HAS SOUPS 20688 WITH SCORE 20945.146
AT ITER 149 NEW BEST:: SOT 322178 SOS 257141 HAS SOPS 155044 HAS SOUS 34229 HAS SOUPS 20683 WITH SCORE 20940.141
AT ITER 155 NEW BEST:: SOT 322146 SOS 257077 HAS SOPS 155012 HAS SOUS 34165 HAS SOUPS 20651 WITH SCORE 20908.077
AT ITER 160 NEW BEST:: SOT 322130 SOS 257061 HAS SOPS 154996 HAS SOUS 34149 HAS SOUPS 20635 WITH SCORE 20892.061
AT ITER 172 NEW BEST:: SOT 322052 SOS 256944 HAS SOPS 154918 HAS SOUS 34062 HAS SOUPS 20587 WITH SCORE 20843.944
AT ITER 180 NEW BEST:: SOT 322117 SOS 256384 HAS SOPS 155042 HAS SOUS 33992 HAS SOUPS 20574 WITH SCORE 20830.384
AT ITER 186 NEW BEST:: SOT 322107 SOS 256376 HAS SOPS 155039 HAS SOUS 33946 HAS SOUPS 20538 WITH SCORE 20794.376
AT ITER 191 NEW BEST:: SOT 321996 SOS 256214 HAS SOPS 154979 HAS SOUS 33835 HAS SOUPS 20478 WITH SCORE 20734.214
AT ITER 194 NEW BEST:: SOT 321999 SOS 252346 HAS SOPS 151111 HAS SOUS 33831 HAS SOUPS 20474 WITH SCORE 20726.346
AT ITER 204 NEW BEST:: SOT 321935 SOS 252679 HAS SOPS 151156 HAS SOUS 33795 HAS SOUPS 20438 WITH SCORE 20690.679
AT ITER 214 NEW BEST:: SOT 322294 SOS 253192 HAS SOPS 151207 HAS SOUS 33464 HAS SOUPS 20083 WITH SCORE 20336.192
AT ITER 218 NEW BEST:: SOT 322201 SOS 253068 HAS SOPS 151145 HAS SOUS 33371 HAS SOUPS 20021 WITH SCORE 20274.068
AT ITER 220 NEW BEST:: SOT 322190 SOS 253009 HAS SOPS 151134 HAS SOUS 33312 HAS SOUPS 20010 WITH SCORE 20263.009
AT ITER 240 NEW BEST:: SOT 322221 SOS 253070 HAS SOPS 151045 HAS SOUS 33013 HAS SOUPS 19711 WITH SCORE 19964.07
AT ITER 244 NEW BEST:: SOT 322307 SOS 253210 HAS SOPS 150861 HAS SOUS 32397 HAS SOUPS 19095 WITH SCORE 19348.21
AT ITER 247 NEW BEST:: SOT 322271 SOS 252683 HAS SOPS 150754 HAS SOUS 32331 HAS SOUPS 19064 WITH SCORE 19316.683
AT ITER 264 NEW BEST:: SOT 322239 SOS 252619 HAS SOPS 150690 HAS SOUS 32284 HAS SOUPS 19017 WITH SCORE 19269.619
AT ITER 266 NEW BEST:: SOT 322252 SOS 252307 HAS SOPS 150534 HAS SOUS 32258 HAS SOUPS 19004 WITH SCORE 19256.307
AT ITER 272 NEW BEST:: SOT 322261 SOS 252465 HAS SOPS 150692 HAS SOUS 32162 HAS SOUPS 18908 WITH SCORE 19160.465
AT ITER 279 NEW BEST:: SOT 322794 SOS 252998 HAS SOPS 151140 HAS SOUS 32179 HAS SOUPS 18897 WITH SCORE 19149.998
AT ITER 292 NEW BEST:: SOT 322756 SOS 251256 HAS SOPS 149398 HAS SOUS 32152 HAS SOUPS 18870 WITH SCORE 19121.256
AT ITER 298 NEW BEST:: SOT 322744 SOS 251238 HAS SOPS 149392 HAS SOUS 32140 HAS SOUPS 18864 WITH SCORE 19115.238
AT ITER 304 NEW BEST:: SOT 322722 SOS 251205 HAS SOPS 149381 HAS SOUS 32118 HAS SOUPS 18853 WITH SCORE 19104.205
AT ITER 333 NEW BEST:: SOT 322391 SOS 249725 HAS SOPS 149055 HAS SOUS 31709 HAS SOUPS 18524 WITH SCORE 18773.725
AT ITER 339 NEW BEST:: SOT 322389 SOS 249723 HAS SOPS 149053 HAS SOUS 31707 HAS SOUPS 18522 WITH SCORE 18771.723
AT ITER 350 NEW BEST:: SOT 322383 SOS 249567 HAS SOPS 148969 HAS SOUS 31701 HAS SOUPS 18522 WITH SCORE 18771.567
AT ITER 353 NEW BEST:: SOT 322678 SOS 249809 HAS SOPS 149317 HAS SOUS 31738 HAS SOUPS 18513 WITH SCORE 18762.809
AT ITER 362 NEW BEST:: SOT 322655 SOS 249542 HAS SOPS 149050 HAS SOUS 31715 HAS SOUPS 18490 WITH SCORE 18739.542
AT ITER 365 NEW BEST:: SOT 322639 SOS 249518 HAS SOPS 149042 HAS SOUS 31699 HAS SOUPS 18482 WITH SCORE 18731.518
AT ITER 370 NEW BEST:: SOT 322627 SOS 249259 HAS SOPS 149131 HAS SOUS 31633 HAS SOUPS 18445 WITH SCORE 18694.259
AT ITER 372 NEW BEST:: SOT 322430 SOS 247822 HAS SOPS 148971 HAS SOUS 31558 HAS SOUPS 18370 WITH SCORE 18617.822
AT ITER 379 NEW BEST:: SOT 322473 SOS 248043 HAS SOPS 149192 HAS SOUS 31550 HAS SOUPS 18362 WITH SCORE 18610.043
AT ITER 380 NEW BEST:: SOT 322495 SOS 248071 HAS SOPS 149208 HAS SOUS 31512 HAS SOUPS 18346 WITH SCORE 18594.071
AT ITER 386 NEW BEST:: SOT 322399 SOS 247927 HAS SOPS 149160 HAS SOUS 31440 HAS SOUPS 18298 WITH SCORE 18545.927
AT ITER 393 NEW BEST:: SOT 322316 SOS 245189 HAS SOPS 146422 HAS SOUS 31365 HAS SOUPS 18223 WITH SCORE 18468.189
AT ITER 395 NEW BEST:: SOT 322250 SOS 245708 HAS SOPS 146655 HAS SOUS 31310 HAS SOUPS 18190 WITH SCORE 18435.708
AT ITER 405 NEW BEST:: SOT 322284 SOS 245742 HAS SOPS 146689 HAS SOUS 31276 HAS SOUPS 18156 WITH SCORE 18401.742
AT ITER 415 NEW BEST:: SOT 322284 SOS 245250 HAS SOPS 146689 HAS SOUS 31235 HAS SOUPS 18156 WITH SCORE 18401.25
AT ITER 444 NEW BEST:: SOT 322275 SOS 245231 HAS SOPS 146680 HAS SOUS 31216 HAS SOUPS 18147 WITH SCORE 18392.231
AT ITER 450 NEW BEST:: SOT 322336 SOS 245221 HAS SOPS 146670 HAS SOUS 31162 HAS SOUPS 18093 WITH SCORE 18338.221
AT ITER 472 NEW BEST:: SOT 323152 SOS 246037 HAS SOPS 146820 HAS SOUS 31288 HAS SOUPS 17939 WITH SCORE 18185.037
AT ITER 476 NEW BEST:: SOT 322263 SOS 245148 HAS SOPS 146615 HAS SOUS 30897 HAS SOUPS 17828 WITH SCORE 18073.148
AT ITER 493 NEW BEST:: SOT 322250 SOS 244979 HAS SOPS 146446 HAS SOUS 30884 HAS SOUPS 17815 WITH SCORE 18059.979
AT ITER 516 NEW BEST:: SOT 322229 SOS 244433 HAS SOPS 146152 HAS SOUS 30863 HAS SOUPS 17815 WITH SCORE 18059.433
AT ITER 522 NEW BEST:: SOT 322279 SOS 243257 HAS SOPS 146008 HAS SOUS 30699 HAS SOUPS 17737 WITH SCORE 17980.257
AT ITER 530 NEW BEST:: SOT 322271 SOS 243241 HAS SOPS 145992 HAS SOUS 30699 HAS SOUPS 17737 WITH SCORE 17980.241
AT ITER 548 NEW BEST:: SOT 321635 SOS 242135 HAS SOPS 145526 HAS SOUS 30651 HAS SOUPS 17723 WITH SCORE 17965.135
AT ITER 556 NEW BEST:: SOT 321623 SOS 241967 HAS SOPS 145358 HAS SOUS 30645 HAS SOUPS 17717 WITH SCORE 17958.967
AT ITER 581 NEW BEST:: SOT 321604 SOS 243202 HAS SOPS 146365 HAS SOUS 30645 HAS SOUPS 17698 WITH SCORE 17941.202
AT ITER 588 NEW BEST:: SOT 321673 SOS 242410 HAS SOPS 145789 HAS SOUS 30627 HAS SOUPS 17698 WITH SCORE 17940.41
AT ITER 590 NEW BEST:: SOT 321650 SOS 242375 HAS SOPS 145767 HAS SOUS 30616 HAS SOUPS 17698 WITH SCORE 17940.375
AT ITER 592 NEW BEST:: SOT 321810 SOS 243182 HAS SOPS 145928 HAS SOUS 29858 HAS SOUPS 17265 WITH SCORE 17508.182
AT ITER 611 NEW BEST:: SOT 321870 SOS 238859 HAS SOPS 142493 HAS SOUS 29783 HAS SOUPS 17264 WITH SCORE 17502.859
AT ITER 615 NEW BEST:: SOT 321868 SOS 238849 HAS SOPS 142489 HAS SOUS 29781 HAS SOUPS 17264 WITH SCORE 17502.849
AT ITER 628 NEW BEST:: SOT 321853 SOS 237943 HAS SOPS 141583 HAS SOUS 29778 HAS SOUPS 17261 WITH SCORE 17498.943
AT ITER 631 NEW BEST:: SOT 321862 SOS 237986 HAS SOPS 141558 HAS SOUS 29787 HAS SOUPS 17236 WITH SCORE 17473.986
AT ITER 645 NEW BEST:: SOT 321826 SOS 237818 HAS SOPS 141498 HAS SOUS 29763 HAS SOUPS 17224 WITH SCORE 17461.818
AT ITER 657 NEW BEST:: SOT 321832 SOS 237989 HAS SOPS 141669 HAS SOUS 29668 HAS SOUPS 17129 WITH SCORE 17366.989
AT ITER 667 NEW BEST:: SOT 321837 SOS 237878 HAS SOPS 141668 HAS SOUS 29647 HAS SOUPS 17119 WITH SCORE 17356.878
AT ITER 685 NEW BEST:: SOT 321642 SOS 237653 HAS SOPS 141533 HAS SOUS 29646 HAS SOUPS 17118 WITH SCORE 17355.653
AT ITER 705 NEW BEST:: SOT 321637 SOS 237647 HAS SOPS 141527 HAS SOUS 29642 HAS SOUPS 17114 WITH SCORE 17351.647
AT ITER 707 NEW BEST:: SOT 321652 SOS 236829 HAS SOPS 140709 HAS SOUS 29641 HAS SOUPS 17113 WITH SCORE 17349.829
AT ITER 730 NEW BEST:: SOT 321599 SOS 235611 HAS SOPS 140715 HAS SOUS 29448 HAS SOUPS 17022 WITH SCORE 17257.611
AT ITER 739 NEW BEST:: SOT 321627 SOS 235194 HAS SOPS 140792 HAS SOUS 29390 HAS SOUPS 17001 WITH SCORE 17236.194
AT ITER 749 NEW BEST:: SOT 321614 SOS 235194 HAS SOPS 140766 HAS SOUS 29371 HAS SOUPS 16975 WITH SCORE 17210.194
AT ITER 762 NEW BEST:: SOT 321692 SOS 234319 HAS SOPS 140755 HAS SOUS 29234 HAS SOUPS 16910 WITH SCORE 17144.319
AT ITER 764 NEW BEST:: SOT 321633 SOS 234033 HAS SOPS 140469 HAS SOUS 29212 HAS SOUPS 16888 WITH SCORE 17122.033
AT ITER 777 NEW BEST:: SOT 321624 SOS 233871 HAS SOPS 140307 HAS SOUS 29173 HAS SOUPS 16849 WITH SCORE 17082.871
AT ITER 779 NEW BEST:: SOT 321589 SOS 233201 HAS SOPS 139937 HAS SOUS 29148 HAS SOUPS 16849 WITH SCORE 17082.201
AT ITER 784 NEW BEST:: SOT 321585 SOS 233449 HAS SOPS 140137 HAS SOUS 29148 HAS SOUPS 16845 WITH SCORE 17078.449
AT ITER 797 NEW BEST:: SOT 321585 SOS 233449 HAS SOPS 140137 HAS SOUS 29144 HAS SOUPS 16841 WITH SCORE 17074.449
AT ITER 817 NEW BEST:: SOT 320661 SOS 233779 HAS SOPS 139963 HAS SOUS 27996 HAS SOUPS 16295 WITH SCORE 16528.779
AT ITER 824 NEW BEST:: SOT 320643 SOS 233863 HAS SOPS 139687 HAS SOUS 28010 HAS SOUPS 16279 WITH SCORE 16512.863
AT ITER 825 NEW BEST:: SOT 320670 SOS 233890 HAS SOPS 139690 HAS SOUS 28004 HAS SOUPS 16277 WITH SCORE 16510.89
AT ITER 827 NEW BEST:: SOT 320670 SOS 233890 HAS SOPS 139690 HAS SOUS 27986 HAS SOUPS 16267 WITH SCORE 16500.89
AT ITER 835 NEW BEST:: SOT 320693 SOS 230870 HAS SOPS 137318 HAS SOUS 27905 HAS SOUPS 16240 WITH SCORE 16470.87
AT ITER 844 NEW BEST:: SOT 320683 SOS 230100 HAS SOPS 136668 HAS SOUS 27895 HAS SOUPS 16240 WITH SCORE 16470.1
AT ITER 852 NEW BEST:: SOT 320616 SOS 229718 HAS SOPS 136565 HAS SOUS 27780 HAS SOUPS 16156 WITH SCORE 16385.718
AT ITER 875 NEW BEST:: SOT 320616 SOS 229718 HAS SOPS 136565 HAS SOUS 27710 HAS SOUPS 16086 WITH SCORE 16315.718
AT ITER 879 NEW BEST:: SOT 320583 SOS 229696 HAS SOPS 136543 HAS SOUS 27696 HAS SOUPS 16072 WITH SCORE 16301.696
AT ITER 885 NEW BEST:: SOT 320664 SOS 228518 HAS SOPS 136021 HAS SOUS 28001 HAS SOUPS 16033 WITH SCORE 16261.518
AT ITER 916 NEW BEST:: SOT 320658 SOS 228515 HAS SOPS 135982 HAS SOUS 28001 HAS SOUPS 16030 WITH SCORE 16258.515
AT ITER 918 NEW BEST:: SOT 320658 SOS 228464 HAS SOPS 135982 HAS SOUS 27950 HAS SOUPS 16030 WITH SCORE 16258.464
AT ITER 932 NEW BEST:: SOT 320658 SOS 228453 HAS SOPS 135982 HAS SOUS 27939 HAS SOUPS 16030 WITH SCORE 16258.453
AT ITER 934 NEW BEST:: SOT 320618 SOS 226965 HAS SOPS 134494 HAS SOUS 27903 HAS SOUPS 15994 WITH SCORE 16220.965
AT ITER 941 NEW BEST:: SOT 320535 SOS 226959 HAS SOPS 134392 HAS SOUS 27825 HAS SOUPS 15920 WITH SCORE 16146.959
AT ITER 967 NEW BEST:: SOT 320535 SOS 226907 HAS SOPS 134380 HAS SOUS 27821 HAS SOUPS 15920 WITH SCORE 16146.907
AT ITER 970 NEW BEST:: SOT 320488 SOS 226813 HAS SOPS 134380 HAS SOUS 27774 HAS SOUPS 15920 WITH SCORE 16146.813
AT ITER 975 NEW BEST:: SOT 320212 SOS 226317 HAS SOPS 134212 HAS SOUS 27750 HAS SOUPS 15920 WITH SCORE 16146.317
AT ITER 1008 NEW BEST:: SOT 320422 SOS 226527 HAS SOPS 134272 HAS SOUS 27690 HAS SOUPS 15860 WITH SCORE 16086.527
AT ITER 1046 NEW BEST:: SOT 320419 SOS 226437 HAS SOPS 134182 HAS SOUS 27672 HAS SOUPS 15842 WITH SCORE 16068.437
AT ITER 1069 NEW BEST:: SOT 320428 SOS 226317 HAS SOPS 134062 HAS SOUS 27662 HAS SOUPS 15832 WITH SCORE 16058.317
AT ITER 1072 NEW BEST:: SOT 320396 SOS 226357 HAS SOPS 134002 HAS SOUS 27646 HAS SOUPS 15816 WITH SCORE 16042.357
AT ITER 1078 NEW BEST:: SOT 320484 SOS 224833 HAS SOPS 132908 HAS SOUS 27567 HAS SOUPS 15776 WITH SCORE 16000.833
AT ITER 1085 NEW BEST:: SOT 320484 SOS 224793 HAS SOPS 132908 HAS SOUS 27527 HAS SOUPS 15776 WITH SCORE 16000.793
AT ITER 1101 NEW BEST:: SOT 320481 SOS 224732 HAS SOPS 132847 HAS SOUS 27524 HAS SOUPS 15773 WITH SCORE 15997.732
AT ITER 1114 NEW BEST:: SOT 320485 SOS 224696 HAS SOPS 132811 HAS SOUS 27522 HAS SOUPS 15771 WITH SCORE 15995.696
AT ITER 1115 NEW BEST:: SOT 320455 SOS 226979 HAS SOPS 134698 HAS SOUS 27537 HAS SOUPS 15753 WITH SCORE 15979.979
AT ITER 1119 NEW BEST:: SOT 320373 SOS 225639 HAS SOPS 133994 HAS SOUS 27439 HAS SOUPS 15708 WITH SCORE 15933.639
AT ITER 1120 NEW BEST:: SOT 320386 SOS 225679 HAS SOPS 133984 HAS SOUS 27434 HAS SOUPS 15694 WITH SCORE 15919.679
AT ITER 1128 NEW BEST:: SOT 320369 SOS 225662 HAS SOPS 133984 HAS SOUS 27434 HAS SOUPS 15694 WITH SCORE 15919.662
AT ITER 1130 NEW BEST:: SOT 320361 SOS 225732 HAS SOPS 134054 HAS SOUS 27406 HAS SOUPS 15666 WITH SCORE 15891.732
AT ITER 1137 NEW BEST:: SOT 320399 SOS 225770 HAS SOPS 134054 HAS SOUS 27388 HAS SOUPS 15656 WITH SCORE 15881.77
AT ITER 1144 NEW BEST:: SOT 320309 SOS 225695 HAS SOPS 133964 HAS SOUS 27403 HAS SOUPS 15656 WITH SCORE 15881.695
AT ITER 1184 NEW BEST:: SOT 319566 SOS 225037 HAS SOPS 133633 HAS SOUS 27395 HAS SOUPS 15626 WITH SCORE 15851.037
AT ITER 1203 NEW BEST:: SOT 319561 SOS 225032 HAS SOPS 133628 HAS SOUS 27390 HAS SOUPS 15621 WITH SCORE 15846.032
AT ITER 1209 NEW BEST:: SOT 319538 SOS 225696 HAS SOPS 133606 HAS SOUS 27396 HAS SOUPS 15603 WITH SCORE 15828.696
AT ITER 1213 NEW BEST:: SOT 319515 SOS 225658 HAS SOPS 133846 HAS SOUS 27365 HAS SOUPS 15594 WITH SCORE 15819.658
AT ITER 1217 NEW BEST:: SOT 319539 SOS 225678 HAS SOPS 133854 HAS SOUS 27353 HAS SOUPS 15586 WITH SCORE 15811.678
AT ITER 1224 NEW BEST:: SOT 319531 SOS 225670 HAS SOPS 133854 HAS SOUS 27353 HAS SOUPS 15586 WITH SCORE 15811.67
AT ITER 1270 NEW BEST:: SOT 319531 SOS 225682 HAS SOPS 133854 HAS SOUS 27357 HAS SOUPS 15581 WITH SCORE 15806.682
AT ITER 1273 NEW BEST:: SOT 320411 SOS 226530 HAS SOPS 134198 HAS SOUS 27316 HAS SOUPS 15542 WITH SCORE 15768.53
AT ITER 1284 NEW BEST:: SOT 320132 SOS 226034 HAS SOPS 134012 HAS SOUS 27316 HAS SOUPS 15542 WITH SCORE 15768.034
AT ITER 1289 NEW BEST:: SOT 320050 SOS 225940 HAS SOPS 133954 HAS SOUS 27312 HAS SOUPS 15538 WITH SCORE 15763.94
AT ITER 1297 NEW BEST:: SOT 320050 SOS 225940 HAS SOPS 133947 HAS SOUS 27305 HAS SOUPS 15531 WITH SCORE 15756.94
AT ITER 1299 NEW BEST:: SOT 320027 SOS 225917 HAS SOPS 133947 HAS SOUS 27305 HAS SOUPS 15531 WITH SCORE 15756.917
AT ITER 1315 NEW BEST:: SOT 319875 SOS 225683 HAS SOPS 133947 HAS SOUS 27164 HAS SOUPS 15531 WITH SCORE 15756.683
AT ITER 1323 NEW BEST:: SOT 319865 SOS 225543 HAS SOPS 133807 HAS SOUS 27141 HAS SOUPS 15508 WITH SCORE 15733.543
AT ITER 1337 NEW BEST:: SOT 319874 SOS 225606 HAS SOPS 133870 HAS SOUS 27134 HAS SOUPS 15501 WITH SCORE 15726.606
AT ITER 1351 NEW BEST:: SOT 319879 SOS 225592 HAS SOPS 133856 HAS SOUS 27132 HAS SOUPS 15499 WITH SCORE 15724.592
AT ITER 1365 NEW BEST:: SOT 319879 SOS 225614 HAS SOPS 133878 HAS SOUS 27098 HAS SOUPS 15465 WITH SCORE 15690.614
AT ITER 1371 NEW BEST:: SOT 319881 SOS 226138 HAS SOPS 134402 HAS SOUS 27092 HAS SOUPS 15459 WITH SCORE 15685.138
AT ITER 1391 NEW BEST:: SOT 319874 SOS 226150 HAS SOPS 134396 HAS SOUS 27089 HAS SOUPS 15456 WITH SCORE 15682.15
AT ITER 1394 NEW BEST:: SOT 319873 SOS 225366 HAS SOPS 133936 HAS SOUS 27071 HAS SOUPS 15438 WITH SCORE 15663.366
AT ITER 1406 NEW BEST:: SOT 319849 SOS 225327 HAS SOPS 133918 HAS SOUS 27071 HAS SOUPS 15438 WITH SCORE 15663.327
AT ITER 1415 NEW BEST:: SOT 319777 SOS 225255 HAS SOPS 133918 HAS SOUS 27075 HAS SOUPS 15426 WITH SCORE 15651.255
AT ITER 1431 NEW BEST:: SOT 320297 SOS 225775 HAS SOPS 134048 HAS SOUS 26945 HAS SOUPS 15296 WITH SCORE 15521.775
AT ITER 1437 NEW BEST:: SOT 320290 SOS 225758 HAS SOPS 134031 HAS SOUS 26943 HAS SOUPS 15294 WITH SCORE 15519.758
AT ITER 1499 NEW BEST:: SOT 320284 SOS 225753 HAS SOPS 134025 HAS SOUS 26942 HAS SOUPS 15292 WITH SCORE 15517.753
AT ITER 1510 NEW BEST:: SOT 320286 SOS 225659 HAS SOPS 134195 HAS SOUS 26914 HAS SOUPS 15286 WITH SCORE 15511.659
AT ITER 1523 NEW BEST:: SOT 320288 SOS 225401 HAS SOPS 134054 HAS SOUS 26905 HAS SOUPS 15277 WITH SCORE 15502.401
AT ITER 1529 NEW BEST:: SOT 320358 SOS 224902 HAS SOPS 134407 HAS SOUS 26834 HAS SOUPS 15277 WITH SCORE 15501.902
AT ITER 1538 NEW BEST:: SOT 320382 SOS 224926 HAS SOPS 134399 HAS SOUS 26826 HAS SOUPS 15269 WITH SCORE 15493.926
AT ITER 1539 NEW BEST:: SOT 320346 SOS 224872 HAS SOPS 134282 HAS SOUS 26826 HAS SOUPS 15260 WITH SCORE 15484.872
AT ITER 1556 NEW BEST:: SOT 320346 SOS 224713 HAS SOPS 134159 HAS SOUS 26820 HAS SOUPS 15257 WITH SCORE 15481.713
AT ITER 1562 NEW BEST:: SOT 320339 SOS 224475 HAS SOPS 133795 HAS SOUS 26827 HAS SOUPS 15250 WITH SCORE 15474.475
AT ITER 1565 NEW BEST:: SOT 320339 SOS 224459 HAS SOPS 133795 HAS SOUS 26811 HAS SOUPS 15250 WITH SCORE 15474.459
AT ITER 1580 NEW BEST:: SOT 320333 SOS 224399 HAS SOPS 133789 HAS SOUS 26805 HAS SOUPS 15250 WITH SCORE 15474.399
AT ITER 1585 NEW BEST:: SOT 320362 SOS 224825 HAS SOPS 134151 HAS SOUS 26788 HAS SOUPS 15233 WITH SCORE 15457.825
AT ITER 1599 NEW BEST:: SOT 320252 SOS 224572 HAS SOPS 134085 HAS SOUS 26777 HAS SOUPS 15233 WITH SCORE 15457.572
AT ITER 1603 NEW BEST:: SOT 320192 SOS 224257 HAS SOPS 133158 HAS SOUS 26807 HAS SOUPS 15212 WITH SCORE 15436.257
AT ITER 1624 NEW BEST:: SOT 320190 SOS 224263 HAS SOPS 133284 HAS SOUS 26785 HAS SOUPS 15200 WITH SCORE 15424.263
AT ITER 1628 NEW BEST:: SOT 320179 SOS 224142 HAS SOPS 133055 HAS SOUS 26792 HAS SOUPS 15198 WITH SCORE 15422.142
AT ITER 1637 NEW BEST:: SOT 320130 SOS 224093 HAS SOPS 133041 HAS SOUS 26787 HAS SOUPS 15189 WITH SCORE 15413.093
AT ITER 1642 NEW BEST:: SOT 319474 SOS 223441 HAS SOPS 132879 HAS SOUS 26772 HAS SOUPS 15188 WITH SCORE 15411.441
AT ITER 1658 NEW BEST:: SOT 319424 SOS 223351 HAS SOPS 132849 HAS SOUS 26767 HAS SOUPS 15188 WITH SCORE 15411.351
AT ITER 1758 NEW BEST:: SOT 319410 SOS 223323 HAS SOPS 132849 HAS SOUS 26753 HAS SOUPS 15188 WITH SCORE 15411.323
AT ITER 1794 NEW BEST:: SOT 319399 SOS 223301 HAS SOPS 132849 HAS SOUS 26742 HAS SOUPS 15188 WITH SCORE 15411.301
AT ITER 1809 NEW BEST:: SOT 319039 SOS 225212 HAS SOPS 133678 HAS SOUS 26662 HAS SOUPS 15115 WITH SCORE 15340.212
AT ITER 1818 NEW BEST:: SOT 318973 SOS 225146 HAS SOPS 133612 HAS SOUS 26575 HAS SOUPS 15068 WITH SCORE 15293.146
AT ITER 1836 NEW BEST:: SOT 318959 SOS 225197 HAS SOPS 133631 HAS SOUS 26571 HAS SOUPS 15066 WITH SCORE 15291.197
AT ITER 1848 NEW BEST:: SOT 318882 SOS 225120 HAS SOPS 133631 HAS SOUS 26571 HAS SOUPS 15066 WITH SCORE 15291.12
AT ITER 1858 NEW BEST:: SOT 318850 SOS 225550 HAS SOPS 133833 HAS SOUS 26588 HAS SOUPS 15064 WITH SCORE 15289.55
AT ITER 1864 NEW BEST:: SOT 318848 SOS 225546 HAS SOPS 133829 HAS SOUS 26585 HAS SOUPS 15061 WITH SCORE 15286.546
AT ITER 1871 NEW BEST:: SOT 318848 SOS 225481 HAS SOPS 133824 HAS SOUS 26580 HAS SOUPS 15061 WITH SCORE 15286.481
AT ITER 1893 NEW BEST:: SOT 318838 SOS 223969 HAS SOPS 132272 HAS SOUS 26574 HAS SOUPS 15055 WITH SCORE 15278.969
AT ITER 1927 NEW BEST:: SOT 318411 SOS 220714 HAS SOPS 129795 HAS SOUS 26552 HAS SOUPS 15044 WITH SCORE 15264.714
AT ITER 1936 NEW BEST:: SOT 318421 SOS 220584 HAS SOPS 129665 HAS SOUS 26548 HAS SOUPS 15040 WITH SCORE 15260.584
AT ITER 1945 NEW BEST:: SOT 318387 SOS 220516 HAS SOPS 129635 HAS SOUS 26504 HAS SOUPS 15005 WITH SCORE 15225.516
AT ITER 1980 NEW BEST:: SOT 318387 SOS 220516 HAS SOPS 129635 HAS SOUS 26462 HAS SOUPS 14963 WITH SCORE 15183.516
AT ITER 1983 NEW BEST:: SOT 318384 SOS 220513 HAS SOPS 129632 HAS SOUS 26459 HAS SOUPS 14960 WITH SCORE 15180.513
AT ITER 2003 NEW BEST:: SOT 318342 SOS 220177 HAS SOPS 129086 HAS SOUS 26480 HAS SOUPS 14960 WITH SCORE 15180.177
AT ITER 2025 NEW BEST:: SOT 318378 SOS 220249 HAS SOPS 129086 HAS SOUS 26508 HAS SOUPS 14955 WITH SCORE 15175.249
AT ITER 2029 NEW BEST:: SOT 318375 SOS 219190 HAS SOPS 128432 HAS SOUS 26505 HAS SOUPS 14952 WITH SCORE 15171.19
AT ITER 2049 NEW BEST:: SOT 318377 SOS 219197 HAS SOPS 128438 HAS SOUS 26496 HAS SOUPS 14950 WITH SCORE 15169.197
AT ITER 2058 NEW BEST:: SOT 318337 SOS 218617 HAS SOPS 127898 HAS SOUS 26490 HAS SOUPS 14944 WITH SCORE 15162.617
AT ITER 2092 NEW BEST:: SOT 318308 SOS 217899 HAS SOPS 127348 HAS SOUS 26405 HAS SOUPS 14873 WITH SCORE 15090.899
AT ITER 2095 NEW BEST:: SOT 318300 SOS 218137 HAS SOPS 127521 HAS SOUS 26408 HAS SOUPS 14871 WITH SCORE 15089.137
AT ITER 2157 NEW BEST:: SOT 318174 SOS 218011 HAS SOPS 127395 HAS SOUS 26408 HAS SOUPS 14871 WITH SCORE 15089.011
AT ITER 2162 NEW BEST:: SOT 317830 SOS 217667 HAS SOPS 127226 HAS SOUS 26397 HAS SOUPS 14860 WITH SCORE 15077.667
AT ITER 2192 NEW BEST:: SOT 317840 SOS 217621 HAS SOPS 127204 HAS SOUS 26392 HAS SOUPS 14858 WITH SCORE 15075.621
AT ITER 2206 NEW BEST:: SOT 318416 SOS 218197 HAS SOPS 127348 HAS SOUS 26388 HAS SOUPS 14854 WITH SCORE 15072.197
AT ITER 2237 NEW BEST:: SOT 318416 SOS 218197 HAS SOPS 127348 HAS SOUS 26370 HAS SOUPS 14844 WITH SCORE 15062.197
AT ITER 2242 NEW BEST:: SOT 318328 SOS 217342 HAS SOPS 126501 HAS SOUS 26328 HAS SOUPS 14802 WITH SCORE 15019.342
AT ITER 2244 NEW BEST:: SOT 317700 SOS 213663 HAS SOPS 124109 HAS SOUS 26278 HAS SOUPS 14797 WITH SCORE 15010.663
AT ITER 2256 NEW BEST:: SOT 317844 SOS 214062 HAS SOPS 124331 HAS SOUS 26055 HAS SOUPS 14748 WITH SCORE 14962.062
AT ITER 2262 NEW BEST:: SOT 317774 SOS 213992 HAS SOPS 124331 HAS SOUS 26055 HAS SOUPS 14748 WITH SCORE 14961.992
AT ITER 2283 NEW BEST:: SOT 317982 SOS 215214 HAS SOPS 124968 HAS SOUS 26037 HAS SOUPS 14692 WITH SCORE 14907.214
AT ITER 2286 NEW BEST:: SOT 317982 SOS 215194 HAS SOPS 124955 HAS SOUS 26035 HAS SOUPS 14690 WITH SCORE 14905.194
AT ITER 2302 NEW BEST:: SOT 317982 SOS 215149 HAS SOPS 124945 HAS SOUS 26025 HAS SOUPS 14680 WITH SCORE 14895.149
AT ITER 2316 NEW BEST:: SOT 317970 SOS 215137 HAS SOPS 124933 HAS SOUS 26013 HAS SOUPS 14668 WITH SCORE 14883.137
AT ITER 2347 NEW BEST:: SOT 317970 SOS 215136 HAS SOPS 124933 HAS SOUS 26012 HAS SOUPS 14668 WITH SCORE 14883.136
AT ITER 2378 NEW BEST:: SOT 318013 SOS 215222 HAS SOPS 124933 HAS SOUS 26015 HAS SOUPS 14643 WITH SCORE 14858.222
AT ITER 2408 NEW BEST:: SOT 318000 SOS 215127 HAS SOPS 124827 HAS SOUS 26010 HAS SOUPS 14638 WITH SCORE 14853.127
AT ITER 2453 NEW BEST:: SOT 318000 SOS 215127 HAS SOPS 124827 HAS SOUS 26009 HAS SOUPS 14637 WITH SCORE 14852.127
AT ITER 2459 NEW BEST:: SOT 318025 SOS 215152 HAS SOPS 124852 HAS SOUS 25984 HAS SOUPS 14612 WITH SCORE 14827.152
AT ITER 2460 NEW BEST:: SOT 318022 SOS 215143 HAS SOPS 124843 HAS SOUS 25981 HAS SOUPS 14609 WITH SCORE 14824.143
AT ITER 2491 NEW BEST:: SOT 318029 SOS 215160 HAS SOPS 124865 HAS SOUS 25978 HAS SOUPS 14606 WITH SCORE 14821.16
AT ITER 2510 NEW BEST:: SOT 318025 SOS 215212 HAS SOPS 124907 HAS SOUS 25971 HAS SOUPS 14599 WITH SCORE 14814.212
AT ITER 2527 NEW BEST:: SOT 318025 SOS 215288 HAS SOPS 124983 HAS SOUS 25970 HAS SOUPS 14598 WITH SCORE 14813.288
AT ITER 2543 NEW BEST:: SOT 317978 SOS 215134 HAS SOPS 124955 HAS SOUS 25938 HAS SOUPS 14580 WITH SCORE 14795.134
AT ITER 2545 NEW BEST:: SOT 318026 SOS 215787 HAS SOPS 126244 HAS SOUS 25880 HAS SOUPS 14575 WITH SCORE 14790.787
AT ITER 2574 NEW BEST:: SOT 317794 SOS 215234 HAS SOPS 126055 HAS SOUS 25870 HAS SOUPS 14575 WITH SCORE 14790.234
AT ITER 2602 NEW BEST:: SOT 317773 SOS 215213 HAS SOPS 126052 HAS SOUS 25867 HAS SOUPS 14572 WITH SCORE 14787.213
AT ITER 2605 NEW BEST:: SOT 317734 SOS 215156 HAS SOPS 126052 HAS SOUS 25849 HAS SOUPS 14572 WITH SCORE 14787.156
AT ITER 2606 NEW BEST:: SOT 317678 SOS 215107 HAS SOPS 126052 HAS SOUS 25763 HAS SOUPS 14566 WITH SCORE 14781.107
AT ITER 2610 NEW BEST:: SOT 317678 SOS 215092 HAS SOPS 126052 HAS SOUS 25748 HAS SOUPS 14566 WITH SCORE 14781.092
AT ITER 2611 NEW BEST:: SOT 317532 SOS 215215 HAS SOPS 126018 HAS SOUS 25677 HAS SOUPS 14541 WITH SCORE 14756.215
AT ITER 2616 NEW BEST:: SOT 317612 SOS 215291 HAS SOPS 126036 HAS SOUS 25660 HAS SOUPS 14526 WITH SCORE 14741.291
AT ITER 2623 NEW BEST:: SOT 317620 SOS 215203 HAS SOPS 125996 HAS SOUS 25656 HAS SOUPS 14526 WITH SCORE 14741.203
AT ITER 2651 NEW BEST:: SOT 317578 SOS 215161 HAS SOPS 125954 HAS SOUS 25608 HAS SOUPS 14501 WITH SCORE 14716.161
AT ITER 2656 NEW BEST:: SOT 317543 SOS 215126 HAS SOPS 125954 HAS SOUS 25608 HAS SOUPS 14501 WITH SCORE 14716.126
AT ITER 2666 NEW BEST:: SOT 317522 SOS 215105 HAS SOPS 125954 HAS SOUS 25566 HAS SOUPS 14459 WITH SCORE 14674.105
AT ITER 2667 NEW BEST:: SOT 317436 SOS 213944 HAS SOPS 124793 HAS SOUS 25445 HAS SOUPS 14338 WITH SCORE 14551.944
AT ITER 2674 NEW BEST:: SOT 317432 SOS 213404 HAS SOPS 124423 HAS SOUS 25438 HAS SOUPS 14331 WITH SCORE 14544.404
AT ITER 2712 NEW BEST:: SOT 317433 SOS 213514 HAS SOPS 124533 HAS SOUS 25434 HAS SOUPS 14327 WITH SCORE 14540.514
AT ITER 2730 NEW BEST:: SOT 316885 SOS 211496 HAS SOPS 122485 HAS SOUS 25473 HAS SOUPS 14310 WITH SCORE 14521.496
AT ITER 2737 NEW BEST:: SOT 316881 SOS 211440 HAS SOPS 122477 HAS SOUS 25465 HAS SOUPS 14306 WITH SCORE 14517.44
AT ITER 2773 NEW BEST:: SOT 316776 SOS 210303 HAS SOPS 121340 HAS SOUS 25412 HAS SOUPS 14253 WITH SCORE 14463.303
AT ITER 2790 NEW BEST:: SOT 316772 SOS 210185 HAS SOPS 121342 HAS SOUS 25398 HAS SOUPS 14249 WITH SCORE 14459.185
AT ITER 2795 NEW BEST:: SOT 316770 SOS 210135 HAS SOPS 121316 HAS SOUS 25394 HAS SOUPS 14247 WITH SCORE 14457.135
AT ITER 2800 NEW BEST:: SOT 316771 SOS 210154 HAS SOPS 121335 HAS SOUS 25386 HAS SOUPS 14239 WITH SCORE 14449.154
AT ITER 2840 NEW BEST:: SOT 316723 SOS 210051 HAS SOPS 121306 HAS SOUS 25329 HAS SOUPS 14218 WITH SCORE 14428.051
AT ITER 2843 NEW BEST:: SOT 316104 SOS 208917 HAS SOPS 120930 HAS SOUS 25260 HAS SOUPS 14198 WITH SCORE 14406.917
AT ITER 2848 NEW BEST:: SOT 317145 SOS 210729 HAS SOPS 121515 HAS SOUS 25316 HAS SOUPS 14186 WITH SCORE 14396.729
AT ITER 2857 NEW BEST:: SOT 317155 SOS 210839 HAS SOPS 121625 HAS SOUS 25315 HAS SOUPS 14185 WITH SCORE 14395.839
AT ITER 2870 NEW BEST:: SOT 317164 SOS 210773 HAS SOPS 121604 HAS SOUS 25305 HAS SOUPS 14175 WITH SCORE 14385.773
AT ITER 2892 NEW BEST:: SOT 317141 SOS 210700 HAS SOPS 121648 HAS SOUS 25259 HAS SOUPS 14142 WITH SCORE 14352.7
AT ITER 2991 NEW BEST:: SOT 317141 SOS 210508 HAS SOPS 121516 HAS SOUS 25259 HAS SOUPS 14142 WITH SCORE 14352.508
AT ITER 3008 NEW BEST:: SOT 317081 SOS 210406 HAS SOPS 121468 HAS SOUS 25247 HAS SOUPS 14130 WITH SCORE 14340.406
AT ITER 3044 NEW BEST:: SOT 317081 SOS 210406 HAS SOPS 121468 HAS SOUS 25238 HAS SOUPS 14125 WITH SCORE 14335.406
AT ITER 3057 NEW BEST:: SOT 316890 SOS 207630 HAS SOPS 118948 HAS SOUS 25212 HAS SOUPS 14099 WITH SCORE 14306.63
AT ITER 3062 NEW BEST:: SOT 316701 SOS 208486 HAS SOPS 119024 HAS SOUS 25186 HAS SOUPS 14005 WITH SCORE 14213.486
AT ITER 3065 NEW BEST:: SOT 316751 SOS 208553 HAS SOPS 119091 HAS SOUS 25185 HAS SOUPS 14004 WITH SCORE 14212.553
AT ITER 3072 NEW BEST:: SOT 316854 SOS 208865 HAS SOPS 119169 HAS SOUS 25170 HAS SOUPS 13989 WITH SCORE 14197.865
AT ITER 3082 NEW BEST:: SOT 316857 SOS 208947 HAS SOPS 119155 HAS SOUS 25171 HAS SOUPS 13982 WITH SCORE 14190.947
AT ITER 3086 NEW BEST:: SOT 316722 SOS 208041 HAS SOPS 118504 HAS SOUS 25154 HAS SOUPS 13980 WITH SCORE 14188.041
AT ITER 3102 NEW BEST:: SOT 316078 SOS 207291 HAS SOPS 118030 HAS SOUS 25103 HAS SOUPS 13929 WITH SCORE 14136.291
AT ITER 3103 NEW BEST:: SOT 316078 SOS 207303 HAS SOPS 118030 HAS SOUS 25102 HAS SOUPS 13927 WITH SCORE 14134.303
AT ITER 3123 NEW BEST:: SOT 315644 SOS 206224 HAS SOPS 117781 HAS SOUS 25051 HAS SOUPS 13915 WITH SCORE 14121.224
AT ITER 3125 NEW BEST:: SOT 315524 SOS 206104 HAS SOPS 117661 HAS SOUS 25015 HAS SOUPS 13895 WITH SCORE 14101.104
AT ITER 3140 NEW BEST:: SOT 315509 SOS 206074 HAS SOPS 117661 HAS SOUS 25000 HAS SOUPS 13895 WITH SCORE 14101.074
AT ITER 3174 NEW BEST:: SOT 315517 SOS 206093 HAS SOPS 117667 HAS SOUS 24998 HAS SOUPS 13894 WITH SCORE 14100.093
AT ITER 3177 NEW BEST:: SOT 315516 SOS 206079 HAS SOPS 117653 HAS SOUS 24997 HAS SOUPS 13893 WITH SCORE 14099.079
AT ITER 3178 NEW BEST:: SOT 314100 SOS 204584 HAS SOPS 116731 HAS SOUS 24961 HAS SOUPS 13856 WITH SCORE 14060.584
AT ITER 3180 NEW BEST:: SOT 314107 SOS 204605 HAS SOPS 116654 HAS SOUS 24961 HAS SOUPS 13849 WITH SCORE 14053.605
AT ITER 3184 NEW BEST:: SOT 314103 SOS 204553 HAS SOPS 116650 HAS SOUS 24957 HAS SOUPS 13849 WITH SCORE 14053.553
AT ITER 3186 NEW BEST:: SOT 315013 SOS 205283 HAS SOPS 117396 HAS SOUS 24943 HAS SOUPS 13816 WITH SCORE 14021.283
AT ITER 3188 NEW BEST:: SOT 315337 SOS 205943 HAS SOPS 117488 HAS SOUS 24961 HAS SOUPS 13802 WITH SCORE 14007.943
AT ITER 3220 NEW BEST:: SOT 314367 SOS 202307 HAS SOPS 113782 HAS SOUS 24994 HAS SOUPS 13775 WITH SCORE 13977.307
AT ITER 3261 NEW BEST:: SOT 314313 SOS 202228 HAS SOPS 113715 HAS SOUS 24992 HAS SOUPS 13770 WITH SCORE 13972.228
AT ITER 3280 NEW BEST:: SOT 314344 SOS 202250 HAS SOPS 113707 HAS SOUS 24984 HAS SOUPS 13765 WITH SCORE 13967.25
AT ITER 3315 NEW BEST:: SOT 314349 SOS 202255 HAS SOPS 113712 HAS SOUS 24970 HAS SOUPS 13759 WITH SCORE 13961.255
AT ITER 3353 NEW BEST:: SOT 314278 SOS 201808 HAS SOPS 113377 HAS SOUS 24927 HAS SOUPS 13729 WITH SCORE 13930.808
AT ITER 3397 NEW BEST:: SOT 314399 SOS 202028 HAS SOPS 113443 HAS SOUS 24916 HAS SOUPS 13707 WITH SCORE 13909.028
AT ITER 3419 NEW BEST:: SOT 314415 SOS 201804 HAS SOPS 113447 HAS SOUS 24882 HAS SOUPS 13692 WITH SCORE 13893.804
AT ITER 3421 NEW BEST:: SOT 314208 SOS 199497 HAS SOPS 111569 HAS SOUS 24757 HAS SOUPS 13567 WITH SCORE 13766.497
AT ITER 3423 NEW BEST:: SOT 313580 SOS 198249 HAS SOPS 110611 HAS SOUS 24750 HAS SOUPS 13560 WITH SCORE 13758.249
AT ITER 3439 NEW BEST:: SOT 313577 SOS 198193 HAS SOPS 110567 HAS SOUS 24746 HAS SOUPS 13557 WITH SCORE 13755.193
AT ITER 3442 NEW BEST:: SOT 313508 SOS 198120 HAS SOPS 110524 HAS SOUS 24742 HAS SOUPS 13553 WITH SCORE 13751.12
AT ITER 3451 NEW BEST:: SOT 313606 SOS 197476 HAS SOPS 110552 HAS SOUS 24672 HAS SOUPS 13539 WITH SCORE 13736.476
AT ITER 3486 NEW BEST:: SOT 313762 SOS 197920 HAS SOPS 110674 HAS SOUS 24733 HAS SOUPS 13525 WITH SCORE 13722.92
AT ITER 3491 NEW BEST:: SOT 313762 SOS 197920 HAS SOPS 110674 HAS SOUS 24715 HAS SOUPS 13515 WITH SCORE 13712.92
AT ITER 3525 NEW BEST:: SOT 313773 SOS 197931 HAS SOPS 110679 HAS SOUS 24714 HAS SOUPS 13514 WITH SCORE 13711.931
AT ITER 3542 NEW BEST:: SOT 313819 SOS 197977 HAS SOPS 110679 HAS SOUS 24705 HAS SOUPS 13509 WITH SCORE 13706.977
AT ITER 3571 NEW BEST:: SOT 313507 SOS 197065 HAS SOPS 109839 HAS SOUS 24633 HAS SOUPS 13437 WITH SCORE 13634.065
AT ITER 3595 NEW BEST:: SOT 313685 SOS 197318 HAS SOPS 109927 HAS SOUS 24660 HAS SOUPS 13419 WITH SCORE 13616.318
AT ITER 3607 NEW BEST:: SOT 314093 SOS 198185 HAS SOPS 110182 HAS SOUS 24647 HAS SOUPS 13406 WITH SCORE 13604.185
AT ITER 3650 NEW BEST:: SOT 314093 SOS 198185 HAS SOPS 110182 HAS SOUS 24641 HAS SOUPS 13402 WITH SCORE 13600.185
AT ITER 3653 NEW BEST:: SOT 313717 SOS 197318 HAS SOPS 109473 HAS SOUS 24621 HAS SOUPS 13382 WITH SCORE 13579.318
AT ITER 3682 NEW BEST:: SOT 313703 SOS 197304 HAS SOPS 109473 HAS SOUS 24621 HAS SOUPS 13382 WITH SCORE 13579.304
AT ITER 3690 NEW BEST:: SOT 313633 SOS 197178 HAS SOPS 109431 HAS SOUS 24614 HAS SOUPS 13382 WITH SCORE 13579.178
AT ITER 3722 NEW BEST:: SOT 313629 SOS 197122 HAS SOPS 109423 HAS SOUS 24602 HAS SOUPS 13374 WITH SCORE 13571.122
AT ITER 3739 NEW BEST:: SOT 313637 SOS 197114 HAS SOPS 109511 HAS SOUS 24594 HAS SOUPS 13374 WITH SCORE 13571.114
AT ITER 3742 NEW BEST:: SOT 313623 SOS 197094 HAS SOPS 109491 HAS SOUS 24590 HAS SOUPS 13370 WITH SCORE 13567.094
AT ITER 3787 NEW BEST:: SOT 313650 SOS 197101 HAS SOPS 109474 HAS SOUS 24580 HAS SOUPS 13365 WITH SCORE 13562.101
AT ITER 3798 NEW BEST:: SOT 313573 SOS 197219 HAS SOPS 109384 HAS SOUS 24591 HAS SOUPS 13352 WITH SCORE 13549.219
AT ITER 3809 NEW BEST:: SOT 313577 SOS 197322 HAS SOPS 109388 HAS SOUS 24584 HAS SOUPS 13345 WITH SCORE 13542.322
AT ITER 3916 NEW BEST:: SOT 313577 SOS 197312 HAS SOPS 109313 HAS SOUS 24579 HAS SOUPS 13335 WITH SCORE 13532.312
AT ITER 3933 NEW BEST:: SOT 313577 SOS 197312 HAS SOPS 109313 HAS SOUS 24552 HAS SOUPS 13320 WITH SCORE 13517.312
AT ITER 3950 NEW BEST:: SOT 313596 SOS 197331 HAS SOPS 109313 HAS SOUS 24543 HAS SOUPS 13315 WITH SCORE 13512.331
AT ITER 3958 NEW BEST:: SOT 313567 SOS 197307 HAS SOPS 109673 HAS SOUS 24457 HAS SOUPS 13261 WITH SCORE 13458.307
AT ITER 3986 NEW BEST:: SOT 313565 SOS 197280 HAS SOPS 109658 HAS SOUS 24454 HAS SOUPS 13259 WITH SCORE 13456.28
AT ITER 4013 NEW BEST:: SOT 313565 SOS 197280 HAS SOPS 109658 HAS SOUS 24451 HAS SOUPS 13257 WITH SCORE 13454.28
AT ITER 4014 NEW BEST:: SOT 313565 SOS 197280 HAS SOPS 109658 HAS SOUS 24448 HAS SOUPS 13255 WITH SCORE 13452.28
AT ITER 4042 NEW BEST:: SOT 313797 SOS 197512 HAS SOPS 109752 HAS SOUS 24431 HAS SOUPS 13238 WITH SCORE 13435.512
AT ITER 4056 NEW BEST:: SOT 313563 SOS 197064 HAS SOPS 109374 HAS SOUS 24375 HAS SOUPS 13182 WITH SCORE 13379.064
AT ITER 4078 NEW BEST:: SOT 313518 SOS 197019 HAS SOPS 109354 HAS SOUS 24375 HAS SOUPS 13182 WITH SCORE 13379.019
AT ITER 4079 NEW BEST:: SOT 313552 SOS 197029 HAS SOPS 109364 HAS SOUS 24367 HAS SOUPS 13180 WITH SCORE 13377.029
AT ITER 4112 NEW BEST:: SOT 313546 SOS 197023 HAS SOPS 109364 HAS SOUS 24367 HAS SOUPS 13180 WITH SCORE 13377.023
AT ITER 4124 NEW BEST:: SOT 313582 SOS 196391 HAS SOPS 109164 HAS SOUS 24340 HAS SOUPS 13169 WITH SCORE 13365.391
AT ITER 4138 NEW BEST:: SOT 313582 SOS 196391 HAS SOPS 109164 HAS SOUS 24337 HAS SOUPS 13167 WITH SCORE 13363.391
AT ITER 4169 NEW BEST:: SOT 313585 SOS 196489 HAS SOPS 109214 HAS SOUS 24340 HAS SOUPS 13166 WITH SCORE 13362.489
AT ITER 4189 NEW BEST:: SOT 313590 SOS 196454 HAS SOPS 109179 HAS SOUS 24338 HAS SOUPS 13164 WITH SCORE 13360.454
AT ITER 4192 NEW BEST:: SOT 313590 SOS 196454 HAS SOPS 109179 HAS SOUS 24336 HAS SOUPS 13162 WITH SCORE 13358.454
AT ITER 4212 NEW BEST:: SOT 313587 SOS 196172 HAS SOPS 109053 HAS SOUS 24323 HAS SOUPS 13162 WITH SCORE 13358.172
AT ITER 4235 NEW BEST:: SOT 313565 SOS 196023 HAS SOPS 108904 HAS SOUS 24311 HAS SOUPS 13150 WITH SCORE 13346.023
AT ITER 4247 NEW BEST:: SOT 313565 SOS 196114 HAS SOPS 108995 HAS SOUS 24310 HAS SOUPS 13149 WITH SCORE 13345.114
AT ITER 4255 NEW BEST:: SOT 313583 SOS 196126 HAS SOPS 109001 HAS SOUS 24301 HAS SOUPS 13143 WITH SCORE 13339.126
AT ITER 4262 NEW BEST:: SOT 313581 SOS 196206 HAS SOPS 109069 HAS SOUS 24288 HAS SOUPS 13130 WITH SCORE 13326.206
AT ITER 4280 NEW BEST:: SOT 313551 SOS 196135 HAS SOPS 109048 HAS SOUS 24245 HAS SOUPS 13117 WITH SCORE 13313.135
AT ITER 4327 NEW BEST:: SOT 313537 SOS 196121 HAS SOPS 109048 HAS SOUS 24245 HAS SOUPS 13117 WITH SCORE 13313.121
AT ITER 4355 NEW BEST:: SOT 313516 SOS 195939 HAS SOPS 108838 HAS SOUS 24211 HAS SOUPS 13083 WITH SCORE 13278.939
AT ITER 4372 NEW BEST:: SOT 313506 SOS 196211 HAS SOPS 108788 HAS SOUS 24234 HAS SOUPS 13079 WITH SCORE 13275.211
AT ITER 4374 NEW BEST:: SOT 313446 SOS 196151 HAS SOPS 108764 HAS SOUS 24234 HAS SOUPS 13079 WITH SCORE 13275.151
AT ITER 4377 NEW BEST:: SOT 313413 SOS 195956 HAS SOPS 108791 HAS SOUS 24213 HAS SOUPS 13076 WITH SCORE 13271.956
AT ITER 4388 NEW BEST:: SOT 313401 SOS 195654 HAS SOPS 108777 HAS SOUS 24181 HAS SOUPS 13068 WITH SCORE 13263.654
AT ITER 4392 NEW BEST:: SOT 313386 SOS 195639 HAS SOPS 108777 HAS SOUS 24181 HAS SOUPS 13068 WITH SCORE 13263.639
AT ITER 4401 NEW BEST:: SOT 313386 SOS 195639 HAS SOPS 108777 HAS SOUS 24154 HAS SOUPS 13053 WITH SCORE 13248.639
AT ITER 4433 NEW BEST:: SOT 313379 SOS 195541 HAS SOPS 108763 HAS SOUS 24140 HAS SOUPS 13046 WITH SCORE 13241.541
AT ITER 4448 NEW BEST:: SOT 313384 SOS 195161 HAS SOPS 108373 HAS SOUS 24135 HAS SOUPS 13041 WITH SCORE 13236.161
AT ITER 4470 NEW BEST:: SOT 313046 SOS 194641 HAS SOPS 108003 HAS SOUS 24096 HAS SOUPS 13002 WITH SCORE 13196.641
AT ITER 4559 NEW BEST:: SOT 313088 SOS 194659 HAS SOPS 108021 HAS SOUS 24088 HAS SOUPS 13000 WITH SCORE 13194.659
AT ITER 4583 NEW BEST:: SOT 313091 SOS 194632 HAS SOPS 107997 HAS SOUS 24088 HAS SOUPS 13000 WITH SCORE 13194.632
AT ITER 4585 NEW BEST:: SOT 313071 SOS 194612 HAS SOPS 107997 HAS SOUS 24088 HAS SOUPS 13000 WITH SCORE 13194.612
AT ITER 4618 NEW BEST:: SOT 313031 SOS 194572 HAS SOPS 107997 HAS SOUS 24022 HAS SOUPS 12934 WITH SCORE 13128.572
AT ITER 4627 NEW BEST:: SOT 313005 SOS 194544 HAS SOPS 107979 HAS SOUS 24020 HAS SOUPS 12932 WITH SCORE 13126.544
AT ITER 4648 NEW BEST:: SOT 313002 SOS 194538 HAS SOPS 107979 HAS SOUS 24017 HAS SOUPS 12932 WITH SCORE 13126.538
AT ITER 4663 NEW BEST:: SOT 312995 SOS 194352 HAS SOPS 107889 HAS SOUS 24004 HAS SOUPS 12927 WITH SCORE 13121.352
AT ITER 4680 NEW BEST:: SOT 312995 SOS 194088 HAS SOPS 107625 HAS SOUS 24004 HAS SOUPS 12927 WITH SCORE 13121.088
AT ITER 4721 NEW BEST:: SOT 312993 SOS 193880 HAS SOPS 107417 HAS SOUS 24004 HAS SOUPS 12927 WITH SCORE 13120.88
AT ITER 4728 NEW BEST:: SOT 312963 SOS 193820 HAS SOPS 107357 HAS SOUS 23974 HAS SOUPS 12897 WITH SCORE 13090.82
AT ITER 4813 NEW BEST:: SOT 312979 SOS 193833 HAS SOPS 107357 HAS SOUS 23953 HAS SOUPS 12887 WITH SCORE 13080.833
AT ITER 4857 NEW BEST:: SOT 312961 SOS 193797 HAS SOPS 107357 HAS SOUS 23935 HAS SOUPS 12887 WITH SCORE 13080.797
AT ITER 4879 NEW BEST:: SOT 312954 SOS 193811 HAS SOPS 107350 HAS SOUS 23928 HAS SOUPS 12880 WITH SCORE 13073.811
AT ITER 4880 NEW BEST:: SOT 312938 SOS 193795 HAS SOPS 107350 HAS SOUS 23910 HAS SOUPS 12870 WITH SCORE 13063.795
AT ITER 4887 NEW BEST:: SOT 312938 SOS 193796 HAS SOPS 107350 HAS SOUS 23909 HAS SOUPS 12868 WITH SCORE 13061.796
AT ITER 4963 NEW BEST:: SOT 313039 SOS 193947 HAS SOPS 107417 HAS SOUS 23898 HAS SOUPS 12857 WITH SCORE 13050.947
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-08a-CTLCardinality-00 (EX( (! (AG( potential( (tk(P154)) <= (tk(P182)) ))))))
PROPERTY: DLCround-PT-08a-CTLCardinality-01 (! (EU( (! potential( ( 3 ) <= (tk(P132)) )),(! potential( (tk(P229)) <= (tk(P198)) )) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-02 (AF((! (EF(potential( ( 3 ) <= (tk(P202)) ))))))
PROPERTY: DLCround-PT-08a-CTLCardinality-03 (EX( (AG( (! potential( ( 3 ) <= (tk(P218)) ))))))
PROPERTY: DLCround-PT-08a-CTLCardinality-04 ( potential( ( 1 ) <= (tk(P230)) ) | (EG( (AG( potential( (tk(P66)) <= (tk(P17)) ))))) )
PROPERTY: DLCround-PT-08a-CTLCardinality-05 (AG( potential( (tk(P260)) <= (tk(P222)) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-06 (EU( (EG( potential( (tk(P63)) <= (tk(P8)) ))),( (! potential( (tk(P250)) <= (tk(P140)) )) & potential( ( 3 ) <= (tk(P66)) ) ) ))
PROPERTY: DLCround-PT-08a-CTLCardinality-07 (AG( potential( (tk(P140)) <= (tk(P182)) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-08 (EF((AX( potential( ( 1 ) <= (tk(P23)) )))))
PROPERTY: DLCround-PT-08a-CTLCardinality-09 (! (EU( ( potential( (tk(P8)) <= (tk(P67)) ) | potential( ( 1 ) <= (tk(P241)) ) ),( potential( (tk(P6)) <= (tk(P165)) ) & potential( ( 3 ) <= (tk(P217)) ) ) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-10 (EX( (AG( ( potential( ( 2 ) <= (tk(P179)) ) | potential( (tk(P200)) <= (tk(P133)) ) )))))
PROPERTY: DLCround-PT-08a-CTLCardinality-11 (! (EF((! (! potential( ( 2 ) <= (tk(P262)) ))))))
PROPERTY: DLCround-PT-08a-CTLCardinality-12 (! ( (EF(( potential( ( 3 ) <= (tk(P127)) ) & potential( (tk(P96)) <= (tk(P204)) ) ))) | (! potential( (tk(P113)) <= (tk(P96)) )) ))
PROPERTY: DLCround-PT-08a-CTLCardinality-13 (AG( ( ( potential( (tk(P105)) <= (tk(P120)) ) | (! potential( ( 3 ) <= (tk(P140)) )) ) | (EX( potential( ( 3 ) <= (tk(P91)) ))) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-14 (EF(( (EG( potential( ( 3 ) <= (tk(P78)) ))) & (! ( potential( ( 3 ) <= (tk(P45)) ) & potential( (tk(P54)) <= (tk(P113)) ) )) )))
PROPERTY: DLCround-PT-08a-CTLCardinality-15 (EF((! (EX( potential( (tk(P248)) <= (tk(P173)) ))))))

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="DLCround-PT-08a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-08a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300531"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08a.tgz
mv DLCround-PT-08a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;