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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 CloudReconfiguration-PT-315-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-315-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589095471272

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 315
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758851 HAS SOPS 758851 HAS SOUS 699873 HAS SOUPS 699873 WITH SCORE 700631.851
AT ITER 2 NEW BEST:: SOT 4443059 SOS 758511 HAS SOPS 758511 HAS SOUS 699533 HAS SOUPS 699533 WITH SCORE 700291.511
AT ITER 32 NEW BEST:: SOT 4443059 SOS 758477 HAS SOPS 758477 HAS SOUS 699533 HAS SOUPS 699533 WITH SCORE 700291.477
AT ITER 46 NEW BEST:: SOT 4442915 SOS 758333 HAS SOPS 758333 HAS SOUS 699389 HAS SOUPS 699389 WITH SCORE 700147.333
AT ITER 47 NEW BEST:: SOT 4442856 SOS 758274 HAS SOPS 758274 HAS SOUS 699330 HAS SOUPS 699330 WITH SCORE 700088.274
AT ITER 69 NEW BEST:: SOT 4442689 SOS 757940 HAS SOPS 757940 HAS SOUS 698996 HAS SOUPS 698996 WITH SCORE 699753.94
AT ITER 84 NEW BEST:: SOT 4442653 SOS 757868 HAS SOPS 757868 HAS SOUS 698924 HAS SOUPS 698924 WITH SCORE 699681.868
AT ITER 91 NEW BEST:: SOT 4442530 SOS 757622 HAS SOPS 757622 HAS SOUS 698678 HAS SOUPS 698678 WITH SCORE 699435.622
AT ITER 123 NEW BEST:: SOT 4442365 SOS 757292 HAS SOPS 757292 HAS SOUS 698348 HAS SOUPS 698348 WITH SCORE 699105.292
AT ITER 164 NEW BEST:: SOT 4442074 SOS 756710 HAS SOPS 756710 HAS SOUS 697766 HAS SOUPS 697766 WITH SCORE 698522.71
AT ITER 217 NEW BEST:: SOT 4441895 SOS 756531 HAS SOPS 756531 HAS SOUS 697587 HAS SOUPS 697587 WITH SCORE 698343.531
AT ITER 220 NEW BEST:: SOT 4441895 SOS 756446 HAS SOPS 756446 HAS SOUS 697586 HAS SOUPS 697586 WITH SCORE 698342.446
AT ITER 248 NEW BEST:: SOT 4441894 SOS 756444 HAS SOPS 756444 HAS SOUS 697584 HAS SOUPS 697584 WITH SCORE 698340.444
AT ITER 263 NEW BEST:: SOT 4441797 SOS 756683 HAS SOPS 756683 HAS SOUS 697579 HAS SOUPS 697579 WITH SCORE 698335.683
AT ITER 266 NEW BEST:: SOT 4441347 SOS 756233 HAS SOPS 756233 HAS SOUS 697129 HAS SOUPS 697129 WITH SCORE 697885.233
AT ITER 284 NEW BEST:: SOT 4440794 SOS 755647 HAS SOPS 755647 HAS SOUS 696496 HAS SOUPS 696496 WITH SCORE 697251.647
AT ITER 285 NEW BEST:: SOT 4440505 SOS 755554 HAS SOPS 755554 HAS SOUS 696350 HAS SOUPS 696350 WITH SCORE 697105.554
AT ITER 286 NEW BEST:: SOT 4440505 SOS 725195 HAS SOPS 725195 HAS SOUS 696349 HAS SOUPS 696349 WITH SCORE 697074.195
AT ITER 309 NEW BEST:: SOT 4440363 SOS 725053 HAS SOPS 725053 HAS SOUS 696207 HAS SOUPS 696207 WITH SCORE 696932.053
AT ITER 312 NEW BEST:: SOT 4440381 SOS 725022 HAS SOPS 725022 HAS SOUS 696200 HAS SOUPS 696200 WITH SCORE 696925.022
AT ITER 344 NEW BEST:: SOT 4440357 SOS 725015 HAS SOPS 725015 HAS SOUS 696176 HAS SOUPS 696176 WITH SCORE 696901.015
AT ITER 350 NEW BEST:: SOT 4437996 SOS 753944 HAS SOPS 753944 HAS SOUS 694873 HAS SOUPS 694873 WITH SCORE 695626.944
AT ITER 374 NEW BEST:: SOT 4437817 SOS 754178 HAS SOPS 754178 HAS SOUS 694733 HAS SOUPS 694733 WITH SCORE 695487.178
AT ITER 400 NEW BEST:: SOT 4437816 SOS 754107 HAS SOPS 754107 HAS SOUS 694663 HAS SOUPS 694663 WITH SCORE 695417.107
AT ITER 401 NEW BEST:: SOT 4437612 SOS 753699 HAS SOPS 753699 HAS SOUS 694255 HAS SOUPS 694255 WITH SCORE 695008.699
AT ITER 469 NEW BEST:: SOT 4437472 SOS 753558 HAS SOPS 753558 HAS SOUS 694115 HAS SOUPS 694115 WITH SCORE 694868.558
AT ITER 485 NEW BEST:: SOT 4437052 SOS 753152 HAS SOPS 753152 HAS SOUS 693709 HAS SOUPS 693709 WITH SCORE 694462.152
AT ITER 495 NEW BEST:: SOT 4437052 SOS 753151 HAS SOPS 753151 HAS SOUS 693708 HAS SOUPS 693708 WITH SCORE 694461.151
AT ITER 523 NEW BEST:: SOT 4437032 SOS 753131 HAS SOPS 753131 HAS SOUS 693688 HAS SOUPS 693688 WITH SCORE 694441.131
AT ITER 524 NEW BEST:: SOT 4437032 SOS 753100 HAS SOPS 753100 HAS SOUS 693657 HAS SOUPS 693657 WITH SCORE 694410.1
AT ITER 535 NEW BEST:: SOT 4436867 SOS 752991 HAS SOPS 752991 HAS SOUS 693548 HAS SOUPS 693548 WITH SCORE 694300.991
AT ITER 536 NEW BEST:: SOT 4436819 SOS 752943 HAS SOPS 752943 HAS SOUS 693500 HAS SOUPS 693500 WITH SCORE 694252.943
AT ITER 546 NEW BEST:: SOT 4436666 SOS 752637 HAS SOPS 752637 HAS SOUS 693194 HAS SOUPS 693194 WITH SCORE 693946.637
AT ITER 560 NEW BEST:: SOT 4436524 SOS 752353 HAS SOPS 752353 HAS SOUS 692910 HAS SOUPS 692910 WITH SCORE 693662.353
AT ITER 569 NEW BEST:: SOT 4436500 SOS 752305 HAS SOPS 752305 HAS SOUS 692862 HAS SOUPS 692862 WITH SCORE 693614.305
AT ITER 592 NEW BEST:: SOT 4436232 SOS 752037 HAS SOPS 752037 HAS SOUS 692594 HAS SOUPS 692594 WITH SCORE 693346.037
AT ITER 595 NEW BEST:: SOT 4436036 SOS 751841 HAS SOPS 751841 HAS SOUS 692398 HAS SOUPS 692398 WITH SCORE 693149.841
AT ITER 629 NEW BEST:: SOT 4436014 SOS 751819 HAS SOPS 751819 HAS SOUS 692376 HAS SOUPS 692376 WITH SCORE 693127.819
AT ITER 632 NEW BEST:: SOT 4436014 SOS 751579 HAS SOPS 751579 HAS SOUS 692136 HAS SOUPS 692136 WITH SCORE 692887.579
AT ITER 635 NEW BEST:: SOT 4435677 SOS 751329 HAS SOPS 751329 HAS SOUS 691835 HAS SOUPS 691835 WITH SCORE 692586.329
AT ITER 638 NEW BEST:: SOT 4435530 SOS 751257 HAS SOPS 751257 HAS SOUS 691763 HAS SOUPS 691763 WITH SCORE 692514.257
AT ITER 662 NEW BEST:: SOT 4435188 SOS 750801 HAS SOPS 750801 HAS SOUS 691307 HAS SOUPS 691307 WITH SCORE 692057.801
AT ITER 680 NEW BEST:: SOT 4435188 SOS 750690 HAS SOPS 750690 HAS SOUS 691307 HAS SOUPS 691307 WITH SCORE 692057.69
AT ITER 687 NEW BEST:: SOT 4435035 SOS 750536 HAS SOPS 750536 HAS SOUS 691304 HAS SOUPS 691304 WITH SCORE 692054.536
AT ITER 694 NEW BEST:: SOT 4435035 SOS 750536 HAS SOPS 750536 HAS SOUS 691303 HAS SOUPS 691303 WITH SCORE 692053.536
AT ITER 696 NEW BEST:: SOT 4434750 SOS 749966 HAS SOPS 749966 HAS SOUS 690733 HAS SOUPS 690733 WITH SCORE 691482.966
AT ITER 726 NEW BEST:: SOT 4434750 SOS 749966 HAS SOPS 749966 HAS SOUS 690660 HAS SOUPS 690660 WITH SCORE 691409.966
AT ITER 730 NEW BEST:: SOT 4434578 SOS 749622 HAS SOPS 749622 HAS SOUS 690316 HAS SOUPS 690316 WITH SCORE 691065.622
AT ITER 747 NEW BEST:: SOT 4434461 SOS 749426 HAS SOPS 749426 HAS SOUS 690198 HAS SOUPS 690198 WITH SCORE 690947.426
AT ITER 753 NEW BEST:: SOT 4434461 SOS 749388 HAS SOPS 749388 HAS SOUS 690198 HAS SOUPS 690198 WITH SCORE 690947.388
AT ITER 781 NEW BEST:: SOT 4434311 SOS 749380 HAS SOPS 749380 HAS SOUS 690048 HAS SOUPS 690048 WITH SCORE 690797.38
AT ITER 804 NEW BEST:: SOT 4434141 SOS 749210 HAS SOPS 749210 HAS SOUS 689878 HAS SOUPS 689878 WITH SCORE 690627.21
AT ITER 876 NEW BEST:: SOT 4434183 SOS 749294 HAS SOPS 749294 HAS SOUS 689671 HAS SOUPS 689671 WITH SCORE 690420.294
AT ITER 883 NEW BEST:: SOT 4434128 SOS 749184 HAS SOPS 749184 HAS SOUS 689561 HAS SOUPS 689561 WITH SCORE 690310.184
AT ITER 885 NEW BEST:: SOT 4434070 SOS 749068 HAS SOPS 749068 HAS SOUS 689445 HAS SOUPS 689445 WITH SCORE 690194.068
AT ITER 886 NEW BEST:: SOT 4433865 SOS 748829 HAS SOPS 748829 HAS SOUS 689240 HAS SOUPS 689240 WITH SCORE 689988.829
AT ITER 889 NEW BEST:: SOT 4433837 SOS 748773 HAS SOPS 748773 HAS SOUS 689185 HAS SOUPS 689185 WITH SCORE 689933.773
AT ITER 913 NEW BEST:: SOT 4433803 SOS 748744 HAS SOPS 748744 HAS SOUS 689150 HAS SOUPS 689150 WITH SCORE 689898.744
AT ITER 938 NEW BEST:: SOT 4433618 SOS 748645 HAS SOPS 748645 HAS SOUS 688971 HAS SOUPS 688971 WITH SCORE 689719.645
AT ITER 957 NEW BEST:: SOT 4433618 SOS 748644 HAS SOPS 748644 HAS SOUS 688970 HAS SOUPS 688970 WITH SCORE 689718.644
AT ITER 974 NEW BEST:: SOT 4433418 SOS 748444 HAS SOPS 748444 HAS SOUS 688770 HAS SOUPS 688770 WITH SCORE 689518.444
AT ITER 998 NEW BEST:: SOT 4433022 SOS 748256 HAS SOPS 748256 HAS SOUS 688582 HAS SOUPS 688582 WITH SCORE 689330.256
AT ITER 1003 NEW BEST:: SOT 4432539 SOS 747595 HAS SOPS 747595 HAS SOUS 687826 HAS SOUPS 687826 WITH SCORE 688573.595
AT ITER 1007 NEW BEST:: SOT 4432478 SOS 747604 HAS SOPS 747604 HAS SOUS 687765 HAS SOUPS 687765 WITH SCORE 688512.604
AT ITER 1014 NEW BEST:: SOT 4432380 SOS 747408 HAS SOPS 747408 HAS SOUS 687569 HAS SOUPS 687569 WITH SCORE 688316.408
AT ITER 1017 NEW BEST:: SOT 4432215 SOS 747428 HAS SOPS 747428 HAS SOUS 687544 HAS SOUPS 687544 WITH SCORE 688291.428
AT ITER 1035 NEW BEST:: SOT 4431724 SOS 746908 HAS SOPS 746908 HAS SOUS 686909 HAS SOUPS 686909 WITH SCORE 687655.908
AT ITER 1051 NEW BEST:: SOT 4431724 SOS 746908 HAS SOPS 746908 HAS SOUS 686850 HAS SOUPS 686850 WITH SCORE 687596.908
AT ITER 1056 NEW BEST:: SOT 4431586 SOS 746770 HAS SOPS 746770 HAS SOUS 686683 HAS SOUPS 686683 WITH SCORE 687429.77
AT ITER 1065 NEW BEST:: SOT 4431515 SOS 746824 HAS SOPS 746824 HAS SOUS 686661 HAS SOUPS 686661 WITH SCORE 687407.824
AT ITER 1066 NEW BEST:: SOT 4431515 SOS 746824 HAS SOPS 746824 HAS SOUS 686412 HAS SOUPS 686412 WITH SCORE 687158.824
AT ITER 1072 NEW BEST:: SOT 4431514 SOS 746822 HAS SOPS 746822 HAS SOUS 686410 HAS SOUPS 686410 WITH SCORE 687156.822
AT ITER 1078 NEW BEST:: SOT 4431514 SOS 746763 HAS SOPS 746763 HAS SOUS 686410 HAS SOUPS 686410 WITH SCORE 687156.763
AT ITER 1080 NEW BEST:: SOT 4431514 SOS 746720 HAS SOPS 746720 HAS SOUS 686410 HAS SOUPS 686410 WITH SCORE 687156.72
AT ITER 1115 NEW BEST:: SOT 4431302 SOS 746296 HAS SOPS 746296 HAS SOUS 685986 HAS SOUPS 685986 WITH SCORE 686732.296
AT ITER 1182 NEW BEST:: SOT 4430744 SOS 745768 HAS SOPS 745768 HAS SOUS 685443 HAS SOUPS 685443 WITH SCORE 686188.768
AT ITER 1187 NEW BEST:: SOT 4430591 SOS 745462 HAS SOPS 745462 HAS SOUS 685026 HAS SOUPS 685026 WITH SCORE 685771.462
AT ITER 1191 NEW BEST:: SOT 4430758 SOS 745796 HAS SOPS 745796 HAS SOUS 685014 HAS SOUPS 685014 WITH SCORE 685759.796
AT ITER 1199 NEW BEST:: SOT 4430758 SOS 745567 HAS SOPS 745567 HAS SOUS 685014 HAS SOUPS 685014 WITH SCORE 685759.567
AT ITER 1212 NEW BEST:: SOT 4430394 SOS 745541 HAS SOPS 745541 HAS SOUS 684719 HAS SOUPS 684719 WITH SCORE 685464.541
AT ITER 1219 NEW BEST:: SOT 4430394 SOS 745371 HAS SOPS 745371 HAS SOUS 684549 HAS SOUPS 684549 WITH SCORE 685294.371
AT ITER 1227 NEW BEST:: SOT 4430255 SOS 745171 HAS SOPS 745171 HAS SOUS 684343 HAS SOUPS 684343 WITH SCORE 685088.171
AT ITER 1236 NEW BEST:: SOT 4428634 SOS 744575 HAS SOPS 744575 HAS SOUS 683072 HAS SOUPS 683072 WITH SCORE 683816.575
AT ITER 1249 NEW BEST:: SOT 4428622 SOS 744551 HAS SOPS 744551 HAS SOUS 683059 HAS SOUPS 683059 WITH SCORE 683803.551
AT ITER 1253 NEW BEST:: SOT 4428487 SOS 744561 HAS SOPS 744561 HAS SOUS 683001 HAS SOUPS 683001 WITH SCORE 683745.561
AT ITER 1271 NEW BEST:: SOT 4428487 SOS 744561 HAS SOPS 744561 HAS SOUS 682890 HAS SOUPS 682890 WITH SCORE 683634.561
AT ITER 1275 NEW BEST:: SOT 4428475 SOS 744553 HAS SOPS 744553 HAS SOUS 682882 HAS SOUPS 682882 WITH SCORE 683626.553
AT ITER 1285 NEW BEST:: SOT 4428290 SOS 744307 HAS SOPS 744307 HAS SOUS 682697 HAS SOUPS 682697 WITH SCORE 683441.307
AT ITER 1291 NEW BEST:: SOT 4427711 SOS 743549 HAS SOPS 743549 HAS SOUS 681928 HAS SOUPS 681928 WITH SCORE 682671.549
AT ITER 1310 NEW BEST:: SOT 4427583 SOS 743421 HAS SOPS 743421 HAS SOUS 681800 HAS SOUPS 681800 WITH SCORE 682543.421
AT ITER 1316 NEW BEST:: SOT 4427375 SOS 743213 HAS SOPS 743213 HAS SOUS 681384 HAS SOUPS 681384 WITH SCORE 682127.213
AT ITER 1329 NEW BEST:: SOT 4427134 SOS 742731 HAS SOPS 742731 HAS SOUS 681213 HAS SOUPS 681213 WITH SCORE 681955.731
AT ITER 1336 NEW BEST:: SOT 4427203 SOS 742869 HAS SOPS 742869 HAS SOUS 681034 HAS SOUPS 681034 WITH SCORE 681776.869
AT ITER 1352 NEW BEST:: SOT 4426701 SOS 742367 HAS SOPS 742367 HAS SOUS 680530 HAS SOUPS 680530 WITH SCORE 681272.367
AT ITER 1361 NEW BEST:: SOT 4426689 SOS 742343 HAS SOPS 742343 HAS SOUS 680518 HAS SOUPS 680518 WITH SCORE 681260.343
AT ITER 1371 NEW BEST:: SOT 4426689 SOS 742343 HAS SOPS 742343 HAS SOUS 680425 HAS SOUPS 680425 WITH SCORE 681167.343
AT ITER 1386 NEW BEST:: SOT 4426707 SOS 742106 HAS SOPS 742106 HAS SOUS 680252 HAS SOUPS 680252 WITH SCORE 680994.106
AT ITER 1387 NEW BEST:: SOT 4426617 SOS 742016 HAS SOPS 742016 HAS SOUS 680162 HAS SOUPS 680162 WITH SCORE 680904.016
AT ITER 1395 NEW BEST:: SOT 4426856 SOS 741836 HAS SOPS 741836 HAS SOUS 679982 HAS SOUPS 679982 WITH SCORE 680723.836
AT ITER 1414 NEW BEST:: SOT 4426903 SOS 741730 HAS SOPS 741730 HAS SOUS 679929 HAS SOUPS 679929 WITH SCORE 680670.73
AT ITER 1474 NEW BEST:: SOT 4426893 SOS 741710 HAS SOPS 741710 HAS SOUS 679909 HAS SOUPS 679909 WITH SCORE 680650.71
AT ITER 1477 NEW BEST:: SOT 4426893 SOS 741693 HAS SOPS 741693 HAS SOUS 679908 HAS SOUPS 679908 WITH SCORE 680649.693
AT ITER 1478 NEW BEST:: SOT 4427263 SOS 741313 HAS SOPS 741313 HAS SOUS 679718 HAS SOUPS 679718 WITH SCORE 680459.313
AT ITER 1519 NEW BEST:: SOT 4427113 SOS 741013 HAS SOPS 741013 HAS SOUS 679418 HAS SOUPS 679418 WITH SCORE 680159.013
AT ITER 1531 NEW BEST:: SOT 4424814 SOS 738720 HAS SOPS 738720 HAS SOUS 677119 HAS SOUPS 677119 WITH SCORE 677857.72
AT ITER 1543 NEW BEST:: SOT 4424814 SOS 738708 HAS SOPS 738708 HAS SOUS 677119 HAS SOUPS 677119 WITH SCORE 677857.708
AT ITER 1552 NEW BEST:: SOT 4424789 SOS 738168 HAS SOPS 738168 HAS SOUS 676786 HAS SOUPS 676786 WITH SCORE 677524.168
AT ITER 1555 NEW BEST:: SOT 4423541 SOS 771547 HAS SOPS 771547 HAS SOUS 676698 HAS SOUPS 676698 WITH SCORE 677469.547
AT ITER 1558 NEW BEST:: SOT 4418985 SOS 820059 HAS SOPS 820059 HAS SOUS 674537 HAS SOUPS 674537 WITH SCORE 675357.059
AT ITER 1564 NEW BEST:: SOT 4418985 SOS 819974 HAS SOPS 819974 HAS SOUS 674537 HAS SOUPS 674537 WITH SCORE 675356.974
AT ITER 1566 NEW BEST:: SOT 4418821 SOS 819728 HAS SOPS 819728 HAS SOUS 674291 HAS SOUPS 674291 WITH SCORE 675110.728
AT ITER 1571 NEW BEST:: SOT 4418667 SOS 819754 HAS SOPS 819754 HAS SOUS 674197 HAS SOUPS 674197 WITH SCORE 675016.754
AT ITER 1574 NEW BEST:: SOT 4418547 SOS 819514 HAS SOPS 819514 HAS SOUS 673957 HAS SOUPS 673957 WITH SCORE 674776.514
AT ITER 1575 NEW BEST:: SOT 4418547 SOS 819510 HAS SOPS 819510 HAS SOUS 673956 HAS SOUPS 673956 WITH SCORE 674775.51
AT ITER 1591 NEW BEST:: SOT 4418539 SOS 819494 HAS SOPS 819494 HAS SOUS 673940 HAS SOUPS 673940 WITH SCORE 674759.494
AT ITER 1614 NEW BEST:: SOT 4418453 SOS 819408 HAS SOPS 819408 HAS SOUS 673854 HAS SOUPS 673854 WITH SCORE 674673.408
AT ITER 1623 NEW BEST:: SOT 4418400 SOS 819302 HAS SOPS 819302 HAS SOUS 673748 HAS SOUPS 673748 WITH SCORE 674567.302
AT ITER 1632 NEW BEST:: SOT 4418170 SOS 818111 HAS SOPS 818111 HAS SOUS 673041 HAS SOUPS 673041 WITH SCORE 673859.111
AT ITER 1636 NEW BEST:: SOT 4418164 SOS 818098 HAS SOPS 818098 HAS SOUS 673028 HAS SOUPS 673028 WITH SCORE 673846.098
AT ITER 1656 NEW BEST:: SOT 4418164 SOS 818033 HAS SOPS 818033 HAS SOUS 673027 HAS SOUPS 673027 WITH SCORE 673845.033
AT ITER 1664 NEW BEST:: SOT 4418072 SOS 817979 HAS SOPS 817979 HAS SOUS 672935 HAS SOUPS 672935 WITH SCORE 673752.979
AT ITER 1709 NEW BEST:: SOT 4418056 SOS 817964 HAS SOPS 817964 HAS SOUS 672919 HAS SOUPS 672919 WITH SCORE 673736.964
AT ITER 1731 NEW BEST:: SOT 4418056 SOS 817716 HAS SOPS 817716 HAS SOUS 672671 HAS SOUPS 672671 WITH SCORE 673488.716
AT ITER 1739 NEW BEST:: SOT 4417842 SOS 817502 HAS SOPS 817502 HAS SOUS 672457 HAS SOUPS 672457 WITH SCORE 673274.502
AT ITER 1777 NEW BEST:: SOT 4417276 SOS 816653 HAS SOPS 816653 HAS SOUS 671608 HAS SOUPS 671608 WITH SCORE 672424.653
AT ITER 1778 NEW BEST:: SOT 4417111 SOS 816488 HAS SOPS 816488 HAS SOUS 671443 HAS SOUPS 671443 WITH SCORE 672259.488
AT ITER 1782 NEW BEST:: SOT 4417097 SOS 816420 HAS SOPS 816420 HAS SOUS 671415 HAS SOUPS 671415 WITH SCORE 672231.42
AT ITER 1800 NEW BEST:: SOT 4417097 SOS 816420 HAS SOPS 816420 HAS SOUS 671414 HAS SOUPS 671414 WITH SCORE 672230.42
AT ITER 1805 NEW BEST:: SOT 4416086 SOS 815688 HAS SOPS 815688 HAS SOUS 670452 HAS SOUPS 670452 WITH SCORE 671267.688
AT ITER 1839 NEW BEST:: SOT 4415937 SOS 815539 HAS SOPS 815539 HAS SOUS 670303 HAS SOUPS 670303 WITH SCORE 671118.539
AT ITER 1847 NEW BEST:: SOT 4415874 SOS 814237 HAS SOPS 814237 HAS SOUS 670162 HAS SOUPS 670162 WITH SCORE 670976.237
AT ITER 1848 NEW BEST:: SOT 4415863 SOS 814215 HAS SOPS 814215 HAS SOUS 670140 HAS SOUPS 670140 WITH SCORE 670954.215
AT ITER 1862 NEW BEST:: SOT 4415747 SOS 814098 HAS SOPS 814098 HAS SOUS 670139 HAS SOUPS 670139 WITH SCORE 670953.098
AT ITER 1867 NEW BEST:: SOT 4415747 SOS 814098 HAS SOPS 814098 HAS SOUS 669904 HAS SOUPS 669904 WITH SCORE 670718.098
AT ITER 1875 NEW BEST:: SOT 4415633 SOS 813984 HAS SOPS 813984 HAS SOUS 669790 HAS SOUPS 669790 WITH SCORE 670603.984
AT ITER 1908 NEW BEST:: SOT 4415035 SOS 816883 HAS SOPS 816883 HAS SOUS 669662 HAS SOUPS 669662 WITH SCORE 670478.883
AT ITER 1916 NEW BEST:: SOT 4415195 SOS 816836 HAS SOPS 816836 HAS SOUS 669615 HAS SOUPS 669615 WITH SCORE 670431.836
AT ITER 1961 NEW BEST:: SOT 4415106 SOS 816658 HAS SOPS 816658 HAS SOUS 669437 HAS SOUPS 669437 WITH SCORE 670253.658
AT ITER 1976 NEW BEST:: SOT 4414948 SOS 816342 HAS SOPS 816342 HAS SOUS 669121 HAS SOUPS 669121 WITH SCORE 669937.342
AT ITER 2007 NEW BEST:: SOT 4414947 SOS 816310 HAS SOPS 816310 HAS SOUS 669119 HAS SOUPS 669119 WITH SCORE 669935.31
AT ITER 2031 NEW BEST:: SOT 4414830 SOS 816076 HAS SOPS 816076 HAS SOUS 669002 HAS SOUPS 669002 WITH SCORE 669818.076
AT ITER 2033 NEW BEST:: SOT 4414822 SOS 816060 HAS SOPS 816060 HAS SOUS 668860 HAS SOUPS 668860 WITH SCORE 669676.06
AT ITER 2038 NEW BEST:: SOT 4414799 SOS 816014 HAS SOPS 816014 HAS SOUS 668814 HAS SOUPS 668814 WITH SCORE 669630.014
AT ITER 2061 NEW BEST:: SOT 4414799 SOS 815761 HAS SOPS 815761 HAS SOUS 668560 HAS SOUPS 668560 WITH SCORE 669375.761
AT ITER 2101 NEW BEST:: SOT 4414849 SOS 815525 HAS SOPS 815525 HAS SOUS 668389 HAS SOUPS 668389 WITH SCORE 669204.525
AT ITER 2102 NEW BEST:: SOT 4414548 SOS 815491 HAS SOPS 815491 HAS SOUS 668224 HAS SOUPS 668224 WITH SCORE 669039.491
AT ITER 2132 NEW BEST:: SOT 4414344 SOS 815573 HAS SOPS 815573 HAS SOUS 667948 HAS SOUPS 667948 WITH SCORE 668763.573
AT ITER 2157 NEW BEST:: SOT 4414207 SOS 815299 HAS SOPS 815299 HAS SOUS 667674 HAS SOUPS 667674 WITH SCORE 668489.299
AT ITER 2163 NEW BEST:: SOT 4414197 SOS 815279 HAS SOPS 815279 HAS SOUS 667654 HAS SOUPS 667654 WITH SCORE 668469.279
AT ITER 2165 NEW BEST:: SOT 4414116 SOS 815117 HAS SOPS 815117 HAS SOUS 667543 HAS SOUPS 667543 WITH SCORE 668358.117
AT ITER 2189 NEW BEST:: SOT 4414282 SOS 815029 HAS SOPS 815029 HAS SOUS 667483 HAS SOUPS 667483 WITH SCORE 668298.029
AT ITER 2200 NEW BEST:: SOT 4414194 SOS 814853 HAS SOPS 814853 HAS SOUS 667307 HAS SOUPS 667307 WITH SCORE 668121.853
AT ITER 2201 NEW BEST:: SOT 4413964 SOS 814623 HAS SOPS 814623 HAS SOUS 667077 HAS SOUPS 667077 WITH SCORE 667891.623
AT ITER 2214 NEW BEST:: SOT 4413955 SOS 814614 HAS SOPS 814614 HAS SOUS 667068 HAS SOUPS 667068 WITH SCORE 667882.614
AT ITER 2267 NEW BEST:: SOT 4413795 SOS 814485 HAS SOPS 814485 HAS SOUS 666923 HAS SOUPS 666923 WITH SCORE 667737.485
AT ITER 2275 NEW BEST:: SOT 4413539 SOS 808725 HAS SOPS 808725 HAS SOUS 666539 HAS SOUPS 666539 WITH SCORE 667347.725
AT ITER 2302 NEW BEST:: SOT 4412286 SOS 813569 HAS SOPS 813569 HAS SOUS 666331 HAS SOUPS 666331 WITH SCORE 667144.569
AT ITER 2315 NEW BEST:: SOT 4412264 SOS 813525 HAS SOPS 813525 HAS SOUS 666309 HAS SOUPS 666309 WITH SCORE 667122.525
AT ITER 2323 NEW BEST:: SOT 4412243 SOS 813483 HAS SOPS 813483 HAS SOUS 666209 HAS SOUPS 666209 WITH SCORE 667022.483
AT ITER 2324 NEW BEST:: SOT 4412243 SOS 810923 HAS SOPS 810923 HAS SOUS 666209 HAS SOUPS 666209 WITH SCORE 667019.923
AT ITER 2335 NEW BEST:: SOT 4412073 SOS 810753 HAS SOPS 810753 HAS SOUS 666039 HAS SOUPS 666039 WITH SCORE 666849.753
AT ITER 2356 NEW BEST:: SOT 4412073 SOS 810753 HAS SOPS 810753 HAS SOUS 666026 HAS SOUPS 666026 WITH SCORE 666836.753
AT ITER 2376 NEW BEST:: SOT 4412102 SOS 810811 HAS SOPS 810811 HAS SOUS 666006 HAS SOUPS 666006 WITH SCORE 666816.811
AT ITER 2440 NEW BEST:: SOT 4412102 SOS 810811 HAS SOPS 810811 HAS SOUS 665897 HAS SOUPS 665897 WITH SCORE 666707.811
AT ITER 2443 NEW BEST:: SOT 4412102 SOS 810729 HAS SOPS 810729 HAS SOUS 665897 HAS SOUPS 665897 WITH SCORE 666707.729
AT ITER 2453 NEW BEST:: SOT 4411973 SOS 810683 HAS SOPS 810683 HAS SOUS 665768 HAS SOUPS 665768 WITH SCORE 666578.683
AT ITER 2465 NEW BEST:: SOT 4411973 SOS 810683 HAS SOPS 810683 HAS SOUS 665703 HAS SOUPS 665703 WITH SCORE 666513.683
AT ITER 2472 NEW BEST:: SOT 4411972 SOS 810681 HAS SOPS 810681 HAS SOUS 665701 HAS SOUPS 665701 WITH SCORE 666511.681
AT ITER 2473 NEW BEST:: SOT 4411613 SOS 810142 HAS SOPS 810142 HAS SOUS 665341 HAS SOUPS 665341 WITH SCORE 666151.142
AT ITER 2508 NEW BEST:: SOT 4411281 SOS 809644 HAS SOPS 809644 HAS SOUS 665009 HAS SOUPS 665009 WITH SCORE 665818.644
AT ITER 2530 NEW BEST:: SOT 4411216 SOS 809514 HAS SOPS 809514 HAS SOUS 664879 HAS SOUPS 664879 WITH SCORE 665688.514
AT ITER 2541 NEW BEST:: SOT 4411159 SOS 809516 HAS SOPS 809516 HAS SOUS 664822 HAS SOUPS 664822 WITH SCORE 665631.516
AT ITER 2569 NEW BEST:: SOT 4404461 SOS 873148 HAS SOPS 873148 HAS SOUS 661513 HAS SOUPS 661513 WITH SCORE 662386.148
AT ITER 2577 NEW BEST:: SOT 4404521 SOS 873268 HAS SOPS 873268 HAS SOUS 661334 HAS SOUPS 661334 WITH SCORE 662207.268
AT ITER 2586 NEW BEST:: SOT 4404085 SOS 872972 HAS SOPS 872972 HAS SOUS 660978 HAS SOUPS 660978 WITH SCORE 661850.972
AT ITER 2607 NEW BEST:: SOT 4404085 SOS 872827 HAS SOPS 872827 HAS SOUS 660977 HAS SOUPS 660977 WITH SCORE 661849.827
AT ITER 2608 NEW BEST:: SOT 4404084 SOS 872825 HAS SOPS 872825 HAS SOUS 660975 HAS SOUPS 660975 WITH SCORE 661847.825
AT ITER 2618 NEW BEST:: SOT 4403928 SOS 872825 HAS SOPS 872825 HAS SOUS 660897 HAS SOUPS 660897 WITH SCORE 661769.825
AT ITER 2636 NEW BEST:: SOT 4403928 SOS 872825 HAS SOPS 872825 HAS SOUS 660740 HAS SOUPS 660740 WITH SCORE 661612.825
AT ITER 2654 NEW BEST:: SOT 4403863 SOS 872825 HAS SOPS 872825 HAS SOUS 660675 HAS SOUPS 660675 WITH SCORE 661547.825
AT ITER 2675 NEW BEST:: SOT 4403696 SOS 872491 HAS SOPS 872491 HAS SOUS 660341 HAS SOUPS 660341 WITH SCORE 661213.491
AT ITER 2696 NEW BEST:: SOT 4403589 SOS 872277 HAS SOPS 872277 HAS SOUS 660234 HAS SOUPS 660234 WITH SCORE 661106.277
AT ITER 2705 NEW BEST:: SOT 4403589 SOS 872211 HAS SOPS 872211 HAS SOUS 660234 HAS SOUPS 660234 WITH SCORE 661106.211
AT ITER 2714 NEW BEST:: SOT 4403407 SOS 871847 HAS SOPS 871847 HAS SOUS 659870 HAS SOUPS 659870 WITH SCORE 660741.847
AT ITER 2730 NEW BEST:: SOT 4403354 SOS 871360 HAS SOPS 871360 HAS SOUS 659522 HAS SOUPS 659522 WITH SCORE 660393.36
AT ITER 2734 NEW BEST:: SOT 4403148 SOS 871154 HAS SOPS 871154 HAS SOUS 659522 HAS SOUPS 659522 WITH SCORE 660393.154
AT ITER 2738 NEW BEST:: SOT 4403100 SOS 871058 HAS SOPS 871058 HAS SOUS 659426 HAS SOUPS 659426 WITH SCORE 660297.058
AT ITER 2749 NEW BEST:: SOT 4403087 SOS 871032 HAS SOPS 871032 HAS SOUS 659400 HAS SOUPS 659400 WITH SCORE 660271.032
AT ITER 2758 NEW BEST:: SOT 4399365 SOS 929096 HAS SOPS 929096 HAS SOUS 656487 HAS SOUPS 656487 WITH SCORE 657416.096
AT ITER 2767 NEW BEST:: SOT 4398069 SOS 928016 HAS SOPS 928016 HAS SOUS 655407 HAS SOUPS 655407 WITH SCORE 656335.016
AT ITER 2863 NEW BEST:: SOT 4398206 SOS 927824 HAS SOPS 927824 HAS SOUS 655357 HAS SOUPS 655357 WITH SCORE 656284.824
AT ITER 2865 NEW BEST:: SOT 4397966 SOS 927584 HAS SOPS 927584 HAS SOUS 655009 HAS SOUPS 655009 WITH SCORE 655936.584
AT ITER 2886 NEW BEST:: SOT 4397966 SOS 927538 HAS SOPS 927538 HAS SOUS 655009 HAS SOUPS 655009 WITH SCORE 655936.538
AT ITER 2893 NEW BEST:: SOT 4397830 SOS 927266 HAS SOPS 927266 HAS SOUS 654736 HAS SOUPS 654736 WITH SCORE 655663.266
AT ITER 2926 NEW BEST:: SOT 4397830 SOS 927058 HAS SOPS 927058 HAS SOUS 654736 HAS SOUPS 654736 WITH SCORE 655663.058
AT ITER 2936 NEW BEST:: SOT 4397390 SOS 926178 HAS SOPS 926178 HAS SOUS 654541 HAS SOUPS 654541 WITH SCORE 655467.178
AT ITER 2945 NEW BEST:: SOT 4397390 SOS 926057 HAS SOPS 926057 HAS SOUS 654541 HAS SOUPS 654541 WITH SCORE 655467.057
AT ITER 2953 NEW BEST:: SOT 4397044 SOS 925365 HAS SOPS 925365 HAS SOUS 654321 HAS SOUPS 654321 WITH SCORE 655246.365
AT ITER 2958 NEW BEST:: SOT 4396301 SOS 927106 HAS SOPS 927106 HAS SOUS 654262 HAS SOUPS 654262 WITH SCORE 655189.106
AT ITER 2960 NEW BEST:: SOT 4396057 SOS 926914 HAS SOPS 926914 HAS SOUS 653822 HAS SOUPS 653822 WITH SCORE 654748.914
AT ITER 2961 NEW BEST:: SOT 4396057 SOS 926914 HAS SOPS 926914 HAS SOUS 653821 HAS SOUPS 653821 WITH SCORE 654747.914
AT ITER 2974 NEW BEST:: SOT 4396020 SOS 926877 HAS SOPS 926877 HAS SOUS 653820 HAS SOUPS 653820 WITH SCORE 654746.877
AT ITER 2983 NEW BEST:: SOT 4396006 SOS 926849 HAS SOPS 926849 HAS SOUS 653792 HAS SOUPS 653792 WITH SCORE 654718.849
AT ITER 2988 NEW BEST:: SOT 4395961 SOS 926759 HAS SOPS 926759 HAS SOUS 653702 HAS SOUPS 653702 WITH SCORE 654628.759
AT ITER 2993 NEW BEST:: SOT 4395786 SOS 926409 HAS SOPS 926409 HAS SOUS 653527 HAS SOUPS 653527 WITH SCORE 654453.409
AT ITER 3002 NEW BEST:: SOT 4395898 SOS 926121 HAS SOPS 926121 HAS SOUS 653239 HAS SOUPS 653239 WITH SCORE 654165.121
AT ITER 3010 NEW BEST:: SOT 4395848 SOS 926021 HAS SOPS 926021 HAS SOUS 653139 HAS SOUPS 653139 WITH SCORE 654065.021
AT ITER 3029 NEW BEST:: SOT 4395509 SOS 925343 HAS SOPS 925343 HAS SOUS 652800 HAS SOUPS 652800 WITH SCORE 653725.343
AT ITER 3036 NEW BEST:: SOT 4395509 SOS 924361 HAS SOPS 924361 HAS SOUS 652309 HAS SOUPS 652309 WITH SCORE 653233.361
AT ITER 3037 NEW BEST:: SOT 4395348 SOS 924273 HAS SOPS 924273 HAS SOUS 652118 HAS SOUPS 652118 WITH SCORE 653042.273
AT ITER 3059 NEW BEST:: SOT 4395164 SOS 924089 HAS SOPS 924089 HAS SOUS 651934 HAS SOUPS 651934 WITH SCORE 652858.089
AT ITER 3064 NEW BEST:: SOT 4395161 SOS 924083 HAS SOPS 924083 HAS SOUS 651930 HAS SOUPS 651930 WITH SCORE 652854.083
AT ITER 3065 NEW BEST:: SOT 4394997 SOS 924026 HAS SOPS 924026 HAS SOUS 651849 HAS SOUPS 651849 WITH SCORE 652773.026
AT ITER 3069 NEW BEST:: SOT 4394970 SOS 923608 HAS SOPS 923608 HAS SOUS 651625 HAS SOUPS 651625 WITH SCORE 652548.608
AT ITER 3106 NEW BEST:: SOT 4394881 SOS 923006 HAS SOPS 923006 HAS SOUS 651222 HAS SOUPS 651222 WITH SCORE 652145.006
AT ITER 3118 NEW BEST:: SOT 4394781 SOS 922621 HAS SOPS 922621 HAS SOUS 651022 HAS SOUPS 651022 WITH SCORE 651944.621
AT ITER 3123 NEW BEST:: SOT 4394658 SOS 922863 HAS SOPS 922863 HAS SOUS 650960 HAS SOUPS 650960 WITH SCORE 651882.863
AT ITER 3130 NEW BEST:: SOT 4394443 SOS 922433 HAS SOPS 922433 HAS SOUS 650314 HAS SOUPS 650314 WITH SCORE 651236.433
AT ITER 3138 NEW BEST:: SOT 4394431 SOS 922409 HAS SOPS 922409 HAS SOUS 650290 HAS SOUPS 650290 WITH SCORE 651212.409
AT ITER 3148 NEW BEST:: SOT 4394239 SOS 922025 HAS SOPS 922025 HAS SOUS 649906 HAS SOUPS 649906 WITH SCORE 650828.025
AT ITER 3152 NEW BEST:: SOT 4394206 SOS 921959 HAS SOPS 921959 HAS SOUS 649861 HAS SOUPS 649861 WITH SCORE 650782.959
AT ITER 3163 NEW BEST:: SOT 4393897 SOS 921341 HAS SOPS 921341 HAS SOUS 649250 HAS SOUPS 649250 WITH SCORE 650171.341
AT ITER 3164 NEW BEST:: SOT 4393673 SOS 921230 HAS SOPS 921230 HAS SOUS 649113 HAS SOUPS 649113 WITH SCORE 650034.23
AT ITER 3190 NEW BEST:: SOT 4393669 SOS 921226 HAS SOPS 921226 HAS SOUS 649109 HAS SOUPS 649109 WITH SCORE 650030.226
AT ITER 3202 NEW BEST:: SOT 4393669 SOS 920933 HAS SOPS 920933 HAS SOUS 649109 HAS SOUPS 649109 WITH SCORE 650029.933
AT ITER 3204 NEW BEST:: SOT 4393465 SOS 920729 HAS SOPS 920729 HAS SOUS 648905 HAS SOUPS 648905 WITH SCORE 649825.729
AT ITER 3212 NEW BEST:: SOT 4393465 SOS 920229 HAS SOPS 920229 HAS SOUS 648905 HAS SOUPS 648905 WITH SCORE 649825.229
AT ITER 3226 NEW BEST:: SOT 4393394 SOS 920087 HAS SOPS 920087 HAS SOUS 648763 HAS SOUPS 648763 WITH SCORE 649683.087
AT ITER 3228 NEW BEST:: SOT 4393367 SOS 920060 HAS SOPS 920060 HAS SOUS 648736 HAS SOUPS 648736 WITH SCORE 649656.06
AT ITER 3251 NEW BEST:: SOT 4393474 SOS 920274 HAS SOPS 920274 HAS SOUS 648351 HAS SOUPS 648351 WITH SCORE 649271.274
AT ITER 3263 NEW BEST:: SOT 4393562 SOS 920450 HAS SOPS 920450 HAS SOUS 648213 HAS SOUPS 648213 WITH SCORE 649133.45
AT ITER 3281 NEW BEST:: SOT 4393580 SOS 920486 HAS SOPS 920486 HAS SOUS 648179 HAS SOUPS 648179 WITH SCORE 649099.486
AT ITER 3288 NEW BEST:: SOT 4393580 SOS 920400 HAS SOPS 920400 HAS SOUS 648145 HAS SOUPS 648145 WITH SCORE 649065.4
AT ITER 3307 NEW BEST:: SOT 4393499 SOS 920238 HAS SOPS 920238 HAS SOUS 647983 HAS SOUPS 647983 WITH SCORE 648903.238
AT ITER 3308 NEW BEST:: SOT 4393444 SOS 917685 HAS SOPS 917685 HAS SOUS 647579 HAS SOUPS 647579 WITH SCORE 648496.685
AT ITER 3311 NEW BEST:: SOT 4393708 SOS 917819 HAS SOPS 917819 HAS SOUS 647449 HAS SOUPS 647449 WITH SCORE 648366.819
AT ITER 3363 NEW BEST:: SOT 4393480 SOS 917363 HAS SOPS 917363 HAS SOUS 646993 HAS SOUPS 646993 WITH SCORE 647910.363
AT ITER 3369 NEW BEST:: SOT 4393468 SOS 917351 HAS SOPS 917351 HAS SOUS 646968 HAS SOUPS 646968 WITH SCORE 647885.351
AT ITER 3388 NEW BEST:: SOT 4392636 SOS 917852 HAS SOPS 917852 HAS SOUS 646605 HAS SOUPS 646605 WITH SCORE 647522.852
AT ITER 3421 NEW BEST:: SOT 4392319 SOS 916901 HAS SOPS 916901 HAS SOUS 646287 HAS SOUPS 646287 WITH SCORE 647203.901
AT ITER 3439 NEW BEST:: SOT 4392187 SOS 916414 HAS SOPS 916414 HAS SOUS 645932 HAS SOUPS 645932 WITH SCORE 646848.414
AT ITER 3456 NEW BEST:: SOT 4392091 SOS 916497 HAS SOPS 916497 HAS SOUS 645930 HAS SOUPS 645930 WITH SCORE 646846.497
AT ITER 3460 NEW BEST:: SOT 4392131 SOS 916351 HAS SOPS 916351 HAS SOUS 645784 HAS SOUPS 645784 WITH SCORE 646700.351
AT ITER 3485 NEW BEST:: SOT 4392081 SOS 916251 HAS SOPS 916251 HAS SOUS 645734 HAS SOUPS 645734 WITH SCORE 646650.251
AT ITER 3505 NEW BEST:: SOT 4391939 SOS 915759 HAS SOPS 915759 HAS SOUS 645384 HAS SOUPS 645384 WITH SCORE 646299.759
AT ITER 3529 NEW BEST:: SOT 4391939 SOS 915674 HAS SOPS 915674 HAS SOUS 645299 HAS SOUPS 645299 WITH SCORE 646214.674
AT ITER 3534 NEW BEST:: SOT 4391939 SOS 915674 HAS SOPS 915674 HAS SOUS 645269 HAS SOUPS 645269 WITH SCORE 646184.674
AT ITER 3546 NEW BEST:: SOT 4391819 SOS 915434 HAS SOPS 915434 HAS SOUS 645029 HAS SOUPS 645029 WITH SCORE 645944.434
AT ITER 3549 NEW BEST:: SOT 4391667 SOS 914857 HAS SOPS 914857 HAS SOUS 644832 HAS SOUPS 644832 WITH SCORE 645746.857
AT ITER 3571 NEW BEST:: SOT 4391500 SOS 914523 HAS SOPS 914523 HAS SOUS 644665 HAS SOUPS 644665 WITH SCORE 645579.523
AT ITER 3584 NEW BEST:: SOT 4391472 SOS 914495 HAS SOPS 914495 HAS SOUS 644636 HAS SOUPS 644636 WITH SCORE 645550.495
AT ITER 3605 NEW BEST:: SOT 4391338 SOS 914361 HAS SOPS 914361 HAS SOUS 644502 HAS SOUPS 644502 WITH SCORE 645416.361
AT ITER 3648 NEW BEST:: SOT 4391338 SOS 914161 HAS SOPS 914161 HAS SOUS 644502 HAS SOUPS 644502 WITH SCORE 645416.161
AT ITER 3672 NEW BEST:: SOT 4391337 SOS 914159 HAS SOPS 914159 HAS SOUS 644500 HAS SOUPS 644500 WITH SCORE 645414.159
AT ITER 3675 NEW BEST:: SOT 4391106 SOS 899335 HAS SOPS 899335 HAS SOUS 644102 HAS SOUPS 644102 WITH SCORE 645001.335
AT ITER 3677 NEW BEST:: SOT 4390536 SOS 898195 HAS SOPS 898195 HAS SOUS 642962 HAS SOUPS 642962 WITH SCORE 643860.195
AT ITER 3707 NEW BEST:: SOT 4390480 SOS 897977 HAS SOPS 897977 HAS SOUS 642800 HAS SOUPS 642800 WITH SCORE 643697.977
AT ITER 3722 NEW BEST:: SOT 4390468 SOS 897953 HAS SOPS 897953 HAS SOUS 642776 HAS SOUPS 642776 WITH SCORE 643673.953
AT ITER 3728 NEW BEST:: SOT 4390468 SOS 897730 HAS SOPS 897730 HAS SOUS 642776 HAS SOUPS 642776 WITH SCORE 643673.73
AT ITER 3738 NEW BEST:: SOT 4390359 SOS 897513 HAS SOPS 897513 HAS SOUS 642666 HAS SOUPS 642666 WITH SCORE 643563.513
AT ITER 3763 NEW BEST:: SOT 4390147 SOS 897429 HAS SOPS 897429 HAS SOUS 642520 HAS SOUPS 642520 WITH SCORE 643417.429
AT ITER 3764 NEW BEST:: SOT 4389943 SOS 897429 HAS SOPS 897429 HAS SOUS 642418 HAS SOUPS 642418 WITH SCORE 643315.429
AT ITER 3777 NEW BEST:: SOT 4389760 SOS 897063 HAS SOPS 897063 HAS SOUS 642052 HAS SOUPS 642052 WITH SCORE 642949.063
AT ITER 3780 NEW BEST:: SOT 4389731 SOS 897005 HAS SOPS 897005 HAS SOUS 641994 HAS SOUPS 641994 WITH SCORE 642891.005
AT ITER 3811 NEW BEST:: SOT 4389842 SOS 896979 HAS SOPS 896979 HAS SOUS 641857 HAS SOUPS 641857 WITH SCORE 642753.979
AT ITER 3814 NEW BEST:: SOT 4389842 SOS 896878 HAS SOPS 896878 HAS SOUS 641756 HAS SOUPS 641756 WITH SCORE 642652.878
AT ITER 3930 NEW BEST:: SOT 4389162 SOS 896368 HAS SOPS 896368 HAS SOUS 641246 HAS SOUPS 641246 WITH SCORE 642142.368
AT ITER 3943 NEW BEST:: SOT 4389099 SOS 896242 HAS SOPS 896242 HAS SOUS 641120 HAS SOUPS 641120 WITH SCORE 642016.242
AT ITER 3960 NEW BEST:: SOT 4388742 SOS 896340 HAS SOPS 896340 HAS SOUS 640966 HAS SOUPS 640966 WITH SCORE 641862.34
AT ITER 3967 NEW BEST:: SOT 4388742 SOS 896265 HAS SOPS 896265 HAS SOUS 640891 HAS SOUPS 640891 WITH SCORE 641787.265
AT ITER 3972 NEW BEST:: SOT 4388928 SOS 895975 HAS SOPS 895975 HAS SOUS 640796 HAS SOUPS 640796 WITH SCORE 641691.975
AT ITER 3977 NEW BEST:: SOT 4388635 SOS 896269 HAS SOPS 896269 HAS SOUS 640723 HAS SOUPS 640723 WITH SCORE 641619.269
AT ITER 3997 NEW BEST:: SOT 4388552 SOS 896103 HAS SOPS 896103 HAS SOUS 640557 HAS SOUPS 640557 WITH SCORE 641453.103
AT ITER 3998 NEW BEST:: SOT 4388162 SOS 895323 HAS SOPS 895323 HAS SOUS 640287 HAS SOUPS 640287 WITH SCORE 641182.323
AT ITER 4003 NEW BEST:: SOT 4388003 SOS 895005 HAS SOPS 895005 HAS SOUS 639969 HAS SOUPS 639969 WITH SCORE 640864.005
AT ITER 4019 NEW BEST:: SOT 4387672 SOS 894674 HAS SOPS 894674 HAS SOUS 639638 HAS SOUPS 639638 WITH SCORE 640532.674
AT ITER 4039 NEW BEST:: SOT 4387659 SOS 894648 HAS SOPS 894648 HAS SOUS 639612 HAS SOUPS 639612 WITH SCORE 640506.648
AT ITER 4052 NEW BEST:: SOT 4386054 SOS 895541 HAS SOPS 895541 HAS SOUS 638583 HAS SOUPS 638583 WITH SCORE 639478.541
AT ITER 4091 NEW BEST:: SOT 4386054 SOS 895527 HAS SOPS 895527 HAS SOUS 638583 HAS SOUPS 638583 WITH SCORE 639478.527
AT ITER 4092 NEW BEST:: SOT 4385980 SOS 895379 HAS SOPS 895379 HAS SOUS 638435 HAS SOUPS 638435 WITH SCORE 639330.379
AT ITER 4100 NEW BEST:: SOT 4385869 SOS 895157 HAS SOPS 895157 HAS SOUS 638213 HAS SOUPS 638213 WITH SCORE 639108.157
AT ITER 4106 NEW BEST:: SOT 4385850 SOS 895119 HAS SOPS 895119 HAS SOUS 638175 HAS SOUPS 638175 WITH SCORE 639070.119
AT ITER 4113 NEW BEST:: SOT 4385677 SOS 894773 HAS SOPS 894773 HAS SOUS 637829 HAS SOUPS 637829 WITH SCORE 638723.773
AT ITER 4124 NEW BEST:: SOT 4385640 SOS 894699 HAS SOPS 894699 HAS SOUS 637755 HAS SOUPS 637755 WITH SCORE 638649.699
AT ITER 4125 NEW BEST:: SOT 4385627 SOS 894673 HAS SOPS 894673 HAS SOUS 637729 HAS SOUPS 637729 WITH SCORE 638623.673
AT ITER 4130 NEW BEST:: SOT 4385160 SOS 893131 HAS SOPS 893131 HAS SOUS 637279 HAS SOUPS 637279 WITH SCORE 638172.131
AT ITER 4156 NEW BEST:: SOT 4385085 SOS 893119 HAS SOPS 893119 HAS SOUS 637250 HAS SOUPS 637250 WITH SCORE 638143.119
AT ITER 4185 NEW BEST:: SOT 4384677 SOS 892303 HAS SOPS 892303 HAS SOUS 636862 HAS SOUPS 636862 WITH SCORE 637754.303
AT ITER 4215 NEW BEST:: SOT 4384592 SOS 892261 HAS SOPS 892261 HAS SOUS 636820 HAS SOUPS 636820 WITH SCORE 637712.261
AT ITER 4244 NEW BEST:: SOT 4384546 SOS 892088 HAS SOPS 892088 HAS SOUS 636693 HAS SOUPS 636693 WITH SCORE 637585.088
AT ITER 4289 NEW BEST:: SOT 4384370 SOS 891736 HAS SOPS 891736 HAS SOUS 636341 HAS SOUPS 636341 WITH SCORE 637232.736
AT ITER 4298 NEW BEST:: SOT 4384036 SOS 893124 HAS SOPS 893124 HAS SOUS 636215 HAS SOUPS 636215 WITH SCORE 637108.124
AT ITER 4363 NEW BEST:: SOT 4384214 SOS 893025 HAS SOPS 893025 HAS SOUS 635967 HAS SOUPS 635967 WITH SCORE 636860.025
AT ITER 4371 NEW BEST:: SOT 4384107 SOS 892727 HAS SOPS 892727 HAS SOUS 635943 HAS SOUPS 635943 WITH SCORE 636835.727
AT ITER 4382 NEW BEST:: SOT 4383994 SOS 892647 HAS SOPS 892647 HAS SOUS 635830 HAS SOUPS 635830 WITH SCORE 636722.647
AT ITER 4418 NEW BEST:: SOT 4383988 SOS 892635 HAS SOPS 892635 HAS SOUS 635824 HAS SOUPS 635824 WITH SCORE 636716.635
AT ITER 4420 NEW BEST:: SOT 4383965 SOS 892612 HAS SOPS 892612 HAS SOUS 635822 HAS SOUPS 635822 WITH SCORE 636714.612
AT ITER 4426 NEW BEST:: SOT 4383800 SOS 892039 HAS SOPS 892039 HAS SOUS 635413 HAS SOUPS 635413 WITH SCORE 636305.039
AT ITER 4429 NEW BEST:: SOT 4383686 SOS 891933 HAS SOPS 891933 HAS SOUS 635299 HAS SOUPS 635299 WITH SCORE 636190.933
AT ITER 4432 NEW BEST:: SOT 4383501 SOS 892447 HAS SOPS 892447 HAS SOUS 635114 HAS SOUPS 635114 WITH SCORE 636006.447
AT ITER 4454 NEW BEST:: SOT 4383463 SOS 892371 HAS SOPS 892371 HAS SOUS 635038 HAS SOUPS 635038 WITH SCORE 635930.371
AT ITER 4511 NEW BEST:: SOT 4383444 SOS 892333 HAS SOPS 892333 HAS SOUS 635000 HAS SOUPS 635000 WITH SCORE 635892.333
AT ITER 4522 NEW BEST:: SOT 4383444 SOS 892045 HAS SOPS 892045 HAS SOUS 635000 HAS SOUPS 635000 WITH SCORE 635892.045
AT ITER 4525 NEW BEST:: SOT 4383428 SOS 892029 HAS SOPS 892029 HAS SOUS 634999 HAS SOUPS 634999 WITH SCORE 635891.029
AT ITER 4542 NEW BEST:: SOT 4383119 SOS 891617 HAS SOPS 891617 HAS SOUS 634587 HAS SOUPS 634587 WITH SCORE 635478.617
AT ITER 4551 NEW BEST:: SOT 4383076 SOS 891574 HAS SOPS 891574 HAS SOUS 634507 HAS SOUPS 634507 WITH SCORE 635398.574
AT ITER 4587 NEW BEST:: SOT 4382988 SOS 891398 HAS SOPS 891398 HAS SOUS 634331 HAS SOUPS 634331 WITH SCORE 635222.398
AT ITER 4614 NEW BEST:: SOT 4383115 SOS 891652 HAS SOPS 891652 HAS SOUS 634166 HAS SOUPS 634166 WITH SCORE 635057.652
AT ITER 4652 NEW BEST:: SOT 4382800 SOS 891022 HAS SOPS 891022 HAS SOUS 633536 HAS SOUPS 633536 WITH SCORE 634427.022
AT ITER 4660 NEW BEST:: SOT 4382799 SOS 891020 HAS SOPS 891020 HAS SOUS 633534 HAS SOUPS 633534 WITH SCORE 634425.02
AT ITER 4674 NEW BEST:: SOT 4382669 SOS 890316 HAS SOPS 890316 HAS SOUS 632740 HAS SOUPS 632740 WITH SCORE 633630.316
AT ITER 4682 NEW BEST:: SOT 4382585 SOS 890148 HAS SOPS 890148 HAS SOUS 632572 HAS SOUPS 632572 WITH SCORE 633462.148
AT ITER 4690 NEW BEST:: SOT 4382585 SOS 889812 HAS SOPS 889812 HAS SOUS 632404 HAS SOUPS 632404 WITH SCORE 633293.812
AT ITER 4704 NEW BEST:: SOT 4382525 SOS 889692 HAS SOPS 889692 HAS SOUS 632284 HAS SOUPS 632284 WITH SCORE 633173.692
AT ITER 4711 NEW BEST:: SOT 4382341 SOS 889667 HAS SOPS 889667 HAS SOUS 632100 HAS SOUPS 632100 WITH SCORE 632989.667
AT ITER 4722 NEW BEST:: SOT 4382306 SOS 889597 HAS SOPS 889597 HAS SOUS 632030 HAS SOUPS 632030 WITH SCORE 632919.597
AT ITER 4744 NEW BEST:: SOT 4382282 SOS 889537 HAS SOPS 889537 HAS SOUS 631982 HAS SOUPS 631982 WITH SCORE 632871.537
AT ITER 4751 NEW BEST:: SOT 4382169 SOS 889311 HAS SOPS 889311 HAS SOUS 631756 HAS SOUPS 631756 WITH SCORE 632645.311
AT ITER 4762 NEW BEST:: SOT 4382150 SOS 889043 HAS SOPS 889043 HAS SOUS 631612 HAS SOUPS 631612 WITH SCORE 632501.043
AT ITER 4764 NEW BEST:: SOT 4382150 SOS 888672 HAS SOPS 888672 HAS SOUS 631517 HAS SOUPS 631517 WITH SCORE 632405.672
AT ITER 4829 NEW BEST:: SOT 4382150 SOS 888293 HAS SOPS 888293 HAS SOUS 631517 HAS SOUPS 631517 WITH SCORE 632405.293
AT ITER 4835 NEW BEST:: SOT 4382150 SOS 888223 HAS SOPS 888223 HAS SOUS 631517 HAS SOUPS 631517 WITH SCORE 632405.223
AT ITER 4853 NEW BEST:: SOT 4382077 SOS 888077 HAS SOPS 888077 HAS SOUS 631402 HAS SOUPS 631402 WITH SCORE 632290.077
AT ITER 4882 NEW BEST:: SOT 4381944 SOS 887279 HAS SOPS 887279 HAS SOUS 631136 HAS SOUPS 631136 WITH SCORE 632023.279
AT ITER 4924 NEW BEST:: SOT 4381758 SOS 887283 HAS SOPS 887283 HAS SOUS 630827 HAS SOUPS 630827 WITH SCORE 631714.283
AT ITER 4942 NEW BEST:: SOT 4381758 SOS 887128 HAS SOPS 887128 HAS SOUS 630672 HAS SOUPS 630672 WITH SCORE 631559.128
AT ITER 4945 NEW BEST:: SOT 4377606 SOS 904896 HAS SOPS 904896 HAS SOUS 628650 HAS SOUPS 628650 WITH SCORE 629554.896
AT ITER 4953 NEW BEST:: SOT 4377606 SOS 904882 HAS SOPS 904882 HAS SOUS 628650 HAS SOUPS 628650 WITH SCORE 629554.882
AT ITER 4956 NEW BEST:: SOT 4377520 SOS 904710 HAS SOPS 904710 HAS SOUS 628564 HAS SOUPS 628564 WITH SCORE 629468.71
AT ITER 4957 NEW BEST:: SOT 4377500 SOS 904690 HAS SOPS 904690 HAS SOUS 628544 HAS SOUPS 628544 WITH SCORE 629448.69
AT ITER 4958 NEW BEST:: SOT 4377517 SOS 904724 HAS SOPS 904724 HAS SOUS 628257 HAS SOUPS 628257 WITH SCORE 629161.724
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-00 (EG( ( (AX( potential( (tk(P880)) <= (tk(P810)) ))) | (! potential( (tk(P1638)) <= (tk(P2007)) )) )))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-01 (EG( (AF(( potential( (tk(P418)) <= (tk(P1776)) ) & potential( (tk(P589)) <= (tk(P970)) ) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-02 (AF((EX( ( potential( ( 3 ) <= (tk(P475)) ) & potential( ( 1 ) <= (tk(P133)) ) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-03 (AF((EF((! potential( (tk(P323)) <= (tk(P2380)) ))))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-04 (AG( (AU( potential( (tk(P1302)) <= (tk(P425)) ),potential( ( 3 ) <= (tk(P2509)) ) ))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-05 (AU( (EF(potential( ( 1 ) <= (tk(P1578)) ))),(AG( potential( (tk(P246)) <= (tk(P153)) ))) ))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-06 (EX( (AF(( potential( ( 2 ) <= (tk(P2204)) ) & potential( ( 2 ) <= (tk(P1004)) ) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-07 (! (AF((AF(potential( ( 2 ) <= (tk(P949)) ))))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-08 (EF((EX( potential( ( 1 ) <= (tk(P1948)) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-09 (EF((AX( potential( ( 3 ) <= (tk(P604)) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-10 (EG( ( (! ( potential( (tk(P2092)) <= (tk(P2339)) ) | potential( (tk(P1237)) <= (tk(P1934)) ) )) | potential( (tk(P1760)) <= (tk(P1518)) ) )))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-11 (EF(( potential( ( 1 ) <= (tk(P692)) ) | (AF(potential( ( 3 ) <= (tk(P994)) ))) )))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-12 ( potential( (tk(P917)) <= (tk(P1917)) ) & (AX( (EG( potential( (tk(P1050)) <= (tk(P1671)) ))))) )
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-13 ( (! ( (EG( potential( (tk(P1899)) <= (tk(P395)) ))) | (AX( potential( ( 1 ) <= (tk(P392)) ))) )) | (EG( ( ( potential( ( 3 ) <= (tk(P859)) ) | potential( (tk(P1113)) <= (tk(P312)) ) ) & ( potential( (tk(P376)) <= (tk(P578)) ) | potential( (tk(P1586)) <= (tk(P830)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-14 (EG( (EF(potential( (tk(P1768)) <= (tk(P2376)) )))))
PROPERTY: CloudReconfiguration-PT-315-CTLCardinality-15 (EX( (EF(potential( ( 3 ) <= (tk(P1118)) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-315"
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 CloudReconfiguration-PT-315, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541700115"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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