fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r419-tajo-167905973700416
Last Updated
May 14, 2023

About the Execution of Smart for SieveSingleMsgMbox-PT-d1m06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2678.848 1105392.00 1105050.00 0.00 1.6120E+0006 3.5705E+0006 6 7 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 10:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 10:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 10:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 17:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 10:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K Mar 5 18:23 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 1679092227125

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SieveSingleMsgMbox-PT-d1m06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191475 SOS 165858 HAS SOPS 165858 HAS SOUS 145664 HAS SOUPS 145664 WITH SCORE 145829.858
AT ITER 69 NEW BEST:: SOT 191475 SOS 165765 HAS SOPS 165765 HAS SOUS 145612 HAS SOUPS 145612 WITH SCORE 145777.765
AT ITER 194 NEW BEST:: SOT 191475 SOS 165551 HAS SOPS 165551 HAS SOUS 145179 HAS SOUPS 145179 WITH SCORE 145344.551
AT ITER 201 NEW BEST:: SOT 191475 SOS 165476 HAS SOPS 165476 HAS SOUS 145172 HAS SOUPS 145172 WITH SCORE 145337.476
AT ITER 313 NEW BEST:: SOT 193617 SOS 167597 HAS SOPS 167597 HAS SOUS 145158 HAS SOUPS 145158 WITH SCORE 145325.597
AT ITER 395 NEW BEST:: SOT 193664 SOS 167644 HAS SOPS 167644 HAS SOUS 145128 HAS SOUPS 145128 WITH SCORE 145295.644
AT ITER 399 NEW BEST:: SOT 193696 SOS 167323 HAS SOPS 167323 HAS SOUS 145049 HAS SOUPS 145049 WITH SCORE 145216.323
AT ITER 403 NEW BEST:: SOT 198896 SOS 172523 HAS SOPS 172523 HAS SOUS 144857 HAS SOUPS 144857 WITH SCORE 145029.523
AT ITER 422 NEW BEST:: SOT 199085 SOS 172558 HAS SOPS 172558 HAS SOUS 144508 HAS SOUPS 144508 WITH SCORE 144680.558
AT ITER 442 NEW BEST:: SOT 200093 SOS 173566 HAS SOPS 173566 HAS SOUS 141148 HAS SOUPS 141148 WITH SCORE 141321.566
AT ITER 468 NEW BEST:: SOT 200093 SOS 173608 HAS SOPS 173608 HAS SOUS 138531 HAS SOUPS 138531 WITH SCORE 138704.608
AT ITER 520 NEW BEST:: SOT 202141 SOS 175656 HAS SOPS 175656 HAS SOUS 134979 HAS SOUPS 134979 WITH SCORE 135154.656
AT ITER 543 NEW BEST:: SOT 202141 SOS 175368 HAS SOPS 175368 HAS SOUS 134847 HAS SOUPS 134847 WITH SCORE 135022.368
AT ITER 557 NEW BEST:: SOT 202141 SOS 175423 HAS SOPS 175423 HAS SOUS 131535 HAS SOUPS 131535 WITH SCORE 131710.423
AT ITER 575 NEW BEST:: SOT 202141 SOS 174558 HAS SOPS 174558 HAS SOUS 131367 HAS SOUPS 131367 WITH SCORE 131541.558
AT ITER 595 NEW BEST:: SOT 207373 SOS 179726 HAS SOPS 179726 HAS SOUS 127959 HAS SOUPS 127959 WITH SCORE 128138.726
AT ITER 628 NEW BEST:: SOT 211293 SOS 183580 HAS SOPS 183580 HAS SOUS 124487 HAS SOUPS 124487 WITH SCORE 124670.58
AT ITER 657 NEW BEST:: SOT 215645 SOS 187855 HAS SOPS 187855 HAS SOUS 121033 HAS SOUPS 121033 WITH SCORE 121220.855
AT ITER 759 NEW BEST:: SOT 215666 SOS 187809 HAS SOPS 187809 HAS SOUS 120987 HAS SOUPS 120987 WITH SCORE 121174.809
AT ITER 779 NEW BEST:: SOT 215666 SOS 188000 HAS SOPS 188000 HAS SOUS 117932 HAS SOUPS 117932 WITH SCORE 118120.0
AT ITER 867 NEW BEST:: SOT 218828 SOS 191162 HAS SOPS 191162 HAS SOUS 117718 HAS SOUPS 117718 WITH SCORE 117909.162
AT ITER 895 NEW BEST:: SOT 219147 SOS 191459 HAS SOPS 191459 HAS SOUS 117575 HAS SOUPS 117575 WITH SCORE 117766.459
AT ITER 950 NEW BEST:: SOT 215627 SOS 187939 HAS SOPS 187939 HAS SOUS 117543 HAS SOUPS 117543 WITH SCORE 117730.939
AT ITER 953 NEW BEST:: SOT 216341 SOS 188653 HAS SOPS 188653 HAS SOUS 116593 HAS SOUPS 116593 WITH SCORE 116781.653
AT ITER 1016 NEW BEST:: SOT 216341 SOS 188764 HAS SOPS 188764 HAS SOUS 116275 HAS SOUPS 116275 WITH SCORE 116463.764
AT ITER 1020 NEW BEST:: SOT 216338 SOS 188635 HAS SOPS 188635 HAS SOUS 116272 HAS SOUPS 116272 WITH SCORE 116460.635
AT ITER 1059 NEW BEST:: SOT 217377 SOS 189502 HAS SOPS 189502 HAS SOUS 116223 HAS SOUPS 116223 WITH SCORE 116412.502
AT ITER 1170 NEW BEST:: SOT 222321 SOS 194374 HAS SOPS 194374 HAS SOUS 112655 HAS SOUPS 112655 WITH SCORE 112849.374
AT ITER 1180 NEW BEST:: SOT 223686 SOS 192567 HAS SOPS 191902 HAS SOUS 112161 HAS SOUPS 112091 WITH SCORE 112283.567
AT ITER 1189 NEW BEST:: SOT 223686 SOS 192345 HAS SOPS 191680 HAS SOUS 109775 HAS SOUPS 109705 WITH SCORE 109897.345
AT ITER 1233 NEW BEST:: SOT 223686 SOS 192227 HAS SOPS 191562 HAS SOUS 109644 HAS SOUPS 109574 WITH SCORE 109766.227
AT ITER 1235 NEW BEST:: SOT 231280 SOS 199544 HAS SOPS 198809 HAS SOUS 108677 HAS SOUPS 108607 WITH SCORE 108806.544
AT ITER 1254 NEW BEST:: SOT 235114 SOS 203081 HAS SOPS 202276 HAS SOUS 105096 HAS SOUPS 105026 WITH SCORE 105229.081
AT ITER 1260 NEW BEST:: SOT 236788 SOS 204464 HAS SOPS 203589 HAS SOUS 101560 HAS SOUPS 101490 WITH SCORE 101694.464
AT ITER 1309 NEW BEST:: SOT 236788 SOS 204376 HAS SOPS 203501 HAS SOUS 101558 HAS SOUPS 101488 WITH SCORE 101692.376
AT ITER 1332 NEW BEST:: SOT 246334 SOS 213649 HAS SOPS 212704 HAS SOUS 100109 HAS SOUPS 100039 WITH SCORE 100252.649
AT ITER 1335 NEW BEST:: SOT 246334 SOS 213440 HAS SOPS 212495 HAS SOUS 97304 HAS SOUPS 97234 WITH SCORE 97447.44
AT ITER 1347 NEW BEST:: SOT 246404 SOS 213510 HAS SOPS 212565 HAS SOUS 97267 HAS SOUPS 97197 WITH SCORE 97410.51
AT ITER 1355 NEW BEST:: SOT 244789 SOS 211895 HAS SOPS 210950 HAS SOUS 97172 HAS SOUPS 97102 WITH SCORE 97313.895
AT ITER 1389 NEW BEST:: SOT 247695 SOS 214755 HAS SOPS 213740 HAS SOUS 96366 HAS SOUPS 96296 WITH SCORE 96510.755
AT ITER 1398 NEW BEST:: SOT 247695 SOS 211159 HAS SOPS 210144 HAS SOUS 94477 HAS SOUPS 94407 WITH SCORE 94618.159
AT ITER 1408 NEW BEST:: SOT 247621 SOS 211099 HAS SOPS 210084 HAS SOUS 94415 HAS SOUPS 94345 WITH SCORE 94556.099
AT ITER 1434 NEW BEST:: SOT 246677 SOS 210155 HAS SOPS 209140 HAS SOUS 94415 HAS SOUPS 94345 WITH SCORE 94555.155
AT ITER 1441 NEW BEST:: SOT 254959 SOS 217976 HAS SOPS 216891 HAS SOUS 91100 HAS SOUPS 91030 WITH SCORE 91247.976
AT ITER 1464 NEW BEST:: SOT 264073 SOS 226623 HAS SOPS 225468 HAS SOUS 87757 HAS SOUPS 87687 WITH SCORE 87913.623
AT ITER 1581 NEW BEST:: SOT 264073 SOS 226416 HAS SOPS 225261 HAS SOUS 87618 HAS SOUPS 87548 WITH SCORE 87774.416
AT ITER 1582 NEW BEST:: SOT 264315 SOS 226139 HAS SOPS 224796 HAS SOUS 87547 HAS SOUPS 87461 WITH SCORE 87687.139
AT ITER 1583 NEW BEST:: SOT 264315 SOS 226140 HAS SOPS 224797 HAS SOUS 87474 HAS SOUPS 87388 WITH SCORE 87614.14
AT ITER 1599 NEW BEST:: SOT 258491 SOS 220316 HAS SOPS 218973 HAS SOUS 87474 HAS SOUPS 87388 WITH SCORE 87608.316
AT ITER 1619 NEW BEST:: SOT 268054 SOS 229126 HAS SOPS 227713 HAS SOUS 85401 HAS SOUPS 85315 WITH SCORE 85544.126
AT ITER 1637 NEW BEST:: SOT 269890 SOS 225657 HAS SOPS 222049 HAS SOUS 84311 HAS SOUPS 84172 WITH SCORE 84397.657
AT ITER 1670 NEW BEST:: SOT 269890 SOS 225545 HAS SOPS 221937 HAS SOUS 84087 HAS SOUPS 83948 WITH SCORE 84173.545
AT ITER 1674 NEW BEST:: SOT 269890 SOS 221957 HAS SOPS 218349 HAS SOUS 82954 HAS SOUPS 82815 WITH SCORE 83036.957
AT ITER 1696 NEW BEST:: SOT 269878 SOS 221945 HAS SOPS 218340 HAS SOUS 82945 HAS SOUPS 82806 WITH SCORE 83027.945
AT ITER 1738 NEW BEST:: SOT 269878 SOS 221638 HAS SOPS 218033 HAS SOUS 82864 HAS SOUPS 82725 WITH SCORE 82946.638
AT ITER 1753 NEW BEST:: SOT 269878 SOS 217744 HAS SOPS 214139 HAS SOUS 81653 HAS SOUPS 81514 WITH SCORE 81731.744
AT ITER 1761 NEW BEST:: SOT 269129 SOS 216995 HAS SOPS 213265 HAS SOUS 81175 HAS SOUPS 80967 WITH SCORE 81183.995
AT ITER 1771 NEW BEST:: SOT 269222 SOS 216871 HAS SOPS 213141 HAS SOUS 81121 HAS SOUPS 80913 WITH SCORE 81129.871
AT ITER 1910 NEW BEST:: SOT 269263 SOS 216178 HAS SOPS 212442 HAS SOUS 78634 HAS SOUPS 78426 WITH SCORE 78642.178
AT ITER 1912 NEW BEST:: SOT 277027 SOS 222929 HAS SOPS 218984 HAS SOUS 76135 HAS SOUPS 75927 WITH SCORE 76149.929
AT ITER 1945 NEW BEST:: SOT 285197 SOS 230650 HAS SOPS 226496 HAS SOUS 75879 HAS SOUPS 75671 WITH SCORE 75901.65
AT ITER 1950 NEW BEST:: SOT 285645 SOS 230630 HAS SOPS 226374 HAS SOUS 75642 HAS SOUPS 75434 WITH SCORE 75664.63
AT ITER 2000 NEW BEST:: SOT 287793 SOS 226943 HAS SOPS 219760 HAS SOUS 74653 HAS SOUPS 74445 WITH SCORE 74671.943
AT ITER 2003 NEW BEST:: SOT 287793 SOS 226732 HAS SOPS 219549 HAS SOUS 74470 HAS SOUPS 74262 WITH SCORE 74488.732
AT ITER 2025 NEW BEST:: SOT 287546 SOS 226485 HAS SOPS 219302 HAS SOUS 74431 HAS SOUPS 74223 WITH SCORE 74449.485
AT ITER 2079 NEW BEST:: SOT 294490 SOS 233429 HAS SOPS 226150 HAS SOUS 74365 HAS SOUPS 74157 WITH SCORE 74390.429
AT ITER 2105 NEW BEST:: SOT 298752 SOS 237691 HAS SOPS 230354 HAS SOUS 74318 HAS SOUPS 74110 WITH SCORE 74347.691
AT ITER 2117 NEW BEST:: SOT 310353 SOS 248011 HAS SOPS 240290 HAS SOUS 73709 HAS SOUPS 73501 WITH SCORE 73749.011
AT ITER 2154 NEW BEST:: SOT 311063 SOS 248600 HAS SOPS 240879 HAS SOUS 73588 HAS SOUPS 73380 WITH SCORE 73628.6
AT ITER 2166 NEW BEST:: SOT 311063 SOS 248503 HAS SOPS 240782 HAS SOUS 73512 HAS SOUPS 73304 WITH SCORE 73552.503
AT ITER 2215 NEW BEST:: SOT 320116 SOS 257556 HAS SOPS 249640 HAS SOUS 73400 HAS SOUPS 73192 WITH SCORE 73449.556
AT ITER 2246 NEW BEST:: SOT 320116 SOS 256575 HAS SOPS 248659 HAS SOUS 73208 HAS SOUPS 73000 WITH SCORE 73256.575
AT ITER 2280 NEW BEST:: SOT 321072 SOS 253947 HAS SOPS 243826 HAS SOUS 72373 HAS SOUPS 72165 WITH SCORE 72418.947
AT ITER 2316 NEW BEST:: SOT 321572 SOS 254376 HAS SOPS 244255 HAS SOUS 72334 HAS SOUPS 72126 WITH SCORE 72380.376
AT ITER 2346 NEW BEST:: SOT 321724 SOS 254528 HAS SOPS 244383 HAS SOUS 72323 HAS SOUPS 72115 WITH SCORE 72369.528
AT ITER 2375 NEW BEST:: SOT 321724 SOS 254396 HAS SOPS 244251 HAS SOUS 72173 HAS SOUPS 71965 WITH SCORE 72219.396
AT ITER 2407 NEW BEST:: SOT 321724 SOS 250088 HAS SOPS 239943 HAS SOUS 71588 HAS SOUPS 71380 WITH SCORE 71630.088
AT ITER 2430 NEW BEST:: SOT 321726 SOS 249733 HAS SOPS 239584 HAS SOUS 71191 HAS SOUPS 70983 WITH SCORE 71232.733
AT ITER 2444 NEW BEST:: SOT 319921 SOS 247928 HAS SOPS 237779 HAS SOUS 70906 HAS SOUPS 70698 WITH SCORE 70945.928
AT ITER 2511 NEW BEST:: SOT 319921 SOS 247653 HAS SOPS 237504 HAS SOUS 70898 HAS SOUPS 70690 WITH SCORE 70937.653
AT ITER 2513 NEW BEST:: SOT 320561 SOS 248209 HAS SOPS 237932 HAS SOUS 70510 HAS SOUPS 70302 WITH SCORE 70550.209
AT ITER 2605 NEW BEST:: SOT 320561 SOS 248196 HAS SOPS 237919 HAS SOUS 70486 HAS SOUPS 70278 WITH SCORE 70526.196
AT ITER 2633 NEW BEST:: SOT 321345 SOS 248322 HAS SOPS 238045 HAS SOUS 70022 HAS SOUPS 69814 WITH SCORE 70062.322
AT ITER 2635 NEW BEST:: SOT 321345 SOS 247944 HAS SOPS 237667 HAS SOUS 69968 HAS SOUPS 69760 WITH SCORE 70007.944
AT ITER 2707 NEW BEST:: SOT 321393 SOS 247955 HAS SOPS 237678 HAS SOUS 69962 HAS SOUPS 69754 WITH SCORE 70001.955
AT ITER 2726 NEW BEST:: SOT 321393 SOS 247765 HAS SOPS 237488 HAS SOUS 69942 HAS SOUPS 69734 WITH SCORE 69981.765
AT ITER 2785 NEW BEST:: SOT 321393 SOS 247765 HAS SOPS 237488 HAS SOUS 69939 HAS SOUPS 69731 WITH SCORE 69978.765
AT ITER 2854 NEW BEST:: SOT 321654 SOS 242845 HAS SOPS 230837 HAS SOUS 69252 HAS SOUPS 69044 WITH SCORE 69286.845
AT ITER 2885 NEW BEST:: SOT 321684 SOS 242699 HAS SOPS 230691 HAS SOUS 69106 HAS SOUPS 68898 WITH SCORE 69140.699
AT ITER 2904 NEW BEST:: SOT 321926 SOS 237018 HAS SOPS 224237 HAS SOUS 67982 HAS SOUPS 67774 WITH SCORE 68011.018
AT ITER 2955 NEW BEST:: SOT 321558 SOS 236650 HAS SOPS 223869 HAS SOUS 67982 HAS SOUPS 67774 WITH SCORE 68010.65
AT ITER 3009 NEW BEST:: SOT 321660 SOS 236636 HAS SOPS 223855 HAS SOUS 67922 HAS SOUPS 67714 WITH SCORE 67950.636
AT ITER 3029 NEW BEST:: SOT 319836 SOS 234812 HAS SOPS 222031 HAS SOUS 67922 HAS SOUPS 67714 WITH SCORE 67948.812
AT ITER 3040 NEW BEST:: SOT 318092 SOS 233068 HAS SOPS 220287 HAS SOUS 67922 HAS SOUPS 67714 WITH SCORE 67947.068
AT ITER 3054 NEW BEST:: SOT 327977 SOS 241147 HAS SOPS 227755 HAS SOUS 66119 HAS SOUPS 65911 WITH SCORE 66152.147
AT ITER 3067 NEW BEST:: SOT 328016 SOS 241027 HAS SOPS 227635 HAS SOUS 66078 HAS SOUPS 65870 WITH SCORE 66111.027
AT ITER 3109 NEW BEST:: SOT 325488 SOS 238499 HAS SOPS 225107 HAS SOUS 66078 HAS SOUPS 65870 WITH SCORE 66108.499
AT ITER 3129 NEW BEST:: SOT 325488 SOS 238499 HAS SOPS 225107 HAS SOUS 66071 HAS SOUPS 65863 WITH SCORE 66101.499
AT ITER 3130 NEW BEST:: SOT 325692 SOS 238359 HAS SOPS 224865 HAS SOUS 65978 HAS SOUPS 65770 WITH SCORE 66008.359
AT ITER 3155 NEW BEST:: SOT 325692 SOS 238481 HAS SOPS 224987 HAS SOUS 65793 HAS SOUPS 65585 WITH SCORE 65823.481
AT ITER 3159 NEW BEST:: SOT 325724 SOS 238173 HAS SOPS 224657 HAS SOUS 65596 HAS SOUPS 65388 WITH SCORE 65626.173
AT ITER 3164 NEW BEST:: SOT 326057 SOS 232434 HAS SOPS 217685 HAS SOUS 64664 HAS SOUPS 64456 WITH SCORE 64688.434
AT ITER 3179 NEW BEST:: SOT 326057 SOS 232326 HAS SOPS 217577 HAS SOUS 64663 HAS SOUPS 64455 WITH SCORE 64687.326
AT ITER 3209 NEW BEST:: SOT 326057 SOS 231189 HAS SOPS 216440 HAS SOUS 64108 HAS SOUPS 63900 WITH SCORE 64131.189
AT ITER 3237 NEW BEST:: SOT 326261 SOS 231164 HAS SOPS 216211 HAS SOUS 63793 HAS SOUPS 63585 WITH SCORE 63816.164
AT ITER 3272 NEW BEST:: SOT 326261 SOS 231125 HAS SOPS 216172 HAS SOUS 63773 HAS SOUPS 63565 WITH SCORE 63796.125
AT ITER 3303 NEW BEST:: SOT 326261 SOS 231025 HAS SOPS 216072 HAS SOUS 63423 HAS SOUPS 63215 WITH SCORE 63446.025
AT ITER 3315 NEW BEST:: SOT 326498 SOS 231218 HAS SOPS 216028 HAS SOUS 63408 HAS SOUPS 63171 WITH SCORE 63402.218
AT ITER 3331 NEW BEST:: SOT 328161 SOS 232881 HAS SOPS 217674 HAS SOUS 63391 HAS SOUPS 63154 WITH SCORE 63386.881
AT ITER 3341 NEW BEST:: SOT 328161 SOS 232785 HAS SOPS 217578 HAS SOUS 63343 HAS SOUPS 63106 WITH SCORE 63338.785
AT ITER 3387 NEW BEST:: SOT 330536 SOS 232965 HAS SOPS 217093 HAS SOUS 61640 HAS SOUPS 61403 WITH SCORE 61635.965
AT ITER 3400 NEW BEST:: SOT 330536 SOS 232662 HAS SOPS 216790 HAS SOUS 61545 HAS SOUPS 61308 WITH SCORE 61540.662
AT ITER 3479 NEW BEST:: SOT 330558 SOS 226356 HAS SOPS 210361 HAS SOUS 60798 HAS SOUPS 60561 WITH SCORE 60787.356
AT ITER 3492 NEW BEST:: SOT 331906 SOS 227163 HAS SOPS 207325 HAS SOUS 60764 HAS SOUPS 60527 WITH SCORE 60754.163
AT ITER 3575 NEW BEST:: SOT 333102 SOS 222340 HAS SOPS 198942 HAS SOUS 60096 HAS SOUPS 59859 WITH SCORE 60081.34
AT ITER 3663 NEW BEST:: SOT 332630 SOS 221882 HAS SOPS 198600 HAS SOUS 59794 HAS SOUPS 59557 WITH SCORE 59778.882
AT ITER 3702 NEW BEST:: SOT 332630 SOS 221882 HAS SOPS 198600 HAS SOUS 59788 HAS SOUPS 59551 WITH SCORE 59772.882
AT ITER 3787 NEW BEST:: SOT 332630 SOS 221483 HAS SOPS 198201 HAS SOUS 59647 HAS SOUPS 59410 WITH SCORE 59631.483
AT ITER 3811 NEW BEST:: SOT 338666 SOS 224384 HAS SOPS 200089 HAS SOUS 59396 HAS SOUPS 59159 WITH SCORE 59383.384
AT ITER 3824 NEW BEST:: SOT 339554 SOS 218346 HAS SOPS 190647 HAS SOUS 58855 HAS SOUPS 58618 WITH SCORE 58836.346
AT ITER 3886 NEW BEST:: SOT 340456 SOS 218530 HAS SOPS 190793 HAS SOUS 58803 HAS SOUPS 58566 WITH SCORE 58784.53
AT ITER 3906 NEW BEST:: SOT 341457 SOS 217503 HAS SOPS 188791 HAS SOUS 58259 HAS SOUPS 58022 WITH SCORE 58239.503
AT ITER 3945 NEW BEST:: SOT 341457 SOS 217218 HAS SOPS 188506 HAS SOUS 58144 HAS SOUPS 57907 WITH SCORE 58124.218
AT ITER 3953 NEW BEST:: SOT 341457 SOS 217142 HAS SOPS 188430 HAS SOUS 58069 HAS SOUPS 57832 WITH SCORE 58049.142
AT ITER 3968 NEW BEST:: SOT 339265 SOS 214950 HAS SOPS 186238 HAS SOUS 58069 HAS SOUPS 57832 WITH SCORE 58046.95
AT ITER 3979 NEW BEST:: SOT 338358 SOS 214043 HAS SOPS 188310 HAS SOUS 58069 HAS SOUPS 57832 WITH SCORE 58046.043
AT ITER 3995 NEW BEST:: SOT 333222 SOS 208907 HAS SOPS 183174 HAS SOUS 58069 HAS SOUPS 57832 WITH SCORE 58040.907
AT ITER 4058 NEW BEST:: SOT 333049 SOS 208734 HAS SOPS 183379 HAS SOUS 57962 HAS SOUPS 57725 WITH SCORE 57933.734
AT ITER 4075 NEW BEST:: SOT 333049 SOS 208766 HAS SOPS 183411 HAS SOUS 57959 HAS SOUPS 57722 WITH SCORE 57930.766
AT ITER 4106 NEW BEST:: SOT 333049 SOS 208334 HAS SOPS 182979 HAS SOUS 57959 HAS SOUPS 57722 WITH SCORE 57930.334
AT ITER 4152 NEW BEST:: SOT 328617 SOS 203902 HAS SOPS 178547 HAS SOUS 57959 HAS SOUPS 57722 WITH SCORE 57925.902
AT ITER 4171 NEW BEST:: SOT 321766 SOS 197051 HAS SOPS 171696 HAS SOUS 56772 HAS SOUPS 56535 WITH SCORE 56732.051
AT ITER 4243 NEW BEST:: SOT 322031 SOS 197269 HAS SOPS 171649 HAS SOUS 56753 HAS SOUPS 56488 WITH SCORE 56685.269
AT ITER 4247 NEW BEST:: SOT 322031 SOS 197188 HAS SOPS 171568 HAS SOUS 56753 HAS SOUPS 56488 WITH SCORE 56685.188
AT ITER 4315 NEW BEST:: SOT 322018 SOS 197160 HAS SOPS 171540 HAS SOUS 56725 HAS SOUPS 56460 WITH SCORE 56657.16
AT ITER 4329 NEW BEST:: SOT 321361 SOS 196503 HAS SOPS 173271 HAS SOUS 56725 HAS SOUPS 56460 WITH SCORE 56656.503
AT ITER 4381 NEW BEST:: SOT 321361 SOS 195941 HAS SOPS 172709 HAS SOUS 56725 HAS SOUPS 56460 WITH SCORE 56655.941
AT ITER 4418 NEW BEST:: SOT 330459 SOS 205039 HAS SOPS 180937 HAS SOUS 56564 HAS SOUPS 56299 WITH SCORE 56504.039
AT ITER 4427 NEW BEST:: SOT 330459 SOS 205004 HAS SOPS 180902 HAS SOUS 56529 HAS SOUPS 56264 WITH SCORE 56469.004
AT ITER 4433 NEW BEST:: SOT 330537 SOS 205041 HAS SOPS 180861 HAS SOUS 56488 HAS SOUPS 56223 WITH SCORE 56428.041
AT ITER 4585 NEW BEST:: SOT 330537 SOS 205379 HAS SOPS 181199 HAS SOUS 56475 HAS SOUPS 56210 WITH SCORE 56415.379
AT ITER 4590 NEW BEST:: SOT 330556 SOS 205374 HAS SOPS 181194 HAS SOUS 56384 HAS SOUPS 56119 WITH SCORE 56324.374
AT ITER 4615 NEW BEST:: SOT 327333 SOS 202151 HAS SOPS 178539 HAS SOUS 56292 HAS SOUPS 56027 WITH SCORE 56229.151
AT ITER 4640 NEW BEST:: SOT 325829 SOS 200647 HAS SOPS 177035 HAS SOUS 56292 HAS SOUPS 56027 WITH SCORE 56227.647
AT ITER 4687 NEW BEST:: SOT 325890 SOS 202924 HAS SOPS 180405 HAS SOUS 56275 HAS SOUPS 56010 WITH SCORE 56212.924
AT ITER 4693 NEW BEST:: SOT 325890 SOS 202904 HAS SOPS 180385 HAS SOUS 56255 HAS SOUPS 55990 WITH SCORE 56192.904
AT ITER 4720 NEW BEST:: SOT 325914 SOS 202639 HAS SOPS 180120 HAS SOUS 56106 HAS SOUPS 55841 WITH SCORE 56043.639
AT ITER 4724 NEW BEST:: SOT 325912 SOS 202609 HAS SOPS 180088 HAS SOUS 56074 HAS SOUPS 55809 WITH SCORE 56011.609
AT ITER 4725 NEW BEST:: SOT 320543 SOS 197240 HAS SOPS 174739 HAS SOUS 55769 HAS SOUPS 55504 WITH SCORE 55701.24
AT ITER 4766 NEW BEST:: SOT 320020 SOS 196949 HAS SOPS 174493 HAS SOUS 55731 HAS SOUPS 55466 WITH SCORE 55662.949
AT ITER 4790 NEW BEST:: SOT 318832 SOS 195761 HAS SOPS 173868 HAS SOUS 55731 HAS SOUPS 55466 WITH SCORE 55661.761
AT ITER 4842 NEW BEST:: SOT 319030 SOS 195935 HAS SOPS 174042 HAS SOUS 55601 HAS SOUPS 55336 WITH SCORE 55531.935
AT ITER 4863 NEW BEST:: SOT 319387 SOS 196048 HAS SOPS 174117 HAS SOUS 55314 HAS SOUPS 55049 WITH SCORE 55245.048
AT ITER 4874 NEW BEST:: SOT 319481 SOS 196103 HAS SOPS 174172 HAS SOUS 55267 HAS SOUPS 55002 WITH SCORE 55198.103
AT ITER 4893 NEW BEST:: SOT 319589 SOS 195997 HAS SOPS 174066 HAS SOUS 55186 HAS SOUPS 54921 WITH SCORE 55116.997
AT ITER 4907 NEW BEST:: SOT 319589 SOS 195997 HAS SOPS 174066 HAS SOUS 55161 HAS SOUPS 54896 WITH SCORE 55091.997
AT ITER 4918 NEW BEST:: SOT 319589 SOS 197733 HAS SOPS 175802 HAS SOUS 55150 HAS SOUPS 54885 WITH SCORE 55082.733
AT ITER 5017 NEW BEST:: SOT 319589 SOS 197695 HAS SOPS 175764 HAS SOUS 55112 HAS SOUPS 54847 WITH SCORE 55044.695
AT ITER 5041 NEW BEST:: SOT 319589 SOS 197540 HAS SOPS 175609 HAS SOUS 54907 HAS SOUPS 54642 WITH SCORE 54839.54
AT ITER 5108 NEW BEST:: SOT 319589 SOS 197277 HAS SOPS 175346 HAS SOUS 54868 HAS SOUPS 54603 WITH SCORE 54800.277
AT ITER 5179 NEW BEST:: SOT 319756 SOS 197401 HAS SOPS 175303 HAS SOUS 54825 HAS SOUPS 54560 WITH SCORE 54757.401
AT ITER 5219 NEW BEST:: SOT 319756 SOS 197393 HAS SOPS 175295 HAS SOUS 54801 HAS SOUPS 54536 WITH SCORE 54733.393
AT ITER 5353 NEW BEST:: SOT 319780 SOS 197417 HAS SOPS 175319 HAS SOUS 54786 HAS SOUPS 54521 WITH SCORE 54718.417
AT ITER 5366 NEW BEST:: SOT 319886 SOS 197523 HAS SOPS 175425 HAS SOUS 54668 HAS SOUPS 54403 WITH SCORE 54600.523
AT ITER 5408 NEW BEST:: SOT 319886 SOS 197169 HAS SOPS 175071 HAS SOUS 54651 HAS SOUPS 54386 WITH SCORE 54583.169
AT ITER 5411 NEW BEST:: SOT 320096 SOS 197095 HAS SOPS 174997 HAS SOUS 54519 HAS SOUPS 54254 WITH SCORE 54451.095
AT ITER 5468 NEW BEST:: SOT 320096 SOS 197045 HAS SOPS 174947 HAS SOUS 54493 HAS SOUPS 54228 WITH SCORE 54425.045
AT ITER 5538 NEW BEST:: SOT 319911 SOS 196860 HAS SOPS 175679 HAS SOUS 54493 HAS SOUPS 54228 WITH SCORE 54424.86
AT ITER 5557 NEW BEST:: SOT 320031 SOS 196849 HAS SOPS 175668 HAS SOUS 54476 HAS SOUPS 54211 WITH SCORE 54407.849
AT ITER 5610 NEW BEST:: SOT 316217 SOS 193035 HAS SOPS 171954 HAS SOUS 54030 HAS SOUPS 53793 WITH SCORE 53986.035
AT ITER 5666 NEW BEST:: SOT 315852 SOS 192801 HAS SOPS 171885 HAS SOUS 53961 HAS SOUPS 53724 WITH SCORE 53916.801
AT ITER 5732 NEW BEST:: SOT 315852 SOS 192801 HAS SOPS 171885 HAS SOUS 53959 HAS SOUPS 53722 WITH SCORE 53914.801
AT ITER 5734 NEW BEST:: SOT 315852 SOS 192684 HAS SOPS 171768 HAS SOUS 53877 HAS SOUPS 53640 WITH SCORE 53832.684
AT ITER 5796 NEW BEST:: SOT 315852 SOS 191930 HAS SOPS 171014 HAS SOUS 53825 HAS SOUPS 53588 WITH SCORE 53779.93
AT ITER 5856 NEW BEST:: SOT 315159 SOS 191237 HAS SOPS 170461 HAS SOUS 53825 HAS SOUPS 53588 WITH SCORE 53779.237
AT ITER 5875 NEW BEST:: SOT 315214 SOS 191289 HAS SOPS 170513 HAS SOUS 53786 HAS SOUPS 53549 WITH SCORE 53740.289
AT ITER 5882 NEW BEST:: SOT 315214 SOS 191182 HAS SOPS 170406 HAS SOUS 53782 HAS SOUPS 53545 WITH SCORE 53736.182
AT ITER 5901 NEW BEST:: SOT 314248 SOS 190216 HAS SOPS 169953 HAS SOUS 53782 HAS SOUPS 53545 WITH SCORE 53735.216
AT ITER 5907 NEW BEST:: SOT 314248 SOS 187857 HAS SOPS 167270 HAS SOUS 53738 HAS SOUPS 53501 WITH SCORE 53688.857
AT ITER 5912 NEW BEST:: SOT 314248 SOS 187573 HAS SOPS 166986 HAS SOUS 53738 HAS SOUPS 53501 WITH SCORE 53688.573
AT ITER 5945 NEW BEST:: SOT 314143 SOS 187468 HAS SOPS 166986 HAS SOUS 53709 HAS SOUPS 53501 WITH SCORE 53688.468
AT ITER 5947 NEW BEST:: SOT 313855 SOS 187180 HAS SOPS 166698 HAS SOUS 53709 HAS SOUPS 53501 WITH SCORE 53688.18
AT ITER 5992 NEW BEST:: SOT 313855 SOS 187055 HAS SOPS 166573 HAS SOUS 53672 HAS SOUPS 53464 WITH SCORE 53651.055
AT ITER 5994 NEW BEST:: SOT 313778 SOS 191447 HAS SOPS 173504 HAS SOUS 53624 HAS SOUPS 53416 WITH SCORE 53607.447
AT ITER 5999 NEW BEST:: SOT 313994 SOS 191663 HAS SOPS 173720 HAS SOUS 53485 HAS SOUPS 53277 WITH SCORE 53468.663
AT ITER 6005 NEW BEST:: SOT 313994 SOS 191549 HAS SOPS 173606 HAS SOUS 53224 HAS SOUPS 53016 WITH SCORE 53207.549
AT ITER 6006 NEW BEST:: SOT 313149 SOS 190704 HAS SOPS 174729 HAS SOUS 53224 HAS SOUPS 53016 WITH SCORE 53206.704
AT ITER 6018 NEW BEST:: SOT 313149 SOS 190670 HAS SOPS 174695 HAS SOUS 53165 HAS SOUPS 52957 WITH SCORE 53147.67
AT ITER 6037 NEW BEST:: SOT 314056 SOS 191092 HAS SOPS 175079 HAS SOUS 52849 HAS SOUPS 52641 WITH SCORE 52832.092
AT ITER 6067 NEW BEST:: SOT 313951 SOS 190987 HAS SOPS 174974 HAS SOUS 52793 HAS SOUPS 52585 WITH SCORE 52775.987
AT ITER 6115 NEW BEST:: SOT 313954 SOS 190760 HAS SOPS 174747 HAS SOUS 52566 HAS SOUPS 52358 WITH SCORE 52548.76
AT ITER 6130 NEW BEST:: SOT 313954 SOS 190739 HAS SOPS 174726 HAS SOUS 52559 HAS SOUPS 52351 WITH SCORE 52541.739
AT ITER 6138 NEW BEST:: SOT 314282 SOS 190529 HAS SOPS 174476 HAS SOUS 52289 HAS SOUPS 52081 WITH SCORE 52271.529
AT ITER 6149 NEW BEST:: SOT 314312 SOS 190559 HAS SOPS 174506 HAS SOUS 52263 HAS SOUPS 52055 WITH SCORE 52245.559
AT ITER 6151 NEW BEST:: SOT 314334 SOS 190555 HAS SOPS 174502 HAS SOUS 52259 HAS SOUPS 52051 WITH SCORE 52241.555
AT ITER 6163 NEW BEST:: SOT 314334 SOS 190555 HAS SOPS 174502 HAS SOUS 52240 HAS SOUPS 52032 WITH SCORE 52222.555
AT ITER 6189 NEW BEST:: SOT 314334 SOS 190515 HAS SOPS 174451 HAS SOUS 52096 HAS SOUPS 51888 WITH SCORE 52078.515
AT ITER 6209 NEW BEST:: SOT 314384 SOS 190511 HAS SOPS 174447 HAS SOUS 51900 HAS SOUPS 51692 WITH SCORE 51882.511
AT ITER 6277 NEW BEST:: SOT 313680 SOS 189807 HAS SOPS 173743 HAS SOUS 51900 HAS SOUPS 51692 WITH SCORE 51881.807
AT ITER 6289 NEW BEST:: SOT 308569 SOS 184696 HAS SOPS 168632 HAS SOUS 51093 HAS SOUPS 50885 WITH SCORE 51069.696
AT ITER 6346 NEW BEST:: SOT 306617 SOS 182744 HAS SOPS 166680 HAS SOUS 51093 HAS SOUPS 50885 WITH SCORE 51067.744
AT ITER 6386 NEW BEST:: SOT 306587 SOS 182714 HAS SOPS 166680 HAS SOUS 51093 HAS SOUPS 50885 WITH SCORE 51067.714
AT ITER 6430 NEW BEST:: SOT 306596 SOS 182546 HAS SOPS 166513 HAS SOUS 51057 HAS SOUPS 50849 WITH SCORE 51031.546
AT ITER 6444 NEW BEST:: SOT 306574 SOS 182524 HAS SOPS 166491 HAS SOUS 51035 HAS SOUPS 50827 WITH SCORE 51009.524
AT ITER 6470 NEW BEST:: SOT 306196 SOS 182146 HAS SOPS 167023 HAS SOUS 51035 HAS SOUPS 50827 WITH SCORE 51009.146
AT ITER 6517 NEW BEST:: SOT 306793 SOS 182519 HAS SOPS 167345 HAS SOUS 50491 HAS SOUPS 50283 WITH SCORE 50465.519
AT ITER 6602 NEW BEST:: SOT 306793 SOS 182505 HAS SOPS 167331 HAS SOUS 50478 HAS SOUPS 50270 WITH SCORE 50452.505
AT ITER 6630 NEW BEST:: SOT 304553 SOS 180265 HAS SOPS 165416 HAS SOUS 50207 HAS SOUPS 49999 WITH SCORE 50179.265
AT ITER 6632 NEW BEST:: SOT 304553 SOS 180265 HAS SOPS 165416 HAS SOUS 50175 HAS SOUPS 49967 WITH SCORE 50147.265
AT ITER 6633 NEW BEST:: SOT 304553 SOS 179767 HAS SOPS 164918 HAS SOUS 50006 HAS SOUPS 49798 WITH SCORE 49977.767
AT ITER 6645 NEW BEST:: SOT 304553 SOS 177713 HAS SOPS 162864 HAS SOUS 50006 HAS SOUPS 49798 WITH SCORE 49975.713
AT ITER 6707 NEW BEST:: SOT 304553 SOS 177695 HAS SOPS 162846 HAS SOUS 49974 HAS SOUPS 49766 WITH SCORE 49943.695
AT ITER 6710 NEW BEST:: SOT 304553 SOS 177667 HAS SOPS 162818 HAS SOUS 49960 HAS SOUPS 49752 WITH SCORE 49929.667
AT ITER 6722 NEW BEST:: SOT 304553 SOS 177621 HAS SOPS 162772 HAS SOUS 49908 HAS SOUPS 49700 WITH SCORE 49877.621
AT ITER 6740 NEW BEST:: SOT 305737 SOS 177718 HAS SOPS 159558 HAS SOUS 49864 HAS SOUPS 49656 WITH SCORE 49833.718
AT ITER 6804 NEW BEST:: SOT 305737 SOS 177571 HAS SOPS 159411 HAS SOUS 49834 HAS SOUPS 49626 WITH SCORE 49803.571
AT ITER 6812 NEW BEST:: SOT 305988 SOS 177416 HAS SOPS 159242 HAS SOUS 49343 HAS SOUPS 49135 WITH SCORE 49312.416
AT ITER 6813 NEW BEST:: SOT 304436 SOS 175864 HAS SOPS 157690 HAS SOUS 49343 HAS SOUPS 49135 WITH SCORE 49310.864
AT ITER 6837 NEW BEST:: SOT 304436 SOS 175818 HAS SOPS 157644 HAS SOUS 49297 HAS SOUPS 49089 WITH SCORE 49264.818
AT ITER 6854 NEW BEST:: SOT 304436 SOS 175750 HAS SOPS 157576 HAS SOUS 49229 HAS SOUPS 49021 WITH SCORE 49196.75
AT ITER 6862 NEW BEST:: SOT 304485 SOS 175619 HAS SOPS 157249 HAS SOUS 49184 HAS SOUPS 48976 WITH SCORE 49151.619
AT ITER 6917 NEW BEST:: SOT 304485 SOS 175643 HAS SOPS 157273 HAS SOUS 49164 HAS SOUPS 48956 WITH SCORE 49131.643
AT ITER 6956 NEW BEST:: SOT 304305 SOS 175463 HAS SOPS 157093 HAS SOUS 49128 HAS SOUPS 48920 WITH SCORE 49095.463
AT ITER 6999 NEW BEST:: SOT 304305 SOS 175444 HAS SOPS 157074 HAS SOUS 49084 HAS SOUPS 48876 WITH SCORE 49051.444
AT ITER 7046 NEW BEST:: SOT 304479 SOS 175408 HAS SOPS 157038 HAS SOUS 48854 HAS SOUPS 48646 WITH SCORE 48821.408
AT ITER 7049 NEW BEST:: SOT 304479 SOS 175392 HAS SOPS 157022 HAS SOUS 48838 HAS SOUPS 48630 WITH SCORE 48805.392
AT ITER 7096 NEW BEST:: SOT 304568 SOS 175481 HAS SOPS 157111 HAS SOUS 48776 HAS SOUPS 48568 WITH SCORE 48743.481
AT ITER 7123 NEW BEST:: SOT 304568 SOS 175221 HAS SOPS 156851 HAS SOUS 48755 HAS SOUPS 48547 WITH SCORE 48722.221
AT ITER 7141 NEW BEST:: SOT 304929 SOS 175151 HAS SOPS 156781 HAS SOUS 48604 HAS SOUPS 48396 WITH SCORE 48571.151
AT ITER 7159 NEW BEST:: SOT 301899 SOS 172121 HAS SOPS 153832 HAS SOUS 48466 HAS SOUPS 48258 WITH SCORE 48430.121
AT ITER 7164 NEW BEST:: SOT 295197 SOS 214398 HAS SOPS 150367 HAS SOUS 41970 HAS SOUPS 41638 WITH SCORE 41852.398
AT ITER 7168 NEW BEST:: SOT 295141 SOS 214342 HAS SOPS 152562 HAS SOUS 41948 HAS SOUPS 41616 WITH SCORE 41830.342
AT ITER 7187 NEW BEST:: SOT 295102 SOS 214303 HAS SOPS 152562 HAS SOUS 41948 HAS SOUPS 41616 WITH SCORE 41830.303
AT ITER 7230 NEW BEST:: SOT 295102 SOS 214303 HAS SOPS 152562 HAS SOUS 41944 HAS SOUPS 41612 WITH SCORE 41826.303
AT ITER 7316 NEW BEST:: SOT 295022 SOS 214223 HAS SOPS 152482 HAS SOUS 41928 HAS SOUPS 41596 WITH SCORE 41810.223
AT ITER 7320 NEW BEST:: SOT 294980 SOS 214181 HAS SOPS 152440 HAS SOUS 41928 HAS SOUPS 41596 WITH SCORE 41810.181
AT ITER 7378 NEW BEST:: SOT 293588 SOS 212789 HAS SOPS 151048 HAS SOUS 41928 HAS SOUPS 41596 WITH SCORE 41808.789
AT ITER 7393 NEW BEST:: SOT 293471 SOS 212672 HAS SOPS 150931 HAS SOUS 41694 HAS SOUPS 41362 WITH SCORE 41574.672
AT ITER 7432 NEW BEST:: SOT 293414 SOS 212615 HAS SOPS 150874 HAS SOUS 41629 HAS SOUPS 41297 WITH SCORE 41509.615
AT ITER 7570 NEW BEST:: SOT 292694 SOS 211895 HAS SOPS 150154 HAS SOUS 41629 HAS SOUPS 41297 WITH SCORE 41508.895
AT ITER 7712 NEW BEST:: SOT 292694 SOS 211822 HAS SOPS 150081 HAS SOUS 41595 HAS SOUPS 41263 WITH SCORE 41474.822
AT ITER 7726 NEW BEST:: SOT 293363 SOS 209359 HAS SOPS 141932 HAS SOUS 41381 HAS SOUPS 41049 WITH SCORE 41258.359
AT ITER 7744 NEW BEST:: SOT 293231 SOS 209227 HAS SOPS 141800 HAS SOUS 41249 HAS SOUPS 40917 WITH SCORE 41126.227
AT ITER 7782 NEW BEST:: SOT 293413 SOS 209355 HAS SOPS 141553 HAS SOUS 41096 HAS SOUPS 40764 WITH SCORE 40973.355
AT ITER 7831 NEW BEST:: SOT 293349 SOS 209291 HAS SOPS 141081 HAS SOUS 41025 HAS SOUPS 40693 WITH SCORE 40902.291
AT ITER 7859 NEW BEST:: SOT 293304 SOS 209246 HAS SOPS 141036 HAS SOUS 40898 HAS SOUPS 40566 WITH SCORE 40775.246
AT ITER 7869 NEW BEST:: SOT 293304 SOS 209125 HAS SOPS 140915 HAS SOUS 40834 HAS SOUPS 40502 WITH SCORE 40711.125
AT ITER 7875 NEW BEST:: SOT 287498 SOS 205311 HAS SOPS 139947 HAS SOUS 40646 HAS SOUPS 40314 WITH SCORE 40519.311
AT ITER 7936 NEW BEST:: SOT 287498 SOS 205212 HAS SOPS 139848 HAS SOUS 40646 HAS SOUPS 40314 WITH SCORE 40519.212
AT ITER 7996 NEW BEST:: SOT 287352 SOS 205066 HAS SOPS 139703 HAS SOUS 40580 HAS SOUPS 40248 WITH SCORE 40453.066
AT ITER 8040 NEW BEST:: SOT 287415 SOS 205129 HAS SOPS 139521 HAS SOUS 40550 HAS SOUPS 40218 WITH SCORE 40423.129
AT ITER 8202 NEW BEST:: SOT 286599 SOS 204313 HAS SOPS 138705 HAS SOUS 40550 HAS SOUPS 40218 WITH SCORE 40422.313
AT ITER 8332 NEW BEST:: SOT 286599 SOS 204313 HAS SOPS 138705 HAS SOUS 40534 HAS SOUPS 40202 WITH SCORE 40406.313
AT ITER 8350 NEW BEST:: SOT 279863 SOS 197577 HAS SOPS 131969 HAS SOUS 40054 HAS SOUPS 39722 WITH SCORE 39919.577
AT ITER 8385 NEW BEST:: SOT 279863 SOS 197469 HAS SOPS 131857 HAS SOUS 40025 HAS SOUPS 39693 WITH SCORE 39890.469
AT ITER 8393 NEW BEST:: SOT 279778 SOS 197384 HAS SOPS 131841 HAS SOUS 40017 HAS SOUPS 39685 WITH SCORE 39882.384
AT ITER 8403 NEW BEST:: SOT 280269 SOS 197875 HAS SOPS 132019 HAS SOUS 39682 HAS SOUPS 39350 WITH SCORE 39547.875
AT ITER 8485 NEW BEST:: SOT 280085 SOS 197691 HAS SOPS 132011 HAS SOUS 39498 HAS SOUPS 39210 WITH SCORE 39407.691
AT ITER 8499 NEW BEST:: SOT 280137 SOS 197743 HAS SOPS 132055 HAS SOUS 39490 HAS SOUPS 39202 WITH SCORE 39399.743
AT ITER 8511 NEW BEST:: SOT 280123 SOS 197729 HAS SOPS 131474 HAS SOUS 39357 HAS SOUPS 39069 WITH SCORE 39266.729
AT ITER 8581 NEW BEST:: SOT 281447 SOS 195511 HAS SOPS 122978 HAS SOUS 38979 HAS SOUPS 38691 WITH SCORE 38886.511
AT ITER 8593 NEW BEST:: SOT 281447 SOS 195511 HAS SOPS 122978 HAS SOUS 38957 HAS SOUPS 38669 WITH SCORE 38864.511
AT ITER 8628 NEW BEST:: SOT 281264 SOS 195367 HAS SOPS 122834 HAS SOUS 38813 HAS SOUPS 38525 WITH SCORE 38720.367
AT ITER 8664 NEW BEST:: SOT 281264 SOS 195367 HAS SOPS 122834 HAS SOUS 38803 HAS SOUPS 38515 WITH SCORE 38710.367
AT ITER 8721 NEW BEST:: SOT 281153 SOS 195301 HAS SOPS 122828 HAS SOUS 38680 HAS SOUPS 38392 WITH SCORE 38587.301
AT ITER 8739 NEW BEST:: SOT 281043 SOS 195191 HAS SOPS 123256 HAS SOUS 38648 HAS SOUPS 38360 WITH SCORE 38555.191
AT ITER 8824 NEW BEST:: SOT 281043 SOS 195016 HAS SOPS 123081 HAS SOUS 38555 HAS SOUPS 38267 WITH SCORE 38462.016
AT ITER 8908 NEW BEST:: SOT 281073 SOS 195046 HAS SOPS 123059 HAS SOUS 38514 HAS SOUPS 38226 WITH SCORE 38421.046
AT ITER 8955 NEW BEST:: SOT 280955 SOS 194928 HAS SOPS 122941 HAS SOUS 38396 HAS SOUPS 38108 WITH SCORE 38302.928
AT ITER 9184 NEW BEST:: SOT 281026 SOS 194847 HAS SOPS 122611 HAS SOUS 38151 HAS SOUPS 37863 WITH SCORE 38057.847
AT ITER 9221 NEW BEST:: SOT 281013 SOS 194834 HAS SOPS 122585 HAS SOUS 38125 HAS SOUPS 37837 WITH SCORE 38031.834
AT ITER 9285 NEW BEST:: SOT 281053 SOS 194874 HAS SOPS 122625 HAS SOUS 38095 HAS SOUPS 37807 WITH SCORE 38001.874
AT ITER 9313 NEW BEST:: SOT 281051 SOS 194872 HAS SOPS 122724 HAS SOUS 38056 HAS SOUPS 37768 WITH SCORE 37962.872
AT ITER 9391 NEW BEST:: SOT 280213 SOS 194034 HAS SOPS 121886 HAS SOUS 37237 HAS SOUPS 36949 WITH SCORE 37143.034
AT ITER 9397 NEW BEST:: SOT 280213 SOS 194034 HAS SOPS 121886 HAS SOUS 37174 HAS SOUPS 36886 WITH SCORE 37080.034
AT ITER 9446 NEW BEST:: SOT 280203 SOS 194024 HAS SOPS 121876 HAS SOUS 37134 HAS SOUPS 36846 WITH SCORE 37040.024
AT ITER 9456 NEW BEST:: SOT 280171 SOS 193992 HAS SOPS 121844 HAS SOUS 37094 HAS SOUPS 36806 WITH SCORE 36999.992
AT ITER 9480 NEW BEST:: SOT 279900 SOS 193721 HAS SOPS 121802 HAS SOUS 37094 HAS SOUPS 36806 WITH SCORE 36999.721
AT ITER 9516 NEW BEST:: SOT 280177 SOS 193816 HAS SOPS 121897 HAS SOUS 36959 HAS SOUPS 36671 WITH SCORE 36864.816
AT ITER 9518 NEW BEST:: SOT 280253 SOS 193892 HAS SOPS 120434 HAS SOUS 36952 HAS SOUPS 36664 WITH SCORE 36857.892
AT ITER 9579 NEW BEST:: SOT 280232 SOS 193871 HAS SOPS 120479 HAS SOUS 36952 HAS SOUPS 36664 WITH SCORE 36857.871
AT ITER 9678 NEW BEST:: SOT 280227 SOS 193794 HAS SOPS 120402 HAS SOUS 36942 HAS SOUPS 36654 WITH SCORE 36847.794
AT ITER 9685 NEW BEST:: SOT 280227 SOS 193804 HAS SOPS 120412 HAS SOUS 36917 HAS SOUPS 36629 WITH SCORE 36822.804
AT ITER 9836 NEW BEST:: SOT 280230 SOS 193807 HAS SOPS 120407 HAS SOUS 36915 HAS SOUPS 36627 WITH SCORE 36820.807
AT ITER 9916 NEW BEST:: SOT 280230 SOS 193807 HAS SOPS 120407 HAS SOUS 36900 HAS SOUPS 36612 WITH SCORE 36805.807
AT ITER 9920 NEW BEST:: SOT 279827 SOS 193404 HAS SOPS 120500 HAS SOUS 36810 HAS SOUPS 36531 WITH SCORE 36724.404
STATE_SPACE STATES 1612022 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3570462 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679093332517

--------------------
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="SieveSingleMsgMbox-PT-d1m06"
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"
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 smart"
echo " Input is SieveSingleMsgMbox-PT-d1m06, 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 r419-tajo-167905973700416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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