Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.6K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 24 05:38 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 SimpleLoadBal-PT-20-CTLFireability-00
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-01
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-02
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-03
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-04
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-05
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-06
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-07
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-08
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-09
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-10
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-11
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-12
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-13
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-14
FORMULA_NAME SimpleLoadBal-PT-20-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589747467010

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 20
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 194 places, 2205 transitions, 15678 arcs.
AT ITER 0 NEW BEST:: SOT 413187 SOS 262429 HAS SOPS 250665 HAS SOUS 169355 HAS SOUPS 169025 WITH SCORE 169287.429
AT ITER 11 NEW BEST:: SOT 413180 SOS 262450 HAS SOPS 250686 HAS SOUS 169268 HAS SOUPS 168938 WITH SCORE 169200.45
AT ITER 13 NEW BEST:: SOT 413171 SOS 262465 HAS SOPS 250701 HAS SOUS 169179 HAS SOUPS 168849 WITH SCORE 169111.465
AT ITER 17 NEW BEST:: SOT 413180 SOS 262483 HAS SOPS 250719 HAS SOUS 169143 HAS SOUPS 168813 WITH SCORE 169075.483
AT ITER 18 NEW BEST:: SOT 413162 SOS 262447 HAS SOPS 250683 HAS SOUS 169107 HAS SOUPS 168777 WITH SCORE 169039.447
AT ITER 22 NEW BEST:: SOT 413122 SOS 262407 HAS SOPS 250643 HAS SOUS 169067 HAS SOUPS 168737 WITH SCORE 168999.407
AT ITER 28 NEW BEST:: SOT 413128 SOS 262402 HAS SOPS 250638 HAS SOUS 169062 HAS SOUPS 168732 WITH SCORE 168994.402
AT ITER 29 NEW BEST:: SOT 413103 SOS 262352 HAS SOPS 250588 HAS SOUS 168792 HAS SOUPS 168462 WITH SCORE 168724.352
AT ITER 33 NEW BEST:: SOT 413103 SOS 262348 HAS SOPS 250584 HAS SOUS 168788 HAS SOUPS 168458 WITH SCORE 168720.348
AT ITER 35 NEW BEST:: SOT 413103 SOS 262348 HAS SOPS 250584 HAS SOUS 168668 HAS SOUPS 168338 WITH SCORE 168600.348
AT ITER 38 NEW BEST:: SOT 413047 SOS 262344 HAS SOPS 250539 HAS SOUS 168648 HAS SOUPS 168317 WITH SCORE 168579.344
AT ITER 39 NEW BEST:: SOT 412997 SOS 262256 HAS SOPS 250451 HAS SOUS 168180 HAS SOUPS 167849 WITH SCORE 168111.256
AT ITER 40 NEW BEST:: SOT 412987 SOS 262246 HAS SOPS 250441 HAS SOUS 168170 HAS SOUPS 167839 WITH SCORE 168101.246
AT ITER 44 NEW BEST:: SOT 412947 SOS 262206 HAS SOPS 250401 HAS SOUS 167382 HAS SOUPS 167051 WITH SCORE 167313.206
AT ITER 51 NEW BEST:: SOT 412862 SOS 264062 HAS SOPS 252785 HAS SOUS 167159 HAS SOUPS 166830 WITH SCORE 167094.062
AT ITER 61 NEW BEST:: SOT 412892 SOS 264122 HAS SOPS 252845 HAS SOUS 165879 HAS SOUPS 165550 WITH SCORE 165814.122
AT ITER 66 NEW BEST:: SOT 412859 SOS 264104 HAS SOPS 252827 HAS SOUS 165861 HAS SOUPS 165532 WITH SCORE 165796.104
AT ITER 67 NEW BEST:: SOT 412859 SOS 264104 HAS SOPS 252827 HAS SOUS 165833 HAS SOUPS 165504 WITH SCORE 165768.104
AT ITER 71 NEW BEST:: SOT 413488 SOS 256733 HAS SOPS 239220 HAS SOUS 161457 HAS SOUPS 155570 WITH SCORE 155826.733
AT ITER 73 NEW BEST:: SOT 413409 SOS 256651 HAS SOPS 239102 HAS SOUS 161321 HAS SOUPS 155522 WITH SCORE 155778.651
AT ITER 77 NEW BEST:: SOT 413367 SOS 256651 HAS SOPS 239062 HAS SOUS 161313 HAS SOUPS 155517 WITH SCORE 155773.651
AT ITER 81 NEW BEST:: SOT 413328 SOS 256573 HAS SOPS 238984 HAS SOUS 160835 HAS SOUPS 155039 WITH SCORE 155295.573
AT ITER 88 NEW BEST:: SOT 413344 SOS 256605 HAS SOPS 239016 HAS SOUS 160579 HAS SOUPS 154783 WITH SCORE 155039.605
AT ITER 91 NEW BEST:: SOT 413344 SOS 256605 HAS SOPS 239016 HAS SOUS 159037 HAS SOUPS 153241 WITH SCORE 153497.605
AT ITER 92 NEW BEST:: SOT 413255 SOS 256120 HAS SOPS 238242 HAS SOUS 158829 HAS SOUPS 153140 WITH SCORE 153396.12
AT ITER 96 NEW BEST:: SOT 413289 SOS 256154 HAS SOPS 238276 HAS SOUS 157083 HAS SOUPS 151394 WITH SCORE 151650.154
AT ITER 99 NEW BEST:: SOT 413245 SOS 256110 HAS SOPS 238232 HAS SOUS 156639 HAS SOUPS 150950 WITH SCORE 151206.11
AT ITER 100 NEW BEST:: SOT 413245 SOS 256136 HAS SOPS 238258 HAS SOUS 154945 HAS SOUPS 149256 WITH SCORE 149512.136
AT ITER 101 NEW BEST:: SOT 413142 SOS 253518 HAS SOPS 236709 HAS SOUS 154723 HAS SOUPS 149139 WITH SCORE 149392.518
AT ITER 106 NEW BEST:: SOT 413144 SOS 253526 HAS SOPS 236717 HAS SOUS 154719 HAS SOUPS 149135 WITH SCORE 149388.526
AT ITER 109 NEW BEST:: SOT 413144 SOS 253526 HAS SOPS 236717 HAS SOUS 154551 HAS SOUPS 148967 WITH SCORE 149220.526
AT ITER 110 NEW BEST:: SOT 413144 SOS 253537 HAS SOPS 236728 HAS SOUS 154490 HAS SOUPS 148906 WITH SCORE 149159.537
AT ITER 112 NEW BEST:: SOT 413144 SOS 253503 HAS SOPS 236694 HAS SOUS 154456 HAS SOUPS 148872 WITH SCORE 149125.503
AT ITER 114 NEW BEST:: SOT 413075 SOS 253434 HAS SOPS 236625 HAS SOUS 152534 HAS SOUPS 146950 WITH SCORE 147203.434
AT ITER 116 NEW BEST:: SOT 413054 SOS 253410 HAS SOPS 236601 HAS SOUS 152436 HAS SOUPS 146852 WITH SCORE 147105.41
AT ITER 120 NEW BEST:: SOT 413054 SOS 253429 HAS SOPS 236620 HAS SOUS 152375 HAS SOUPS 146791 WITH SCORE 147044.429
AT ITER 121 NEW BEST:: SOT 413004 SOS 253385 HAS SOPS 236576 HAS SOUS 151771 HAS SOUPS 146187 WITH SCORE 146440.385
AT ITER 125 NEW BEST:: SOT 413004 SOS 252839 HAS SOPS 236030 HAS SOUS 151771 HAS SOUPS 146187 WITH SCORE 146439.839
AT ITER 128 NEW BEST:: SOT 412998 SOS 252759 HAS SOPS 235950 HAS SOUS 149731 HAS SOUPS 144070 WITH SCORE 144322.759
AT ITER 129 NEW BEST:: SOT 413063 SOS 252889 HAS SOPS 236080 HAS SOUS 147841 HAS SOUPS 142180 WITH SCORE 142432.889
AT ITER 134 NEW BEST:: SOT 412994 SOS 252451 HAS SOPS 233729 HAS SOUS 147238 HAS SOUPS 141731 WITH SCORE 141983.451
AT ITER 141 NEW BEST:: SOT 413066 SOS 252608 HAS SOPS 233886 HAS SOUS 147217 HAS SOUPS 141710 WITH SCORE 141962.608
AT ITER 142 NEW BEST:: SOT 413089 SOS 252631 HAS SOPS 233991 HAS SOUS 146065 HAS SOUPS 140512 WITH SCORE 140764.631
AT ITER 146 NEW BEST:: SOT 413078 SOS 252642 HAS SOPS 234002 HAS SOUS 146012 HAS SOUPS 140459 WITH SCORE 140711.642
AT ITER 147 NEW BEST:: SOT 412912 SOS 252476 HAS SOPS 233796 HAS SOUS 145888 HAS SOUPS 140338 WITH SCORE 140590.476
AT ITER 155 NEW BEST:: SOT 412890 SOS 251677 HAS SOPS 233734 HAS SOUS 145862 HAS SOUPS 140334 WITH SCORE 140585.677
AT ITER 160 NEW BEST:: SOT 412890 SOS 251690 HAS SOPS 233747 HAS SOUS 145134 HAS SOUPS 139606 WITH SCORE 139857.69
AT ITER 167 NEW BEST:: SOT 412915 SOS 251740 HAS SOPS 233797 HAS SOUS 144487 HAS SOUPS 138959 WITH SCORE 139210.74
AT ITER 169 NEW BEST:: SOT 412880 SOS 251705 HAS SOPS 233762 HAS SOUS 143152 HAS SOUPS 137624 WITH SCORE 137875.705
AT ITER 170 NEW BEST:: SOT 412880 SOS 251690 HAS SOPS 233747 HAS SOUS 143137 HAS SOUPS 137609 WITH SCORE 137860.69
AT ITER 171 NEW BEST:: SOT 412899 SOS 251709 HAS SOPS 233766 HAS SOUS 142966 HAS SOUPS 137438 WITH SCORE 137689.709
AT ITER 174 NEW BEST:: SOT 412873 SOS 251678 HAS SOPS 233721 HAS SOUS 142035 HAS SOUPS 136507 WITH SCORE 136758.678
AT ITER 175 NEW BEST:: SOT 412866 SOS 251725 HAS SOPS 233768 HAS SOUS 141966 HAS SOUPS 136438 WITH SCORE 136689.725
AT ITER 180 NEW BEST:: SOT 412776 SOS 251728 HAS SOPS 233731 HAS SOUS 141822 HAS SOUPS 136431 WITH SCORE 136682.728
AT ITER 181 NEW BEST:: SOT 412775 SOS 251741 HAS SOPS 233744 HAS SOUS 141765 HAS SOUPS 136374 WITH SCORE 136625.741
AT ITER 183 NEW BEST:: SOT 412775 SOS 251709 HAS SOPS 233712 HAS SOUS 141733 HAS SOUPS 136342 WITH SCORE 136593.709
AT ITER 185 NEW BEST:: SOT 412775 SOS 251706 HAS SOPS 233709 HAS SOUS 141684 HAS SOUPS 136293 WITH SCORE 136544.706
AT ITER 186 NEW BEST:: SOT 412755 SOS 251686 HAS SOPS 233689 HAS SOUS 141664 HAS SOUPS 136273 WITH SCORE 136524.686
AT ITER 197 NEW BEST:: SOT 412752 SOS 251683 HAS SOPS 233686 HAS SOUS 141661 HAS SOUPS 136270 WITH SCORE 136521.683
AT ITER 204 NEW BEST:: SOT 412782 SOS 251812 HAS SOPS 233815 HAS SOUS 141638 HAS SOUPS 136247 WITH SCORE 136498.812
AT ITER 206 NEW BEST:: SOT 381737 SOS 326459 HAS SOPS 326459 HAS SOUS 115229 HAS SOUPS 115229 WITH SCORE 115555.459
AT ITER 212 NEW BEST:: SOT 381740 SOS 326462 HAS SOPS 326462 HAS SOUS 115120 HAS SOUPS 115120 WITH SCORE 115446.462
AT ITER 219 NEW BEST:: SOT 381740 SOS 252655 HAS SOPS 250978 HAS SOUS 115123 HAS SOUPS 115084 WITH SCORE 115336.655
AT ITER 222 NEW BEST:: SOT 381732 SOS 252635 HAS SOPS 250958 HAS SOUS 115103 HAS SOUPS 115064 WITH SCORE 115316.635
AT ITER 233 NEW BEST:: SOT 381712 SOS 252615 HAS SOPS 250938 HAS SOUS 115083 HAS SOUPS 115044 WITH SCORE 115296.615
AT ITER 235 NEW BEST:: SOT 381691 SOS 252594 HAS SOPS 250917 HAS SOUS 115041 HAS SOUPS 115002 WITH SCORE 115254.594
AT ITER 238 NEW BEST:: SOT 381708 SOS 252633 HAS SOPS 250956 HAS SOUS 115008 HAS SOUPS 114969 WITH SCORE 115221.633
AT ITER 252 NEW BEST:: SOT 381702 SOS 252630 HAS SOPS 250953 HAS SOUS 115005 HAS SOUPS 114966 WITH SCORE 115218.63
AT ITER 255 NEW BEST:: SOT 381612 SOS 252540 HAS SOPS 250863 HAS SOUS 114643 HAS SOUPS 114604 WITH SCORE 114856.54
AT ITER 260 NEW BEST:: SOT 381904 SOS 252832 HAS SOPS 251155 HAS SOUS 114175 HAS SOUPS 114136 WITH SCORE 114388.832
AT ITER 270 NEW BEST:: SOT 381642 SOS 252570 HAS SOPS 250893 HAS SOUS 113966 HAS SOUPS 113927 WITH SCORE 114179.57
AT ITER 282 NEW BEST:: SOT 381642 SOS 252585 HAS SOPS 250908 HAS SOUS 113951 HAS SOUPS 113912 WITH SCORE 114164.585
AT ITER 294 NEW BEST:: SOT 380615 SOS 251558 HAS SOPS 249881 HAS SOUS 113124 HAS SOUPS 113085 WITH SCORE 113336.558
AT ITER 302 NEW BEST:: SOT 380856 SOS 251799 HAS SOPS 250122 HAS SOUS 112801 HAS SOUPS 112762 WITH SCORE 113013.799
AT ITER 323 NEW BEST:: SOT 376708 SOS 247651 HAS SOPS 245974 HAS SOUS 108653 HAS SOUPS 108614 WITH SCORE 108861.651
AT ITER 331 NEW BEST:: SOT 376708 SOS 247645 HAS SOPS 245968 HAS SOUS 108649 HAS SOUPS 108610 WITH SCORE 108857.645
AT ITER 334 NEW BEST:: SOT 376687 SOS 247623 HAS SOPS 245946 HAS SOUS 108578 HAS SOUPS 108539 WITH SCORE 108786.623
AT ITER 337 NEW BEST:: SOT 376390 SOS 247326 HAS SOPS 245649 HAS SOUS 108176 HAS SOUPS 108137 WITH SCORE 108384.326
AT ITER 342 NEW BEST:: SOT 376399 SOS 247334 HAS SOPS 245657 HAS SOUS 108076 HAS SOUPS 108037 WITH SCORE 108284.334
AT ITER 349 NEW BEST:: SOT 376383 SOS 247363 HAS SOPS 245686 HAS SOUS 108008 HAS SOUPS 107969 WITH SCORE 108216.363
AT ITER 356 NEW BEST:: SOT 376367 SOS 247367 HAS SOPS 245690 HAS SOUS 107879 HAS SOUPS 107840 WITH SCORE 108087.367
AT ITER 363 NEW BEST:: SOT 376785 SOS 247785 HAS SOPS 246108 HAS SOUS 107679 HAS SOUPS 107640 WITH SCORE 107887.785
AT ITER 364 NEW BEST:: SOT 376773 SOS 247756 HAS SOPS 246079 HAS SOUS 107650 HAS SOUPS 107611 WITH SCORE 107858.756
AT ITER 365 NEW BEST:: SOT 376735 SOS 247718 HAS SOPS 246041 HAS SOUS 107012 HAS SOUPS 106973 WITH SCORE 107220.718
AT ITER 367 NEW BEST:: SOT 376735 SOS 247718 HAS SOPS 246041 HAS SOUS 106707 HAS SOUPS 106668 WITH SCORE 106915.718
AT ITER 372 NEW BEST:: SOT 376774 SOS 247758 HAS SOPS 246081 HAS SOUS 106704 HAS SOUPS 106665 WITH SCORE 106912.758
AT ITER 376 NEW BEST:: SOT 361900 SOS 267885 HAS SOPS 265129 HAS SOUS 93471 HAS SOUPS 93350 WITH SCORE 93617.885
AT ITER 383 NEW BEST:: SOT 361900 SOS 265388 HAS SOPS 263848 HAS SOUS 93214 HAS SOUPS 93125 WITH SCORE 93390.388
AT ITER 386 NEW BEST:: SOT 361886 SOS 265345 HAS SOPS 263805 HAS SOUS 93171 HAS SOUPS 93082 WITH SCORE 93347.345
AT ITER 393 NEW BEST:: SOT 361908 SOS 265367 HAS SOPS 263827 HAS SOUS 93163 HAS SOUPS 93074 WITH SCORE 93339.367
AT ITER 394 NEW BEST:: SOT 361963 SOS 265434 HAS SOPS 263894 HAS SOUS 93153 HAS SOUPS 93064 WITH SCORE 93329.434
AT ITER 399 NEW BEST:: SOT 360548 SOS 264019 HAS SOPS 262479 HAS SOUS 91414 HAS SOUPS 91325 WITH SCORE 91589.019
AT ITER 402 NEW BEST:: SOT 360466 SOS 263925 HAS SOPS 263065 HAS SOUS 91320 HAS SOUPS 91292 WITH SCORE 91555.925
AT ITER 403 NEW BEST:: SOT 354775 SOS 262064 HAS SOPS 260430 HAS SOUS 86482 HAS SOUPS 86415 WITH SCORE 86677.064
AT ITER 423 NEW BEST:: SOT 355832 SOS 263121 HAS SOPS 261487 HAS SOUS 83959 HAS SOUPS 83892 WITH SCORE 84155.121
AT ITER 434 NEW BEST:: SOT 354387 SOS 261676 HAS SOPS 260042 HAS SOUS 82504 HAS SOUPS 82437 WITH SCORE 82698.676
AT ITER 435 NEW BEST:: SOT 354384 SOS 261673 HAS SOPS 260039 HAS SOUS 82501 HAS SOUPS 82434 WITH SCORE 82695.673
AT ITER 449 NEW BEST:: SOT 354372 SOS 261661 HAS SOPS 260027 HAS SOUS 82429 HAS SOUPS 82362 WITH SCORE 82623.661
AT ITER 450 NEW BEST:: SOT 354362 SOS 261650 HAS SOPS 260016 HAS SOUS 82418 HAS SOUPS 82351 WITH SCORE 82612.65
AT ITER 468 NEW BEST:: SOT 354349 SOS 261646 HAS SOPS 260012 HAS SOUS 82414 HAS SOUPS 82347 WITH SCORE 82608.646
AT ITER 480 NEW BEST:: SOT 352111 SOS 259408 HAS SOPS 257774 HAS SOUS 80126 HAS SOUPS 80059 WITH SCORE 80318.408
AT ITER 483 NEW BEST:: SOT 349805 SOS 257102 HAS SOPS 255468 HAS SOUS 77713 HAS SOUPS 77646 WITH SCORE 77903.102
AT ITER 497 NEW BEST:: SOT 349805 SOS 257072 HAS SOPS 255438 HAS SOUS 77683 HAS SOUPS 77616 WITH SCORE 77873.072
AT ITER 499 NEW BEST:: SOT 349808 SOS 257075 HAS SOPS 255441 HAS SOUS 77474 HAS SOUPS 77407 WITH SCORE 77664.075
AT ITER 502 NEW BEST:: SOT 349447 SOS 256714 HAS SOPS 255080 HAS SOUS 77113 HAS SOUPS 77046 WITH SCORE 77302.714
AT ITER 503 NEW BEST:: SOT 350405 SOS 257672 HAS SOPS 256038 HAS SOUS 75983 HAS SOUPS 75916 WITH SCORE 76173.672
AT ITER 508 NEW BEST:: SOT 350364 SOS 257549 HAS SOPS 255915 HAS SOUS 75942 HAS SOUPS 75875 WITH SCORE 76132.549
AT ITER 515 NEW BEST:: SOT 350353 SOS 224093 HAS SOPS 222895 HAS SOUS 75481 HAS SOUPS 75435 WITH SCORE 75659.093
AT ITER 531 NEW BEST:: SOT 350054 SOS 223794 HAS SOPS 222596 HAS SOUS 74404 HAS SOUPS 74358 WITH SCORE 74581.794
AT ITER 534 NEW BEST:: SOT 348844 SOS 222584 HAS SOPS 221386 HAS SOUS 74036 HAS SOUPS 73990 WITH SCORE 74212.584
AT ITER 538 NEW BEST:: SOT 348850 SOS 206447 HAS SOPS 200746 HAS SOUS 73929 HAS SOUPS 73740 WITH SCORE 73946.447
AT ITER 554 NEW BEST:: SOT 348817 SOS 206414 HAS SOPS 200713 HAS SOUS 73864 HAS SOUPS 73675 WITH SCORE 73881.414
AT ITER 560 NEW BEST:: SOT 347439 SOS 205036 HAS SOPS 199335 HAS SOUS 70805 HAS SOUPS 70616 WITH SCORE 70821.036
AT ITER 562 NEW BEST:: SOT 347220 SOS 205137 HAS SOPS 199436 HAS SOUS 70594 HAS SOUPS 70405 WITH SCORE 70610.137
AT ITER 563 NEW BEST:: SOT 347219 SOS 205191 HAS SOPS 199490 HAS SOUS 70578 HAS SOUPS 70389 WITH SCORE 70594.191
AT ITER 565 NEW BEST:: SOT 347214 SOS 205186 HAS SOPS 199485 HAS SOUS 70573 HAS SOUPS 70384 WITH SCORE 70589.186
AT ITER 568 NEW BEST:: SOT 347238 SOS 205210 HAS SOPS 199509 HAS SOUS 70553 HAS SOUPS 70364 WITH SCORE 70569.21
AT ITER 571 NEW BEST:: SOT 347238 SOS 205066 HAS SOPS 199365 HAS SOUS 70541 HAS SOUPS 70352 WITH SCORE 70557.066
AT ITER 572 NEW BEST:: SOT 347150 SOS 204978 HAS SOPS 199277 HAS SOUS 70276 HAS SOUPS 70087 WITH SCORE 70291.978
AT ITER 577 NEW BEST:: SOT 347150 SOS 204978 HAS SOPS 199277 HAS SOUS 70266 HAS SOUPS 70077 WITH SCORE 70281.978
AT ITER 591 NEW BEST:: SOT 347147 SOS 205001 HAS SOPS 199300 HAS SOUS 70231 HAS SOUPS 70042 WITH SCORE 70247.001
AT ITER 599 NEW BEST:: SOT 347080 SOS 205021 HAS SOPS 199320 HAS SOUS 70152 HAS SOUPS 69963 WITH SCORE 70168.021
AT ITER 615 NEW BEST:: SOT 346702 SOS 204643 HAS SOPS 198942 HAS SOUS 69334 HAS SOUPS 69145 WITH SCORE 69349.643
AT ITER 617 NEW BEST:: SOT 346648 SOS 204589 HAS SOPS 198888 HAS SOUS 68915 HAS SOUPS 68726 WITH SCORE 68930.589
AT ITER 622 NEW BEST:: SOT 346648 SOS 204616 HAS SOPS 198915 HAS SOUS 68860 HAS SOUPS 68671 WITH SCORE 68875.616
AT ITER 625 NEW BEST:: SOT 346648 SOS 204560 HAS SOPS 198859 HAS SOUS 68804 HAS SOUPS 68615 WITH SCORE 68819.56
AT ITER 632 NEW BEST:: SOT 346672 SOS 204624 HAS SOPS 198923 HAS SOUS 68728 HAS SOUPS 68539 WITH SCORE 68743.624
AT ITER 634 NEW BEST:: SOT 345498 SOS 203450 HAS SOPS 197749 HAS SOUS 68517 HAS SOUPS 68328 WITH SCORE 68531.45
AT ITER 639 NEW BEST:: SOT 343720 SOS 201672 HAS SOPS 195971 HAS SOUS 66006 HAS SOUPS 65817 WITH SCORE 66018.672
AT ITER 641 NEW BEST:: SOT 343297 SOS 201249 HAS SOPS 195548 HAS SOUS 65583 HAS SOUPS 65394 WITH SCORE 65595.249
AT ITER 644 NEW BEST:: SOT 343270 SOS 201199 HAS SOPS 195498 HAS SOUS 65449 HAS SOUPS 65260 WITH SCORE 65461.199
AT ITER 649 NEW BEST:: SOT 343270 SOS 199192 HAS SOPS 193744 HAS SOUS 65424 HAS SOUPS 65246 WITH SCORE 65445.192
AT ITER 657 NEW BEST:: SOT 343252 SOS 199218 HAS SOPS 193770 HAS SOUS 65352 HAS SOUPS 65174 WITH SCORE 65373.218
AT ITER 658 NEW BEST:: SOT 343081 SOS 199087 HAS SOPS 193639 HAS SOUS 65248 HAS SOUPS 65070 WITH SCORE 65269.087
AT ITER 661 NEW BEST:: SOT 343072 SOS 199078 HAS SOPS 193630 HAS SOUS 65221 HAS SOUPS 65043 WITH SCORE 65242.078
AT ITER 667 NEW BEST:: SOT 342946 SOS 198952 HAS SOPS 193504 HAS SOUS 64985 HAS SOUPS 64807 WITH SCORE 65005.952
AT ITER 668 NEW BEST:: SOT 341789 SOS 197795 HAS SOPS 192347 HAS SOUS 64805 HAS SOUPS 64627 WITH SCORE 64824.795
AT ITER 671 NEW BEST:: SOT 341678 SOS 197682 HAS SOPS 192234 HAS SOUS 64610 HAS SOUPS 64432 WITH SCORE 64629.682
AT ITER 672 NEW BEST:: SOT 341649 SOS 197619 HAS SOPS 192171 HAS SOUS 64605 HAS SOUPS 64427 WITH SCORE 64624.619
AT ITER 674 NEW BEST:: SOT 341664 SOS 197682 HAS SOPS 192234 HAS SOUS 64557 HAS SOUPS 64379 WITH SCORE 64576.682
AT ITER 680 NEW BEST:: SOT 338448 SOS 204718 HAS SOPS 198026 HAS SOUS 61527 HAS SOUPS 61290 WITH SCORE 61494.718
AT ITER 688 NEW BEST:: SOT 334901 SOS 201849 HAS SOPS 195401 HAS SOUS 60452 HAS SOUPS 60215 WITH SCORE 60416.849
AT ITER 689 NEW BEST:: SOT 334901 SOS 201668 HAS SOPS 195243 HAS SOUS 60449 HAS SOUPS 60213 WITH SCORE 60414.668
AT ITER 696 NEW BEST:: SOT 333862 SOS 200629 HAS SOPS 194204 HAS SOUS 57255 HAS SOUPS 57019 WITH SCORE 57219.629
AT ITER 706 NEW BEST:: SOT 333793 SOS 200560 HAS SOPS 194135 HAS SOUS 57137 HAS SOUPS 56901 WITH SCORE 57101.56
AT ITER 713 NEW BEST:: SOT 333901 SOS 200259 HAS SOPS 193723 HAS SOUS 56993 HAS SOUPS 56745 WITH SCORE 56945.259
AT ITER 714 NEW BEST:: SOT 333874 SOS 190214 HAS SOPS 184907 HAS SOUS 56772 HAS SOUPS 56582 WITH SCORE 56772.214
AT ITER 718 NEW BEST:: SOT 333902 SOS 190287 HAS SOPS 184980 HAS SOUS 56755 HAS SOUPS 56565 WITH SCORE 56755.287
AT ITER 719 NEW BEST:: SOT 333896 SOS 190281 HAS SOPS 184974 HAS SOUS 56749 HAS SOUPS 56559 WITH SCORE 56749.281
AT ITER 732 NEW BEST:: SOT 333894 SOS 190105 HAS SOPS 184836 HAS SOUS 56705 HAS SOUPS 56515 WITH SCORE 56705.105
AT ITER 755 NEW BEST:: SOT 333875 SOS 190086 HAS SOPS 184817 HAS SOUS 55912 HAS SOUPS 55722 WITH SCORE 55912.086
AT ITER 767 NEW BEST:: SOT 333893 SOS 190104 HAS SOPS 184835 HAS SOUS 54934 HAS SOUPS 54744 WITH SCORE 54934.104
AT ITER 773 NEW BEST:: SOT 333892 SOS 190103 HAS SOPS 184834 HAS SOUS 54933 HAS SOUPS 54743 WITH SCORE 54933.103
AT ITER 783 NEW BEST:: SOT 332594 SOS 199292 HAS SOPS 193160 HAS SOUS 54468 HAS SOUPS 54201 WITH SCORE 54400.292
AT ITER 785 NEW BEST:: SOT 332249 SOS 207637 HAS SOPS 200902 HAS SOUS 54384 HAS SOUPS 54035 WITH SCORE 54242.637
AT ITER 798 NEW BEST:: SOT 332399 SOS 207906 HAS SOPS 199740 HAS SOUS 54356 HAS SOUPS 54027 WITH SCORE 54234.906
AT ITER 799 NEW BEST:: SOT 332383 SOS 207890 HAS SOPS 199724 HAS SOUS 54340 HAS SOUPS 54011 WITH SCORE 54218.89
AT ITER 831 NEW BEST:: SOT 332356 SOS 202870 HAS SOPS 195325 HAS SOUS 54258 HAS SOUPS 53956 WITH SCORE 54158.87
AT ITER 837 NEW BEST:: SOT 332284 SOS 202798 HAS SOPS 195253 HAS SOUS 54052 HAS SOUPS 53750 WITH SCORE 53952.798
AT ITER 841 NEW BEST:: SOT 334256 SOS 204844 HAS SOPS 197299 HAS SOUS 53646 HAS SOUPS 53344 WITH SCORE 53548.844
AT ITER 860 NEW BEST:: SOT 334359 SOS 198690 HAS SOPS 192952 HAS SOUS 53494 HAS SOUPS 53235 WITH SCORE 53433.69
AT ITER 862 NEW BEST:: SOT 334591 SOS 198214 HAS SOPS 192266 HAS SOUS 51383 HAS SOUPS 51124 WITH SCORE 51322.214
AT ITER 871 NEW BEST:: SOT 334691 SOS 198314 HAS SOPS 192366 HAS SOUS 51288 HAS SOUPS 51029 WITH SCORE 51227.314
AT ITER 880 NEW BEST:: SOT 334691 SOS 197582 HAS SOPS 191726 HAS SOUS 51268 HAS SOUPS 51013 WITH SCORE 51210.582
AT ITER 882 NEW BEST:: SOT 333944 SOS 196835 HAS SOPS 190979 HAS SOUS 50521 HAS SOUPS 50266 WITH SCORE 50462.835
AT ITER 886 NEW BEST:: SOT 333944 SOS 196793 HAS SOPS 190937 HAS SOUS 50479 HAS SOUPS 50224 WITH SCORE 50420.793
AT ITER 910 NEW BEST:: SOT 333937 SOS 196764 HAS SOPS 190908 HAS SOUS 50472 HAS SOUPS 50217 WITH SCORE 50413.764
AT ITER 913 NEW BEST:: SOT 334002 SOS 193992 HAS SOPS 186359 HAS SOUS 50477 HAS SOUPS 50100 WITH SCORE 50293.992
AT ITER 918 NEW BEST:: SOT 333948 SOS 193936 HAS SOPS 186303 HAS SOUS 50421 HAS SOUPS 50044 WITH SCORE 50237.936
AT ITER 922 NEW BEST:: SOT 333977 SOS 194052 HAS SOPS 186419 HAS SOUS 50318 HAS SOUPS 49941 WITH SCORE 50135.052
AT ITER 927 NEW BEST:: SOT 333977 SOS 193928 HAS SOPS 186383 HAS SOUS 50305 HAS SOUPS 49934 WITH SCORE 50127.928
AT ITER 950 NEW BEST:: SOT 333853 SOS 193808 HAS SOPS 186263 HAS SOUS 50185 HAS SOUPS 49814 WITH SCORE 50007.808
AT ITER 955 NEW BEST:: SOT 333853 SOS 193799 HAS SOPS 186254 HAS SOUS 50176 HAS SOUPS 49805 WITH SCORE 49998.799
AT ITER 957 NEW BEST:: SOT 333805 SOS 193751 HAS SOPS 186206 HAS SOUS 50174 HAS SOUPS 49803 WITH SCORE 49996.751
AT ITER 977 NEW BEST:: SOT 333801 SOS 193747 HAS SOPS 186202 HAS SOUS 50170 HAS SOUPS 49799 WITH SCORE 49992.747
AT ITER 987 NEW BEST:: SOT 333801 SOS 193715 HAS SOPS 186170 HAS SOUS 50138 HAS SOUPS 49767 WITH SCORE 49960.715
AT ITER 1003 NEW BEST:: SOT 334357 SOS 194271 HAS SOPS 186726 HAS SOUS 49941 HAS SOUPS 49570 WITH SCORE 49764.271
AT ITER 1005 NEW BEST:: SOT 334373 SOS 194268 HAS SOPS 186723 HAS SOUS 49938 HAS SOUPS 49567 WITH SCORE 49761.268
AT ITER 1006 NEW BEST:: SOT 334606 SOS 194501 HAS SOPS 186956 HAS SOUS 48021 HAS SOUPS 47650 WITH SCORE 47844.501
AT ITER 1021 NEW BEST:: SOT 334606 SOS 194461 HAS SOPS 186916 HAS SOUS 48018 HAS SOUPS 47647 WITH SCORE 47841.461
AT ITER 1028 NEW BEST:: SOT 332673 SOS 192528 HAS SOPS 184983 HAS SOUS 46446 HAS SOUPS 46075 WITH SCORE 46267.528
AT ITER 1055 NEW BEST:: SOT 332537 SOS 192392 HAS SOPS 184847 HAS SOUS 45918 HAS SOUPS 45547 WITH SCORE 45739.392
AT ITER 1064 NEW BEST:: SOT 332518 SOS 192373 HAS SOPS 184828 HAS SOUS 45899 HAS SOUPS 45528 WITH SCORE 45720.373
AT ITER 1070 NEW BEST:: SOT 332376 SOS 192276 HAS SOPS 184731 HAS SOUS 45823 HAS SOUPS 45452 WITH SCORE 45644.276
AT ITER 1096 NEW BEST:: SOT 332272 SOS 192172 HAS SOPS 184627 HAS SOUS 45719 HAS SOUPS 45348 WITH SCORE 45540.172
AT ITER 1101 NEW BEST:: SOT 332047 SOS 191947 HAS SOPS 184402 HAS SOUS 45510 HAS SOUPS 45139 WITH SCORE 45330.947
AT ITER 1106 NEW BEST:: SOT 332047 SOS 191947 HAS SOPS 184402 HAS SOUS 45405 HAS SOUPS 45034 WITH SCORE 45225.947
AT ITER 1110 NEW BEST:: SOT 332048 SOS 191948 HAS SOPS 184403 HAS SOUS 44059 HAS SOUPS 43688 WITH SCORE 43879.948
AT ITER 1123 NEW BEST:: SOT 332044 SOS 191944 HAS SOPS 184399 HAS SOUS 44051 HAS SOUPS 43680 WITH SCORE 43871.944
AT ITER 1130 NEW BEST:: SOT 332054 SOS 191932 HAS SOPS 184387 HAS SOUS 44039 HAS SOUPS 43668 WITH SCORE 43859.932
AT ITER 1163 NEW BEST:: SOT 332053 SOS 191929 HAS SOPS 184384 HAS SOUS 44038 HAS SOUPS 43667 WITH SCORE 43858.929
AT ITER 1169 NEW BEST:: SOT 332064 SOS 191998 HAS SOPS 184453 HAS SOUS 44001 HAS SOUPS 43630 WITH SCORE 43821.998
AT ITER 1173 NEW BEST:: SOT 332054 SOS 191564 HAS SOPS 183683 HAS SOUS 43983 HAS SOUPS 43604 WITH SCORE 43795.564
AT ITER 1199 NEW BEST:: SOT 332054 SOS 188978 HAS SOPS 181419 HAS SOUS 43931 HAS SOUPS 43566 WITH SCORE 43754.978
AT ITER 1213 NEW BEST:: SOT 332173 SOS 188868 HAS SOPS 181175 HAS SOUS 43906 HAS SOUPS 43480 WITH SCORE 43668.868
AT ITER 1217 NEW BEST:: SOT 332173 SOS 189388 HAS SOPS 181695 HAS SOUS 43887 HAS SOUPS 43461 WITH SCORE 43650.388
AT ITER 1218 NEW BEST:: SOT 332201 SOS 189416 HAS SOPS 181723 HAS SOUS 43886 HAS SOUPS 43460 WITH SCORE 43649.416
AT ITER 1222 NEW BEST:: SOT 332113 SOS 189241 HAS SOPS 181548 HAS SOUS 43857 HAS SOUPS 43431 WITH SCORE 43620.241
AT ITER 1227 NEW BEST:: SOT 332081 SOS 189209 HAS SOPS 181516 HAS SOUS 43677 HAS SOUPS 43251 WITH SCORE 43440.209
AT ITER 1266 NEW BEST:: SOT 332080 SOS 189207 HAS SOPS 181514 HAS SOUS 43675 HAS SOUPS 43249 WITH SCORE 43438.207
AT ITER 1285 NEW BEST:: SOT 332043 SOS 183251 HAS SOPS 176057 HAS SOUS 43493 HAS SOUPS 43116 WITH SCORE 43299.251
AT ITER 1305 NEW BEST:: SOT 332063 SOS 183271 HAS SOPS 176077 HAS SOUS 43485 HAS SOUPS 43108 WITH SCORE 43291.271
AT ITER 1319 NEW BEST:: SOT 332063 SOS 183267 HAS SOPS 176073 HAS SOUS 43481 HAS SOUPS 43104 WITH SCORE 43287.267
AT ITER 1323 NEW BEST:: SOT 331992 SOS 183196 HAS SOPS 176002 HAS SOUS 43350 HAS SOUPS 42973 WITH SCORE 43156.196
AT ITER 1324 NEW BEST:: SOT 331992 SOS 182616 HAS SOPS 175482 HAS SOUS 43309 HAS SOUPS 42937 WITH SCORE 43119.616
AT ITER 1326 NEW BEST:: SOT 331934 SOS 182558 HAS SOPS 175424 HAS SOUS 43108 HAS SOUPS 42736 WITH SCORE 42918.558
AT ITER 1327 NEW BEST:: SOT 331849 SOS 182458 HAS SOPS 175324 HAS SOUS 42938 HAS SOUPS 42566 WITH SCORE 42748.458
AT ITER 1369 NEW BEST:: SOT 331673 SOS 182282 HAS SOPS 175148 HAS SOUS 42800 HAS SOUPS 42428 WITH SCORE 42610.282
AT ITER 1384 NEW BEST:: SOT 331961 SOS 182570 HAS SOPS 175436 HAS SOUS 42760 HAS SOUPS 42388 WITH SCORE 42570.57
AT ITER 1402 NEW BEST:: SOT 331961 SOS 182568 HAS SOPS 175434 HAS SOUS 42758 HAS SOUPS 42386 WITH SCORE 42568.568
AT ITER 1411 NEW BEST:: SOT 331958 SOS 182565 HAS SOPS 175431 HAS SOUS 42755 HAS SOUPS 42383 WITH SCORE 42565.565
AT ITER 1441 NEW BEST:: SOT 331342 SOS 181949 HAS SOPS 174815 HAS SOUS 42139 HAS SOUPS 41767 WITH SCORE 41948.949
AT ITER 1455 NEW BEST:: SOT 331243 SOS 181671 HAS SOPS 174537 HAS SOUS 42028 HAS SOUPS 41656 WITH SCORE 41837.671
AT ITER 1479 NEW BEST:: SOT 331242 SOS 181670 HAS SOPS 174536 HAS SOUS 42015 HAS SOUPS 41643 WITH SCORE 41824.67
AT ITER 1499 NEW BEST:: SOT 331241 SOS 181667 HAS SOPS 174533 HAS SOUS 42012 HAS SOUPS 41640 WITH SCORE 41821.667
AT ITER 1527 NEW BEST:: SOT 331207 SOS 181633 HAS SOPS 174499 HAS SOUS 41824 HAS SOUPS 41452 WITH SCORE 41633.633
AT ITER 1535 NEW BEST:: SOT 331207 SOS 181631 HAS SOPS 174497 HAS SOUS 41822 HAS SOUPS 41450 WITH SCORE 41631.631
AT ITER 1539 NEW BEST:: SOT 331207 SOS 181682 HAS SOPS 174548 HAS SOUS 41771 HAS SOUPS 41399 WITH SCORE 41580.682
AT ITER 1570 NEW BEST:: SOT 331163 SOS 181638 HAS SOPS 174504 HAS SOUS 41752 HAS SOUPS 41380 WITH SCORE 41561.638
AT ITER 1575 NEW BEST:: SOT 330201 SOS 180676 HAS SOPS 173542 HAS SOUS 39828 HAS SOUPS 39456 WITH SCORE 39636.676
AT ITER 1578 NEW BEST:: SOT 330155 SOS 180577 HAS SOPS 173443 HAS SOUS 39729 HAS SOUPS 39357 WITH SCORE 39537.577
AT ITER 1601 NEW BEST:: SOT 330155 SOS 180577 HAS SOPS 173443 HAS SOUS 39727 HAS SOUPS 39355 WITH SCORE 39535.577
AT ITER 1629 NEW BEST:: SOT 330459 SOS 180881 HAS SOPS 173747 HAS SOUS 39715 HAS SOUPS 39343 WITH SCORE 39523.881
AT ITER 1645 NEW BEST:: SOT 330453 SOS 180867 HAS SOPS 173733 HAS SOUS 39701 HAS SOUPS 39329 WITH SCORE 39509.867
AT ITER 1662 NEW BEST:: SOT 330244 SOS 180658 HAS SOPS 173524 HAS SOUS 39483 HAS SOUPS 39111 WITH SCORE 39291.658
AT ITER 1667 NEW BEST:: SOT 330244 SOS 181380 HAS SOPS 174246 HAS SOUS 39464 HAS SOUPS 39092 WITH SCORE 39273.38
AT ITER 1672 NEW BEST:: SOT 330244 SOS 181400 HAS SOPS 174266 HAS SOUS 39444 HAS SOUPS 39072 WITH SCORE 39253.4
AT ITER 1681 NEW BEST:: SOT 330225 SOS 181381 HAS SOPS 174247 HAS SOUS 39425 HAS SOUPS 39053 WITH SCORE 39234.381
AT ITER 1687 NEW BEST:: SOT 330223 SOS 182117 HAS SOPS 175025 HAS SOUS 39418 HAS SOUPS 39046 WITH SCORE 39228.117
AT ITER 1760 NEW BEST:: SOT 328965 SOS 180859 HAS SOPS 173767 HAS SOUS 37322 HAS SOUPS 36950 WITH SCORE 37130.859
AT ITER 1766 NEW BEST:: SOT 328961 SOS 180834 HAS SOPS 173742 HAS SOUS 37297 HAS SOUPS 36925 WITH SCORE 37105.834
AT ITER 1780 NEW BEST:: SOT 328960 SOS 180833 HAS SOPS 173741 HAS SOUS 37295 HAS SOUPS 36923 WITH SCORE 37103.833
AT ITER 1806 NEW BEST:: SOT 328419 SOS 180292 HAS SOPS 173200 HAS SOUS 36339 HAS SOUPS 35967 WITH SCORE 36147.292
AT ITER 1807 NEW BEST:: SOT 327984 SOS 179857 HAS SOPS 172765 HAS SOUS 36168 HAS SOUPS 35796 WITH SCORE 35975.857
AT ITER 1813 NEW BEST:: SOT 327982 SOS 179855 HAS SOPS 172763 HAS SOUS 36082 HAS SOUPS 35710 WITH SCORE 35889.855
AT ITER 1817 NEW BEST:: SOT 327996 SOS 179890 HAS SOPS 172798 HAS SOUS 36077 HAS SOUPS 35705 WITH SCORE 35884.89
AT ITER 1822 NEW BEST:: SOT 327988 SOS 179882 HAS SOPS 172790 HAS SOUS 36069 HAS SOUPS 35697 WITH SCORE 35876.882
AT ITER 1824 NEW BEST:: SOT 327982 SOS 179876 HAS SOPS 172784 HAS SOUS 36063 HAS SOUPS 35691 WITH SCORE 35870.876
AT ITER 1855 NEW BEST:: SOT 327982 SOS 179152 HAS SOPS 172152 HAS SOUS 36051 HAS SOUPS 35683 WITH SCORE 35862.152
AT ITER 1863 NEW BEST:: SOT 327960 SOS 177410 HAS SOPS 171230 HAS SOUS 36004 HAS SOUPS 35658 WITH SCORE 35835.41
AT ITER 1867 NEW BEST:: SOT 327867 SOS 177317 HAS SOPS 171137 HAS SOUS 35598 HAS SOUPS 35252 WITH SCORE 35429.317
AT ITER 1880 NEW BEST:: SOT 327467 SOS 184112 HAS SOPS 177697 HAS SOUS 35614 HAS SOUPS 35203 WITH SCORE 35387.112
AT ITER 1882 NEW BEST:: SOT 327469 SOS 184136 HAS SOPS 177721 HAS SOUS 35594 HAS SOUPS 35183 WITH SCORE 35367.136
AT ITER 1884 NEW BEST:: SOT 327473 SOS 184551 HAS SOPS 177225 HAS SOUS 35500 HAS SOUPS 35106 WITH SCORE 35290.551
AT ITER 1890 NEW BEST:: SOT 327476 SOS 184554 HAS SOPS 177228 HAS SOUS 35497 HAS SOUPS 35103 WITH SCORE 35287.554
AT ITER 1893 NEW BEST:: SOT 327483 SOS 184561 HAS SOPS 177235 HAS SOUS 35494 HAS SOUPS 35100 WITH SCORE 35284.561
AT ITER 1916 NEW BEST:: SOT 327478 SOS 184556 HAS SOPS 177230 HAS SOUS 35485 HAS SOUPS 35091 WITH SCORE 35275.556
AT ITER 1918 NEW BEST:: SOT 327381 SOS 184459 HAS SOPS 177133 HAS SOUS 35252 HAS SOUPS 34858 WITH SCORE 35042.459
AT ITER 1921 NEW BEST:: SOT 327381 SOS 177814 HAS SOPS 170244 HAS SOUS 35032 HAS SOUPS 34722 WITH SCORE 34899.814
AT ITER 1923 NEW BEST:: SOT 327706 SOS 178139 HAS SOPS 170569 HAS SOUS 34618 HAS SOUPS 34308 WITH SCORE 34486.139
AT ITER 1924 NEW BEST:: SOT 327702 SOS 178111 HAS SOPS 170541 HAS SOUS 34590 HAS SOUPS 34280 WITH SCORE 34458.111
AT ITER 1970 NEW BEST:: SOT 327372 SOS 177781 HAS SOPS 170211 HAS SOUS 33602 HAS SOUPS 33292 WITH SCORE 33469.781
AT ITER 1980 NEW BEST:: SOT 327367 SOS 177776 HAS SOPS 170206 HAS SOUS 33587 HAS SOUPS 33277 WITH SCORE 33454.776
AT ITER 1985 NEW BEST:: SOT 327323 SOS 177732 HAS SOPS 170162 HAS SOUS 33503 HAS SOUPS 33193 WITH SCORE 33370.732
AT ITER 2018 NEW BEST:: SOT 327322 SOS 177731 HAS SOPS 170161 HAS SOUS 33501 HAS SOUPS 33191 WITH SCORE 33368.731
AT ITER 2029 NEW BEST:: SOT 327314 SOS 177723 HAS SOPS 170153 HAS SOUS 33473 HAS SOUPS 33163 WITH SCORE 33340.723
AT ITER 2079 NEW BEST:: SOT 326943 SOS 177352 HAS SOPS 169782 HAS SOUS 33398 HAS SOUPS 33088 WITH SCORE 33265.352
AT ITER 2093 NEW BEST:: SOT 326556 SOS 176965 HAS SOPS 169395 HAS SOUS 33262 HAS SOUPS 32952 WITH SCORE 33128.965
AT ITER 2103 NEW BEST:: SOT 326605 SOS 177075 HAS SOPS 169505 HAS SOUS 33252 HAS SOUPS 32942 WITH SCORE 33119.075
AT ITER 2133 NEW BEST:: SOT 326584 SOS 177039 HAS SOPS 169469 HAS SOUS 33216 HAS SOUPS 32906 WITH SCORE 33083.039
AT ITER 2169 NEW BEST:: SOT 326725 SOS 177180 HAS SOPS 169610 HAS SOUS 33041 HAS SOUPS 32731 WITH SCORE 32908.18
AT ITER 2175 NEW BEST:: SOT 326712 SOS 177160 HAS SOPS 169590 HAS SOUS 33021 HAS SOUPS 32711 WITH SCORE 32888.16
AT ITER 2194 NEW BEST:: SOT 326708 SOS 177114 HAS SOPS 169706 HAS SOUS 33024 HAS SOUPS 32710 WITH SCORE 32887.114
AT ITER 2205 NEW BEST:: SOT 326599 SOS 177005 HAS SOPS 169597 HAS SOUS 32806 HAS SOUPS 32492 WITH SCORE 32669.005
AT ITER 2248 NEW BEST:: SOT 326599 SOS 177005 HAS SOPS 169597 HAS SOUS 32686 HAS SOUPS 32372 WITH SCORE 32549.005
AT ITER 2253 NEW BEST:: SOT 327122 SOS 177528 HAS SOPS 170120 HAS SOUS 32556 HAS SOUPS 32242 WITH SCORE 32419.528
AT ITER 2266 NEW BEST:: SOT 326712 SOS 177118 HAS SOPS 169710 HAS SOUS 32374 HAS SOUPS 32060 WITH SCORE 32237.118
AT ITER 2269 NEW BEST:: SOT 326712 SOS 177118 HAS SOPS 169710 HAS SOUS 31968 HAS SOUPS 31654 WITH SCORE 31831.118
AT ITER 2280 NEW BEST:: SOT 325327 SOS 175733 HAS SOPS 168325 HAS SOUS 30764 HAS SOUPS 30450 WITH SCORE 30625.733
AT ITER 2286 NEW BEST:: SOT 325326 SOS 175731 HAS SOPS 168323 HAS SOUS 30762 HAS SOUPS 30448 WITH SCORE 30623.731
AT ITER 2334 NEW BEST:: SOT 325326 SOS 175446 HAS SOPS 168263 HAS SOUS 30755 HAS SOUPS 30437 WITH SCORE 30612.446
AT ITER 2347 NEW BEST:: SOT 325326 SOS 175464 HAS SOPS 168281 HAS SOUS 30729 HAS SOUPS 30411 WITH SCORE 30586.464
AT ITER 2352 NEW BEST:: SOT 325337 SOS 175475 HAS SOPS 168292 HAS SOUS 30699 HAS SOUPS 30381 WITH SCORE 30556.475
AT ITER 2367 NEW BEST:: SOT 325337 SOS 174747 HAS SOPS 167656 HAS SOUS 30683 HAS SOUPS 30369 WITH SCORE 30543.747
AT ITER 2368 NEW BEST:: SOT 325356 SOS 174766 HAS SOPS 167675 HAS SOUS 30621 HAS SOUPS 30307 WITH SCORE 30481.766
AT ITER 2395 NEW BEST:: SOT 325354 SOS 174764 HAS SOPS 167673 HAS SOUS 30393 HAS SOUPS 30079 WITH SCORE 30253.764
AT ITER 2424 NEW BEST:: SOT 325346 SOS 174756 HAS SOPS 167665 HAS SOUS 30369 HAS SOUPS 30055 WITH SCORE 30229.756
AT ITER 2429 NEW BEST:: SOT 325344 SOS 174752 HAS SOPS 167661 HAS SOUS 30365 HAS SOUPS 30051 WITH SCORE 30225.752
AT ITER 2435 NEW BEST:: SOT 324759 SOS 174167 HAS SOPS 167076 HAS SOUS 30132 HAS SOUPS 29818 WITH SCORE 29992.167
AT ITER 2436 NEW BEST:: SOT 324757 SOS 174143 HAS SOPS 167052 HAS SOUS 30108 HAS SOUPS 29794 WITH SCORE 29968.143
AT ITER 2455 NEW BEST:: SOT 324649 SOS 174035 HAS SOPS 166944 HAS SOUS 30036 HAS SOUPS 29722 WITH SCORE 29896.035
AT ITER 2506 NEW BEST:: SOT 324648 SOS 174032 HAS SOPS 166941 HAS SOUS 30035 HAS SOUPS 29721 WITH SCORE 29895.032
AT ITER 2507 NEW BEST:: SOT 324630 SOS 174014 HAS SOPS 166923 HAS SOUS 30017 HAS SOUPS 29703 WITH SCORE 29877.014
AT ITER 2508 NEW BEST:: SOT 324625 SOS 174000 HAS SOPS 166909 HAS SOUS 30003 HAS SOUPS 29689 WITH SCORE 29863.0
AT ITER 2521 NEW BEST:: SOT 324542 SOS 173917 HAS SOPS 166826 HAS SOUS 29677 HAS SOUPS 29363 WITH SCORE 29536.917
AT ITER 2546 NEW BEST:: SOT 324542 SOS 174277 HAS SOPS 167186 HAS SOUS 29675 HAS SOUPS 29361 WITH SCORE 29535.277
AT ITER 2550 NEW BEST:: SOT 324527 SOS 174233 HAS SOPS 167142 HAS SOUS 29661 HAS SOUPS 29347 WITH SCORE 29521.233
AT ITER 2584 NEW BEST:: SOT 324519 SOS 173809 HAS SOPS 166774 HAS SOUS 29629 HAS SOUPS 29331 WITH SCORE 29504.809
AT ITER 2642 NEW BEST:: SOT 324520 SOS 173810 HAS SOPS 166775 HAS SOUS 29611 HAS SOUPS 29313 WITH SCORE 29486.81
AT ITER 2657 NEW BEST:: SOT 324343 SOS 173633 HAS SOPS 166598 HAS SOUS 29434 HAS SOUPS 29136 WITH SCORE 29309.633
AT ITER 2680 NEW BEST:: SOT 324343 SOS 173153 HAS SOPS 166118 HAS SOUS 29424 HAS SOUPS 29126 WITH SCORE 29299.153
AT ITER 2752 NEW BEST:: SOT 324337 SOS 173147 HAS SOPS 166112 HAS SOUS 29418 HAS SOUPS 29120 WITH SCORE 29293.147
AT ITER 2808 NEW BEST:: SOT 324703 SOS 173513 HAS SOPS 166478 HAS SOUS 29147 HAS SOUPS 28849 WITH SCORE 29022.513
AT ITER 2912 NEW BEST:: SOT 324688 SOS 173483 HAS SOPS 166448 HAS SOUS 29117 HAS SOUPS 28819 WITH SCORE 28992.483
AT ITER 3050 NEW BEST:: SOT 324310 SOS 173105 HAS SOPS 166070 HAS SOUS 28693 HAS SOUPS 28395 WITH SCORE 28568.105
AT ITER 3060 NEW BEST:: SOT 324299 SOS 173094 HAS SOPS 166059 HAS SOUS 28682 HAS SOUPS 28384 WITH SCORE 28557.094
AT ITER 3079 NEW BEST:: SOT 324293 SOS 172116 HAS SOPS 165339 HAS SOUS 28652 HAS SOUPS 28360 WITH SCORE 28532.116
AT ITER 3121 NEW BEST:: SOT 324293 SOS 172156 HAS SOPS 165339 HAS SOUS 28648 HAS SOUPS 28356 WITH SCORE 28528.156
AT ITER 3162 NEW BEST:: SOT 324293 SOS 171458 HAS SOPS 163939 HAS SOUS 28611 HAS SOUPS 28321 WITH SCORE 28492.458
AT ITER 3223 NEW BEST:: SOT 324137 SOS 171302 HAS SOPS 163783 HAS SOUS 28453 HAS SOUPS 28163 WITH SCORE 28334.302
AT ITER 3232 NEW BEST:: SOT 324202 SOS 171387 HAS SOPS 163868 HAS SOUS 28449 HAS SOUPS 28159 WITH SCORE 28330.387
AT ITER 3246 NEW BEST:: SOT 324158 SOS 171343 HAS SOPS 163824 HAS SOUS 28419 HAS SOUPS 28129 WITH SCORE 28300.343
AT ITER 3286 NEW BEST:: SOT 324157 SOS 171341 HAS SOPS 163822 HAS SOUS 28417 HAS SOUPS 28127 WITH SCORE 28298.341
AT ITER 3314 NEW BEST:: SOT 324155 SOS 171337 HAS SOPS 163818 HAS SOUS 28417 HAS SOUPS 28127 WITH SCORE 28298.337
AT ITER 3339 NEW BEST:: SOT 323926 SOS 175105 HAS SOPS 167411 HAS SOUS 28369 HAS SOUPS 28042 WITH SCORE 28217.105
AT ITER 3355 NEW BEST:: SOT 323906 SOS 175085 HAS SOPS 167391 HAS SOUS 28329 HAS SOUPS 28002 WITH SCORE 28177.085
AT ITER 3376 NEW BEST:: SOT 323592 SOS 174771 HAS SOPS 167077 HAS SOUS 28247 HAS SOUPS 27920 WITH SCORE 28094.771
AT ITER 3451 NEW BEST:: SOT 323610 SOS 174773 HAS SOPS 167079 HAS SOUS 28210 HAS SOUPS 27883 WITH SCORE 28057.773
AT ITER 3472 NEW BEST:: SOT 323609 SOS 174772 HAS SOPS 167078 HAS SOUS 28190 HAS SOUPS 27863 WITH SCORE 28037.772
AT ITER 3478 NEW BEST:: SOT 323609 SOS 174772 HAS SOPS 167078 HAS SOUS 28182 HAS SOUPS 27855 WITH SCORE 28029.772
AT ITER 3503 NEW BEST:: SOT 323609 SOS 174763 HAS SOPS 167069 HAS SOUS 28173 HAS SOUPS 27846 WITH SCORE 28020.763
AT ITER 3506 NEW BEST:: SOT 323615 SOS 174769 HAS SOPS 167075 HAS SOUS 28167 HAS SOUPS 27840 WITH SCORE 28014.769
AT ITER 3557 NEW BEST:: SOT 323580 SOS 174734 HAS SOPS 167040 HAS SOUS 28054 HAS SOUPS 27727 WITH SCORE 27901.734
AT ITER 3587 NEW BEST:: SOT 323496 SOS 174667 HAS SOPS 166973 HAS SOUS 28026 HAS SOUPS 27699 WITH SCORE 27873.667
AT ITER 3669 NEW BEST:: SOT 323495 SOS 174900 HAS SOPS 167206 HAS SOUS 28025 HAS SOUPS 27698 WITH SCORE 27872.9
AT ITER 3699 NEW BEST:: SOT 323491 SOS 174892 HAS SOPS 167198 HAS SOUS 28017 HAS SOUPS 27690 WITH SCORE 27864.892
AT ITER 3769 NEW BEST:: SOT 323432 SOS 174832 HAS SOPS 167138 HAS SOUS 27956 HAS SOUPS 27629 WITH SCORE 27803.832
AT ITER 3860 NEW BEST:: SOT 323425 SOS 174788 HAS SOPS 167094 HAS SOUS 27950 HAS SOUPS 27623 WITH SCORE 27797.788
AT ITER 3902 NEW BEST:: SOT 323425 SOS 174728 HAS SOPS 167034 HAS SOUS 27947 HAS SOUPS 27620 WITH SCORE 27794.728
AT ITER 3912 NEW BEST:: SOT 323422 SOS 174725 HAS SOPS 167031 HAS SOUS 27944 HAS SOUPS 27617 WITH SCORE 27791.725
AT ITER 3914 NEW BEST:: SOT 323422 SOS 174717 HAS SOPS 167023 HAS SOUS 27936 HAS SOUPS 27609 WITH SCORE 27783.717
AT ITER 3951 NEW BEST:: SOT 323402 SOS 174697 HAS SOPS 167003 HAS SOUS 27911 HAS SOUPS 27584 WITH SCORE 27758.697
AT ITER 3978 NEW BEST:: SOT 323408 SOS 174694 HAS SOPS 167000 HAS SOUS 27908 HAS SOUPS 27581 WITH SCORE 27755.694
AT ITER 3992 NEW BEST:: SOT 323407 SOS 174685 HAS SOPS 166991 HAS SOUS 27899 HAS SOUPS 27572 WITH SCORE 27746.685
AT ITER 4016 NEW BEST:: SOT 323660 SOS 174938 HAS SOPS 167244 HAS SOUS 27535 HAS SOUPS 27208 WITH SCORE 27382.938
AT ITER 4056 NEW BEST:: SOT 323258 SOS 174536 HAS SOPS 166842 HAS SOUS 27459 HAS SOUPS 27132 WITH SCORE 27306.536
AT ITER 4086 NEW BEST:: SOT 323259 SOS 174537 HAS SOPS 166843 HAS SOUS 27455 HAS SOUPS 27128 WITH SCORE 27302.537
AT ITER 4113 NEW BEST:: SOT 323259 SOS 174597 HAS SOPS 166903 HAS SOUS 27449 HAS SOUPS 27122 WITH SCORE 27296.597
AT ITER 4139 NEW BEST:: SOT 323253 SOS 174591 HAS SOPS 166897 HAS SOUS 27443 HAS SOUPS 27116 WITH SCORE 27290.591
AT ITER 4189 NEW BEST:: SOT 323293 SOS 174631 HAS SOPS 166937 HAS SOUS 27405 HAS SOUPS 27078 WITH SCORE 27252.631
AT ITER 4206 NEW BEST:: SOT 323283 SOS 174621 HAS SOPS 166927 HAS SOUS 27401 HAS SOUPS 27074 WITH SCORE 27248.621
AT ITER 4215 NEW BEST:: SOT 323357 SOS 174707 HAS SOPS 167013 HAS SOUS 27339 HAS SOUPS 27012 WITH SCORE 27186.707
AT ITER 4230 NEW BEST:: SOT 323339 SOS 174689 HAS SOPS 166995 HAS SOUS 27321 HAS SOUPS 26994 WITH SCORE 27168.689
AT ITER 4259 NEW BEST:: SOT 323340 SOS 174691 HAS SOPS 166997 HAS SOUS 27245 HAS SOUPS 26918 WITH SCORE 27092.691
AT ITER 4268 NEW BEST:: SOT 323340 SOS 174611 HAS SOPS 166917 HAS SOUS 27241 HAS SOUPS 26914 WITH SCORE 27088.611
AT ITER 4275 NEW BEST:: SOT 323340 SOS 174611 HAS SOPS 166917 HAS SOUS 27240 HAS SOUPS 26913 WITH SCORE 27087.611
AT ITER 4279 NEW BEST:: SOT 323329 SOS 174588 HAS SOPS 166894 HAS SOUS 27239 HAS SOUPS 26912 WITH SCORE 27086.588
AT ITER 4296 NEW BEST:: SOT 323324 SOS 173851 HAS SOPS 166415 HAS SOUS 27212 HAS SOUPS 26891 WITH SCORE 27064.851
AT ITER 4311 NEW BEST:: SOT 323324 SOS 173847 HAS SOPS 166411 HAS SOUS 27208 HAS SOUPS 26887 WITH SCORE 27060.847
AT ITER 4329 NEW BEST:: SOT 323324 SOS 173844 HAS SOPS 166408 HAS SOUS 27205 HAS SOUPS 26884 WITH SCORE 27057.844
AT ITER 4388 NEW BEST:: SOT 323324 SOS 173840 HAS SOPS 166404 HAS SOUS 27201 HAS SOUPS 26880 WITH SCORE 27053.84
AT ITER 4460 NEW BEST:: SOT 323311 SOS 173802 HAS SOPS 166366 HAS SOUS 27189 HAS SOUPS 26868 WITH SCORE 27041.802
AT ITER 4538 NEW BEST:: SOT 323311 SOS 173798 HAS SOPS 166362 HAS SOUS 27185 HAS SOUPS 26864 WITH SCORE 27037.798
AT ITER 4547 NEW BEST:: SOT 323308 SOS 173791 HAS SOPS 166355 HAS SOUS 27178 HAS SOUPS 26857 WITH SCORE 27030.791
AT ITER 4608 NEW BEST:: SOT 323307 SOS 173790 HAS SOPS 166354 HAS SOUS 27177 HAS SOUPS 26856 WITH SCORE 27029.79
AT ITER 4631 NEW BEST:: SOT 323273 SOS 173756 HAS SOPS 166320 HAS SOUS 27140 HAS SOUPS 26819 WITH SCORE 26992.756
AT ITER 4663 NEW BEST:: SOT 323268 SOS 173751 HAS SOPS 166315 HAS SOUS 27098 HAS SOUPS 26777 WITH SCORE 26950.751
AT ITER 4683 NEW BEST:: SOT 323268 SOS 173795 HAS SOPS 166235 HAS SOUS 27088 HAS SOUPS 26769 WITH SCORE 26942.795
AT ITER 4689 NEW BEST:: SOT 323281 SOS 173818 HAS SOPS 166258 HAS SOUS 27085 HAS SOUPS 26766 WITH SCORE 26939.818
AT ITER 4747 NEW BEST:: SOT 323281 SOS 173812 HAS SOPS 166252 HAS SOUS 27079 HAS SOUPS 26760 WITH SCORE 26933.812
AT ITER 4750 NEW BEST:: SOT 323252 SOS 173739 HAS SOPS 166179 HAS SOUS 27064 HAS SOUPS 26745 WITH SCORE 26918.739
AT ITER 4797 NEW BEST:: SOT 323328 SOS 173815 HAS SOPS 166255 HAS SOUS 26992 HAS SOUPS 26673 WITH SCORE 26846.815
AT ITER 4805 NEW BEST:: SOT 323328 SOS 174391 HAS SOPS 166175 HAS SOUS 26954 HAS SOUPS 26647 WITH SCORE 26821.391
AT ITER 4817 NEW BEST:: SOT 323329 SOS 174390 HAS SOPS 166174 HAS SOUS 26953 HAS SOUPS 26646 WITH SCORE 26820.39
AT ITER 4858 NEW BEST:: SOT 323361 SOS 174422 HAS SOPS 166206 HAS SOUS 26831 HAS SOUPS 26524 WITH SCORE 26698.422
AT ITER 4890 NEW BEST:: SOT 323358 SOS 174418 HAS SOPS 166202 HAS SOUS 26827 HAS SOUPS 26520 WITH SCORE 26694.418
AT ITER 4916 NEW BEST:: SOT 323346 SOS 172450 HAS SOPS 164750 HAS SOUS 26779 HAS SOUPS 26484 WITH SCORE 26656.45
AT ITER 4971 NEW BEST:: SOT 323348 SOS 172461 HAS SOPS 164761 HAS SOUS 26774 HAS SOUPS 26479 WITH SCORE 26651.461
AT ITER 4988 NEW BEST:: SOT 323337 SOS 172438 HAS SOPS 164738 HAS SOUS 26773 HAS SOUPS 26478 WITH SCORE 26650.438
AT ITER 4989 NEW BEST:: SOT 323278 SOS 172378 HAS SOPS 164678 HAS SOUS 26713 HAS SOUPS 26418 WITH SCORE 26590.378
Bounds file is: CTLFireability.xml
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-00 (AG( (! (AG( ((potential((tk(P149)>=1) & (tk(P153)>=1) & (tk(P175)>=1)))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-01 (EX( (AX( (AF( ((potential((tk(P135)>=1) & (tk(P168)>=1) & (tk(P188)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-02 (AF( ( (! (EF( ((potential((tk(P140)>=1) & (tk(P170)>=1) & (tk(P191)>=1))))))) & ( (AF( ((potential((tk(P106)>=1) & (tk(P152)>=1) & (tk(P158)>=1) & (tk(P181)>=1)))))) | ( ( ((potential((tk(P130)>=1) & (tk(P152)>=1) & (tk(P171)>=1) & (tk(P194)>=1)))) | ((potential((tk(P139)>=1) & (tk(P163)>=1) & (tk(P185)>=1)))) ) & (! ((potential((tk(P135)>=1) & (tk(P156)>=1) & (tk(P176)>=1))))) ) ) )))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-03 (AG( (EG( ( ( ((potential((tk(P121)>=1) & (tk(P152)>=1) & (tk(P158)>=1) & (tk(P177)>=1)))) & ((potential((tk(P138)>=1) & (tk(P170)>=1) & (tk(P190)>=1)))) ) | (! ((potential((tk(P97)>=1) & (tk(P152)>=1) & (tk(P172)>=1) & (tk(P191)>=1))))) )))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-04 (AF( (EU( ((potential((tk(P108)>=1) & (tk(P152)>=1) & (tk(P154)>=1) & (tk(P177)>=1)))) , ((potential((tk(P133)>=1) & (tk(P154)>=1) & (tk(P174)>=1)))) ))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-05 ( (AU( (AX( ((potential((tk(P145)>=1) & (tk(P165)>=1) & (tk(P187)>=1)))))) , (EF( ((potential((tk(P145)>=1) & (tk(P163)>=1) & (tk(P185)>=1)))))) )) & (EU( (EF( ((potential((tk(P136)>=1) & (tk(P162)>=1) & (tk(P184)>=1)))))) , ((potential((tk(P133)>=1) & (tk(P160)>=1) & (tk(P180)>=1)))) )) )
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-06 (EG( ( (AU( ((potential((tk(P147)>=1) & (tk(P169)>=1) & (tk(P191)>=1)))) , ((potential((tk(P143)>=1) & (tk(P169)>=1) & (tk(P189)>=1)))) )) | (! ( ( ((potential((tk(P133)>=1) & (tk(P158)>=1) & (tk(P180)>=1)))) | ((potential((tk(P133)>=1) & (tk(P171)>=1) & (tk(P192)>=1)))) ) | ( ((potential((tk(P133)>=1) & (tk(P170)>=1) & (tk(P192)>=1)))) & ((potential((tk(P136)>=1) & (tk(P157)>=1) & (tk(P179)>=1)))) ) )) )))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-07 (AX( (AF( (AF( ((potential((tk(P149)>=1) & (tk(P172)>=1) & (tk(P194)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-08 ( (AF( ( ( ( ((potential((tk(P134)>=1) & (tk(P160)>=1) & (tk(P180)>=1)))) | ((potential((tk(P142)>=1) & (tk(P155)>=1) & (tk(P176)>=1)))) ) | ( ((potential((tk(P97)>=1) & (tk(P152)>=1) & (tk(P164)>=1) & (tk(P183)>=1)))) & ((potential((tk(P143)>=1) & (tk(P158)>=1) & (tk(P180)>=1)))) ) ) | (AG( ((potential((tk(P146)>=1) & (tk(P153)>=1) & (tk(P175)>=1)))))) ))) & (! ((potential((tk(P134)>=1) & (tk(P156)>=1) & (tk(P176)>=1))))) )
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-09 (AF( (AX( (EG( ((potential((tk(P82)>=1) & (tk(P120)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-10 ( (EF( (! ( ( ((potential((tk(P54)>=1) & (tk(P131)>=1)))) & ((potential((tk(P137)>=1) & (tk(P164)>=1) & (tk(P185)>=1)))) ) | ((potential((tk(P99)>=1) & (tk(P152)>=1) & (tk(P172)>=1) & (tk(P191)>=1)))) )))) & (AX( ( ( ( ((potential((tk(P143)>=1) & (tk(P170)>=1) & (tk(P191)>=1)))) | ((potential((tk(P92)>=1) & (tk(P152)>=1) & (tk(P165)>=1) & (tk(P188)>=1)))) ) & ( ((potential((tk(P111)>=1) & (tk(P152)>=1) & (tk(P171)>=1) & (tk(P190)>=1)))) & ((potential((tk(P108)>=1) & (tk(P152)>=1) & (tk(P161)>=1) & (tk(P184)>=1)))) ) ) | (EF( ((potential((tk(P115)>=1) & (tk(P152)>=1) & (tk(P156)>=1) & (tk(P175)>=1)))))) ))) )
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-11 (EF( ((potential((tk(P144)>=1) & (tk(P163)>=1) & (tk(P184)>=1))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-12 (AX( (! (EG( (! ((potential((tk(P133)>=1) & (tk(P155)>=1) & (tk(P177)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-13 (! (! (EG( (AF( ((potential((tk(P138)>=1) & (tk(P172)>=1) & (tk(P193)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-14 (AG( (EF( (EG( ((potential((tk(P138)>=1) & (tk(P156)>=1) & (tk(P178)>=1))))))))))
PROPERTY: SimpleLoadBal-PT-20-CTLFireability-15 ( (! (EF( (EG( ((potential((tk(P140)>=1) & (tk(P161)>=1) & (tk(P183)>=1))))))))) & (! ((potential((tk(P123)>=1) & (tk(P152)>=1) & (tk(P173)>=1) & (tk(P192)>=1))))) )

BK_STOP 1589750498258

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 469 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-20"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SimpleLoadBal-PT-20, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910500628"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;