Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900720.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 30 00:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 30 00:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 50K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589364347266

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 143 places, 197 transitions, 633 arcs.
AT ITER 0 NEW BEST:: SOT 20697 SOS 10302 HAS SOPS 10302 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10235.302
AT ITER 12 NEW BEST:: SOT 19729 SOS 9334 HAS SOPS 9334 HAS SOUS 9257 HAS SOUPS 9257 WITH SCORE 9266.334
AT ITER 15 NEW BEST:: SOT 19754 SOS 9357 HAS SOPS 9357 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9265.357
AT ITER 24 NEW BEST:: SOT 19762 SOS 9332 HAS SOPS 9324 HAS SOUS 9231 HAS SOUPS 9223 WITH SCORE 9232.332
AT ITER 32 NEW BEST:: SOT 19817 SOS 9385 HAS SOPS 9355 HAS SOUS 9236 HAS SOUPS 9214 WITH SCORE 9223.385
AT ITER 34 NEW BEST:: SOT 19817 SOS 9411 HAS SOPS 9381 HAS SOUS 9160 HAS SOUPS 9138 WITH SCORE 9147.411
AT ITER 36 NEW BEST:: SOT 19816 SOS 9408 HAS SOPS 9378 HAS SOUS 9144 HAS SOUPS 9122 WITH SCORE 9131.408
AT ITER 37 NEW BEST:: SOT 19796 SOS 9427 HAS SOPS 9397 HAS SOUS 9132 HAS SOUPS 9110 WITH SCORE 9119.427
AT ITER 38 NEW BEST:: SOT 19808 SOS 9424 HAS SOPS 9394 HAS SOUS 9118 HAS SOUPS 9096 WITH SCORE 9105.424
AT ITER 40 NEW BEST:: SOT 19828 SOS 9442 HAS SOPS 9412 HAS SOUS 9107 HAS SOUPS 9085 WITH SCORE 9094.442
AT ITER 42 NEW BEST:: SOT 19790 SOS 9373 HAS SOPS 9343 HAS SOUS 9076 HAS SOUPS 9054 WITH SCORE 9063.373
AT ITER 50 NEW BEST:: SOT 19787 SOS 9373 HAS SOPS 9343 HAS SOUS 9073 HAS SOUPS 9051 WITH SCORE 9060.373
AT ITER 55 NEW BEST:: SOT 19786 SOS 9370 HAS SOPS 9340 HAS SOUS 9072 HAS SOUPS 9050 WITH SCORE 9059.37
AT ITER 66 NEW BEST:: SOT 19899 SOS 9434 HAS SOPS 9386 HAS SOUS 9038 HAS SOUPS 9016 WITH SCORE 9025.434
AT ITER 67 NEW BEST:: SOT 18770 SOS 8374 HAS SOPS 8255 HAS SOUS 8048 HAS SOUPS 7992 WITH SCORE 8000.374
AT ITER 73 NEW BEST:: SOT 18770 SOS 8388 HAS SOPS 8255 HAS SOUS 8034 HAS SOUPS 7978 WITH SCORE 7986.388
AT ITER 86 NEW BEST:: SOT 18805 SOS 8400 HAS SOPS 8267 HAS SOUS 8029 HAS SOUPS 7973 WITH SCORE 7981.4
AT ITER 92 NEW BEST:: SOT 18886 SOS 8490 HAS SOPS 8342 HAS SOUS 8011 HAS SOUPS 7955 WITH SCORE 7963.49
AT ITER 93 NEW BEST:: SOT 18794 SOS 8243 HAS SOPS 8095 HAS SOUS 7856 HAS SOUPS 7800 WITH SCORE 7808.243
AT ITER 95 NEW BEST:: SOT 18811 SOS 8220 HAS SOPS 8072 HAS SOUS 7833 HAS SOUPS 7777 WITH SCORE 7785.22
AT ITER 103 NEW BEST:: SOT 18795 SOS 8204 HAS SOPS 8055 HAS SOUS 7816 HAS SOUPS 7760 WITH SCORE 7768.204
AT ITER 106 NEW BEST:: SOT 18809 SOS 8202 HAS SOPS 8053 HAS SOUS 7808 HAS SOUPS 7752 WITH SCORE 7760.202
AT ITER 114 NEW BEST:: SOT 18753 SOS 8192 HAS SOPS 8043 HAS SOUS 7797 HAS SOUPS 7741 WITH SCORE 7749.192
AT ITER 122 NEW BEST:: SOT 18753 SOS 8183 HAS SOPS 8034 HAS SOUS 7797 HAS SOUPS 7741 WITH SCORE 7749.183
AT ITER 127 NEW BEST:: SOT 18736 SOS 8166 HAS SOPS 8017 HAS SOUS 7780 HAS SOUPS 7724 WITH SCORE 7732.166
AT ITER 128 NEW BEST:: SOT 18744 SOS 8129 HAS SOPS 7979 HAS SOUS 7751 HAS SOUPS 7695 WITH SCORE 7703.129
AT ITER 132 NEW BEST:: SOT 18857 SOS 8155 HAS SOPS 8005 HAS SOUS 7705 HAS SOUPS 7649 WITH SCORE 7657.155
AT ITER 139 NEW BEST:: SOT 18905 SOS 8175 HAS SOPS 8002 HAS SOUS 7702 HAS SOUPS 7645 WITH SCORE 7653.175
AT ITER 144 NEW BEST:: SOT 18904 SOS 8174 HAS SOPS 8001 HAS SOUS 7702 HAS SOUPS 7645 WITH SCORE 7653.174
AT ITER 146 NEW BEST:: SOT 18903 SOS 8155 HAS SOPS 7982 HAS SOUS 7683 HAS SOUPS 7626 WITH SCORE 7634.155
AT ITER 148 NEW BEST:: SOT 18921 SOS 8165 HAS SOPS 7990 HAS SOUS 7677 HAS SOUPS 7620 WITH SCORE 7628.165
AT ITER 149 NEW BEST:: SOT 18922 SOS 8147 HAS SOPS 7972 HAS SOUS 7644 HAS SOUPS 7587 WITH SCORE 7595.147
AT ITER 155 NEW BEST:: SOT 18975 SOS 8140 HAS SOPS 7965 HAS SOUS 7637 HAS SOUPS 7580 WITH SCORE 7588.14
AT ITER 164 NEW BEST:: SOT 18947 SOS 8112 HAS SOPS 7937 HAS SOUS 7609 HAS SOUPS 7552 WITH SCORE 7560.112
AT ITER 165 NEW BEST:: SOT 18929 SOS 8094 HAS SOPS 7919 HAS SOUS 7591 HAS SOUPS 7534 WITH SCORE 7542.094
AT ITER 169 NEW BEST:: SOT 18929 SOS 8096 HAS SOPS 7919 HAS SOUS 7589 HAS SOUPS 7532 WITH SCORE 7540.096
AT ITER 175 NEW BEST:: SOT 18214 SOS 8025 HAS SOPS 7193 HAS SOUS 7061 HAS SOUPS 6963 WITH SCORE 6971.025
AT ITER 199 NEW BEST:: SOT 18169 SOS 7902 HAS SOPS 7025 HAS SOUS 6924 HAS SOUPS 6826 WITH SCORE 6833.902
AT ITER 204 NEW BEST:: SOT 18168 SOS 7925 HAS SOPS 7048 HAS SOUS 6922 HAS SOUPS 6824 WITH SCORE 6831.925
AT ITER 208 NEW BEST:: SOT 18178 SOS 7883 HAS SOPS 6977 HAS SOUS 6851 HAS SOUPS 6753 WITH SCORE 6760.883
AT ITER 213 NEW BEST:: SOT 18186 SOS 7889 HAS SOPS 6983 HAS SOUS 6849 HAS SOUPS 6751 WITH SCORE 6758.889
AT ITER 215 NEW BEST:: SOT 18254 SOS 7886 HAS SOPS 6959 HAS SOUS 6833 HAS SOUPS 6735 WITH SCORE 6742.886
AT ITER 221 NEW BEST:: SOT 18284 SOS 7883 HAS SOPS 6956 HAS SOUS 6831 HAS SOUPS 6733 WITH SCORE 6740.883
AT ITER 224 NEW BEST:: SOT 18312 SOS 7864 HAS SOPS 6937 HAS SOUS 6803 HAS SOUPS 6705 WITH SCORE 6712.864
AT ITER 226 NEW BEST:: SOT 18316 SOS 7851 HAS SOPS 6924 HAS SOUS 6791 HAS SOUPS 6693 WITH SCORE 6700.851
AT ITER 231 NEW BEST:: SOT 16489 SOS 6908 HAS SOPS 5003 HAS SOUS 5020 HAS SOUPS 4875 WITH SCORE 4881.908
AT ITER 233 NEW BEST:: SOT 16470 SOS 6805 HAS SOPS 4898 HAS SOUS 4962 HAS SOUPS 4817 WITH SCORE 4823.805
AT ITER 252 NEW BEST:: SOT 16540 SOS 6845 HAS SOPS 4862 HAS SOUS 4926 HAS SOUPS 4781 WITH SCORE 4787.845
AT ITER 258 NEW BEST:: SOT 16540 SOS 6837 HAS SOPS 4854 HAS SOUS 4926 HAS SOUPS 4781 WITH SCORE 4787.837
AT ITER 262 NEW BEST:: SOT 16402 SOS 6699 HAS SOPS 4627 HAS SOUS 4699 HAS SOUPS 4554 WITH SCORE 4560.699
AT ITER 271 NEW BEST:: SOT 16437 SOS 6729 HAS SOPS 4607 HAS SOUS 4681 HAS SOUPS 4534 WITH SCORE 4540.729
AT ITER 284 NEW BEST:: SOT 16442 SOS 6708 HAS SOPS 4590 HAS SOUS 4664 HAS SOUPS 4517 WITH SCORE 4523.708
AT ITER 296 NEW BEST:: SOT 16396 SOS 6675 HAS SOPS 4522 HAS SOUS 4596 HAS SOUPS 4449 WITH SCORE 4455.675
AT ITER 301 NEW BEST:: SOT 16396 SOS 6623 HAS SOPS 4468 HAS SOUS 4542 HAS SOUPS 4395 WITH SCORE 4401.623
AT ITER 307 NEW BEST:: SOT 16383 SOS 6623 HAS SOPS 4455 HAS SOUS 4529 HAS SOUPS 4382 WITH SCORE 4388.623
AT ITER 319 NEW BEST:: SOT 16374 SOS 6628 HAS SOPS 4437 HAS SOUS 4508 HAS SOUPS 4364 WITH SCORE 4370.628
AT ITER 353 NEW BEST:: SOT 16359 SOS 6615 HAS SOPS 4407 HAS SOUS 4478 HAS SOUPS 4334 WITH SCORE 4340.615
AT ITER 358 NEW BEST:: SOT 16351 SOS 6607 HAS SOPS 4399 HAS SOUS 4470 HAS SOUPS 4326 WITH SCORE 4332.607
AT ITER 362 NEW BEST:: SOT 16329 SOS 6585 HAS SOPS 4399 HAS SOUS 4470 HAS SOUPS 4326 WITH SCORE 4332.585
AT ITER 363 NEW BEST:: SOT 16338 SOS 6592 HAS SOPS 4406 HAS SOUS 4469 HAS SOUPS 4325 WITH SCORE 4331.592
AT ITER 368 NEW BEST:: SOT 16261 SOS 6554 HAS SOPS 4323 HAS SOUS 4386 HAS SOUPS 4242 WITH SCORE 4248.554
AT ITER 371 NEW BEST:: SOT 16253 SOS 6514 HAS SOPS 4307 HAS SOUS 4370 HAS SOUPS 4226 WITH SCORE 4232.514
AT ITER 376 NEW BEST:: SOT 16182 SOS 6521 HAS SOPS 4273 HAS SOUS 4336 HAS SOUPS 4192 WITH SCORE 4198.521
AT ITER 379 NEW BEST:: SOT 16181 SOS 6518 HAS SOPS 4270 HAS SOUS 4334 HAS SOUPS 4190 WITH SCORE 4196.518
AT ITER 392 NEW BEST:: SOT 16180 SOS 6515 HAS SOPS 4267 HAS SOUS 4328 HAS SOUPS 4184 WITH SCORE 4190.515
AT ITER 407 NEW BEST:: SOT 16175 SOS 6510 HAS SOPS 4257 HAS SOUS 4320 HAS SOUPS 4174 WITH SCORE 4180.51
AT ITER 408 NEW BEST:: SOT 16167 SOS 6498 HAS SOPS 4237 HAS SOUS 4300 HAS SOUPS 4154 WITH SCORE 4160.498
AT ITER 429 NEW BEST:: SOT 16211 SOS 6479 HAS SOPS 4217 HAS SOUS 4286 HAS SOUPS 4140 WITH SCORE 4146.479
AT ITER 435 NEW BEST:: SOT 16183 SOS 6455 HAS SOPS 4147 HAS SOUS 4216 HAS SOUPS 4070 WITH SCORE 4076.455
AT ITER 437 NEW BEST:: SOT 16186 SOS 6446 HAS SOPS 4119 HAS SOUS 4188 HAS SOUPS 4042 WITH SCORE 4048.446
AT ITER 444 NEW BEST:: SOT 16182 SOS 6442 HAS SOPS 4115 HAS SOUS 4184 HAS SOUPS 4038 WITH SCORE 4044.442
AT ITER 446 NEW BEST:: SOT 16181 SOS 6464 HAS SOPS 4137 HAS SOUS 4183 HAS SOUPS 4037 WITH SCORE 4043.464
AT ITER 457 NEW BEST:: SOT 16180 SOS 6463 HAS SOPS 4136 HAS SOUS 4154 HAS SOUPS 4008 WITH SCORE 4014.463
AT ITER 465 NEW BEST:: SOT 16179 SOS 6416 HAS SOPS 4135 HAS SOUS 4153 HAS SOUPS 4007 WITH SCORE 4013.416
AT ITER 478 NEW BEST:: SOT 16181 SOS 6400 HAS SOPS 4103 HAS SOUS 4121 HAS SOUPS 3975 WITH SCORE 3981.4
AT ITER 499 NEW BEST:: SOT 16152 SOS 6411 HAS SOPS 4073 HAS SOUS 4092 HAS SOUPS 3945 WITH SCORE 3951.411
AT ITER 500 NEW BEST:: SOT 16155 SOS 6401 HAS SOPS 4059 HAS SOUS 4078 HAS SOUPS 3931 WITH SCORE 3937.401
AT ITER 508 NEW BEST:: SOT 16149 SOS 6370 HAS SOPS 4028 HAS SOUS 4060 HAS SOUPS 3913 WITH SCORE 3919.37
AT ITER 547 NEW BEST:: SOT 16143 SOS 6372 HAS SOPS 4016 HAS SOUS 4055 HAS SOUPS 3901 WITH SCORE 3907.372
AT ITER 551 NEW BEST:: SOT 16138 SOS 6361 HAS SOPS 4006 HAS SOUS 4044 HAS SOUPS 3891 WITH SCORE 3897.361
AT ITER 555 NEW BEST:: SOT 16128 SOS 6353 HAS SOPS 3993 HAS SOUS 4031 HAS SOUPS 3878 WITH SCORE 3884.353
AT ITER 559 NEW BEST:: SOT 16096 SOS 6362 HAS SOPS 3970 HAS SOUS 4008 HAS SOUPS 3855 WITH SCORE 3861.362
AT ITER 562 NEW BEST:: SOT 16096 SOS 6336 HAS SOPS 3970 HAS SOUS 4008 HAS SOUPS 3855 WITH SCORE 3861.336
AT ITER 569 NEW BEST:: SOT 16084 SOS 6343 HAS SOPS 3946 HAS SOUS 3988 HAS SOUPS 3831 WITH SCORE 3837.343
AT ITER 570 NEW BEST:: SOT 16100 SOS 6311 HAS SOPS 3914 HAS SOUS 3956 HAS SOUPS 3799 WITH SCORE 3805.311
AT ITER 574 NEW BEST:: SOT 16092 SOS 6307 HAS SOPS 3906 HAS SOUS 3948 HAS SOUPS 3791 WITH SCORE 3797.307
AT ITER 595 NEW BEST:: SOT 15560 SOS 6925 HAS SOPS 3360 HAS SOUS 3436 HAS SOUPS 3255 WITH SCORE 3261.925
AT ITER 603 NEW BEST:: SOT 15556 SOS 6921 HAS SOPS 3352 HAS SOUS 3428 HAS SOUPS 3247 WITH SCORE 3253.921
AT ITER 659 NEW BEST:: SOT 15550 SOS 6915 HAS SOPS 3346 HAS SOUS 3422 HAS SOUPS 3241 WITH SCORE 3247.915
AT ITER 664 NEW BEST:: SOT 15549 SOS 6901 HAS SOPS 3318 HAS SOUS 3394 HAS SOUPS 3213 WITH SCORE 3219.901
AT ITER 666 NEW BEST:: SOT 15549 SOS 6881 HAS SOPS 3298 HAS SOUS 3394 HAS SOUPS 3213 WITH SCORE 3219.881
AT ITER 674 NEW BEST:: SOT 15552 SOS 6872 HAS SOPS 3292 HAS SOUS 3388 HAS SOUPS 3207 WITH SCORE 3213.872
AT ITER 679 NEW BEST:: SOT 15549 SOS 6869 HAS SOPS 3286 HAS SOUS 3382 HAS SOUPS 3201 WITH SCORE 3207.869
AT ITER 694 NEW BEST:: SOT 15544 SOS 6864 HAS SOPS 3283 HAS SOUS 3377 HAS SOUPS 3198 WITH SCORE 3204.864
AT ITER 730 NEW BEST:: SOT 15537 SOS 6861 HAS SOPS 3269 HAS SOUS 3363 HAS SOUPS 3184 WITH SCORE 3190.861
AT ITER 744 NEW BEST:: SOT 15520 SOS 6902 HAS SOPS 3251 HAS SOUS 3345 HAS SOUPS 3165 WITH SCORE 3171.902
AT ITER 752 NEW BEST:: SOT 15587 SOS 6881 HAS SOPS 3184 HAS SOUS 3278 HAS SOUPS 3098 WITH SCORE 3104.881
AT ITER 761 NEW BEST:: SOT 15580 SOS 6822 HAS SOPS 3117 HAS SOUS 3244 HAS SOUPS 3064 WITH SCORE 3070.822
AT ITER 766 NEW BEST:: SOT 15584 SOS 6819 HAS SOPS 3111 HAS SOUS 3238 HAS SOUPS 3058 WITH SCORE 3064.819
AT ITER 791 NEW BEST:: SOT 15582 SOS 6817 HAS SOPS 3107 HAS SOUS 3234 HAS SOUPS 3054 WITH SCORE 3060.817
AT ITER 816 NEW BEST:: SOT 15578 SOS 6813 HAS SOPS 3103 HAS SOUS 3230 HAS SOUPS 3050 WITH SCORE 3056.813
AT ITER 822 NEW BEST:: SOT 15521 SOS 6813 HAS SOPS 3103 HAS SOUS 3229 HAS SOUPS 3049 WITH SCORE 3055.813
AT ITER 837 NEW BEST:: SOT 15379 SOS 7265 HAS SOPS 2961 HAS SOUS 3132 HAS SOUPS 2932 WITH SCORE 2939.265
AT ITER 849 NEW BEST:: SOT 15251 SOS 7679 HAS SOPS 2833 HAS SOUS 3014 HAS SOUPS 2805 WITH SCORE 2812.679
AT ITER 859 NEW BEST:: SOT 15239 SOS 7647 HAS SOPS 2788 HAS SOUS 2969 HAS SOUPS 2760 WITH SCORE 2767.647
AT ITER 861 NEW BEST:: SOT 15239 SOS 7642 HAS SOPS 2788 HAS SOUS 2969 HAS SOUPS 2760 WITH SCORE 2767.642
AT ITER 888 NEW BEST:: SOT 15235 SOS 7622 HAS SOPS 2764 HAS SOUS 2956 HAS SOUPS 2747 WITH SCORE 2754.622
AT ITER 918 NEW BEST:: SOT 15267 SOS 7621 HAS SOPS 2763 HAS SOUS 2955 HAS SOUPS 2746 WITH SCORE 2753.621
AT ITER 923 NEW BEST:: SOT 15267 SOS 7619 HAS SOPS 2763 HAS SOUS 2954 HAS SOUPS 2745 WITH SCORE 2752.619
AT ITER 941 NEW BEST:: SOT 15257 SOS 7603 HAS SOPS 2743 HAS SOUS 2940 HAS SOUPS 2725 WITH SCORE 2732.603
AT ITER 943 NEW BEST:: SOT 15257 SOS 7602 HAS SOPS 2741 HAS SOUS 2938 HAS SOUPS 2723 WITH SCORE 2730.602
AT ITER 950 NEW BEST:: SOT 15207 SOS 7552 HAS SOPS 2692 HAS SOUS 2889 HAS SOUPS 2674 WITH SCORE 2681.552
AT ITER 977 NEW BEST:: SOT 15202 SOS 7556 HAS SOPS 2691 HAS SOUS 2888 HAS SOUPS 2673 WITH SCORE 2680.556
AT ITER 985 NEW BEST:: SOT 15162 SOS 8074 HAS SOPS 2630 HAS SOUS 2853 HAS SOUPS 2622 WITH SCORE 2630.074
AT ITER 993 NEW BEST:: SOT 15161 SOS 8042 HAS SOPS 2597 HAS SOUS 2820 HAS SOUPS 2589 WITH SCORE 2597.042
AT ITER 1002 NEW BEST:: SOT 15103 SOS 8693 HAS SOPS 2531 HAS SOUS 2767 HAS SOUPS 2525 WITH SCORE 2533.693
AT ITER 1038 NEW BEST:: SOT 15107 SOS 8681 HAS SOPS 2519 HAS SOUS 2755 HAS SOUPS 2513 WITH SCORE 2521.681
AT ITER 1059 NEW BEST:: SOT 15105 SOS 8680 HAS SOPS 2515 HAS SOUS 2751 HAS SOUPS 2509 WITH SCORE 2517.68
AT ITER 1108 NEW BEST:: SOT 15099 SOS 8674 HAS SOPS 2503 HAS SOUS 2739 HAS SOUPS 2497 WITH SCORE 2505.674
AT ITER 1230 NEW BEST:: SOT 15098 SOS 8672 HAS SOPS 2500 HAS SOUS 2736 HAS SOUPS 2494 WITH SCORE 2502.672
AT ITER 1240 NEW BEST:: SOT 15113 SOS 8659 HAS SOPS 2474 HAS SOUS 2710 HAS SOUPS 2468 WITH SCORE 2476.659
AT ITER 1306 NEW BEST:: SOT 15109 SOS 8640 HAS SOPS 2466 HAS SOUS 2700 HAS SOUPS 2460 WITH SCORE 2468.64
AT ITER 1358 NEW BEST:: SOT 15109 SOS 8637 HAS SOPS 2466 HAS SOUS 2700 HAS SOUPS 2460 WITH SCORE 2468.637
AT ITER 1419 NEW BEST:: SOT 15078 SOS 8648 HAS SOPS 2446 HAS SOUS 2680 HAS SOUPS 2440 WITH SCORE 2448.648
AT ITER 1457 NEW BEST:: SOT 15085 SOS 8655 HAS SOPS 2438 HAS SOUS 2675 HAS SOUPS 2432 WITH SCORE 2440.655
AT ITER 1503 NEW BEST:: SOT 15083 SOS 8653 HAS SOPS 2438 HAS SOUS 2675 HAS SOUPS 2432 WITH SCORE 2440.653
AT ITER 1506 NEW BEST:: SOT 15067 SOS 8640 HAS SOPS 2406 HAS SOUS 2643 HAS SOUPS 2400 WITH SCORE 2408.64
AT ITER 1525 NEW BEST:: SOT 15063 SOS 8636 HAS SOPS 2398 HAS SOUS 2635 HAS SOUPS 2392 WITH SCORE 2400.636
AT ITER 1529 NEW BEST:: SOT 15056 SOS 8629 HAS SOPS 2384 HAS SOUS 2621 HAS SOUPS 2378 WITH SCORE 2386.629
AT ITER 1530 NEW BEST:: SOT 15056 SOS 8626 HAS SOPS 2384 HAS SOUS 2621 HAS SOUPS 2378 WITH SCORE 2386.626
AT ITER 1538 NEW BEST:: SOT 15053 SOS 8620 HAS SOPS 2375 HAS SOUS 2612 HAS SOUPS 2369 WITH SCORE 2377.62
AT ITER 1586 NEW BEST:: SOT 15052 SOS 8619 HAS SOPS 2373 HAS SOUS 2610 HAS SOUPS 2367 WITH SCORE 2375.619
AT ITER 1600 NEW BEST:: SOT 15052 SOS 8600 HAS SOPS 2354 HAS SOUS 2591 HAS SOUPS 2348 WITH SCORE 2356.6
AT ITER 1608 NEW BEST:: SOT 15048 SOS 8594 HAS SOPS 2346 HAS SOUS 2583 HAS SOUPS 2340 WITH SCORE 2348.594
AT ITER 1616 NEW BEST:: SOT 15060 SOS 8589 HAS SOPS 2336 HAS SOUS 2573 HAS SOUPS 2330 WITH SCORE 2338.589
AT ITER 1630 NEW BEST:: SOT 15059 SOS 8588 HAS SOPS 2334 HAS SOUS 2571 HAS SOUPS 2328 WITH SCORE 2336.588
AT ITER 1644 NEW BEST:: SOT 15052 SOS 8581 HAS SOPS 2320 HAS SOUS 2557 HAS SOUPS 2314 WITH SCORE 2322.581
AT ITER 1700 NEW BEST:: SOT 15049 SOS 8578 HAS SOPS 2314 HAS SOUS 2551 HAS SOUPS 2308 WITH SCORE 2316.578
AT ITER 1727 NEW BEST:: SOT 15030 SOS 8559 HAS SOPS 2295 HAS SOUS 2532 HAS SOUPS 2289 WITH SCORE 2297.559
AT ITER 1748 NEW BEST:: SOT 15027 SOS 8556 HAS SOPS 2289 HAS SOUS 2526 HAS SOUPS 2283 WITH SCORE 2291.556
AT ITER 1761 NEW BEST:: SOT 15021 SOS 8905 HAS SOPS 2278 HAS SOUS 2521 HAS SOUPS 2273 WITH SCORE 2281.905
AT ITER 1781 NEW BEST:: SOT 14949 SOS 8833 HAS SOPS 2278 HAS SOUS 2521 HAS SOUPS 2273 WITH SCORE 2281.833
AT ITER 1792 NEW BEST:: SOT 14964 SOS 8848 HAS SOPS 2269 HAS SOUS 2512 HAS SOUPS 2264 WITH SCORE 2272.848
AT ITER 1794 NEW BEST:: SOT 14964 SOS 9197 HAS SOPS 2252 HAS SOUS 2506 HAS SOUPS 2249 WITH SCORE 2258.197
AT ITER 1809 NEW BEST:: SOT 14962 SOS 9341 HAS SOPS 2246 HAS SOUS 2503 HAS SOUPS 2244 WITH SCORE 2253.341
AT ITER 1826 NEW BEST:: SOT 14964 SOS 9341 HAS SOPS 2238 HAS SOUS 2501 HAS SOUPS 2236 WITH SCORE 2245.341
AT ITER 1856 NEW BEST:: SOT 14944 SOS 9341 HAS SOPS 2218 HAS SOUS 2481 HAS SOUPS 2216 WITH SCORE 2225.341
AT ITER 1868 NEW BEST:: SOT 14937 SOS 9334 HAS SOPS 2212 HAS SOUS 2475 HAS SOUPS 2210 WITH SCORE 2219.334
AT ITER 1870 NEW BEST:: SOT 14937 SOS 9333 HAS SOPS 2212 HAS SOUS 2475 HAS SOUPS 2210 WITH SCORE 2219.333
AT ITER 1952 NEW BEST:: SOT 14935 SOS 9330 HAS SOPS 2208 HAS SOUS 2471 HAS SOUPS 2206 WITH SCORE 2215.33
AT ITER 1982 NEW BEST:: SOT 14928 SOS 9323 HAS SOPS 2194 HAS SOUS 2457 HAS SOUPS 2192 WITH SCORE 2201.323
AT ITER 1990 NEW BEST:: SOT 14926 SOS 9321 HAS SOPS 2190 HAS SOUS 2453 HAS SOUPS 2188 WITH SCORE 2197.321
AT ITER 1995 NEW BEST:: SOT 14893 SOS 9306 HAS SOPS 2178 HAS SOUS 2441 HAS SOUPS 2176 WITH SCORE 2185.306
AT ITER 2067 NEW BEST:: SOT 14882 SOS 9306 HAS SOPS 2167 HAS SOUS 2430 HAS SOUPS 2165 WITH SCORE 2174.306
AT ITER 2125 NEW BEST:: SOT 14878 SOS 9304 HAS SOPS 2165 HAS SOUS 2428 HAS SOUPS 2163 WITH SCORE 2172.304
AT ITER 2134 NEW BEST:: SOT 14877 SOS 9303 HAS SOPS 2165 HAS SOUS 2428 HAS SOUPS 2163 WITH SCORE 2172.303
AT ITER 2236 NEW BEST:: SOT 14884 SOS 9293 HAS SOPS 2128 HAS SOUS 2391 HAS SOUPS 2126 WITH SCORE 2135.293
AT ITER 2239 NEW BEST:: SOT 14856 SOS 9307 HAS SOPS 2114 HAS SOUS 2377 HAS SOUPS 2112 WITH SCORE 2121.307
AT ITER 2269 NEW BEST:: SOT 14876 SOS 9293 HAS SOPS 2086 HAS SOUS 2349 HAS SOUPS 2084 WITH SCORE 2093.293
AT ITER 2271 NEW BEST:: SOT 14882 SOS 9272 HAS SOPS 2038 HAS SOUS 2301 HAS SOUPS 2036 WITH SCORE 2045.272
AT ITER 2281 NEW BEST:: SOT 14880 SOS 9267 HAS SOPS 2028 HAS SOUS 2291 HAS SOUPS 2026 WITH SCORE 2035.267
AT ITER 2346 NEW BEST:: SOT 14877 SOS 9261 HAS SOPS 2022 HAS SOUS 2285 HAS SOUPS 2020 WITH SCORE 2029.261
AT ITER 2352 NEW BEST:: SOT 14876 SOS 9260 HAS SOPS 2021 HAS SOUS 2284 HAS SOUPS 2019 WITH SCORE 2028.26
AT ITER 2358 NEW BEST:: SOT 14872 SOS 9256 HAS SOPS 2017 HAS SOUS 2280 HAS SOUPS 2015 WITH SCORE 2024.256
AT ITER 2383 NEW BEST:: SOT 14871 SOS 9259 HAS SOPS 2014 HAS SOUS 2278 HAS SOUPS 2013 WITH SCORE 2022.259
AT ITER 2394 NEW BEST:: SOT 14864 SOS 9252 HAS SOPS 2000 HAS SOUS 2264 HAS SOUPS 1999 WITH SCORE 2008.252
AT ITER 2431 NEW BEST:: SOT 14864 SOS 9252 HAS SOPS 1951 HAS SOUS 2215 HAS SOUPS 1950 WITH SCORE 1959.252
AT ITER 2457 NEW BEST:: SOT 14858 SOS 9246 HAS SOPS 1939 HAS SOUS 2203 HAS SOUPS 1938 WITH SCORE 1947.246
AT ITER 2459 NEW BEST:: SOT 14858 SOS 9241 HAS SOPS 1934 HAS SOUS 2198 HAS SOUPS 1933 WITH SCORE 1942.241
AT ITER 2498 NEW BEST:: SOT 14856 SOS 9250 HAS SOPS 1930 HAS SOUS 2194 HAS SOUPS 1929 WITH SCORE 1938.25
AT ITER 2500 NEW BEST:: SOT 14842 SOS 9236 HAS SOPS 1919 HAS SOUS 2183 HAS SOUPS 1918 WITH SCORE 1927.236
AT ITER 2509 NEW BEST:: SOT 14830 SOS 9235 HAS SOPS 1912 HAS SOUS 2175 HAS SOUPS 1910 WITH SCORE 1919.235
AT ITER 2526 NEW BEST:: SOT 14822 SOS 9223 HAS SOPS 1896 HAS SOUS 2159 HAS SOUPS 1894 WITH SCORE 1903.223
AT ITER 2531 NEW BEST:: SOT 14814 SOS 9207 HAS SOPS 1880 HAS SOUS 2143 HAS SOUPS 1878 WITH SCORE 1887.207
AT ITER 2570 NEW BEST:: SOT 14810 SOS 9203 HAS SOPS 1872 HAS SOUS 2135 HAS SOUPS 1870 WITH SCORE 1879.203
AT ITER 2734 NEW BEST:: SOT 14771 SOS 9185 HAS SOPS 1854 HAS SOUS 2117 HAS SOUPS 1852 WITH SCORE 1861.185
AT ITER 2784 NEW BEST:: SOT 14762 SOS 9182 HAS SOPS 1842 HAS SOUS 2105 HAS SOUPS 1840 WITH SCORE 1849.182
AT ITER 2786 NEW BEST:: SOT 14730 SOS 9189 HAS SOPS 1817 HAS SOUS 2080 HAS SOUPS 1815 WITH SCORE 1824.189
AT ITER 2798 NEW BEST:: SOT 14722 SOS 9170 HAS SOPS 1787 HAS SOUS 2050 HAS SOUPS 1785 WITH SCORE 1794.17
AT ITER 2799 NEW BEST:: SOT 14708 SOS 9165 HAS SOPS 1772 HAS SOUS 2035 HAS SOUPS 1770 WITH SCORE 1779.165
AT ITER 2833 NEW BEST:: SOT 14708 SOS 9162 HAS SOPS 1769 HAS SOUS 2032 HAS SOUPS 1767 WITH SCORE 1776.162
AT ITER 2841 NEW BEST:: SOT 14701 SOS 9155 HAS SOPS 1755 HAS SOUS 2018 HAS SOUPS 1753 WITH SCORE 1762.155
AT ITER 2882 NEW BEST:: SOT 14701 SOS 9154 HAS SOPS 1754 HAS SOUS 2017 HAS SOUPS 1752 WITH SCORE 1761.154
AT ITER 2887 NEW BEST:: SOT 14700 SOS 9153 HAS SOPS 1754 HAS SOUS 2017 HAS SOUPS 1752 WITH SCORE 1761.153
AT ITER 2916 NEW BEST:: SOT 14697 SOS 9149 HAS SOPS 1748 HAS SOUS 2011 HAS SOUPS 1746 WITH SCORE 1755.149
AT ITER 2967 NEW BEST:: SOT 14691 SOS 9149 HAS SOPS 1746 HAS SOUS 2009 HAS SOUPS 1744 WITH SCORE 1753.149
AT ITER 3012 NEW BEST:: SOT 14690 SOS 9147 HAS SOPS 1744 HAS SOUS 2007 HAS SOUPS 1742 WITH SCORE 1751.147
AT ITER 3020 NEW BEST:: SOT 14692 SOS 9147 HAS SOPS 1742 HAS SOUS 2005 HAS SOUPS 1740 WITH SCORE 1749.147
AT ITER 3087 NEW BEST:: SOT 14685 SOS 9138 HAS SOPS 1728 HAS SOUS 1991 HAS SOUPS 1726 WITH SCORE 1735.138
AT ITER 3141 NEW BEST:: SOT 14681 SOS 9137 HAS SOPS 1726 HAS SOUS 1989 HAS SOUPS 1724 WITH SCORE 1733.137
AT ITER 3177 NEW BEST:: SOT 14679 SOS 9364 HAS SOPS 1718 HAS SOUS 1985 HAS SOUPS 1717 WITH SCORE 1726.364
AT ITER 3183 NEW BEST:: SOT 14677 SOS 9362 HAS SOPS 1716 HAS SOUS 1983 HAS SOUPS 1715 WITH SCORE 1724.362
AT ITER 3286 NEW BEST:: SOT 14669 SOS 9354 HAS SOPS 1700 HAS SOUS 1967 HAS SOUPS 1699 WITH SCORE 1708.354
AT ITER 3334 NEW BEST:: SOT 14664 SOS 9345 HAS SOPS 1690 HAS SOUS 1957 HAS SOUPS 1689 WITH SCORE 1698.345
AT ITER 3406 NEW BEST:: SOT 14664 SOS 9345 HAS SOPS 1689 HAS SOUS 1956 HAS SOUPS 1688 WITH SCORE 1697.345
AT ITER 3559 NEW BEST:: SOT 14664 SOS 9344 HAS SOPS 1688 HAS SOUS 1955 HAS SOUPS 1687 WITH SCORE 1696.344
AT ITER 3713 NEW BEST:: SOT 14662 SOS 9342 HAS SOPS 1684 HAS SOUS 1951 HAS SOUPS 1683 WITH SCORE 1692.342
AT ITER 3741 NEW BEST:: SOT 14661 SOS 9341 HAS SOPS 1682 HAS SOUS 1949 HAS SOUPS 1681 WITH SCORE 1690.341
AT ITER 3886 NEW BEST:: SOT 14662 SOS 9341 HAS SOPS 1680 HAS SOUS 1947 HAS SOUPS 1679 WITH SCORE 1688.341
AT ITER 3914 NEW BEST:: SOT 14662 SOS 9578 HAS SOPS 1680 HAS SOUS 1946 HAS SOUPS 1678 WITH SCORE 1687.578
AT ITER 3950 NEW BEST:: SOT 14660 SOS 9577 HAS SOPS 1676 HAS SOUS 1942 HAS SOUPS 1674 WITH SCORE 1683.577
AT ITER 3959 NEW BEST:: SOT 14659 SOS 9576 HAS SOPS 1675 HAS SOUS 1941 HAS SOUPS 1673 WITH SCORE 1682.576
AT ITER 3992 NEW BEST:: SOT 14676 SOS 9593 HAS SOPS 1670 HAS SOUS 1936 HAS SOUPS 1668 WITH SCORE 1677.593
AT ITER 4046 NEW BEST:: SOT 14673 SOS 9589 HAS SOPS 1664 HAS SOUS 1930 HAS SOUPS 1662 WITH SCORE 1671.589
AT ITER 4123 NEW BEST:: SOT 14661 SOS 9579 HAS SOPS 1640 HAS SOUS 1906 HAS SOUPS 1638 WITH SCORE 1647.579
AT ITER 4129 NEW BEST:: SOT 14655 SOS 9572 HAS SOPS 1628 HAS SOUS 1894 HAS SOUPS 1626 WITH SCORE 1635.572
AT ITER 4160 NEW BEST:: SOT 14655 SOS 9572 HAS SOPS 1619 HAS SOUS 1885 HAS SOUPS 1617 WITH SCORE 1626.572
AT ITER 4259 NEW BEST:: SOT 14657 SOS 9574 HAS SOPS 1610 HAS SOUS 1876 HAS SOUPS 1608 WITH SCORE 1617.574
AT ITER 4277 NEW BEST:: SOT 14656 SOS 9573 HAS SOPS 1608 HAS SOUS 1874 HAS SOUPS 1606 WITH SCORE 1615.573
AT ITER 4305 NEW BEST:: SOT 14652 SOS 9562 HAS SOPS 1593 HAS SOUS 1859 HAS SOUPS 1591 WITH SCORE 1600.562
AT ITER 4409 NEW BEST:: SOT 14648 SOS 9562 HAS SOPS 1585 HAS SOUS 1851 HAS SOUPS 1583 WITH SCORE 1592.562
AT ITER 4469 NEW BEST:: SOT 14644 SOS 9558 HAS SOPS 1585 HAS SOUS 1851 HAS SOUPS 1583 WITH SCORE 1592.558
AT ITER 4511 NEW BEST:: SOT 14641 SOS 9555 HAS SOPS 1581 HAS SOUS 1847 HAS SOUPS 1579 WITH SCORE 1588.555
AT ITER 4562 NEW BEST:: SOT 14641 SOS 9553 HAS SOPS 1581 HAS SOUS 1845 HAS SOUPS 1579 WITH SCORE 1588.553
AT ITER 4568 NEW BEST:: SOT 14635 SOS 9544 HAS SOPS 1569 HAS SOUS 1833 HAS SOUPS 1567 WITH SCORE 1576.544
AT ITER 4714 NEW BEST:: SOT 14637 SOS 9544 HAS SOPS 1567 HAS SOUS 1831 HAS SOUPS 1565 WITH SCORE 1574.544
AT ITER 4745 NEW BEST:: SOT 14631 SOS 9543 HAS SOPS 1561 HAS SOUS 1825 HAS SOUPS 1559 WITH SCORE 1568.543
AT ITER 4775 NEW BEST:: SOT 14631 SOS 9533 HAS SOPS 1561 HAS SOUS 1825 HAS SOUPS 1559 WITH SCORE 1568.533
AT ITER 4827 NEW BEST:: SOT 14630 SOS 9532 HAS SOPS 1559 HAS SOUS 1823 HAS SOUPS 1557 WITH SCORE 1566.532
AT ITER 4834 NEW BEST:: SOT 14614 SOS 9516 HAS SOPS 1527 HAS SOUS 1791 HAS SOUPS 1525 WITH SCORE 1534.516
AT ITER 4920 NEW BEST:: SOT 14615 SOS 9515 HAS SOPS 1527 HAS SOUS 1791 HAS SOUPS 1525 WITH SCORE 1534.515
AT ITER 5003 NEW BEST:: SOT 14615 SOS 9514 HAS SOPS 1525 HAS SOUS 1790 HAS SOUPS 1523 WITH SCORE 1532.514
AT ITER 5019 NEW BEST:: SOT 14613 SOS 9513 HAS SOPS 1523 HAS SOUS 1788 HAS SOUPS 1521 WITH SCORE 1530.513
AT ITER 5091 NEW BEST:: SOT 14612 SOS 9514 HAS SOPS 1521 HAS SOUS 1786 HAS SOUPS 1519 WITH SCORE 1528.514
AT ITER 5362 NEW BEST:: SOT 14612 SOS 9514 HAS SOPS 1520 HAS SOUS 1785 HAS SOUPS 1518 WITH SCORE 1527.514
AT ITER 5370 NEW BEST:: SOT 14668 SOS 9531 HAS SOPS 1515 HAS SOUS 1780 HAS SOUPS 1513 WITH SCORE 1522.531
AT ITER 5434 NEW BEST:: SOT 14668 SOS 9531 HAS SOPS 1506 HAS SOUS 1771 HAS SOUPS 1504 WITH SCORE 1513.531
AT ITER 5526 NEW BEST:: SOT 14662 SOS 9525 HAS SOPS 1502 HAS SOUS 1767 HAS SOUPS 1500 WITH SCORE 1509.525
AT ITER 5753 NEW BEST:: SOT 14662 SOS 9523 HAS SOPS 1500 HAS SOUS 1765 HAS SOUPS 1498 WITH SCORE 1507.523
AT ITER 5755 NEW BEST:: SOT 14661 SOS 9521 HAS SOPS 1498 HAS SOUS 1763 HAS SOUPS 1496 WITH SCORE 1505.521
AT ITER 5823 NEW BEST:: SOT 14660 SOS 9521 HAS SOPS 1497 HAS SOUS 1762 HAS SOUPS 1495 WITH SCORE 1504.521
AT ITER 5872 NEW BEST:: SOT 14662 SOS 9522 HAS SOPS 1496 HAS SOUS 1761 HAS SOUPS 1494 WITH SCORE 1503.522
AT ITER 6073 NEW BEST:: SOT 14661 SOS 9519 HAS SOPS 1494 HAS SOUS 1759 HAS SOUPS 1492 WITH SCORE 1501.519
AT ITER 6204 NEW BEST:: SOT 14663 SOS 9519 HAS SOPS 1492 HAS SOUS 1757 HAS SOUPS 1490 WITH SCORE 1499.519
AT ITER 6230 NEW BEST:: SOT 14661 SOS 9518 HAS SOPS 1492 HAS SOUS 1757 HAS SOUPS 1490 WITH SCORE 1499.518
AT ITER 6283 NEW BEST:: SOT 14660 SOS 9512 HAS SOPS 1485 HAS SOUS 1750 HAS SOUPS 1483 WITH SCORE 1492.512
AT ITER 6328 NEW BEST:: SOT 14660 SOS 9510 HAS SOPS 1483 HAS SOUS 1748 HAS SOUPS 1481 WITH SCORE 1490.51
AT ITER 6372 NEW BEST:: SOT 14652 SOS 9498 HAS SOPS 1467 HAS SOUS 1732 HAS SOUPS 1465 WITH SCORE 1474.498
AT ITER 6411 NEW BEST:: SOT 14649 SOS 9495 HAS SOPS 1461 HAS SOUS 1726 HAS SOUPS 1459 WITH SCORE 1468.495
AT ITER 6699 NEW BEST:: SOT 14647 SOS 9492 HAS SOPS 1457 HAS SOUS 1722 HAS SOUPS 1455 WITH SCORE 1464.492
AT ITER 6959 NEW BEST:: SOT 14645 SOS 9491 HAS SOPS 1456 HAS SOUS 1721 HAS SOUPS 1454 WITH SCORE 1463.491
AT ITER 6966 NEW BEST:: SOT 14644 SOS 9489 HAS SOPS 1453 HAS SOUS 1718 HAS SOUPS 1451 WITH SCORE 1460.489
AT ITER 7068 NEW BEST:: SOT 14643 SOS 9487 HAS SOPS 1451 HAS SOUS 1716 HAS SOUPS 1449 WITH SCORE 1458.487
AT ITER 7119 NEW BEST:: SOT 14644 SOS 9487 HAS SOPS 1450 HAS SOUS 1715 HAS SOUPS 1448 WITH SCORE 1457.487
AT ITER 7181 NEW BEST:: SOT 14644 SOS 9486 HAS SOPS 1448 HAS SOUS 1713 HAS SOUPS 1446 WITH SCORE 1455.486
AT ITER 7289 NEW BEST:: SOT 14642 SOS 9483 HAS SOPS 1444 HAS SOUS 1709 HAS SOUPS 1442 WITH SCORE 1451.483
AT ITER 7290 NEW BEST:: SOT 14642 SOS 9484 HAS SOPS 1444 HAS SOUS 1708 HAS SOUPS 1441 WITH SCORE 1450.484
AT ITER 7296 NEW BEST:: SOT 14640 SOS 9483 HAS SOPS 1443 HAS SOUS 1707 HAS SOUPS 1440 WITH SCORE 1449.483
AT ITER 7591 NEW BEST:: SOT 14639 SOS 9481 HAS SOPS 1439 HAS SOUS 1703 HAS SOUPS 1436 WITH SCORE 1445.481
AT ITER 7849 NEW BEST:: SOT 14638 SOS 9479 HAS SOPS 1437 HAS SOUS 1701 HAS SOUPS 1434 WITH SCORE 1443.479
AT ITER 8341 NEW BEST:: SOT 14641 SOS 9482 HAS SOPS 1433 HAS SOUS 1697 HAS SOUPS 1430 WITH SCORE 1439.482
AT ITER 8691 NEW BEST:: SOT 14640 SOS 9481 HAS SOPS 1433 HAS SOUS 1697 HAS SOUPS 1430 WITH SCORE 1439.481
AT ITER 8731 NEW BEST:: SOT 14637 SOS 9482 HAS SOPS 1432 HAS SOUS 1696 HAS SOUPS 1429 WITH SCORE 1438.482
AT ITER 8740 NEW BEST:: SOT 14637 SOS 9481 HAS SOPS 1432 HAS SOUS 1696 HAS SOUPS 1429 WITH SCORE 1438.481
AT ITER 8810 NEW BEST:: SOT 14635 SOS 9479 HAS SOPS 1428 HAS SOUS 1692 HAS SOUPS 1425 WITH SCORE 1434.479
AT ITER 8838 NEW BEST:: SOT 14636 SOS 9478 HAS SOPS 1426 HAS SOUS 1690 HAS SOUPS 1423 WITH SCORE 1432.478
AT ITER 8915 NEW BEST:: SOT 14627 SOS 9474 HAS SOPS 1423 HAS SOUS 1687 HAS SOUPS 1420 WITH SCORE 1429.474
AT ITER 9193 NEW BEST:: SOT 14626 SOS 9473 HAS SOPS 1421 HAS SOUS 1685 HAS SOUPS 1418 WITH SCORE 1427.473
AT ITER 9277 NEW BEST:: SOT 14626 SOS 9471 HAS SOPS 1419 HAS SOUS 1683 HAS SOUPS 1416 WITH SCORE 1425.471
AT ITER 9645 NEW BEST:: SOT 14624 SOS 9469 HAS SOPS 1415 HAS SOUS 1679 HAS SOUPS 1412 WITH SCORE 1421.469
AT ITER 9923 NEW BEST:: SOT 14624 SOS 9469 HAS SOPS 1409 HAS SOUS 1673 HAS SOUPS 1406 WITH SCORE 1415.469
STATE_SPACE STATES 379749833583242 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6766451580210477 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589364357916

--------------------
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="DiscoveryGPU-PT-14a"
export BK_EXAMINATION="StateSpace"
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 DiscoveryGPU-PT-14a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807900720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-14a.tgz
mv DiscoveryGPU-PT-14a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;