fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r139-smll-167819423100464
Last Updated
May 14, 2023

About the Execution of Smart+red for DoubleExponent-PT-003

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
572.604 108595.00 115132.00 830.00 2.3851E+0006 2.3851E+0006 256 841 normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423100464.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleExponent-PT-003, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423100464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.4K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 13:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 50K Mar 5 18:22 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 1678411481617

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-003
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 01:24:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 01:24:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 01:24:45] [INFO ] Load time of PNML (sax parser for PT used): 90 ms
[2023-03-10 01:24:45] [INFO ] Transformed 163 places.
[2023-03-10 01:24:45] [INFO ] Transformed 148 transitions.
[2023-03-10 01:24:45] [INFO ] Parsed PT model containing 163 places and 148 transitions and 417 arcs in 231 ms.
[2023-03-10 01:24:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 163 places, 148 transitions and 417 arcs took 8 ms.
Total runtime 305 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 003
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 163 places, 148 transitions, 417 arcs.
AT ITER 0 NEW BEST:: SOT 13762 SOS 3998 HAS SOPS 3998 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3808.998
AT ITER 19 NEW BEST:: SOT 13754 SOS 3984 HAS SOPS 3984 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3794.984
AT ITER 26 NEW BEST:: SOT 13754 SOS 3983 HAS SOPS 3983 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3794.983
AT ITER 27 NEW BEST:: SOT 13752 SOS 3995 HAS SOPS 3995 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3790.995
AT ITER 31 NEW BEST:: SOT 13752 SOS 3984 HAS SOPS 3984 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3789.984
AT ITER 86 NEW BEST:: SOT 13736 SOS 3967 HAS SOPS 3967 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3772.967
AT ITER 107 NEW BEST:: SOT 13696 SOS 3940 HAS SOPS 3940 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3745.94
AT ITER 108 NEW BEST:: SOT 13677 SOS 3880 HAS SOPS 3880 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3704.88
AT ITER 121 NEW BEST:: SOT 13668 SOS 3871 HAS SOPS 3871 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3695.871
AT ITER 122 NEW BEST:: SOT 13678 SOS 3861 HAS SOPS 3861 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3683.861
AT ITER 144 NEW BEST:: SOT 13678 SOS 3854 HAS SOPS 3854 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3676.854
AT ITER 146 NEW BEST:: SOT 13690 SOS 3823 HAS SOPS 3823 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3665.823
AT ITER 151 NEW BEST:: SOT 13668 SOS 3796 HAS SOPS 3796 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3638.796
AT ITER 155 NEW BEST:: SOT 13636 SOS 3765 HAS SOPS 3765 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3596.765
AT ITER 156 NEW BEST:: SOT 13630 SOS 3763 HAS SOPS 3763 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3593.763
AT ITER 186 NEW BEST:: SOT 13618 SOS 3766 HAS SOPS 3766 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3584.766
AT ITER 195 NEW BEST:: SOT 13618 SOS 3765 HAS SOPS 3765 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3583.765
AT ITER 202 NEW BEST:: SOT 13615 SOS 3759 HAS SOPS 3759 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3580.759
AT ITER 242 NEW BEST:: SOT 13595 SOS 3750 HAS SOPS 3750 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3571.75
AT ITER 275 NEW BEST:: SOT 13595 SOS 3743 HAS SOPS 3743 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3564.743
AT ITER 279 NEW BEST:: SOT 13583 SOS 3741 HAS SOPS 3741 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3552.741
AT ITER 282 NEW BEST:: SOT 13582 SOS 3734 HAS SOPS 3734 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3545.734
AT ITER 292 NEW BEST:: SOT 13582 SOS 3733 HAS SOPS 3733 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3544.733
AT ITER 326 NEW BEST:: SOT 13581 SOS 3727 HAS SOPS 3727 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.727
AT ITER 334 NEW BEST:: SOT 13568 SOS 3727 HAS SOPS 3727 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3525.727
AT ITER 335 NEW BEST:: SOT 13564 SOS 3724 HAS SOPS 3724 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3521.724
AT ITER 371 NEW BEST:: SOT 13575 SOS 3692 HAS SOPS 3692 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.692
AT ITER 391 NEW BEST:: SOT 13577 SOS 3684 HAS SOPS 3684 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.684
AT ITER 416 NEW BEST:: SOT 13560 SOS 3653 HAS SOPS 3653 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.653
AT ITER 427 NEW BEST:: SOT 13550 SOS 3652 HAS SOPS 3652 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3468.652
AT ITER 437 NEW BEST:: SOT 13533 SOS 3594 HAS SOPS 3594 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3427.594
AT ITER 471 NEW BEST:: SOT 13552 SOS 3593 HAS SOPS 3593 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3427.593
AT ITER 474 NEW BEST:: SOT 13549 SOS 3585 HAS SOPS 3585 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.585
AT ITER 476 NEW BEST:: SOT 13549 SOS 3584 HAS SOPS 3584 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3423.584
AT ITER 490 NEW BEST:: SOT 13546 SOS 3579 HAS SOPS 3579 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3421.579
AT ITER 516 NEW BEST:: SOT 13520 SOS 3548 HAS SOPS 3548 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3383.548
AT ITER 520 NEW BEST:: SOT 13522 SOS 3543 HAS SOPS 3543 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.543
AT ITER 527 NEW BEST:: SOT 13509 SOS 3491 HAS SOPS 3491 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.491
AT ITER 540 NEW BEST:: SOT 13501 SOS 3503 HAS SOPS 3503 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.503
AT ITER 551 NEW BEST:: SOT 13508 SOS 3501 HAS SOPS 3501 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3334.501
AT ITER 558 NEW BEST:: SOT 13506 SOS 3497 HAS SOPS 3497 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.497
AT ITER 566 NEW BEST:: SOT 13484 SOS 3469 HAS SOPS 3469 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.469
AT ITER 574 NEW BEST:: SOT 13456 SOS 3441 HAS SOPS 3441 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.441
AT ITER 597 NEW BEST:: SOT 13455 SOS 3439 HAS SOPS 3439 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.439
AT ITER 620 NEW BEST:: SOT 13455 SOS 3411 HAS SOPS 3411 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3248.411
AT ITER 625 NEW BEST:: SOT 13435 SOS 3411 HAS SOPS 3411 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3246.411
AT ITER 651 NEW BEST:: SOT 13435 SOS 3395 HAS SOPS 3395 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.395
AT ITER 661 NEW BEST:: SOT 13424 SOS 3395 HAS SOPS 3395 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.395
AT ITER 685 NEW BEST:: SOT 13418 SOS 3379 HAS SOPS 3379 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.379
AT ITER 690 NEW BEST:: SOT 13422 SOS 3367 HAS SOPS 3367 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.367
AT ITER 694 NEW BEST:: SOT 13419 SOS 3364 HAS SOPS 3364 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3207.364
AT ITER 751 NEW BEST:: SOT 13415 SOS 3352 HAS SOPS 3352 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.352
AT ITER 783 NEW BEST:: SOT 13409 SOS 3335 HAS SOPS 3335 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3197.335
AT ITER 791 NEW BEST:: SOT 13409 SOS 3333 HAS SOPS 3333 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.333
AT ITER 813 NEW BEST:: SOT 13408 SOS 3331 HAS SOPS 3331 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.331
AT ITER 822 NEW BEST:: SOT 13408 SOS 3331 HAS SOPS 3331 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.331
AT ITER 856 NEW BEST:: SOT 13407 SOS 3333 HAS SOPS 3333 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.333
AT ITER 890 NEW BEST:: SOT 13383 SOS 3337 HAS SOPS 3337 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.337
AT ITER 903 NEW BEST:: SOT 13381 SOS 3335 HAS SOPS 3335 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.335
AT ITER 935 NEW BEST:: SOT 13381 SOS 3332 HAS SOPS 3332 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.332
AT ITER 983 NEW BEST:: SOT 13376 SOS 3335 HAS SOPS 3335 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.335
AT ITER 1038 NEW BEST:: SOT 13369 SOS 3314 HAS SOPS 3314 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.314
AT ITER 1045 NEW BEST:: SOT 13368 SOS 3297 HAS SOPS 3297 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3134.297
AT ITER 1061 NEW BEST:: SOT 13369 SOS 3290 HAS SOPS 3290 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.29
AT ITER 1070 NEW BEST:: SOT 13337 SOS 3281 HAS SOPS 3281 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3101.281
AT ITER 1096 NEW BEST:: SOT 13319 SOS 3344 HAS SOPS 3344 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.344
AT ITER 1097 NEW BEST:: SOT 13315 SOS 3344 HAS SOPS 3344 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.344
AT ITER 1120 NEW BEST:: SOT 13315 SOS 3344 HAS SOPS 3344 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.344
AT ITER 1124 NEW BEST:: SOT 13314 SOS 3343 HAS SOPS 3343 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.343
AT ITER 1127 NEW BEST:: SOT 13310 SOS 3339 HAS SOPS 3339 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.339
AT ITER 1128 NEW BEST:: SOT 13286 SOS 3315 HAS SOPS 3315 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.315
AT ITER 1129 NEW BEST:: SOT 13286 SOS 3311 HAS SOPS 3311 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.311
AT ITER 1142 NEW BEST:: SOT 13311 SOS 3287 HAS SOPS 3287 HAS SOUS 3035 HAS SOUPS 3035 WITH SCORE 3038.287
AT ITER 1146 NEW BEST:: SOT 13311 SOS 3283 HAS SOPS 3283 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.283
AT ITER 1186 NEW BEST:: SOT 13304 SOS 3269 HAS SOPS 3269 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.269
AT ITER 1187 NEW BEST:: SOT 13310 SOS 3266 HAS SOPS 3266 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.266
AT ITER 1198 NEW BEST:: SOT 13305 SOS 3259 HAS SOPS 3259 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.259
AT ITER 1239 NEW BEST:: SOT 13299 SOS 3253 HAS SOPS 3253 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.253
AT ITER 1255 NEW BEST:: SOT 13278 SOS 3214 HAS SOPS 3214 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.214
AT ITER 1271 NEW BEST:: SOT 13276 SOS 3211 HAS SOPS 3211 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.211
AT ITER 1283 NEW BEST:: SOT 13272 SOS 3204 HAS SOPS 3204 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.204
AT ITER 1288 NEW BEST:: SOT 13278 SOS 3201 HAS SOPS 3201 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.201
AT ITER 1296 NEW BEST:: SOT 13273 SOS 3200 HAS SOPS 3200 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.2
AT ITER 1338 NEW BEST:: SOT 13270 SOS 3197 HAS SOPS 3197 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.197
AT ITER 1375 NEW BEST:: SOT 13270 SOS 3196 HAS SOPS 3196 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.196
AT ITER 1400 NEW BEST:: SOT 13270 SOS 3195 HAS SOPS 3195 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.195
AT ITER 1405 NEW BEST:: SOT 13259 SOS 3177 HAS SOPS 3177 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.177
AT ITER 1410 NEW BEST:: SOT 13259 SOS 3159 HAS SOPS 3159 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.159
AT ITER 1445 NEW BEST:: SOT 13259 SOS 3156 HAS SOPS 3156 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2909.156
AT ITER 1456 NEW BEST:: SOT 13256 SOS 3155 HAS SOPS 3155 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2909.155
AT ITER 1494 NEW BEST:: SOT 13255 SOS 3151 HAS SOPS 3151 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.151
AT ITER 1515 NEW BEST:: SOT 13253 SOS 3149 HAS SOPS 3149 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.149
AT ITER 1532 NEW BEST:: SOT 13257 SOS 3143 HAS SOPS 3143 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.143
AT ITER 1549 NEW BEST:: SOT 13257 SOS 3142 HAS SOPS 3142 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2893.142
AT ITER 1586 NEW BEST:: SOT 13242 SOS 3133 HAS SOPS 3133 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2869.133
AT ITER 1604 NEW BEST:: SOT 13236 SOS 3121 HAS SOPS 3121 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.121
AT ITER 1610 NEW BEST:: SOT 13238 SOS 3125 HAS SOPS 3125 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.125
AT ITER 1696 NEW BEST:: SOT 13236 SOS 3114 HAS SOPS 3114 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.114
AT ITER 1697 NEW BEST:: SOT 13232 SOS 3116 HAS SOPS 3116 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.116
AT ITER 1734 NEW BEST:: SOT 13230 SOS 3111 HAS SOPS 3111 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.111
AT ITER 1771 NEW BEST:: SOT 13230 SOS 3103 HAS SOPS 3103 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.103
AT ITER 1818 NEW BEST:: SOT 13234 SOS 3107 HAS SOPS 3107 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.107
AT ITER 1821 NEW BEST:: SOT 13240 SOS 3117 HAS SOPS 3117 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.117
AT ITER 1836 NEW BEST:: SOT 13248 SOS 3118 HAS SOPS 3118 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.118
AT ITER 1847 NEW BEST:: SOT 13248 SOS 3114 HAS SOPS 3114 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.114
AT ITER 1860 NEW BEST:: SOT 13244 SOS 3110 HAS SOPS 3110 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.11
AT ITER 1918 NEW BEST:: SOT 13248 SOS 3100 HAS SOPS 3100 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.1
AT ITER 1929 NEW BEST:: SOT 13248 SOS 3098 HAS SOPS 3098 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2788.098
AT ITER 1942 NEW BEST:: SOT 13246 SOS 3096 HAS SOPS 3096 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2786.096
AT ITER 1971 NEW BEST:: SOT 13251 SOS 3077 HAS SOPS 3077 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2785.077
AT ITER 2006 NEW BEST:: SOT 13248 SOS 3067 HAS SOPS 3067 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.067
AT ITER 2043 NEW BEST:: SOT 13248 SOS 3059 HAS SOPS 3059 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.059
AT ITER 2044 NEW BEST:: SOT 13251 SOS 3062 HAS SOPS 3062 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.062
AT ITER 2055 NEW BEST:: SOT 13251 SOS 3055 HAS SOPS 3055 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.055
AT ITER 2087 NEW BEST:: SOT 13249 SOS 3052 HAS SOPS 3052 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.052
AT ITER 2211 NEW BEST:: SOT 13244 SOS 3067 HAS SOPS 3067 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.067
AT ITER 2255 NEW BEST:: SOT 13241 SOS 3067 HAS SOPS 3067 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.067
AT ITER 2280 NEW BEST:: SOT 13240 SOS 3067 HAS SOPS 3067 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.067
AT ITER 2281 NEW BEST:: SOT 13260 SOS 3023 HAS SOPS 3023 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.023
AT ITER 2334 NEW BEST:: SOT 13258 SOS 3007 HAS SOPS 3007 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.007
AT ITER 2335 NEW BEST:: SOT 13255 SOS 3007 HAS SOPS 3007 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2740.007
AT ITER 2378 NEW BEST:: SOT 13255 SOS 3005 HAS SOPS 3005 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2740.005
AT ITER 2384 NEW BEST:: SOT 13253 SOS 3003 HAS SOPS 3003 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.003
AT ITER 2474 NEW BEST:: SOT 13252 SOS 2998 HAS SOPS 2998 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2734.998
AT ITER 2503 NEW BEST:: SOT 13251 SOS 2997 HAS SOPS 2997 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2731.997
AT ITER 2529 NEW BEST:: SOT 13257 SOS 2979 HAS SOPS 2979 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2726.979
AT ITER 2560 NEW BEST:: SOT 13254 SOS 2973 HAS SOPS 2973 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2723.973
AT ITER 2567 NEW BEST:: SOT 13250 SOS 2964 HAS SOPS 2964 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2715.964
AT ITER 2569 NEW BEST:: SOT 13241 SOS 2963 HAS SOPS 2963 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2714.963
AT ITER 2579 NEW BEST:: SOT 13239 SOS 2961 HAS SOPS 2961 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.961
AT ITER 2587 NEW BEST:: SOT 13239 SOS 2958 HAS SOPS 2958 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2709.958
AT ITER 2615 NEW BEST:: SOT 13237 SOS 2956 HAS SOPS 2956 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2707.956
AT ITER 2694 NEW BEST:: SOT 13263 SOS 2923 HAS SOPS 2923 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.923
AT ITER 2748 NEW BEST:: SOT 13267 SOS 2928 HAS SOPS 2928 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2672.928
AT ITER 2784 NEW BEST:: SOT 13262 SOS 2915 HAS SOPS 2915 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2654.915
AT ITER 2817 NEW BEST:: SOT 13250 SOS 2907 HAS SOPS 2907 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.907
AT ITER 2838 NEW BEST:: SOT 13251 SOS 2906 HAS SOPS 2906 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.906
AT ITER 2858 NEW BEST:: SOT 13247 SOS 2898 HAS SOPS 2898 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.898
AT ITER 2861 NEW BEST:: SOT 13243 SOS 2892 HAS SOPS 2892 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.892
AT ITER 2902 NEW BEST:: SOT 13239 SOS 2886 HAS SOPS 2886 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.886
AT ITER 2928 NEW BEST:: SOT 13239 SOS 2882 HAS SOPS 2882 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2627.882
AT ITER 2960 NEW BEST:: SOT 13239 SOS 2881 HAS SOPS 2881 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.881
AT ITER 2999 NEW BEST:: SOT 13239 SOS 2875 HAS SOPS 2875 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.875
AT ITER 3059 NEW BEST:: SOT 13234 SOS 2870 HAS SOPS 2870 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2621.87
AT ITER 3112 NEW BEST:: SOT 13231 SOS 2858 HAS SOPS 2858 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.858
AT ITER 3142 NEW BEST:: SOT 13230 SOS 2856 HAS SOPS 2856 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.856
AT ITER 3146 NEW BEST:: SOT 13224 SOS 2850 HAS SOPS 2850 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.85
AT ITER 3163 NEW BEST:: SOT 13218 SOS 2841 HAS SOPS 2841 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.841
AT ITER 3165 NEW BEST:: SOT 13217 SOS 2830 HAS SOPS 2830 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.83
AT ITER 3188 NEW BEST:: SOT 13220 SOS 2829 HAS SOPS 2829 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.829
AT ITER 3277 NEW BEST:: SOT 13227 SOS 2834 HAS SOPS 2834 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.834
AT ITER 3301 NEW BEST:: SOT 13227 SOS 2829 HAS SOPS 2829 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.829
AT ITER 3351 NEW BEST:: SOT 13219 SOS 2797 HAS SOPS 2797 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.797
AT ITER 3361 NEW BEST:: SOT 13215 SOS 2806 HAS SOPS 2806 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2569.806
AT ITER 3372 NEW BEST:: SOT 13215 SOS 2808 HAS SOPS 2808 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.808
AT ITER 3383 NEW BEST:: SOT 13215 SOS 2803 HAS SOPS 2803 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2564.803
AT ITER 3391 NEW BEST:: SOT 13200 SOS 2780 HAS SOPS 2780 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2543.78
AT ITER 3421 NEW BEST:: SOT 13199 SOS 2770 HAS SOPS 2770 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.77
AT ITER 3437 NEW BEST:: SOT 13188 SOS 2763 HAS SOPS 2763 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.763
AT ITER 3463 NEW BEST:: SOT 13185 SOS 2760 HAS SOPS 2760 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.76
AT ITER 3468 NEW BEST:: SOT 13183 SOS 2752 HAS SOPS 2752 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.752
AT ITER 3473 NEW BEST:: SOT 13182 SOS 2750 HAS SOPS 2750 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.75
AT ITER 3481 NEW BEST:: SOT 13170 SOS 2738 HAS SOPS 2738 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.738
AT ITER 3502 NEW BEST:: SOT 13169 SOS 2744 HAS SOPS 2744 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.744
AT ITER 3512 NEW BEST:: SOT 13166 SOS 2741 HAS SOPS 2741 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.741
AT ITER 3520 NEW BEST:: SOT 13175 SOS 2723 HAS SOPS 2723 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.723
AT ITER 3527 NEW BEST:: SOT 13172 SOS 2722 HAS SOPS 2722 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.722
AT ITER 3540 NEW BEST:: SOT 13174 SOS 2717 HAS SOPS 2717 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.717
AT ITER 3594 NEW BEST:: SOT 13174 SOS 2721 HAS SOPS 2721 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.721
AT ITER 3597 NEW BEST:: SOT 13162 SOS 2711 HAS SOPS 2711 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.711
AT ITER 3610 NEW BEST:: SOT 13159 SOS 2688 HAS SOPS 2688 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.688
AT ITER 3670 NEW BEST:: SOT 13154 SOS 2675 HAS SOPS 2675 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.675
AT ITER 3684 NEW BEST:: SOT 13148 SOS 2663 HAS SOPS 2663 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.663
AT ITER 3699 NEW BEST:: SOT 13154 SOS 2629 HAS SOPS 2629 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.629
AT ITER 3750 NEW BEST:: SOT 13155 SOS 2634 HAS SOPS 2634 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.634
AT ITER 3795 NEW BEST:: SOT 13151 SOS 2626 HAS SOPS 2626 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.626
AT ITER 3822 NEW BEST:: SOT 13150 SOS 2625 HAS SOPS 2625 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2429.625
AT ITER 3843 NEW BEST:: SOT 13150 SOS 2623 HAS SOPS 2623 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.623
AT ITER 3895 NEW BEST:: SOT 13150 SOS 2622 HAS SOPS 2622 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2426.622
AT ITER 3977 NEW BEST:: SOT 13143 SOS 2611 HAS SOPS 2611 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.611
AT ITER 3991 NEW BEST:: SOT 13139 SOS 2606 HAS SOPS 2606 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.606
AT ITER 4020 NEW BEST:: SOT 13146 SOS 2602 HAS SOPS 2602 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.602
AT ITER 4023 NEW BEST:: SOT 13144 SOS 2596 HAS SOPS 2596 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.596
AT ITER 4032 NEW BEST:: SOT 13146 SOS 2581 HAS SOPS 2581 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.581
AT ITER 4072 NEW BEST:: SOT 13144 SOS 2579 HAS SOPS 2579 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.579
AT ITER 4163 NEW BEST:: SOT 13144 SOS 2576 HAS SOPS 2576 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.576
AT ITER 4180 NEW BEST:: SOT 13140 SOS 2573 HAS SOPS 2573 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.573
AT ITER 4186 NEW BEST:: SOT 13136 SOS 2565 HAS SOPS 2565 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.565
AT ITER 4196 NEW BEST:: SOT 13137 SOS 2542 HAS SOPS 2542 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.542
AT ITER 4299 NEW BEST:: SOT 13141 SOS 2537 HAS SOPS 2537 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.537
AT ITER 4323 NEW BEST:: SOT 13139 SOS 2535 HAS SOPS 2535 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.535
AT ITER 4341 NEW BEST:: SOT 13139 SOS 2537 HAS SOPS 2537 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.537
AT ITER 4344 NEW BEST:: SOT 13138 SOS 2534 HAS SOPS 2534 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.534
AT ITER 4369 NEW BEST:: SOT 13139 SOS 2534 HAS SOPS 2534 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.534
AT ITER 4370 NEW BEST:: SOT 13138 SOS 2532 HAS SOPS 2532 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.532
AT ITER 4385 NEW BEST:: SOT 13138 SOS 2528 HAS SOPS 2528 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.528
AT ITER 4464 NEW BEST:: SOT 13134 SOS 2559 HAS SOPS 2559 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.559
AT ITER 4476 NEW BEST:: SOT 13142 SOS 2556 HAS SOPS 2556 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.556
AT ITER 4511 NEW BEST:: SOT 13137 SOS 2551 HAS SOPS 2551 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.551
AT ITER 4526 NEW BEST:: SOT 13136 SOS 2549 HAS SOPS 2549 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.549
AT ITER 4533 NEW BEST:: SOT 13135 SOS 2547 HAS SOPS 2547 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.547
AT ITER 4534 NEW BEST:: SOT 13134 SOS 2552 HAS SOPS 2552 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.552
AT ITER 4553 NEW BEST:: SOT 13134 SOS 2551 HAS SOPS 2551 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.551
AT ITER 4615 NEW BEST:: SOT 13131 SOS 2548 HAS SOPS 2548 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.548
AT ITER 4679 NEW BEST:: SOT 13128 SOS 2528 HAS SOPS 2528 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.528
AT ITER 4692 NEW BEST:: SOT 13128 SOS 2526 HAS SOPS 2526 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.526
AT ITER 4729 NEW BEST:: SOT 13135 SOS 2533 HAS SOPS 2533 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.533
AT ITER 4780 NEW BEST:: SOT 13143 SOS 2523 HAS SOPS 2523 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.523
AT ITER 4805 NEW BEST:: SOT 13141 SOS 2520 HAS SOPS 2520 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.52
AT ITER 4999 NEW BEST:: SOT 13141 SOS 2514 HAS SOPS 2514 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.514
AT ITER 5017 NEW BEST:: SOT 13141 SOS 2512 HAS SOPS 2512 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2281.512
AT ITER 5025 NEW BEST:: SOT 13146 SOS 2506 HAS SOPS 2506 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.506
AT ITER 5033 NEW BEST:: SOT 13138 SOS 2503 HAS SOPS 2503 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.503
AT ITER 5037 NEW BEST:: SOT 13149 SOS 2497 HAS SOPS 2497 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.497
AT ITER 5082 NEW BEST:: SOT 13147 SOS 2495 HAS SOPS 2495 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.495
AT ITER 5097 NEW BEST:: SOT 13147 SOS 2488 HAS SOPS 2488 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.488
AT ITER 5163 NEW BEST:: SOT 13144 SOS 2480 HAS SOPS 2480 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.48
AT ITER 5278 NEW BEST:: SOT 13144 SOS 2477 HAS SOPS 2477 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.477
AT ITER 5284 NEW BEST:: SOT 13144 SOS 2477 HAS SOPS 2477 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.477
AT ITER 5303 NEW BEST:: SOT 13147 SOS 2473 HAS SOPS 2473 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.473
AT ITER 5306 NEW BEST:: SOT 13147 SOS 2465 HAS SOPS 2465 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.465
AT ITER 5385 NEW BEST:: SOT 13143 SOS 2464 HAS SOPS 2464 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.464
AT ITER 5429 NEW BEST:: SOT 13143 SOS 2461 HAS SOPS 2461 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.461
AT ITER 5467 NEW BEST:: SOT 13146 SOS 2459 HAS SOPS 2459 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.459
AT ITER 5484 NEW BEST:: SOT 13146 SOS 2452 HAS SOPS 2452 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.452
AT ITER 5490 NEW BEST:: SOT 13144 SOS 2452 HAS SOPS 2452 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.452
AT ITER 5513 NEW BEST:: SOT 13143 SOS 2450 HAS SOPS 2450 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.45
AT ITER 5609 NEW BEST:: SOT 13134 SOS 2449 HAS SOPS 2449 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.449
AT ITER 5618 NEW BEST:: SOT 13128 SOS 2442 HAS SOPS 2442 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.442
AT ITER 5650 NEW BEST:: SOT 13126 SOS 2443 HAS SOPS 2443 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.443
AT ITER 5729 NEW BEST:: SOT 13126 SOS 2442 HAS SOPS 2442 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.442
AT ITER 5789 NEW BEST:: SOT 13127 SOS 2442 HAS SOPS 2442 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.442
AT ITER 5845 NEW BEST:: SOT 13127 SOS 2438 HAS SOPS 2438 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.438
AT ITER 5908 NEW BEST:: SOT 13129 SOS 2436 HAS SOPS 2436 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.436
AT ITER 5977 NEW BEST:: SOT 13128 SOS 2436 HAS SOPS 2436 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.436
AT ITER 5981 NEW BEST:: SOT 13130 SOS 2423 HAS SOPS 2423 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2229.423
AT ITER 6095 NEW BEST:: SOT 13129 SOS 2424 HAS SOPS 2424 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.424
AT ITER 6100 NEW BEST:: SOT 13119 SOS 2432 HAS SOPS 2432 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.432
AT ITER 6133 NEW BEST:: SOT 13119 SOS 2431 HAS SOPS 2431 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.431
AT ITER 6159 NEW BEST:: SOT 13117 SOS 2426 HAS SOPS 2426 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.426
AT ITER 6162 NEW BEST:: SOT 13116 SOS 2424 HAS SOPS 2424 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.424
AT ITER 6193 NEW BEST:: SOT 13113 SOS 2424 HAS SOPS 2424 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.424
AT ITER 6236 NEW BEST:: SOT 13108 SOS 2421 HAS SOPS 2421 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2215.421
AT ITER 6356 NEW BEST:: SOT 13107 SOS 2420 HAS SOPS 2420 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.42
AT ITER 6398 NEW BEST:: SOT 13106 SOS 2419 HAS SOPS 2419 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.419
AT ITER 6571 NEW BEST:: SOT 13104 SOS 2417 HAS SOPS 2417 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.417
AT ITER 6572 NEW BEST:: SOT 13104 SOS 2415 HAS SOPS 2415 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.415
AT ITER 6575 NEW BEST:: SOT 13104 SOS 2409 HAS SOPS 2409 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.409
AT ITER 6589 NEW BEST:: SOT 13104 SOS 2407 HAS SOPS 2407 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.407
AT ITER 6592 NEW BEST:: SOT 13099 SOS 2406 HAS SOPS 2406 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.406
AT ITER 6665 NEW BEST:: SOT 13094 SOS 2403 HAS SOPS 2403 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.403
AT ITER 6700 NEW BEST:: SOT 13096 SOS 2388 HAS SOPS 2388 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.388
AT ITER 6722 NEW BEST:: SOT 13098 SOS 2386 HAS SOPS 2386 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2197.386
AT ITER 6734 NEW BEST:: SOT 13094 SOS 2382 HAS SOPS 2382 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.382
AT ITER 6773 NEW BEST:: SOT 13084 SOS 2372 HAS SOPS 2372 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.372
AT ITER 6779 NEW BEST:: SOT 13085 SOS 2368 HAS SOPS 2368 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.368
AT ITER 6785 NEW BEST:: SOT 13085 SOS 2358 HAS SOPS 2358 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.358
AT ITER 6801 NEW BEST:: SOT 13085 SOS 2357 HAS SOPS 2357 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.357
AT ITER 6826 NEW BEST:: SOT 13085 SOS 2356 HAS SOPS 2356 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.356
AT ITER 6974 NEW BEST:: SOT 13085 SOS 2354 HAS SOPS 2354 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.354
AT ITER 7012 NEW BEST:: SOT 13085 SOS 2346 HAS SOPS 2346 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.346
AT ITER 7046 NEW BEST:: SOT 13085 SOS 2343 HAS SOPS 2343 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.343
AT ITER 7140 NEW BEST:: SOT 13080 SOS 2345 HAS SOPS 2345 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.345
AT ITER 7213 NEW BEST:: SOT 13080 SOS 2339 HAS SOPS 2339 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.339
AT ITER 7464 NEW BEST:: SOT 13080 SOS 2338 HAS SOPS 2338 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.338
AT ITER 7684 NEW BEST:: SOT 13080 SOS 2334 HAS SOPS 2334 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.334
AT ITER 7705 NEW BEST:: SOT 13075 SOS 2327 HAS SOPS 2327 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.327
AT ITER 7707 NEW BEST:: SOT 13077 SOS 2326 HAS SOPS 2326 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.326
AT ITER 7712 NEW BEST:: SOT 13079 SOS 2322 HAS SOPS 2322 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.322
AT ITER 7843 NEW BEST:: SOT 13079 SOS 2318 HAS SOPS 2318 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.318
AT ITER 8074 NEW BEST:: SOT 13077 SOS 2316 HAS SOPS 2316 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.316
AT ITER 8080 NEW BEST:: SOT 13075 SOS 2313 HAS SOPS 2313 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.313
AT ITER 8081 NEW BEST:: SOT 13067 SOS 2307 HAS SOPS 2307 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.307
AT ITER 8116 NEW BEST:: SOT 13067 SOS 2309 HAS SOPS 2309 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.309
AT ITER 8186 NEW BEST:: SOT 13065 SOS 2305 HAS SOPS 2305 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.305
AT ITER 8201 NEW BEST:: SOT 13064 SOS 2304 HAS SOPS 2304 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.304
AT ITER 8216 NEW BEST:: SOT 13063 SOS 2303 HAS SOPS 2303 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.303
AT ITER 8231 NEW BEST:: SOT 13057 SOS 2304 HAS SOPS 2304 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.304
AT ITER 8305 NEW BEST:: SOT 13057 SOS 2298 HAS SOPS 2298 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.298
AT ITER 8316 NEW BEST:: SOT 13056 SOS 2294 HAS SOPS 2294 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.294
AT ITER 8366 NEW BEST:: SOT 13056 SOS 2289 HAS SOPS 2289 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.289
AT ITER 8415 NEW BEST:: SOT 13057 SOS 2286 HAS SOPS 2286 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.286
AT ITER 8440 NEW BEST:: SOT 13057 SOS 2285 HAS SOPS 2285 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.285
AT ITER 8516 NEW BEST:: SOT 13057 SOS 2284 HAS SOPS 2284 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.284
AT ITER 8574 NEW BEST:: SOT 13055 SOS 2282 HAS SOPS 2282 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.282
AT ITER 8581 NEW BEST:: SOT 13049 SOS 2270 HAS SOPS 2270 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.27
AT ITER 8686 NEW BEST:: SOT 13044 SOS 2265 HAS SOPS 2265 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.265
AT ITER 8718 NEW BEST:: SOT 13043 SOS 2264 HAS SOPS 2264 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.264
AT ITER 8750 NEW BEST:: SOT 13046 SOS 2265 HAS SOPS 2265 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.265
AT ITER 8947 NEW BEST:: SOT 13049 SOS 2255 HAS SOPS 2255 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2089.255
AT ITER 9207 NEW BEST:: SOT 13049 SOS 2249 HAS SOPS 2249 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.249
AT ITER 9214 NEW BEST:: SOT 13049 SOS 2246 HAS SOPS 2246 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.246
AT ITER 9391 NEW BEST:: SOT 13044 SOS 2239 HAS SOPS 2239 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.239
AT ITER 9580 NEW BEST:: SOT 13041 SOS 2238 HAS SOPS 2238 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.238
AT ITER 9755 NEW BEST:: SOT 13038 SOS 2237 HAS SOPS 2237 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.237
AT ITER 9926 NEW BEST:: SOT 13039 SOS 2234 HAS SOPS 2234 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.234
AT ITER 9969 NEW BEST:: SOT 13038 SOS 2232 HAS SOPS 2232 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.232
STATE_SPACE STATES 2385072 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 256 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 841 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2385071 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678411590212

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="DoubleExponent-PT-003"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is DoubleExponent-PT-003, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819423100464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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