Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.7K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 23:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.2K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 16:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 13 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 131K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A02-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590473614997

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A02
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: 127 places, 189 transitions, 441 arcs.
AT ITER 0 NEW BEST:: SOT 16397 SOS 10751 HAS SOPS 10751 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3462.751
AT ITER 2 NEW BEST:: SOT 16373 SOS 10690 HAS SOPS 10690 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3461.69
AT ITER 19 NEW BEST:: SOT 16273 SOS 10440 HAS SOPS 10440 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3461.44
AT ITER 35 NEW BEST:: SOT 16221 SOS 10307 HAS SOPS 10307 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3456.307
AT ITER 46 NEW BEST:: SOT 16213 SOS 10284 HAS SOPS 10284 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3451.284
AT ITER 56 NEW BEST:: SOT 16185 SOS 10214 HAS SOPS 10214 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3451.214
AT ITER 66 NEW BEST:: SOT 16117 SOS 10026 HAS SOPS 10026 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3448.026
AT ITER 67 NEW BEST:: SOT 16067 SOS 9876 HAS SOPS 9876 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3416.876
AT ITER 74 NEW BEST:: SOT 16067 SOS 9864 HAS SOPS 9864 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3404.864
AT ITER 75 NEW BEST:: SOT 15981 SOS 9648 HAS SOPS 9648 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3403.648
AT ITER 77 NEW BEST:: SOT 15975 SOS 9630 HAS SOPS 9630 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3398.63
AT ITER 83 NEW BEST:: SOT 15949 SOS 9565 HAS SOPS 9565 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3398.565
AT ITER 85 NEW BEST:: SOT 15821 SOS 9245 HAS SOPS 9245 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3398.245
AT ITER 104 NEW BEST:: SOT 15737 SOS 9034 HAS SOPS 9034 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3397.034
AT ITER 108 NEW BEST:: SOT 15759 SOS 9095 HAS SOPS 9095 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3388.095
AT ITER 109 NEW BEST:: SOT 15731 SOS 9020 HAS SOPS 9020 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3386.02
AT ITER 127 NEW BEST:: SOT 15725 SOS 9005 HAS SOPS 9005 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3386.005
AT ITER 147 NEW BEST:: SOT 15590 SOS 8734 HAS SOPS 8734 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3373.734
AT ITER 153 NEW BEST:: SOT 15590 SOS 8723 HAS SOPS 8723 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3362.723
AT ITER 155 NEW BEST:: SOT 15582 SOS 8699 HAS SOPS 8699 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3358.699
AT ITER 160 NEW BEST:: SOT 15594 SOS 8730 HAS SOPS 8730 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3356.73
AT ITER 167 NEW BEST:: SOT 15572 SOS 8672 HAS SOPS 8672 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3351.672
AT ITER 172 NEW BEST:: SOT 15542 SOS 8612 HAS SOPS 8612 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3341.612
AT ITER 176 NEW BEST:: SOT 15420 SOS 8246 HAS SOPS 8246 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3278.246
AT ITER 190 NEW BEST:: SOT 15420 SOS 8243 HAS SOPS 8243 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3275.243
AT ITER 255 NEW BEST:: SOT 15373 SOS 8073 HAS SOPS 8073 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3237.073
AT ITER 257 NEW BEST:: SOT 15357 SOS 8030 HAS SOPS 8030 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3232.03
AT ITER 261 NEW BEST:: SOT 15347 SOS 8000 HAS SOPS 8000 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3227.0
AT ITER 270 NEW BEST:: SOT 15251 SOS 7731 HAS SOPS 7731 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3197.731
AT ITER 285 NEW BEST:: SOT 15125 SOS 7365 HAS SOPS 7365 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3167.365
AT ITER 288 NEW BEST:: SOT 15067 SOS 7196 HAS SOPS 7196 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3117.196
AT ITER 297 NEW BEST:: SOT 15067 SOS 7192 HAS SOPS 7192 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3113.192
AT ITER 308 NEW BEST:: SOT 15051 SOS 7144 HAS SOPS 7144 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3095.144
AT ITER 332 NEW BEST:: SOT 15036 SOS 7114 HAS SOPS 7114 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3090.114
AT ITER 339 NEW BEST:: SOT 15027 SOS 7061 HAS SOPS 7061 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3071.061
AT ITER 364 NEW BEST:: SOT 15024 SOS 7048 HAS SOPS 7048 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3061.048
AT ITER 386 NEW BEST:: SOT 15024 SOS 7045 HAS SOPS 7045 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3058.045
AT ITER 391 NEW BEST:: SOT 14992 SOS 6958 HAS SOPS 6958 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3048.958
AT ITER 404 NEW BEST:: SOT 14972 SOS 6907 HAS SOPS 6907 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3047.907
AT ITER 409 NEW BEST:: SOT 14945 SOS 6799 HAS SOPS 6799 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.799
AT ITER 430 NEW BEST:: SOT 14919 SOS 6731 HAS SOPS 6731 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3017.731
AT ITER 441 NEW BEST:: SOT 14820 SOS 6466 HAS SOPS 6466 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3005.466
AT ITER 451 NEW BEST:: SOT 14820 SOS 6464 HAS SOPS 6464 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.464
AT ITER 455 NEW BEST:: SOT 14775 SOS 6329 HAS SOPS 6329 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2979.329
AT ITER 479 NEW BEST:: SOT 14719 SOS 6150 HAS SOPS 6150 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2952.15
AT ITER 520 NEW BEST:: SOT 14705 SOS 6115 HAS SOPS 6115 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2952.115
AT ITER 531 NEW BEST:: SOT 14691 SOS 6063 HAS SOPS 6063 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2948.063
AT ITER 536 NEW BEST:: SOT 14688 SOS 6057 HAS SOPS 6057 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2945.057
AT ITER 545 NEW BEST:: SOT 14681 SOS 6027 HAS SOPS 6027 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2932.027
AT ITER 546 NEW BEST:: SOT 14642 SOS 5936 HAS SOPS 5936 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2903.936
AT ITER 548 NEW BEST:: SOT 14701 SOS 6086 HAS SOPS 6086 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2899.086
AT ITER 565 NEW BEST:: SOT 14686 SOS 6035 HAS SOPS 6035 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2885.035
AT ITER 568 NEW BEST:: SOT 14648 SOS 5912 HAS SOPS 5912 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2882.912
AT ITER 609 NEW BEST:: SOT 14647 SOS 5910 HAS SOPS 5910 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2882.91
AT ITER 620 NEW BEST:: SOT 14619 SOS 5816 HAS SOPS 5816 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2873.816
AT ITER 642 NEW BEST:: SOT 14590 SOS 5758 HAS SOPS 5758 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2844.758
AT ITER 644 NEW BEST:: SOT 14580 SOS 5731 HAS SOPS 5731 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2842.731
AT ITER 655 NEW BEST:: SOT 14585 SOS 5746 HAS SOPS 5746 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2837.746
AT ITER 660 NEW BEST:: SOT 14585 SOS 5746 HAS SOPS 5746 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2835.746
AT ITER 704 NEW BEST:: SOT 14512 SOS 5542 HAS SOPS 5542 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2831.542
AT ITER 716 NEW BEST:: SOT 14512 SOS 5542 HAS SOPS 5542 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2829.542
AT ITER 719 NEW BEST:: SOT 14511 SOS 5540 HAS SOPS 5540 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2828.54
AT ITER 751 NEW BEST:: SOT 14528 SOS 5589 HAS SOPS 5589 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2815.589
AT ITER 755 NEW BEST:: SOT 14524 SOS 5584 HAS SOPS 5584 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2812.584
AT ITER 758 NEW BEST:: SOT 14526 SOS 5578 HAS SOPS 5578 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2804.578
AT ITER 770 NEW BEST:: SOT 14525 SOS 5575 HAS SOPS 5575 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2800.575
AT ITER 798 NEW BEST:: SOT 14522 SOS 5572 HAS SOPS 5572 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2800.572
AT ITER 838 NEW BEST:: SOT 14508 SOS 5530 HAS SOPS 5530 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2793.53
AT ITER 847 NEW BEST:: SOT 14496 SOS 5500 HAS SOPS 5500 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2793.5
AT ITER 848 NEW BEST:: SOT 14490 SOS 5494 HAS SOPS 5494 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2793.494
AT ITER 858 NEW BEST:: SOT 14455 SOS 5387 HAS SOPS 5387 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2769.387
AT ITER 859 NEW BEST:: SOT 14455 SOS 5387 HAS SOPS 5387 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2767.387
AT ITER 860 NEW BEST:: SOT 14451 SOS 5379 HAS SOPS 5379 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2745.379
AT ITER 867 NEW BEST:: SOT 14429 SOS 5312 HAS SOPS 5312 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2699.312
AT ITER 906 NEW BEST:: SOT 14429 SOS 5312 HAS SOPS 5312 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2655.312
AT ITER 934 NEW BEST:: SOT 14407 SOS 5249 HAS SOPS 5249 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2648.249
AT ITER 945 NEW BEST:: SOT 14401 SOS 5234 HAS SOPS 5234 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2648.234
AT ITER 961 NEW BEST:: SOT 14397 SOS 5226 HAS SOPS 5226 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2645.226
AT ITER 962 NEW BEST:: SOT 14392 SOS 5211 HAS SOPS 5211 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2635.211
AT ITER 964 NEW BEST:: SOT 14388 SOS 5199 HAS SOPS 5199 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2633.199
AT ITER 973 NEW BEST:: SOT 14391 SOS 5213 HAS SOPS 5213 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2632.213
AT ITER 982 NEW BEST:: SOT 14385 SOS 5201 HAS SOPS 5201 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2632.201
AT ITER 984 NEW BEST:: SOT 14372 SOS 5159 HAS SOPS 5159 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2619.159
AT ITER 991 NEW BEST:: SOT 14342 SOS 5098 HAS SOPS 5098 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2616.098
AT ITER 992 NEW BEST:: SOT 14286 SOS 4952 HAS SOPS 4952 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2581.952
AT ITER 993 NEW BEST:: SOT 14266 SOS 4898 HAS SOPS 4898 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2577.898
AT ITER 1007 NEW BEST:: SOT 14258 SOS 4866 HAS SOPS 4866 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2577.866
AT ITER 1025 NEW BEST:: SOT 14258 SOS 4866 HAS SOPS 4866 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2565.866
AT ITER 1035 NEW BEST:: SOT 14230 SOS 4784 HAS SOPS 4784 HAS SOUS 2543 HAS SOUPS 2543 WITH SCORE 2547.784
AT ITER 1062 NEW BEST:: SOT 14131 SOS 4497 HAS SOPS 4497 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2518.497
AT ITER 1072 NEW BEST:: SOT 14131 SOS 4496 HAS SOPS 4496 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2515.496
AT ITER 1086 NEW BEST:: SOT 14121 SOS 4467 HAS SOPS 4467 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2513.467
AT ITER 1123 NEW BEST:: SOT 14109 SOS 4436 HAS SOPS 4436 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2512.436
AT ITER 1135 NEW BEST:: SOT 14126 SOS 4487 HAS SOPS 4487 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2500.487
AT ITER 1137 NEW BEST:: SOT 14124 SOS 4481 HAS SOPS 4481 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2492.481
AT ITER 1157 NEW BEST:: SOT 14105 SOS 4406 HAS SOPS 4406 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2479.406
AT ITER 1178 NEW BEST:: SOT 14091 SOS 4352 HAS SOPS 4352 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2478.352
AT ITER 1186 NEW BEST:: SOT 14073 SOS 4305 HAS SOPS 4305 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2476.305
AT ITER 1213 NEW BEST:: SOT 14074 SOS 4307 HAS SOPS 4307 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2471.307
AT ITER 1254 NEW BEST:: SOT 14072 SOS 4301 HAS SOPS 4301 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2468.301
AT ITER 1262 NEW BEST:: SOT 14068 SOS 4289 HAS SOPS 4289 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2466.289
AT ITER 1307 NEW BEST:: SOT 14067 SOS 4285 HAS SOPS 4285 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2466.285
AT ITER 1329 NEW BEST:: SOT 14066 SOS 4283 HAS SOPS 4283 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2465.283
AT ITER 1349 NEW BEST:: SOT 14067 SOS 4294 HAS SOPS 4294 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2460.294
AT ITER 1357 NEW BEST:: SOT 14092 SOS 4369 HAS SOPS 4369 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2458.369
AT ITER 1359 NEW BEST:: SOT 14084 SOS 4349 HAS SOPS 4349 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2458.349
AT ITER 1362 NEW BEST:: SOT 14078 SOS 4329 HAS SOPS 4329 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2448.329
AT ITER 1383 NEW BEST:: SOT 14078 SOS 4329 HAS SOPS 4329 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2444.329
AT ITER 1392 NEW BEST:: SOT 14047 SOS 4215 HAS SOPS 4215 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2415.215
AT ITER 1409 NEW BEST:: SOT 14051 SOS 4233 HAS SOPS 4233 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2408.233
AT ITER 1430 NEW BEST:: SOT 14029 SOS 4165 HAS SOPS 4165 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2382.165
AT ITER 1442 NEW BEST:: SOT 14001 SOS 4089 HAS SOPS 4089 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2354.089
AT ITER 1457 NEW BEST:: SOT 13972 SOS 4016 HAS SOPS 4016 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2344.016
AT ITER 1468 NEW BEST:: SOT 13971 SOS 4012 HAS SOPS 4012 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2343.012
AT ITER 1484 NEW BEST:: SOT 13967 SOS 3958 HAS SOPS 3958 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2319.958
AT ITER 1493 NEW BEST:: SOT 13965 SOS 3957 HAS SOPS 3957 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.957
AT ITER 1503 NEW BEST:: SOT 13965 SOS 3959 HAS SOPS 3959 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2315.959
AT ITER 1520 NEW BEST:: SOT 13960 SOS 3944 HAS SOPS 3944 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.944
AT ITER 1523 NEW BEST:: SOT 13944 SOS 3878 HAS SOPS 3878 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2300.878
AT ITER 1524 NEW BEST:: SOT 13881 SOS 3752 HAS SOPS 3752 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2300.752
AT ITER 1544 NEW BEST:: SOT 13839 SOS 3668 HAS SOPS 3668 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2255.668
AT ITER 1574 NEW BEST:: SOT 13843 SOS 3677 HAS SOPS 3677 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2244.677
AT ITER 1588 NEW BEST:: SOT 13832 SOS 3685 HAS SOPS 3685 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.685
AT ITER 1646 NEW BEST:: SOT 13801 SOS 3564 HAS SOPS 3564 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.564
AT ITER 1647 NEW BEST:: SOT 13796 SOS 3551 HAS SOPS 3551 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2214.551
AT ITER 1650 NEW BEST:: SOT 13756 SOS 3458 HAS SOPS 3458 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2209.458
AT ITER 1661 NEW BEST:: SOT 13753 SOS 3449 HAS SOPS 3449 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2207.449
AT ITER 1676 NEW BEST:: SOT 13753 SOS 3439 HAS SOPS 3439 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2179.439
AT ITER 1697 NEW BEST:: SOT 13752 SOS 3441 HAS SOPS 3441 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2174.441
AT ITER 1716 NEW BEST:: SOT 13752 SOS 3439 HAS SOPS 3439 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2170.439
AT ITER 1758 NEW BEST:: SOT 13738 SOS 3397 HAS SOPS 3397 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2162.397
AT ITER 1791 NEW BEST:: SOT 13734 SOS 3399 HAS SOPS 3399 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2161.399
AT ITER 1796 NEW BEST:: SOT 13734 SOS 3401 HAS SOPS 3401 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2160.401
AT ITER 1866 NEW BEST:: SOT 13735 SOS 3407 HAS SOPS 3407 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2156.407
AT ITER 1908 NEW BEST:: SOT 13728 SOS 3393 HAS SOPS 3393 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2149.393
AT ITER 1936 NEW BEST:: SOT 13719 SOS 3333 HAS SOPS 3333 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2137.333
AT ITER 1996 NEW BEST:: SOT 13715 SOS 3321 HAS SOPS 3321 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.321
AT ITER 2030 NEW BEST:: SOT 13755 SOS 3405 HAS SOPS 3405 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2131.405
AT ITER 2052 NEW BEST:: SOT 13748 SOS 3385 HAS SOPS 3385 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2130.385
AT ITER 2083 NEW BEST:: SOT 13749 SOS 3388 HAS SOPS 3388 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.388
AT ITER 2093 NEW BEST:: SOT 13749 SOS 3387 HAS SOPS 3387 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2120.387
AT ITER 2094 NEW BEST:: SOT 13750 SOS 3390 HAS SOPS 3390 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2119.39
AT ITER 2097 NEW BEST:: SOT 13738 SOS 3371 HAS SOPS 3371 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2101.371
AT ITER 2102 NEW BEST:: SOT 13725 SOS 3358 HAS SOPS 3358 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2088.358
AT ITER 2106 NEW BEST:: SOT 13723 SOS 3350 HAS SOPS 3350 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2082.35
AT ITER 2107 NEW BEST:: SOT 13722 SOS 3346 HAS SOPS 3346 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2082.346
AT ITER 2125 NEW BEST:: SOT 13700 SOS 3297 HAS SOPS 3297 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2077.297
AT ITER 2154 NEW BEST:: SOT 13690 SOS 3261 HAS SOPS 3261 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2069.261
AT ITER 2161 NEW BEST:: SOT 13691 SOS 3235 HAS SOPS 3235 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2068.235
AT ITER 2167 NEW BEST:: SOT 13680 SOS 3224 HAS SOPS 3224 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2057.224
AT ITER 2211 NEW BEST:: SOT 13678 SOS 3218 HAS SOPS 3218 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2054.218
AT ITER 2228 NEW BEST:: SOT 13668 SOS 3210 HAS SOPS 3210 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.21
AT ITER 2270 NEW BEST:: SOT 13666 SOS 3205 HAS SOPS 3205 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2041.205
AT ITER 2272 NEW BEST:: SOT 13623 SOS 3086 HAS SOPS 3086 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2040.086
AT ITER 2289 NEW BEST:: SOT 13590 SOS 2984 HAS SOPS 2984 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.984
AT ITER 2338 NEW BEST:: SOT 13560 SOS 2904 HAS SOPS 2904 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.904
AT ITER 2347 NEW BEST:: SOT 13553 SOS 2904 HAS SOPS 2904 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.904
AT ITER 2348 NEW BEST:: SOT 13542 SOS 2875 HAS SOPS 2875 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.875
AT ITER 2363 NEW BEST:: SOT 13536 SOS 2863 HAS SOPS 2863 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.863
AT ITER 2400 NEW BEST:: SOT 13536 SOS 2866 HAS SOPS 2866 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.866
AT ITER 2402 NEW BEST:: SOT 13531 SOS 2851 HAS SOPS 2851 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.851
AT ITER 2466 NEW BEST:: SOT 13534 SOS 2862 HAS SOPS 2862 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.862
AT ITER 2491 NEW BEST:: SOT 13530 SOS 2840 HAS SOPS 2840 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.84
AT ITER 2522 NEW BEST:: SOT 13528 SOS 2838 HAS SOPS 2838 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.838
AT ITER 2579 NEW BEST:: SOT 13519 SOS 2806 HAS SOPS 2806 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.806
AT ITER 2583 NEW BEST:: SOT 13517 SOS 2803 HAS SOPS 2803 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.803
AT ITER 2587 NEW BEST:: SOT 13522 SOS 2808 HAS SOPS 2808 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.808
AT ITER 2623 NEW BEST:: SOT 13523 SOS 2809 HAS SOPS 2809 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.809
AT ITER 2663 NEW BEST:: SOT 13523 SOS 2820 HAS SOPS 2820 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.82
AT ITER 2672 NEW BEST:: SOT 13529 SOS 2830 HAS SOPS 2830 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.83
AT ITER 2675 NEW BEST:: SOT 13527 SOS 2826 HAS SOPS 2826 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.826
AT ITER 2692 NEW BEST:: SOT 13526 SOS 2824 HAS SOPS 2824 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.824
AT ITER 2699 NEW BEST:: SOT 13508 SOS 2770 HAS SOPS 2770 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.77
AT ITER 2738 NEW BEST:: SOT 13508 SOS 2768 HAS SOPS 2768 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.768
AT ITER 2740 NEW BEST:: SOT 13503 SOS 2748 HAS SOPS 2748 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.748
AT ITER 2785 NEW BEST:: SOT 13497 SOS 2724 HAS SOPS 2724 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.724
AT ITER 2805 NEW BEST:: SOT 13533 SOS 2796 HAS SOPS 2796 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.796
AT ITER 2810 NEW BEST:: SOT 13530 SOS 2790 HAS SOPS 2790 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.79
AT ITER 2814 NEW BEST:: SOT 13532 SOS 2792 HAS SOPS 2792 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1870.792
AT ITER 2820 NEW BEST:: SOT 13530 SOS 2789 HAS SOPS 2789 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.789
AT ITER 2822 NEW BEST:: SOT 13526 SOS 2782 HAS SOPS 2782 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.782
AT ITER 2872 NEW BEST:: SOT 13522 SOS 2774 HAS SOPS 2774 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.774
AT ITER 2894 NEW BEST:: SOT 13520 SOS 2768 HAS SOPS 2768 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1863.768
AT ITER 2942 NEW BEST:: SOT 13514 SOS 2771 HAS SOPS 2771 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.771
AT ITER 2993 NEW BEST:: SOT 13509 SOS 2747 HAS SOPS 2747 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.747
AT ITER 3001 NEW BEST:: SOT 13505 SOS 2731 HAS SOPS 2731 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.731
AT ITER 3002 NEW BEST:: SOT 13505 SOS 2733 HAS SOPS 2733 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.733
AT ITER 3054 NEW BEST:: SOT 13508 SOS 2736 HAS SOPS 2736 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.736
AT ITER 3115 NEW BEST:: SOT 13508 SOS 2737 HAS SOPS 2737 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.737
AT ITER 3180 NEW BEST:: SOT 13507 SOS 2735 HAS SOPS 2735 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.735
AT ITER 3184 NEW BEST:: SOT 13507 SOS 2735 HAS SOPS 2735 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.735
AT ITER 3185 NEW BEST:: SOT 13505 SOS 2731 HAS SOPS 2731 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.731
AT ITER 3217 NEW BEST:: SOT 13506 SOS 2770 HAS SOPS 2770 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.77
AT ITER 3242 NEW BEST:: SOT 13487 SOS 2732 HAS SOPS 2732 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.732
AT ITER 3256 NEW BEST:: SOT 13484 SOS 2734 HAS SOPS 2734 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.734
AT ITER 3289 NEW BEST:: SOT 13466 SOS 2701 HAS SOPS 2701 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.701
AT ITER 3307 NEW BEST:: SOT 13464 SOS 2697 HAS SOPS 2697 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.697
AT ITER 3343 NEW BEST:: SOT 13460 SOS 2683 HAS SOPS 2683 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1792.683
AT ITER 3348 NEW BEST:: SOT 13450 SOS 2641 HAS SOPS 2641 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.641
AT ITER 3352 NEW BEST:: SOT 13449 SOS 2621 HAS SOPS 2621 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.621
AT ITER 3369 NEW BEST:: SOT 13443 SOS 2606 HAS SOPS 2606 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.606
AT ITER 3396 NEW BEST:: SOT 13441 SOS 2604 HAS SOPS 2604 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.604
AT ITER 3412 NEW BEST:: SOT 13441 SOS 2604 HAS SOPS 2604 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.604
AT ITER 3453 NEW BEST:: SOT 13439 SOS 2598 HAS SOPS 2598 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.598
AT ITER 3476 NEW BEST:: SOT 13437 SOS 2589 HAS SOPS 2589 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.589
AT ITER 3494 NEW BEST:: SOT 13436 SOS 2589 HAS SOPS 2589 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.589
AT ITER 3506 NEW BEST:: SOT 13437 SOS 2593 HAS SOPS 2593 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.593
AT ITER 3614 NEW BEST:: SOT 13428 SOS 2559 HAS SOPS 2559 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1750.559
AT ITER 3622 NEW BEST:: SOT 13418 SOS 2549 HAS SOPS 2549 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1748.549
AT ITER 3649 NEW BEST:: SOT 13430 SOS 2578 HAS SOPS 2578 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.578
AT ITER 3651 NEW BEST:: SOT 13430 SOS 2578 HAS SOPS 2578 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1745.578
AT ITER 3675 NEW BEST:: SOT 13429 SOS 2576 HAS SOPS 2576 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.576
AT ITER 3729 NEW BEST:: SOT 13421 SOS 2560 HAS SOPS 2560 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.56
AT ITER 3890 NEW BEST:: SOT 13418 SOS 2554 HAS SOPS 2554 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.554
AT ITER 3920 NEW BEST:: SOT 13410 SOS 2530 HAS SOPS 2530 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.53
AT ITER 3926 NEW BEST:: SOT 13405 SOS 2510 HAS SOPS 2510 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1718.51
AT ITER 3927 NEW BEST:: SOT 13402 SOS 2501 HAS SOPS 2501 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.501
AT ITER 3947 NEW BEST:: SOT 13394 SOS 2485 HAS SOPS 2485 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.485
AT ITER 3948 NEW BEST:: SOT 13397 SOS 2491 HAS SOPS 2491 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.491
AT ITER 3972 NEW BEST:: SOT 13370 SOS 2403 HAS SOPS 2403 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.403
AT ITER 4101 NEW BEST:: SOT 13369 SOS 2401 HAS SOPS 2401 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.401
AT ITER 4190 NEW BEST:: SOT 13366 SOS 2389 HAS SOPS 2389 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.389
AT ITER 4230 NEW BEST:: SOT 13354 SOS 2347 HAS SOPS 2347 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1666.347
AT ITER 4269 NEW BEST:: SOT 13353 SOS 2344 HAS SOPS 2344 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1665.344
AT ITER 4289 NEW BEST:: SOT 13354 SOS 2346 HAS SOPS 2346 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1664.346
AT ITER 4311 NEW BEST:: SOT 13351 SOS 2338 HAS SOPS 2338 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.338
AT ITER 4414 NEW BEST:: SOT 13337 SOS 2293 HAS SOPS 2293 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.293
AT ITER 4453 NEW BEST:: SOT 13331 SOS 2277 HAS SOPS 2277 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.277
AT ITER 4510 NEW BEST:: SOT 13323 SOS 2245 HAS SOPS 2245 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.245
AT ITER 4568 NEW BEST:: SOT 13316 SOS 2235 HAS SOPS 2235 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.235
AT ITER 4584 NEW BEST:: SOT 13318 SOS 2229 HAS SOPS 2229 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.229
AT ITER 4585 NEW BEST:: SOT 13316 SOS 2229 HAS SOPS 2229 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1617.229
AT ITER 4658 NEW BEST:: SOT 13317 SOS 2231 HAS SOPS 2231 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1616.231
AT ITER 4769 NEW BEST:: SOT 13302 SOS 2182 HAS SOPS 2182 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.182
AT ITER 4842 NEW BEST:: SOT 13312 SOS 2222 HAS SOPS 2222 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.222
AT ITER 4879 NEW BEST:: SOT 13311 SOS 2218 HAS SOPS 2218 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1593.218
AT ITER 4893 NEW BEST:: SOT 13311 SOS 2222 HAS SOPS 2222 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1591.222
AT ITER 4981 NEW BEST:: SOT 13304 SOS 2207 HAS SOPS 2207 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1591.207
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-00 ( ( (AU( potential( (tk(P23)) <= (tk(P63)) ),potential( ( 2 ) <= (tk(P11)) ) )) & (AX( potential( (tk(P106)) <= (tk(P32)) ))) ) | (! (AF(( potential( (tk(P14)) <= (tk(P25)) ) & potential( ( 3 ) <= (tk(P77)) ) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-01 (! (EF((AG( potential( ( 1 ) <= (tk(P30)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-02 (AG( (! potential( ( 3 ) <= (tk(P18)) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-03 (AF(potential( ( 3 ) <= (tk(P124)) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-04 (! (AU( ( potential( ( 1 ) <= (tk(P67)) ) | potential( (tk(P5)) <= (tk(P116)) ) ),( potential( ( 2 ) <= (tk(P33)) ) | potential( ( 2 ) <= (tk(P42)) ) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-05 ( (EG( (EF(potential( ( 3 ) <= (tk(P125)) ))))) & potential( ( 1 ) <= (tk(P37)) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-06 (AU( ( potential( (tk(P94)) <= (tk(P5)) ) | ( potential( ( 2 ) <= (tk(P49)) ) & potential( ( 3 ) <= (tk(P57)) ) ) ),( ( potential( ( 3 ) <= (tk(P82)) ) & potential( (tk(P46)) <= (tk(P19)) ) ) | potential( ( 3 ) <= (tk(P27)) ) ) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-07 (EF((! ( ( potential( ( 3 ) <= (tk(P52)) ) | potential( ( 2 ) <= (tk(P63)) ) ) | ( potential( (tk(P118)) <= (tk(P99)) ) | potential( ( 1 ) <= (tk(P16)) ) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-08 (AF(( (EF(potential( ( 3 ) <= (tk(P7)) ))) & potential( (tk(P126)) <= (tk(P19)) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-09 ( (EX( potential( ( 1 ) <= (tk(P92)) ))) & (AF((! potential( ( 1 ) <= (tk(P22)) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-10 (AG( (AF(( potential( ( 3 ) <= (tk(P78)) ) & potential( (tk(P25)) <= (tk(P58)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-11 (AF(( potential( ( 1 ) <= (tk(P12)) ) & (AX( potential( (tk(P75)) <= (tk(P101)) ))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-12 (AG( ( potential( ( 3 ) <= (tk(P58)) ) | (AF(potential( (tk(P36)) <= (tk(P77)) ))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-13 (EF((! (! potential( ( 3 ) <= (tk(P115)) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-14 ( (EF((! ( potential( (tk(P43)) <= (tk(P59)) ) & potential( (tk(P5)) <= (tk(P89)) ) )))) & ( (EG( ( potential( ( 1 ) <= (tk(P108)) ) & potential( (tk(P74)) <= (tk(P55)) ) ))) & (AU( potential( ( 1 ) <= (tk(P25)) ),potential( ( 1 ) <= (tk(P101)) ) )) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A02-CTLCardinality-15 (! ( ( potential( ( 2 ) <= (tk(P64)) ) & (! potential( ( 3 ) <= (tk(P116)) )) ) | (AF((! potential( (tk(P89)) <= (tk(P65)) )))) ))

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="ViralEpidemic-PT-S04D1C1A02"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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