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.r093-oct2-158940140500420.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 JoinFreeModules-PT-0020, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500420
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 4.0K Apr 7 18:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 7 18:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 6 20:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 6 04:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 6 04:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 5 10:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 5 10:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 113K 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 JoinFreeModules-PT-0020-CTLFireability-00
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-01
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-02
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-03
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-04
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-05
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-06
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-07
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-08
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-09
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-10
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-11
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-12
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-13
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-14
FORMULA_NAME JoinFreeModules-PT-0020-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589616686980

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0020
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: 101 places, 161 transitions, 462 arcs.
AT ITER 0 NEW BEST:: SOT 11381 SOS 7781 HAS SOPS 7760 HAS SOUS 7781 HAS SOUPS 7760 WITH SCORE 7767.781
AT ITER 1 NEW BEST:: SOT 11382 SOS 7780 HAS SOPS 7759 HAS SOUS 7780 HAS SOUPS 7759 WITH SCORE 7766.78
AT ITER 2 NEW BEST:: SOT 11292 SOS 7707 HAS SOPS 7635 HAS SOUS 7707 HAS SOUPS 7635 WITH SCORE 7642.707
AT ITER 3 NEW BEST:: SOT 11196 SOS 7571 HAS SOPS 7499 HAS SOUS 7571 HAS SOUPS 7499 WITH SCORE 7506.571
AT ITER 5 NEW BEST:: SOT 11203 SOS 7564 HAS SOPS 7492 HAS SOUS 7564 HAS SOUPS 7492 WITH SCORE 7499.564
AT ITER 6 NEW BEST:: SOT 11109 SOS 7441 HAS SOPS 7363 HAS SOUS 7441 HAS SOUPS 7363 WITH SCORE 7370.441
AT ITER 7 NEW BEST:: SOT 11055 SOS 7381 HAS SOPS 7301 HAS SOUS 7381 HAS SOUPS 7301 WITH SCORE 7308.381
AT ITER 9 NEW BEST:: SOT 11010 SOS 7300 HAS SOPS 7220 HAS SOUS 7300 HAS SOUPS 7220 WITH SCORE 7227.3
AT ITER 13 NEW BEST:: SOT 11063 SOS 7273 HAS SOPS 7193 HAS SOUS 7240 HAS SOUPS 7160 WITH SCORE 7167.273
AT ITER 15 NEW BEST:: SOT 11061 SOS 7268 HAS SOPS 7188 HAS SOUS 7235 HAS SOUPS 7155 WITH SCORE 7162.268
AT ITER 16 NEW BEST:: SOT 11066 SOS 7255 HAS SOPS 7175 HAS SOUS 7222 HAS SOUPS 7142 WITH SCORE 7149.255
AT ITER 17 NEW BEST:: SOT 11053 SOS 7201 HAS SOPS 7121 HAS SOUS 7168 HAS SOUPS 7088 WITH SCORE 7095.201
AT ITER 18 NEW BEST:: SOT 10970 SOS 7089 HAS SOPS 7009 HAS SOUS 7056 HAS SOUPS 6976 WITH SCORE 6983.089
AT ITER 21 NEW BEST:: SOT 10938 SOS 6965 HAS SOPS 6885 HAS SOUS 6926 HAS SOUPS 6846 WITH SCORE 6852.965
AT ITER 22 NEW BEST:: SOT 10864 SOS 6904 HAS SOPS 6822 HAS SOUS 6865 HAS SOUPS 6783 WITH SCORE 6789.904
AT ITER 24 NEW BEST:: SOT 10843 SOS 6876 HAS SOPS 6794 HAS SOUS 6837 HAS SOUPS 6755 WITH SCORE 6761.876
AT ITER 25 NEW BEST:: SOT 10837 SOS 6858 HAS SOPS 6776 HAS SOUS 6819 HAS SOUPS 6737 WITH SCORE 6743.858
AT ITER 26 NEW BEST:: SOT 10866 SOS 6746 HAS SOPS 6664 HAS SOUS 6680 HAS SOUPS 6598 WITH SCORE 6604.746
AT ITER 29 NEW BEST:: SOT 10854 SOS 6700 HAS SOPS 6618 HAS SOUS 6634 HAS SOUPS 6552 WITH SCORE 6558.7
AT ITER 31 NEW BEST:: SOT 10844 SOS 6671 HAS SOPS 6588 HAS SOUS 6605 HAS SOUPS 6522 WITH SCORE 6528.671
AT ITER 32 NEW BEST:: SOT 10877 SOS 6652 HAS SOPS 6569 HAS SOUS 6561 HAS SOUPS 6478 WITH SCORE 6484.652
AT ITER 34 NEW BEST:: SOT 10871 SOS 6622 HAS SOPS 6539 HAS SOUS 6531 HAS SOUPS 6448 WITH SCORE 6454.622
AT ITER 36 NEW BEST:: SOT 10834 SOS 6468 HAS SOPS 6373 HAS SOUS 6369 HAS SOUPS 6274 WITH SCORE 6280.468
AT ITER 38 NEW BEST:: SOT 10788 SOS 6322 HAS SOPS 6227 HAS SOUS 6184 HAS SOUPS 6089 WITH SCORE 6095.322
AT ITER 41 NEW BEST:: SOT 10759 SOS 6290 HAS SOPS 6195 HAS SOUS 6160 HAS SOUPS 6065 WITH SCORE 6071.29
AT ITER 42 NEW BEST:: SOT 10735 SOS 6212 HAS SOPS 6117 HAS SOUS 6082 HAS SOUPS 5987 WITH SCORE 5993.212
AT ITER 45 NEW BEST:: SOT 10741 SOS 6219 HAS SOPS 6124 HAS SOUS 6073 HAS SOUPS 5978 WITH SCORE 5984.219
AT ITER 49 NEW BEST:: SOT 10759 SOS 6121 HAS SOPS 6026 HAS SOUS 5975 HAS SOUPS 5880 WITH SCORE 5886.121
AT ITER 53 NEW BEST:: SOT 10752 SOS 6112 HAS SOPS 6017 HAS SOUS 5952 HAS SOUPS 5857 WITH SCORE 5863.112
AT ITER 55 NEW BEST:: SOT 10718 SOS 6030 HAS SOPS 5935 HAS SOUS 5868 HAS SOUPS 5773 WITH SCORE 5779.03
AT ITER 56 NEW BEST:: SOT 10626 SOS 5904 HAS SOPS 5809 HAS SOUS 5775 HAS SOUPS 5680 WITH SCORE 5685.904
AT ITER 58 NEW BEST:: SOT 10605 SOS 5883 HAS SOPS 5788 HAS SOUS 5754 HAS SOUPS 5659 WITH SCORE 5664.883
AT ITER 60 NEW BEST:: SOT 10595 SOS 5855 HAS SOPS 5760 HAS SOUS 5726 HAS SOUPS 5631 WITH SCORE 5636.855
AT ITER 63 NEW BEST:: SOT 10581 SOS 5827 HAS SOPS 5732 HAS SOUS 5698 HAS SOUPS 5603 WITH SCORE 5608.827
AT ITER 69 NEW BEST:: SOT 10575 SOS 5818 HAS SOPS 5723 HAS SOUS 5689 HAS SOUPS 5594 WITH SCORE 5599.818
AT ITER 71 NEW BEST:: SOT 10651 SOS 5807 HAS SOPS 5707 HAS SOUS 5678 HAS SOUPS 5578 WITH SCORE 5583.807
AT ITER 75 NEW BEST:: SOT 10677 SOS 5803 HAS SOPS 5703 HAS SOUS 5674 HAS SOUPS 5574 WITH SCORE 5579.803
AT ITER 77 NEW BEST:: SOT 10683 SOS 5762 HAS SOPS 5662 HAS SOUS 5616 HAS SOUPS 5516 WITH SCORE 5521.762
AT ITER 78 NEW BEST:: SOT 10653 SOS 5702 HAS SOPS 5602 HAS SOUS 5571 HAS SOUPS 5471 WITH SCORE 5476.702
AT ITER 81 NEW BEST:: SOT 10585 SOS 5566 HAS SOPS 5466 HAS SOUS 5435 HAS SOUPS 5335 WITH SCORE 5340.566
AT ITER 82 NEW BEST:: SOT 10564 SOS 5512 HAS SOPS 5412 HAS SOUS 5381 HAS SOUPS 5281 WITH SCORE 5286.512
AT ITER 83 NEW BEST:: SOT 10564 SOS 5514 HAS SOPS 5414 HAS SOUS 5365 HAS SOUPS 5265 WITH SCORE 5270.514
AT ITER 88 NEW BEST:: SOT 10536 SOS 5495 HAS SOPS 5395 HAS SOUS 5338 HAS SOUPS 5238 WITH SCORE 5243.495
AT ITER 92 NEW BEST:: SOT 10534 SOS 5493 HAS SOPS 5393 HAS SOUS 5336 HAS SOUPS 5236 WITH SCORE 5241.493
AT ITER 93 NEW BEST:: SOT 10544 SOS 5456 HAS SOPS 5356 HAS SOUS 5300 HAS SOUPS 5200 WITH SCORE 5205.456
AT ITER 94 NEW BEST:: SOT 10547 SOS 5436 HAS SOPS 5336 HAS SOUS 5267 HAS SOUPS 5167 WITH SCORE 5172.436
AT ITER 104 NEW BEST:: SOT 10553 SOS 5430 HAS SOPS 5330 HAS SOUS 5261 HAS SOUPS 5161 WITH SCORE 5166.43
AT ITER 107 NEW BEST:: SOT 10553 SOS 5419 HAS SOPS 5319 HAS SOUS 5250 HAS SOUPS 5150 WITH SCORE 5155.419
AT ITER 114 NEW BEST:: SOT 10531 SOS 5396 HAS SOPS 5296 HAS SOUS 5227 HAS SOUPS 5127 WITH SCORE 5132.396
AT ITER 115 NEW BEST:: SOT 10531 SOS 5378 HAS SOPS 5278 HAS SOUS 5209 HAS SOUPS 5109 WITH SCORE 5114.378
AT ITER 120 NEW BEST:: SOT 10513 SOS 5261 HAS SOPS 5161 HAS SOUS 5125 HAS SOUPS 5025 WITH SCORE 5030.261
AT ITER 122 NEW BEST:: SOT 10494 SOS 5203 HAS SOPS 5103 HAS SOUS 5114 HAS SOUPS 5014 WITH SCORE 5019.203
AT ITER 128 NEW BEST:: SOT 10504 SOS 5197 HAS SOPS 5097 HAS SOUS 5108 HAS SOUPS 5008 WITH SCORE 5013.197
AT ITER 131 NEW BEST:: SOT 10520 SOS 5134 HAS SOPS 5034 HAS SOUS 5045 HAS SOUPS 4945 WITH SCORE 4950.134
AT ITER 134 NEW BEST:: SOT 10497 SOS 5074 HAS SOPS 4974 HAS SOUS 4984 HAS SOUPS 4884 WITH SCORE 4889.074
AT ITER 135 NEW BEST:: SOT 10507 SOS 5000 HAS SOPS 4900 HAS SOUS 4910 HAS SOUPS 4810 WITH SCORE 4815.0
AT ITER 137 NEW BEST:: SOT 10446 SOS 4801 HAS SOPS 4701 HAS SOUS 4711 HAS SOUPS 4611 WITH SCORE 4615.801
AT ITER 142 NEW BEST:: SOT 10402 SOS 4733 HAS SOPS 4633 HAS SOUS 4645 HAS SOUPS 4545 WITH SCORE 4549.733
AT ITER 148 NEW BEST:: SOT 10393 SOS 4715 HAS SOPS 4615 HAS SOUS 4627 HAS SOUPS 4527 WITH SCORE 4531.715
AT ITER 149 NEW BEST:: SOT 10387 SOS 4698 HAS SOPS 4598 HAS SOUS 4623 HAS SOUPS 4523 WITH SCORE 4527.698
AT ITER 150 NEW BEST:: SOT 10387 SOS 4682 HAS SOPS 4582 HAS SOUS 4607 HAS SOUPS 4507 WITH SCORE 4511.682
AT ITER 154 NEW BEST:: SOT 10330 SOS 4517 HAS SOPS 4417 HAS SOUS 4480 HAS SOUPS 4380 WITH SCORE 4384.517
AT ITER 165 NEW BEST:: SOT 10286 SOS 4437 HAS SOPS 4337 HAS SOUS 4420 HAS SOUPS 4320 WITH SCORE 4324.437
AT ITER 167 NEW BEST:: SOT 10240 SOS 4385 HAS SOPS 4285 HAS SOUS 4368 HAS SOUPS 4268 WITH SCORE 4272.385
AT ITER 169 NEW BEST:: SOT 10222 SOS 4358 HAS SOPS 4258 HAS SOUS 4341 HAS SOUPS 4241 WITH SCORE 4245.358
AT ITER 180 NEW BEST:: SOT 10108 SOS 4251 HAS SOPS 4151 HAS SOUS 4167 HAS SOUPS 4067 WITH SCORE 4071.251
AT ITER 184 NEW BEST:: SOT 10052 SOS 4194 HAS SOPS 4094 HAS SOUS 4110 HAS SOUPS 4010 WITH SCORE 4014.194
AT ITER 185 NEW BEST:: SOT 10032 SOS 4143 HAS SOPS 4043 HAS SOUS 4059 HAS SOUPS 3959 WITH SCORE 3963.143
AT ITER 192 NEW BEST:: SOT 10032 SOS 4101 HAS SOPS 4001 HAS SOUS 4017 HAS SOUPS 3917 WITH SCORE 3921.101
AT ITER 193 NEW BEST:: SOT 10062 SOS 4078 HAS SOPS 3978 HAS SOUS 3994 HAS SOUPS 3894 WITH SCORE 3898.078
AT ITER 197 NEW BEST:: SOT 10054 SOS 4060 HAS SOPS 3960 HAS SOUS 3976 HAS SOUPS 3876 WITH SCORE 3880.06
AT ITER 198 NEW BEST:: SOT 10045 SOS 3983 HAS SOPS 3883 HAS SOUS 3899 HAS SOUPS 3799 WITH SCORE 3802.983
AT ITER 201 NEW BEST:: SOT 10010 SOS 3965 HAS SOPS 3865 HAS SOUS 3881 HAS SOUPS 3781 WITH SCORE 3784.965
AT ITER 216 NEW BEST:: SOT 9999 SOS 3944 HAS SOPS 3844 HAS SOUS 3860 HAS SOUPS 3760 WITH SCORE 3763.944
AT ITER 218 NEW BEST:: SOT 9981 SOS 3935 HAS SOPS 3835 HAS SOUS 3851 HAS SOUPS 3751 WITH SCORE 3754.935
AT ITER 219 NEW BEST:: SOT 9976 SOS 3885 HAS SOPS 3785 HAS SOUS 3790 HAS SOUPS 3690 WITH SCORE 3693.885
AT ITER 228 NEW BEST:: SOT 9949 SOS 3861 HAS SOPS 3761 HAS SOUS 3766 HAS SOUPS 3666 WITH SCORE 3669.861
AT ITER 241 NEW BEST:: SOT 9948 SOS 3860 HAS SOPS 3760 HAS SOUS 3765 HAS SOUPS 3665 WITH SCORE 3668.86
AT ITER 244 NEW BEST:: SOT 9911 SOS 3823 HAS SOPS 3723 HAS SOUS 3728 HAS SOUPS 3628 WITH SCORE 3631.823
AT ITER 248 NEW BEST:: SOT 9911 SOS 3815 HAS SOPS 3715 HAS SOUS 3720 HAS SOUPS 3620 WITH SCORE 3623.815
AT ITER 258 NEW BEST:: SOT 9903 SOS 3783 HAS SOPS 3683 HAS SOUS 3688 HAS SOUPS 3588 WITH SCORE 3591.783
AT ITER 261 NEW BEST:: SOT 9885 SOS 3727 HAS SOPS 3627 HAS SOUS 3626 HAS SOUPS 3526 WITH SCORE 3529.727
AT ITER 265 NEW BEST:: SOT 9883 SOS 3725 HAS SOPS 3625 HAS SOUS 3624 HAS SOUPS 3524 WITH SCORE 3527.725
AT ITER 269 NEW BEST:: SOT 9872 SOS 3713 HAS SOPS 3613 HAS SOUS 3612 HAS SOUPS 3512 WITH SCORE 3515.713
AT ITER 273 NEW BEST:: SOT 9870 SOS 3699 HAS SOPS 3600 HAS SOUS 3591 HAS SOUPS 3492 WITH SCORE 3495.699
AT ITER 283 NEW BEST:: SOT 9848 SOS 3683 HAS SOPS 3584 HAS SOUS 3575 HAS SOUPS 3476 WITH SCORE 3479.683
AT ITER 285 NEW BEST:: SOT 9848 SOS 3671 HAS SOPS 3572 HAS SOUS 3563 HAS SOUPS 3464 WITH SCORE 3467.671
AT ITER 287 NEW BEST:: SOT 9845 SOS 3665 HAS SOPS 3566 HAS SOUS 3557 HAS SOUPS 3458 WITH SCORE 3461.665
AT ITER 290 NEW BEST:: SOT 9833 SOS 3637 HAS SOPS 3538 HAS SOUS 3535 HAS SOUPS 3436 WITH SCORE 3439.637
AT ITER 296 NEW BEST:: SOT 9781 SOS 3509 HAS SOPS 3410 HAS SOUS 3407 HAS SOUPS 3308 WITH SCORE 3311.509
AT ITER 302 NEW BEST:: SOT 9772 SOS 3452 HAS SOPS 3353 HAS SOUS 3350 HAS SOUPS 3251 WITH SCORE 3254.452
AT ITER 310 NEW BEST:: SOT 9761 SOS 3420 HAS SOPS 3321 HAS SOUS 3316 HAS SOUPS 3217 WITH SCORE 3220.42
AT ITER 326 NEW BEST:: SOT 9744 SOS 3406 HAS SOPS 3307 HAS SOUS 3302 HAS SOUPS 3203 WITH SCORE 3206.406
AT ITER 334 NEW BEST:: SOT 9747 SOS 3416 HAS SOPS 3317 HAS SOUS 3300 HAS SOUPS 3201 WITH SCORE 3204.416
AT ITER 335 NEW BEST:: SOT 9684 SOS 3347 HAS SOPS 3248 HAS SOUS 3219 HAS SOUPS 3120 WITH SCORE 3123.347
AT ITER 340 NEW BEST:: SOT 9674 SOS 3291 HAS SOPS 3192 HAS SOUS 3163 HAS SOUPS 3064 WITH SCORE 3067.291
AT ITER 346 NEW BEST:: SOT 9654 SOS 3208 HAS SOPS 3109 HAS SOUS 3100 HAS SOUPS 3001 WITH SCORE 3004.208
AT ITER 347 NEW BEST:: SOT 9654 SOS 3207 HAS SOPS 3108 HAS SOUS 3099 HAS SOUPS 3000 WITH SCORE 3003.207
AT ITER 356 NEW BEST:: SOT 9639 SOS 3173 HAS SOPS 3074 HAS SOUS 3065 HAS SOUPS 2966 WITH SCORE 2969.173
AT ITER 375 NEW BEST:: SOT 9656 SOS 3171 HAS SOPS 3072 HAS SOUS 3063 HAS SOUPS 2964 WITH SCORE 2967.171
AT ITER 378 NEW BEST:: SOT 9638 SOS 3147 HAS SOPS 3048 HAS SOUS 3039 HAS SOUPS 2940 WITH SCORE 2943.147
AT ITER 393 NEW BEST:: SOT 9637 SOS 3059 HAS SOPS 2960 HAS SOUS 3018 HAS SOUPS 2919 WITH SCORE 2922.059
AT ITER 394 NEW BEST:: SOT 9625 SOS 3057 HAS SOPS 2958 HAS SOUS 3016 HAS SOUPS 2917 WITH SCORE 2920.057
AT ITER 400 NEW BEST:: SOT 9636 SOS 3061 HAS SOPS 2962 HAS SOUS 3009 HAS SOUPS 2910 WITH SCORE 2913.061
AT ITER 411 NEW BEST:: SOT 9631 SOS 3056 HAS SOPS 2957 HAS SOUS 3004 HAS SOUPS 2905 WITH SCORE 2908.056
AT ITER 424 NEW BEST:: SOT 9601 SOS 3016 HAS SOPS 2917 HAS SOUS 2964 HAS SOUPS 2865 WITH SCORE 2868.016
AT ITER 427 NEW BEST:: SOT 9588 SOS 2943 HAS SOPS 2844 HAS SOUS 2904 HAS SOUPS 2805 WITH SCORE 2807.943
AT ITER 432 NEW BEST:: SOT 9566 SOS 2926 HAS SOPS 2827 HAS SOUS 2887 HAS SOUPS 2788 WITH SCORE 2790.926
AT ITER 446 NEW BEST:: SOT 9565 SOS 2922 HAS SOPS 2823 HAS SOUS 2884 HAS SOUPS 2785 WITH SCORE 2787.922
AT ITER 452 NEW BEST:: SOT 9555 SOS 2909 HAS SOPS 2810 HAS SOUS 2871 HAS SOUPS 2772 WITH SCORE 2774.909
AT ITER 458 NEW BEST:: SOT 9549 SOS 2901 HAS SOPS 2802 HAS SOUS 2863 HAS SOUPS 2764 WITH SCORE 2766.901
AT ITER 474 NEW BEST:: SOT 9533 SOS 2869 HAS SOPS 2770 HAS SOUS 2831 HAS SOUPS 2732 WITH SCORE 2734.869
AT ITER 481 NEW BEST:: SOT 9489 SOS 2778 HAS SOPS 2679 HAS SOUS 2751 HAS SOUPS 2652 WITH SCORE 2654.778
AT ITER 490 NEW BEST:: SOT 9473 SOS 2773 HAS SOPS 2674 HAS SOUS 2736 HAS SOUPS 2637 WITH SCORE 2639.773
AT ITER 497 NEW BEST:: SOT 9473 SOS 2765 HAS SOPS 2668 HAS SOUS 2728 HAS SOUPS 2631 WITH SCORE 2633.765
AT ITER 505 NEW BEST:: SOT 9451 SOS 2736 HAS SOPS 2639 HAS SOUS 2704 HAS SOUPS 2607 WITH SCORE 2609.736
AT ITER 509 NEW BEST:: SOT 9447 SOS 2754 HAS SOPS 2657 HAS SOUS 2703 HAS SOUPS 2606 WITH SCORE 2608.754
AT ITER 514 NEW BEST:: SOT 9434 SOS 2733 HAS SOPS 2636 HAS SOUS 2682 HAS SOUPS 2585 WITH SCORE 2587.733
AT ITER 517 NEW BEST:: SOT 9432 SOS 2723 HAS SOPS 2626 HAS SOUS 2672 HAS SOUPS 2575 WITH SCORE 2577.723
AT ITER 518 NEW BEST:: SOT 9412 SOS 2695 HAS SOPS 2598 HAS SOUS 2644 HAS SOUPS 2547 WITH SCORE 2549.695
AT ITER 521 NEW BEST:: SOT 9410 SOS 2694 HAS SOPS 2597 HAS SOUS 2643 HAS SOUPS 2546 WITH SCORE 2548.694
AT ITER 522 NEW BEST:: SOT 9380 SOS 2666 HAS SOPS 2569 HAS SOUS 2615 HAS SOUPS 2518 WITH SCORE 2520.666
AT ITER 539 NEW BEST:: SOT 9370 SOS 2651 HAS SOPS 2554 HAS SOUS 2600 HAS SOUPS 2503 WITH SCORE 2505.651
AT ITER 564 NEW BEST:: SOT 9366 SOS 2643 HAS SOPS 2546 HAS SOUS 2592 HAS SOUPS 2495 WITH SCORE 2497.643
AT ITER 593 NEW BEST:: SOT 9349 SOS 2626 HAS SOPS 2529 HAS SOUS 2575 HAS SOUPS 2478 WITH SCORE 2480.626
AT ITER 599 NEW BEST:: SOT 9318 SOS 2586 HAS SOPS 2489 HAS SOUS 2535 HAS SOUPS 2438 WITH SCORE 2440.586
AT ITER 603 NEW BEST:: SOT 9291 SOS 2513 HAS SOPS 2416 HAS SOUS 2475 HAS SOUPS 2378 WITH SCORE 2380.513
AT ITER 607 NEW BEST:: SOT 9282 SOS 2492 HAS SOPS 2395 HAS SOUS 2457 HAS SOUPS 2360 WITH SCORE 2362.492
AT ITER 613 NEW BEST:: SOT 9298 SOS 2484 HAS SOPS 2387 HAS SOUS 2449 HAS SOUPS 2352 WITH SCORE 2354.484
AT ITER 628 NEW BEST:: SOT 9298 SOS 2479 HAS SOPS 2382 HAS SOUS 2444 HAS SOUPS 2347 WITH SCORE 2349.479
AT ITER 637 NEW BEST:: SOT 9302 SOS 2478 HAS SOPS 2381 HAS SOUS 2443 HAS SOUPS 2346 WITH SCORE 2348.478
AT ITER 653 NEW BEST:: SOT 9291 SOS 2462 HAS SOPS 2365 HAS SOUS 2427 HAS SOUPS 2330 WITH SCORE 2332.462
AT ITER 658 NEW BEST:: SOT 9295 SOS 2452 HAS SOPS 2355 HAS SOUS 2417 HAS SOUPS 2320 WITH SCORE 2322.452
AT ITER 659 NEW BEST:: SOT 9286 SOS 2403 HAS SOPS 2306 HAS SOUS 2368 HAS SOUPS 2271 WITH SCORE 2273.403
AT ITER 663 NEW BEST:: SOT 9280 SOS 2393 HAS SOPS 2296 HAS SOUS 2358 HAS SOUPS 2261 WITH SCORE 2263.393
AT ITER 671 NEW BEST:: SOT 9274 SOS 2384 HAS SOPS 2287 HAS SOUS 2349 HAS SOUPS 2252 WITH SCORE 2254.384
AT ITER 678 NEW BEST:: SOT 9262 SOS 2363 HAS SOPS 2266 HAS SOUS 2328 HAS SOUPS 2231 WITH SCORE 2233.363
AT ITER 684 NEW BEST:: SOT 9259 SOS 2359 HAS SOPS 2262 HAS SOUS 2324 HAS SOUPS 2227 WITH SCORE 2229.359
AT ITER 689 NEW BEST:: SOT 9259 SOS 2352 HAS SOPS 2255 HAS SOUS 2317 HAS SOUPS 2220 WITH SCORE 2222.352
AT ITER 699 NEW BEST:: SOT 9253 SOS 2347 HAS SOPS 2250 HAS SOUS 2308 HAS SOUPS 2211 WITH SCORE 2213.347
AT ITER 701 NEW BEST:: SOT 9242 SOS 2346 HAS SOPS 2249 HAS SOUS 2307 HAS SOUPS 2210 WITH SCORE 2212.346
AT ITER 703 NEW BEST:: SOT 9231 SOS 2312 HAS SOPS 2215 HAS SOUS 2273 HAS SOUPS 2176 WITH SCORE 2178.312
AT ITER 722 NEW BEST:: SOT 9220 SOS 2290 HAS SOPS 2193 HAS SOUS 2251 HAS SOUPS 2154 WITH SCORE 2156.29
AT ITER 729 NEW BEST:: SOT 9214 SOS 2274 HAS SOPS 2177 HAS SOUS 2233 HAS SOUPS 2136 WITH SCORE 2138.274
AT ITER 755 NEW BEST:: SOT 9200 SOS 2254 HAS SOPS 2157 HAS SOUS 2213 HAS SOUPS 2116 WITH SCORE 2118.254
AT ITER 761 NEW BEST:: SOT 9200 SOS 2253 HAS SOPS 2156 HAS SOUS 2212 HAS SOUPS 2115 WITH SCORE 2117.253
AT ITER 773 NEW BEST:: SOT 9158 SOS 2163 HAS SOPS 2063 HAS SOUS 2136 HAS SOUPS 2036 WITH SCORE 2038.163
AT ITER 777 NEW BEST:: SOT 9146 SOS 2152 HAS SOPS 2052 HAS SOUS 2125 HAS SOUPS 2025 WITH SCORE 2027.152
AT ITER 787 NEW BEST:: SOT 9114 SOS 2079 HAS SOPS 1979 HAS SOUS 2063 HAS SOUPS 1963 WITH SCORE 1965.079
AT ITER 802 NEW BEST:: SOT 9105 SOS 2072 HAS SOPS 1972 HAS SOUS 2061 HAS SOUPS 1961 WITH SCORE 1963.072
AT ITER 830 NEW BEST:: SOT 9085 SOS 2032 HAS SOPS 1932 HAS SOUS 2021 HAS SOUPS 1921 WITH SCORE 1923.032
AT ITER 831 NEW BEST:: SOT 9067 SOS 2013 HAS SOPS 1913 HAS SOUS 2002 HAS SOUPS 1902 WITH SCORE 1904.013
AT ITER 858 NEW BEST:: SOT 9064 SOS 2008 HAS SOPS 1908 HAS SOUS 1997 HAS SOUPS 1897 WITH SCORE 1899.008
AT ITER 877 NEW BEST:: SOT 9060 SOS 1989 HAS SOPS 1889 HAS SOUS 1978 HAS SOUPS 1878 WITH SCORE 1879.989
AT ITER 880 NEW BEST:: SOT 9054 SOS 1979 HAS SOPS 1879 HAS SOUS 1968 HAS SOUPS 1868 WITH SCORE 1869.979
AT ITER 903 NEW BEST:: SOT 9049 SOS 1974 HAS SOPS 1874 HAS SOUS 1963 HAS SOUPS 1863 WITH SCORE 1864.974
AT ITER 926 NEW BEST:: SOT 9047 SOS 1966 HAS SOPS 1866 HAS SOUS 1957 HAS SOUPS 1857 WITH SCORE 1858.966
AT ITER 943 NEW BEST:: SOT 9033 SOS 1951 HAS SOPS 1851 HAS SOUS 1942 HAS SOUPS 1842 WITH SCORE 1843.951
AT ITER 975 NEW BEST:: SOT 9019 SOS 1922 HAS SOPS 1822 HAS SOUS 1913 HAS SOUPS 1813 WITH SCORE 1814.922
AT ITER 984 NEW BEST:: SOT 9015 SOS 1914 HAS SOPS 1814 HAS SOUS 1905 HAS SOUPS 1805 WITH SCORE 1806.914
AT ITER 1005 NEW BEST:: SOT 8984 SOS 1871 HAS SOPS 1771 HAS SOUS 1862 HAS SOUPS 1762 WITH SCORE 1763.871
AT ITER 1007 NEW BEST:: SOT 8982 SOS 1869 HAS SOPS 1769 HAS SOUS 1860 HAS SOUPS 1760 WITH SCORE 1761.869
AT ITER 1038 NEW BEST:: SOT 8978 SOS 1865 HAS SOPS 1765 HAS SOUS 1856 HAS SOUPS 1756 WITH SCORE 1757.865
AT ITER 1086 NEW BEST:: SOT 8959 SOS 1842 HAS SOPS 1742 HAS SOUS 1833 HAS SOUPS 1733 WITH SCORE 1734.842
AT ITER 1087 NEW BEST:: SOT 8949 SOS 1806 HAS SOPS 1706 HAS SOUS 1801 HAS SOUPS 1701 WITH SCORE 1702.806
AT ITER 1116 NEW BEST:: SOT 8943 SOS 1796 HAS SOPS 1696 HAS SOUS 1791 HAS SOUPS 1691 WITH SCORE 1692.796
AT ITER 1145 NEW BEST:: SOT 8942 SOS 1807 HAS SOPS 1707 HAS SOUS 1788 HAS SOUPS 1688 WITH SCORE 1689.807
AT ITER 1146 NEW BEST:: SOT 8929 SOS 1788 HAS SOPS 1688 HAS SOUS 1769 HAS SOUPS 1669 WITH SCORE 1670.788
AT ITER 1181 NEW BEST:: SOT 8924 SOS 1804 HAS SOPS 1704 HAS SOUS 1754 HAS SOUPS 1654 WITH SCORE 1655.804
AT ITER 1186 NEW BEST:: SOT 8922 SOS 1793 HAS SOPS 1693 HAS SOUS 1748 HAS SOUPS 1648 WITH SCORE 1649.793
AT ITER 1198 NEW BEST:: SOT 8921 SOS 1791 HAS SOPS 1691 HAS SOUS 1745 HAS SOUPS 1645 WITH SCORE 1646.791
AT ITER 1200 NEW BEST:: SOT 8919 SOS 1772 HAS SOPS 1672 HAS SOUS 1726 HAS SOUPS 1626 WITH SCORE 1627.772
AT ITER 1204 NEW BEST:: SOT 8913 SOS 1766 HAS SOPS 1666 HAS SOUS 1717 HAS SOUPS 1617 WITH SCORE 1618.766
AT ITER 1215 NEW BEST:: SOT 8910 SOS 1754 HAS SOPS 1654 HAS SOUS 1708 HAS SOUPS 1608 WITH SCORE 1609.754
AT ITER 1251 NEW BEST:: SOT 8911 SOS 1752 HAS SOPS 1652 HAS SOUS 1706 HAS SOUPS 1606 WITH SCORE 1607.752
AT ITER 1279 NEW BEST:: SOT 8908 SOS 1743 HAS SOPS 1643 HAS SOUS 1700 HAS SOUPS 1600 WITH SCORE 1601.743
AT ITER 1285 NEW BEST:: SOT 8903 SOS 1722 HAS SOPS 1622 HAS SOUS 1679 HAS SOUPS 1579 WITH SCORE 1580.722
AT ITER 1289 NEW BEST:: SOT 8899 SOS 1671 HAS SOPS 1571 HAS SOUS 1628 HAS SOUPS 1528 WITH SCORE 1529.671
AT ITER 1303 NEW BEST:: SOT 8895 SOS 1671 HAS SOPS 1571 HAS SOUS 1624 HAS SOUPS 1524 WITH SCORE 1525.671
AT ITER 1304 NEW BEST:: SOT 8882 SOS 1654 HAS SOPS 1554 HAS SOUS 1607 HAS SOUPS 1507 WITH SCORE 1508.654
AT ITER 1308 NEW BEST:: SOT 8871 SOS 1643 HAS SOPS 1543 HAS SOUS 1596 HAS SOUPS 1496 WITH SCORE 1497.643
AT ITER 1319 NEW BEST:: SOT 8872 SOS 1639 HAS SOPS 1539 HAS SOUS 1592 HAS SOUPS 1492 WITH SCORE 1493.639
AT ITER 1350 NEW BEST:: SOT 8871 SOS 1635 HAS SOPS 1535 HAS SOUS 1589 HAS SOUPS 1489 WITH SCORE 1490.635
AT ITER 1382 NEW BEST:: SOT 8869 SOS 1634 HAS SOPS 1534 HAS SOUS 1587 HAS SOUPS 1487 WITH SCORE 1488.634
AT ITER 1386 NEW BEST:: SOT 8868 SOS 1633 HAS SOPS 1533 HAS SOUS 1586 HAS SOUPS 1486 WITH SCORE 1487.633
AT ITER 1399 NEW BEST:: SOT 8875 SOS 1633 HAS SOPS 1533 HAS SOUS 1583 HAS SOUPS 1483 WITH SCORE 1484.633
AT ITER 1424 NEW BEST:: SOT 8868 SOS 1622 HAS SOPS 1522 HAS SOUS 1572 HAS SOUPS 1472 WITH SCORE 1473.622
AT ITER 1425 NEW BEST:: SOT 8861 SOS 1588 HAS SOPS 1488 HAS SOUS 1538 HAS SOUPS 1438 WITH SCORE 1439.588
AT ITER 1449 NEW BEST:: SOT 8861 SOS 1582 HAS SOPS 1482 HAS SOUS 1532 HAS SOUPS 1432 WITH SCORE 1433.582
AT ITER 1472 NEW BEST:: SOT 8860 SOS 1574 HAS SOPS 1474 HAS SOUS 1527 HAS SOUPS 1427 WITH SCORE 1428.574
AT ITER 1497 NEW BEST:: SOT 8858 SOS 1570 HAS SOPS 1470 HAS SOUS 1523 HAS SOUPS 1423 WITH SCORE 1424.57
AT ITER 1498 NEW BEST:: SOT 8840 SOS 1546 HAS SOPS 1446 HAS SOUS 1499 HAS SOUPS 1399 WITH SCORE 1400.546
AT ITER 1551 NEW BEST:: SOT 8857 SOS 1542 HAS SOPS 1445 HAS SOUS 1495 HAS SOUPS 1398 WITH SCORE 1399.542
AT ITER 1576 NEW BEST:: SOT 8821 SOS 1478 HAS SOPS 1381 HAS SOUS 1441 HAS SOUPS 1344 WITH SCORE 1345.478
AT ITER 1597 NEW BEST:: SOT 8815 SOS 1458 HAS SOPS 1361 HAS SOUS 1421 HAS SOUPS 1324 WITH SCORE 1325.458
AT ITER 1611 NEW BEST:: SOT 8815 SOS 1451 HAS SOPS 1354 HAS SOUS 1418 HAS SOUPS 1321 WITH SCORE 1322.451
AT ITER 1616 NEW BEST:: SOT 8813 SOS 1450 HAS SOPS 1353 HAS SOUS 1416 HAS SOUPS 1319 WITH SCORE 1320.45
AT ITER 1667 NEW BEST:: SOT 8813 SOS 1449 HAS SOPS 1352 HAS SOUS 1416 HAS SOUPS 1319 WITH SCORE 1320.449
AT ITER 1673 NEW BEST:: SOT 8799 SOS 1417 HAS SOPS 1320 HAS SOUS 1379 HAS SOUPS 1282 WITH SCORE 1283.417
AT ITER 1740 NEW BEST:: SOT 8793 SOS 1412 HAS SOPS 1315 HAS SOUS 1374 HAS SOUPS 1277 WITH SCORE 1278.412
AT ITER 1748 NEW BEST:: SOT 8788 SOS 1400 HAS SOPS 1303 HAS SOUS 1367 HAS SOUPS 1270 WITH SCORE 1271.4
AT ITER 1768 NEW BEST:: SOT 8785 SOS 1396 HAS SOPS 1299 HAS SOUS 1363 HAS SOUPS 1266 WITH SCORE 1267.396
AT ITER 1819 NEW BEST:: SOT 8783 SOS 1392 HAS SOPS 1295 HAS SOUS 1360 HAS SOUPS 1263 WITH SCORE 1264.392
AT ITER 1875 NEW BEST:: SOT 8782 SOS 1386 HAS SOPS 1289 HAS SOUS 1354 HAS SOUPS 1257 WITH SCORE 1258.386
AT ITER 1883 NEW BEST:: SOT 8785 SOS 1377 HAS SOPS 1280 HAS SOUS 1350 HAS SOUPS 1253 WITH SCORE 1254.377
AT ITER 1916 NEW BEST:: SOT 8766 SOS 1363 HAS SOPS 1266 HAS SOUS 1335 HAS SOUPS 1238 WITH SCORE 1239.363
AT ITER 1921 NEW BEST:: SOT 8776 SOS 1361 HAS SOPS 1264 HAS SOUS 1335 HAS SOUPS 1238 WITH SCORE 1239.361
AT ITER 1923 NEW BEST:: SOT 8777 SOS 1360 HAS SOPS 1263 HAS SOUS 1334 HAS SOUPS 1237 WITH SCORE 1238.36
AT ITER 1949 NEW BEST:: SOT 8775 SOS 1352 HAS SOPS 1255 HAS SOUS 1326 HAS SOUPS 1229 WITH SCORE 1230.352
AT ITER 1951 NEW BEST:: SOT 8774 SOS 1343 HAS SOPS 1246 HAS SOUS 1310 HAS SOUPS 1213 WITH SCORE 1214.343
AT ITER 2070 NEW BEST:: SOT 8767 SOS 1324 HAS SOPS 1227 HAS SOUS 1300 HAS SOUPS 1203 WITH SCORE 1204.324
AT ITER 2102 NEW BEST:: SOT 8752 SOS 1315 HAS SOPS 1218 HAS SOUS 1291 HAS SOUPS 1194 WITH SCORE 1195.315
AT ITER 2133 NEW BEST:: SOT 8752 SOS 1313 HAS SOPS 1216 HAS SOUS 1289 HAS SOUPS 1192 WITH SCORE 1193.313
AT ITER 2181 NEW BEST:: SOT 8748 SOS 1309 HAS SOPS 1212 HAS SOUS 1283 HAS SOUPS 1186 WITH SCORE 1187.309
AT ITER 2236 NEW BEST:: SOT 8748 SOS 1307 HAS SOPS 1210 HAS SOUS 1281 HAS SOUPS 1184 WITH SCORE 1185.307
AT ITER 2280 NEW BEST:: SOT 8746 SOS 1301 HAS SOPS 1204 HAS SOUS 1275 HAS SOUPS 1178 WITH SCORE 1179.301
AT ITER 2284 NEW BEST:: SOT 8741 SOS 1300 HAS SOPS 1203 HAS SOUS 1274 HAS SOUPS 1177 WITH SCORE 1178.3
AT ITER 2286 NEW BEST:: SOT 8732 SOS 1276 HAS SOPS 1179 HAS SOUS 1250 HAS SOUPS 1153 WITH SCORE 1154.276
AT ITER 2398 NEW BEST:: SOT 8722 SOS 1258 HAS SOPS 1161 HAS SOUS 1232 HAS SOUPS 1135 WITH SCORE 1136.258
AT ITER 2417 NEW BEST:: SOT 8706 SOS 1227 HAS SOPS 1130 HAS SOUS 1204 HAS SOUPS 1107 WITH SCORE 1108.227
AT ITER 2441 NEW BEST:: SOT 8705 SOS 1225 HAS SOPS 1128 HAS SOUS 1202 HAS SOUPS 1105 WITH SCORE 1106.225
AT ITER 2451 NEW BEST:: SOT 8704 SOS 1221 HAS SOPS 1124 HAS SOUS 1199 HAS SOUPS 1102 WITH SCORE 1103.221
AT ITER 2504 NEW BEST:: SOT 8701 SOS 1216 HAS SOPS 1119 HAS SOUS 1194 HAS SOUPS 1097 WITH SCORE 1098.216
AT ITER 2507 NEW BEST:: SOT 8701 SOS 1211 HAS SOPS 1114 HAS SOUS 1189 HAS SOUPS 1092 WITH SCORE 1093.211
AT ITER 2521 NEW BEST:: SOT 8697 SOS 1203 HAS SOPS 1106 HAS SOUS 1181 HAS SOUPS 1084 WITH SCORE 1085.203
AT ITER 2574 NEW BEST:: SOT 8688 SOS 1184 HAS SOPS 1087 HAS SOUS 1162 HAS SOUPS 1065 WITH SCORE 1066.184
AT ITER 2576 NEW BEST:: SOT 8687 SOS 1179 HAS SOPS 1082 HAS SOUS 1158 HAS SOUPS 1061 WITH SCORE 1062.179
AT ITER 2589 NEW BEST:: SOT 8684 SOS 1169 HAS SOPS 1072 HAS SOUS 1149 HAS SOUPS 1052 WITH SCORE 1053.169
AT ITER 2592 NEW BEST:: SOT 8679 SOS 1165 HAS SOPS 1068 HAS SOUS 1146 HAS SOUPS 1049 WITH SCORE 1050.165
AT ITER 2712 NEW BEST:: SOT 8678 SOS 1157 HAS SOPS 1060 HAS SOUS 1138 HAS SOUPS 1041 WITH SCORE 1042.157
AT ITER 2746 NEW BEST:: SOT 8674 SOS 1152 HAS SOPS 1055 HAS SOUS 1132 HAS SOUPS 1035 WITH SCORE 1036.152
AT ITER 2763 NEW BEST:: SOT 8673 SOS 1149 HAS SOPS 1052 HAS SOUS 1129 HAS SOUPS 1032 WITH SCORE 1033.149
AT ITER 2791 NEW BEST:: SOT 8668 SOS 1140 HAS SOPS 1043 HAS SOUS 1120 HAS SOUPS 1023 WITH SCORE 1024.14
AT ITER 2846 NEW BEST:: SOT 8667 SOS 1136 HAS SOPS 1039 HAS SOUS 1115 HAS SOUPS 1018 WITH SCORE 1019.136
AT ITER 2917 NEW BEST:: SOT 8667 SOS 1136 HAS SOPS 1039 HAS SOUS 1114 HAS SOUPS 1017 WITH SCORE 1018.136
AT ITER 2995 NEW BEST:: SOT 8669 SOS 1135 HAS SOPS 1038 HAS SOUS 1113 HAS SOUPS 1016 WITH SCORE 1017.135
AT ITER 3047 NEW BEST:: SOT 8667 SOS 1133 HAS SOPS 1036 HAS SOUS 1113 HAS SOUPS 1016 WITH SCORE 1017.133
AT ITER 3077 NEW BEST:: SOT 8671 SOS 1131 HAS SOPS 1034 HAS SOUS 1111 HAS SOUPS 1014 WITH SCORE 1015.131
AT ITER 3113 NEW BEST:: SOT 8669 SOS 1126 HAS SOPS 1029 HAS SOUS 1107 HAS SOUPS 1010 WITH SCORE 1011.126
AT ITER 3132 NEW BEST:: SOT 8671 SOS 1124 HAS SOPS 1027 HAS SOUS 1105 HAS SOUPS 1008 WITH SCORE 1009.124
AT ITER 3148 NEW BEST:: SOT 8670 SOS 1123 HAS SOPS 1026 HAS SOUS 1102 HAS SOUPS 1005 WITH SCORE 1006.123
AT ITER 3207 NEW BEST:: SOT 8658 SOS 1100 HAS SOPS 1003 HAS SOUS 1081 HAS SOUPS 984 WITH SCORE 985.1
AT ITER 3212 NEW BEST:: SOT 8646 SOS 1076 HAS SOPS 979 HAS SOUS 1060 HAS SOUPS 963 WITH SCORE 964.076
AT ITER 3273 NEW BEST:: SOT 8631 SOS 1052 HAS SOPS 955 HAS SOUS 1036 HAS SOUPS 939 WITH SCORE 940.052
AT ITER 3292 NEW BEST:: SOT 8628 SOS 1046 HAS SOPS 949 HAS SOUS 1029 HAS SOUPS 932 WITH SCORE 933.046
AT ITER 3304 NEW BEST:: SOT 8627 SOS 1045 HAS SOPS 948 HAS SOUS 1028 HAS SOUPS 931 WITH SCORE 932.045
AT ITER 3355 NEW BEST:: SOT 8627 SOS 1042 HAS SOPS 945 HAS SOUS 1025 HAS SOUPS 928 WITH SCORE 929.042
AT ITER 3375 NEW BEST:: SOT 8626 SOS 1040 HAS SOPS 943 HAS SOUS 1023 HAS SOUPS 926 WITH SCORE 927.04
AT ITER 3467 NEW BEST:: SOT 8625 SOS 1038 HAS SOPS 938 HAS SOUS 1021 HAS SOUPS 921 WITH SCORE 922.038
AT ITER 3479 NEW BEST:: SOT 8619 SOS 1037 HAS SOPS 937 HAS SOUS 1020 HAS SOUPS 920 WITH SCORE 921.037
AT ITER 3481 NEW BEST:: SOT 8608 SOS 1026 HAS SOPS 926 HAS SOUS 1004 HAS SOUPS 904 WITH SCORE 905.026
AT ITER 3495 NEW BEST:: SOT 8606 SOS 1024 HAS SOPS 924 HAS SOUS 1002 HAS SOUPS 902 WITH SCORE 903.024
AT ITER 3625 NEW BEST:: SOT 8603 SOS 1018 HAS SOPS 918 HAS SOUS 996 HAS SOUPS 896 WITH SCORE 897.018
AT ITER 3767 NEW BEST:: SOT 8593 SOS 998 HAS SOPS 898 HAS SOUS 973 HAS SOUPS 873 WITH SCORE 873.998
AT ITER 3812 NEW BEST:: SOT 8593 SOS 997 HAS SOPS 897 HAS SOUS 972 HAS SOUPS 872 WITH SCORE 872.997
AT ITER 3826 NEW BEST:: SOT 8574 SOS 969 HAS SOPS 869 HAS SOUS 944 HAS SOUPS 844 WITH SCORE 844.969
AT ITER 3976 NEW BEST:: SOT 8574 SOS 970 HAS SOPS 870 HAS SOUS 943 HAS SOUPS 843 WITH SCORE 843.97
AT ITER 4008 NEW BEST:: SOT 8584 SOS 966 HAS SOPS 866 HAS SOUS 942 HAS SOUPS 842 WITH SCORE 842.966
AT ITER 4196 NEW BEST:: SOT 8583 SOS 961 HAS SOPS 861 HAS SOUS 937 HAS SOUPS 837 WITH SCORE 837.961
AT ITER 4288 NEW BEST:: SOT 8567 SOS 940 HAS SOPS 840 HAS SOUS 916 HAS SOUPS 816 WITH SCORE 816.94
AT ITER 4315 NEW BEST:: SOT 8561 SOS 930 HAS SOPS 830 HAS SOUS 906 HAS SOUPS 806 WITH SCORE 806.93
AT ITER 4351 NEW BEST:: SOT 8565 SOS 929 HAS SOPS 829 HAS SOUS 905 HAS SOUPS 805 WITH SCORE 805.929
AT ITER 4450 NEW BEST:: SOT 8559 SOS 923 HAS SOPS 823 HAS SOUS 899 HAS SOUPS 799 WITH SCORE 799.923
AT ITER 4493 NEW BEST:: SOT 8558 SOS 922 HAS SOPS 822 HAS SOUS 898 HAS SOUPS 798 WITH SCORE 798.922
AT ITER 4542 NEW BEST:: SOT 8557 SOS 917 HAS SOPS 817 HAS SOUS 893 HAS SOUPS 793 WITH SCORE 793.917
AT ITER 4589 NEW BEST:: SOT 8551 SOS 899 HAS SOPS 799 HAS SOUS 875 HAS SOUPS 775 WITH SCORE 775.899
AT ITER 4782 NEW BEST:: SOT 8550 SOS 898 HAS SOPS 798 HAS SOUS 874 HAS SOUPS 774 WITH SCORE 774.898
AT ITER 4786 NEW BEST:: SOT 8550 SOS 878 HAS SOPS 778 HAS SOUS 859 HAS SOUPS 759 WITH SCORE 759.878
AT ITER 4906 NEW BEST:: SOT 8547 SOS 872 HAS SOPS 772 HAS SOUS 854 HAS SOUPS 754 WITH SCORE 754.872
AT ITER 4983 NEW BEST:: SOT 8535 SOS 853 HAS SOPS 753 HAS SOUS 833 HAS SOUPS 733 WITH SCORE 733.853
Bounds file is: CTLFireability.xml
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-00 (AF( ( (EF( ( ((potential((tk(P99)>=2)))) & ((potential((tk(P5)>=4)))) ))) & (EG( ( ((potential((tk(P29)>=2)))) | ((potential((tk(P27)>=5)))) ))) )))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-01 ( ((potential((tk(P9)>=1)))) & (AF( (EU( ((potential((tk(P16)>=5)))) , ((potential((tk(P97)>=3)))) )))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-02 (EG( (! (AU( ((potential((tk(P17)>=3)))) , ((potential((tk(P73)>=2)))) )))))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-03 (AF( (AX( ((potential((tk(P101)>=5))))))))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-04 (! (AF( ( (EF( ((potential((tk(P51)>=5)))))) & ( ( ((potential((tk(P49)>=2)))) | ((potential((tk(P83)>=2)))) ) | ( ((potential((tk(P87)>=3)))) | ((potential((tk(P94)>=2)))) ) ) ))))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-05 (EF( ( ( ((potential((tk(P62)>=5)))) | (! ((potential((tk(P44)>=2))))) ) & (AX( ((potential((tk(P89)>=1)))))) )))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-06 (AF( ( ((potential((tk(P42)>=5)))) & ((potential((tk(P4)>=20) & (tk(P9)>=20) & (tk(P14)>=20) & (tk(P19)>=20) & (tk(P24)>=20) & (tk(P29)>=20) & (tk(P34)>=20) & (tk(P39)>=20) & (tk(P44)>=20) & (tk(P49)>=20) & (tk(P54)>=20) & (tk(P59)>=20) & (tk(P64)>=20) & (tk(P69)>=20) & (tk(P74)>=20) & (tk(P79)>=20) & (tk(P84)>=20) & (tk(P89)>=20) & (tk(P94)>=20) & (tk(P99)>=20) & (tk(P1)>=1)))) )))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-07 ( (EF( (AU( ((potential((tk(P38)>=2)))) , ((potential((tk(P9)>=1)))) )))) & (EF( ((potential((tk(P2)>=5)))))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-08 ( (EF( ( ((potential((tk(P18)>=2)))) & ((potential((tk(P36)>=5)))) ))) | (AX( (! (EF( ((potential((tk(P13)>=2))))))))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-09 ( ( (EU( ( ((potential((tk(P32)>=3)))) | ((potential((tk(P99)>=2)))) ) , ((potential((tk(P101)>=5)))) )) | (AF( (EG( ((potential((tk(P52)>=5)))))))) ) & ( (EU( ( ((potential((tk(P29)>=2)))) & ((potential((tk(P54)>=1)))) ) , ((potential((tk(P34)>=2)))) )) & ( ( ((potential((tk(P62)>=3)))) & ( (! ((potential((tk(P16)>=5))))) & ((potential((tk(P44)>=2)))) ) ) | (AF( (! ((potential((tk(P84)>=1))))))) ) ) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-10 ( ( ( ( ( ( ((potential((tk(P78)>=2)))) & ((potential((tk(P27)>=3)))) ) & ((potential((tk(P22)>=5)))) ) | ((potential((tk(P45)>=4)))) ) | ( (AX( ((potential((tk(P78)>=2)))))) | ((potential((tk(P100)>=4)))) ) ) | ((potential((tk(P7)>=3)))) ) | (AG( ( (EX( ((potential((tk(P39)>=1)))))) | ((potential((tk(P20)>=3)))) ))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-11 ( (EF( (! (EG( ((potential((tk(P24)>=1))))))))) & (AG( (EU( ((potential((tk(P83)>=2)))) , ((potential((tk(P49)>=1)))) )))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-12 (EF( ( (AG( ( ((potential((tk(P87)>=3)))) | ((potential((tk(P60)>=3)))) ))) & (AX( ((potential((tk(P30)>=4)))))) )))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-13 (EG( (! (AX( ( ((potential((tk(P72)>=5)))) & ((potential((tk(P20)>=4)))) ))))))
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-14 ( (AU( (AF( ((potential((tk(P92)>=5)))))) , (AG( ((potential((tk(P35)>=4)))))) )) | (! (! ((potential((tk(P32)>=3)))))) )
PROPERTY: JoinFreeModules-PT-0020-CTLFireability-15 (! (EU( (EF( ((potential((tk(P23)>=2)))))) , (! (! ((potential((tk(P76)>=5)))))) )))

BK_STOP 1589617990246

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 460 Segmentation fault ${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="JoinFreeModules-PT-0020"
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 JoinFreeModules-PT-0020, 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 r093-oct2-158940140500420"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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