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.r427-tajo-167905979700480.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 smartxred
Input is SieveSingleMsgMbox-PT-d2m36, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 10:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 10:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 10:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 10:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 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 1.1M 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 1679389416151

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=SieveSingleMsgMbox-PT-d2m36
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:03:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:03:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:03:38] [INFO ] Load time of PNML (sax parser for PT used): 129 ms
[2023-03-21 09:03:38] [INFO ] Transformed 2398 places.
[2023-03-21 09:03:38] [INFO ] Transformed 1954 transitions.
[2023-03-21 09:03:38] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 221 ms.
[2023-03-21 09:03:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 26 ms.
Total runtime 276 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m36
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: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802697 SOS 719415 HAS SOPS 719415 HAS SOUS 632207 HAS SOUPS 632207 WITH SCORE 632926.415
AT ITER 2 NEW BEST:: SOT 802697 SOS 719235 HAS SOPS 719235 HAS SOUS 632206 HAS SOUPS 632206 WITH SCORE 632925.235
AT ITER 59 NEW BEST:: SOT 802697 SOS 718421 HAS SOPS 718421 HAS SOUS 631825 HAS SOUPS 631825 WITH SCORE 632543.421
AT ITER 70 NEW BEST:: SOT 802697 SOS 718545 HAS SOPS 718545 HAS SOUS 630950 HAS SOUPS 630950 WITH SCORE 631668.545
AT ITER 119 NEW BEST:: SOT 802697 SOS 718545 HAS SOPS 718545 HAS SOUS 630946 HAS SOUPS 630946 WITH SCORE 631664.545
AT ITER 216 NEW BEST:: SOT 806730 SOS 722402 HAS SOPS 722402 HAS SOUS 630144 HAS SOUPS 630144 WITH SCORE 630866.402
AT ITER 225 NEW BEST:: SOT 807000 SOS 721834 HAS SOPS 721834 HAS SOUS 629870 HAS SOUPS 629870 WITH SCORE 630591.834
AT ITER 228 NEW BEST:: SOT 807000 SOS 721807 HAS SOPS 721807 HAS SOUS 629870 HAS SOUPS 629870 WITH SCORE 630591.807
AT ITER 247 NEW BEST:: SOT 807213 SOS 721435 HAS SOPS 721435 HAS SOUS 629850 HAS SOUPS 629850 WITH SCORE 630571.435
AT ITER 265 NEW BEST:: SOT 807213 SOS 721693 HAS SOPS 721693 HAS SOUS 628388 HAS SOUPS 628388 WITH SCORE 629109.693
AT ITER 277 NEW BEST:: SOT 807213 SOS 721689 HAS SOPS 721689 HAS SOUS 624152 HAS SOUPS 624152 WITH SCORE 624873.689
AT ITER 281 NEW BEST:: SOT 807213 SOS 721333 HAS SOPS 721333 HAS SOUS 624152 HAS SOUPS 624152 WITH SCORE 624873.333
AT ITER 328 NEW BEST:: SOT 807213 SOS 721107 HAS SOPS 721107 HAS SOUS 624119 HAS SOUPS 624119 WITH SCORE 624840.107
AT ITER 359 NEW BEST:: SOT 813153 SOS 727041 HAS SOPS 727041 HAS SOUS 618035 HAS SOUPS 618035 WITH SCORE 618762.041
AT ITER 414 NEW BEST:: SOT 813418 SOS 726833 HAS SOPS 726833 HAS SOUS 617508 HAS SOUPS 617508 WITH SCORE 618234.833
AT ITER 454 NEW BEST:: SOT 813418 SOS 725758 HAS SOPS 725758 HAS SOUS 617504 HAS SOUPS 617504 WITH SCORE 618229.758
AT ITER 478 NEW BEST:: SOT 830590 SOS 742804 HAS SOPS 742804 HAS SOUS 616316 HAS SOUPS 616316 WITH SCORE 617058.804
AT ITER 490 NEW BEST:: SOT 830590 SOS 742771 HAS SOPS 742771 HAS SOUS 610149 HAS SOUPS 610149 WITH SCORE 610891.771
AT ITER 548 NEW BEST:: SOT 843586 SOS 755689 HAS SOPS 755689 HAS SOUS 599457 HAS SOUPS 599457 WITH SCORE 600212.689
AT ITER 626 NEW BEST:: SOT 843586 SOS 755288 HAS SOPS 755288 HAS SOUS 599207 HAS SOUPS 599207 WITH SCORE 599962.288
AT ITER 644 NEW BEST:: SOT 843586 SOS 755356 HAS SOPS 755356 HAS SOUS 593104 HAS SOUPS 593104 WITH SCORE 593859.356
AT ITER 654 NEW BEST:: SOT 843629 SOS 755399 HAS SOPS 755399 HAS SOUS 593041 HAS SOUPS 593041 WITH SCORE 593796.399
AT ITER 762 NEW BEST:: SOT 844356 SOS 755940 HAS SOPS 755940 HAS SOUS 592166 HAS SOUPS 592166 WITH SCORE 592921.94
AT ITER 777 NEW BEST:: SOT 844356 SOS 755911 HAS SOPS 755911 HAS SOUS 580845 HAS SOUPS 580845 WITH SCORE 581600.911
AT ITER 892 NEW BEST:: SOT 851356 SOS 761773 HAS SOPS 761773 HAS SOUS 567902 HAS SOUPS 567902 WITH SCORE 568663.773
AT ITER 895 NEW BEST:: SOT 851069 SOS 761486 HAS SOPS 761486 HAS SOUS 567615 HAS SOUPS 567615 WITH SCORE 568376.486
AT ITER 908 NEW BEST:: SOT 851069 SOS 760686 HAS SOPS 760686 HAS SOUS 567608 HAS SOUPS 567608 WITH SCORE 568368.686
AT ITER 936 NEW BEST:: SOT 851069 SOS 760548 HAS SOPS 760548 HAS SOUS 559675 HAS SOUPS 559675 WITH SCORE 560435.548
AT ITER 1007 NEW BEST:: SOT 851069 SOS 760610 HAS SOPS 760610 HAS SOUS 559667 HAS SOUPS 559667 WITH SCORE 560427.61
AT ITER 1048 NEW BEST:: SOT 851069 SOS 759900 HAS SOPS 759900 HAS SOUS 559592 HAS SOUPS 559592 WITH SCORE 560351.9
AT ITER 1123 NEW BEST:: SOT 851069 SOS 759022 HAS SOPS 759022 HAS SOUS 550294 HAS SOUPS 550294 WITH SCORE 551053.022
AT ITER 1126 NEW BEST:: SOT 859349 SOS 766133 HAS SOPS 766133 HAS SOUS 537562 HAS SOUPS 537562 WITH SCORE 538328.133
AT ITER 1144 NEW BEST:: SOT 879689 SOS 786338 HAS SOPS 786338 HAS SOUS 527986 HAS SOUPS 527986 WITH SCORE 528772.338
AT ITER 1193 NEW BEST:: SOT 910991 SOS 817470 HAS SOPS 817470 HAS SOUS 525912 HAS SOUPS 525912 WITH SCORE 526729.47
AT ITER 1209 NEW BEST:: SOT 930647 SOS 837126 HAS SOPS 837126 HAS SOUS 519684 HAS SOUPS 519684 WITH SCORE 520521.126
AT ITER 1214 NEW BEST:: SOT 950767 SOS 856100 HAS SOPS 856100 HAS SOUS 507841 HAS SOUPS 507841 WITH SCORE 508697.1
AT ITER 1274 NEW BEST:: SOT 972763 SOS 877968 HAS SOPS 877968 HAS SOUS 495349 HAS SOUPS 495349 WITH SCORE 496226.968
AT ITER 1312 NEW BEST:: SOT 972763 SOS 877615 HAS SOPS 877615 HAS SOUS 495160 HAS SOUPS 495160 WITH SCORE 496037.615
AT ITER 1323 NEW BEST:: SOT 977839 SOS 882691 HAS SOPS 882691 HAS SOUS 488860 HAS SOUPS 488860 WITH SCORE 489742.691
AT ITER 1341 NEW BEST:: SOT 977839 SOS 877288 HAS SOPS 877288 HAS SOUS 485586 HAS SOUPS 485586 WITH SCORE 486463.288
AT ITER 1430 NEW BEST:: SOT 977839 SOS 872700 HAS SOPS 872700 HAS SOUS 480901 HAS SOUPS 480901 WITH SCORE 481773.7
AT ITER 1464 NEW BEST:: SOT 969307 SOS 864168 HAS SOPS 864168 HAS SOUS 480901 HAS SOUPS 480901 WITH SCORE 481765.168
AT ITER 1469 NEW BEST:: SOT 978919 SOS 873202 HAS SOPS 873202 HAS SOUS 468936 HAS SOUPS 468936 WITH SCORE 469809.202
AT ITER 1475 NEW BEST:: SOT 985778 SOS 873566 HAS SOPS 870913 HAS SOUS 468590 HAS SOUPS 468358 WITH SCORE 469231.566
AT ITER 1507 NEW BEST:: SOT 993086 SOS 879806 HAS SOPS 876950 HAS SOUS 455931 HAS SOUPS 455699 WITH SCORE 456578.806
AT ITER 1525 NEW BEST:: SOT 997671 SOS 883492 HAS SOPS 880505 HAS SOUS 444267 HAS SOUPS 444035 WITH SCORE 444918.492
AT ITER 1544 NEW BEST:: SOT 997758 SOS 883468 HAS SOPS 880481 HAS SOUS 444094 HAS SOUPS 443862 WITH SCORE 444745.468
AT ITER 1552 NEW BEST:: SOT 985202 SOS 870912 HAS SOPS 867969 HAS SOUS 442878 HAS SOUPS 442646 WITH SCORE 443516.912
AT ITER 1558 NEW BEST:: SOT 983510 SOS 869220 HAS SOPS 866277 HAS SOUS 442878 HAS SOUPS 442646 WITH SCORE 443515.22
AT ITER 1602 NEW BEST:: SOT 985980 SOS 869218 HAS SOPS 864850 HAS SOUS 439118 HAS SOUPS 438886 WITH SCORE 439755.218
AT ITER 1669 NEW BEST:: SOT 985980 SOS 863206 HAS SOPS 858838 HAS SOUS 434420 HAS SOUPS 434188 WITH SCORE 435051.206
AT ITER 1673 NEW BEST:: SOT 994733 SOS 871959 HAS SOPS 867524 HAS SOUS 434353 HAS SOUPS 434121 WITH SCORE 434992.959
AT ITER 1689 NEW BEST:: SOT 1032035 SOS 907833 HAS SOPS 903071 HAS SOUS 429080 HAS SOUPS 428848 WITH SCORE 429755.833
AT ITER 1691 NEW BEST:: SOT 1045768 SOS 921566 HAS SOPS 916713 HAS SOUS 428989 HAS SOUPS 428757 WITH SCORE 429678.566
AT ITER 1694 NEW BEST:: SOT 1047543 SOS 915573 HAS SOPS 909584 HAS SOUS 420781 HAS SOUPS 420549 WITH SCORE 421464.573
AT ITER 1696 NEW BEST:: SOT 1059022 SOS 925193 HAS SOPS 918806 HAS SOUS 408895 HAS SOUPS 408663 WITH SCORE 409588.193
AT ITER 1732 NEW BEST:: SOT 1091780 SOS 956346 HAS SOPS 949561 HAS SOUS 397762 HAS SOUPS 397530 WITH SCORE 398486.346
AT ITER 1734 NEW BEST:: SOT 1092324 SOS 955903 HAS SOPS 949070 HAS SOUS 390002 HAS SOUPS 389770 WITH SCORE 390725.903
AT ITER 1761 NEW BEST:: SOT 1137103 SOS 998861 HAS SOPS 991630 HAS SOUS 386330 HAS SOUPS 386098 WITH SCORE 387096.861
AT ITER 1797 NEW BEST:: SOT 1137103 SOS 992536 HAS SOPS 985305 HAS SOUS 382182 HAS SOUPS 381950 WITH SCORE 382942.536
AT ITER 1799 NEW BEST:: SOT 1166801 SOS 1020280 HAS SOPS 1012651 HAS SOUS 370769 HAS SOUPS 370537 WITH SCORE 371557.28
AT ITER 1825 NEW BEST:: SOT 1166801 SOS 1019012 HAS SOPS 1011383 HAS SOUS 365059 HAS SOUPS 364827 WITH SCORE 365846.012
AT ITER 1840 NEW BEST:: SOT 1167218 SOS 1018838 HAS SOPS 1011209 HAS SOUS 364988 HAS SOUPS 364756 WITH SCORE 365774.838
AT ITER 1880 NEW BEST:: SOT 1191336 SOS 1040995 HAS SOPS 1032968 HAS SOUS 353545 HAS SOUPS 353313 WITH SCORE 354353.995
AT ITER 1897 NEW BEST:: SOT 1235254 SOS 1082994 HAS SOPS 1074569 HAS SOUS 342642 HAS SOUPS 342410 WITH SCORE 343492.994
AT ITER 1935 NEW BEST:: SOT 1267638 SOS 1113322 HAS SOPS 1104499 HAS SOUS 331640 HAS SOUPS 331408 WITH SCORE 332521.322
AT ITER 1948 NEW BEST:: SOT 1290640 SOS 1134433 HAS SOPS 1125212 HAS SOUS 320497 HAS SOUPS 320265 WITH SCORE 321399.433
AT ITER 1963 NEW BEST:: SOT 1290640 SOS 1133824 HAS SOPS 1124603 HAS SOUS 320463 HAS SOUPS 320231 WITH SCORE 321364.824
AT ITER 1979 NEW BEST:: SOT 1290744 SOS 1133283 HAS SOPS 1124062 HAS SOUS 320236 HAS SOUPS 320004 WITH SCORE 321137.283
AT ITER 2044 NEW BEST:: SOT 1290744 SOS 1133258 HAS SOPS 1124037 HAS SOUS 320233 HAS SOUPS 320001 WITH SCORE 321134.258
AT ITER 2048 NEW BEST:: SOT 1291359 SOS 1128247 HAS SOPS 1117498 HAS SOUS 318286 HAS SOUPS 318054 WITH SCORE 319182.247
AT ITER 2088 NEW BEST:: SOT 1291359 SOS 1120010 HAS SOPS 1109261 HAS SOUS 315411 HAS SOUPS 315179 WITH SCORE 316299.01
AT ITER 2100 NEW BEST:: SOT 1298060 SOS 1124371 HAS SOPS 1113195 HAS SOUS 304825 HAS SOUPS 304593 WITH SCORE 305717.371
AT ITER 2115 NEW BEST:: SOT 1299756 SOS 1113912 HAS SOPS 1100045 HAS SOUS 300316 HAS SOUPS 300084 WITH SCORE 301197.912
AT ITER 2158 NEW BEST:: SOT 1299756 SOS 1108054 HAS SOPS 1094187 HAS SOUS 299099 HAS SOUPS 298867 WITH SCORE 299975.054
AT ITER 2185 NEW BEST:: SOT 1300892 SOS 1098061 HAS SOPS 1082378 HAS SOUS 294635 HAS SOUPS 294403 WITH SCORE 295501.061
AT ITER 2251 NEW BEST:: SOT 1305507 SOS 1099778 HAS SOPS 1078296 HAS SOUS 293611 HAS SOUPS 293357 WITH SCORE 294456.778
AT ITER 2300 NEW BEST:: SOT 1305683 SOS 1099899 HAS SOPS 1078241 HAS SOUS 293556 HAS SOUPS 293302 WITH SCORE 294401.899
AT ITER 2311 NEW BEST:: SOT 1313100 SOS 1095613 HAS SOPS 1066407 HAS SOUS 291683 HAS SOUPS 291318 WITH SCORE 292413.613
AT ITER 2328 NEW BEST:: SOT 1313100 SOS 1085618 HAS SOPS 1056412 HAS SOUS 288572 HAS SOUPS 288207 WITH SCORE 289292.618
AT ITER 2355 NEW BEST:: SOT 1323666 SOS 1083906 HAS SOPS 1045627 HAS SOUS 287023 HAS SOUPS 286544 WITH SCORE 287627.906
AT ITER 2367 NEW BEST:: SOT 1324960 SOS 1084914 HAS SOPS 1046635 HAS SOUS 286568 HAS SOUPS 286089 WITH SCORE 287173.914
AT ITER 2391 NEW BEST:: SOT 1326994 SOS 1075040 HAS SOPS 1033588 HAS SOUS 281887 HAS SOUPS 281408 WITH SCORE 282483.04
AT ITER 2401 NEW BEST:: SOT 1351621 SOS 1099667 HAS SOPS 1058146 HAS SOUS 281818 HAS SOUPS 281339 WITH SCORE 282438.667
AT ITER 2441 NEW BEST:: SOT 1351621 SOS 1099305 HAS SOPS 1057784 HAS SOUS 281814 HAS SOUPS 281335 WITH SCORE 282434.305
AT ITER 2652 NEW BEST:: SOT 1391624 SOS 1134741 HAS SOPS 1091355 HAS SOUS 273211 HAS SOUPS 272732 WITH SCORE 273866.741
AT ITER 2695 NEW BEST:: SOT 1391624 SOS 1132405 HAS SOPS 1089019 HAS SOUS 269872 HAS SOUPS 269393 WITH SCORE 270525.405
AT ITER 2782 NEW BEST:: SOT 1403752 SOS 1132363 HAS SOPS 1078309 HAS SOUS 268004 HAS SOUPS 267448 WITH SCORE 268580.363
AT ITER 2789 NEW BEST:: SOT 1426190 SOS 1154801 HAS SOPS 1100289 HAS SOUS 267762 HAS SOUPS 267206 WITH SCORE 268360.801
AT ITER 2811 NEW BEST:: SOT 1398921 SOS 1127532 HAS SOPS 1073094 HAS SOUS 267097 HAS SOUPS 266541 WITH SCORE 267668.532
AT ITER 2884 NEW BEST:: SOT 1390101 SOS 1118712 HAS SOPS 1064274 HAS SOUS 267097 HAS SOUPS 266541 WITH SCORE 267659.712
AT ITER 2888 NEW BEST:: SOT 1390101 SOS 1118370 HAS SOPS 1063932 HAS SOUS 267041 HAS SOUPS 266485 WITH SCORE 267603.37
AT ITER 2963 NEW BEST:: SOT 1390101 SOS 1118333 HAS SOPS 1063895 HAS SOUS 266834 HAS SOUPS 266278 WITH SCORE 267396.333
AT ITER 2982 NEW BEST:: SOT 1390101 SOS 1118333 HAS SOPS 1063895 HAS SOUS 266685 HAS SOUPS 266129 WITH SCORE 267247.333
AT ITER 2997 NEW BEST:: SOT 1427307 SOS 1150330 HAS SOPS 1093471 HAS SOUS 258887 HAS SOUPS 258331 WITH SCORE 259481.33
AT ITER 3021 NEW BEST:: SOT 1460287 SOS 1183310 HAS SOPS 1125555 HAS SOUS 258529 HAS SOUPS 257973 WITH SCORE 259156.31
AT ITER 3029 NEW BEST:: SOT 1460287 SOS 1183198 HAS SOPS 1125443 HAS SOUS 258417 HAS SOUPS 257861 WITH SCORE 259044.198
AT ITER 3038 NEW BEST:: SOT 1481878 SOS 1200023 HAS SOPS 1139847 HAS SOUS 250269 HAS SOUPS 249713 WITH SCORE 250913.023
AT ITER 3059 NEW BEST:: SOT 1504009 SOS 1221912 HAS SOPS 1159315 HAS SOUS 249141 HAS SOUPS 248585 WITH SCORE 249806.912
AT ITER 3060 NEW BEST:: SOT 1504169 SOS 1222072 HAS SOPS 1159475 HAS SOUS 249139 HAS SOUPS 248583 WITH SCORE 249805.072
AT ITER 3083 NEW BEST:: SOT 1510916 SOS 1227019 HAS SOPS 1154236 HAS SOUS 248450 HAS SOUPS 247894 WITH SCORE 249121.019
AT ITER 3124 NEW BEST:: SOT 1510916 SOS 1226747 HAS SOPS 1153964 HAS SOUS 248284 HAS SOUPS 247728 WITH SCORE 248954.747
AT ITER 3305 NEW BEST:: SOT 1510916 SOS 1226335 HAS SOPS 1153552 HAS SOUS 248284 HAS SOUPS 247728 WITH SCORE 248954.335
AT ITER 3314 NEW BEST:: SOT 1511158 SOS 1226272 HAS SOPS 1153489 HAS SOUS 248221 HAS SOUPS 247665 WITH SCORE 248891.272
AT ITER 3444 NEW BEST:: SOT 1519971 SOS 1232764 HAS SOPS 1157768 HAS SOUS 244067 HAS SOUPS 243511 WITH SCORE 244743.764
AT ITER 3461 NEW BEST:: SOT 1500216 SOS 1213009 HAS SOPS 1138022 HAS SOUS 244076 HAS SOUPS 243520 WITH SCORE 244733.009
AT ITER 3464 NEW BEST:: SOT 1500237 SOS 1212179 HAS SOPS 1137192 HAS SOUS 243791 HAS SOUPS 243235 WITH SCORE 244447.179
AT ITER 3517 NEW BEST:: SOT 1501647 SOS 1213589 HAS SOPS 1138320 HAS SOUS 243744 HAS SOUPS 243188 WITH SCORE 244401.589
AT ITER 3582 NEW BEST:: SOT 1508406 SOS 1207615 HAS SOPS 1121475 HAS SOUS 240483 HAS SOUPS 239927 WITH SCORE 241134.615
AT ITER 3606 NEW BEST:: SOT 1545174 SOS 1238900 HAS SOPS 1149496 HAS SOUS 232349 HAS SOUPS 231793 WITH SCORE 233031.9
AT ITER 3691 NEW BEST:: SOT 1509795 SOS 1203521 HAS SOPS 1116848 HAS SOUS 231834 HAS SOUPS 231278 WITH SCORE 232481.521
AT ITER 3763 NEW BEST:: SOT 1509795 SOS 1203776 HAS SOPS 1117103 HAS SOUS 231793 HAS SOUPS 231237 WITH SCORE 232440.776
AT ITER 3767 NEW BEST:: SOT 1501100 SOS 1195081 HAS SOPS 1108408 HAS SOUS 231558 HAS SOUPS 231002 WITH SCORE 232197.081
AT ITER 3787 NEW BEST:: SOT 1503944 SOS 1184962 HAS SOPS 1091580 HAS SOUS 228646 HAS SOUPS 228090 WITH SCORE 229274.962
AT ITER 3790 NEW BEST:: SOT 1528645 SOS 1209663 HAS SOPS 1116250 HAS SOUS 228615 HAS SOUPS 228059 WITH SCORE 229268.663
AT ITER 3851 NEW BEST:: SOT 1498975 SOS 1179993 HAS SOPS 1086862 HAS SOUS 228088 HAS SOUPS 227532 WITH SCORE 228711.993
AT ITER 3885 NEW BEST:: SOT 1499364 SOS 1179660 HAS SOPS 1086529 HAS SOUS 227984 HAS SOUPS 227428 WITH SCORE 228607.66
AT ITER 3888 NEW BEST:: SOT 1499364 SOS 1171733 HAS SOPS 1078602 HAS SOUS 226728 HAS SOUPS 226172 WITH SCORE 227343.733
AT ITER 3971 NEW BEST:: SOT 1512304 SOS 1181968 HAS SOPS 1085469 HAS SOUS 222431 HAS SOUPS 221875 WITH SCORE 223056.968
AT ITER 3998 NEW BEST:: SOT 1512437 SOS 1182076 HAS SOPS 1085444 HAS SOUS 222406 HAS SOUPS 221850 WITH SCORE 223032.076
AT ITER 4003 NEW BEST:: SOT 1505754 SOS 1175393 HAS SOPS 1088642 HAS SOUS 222406 HAS SOUPS 221850 WITH SCORE 223025.393
AT ITER 4015 NEW BEST:: SOT 1505969 SOS 1175521 HAS SOPS 1088631 HAS SOUS 222380 HAS SOUPS 221824 WITH SCORE 222999.521
AT ITER 4017 NEW BEST:: SOT 1516289 SOS 1171922 HAS SOPS 1070834 HAS SOUS 220722 HAS SOUPS 220124 WITH SCORE 221295.922
AT ITER 4029 NEW BEST:: SOT 1516802 SOS 1157982 HAS SOPS 1055070 HAS SOUS 218205 HAS SOUPS 217607 WITH SCORE 218764.982
AT ITER 4035 NEW BEST:: SOT 1516898 SOS 1144528 HAS SOPS 1041220 HAS SOUS 215647 HAS SOUPS 215049 WITH SCORE 216193.528
AT ITER 4083 NEW BEST:: SOT 1516898 SOS 1144378 HAS SOPS 1041070 HAS SOUS 215554 HAS SOUPS 214956 WITH SCORE 216100.378
AT ITER 4108 NEW BEST:: SOT 1525663 SOS 1150701 HAS SOPS 1034141 HAS SOUS 214915 HAS SOUPS 214317 WITH SCORE 215467.701
AT ITER 4193 NEW BEST:: SOT 1525663 SOS 1139048 HAS SOPS 1022488 HAS SOUS 213160 HAS SOUPS 212562 WITH SCORE 213701.048
AT ITER 4257 NEW BEST:: SOT 1525663 SOS 1135969 HAS SOPS 1019409 HAS SOUS 210950 HAS SOUPS 210352 WITH SCORE 211487.969
AT ITER 4342 NEW BEST:: SOT 1525663 SOS 1135937 HAS SOPS 1019377 HAS SOUS 210906 HAS SOUPS 210308 WITH SCORE 211443.937
AT ITER 4346 NEW BEST:: SOT 1525890 SOS 1136142 HAS SOPS 1019582 HAS SOUS 210899 HAS SOUPS 210301 WITH SCORE 211437.142
AT ITER 4359 NEW BEST:: SOT 1525890 SOS 1129288 HAS SOPS 1012728 HAS SOUS 210499 HAS SOUPS 209901 WITH SCORE 211030.288
AT ITER 4399 NEW BEST:: SOT 1524736 SOS 1128134 HAS SOPS 1012757 HAS SOUS 210499 HAS SOUPS 209901 WITH SCORE 211029.134
AT ITER 4409 NEW BEST:: SOT 1523260 SOS 1126658 HAS SOPS 1011281 HAS SOUS 210499 HAS SOUPS 209901 WITH SCORE 211027.658
AT ITER 4524 NEW BEST:: SOT 1557500 SOS 1157287 HAS SOPS 1037670 HAS SOUS 207670 HAS SOUPS 207072 WITH SCORE 208229.287
AT ITER 4545 NEW BEST:: SOT 1557500 SOS 1155472 HAS SOPS 1035855 HAS SOUS 207288 HAS SOUPS 206690 WITH SCORE 207845.472
AT ITER 4598 NEW BEST:: SOT 1559189 SOS 1152715 HAS SOPS 1027243 HAS SOUS 206300 HAS SOUPS 205702 WITH SCORE 206854.715
AT ITER 4632 NEW BEST:: SOT 1524626 SOS 1118152 HAS SOPS 994405 HAS SOUS 204930 HAS SOUPS 204332 WITH SCORE 205450.152
AT ITER 4659 NEW BEST:: SOT 1524626 SOS 1117949 HAS SOPS 994202 HAS SOUS 204928 HAS SOUPS 204330 WITH SCORE 205447.949
AT ITER 4729 NEW BEST:: SOT 1504741 SOS 1098064 HAS SOPS 976114 HAS SOUS 204744 HAS SOUPS 204146 WITH SCORE 205244.064
AT ITER 4774 NEW BEST:: SOT 1478558 SOS 1071881 HAS SOPS 950943 HAS SOUS 204302 HAS SOUPS 203704 WITH SCORE 204775.881
AT ITER 4885 NEW BEST:: SOT 1478558 SOS 1071356 HAS SOPS 950418 HAS SOUS 204298 HAS SOUPS 203700 WITH SCORE 204771.356
AT ITER 4933 NEW BEST:: SOT 1478435 SOS 1075273 HAS SOPS 954333 HAS SOUS 204099 HAS SOUPS 203501 WITH SCORE 204576.273
AT ITER 4943 NEW BEST:: SOT 1478435 SOS 1072924 HAS SOPS 951984 HAS SOUS 204080 HAS SOUPS 203482 WITH SCORE 204554.924
AT ITER 5006 NEW BEST:: SOT 1478606 SOS 1073029 HAS SOPS 951918 HAS SOUS 203995 HAS SOUPS 203397 WITH SCORE 204470.029
AT ITER 5066 NEW BEST:: SOT 1469912 SOS 1064335 HAS SOPS 944668 HAS SOUS 203995 HAS SOUPS 203397 WITH SCORE 204461.335
AT ITER 5083 NEW BEST:: SOT 1467565 SOS 1061988 HAS SOPS 942786 HAS SOUS 203995 HAS SOUPS 203397 WITH SCORE 204458.988
AT ITER 5097 NEW BEST:: SOT 1468621 SOS 1063044 HAS SOPS 943746 HAS SOUS 203963 HAS SOUPS 203365 WITH SCORE 204428.044
AT ITER 5152 NEW BEST:: SOT 1468621 SOS 1058484 HAS SOPS 939186 HAS SOUS 200966 HAS SOUPS 200368 WITH SCORE 201426.484
AT ITER 5212 NEW BEST:: SOT 1468621 SOS 1058128 HAS SOPS 938830 HAS SOUS 200952 HAS SOUPS 200354 WITH SCORE 201412.128
AT ITER 5261 NEW BEST:: SOT 1468621 SOS 1057971 HAS SOPS 938673 HAS SOUS 200840 HAS SOUPS 200242 WITH SCORE 201299.971
AT ITER 5323 NEW BEST:: SOT 1488136 SOS 1077486 HAS SOPS 958155 HAS SOUS 200807 HAS SOUPS 200209 WITH SCORE 201286.486
AT ITER 5332 NEW BEST:: SOT 1490897 SOS 1065367 HAS SOPS 938588 HAS SOUS 198622 HAS SOUPS 198024 WITH SCORE 199089.367
AT ITER 5362 NEW BEST:: SOT 1490897 SOS 1051672 HAS SOPS 924893 HAS SOUS 197078 HAS SOUPS 196480 WITH SCORE 197531.672
AT ITER 5368 NEW BEST:: SOT 1490897 SOS 1051644 HAS SOPS 924865 HAS SOUS 197050 HAS SOUPS 196452 WITH SCORE 197503.644
AT ITER 5394 NEW BEST:: SOT 1508436 SOS 1061205 HAS SOPS 929753 HAS SOUS 192035 HAS SOUPS 191437 WITH SCORE 192498.205
AT ITER 5461 NEW BEST:: SOT 1532082 SOS 1084851 HAS SOPS 951629 HAS SOUS 191641 HAS SOUPS 191043 WITH SCORE 192127.851
AT ITER 5516 NEW BEST:: SOT 1532082 SOS 1084851 HAS SOPS 951629 HAS SOUS 191639 HAS SOUPS 191041 WITH SCORE 192125.851
AT ITER 5572 NEW BEST:: SOT 1532082 SOS 1084910 HAS SOPS 951688 HAS SOUS 191580 HAS SOUPS 190982 WITH SCORE 192066.91
AT ITER 5589 NEW BEST:: SOT 1532082 SOS 1084827 HAS SOPS 951605 HAS SOUS 191500 HAS SOUPS 190902 WITH SCORE 191986.827
AT ITER 5632 NEW BEST:: SOT 1532309 SOS 1084997 HAS SOPS 951775 HAS SOUS 191411 HAS SOUPS 190813 WITH SCORE 191897.997
AT ITER 5647 NEW BEST:: SOT 1532309 SOS 1084808 HAS SOPS 951586 HAS SOUS 191218 HAS SOUPS 190620 WITH SCORE 191704.808
AT ITER 5663 NEW BEST:: SOT 1531219 SOS 1083718 HAS SOPS 950331 HAS SOUS 190885 HAS SOUPS 190287 WITH SCORE 191370.718
AT ITER 5829 NEW BEST:: SOT 1540566 SOS 1092890 HAS SOPS 945562 HAS SOUS 190855 HAS SOUPS 190257 WITH SCORE 191349.89
AT ITER 5835 NEW BEST:: SOT 1525662 SOS 1077986 HAS SOPS 930658 HAS SOUS 190855 HAS SOUPS 190257 WITH SCORE 191334.986
AT ITER 5858 NEW BEST:: SOT 1525662 SOS 1076888 HAS SOPS 929560 HAS SOUS 190783 HAS SOUPS 190185 WITH SCORE 191261.888
AT ITER 5862 NEW BEST:: SOT 1525810 SOS 1076977 HAS SOPS 929501 HAS SOUS 190708 HAS SOUPS 190110 WITH SCORE 191186.977
AT ITER 5963 NEW BEST:: SOT 1523679 SOS 1074846 HAS SOPS 934341 HAS SOUS 190708 HAS SOUPS 190110 WITH SCORE 191184.846
AT ITER 5967 NEW BEST:: SOT 1530015 SOS 1077682 HAS SOPS 925473 HAS SOUS 190016 HAS SOUPS 189418 WITH SCORE 190495.682
AT ITER 6022 NEW BEST:: SOT 1531966 SOS 1064705 HAS SOPS 905550 HAS SOUS 188467 HAS SOUPS 187869 WITH SCORE 188933.705
AT ITER 6041 NEW BEST:: SOT 1532154 SOS 1064757 HAS SOPS 905602 HAS SOUS 188430 HAS SOUPS 187832 WITH SCORE 188896.757
AT ITER 6077 NEW BEST:: SOT 1551750 SOS 1081437 HAS SOPS 916606 HAS SOUS 186234 HAS SOUPS 185636 WITH SCORE 186717.437
AT ITER 6080 NEW BEST:: SOT 1551522 SOS 1081209 HAS SOPS 916378 HAS SOUS 186116 HAS SOUPS 185518 WITH SCORE 186599.209
AT ITER 6118 NEW BEST:: SOT 1551522 SOS 1081087 HAS SOPS 916256 HAS SOUS 186115 HAS SOUPS 185517 WITH SCORE 186598.087
AT ITER 6128 NEW BEST:: SOT 1563934 SOS 1093499 HAS SOPS 925996 HAS SOUS 185696 HAS SOUPS 185098 WITH SCORE 186191.499
AT ITER 6140 NEW BEST:: SOT 1563934 SOS 1093499 HAS SOPS 925996 HAS SOUS 185651 HAS SOUPS 185053 WITH SCORE 186146.499
AT ITER 6150 NEW BEST:: SOT 1546294 SOS 1075859 HAS SOPS 908356 HAS SOUS 185651 HAS SOUPS 185053 WITH SCORE 186128.859
AT ITER 6207 NEW BEST:: SOT 1546295 SOS 1061819 HAS SOPS 894281 HAS SOUS 184998 HAS SOUPS 184400 WITH SCORE 185461.819
AT ITER 6353 NEW BEST:: SOT 1541199 SOS 1056723 HAS SOPS 898644 HAS SOUS 184998 HAS SOUPS 184400 WITH SCORE 185456.723
AT ITER 6395 NEW BEST:: SOT 1543334 SOS 1049489 HAS SOPS 889189 HAS SOUS 181037 HAS SOUPS 180439 WITH SCORE 181488.489
AT ITER 6448 NEW BEST:: SOT 1543601 SOS 1049329 HAS SOPS 888991 HAS SOUS 180552 HAS SOUPS 179954 WITH SCORE 181003.329
AT ITER 6538 NEW BEST:: SOT 1530544 SOS 1036272 HAS SOPS 875945 HAS SOUS 180563 HAS SOUPS 179965 WITH SCORE 181001.272
AT ITER 6625 NEW BEST:: SOT 1535431 SOS 1041159 HAS SOPS 880751 HAS SOUS 180512 HAS SOUPS 179914 WITH SCORE 180955.159
AT ITER 6687 NEW BEST:: SOT 1537442 SOS 1028629 HAS SOPS 860064 HAS SOUS 179555 HAS SOUPS 178957 WITH SCORE 179985.629
AT ITER 6714 NEW BEST:: SOT 1537442 SOS 1028573 HAS SOPS 860008 HAS SOUS 179534 HAS SOUPS 178936 WITH SCORE 179964.573
AT ITER 6741 NEW BEST:: SOT 1537442 SOS 1027723 HAS SOPS 859158 HAS SOUS 179182 HAS SOUPS 178584 WITH SCORE 179611.723
AT ITER 6815 NEW BEST:: SOT 1537746 SOS 1027629 HAS SOPS 859064 HAS SOUS 179143 HAS SOUPS 178545 WITH SCORE 179572.629
AT ITER 6875 NEW BEST:: SOT 1537767 SOS 1027650 HAS SOPS 859085 HAS SOUS 179063 HAS SOUPS 178465 WITH SCORE 179492.65
AT ITER 6898 NEW BEST:: SOT 1537767 SOS 1027465 HAS SOPS 858900 HAS SOUS 179017 HAS SOUPS 178419 WITH SCORE 179446.465
AT ITER 6937 NEW BEST:: SOT 1538519 SOS 1028064 HAS SOPS 859461 HAS SOUS 178971 HAS SOUPS 178373 WITH SCORE 179401.064
AT ITER 6952 NEW BEST:: SOT 1538519 SOS 1028064 HAS SOPS 859461 HAS SOUS 178932 HAS SOUPS 178334 WITH SCORE 179362.064
AT ITER 7001 NEW BEST:: SOT 1538519 SOS 1028064 HAS SOPS 859461 HAS SOUS 178926 HAS SOUPS 178328 WITH SCORE 179356.064
AT ITER 7038 NEW BEST:: SOT 1544519 SOS 1030488 HAS SOPS 857821 HAS SOUS 177396 HAS SOUPS 176798 WITH SCORE 177828.488
AT ITER 7071 NEW BEST:: SOT 1566852 SOS 1052821 HAS SOPS 878907 HAS SOUS 177107 HAS SOUPS 176509 WITH SCORE 177561.821
AT ITER 7076 NEW BEST:: SOT 1566852 SOS 1052911 HAS SOPS 878997 HAS SOUS 177087 HAS SOUPS 176489 WITH SCORE 177541.911
AT ITER 7231 NEW BEST:: SOT 1567128 SOS 1053187 HAS SOPS 879273 HAS SOUS 176812 HAS SOUPS 176214 WITH SCORE 177267.187
AT ITER 7237 NEW BEST:: SOT 1567020 SOS 1053079 HAS SOPS 880000 HAS SOUS 176812 HAS SOUPS 176214 WITH SCORE 177267.079
AT ITER 7301 NEW BEST:: SOT 1552764 SOS 1038823 HAS SOPS 865744 HAS SOUS 174976 HAS SOUPS 174378 WITH SCORE 175416.823
AT ITER 7308 NEW BEST:: SOT 1552764 SOS 1038405 HAS SOPS 865326 HAS SOUS 174547 HAS SOUPS 173949 WITH SCORE 174987.405
AT ITER 7326 NEW BEST:: SOT 1552764 SOS 1038405 HAS SOPS 865326 HAS SOUS 174544 HAS SOUPS 173946 WITH SCORE 174984.405
AT ITER 7344 NEW BEST:: SOT 1552848 SOS 1037993 HAS SOPS 864893 HAS SOUS 174194 HAS SOUPS 173596 WITH SCORE 174633.993
AT ITER 7362 NEW BEST:: SOT 1553555 SOS 1038436 HAS SOPS 865315 HAS SOUS 173881 HAS SOUPS 173283 WITH SCORE 174321.436
AT ITER 7394 NEW BEST:: SOT 1554657 SOS 1039019 HAS SOPS 865860 HAS SOUS 173275 HAS SOUPS 172677 WITH SCORE 173716.019
AT ITER 7432 NEW BEST:: SOT 1554657 SOS 1038005 HAS SOPS 864846 HAS SOUS 173275 HAS SOUPS 172677 WITH SCORE 173715.005
AT ITER 7502 NEW BEST:: SOT 1556700 SOS 1040048 HAS SOPS 865764 HAS SOUS 173187 HAS SOUPS 172589 WITH SCORE 173629.048
AT ITER 7533 NEW BEST:: SOT 1552883 SOS 1036231 HAS SOPS 866043 HAS SOUS 173187 HAS SOUPS 172589 WITH SCORE 173625.231
AT ITER 7618 NEW BEST:: SOT 1553011 SOS 1035882 HAS SOPS 865694 HAS SOUS 172884 HAS SOUPS 172286 WITH SCORE 173321.882
AT ITER 7619 NEW BEST:: SOT 1534597 SOS 1017468 HAS SOPS 847921 HAS SOUS 172596 HAS SOUPS 171998 WITH SCORE 173015.468
AT ITER 7653 NEW BEST:: SOT 1534597 SOS 1017472 HAS SOPS 847925 HAS SOUS 172445 HAS SOUPS 171847 WITH SCORE 172864.472
AT ITER 7776 NEW BEST:: SOT 1531985 SOS 1014860 HAS SOPS 847826 HAS SOUS 172445 HAS SOUPS 171847 WITH SCORE 172861.86
AT ITER 7792 NEW BEST:: SOT 1532069 SOS 1014944 HAS SOPS 847910 HAS SOUS 172403 HAS SOUPS 171805 WITH SCORE 172819.944
AT ITER 7834 NEW BEST:: SOT 1532069 SOS 1014909 HAS SOPS 847875 HAS SOUS 172364 HAS SOUPS 171766 WITH SCORE 172780.909
AT ITER 7895 NEW BEST:: SOT 1532301 SOS 1015141 HAS SOPS 848107 HAS SOUS 172246 HAS SOUPS 171648 WITH SCORE 172663.141
AT ITER 7959 NEW BEST:: SOT 1532301 SOS 1014958 HAS SOPS 847924 HAS SOUS 172192 HAS SOUPS 171594 WITH SCORE 172608.958
AT ITER 7962 NEW BEST:: SOT 1532301 SOS 1014958 HAS SOPS 847924 HAS SOUS 172191 HAS SOUPS 171593 WITH SCORE 172607.958
AT ITER 8017 NEW BEST:: SOT 1532301 SOS 1014712 HAS SOPS 847678 HAS SOUS 172138 HAS SOUPS 171540 WITH SCORE 172554.712
AT ITER 8053 NEW BEST:: SOT 1532301 SOS 1014618 HAS SOPS 847584 HAS SOUS 171860 HAS SOUPS 171262 WITH SCORE 172276.618
AT ITER 8071 NEW BEST:: SOT 1534888 SOS 1001866 HAS SOPS 824832 HAS SOUS 170650 HAS SOUPS 170052 WITH SCORE 171053.866
AT ITER 8085 NEW BEST:: SOT 1534587 SOS 1001565 HAS SOPS 825460 HAS SOUS 170650 HAS SOUPS 170052 WITH SCORE 171053.565
AT ITER 8107 NEW BEST:: SOT 1535169 SOS 1002147 HAS SOPS 826042 HAS SOUS 170483 HAS SOUPS 169885 WITH SCORE 170887.147
AT ITER 8149 NEW BEST:: SOT 1535011 SOS 1001989 HAS SOPS 825963 HAS SOUS 170404 HAS SOUPS 169806 WITH SCORE 170807.989
AT ITER 8229 NEW BEST:: SOT 1535752 SOS 1002659 HAS SOPS 826633 HAS SOUS 170195 HAS SOUPS 169597 WITH SCORE 170599.659
AT ITER 8256 NEW BEST:: SOT 1535752 SOS 998697 HAS SOPS 822671 HAS SOUS 170110 HAS SOUPS 169512 WITH SCORE 170510.697
AT ITER 8270 NEW BEST:: SOT 1535710 SOS 998727 HAS SOPS 822722 HAS SOUS 170068 HAS SOUPS 169470 WITH SCORE 170468.727
AT ITER 8302 NEW BEST:: SOT 1535556 SOS 998573 HAS SOPS 822654 HAS SOUS 170052 HAS SOUPS 169454 WITH SCORE 170452.573
AT ITER 8315 NEW BEST:: SOT 1537447 SOS 1000008 HAS SOPS 815197 HAS SOUS 170016 HAS SOUPS 169418 WITH SCORE 170418.008
AT ITER 8452 NEW BEST:: SOT 1538448 SOS 1000659 HAS SOPS 815848 HAS SOUS 169853 HAS SOUPS 169255 WITH SCORE 170255.659
AT ITER 8507 NEW BEST:: SOT 1538448 SOS 1000646 HAS SOPS 815835 HAS SOUS 169660 HAS SOUPS 169062 WITH SCORE 170062.646
AT ITER 8532 NEW BEST:: SOT 1538448 SOS 1000304 HAS SOPS 815493 HAS SOUS 169642 HAS SOUPS 169044 WITH SCORE 170044.304
AT ITER 8545 NEW BEST:: SOT 1567635 SOS 1019987 HAS SOPS 829407 HAS SOUS 166079 HAS SOUPS 165481 WITH SCORE 166500.987
AT ITER 8637 NEW BEST:: SOT 1571336 SOS 1023688 HAS SOPS 832921 HAS SOUS 165971 HAS SOUPS 165373 WITH SCORE 166396.688
AT ITER 8646 NEW BEST:: SOT 1571483 SOS 1023766 HAS SOPS 832999 HAS SOUS 165840 HAS SOUPS 165242 WITH SCORE 166265.766
AT ITER 8678 NEW BEST:: SOT 1573548 SOS 1017615 HAS SOPS 816900 HAS SOUS 165349 HAS SOUPS 164751 WITH SCORE 165768.615
AT ITER 8726 NEW BEST:: SOT 1572674 SOS 1016758 HAS SOPS 816081 HAS SOUS 165158 HAS SOUPS 164560 WITH SCORE 165576.758
AT ITER 8870 NEW BEST:: SOT 1572636 SOS 1016720 HAS SOPS 816087 HAS SOUS 165158 HAS SOUPS 164560 WITH SCORE 165576.72
AT ITER 8932 NEW BEST:: SOT 1569844 SOS 1013928 HAS SOPS 821163 HAS SOUS 165158 HAS SOUPS 164560 WITH SCORE 165573.928
AT ITER 8955 NEW BEST:: SOT 1563621 SOS 1007705 HAS SOPS 824379 HAS SOUS 165158 HAS SOUPS 164560 WITH SCORE 165567.705
AT ITER 8963 NEW BEST:: SOT 1563621 SOS 1007649 HAS SOPS 824323 HAS SOUS 164856 HAS SOUPS 164258 WITH SCORE 165265.649
AT ITER 9016 NEW BEST:: SOT 1562582 SOS 1006610 HAS SOPS 824541 HAS SOUS 164856 HAS SOUPS 164258 WITH SCORE 165264.61
AT ITER 9092 NEW BEST:: SOT 1562616 SOS 1006594 HAS SOPS 824525 HAS SOUS 164672 HAS SOUPS 164074 WITH SCORE 165080.594
AT ITER 9104 NEW BEST:: SOT 1562568 SOS 1006546 HAS SOPS 824757 HAS SOUS 164672 HAS SOUPS 164074 WITH SCORE 165080.546
AT ITER 9147 NEW BEST:: SOT 1562845 SOS 1006668 HAS SOPS 824879 HAS SOUS 164514 HAS SOUPS 163916 WITH SCORE 164922.668
AT ITER 9151 NEW BEST:: SOT 1562803 SOS 1006626 HAS SOPS 824837 HAS SOUS 164499 HAS SOUPS 163901 WITH SCORE 164907.626
AT ITER 9183 NEW BEST:: SOT 1563243 SOS 1006520 HAS SOPS 824621 HAS SOUS 164482 HAS SOUPS 163884 WITH SCORE 164890.52
AT ITER 9184 NEW BEST:: SOT 1563243 SOS 994998 HAS SOPS 813099 HAS SOUS 164391 HAS SOUPS 163793 WITH SCORE 164787.998
AT ITER 9225 NEW BEST:: SOT 1560185 SOS 991940 HAS SOPS 811793 HAS SOUS 164391 HAS SOUPS 163793 WITH SCORE 164784.94
AT ITER 9242 NEW BEST:: SOT 1560185 SOS 990538 HAS SOPS 810391 HAS SOUS 164391 HAS SOUPS 163793 WITH SCORE 164783.538
AT ITER 9275 NEW BEST:: SOT 1560185 SOS 990409 HAS SOPS 810262 HAS SOUS 164332 HAS SOUPS 163734 WITH SCORE 164724.409
AT ITER 9289 NEW BEST:: SOT 1549277 SOS 979501 HAS SOPS 799354 HAS SOUS 164332 HAS SOUPS 163734 WITH SCORE 164713.501
AT ITER 9352 NEW BEST:: SOT 1549277 SOS 979462 HAS SOPS 799315 HAS SOUS 163942 HAS SOUPS 163344 WITH SCORE 164323.462
AT ITER 9359 NEW BEST:: SOT 1553087 SOS 979606 HAS SOPS 787361 HAS SOUS 163754 HAS SOUPS 163156 WITH SCORE 164135.606
AT ITER 9447 NEW BEST:: SOT 1553144 SOS 979663 HAS SOPS 787418 HAS SOUS 163709 HAS SOUPS 163111 WITH SCORE 164090.663
AT ITER 9470 NEW BEST:: SOT 1563609 SOS 990128 HAS SOPS 797872 HAS SOUS 163698 HAS SOUPS 163100 WITH SCORE 164090.128
AT ITER 9538 NEW BEST:: SOT 1563609 SOS 989974 HAS SOPS 797718 HAS SOUS 163390 HAS SOUPS 162792 WITH SCORE 163781.974
AT ITER 9545 NEW BEST:: SOT 1563609 SOS 989422 HAS SOPS 797166 HAS SOUS 162722 HAS SOUPS 162124 WITH SCORE 163113.422
AT ITER 9685 NEW BEST:: SOT 1564029 SOS 989266 HAS SOPS 797010 HAS SOUS 161709 HAS SOUPS 161111 WITH SCORE 162100.266
AT ITER 9746 NEW BEST:: SOT 1560293 SOS 985530 HAS SOPS 804216 HAS SOUS 161709 HAS SOUPS 161111 WITH SCORE 162096.53
AT ITER 9772 NEW BEST:: SOT 1560293 SOS 985466 HAS SOPS 804152 HAS SOUS 161470 HAS SOUPS 160872 WITH SCORE 161857.466
AT ITER 9825 NEW BEST:: SOT 1560517 SOS 984474 HAS SOPS 803160 HAS SOUS 161370 HAS SOUPS 160772 WITH SCORE 161756.474
AT ITER 9826 NEW BEST:: SOT 1560517 SOS 984375 HAS SOPS 803061 HAS SOUS 161066 HAS SOUPS 160468 WITH SCORE 161452.375
AT ITER 9830 NEW BEST:: SOT 1560787 SOS 996063 HAS SOPS 817433 HAS SOUS 160540 HAS SOUPS 159942 WITH SCORE 160938.063
AT ITER 9832 NEW BEST:: SOT 1560770 SOS 996046 HAS SOPS 817416 HAS SOUS 160516 HAS SOUPS 159918 WITH SCORE 160914.046
AT ITER 9875 NEW BEST:: SOT 1560748 SOS 995908 HAS SOPS 817278 HAS SOUS 160167 HAS SOUPS 159569 WITH SCORE 160564.908
AT ITER 9991 NEW BEST:: SOT 1553368 SOS 988528 HAS SOPS 809898 HAS SOUS 160167 HAS SOUPS 159569 WITH SCORE 160557.528
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10191696 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16121204 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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
Caught signal 15, terminating.

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-d2m36"
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 SieveSingleMsgMbox-PT-d2m36, 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 r427-tajo-167905979700480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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