About the Execution of smart for DES-PT-02a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.460 | 3600000.00 | 3600071.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900212.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 DES-PT-02a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900212
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 28 16:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 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 33K 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 DES-PT-02a-CTLFireability-00
FORMULA_NAME DES-PT-02a-CTLFireability-01
FORMULA_NAME DES-PT-02a-CTLFireability-02
FORMULA_NAME DES-PT-02a-CTLFireability-03
FORMULA_NAME DES-PT-02a-CTLFireability-04
FORMULA_NAME DES-PT-02a-CTLFireability-05
FORMULA_NAME DES-PT-02a-CTLFireability-06
FORMULA_NAME DES-PT-02a-CTLFireability-07
FORMULA_NAME DES-PT-02a-CTLFireability-08
FORMULA_NAME DES-PT-02a-CTLFireability-09
FORMULA_NAME DES-PT-02a-CTLFireability-10
FORMULA_NAME DES-PT-02a-CTLFireability-11
FORMULA_NAME DES-PT-02a-CTLFireability-12
FORMULA_NAME DES-PT-02a-CTLFireability-13
FORMULA_NAME DES-PT-02a-CTLFireability-14
FORMULA_NAME DES-PT-02a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589102960329
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02a
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: 123 places, 80 transitions, 400 arcs.
AT ITER 0 NEW BEST:: SOT 7200 SOS 5608 HAS SOPS 5608 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.608
AT ITER 2 NEW BEST:: SOT 7148 SOS 5610 HAS SOPS 5610 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4111.61
AT ITER 3 NEW BEST:: SOT 7148 SOS 5603 HAS SOPS 5603 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4104.603
AT ITER 4 NEW BEST:: SOT 7104 SOS 5550 HAS SOPS 5550 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4074.55
AT ITER 9 NEW BEST:: SOT 7090 SOS 5541 HAS SOPS 5541 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4065.541
AT ITER 13 NEW BEST:: SOT 7090 SOS 5541 HAS SOPS 5541 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4064.541
AT ITER 14 NEW BEST:: SOT 7015 SOS 5466 HAS SOPS 5466 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4049.466
AT ITER 22 NEW BEST:: SOT 6967 SOS 5427 HAS SOPS 5427 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4019.427
AT ITER 26 NEW BEST:: SOT 6873 SOS 5325 HAS SOPS 5325 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3917.325
AT ITER 31 NEW BEST:: SOT 6872 SOS 5324 HAS SOPS 5324 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3913.324
AT ITER 37 NEW BEST:: SOT 6871 SOS 5323 HAS SOPS 5323 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3911.323
AT ITER 43 NEW BEST:: SOT 6860 SOS 5247 HAS SOPS 5247 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3879.247
AT ITER 45 NEW BEST:: SOT 6845 SOS 5197 HAS SOPS 5197 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3839.197
AT ITER 46 NEW BEST:: SOT 6856 SOS 5208 HAS SOPS 5208 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3838.208
AT ITER 49 NEW BEST:: SOT 6837 SOS 5189 HAS SOPS 5189 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3819.189
AT ITER 51 NEW BEST:: SOT 6794 SOS 5146 HAS SOPS 5146 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3776.146
AT ITER 58 NEW BEST:: SOT 6855 SOS 5139 HAS SOPS 5139 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.139
AT ITER 66 NEW BEST:: SOT 6855 SOS 5139 HAS SOPS 5139 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3712.139
AT ITER 69 NEW BEST:: SOT 6849 SOS 5088 HAS SOPS 5088 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3661.088
AT ITER 73 NEW BEST:: SOT 6810 SOS 5020 HAS SOPS 5020 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3622.02
AT ITER 100 NEW BEST:: SOT 6732 SOS 4972 HAS SOPS 4972 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.972
AT ITER 101 NEW BEST:: SOT 6729 SOS 4969 HAS SOPS 4969 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3608.969
AT ITER 104 NEW BEST:: SOT 6729 SOS 4968 HAS SOPS 4968 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.968
AT ITER 118 NEW BEST:: SOT 6643 SOS 4873 HAS SOPS 4873 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.873
AT ITER 119 NEW BEST:: SOT 6635 SOS 4865 HAS SOPS 4865 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.865
AT ITER 121 NEW BEST:: SOT 6632 SOS 4861 HAS SOPS 4861 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3501.861
AT ITER 123 NEW BEST:: SOT 6425 SOS 4737 HAS SOPS 4737 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3492.737
AT ITER 124 NEW BEST:: SOT 6360 SOS 4687 HAS SOPS 4687 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.687
AT ITER 127 NEW BEST:: SOT 6356 SOS 4683 HAS SOPS 4683 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3458.683
AT ITER 135 NEW BEST:: SOT 6357 SOS 4684 HAS SOPS 4684 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.684
AT ITER 140 NEW BEST:: SOT 6352 SOS 4678 HAS SOPS 4678 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.678
AT ITER 150 NEW BEST:: SOT 6351 SOS 4677 HAS SOPS 4677 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3427.677
AT ITER 156 NEW BEST:: SOT 6395 SOS 4664 HAS SOPS 4664 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3414.664
AT ITER 161 NEW BEST:: SOT 6395 SOS 4663 HAS SOPS 4663 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3413.663
AT ITER 167 NEW BEST:: SOT 6365 SOS 4626 HAS SOPS 4626 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.626
AT ITER 171 NEW BEST:: SOT 6365 SOS 4614 HAS SOPS 4614 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3376.614
AT ITER 175 NEW BEST:: SOT 6349 SOS 4598 HAS SOPS 4598 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3360.598
AT ITER 211 NEW BEST:: SOT 6414 SOS 4666 HAS SOPS 4666 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3355.666
AT ITER 215 NEW BEST:: SOT 6414 SOS 4666 HAS SOPS 4666 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3318.666
AT ITER 221 NEW BEST:: SOT 6414 SOS 4661 HAS SOPS 4661 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.661
AT ITER 222 NEW BEST:: SOT 6408 SOS 4655 HAS SOPS 4655 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.655
AT ITER 223 NEW BEST:: SOT 6384 SOS 4622 HAS SOPS 4622 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3275.622
AT ITER 224 NEW BEST:: SOT 6374 SOS 4612 HAS SOPS 4612 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3265.612
AT ITER 229 NEW BEST:: SOT 6372 SOS 4610 HAS SOPS 4610 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3263.61
AT ITER 243 NEW BEST:: SOT 6372 SOS 4591 HAS SOPS 4591 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3244.591
AT ITER 245 NEW BEST:: SOT 6369 SOS 4588 HAS SOPS 4588 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3241.588
AT ITER 251 NEW BEST:: SOT 6374 SOS 4615 HAS SOPS 4615 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3214.615
AT ITER 260 NEW BEST:: SOT 6368 SOS 4609 HAS SOPS 4609 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3208.609
AT ITER 261 NEW BEST:: SOT 6355 SOS 4596 HAS SOPS 4596 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3207.596
AT ITER 263 NEW BEST:: SOT 6363 SOS 4615 HAS SOPS 4615 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3203.615
AT ITER 265 NEW BEST:: SOT 6363 SOS 4615 HAS SOPS 4615 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3202.615
AT ITER 266 NEW BEST:: SOT 6363 SOS 4543 HAS SOPS 4543 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3200.543
AT ITER 278 NEW BEST:: SOT 6356 SOS 4536 HAS SOPS 4536 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3193.536
AT ITER 293 NEW BEST:: SOT 6347 SOS 4527 HAS SOPS 4527 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3184.527
AT ITER 295 NEW BEST:: SOT 6277 SOS 4433 HAS SOPS 4433 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3146.433
AT ITER 298 NEW BEST:: SOT 6278 SOS 4431 HAS SOPS 4431 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3144.431
AT ITER 322 NEW BEST:: SOT 6278 SOS 4430 HAS SOPS 4430 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3143.43
AT ITER 323 NEW BEST:: SOT 6270 SOS 4400 HAS SOPS 4400 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3113.4
AT ITER 324 NEW BEST:: SOT 6271 SOS 4391 HAS SOPS 4391 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3104.391
AT ITER 332 NEW BEST:: SOT 6261 SOS 4365 HAS SOPS 4365 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3078.365
AT ITER 338 NEW BEST:: SOT 6203 SOS 4298 HAS SOPS 4298 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.298
AT ITER 341 NEW BEST:: SOT 6174 SOS 4120 HAS SOPS 4120 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2949.12
AT ITER 357 NEW BEST:: SOT 6174 SOS 4119 HAS SOPS 4119 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2948.119
AT ITER 364 NEW BEST:: SOT 6142 SOS 4087 HAS SOPS 4087 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2948.087
AT ITER 374 NEW BEST:: SOT 6142 SOS 4059 HAS SOPS 4059 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2928.059
AT ITER 378 NEW BEST:: SOT 6141 SOS 4057 HAS SOPS 4057 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2926.057
AT ITER 395 NEW BEST:: SOT 6137 SOS 4057 HAS SOPS 4057 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2923.057
AT ITER 397 NEW BEST:: SOT 6137 SOS 3999 HAS SOPS 3999 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2921.999
AT ITER 407 NEW BEST:: SOT 6135 SOS 3997 HAS SOPS 3997 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.997
AT ITER 419 NEW BEST:: SOT 6131 SOS 3993 HAS SOPS 3993 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2915.993
AT ITER 443 NEW BEST:: SOT 6147 SOS 4009 HAS SOPS 4009 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.009
AT ITER 456 NEW BEST:: SOT 6141 SOS 3989 HAS SOPS 3989 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.989
AT ITER 476 NEW BEST:: SOT 6125 SOS 3979 HAS SOPS 3979 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.979
AT ITER 480 NEW BEST:: SOT 6125 SOS 3965 HAS SOPS 3965 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.965
AT ITER 486 NEW BEST:: SOT 6124 SOS 3964 HAS SOPS 3964 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.964
AT ITER 489 NEW BEST:: SOT 6122 SOS 3962 HAS SOPS 3962 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2845.962
AT ITER 503 NEW BEST:: SOT 6121 SOS 3961 HAS SOPS 3961 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.961
AT ITER 504 NEW BEST:: SOT 6106 SOS 3943 HAS SOPS 3943 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.943
AT ITER 514 NEW BEST:: SOT 6103 SOS 3940 HAS SOPS 3940 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.94
AT ITER 529 NEW BEST:: SOT 6124 SOS 3914 HAS SOPS 3914 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.914
AT ITER 530 NEW BEST:: SOT 6124 SOS 3849 HAS SOPS 3849 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.849
AT ITER 539 NEW BEST:: SOT 6113 SOS 3838 HAS SOPS 3838 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.838
AT ITER 561 NEW BEST:: SOT 6106 SOS 3816 HAS SOPS 3816 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.816
AT ITER 563 NEW BEST:: SOT 6093 SOS 3759 HAS SOPS 3759 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2779.759
AT ITER 564 NEW BEST:: SOT 6105 SOS 3771 HAS SOPS 3771 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.771
AT ITER 568 NEW BEST:: SOT 6105 SOS 3771 HAS SOPS 3771 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.771
AT ITER 584 NEW BEST:: SOT 6095 SOS 3745 HAS SOPS 3745 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.745
AT ITER 594 NEW BEST:: SOT 6089 SOS 3659 HAS SOPS 3659 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.659
AT ITER 602 NEW BEST:: SOT 6095 SOS 3667 HAS SOPS 3667 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.667
AT ITER 610 NEW BEST:: SOT 6091 SOS 3657 HAS SOPS 3657 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2715.657
AT ITER 612 NEW BEST:: SOT 6076 SOS 3642 HAS SOPS 3642 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.642
AT ITER 617 NEW BEST:: SOT 6036 SOS 3578 HAS SOPS 3578 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.578
AT ITER 624 NEW BEST:: SOT 6036 SOS 3666 HAS SOPS 3666 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2682.666
AT ITER 638 NEW BEST:: SOT 6011 SOS 3641 HAS SOPS 3641 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.641
AT ITER 639 NEW BEST:: SOT 5997 SOS 3616 HAS SOPS 3616 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.616
AT ITER 647 NEW BEST:: SOT 5996 SOS 3615 HAS SOPS 3615 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.615
AT ITER 663 NEW BEST:: SOT 5965 SOS 3570 HAS SOPS 3570 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2586.57
AT ITER 667 NEW BEST:: SOT 5961 SOS 3557 HAS SOPS 3557 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2573.557
AT ITER 669 NEW BEST:: SOT 5961 SOS 3543 HAS SOPS 3543 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.543
AT ITER 675 NEW BEST:: SOT 5857 SOS 3574 HAS SOPS 3574 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2542.574
AT ITER 691 NEW BEST:: SOT 5850 SOS 3568 HAS SOPS 3568 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.568
AT ITER 698 NEW BEST:: SOT 5851 SOS 3555 HAS SOPS 3555 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2523.555
AT ITER 707 NEW BEST:: SOT 5849 SOS 3563 HAS SOPS 3563 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2521.563
AT ITER 708 NEW BEST:: SOT 5851 SOS 3586 HAS SOPS 3586 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.586
AT ITER 714 NEW BEST:: SOT 5826 SOS 3556 HAS SOPS 3556 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2504.556
AT ITER 716 NEW BEST:: SOT 5775 SOS 3470 HAS SOPS 3470 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2475.47
AT ITER 717 NEW BEST:: SOT 5774 SOS 3465 HAS SOPS 3465 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2468.465
AT ITER 728 NEW BEST:: SOT 5770 SOS 3462 HAS SOPS 3462 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2465.462
AT ITER 734 NEW BEST:: SOT 5769 SOS 3461 HAS SOPS 3461 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2464.461
AT ITER 747 NEW BEST:: SOT 5766 SOS 3458 HAS SOPS 3458 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.458
AT ITER 767 NEW BEST:: SOT 5759 SOS 3451 HAS SOPS 3451 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2457.451
AT ITER 778 NEW BEST:: SOT 5763 SOS 3447 HAS SOPS 3447 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2457.447
AT ITER 787 NEW BEST:: SOT 5566 SOS 3250 HAS SOPS 3250 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2448.25
AT ITER 796 NEW BEST:: SOT 5562 SOS 3246 HAS SOPS 3246 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.246
AT ITER 801 NEW BEST:: SOT 5556 SOS 3240 HAS SOPS 3240 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2438.24
AT ITER 814 NEW BEST:: SOT 5566 SOS 3250 HAS SOPS 3250 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2423.25
AT ITER 815 NEW BEST:: SOT 5558 SOS 3238 HAS SOPS 3238 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.238
AT ITER 823 NEW BEST:: SOT 5562 SOS 3234 HAS SOPS 3234 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.234
AT ITER 824 NEW BEST:: SOT 5560 SOS 3232 HAS SOPS 3232 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2405.232
AT ITER 830 NEW BEST:: SOT 5570 SOS 3212 HAS SOPS 3212 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.212
AT ITER 834 NEW BEST:: SOT 5573 SOS 3211 HAS SOPS 3211 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2394.211
AT ITER 839 NEW BEST:: SOT 5573 SOS 3211 HAS SOPS 3211 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.211
AT ITER 850 NEW BEST:: SOT 5573 SOS 3201 HAS SOPS 3201 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.201
AT ITER 856 NEW BEST:: SOT 5569 SOS 3197 HAS SOPS 3197 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2379.197
AT ITER 879 NEW BEST:: SOT 5566 SOS 3182 HAS SOPS 3182 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2370.182
AT ITER 898 NEW BEST:: SOT 5557 SOS 3174 HAS SOPS 3174 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.174
AT ITER 899 NEW BEST:: SOT 5556 SOS 3220 HAS SOPS 3220 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.22
AT ITER 910 NEW BEST:: SOT 5556 SOS 3223 HAS SOPS 3223 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2354.223
AT ITER 920 NEW BEST:: SOT 5520 SOS 3187 HAS SOPS 3187 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2318.187
AT ITER 921 NEW BEST:: SOT 5536 SOS 3218 HAS SOPS 3218 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2308.218
AT ITER 956 NEW BEST:: SOT 5526 SOS 3198 HAS SOPS 3198 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2303.198
AT ITER 957 NEW BEST:: SOT 5528 SOS 3196 HAS SOPS 3196 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.196
AT ITER 962 NEW BEST:: SOT 5491 SOS 3159 HAS SOPS 3159 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2288.159
AT ITER 963 NEW BEST:: SOT 5491 SOS 3158 HAS SOPS 3158 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2287.158
AT ITER 967 NEW BEST:: SOT 5499 SOS 3139 HAS SOPS 3139 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2268.139
AT ITER 968 NEW BEST:: SOT 5493 SOS 3130 HAS SOPS 3130 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2259.13
AT ITER 990 NEW BEST:: SOT 5456 SOS 2974 HAS SOPS 2974 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.974
AT ITER 994 NEW BEST:: SOT 5456 SOS 2969 HAS SOPS 2969 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.969
AT ITER 1022 NEW BEST:: SOT 5455 SOS 2968 HAS SOPS 2968 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.968
AT ITER 1046 NEW BEST:: SOT 5423 SOS 2951 HAS SOPS 2951 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2201.951
AT ITER 1048 NEW BEST:: SOT 5420 SOS 2906 HAS SOPS 2906 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.906
AT ITER 1051 NEW BEST:: SOT 5400 SOS 2879 HAS SOPS 2879 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.879
AT ITER 1053 NEW BEST:: SOT 5398 SOS 2876 HAS SOPS 2876 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.876
AT ITER 1059 NEW BEST:: SOT 5390 SOS 2868 HAS SOPS 2868 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.868
AT ITER 1075 NEW BEST:: SOT 5380 SOS 2858 HAS SOPS 2858 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.858
AT ITER 1077 NEW BEST:: SOT 5379 SOS 2857 HAS SOPS 2857 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.857
AT ITER 1079 NEW BEST:: SOT 5384 SOS 2860 HAS SOPS 2860 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.86
AT ITER 1083 NEW BEST:: SOT 5384 SOS 2854 HAS SOPS 2854 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.854
AT ITER 1092 NEW BEST:: SOT 5384 SOS 2835 HAS SOPS 2835 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.835
AT ITER 1093 NEW BEST:: SOT 5366 SOS 2817 HAS SOPS 2817 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.817
AT ITER 1112 NEW BEST:: SOT 5364 SOS 2813 HAS SOPS 2813 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.813
AT ITER 1114 NEW BEST:: SOT 5355 SOS 2804 HAS SOPS 2804 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.804
AT ITER 1122 NEW BEST:: SOT 5352 SOS 2801 HAS SOPS 2801 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.801
AT ITER 1125 NEW BEST:: SOT 5352 SOS 2811 HAS SOPS 2811 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.811
AT ITER 1158 NEW BEST:: SOT 5341 SOS 2789 HAS SOPS 2789 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2082.789
AT ITER 1162 NEW BEST:: SOT 5339 SOS 2785 HAS SOPS 2785 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.785
AT ITER 1185 NEW BEST:: SOT 5335 SOS 2781 HAS SOPS 2781 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.781
AT ITER 1186 NEW BEST:: SOT 5332 SOS 2772 HAS SOPS 2772 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.772
AT ITER 1215 NEW BEST:: SOT 5318 SOS 2758 HAS SOPS 2758 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.758
AT ITER 1220 NEW BEST:: SOT 5279 SOS 2709 HAS SOPS 2709 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.709
AT ITER 1224 NEW BEST:: SOT 5269 SOS 2699 HAS SOPS 2699 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.699
AT ITER 1257 NEW BEST:: SOT 5269 SOS 2701 HAS SOPS 2701 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.701
AT ITER 1300 NEW BEST:: SOT 5269 SOS 2694 HAS SOPS 2694 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.694
AT ITER 1311 NEW BEST:: SOT 5264 SOS 2679 HAS SOPS 2679 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.679
AT ITER 1324 NEW BEST:: SOT 5263 SOS 2677 HAS SOPS 2677 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2019.677
AT ITER 1326 NEW BEST:: SOT 5250 SOS 2665 HAS SOPS 2665 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.665
AT ITER 1335 NEW BEST:: SOT 5250 SOS 2661 HAS SOPS 2661 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.661
AT ITER 1337 NEW BEST:: SOT 5224 SOS 2627 HAS SOPS 2627 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.627
AT ITER 1339 NEW BEST:: SOT 5215 SOS 2618 HAS SOPS 2618 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.618
AT ITER 1344 NEW BEST:: SOT 5212 SOS 2612 HAS SOPS 2612 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.612
AT ITER 1360 NEW BEST:: SOT 5194 SOS 2584 HAS SOPS 2584 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1960.584
AT ITER 1376 NEW BEST:: SOT 5188 SOS 2574 HAS SOPS 2574 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.574
AT ITER 1379 NEW BEST:: SOT 5201 SOS 2587 HAS SOPS 2587 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.587
AT ITER 1389 NEW BEST:: SOT 5189 SOS 2575 HAS SOPS 2575 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.575
AT ITER 1396 NEW BEST:: SOT 5189 SOS 2572 HAS SOPS 2572 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.572
AT ITER 1398 NEW BEST:: SOT 5186 SOS 2576 HAS SOPS 2576 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.576
AT ITER 1403 NEW BEST:: SOT 5187 SOS 2556 HAS SOPS 2556 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.556
AT ITER 1434 NEW BEST:: SOT 5187 SOS 2580 HAS SOPS 2580 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.58
AT ITER 1456 NEW BEST:: SOT 5183 SOS 2564 HAS SOPS 2564 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.564
AT ITER 1460 NEW BEST:: SOT 5174 SOS 2540 HAS SOPS 2540 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.54
AT ITER 1467 NEW BEST:: SOT 5184 SOS 2486 HAS SOPS 2486 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.486
AT ITER 1495 NEW BEST:: SOT 5184 SOS 2485 HAS SOPS 2485 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.485
AT ITER 1512 NEW BEST:: SOT 5182 SOS 2483 HAS SOPS 2483 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.483
AT ITER 1523 NEW BEST:: SOT 5181 SOS 2482 HAS SOPS 2482 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1887.482
AT ITER 1539 NEW BEST:: SOT 5180 SOS 2475 HAS SOPS 2475 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.475
AT ITER 1548 NEW BEST:: SOT 5173 SOS 2438 HAS SOPS 2438 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.438
AT ITER 1565 NEW BEST:: SOT 5173 SOS 2437 HAS SOPS 2437 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.437
AT ITER 1584 NEW BEST:: SOT 5172 SOS 2436 HAS SOPS 2436 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.436
AT ITER 1596 NEW BEST:: SOT 5173 SOS 2431 HAS SOPS 2431 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.431
AT ITER 1597 NEW BEST:: SOT 5165 SOS 2415 HAS SOPS 2415 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1829.415
AT ITER 1629 NEW BEST:: SOT 5158 SOS 2408 HAS SOPS 2408 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.408
AT ITER 1662 NEW BEST:: SOT 5153 SOS 2391 HAS SOPS 2391 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1812.391
AT ITER 1673 NEW BEST:: SOT 5143 SOS 2381 HAS SOPS 2381 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.381
AT ITER 1684 NEW BEST:: SOT 5138 SOS 2376 HAS SOPS 2376 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1800.376
AT ITER 1706 NEW BEST:: SOT 5138 SOS 2375 HAS SOPS 2375 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.375
AT ITER 1714 NEW BEST:: SOT 5138 SOS 2372 HAS SOPS 2372 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.372
AT ITER 1722 NEW BEST:: SOT 5137 SOS 2367 HAS SOPS 2367 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1791.367
AT ITER 1724 NEW BEST:: SOT 5131 SOS 2361 HAS SOPS 2361 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1791.361
AT ITER 1728 NEW BEST:: SOT 5133 SOS 2363 HAS SOPS 2363 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.363
AT ITER 1732 NEW BEST:: SOT 5120 SOS 2347 HAS SOPS 2347 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.347
AT ITER 1737 NEW BEST:: SOT 5119 SOS 2346 HAS SOPS 2346 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.346
AT ITER 1740 NEW BEST:: SOT 5112 SOS 2331 HAS SOPS 2331 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.331
AT ITER 1746 NEW BEST:: SOT 5110 SOS 2323 HAS SOPS 2323 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.323
AT ITER 1771 NEW BEST:: SOT 5088 SOS 2301 HAS SOPS 2301 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.301
AT ITER 1821 NEW BEST:: SOT 5083 SOS 2296 HAS SOPS 2296 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.296
AT ITER 1832 NEW BEST:: SOT 5096 SOS 2290 HAS SOPS 2290 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1727.29
AT ITER 1846 NEW BEST:: SOT 5094 SOS 2288 HAS SOPS 2288 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.288
AT ITER 1889 NEW BEST:: SOT 5084 SOS 2278 HAS SOPS 2278 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.278
AT ITER 1918 NEW BEST:: SOT 5084 SOS 2241 HAS SOPS 2241 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.241
AT ITER 1983 NEW BEST:: SOT 5074 SOS 2226 HAS SOPS 2226 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.226
AT ITER 1984 NEW BEST:: SOT 5062 SOS 2213 HAS SOPS 2213 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1664.213
AT ITER 2066 NEW BEST:: SOT 5057 SOS 2216 HAS SOPS 2216 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1657.216
AT ITER 2102 NEW BEST:: SOT 5055 SOS 2211 HAS SOPS 2211 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.211
AT ITER 2131 NEW BEST:: SOT 5055 SOS 2203 HAS SOPS 2203 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.203
AT ITER 2166 NEW BEST:: SOT 5088 SOS 2222 HAS SOPS 2222 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.222
AT ITER 2168 NEW BEST:: SOT 5087 SOS 2220 HAS SOPS 2220 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.22
AT ITER 2235 NEW BEST:: SOT 5085 SOS 2216 HAS SOPS 2216 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1636.216
AT ITER 2254 NEW BEST:: SOT 5065 SOS 2203 HAS SOPS 2203 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.203
AT ITER 2288 NEW BEST:: SOT 5059 SOS 2197 HAS SOPS 2197 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1612.197
AT ITER 2317 NEW BEST:: SOT 5061 SOS 2192 HAS SOPS 2192 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1607.192
AT ITER 2321 NEW BEST:: SOT 5059 SOS 2188 HAS SOPS 2188 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.188
AT ITER 2365 NEW BEST:: SOT 5059 SOS 2184 HAS SOPS 2184 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.184
AT ITER 2383 NEW BEST:: SOT 5056 SOS 2177 HAS SOPS 2177 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.177
AT ITER 2462 NEW BEST:: SOT 5056 SOS 2176 HAS SOPS 2176 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.176
AT ITER 2515 NEW BEST:: SOT 5056 SOS 2172 HAS SOPS 2172 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.172
AT ITER 2516 NEW BEST:: SOT 5043 SOS 2159 HAS SOPS 2159 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1575.159
AT ITER 2518 NEW BEST:: SOT 5042 SOS 2157 HAS SOPS 2157 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1573.157
AT ITER 2519 NEW BEST:: SOT 5051 SOS 2148 HAS SOPS 2148 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.148
AT ITER 2642 NEW BEST:: SOT 5044 SOS 2141 HAS SOPS 2141 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1563.141
AT ITER 2658 NEW BEST:: SOT 5043 SOS 2141 HAS SOPS 2141 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.141
AT ITER 2691 NEW BEST:: SOT 5043 SOS 2140 HAS SOPS 2140 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.14
AT ITER 2710 NEW BEST:: SOT 5043 SOS 2137 HAS SOPS 2137 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.137
AT ITER 2827 NEW BEST:: SOT 5043 SOS 2130 HAS SOPS 2130 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.13
AT ITER 2898 NEW BEST:: SOT 5108 SOS 2177 HAS SOPS 2177 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1548.177
AT ITER 2907 NEW BEST:: SOT 5108 SOS 2175 HAS SOPS 2175 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1548.175
AT ITER 2924 NEW BEST:: SOT 5107 SOS 2174 HAS SOPS 2174 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1547.174
AT ITER 2930 NEW BEST:: SOT 5102 SOS 2170 HAS SOPS 2170 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.17
AT ITER 2967 NEW BEST:: SOT 5102 SOS 2169 HAS SOPS 2169 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.169
AT ITER 2979 NEW BEST:: SOT 5100 SOS 2164 HAS SOPS 2164 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.164
AT ITER 2992 NEW BEST:: SOT 5095 SOS 2159 HAS SOPS 2159 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1537.159
AT ITER 3005 NEW BEST:: SOT 5083 SOS 2147 HAS SOPS 2147 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1533.147
AT ITER 3126 NEW BEST:: SOT 5086 SOS 2144 HAS SOPS 2144 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1530.144
AT ITER 3142 NEW BEST:: SOT 5079 SOS 2130 HAS SOPS 2130 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1529.13
AT ITER 3260 NEW BEST:: SOT 5079 SOS 2126 HAS SOPS 2126 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1529.126
AT ITER 3281 NEW BEST:: SOT 5059 SOS 2106 HAS SOPS 2106 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1509.106
AT ITER 3307 NEW BEST:: SOT 5059 SOS 2104 HAS SOPS 2104 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1507.104
AT ITER 3364 NEW BEST:: SOT 5057 SOS 2101 HAS SOPS 2101 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1506.101
AT ITER 3369 NEW BEST:: SOT 5042 SOS 2089 HAS SOPS 2089 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1506.089
AT ITER 3429 NEW BEST:: SOT 5052 SOS 2088 HAS SOPS 2088 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.088
AT ITER 3448 NEW BEST:: SOT 5052 SOS 2086 HAS SOPS 2086 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1503.086
AT ITER 3458 NEW BEST:: SOT 5052 SOS 2085 HAS SOPS 2085 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1503.085
AT ITER 3509 NEW BEST:: SOT 5049 SOS 2078 HAS SOPS 2078 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.078
AT ITER 3514 NEW BEST:: SOT 5044 SOS 2075 HAS SOPS 2075 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.075
AT ITER 3563 NEW BEST:: SOT 5028 SOS 2076 HAS SOPS 2076 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1487.076
AT ITER 3615 NEW BEST:: SOT 5027 SOS 2075 HAS SOPS 2075 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1486.075
AT ITER 3621 NEW BEST:: SOT 5024 SOS 2069 HAS SOPS 2069 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1480.069
AT ITER 3638 NEW BEST:: SOT 5010 SOS 2055 HAS SOPS 2055 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.055
AT ITER 3661 NEW BEST:: SOT 5012 SOS 2057 HAS SOPS 2057 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1462.057
AT ITER 3697 NEW BEST:: SOT 5012 SOS 2053 HAS SOPS 2053 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.053
AT ITER 3704 NEW BEST:: SOT 5011 SOS 2051 HAS SOPS 2051 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1460.051
AT ITER 3726 NEW BEST:: SOT 5007 SOS 2045 HAS SOPS 2045 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.045
AT ITER 3738 NEW BEST:: SOT 5012 SOS 2039 HAS SOPS 2039 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.039
AT ITER 3753 NEW BEST:: SOT 5007 SOS 2031 HAS SOPS 2031 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1438.031
AT ITER 3766 NEW BEST:: SOT 5005 SOS 2028 HAS SOPS 2028 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1435.028
AT ITER 3776 NEW BEST:: SOT 5005 SOS 2027 HAS SOPS 2027 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.027
AT ITER 3824 NEW BEST:: SOT 5004 SOS 2026 HAS SOPS 2026 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1432.026
AT ITER 3881 NEW BEST:: SOT 5003 SOS 2024 HAS SOPS 2024 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.024
AT ITER 4088 NEW BEST:: SOT 4995 SOS 2017 HAS SOPS 2017 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1427.017
AT ITER 4099 NEW BEST:: SOT 4994 SOS 2012 HAS SOPS 2012 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1424.012
AT ITER 4101 NEW BEST:: SOT 4993 SOS 2011 HAS SOPS 2011 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1423.011
AT ITER 4128 NEW BEST:: SOT 4993 SOS 2010 HAS SOPS 2010 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1422.01
AT ITER 4169 NEW BEST:: SOT 4999 SOS 1992 HAS SOPS 1992 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.992
AT ITER 4210 NEW BEST:: SOT 4998 SOS 1991 HAS SOPS 1991 HAS SOUS 1415 HAS SOUPS 1415 WITH SCORE 1416.991
AT ITER 4274 NEW BEST:: SOT 4996 SOS 1998 HAS SOPS 1998 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.998
AT ITER 4301 NEW BEST:: SOT 4996 SOS 1989 HAS SOPS 1989 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.989
AT ITER 4329 NEW BEST:: SOT 4997 SOS 1980 HAS SOPS 1980 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.98
AT ITER 4405 NEW BEST:: SOT 5001 SOS 1969 HAS SOPS 1969 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.969
AT ITER 4500 NEW BEST:: SOT 4994 SOS 1960 HAS SOPS 1960 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.96
AT ITER 4515 NEW BEST:: SOT 4993 SOS 1959 HAS SOPS 1959 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.959
AT ITER 4636 NEW BEST:: SOT 4994 SOS 1951 HAS SOPS 1951 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.951
AT ITER 4736 NEW BEST:: SOT 4994 SOS 1950 HAS SOPS 1950 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.95
AT ITER 4838 NEW BEST:: SOT 4993 SOS 1946 HAS SOPS 1946 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.946
AT ITER 4870 NEW BEST:: SOT 4987 SOS 1942 HAS SOPS 1942 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.942
AT ITER 4958 NEW BEST:: SOT 4981 SOS 1936 HAS SOPS 1936 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.936
AT ITER 4962 NEW BEST:: SOT 4980 SOS 1934 HAS SOPS 1934 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1380.934
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-02a-CTLFireability-00 ( ( ( (EU( ((potential((tk(P26)>=1) & (tk(P27)>=1)))) , ((potential((tk(P101)>=1) & (tk(P110)>=1)))) )) | (EF( ( ((potential((tk(P15)>=1) & (tk(P37)>=1)))) & ((potential((tk(P96)>=1) & (tk(P92)>=1) & (tk(P88)>=1) & (tk(P84)>=1) & (tk(P82)>=1) & (tk(P86)>=1) & (tk(P90)>=1) & (tk(P94)>=1)))) ))) ) | (AX( ((potential((tk(P62)>=1) & (tk(P58)>=1) & (tk(P54)>=1) & (tk(P50)>=1) & (tk(P52)>=1) & (tk(P56)>=1) & (tk(P60)>=1) & (tk(P64)>=1) & (tk(P45)>=1)))))) ) & (AF( ( (AF( ((potential((tk(P113)>=1) & (tk(P111)>=1)))))) | ((potential((tk(P13)>=1)))) ))) )
PROPERTY: DES-PT-02a-CTLFireability-01 (EG( (EU( (! ((potential((tk(P118)>=1) & (tk(P108)>=1))))) , ( ((potential((tk(P6)>=1) & (tk(P39)>=1)))) | ((potential((tk(P38)>=1) & (tk(P36)>=1) & (tk(P31)>=1)))) ) ))))
PROPERTY: DES-PT-02a-CTLFireability-02 (EG( (! (AX( ((potential((tk(P118)>=1) & (tk(P112)>=1)))))))))
PROPERTY: DES-PT-02a-CTLFireability-03 (EF( ( ((potential((tk(P118)>=1) & (tk(P112)>=1)))) & ((potential((tk(P49)>=1) & (tk(P66)>=1)))) )))
PROPERTY: DES-PT-02a-CTLFireability-04 (AG( (EG( (AF( ((potential((tk(P20)>=1) & (tk(P114)>=1))))))))))
PROPERTY: DES-PT-02a-CTLFireability-05 (EF( ( (AU( ((potential((tk(P34)>=1) & (tk(P32)>=1)))) , ((potential((tk(P9)>=1) & (tk(P14)>=1)))) )) & (EU( ((potential((tk(P18)>=1) & (tk(P103)>=1)))) , ((potential((tk(P26)>=1) & (tk(P27)>=1)))) )) )))
PROPERTY: DES-PT-02a-CTLFireability-06 ( (AG( ((potential((tk(P13)>=1)))))) | ( (AF( (AG( ((potential((tk(P113)>=1) & (tk(P111)>=1)))))))) | ((potential((tk(P13)>=1) & (tk(P33)>=1)))) ) )
PROPERTY: DES-PT-02a-CTLFireability-07 ( ( ( ((potential((tk(P49)>=1) & (tk(P66)>=1)))) | (AF( ( ((potential((tk(P65)>=1) & (tk(P81)>=1)))) | ((potential((tk(P34)>=1) & (tk(P32)>=1)))) ))) ) | (! ( (! ( ((potential((tk(P61)>=1) & (tk(P78)>=1)))) & ((potential((tk(P96)>=1) & (tk(P92)>=1) & (tk(P88)>=1) & (tk(P84)>=1) & (tk(P82)>=1) & (tk(P86)>=1) & (tk(P90)>=1) & (tk(P94)>=1)))) )) & ( ( ((potential((tk(P77)>=1) & (tk(P93)>=1)))) | ((potential((tk(P11)>=1)))) ) | (! ((potential((tk(P23)>=1) & (tk(P97)>=1))))) ) )) ) | ((potential((tk(P71)>=1) & (tk(P87)>=1)))) )
PROPERTY: DES-PT-02a-CTLFireability-08 (AF( ((potential((tk(P73)>=1) & (tk(P89)>=1))))))
PROPERTY: DES-PT-02a-CTLFireability-09 (! (AX( (EF( ( ((potential((tk(P77)>=1) & (tk(P93)>=1)))) & ((potential((tk(P15)>=1)))) ))))))
PROPERTY: DES-PT-02a-CTLFireability-10 (! (! (EX( (AF( ((potential((tk(P67)>=1) & (tk(P83)>=1))))))))))
PROPERTY: DES-PT-02a-CTLFireability-11 (! (EG( ( (! ( ((potential((tk(P4)>=1) & (tk(P119)>=1)))) & ((potential((tk(P38)>=1) & (tk(P36)>=1) & (tk(P31)>=1)))) )) | (EG( ((potential((tk(P105)>=1) & (tk(P120)>=1)))))) ))))
PROPERTY: DES-PT-02a-CTLFireability-12 (AF( ((potential((tk(P118)>=1) & (tk(P122)>=1))))))
PROPERTY: DES-PT-02a-CTLFireability-13 (EF( ((potential((tk(P65)>=1) & (tk(P81)>=1))))))
PROPERTY: DES-PT-02a-CTLFireability-14 (EF( ((potential((tk(P100)>=1) & (tk(P98)>=1))))))
PROPERTY: DES-PT-02a-CTLFireability-15 (AF( (EX( ((potential((tk(P61)>=1) & (tk(P78)>=1))))))))
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="DES-PT-02a"
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 DES-PT-02a, 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 r048-ebro-158902541900212"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-02a.tgz
mv DES-PT-02a 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 '
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 ;