About the Execution of smart for CloudReconfiguration-PT-306
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.680 | 3600000.00 | 3600070.00 | 0.00 | [undef] | Time out reached |
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-158902541600043.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-306, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600043
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:12 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 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:13 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-306-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-306-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589088093229
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 306
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686820 HAS SOUPS 686820 WITH SCORE 687564.489
AT ITER 14 NEW BEST:: SOT 4445674 SOS 744226 HAS SOPS 744226 HAS SOUS 686566 HAS SOUPS 686566 WITH SCORE 687310.226
AT ITER 31 NEW BEST:: SOT 4445674 SOS 744125 HAS SOPS 744125 HAS SOUS 686465 HAS SOUPS 686465 WITH SCORE 687209.125
AT ITER 36 NEW BEST:: SOT 4445673 SOS 744123 HAS SOPS 744123 HAS SOUS 686463 HAS SOUPS 686463 WITH SCORE 687207.123
AT ITER 37 NEW BEST:: SOT 4445534 SOS 743845 HAS SOPS 743845 HAS SOUS 686185 HAS SOUPS 686185 WITH SCORE 686928.845
AT ITER 51 NEW BEST:: SOT 4445652 SOS 743781 HAS SOPS 743781 HAS SOUS 686131 HAS SOUPS 686131 WITH SCORE 686874.781
AT ITER 58 NEW BEST:: SOT 4445652 SOS 743781 HAS SOPS 743781 HAS SOUS 686130 HAS SOUPS 686130 WITH SCORE 686873.781
AT ITER 65 NEW BEST:: SOT 4445649 SOS 743443 HAS SOPS 743443 HAS SOUS 686124 HAS SOUPS 686124 WITH SCORE 686867.443
AT ITER 85 NEW BEST:: SOT 4445623 SOS 743001 HAS SOPS 743001 HAS SOUS 685792 HAS SOUPS 685792 WITH SCORE 686535.001
AT ITER 104 NEW BEST:: SOT 4445535 SOS 742825 HAS SOPS 742825 HAS SOUS 685616 HAS SOUPS 685616 WITH SCORE 686358.825
AT ITER 112 NEW BEST:: SOT 4445209 SOS 742349 HAS SOPS 742349 HAS SOUS 685140 HAS SOUPS 685140 WITH SCORE 685882.349
AT ITER 114 NEW BEST:: SOT 4444440 SOS 745676 HAS SOPS 745676 HAS SOUS 684684 HAS SOUPS 684684 WITH SCORE 685429.676
AT ITER 127 NEW BEST:: SOT 4444439 SOS 745674 HAS SOPS 745674 HAS SOUS 684682 HAS SOUPS 684682 WITH SCORE 685427.674
AT ITER 156 NEW BEST:: SOT 4444354 SOS 745504 HAS SOPS 745504 HAS SOUS 684512 HAS SOUPS 684512 WITH SCORE 685257.504
AT ITER 180 NEW BEST:: SOT 4444354 SOS 745433 HAS SOPS 745433 HAS SOUS 684441 HAS SOUPS 684441 WITH SCORE 685186.433
AT ITER 187 NEW BEST:: SOT 4444354 SOS 745271 HAS SOPS 745271 HAS SOUS 684440 HAS SOUPS 684440 WITH SCORE 685185.271
AT ITER 190 NEW BEST:: SOT 4444191 SOS 745108 HAS SOPS 745108 HAS SOUS 684439 HAS SOUPS 684439 WITH SCORE 685184.108
AT ITER 234 NEW BEST:: SOT 4444081 SOS 744888 HAS SOPS 744888 HAS SOUS 684219 HAS SOUPS 684219 WITH SCORE 684963.888
AT ITER 241 NEW BEST:: SOT 4443797 SOS 744604 HAS SOPS 744604 HAS SOUS 683935 HAS SOUPS 683935 WITH SCORE 684679.604
AT ITER 267 NEW BEST:: SOT 4443489 SOS 744402 HAS SOPS 744402 HAS SOUS 683420 HAS SOUPS 683420 WITH SCORE 684164.402
AT ITER 275 NEW BEST:: SOT 4443489 SOS 744341 HAS SOPS 744341 HAS SOUS 683418 HAS SOUPS 683418 WITH SCORE 684162.341
AT ITER 280 NEW BEST:: SOT 4443423 SOS 744209 HAS SOPS 744209 HAS SOUS 683286 HAS SOUPS 683286 WITH SCORE 684030.209
AT ITER 317 NEW BEST:: SOT 4442980 SOS 744673 HAS SOPS 744673 HAS SOUS 683284 HAS SOUPS 683284 WITH SCORE 684028.673
AT ITER 324 NEW BEST:: SOT 4442686 SOS 744085 HAS SOPS 744085 HAS SOUS 682696 HAS SOUPS 682696 WITH SCORE 683440.085
AT ITER 326 NEW BEST:: SOT 4437632 SOS 789249 HAS SOPS 789249 HAS SOUS 679500 HAS SOUPS 679500 WITH SCORE 680289.249
AT ITER 362 NEW BEST:: SOT 4437518 SOS 789247 HAS SOPS 789247 HAS SOUS 679425 HAS SOUPS 679425 WITH SCORE 680214.247
AT ITER 408 NEW BEST:: SOT 4437518 SOS 788818 HAS SOPS 788818 HAS SOUS 679424 HAS SOUPS 679424 WITH SCORE 680212.818
AT ITER 435 NEW BEST:: SOT 4437292 SOS 788956 HAS SOPS 788956 HAS SOUS 679108 HAS SOUPS 679108 WITH SCORE 679896.956
AT ITER 460 NEW BEST:: SOT 4437166 SOS 788704 HAS SOPS 788704 HAS SOUS 678856 HAS SOUPS 678856 WITH SCORE 679644.704
AT ITER 465 NEW BEST:: SOT 4436960 SOS 788292 HAS SOPS 788292 HAS SOUS 678444 HAS SOUPS 678444 WITH SCORE 679232.292
AT ITER 500 NEW BEST:: SOT 4436960 SOS 788292 HAS SOPS 788292 HAS SOUS 678225 HAS SOUPS 678225 WITH SCORE 679013.292
AT ITER 512 NEW BEST:: SOT 4436752 SOS 787876 HAS SOPS 787876 HAS SOUS 677809 HAS SOUPS 677809 WITH SCORE 678596.876
AT ITER 537 NEW BEST:: SOT 4436296 SOS 787268 HAS SOPS 787268 HAS SOUS 677201 HAS SOUPS 677201 WITH SCORE 677988.268
AT ITER 548 NEW BEST:: SOT 4436227 SOS 787130 HAS SOPS 787130 HAS SOUS 677063 HAS SOUPS 677063 WITH SCORE 677850.13
AT ITER 582 NEW BEST:: SOT 4436227 SOS 787058 HAS SOPS 787058 HAS SOUS 676991 HAS SOUPS 676991 WITH SCORE 677778.058
AT ITER 615 NEW BEST:: SOT 4436226 SOS 786885 HAS SOPS 786885 HAS SOUS 676988 HAS SOUPS 676988 WITH SCORE 677774.885
AT ITER 635 NEW BEST:: SOT 4436226 SOS 786885 HAS SOPS 786885 HAS SOUS 676769 HAS SOUPS 676769 WITH SCORE 677555.885
AT ITER 657 NEW BEST:: SOT 4436226 SOS 786826 HAS SOPS 786826 HAS SOUS 676710 HAS SOUPS 676710 WITH SCORE 677496.826
AT ITER 679 NEW BEST:: SOT 4436226 SOS 786826 HAS SOPS 786826 HAS SOUS 676693 HAS SOUPS 676693 WITH SCORE 677479.826
AT ITER 680 NEW BEST:: SOT 4436225 SOS 786824 HAS SOPS 786824 HAS SOUS 676691 HAS SOUPS 676691 WITH SCORE 677477.824
AT ITER 696 NEW BEST:: SOT 4436225 SOS 786766 HAS SOPS 786766 HAS SOUS 676633 HAS SOUPS 676633 WITH SCORE 677419.766
AT ITER 699 NEW BEST:: SOT 4436095 SOS 786636 HAS SOPS 786636 HAS SOUS 676503 HAS SOUPS 676503 WITH SCORE 677289.636
AT ITER 700 NEW BEST:: SOT 4436049 SOS 786328 HAS SOPS 786328 HAS SOUS 676241 HAS SOUPS 676241 WITH SCORE 677027.328
AT ITER 716 NEW BEST:: SOT 4435861 SOS 785952 HAS SOPS 785952 HAS SOUS 675865 HAS SOUPS 675865 WITH SCORE 676650.952
AT ITER 729 NEW BEST:: SOT 4435731 SOS 785952 HAS SOPS 785952 HAS SOUS 675800 HAS SOUPS 675800 WITH SCORE 676585.952
AT ITER 739 NEW BEST:: SOT 4435379 SOS 785688 HAS SOPS 785688 HAS SOUS 675536 HAS SOUPS 675536 WITH SCORE 676321.688
AT ITER 742 NEW BEST:: SOT 4435443 SOS 785591 HAS SOPS 785591 HAS SOUS 675491 HAS SOUPS 675491 WITH SCORE 676276.591
AT ITER 744 NEW BEST:: SOT 4435444 SOS 785207 HAS SOPS 785207 HAS SOUS 675195 HAS SOUPS 675195 WITH SCORE 675980.207
AT ITER 745 NEW BEST:: SOT 4434249 SOS 812091 HAS SOPS 812091 HAS SOUS 674989 HAS SOUPS 674989 WITH SCORE 675801.091
AT ITER 754 NEW BEST:: SOT 4434209 SOS 812051 HAS SOPS 812051 HAS SOUS 674949 HAS SOUPS 674949 WITH SCORE 675761.051
AT ITER 768 NEW BEST:: SOT 4434124 SOS 811946 HAS SOPS 811946 HAS SOUS 674828 HAS SOUPS 674828 WITH SCORE 675639.946
AT ITER 774 NEW BEST:: SOT 4433790 SOS 811588 HAS SOPS 811588 HAS SOUS 674373 HAS SOUPS 674373 WITH SCORE 675184.588
AT ITER 775 NEW BEST:: SOT 4433679 SOS 811765 HAS SOPS 811765 HAS SOUS 674262 HAS SOUPS 674262 WITH SCORE 675073.765
AT ITER 805 NEW BEST:: SOT 4433679 SOS 811649 HAS SOPS 811649 HAS SOUS 674261 HAS SOUPS 674261 WITH SCORE 675072.649
AT ITER 834 NEW BEST:: SOT 4433679 SOS 811609 HAS SOPS 811609 HAS SOUS 674221 HAS SOUPS 674221 WITH SCORE 675032.609
AT ITER 840 NEW BEST:: SOT 4433587 SOS 811425 HAS SOPS 811425 HAS SOUS 673750 HAS SOUPS 673750 WITH SCORE 674561.425
AT ITER 842 NEW BEST:: SOT 4430999 SOS 837077 HAS SOPS 837077 HAS SOUS 672446 HAS SOUPS 672446 WITH SCORE 673283.077
AT ITER 910 NEW BEST:: SOT 4430592 SOS 813331 HAS SOPS 813331 HAS SOUS 671632 HAS SOUPS 671632 WITH SCORE 672445.331
AT ITER 935 NEW BEST:: SOT 4430388 SOS 813127 HAS SOPS 813127 HAS SOUS 671428 HAS SOUPS 671428 WITH SCORE 672241.127
AT ITER 969 NEW BEST:: SOT 4430352 SOS 813055 HAS SOPS 813055 HAS SOUS 671356 HAS SOUPS 671356 WITH SCORE 672169.055
AT ITER 983 NEW BEST:: SOT 4430273 SOS 812897 HAS SOPS 812897 HAS SOUS 671198 HAS SOUPS 671198 WITH SCORE 672010.897
AT ITER 987 NEW BEST:: SOT 4430153 SOS 812975 HAS SOPS 812975 HAS SOUS 671077 HAS SOUPS 671077 WITH SCORE 671889.975
AT ITER 993 NEW BEST:: SOT 4429979 SOS 812627 HAS SOPS 812627 HAS SOUS 670729 HAS SOUPS 670729 WITH SCORE 671541.627
AT ITER 1005 NEW BEST:: SOT 4429979 SOS 812394 HAS SOPS 812394 HAS SOUS 670729 HAS SOUPS 670729 WITH SCORE 671541.394
AT ITER 1008 NEW BEST:: SOT 4429979 SOS 811948 HAS SOPS 811948 HAS SOUS 670729 HAS SOUPS 670729 WITH SCORE 671540.948
AT ITER 1031 NEW BEST:: SOT 4429964 SOS 811703 HAS SOPS 811703 HAS SOUS 670494 HAS SOUPS 670494 WITH SCORE 671305.703
AT ITER 1045 NEW BEST:: SOT 4429837 SOS 811449 HAS SOPS 811449 HAS SOUS 670240 HAS SOUPS 670240 WITH SCORE 671051.449
AT ITER 1051 NEW BEST:: SOT 4429581 SOS 811912 HAS SOPS 811912 HAS SOUS 670109 HAS SOUPS 670109 WITH SCORE 670920.912
AT ITER 1060 NEW BEST:: SOT 4429384 SOS 811804 HAS SOPS 811804 HAS SOUS 669912 HAS SOUPS 669912 WITH SCORE 670723.804
AT ITER 1062 NEW BEST:: SOT 4429235 SOS 811655 HAS SOPS 811655 HAS SOUS 669810 HAS SOUPS 669810 WITH SCORE 670621.655
AT ITER 1076 NEW BEST:: SOT 4428922 SOS 811614 HAS SOPS 811614 HAS SOUS 669497 HAS SOUPS 669497 WITH SCORE 670308.614
AT ITER 1100 NEW BEST:: SOT 4428922 SOS 811369 HAS SOPS 811369 HAS SOUS 669497 HAS SOUPS 669497 WITH SCORE 670308.369
AT ITER 1105 NEW BEST:: SOT 4428879 SOS 811343 HAS SOPS 811343 HAS SOUS 669454 HAS SOUPS 669454 WITH SCORE 670265.343
AT ITER 1118 NEW BEST:: SOT 4428869 SOS 811323 HAS SOPS 811323 HAS SOUS 669434 HAS SOUPS 669434 WITH SCORE 670245.323
AT ITER 1137 NEW BEST:: SOT 4428859 SOS 811303 HAS SOPS 811303 HAS SOUS 669419 HAS SOUPS 669419 WITH SCORE 670230.303
AT ITER 1141 NEW BEST:: SOT 4428697 SOS 810871 HAS SOPS 810871 HAS SOUS 669285 HAS SOUPS 669285 WITH SCORE 670095.871
AT ITER 1143 NEW BEST:: SOT 4428470 SOS 810417 HAS SOPS 810417 HAS SOUS 668793 HAS SOUPS 668793 WITH SCORE 669603.417
AT ITER 1150 NEW BEST:: SOT 4428469 SOS 810415 HAS SOPS 810415 HAS SOUS 668776 HAS SOUPS 668776 WITH SCORE 669586.415
AT ITER 1153 NEW BEST:: SOT 4428690 SOS 810857 HAS SOPS 810857 HAS SOUS 668665 HAS SOUPS 668665 WITH SCORE 669475.857
AT ITER 1169 NEW BEST:: SOT 4428688 SOS 810827 HAS SOPS 810827 HAS SOUS 668663 HAS SOUPS 668663 WITH SCORE 669473.827
AT ITER 1216 NEW BEST:: SOT 4428688 SOS 810635 HAS SOPS 810635 HAS SOUS 668663 HAS SOUPS 668663 WITH SCORE 669473.635
AT ITER 1220 NEW BEST:: SOT 4428382 SOS 811127 HAS SOPS 811127 HAS SOUS 668569 HAS SOUPS 668569 WITH SCORE 669380.127
AT ITER 1231 NEW BEST:: SOT 4428142 SOS 810647 HAS SOPS 810647 HAS SOUS 668499 HAS SOUPS 668499 WITH SCORE 669309.647
AT ITER 1259 NEW BEST:: SOT 4427874 SOS 809319 HAS SOPS 809319 HAS SOUS 667959 HAS SOUPS 667959 WITH SCORE 668768.319
AT ITER 1288 NEW BEST:: SOT 4427874 SOS 808975 HAS SOPS 808975 HAS SOUS 667958 HAS SOUPS 667958 WITH SCORE 668766.975
AT ITER 1317 NEW BEST:: SOT 4427446 SOS 808119 HAS SOPS 808119 HAS SOUS 667174 HAS SOUPS 667174 WITH SCORE 667982.119
AT ITER 1320 NEW BEST:: SOT 4427184 SOS 807595 HAS SOPS 807595 HAS SOUS 666953 HAS SOUPS 666953 WITH SCORE 667760.595
AT ITER 1323 NEW BEST:: SOT 4427179 SOS 807585 HAS SOPS 807585 HAS SOUS 666744 HAS SOUPS 666744 WITH SCORE 667551.585
AT ITER 1335 NEW BEST:: SOT 4427179 SOS 807219 HAS SOPS 807219 HAS SOUS 666744 HAS SOUPS 666744 WITH SCORE 667551.219
AT ITER 1338 NEW BEST:: SOT 4427173 SOS 807394 HAS SOPS 807394 HAS SOUS 666738 HAS SOUPS 666738 WITH SCORE 667545.394
AT ITER 1348 NEW BEST:: SOT 4427271 SOS 807297 HAS SOPS 807297 HAS SOUS 666641 HAS SOUPS 666641 WITH SCORE 667448.297
AT ITER 1350 NEW BEST:: SOT 4427270 SOS 807295 HAS SOPS 807295 HAS SOUS 666639 HAS SOUPS 666639 WITH SCORE 667446.295
AT ITER 1361 NEW BEST:: SOT 4427270 SOS 807158 HAS SOPS 807158 HAS SOUS 666638 HAS SOUPS 666638 WITH SCORE 667445.158
AT ITER 1384 NEW BEST:: SOT 4427182 SOS 806799 HAS SOPS 806799 HAS SOUS 666621 HAS SOUPS 666621 WITH SCORE 667427.799
AT ITER 1386 NEW BEST:: SOT 4427182 SOS 806757 HAS SOPS 806757 HAS SOUS 666579 HAS SOUPS 666579 WITH SCORE 667385.757
AT ITER 1405 NEW BEST:: SOT 4426431 SOS 806403 HAS SOPS 806403 HAS SOUS 666115 HAS SOUPS 666115 WITH SCORE 666921.403
AT ITER 1413 NEW BEST:: SOT 4426431 SOS 806166 HAS SOPS 806166 HAS SOUS 665878 HAS SOUPS 665878 WITH SCORE 666684.166
AT ITER 1420 NEW BEST:: SOT 4426376 SOS 806111 HAS SOPS 806111 HAS SOUS 665823 HAS SOUPS 665823 WITH SCORE 666629.111
AT ITER 1461 NEW BEST:: SOT 4426376 SOS 806111 HAS SOPS 806111 HAS SOUS 665554 HAS SOUPS 665554 WITH SCORE 666360.111
AT ITER 1470 NEW BEST:: SOT 4426155 SOS 805669 HAS SOPS 805669 HAS SOUS 665112 HAS SOUPS 665112 WITH SCORE 665917.669
AT ITER 1495 NEW BEST:: SOT 4426155 SOS 805669 HAS SOPS 805669 HAS SOUS 665001 HAS SOUPS 665001 WITH SCORE 665806.669
AT ITER 1510 NEW BEST:: SOT 4425900 SOS 805159 HAS SOPS 805159 HAS SOUS 664902 HAS SOUPS 664902 WITH SCORE 665707.159
AT ITER 1527 NEW BEST:: SOT 4425696 SOS 805211 HAS SOPS 805211 HAS SOUS 664843 HAS SOUPS 664843 WITH SCORE 665648.211
AT ITER 1528 NEW BEST:: SOT 4425572 SOS 804963 HAS SOPS 804963 HAS SOUS 664595 HAS SOUPS 664595 WITH SCORE 665399.963
AT ITER 1537 NEW BEST:: SOT 4425637 SOS 804821 HAS SOPS 804821 HAS SOUS 664295 HAS SOUPS 664295 WITH SCORE 665099.821
AT ITER 1546 NEW BEST:: SOT 4425237 SOS 804421 HAS SOPS 804421 HAS SOUS 663895 HAS SOUPS 663895 WITH SCORE 664699.421
AT ITER 1568 NEW BEST:: SOT 4425038 SOS 804023 HAS SOPS 804023 HAS SOUS 663696 HAS SOUPS 663696 WITH SCORE 664500.023
AT ITER 1598 NEW BEST:: SOT 4424523 SOS 802993 HAS SOPS 802993 HAS SOUS 663077 HAS SOUPS 663077 WITH SCORE 663879.993
AT ITER 1636 NEW BEST:: SOT 4424523 SOS 802949 HAS SOPS 802949 HAS SOUS 663077 HAS SOUPS 663077 WITH SCORE 663879.949
AT ITER 1639 NEW BEST:: SOT 4424410 SOS 802723 HAS SOPS 802723 HAS SOUS 662964 HAS SOUPS 662964 WITH SCORE 663766.723
AT ITER 1643 NEW BEST:: SOT 4424647 SOS 802847 HAS SOPS 802847 HAS SOUS 662937 HAS SOUPS 662937 WITH SCORE 663739.847
AT ITER 1653 NEW BEST:: SOT 4424451 SOS 802847 HAS SOPS 802847 HAS SOUS 662839 HAS SOUPS 662839 WITH SCORE 663641.847
AT ITER 1663 NEW BEST:: SOT 4424459 SOS 802863 HAS SOPS 802863 HAS SOUS 662823 HAS SOUPS 662823 WITH SCORE 663625.863
AT ITER 1664 NEW BEST:: SOT 4424658 SOS 802248 HAS SOPS 802248 HAS SOUS 662347 HAS SOUPS 662347 WITH SCORE 663149.248
AT ITER 1666 NEW BEST:: SOT 4424658 SOS 802018 HAS SOPS 802018 HAS SOUS 662232 HAS SOUPS 662232 WITH SCORE 663034.018
AT ITER 1670 NEW BEST:: SOT 4424658 SOS 801954 HAS SOPS 801954 HAS SOUS 662168 HAS SOUPS 662168 WITH SCORE 662969.954
AT ITER 1679 NEW BEST:: SOT 4424523 SOS 801684 HAS SOPS 801684 HAS SOUS 662033 HAS SOUPS 662033 WITH SCORE 662834.684
AT ITER 1749 NEW BEST:: SOT 4424033 SOS 801095 HAS SOPS 801095 HAS SOUS 661673 HAS SOUPS 661673 WITH SCORE 662474.095
AT ITER 1769 NEW BEST:: SOT 4424033 SOS 801095 HAS SOPS 801095 HAS SOUS 661605 HAS SOUPS 661605 WITH SCORE 662406.095
AT ITER 1778 NEW BEST:: SOT 4423699 SOS 800830 HAS SOPS 800830 HAS SOUS 661299 HAS SOUPS 661299 WITH SCORE 662099.83
AT ITER 1779 NEW BEST:: SOT 4423977 SOS 801206 HAS SOPS 801206 HAS SOUS 661287 HAS SOUPS 661287 WITH SCORE 662088.206
AT ITER 1781 NEW BEST:: SOT 4423803 SOS 800858 HAS SOPS 800858 HAS SOUS 660883 HAS SOUPS 660883 WITH SCORE 661683.858
AT ITER 1801 NEW BEST:: SOT 4423414 SOS 801062 HAS SOPS 801062 HAS SOUS 660756 HAS SOUPS 660756 WITH SCORE 661557.062
AT ITER 1810 NEW BEST:: SOT 4423414 SOS 801062 HAS SOPS 801062 HAS SOUS 660706 HAS SOUPS 660706 WITH SCORE 661507.062
AT ITER 1817 NEW BEST:: SOT 4423186 SOS 800606 HAS SOPS 800606 HAS SOUS 660250 HAS SOUPS 660250 WITH SCORE 661050.606
AT ITER 1860 NEW BEST:: SOT 4423025 SOS 800284 HAS SOPS 800284 HAS SOUS 659838 HAS SOUPS 659838 WITH SCORE 660638.284
AT ITER 1864 NEW BEST:: SOT 4422916 SOS 800175 HAS SOPS 800175 HAS SOUS 659790 HAS SOUPS 659790 WITH SCORE 660590.175
AT ITER 1866 NEW BEST:: SOT 4422899 SOS 799871 HAS SOPS 799871 HAS SOUS 659498 HAS SOUPS 659498 WITH SCORE 660297.871
AT ITER 1870 NEW BEST:: SOT 4422898 SOS 799869 HAS SOPS 799869 HAS SOUS 659496 HAS SOUPS 659496 WITH SCORE 660295.869
AT ITER 1898 NEW BEST:: SOT 4422898 SOS 799869 HAS SOPS 799869 HAS SOUS 659399 HAS SOUPS 659399 WITH SCORE 660198.869
AT ITER 1923 NEW BEST:: SOT 4422898 SOS 799869 HAS SOPS 799869 HAS SOUS 659149 HAS SOUPS 659149 WITH SCORE 659948.869
AT ITER 1925 NEW BEST:: SOT 4422882 SOS 799837 HAS SOPS 799837 HAS SOUS 659133 HAS SOUPS 659133 WITH SCORE 659932.837
AT ITER 1930 NEW BEST:: SOT 4422800 SOS 799673 HAS SOPS 799673 HAS SOUS 658969 HAS SOUPS 658969 WITH SCORE 659768.673
AT ITER 1947 NEW BEST:: SOT 4422556 SOS 799554 HAS SOPS 799554 HAS SOUS 658787 HAS SOUPS 658787 WITH SCORE 659586.554
AT ITER 1959 NEW BEST:: SOT 4422318 SOS 799316 HAS SOPS 799316 HAS SOUS 658549 HAS SOUPS 658549 WITH SCORE 659348.316
AT ITER 1964 NEW BEST:: SOT 4422234 SOS 799099 HAS SOPS 799099 HAS SOUS 658496 HAS SOUPS 658496 WITH SCORE 659295.099
AT ITER 1966 NEW BEST:: SOT 4422229 SOS 799089 HAS SOPS 799089 HAS SOUS 658486 HAS SOUPS 658486 WITH SCORE 659285.089
AT ITER 1967 NEW BEST:: SOT 4422029 SOS 798689 HAS SOPS 798689 HAS SOUS 658486 HAS SOUPS 658486 WITH SCORE 659284.689
AT ITER 1971 NEW BEST:: SOT 4421951 SOS 798689 HAS SOPS 798689 HAS SOUS 658408 HAS SOUPS 658408 WITH SCORE 659206.689
AT ITER 1978 NEW BEST:: SOT 4421951 SOS 798567 HAS SOPS 798567 HAS SOUS 658286 HAS SOUPS 658286 WITH SCORE 659084.567
AT ITER 1985 NEW BEST:: SOT 4421831 SOS 798327 HAS SOPS 798327 HAS SOUS 658166 HAS SOUPS 658166 WITH SCORE 658964.327
AT ITER 1987 NEW BEST:: SOT 4421337 SOS 797851 HAS SOPS 797851 HAS SOUS 657656 HAS SOUPS 657656 WITH SCORE 658453.851
AT ITER 2004 NEW BEST:: SOT 4421337 SOS 797846 HAS SOPS 797846 HAS SOUS 657656 HAS SOUPS 657656 WITH SCORE 658453.846
AT ITER 2007 NEW BEST:: SOT 4421241 SOS 797654 HAS SOPS 797654 HAS SOUS 657559 HAS SOUPS 657559 WITH SCORE 658356.654
AT ITER 2029 NEW BEST:: SOT 4421292 SOS 797541 HAS SOPS 797541 HAS SOUS 657446 HAS SOUPS 657446 WITH SCORE 658243.541
AT ITER 2033 NEW BEST:: SOT 4421274 SOS 796826 HAS SOPS 796826 HAS SOUS 657154 HAS SOUPS 657154 WITH SCORE 657950.826
AT ITER 2037 NEW BEST:: SOT 4421306 SOS 796890 HAS SOPS 796890 HAS SOUS 657115 HAS SOUPS 657115 WITH SCORE 657911.89
AT ITER 2079 NEW BEST:: SOT 4421306 SOS 796890 HAS SOPS 796890 HAS SOUS 657110 HAS SOUPS 657110 WITH SCORE 657906.89
AT ITER 2106 NEW BEST:: SOT 4421018 SOS 796856 HAS SOPS 796856 HAS SOUS 656962 HAS SOUPS 656962 WITH SCORE 657758.856
AT ITER 2145 NEW BEST:: SOT 4420997 SOS 796814 HAS SOPS 796814 HAS SOUS 656920 HAS SOUPS 656920 WITH SCORE 657716.814
AT ITER 2163 NEW BEST:: SOT 4420679 SOS 796178 HAS SOPS 796178 HAS SOUS 656144 HAS SOUPS 656144 WITH SCORE 656940.178
AT ITER 2172 NEW BEST:: SOT 4420532 SOS 796038 HAS SOPS 796038 HAS SOUS 656004 HAS SOUPS 656004 WITH SCORE 656800.038
AT ITER 2203 NEW BEST:: SOT 4420274 SOS 795522 HAS SOPS 795522 HAS SOUS 655746 HAS SOUPS 655746 WITH SCORE 656541.522
AT ITER 2205 NEW BEST:: SOT 4420332 SOS 795110 HAS SOPS 795110 HAS SOUS 655276 HAS SOUPS 655276 WITH SCORE 656071.11
AT ITER 2210 NEW BEST:: SOT 4420453 SOS 795048 HAS SOPS 795048 HAS SOUS 655214 HAS SOUPS 655214 WITH SCORE 656009.048
AT ITER 2217 NEW BEST:: SOT 4420452 SOS 795046 HAS SOPS 795046 HAS SOUS 655213 HAS SOUPS 655213 WITH SCORE 656008.046
AT ITER 2225 NEW BEST:: SOT 4420452 SOS 794966 HAS SOPS 794966 HAS SOUS 655133 HAS SOUPS 655133 WITH SCORE 655927.966
AT ITER 2253 NEW BEST:: SOT 4420312 SOS 794686 HAS SOPS 794686 HAS SOUS 654672 HAS SOUPS 654672 WITH SCORE 655466.686
AT ITER 2262 NEW BEST:: SOT 4420195 SOS 794452 HAS SOPS 794452 HAS SOUS 654438 HAS SOUPS 654438 WITH SCORE 655232.452
AT ITER 2288 NEW BEST:: SOT 4419710 SOS 794847 HAS SOPS 794847 HAS SOUS 654395 HAS SOUPS 654395 WITH SCORE 655189.847
AT ITER 2302 NEW BEST:: SOT 4419612 SOS 794749 HAS SOPS 794749 HAS SOUS 654297 HAS SOUPS 654297 WITH SCORE 655091.749
AT ITER 2354 NEW BEST:: SOT 4419547 SOS 794619 HAS SOPS 794619 HAS SOUS 654167 HAS SOUPS 654167 WITH SCORE 654961.619
AT ITER 2355 NEW BEST:: SOT 4419547 SOS 794376 HAS SOPS 794376 HAS SOUS 654167 HAS SOUPS 654167 WITH SCORE 654961.376
AT ITER 2359 NEW BEST:: SOT 4419344 SOS 793970 HAS SOPS 793970 HAS SOUS 653963 HAS SOUPS 653963 WITH SCORE 654756.97
AT ITER 2363 NEW BEST:: SOT 4419306 SOS 793894 HAS SOPS 793894 HAS SOUS 653887 HAS SOUPS 653887 WITH SCORE 654680.894
AT ITER 2371 NEW BEST:: SOT 4419354 SOS 793758 HAS SOPS 793758 HAS SOUS 653751 HAS SOUPS 653751 WITH SCORE 654544.758
AT ITER 2382 NEW BEST:: SOT 4419354 SOS 793602 HAS SOPS 793602 HAS SOUS 653750 HAS SOUPS 653750 WITH SCORE 654543.602
AT ITER 2398 NEW BEST:: SOT 4419354 SOS 793602 HAS SOPS 793602 HAS SOUS 653608 HAS SOUPS 653608 WITH SCORE 654401.602
AT ITER 2433 NEW BEST:: SOT 4418491 SOS 793283 HAS SOPS 793283 HAS SOUS 652940 HAS SOUPS 652940 WITH SCORE 653733.283
AT ITER 2549 NEW BEST:: SOT 4418416 SOS 793133 HAS SOPS 793133 HAS SOUS 652865 HAS SOUPS 652865 WITH SCORE 653658.133
AT ITER 2568 NEW BEST:: SOT 4418251 SOS 792803 HAS SOPS 792803 HAS SOUS 652535 HAS SOUPS 652535 WITH SCORE 653327.803
AT ITER 2574 NEW BEST:: SOT 4418116 SOS 792533 HAS SOPS 792533 HAS SOUS 652194 HAS SOUPS 652194 WITH SCORE 652986.533
AT ITER 2580 NEW BEST:: SOT 4418116 SOS 792533 HAS SOPS 792533 HAS SOUS 652191 HAS SOUPS 652191 WITH SCORE 652983.533
AT ITER 2588 NEW BEST:: SOT 4417904 SOS 792384 HAS SOPS 792384 HAS SOUS 652042 HAS SOUPS 652042 WITH SCORE 652834.384
AT ITER 2600 NEW BEST:: SOT 4417820 SOS 792216 HAS SOPS 792216 HAS SOUS 651958 HAS SOUPS 651958 WITH SCORE 652750.216
AT ITER 2605 NEW BEST:: SOT 4417786 SOS 792131 HAS SOPS 792131 HAS SOUS 651907 HAS SOUPS 651907 WITH SCORE 652699.131
AT ITER 2615 NEW BEST:: SOT 4417688 SOS 792053 HAS SOPS 792053 HAS SOUS 651770 HAS SOUPS 651770 WITH SCORE 652562.053
AT ITER 2617 NEW BEST:: SOT 4417687 SOS 792051 HAS SOPS 792051 HAS SOUS 651768 HAS SOUPS 651768 WITH SCORE 652560.051
AT ITER 2631 NEW BEST:: SOT 4417623 SOS 791923 HAS SOPS 791923 HAS SOUS 651640 HAS SOUPS 651640 WITH SCORE 652431.923
AT ITER 2634 NEW BEST:: SOT 4417552 SOS 791781 HAS SOPS 791781 HAS SOUS 651569 HAS SOUPS 651569 WITH SCORE 652360.781
AT ITER 2680 NEW BEST:: SOT 4417552 SOS 791747 HAS SOPS 791747 HAS SOUS 651535 HAS SOUPS 651535 WITH SCORE 652326.747
AT ITER 2751 NEW BEST:: SOT 4417625 SOS 791566 HAS SOPS 791566 HAS SOUS 651450 HAS SOUPS 651450 WITH SCORE 652241.566
AT ITER 2759 NEW BEST:: SOT 4417482 SOS 791280 HAS SOPS 791280 HAS SOUS 651164 HAS SOUPS 651164 WITH SCORE 651955.28
AT ITER 2766 NEW BEST:: SOT 4417482 SOS 791280 HAS SOPS 791280 HAS SOUS 651066 HAS SOUPS 651066 WITH SCORE 651857.28
AT ITER 2790 NEW BEST:: SOT 4417555 SOS 791200 HAS SOPS 791200 HAS SOUS 650998 HAS SOUPS 650998 WITH SCORE 651789.2
AT ITER 2800 NEW BEST:: SOT 4417512 SOS 791157 HAS SOPS 791157 HAS SOUS 650912 HAS SOUPS 650912 WITH SCORE 651703.157
AT ITER 2808 NEW BEST:: SOT 4417512 SOS 790937 HAS SOPS 790937 HAS SOUS 650912 HAS SOUPS 650912 WITH SCORE 651702.937
AT ITER 2852 NEW BEST:: SOT 4417414 SOS 790741 HAS SOPS 790741 HAS SOUS 650814 HAS SOUPS 650814 WITH SCORE 651604.741
AT ITER 2861 NEW BEST:: SOT 4417420 SOS 790541 HAS SOPS 790541 HAS SOUS 650775 HAS SOUPS 650775 WITH SCORE 651565.541
AT ITER 2870 NEW BEST:: SOT 4417343 SOS 790541 HAS SOPS 790541 HAS SOUS 650774 HAS SOUPS 650774 WITH SCORE 651564.541
AT ITER 2902 NEW BEST:: SOT 4417342 SOS 790539 HAS SOPS 790539 HAS SOUS 650772 HAS SOUPS 650772 WITH SCORE 651562.539
AT ITER 2929 NEW BEST:: SOT 4417342 SOS 790539 HAS SOPS 790539 HAS SOUS 650726 HAS SOUPS 650726 WITH SCORE 651516.539
AT ITER 2975 NEW BEST:: SOT 4417280 SOS 790415 HAS SOPS 790415 HAS SOUS 650602 HAS SOUPS 650602 WITH SCORE 651392.415
AT ITER 2988 NEW BEST:: SOT 4417145 SOS 789999 HAS SOPS 789999 HAS SOUS 650290 HAS SOUPS 650290 WITH SCORE 651079.999
AT ITER 2996 NEW BEST:: SOT 4417145 SOS 789883 HAS SOPS 789883 HAS SOUS 650290 HAS SOUPS 650290 WITH SCORE 651079.883
AT ITER 3000 NEW BEST:: SOT 4417243 SOS 789601 HAS SOPS 789601 HAS SOUS 650247 HAS SOUPS 650247 WITH SCORE 651036.601
AT ITER 3026 NEW BEST:: SOT 4417242 SOS 789599 HAS SOPS 789599 HAS SOUS 650245 HAS SOUPS 650245 WITH SCORE 651034.599
AT ITER 3034 NEW BEST:: SOT 4417076 SOS 789267 HAS SOPS 789267 HAS SOUS 650079 HAS SOUPS 650079 WITH SCORE 650868.267
AT ITER 3036 NEW BEST:: SOT 4417106 SOS 789265 HAS SOPS 789265 HAS SOUS 650077 HAS SOUPS 650077 WITH SCORE 650866.265
AT ITER 3052 NEW BEST:: SOT 4417082 SOS 789301 HAS SOPS 789301 HAS SOUS 650065 HAS SOUPS 650065 WITH SCORE 650854.301
AT ITER 3073 NEW BEST:: SOT 4417082 SOS 789248 HAS SOPS 789248 HAS SOUS 650012 HAS SOUPS 650012 WITH SCORE 650801.248
AT ITER 3081 NEW BEST:: SOT 4417082 SOS 789248 HAS SOPS 789248 HAS SOUS 649993 HAS SOUPS 649993 WITH SCORE 650782.248
AT ITER 3082 NEW BEST:: SOT 4416858 SOS 789196 HAS SOPS 789196 HAS SOUS 649769 HAS SOUPS 649769 WITH SCORE 650558.196
AT ITER 3090 NEW BEST:: SOT 4416858 SOS 789194 HAS SOPS 789194 HAS SOUS 649767 HAS SOUPS 649767 WITH SCORE 650556.194
AT ITER 3093 NEW BEST:: SOT 4416624 SOS 789111 HAS SOPS 789111 HAS SOUS 649284 HAS SOUPS 649284 WITH SCORE 650073.111
AT ITER 3095 NEW BEST:: SOT 4416511 SOS 788885 HAS SOPS 788885 HAS SOUS 649058 HAS SOUPS 649058 WITH SCORE 649846.885
AT ITER 3101 NEW BEST:: SOT 4416347 SOS 788557 HAS SOPS 788557 HAS SOUS 648730 HAS SOUPS 648730 WITH SCORE 649518.557
AT ITER 3105 NEW BEST:: SOT 4416222 SOS 788647 HAS SOPS 788647 HAS SOUS 648605 HAS SOUPS 648605 WITH SCORE 649393.647
AT ITER 3130 NEW BEST:: SOT 4416067 SOS 788337 HAS SOPS 788337 HAS SOUS 648460 HAS SOUPS 648460 WITH SCORE 649248.337
AT ITER 3132 NEW BEST:: SOT 4415986 SOS 788256 HAS SOPS 788256 HAS SOUS 648379 HAS SOUPS 648379 WITH SCORE 649167.256
AT ITER 3148 NEW BEST:: SOT 4415985 SOS 788254 HAS SOPS 788254 HAS SOUS 648377 HAS SOUPS 648377 WITH SCORE 649165.254
AT ITER 3150 NEW BEST:: SOT 4415846 SOS 787976 HAS SOPS 787976 HAS SOUS 648099 HAS SOUPS 648099 WITH SCORE 648886.976
AT ITER 3151 NEW BEST:: SOT 4415667 SOS 787618 HAS SOPS 787618 HAS SOUS 647920 HAS SOUPS 647920 WITH SCORE 648707.618
AT ITER 3174 NEW BEST:: SOT 4415635 SOS 787554 HAS SOPS 787554 HAS SOUS 647856 HAS SOUPS 647856 WITH SCORE 648643.554
AT ITER 3175 NEW BEST:: SOT 4415635 SOS 787090 HAS SOPS 787090 HAS SOUS 647856 HAS SOUPS 647856 WITH SCORE 648643.09
AT ITER 3189 NEW BEST:: SOT 4416006 SOS 787022 HAS SOPS 787022 HAS SOUS 647846 HAS SOUPS 647846 WITH SCORE 648633.022
AT ITER 3202 NEW BEST:: SOT 4415794 SOS 786598 HAS SOPS 786598 HAS SOUS 647630 HAS SOUPS 647630 WITH SCORE 648416.598
AT ITER 3235 NEW BEST:: SOT 4415581 SOS 786116 HAS SOPS 786116 HAS SOUS 647371 HAS SOUPS 647371 WITH SCORE 648157.116
AT ITER 3237 NEW BEST:: SOT 4415580 SOS 786114 HAS SOPS 786114 HAS SOUS 647369 HAS SOUPS 647369 WITH SCORE 648155.114
AT ITER 3284 NEW BEST:: SOT 4415580 SOS 786074 HAS SOPS 786074 HAS SOUS 647368 HAS SOUPS 647368 WITH SCORE 648154.074
AT ITER 3290 NEW BEST:: SOT 4415546 SOS 786006 HAS SOPS 786006 HAS SOUS 647300 HAS SOUPS 647300 WITH SCORE 648086.006
AT ITER 3291 NEW BEST:: SOT 4415436 SOS 785786 HAS SOPS 785786 HAS SOUS 647189 HAS SOUPS 647189 WITH SCORE 647974.786
AT ITER 3314 NEW BEST:: SOT 4415313 SOS 785675 HAS SOPS 785675 HAS SOUS 647078 HAS SOUPS 647078 WITH SCORE 647863.675
AT ITER 3317 NEW BEST:: SOT 4415313 SOS 785675 HAS SOPS 785675 HAS SOUS 646965 HAS SOUPS 646965 WITH SCORE 647750.675
AT ITER 3332 NEW BEST:: SOT 4415387 SOS 785145 HAS SOPS 785145 HAS SOUS 646605 HAS SOUPS 646605 WITH SCORE 647390.145
AT ITER 3413 NEW BEST:: SOT 4415387 SOS 785144 HAS SOPS 785144 HAS SOUS 646604 HAS SOUPS 646604 WITH SCORE 647389.144
AT ITER 3419 NEW BEST:: SOT 4415475 SOS 785320 HAS SOPS 785320 HAS SOUS 646582 HAS SOUPS 646582 WITH SCORE 647367.32
AT ITER 3426 NEW BEST:: SOT 4415550 SOS 785394 HAS SOPS 785394 HAS SOUS 646580 HAS SOUPS 646580 WITH SCORE 647365.394
AT ITER 3431 NEW BEST:: SOT 4415550 SOS 785394 HAS SOPS 785394 HAS SOUS 646528 HAS SOUPS 646528 WITH SCORE 647313.394
AT ITER 3439 NEW BEST:: SOT 4415448 SOS 785388 HAS SOPS 785388 HAS SOUS 646492 HAS SOUPS 646492 WITH SCORE 647277.388
AT ITER 3482 NEW BEST:: SOT 4415355 SOS 785202 HAS SOPS 785202 HAS SOUS 646306 HAS SOUPS 646306 WITH SCORE 647091.202
AT ITER 3485 NEW BEST:: SOT 4415270 SOS 785032 HAS SOPS 785032 HAS SOUS 646136 HAS SOUPS 646136 WITH SCORE 646921.032
AT ITER 3518 NEW BEST:: SOT 4415269 SOS 785030 HAS SOPS 785030 HAS SOUS 646134 HAS SOUPS 646134 WITH SCORE 646919.03
AT ITER 3530 NEW BEST:: SOT 4415352 SOS 784824 HAS SOPS 784824 HAS SOUS 646031 HAS SOUPS 646031 WITH SCORE 646815.824
AT ITER 3534 NEW BEST:: SOT 4415334 SOS 784788 HAS SOPS 784788 HAS SOUS 645995 HAS SOUPS 645995 WITH SCORE 646779.788
AT ITER 3543 NEW BEST:: SOT 4415334 SOS 784518 HAS SOPS 784518 HAS SOUS 645725 HAS SOUPS 645725 WITH SCORE 646509.518
AT ITER 3549 NEW BEST:: SOT 4415334 SOS 784518 HAS SOPS 784518 HAS SOUS 645608 HAS SOUPS 645608 WITH SCORE 646392.518
AT ITER 3570 NEW BEST:: SOT 4415335 SOS 784519 HAS SOPS 784519 HAS SOUS 645598 HAS SOUPS 645598 WITH SCORE 646382.519
AT ITER 3593 NEW BEST:: SOT 4415173 SOS 784195 HAS SOPS 784195 HAS SOUS 645436 HAS SOUPS 645436 WITH SCORE 646220.195
AT ITER 3629 NEW BEST:: SOT 4415048 SOS 783945 HAS SOPS 783945 HAS SOUS 645186 HAS SOUPS 645186 WITH SCORE 645969.945
AT ITER 3639 NEW BEST:: SOT 4415024 SOS 783665 HAS SOPS 783665 HAS SOUS 645137 HAS SOUPS 645137 WITH SCORE 645920.665
AT ITER 3667 NEW BEST:: SOT 4415007 SOS 783631 HAS SOPS 783631 HAS SOUS 645103 HAS SOUPS 645103 WITH SCORE 645886.631
AT ITER 3710 NEW BEST:: SOT 4414962 SOS 783603 HAS SOPS 783603 HAS SOUS 645013 HAS SOUPS 645013 WITH SCORE 645796.603
AT ITER 3713 NEW BEST:: SOT 4414955 SOS 783596 HAS SOPS 783596 HAS SOUS 644999 HAS SOUPS 644999 WITH SCORE 645782.596
AT ITER 3714 NEW BEST:: SOT 4414407 SOS 783062 HAS SOPS 783062 HAS SOUS 644451 HAS SOUPS 644451 WITH SCORE 645234.062
AT ITER 3733 NEW BEST:: SOT 4414348 SOS 783025 HAS SOPS 783025 HAS SOUS 644414 HAS SOUPS 644414 WITH SCORE 645197.025
AT ITER 3738 NEW BEST:: SOT 4414348 SOS 783016 HAS SOPS 783016 HAS SOUS 644414 HAS SOUPS 644414 WITH SCORE 645197.016
AT ITER 3775 NEW BEST:: SOT 4414171 SOS 782990 HAS SOPS 782990 HAS SOUS 643972 HAS SOUPS 643972 WITH SCORE 644754.99
AT ITER 3781 NEW BEST:: SOT 4413709 SOS 782682 HAS SOPS 782682 HAS SOUS 643510 HAS SOUPS 643510 WITH SCORE 644292.682
AT ITER 3785 NEW BEST:: SOT 4413579 SOS 782422 HAS SOPS 782422 HAS SOUS 643380 HAS SOUPS 643380 WITH SCORE 644162.422
AT ITER 3786 NEW BEST:: SOT 4411403 SOS 796803 HAS SOPS 796803 HAS SOUS 641984 HAS SOUPS 641984 WITH SCORE 642780.803
AT ITER 3791 NEW BEST:: SOT 4411330 SOS 796815 HAS SOPS 796815 HAS SOUS 641911 HAS SOUPS 641911 WITH SCORE 642707.815
AT ITER 3805 NEW BEST:: SOT 4411323 SOS 796549 HAS SOPS 796549 HAS SOUS 641804 HAS SOUPS 641804 WITH SCORE 642600.549
AT ITER 3811 NEW BEST:: SOT 4411295 SOS 796465 HAS SOPS 796465 HAS SOUS 641748 HAS SOUPS 641748 WITH SCORE 642544.465
AT ITER 3855 NEW BEST:: SOT 4410795 SOS 796099 HAS SOPS 796099 HAS SOUS 640968 HAS SOUPS 640968 WITH SCORE 641764.099
AT ITER 3866 NEW BEST:: SOT 4410652 SOS 795813 HAS SOPS 795813 HAS SOUS 640825 HAS SOUPS 640825 WITH SCORE 641620.813
AT ITER 3885 NEW BEST:: SOT 4410628 SOS 795765 HAS SOPS 795765 HAS SOUS 640801 HAS SOUPS 640801 WITH SCORE 641596.765
AT ITER 3894 NEW BEST:: SOT 4410266 SOS 796024 HAS SOPS 796024 HAS SOUS 640633 HAS SOUPS 640633 WITH SCORE 641429.024
AT ITER 3912 NEW BEST:: SOT 4410261 SOS 795861 HAS SOPS 795861 HAS SOUS 640620 HAS SOUPS 640620 WITH SCORE 641415.861
AT ITER 3923 NEW BEST:: SOT 4410213 SOS 795765 HAS SOPS 795765 HAS SOUS 640524 HAS SOUPS 640524 WITH SCORE 641319.765
AT ITER 3956 NEW BEST:: SOT 4409630 SOS 795227 HAS SOPS 795227 HAS SOUS 639986 HAS SOUPS 639986 WITH SCORE 640781.227
AT ITER 3967 NEW BEST:: SOT 4409539 SOS 794876 HAS SOPS 794876 HAS SOUS 639726 HAS SOUPS 639726 WITH SCORE 640520.876
AT ITER 3988 NEW BEST:: SOT 4409539 SOS 794553 HAS SOPS 794553 HAS SOUS 639726 HAS SOUPS 639726 WITH SCORE 640520.553
AT ITER 3991 NEW BEST:: SOT 4409539 SOS 794553 HAS SOPS 794553 HAS SOUS 639619 HAS SOUPS 639619 WITH SCORE 640413.553
AT ITER 3997 NEW BEST:: SOT 4409303 SOS 794363 HAS SOPS 794363 HAS SOUS 639383 HAS SOUPS 639383 WITH SCORE 640177.363
AT ITER 4024 NEW BEST:: SOT 4409246 SOS 794249 HAS SOPS 794249 HAS SOUS 639379 HAS SOUPS 639379 WITH SCORE 640173.249
AT ITER 4036 NEW BEST:: SOT 4406977 SOS 794870 HAS SOPS 794870 HAS SOUS 637585 HAS SOUPS 637585 WITH SCORE 638379.87
AT ITER 4057 NEW BEST:: SOT 4406927 SOS 794770 HAS SOPS 794770 HAS SOUS 637485 HAS SOUPS 637485 WITH SCORE 638279.77
AT ITER 4069 NEW BEST:: SOT 4406716 SOS 794563 HAS SOPS 794563 HAS SOUS 637059 HAS SOUPS 637059 WITH SCORE 637853.563
AT ITER 4083 NEW BEST:: SOT 4406653 SOS 794500 HAS SOPS 794500 HAS SOUS 636996 HAS SOUPS 636996 WITH SCORE 637790.5
AT ITER 4096 NEW BEST:: SOT 4406489 SOS 794008 HAS SOPS 794008 HAS SOUS 636668 HAS SOUPS 636668 WITH SCORE 637462.008
AT ITER 4107 NEW BEST:: SOT 4406134 SOS 793653 HAS SOPS 793653 HAS SOUS 636558 HAS SOUPS 636558 WITH SCORE 637351.653
AT ITER 4112 NEW BEST:: SOT 4406133 SOS 793878 HAS SOPS 793878 HAS SOUS 636556 HAS SOUPS 636556 WITH SCORE 637349.878
AT ITER 4116 NEW BEST:: SOT 4405998 SOS 793750 HAS SOPS 793750 HAS SOUS 636428 HAS SOUPS 636428 WITH SCORE 637221.75
AT ITER 4117 NEW BEST:: SOT 4405953 SOS 793615 HAS SOPS 793615 HAS SOUS 636338 HAS SOUPS 636338 WITH SCORE 637131.615
AT ITER 4142 NEW BEST:: SOT 4405575 SOS 792859 HAS SOPS 792859 HAS SOUS 635960 HAS SOUPS 635960 WITH SCORE 636752.859
AT ITER 4151 NEW BEST:: SOT 4405521 SOS 792832 HAS SOPS 792832 HAS SOUS 635933 HAS SOUPS 635933 WITH SCORE 636725.832
AT ITER 4197 NEW BEST:: SOT 4405521 SOS 792832 HAS SOPS 792832 HAS SOUS 635771 HAS SOUPS 635771 WITH SCORE 636563.832
AT ITER 4220 NEW BEST:: SOT 4405493 SOS 792776 HAS SOPS 792776 HAS SOUS 635715 HAS SOUPS 635715 WITH SCORE 636507.776
AT ITER 4227 NEW BEST:: SOT 4405493 SOS 792776 HAS SOPS 792776 HAS SOUS 635473 HAS SOUPS 635473 WITH SCORE 636265.776
AT ITER 4233 NEW BEST:: SOT 4405487 SOS 792764 HAS SOPS 792764 HAS SOUS 635461 HAS SOUPS 635461 WITH SCORE 636253.764
AT ITER 4236 NEW BEST:: SOT 4405252 SOS 792294 HAS SOPS 792294 HAS SOUS 635083 HAS SOUPS 635083 WITH SCORE 635875.294
AT ITER 4248 NEW BEST:: SOT 4405265 SOS 792320 HAS SOPS 792320 HAS SOUS 634972 HAS SOUPS 634972 WITH SCORE 635764.32
AT ITER 4251 NEW BEST:: SOT 4405256 SOS 792293 HAS SOPS 792293 HAS SOUS 634954 HAS SOUPS 634954 WITH SCORE 635746.293
AT ITER 4264 NEW BEST:: SOT 4405256 SOS 792293 HAS SOPS 792293 HAS SOUS 634949 HAS SOUPS 634949 WITH SCORE 635741.293
AT ITER 4289 NEW BEST:: SOT 4405108 SOS 791997 HAS SOPS 791997 HAS SOUS 634653 HAS SOUPS 634653 WITH SCORE 635444.997
AT ITER 4304 NEW BEST:: SOT 4405083 SOS 791972 HAS SOPS 791972 HAS SOUS 634628 HAS SOUPS 634628 WITH SCORE 635419.972
AT ITER 4305 NEW BEST:: SOT 4405083 SOS 791886 HAS SOPS 791886 HAS SOUS 634628 HAS SOUPS 634628 WITH SCORE 635419.886
AT ITER 4309 NEW BEST:: SOT 4404818 SOS 791189 HAS SOPS 791189 HAS SOUS 634530 HAS SOUPS 634530 WITH SCORE 635321.189
AT ITER 4331 NEW BEST:: SOT 4404770 SOS 791093 HAS SOPS 791093 HAS SOUS 634434 HAS SOUPS 634434 WITH SCORE 635225.093
AT ITER 4344 NEW BEST:: SOT 4404548 SOS 790871 HAS SOPS 790871 HAS SOUS 634237 HAS SOUPS 634237 WITH SCORE 635027.871
AT ITER 4374 NEW BEST:: SOT 4404533 SOS 790721 HAS SOPS 790721 HAS SOUS 634207 HAS SOUPS 634207 WITH SCORE 634997.721
AT ITER 4402 NEW BEST:: SOT 4404306 SOS 789978 HAS SOPS 789978 HAS SOUS 633753 HAS SOUPS 633753 WITH SCORE 634542.978
AT ITER 4437 NEW BEST:: SOT 4404309 SOS 789974 HAS SOPS 789974 HAS SOUS 633749 HAS SOUPS 633749 WITH SCORE 634538.974
AT ITER 4457 NEW BEST:: SOT 4404167 SOS 789832 HAS SOPS 789832 HAS SOUS 633607 HAS SOUPS 633607 WITH SCORE 634396.832
AT ITER 4479 NEW BEST:: SOT 4404067 SOS 789632 HAS SOPS 789632 HAS SOUS 633457 HAS SOUPS 633457 WITH SCORE 634246.632
AT ITER 4484 NEW BEST:: SOT 4404067 SOS 789632 HAS SOPS 789632 HAS SOUS 633403 HAS SOUPS 633403 WITH SCORE 634192.632
AT ITER 4486 NEW BEST:: SOT 4404048 SOS 789594 HAS SOPS 789594 HAS SOUS 633384 HAS SOUPS 633384 WITH SCORE 634173.594
AT ITER 4488 NEW BEST:: SOT 4404000 SOS 789602 HAS SOPS 789602 HAS SOUS 633340 HAS SOUPS 633340 WITH SCORE 634129.602
AT ITER 4491 NEW BEST:: SOT 4404100 SOS 789452 HAS SOPS 789452 HAS SOUS 632987 HAS SOUPS 632987 WITH SCORE 633776.452
AT ITER 4500 NEW BEST:: SOT 4403584 SOS 788936 HAS SOPS 788936 HAS SOUS 632471 HAS SOUPS 632471 WITH SCORE 633259.936
AT ITER 4504 NEW BEST:: SOT 4403184 SOS 788536 HAS SOPS 788536 HAS SOUS 632071 HAS SOUPS 632071 WITH SCORE 632859.536
AT ITER 4508 NEW BEST:: SOT 4403162 SOS 788492 HAS SOPS 788492 HAS SOUS 632027 HAS SOUPS 632027 WITH SCORE 632815.492
AT ITER 4555 NEW BEST:: SOT 4402811 SOS 788141 HAS SOPS 788141 HAS SOUS 631676 HAS SOUPS 631676 WITH SCORE 632464.141
AT ITER 4561 NEW BEST:: SOT 4402768 SOS 788055 HAS SOPS 788055 HAS SOUS 631661 HAS SOUPS 631661 WITH SCORE 632449.055
AT ITER 4564 NEW BEST:: SOT 4402768 SOS 787856 HAS SOPS 787856 HAS SOUS 631660 HAS SOUPS 631660 WITH SCORE 632447.856
AT ITER 4594 NEW BEST:: SOT 4402711 SOS 787742 HAS SOPS 787742 HAS SOUS 631463 HAS SOUPS 631463 WITH SCORE 632250.742
AT ITER 4610 NEW BEST:: SOT 4402650 SOS 787620 HAS SOPS 787620 HAS SOUS 631432 HAS SOUPS 631432 WITH SCORE 632219.62
AT ITER 4611 NEW BEST:: SOT 4402401 SOS 787239 HAS SOPS 787239 HAS SOUS 631145 HAS SOUPS 631145 WITH SCORE 631932.239
AT ITER 4619 NEW BEST:: SOT 4402392 SOS 787125 HAS SOPS 787125 HAS SOUS 631127 HAS SOUPS 631127 WITH SCORE 631914.125
AT ITER 4649 NEW BEST:: SOT 4402233 SOS 786807 HAS SOPS 786807 HAS SOUS 630809 HAS SOUPS 630809 WITH SCORE 631595.807
AT ITER 4671 NEW BEST:: SOT 4402233 SOS 786810 HAS SOPS 786810 HAS SOUS 630808 HAS SOUPS 630808 WITH SCORE 631594.81
AT ITER 4713 NEW BEST:: SOT 4402110 SOS 786851 HAS SOPS 786851 HAS SOUS 630506 HAS SOUPS 630506 WITH SCORE 631292.851
AT ITER 4728 NEW BEST:: SOT 4402014 SOS 786755 HAS SOPS 786755 HAS SOUS 630378 HAS SOUPS 630378 WITH SCORE 631164.755
AT ITER 4765 NEW BEST:: SOT 4401895 SOS 786391 HAS SOPS 786391 HAS SOUS 630140 HAS SOUPS 630140 WITH SCORE 630926.391
AT ITER 4768 NEW BEST:: SOT 4401679 SOS 786321 HAS SOPS 786321 HAS SOUS 629924 HAS SOUPS 629924 WITH SCORE 630710.321
AT ITER 4788 NEW BEST:: SOT 4401604 SOS 786246 HAS SOPS 786246 HAS SOUS 629849 HAS SOUPS 629849 WITH SCORE 630635.246
AT ITER 4830 NEW BEST:: SOT 4401441 SOS 786082 HAS SOPS 786082 HAS SOUS 629685 HAS SOUPS 629685 WITH SCORE 630471.082
AT ITER 4866 NEW BEST:: SOT 4401440 SOS 786081 HAS SOPS 786081 HAS SOUS 629683 HAS SOUPS 629683 WITH SCORE 630469.081
AT ITER 4897 NEW BEST:: SOT 4401440 SOS 786068 HAS SOPS 786068 HAS SOUS 629670 HAS SOUPS 629670 WITH SCORE 630456.068
AT ITER 4928 NEW BEST:: SOT 4401410 SOS 785906 HAS SOPS 785906 HAS SOUS 629639 HAS SOUPS 629639 WITH SCORE 630424.906
AT ITER 4929 NEW BEST:: SOT 4401274 SOS 786048 HAS SOPS 786048 HAS SOUS 629602 HAS SOUPS 629602 WITH SCORE 630388.048
AT ITER 4980 NEW BEST:: SOT 4401306 SOS 785310 HAS SOPS 785310 HAS SOUS 629271 HAS SOUPS 629271 WITH SCORE 630056.31
AT ITER 4992 NEW BEST:: SOT 4401007 SOS 785287 HAS SOPS 785287 HAS SOUS 629087 HAS SOUPS 629087 WITH SCORE 629872.287
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-00 (AF(( ( (! potential( (tk(P1808)) <= (tk(P1457)) )) & ( potential( ( 2 ) <= (tk(P1813)) ) & potential( (tk(P895)) <= (tk(P491)) ) ) ) & potential( ( 3 ) <= (tk(P2470)) ) )))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-01 (! ( (! ( ( potential( (tk(P1147)) <= (tk(P2386)) ) | potential( (tk(P943)) <= (tk(P2554)) ) ) | ( potential( (tk(P1232)) <= (tk(P1759)) ) | potential( (tk(P2552)) <= (tk(P1061)) ) ) )) | (! (EF(potential( ( 1 ) <= (tk(P1014)) )))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-02 (AG( ( (! potential( (tk(P2223)) <= (tk(P2057)) )) | potential( (tk(P1305)) <= (tk(P960)) ) )))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-03 (AG( ( (AF(potential( (tk(P1693)) <= (tk(P1431)) ))) & (EF(potential( ( 3 ) <= (tk(P2578)) ))) )))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-04 (EU( ( ( potential( (tk(P2200)) <= (tk(P1783)) ) | potential( ( 2 ) <= (tk(P1267)) ) ) | ( potential( (tk(P2576)) <= (tk(P2188)) ) & potential( (tk(P463)) <= (tk(P1111)) ) ) ),(AX( potential( ( 1 ) <= (tk(P91)) ))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-05 ( (! (AG( (! potential( ( 1 ) <= (tk(P604)) ))))) & ( (AU( potential( (tk(P1882)) <= (tk(P1270)) ),potential( ( 1 ) <= (tk(P2426)) ) )) & ( ( ( potential( ( 3 ) <= (tk(P270)) ) & potential( ( 2 ) <= (tk(P1770)) ) ) & ( potential( ( 1 ) <= (tk(P249)) ) | potential( (tk(P1419)) <= (tk(P2226)) ) ) ) | (EG( potential( (tk(P2440)) <= (tk(P1642)) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-06 (EU( (! potential( (tk(P71)) <= (tk(P1248)) )),(EG( potential( (tk(P1973)) <= (tk(P1859)) ))) ))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-07 ( ( (! potential( ( 1 ) <= (tk(P134)) )) | (AU( potential( (tk(P1825)) <= (tk(P584)) ),potential( ( 1 ) <= (tk(P561)) ) )) ) & (EF((AX( potential( ( 2 ) <= (tk(P1292)) ))))) )
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-08 (EF((AG( ( potential( (tk(P2061)) <= (tk(P982)) ) & potential( (tk(P1572)) <= (tk(P1619)) ) )))))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-09 (EU( (! (! potential( (tk(P694)) <= (tk(P1673)) ))),(! ( potential( (tk(P1771)) <= (tk(P1719)) ) | potential( (tk(P1021)) <= (tk(P1458)) ) )) ))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-10 (AU( potential( (tk(P1445)) <= (tk(P1685)) ),potential( ( 2 ) <= (tk(P202)) ) ))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-11 (AX( (AF((! potential( (tk(P658)) <= (tk(P531)) ))))))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-12 ( (AX( (EG( potential( ( 2 ) <= (tk(P1217)) ))))) | (! (AU( potential( (tk(P2155)) <= (tk(P1173)) ),potential( ( 2 ) <= (tk(P367)) ) ))) )
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-13 (EF(potential( ( 1 ) <= (tk(P1599)) )))
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-14 ( ( (AF((! potential( ( 1 ) <= (tk(P35)) )))) & ( (! ( potential( ( 1 ) <= (tk(P1714)) ) & potential( ( 2 ) <= (tk(P450)) ) )) | (! potential( (tk(P1364)) <= (tk(P25)) )) ) ) & (AG( (EF(potential( ( 2 ) <= (tk(P1874)) ))))) )
PROPERTY: CloudReconfiguration-PT-306-CTLCardinality-15 (AF((! ( potential( (tk(P1739)) <= (tk(P164)) ) & ( potential( (tk(P1365)) <= (tk(P42)) ) | potential( (tk(P125)) <= (tk(P2580)) ) ) ))))
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-306"
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-306, 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-158902541600043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-306.tgz
mv CloudReconfiguration-PT-306 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 '
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 ;