About the Execution of smart for PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.980 | 3600000.00 | 3600059.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 '/local/x2003239/mcc2020-input.r108-csrt-158961250800635.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800635
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 4.0K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 27K Apr 10 23:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 10 23:35 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 4.2K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 9 12:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Apr 9 12:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K 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 PermAdmissibility-PT-10-CTLCardinality-00
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-01
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-02
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-03
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-04
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-05
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-06
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-07
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-08
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-09
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-10
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-11
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-12
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-13
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-14
FORMULA_NAME PermAdmissibility-PT-10-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589645225540
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 10
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 1 NEW BEST:: SOT 73550 SOS 47800 HAS SOPS 47800 HAS SOUS 28955 HAS SOUPS 28955 WITH SCORE 29002.8
AT ITER 6 NEW BEST:: SOT 73432 SOS 47686 HAS SOPS 47686 HAS SOUS 28848 HAS SOUPS 28848 WITH SCORE 28895.686
AT ITER 20 NEW BEST:: SOT 73200 SOS 47889 HAS SOPS 47889 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28793.889
AT ITER 21 NEW BEST:: SOT 73200 SOS 47889 HAS SOPS 47889 HAS SOUS 28727 HAS SOUPS 28727 WITH SCORE 28774.889
AT ITER 30 NEW BEST:: SOT 73200 SOS 48977 HAS SOPS 48977 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28736.977
AT ITER 32 NEW BEST:: SOT 72920 SOS 48777 HAS SOPS 48777 HAS SOUS 28480 HAS SOUPS 28480 WITH SCORE 28528.777
AT ITER 37 NEW BEST:: SOT 72704 SOS 48964 HAS SOPS 48964 HAS SOUS 28061 HAS SOUPS 28061 WITH SCORE 28109.964
AT ITER 38 NEW BEST:: SOT 72455 SOS 48744 HAS SOPS 48744 HAS SOUS 27821 HAS SOUPS 27821 WITH SCORE 27869.744
AT ITER 50 NEW BEST:: SOT 72443 SOS 48735 HAS SOPS 48735 HAS SOUS 27814 HAS SOUPS 27814 WITH SCORE 27862.735
AT ITER 51 NEW BEST:: SOT 72443 SOS 48735 HAS SOPS 48735 HAS SOUS 27435 HAS SOUPS 27435 WITH SCORE 27483.735
AT ITER 61 NEW BEST:: SOT 72371 SOS 48723 HAS SOPS 48723 HAS SOUS 27397 HAS SOUPS 27397 WITH SCORE 27445.723
AT ITER 65 NEW BEST:: SOT 72371 SOS 48723 HAS SOPS 48723 HAS SOUS 27395 HAS SOUPS 27395 WITH SCORE 27443.723
AT ITER 68 NEW BEST:: SOT 72125 SOS 48489 HAS SOPS 48489 HAS SOUS 27171 HAS SOUPS 27171 WITH SCORE 27219.489
AT ITER 70 NEW BEST:: SOT 72125 SOS 48489 HAS SOPS 48489 HAS SOUS 27005 HAS SOUPS 27005 WITH SCORE 27053.489
AT ITER 74 NEW BEST:: SOT 71845 SOS 47320 HAS SOPS 47320 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26895.32
AT ITER 81 NEW BEST:: SOT 71675 SOS 47891 HAS SOPS 47891 HAS SOUS 26710 HAS SOUPS 26710 WITH SCORE 26757.891
AT ITER 86 NEW BEST:: SOT 71517 SOS 48125 HAS SOPS 48125 HAS SOUS 26698 HAS SOUPS 26698 WITH SCORE 26746.125
AT ITER 88 NEW BEST:: SOT 71483 SOS 48103 HAS SOPS 48103 HAS SOUS 26670 HAS SOUPS 26670 WITH SCORE 26718.103
AT ITER 98 NEW BEST:: SOT 71348 SOS 48618 HAS SOPS 48618 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26668.618
AT ITER 100 NEW BEST:: SOT 70992 SOS 48668 HAS SOPS 48668 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26368.668
AT ITER 101 NEW BEST:: SOT 70992 SOS 48638 HAS SOPS 48638 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26362.638
AT ITER 115 NEW BEST:: SOT 70988 SOS 48664 HAS SOPS 48664 HAS SOUS 26308 HAS SOUPS 26308 WITH SCORE 26356.664
AT ITER 122 NEW BEST:: SOT 70558 SOS 48414 HAS SOPS 48414 HAS SOUS 26106 HAS SOUPS 26106 WITH SCORE 26154.414
AT ITER 124 NEW BEST:: SOT 69978 SOS 48193 HAS SOPS 48193 HAS SOUS 25771 HAS SOUPS 25771 WITH SCORE 25819.193
AT ITER 136 NEW BEST:: SOT 70019 SOS 48234 HAS SOPS 48234 HAS SOUS 25734 HAS SOUPS 25734 WITH SCORE 25782.234
AT ITER 139 NEW BEST:: SOT 69927 SOS 48142 HAS SOPS 48142 HAS SOUS 25371 HAS SOUPS 25371 WITH SCORE 25419.142
AT ITER 140 NEW BEST:: SOT 69932 SOS 48147 HAS SOPS 48147 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25406.147
AT ITER 143 NEW BEST:: SOT 69740 SOS 48065 HAS SOPS 48065 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25405.065
AT ITER 148 NEW BEST:: SOT 69740 SOS 48094 HAS SOPS 48094 HAS SOUS 25326 HAS SOUPS 25326 WITH SCORE 25374.094
AT ITER 149 NEW BEST:: SOT 69386 SOS 47816 HAS SOPS 47816 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25016.816
AT ITER 150 NEW BEST:: SOT 69372 SOS 47815 HAS SOPS 47815 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 25009.815
AT ITER 151 NEW BEST:: SOT 69339 SOS 47782 HAS SOPS 47782 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24803.782
AT ITER 153 NEW BEST:: SOT 69232 SOS 48125 HAS SOPS 48125 HAS SOUS 24697 HAS SOUPS 24697 WITH SCORE 24745.125
AT ITER 167 NEW BEST:: SOT 69231 SOS 48124 HAS SOPS 48124 HAS SOUS 24693 HAS SOUPS 24693 WITH SCORE 24741.124
AT ITER 168 NEW BEST:: SOT 69142 SOS 48308 HAS SOPS 48308 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 24685.308
AT ITER 169 NEW BEST:: SOT 69101 SOS 48267 HAS SOPS 48267 HAS SOUS 24508 HAS SOUPS 24508 WITH SCORE 24556.267
AT ITER 183 NEW BEST:: SOT 69137 SOS 48361 HAS SOPS 48361 HAS SOUS 24483 HAS SOUPS 24483 WITH SCORE 24531.361
AT ITER 190 NEW BEST:: SOT 69137 SOS 48361 HAS SOPS 48361 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24401.361
AT ITER 224 NEW BEST:: SOT 69251 SOS 48367 HAS SOPS 48367 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24352.367
AT ITER 229 NEW BEST:: SOT 69251 SOS 49453 HAS SOPS 49453 HAS SOUS 24247 HAS SOUPS 24247 WITH SCORE 24296.453
AT ITER 232 NEW BEST:: SOT 69251 SOS 49966 HAS SOPS 49966 HAS SOUS 24226 HAS SOUPS 24226 WITH SCORE 24275.966
AT ITER 240 NEW BEST:: SOT 69251 SOS 49966 HAS SOPS 49966 HAS SOUS 24206 HAS SOUPS 24206 WITH SCORE 24255.966
AT ITER 248 NEW BEST:: SOT 69007 SOS 49722 HAS SOPS 49722 HAS SOUS 24195 HAS SOUPS 24195 WITH SCORE 24244.722
AT ITER 252 NEW BEST:: SOT 69044 SOS 49486 HAS SOPS 49486 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24220.486
AT ITER 254 NEW BEST:: SOT 68923 SOS 49521 HAS SOPS 49521 HAS SOUS 24009 HAS SOUPS 24009 WITH SCORE 24058.521
AT ITER 273 NEW BEST:: SOT 68825 SOS 49453 HAS SOPS 49453 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 24015.453
AT ITER 277 NEW BEST:: SOT 68810 SOS 48549 HAS SOPS 48549 HAS SOUS 23905 HAS SOUPS 23905 WITH SCORE 23953.549
AT ITER 278 NEW BEST:: SOT 68810 SOS 48549 HAS SOPS 48549 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23858.549
AT ITER 292 NEW BEST:: SOT 68730 SOS 48357 HAS SOPS 48357 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23814.357
AT ITER 293 NEW BEST:: SOT 68736 SOS 48363 HAS SOPS 48363 HAS SOUS 23748 HAS SOUPS 23748 WITH SCORE 23796.363
AT ITER 302 NEW BEST:: SOT 68658 SOS 48358 HAS SOPS 48358 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23740.358
AT ITER 312 NEW BEST:: SOT 68660 SOS 48198 HAS SOPS 48198 HAS SOUS 23608 HAS SOUPS 23608 WITH SCORE 23656.198
AT ITER 315 NEW BEST:: SOT 68654 SOS 48192 HAS SOPS 48192 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23647.192
AT ITER 329 NEW BEST:: SOT 68630 SOS 48104 HAS SOPS 48104 HAS SOUS 23592 HAS SOUPS 23592 WITH SCORE 23640.104
AT ITER 338 NEW BEST:: SOT 68503 SOS 48301 HAS SOPS 48301 HAS SOUS 23572 HAS SOUPS 23572 WITH SCORE 23620.301
AT ITER 343 NEW BEST:: SOT 68503 SOS 47941 HAS SOPS 47941 HAS SOUS 23500 HAS SOUPS 23500 WITH SCORE 23547.941
AT ITER 347 NEW BEST:: SOT 68497 SOS 47935 HAS SOPS 47935 HAS SOUS 23476 HAS SOUPS 23476 WITH SCORE 23523.935
AT ITER 359 NEW BEST:: SOT 68357 SOS 47823 HAS SOPS 47823 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23388.823
AT ITER 364 NEW BEST:: SOT 68333 SOS 47799 HAS SOPS 47799 HAS SOUS 23293 HAS SOUPS 23293 WITH SCORE 23340.799
AT ITER 369 NEW BEST:: SOT 68283 SOS 47749 HAS SOPS 47749 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23290.749
AT ITER 371 NEW BEST:: SOT 68211 SOS 47677 HAS SOPS 47677 HAS SOUS 23173 HAS SOUPS 23173 WITH SCORE 23220.677
AT ITER 381 NEW BEST:: SOT 68211 SOS 47677 HAS SOPS 47677 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23193.677
AT ITER 384 NEW BEST:: SOT 68211 SOS 47691 HAS SOPS 47691 HAS SOUS 23090 HAS SOUPS 23090 WITH SCORE 23137.691
AT ITER 391 NEW BEST:: SOT 67770 SOS 47401 HAS SOPS 47401 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22840.401
AT ITER 423 NEW BEST:: SOT 67762 SOS 47393 HAS SOPS 47393 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22824.393
AT ITER 427 NEW BEST:: SOT 67746 SOS 47377 HAS SOPS 47377 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22808.377
AT ITER 441 NEW BEST:: SOT 67746 SOS 47377 HAS SOPS 47377 HAS SOUS 22755 HAS SOUPS 22755 WITH SCORE 22802.377
AT ITER 446 NEW BEST:: SOT 67746 SOS 47377 HAS SOPS 47377 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22794.377
AT ITER 447 NEW BEST:: SOT 67834 SOS 47693 HAS SOPS 47693 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22625.693
AT ITER 448 NEW BEST:: SOT 67816 SOS 47675 HAS SOPS 47675 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22607.675
AT ITER 451 NEW BEST:: SOT 67770 SOS 47629 HAS SOPS 47629 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22581.629
AT ITER 455 NEW BEST:: SOT 67770 SOS 47568 HAS SOPS 47568 HAS SOUS 22532 HAS SOUPS 22532 WITH SCORE 22579.568
AT ITER 462 NEW BEST:: SOT 67647 SOS 47732 HAS SOPS 47732 HAS SOUS 22486 HAS SOUPS 22486 WITH SCORE 22533.732
AT ITER 467 NEW BEST:: SOT 67476 SOS 47597 HAS SOPS 47597 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22432.597
AT ITER 484 NEW BEST:: SOT 67476 SOS 47597 HAS SOPS 47597 HAS SOUS 22156 HAS SOUPS 22156 WITH SCORE 22203.597
AT ITER 489 NEW BEST:: SOT 67269 SOS 47399 HAS SOPS 47399 HAS SOUS 21846 HAS SOUPS 21846 WITH SCORE 21893.399
AT ITER 520 NEW BEST:: SOT 67290 SOS 47690 HAS SOPS 47690 HAS SOUS 21817 HAS SOUPS 21817 WITH SCORE 21864.69
AT ITER 523 NEW BEST:: SOT 67310 SOS 47710 HAS SOPS 47710 HAS SOUS 21795 HAS SOUPS 21795 WITH SCORE 21842.71
AT ITER 533 NEW BEST:: SOT 67332 SOS 47166 HAS SOPS 47166 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21829.166
AT ITER 579 NEW BEST:: SOT 67296 SOS 47158 HAS SOPS 47158 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21724.158
AT ITER 583 NEW BEST:: SOT 67291 SOS 47186 HAS SOPS 47186 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21716.186
AT ITER 584 NEW BEST:: SOT 67284 SOS 47179 HAS SOPS 47179 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21714.179
AT ITER 593 NEW BEST:: SOT 67272 SOS 47173 HAS SOPS 47173 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21702.173
AT ITER 600 NEW BEST:: SOT 67272 SOS 47173 HAS SOPS 47173 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21694.173
AT ITER 601 NEW BEST:: SOT 67229 SOS 47175 HAS SOPS 47175 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21677.175
AT ITER 649 NEW BEST:: SOT 67229 SOS 47175 HAS SOPS 47175 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21675.175
AT ITER 670 NEW BEST:: SOT 67173 SOS 47129 HAS SOPS 47129 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21594.129
AT ITER 673 NEW BEST:: SOT 67178 SOS 47134 HAS SOPS 47134 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21569.134
AT ITER 674 NEW BEST:: SOT 67137 SOS 47435 HAS SOPS 47435 HAS SOUS 21207 HAS SOUPS 21207 WITH SCORE 21254.435
AT ITER 679 NEW BEST:: SOT 67042 SOS 47324 HAS SOPS 47324 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21183.324
AT ITER 680 NEW BEST:: SOT 67070 SOS 47341 HAS SOPS 47341 HAS SOUS 21122 HAS SOUPS 21122 WITH SCORE 21169.341
AT ITER 699 NEW BEST:: SOT 66984 SOS 47347 HAS SOPS 47347 HAS SOUS 20952 HAS SOUPS 20952 WITH SCORE 20999.347
AT ITER 709 NEW BEST:: SOT 66984 SOS 47347 HAS SOPS 47347 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20951.347
AT ITER 727 NEW BEST:: SOT 66984 SOS 47407 HAS SOPS 47407 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20927.407
AT ITER 735 NEW BEST:: SOT 66992 SOS 47447 HAS SOPS 47447 HAS SOUS 20859 HAS SOUPS 20859 WITH SCORE 20906.447
AT ITER 751 NEW BEST:: SOT 66980 SOS 47435 HAS SOPS 47435 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20882.435
AT ITER 762 NEW BEST:: SOT 66980 SOS 47435 HAS SOPS 47435 HAS SOUS 20794 HAS SOUPS 20794 WITH SCORE 20841.435
AT ITER 777 NEW BEST:: SOT 66893 SOS 47233 HAS SOPS 47233 HAS SOUS 20729 HAS SOUPS 20729 WITH SCORE 20776.233
AT ITER 781 NEW BEST:: SOT 66990 SOS 47626 HAS SOPS 47626 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20774.626
AT ITER 827 NEW BEST:: SOT 66984 SOS 47624 HAS SOPS 47624 HAS SOUS 20720 HAS SOUPS 20720 WITH SCORE 20767.624
AT ITER 838 NEW BEST:: SOT 66905 SOS 47712 HAS SOPS 47712 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20737.712
AT ITER 843 NEW BEST:: SOT 66885 SOS 47692 HAS SOPS 47692 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20674.692
AT ITER 855 NEW BEST:: SOT 66941 SOS 48452 HAS SOPS 48452 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20663.452
AT ITER 864 NEW BEST:: SOT 66949 SOS 48460 HAS SOPS 48460 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20655.46
AT ITER 887 NEW BEST:: SOT 66946 SOS 48457 HAS SOPS 48457 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20591.457
AT ITER 896 NEW BEST:: SOT 66952 SOS 48463 HAS SOPS 48463 HAS SOUS 20541 HAS SOUPS 20541 WITH SCORE 20589.463
AT ITER 906 NEW BEST:: SOT 66952 SOS 48463 HAS SOPS 48463 HAS SOUS 20520 HAS SOUPS 20520 WITH SCORE 20568.463
AT ITER 907 NEW BEST:: SOT 66952 SOS 48463 HAS SOPS 48463 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20560.463
AT ITER 929 NEW BEST:: SOT 66940 SOS 48451 HAS SOPS 48451 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20534.451
AT ITER 937 NEW BEST:: SOT 66799 SOS 48310 HAS SOPS 48310 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20421.31
AT ITER 951 NEW BEST:: SOT 66929 SOS 48281 HAS SOPS 48281 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20402.281
AT ITER 968 NEW BEST:: SOT 66931 SOS 48231 HAS SOPS 48231 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20372.231
AT ITER 989 NEW BEST:: SOT 66923 SOS 48223 HAS SOPS 48223 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20364.223
AT ITER 997 NEW BEST:: SOT 66677 SOS 48008 HAS SOPS 48008 HAS SOUS 20165 HAS SOUPS 20165 WITH SCORE 20213.008
AT ITER 1003 NEW BEST:: SOT 66677 SOS 48008 HAS SOPS 48008 HAS SOUS 20027 HAS SOUPS 20027 WITH SCORE 20075.008
AT ITER 1016 NEW BEST:: SOT 66517 SOS 47848 HAS SOPS 47848 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 20006.848
AT ITER 1032 NEW BEST:: SOT 66517 SOS 47848 HAS SOPS 47848 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 19976.848
AT ITER 1044 NEW BEST:: SOT 66503 SOS 47834 HAS SOPS 47834 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19958.834
AT ITER 1052 NEW BEST:: SOT 66507 SOS 47838 HAS SOPS 47838 HAS SOUS 19863 HAS SOUPS 19863 WITH SCORE 19910.838
AT ITER 1059 NEW BEST:: SOT 66507 SOS 47862 HAS SOPS 47862 HAS SOUS 19859 HAS SOUPS 19859 WITH SCORE 19906.862
AT ITER 1091 NEW BEST:: SOT 66499 SOS 47851 HAS SOPS 47851 HAS SOUS 19850 HAS SOUPS 19850 WITH SCORE 19897.851
AT ITER 1125 NEW BEST:: SOT 66179 SOS 47524 HAS SOPS 47524 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19727.524
AT ITER 1133 NEW BEST:: SOT 66139 SOS 47491 HAS SOPS 47491 HAS SOUS 19655 HAS SOUPS 19655 WITH SCORE 19702.491
AT ITER 1167 NEW BEST:: SOT 66139 SOS 47491 HAS SOPS 47491 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19651.491
AT ITER 1182 NEW BEST:: SOT 66045 SOS 47397 HAS SOPS 47397 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19585.397
AT ITER 1230 NEW BEST:: SOT 66145 SOS 47520 HAS SOPS 47520 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19582.52
AT ITER 1294 NEW BEST:: SOT 66145 SOS 47520 HAS SOPS 47520 HAS SOUS 19531 HAS SOUPS 19531 WITH SCORE 19578.52
AT ITER 1318 NEW BEST:: SOT 66110 SOS 47485 HAS SOPS 47485 HAS SOUS 19496 HAS SOUPS 19496 WITH SCORE 19543.485
AT ITER 1334 NEW BEST:: SOT 65958 SOS 47333 HAS SOPS 47333 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19391.333
AT ITER 1347 NEW BEST:: SOT 65933 SOS 47308 HAS SOPS 47308 HAS SOUS 19319 HAS SOUPS 19319 WITH SCORE 19366.308
AT ITER 1351 NEW BEST:: SOT 65933 SOS 47206 HAS SOPS 47206 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19363.206
AT ITER 1363 NEW BEST:: SOT 65933 SOS 47206 HAS SOPS 47206 HAS SOUS 19296 HAS SOUPS 19296 WITH SCORE 19343.206
AT ITER 1367 NEW BEST:: SOT 65829 SOS 47102 HAS SOPS 47102 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19239.102
AT ITER 1371 NEW BEST:: SOT 65807 SOS 47099 HAS SOPS 47099 HAS SOUS 19170 HAS SOUPS 19170 WITH SCORE 19217.099
AT ITER 1385 NEW BEST:: SOT 65801 SOS 47130 HAS SOPS 47130 HAS SOUS 19156 HAS SOUPS 19156 WITH SCORE 19203.13
AT ITER 1447 NEW BEST:: SOT 65799 SOS 47128 HAS SOPS 47128 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19199.128
AT ITER 1465 NEW BEST:: SOT 65791 SOS 47120 HAS SOPS 47120 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19199.12
AT ITER 1501 NEW BEST:: SOT 65789 SOS 47126 HAS SOPS 47126 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19196.126
AT ITER 1522 NEW BEST:: SOT 65638 SOS 47256 HAS SOPS 47256 HAS SOUS 19100 HAS SOUPS 19100 WITH SCORE 19147.256
AT ITER 1534 NEW BEST:: SOT 65638 SOS 47259 HAS SOPS 47259 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19140.259
AT ITER 1553 NEW BEST:: SOT 65637 SOS 47258 HAS SOPS 47258 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19139.258
AT ITER 1571 NEW BEST:: SOT 65603 SOS 47224 HAS SOPS 47224 HAS SOUS 19058 HAS SOUPS 19058 WITH SCORE 19105.224
AT ITER 1580 NEW BEST:: SOT 65603 SOS 47224 HAS SOPS 47224 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19099.224
AT ITER 1587 NEW BEST:: SOT 65603 SOS 47224 HAS SOPS 47224 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19059.224
AT ITER 1588 NEW BEST:: SOT 65567 SOS 47190 HAS SOPS 47190 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 19007.19
AT ITER 1625 NEW BEST:: SOT 65591 SOS 47214 HAS SOPS 47214 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18959.214
AT ITER 1636 NEW BEST:: SOT 65591 SOS 47214 HAS SOPS 47214 HAS SOUS 18904 HAS SOUPS 18904 WITH SCORE 18951.214
AT ITER 1674 NEW BEST:: SOT 65581 SOS 47179 HAS SOPS 47179 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18939.179
AT ITER 1682 NEW BEST:: SOT 65450 SOS 47048 HAS SOPS 47048 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18807.048
AT ITER 1737 NEW BEST:: SOT 65443 SOS 47041 HAS SOPS 47041 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18790.041
AT ITER 1756 NEW BEST:: SOT 65418 SOS 47016 HAS SOPS 47016 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18789.016
AT ITER 1876 NEW BEST:: SOT 65378 SOS 46976 HAS SOPS 46976 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18786.976
AT ITER 1940 NEW BEST:: SOT 65379 SOS 46977 HAS SOPS 46977 HAS SOUS 18733 HAS SOUPS 18733 WITH SCORE 18779.977
AT ITER 1966 NEW BEST:: SOT 65384 SOS 46982 HAS SOPS 46982 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18770.982
AT ITER 1995 NEW BEST:: SOT 65384 SOS 46982 HAS SOPS 46982 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18764.982
AT ITER 2010 NEW BEST:: SOT 65384 SOS 46982 HAS SOPS 46982 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18761.982
AT ITER 2018 NEW BEST:: SOT 65370 SOS 46968 HAS SOPS 46968 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18730.968
AT ITER 2025 NEW BEST:: SOT 65370 SOS 46616 HAS SOPS 46616 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18729.616
AT ITER 2031 NEW BEST:: SOT 65372 SOS 46618 HAS SOPS 46618 HAS SOUS 18679 HAS SOUPS 18679 WITH SCORE 18725.618
AT ITER 2074 NEW BEST:: SOT 65366 SOS 46612 HAS SOPS 46612 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18701.612
AT ITER 2133 NEW BEST:: SOT 65361 SOS 46607 HAS SOPS 46607 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18685.607
AT ITER 2165 NEW BEST:: SOT 65368 SOS 46614 HAS SOPS 46614 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18668.614
AT ITER 2178 NEW BEST:: SOT 65328 SOS 46449 HAS SOPS 46449 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18623.449
AT ITER 2199 NEW BEST:: SOT 65328 SOS 46434 HAS SOPS 46434 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18618.434
AT ITER 2222 NEW BEST:: SOT 65317 SOS 46433 HAS SOPS 46433 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18612.433
AT ITER 2235 NEW BEST:: SOT 65321 SOS 46397 HAS SOPS 46397 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18598.397
AT ITER 2316 NEW BEST:: SOT 65346 SOS 46294 HAS SOPS 46294 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18506.294
AT ITER 2428 NEW BEST:: SOT 65346 SOS 45590 HAS SOPS 45590 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18505.59
AT ITER 2450 NEW BEST:: SOT 65347 SOS 45608 HAS SOPS 45608 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18503.608
AT ITER 2463 NEW BEST:: SOT 65322 SOS 45527 HAS SOPS 45527 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18491.527
AT ITER 2506 NEW BEST:: SOT 65306 SOS 45511 HAS SOPS 45511 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18475.511
AT ITER 2515 NEW BEST:: SOT 65340 SOS 45508 HAS SOPS 45508 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18467.508
AT ITER 2529 NEW BEST:: SOT 65371 SOS 45594 HAS SOPS 45594 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18456.594
AT ITER 2609 NEW BEST:: SOT 65370 SOS 45593 HAS SOPS 45593 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18435.593
AT ITER 2636 NEW BEST:: SOT 65286 SOS 45494 HAS SOPS 45494 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18422.494
AT ITER 2733 NEW BEST:: SOT 65286 SOS 45374 HAS SOPS 45374 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18422.374
AT ITER 2747 NEW BEST:: SOT 65279 SOS 45367 HAS SOPS 45367 HAS SOUS 18370 HAS SOUPS 18370 WITH SCORE 18415.367
AT ITER 2748 NEW BEST:: SOT 65304 SOS 45493 HAS SOPS 45493 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18362.493
AT ITER 2773 NEW BEST:: SOT 65336 SOS 45607 HAS SOPS 45607 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18359.607
AT ITER 2794 NEW BEST:: SOT 65336 SOS 45607 HAS SOPS 45607 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18344.607
AT ITER 2803 NEW BEST:: SOT 65336 SOS 45607 HAS SOPS 45607 HAS SOUS 18298 HAS SOUPS 18298 WITH SCORE 18343.607
AT ITER 2826 NEW BEST:: SOT 65336 SOS 45571 HAS SOPS 45571 HAS SOUS 18298 HAS SOUPS 18298 WITH SCORE 18343.571
AT ITER 2851 NEW BEST:: SOT 65252 SOS 45291 HAS SOPS 45291 HAS SOUS 18236 HAS SOUPS 18236 WITH SCORE 18281.291
AT ITER 2907 NEW BEST:: SOT 65206 SOS 45177 HAS SOPS 45177 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18280.177
AT ITER 2935 NEW BEST:: SOT 65186 SOS 45165 HAS SOPS 45165 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18274.165
AT ITER 2994 NEW BEST:: SOT 65186 SOS 45610 HAS SOPS 45610 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18271.61
AT ITER 2997 NEW BEST:: SOT 65132 SOS 45690 HAS SOPS 45690 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18269.69
AT ITER 3062 NEW BEST:: SOT 65132 SOS 45740 HAS SOPS 45740 HAS SOUS 18197 HAS SOUPS 18197 WITH SCORE 18242.74
AT ITER 3075 NEW BEST:: SOT 65142 SOS 45750 HAS SOPS 45750 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18237.75
AT ITER 3089 NEW BEST:: SOT 65144 SOS 45736 HAS SOPS 45736 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18219.736
AT ITER 3121 NEW BEST:: SOT 65197 SOS 45741 HAS SOPS 45741 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18201.741
AT ITER 3172 NEW BEST:: SOT 65197 SOS 45741 HAS SOPS 45741 HAS SOUS 18130 HAS SOUPS 18130 WITH SCORE 18175.741
AT ITER 3218 NEW BEST:: SOT 65191 SOS 45736 HAS SOPS 45736 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18166.736
AT ITER 3288 NEW BEST:: SOT 65191 SOS 45712 HAS SOPS 45712 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18165.712
AT ITER 3291 NEW BEST:: SOT 65191 SOS 45712 HAS SOPS 45712 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18163.712
AT ITER 3312 NEW BEST:: SOT 65166 SOS 45687 HAS SOPS 45687 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18138.687
AT ITER 3341 NEW BEST:: SOT 65153 SOS 45674 HAS SOPS 45674 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18125.674
AT ITER 3402 NEW BEST:: SOT 65139 SOS 45649 HAS SOPS 45649 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18082.649
AT ITER 3434 NEW BEST:: SOT 65139 SOS 45649 HAS SOPS 45649 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18060.649
AT ITER 3466 NEW BEST:: SOT 65123 SOS 45633 HAS SOPS 45633 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18056.633
AT ITER 3467 NEW BEST:: SOT 65134 SOS 45638 HAS SOPS 45638 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18053.638
AT ITER 3502 NEW BEST:: SOT 65137 SOS 45641 HAS SOPS 45641 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18040.641
AT ITER 3503 NEW BEST:: SOT 65084 SOS 45609 HAS SOPS 45609 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 18007.609
AT ITER 3574 NEW BEST:: SOT 65090 SOS 45615 HAS SOPS 45615 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 18005.615
AT ITER 3578 NEW BEST:: SOT 65090 SOS 45807 HAS SOPS 45807 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17990.807
AT ITER 3595 NEW BEST:: SOT 65090 SOS 45778 HAS SOPS 45778 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17987.778
AT ITER 3615 NEW BEST:: SOT 65093 SOS 45973 HAS SOPS 45973 HAS SOUS 17937 HAS SOUPS 17937 WITH SCORE 17982.973
AT ITER 3674 NEW BEST:: SOT 65101 SOS 45981 HAS SOPS 45981 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 17974.981
AT ITER 3675 NEW BEST:: SOT 65205 SOS 47287 HAS SOPS 47287 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17946.287
AT ITER 3690 NEW BEST:: SOT 65049 SOS 47112 HAS SOPS 47112 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17773.112
AT ITER 3693 NEW BEST:: SOT 65049 SOS 47112 HAS SOPS 47112 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17771.112
AT ITER 3719 NEW BEST:: SOT 64983 SOS 46975 HAS SOPS 46975 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17749.975
AT ITER 3722 NEW BEST:: SOT 64973 SOS 47009 HAS SOPS 47009 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17738.009
AT ITER 3731 NEW BEST:: SOT 64973 SOS 47009 HAS SOPS 47009 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17722.009
AT ITER 3749 NEW BEST:: SOT 64973 SOS 47009 HAS SOPS 47009 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17709.009
AT ITER 3752 NEW BEST:: SOT 64959 SOS 46973 HAS SOPS 46973 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17689.973
AT ITER 3799 NEW BEST:: SOT 64959 SOS 46943 HAS SOPS 46943 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17685.943
AT ITER 3803 NEW BEST:: SOT 64928 SOS 46927 HAS SOPS 46927 HAS SOUS 17624 HAS SOUPS 17624 WITH SCORE 17670.927
AT ITER 3839 NEW BEST:: SOT 65021 SOS 47021 HAS SOPS 47021 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17668.021
AT ITER 3865 NEW BEST:: SOT 65021 SOS 47005 HAS SOPS 47005 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17668.005
AT ITER 3915 NEW BEST:: SOT 65021 SOS 48301 HAS SOPS 48301 HAS SOUS 17603 HAS SOUPS 17603 WITH SCORE 17651.301
AT ITER 3979 NEW BEST:: SOT 65021 SOS 48301 HAS SOPS 48301 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17649.301
AT ITER 4041 NEW BEST:: SOT 65021 SOS 48301 HAS SOPS 48301 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17634.301
AT ITER 4060 NEW BEST:: SOT 64941 SOS 48221 HAS SOPS 48221 HAS SOUS 17574 HAS SOUPS 17574 WITH SCORE 17622.221
AT ITER 4061 NEW BEST:: SOT 64941 SOS 47429 HAS SOPS 47429 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17616.429
AT ITER 4064 NEW BEST:: SOT 64866 SOS 47266 HAS SOPS 47266 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17605.266
AT ITER 4121 NEW BEST:: SOT 64752 SOS 47152 HAS SOPS 47152 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17515.152
AT ITER 4125 NEW BEST:: SOT 64833 SOS 48304 HAS SOPS 48304 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17508.304
AT ITER 4179 NEW BEST:: SOT 64819 SOS 48290 HAS SOPS 48290 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17480.29
AT ITER 4196 NEW BEST:: SOT 64874 SOS 48799 HAS SOPS 48799 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17465.799
AT ITER 4198 NEW BEST:: SOT 64874 SOS 48415 HAS SOPS 48415 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17459.415
AT ITER 4204 NEW BEST:: SOT 64872 SOS 48419 HAS SOPS 48419 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17457.419
AT ITER 4233 NEW BEST:: SOT 64858 SOS 48424 HAS SOPS 48424 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17454.424
AT ITER 4248 NEW BEST:: SOT 64841 SOS 48407 HAS SOPS 48407 HAS SOUS 17405 HAS SOUPS 17405 WITH SCORE 17453.407
AT ITER 4321 NEW BEST:: SOT 64817 SOS 48439 HAS SOPS 48439 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17392.439
AT ITER 4333 NEW BEST:: SOT 64770 SOS 48399 HAS SOPS 48399 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17382.399
AT ITER 4362 NEW BEST:: SOT 64771 SOS 48865 HAS SOPS 48865 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17376.865
AT ITER 4430 NEW BEST:: SOT 64756 SOS 48850 HAS SOPS 48850 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17361.85
AT ITER 4453 NEW BEST:: SOT 64766 SOS 48860 HAS SOPS 48860 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17350.86
AT ITER 4456 NEW BEST:: SOT 64708 SOS 48814 HAS SOPS 48814 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17235.814
AT ITER 4527 NEW BEST:: SOT 64708 SOS 48817 HAS SOPS 48817 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17232.817
AT ITER 4602 NEW BEST:: SOT 64710 SOS 48798 HAS SOPS 48798 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17201.798
AT ITER 4603 NEW BEST:: SOT 64694 SOS 48782 HAS SOPS 48782 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17201.782
AT ITER 4607 NEW BEST:: SOT 64686 SOS 48774 HAS SOPS 48774 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17199.774
AT ITER 4634 NEW BEST:: SOT 64672 SOS 48739 HAS SOPS 48739 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17178.739
AT ITER 4660 NEW BEST:: SOT 64666 SOS 48731 HAS SOPS 48731 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17172.731
AT ITER 4669 NEW BEST:: SOT 64664 SOS 48731 HAS SOPS 48731 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17171.731
AT ITER 4738 NEW BEST:: SOT 64662 SOS 48729 HAS SOPS 48729 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17168.729
AT ITER 4810 NEW BEST:: SOT 64646 SOS 48713 HAS SOPS 48713 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17152.713
AT ITER 4832 NEW BEST:: SOT 64646 SOS 48265 HAS SOPS 48265 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17152.265
AT ITER 4841 NEW BEST:: SOT 64634 SOS 48253 HAS SOPS 48253 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17152.253
AT ITER 4882 NEW BEST:: SOT 64626 SOS 48245 HAS SOPS 48245 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17136.245
AT ITER 4886 NEW BEST:: SOT 64626 SOS 48165 HAS SOPS 48165 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17135.165
AT ITER 4901 NEW BEST:: SOT 64626 SOS 48237 HAS SOPS 48237 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17134.237
AT ITER 4904 NEW BEST:: SOT 64665 SOS 48548 HAS SOPS 48548 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17080.548
AT ITER 4912 NEW BEST:: SOT 64680 SOS 48563 HAS SOPS 48563 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17057.563
AT ITER 4936 NEW BEST:: SOT 64702 SOS 48585 HAS SOPS 48585 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17055.585
AT ITER 4983 NEW BEST:: SOT 64700 SOS 48592 HAS SOPS 48592 HAS SOUS 16995 HAS SOUPS 16995 WITH SCORE 17043.592
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-00 (AF((EU( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8)) <= (tk(P58) + tk(P59) + tk(P60) + tk(P62) + tk(P66) + tk(P67) + tk(P68) + tk(P69)) ),potential( ( 3 ) <= (tk(P117)) ) ))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-01 ( ( (AF(( potential( (tk(P160)) <= (tk(P148) + tk(P149)) ) | potential( (tk(P64) + tk(P65) + tk(P70) + tk(P71) + tk(P74) + tk(P75) + tk(P76) + tk(P77)) <= (tk(P42) + tk(P43) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P53)) ) ))) & (! (EX( potential( (tk(P148) + tk(P149)) <= (tk(P81)) )))) ) & (! (AU( potential( (tk(P158)) <= (tk(P148) + tk(P149)) ),potential( (tk(P146) + tk(P147)) <= (tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P125)) ) ))) )
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-02 (! ( (EF(( potential( (tk(P124)) <= (tk(P146) + tk(P147)) ) | potential( (tk(P102) + tk(P104) + tk(P105) + tk(P107)) <= (tk(P129)) ) ))) & (EF(( potential( ( 1 ) <= (tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P125)) ) & potential( (tk(P166)) <= (tk(P124)) ) ))) ))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-03 (! ( (EF(( potential( ( 1 ) <= (tk(P164)) ) & potential( ( 2 ) <= (tk(P34) + tk(P35) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P44)) ) ))) | (EG( ( potential( ( 1 ) <= (tk(P88) + tk(P94) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101)) ) & potential( (tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P17)) <= (tk(P95) + tk(P106) + tk(P108) + tk(P109)) ) ))) ))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-04 (AG( (AF(( potential( ( 1 ) <= (tk(P124)) ) | potential( (tk(P36)) <= (tk(P161) + tk(P162)) ) )))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-05 (EG( ( (AF(potential( ( 2 ) <= (tk(P159)) ))) & (AF(potential( ( 2 ) <= (tk(P117)) ))) )))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-06 (! (AF((AG( potential( ( 3 ) <= (tk(P95) + tk(P106) + tk(P108) + tk(P109)) ))))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-07 (! (AG( (EF(potential( (tk(P160)) <= (tk(P128) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P150) + tk(P151) + tk(P152)) ))))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-08 (AF(( (EX( potential( (tk(P87)) <= (tk(P153)) ))) & (EX( potential( ( 2 ) <= (tk(P42)) ))) )))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-09 (AG( potential( (tk(P59)) <= (tk(P9)) )))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-10 (AU( potential( ( 3 ) <= (tk(P95)) ),(AG( potential( (tk(P66)) <= (tk(P160)) ))) ))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-11 (EX( (EF(( potential( ( 1 ) <= (tk(P82)) ) & potential( ( 1 ) <= (tk(P53)) ) )))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-12 ( (EF((! ( potential( ( 2 ) <= (tk(P160)) ) | potential( ( 2 ) <= (tk(P42)) ) )))) & ( (EX( potential( (tk(P69)) <= (tk(P37)) ))) & (AF((! potential( (tk(P32)) <= (tk(P67)) )))) ) )
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-13 (AX( (AG( (! potential( ( 2 ) <= (tk(P160)) ))))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-14 (EG( (EX( potential( (tk(P65)) <= (tk(P160)) )))))
PROPERTY: PermAdmissibility-PT-10-CTLCardinality-15 (! ( (EF(potential( ( 1 ) <= (tk(P38)) ))) | ( (EF(potential( ( 3 ) <= (tk(P135)) ))) & (! (! potential( ( 2 ) <= (tk(P3)) ))) ) ))
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="PermAdmissibility-PT-10"
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 PermAdmissibility-PT-10, 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 r108-csrt-158961250800635"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-10.tgz
mv PermAdmissibility-PT-10 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 ;