Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900555.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S08D1C2A02, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900555
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 4.3K May 14 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.3K May 13 16:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 16:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 828K May 12 20:42 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 ViralEpidemic-PT-S08D1C2A02-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590475230536

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A02
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: 731 places, 1241 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 560855 SOS 436429 HAS SOPS 436429 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73306.429
AT ITER 20 NEW BEST:: SOT 560325 SOS 434037 HAS SOPS 434037 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 73295.037
AT ITER 25 NEW BEST:: SOT 560009 SOS 432615 HAS SOPS 432615 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 73293.615
AT ITER 51 NEW BEST:: SOT 559347 SOS 429634 HAS SOPS 429634 HAS SOUS 72859 HAS SOUPS 72859 WITH SCORE 73288.634
AT ITER 68 NEW BEST:: SOT 558369 SOS 425230 HAS SOPS 425230 HAS SOUS 72856 HAS SOUPS 72856 WITH SCORE 73281.23
AT ITER 73 NEW BEST:: SOT 558201 SOS 424473 HAS SOPS 424473 HAS SOUS 72855 HAS SOUPS 72855 WITH SCORE 73279.473
AT ITER 99 NEW BEST:: SOT 557381 SOS 420780 HAS SOPS 420780 HAS SOUS 72852 HAS SOUPS 72852 WITH SCORE 73272.78
AT ITER 156 NEW BEST:: SOT 557219 SOS 420047 HAS SOPS 420047 HAS SOUS 72848 HAS SOUPS 72848 WITH SCORE 73268.047
AT ITER 170 NEW BEST:: SOT 557021 SOS 419076 HAS SOPS 419076 HAS SOUS 72768 HAS SOUPS 72768 WITH SCORE 73187.076
AT ITER 177 NEW BEST:: SOT 556755 SOS 417876 HAS SOPS 417876 HAS SOUS 72765 HAS SOUPS 72765 WITH SCORE 73182.876
AT ITER 178 NEW BEST:: SOT 555839 SOS 413752 HAS SOPS 413752 HAS SOUS 72763 HAS SOUPS 72763 WITH SCORE 73176.752
AT ITER 201 NEW BEST:: SOT 555527 SOS 412341 HAS SOPS 412341 HAS SOUS 72754 HAS SOUPS 72754 WITH SCORE 73166.341
AT ITER 204 NEW BEST:: SOT 555055 SOS 410210 HAS SOPS 410210 HAS SOUS 72745 HAS SOUPS 72745 WITH SCORE 73155.21
AT ITER 205 NEW BEST:: SOT 554313 SOS 406871 HAS SOPS 406871 HAS SOUS 72745 HAS SOUPS 72745 WITH SCORE 73151.871
AT ITER 229 NEW BEST:: SOT 553349 SOS 402532 HAS SOPS 402532 HAS SOUS 72744 HAS SOUPS 72744 WITH SCORE 73146.532
AT ITER 245 NEW BEST:: SOT 553349 SOS 402529 HAS SOPS 402529 HAS SOUS 72741 HAS SOUPS 72741 WITH SCORE 73143.529
AT ITER 249 NEW BEST:: SOT 553345 SOS 402510 HAS SOPS 402510 HAS SOUS 72740 HAS SOUPS 72740 WITH SCORE 73142.51
AT ITER 280 NEW BEST:: SOT 552723 SOS 399705 HAS SOPS 399705 HAS SOUS 72734 HAS SOUPS 72734 WITH SCORE 73133.705
AT ITER 291 NEW BEST:: SOT 552723 SOS 399698 HAS SOPS 399698 HAS SOUS 72725 HAS SOUPS 72725 WITH SCORE 73124.698
AT ITER 326 NEW BEST:: SOT 552285 SOS 397721 HAS SOPS 397721 HAS SOUS 72719 HAS SOUPS 72719 WITH SCORE 73116.721
AT ITER 339 NEW BEST:: SOT 551601 SOS 394636 HAS SOPS 394636 HAS SOUS 72710 HAS SOUPS 72710 WITH SCORE 73104.636
AT ITER 340 NEW BEST:: SOT 551375 SOS 393615 HAS SOPS 393615 HAS SOUS 72706 HAS SOUPS 72706 WITH SCORE 73099.615
AT ITER 342 NEW BEST:: SOT 550917 SOS 390771 HAS SOPS 390771 HAS SOUS 72663 HAS SOUPS 72663 WITH SCORE 73053.771
AT ITER 362 NEW BEST:: SOT 550783 SOS 390167 HAS SOPS 390167 HAS SOUS 72662 HAS SOUPS 72662 WITH SCORE 73052.167
AT ITER 398 NEW BEST:: SOT 550783 SOS 389838 HAS SOPS 389838 HAS SOUS 72357 HAS SOUPS 72357 WITH SCORE 72746.838
AT ITER 422 NEW BEST:: SOT 550567 SOS 388778 HAS SOPS 388778 HAS SOUS 72269 HAS SOUPS 72269 WITH SCORE 72657.778
AT ITER 435 NEW BEST:: SOT 549925 SOS 385884 HAS SOPS 385884 HAS SOUS 72264 HAS SOUPS 72264 WITH SCORE 72649.884
AT ITER 499 NEW BEST:: SOT 549654 SOS 384452 HAS SOPS 384452 HAS SOUS 72193 HAS SOUPS 72193 WITH SCORE 72577.452
AT ITER 502 NEW BEST:: SOT 549418 SOS 383248 HAS SOPS 383248 HAS SOUS 72075 HAS SOUPS 72075 WITH SCORE 72458.248
AT ITER 509 NEW BEST:: SOT 548602 SOS 379099 HAS SOPS 379099 HAS SOUS 71773 HAS SOUPS 71773 WITH SCORE 72152.099
AT ITER 535 NEW BEST:: SOT 548512 SOS 378649 HAS SOPS 378649 HAS SOUS 71728 HAS SOUPS 71728 WITH SCORE 72106.649
AT ITER 539 NEW BEST:: SOT 548046 SOS 376551 HAS SOPS 376551 HAS SOUS 71727 HAS SOUPS 71727 WITH SCORE 72103.551
AT ITER 553 NEW BEST:: SOT 548044 SOS 376547 HAS SOPS 376547 HAS SOUS 71727 HAS SOUPS 71727 WITH SCORE 72103.547
AT ITER 611 NEW BEST:: SOT 547607 SOS 374311 HAS SOPS 374311 HAS SOUS 71622 HAS SOUPS 71622 WITH SCORE 71996.311
AT ITER 613 NEW BEST:: SOT 547222 SOS 372350 HAS SOPS 372350 HAS SOUS 71544 HAS SOUPS 71544 WITH SCORE 71916.35
AT ITER 629 NEW BEST:: SOT 546943 SOS 370388 HAS SOPS 370388 HAS SOUS 71497 HAS SOUPS 71497 WITH SCORE 71867.388
AT ITER 666 NEW BEST:: SOT 546413 SOS 367998 HAS SOPS 367998 HAS SOUS 71492 HAS SOUPS 71492 WITH SCORE 71859.998
AT ITER 669 NEW BEST:: SOT 545669 SOS 364648 HAS SOPS 364648 HAS SOUS 71490 HAS SOUPS 71490 WITH SCORE 71854.648
AT ITER 679 NEW BEST:: SOT 545669 SOS 364539 HAS SOPS 364539 HAS SOUS 71381 HAS SOUPS 71381 WITH SCORE 71745.539
AT ITER 687 NEW BEST:: SOT 545560 SOS 364319 HAS SOPS 364319 HAS SOUS 71270 HAS SOUPS 71270 WITH SCORE 71634.319
AT ITER 706 NEW BEST:: SOT 545450 SOS 363606 HAS SOPS 363606 HAS SOUS 71262 HAS SOUPS 71262 WITH SCORE 71625.606
AT ITER 726 NEW BEST:: SOT 544942 SOS 361317 HAS SOPS 361317 HAS SOUS 71259 HAS SOUPS 71259 WITH SCORE 71620.317
AT ITER 729 NEW BEST:: SOT 544256 SOS 358014 HAS SOPS 358014 HAS SOUS 71043 HAS SOUPS 71043 WITH SCORE 71401.014
AT ITER 733 NEW BEST:: SOT 543876 SOS 356048 HAS SOPS 356048 HAS SOUS 70962 HAS SOUPS 70962 WITH SCORE 71318.048
AT ITER 746 NEW BEST:: SOT 543834 SOS 355978 HAS SOPS 355978 HAS SOUS 70934 HAS SOUPS 70934 WITH SCORE 71289.978
AT ITER 794 NEW BEST:: SOT 543736 SOS 355488 HAS SOPS 355488 HAS SOUS 70885 HAS SOUPS 70885 WITH SCORE 71240.488
AT ITER 801 NEW BEST:: SOT 543692 SOS 355240 HAS SOPS 355240 HAS SOUS 70681 HAS SOUPS 70681 WITH SCORE 71036.24
AT ITER 808 NEW BEST:: SOT 543668 SOS 355129 HAS SOPS 355129 HAS SOUS 70678 HAS SOUPS 70678 WITH SCORE 71033.129
AT ITER 817 NEW BEST:: SOT 543508 SOS 354402 HAS SOPS 354402 HAS SOUS 70669 HAS SOUPS 70669 WITH SCORE 71023.402
AT ITER 819 NEW BEST:: SOT 543193 SOS 352742 HAS SOPS 352742 HAS SOUS 70605 HAS SOUPS 70605 WITH SCORE 70957.742
AT ITER 820 NEW BEST:: SOT 542493 SOS 349253 HAS SOPS 349253 HAS SOUS 70266 HAS SOUPS 70266 WITH SCORE 70615.253
AT ITER 827 NEW BEST:: SOT 542309 SOS 348422 HAS SOPS 348422 HAS SOUS 70263 HAS SOUPS 70263 WITH SCORE 70611.422
AT ITER 845 NEW BEST:: SOT 542244 SOS 348022 HAS SOPS 348022 HAS SOUS 70243 HAS SOUPS 70243 WITH SCORE 70591.022
AT ITER 867 NEW BEST:: SOT 541570 SOS 344652 HAS SOPS 344652 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 70250.652
AT ITER 886 NEW BEST:: SOT 541434 SOS 343876 HAS SOPS 343876 HAS SOUS 69868 HAS SOUPS 69868 WITH SCORE 70211.876
AT ITER 903 NEW BEST:: SOT 541210 SOS 342771 HAS SOPS 342771 HAS SOUS 69771 HAS SOUPS 69771 WITH SCORE 70113.771
AT ITER 909 NEW BEST:: SOT 541182 SOS 342640 HAS SOPS 342640 HAS SOUS 69766 HAS SOUPS 69766 WITH SCORE 70108.64
AT ITER 914 NEW BEST:: SOT 540884 SOS 341127 HAS SOPS 341127 HAS SOUS 69657 HAS SOUPS 69657 WITH SCORE 69998.127
AT ITER 918 NEW BEST:: SOT 540658 SOS 340107 HAS SOPS 340107 HAS SOUS 69654 HAS SOUPS 69654 WITH SCORE 69994.107
AT ITER 921 NEW BEST:: SOT 540036 SOS 336997 HAS SOPS 336997 HAS SOUS 69343 HAS SOUPS 69343 WITH SCORE 69679.997
AT ITER 924 NEW BEST:: SOT 540030 SOS 336967 HAS SOPS 336967 HAS SOUS 69340 HAS SOUPS 69340 WITH SCORE 69676.967
AT ITER 931 NEW BEST:: SOT 539628 SOS 335493 HAS SOPS 335493 HAS SOUS 69264 HAS SOUPS 69264 WITH SCORE 69599.493
AT ITER 1011 NEW BEST:: SOT 539628 SOS 335493 HAS SOPS 335493 HAS SOUS 69262 HAS SOUPS 69262 WITH SCORE 69597.493
AT ITER 1017 NEW BEST:: SOT 539628 SOS 335486 HAS SOPS 335486 HAS SOUS 69253 HAS SOUPS 69253 WITH SCORE 69588.486
AT ITER 1018 NEW BEST:: SOT 539429 SOS 334290 HAS SOPS 334290 HAS SOUS 69143 HAS SOUPS 69143 WITH SCORE 69477.29
AT ITER 1019 NEW BEST:: SOT 538885 SOS 332091 HAS SOPS 332091 HAS SOUS 69080 HAS SOUPS 69080 WITH SCORE 69412.091
AT ITER 1032 NEW BEST:: SOT 538867 SOS 332058 HAS SOPS 332058 HAS SOUS 69065 HAS SOUPS 69065 WITH SCORE 69397.058
AT ITER 1038 NEW BEST:: SOT 538557 SOS 330659 HAS SOPS 330659 HAS SOUS 69061 HAS SOUPS 69061 WITH SCORE 69391.659
AT ITER 1042 NEW BEST:: SOT 537946 SOS 327713 HAS SOPS 327713 HAS SOUS 69043 HAS SOUPS 69043 WITH SCORE 69370.713
AT ITER 1070 NEW BEST:: SOT 537864 SOS 327340 HAS SOPS 327340 HAS SOUS 69039 HAS SOUPS 69039 WITH SCORE 69366.34
AT ITER 1085 NEW BEST:: SOT 537684 SOS 326525 HAS SOPS 326525 HAS SOUS 69034 HAS SOUPS 69034 WITH SCORE 69360.525
AT ITER 1092 NEW BEST:: SOT 537496 SOS 325585 HAS SOPS 325585 HAS SOUS 68936 HAS SOUPS 68936 WITH SCORE 69261.585
AT ITER 1134 NEW BEST:: SOT 537490 SOS 325551 HAS SOPS 325551 HAS SOUS 68908 HAS SOUPS 68908 WITH SCORE 69233.551
AT ITER 1140 NEW BEST:: SOT 537393 SOS 324914 HAS SOPS 324914 HAS SOUS 68900 HAS SOUPS 68900 WITH SCORE 69224.914
AT ITER 1152 NEW BEST:: SOT 537222 SOS 324128 HAS SOPS 324128 HAS SOUS 68887 HAS SOUPS 68887 WITH SCORE 69211.128
AT ITER 1153 NEW BEST:: SOT 536243 SOS 319923 HAS SOPS 319923 HAS SOUS 68777 HAS SOUPS 68777 WITH SCORE 69096.923
AT ITER 1162 NEW BEST:: SOT 536237 SOS 319893 HAS SOPS 319893 HAS SOUS 68774 HAS SOUPS 68774 WITH SCORE 69093.893
AT ITER 1169 NEW BEST:: SOT 536079 SOS 318641 HAS SOPS 318641 HAS SOUS 68772 HAS SOUPS 68772 WITH SCORE 69090.641
AT ITER 1194 NEW BEST:: SOT 535860 SOS 317427 HAS SOPS 317427 HAS SOUS 68750 HAS SOUPS 68750 WITH SCORE 69067.427
AT ITER 1195 NEW BEST:: SOT 535639 SOS 316144 HAS SOPS 316144 HAS SOUS 68745 HAS SOUPS 68745 WITH SCORE 69061.144
AT ITER 1200 NEW BEST:: SOT 535639 SOS 316137 HAS SOPS 316137 HAS SOUS 68736 HAS SOUPS 68736 WITH SCORE 69052.137
AT ITER 1214 NEW BEST:: SOT 535423 SOS 315057 HAS SOPS 315057 HAS SOUS 68628 HAS SOUPS 68628 WITH SCORE 68943.057
AT ITER 1218 NEW BEST:: SOT 534623 SOS 311096 HAS SOPS 311096 HAS SOUS 68267 HAS SOUPS 68267 WITH SCORE 68578.096
AT ITER 1227 NEW BEST:: SOT 534639 SOS 311208 HAS SOPS 311208 HAS SOUS 68251 HAS SOUPS 68251 WITH SCORE 68562.208
AT ITER 1229 NEW BEST:: SOT 534305 SOS 309363 HAS SOPS 309363 HAS SOUS 68124 HAS SOUPS 68124 WITH SCORE 68433.363
AT ITER 1252 NEW BEST:: SOT 534308 SOS 309393 HAS SOPS 309393 HAS SOUS 68123 HAS SOUPS 68123 WITH SCORE 68432.393
AT ITER 1259 NEW BEST:: SOT 533495 SOS 305245 HAS SOPS 305245 HAS SOUS 67833 HAS SOUPS 67833 WITH SCORE 68138.245
AT ITER 1266 NEW BEST:: SOT 533463 SOS 305085 HAS SOPS 305085 HAS SOUS 67817 HAS SOUPS 67817 WITH SCORE 68122.085
AT ITER 1290 NEW BEST:: SOT 533435 SOS 304945 HAS SOPS 304945 HAS SOUS 67803 HAS SOUPS 67803 WITH SCORE 68107.945
AT ITER 1299 NEW BEST:: SOT 533313 SOS 304335 HAS SOPS 304335 HAS SOUS 67742 HAS SOUPS 67742 WITH SCORE 68046.335
AT ITER 1302 NEW BEST:: SOT 532924 SOS 302762 HAS SOPS 302762 HAS SOUS 67508 HAS SOUPS 67508 WITH SCORE 67810.762
AT ITER 1312 NEW BEST:: SOT 532937 SOS 303105 HAS SOPS 303105 HAS SOUS 67453 HAS SOUPS 67453 WITH SCORE 67756.105
AT ITER 1315 NEW BEST:: SOT 532937 SOS 303084 HAS SOPS 303084 HAS SOUS 67432 HAS SOUPS 67432 WITH SCORE 67735.084
AT ITER 1338 NEW BEST:: SOT 532937 SOS 303080 HAS SOPS 303080 HAS SOUS 67428 HAS SOUPS 67428 WITH SCORE 67731.08
AT ITER 1346 NEW BEST:: SOT 532901 SOS 303008 HAS SOPS 303008 HAS SOUS 67392 HAS SOUPS 67392 WITH SCORE 67695.008
AT ITER 1381 NEW BEST:: SOT 532513 SOS 301259 HAS SOPS 301259 HAS SOUS 67389 HAS SOUPS 67389 WITH SCORE 67690.259
AT ITER 1383 NEW BEST:: SOT 532513 SOS 301255 HAS SOPS 301255 HAS SOUS 67385 HAS SOUPS 67385 WITH SCORE 67686.255
AT ITER 1386 NEW BEST:: SOT 532431 SOS 300803 HAS SOPS 300803 HAS SOUS 67351 HAS SOUPS 67351 WITH SCORE 67651.803
AT ITER 1412 NEW BEST:: SOT 532337 SOS 300377 HAS SOPS 300377 HAS SOUS 67348 HAS SOUPS 67348 WITH SCORE 67648.377
AT ITER 1429 NEW BEST:: SOT 532311 SOS 300260 HAS SOPS 300260 HAS SOUS 67348 HAS SOUPS 67348 WITH SCORE 67648.26
AT ITER 1439 NEW BEST:: SOT 531535 SOS 296290 HAS SOPS 296290 HAS SOUS 67052 HAS SOUPS 67052 WITH SCORE 67348.29
AT ITER 1454 NEW BEST:: SOT 531465 SOS 295880 HAS SOPS 295880 HAS SOUS 67027 HAS SOUPS 67027 WITH SCORE 67322.88
AT ITER 1479 NEW BEST:: SOT 531461 SOS 295872 HAS SOPS 295872 HAS SOUS 67021 HAS SOUPS 67021 WITH SCORE 67316.872
AT ITER 1505 NEW BEST:: SOT 531185 SOS 293664 HAS SOPS 293664 HAS SOUS 67005 HAS SOUPS 67005 WITH SCORE 67298.664
AT ITER 1512 NEW BEST:: SOT 531165 SOS 293511 HAS SOPS 293511 HAS SOUS 66872 HAS SOUPS 66872 WITH SCORE 67165.511
AT ITER 1527 NEW BEST:: SOT 531165 SOS 293395 HAS SOPS 293395 HAS SOUS 66756 HAS SOUPS 66756 WITH SCORE 67049.395
AT ITER 1552 NEW BEST:: SOT 531009 SOS 292615 HAS SOPS 292615 HAS SOUS 66678 HAS SOUPS 66678 WITH SCORE 66970.615
AT ITER 1553 NEW BEST:: SOT 530997 SOS 292591 HAS SOPS 292591 HAS SOUS 66666 HAS SOUPS 66666 WITH SCORE 66958.591
AT ITER 1558 NEW BEST:: SOT 530533 SOS 290137 HAS SOPS 290137 HAS SOUS 66538 HAS SOUPS 66538 WITH SCORE 66828.137
AT ITER 1576 NEW BEST:: SOT 530443 SOS 289707 HAS SOPS 289707 HAS SOUS 66442 HAS SOUPS 66442 WITH SCORE 66731.707
AT ITER 1604 NEW BEST:: SOT 530423 SOS 289607 HAS SOPS 289607 HAS SOUS 66432 HAS SOUPS 66432 WITH SCORE 66721.607
AT ITER 1615 NEW BEST:: SOT 529528 SOS 285752 HAS SOPS 285752 HAS SOUS 65946 HAS SOUPS 65946 WITH SCORE 66231.752
AT ITER 1625 NEW BEST:: SOT 529506 SOS 285642 HAS SOPS 285642 HAS SOUS 65935 HAS SOUPS 65935 WITH SCORE 66220.642
AT ITER 1632 NEW BEST:: SOT 529486 SOS 285602 HAS SOPS 285602 HAS SOUS 65915 HAS SOUPS 65915 WITH SCORE 66200.602
AT ITER 1636 NEW BEST:: SOT 528752 SOS 281903 HAS SOPS 281903 HAS SOUS 65659 HAS SOUPS 65659 WITH SCORE 65940.903
AT ITER 1643 NEW BEST:: SOT 528070 SOS 278493 HAS SOPS 278493 HAS SOUS 65318 HAS SOUPS 65318 WITH SCORE 65596.493
AT ITER 1653 NEW BEST:: SOT 527886 SOS 277422 HAS SOPS 277422 HAS SOUS 65264 HAS SOUPS 65264 WITH SCORE 65541.422
AT ITER 1656 NEW BEST:: SOT 527915 SOS 277625 HAS SOPS 277625 HAS SOUS 65235 HAS SOUPS 65235 WITH SCORE 65512.625
AT ITER 1669 NEW BEST:: SOT 527817 SOS 277135 HAS SOPS 277135 HAS SOUS 65186 HAS SOUPS 65186 WITH SCORE 65463.135
AT ITER 1680 NEW BEST:: SOT 527747 SOS 276807 HAS SOPS 276807 HAS SOUS 65173 HAS SOUPS 65173 WITH SCORE 65449.807
AT ITER 1701 NEW BEST:: SOT 527422 SOS 274871 HAS SOPS 274871 HAS SOUS 65130 HAS SOUPS 65130 WITH SCORE 65404.871
AT ITER 1714 NEW BEST:: SOT 527306 SOS 274621 HAS SOPS 274621 HAS SOUS 65017 HAS SOUPS 65017 WITH SCORE 65291.621
AT ITER 1717 NEW BEST:: SOT 526987 SOS 272723 HAS SOPS 272723 HAS SOUS 64908 HAS SOUPS 64908 WITH SCORE 65180.723
AT ITER 1722 NEW BEST:: SOT 526991 SOS 272712 HAS SOPS 272712 HAS SOUS 64893 HAS SOUPS 64893 WITH SCORE 65165.712
AT ITER 1724 NEW BEST:: SOT 526603 SOS 270839 HAS SOPS 270839 HAS SOUS 64764 HAS SOUPS 64764 WITH SCORE 65034.839
AT ITER 1751 NEW BEST:: SOT 526378 SOS 269604 HAS SOPS 269604 HAS SOUS 64720 HAS SOUPS 64720 WITH SCORE 64989.604
AT ITER 1759 NEW BEST:: SOT 526244 SOS 269262 HAS SOPS 269262 HAS SOUS 64572 HAS SOUPS 64572 WITH SCORE 64841.262
AT ITER 1773 NEW BEST:: SOT 526244 SOS 269557 HAS SOPS 269557 HAS SOUS 64454 HAS SOUPS 64454 WITH SCORE 64723.557
AT ITER 1782 NEW BEST:: SOT 526244 SOS 269557 HAS SOPS 269557 HAS SOUS 64452 HAS SOUPS 64452 WITH SCORE 64721.557
AT ITER 1800 NEW BEST:: SOT 526310 SOS 269688 HAS SOPS 269688 HAS SOUS 64447 HAS SOUPS 64447 WITH SCORE 64716.688
AT ITER 1840 NEW BEST:: SOT 526029 SOS 268323 HAS SOPS 268323 HAS SOUS 64378 HAS SOUPS 64378 WITH SCORE 64646.323
AT ITER 1857 NEW BEST:: SOT 525899 SOS 267409 HAS SOPS 267409 HAS SOUS 64269 HAS SOUPS 64269 WITH SCORE 64536.409
AT ITER 1874 NEW BEST:: SOT 525848 SOS 267007 HAS SOPS 267007 HAS SOUS 64268 HAS SOUPS 64268 WITH SCORE 64535.007
AT ITER 1894 NEW BEST:: SOT 525704 SOS 266185 HAS SOPS 266185 HAS SOUS 64181 HAS SOUPS 64181 WITH SCORE 64447.185
AT ITER 1915 NEW BEST:: SOT 525546 SOS 265395 HAS SOPS 265395 HAS SOUS 64102 HAS SOUPS 64102 WITH SCORE 64367.395
AT ITER 1931 NEW BEST:: SOT 525130 SOS 263315 HAS SOPS 263315 HAS SOUS 63894 HAS SOUPS 63894 WITH SCORE 64157.315
AT ITER 1939 NEW BEST:: SOT 525121 SOS 263297 HAS SOPS 263297 HAS SOUS 63885 HAS SOUPS 63885 WITH SCORE 64148.297
AT ITER 1944 NEW BEST:: SOT 524663 SOS 260870 HAS SOPS 260870 HAS SOUS 63701 HAS SOUPS 63701 WITH SCORE 63961.87
AT ITER 1949 NEW BEST:: SOT 524658 SOS 260860 HAS SOPS 260860 HAS SOUS 63696 HAS SOUPS 63696 WITH SCORE 63956.86
AT ITER 1952 NEW BEST:: SOT 524627 SOS 260798 HAS SOPS 260798 HAS SOUS 63665 HAS SOUPS 63665 WITH SCORE 63925.798
AT ITER 1983 NEW BEST:: SOT 524627 SOS 260706 HAS SOPS 260706 HAS SOUS 63609 HAS SOUPS 63609 WITH SCORE 63869.706
AT ITER 1990 NEW BEST:: SOT 524445 SOS 259882 HAS SOPS 259882 HAS SOUS 63604 HAS SOUPS 63604 WITH SCORE 63863.882
AT ITER 2023 NEW BEST:: SOT 524444 SOS 259863 HAS SOPS 259863 HAS SOUS 63582 HAS SOUPS 63582 WITH SCORE 63841.863
AT ITER 2035 NEW BEST:: SOT 524044 SOS 257863 HAS SOPS 257863 HAS SOUS 63382 HAS SOUPS 63382 WITH SCORE 63639.863
AT ITER 2044 NEW BEST:: SOT 524044 SOS 257860 HAS SOPS 257860 HAS SOUS 63379 HAS SOUPS 63379 WITH SCORE 63636.86
AT ITER 2050 NEW BEST:: SOT 524000 SOS 257508 HAS SOPS 257508 HAS SOUS 63379 HAS SOUPS 63379 WITH SCORE 63636.508
AT ITER 2090 NEW BEST:: SOT 523944 SOS 257228 HAS SOPS 257228 HAS SOUS 63351 HAS SOUPS 63351 WITH SCORE 63608.228
AT ITER 2105 NEW BEST:: SOT 523878 SOS 256748 HAS SOPS 256748 HAS SOUS 63343 HAS SOUPS 63343 WITH SCORE 63599.748
AT ITER 2117 NEW BEST:: SOT 523688 SOS 255798 HAS SOPS 255798 HAS SOUS 63248 HAS SOUPS 63248 WITH SCORE 63503.798
AT ITER 2120 NEW BEST:: SOT 523670 SOS 255712 HAS SOPS 255712 HAS SOUS 63243 HAS SOUPS 63243 WITH SCORE 63498.712
AT ITER 2146 NEW BEST:: SOT 523252 SOS 253544 HAS SOPS 253544 HAS SOUS 63047 HAS SOUPS 63047 WITH SCORE 63300.544
AT ITER 2148 NEW BEST:: SOT 522921 SOS 251051 HAS SOPS 251051 HAS SOUS 62963 HAS SOUPS 62963 WITH SCORE 63214.051
AT ITER 2150 NEW BEST:: SOT 522799 SOS 250082 HAS SOPS 250082 HAS SOUS 62848 HAS SOUPS 62848 WITH SCORE 63098.082
AT ITER 2168 NEW BEST:: SOT 522782 SOS 250048 HAS SOPS 250048 HAS SOUS 62831 HAS SOUPS 62831 WITH SCORE 63081.048
AT ITER 2174 NEW BEST:: SOT 522721 SOS 249182 HAS SOPS 249182 HAS SOUS 62809 HAS SOUPS 62809 WITH SCORE 63058.182
AT ITER 2212 NEW BEST:: SOT 522302 SOS 246988 HAS SOPS 246988 HAS SOUS 62616 HAS SOUPS 62616 WITH SCORE 62862.988
AT ITER 2217 NEW BEST:: SOT 522054 SOS 245345 HAS SOPS 245345 HAS SOUS 62534 HAS SOUPS 62534 WITH SCORE 62779.345
AT ITER 2218 NEW BEST:: SOT 521791 SOS 244031 HAS SOPS 244031 HAS SOUS 62470 HAS SOUPS 62470 WITH SCORE 62714.031
AT ITER 2225 NEW BEST:: SOT 521782 SOS 243959 HAS SOPS 243959 HAS SOUS 62461 HAS SOUPS 62461 WITH SCORE 62704.959
AT ITER 2228 NEW BEST:: SOT 521562 SOS 242859 HAS SOPS 242859 HAS SOUS 62131 HAS SOUPS 62131 WITH SCORE 62373.859
AT ITER 2231 NEW BEST:: SOT 521378 SOS 243325 HAS SOPS 243325 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62329.325
AT ITER 2239 NEW BEST:: SOT 521202 SOS 242868 HAS SOPS 242868 HAS SOUS 61805 HAS SOUPS 61805 WITH SCORE 62047.868
AT ITER 2251 NEW BEST:: SOT 521202 SOS 242862 HAS SOPS 242862 HAS SOUS 61799 HAS SOUPS 61799 WITH SCORE 62041.862
AT ITER 2272 NEW BEST:: SOT 521094 SOS 242369 HAS SOPS 242369 HAS SOUS 61799 HAS SOUPS 61799 WITH SCORE 62041.369
AT ITER 2277 NEW BEST:: SOT 521028 SOS 241961 HAS SOPS 241961 HAS SOUS 61779 HAS SOUPS 61779 WITH SCORE 62020.961
AT ITER 2303 NEW BEST:: SOT 520930 SOS 241516 HAS SOPS 241516 HAS SOUS 61775 HAS SOUPS 61775 WITH SCORE 62016.516
AT ITER 2313 NEW BEST:: SOT 520794 SOS 240836 HAS SOPS 240836 HAS SOUS 61707 HAS SOUPS 61707 WITH SCORE 61947.836
AT ITER 2343 NEW BEST:: SOT 520782 SOS 240776 HAS SOPS 240776 HAS SOUS 61699 HAS SOUPS 61699 WITH SCORE 61939.776
AT ITER 2351 NEW BEST:: SOT 520782 SOS 240776 HAS SOPS 240776 HAS SOUS 61697 HAS SOUPS 61697 WITH SCORE 61937.776
AT ITER 2379 NEW BEST:: SOT 520737 SOS 240611 HAS SOPS 240611 HAS SOUS 61667 HAS SOUPS 61667 WITH SCORE 61907.611
AT ITER 2392 NEW BEST:: SOT 520001 SOS 236931 HAS SOPS 236931 HAS SOUS 61299 HAS SOUPS 61299 WITH SCORE 61535.931
AT ITER 2425 NEW BEST:: SOT 520001 SOS 236928 HAS SOPS 236928 HAS SOUS 61296 HAS SOUPS 61296 WITH SCORE 61532.928
AT ITER 2446 NEW BEST:: SOT 519318 SOS 233790 HAS SOPS 233790 HAS SOUS 61263 HAS SOUPS 61263 WITH SCORE 61496.79
AT ITER 2465 NEW BEST:: SOT 519318 SOS 233790 HAS SOPS 233790 HAS SOUS 61261 HAS SOUPS 61261 WITH SCORE 61494.79
AT ITER 2466 NEW BEST:: SOT 519328 SOS 233860 HAS SOPS 233860 HAS SOUS 61251 HAS SOUPS 61251 WITH SCORE 61484.86
AT ITER 2476 NEW BEST:: SOT 519178 SOS 232744 HAS SOPS 232744 HAS SOUS 61237 HAS SOUPS 61237 WITH SCORE 61469.744
AT ITER 2477 NEW BEST:: SOT 519593 SOS 234634 HAS SOPS 234634 HAS SOUS 61228 HAS SOUPS 61228 WITH SCORE 61462.634
AT ITER 2480 NEW BEST:: SOT 519593 SOS 234629 HAS SOPS 234629 HAS SOUS 61227 HAS SOUPS 61227 WITH SCORE 61461.629
AT ITER 2484 NEW BEST:: SOT 519527 SOS 234497 HAS SOPS 234497 HAS SOUS 61193 HAS SOUPS 61193 WITH SCORE 61427.497
AT ITER 2487 NEW BEST:: SOT 519522 SOS 234457 HAS SOPS 234457 HAS SOUS 61193 HAS SOUPS 61193 WITH SCORE 61427.457
AT ITER 2492 NEW BEST:: SOT 519175 SOS 232089 HAS SOPS 232089 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61409.089
AT ITER 2522 NEW BEST:: SOT 519118 SOS 231687 HAS SOPS 231687 HAS SOUS 61168 HAS SOUPS 61168 WITH SCORE 61399.687
AT ITER 2548 NEW BEST:: SOT 519024 SOS 230915 HAS SOPS 230915 HAS SOUS 61163 HAS SOUPS 61163 WITH SCORE 61393.915
AT ITER 2560 NEW BEST:: SOT 518873 SOS 230594 HAS SOPS 230594 HAS SOUS 61086 HAS SOUPS 61086 WITH SCORE 61316.594
AT ITER 2576 NEW BEST:: SOT 518831 SOS 230384 HAS SOPS 230384 HAS SOUS 61065 HAS SOUPS 61065 WITH SCORE 61295.384
AT ITER 2589 NEW BEST:: SOT 518615 SOS 229208 HAS SOPS 229208 HAS SOUS 60969 HAS SOUPS 60969 WITH SCORE 61198.208
AT ITER 2597 NEW BEST:: SOT 518545 SOS 228858 HAS SOPS 228858 HAS SOUS 60934 HAS SOUPS 60934 WITH SCORE 61162.858
AT ITER 2623 NEW BEST:: SOT 518545 SOS 228823 HAS SOPS 228823 HAS SOUS 60899 HAS SOUPS 60899 WITH SCORE 61127.823
AT ITER 2688 NEW BEST:: SOT 518384 SOS 228361 HAS SOPS 228361 HAS SOUS 60682 HAS SOUPS 60682 WITH SCORE 60910.361
AT ITER 2715 NEW BEST:: SOT 518384 SOS 228361 HAS SOPS 228361 HAS SOUS 60680 HAS SOUPS 60680 WITH SCORE 60908.361
AT ITER 2766 NEW BEST:: SOT 518333 SOS 228259 HAS SOPS 228259 HAS SOUS 60558 HAS SOUPS 60558 WITH SCORE 60786.259
AT ITER 2774 NEW BEST:: SOT 518153 SOS 227574 HAS SOPS 227574 HAS SOUS 60443 HAS SOUPS 60443 WITH SCORE 60670.574
AT ITER 2790 NEW BEST:: SOT 518076 SOS 227206 HAS SOPS 227206 HAS SOUS 60333 HAS SOUPS 60333 WITH SCORE 60560.206
AT ITER 2810 NEW BEST:: SOT 518034 SOS 227170 HAS SOPS 227170 HAS SOUS 60313 HAS SOUPS 60313 WITH SCORE 60540.17
AT ITER 2819 NEW BEST:: SOT 518001 SOS 227055 HAS SOPS 227055 HAS SOUS 60231 HAS SOUPS 60231 WITH SCORE 60458.055
AT ITER 2825 NEW BEST:: SOT 517796 SOS 227051 HAS SOPS 227051 HAS SOUS 60148 HAS SOUPS 60148 WITH SCORE 60375.051
AT ITER 2826 NEW BEST:: SOT 517778 SOS 227015 HAS SOPS 227015 HAS SOUS 60114 HAS SOUPS 60114 WITH SCORE 60341.015
AT ITER 2842 NEW BEST:: SOT 517692 SOS 226619 HAS SOPS 226619 HAS SOUS 60105 HAS SOUPS 60105 WITH SCORE 60331.619
AT ITER 2843 NEW BEST:: SOT 517634 SOS 226357 HAS SOPS 226357 HAS SOUS 60104 HAS SOUPS 60104 WITH SCORE 60330.357
AT ITER 2892 NEW BEST:: SOT 517634 SOS 226339 HAS SOPS 226339 HAS SOUS 60086 HAS SOUPS 60086 WITH SCORE 60312.339
AT ITER 2907 NEW BEST:: SOT 517704 SOS 226607 HAS SOPS 226607 HAS SOUS 60040 HAS SOUPS 60040 WITH SCORE 60266.607
AT ITER 2917 NEW BEST:: SOT 517660 SOS 226427 HAS SOPS 226427 HAS SOUS 60040 HAS SOUPS 60040 WITH SCORE 60266.427
AT ITER 2928 NEW BEST:: SOT 517656 SOS 226407 HAS SOPS 226407 HAS SOUS 60038 HAS SOUPS 60038 WITH SCORE 60264.407
AT ITER 2933 NEW BEST:: SOT 517594 SOS 226097 HAS SOPS 226097 HAS SOUS 60007 HAS SOUPS 60007 WITH SCORE 60233.097
AT ITER 2934 NEW BEST:: SOT 517160 SOS 223716 HAS SOPS 223716 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 60159.716
AT ITER 2985 NEW BEST:: SOT 517127 SOS 223665 HAS SOPS 223665 HAS SOUS 59918 HAS SOUPS 59918 WITH SCORE 60141.665
AT ITER 2990 NEW BEST:: SOT 516340 SOS 219271 HAS SOPS 219271 HAS SOUS 59317 HAS SOUPS 59317 WITH SCORE 59536.271
AT ITER 2995 NEW BEST:: SOT 515805 SOS 216444 HAS SOPS 216444 HAS SOUS 59111 HAS SOUPS 59111 WITH SCORE 59327.444
AT ITER 3019 NEW BEST:: SOT 515761 SOS 216356 HAS SOPS 216356 HAS SOUS 59065 HAS SOUPS 59065 WITH SCORE 59281.356
AT ITER 3027 NEW BEST:: SOT 515761 SOS 216230 HAS SOPS 216230 HAS SOUS 59065 HAS SOUPS 59065 WITH SCORE 59281.23
AT ITER 3044 NEW BEST:: SOT 515609 SOS 215542 HAS SOPS 215542 HAS SOUS 59061 HAS SOUPS 59061 WITH SCORE 59276.542
AT ITER 3066 NEW BEST:: SOT 515493 SOS 214272 HAS SOPS 214272 HAS SOUS 58900 HAS SOUPS 58900 WITH SCORE 59114.272
AT ITER 3079 NEW BEST:: SOT 514938 SOS 211314 HAS SOPS 211314 HAS SOUS 58770 HAS SOUPS 58770 WITH SCORE 58981.314
AT ITER 3119 NEW BEST:: SOT 514746 SOS 210649 HAS SOPS 210649 HAS SOUS 58559 HAS SOUPS 58559 WITH SCORE 58769.649
AT ITER 3186 NEW BEST:: SOT 514766 SOS 212015 HAS SOPS 212015 HAS SOUS 58472 HAS SOUPS 58472 WITH SCORE 58684.015
AT ITER 3204 NEW BEST:: SOT 514755 SOS 211967 HAS SOPS 211967 HAS SOUS 58472 HAS SOUPS 58472 WITH SCORE 58683.967
AT ITER 3210 NEW BEST:: SOT 514758 SOS 211988 HAS SOPS 211988 HAS SOUS 58469 HAS SOUPS 58469 WITH SCORE 58680.988
AT ITER 3249 NEW BEST:: SOT 514704 SOS 211718 HAS SOPS 211718 HAS SOUS 58442 HAS SOUPS 58442 WITH SCORE 58653.718
AT ITER 3260 NEW BEST:: SOT 514704 SOS 211706 HAS SOPS 211706 HAS SOUS 58430 HAS SOUPS 58430 WITH SCORE 58641.706
AT ITER 3273 NEW BEST:: SOT 514538 SOS 210876 HAS SOPS 210876 HAS SOUS 58347 HAS SOUPS 58347 WITH SCORE 58557.876
AT ITER 3282 NEW BEST:: SOT 514536 SOS 210856 HAS SOPS 210856 HAS SOUS 58329 HAS SOUPS 58329 WITH SCORE 58539.856
AT ITER 3306 NEW BEST:: SOT 514524 SOS 210796 HAS SOPS 210796 HAS SOUS 58311 HAS SOUPS 58311 WITH SCORE 58521.796
AT ITER 3308 NEW BEST:: SOT 514524 SOS 210796 HAS SOPS 210796 HAS SOUS 58299 HAS SOUPS 58299 WITH SCORE 58509.796
AT ITER 3343 NEW BEST:: SOT 514524 SOS 210316 HAS SOPS 210316 HAS SOUS 58277 HAS SOUPS 58277 WITH SCORE 58487.316
AT ITER 3377 NEW BEST:: SOT 514408 SOS 209736 HAS SOPS 209736 HAS SOUS 58219 HAS SOUPS 58219 WITH SCORE 58428.736
AT ITER 3378 NEW BEST:: SOT 514241 SOS 208832 HAS SOPS 208832 HAS SOUS 58145 HAS SOUPS 58145 WITH SCORE 58353.832
AT ITER 3390 NEW BEST:: SOT 514241 SOS 208832 HAS SOPS 208832 HAS SOUS 58139 HAS SOUPS 58139 WITH SCORE 58347.832
AT ITER 3429 NEW BEST:: SOT 514105 SOS 208152 HAS SOPS 208152 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58277.152
AT ITER 3435 NEW BEST:: SOT 513988 SOS 207540 HAS SOPS 207540 HAS SOUS 58015 HAS SOUPS 58015 WITH SCORE 58222.54
AT ITER 3477 NEW BEST:: SOT 513882 SOS 206938 HAS SOPS 206938 HAS SOUS 57974 HAS SOUPS 57974 WITH SCORE 58180.938
AT ITER 3484 NEW BEST:: SOT 513797 SOS 206591 HAS SOPS 206591 HAS SOUS 57974 HAS SOUPS 57974 WITH SCORE 58180.591
AT ITER 3488 NEW BEST:: SOT 513797 SOS 206582 HAS SOPS 206582 HAS SOUS 57965 HAS SOUPS 57965 WITH SCORE 58171.582
AT ITER 3532 NEW BEST:: SOT 513617 SOS 205980 HAS SOPS 205980 HAS SOUS 57903 HAS SOUPS 57903 WITH SCORE 58108.98
AT ITER 3535 NEW BEST:: SOT 513385 SOS 204820 HAS SOPS 204820 HAS SOUS 57787 HAS SOUPS 57787 WITH SCORE 57991.82
AT ITER 3561 NEW BEST:: SOT 513309 SOS 204440 HAS SOPS 204440 HAS SOUS 57749 HAS SOUPS 57749 WITH SCORE 57953.44
AT ITER 3567 NEW BEST:: SOT 513309 SOS 204445 HAS SOPS 204445 HAS SOUS 57718 HAS SOUPS 57718 WITH SCORE 57922.445
AT ITER 3571 NEW BEST:: SOT 513247 SOS 204166 HAS SOPS 204166 HAS SOUS 57718 HAS SOUPS 57718 WITH SCORE 57922.166
AT ITER 3572 NEW BEST:: SOT 513079 SOS 203410 HAS SOPS 203410 HAS SOUS 57718 HAS SOUPS 57718 WITH SCORE 57921.41
AT ITER 3576 NEW BEST:: SOT 513079 SOS 203410 HAS SOPS 203410 HAS SOUS 57716 HAS SOUPS 57716 WITH SCORE 57919.41
AT ITER 3598 NEW BEST:: SOT 512916 SOS 203127 HAS SOPS 203127 HAS SOUS 57682 HAS SOUPS 57682 WITH SCORE 57885.127
AT ITER 3610 NEW BEST:: SOT 512792 SOS 202568 HAS SOPS 202568 HAS SOUS 57681 HAS SOUPS 57681 WITH SCORE 57883.568
AT ITER 3627 NEW BEST:: SOT 512793 SOS 202575 HAS SOPS 202575 HAS SOUS 57680 HAS SOUPS 57680 WITH SCORE 57882.575
AT ITER 3646 NEW BEST:: SOT 512401 SOS 200411 HAS SOPS 200411 HAS SOUS 57492 HAS SOUPS 57492 WITH SCORE 57692.411
AT ITER 3659 NEW BEST:: SOT 512381 SOS 200366 HAS SOPS 200366 HAS SOUS 57467 HAS SOUPS 57467 WITH SCORE 57667.366
AT ITER 3674 NEW BEST:: SOT 512313 SOS 200060 HAS SOPS 200060 HAS SOUS 57467 HAS SOUPS 57467 WITH SCORE 57667.06
AT ITER 3676 NEW BEST:: SOT 512300 SOS 200023 HAS SOPS 200023 HAS SOUS 57445 HAS SOUPS 57445 WITH SCORE 57645.023
AT ITER 3693 NEW BEST:: SOT 511776 SOS 197350 HAS SOPS 197350 HAS SOUS 57221 HAS SOUPS 57221 WITH SCORE 57418.35
AT ITER 3731 NEW BEST:: SOT 511652 SOS 197063 HAS SOPS 197063 HAS SOUS 57120 HAS SOUPS 57120 WITH SCORE 57317.063
AT ITER 3746 NEW BEST:: SOT 511256 SOS 194279 HAS SOPS 194279 HAS SOUS 56980 HAS SOUPS 56980 WITH SCORE 57174.279
AT ITER 3752 NEW BEST:: SOT 511255 SOS 194277 HAS SOPS 194277 HAS SOUS 56979 HAS SOUPS 56979 WITH SCORE 57173.277
AT ITER 3762 NEW BEST:: SOT 511247 SOS 194213 HAS SOPS 194213 HAS SOUS 56979 HAS SOUPS 56979 WITH SCORE 57173.213
AT ITER 3780 NEW BEST:: SOT 511204 SOS 194127 HAS SOPS 194127 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57130.127
AT ITER 3792 NEW BEST:: SOT 511046 SOS 193205 HAS SOPS 193205 HAS SOUS 56873 HAS SOUPS 56873 WITH SCORE 57066.205
AT ITER 3800 NEW BEST:: SOT 511004 SOS 192977 HAS SOPS 192977 HAS SOUS 56855 HAS SOUPS 56855 WITH SCORE 57047.977
AT ITER 3810 NEW BEST:: SOT 511004 SOS 192977 HAS SOPS 192977 HAS SOUS 56849 HAS SOUPS 56849 WITH SCORE 57041.977
AT ITER 3827 NEW BEST:: SOT 510947 SOS 192863 HAS SOPS 192863 HAS SOUS 56826 HAS SOUPS 56826 WITH SCORE 57018.863
AT ITER 3837 NEW BEST:: SOT 510945 SOS 192852 HAS SOPS 192852 HAS SOUS 56817 HAS SOUPS 56817 WITH SCORE 57009.852
AT ITER 3880 NEW BEST:: SOT 510829 SOS 192562 HAS SOPS 192562 HAS SOUS 56701 HAS SOUPS 56701 WITH SCORE 56893.562
AT ITER 3902 NEW BEST:: SOT 510850 SOS 192784 HAS SOPS 192784 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56884.784
AT ITER 3931 NEW BEST:: SOT 510850 SOS 192740 HAS SOPS 192740 HAS SOUS 56686 HAS SOUPS 56686 WITH SCORE 56878.74
AT ITER 3933 NEW BEST:: SOT 510226 SOS 189879 HAS SOPS 189879 HAS SOUS 56633 HAS SOUPS 56633 WITH SCORE 56822.879
AT ITER 3936 NEW BEST:: SOT 509818 SOS 187839 HAS SOPS 187839 HAS SOUS 56429 HAS SOUPS 56429 WITH SCORE 56616.839
AT ITER 3941 NEW BEST:: SOT 509818 SOS 187839 HAS SOPS 187839 HAS SOUS 56427 HAS SOUPS 56427 WITH SCORE 56614.839
AT ITER 3946 NEW BEST:: SOT 509752 SOS 187941 HAS SOPS 187941 HAS SOUS 56322 HAS SOUPS 56322 WITH SCORE 56509.941
AT ITER 3986 NEW BEST:: SOT 509752 SOS 187853 HAS SOPS 187853 HAS SOUS 56234 HAS SOUPS 56234 WITH SCORE 56421.853
AT ITER 4063 NEW BEST:: SOT 509752 SOS 187702 HAS SOPS 187702 HAS SOUS 56083 HAS SOUPS 56083 WITH SCORE 56270.702
AT ITER 4070 NEW BEST:: SOT 509886 SOS 188518 HAS SOPS 188518 HAS SOUS 56071 HAS SOUPS 56071 WITH SCORE 56259.518
AT ITER 4085 NEW BEST:: SOT 509750 SOS 187838 HAS SOPS 187838 HAS SOUS 56003 HAS SOUPS 56003 WITH SCORE 56190.838
AT ITER 4089 NEW BEST:: SOT 509750 SOS 187838 HAS SOPS 187838 HAS SOUS 55999 HAS SOUPS 55999 WITH SCORE 56186.838
AT ITER 4106 NEW BEST:: SOT 509746 SOS 187834 HAS SOPS 187834 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56184.834
AT ITER 4115 NEW BEST:: SOT 509746 SOS 187834 HAS SOPS 187834 HAS SOUS 55995 HAS SOUPS 55995 WITH SCORE 56182.834
AT ITER 4120 NEW BEST:: SOT 509681 SOS 187332 HAS SOPS 187332 HAS SOUS 55992 HAS SOUPS 55992 WITH SCORE 56179.332
AT ITER 4144 NEW BEST:: SOT 509659 SOS 187222 HAS SOPS 187222 HAS SOUS 55981 HAS SOUPS 55981 WITH SCORE 56168.222
AT ITER 4154 NEW BEST:: SOT 509465 SOS 186252 HAS SOPS 186252 HAS SOUS 55884 HAS SOUPS 55884 WITH SCORE 56070.252
AT ITER 4167 NEW BEST:: SOT 509427 SOS 186176 HAS SOPS 186176 HAS SOUS 55884 HAS SOUPS 55884 WITH SCORE 56070.176
AT ITER 4168 NEW BEST:: SOT 509385 SOS 186095 HAS SOPS 186095 HAS SOUS 55867 HAS SOUPS 55867 WITH SCORE 56053.095
AT ITER 4177 NEW BEST:: SOT 509322 SOS 185709 HAS SOPS 185709 HAS SOUS 55826 HAS SOUPS 55826 WITH SCORE 56011.709
AT ITER 4209 NEW BEST:: SOT 509322 SOS 185709 HAS SOPS 185709 HAS SOUS 55822 HAS SOUPS 55822 WITH SCORE 56007.709
AT ITER 4221 NEW BEST:: SOT 509322 SOS 185709 HAS SOPS 185709 HAS SOUS 55678 HAS SOUPS 55678 WITH SCORE 55863.709
AT ITER 4222 NEW BEST:: SOT 509322 SOS 185704 HAS SOPS 185704 HAS SOUS 55673 HAS SOUPS 55673 WITH SCORE 55858.704
AT ITER 4245 NEW BEST:: SOT 509322 SOS 185728 HAS SOPS 185728 HAS SOUS 55669 HAS SOUPS 55669 WITH SCORE 55854.728
AT ITER 4278 NEW BEST:: SOT 509296 SOS 185676 HAS SOPS 185676 HAS SOUS 55666 HAS SOUPS 55666 WITH SCORE 55851.676
AT ITER 4289 NEW BEST:: SOT 509212 SOS 185289 HAS SOPS 185289 HAS SOUS 55657 HAS SOUPS 55657 WITH SCORE 55842.289
AT ITER 4335 NEW BEST:: SOT 509039 SOS 184496 HAS SOPS 184496 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55837.496
AT ITER 4379 NEW BEST:: SOT 509016 SOS 184450 HAS SOPS 184450 HAS SOUS 55631 HAS SOUPS 55631 WITH SCORE 55815.45
AT ITER 4390 NEW BEST:: SOT 509016 SOS 184445 HAS SOPS 184445 HAS SOUS 55626 HAS SOUPS 55626 WITH SCORE 55810.445
AT ITER 4417 NEW BEST:: SOT 509004 SOS 184432 HAS SOPS 184432 HAS SOUS 55625 HAS SOUPS 55625 WITH SCORE 55809.432
AT ITER 4425 NEW BEST:: SOT 507857 SOS 179929 HAS SOPS 179929 HAS SOUS 55534 HAS SOUPS 55534 WITH SCORE 55713.929
AT ITER 4432 NEW BEST:: SOT 507847 SOS 179879 HAS SOPS 179879 HAS SOUS 55529 HAS SOUPS 55529 WITH SCORE 55708.879
AT ITER 4434 NEW BEST:: SOT 507917 SOS 180791 HAS SOPS 180791 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55629.791
AT ITER 4446 NEW BEST:: SOT 507917 SOS 180791 HAS SOPS 180791 HAS SOUS 55445 HAS SOUPS 55445 WITH SCORE 55625.791
AT ITER 4468 NEW BEST:: SOT 507735 SOS 179881 HAS SOPS 179881 HAS SOUS 55354 HAS SOUPS 55354 WITH SCORE 55533.881
AT ITER 4486 NEW BEST:: SOT 507719 SOS 179801 HAS SOPS 179801 HAS SOUS 55346 HAS SOUPS 55346 WITH SCORE 55525.801
AT ITER 4488 NEW BEST:: SOT 507697 SOS 179625 HAS SOPS 179625 HAS SOUS 55346 HAS SOUPS 55346 WITH SCORE 55525.625
AT ITER 4517 NEW BEST:: SOT 507527 SOS 178769 HAS SOPS 178769 HAS SOUS 55260 HAS SOUPS 55260 WITH SCORE 55438.769
AT ITER 4532 NEW BEST:: SOT 507435 SOS 178585 HAS SOPS 178585 HAS SOUS 55168 HAS SOUPS 55168 WITH SCORE 55346.585
AT ITER 4576 NEW BEST:: SOT 507395 SOS 178400 HAS SOPS 178400 HAS SOUS 55163 HAS SOUPS 55163 WITH SCORE 55341.4
AT ITER 4578 NEW BEST:: SOT 507379 SOS 178320 HAS SOPS 178320 HAS SOUS 55155 HAS SOUPS 55155 WITH SCORE 55333.32
AT ITER 4582 NEW BEST:: SOT 507373 SOS 178148 HAS SOPS 178148 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55246.148
AT ITER 4593 NEW BEST:: SOT 507370 SOS 178099 HAS SOPS 178099 HAS SOUS 55022 HAS SOUPS 55022 WITH SCORE 55200.099
AT ITER 4606 NEW BEST:: SOT 507332 SOS 177992 HAS SOPS 177992 HAS SOUS 54946 HAS SOUPS 54946 WITH SCORE 55123.992
AT ITER 4621 NEW BEST:: SOT 507299 SOS 177959 HAS SOPS 177959 HAS SOUS 54945 HAS SOUPS 54945 WITH SCORE 55122.959
AT ITER 4629 NEW BEST:: SOT 507097 SOS 176949 HAS SOPS 176949 HAS SOUS 54844 HAS SOUPS 54844 WITH SCORE 55020.949
AT ITER 4637 NEW BEST:: SOT 506976 SOS 176335 HAS SOPS 176335 HAS SOUS 54714 HAS SOUPS 54714 WITH SCORE 54890.335
AT ITER 4640 NEW BEST:: SOT 506980 SOS 176286 HAS SOPS 176286 HAS SOUS 54663 HAS SOUPS 54663 WITH SCORE 54839.286
AT ITER 4644 NEW BEST:: SOT 506990 SOS 176444 HAS SOPS 176444 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54826.444
AT ITER 4651 NEW BEST:: SOT 506943 SOS 176340 HAS SOPS 176340 HAS SOUS 54593 HAS SOUPS 54593 WITH SCORE 54769.34
AT ITER 4663 NEW BEST:: SOT 506943 SOS 176340 HAS SOPS 176340 HAS SOUS 54589 HAS SOUPS 54589 WITH SCORE 54765.34
AT ITER 4675 NEW BEST:: SOT 506908 SOS 176286 HAS SOPS 176286 HAS SOUS 54575 HAS SOUPS 54575 WITH SCORE 54751.286
AT ITER 4684 NEW BEST:: SOT 506799 SOS 175444 HAS SOPS 175444 HAS SOUS 54485 HAS SOUPS 54485 WITH SCORE 54660.444
AT ITER 4725 NEW BEST:: SOT 506523 SOS 173524 HAS SOPS 173524 HAS SOUS 54437 HAS SOUPS 54437 WITH SCORE 54610.524
AT ITER 4746 NEW BEST:: SOT 506523 SOS 173524 HAS SOPS 173524 HAS SOUS 54435 HAS SOUPS 54435 WITH SCORE 54608.524
AT ITER 4753 NEW BEST:: SOT 506472 SOS 173260 HAS SOPS 173260 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54584.26
AT ITER 4778 NEW BEST:: SOT 506537 SOS 174098 HAS SOPS 174098 HAS SOUS 54406 HAS SOUPS 54406 WITH SCORE 54580.098
AT ITER 4806 NEW BEST:: SOT 506506 SOS 174222 HAS SOPS 174222 HAS SOUS 54344 HAS SOUPS 54344 WITH SCORE 54518.222
AT ITER 4807 NEW BEST:: SOT 506524 SOS 174490 HAS SOPS 174490 HAS SOUS 54321 HAS SOUPS 54321 WITH SCORE 54495.49
AT ITER 4849 NEW BEST:: SOT 506258 SOS 173160 HAS SOPS 173160 HAS SOUS 54188 HAS SOUPS 54188 WITH SCORE 54361.16
AT ITER 4850 NEW BEST:: SOT 506199 SOS 173234 HAS SOPS 173234 HAS SOUS 54081 HAS SOUPS 54081 WITH SCORE 54254.234
AT ITER 4873 NEW BEST:: SOT 506155 SOS 173014 HAS SOPS 173014 HAS SOUS 54059 HAS SOUPS 54059 WITH SCORE 54232.014
AT ITER 4874 NEW BEST:: SOT 506067 SOS 172838 HAS SOPS 172838 HAS SOUS 54044 HAS SOUPS 54044 WITH SCORE 54216.838
AT ITER 4893 NEW BEST:: SOT 506011 SOS 172669 HAS SOPS 172669 HAS SOUS 54043 HAS SOUPS 54043 WITH SCORE 54215.669
AT ITER 4901 NEW BEST:: SOT 505988 SOS 172623 HAS SOPS 172623 HAS SOUS 54020 HAS SOUPS 54020 WITH SCORE 54192.623
AT ITER 4935 NEW BEST:: SOT 505903 SOS 172453 HAS SOPS 172453 HAS SOUS 54020 HAS SOUPS 54020 WITH SCORE 54192.453
AT ITER 4938 NEW BEST:: SOT 505903 SOS 172399 HAS SOPS 172399 HAS SOUS 53966 HAS SOUPS 53966 WITH SCORE 54138.399
AT ITER 4982 NEW BEST:: SOT 505903 SOS 172400 HAS SOPS 172400 HAS SOUS 53955 HAS SOUPS 53955 WITH SCORE 54127.4
AT ITER 4987 NEW BEST:: SOT 505715 SOS 171460 HAS SOPS 171460 HAS SOUS 53861 HAS SOUPS 53861 WITH SCORE 54032.46
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-00 (EG( (AF(( potential( ( 1 ) <= (tk(P609)) ) | potential( ( 1 ) <= (tk(P24)) ) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-01 (AF(( (AG( potential( ( 1 ) <= (tk(P329)) ))) & ( ( potential( ( 2 ) <= (tk(P497)) ) & potential( ( 2 ) <= (tk(P2)) ) ) | ( potential( (tk(P211)) <= (tk(P458)) ) & potential( ( 3 ) <= (tk(P395)) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-02 ( (! ( potential( ( 1 ) <= (tk(P513)) ) & (! ( potential( (tk(P547)) <= (tk(P557)) ) | potential( (tk(P595)) <= (tk(P633)) ) )) )) & ( (AF(( potential( ( 3 ) <= (tk(P69)) ) | potential( ( 3 ) <= (tk(P17)) ) ))) | ( ( ( potential( ( 3 ) <= (tk(P471)) ) | potential( (tk(P702)) <= (tk(P503)) ) ) & ( potential( ( 3 ) <= (tk(P11)) ) & potential( (tk(P146)) <= (tk(P119)) ) ) ) & (! ( potential( (tk(P515)) <= (tk(P456)) ) | potential( ( 1 ) <= (tk(P460)) ) )) ) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-03 (AG( ( (AF(potential( ( 1 ) <= (tk(P297)) ))) | (! potential( ( 1 ) <= (tk(P19)) )) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-04 (AU( ( (! potential( ( 2 ) <= (tk(P255)) )) | (! potential( (tk(P372)) <= (tk(P93)) )) ),potential( ( 2 ) <= (tk(P662)) ) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-05 (AG( ( potential( ( 1 ) <= (tk(P551)) ) | (AF(potential( ( 3 ) <= (tk(P712)) ))) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-06 (EG( ( (EG( potential( (tk(P571)) <= (tk(P460)) ))) | potential( ( 3 ) <= (tk(P223)) ) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-07 ( (AF(( (! potential( ( 3 ) <= (tk(P538)) )) & potential( ( 1 ) <= (tk(P70)) ) ))) & potential( (tk(P437)) <= (tk(P632)) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-08 ( ( (EF((! potential( (tk(P372)) <= (tk(P368)) )))) & (EF(( potential( ( 3 ) <= (tk(P348)) ) | potential( ( 3 ) <= (tk(P280)) ) ))) ) & ( ( (EG( potential( ( 2 ) <= (tk(P561)) ))) | (EX( potential( (tk(P606)) <= (tk(P536)) ))) ) & ( (! potential( (tk(P278)) <= (tk(P539)) )) | ( (! potential( (tk(P696)) <= (tk(P280)) )) & potential( (tk(P309)) <= (tk(P493)) ) ) ) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-09 (AU( ( (! potential( ( 2 ) <= (tk(P575)) )) | potential( (tk(P247)) <= (tk(P195)) ) ),(AX( potential( ( 1 ) <= (tk(P159)) ))) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-10 (AF((! ( ( potential( (tk(P225)) <= (tk(P571)) ) | potential( ( 2 ) <= (tk(P36)) ) ) | potential( (tk(P473)) <= (tk(P655)) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-11 (AG( (EU( potential( (tk(P47)) <= (tk(P722)) ),potential( ( 3 ) <= (tk(P531)) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-12 ( (! (EG( ( potential( (tk(P62)) <= (tk(P34)) ) & potential( (tk(P624)) <= (tk(P239)) ) )))) | (! potential( (tk(P10)) <= (tk(P657)) )) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-13 ( (EF((AF(potential( (tk(P145)) <= (tk(P124)) ))))) & (EG( (EG( potential( (tk(P553)) <= (tk(P712)) ))))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-14 (AF(potential( ( 1 ) <= (tk(P271)) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLCardinality-15 (EU( (AF(potential( ( 1 ) <= (tk(P589)) ))),( (! potential( (tk(P654)) <= (tk(P139)) )) & ( potential( (tk(P655)) <= (tk(P114)) ) | potential( ( 3 ) <= (tk(P127)) ) ) ) ))

BK_STOP 1590477814642

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 469 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="ViralEpidemic-PT-S08D1C2A02"
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 ViralEpidemic-PT-S08D1C2A02, 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 r224-oct2-159033538900555"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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