About the Execution of smart for DLCround-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15795.520 | 2116067.00 | 2116069.00 | 0.00 | [undef] | Cannot compute |
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-158902542400564.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-10a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400564
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 09:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:57 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.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 00:08 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 660K 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-10a-CTLFireability-00
FORMULA_NAME DLCround-PT-10a-CTLFireability-01
FORMULA_NAME DLCround-PT-10a-CTLFireability-02
FORMULA_NAME DLCround-PT-10a-CTLFireability-03
FORMULA_NAME DLCround-PT-10a-CTLFireability-04
FORMULA_NAME DLCround-PT-10a-CTLFireability-05
FORMULA_NAME DLCround-PT-10a-CTLFireability-06
FORMULA_NAME DLCround-PT-10a-CTLFireability-07
FORMULA_NAME DLCround-PT-10a-CTLFireability-08
FORMULA_NAME DLCround-PT-10a-CTLFireability-09
FORMULA_NAME DLCround-PT-10a-CTLFireability-10
FORMULA_NAME DLCround-PT-10a-CTLFireability-11
FORMULA_NAME DLCround-PT-10a-CTLFireability-12
FORMULA_NAME DLCround-PT-10a-CTLFireability-13
FORMULA_NAME DLCround-PT-10a-CTLFireability-14
FORMULA_NAME DLCround-PT-10a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589129341275
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10a
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: 337 places, 2605 transitions, 10130 arcs.
AT ITER 0 NEW BEST:: SOT 551970 SOS 467153 HAS SOPS 282745 HAS SOUS 55803 HAS SOUPS 38909 WITH SCORE 39376.153
AT ITER 4 NEW BEST:: SOT 552724 SOS 465057 HAS SOPS 281901 HAS SOUS 56355 HAS SOUPS 38355 WITH SCORE 38820.057
AT ITER 5 NEW BEST:: SOT 552638 SOS 469044 HAS SOPS 284159 HAS SOUS 56324 HAS SOUPS 38324 WITH SCORE 38793.044
AT ITER 12 NEW BEST:: SOT 552512 SOS 468108 HAS SOPS 284021 HAS SOUS 56220 HAS SOUPS 38277 WITH SCORE 38745.108
AT ITER 15 NEW BEST:: SOT 552304 SOS 469623 HAS SOPS 284612 HAS SOUS 56060 HAS SOUPS 38117 WITH SCORE 38586.623
AT ITER 18 NEW BEST:: SOT 552300 SOS 469608 HAS SOPS 284597 HAS SOUS 56059 HAS SOUPS 38116 WITH SCORE 38585.608
AT ITER 21 NEW BEST:: SOT 553064 SOS 467257 HAS SOPS 283962 HAS SOUS 56692 HAS SOUPS 37973 WITH SCORE 38440.257
AT ITER 29 NEW BEST:: SOT 553086 SOS 467279 HAS SOPS 283984 HAS SOUS 56681 HAS SOUPS 37962 WITH SCORE 38429.279
AT ITER 42 NEW BEST:: SOT 552478 SOS 466705 HAS SOPS 283716 HAS SOUS 55926 HAS SOUPS 37567 WITH SCORE 38033.705
AT ITER 43 NEW BEST:: SOT 552478 SOS 466545 HAS SOPS 283652 HAS SOUS 55894 HAS SOUPS 37535 WITH SCORE 38001.545
AT ITER 44 NEW BEST:: SOT 552182 SOS 466257 HAS SOPS 283192 HAS SOUS 55389 HAS SOUPS 36914 WITH SCORE 37380.257
AT ITER 47 NEW BEST:: SOT 552189 SOS 466440 HAS SOPS 283375 HAS SOUS 54065 HAS SOUPS 35590 WITH SCORE 36056.44
AT ITER 52 NEW BEST:: SOT 551219 SOS 462783 HAS SOPS 281500 HAS SOUS 52575 HAS SOUPS 33566 WITH SCORE 34028.783
AT ITER 64 NEW BEST:: SOT 551194 SOS 460858 HAS SOPS 279575 HAS SOUS 52575 HAS SOUPS 33566 WITH SCORE 34026.858
AT ITER 78 NEW BEST:: SOT 551612 SOS 458738 HAS SOPS 278897 HAS SOUS 52690 HAS SOUPS 32711 WITH SCORE 33169.738
AT ITER 79 NEW BEST:: SOT 551679 SOS 458805 HAS SOPS 278787 HAS SOUS 52453 HAS SOUPS 32362 WITH SCORE 32820.805
AT ITER 82 NEW BEST:: SOT 551633 SOS 458839 HAS SOPS 278821 HAS SOUS 52384 HAS SOUPS 32293 WITH SCORE 32751.839
AT ITER 98 NEW BEST:: SOT 551609 SOS 458995 HAS SOPS 278809 HAS SOUS 52384 HAS SOUPS 32281 WITH SCORE 32739.995
AT ITER 110 NEW BEST:: SOT 551644 SOS 459030 HAS SOPS 278844 HAS SOUS 52349 HAS SOUPS 32246 WITH SCORE 32705.03
AT ITER 114 NEW BEST:: SOT 551581 SOS 462705 HAS SOPS 280923 HAS SOUS 52328 HAS SOUPS 32225 WITH SCORE 32687.705
AT ITER 118 NEW BEST:: SOT 551625 SOS 456608 HAS SOPS 275063 HAS SOUS 52289 HAS SOUPS 32186 WITH SCORE 32642.608
AT ITER 125 NEW BEST:: SOT 551613 SOS 456584 HAS SOPS 275039 HAS SOUS 52265 HAS SOUPS 32162 WITH SCORE 32618.584
AT ITER 126 NEW BEST:: SOT 551653 SOS 456047 HAS SOPS 275468 HAS SOUS 52150 HAS SOUPS 32116 WITH SCORE 32572.047
AT ITER 133 NEW BEST:: SOT 551557 SOS 451457 HAS SOPS 270878 HAS SOUS 52038 HAS SOUPS 32004 WITH SCORE 32455.457
AT ITER 142 NEW BEST:: SOT 551527 SOS 451341 HAS SOPS 270993 HAS SOUS 52007 HAS SOUPS 31994 WITH SCORE 32445.341
AT ITER 148 NEW BEST:: SOT 551499 SOS 449785 HAS SOPS 269437 HAS SOUS 51999 HAS SOUPS 31986 WITH SCORE 32435.785
AT ITER 155 NEW BEST:: SOT 551499 SOS 449750 HAS SOPS 269325 HAS SOUS 51992 HAS SOUPS 31972 WITH SCORE 32421.75
AT ITER 156 NEW BEST:: SOT 551472 SOS 449184 HAS SOPS 268759 HAS SOUS 51980 HAS SOUPS 31960 WITH SCORE 32409.184
AT ITER 162 NEW BEST:: SOT 551370 SOS 447552 HAS SOPS 268135 HAS SOUS 51897 HAS SOUPS 31949 WITH SCORE 32396.552
AT ITER 169 NEW BEST:: SOT 551359 SOS 447205 HAS SOPS 268138 HAS SOUS 51861 HAS SOUPS 31938 WITH SCORE 32385.205
AT ITER 170 NEW BEST:: SOT 550674 SOS 447175 HAS SOPS 267848 HAS SOUS 50050 HAS SOUPS 30978 WITH SCORE 31425.175
AT ITER 171 NEW BEST:: SOT 550674 SOS 447415 HAS SOPS 267864 HAS SOUS 50050 HAS SOUPS 30962 WITH SCORE 31409.415
AT ITER 172 NEW BEST:: SOT 550718 SOS 447796 HAS SOPS 267882 HAS SOUS 50080 HAS SOUPS 30959 WITH SCORE 31406.796
AT ITER 189 NEW BEST:: SOT 550709 SOS 447652 HAS SOPS 267738 HAS SOUS 50062 HAS SOUPS 30941 WITH SCORE 31388.652
AT ITER 200 NEW BEST:: SOT 550663 SOS 446870 HAS SOPS 267600 HAS SOUS 49982 HAS SOUPS 30907 WITH SCORE 31353.87
AT ITER 207 NEW BEST:: SOT 550562 SOS 446514 HAS SOPS 267486 HAS SOUS 49926 HAS SOUPS 30873 WITH SCORE 31319.514
AT ITER 225 NEW BEST:: SOT 550617 SOS 446382 HAS SOPS 267354 HAS SOUS 49838 HAS SOUPS 30785 WITH SCORE 31231.382
AT ITER 232 NEW BEST:: SOT 549870 SOS 446067 HAS SOPS 267088 HAS SOUS 48955 HAS SOUPS 30322 WITH SCORE 30768.067
AT ITER 236 NEW BEST:: SOT 549759 SOS 439416 HAS SOPS 261347 HAS SOUS 48890 HAS SOUPS 30322 WITH SCORE 30761.416
AT ITER 239 NEW BEST:: SOT 549773 SOS 438310 HAS SOPS 260430 HAS SOUS 48841 HAS SOUPS 30273 WITH SCORE 30711.31
AT ITER 249 NEW BEST:: SOT 549824 SOS 438498 HAS SOPS 260618 HAS SOUS 48470 HAS SOUPS 29902 WITH SCORE 30340.498
AT ITER 252 NEW BEST:: SOT 549782 SOS 436713 HAS SOPS 258833 HAS SOUS 48437 HAS SOUPS 29869 WITH SCORE 30305.713
AT ITER 257 NEW BEST:: SOT 549728 SOS 436641 HAS SOPS 258797 HAS SOUS 48405 HAS SOUPS 29855 WITH SCORE 30291.641
AT ITER 263 NEW BEST:: SOT 549716 SOS 436351 HAS SOPS 258507 HAS SOUS 48400 HAS SOUPS 29850 WITH SCORE 30286.351
AT ITER 264 NEW BEST:: SOT 549781 SOS 437021 HAS SOPS 258583 HAS SOUS 48428 HAS SOUPS 29824 WITH SCORE 30261.021
AT ITER 273 NEW BEST:: SOT 549733 SOS 436957 HAS SOPS 258551 HAS SOUS 48396 HAS SOUPS 29808 WITH SCORE 30244.957
AT ITER 275 NEW BEST:: SOT 549762 SOS 436955 HAS SOPS 257709 HAS SOUS 48451 HAS SOUPS 29803 WITH SCORE 30239.955
AT ITER 292 NEW BEST:: SOT 549762 SOS 436613 HAS SOPS 257633 HAS SOUS 48413 HAS SOUPS 29784 WITH SCORE 30220.613
AT ITER 300 NEW BEST:: SOT 549679 SOS 436590 HAS SOPS 257310 HAS SOUS 47610 HAS SOUPS 28981 WITH SCORE 29417.59
AT ITER 311 NEW BEST:: SOT 549741 SOS 436652 HAS SOPS 257290 HAS SOUS 47590 HAS SOUPS 28961 WITH SCORE 29397.652
AT ITER 314 NEW BEST:: SOT 549637 SOS 436503 HAS SOPS 257231 HAS SOUS 47493 HAS SOUPS 28909 WITH SCORE 29345.503
AT ITER 322 NEW BEST:: SOT 549555 SOS 436421 HAS SOPS 257107 HAS SOUS 47342 HAS SOUPS 28736 WITH SCORE 29172.421
AT ITER 327 NEW BEST:: SOT 549223 SOS 436046 HAS SOPS 256603 HAS SOUS 47212 HAS SOUPS 28649 WITH SCORE 29085.046
AT ITER 333 NEW BEST:: SOT 549222 SOS 436030 HAS SOPS 256587 HAS SOUS 47210 HAS SOUPS 28647 WITH SCORE 29083.03
AT ITER 335 NEW BEST:: SOT 549418 SOS 436226 HAS SOPS 256531 HAS SOUS 46831 HAS SOUPS 28331 WITH SCORE 28767.226
AT ITER 336 NEW BEST:: SOT 549442 SOS 436299 HAS SOPS 256359 HAS SOUS 46699 HAS SOUPS 28007 WITH SCORE 28443.299
AT ITER 349 NEW BEST:: SOT 549487 SOS 435507 HAS SOPS 256057 HAS SOUS 46651 HAS SOUPS 27994 WITH SCORE 28429.507
AT ITER 350 NEW BEST:: SOT 549825 SOS 435937 HAS SOPS 256027 HAS SOUS 46650 HAS SOUPS 27653 WITH SCORE 28088.937
AT ITER 355 NEW BEST:: SOT 549854 SOS 437786 HAS SOPS 256328 HAS SOUS 46578 HAS SOUPS 27617 WITH SCORE 28054.786
AT ITER 408 NEW BEST:: SOT 549824 SOS 438431 HAS SOPS 256688 HAS SOUS 46559 HAS SOUPS 27598 WITH SCORE 28036.431
AT ITER 419 NEW BEST:: SOT 549647 SOS 438195 HAS SOPS 256511 HAS SOUS 46382 HAS SOUPS 27480 WITH SCORE 27918.195
AT ITER 421 NEW BEST:: SOT 549656 SOS 438204 HAS SOPS 256520 HAS SOUS 46364 HAS SOUPS 27474 WITH SCORE 27912.204
AT ITER 423 NEW BEST:: SOT 549682 SOS 438535 HAS SOPS 257425 HAS SOUS 46301 HAS SOUPS 27452 WITH SCORE 27890.535
AT ITER 432 NEW BEST:: SOT 549586 SOS 438407 HAS SOPS 257329 HAS SOUS 46269 HAS SOUPS 27452 WITH SCORE 27890.407
AT ITER 436 NEW BEST:: SOT 549812 SOS 438656 HAS SOPS 257440 HAS SOUS 46196 HAS SOUPS 27379 WITH SCORE 27817.656
AT ITER 447 NEW BEST:: SOT 549539 SOS 438008 HAS SOPS 256942 HAS SOUS 46173 HAS SOUPS 27356 WITH SCORE 27794.008
AT ITER 448 NEW BEST:: SOT 549663 SOS 436652 HAS SOPS 256916 HAS SOUS 46048 HAS SOUPS 27326 WITH SCORE 27762.652
AT ITER 455 NEW BEST:: SOT 549615 SOS 436583 HAS SOPS 256889 HAS SOUS 46003 HAS SOUPS 27302 WITH SCORE 27738.583
AT ITER 477 NEW BEST:: SOT 549795 SOS 436763 HAS SOPS 256853 HAS SOUS 45919 HAS SOUPS 27218 WITH SCORE 27654.763
AT ITER 490 NEW BEST:: SOT 550491 SOS 437459 HAS SOPS 256901 HAS SOUS 46045 HAS SOUPS 27148 WITH SCORE 27585.459
AT ITER 493 NEW BEST:: SOT 551030 SOS 438056 HAS SOPS 257150 HAS SOUS 45891 HAS SOUPS 26994 WITH SCORE 27432.056
AT ITER 501 NEW BEST:: SOT 551069 SOS 437497 HAS SOPS 256773 HAS SOUS 45865 HAS SOUPS 26981 WITH SCORE 27418.497
AT ITER 508 NEW BEST:: SOT 550935 SOS 437971 HAS SOPS 256661 HAS SOUS 45776 HAS SOUPS 26869 WITH SCORE 27306.971
AT ITER 511 NEW BEST:: SOT 550955 SOS 437697 HAS SOPS 256486 HAS SOUS 45763 HAS SOUPS 26856 WITH SCORE 27293.697
AT ITER 512 NEW BEST:: SOT 550955 SOS 437652 HAS SOPS 256483 HAS SOUS 45760 HAS SOUPS 26856 WITH SCORE 27293.652
AT ITER 514 NEW BEST:: SOT 550931 SOS 437700 HAS SOPS 256459 HAS SOUS 45736 HAS SOUPS 26832 WITH SCORE 27269.7
AT ITER 525 NEW BEST:: SOT 550873 SOS 435456 HAS SOPS 255447 HAS SOUS 45630 HAS SOUPS 26814 WITH SCORE 27249.456
AT ITER 529 NEW BEST:: SOT 550804 SOS 435232 HAS SOPS 255872 HAS SOUS 45543 HAS SOUPS 26786 WITH SCORE 27221.232
AT ITER 536 NEW BEST:: SOT 550804 SOS 435232 HAS SOPS 255828 HAS SOUS 45499 HAS SOUPS 26742 WITH SCORE 27177.232
AT ITER 561 NEW BEST:: SOT 550728 SOS 435118 HAS SOPS 255790 HAS SOUS 45423 HAS SOUPS 26704 WITH SCORE 27139.118
AT ITER 578 NEW BEST:: SOT 550821 SOS 434086 HAS SOPS 254758 HAS SOUS 45399 HAS SOUPS 26680 WITH SCORE 27114.086
AT ITER 582 NEW BEST:: SOT 550833 SOS 433903 HAS SOPS 254575 HAS SOUS 45344 HAS SOUPS 26625 WITH SCORE 27058.903
AT ITER 590 NEW BEST:: SOT 550817 SOS 433879 HAS SOPS 254567 HAS SOUS 45328 HAS SOUPS 26617 WITH SCORE 27050.879
AT ITER 600 NEW BEST:: SOT 550804 SOS 433723 HAS SOPS 254554 HAS SOUS 45302 HAS SOUPS 26604 WITH SCORE 27037.723
AT ITER 612 NEW BEST:: SOT 550792 SOS 433531 HAS SOPS 254194 HAS SOUS 45314 HAS SOUPS 26604 WITH SCORE 27037.531
AT ITER 618 NEW BEST:: SOT 550972 SOS 433841 HAS SOPS 254504 HAS SOUS 45278 HAS SOUPS 26568 WITH SCORE 27001.841
AT ITER 620 NEW BEST:: SOT 550969 SOS 433835 HAS SOPS 254501 HAS SOUS 45272 HAS SOUPS 26565 WITH SCORE 26998.835
AT ITER 632 NEW BEST:: SOT 551209 SOS 434123 HAS SOPS 254549 HAS SOUS 45332 HAS SOUPS 26449 WITH SCORE 26883.123
AT ITER 636 NEW BEST:: SOT 551224 SOS 434676 HAS SOPS 255102 HAS SOUS 45311 HAS SOUPS 26428 WITH SCORE 26862.676
AT ITER 642 NEW BEST:: SOT 551131 SOS 434601 HAS SOPS 255027 HAS SOUS 45285 HAS SOUPS 26402 WITH SCORE 26836.601
AT ITER 658 NEW BEST:: SOT 551117 SOS 434587 HAS SOPS 255013 HAS SOUS 45271 HAS SOUPS 26388 WITH SCORE 26822.587
AT ITER 659 NEW BEST:: SOT 551069 SOS 434127 HAS SOPS 254553 HAS SOUS 45203 HAS SOUPS 26320 WITH SCORE 26754.127
AT ITER 668 NEW BEST:: SOT 551003 SOS 433995 HAS SOPS 254487 HAS SOUS 45071 HAS SOUPS 26254 WITH SCORE 26687.995
AT ITER 670 NEW BEST:: SOT 550983 SOS 433675 HAS SOPS 254447 HAS SOUS 45051 HAS SOUPS 26254 WITH SCORE 26687.675
AT ITER 671 NEW BEST:: SOT 551067 SOS 433759 HAS SOPS 254371 HAS SOUS 45019 HAS SOUPS 26222 WITH SCORE 26655.759
AT ITER 673 NEW BEST:: SOT 551082 SOS 432441 HAS SOPS 253417 HAS SOUS 44989 HAS SOUPS 26218 WITH SCORE 26650.441
AT ITER 678 NEW BEST:: SOT 551106 SOS 432465 HAS SOPS 253396 HAS SOUS 44968 HAS SOUPS 26197 WITH SCORE 26629.465
AT ITER 687 NEW BEST:: SOT 551097 SOS 432797 HAS SOPS 253728 HAS SOUS 44921 HAS SOUPS 26150 WITH SCORE 26582.797
AT ITER 703 NEW BEST:: SOT 550999 SOS 434859 HAS SOPS 254107 HAS SOUS 44905 HAS SOUPS 26083 WITH SCORE 26517.859
AT ITER 706 NEW BEST:: SOT 551032 SOS 434859 HAS SOPS 254107 HAS SOUS 44866 HAS SOUPS 26044 WITH SCORE 26478.859
AT ITER 717 NEW BEST:: SOT 551115 SOS 434942 HAS SOPS 254107 HAS SOUS 44470 HAS SOUPS 25824 WITH SCORE 26258.942
AT ITER 730 NEW BEST:: SOT 551446 SOS 435319 HAS SOPS 254254 HAS SOUS 44600 HAS SOUPS 25798 WITH SCORE 26233.319
AT ITER 733 NEW BEST:: SOT 551185 SOS 435640 HAS SOPS 254236 HAS SOUS 43514 HAS SOUPS 25180 WITH SCORE 25615.64
AT ITER 748 NEW BEST:: SOT 551176 SOS 435180 HAS SOPS 253776 HAS SOUS 43505 HAS SOUPS 25171 WITH SCORE 25606.18
AT ITER 782 NEW BEST:: SOT 551151 SOS 434680 HAS SOPS 253696 HAS SOUS 43462 HAS SOUPS 25158 WITH SCORE 25592.68
AT ITER 787 NEW BEST:: SOT 551151 SOS 434604 HAS SOPS 253677 HAS SOUS 43443 HAS SOUPS 25139 WITH SCORE 25573.604
AT ITER 795 NEW BEST:: SOT 551136 SOS 434589 HAS SOPS 253677 HAS SOUS 43443 HAS SOUPS 25139 WITH SCORE 25573.589
AT ITER 801 NEW BEST:: SOT 551102 SOS 437161 HAS SOPS 256249 HAS SOUS 43409 HAS SOUPS 25105 WITH SCORE 25542.161
AT ITER 811 NEW BEST:: SOT 551102 SOS 437147 HAS SOPS 256235 HAS SOUS 43408 HAS SOUPS 25104 WITH SCORE 25541.147
AT ITER 828 NEW BEST:: SOT 551086 SOS 437131 HAS SOPS 256219 HAS SOUS 43065 HAS SOUPS 24917 WITH SCORE 25354.131
AT ITER 833 NEW BEST:: SOT 551010 SOS 435635 HAS SOPS 255395 HAS SOUS 43009 HAS SOUPS 24909 WITH SCORE 25344.635
AT ITER 853 NEW BEST:: SOT 551032 SOS 435657 HAS SOPS 255417 HAS SOUS 42964 HAS SOUPS 24864 WITH SCORE 25299.657
AT ITER 863 NEW BEST:: SOT 551036 SOS 435777 HAS SOPS 255481 HAS SOUS 42967 HAS SOUPS 24863 WITH SCORE 25298.777
AT ITER 872 NEW BEST:: SOT 551109 SOS 435331 HAS SOPS 255553 HAS SOUS 42928 HAS SOUPS 24861 WITH SCORE 25296.331
AT ITER 877 NEW BEST:: SOT 551131 SOS 435353 HAS SOPS 255535 HAS SOUS 42910 HAS SOUPS 24843 WITH SCORE 25278.353
AT ITER 881 NEW BEST:: SOT 551128 SOS 435344 HAS SOPS 255526 HAS SOUS 42907 HAS SOUPS 24840 WITH SCORE 25275.344
AT ITER 889 NEW BEST:: SOT 551128 SOS 435314 HAS SOPS 255524 HAS SOUS 42903 HAS SOUPS 24838 WITH SCORE 25273.314
AT ITER 904 NEW BEST:: SOT 551112 SOS 435310 HAS SOPS 255536 HAS SOUS 42847 HAS SOUPS 24770 WITH SCORE 25205.31
AT ITER 906 NEW BEST:: SOT 551113 SOS 435474 HAS SOPS 255616 HAS SOUS 42844 HAS SOUPS 24761 WITH SCORE 25196.474
AT ITER 965 NEW BEST:: SOT 551072 SOS 435485 HAS SOPS 255627 HAS SOUS 42832 HAS SOUPS 24749 WITH SCORE 25184.485
AT ITER 979 NEW BEST:: SOT 551040 SOS 435437 HAS SOPS 255611 HAS SOUS 42800 HAS SOUPS 24733 WITH SCORE 25168.437
AT ITER 1018 NEW BEST:: SOT 551001 SOS 434813 HAS SOPS 255533 HAS SOUS 42761 HAS SOUPS 24733 WITH SCORE 25167.813
AT ITER 1043 NEW BEST:: SOT 550985 SOS 434765 HAS SOPS 255261 HAS SOUS 42745 HAS SOUPS 24701 WITH SCORE 25135.765
AT ITER 1050 NEW BEST:: SOT 550994 SOS 434774 HAS SOPS 255237 HAS SOUS 42721 HAS SOUPS 24677 WITH SCORE 25111.774
AT ITER 1072 NEW BEST:: SOT 550798 SOS 434520 HAS SOPS 255099 HAS SOUS 42605 HAS SOUPS 24619 WITH SCORE 25053.52
AT ITER 1085 NEW BEST:: SOT 550761 SOS 434483 HAS SOPS 255099 HAS SOUS 42583 HAS SOUPS 24597 WITH SCORE 25031.483
AT ITER 1089 NEW BEST:: SOT 550733 SOS 433951 HAS SOPS 254567 HAS SOUS 42569 HAS SOUPS 24583 WITH SCORE 25016.951
AT ITER 1133 NEW BEST:: SOT 550693 SOS 433871 HAS SOPS 254527 HAS SOUS 42430 HAS SOUPS 24536 WITH SCORE 24969.871
AT ITER 1150 NEW BEST:: SOT 550695 SOS 434428 HAS SOPS 255084 HAS SOUS 42425 HAS SOUPS 24531 WITH SCORE 24965.428
AT ITER 1216 NEW BEST:: SOT 550677 SOS 434807 HAS SOPS 255463 HAS SOUS 42359 HAS SOUPS 24465 WITH SCORE 24899.807
AT ITER 1218 NEW BEST:: SOT 550688 SOS 434829 HAS SOPS 255485 HAS SOUS 42357 HAS SOUPS 24463 WITH SCORE 24897.829
AT ITER 1226 NEW BEST:: SOT 550671 SOS 434987 HAS SOPS 255467 HAS SOUS 42355 HAS SOUPS 24445 WITH SCORE 24879.987
AT ITER 1249 NEW BEST:: SOT 550672 SOS 435143 HAS SOPS 255427 HAS SOUS 42361 HAS SOUPS 24437 WITH SCORE 24872.143
AT ITER 1320 NEW BEST:: SOT 550944 SOS 435442 HAS SOPS 255564 HAS SOUS 42282 HAS SOUPS 24358 WITH SCORE 24793.442
AT ITER 1328 NEW BEST:: SOT 550930 SOS 435373 HAS SOPS 255532 HAS SOUS 42195 HAS SOUPS 24326 WITH SCORE 24761.373
AT ITER 1341 NEW BEST:: SOT 550965 SOS 435408 HAS SOPS 255532 HAS SOUS 42105 HAS SOUPS 24276 WITH SCORE 24711.408
AT ITER 1358 NEW BEST:: SOT 550979 SOS 435341 HAS SOPS 255522 HAS SOUS 42100 HAS SOUPS 24271 WITH SCORE 24706.341
AT ITER 1361 NEW BEST:: SOT 550968 SOS 435330 HAS SOPS 255522 HAS SOUS 42100 HAS SOUPS 24271 WITH SCORE 24706.33
AT ITER 1365 NEW BEST:: SOT 550272 SOS 433267 HAS SOPS 254695 HAS SOUS 42042 HAS SOUPS 24262 WITH SCORE 24695.267
AT ITER 1366 NEW BEST:: SOT 550272 SOS 433267 HAS SOPS 254695 HAS SOUS 41691 HAS SOUPS 24067 WITH SCORE 24500.267
AT ITER 1368 NEW BEST:: SOT 550249 SOS 432899 HAS SOPS 254327 HAS SOUS 41668 HAS SOUPS 24044 WITH SCORE 24476.899
AT ITER 1383 NEW BEST:: SOT 550170 SOS 432093 HAS SOPS 254313 HAS SOUS 41547 HAS SOUPS 23995 WITH SCORE 24427.093
AT ITER 1413 NEW BEST:: SOT 550150 SOS 432073 HAS SOPS 254293 HAS SOUS 41545 HAS SOUPS 23993 WITH SCORE 24425.073
AT ITER 1414 NEW BEST:: SOT 550138 SOS 431437 HAS SOPS 253741 HAS SOUS 41527 HAS SOUPS 23981 WITH SCORE 24412.437
AT ITER 1423 NEW BEST:: SOT 550134 SOS 431432 HAS SOPS 253736 HAS SOUS 41526 HAS SOUPS 23980 WITH SCORE 24411.432
AT ITER 1434 NEW BEST:: SOT 550374 SOS 431672 HAS SOPS 253844 HAS SOUS 41515 HAS SOUPS 23969 WITH SCORE 24400.672
AT ITER 1435 NEW BEST:: SOT 550393 SOS 431881 HAS SOPS 253844 HAS SOUS 41533 HAS SOUPS 23968 WITH SCORE 24399.881
AT ITER 1436 NEW BEST:: SOT 550365 SOS 431860 HAS SOPS 253823 HAS SOUS 41533 HAS SOUPS 23968 WITH SCORE 24399.86
AT ITER 1462 NEW BEST:: SOT 550333 SOS 432328 HAS SOPS 254291 HAS SOUS 41507 HAS SOUPS 23942 WITH SCORE 24374.328
AT ITER 1467 NEW BEST:: SOT 550213 SOS 432198 HAS SOPS 254221 HAS SOUS 41507 HAS SOUPS 23942 WITH SCORE 24374.198
AT ITER 1486 NEW BEST:: SOT 550261 SOS 430714 HAS SOPS 253073 HAS SOUS 41474 HAS SOUPS 23933 WITH SCORE 24363.714
AT ITER 1515 NEW BEST:: SOT 550261 SOS 430714 HAS SOPS 253073 HAS SOUS 41465 HAS SOUPS 23928 WITH SCORE 24358.714
AT ITER 1530 NEW BEST:: SOT 550247 SOS 430693 HAS SOPS 253066 HAS SOUS 41442 HAS SOUPS 23916 WITH SCORE 24346.693
AT ITER 1532 NEW BEST:: SOT 550247 SOS 430135 HAS SOPS 252526 HAS SOUS 41442 HAS SOUPS 23916 WITH SCORE 24346.135
AT ITER 1544 NEW BEST:: SOT 550138 SOS 429315 HAS SOPS 251706 HAS SOUS 41432 HAS SOUPS 23906 WITH SCORE 24335.315
AT ITER 1550 NEW BEST:: SOT 550137 SOS 429308 HAS SOPS 251699 HAS SOUS 41431 HAS SOUPS 23905 WITH SCORE 24334.308
AT ITER 1560 NEW BEST:: SOT 550139 SOS 429284 HAS SOPS 251675 HAS SOUS 41431 HAS SOUPS 23905 WITH SCORE 24334.284
AT ITER 1600 NEW BEST:: SOT 550137 SOS 429430 HAS SOPS 251793 HAS SOUS 41431 HAS SOUPS 23903 WITH SCORE 24332.43
AT ITER 1616 NEW BEST:: SOT 550137 SOS 429430 HAS SOPS 251793 HAS SOUS 41035 HAS SOUPS 23683 WITH SCORE 24112.43
AT ITER 1635 NEW BEST:: SOT 550929 SOS 431239 HAS SOPS 252258 HAS SOUS 41030 HAS SOUPS 23627 WITH SCORE 24058.239
AT ITER 1639 NEW BEST:: SOT 550934 SOS 431244 HAS SOPS 252239 HAS SOUS 41011 HAS SOUPS 23608 WITH SCORE 24039.244
AT ITER 1644 NEW BEST:: SOT 550935 SOS 431236 HAS SOPS 252133 HAS SOUS 41014 HAS SOUPS 23604 WITH SCORE 24035.236
AT ITER 1735 NEW BEST:: SOT 550713 SOS 431000 HAS SOPS 251993 HAS SOUS 41008 HAS SOUPS 23595 WITH SCORE 24026.0
AT ITER 1740 NEW BEST:: SOT 550692 SOS 430972 HAS SOPS 251972 HAS SOUS 40994 HAS SOUPS 23588 WITH SCORE 24018.972
AT ITER 1748 NEW BEST:: SOT 550717 SOS 430992 HAS SOPS 251972 HAS SOUS 40969 HAS SOUPS 23568 WITH SCORE 23998.992
AT ITER 1763 NEW BEST:: SOT 551365 SOS 431664 HAS SOPS 252224 HAS SOUS 40955 HAS SOUPS 23554 WITH SCORE 23985.664
AT ITER 1787 NEW BEST:: SOT 550670 SOS 429854 HAS SOPS 251734 HAS SOUS 40870 HAS SOUPS 23534 WITH SCORE 23963.854
AT ITER 1816 NEW BEST:: SOT 550644 SOS 429828 HAS SOPS 251734 HAS SOUS 40870 HAS SOUPS 23534 WITH SCORE 23963.828
AT ITER 1847 NEW BEST:: SOT 550644 SOS 429828 HAS SOPS 251734 HAS SOUS 40663 HAS SOUPS 23419 WITH SCORE 23848.828
AT ITER 1852 NEW BEST:: SOT 550653 SOS 429819 HAS SOPS 251725 HAS SOUS 40645 HAS SOUPS 23401 WITH SCORE 23830.819
AT ITER 1870 NEW BEST:: SOT 550536 SOS 429582 HAS SOPS 251608 HAS SOUS 40365 HAS SOUPS 23336 WITH SCORE 23765.582
AT ITER 1877 NEW BEST:: SOT 550508 SOS 429554 HAS SOPS 251580 HAS SOUS 40351 HAS SOUPS 23322 WITH SCORE 23751.554
AT ITER 1897 NEW BEST:: SOT 550488 SOS 429524 HAS SOPS 251570 HAS SOUS 40331 HAS SOUPS 23312 WITH SCORE 23741.524
AT ITER 1917 NEW BEST:: SOT 550536 SOS 429620 HAS SOPS 251666 HAS SOUS 40284 HAS SOUPS 23265 WITH SCORE 23694.62
AT ITER 1937 NEW BEST:: SOT 550569 SOS 428742 HAS SOPS 250788 HAS SOUS 40277 HAS SOUPS 23258 WITH SCORE 23686.742
AT ITER 1958 NEW BEST:: SOT 551023 SOS 429263 HAS SOPS 251051 HAS SOUS 40220 HAS SOUPS 23201 WITH SCORE 23630.263
AT ITER 2015 NEW BEST:: SOT 551005 SOS 429147 HAS SOPS 251023 HAS SOUS 40208 HAS SOUPS 23197 WITH SCORE 23626.147
AT ITER 2037 NEW BEST:: SOT 551011 SOS 429075 HAS SOPS 251035 HAS SOUS 40202 HAS SOUPS 23197 WITH SCORE 23626.075
AT ITER 2045 NEW BEST:: SOT 551011 SOS 428961 HAS SOPS 250855 HAS SOUS 40208 HAS SOUPS 23197 WITH SCORE 23625.961
AT ITER 2051 NEW BEST:: SOT 551015 SOS 428889 HAS SOPS 250783 HAS SOUS 40196 HAS SOUPS 23185 WITH SCORE 23613.889
AT ITER 2098 NEW BEST:: SOT 551003 SOS 428883 HAS SOPS 250777 HAS SOUS 40196 HAS SOUPS 23185 WITH SCORE 23613.883
AT ITER 2171 NEW BEST:: SOT 551071 SOS 428951 HAS SOPS 250777 HAS SOUS 40178 HAS SOUPS 23175 WITH SCORE 23603.951
AT ITER 2172 NEW BEST:: SOT 551025 SOS 428880 HAS SOPS 250756 HAS SOUS 40085 HAS SOUPS 23129 WITH SCORE 23557.88
AT ITER 2216 NEW BEST:: SOT 551009 SOS 428861 HAS SOPS 250743 HAS SOUS 40074 HAS SOUPS 23121 WITH SCORE 23549.861
AT ITER 2231 NEW BEST:: SOT 550916 SOS 427900 HAS SOPS 250216 HAS SOUS 40012 HAS SOUPS 23090 WITH SCORE 23517.9
AT ITER 2270 NEW BEST:: SOT 550900 SOS 428403 HAS SOPS 250358 HAS SOUS 40010 HAS SOUPS 23088 WITH SCORE 23516.403
AT ITER 2277 NEW BEST:: SOT 550923 SOS 428425 HAS SOPS 250358 HAS SOUS 40000 HAS SOUPS 23083 WITH SCORE 23511.425
AT ITER 2293 NEW BEST:: SOT 551017 SOS 428519 HAS SOPS 250358 HAS SOUS 39968 HAS SOUPS 23075 WITH SCORE 23503.519
AT ITER 2304 NEW BEST:: SOT 551017 SOS 428534 HAS SOPS 250359 HAS SOUS 39968 HAS SOUPS 23074 WITH SCORE 23502.534
AT ITER 2313 NEW BEST:: SOT 551012 SOS 428529 HAS SOPS 250359 HAS SOUS 39958 HAS SOUPS 23064 WITH SCORE 23492.529
AT ITER 2314 NEW BEST:: SOT 550991 SOS 428487 HAS SOPS 250338 HAS SOUS 39916 HAS SOUPS 23043 WITH SCORE 23471.487
AT ITER 2324 NEW BEST:: SOT 550993 SOS 428361 HAS SOPS 250240 HAS SOUS 39914 HAS SOUPS 23043 WITH SCORE 23471.361
AT ITER 2328 NEW BEST:: SOT 550985 SOS 428337 HAS SOPS 250216 HAS SOUS 39906 HAS SOUPS 23035 WITH SCORE 23463.337
AT ITER 2333 NEW BEST:: SOT 550977 SOS 428329 HAS SOPS 250208 HAS SOUS 39906 HAS SOUPS 23035 WITH SCORE 23463.329
AT ITER 2344 NEW BEST:: SOT 550967 SOS 428319 HAS SOPS 250208 HAS SOUS 39906 HAS SOUPS 23035 WITH SCORE 23463.319
AT ITER 2347 NEW BEST:: SOT 550959 SOS 428191 HAS SOPS 250206 HAS SOUS 39894 HAS SOUPS 23032 WITH SCORE 23460.191
AT ITER 2371 NEW BEST:: SOT 550974 SOS 419593 HAS SOPS 243120 HAS SOUS 39696 HAS SOUPS 22942 WITH SCORE 23361.593
AT ITER 2373 NEW BEST:: SOT 550974 SOS 419593 HAS SOPS 243120 HAS SOUS 39570 HAS SOUPS 22872 WITH SCORE 23291.593
AT ITER 2376 NEW BEST:: SOT 550972 SOS 419576 HAS SOPS 243117 HAS SOUS 39568 HAS SOUPS 22871 WITH SCORE 23290.576
AT ITER 2379 NEW BEST:: SOT 550972 SOS 419576 HAS SOPS 243117 HAS SOUS 39563 HAS SOUPS 22866 WITH SCORE 23285.576
AT ITER 2385 NEW BEST:: SOT 550963 SOS 419846 HAS SOPS 243651 HAS SOUS 39530 HAS SOUPS 22857 WITH SCORE 23276.846
AT ITER 2407 NEW BEST:: SOT 550920 SOS 416535 HAS SOPS 240340 HAS SOUS 39530 HAS SOUPS 22857 WITH SCORE 23273.535
AT ITER 2448 NEW BEST:: SOT 550923 SOS 416251 HAS SOPS 240112 HAS SOUS 39523 HAS SOUPS 22854 WITH SCORE 23270.251
AT ITER 2454 NEW BEST:: SOT 550892 SOS 416220 HAS SOPS 240112 HAS SOUS 39523 HAS SOUPS 22854 WITH SCORE 23270.22
AT ITER 2558 NEW BEST:: SOT 550889 SOS 416203 HAS SOPS 240109 HAS SOUS 39522 HAS SOUPS 22854 WITH SCORE 23270.203
AT ITER 2563 NEW BEST:: SOT 550844 SOS 416158 HAS SOPS 240109 HAS SOUS 39522 HAS SOUPS 22854 WITH SCORE 23270.158
AT ITER 2587 NEW BEST:: SOT 550898 SOS 416239 HAS SOPS 240136 HAS SOUS 39522 HAS SOUPS 22827 WITH SCORE 23243.239
AT ITER 2592 NEW BEST:: SOT 550919 SOS 415833 HAS SOPS 240024 HAS SOUS 39493 HAS SOUPS 22819 WITH SCORE 23234.833
AT ITER 2614 NEW BEST:: SOT 550931 SOS 413602 HAS SOPS 239278 HAS SOUS 39431 HAS SOUPS 22802 WITH SCORE 23215.602
AT ITER 2615 NEW BEST:: SOT 550913 SOS 413573 HAS SOPS 239263 HAS SOUS 39410 HAS SOUPS 22785 WITH SCORE 23198.573
AT ITER 2639 NEW BEST:: SOT 550923 SOS 413762 HAS SOPS 239270 HAS SOUS 39420 HAS SOUPS 22782 WITH SCORE 23195.762
AT ITER 2651 NEW BEST:: SOT 550896 SOS 413706 HAS SOPS 239816 HAS SOUS 39346 HAS SOUPS 22751 WITH SCORE 23164.706
AT ITER 2658 NEW BEST:: SOT 551019 SOS 420750 HAS SOPS 245936 HAS SOUS 39403 HAS SOUPS 22742 WITH SCORE 23162.75
AT ITER 2675 NEW BEST:: SOT 550985 SOS 420716 HAS SOPS 245936 HAS SOUS 39403 HAS SOUPS 22742 WITH SCORE 23162.716
AT ITER 2709 NEW BEST:: SOT 550956 SOS 420687 HAS SOPS 245936 HAS SOUS 39403 HAS SOUPS 22742 WITH SCORE 23162.687
AT ITER 2769 NEW BEST:: SOT 550953 SOS 420667 HAS SOPS 245916 HAS SOUS 39364 HAS SOUPS 22703 WITH SCORE 23123.667
AT ITER 2824 NEW BEST:: SOT 550883 SOS 420555 HAS SOPS 245867 HAS SOUS 39334 HAS SOUPS 22675 WITH SCORE 23095.555
AT ITER 2828 NEW BEST:: SOT 550982 SOS 420663 HAS SOPS 245921 HAS SOUS 39316 HAS SOUPS 22657 WITH SCORE 23077.663
AT ITER 2873 NEW BEST:: SOT 550982 SOS 420663 HAS SOPS 245921 HAS SOUS 39289 HAS SOUPS 22642 WITH SCORE 23062.663
AT ITER 2906 NEW BEST:: SOT 550978 SOS 420655 HAS SOPS 245885 HAS SOUS 39287 HAS SOUPS 22638 WITH SCORE 23058.655
AT ITER 2914 NEW BEST:: SOT 550908 SOS 420585 HAS SOPS 245879 HAS SOUS 39281 HAS SOUPS 22632 WITH SCORE 23052.585
AT ITER 2920 NEW BEST:: SOT 550889 SOS 420684 HAS SOPS 245978 HAS SOUS 39256 HAS SOUPS 22607 WITH SCORE 23027.684
AT ITER 2940 NEW BEST:: SOT 550862 SOS 420438 HAS SOPS 245732 HAS SOUS 39241 HAS SOUPS 22592 WITH SCORE 23012.438
AT ITER 2944 NEW BEST:: SOT 550850 SOS 420411 HAS SOPS 245725 HAS SOUS 39240 HAS SOUPS 22592 WITH SCORE 23012.411
AT ITER 2949 NEW BEST:: SOT 550847 SOS 420126 HAS SOPS 245449 HAS SOUS 39237 HAS SOUPS 22589 WITH SCORE 23009.126
AT ITER 2951 NEW BEST:: SOT 550837 SOS 420256 HAS SOPS 245459 HAS SOUS 39243 HAS SOUPS 22585 WITH SCORE 23005.256
AT ITER 3030 NEW BEST:: SOT 550768 SOS 420118 HAS SOPS 245390 HAS SOUS 39167 HAS SOUPS 22578 WITH SCORE 22998.118
AT ITER 3035 NEW BEST:: SOT 550768 SOS 420038 HAS SOPS 245370 HAS SOUS 39167 HAS SOUPS 22578 WITH SCORE 22998.038
AT ITER 3050 NEW BEST:: SOT 550712 SOS 420058 HAS SOPS 245291 HAS SOUS 39145 HAS SOUPS 22556 WITH SCORE 22976.058
AT ITER 3055 NEW BEST:: SOT 550700 SOS 420262 HAS SOPS 245495 HAS SOUS 39142 HAS SOUPS 22553 WITH SCORE 22973.262
AT ITER 3081 NEW BEST:: SOT 550646 SOS 419884 HAS SOPS 245414 HAS SOUS 39088 HAS SOUPS 22526 WITH SCORE 22945.884
AT ITER 3119 NEW BEST:: SOT 550630 SOS 420084 HAS SOPS 245406 HAS SOUS 39099 HAS SOUPS 22521 WITH SCORE 22941.084
AT ITER 3166 NEW BEST:: SOT 550714 SOS 419776 HAS SOPS 245455 HAS SOUS 38958 HAS SOUPS 22380 WITH SCORE 22799.776
AT ITER 3178 NEW BEST:: SOT 550714 SOS 419288 HAS SOPS 244967 HAS SOUS 38934 HAS SOUPS 22356 WITH SCORE 22775.288
AT ITER 3195 NEW BEST:: SOT 550714 SOS 419265 HAS SOPS 244944 HAS SOUS 38934 HAS SOUPS 22356 WITH SCORE 22775.265
AT ITER 3203 NEW BEST:: SOT 550710 SOS 419261 HAS SOPS 244944 HAS SOUS 38934 HAS SOUPS 22356 WITH SCORE 22775.261
AT ITER 3216 NEW BEST:: SOT 550660 SOS 418911 HAS SOPS 244869 HAS SOUS 38893 HAS SOUPS 22340 WITH SCORE 22758.911
AT ITER 3247 NEW BEST:: SOT 550655 SOS 418901 HAS SOPS 244864 HAS SOUS 38883 HAS SOUPS 22335 WITH SCORE 22753.901
AT ITER 3262 NEW BEST:: SOT 550712 SOS 415850 HAS SOPS 241972 HAS SOUS 38886 HAS SOUPS 22338 WITH SCORE 22753.85
AT ITER 3300 NEW BEST:: SOT 550842 SOS 415980 HAS SOPS 242042 HAS SOUS 38876 HAS SOUPS 22328 WITH SCORE 22743.98
AT ITER 3316 NEW BEST:: SOT 550267 SOS 414655 HAS SOPS 241717 HAS SOUS 38807 HAS SOUPS 22309 WITH SCORE 22723.655
AT ITER 3332 NEW BEST:: SOT 550271 SOS 414663 HAS SOPS 241721 HAS SOUS 38807 HAS SOUPS 22305 WITH SCORE 22719.663
AT ITER 3386 NEW BEST:: SOT 550345 SOS 414729 HAS SOPS 241763 HAS SOUS 38793 HAS SOUPS 22299 WITH SCORE 22713.729
AT ITER 3388 NEW BEST:: SOT 550026 SOS 413975 HAS SOPS 241560 HAS SOUS 38764 HAS SOUPS 22299 WITH SCORE 22712.975
AT ITER 3399 NEW BEST:: SOT 550017 SOS 409821 HAS SOPS 238050 HAS SOUS 38715 HAS SOUPS 22296 WITH SCORE 22705.821
AT ITER 3405 NEW BEST:: SOT 550021 SOS 409685 HAS SOPS 238040 HAS SOUS 38696 HAS SOUPS 22286 WITH SCORE 22695.685
AT ITER 3407 NEW BEST:: SOT 550070 SOS 409760 HAS SOPS 238115 HAS SOUS 38675 HAS SOUPS 22265 WITH SCORE 22674.76
AT ITER 3408 NEW BEST:: SOT 550142 SOS 409832 HAS SOPS 238187 HAS SOUS 38608 HAS SOUPS 22198 WITH SCORE 22607.832
AT ITER 3409 NEW BEST:: SOT 550166 SOS 409610 HAS SOPS 238251 HAS SOUS 38570 HAS SOUPS 22186 WITH SCORE 22595.61
AT ITER 3414 NEW BEST:: SOT 550010 SOS 409428 HAS SOPS 238147 HAS SOUS 38557 HAS SOUPS 22173 WITH SCORE 22582.428
AT ITER 3453 NEW BEST:: SOT 550006 SOS 409420 HAS SOPS 238147 HAS SOUS 38553 HAS SOUPS 22173 WITH SCORE 22582.42
AT ITER 3460 NEW BEST:: SOT 549838 SOS 409042 HAS SOPS 238049 HAS SOUS 38539 HAS SOUPS 22173 WITH SCORE 22582.042
AT ITER 3486 NEW BEST:: SOT 549855 SOS 409034 HAS SOPS 238041 HAS SOUS 38520 HAS SOUPS 22154 WITH SCORE 22563.034
AT ITER 3492 NEW BEST:: SOT 549855 SOS 409034 HAS SOPS 238041 HAS SOUS 38484 HAS SOUPS 22134 WITH SCORE 22543.034
AT ITER 3504 NEW BEST:: SOT 549855 SOS 409034 HAS SOPS 238041 HAS SOUS 38385 HAS SOUPS 22079 WITH SCORE 22488.034
AT ITER 3509 NEW BEST:: SOT 549986 SOS 409165 HAS SOPS 238088 HAS SOUS 38376 HAS SOUPS 22070 WITH SCORE 22479.165
AT ITER 3514 NEW BEST:: SOT 549969 SOS 409175 HAS SOPS 238140 HAS SOUS 38279 HAS SOUPS 22062 WITH SCORE 22471.175
AT ITER 3541 NEW BEST:: SOT 549782 SOS 408988 HAS SOPS 238055 HAS SOUS 38279 HAS SOUPS 22062 WITH SCORE 22470.988
AT ITER 3580 NEW BEST:: SOT 549782 SOS 408988 HAS SOPS 238055 HAS SOUS 38246 HAS SOUPS 22057 WITH SCORE 22465.988
AT ITER 3655 NEW BEST:: SOT 549826 SOS 409076 HAS SOPS 238099 HAS SOUS 38290 HAS SOUPS 22049 WITH SCORE 22458.076
AT ITER 3663 NEW BEST:: SOT 549822 SOS 409064 HAS SOPS 238031 HAS SOUS 38294 HAS SOUPS 22049 WITH SCORE 22458.064
AT ITER 3677 NEW BEST:: SOT 549791 SOS 409033 HAS SOPS 238031 HAS SOUS 38294 HAS SOUPS 22049 WITH SCORE 22458.033
AT ITER 3693 NEW BEST:: SOT 549729 SOS 408971 HAS SOPS 238031 HAS SOUS 38294 HAS SOUPS 22049 WITH SCORE 22457.971
AT ITER 3697 NEW BEST:: SOT 549794 SOS 409042 HAS SOPS 238028 HAS SOUS 38291 HAS SOUPS 22043 WITH SCORE 22452.042
AT ITER 3809 NEW BEST:: SOT 549722 SOS 409661 HAS SOPS 238437 HAS SOUS 38284 HAS SOUPS 22021 WITH SCORE 22430.661
AT ITER 3830 NEW BEST:: SOT 549774 SOS 410155 HAS SOPS 238502 HAS SOUS 38271 HAS SOUPS 21969 WITH SCORE 22379.155
AT ITER 3868 NEW BEST:: SOT 549750 SOS 410041 HAS SOPS 238472 HAS SOUS 38260 HAS SOUPS 21964 WITH SCORE 22374.041
AT ITER 3871 NEW BEST:: SOT 549748 SOS 410048 HAS SOPS 238468 HAS SOUS 38259 HAS SOUPS 21962 WITH SCORE 22372.048
AT ITER 3876 NEW BEST:: SOT 549743 SOS 410268 HAS SOPS 238688 HAS SOUS 38254 HAS SOUPS 21957 WITH SCORE 22367.268
AT ITER 3907 NEW BEST:: SOT 549739 SOS 410412 HAS SOPS 238920 HAS SOUS 38242 HAS SOUPS 21953 WITH SCORE 22363.412
AT ITER 3916 NEW BEST:: SOT 549729 SOS 409532 HAS SOPS 238208 HAS SOUS 38182 HAS SOUPS 21905 WITH SCORE 22314.532
AT ITER 3922 NEW BEST:: SOT 549726 SOS 409404 HAS SOPS 238146 HAS SOUS 38175 HAS SOUPS 21900 WITH SCORE 22309.404
AT ITER 3951 NEW BEST:: SOT 549778 SOS 408929 HAS SOPS 238161 HAS SOUS 38137 HAS SOUPS 21897 WITH SCORE 22305.929
AT ITER 3959 NEW BEST:: SOT 549778 SOS 408929 HAS SOPS 238161 HAS SOUS 38119 HAS SOUPS 21887 WITH SCORE 22295.929
AT ITER 3960 NEW BEST:: SOT 549810 SOS 408993 HAS SOPS 238193 HAS SOUS 38119 HAS SOUPS 21855 WITH SCORE 22263.993
AT ITER 3963 NEW BEST:: SOT 549750 SOS 408933 HAS SOPS 238163 HAS SOUS 38119 HAS SOUPS 21855 WITH SCORE 22263.933
AT ITER 3966 NEW BEST:: SOT 549750 SOS 408933 HAS SOPS 238163 HAS SOUS 38110 HAS SOUPS 21850 WITH SCORE 22258.933
AT ITER 3990 NEW BEST:: SOT 549751 SOS 409313 HAS SOPS 238543 HAS SOUS 38094 HAS SOUPS 21834 WITH SCORE 22243.313
AT ITER 3992 NEW BEST:: SOT 548265 SOS 404097 HAS SOPS 236052 HAS SOUS 37939 HAS SOUPS 21781 WITH SCORE 22185.097
AT ITER 4000 NEW BEST:: SOT 548255 SOS 404082 HAS SOPS 236047 HAS SOUS 37929 HAS SOUPS 21776 WITH SCORE 22180.082
AT ITER 4067 NEW BEST:: SOT 548255 SOS 404082 HAS SOPS 236047 HAS SOUS 37920 HAS SOUPS 21771 WITH SCORE 22175.082
AT ITER 4075 NEW BEST:: SOT 548225 SOS 404022 HAS SOPS 236026 HAS SOUS 37919 HAS SOUPS 21770 WITH SCORE 22174.022
AT ITER 4081 NEW BEST:: SOT 548251 SOS 404048 HAS SOPS 236026 HAS SOUS 37874 HAS SOUPS 21745 WITH SCORE 22149.048
AT ITER 4101 NEW BEST:: SOT 548201 SOS 403248 HAS SOPS 235926 HAS SOUS 37824 HAS SOUPS 21745 WITH SCORE 22148.248
AT ITER 4114 NEW BEST:: SOT 548184 SOS 403231 HAS SOPS 235926 HAS SOUS 37824 HAS SOUPS 21745 WITH SCORE 22148.231
AT ITER 4115 NEW BEST:: SOT 548197 SOS 403101 HAS SOPS 235939 HAS SOUS 37811 HAS SOUPS 21745 WITH SCORE 22148.101
AT ITER 4151 NEW BEST:: SOT 548185 SOS 403074 HAS SOPS 235932 HAS SOUS 37810 HAS SOUPS 21745 WITH SCORE 22148.074
AT ITER 4157 NEW BEST:: SOT 548189 SOS 403074 HAS SOPS 235932 HAS SOUS 37802 HAS SOUPS 21737 WITH SCORE 22140.074
AT ITER 4229 NEW BEST:: SOT 548189 SOS 403074 HAS SOPS 235932 HAS SOUS 37793 HAS SOUPS 21732 WITH SCORE 22135.074
AT ITER 4255 NEW BEST:: SOT 548185 SOS 403055 HAS SOPS 235927 HAS SOUS 37791 HAS SOUPS 21731 WITH SCORE 22134.055
AT ITER 4271 NEW BEST:: SOT 548191 SOS 403354 HAS SOPS 235904 HAS SOUS 37807 HAS SOUPS 21724 WITH SCORE 22127.354
AT ITER 4305 NEW BEST:: SOT 548227 SOS 403930 HAS SOPS 236130 HAS SOUS 37829 HAS SOUPS 21721 WITH SCORE 22124.93
AT ITER 4306 NEW BEST:: SOT 548228 SOS 403930 HAS SOPS 236130 HAS SOUS 37826 HAS SOUPS 21718 WITH SCORE 22121.93
AT ITER 4321 NEW BEST:: SOT 547483 SOS 403145 HAS SOPS 235759 HAS SOUS 37788 HAS SOUPS 21680 WITH SCORE 22083.145
AT ITER 4324 NEW BEST:: SOT 547477 SOS 403068 HAS SOPS 235612 HAS SOUS 37792 HAS SOUPS 21679 WITH SCORE 22082.068
AT ITER 4344 NEW BEST:: SOT 547478 SOS 403445 HAS SOPS 235989 HAS SOUS 37788 HAS SOUPS 21675 WITH SCORE 22078.445
AT ITER 4360 NEW BEST:: SOT 547471 SOS 403353 HAS SOPS 235897 HAS SOUS 37776 HAS SOUPS 21663 WITH SCORE 22066.353
AT ITER 4365 NEW BEST:: SOT 547465 SOS 403263 HAS SOPS 235849 HAS SOUS 37767 HAS SOUPS 21657 WITH SCORE 22060.263
AT ITER 4423 NEW BEST:: SOT 547609 SOS 399492 HAS SOPS 232078 HAS SOUS 37758 HAS SOUPS 21648 WITH SCORE 22047.492
AT ITER 4467 NEW BEST:: SOT 547593 SOS 399468 HAS SOPS 232070 HAS SOUS 37742 HAS SOUPS 21640 WITH SCORE 22039.468
AT ITER 4513 NEW BEST:: SOT 547594 SOS 399484 HAS SOPS 232072 HAS SOUS 37742 HAS SOUPS 21639 WITH SCORE 22038.484
AT ITER 4530 NEW BEST:: SOT 547588 SOS 399576 HAS SOPS 232098 HAS SOUS 37741 HAS SOUPS 21636 WITH SCORE 22035.576
AT ITER 4554 NEW BEST:: SOT 548261 SOS 400417 HAS SOPS 232423 HAS SOUS 37770 HAS SOUPS 21557 WITH SCORE 21957.417
AT ITER 4588 NEW BEST:: SOT 548221 SOS 400369 HAS SOPS 232395 HAS SOUS 37766 HAS SOUPS 21553 WITH SCORE 21953.369
AT ITER 4628 NEW BEST:: SOT 548198 SOS 400346 HAS SOPS 232395 HAS SOUS 37594 HAS SOUPS 21437 WITH SCORE 21837.346
AT ITER 4639 NEW BEST:: SOT 548169 SOS 400317 HAS SOPS 232395 HAS SOUS 37594 HAS SOUPS 21437 WITH SCORE 21837.317
AT ITER 4642 NEW BEST:: SOT 548228 SOS 400883 HAS SOPS 234081 HAS SOUS 37503 HAS SOUPS 21426 WITH SCORE 21826.883
AT ITER 4703 NEW BEST:: SOT 548220 SOS 400875 HAS SOPS 234081 HAS SOUS 37503 HAS SOUPS 21426 WITH SCORE 21826.875
AT ITER 4734 NEW BEST:: SOT 548201 SOS 400717 HAS SOPS 234088 HAS SOUS 37484 HAS SOUPS 21422 WITH SCORE 21822.717
AT ITER 4743 NEW BEST:: SOT 548028 SOS 398321 HAS SOPS 231692 HAS SOUS 37482 HAS SOUPS 21420 WITH SCORE 21818.321
AT ITER 4744 NEW BEST:: SOT 547980 SOS 398209 HAS SOPS 231604 HAS SOUS 37478 HAS SOUPS 21416 WITH SCORE 21814.209
AT ITER 4757 NEW BEST:: SOT 547975 SOS 398204 HAS SOPS 231604 HAS SOUS 37478 HAS SOUPS 21416 WITH SCORE 21814.204
AT ITER 4795 NEW BEST:: SOT 547975 SOS 398204 HAS SOPS 231604 HAS SOUS 37472 HAS SOUPS 21410 WITH SCORE 21808.204
AT ITER 4856 NEW BEST:: SOT 547961 SOS 398232 HAS SOPS 231436 HAS SOUS 37476 HAS SOUPS 21400 WITH SCORE 21798.232
AT ITER 4924 NEW BEST:: SOT 547963 SOS 398234 HAS SOPS 231438 HAS SOUS 37474 HAS SOUPS 21398 WITH SCORE 21796.234
AT ITER 4975 NEW BEST:: SOT 547959 SOS 398232 HAS SOPS 231436 HAS SOUS 37469 HAS SOUPS 21393 WITH SCORE 21791.232
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-10a-CTLFireability-00 (EX( (! (EF( ( ((potential((tk(P242)>=1) & (tk(P46)>=1)))) & ((potential((tk(P244)>=1) & (tk(P46)>=1)))) ))))))
PROPERTY: DLCround-PT-10a-CTLFireability-01 (EF( ( (AG( (! ((potential((tk(P124)>=1))))))) & (! (! ((potential((tk(P48)>=1) & (tk(P299)>=1)))))) )))
PROPERTY: DLCround-PT-10a-CTLFireability-02 (EF( (AX( (AX( ((potential((tk(P48)>=1) & (tk(P151)>=1))))))))))
PROPERTY: DLCround-PT-10a-CTLFireability-03 (AG( ( ( ( (! ((potential((tk(P42)>=1) & (tk(P153)>=1))))) & ( ((potential((tk(P305)>=1) & (tk(P106)>=1)))) | ((potential((tk(P45)>=1) & (tk(P241)>=1)))) ) ) & ( ( ((potential((tk(P114)>=1) & (tk(P211)>=1)))) & ((potential((tk(P319)>=1) & (tk(P48)>=1)))) ) | ( ((potential((tk(P23)>=1) & (tk(P202)>=1)))) | ((potential((tk(P118)>=1) & (tk(P314)>=1)))) ) ) ) | (! ((potential((tk(P35)>=1) & (tk(P234)>=1))))) )))
PROPERTY: DLCround-PT-10a-CTLFireability-04 ( (EU( (EF( ((potential((tk(P93)>=1) & (tk(P291)>=1)))))) , ((potential((tk(P123)>=1) & (tk(P318)>=1)))) )) & ( ( (! (! ( ((potential((tk(P12)>=1) & (tk(P150)>=1)))) & ((potential((tk(P123)>=1) & (tk(P219)>=1)))) ))) & (! ( ((potential((tk(P22)>=1) & (tk(P209)>=1)))) | ( ((potential((tk(P67)>=1) & (tk(P264)>=1)))) & ((potential((tk(P247)>=1) & (tk(P46)>=1)))) ) )) ) | (! ((potential((tk(P98)>=1) & (tk(P314)>=1))))) ) )
PROPERTY: DLCround-PT-10a-CTLFireability-05 (! (EF( (AG( (! ((potential((tk(P128)>=1) & (tk(P296)>=1))))))))))
PROPERTY: DLCround-PT-10a-CTLFireability-06 ( (AX( (! ( ( ((potential((tk(P97)>=1)))) | ((potential((tk(P79)>=1)))) ) & ( ((potential((tk(P13)>=1)))) & ((potential((tk(P88)>=1) & (tk(P281)>=1)))) ) )))) & (EF( ( ( ( ((potential((tk(P118)>=1) & (tk(P210)>=1)))) & ((potential((tk(P94)>=1) & (tk(P288)>=1)))) ) & ( ((potential((tk(P124)>=1) & (tk(P319)>=1)))) & ((potential((tk(P113)>=1)))) ) ) & ( ( ((potential((tk(P207)>=1) & (tk(P15)>=1)))) | ((potential((tk(P128)>=1) & (tk(P215)>=1)))) ) | (! ((potential((tk(P77)>=1) & (tk(P275)>=1))))) ) ))) )
PROPERTY: DLCround-PT-10a-CTLFireability-07 (EF( (! ( ( ( ((potential((tk(P110)>=1) & (tk(P313)>=1)))) | ((potential((tk(P80)>=1) & (tk(P279)>=1)))) ) | ( ((potential((tk(P129)>=1) & (tk(P322)>=1)))) & ((potential((tk(P124)>=1) & (tk(P323)>=1)))) ) ) | (EF( ((potential((tk(P215)>=1) & (tk(P126)>=1)))))) ))))
PROPERTY: DLCround-PT-10a-CTLFireability-08 (AG( (! ( (AG( ((potential((tk(P327)>=1) & (tk(P138)>=1)))))) & (AG( ((potential((tk(P43)>=1) & (tk(P239)>=1)))))) ))))
PROPERTY: DLCround-PT-10a-CTLFireability-09 (! (EU( ( (! ((potential((tk(P137)>=1) & (tk(P330)>=1))))) & (! ((potential((tk(P92)>=1) & (tk(P191)>=1))))) ) , (AG( ((potential((tk(P279)>=1) & (tk(P86)>=1)))))) )))
PROPERTY: DLCround-PT-10a-CTLFireability-10 (EF( ( ( ((potential((tk(P41)>=1)))) & ( ((potential((tk(P138)>=1) & (tk(P237)>=1)))) | ( ((potential((tk(P115)>=1) & (tk(P315)>=1)))) & ((potential((tk(P110)>=1) & (tk(P315)>=1)))) ) ) ) & (! ( ( ((potential((tk(P103)>=1) & (tk(P197)>=1)))) | ((potential((tk(P57)>=1) & (tk(P255)>=1)))) ) & ( ((potential((tk(P119)>=1) & (tk(P316)>=1)))) | ((potential((tk(P58)>=1) & (tk(P249)>=1)))) ) )) )))
PROPERTY: DLCround-PT-10a-CTLFireability-11 (! (EU( (! ( ((potential((tk(P229)>=1) & (tk(P58)>=1)))) & ((potential((tk(P277)>=1) & (tk(P76)>=1)))) )) , ( ((potential((tk(P107)>=1) & (tk(P300)>=1)))) & ((potential((tk(P43)>=1) & (tk(P246)>=1)))) ) )))
PROPERTY: DLCround-PT-10a-CTLFireability-12 (EF( ( (EX( ( ((potential((tk(P94)>=1) & (tk(P294)>=1)))) | ((potential((tk(P114)>=1) & (tk(P313)>=1)))) ))) & (! (! ( ((potential((tk(P32)>=1) & (tk(P232)>=1)))) | ((potential((tk(P107)>=1) & (tk(P306)>=1)))) ))) )))
PROPERTY: DLCround-PT-10a-CTLFireability-13 (EF( ( (! (EF( ((potential((tk(P336)>=1) & (tk(P118)>=1))))))) & ((potential((tk(P2)>=1) & (tk(P140)>=1)))) )))
PROPERTY: DLCround-PT-10a-CTLFireability-14 ( ( ( ( ( (! ((potential((tk(P118)>=1) & (tk(P211)>=1))))) & ((potential((tk(P77)>=1) & (tk(P273)>=1)))) ) & ( ( ((potential((tk(P52)>=1) & (tk(P249)>=1)))) & ((potential((tk(P95)>=1) & (tk(P294)>=1)))) ) & ( ((potential((tk(P3)>=1) & (tk(P212)>=1)))) & ((potential((tk(P84)>=1) & (tk(P287)>=1)))) ) ) ) & ((potential((tk(P311)>=1) & (tk(P68)>=1)))) ) | (! ( (EF( ((potential((tk(P244)>=1) & (tk(P46)>=1)))))) | ( ( ((potential((tk(P10)>=1) & (tk(P142)>=1)))) | ((potential((tk(P85)>=1) & (tk(P279)>=1)))) ) | ((potential((tk(P120)>=1) & (tk(P321)>=1)))) ) )) ) | ((potential((tk(P29)>=1) & (tk(P163)>=1)))) )
PROPERTY: DLCround-PT-10a-CTLFireability-15 (AG( (EF( (AG( ((potential((tk(P64)>=1) & (tk(P262)>=1))))))))))
BK_STOP 1589131457342
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 Aborted ${SMART} ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-10a"
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 DLCround-PT-10a, 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 r048-ebro-158902542400564"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10a.tgz
mv DLCround-PT-10a 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 '
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 ;