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-167905979700496.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-d2m96, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 10:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 10:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 18K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 10:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 26 10:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 26 10:29 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 1679390715227

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-d2m96
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:25:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:25:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:25:17] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-21 09:25:17] [INFO ] Transformed 2398 places.
[2023-03-21 09:25:17] [INFO ] Transformed 1954 transitions.
[2023-03-21 09:25:17] [INFO ] Parsed PT model containing 2398 places and 1954 transitions and 7816 arcs in 191 ms.
[2023-03-21 09:25:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2398 places, 1954 transitions and 7816 arcs took 21 ms.
Total runtime 240 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m96
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 59 NEW BEST:: SOT 802697 SOS 718710 HAS SOPS 718710 HAS SOUS 632154 HAS SOUPS 632154 WITH SCORE 632872.71
AT ITER 106 NEW BEST:: SOT 802697 SOS 717444 HAS SOPS 717444 HAS SOUS 631461 HAS SOUPS 631461 WITH SCORE 632178.444
AT ITER 130 NEW BEST:: SOT 807084 SOS 719944 HAS SOPS 719944 HAS SOUS 624044 HAS SOUPS 624044 WITH SCORE 624763.944
AT ITER 235 NEW BEST:: SOT 813357 SOS 724166 HAS SOPS 724166 HAS SOUS 611626 HAS SOUPS 611626 WITH SCORE 612350.166
AT ITER 242 NEW BEST:: SOT 813357 SOS 724153 HAS SOPS 724153 HAS SOUS 610883 HAS SOUPS 610883 WITH SCORE 611607.153
AT ITER 290 NEW BEST:: SOT 813357 SOS 724070 HAS SOPS 724070 HAS SOUS 610879 HAS SOUPS 610879 WITH SCORE 611603.07
AT ITER 295 NEW BEST:: SOT 813476 SOS 723999 HAS SOPS 723999 HAS SOUS 610871 HAS SOUPS 610871 WITH SCORE 611594.999
AT ITER 355 NEW BEST:: SOT 813476 SOS 723999 HAS SOPS 723999 HAS SOUS 610793 HAS SOUPS 610793 WITH SCORE 611516.999
AT ITER 400 NEW BEST:: SOT 820446 SOS 729731 HAS SOPS 729731 HAS SOUS 597296 HAS SOUPS 597296 WITH SCORE 598025.731
AT ITER 402 NEW BEST:: SOT 820446 SOS 729383 HAS SOPS 729383 HAS SOUS 595165 HAS SOUPS 595165 WITH SCORE 595894.383
AT ITER 450 NEW BEST:: SOT 820446 SOS 728387 HAS SOPS 728387 HAS SOUS 594379 HAS SOUPS 594379 WITH SCORE 595107.387
AT ITER 451 NEW BEST:: SOT 820340 SOS 739064 HAS SOPS 738978 HAS SOUS 590106 HAS SOUPS 590022 WITH SCORE 590761.064
AT ITER 454 NEW BEST:: SOT 825715 SOS 743109 HAS SOPS 742602 HAS SOUS 584012 HAS SOUPS 583768 WITH SCORE 584511.109
AT ITER 515 NEW BEST:: SOT 828154 SOS 743734 HAS SOPS 743165 HAS SOUS 570236 HAS SOUPS 569992 WITH SCORE 570735.734
AT ITER 540 NEW BEST:: SOT 828154 SOS 741723 HAS SOPS 741154 HAS SOUS 561082 HAS SOUPS 560838 WITH SCORE 561579.723
AT ITER 666 NEW BEST:: SOT 835470 SOS 746922 HAS SOPS 745862 HAS SOUS 551175 HAS SOUPS 550922 WITH SCORE 551668.922
AT ITER 716 NEW BEST:: SOT 835470 SOS 747037 HAS SOPS 745977 HAS SOUS 551147 HAS SOUPS 550894 WITH SCORE 551641.037
AT ITER 723 NEW BEST:: SOT 835680 SOS 747040 HAS SOPS 745980 HAS SOUS 550979 HAS SOUPS 550726 WITH SCORE 551473.04
AT ITER 749 NEW BEST:: SOT 835680 SOS 746953 HAS SOPS 745893 HAS SOUS 550744 HAS SOUPS 550491 WITH SCORE 551237.953
AT ITER 790 NEW BEST:: SOT 835883 SOS 747003 HAS SOPS 745943 HAS SOUS 550663 HAS SOUPS 550410 WITH SCORE 551157.003
AT ITER 878 NEW BEST:: SOT 835883 SOS 746767 HAS SOPS 745707 HAS SOUS 550594 HAS SOUPS 550341 WITH SCORE 551087.767
AT ITER 911 NEW BEST:: SOT 835883 SOS 746131 HAS SOPS 745071 HAS SOUS 546645 HAS SOUPS 546392 WITH SCORE 547138.131
AT ITER 994 NEW BEST:: SOT 835960 SOS 745910 HAS SOPS 744850 HAS SOUS 546266 HAS SOUPS 546013 WITH SCORE 546758.91
AT ITER 995 NEW BEST:: SOT 835960 SOS 745891 HAS SOPS 744831 HAS SOUS 546266 HAS SOUPS 546013 WITH SCORE 546758.891
AT ITER 1018 NEW BEST:: SOT 852602 SOS 759144 HAS SOPS 757711 HAS SOUS 542758 HAS SOUPS 542464 WITH SCORE 543223.144
AT ITER 1074 NEW BEST:: SOT 860966 SOS 765235 HAS SOPS 763058 HAS SOUS 533451 HAS SOUPS 533115 WITH SCORE 533880.235
AT ITER 1076 NEW BEST:: SOT 887154 SOS 789797 HAS SOPS 786994 HAS SOUS 531255 HAS SOUPS 530919 WITH SCORE 531708.797
AT ITER 1084 NEW BEST:: SOT 887154 SOS 786856 HAS SOPS 784053 HAS SOUS 525415 HAS SOUPS 525079 WITH SCORE 525865.856
AT ITER 1122 NEW BEST:: SOT 896043 SOS 792799 HAS SOPS 788969 HAS SOUS 515244 HAS SOUPS 514893 WITH SCORE 515685.799
AT ITER 1125 NEW BEST:: SOT 919011 SOS 812497 HAS SOPS 807773 HAS SOUS 502803 HAS SOUPS 502452 WITH SCORE 503264.497
AT ITER 1140 NEW BEST:: SOT 919676 SOS 808858 HAS SOPS 804061 HAS SOUS 490002 HAS SOUPS 489651 WITH SCORE 490459.858
AT ITER 1161 NEW BEST:: SOT 919712 SOS 808055 HAS SOPS 803252 HAS SOUS 488604 HAS SOUPS 488253 WITH SCORE 489061.055
AT ITER 1191 NEW BEST:: SOT 919712 SOS 806137 HAS SOPS 801334 HAS SOUS 483362 HAS SOUPS 483011 WITH SCORE 483817.137
AT ITER 1247 NEW BEST:: SOT 922829 SOS 804643 HAS SOPS 799197 HAS SOUS 473715 HAS SOUPS 473364 WITH SCORE 474168.643
AT ITER 1255 NEW BEST:: SOT 922829 SOS 802129 HAS SOPS 796683 HAS SOUS 470001 HAS SOUPS 469650 WITH SCORE 470452.129
AT ITER 1295 NEW BEST:: SOT 922829 SOS 797559 HAS SOPS 792113 HAS SOUS 458678 HAS SOUPS 458327 WITH SCORE 459124.559
AT ITER 1368 NEW BEST:: SOT 949106 SOS 820314 HAS SOPS 813880 HAS SOUS 447135 HAS SOUPS 446784 WITH SCORE 447604.314
AT ITER 1413 NEW BEST:: SOT 963527 SOS 830320 HAS SOPS 821567 HAS SOUS 444760 HAS SOUPS 444212 WITH SCORE 445042.32
AT ITER 1429 NEW BEST:: SOT 1000532 SOS 862726 HAS SOPS 852520 HAS SOUS 444100 HAS SOUPS 443552 WITH SCORE 444414.726
AT ITER 1461 NEW BEST:: SOT 1000532 SOS 858764 HAS SOPS 848558 HAS SOUS 435775 HAS SOUPS 435227 WITH SCORE 436085.764
AT ITER 1481 NEW BEST:: SOT 1000532 SOS 854257 HAS SOPS 844051 HAS SOUS 425849 HAS SOUPS 425301 WITH SCORE 426155.257
AT ITER 1558 NEW BEST:: SOT 1000532 SOS 853607 HAS SOPS 843401 HAS SOUS 425807 HAS SOUPS 425259 WITH SCORE 426112.607
AT ITER 1580 NEW BEST:: SOT 1044261 SOS 893146 HAS SOPS 881487 HAS SOUS 421140 HAS SOUPS 420592 WITH SCORE 421485.146
AT ITER 1594 NEW BEST:: SOT 1044261 SOS 891160 HAS SOPS 879501 HAS SOUS 419150 HAS SOUPS 418602 WITH SCORE 419493.16
AT ITER 1599 NEW BEST:: SOT 1048678 SOS 892105 HAS SOPS 878959 HAS SOUS 413874 HAS SOUPS 413326 WITH SCORE 414218.105
AT ITER 1601 NEW BEST:: SOT 1048678 SOS 887763 HAS SOPS 874617 HAS SOUS 409416 HAS SOUPS 408868 WITH SCORE 409755.763
AT ITER 1608 NEW BEST:: SOT 1067561 SOS 906310 HAS SOPS 891547 HAS SOUS 408038 HAS SOUPS 407490 WITH SCORE 408396.31
AT ITER 1625 NEW BEST:: SOT 1100548 SOS 934221 HAS SOPS 917841 HAS SOUS 397339 HAS SOUPS 396791 WITH SCORE 397725.221
AT ITER 1648 NEW BEST:: SOT 1101062 SOS 934462 HAS SOPS 918071 HAS SOUS 397057 HAS SOUPS 396509 WITH SCORE 397443.462
AT ITER 1686 NEW BEST:: SOT 1101869 SOS 928809 HAS SOPS 912004 HAS SOUS 389882 HAS SOUPS 389334 WITH SCORE 390262.809
AT ITER 1690 NEW BEST:: SOT 1101839 SOS 928794 HAS SOPS 911995 HAS SOUS 389860 HAS SOUPS 389312 WITH SCORE 390240.794
AT ITER 1700 NEW BEST:: SOT 1121226 SOS 941681 HAS SOPS 919553 HAS SOUS 388894 HAS SOUPS 388143 WITH SCORE 389084.681
AT ITER 1779 NEW BEST:: SOT 1121226 SOS 941535 HAS SOPS 919407 HAS SOUS 388289 HAS SOUPS 387538 WITH SCORE 388479.535
AT ITER 1799 NEW BEST:: SOT 1141562 SOS 955847 HAS SOPS 928243 HAS SOUS 382460 HAS SOUPS 381660 WITH SCORE 382615.847
AT ITER 1801 NEW BEST:: SOT 1179486 SOS 991524 HAS SOPS 960885 HAS SOUS 377035 HAS SOUPS 376235 WITH SCORE 377226.524
AT ITER 1802 NEW BEST:: SOT 1167030 SOS 979068 HAS SOPS 949298 HAS SOUS 377035 HAS SOUPS 376235 WITH SCORE 377214.068
AT ITER 1811 NEW BEST:: SOT 1174944 SOS 980704 HAS SOPS 947688 HAS SOUS 370090 HAS SOUPS 369290 WITH SCORE 370270.704
AT ITER 1824 NEW BEST:: SOT 1197515 SOS 996812 HAS SOPS 960578 HAS SOUS 360059 HAS SOUPS 359259 WITH SCORE 360255.812
AT ITER 1865 NEW BEST:: SOT 1197515 SOS 991169 HAS SOPS 954935 HAS SOUS 354947 HAS SOUPS 354147 WITH SCORE 355138.169
AT ITER 1890 NEW BEST:: SOT 1198845 SOS 985008 HAS SOPS 948300 HAS SOUS 345215 HAS SOUPS 344415 WITH SCORE 345400.008
AT ITER 1913 NEW BEST:: SOT 1206603 SOS 991953 HAS SOPS 951681 HAS SOUS 344215 HAS SOUPS 343415 WITH SCORE 344406.953
AT ITER 1917 NEW BEST:: SOT 1206029 SOS 991379 HAS SOPS 951107 HAS SOUS 344201 HAS SOUPS 343401 WITH SCORE 344392.379
AT ITER 1930 NEW BEST:: SOT 1206114 SOS 991403 HAS SOPS 951046 HAS SOUS 344140 HAS SOUPS 343340 WITH SCORE 344331.403
AT ITER 1933 NEW BEST:: SOT 1212941 SOS 989776 HAS SOPS 946406 HAS SOUS 338553 HAS SOUPS 337753 WITH SCORE 338742.776
AT ITER 1945 NEW BEST:: SOT 1231604 SOS 1001727 HAS SOPS 951892 HAS SOUS 332098 HAS SOUPS 331298 WITH SCORE 332299.727
AT ITER 1958 NEW BEST:: SOT 1231604 SOS 999415 HAS SOPS 949580 HAS SOUS 330582 HAS SOUPS 329782 WITH SCORE 330781.415
AT ITER 1990 NEW BEST:: SOT 1258251 SOS 1021585 HAS SOPS 967155 HAS SOUS 323500 HAS SOUPS 322700 WITH SCORE 323721.585
AT ITER 2005 NEW BEST:: SOT 1265196 SOS 1028530 HAS SOPS 972297 HAS SOUS 323257 HAS SOUPS 322457 WITH SCORE 323485.53
AT ITER 2110 NEW BEST:: SOT 1313207 SOS 1069370 HAS SOPS 1008299 HAS SOUS 322379 HAS SOUPS 321579 WITH SCORE 322648.37
AT ITER 2135 NEW BEST:: SOT 1313207 SOS 1069337 HAS SOPS 1008266 HAS SOUS 322362 HAS SOUPS 321562 WITH SCORE 322631.337
AT ITER 2142 NEW BEST:: SOT 1347155 SOS 1095790 HAS SOPS 1029881 HAS SOUS 313632 HAS SOUPS 312832 WITH SCORE 313927.79
AT ITER 2210 NEW BEST:: SOT 1355393 SOS 1096155 HAS SOPS 1024912 HAS SOUS 308437 HAS SOUPS 307637 WITH SCORE 308733.155
AT ITER 2252 NEW BEST:: SOT 1355393 SOS 1089209 HAS SOPS 1017966 HAS SOUS 304941 HAS SOUPS 304141 WITH SCORE 305230.209
AT ITER 2259 NEW BEST:: SOT 1355393 SOS 1089271 HAS SOPS 1018028 HAS SOUS 304932 HAS SOUPS 304132 WITH SCORE 305221.271
AT ITER 2271 NEW BEST:: SOT 1355393 SOS 1089268 HAS SOPS 1018025 HAS SOUS 304915 HAS SOUPS 304115 WITH SCORE 305204.268
AT ITER 2285 NEW BEST:: SOT 1375317 SOS 1101739 HAS SOPS 1025656 HAS SOUS 296817 HAS SOUPS 296017 WITH SCORE 297118.739
AT ITER 2293 NEW BEST:: SOT 1375317 SOS 1095043 HAS SOPS 1018960 HAS SOUS 293745 HAS SOUPS 292945 WITH SCORE 294040.043
AT ITER 2303 NEW BEST:: SOT 1399868 SOS 1118075 HAS SOPS 1036777 HAS SOUS 291477 HAS SOUPS 290677 WITH SCORE 291795.075
AT ITER 2314 NEW BEST:: SOT 1410993 SOS 1120451 HAS SOPS 1031260 HAS SOUS 286731 HAS SOUPS 285931 WITH SCORE 287051.451
AT ITER 2318 NEW BEST:: SOT 1435276 SOS 1144394 HAS SOPS 1049474 HAS SOUS 286266 HAS SOUPS 285466 WITH SCORE 286610.394
AT ITER 2389 NEW BEST:: SOT 1435276 SOS 1144260 HAS SOPS 1049340 HAS SOUS 286185 HAS SOUPS 285385 WITH SCORE 286529.26
AT ITER 2395 NEW BEST:: SOT 1483298 SOS 1183992 HAS SOPS 1083343 HAS SOUS 280002 HAS SOUPS 279202 WITH SCORE 280385.992
AT ITER 2440 NEW BEST:: SOT 1528081 SOS 1220042 HAS SOPS 1113664 HAS SOUS 272834 HAS SOUPS 272034 WITH SCORE 273254.042
AT ITER 2443 NEW BEST:: SOT 1528081 SOS 1220042 HAS SOPS 1113664 HAS SOUS 272832 HAS SOUPS 272032 WITH SCORE 273252.042
AT ITER 2452 NEW BEST:: SOT 1528687 SOS 1220369 HAS SOPS 1113962 HAS SOUS 272766 HAS SOUPS 271966 WITH SCORE 273186.369
AT ITER 2454 NEW BEST:: SOT 1528687 SOS 1217754 HAS SOPS 1111347 HAS SOUS 269844 HAS SOUPS 269044 WITH SCORE 270261.754
AT ITER 2457 NEW BEST:: SOT 1532604 SOS 1221671 HAS SOPS 1110253 HAS SOUS 269596 HAS SOUPS 268796 WITH SCORE 270017.671
AT ITER 2460 NEW BEST:: SOT 1532829 SOS 1220246 HAS SOPS 1108828 HAS SOUS 269420 HAS SOUPS 268620 WITH SCORE 269840.246
AT ITER 2478 NEW BEST:: SOT 1511530 SOS 1198947 HAS SOPS 1093290 HAS SOUS 269420 HAS SOUPS 268620 WITH SCORE 269818.947
AT ITER 2486 NEW BEST:: SOT 1516175 SOS 1194669 HAS SOPS 1083829 HAS SOUS 265675 HAS SOUPS 264875 WITH SCORE 266069.669
AT ITER 2512 NEW BEST:: SOT 1563143 SOS 1239579 HAS SOPS 1122489 HAS SOUS 263804 HAS SOUPS 263004 WITH SCORE 264243.579
AT ITER 2515 NEW BEST:: SOT 1563143 SOS 1234057 HAS SOPS 1116967 HAS SOUS 260439 HAS SOUPS 259639 WITH SCORE 260873.057
AT ITER 2564 NEW BEST:: SOT 1606216 SOS 1268385 HAS SOPS 1145045 HAS SOUS 253608 HAS SOUPS 252808 WITH SCORE 254076.385
AT ITER 2569 NEW BEST:: SOT 1632397 SOS 1293598 HAS SOPS 1164008 HAS SOUS 252431 HAS SOUPS 251631 WITH SCORE 252924.598
AT ITER 2627 NEW BEST:: SOT 1675388 SOS 1328084 HAS SOPS 1192244 HAS SOUS 245594 HAS SOUPS 244794 WITH SCORE 246122.084
AT ITER 2677 NEW BEST:: SOT 1675388 SOS 1321530 HAS SOPS 1185690 HAS SOUS 244472 HAS SOUPS 243672 WITH SCORE 244993.53
AT ITER 2736 NEW BEST:: SOT 1682165 SOS 1322018 HAS SOPS 1175999 HAS SOUS 242261 HAS SOUPS 241461 WITH SCORE 242783.018
AT ITER 2737 NEW BEST:: SOT 1658120 SOS 1297973 HAS SOPS 1155748 HAS SOUS 242134 HAS SOUPS 241334 WITH SCORE 242631.973
AT ITER 2757 NEW BEST:: SOT 1658120 SOS 1297318 HAS SOPS 1155093 HAS SOUS 241269 HAS SOUPS 240469 WITH SCORE 241766.318
AT ITER 2778 NEW BEST:: SOT 1672569 SOS 1301217 HAS SOPS 1144029 HAS SOUS 240424 HAS SOUPS 239524 WITH SCORE 240825.217
AT ITER 2780 NEW BEST:: SOT 1672569 SOS 1300578 HAS SOPS 1143390 HAS SOUS 239705 HAS SOUPS 238805 WITH SCORE 240105.578
AT ITER 2827 NEW BEST:: SOT 1675909 SOS 1292948 HAS SOPS 1130257 HAS SOUS 236880 HAS SOUPS 235980 WITH SCORE 237272.948
AT ITER 2828 NEW BEST:: SOT 1675909 SOS 1292948 HAS SOPS 1130257 HAS SOUS 236751 HAS SOUPS 235851 WITH SCORE 237143.948
AT ITER 2869 NEW BEST:: SOT 1675909 SOS 1292948 HAS SOPS 1130257 HAS SOUS 236699 HAS SOUPS 235799 WITH SCORE 237091.948
AT ITER 2886 NEW BEST:: SOT 1684050 SOS 1295557 HAS SOPS 1128219 HAS SOUS 234940 HAS SOUPS 234040 WITH SCORE 235335.557
AT ITER 2891 NEW BEST:: SOT 1684050 SOS 1295382 HAS SOPS 1128044 HAS SOUS 234479 HAS SOUPS 233579 WITH SCORE 234874.382
AT ITER 2906 NEW BEST:: SOT 1685498 SOS 1296371 HAS SOPS 1128939 HAS SOUS 234422 HAS SOUPS 233522 WITH SCORE 234818.371
AT ITER 2928 NEW BEST:: SOT 1640982 SOS 1251855 HAS SOPS 1090747 HAS SOUS 233408 HAS SOUPS 232508 WITH SCORE 233759.855
AT ITER 2989 NEW BEST:: SOT 1651547 SOS 1261289 HAS SOPS 1087814 HAS SOUS 232459 HAS SOUPS 231559 WITH SCORE 232820.289
AT ITER 3115 NEW BEST:: SOT 1645274 SOS 1255016 HAS SOPS 1081541 HAS SOUS 232306 HAS SOUPS 231406 WITH SCORE 232661.016
AT ITER 3118 NEW BEST:: SOT 1647712 SOS 1246639 HAS SOPS 1068330 HAS SOUS 229747 HAS SOUPS 228847 WITH SCORE 230093.639
AT ITER 3129 NEW BEST:: SOT 1648569 SOS 1247496 HAS SOPS 1069187 HAS SOUS 229737 HAS SOUPS 228837 WITH SCORE 230084.496
AT ITER 3211 NEW BEST:: SOT 1648569 SOS 1239357 HAS SOPS 1061048 HAS SOUS 228532 HAS SOUPS 227632 WITH SCORE 228871.357
AT ITER 3213 NEW BEST:: SOT 1649690 SOS 1240195 HAS SOPS 1061857 HAS SOUS 227832 HAS SOUPS 226932 WITH SCORE 228172.195
AT ITER 3226 NEW BEST:: SOT 1649858 SOS 1240363 HAS SOPS 1062025 HAS SOUS 227800 HAS SOUPS 226900 WITH SCORE 228140.363
AT ITER 3235 NEW BEST:: SOT 1646148 SOS 1236653 HAS SOPS 1058951 HAS SOUS 227800 HAS SOUPS 226900 WITH SCORE 228136.653
AT ITER 3264 NEW BEST:: SOT 1646191 SOS 1236320 HAS SOPS 1058575 HAS SOUS 227183 HAS SOUPS 226283 WITH SCORE 227519.32
AT ITER 3280 NEW BEST:: SOT 1646191 SOS 1231340 HAS SOPS 1053595 HAS SOUS 226449 HAS SOUPS 225549 WITH SCORE 226780.34
AT ITER 3327 NEW BEST:: SOT 1646331 SOS 1231124 HAS SOPS 1053379 HAS SOUS 226374 HAS SOUPS 225474 WITH SCORE 226705.124
AT ITER 3330 NEW BEST:: SOT 1646331 SOS 1231123 HAS SOPS 1053378 HAS SOUS 226270 HAS SOUPS 225370 WITH SCORE 226601.123
AT ITER 3373 NEW BEST:: SOT 1646331 SOS 1230390 HAS SOPS 1052645 HAS SOUS 226142 HAS SOUPS 225242 WITH SCORE 226472.39
AT ITER 3379 NEW BEST:: SOT 1646331 SOS 1230390 HAS SOPS 1052645 HAS SOUS 226045 HAS SOUPS 225145 WITH SCORE 226375.39
AT ITER 3413 NEW BEST:: SOT 1646826 SOS 1230885 HAS SOPS 1053140 HAS SOUS 225849 HAS SOUPS 224949 WITH SCORE 226179.885
AT ITER 3441 NEW BEST:: SOT 1644612 SOS 1228671 HAS SOPS 1050926 HAS SOUS 224168 HAS SOUPS 223268 WITH SCORE 224496.671
AT ITER 3446 NEW BEST:: SOT 1644733 SOS 1228730 HAS SOPS 1050985 HAS SOUS 223934 HAS SOUPS 223034 WITH SCORE 224262.73
AT ITER 3469 NEW BEST:: SOT 1644958 SOS 1228955 HAS SOPS 1051210 HAS SOUS 223845 HAS SOUPS 222945 WITH SCORE 224173.955
AT ITER 3489 NEW BEST:: SOT 1644958 SOS 1228911 HAS SOPS 1051166 HAS SOUS 223801 HAS SOUPS 222901 WITH SCORE 224129.911
AT ITER 3510 NEW BEST:: SOT 1644958 SOS 1228911 HAS SOPS 1051166 HAS SOUS 223796 HAS SOUPS 222896 WITH SCORE 224124.911
AT ITER 3535 NEW BEST:: SOT 1628067 SOS 1212020 HAS SOPS 1035506 HAS SOUS 223667 HAS SOUPS 222767 WITH SCORE 223979.02
AT ITER 3559 NEW BEST:: SOT 1635832 SOS 1217417 HAS SOPS 1030704 HAS SOUS 222539 HAS SOUPS 221639 WITH SCORE 222856.417
AT ITER 3561 NEW BEST:: SOT 1621497 SOS 1203082 HAS SOPS 1016876 HAS SOUS 222371 HAS SOUPS 221471 WITH SCORE 222674.082
AT ITER 3601 NEW BEST:: SOT 1622143 SOS 1203728 HAS SOPS 1017522 HAS SOUS 222329 HAS SOUPS 221429 WITH SCORE 222632.728
AT ITER 3606 NEW BEST:: SOT 1621765 SOS 1203350 HAS SOPS 1017144 HAS SOUS 222118 HAS SOUPS 221218 WITH SCORE 222421.35
AT ITER 3735 NEW BEST:: SOT 1621657 SOS 1203316 HAS SOPS 1017139 HAS SOUS 222058 HAS SOUPS 221158 WITH SCORE 222361.316
AT ITER 3753 NEW BEST:: SOT 1621848 SOS 1203507 HAS SOPS 1017330 HAS SOUS 221986 HAS SOUPS 221086 WITH SCORE 222289.507
AT ITER 3774 NEW BEST:: SOT 1621801 SOS 1203460 HAS SOPS 1017283 HAS SOUS 221939 HAS SOUPS 221039 WITH SCORE 222242.46
AT ITER 3797 NEW BEST:: SOT 1622429 SOS 1204088 HAS SOPS 1017911 HAS SOUS 221907 HAS SOUPS 221007 WITH SCORE 222211.088
AT ITER 3799 NEW BEST:: SOT 1622533 SOS 1203909 HAS SOPS 1017732 HAS SOUS 221624 HAS SOUPS 220724 WITH SCORE 221927.909
AT ITER 3875 NEW BEST:: SOT 1619576 SOS 1200952 HAS SOPS 1018219 HAS SOUS 221624 HAS SOUPS 220724 WITH SCORE 221924.952
AT ITER 3892 NEW BEST:: SOT 1616583 SOS 1197959 HAS SOPS 1015226 HAS SOUS 221551 HAS SOUPS 220651 WITH SCORE 221848.959
AT ITER 3935 NEW BEST:: SOT 1616583 SOS 1197821 HAS SOPS 1015088 HAS SOUS 221455 HAS SOUPS 220555 WITH SCORE 221752.821
AT ITER 3942 NEW BEST:: SOT 1616745 SOS 1197983 HAS SOPS 1015250 HAS SOUS 221404 HAS SOUPS 220504 WITH SCORE 221701.983
AT ITER 3967 NEW BEST:: SOT 1604499 SOS 1185737 HAS SOPS 1005969 HAS SOUS 221404 HAS SOUPS 220504 WITH SCORE 221689.737
AT ITER 4029 NEW BEST:: SOT 1634999 SOS 1214747 HAS SOPS 1026037 HAS SOUS 220497 HAS SOUPS 219597 WITH SCORE 220811.747
AT ITER 4031 NEW BEST:: SOT 1634999 SOS 1214375 HAS SOPS 1025665 HAS SOUS 220272 HAS SOUPS 219372 WITH SCORE 220586.375
AT ITER 4037 NEW BEST:: SOT 1634999 SOS 1214375 HAS SOPS 1025665 HAS SOUS 220253 HAS SOUPS 219353 WITH SCORE 220567.375
AT ITER 4045 NEW BEST:: SOT 1633117 SOS 1212493 HAS SOPS 1022605 HAS SOUS 220253 HAS SOUPS 219353 WITH SCORE 220565.493
AT ITER 4072 NEW BEST:: SOT 1628899 SOS 1208275 HAS SOPS 1022410 HAS SOUS 220253 HAS SOUPS 219353 WITH SCORE 220561.275
AT ITER 4185 NEW BEST:: SOT 1628899 SOS 1203385 HAS SOPS 1017520 HAS SOUS 219577 HAS SOUPS 218677 WITH SCORE 219880.385
AT ITER 4259 NEW BEST:: SOT 1616435 SOS 1190921 HAS SOPS 1013292 HAS SOUS 217395 HAS SOUPS 216595 WITH SCORE 217785.921
AT ITER 4284 NEW BEST:: SOT 1621755 SOS 1184512 HAS SOPS 1001502 HAS SOUS 212460 HAS SOUPS 211660 WITH SCORE 212844.512
AT ITER 4300 NEW BEST:: SOT 1621848 SOS 1184605 HAS SOPS 1001595 HAS SOUS 212447 HAS SOUPS 211647 WITH SCORE 212831.605
AT ITER 4317 NEW BEST:: SOT 1590414 SOS 1153171 HAS SOPS 971978 HAS SOUS 211963 HAS SOUPS 211163 WITH SCORE 212316.171
AT ITER 4363 NEW BEST:: SOT 1592116 SOS 1142112 HAS SOPS 957461 HAS SOUS 209986 HAS SOUPS 209186 WITH SCORE 210328.112
AT ITER 4372 NEW BEST:: SOT 1573912 SOS 1123908 HAS SOPS 939257 HAS SOUS 209542 HAS SOUPS 208742 WITH SCORE 209865.908
AT ITER 4378 NEW BEST:: SOT 1573912 SOS 1123908 HAS SOPS 939257 HAS SOUS 209416 HAS SOUPS 208616 WITH SCORE 209739.908
AT ITER 4389 NEW BEST:: SOT 1576407 SOS 1115554 HAS SOPS 925370 HAS SOUS 207314 HAS SOUPS 206514 WITH SCORE 207629.554
AT ITER 4402 NEW BEST:: SOT 1576407 SOS 1113342 HAS SOPS 923158 HAS SOUS 206250 HAS SOUPS 205450 WITH SCORE 206563.342
AT ITER 4428 NEW BEST:: SOT 1576407 SOS 1113385 HAS SOPS 923201 HAS SOUS 206210 HAS SOUPS 205410 WITH SCORE 206523.385
AT ITER 4501 NEW BEST:: SOT 1576367 SOS 1105680 HAS SOPS 914748 HAS SOUS 204771 HAS SOUPS 203971 WITH SCORE 205076.68
AT ITER 4555 NEW BEST:: SOT 1576367 SOS 1105502 HAS SOPS 914570 HAS SOUS 204269 HAS SOUPS 203469 WITH SCORE 204574.502
AT ITER 4565 NEW BEST:: SOT 1572161 SOS 1101296 HAS SOPS 911406 HAS SOUS 204269 HAS SOUPS 203469 WITH SCORE 204570.296
AT ITER 4582 NEW BEST:: SOT 1572359 SOS 1101207 HAS SOPS 911317 HAS SOUS 204136 HAS SOUPS 203336 WITH SCORE 204437.207
AT ITER 4596 NEW BEST:: SOT 1572584 SOS 1100599 HAS SOPS 910709 HAS SOUS 204025 HAS SOUPS 203225 WITH SCORE 204325.599
AT ITER 4600 NEW BEST:: SOT 1572584 SOS 1100563 HAS SOPS 910673 HAS SOUS 203974 HAS SOUPS 203174 WITH SCORE 204274.563
AT ITER 4749 NEW BEST:: SOT 1572584 SOS 1090659 HAS SOPS 900769 HAS SOUS 202756 HAS SOUPS 201956 WITH SCORE 203046.659
AT ITER 4750 NEW BEST:: SOT 1534230 SOS 1052305 HAS SOPS 865184 HAS SOUS 201815 HAS SOUPS 201015 WITH SCORE 202067.305
AT ITER 4769 NEW BEST:: SOT 1533960 SOS 1052035 HAS SOPS 864914 HAS SOUS 201545 HAS SOUPS 200745 WITH SCORE 201797.035
AT ITER 4770 NEW BEST:: SOT 1535220 SOS 1053295 HAS SOPS 866174 HAS SOUS 201471 HAS SOUPS 200671 WITH SCORE 201724.295
AT ITER 4803 NEW BEST:: SOT 1542883 SOS 1058159 HAS SOPS 861644 HAS SOUS 200940 HAS SOUPS 200140 WITH SCORE 201198.159
AT ITER 4809 NEW BEST:: SOT 1542883 SOS 1058159 HAS SOPS 861644 HAS SOUS 200904 HAS SOUPS 200104 WITH SCORE 201162.159
AT ITER 4829 NEW BEST:: SOT 1522670 SOS 1037946 HAS SOPS 841431 HAS SOUS 192931 HAS SOUPS 192131 WITH SCORE 193168.946
AT ITER 4852 NEW BEST:: SOT 1522670 SOS 1037946 HAS SOPS 841431 HAS SOUS 192929 HAS SOUPS 192129 WITH SCORE 193166.946
AT ITER 4856 NEW BEST:: SOT 1502501 SOS 1017777 HAS SOPS 826103 HAS SOUS 192855 HAS SOUPS 192055 WITH SCORE 193072.777
AT ITER 4906 NEW BEST:: SOT 1501461 SOS 1016737 HAS SOPS 825063 HAS SOUS 192335 HAS SOUPS 191535 WITH SCORE 192551.737
AT ITER 4992 NEW BEST:: SOT 1501498 SOS 1016774 HAS SOPS 825100 HAS SOUS 192288 HAS SOUPS 191488 WITH SCORE 192504.774
AT ITER 5008 NEW BEST:: SOT 1501828 SOS 1017104 HAS SOPS 825430 HAS SOUS 191564 HAS SOUPS 190764 WITH SCORE 191781.104
AT ITER 5009 NEW BEST:: SOT 1502238 SOS 1017514 HAS SOPS 825494 HAS SOUS 191543 HAS SOUPS 190743 WITH SCORE 191760.514
AT ITER 5042 NEW BEST:: SOT 1502202 SOS 1017166 HAS SOPS 825198 HAS SOUS 191351 HAS SOUPS 190603 WITH SCORE 191620.166
AT ITER 5159 NEW BEST:: SOT 1501685 SOS 1016649 HAS SOPS 824681 HAS SOUS 190834 HAS SOUPS 190086 WITH SCORE 191102.649
AT ITER 5284 NEW BEST:: SOT 1497231 SOS 1012195 HAS SOPS 822415 HAS SOUS 190834 HAS SOUPS 190086 WITH SCORE 191098.195
AT ITER 5297 NEW BEST:: SOT 1498484 SOS 1013448 HAS SOPS 822869 HAS SOUS 190777 HAS SOUPS 190029 WITH SCORE 191042.448
AT ITER 5302 NEW BEST:: SOT 1498503 SOS 1013240 HAS SOPS 822650 HAS SOUS 190314 HAS SOUPS 189566 WITH SCORE 190579.24
AT ITER 5305 NEW BEST:: SOT 1498581 SOS 1013318 HAS SOPS 822728 HAS SOUS 190156 HAS SOUPS 189408 WITH SCORE 190421.318
AT ITER 5310 NEW BEST:: SOT 1498242 SOS 1012979 HAS SOPS 822788 HAS SOUS 190156 HAS SOUPS 189408 WITH SCORE 190420.979
AT ITER 5450 NEW BEST:: SOT 1498290 SOS 1013000 HAS SOPS 822809 HAS SOUS 189445 HAS SOUPS 188697 WITH SCORE 189710.0
AT ITER 5486 NEW BEST:: SOT 1498290 SOS 1002800 HAS SOPS 812609 HAS SOUS 187245 HAS SOUPS 186497 WITH SCORE 187499.8
AT ITER 5489 NEW BEST:: SOT 1498257 SOS 1002767 HAS SOPS 812576 HAS SOUS 187212 HAS SOUPS 186464 WITH SCORE 187466.767
AT ITER 5509 NEW BEST:: SOT 1499383 SOS 1002033 HAS SOPS 808504 HAS SOUS 186728 HAS SOUPS 185980 WITH SCORE 186982.033
AT ITER 5580 NEW BEST:: SOT 1473072 SOS 975722 HAS SOPS 786434 HAS SOUS 186715 HAS SOUPS 185967 WITH SCORE 186942.722
AT ITER 5583 NEW BEST:: SOT 1473072 SOS 975608 HAS SOPS 786320 HAS SOUS 186207 HAS SOUPS 185459 WITH SCORE 186434.608
AT ITER 5597 NEW BEST:: SOT 1471236 SOS 973772 HAS SOPS 784739 HAS SOUS 186207 HAS SOUPS 185459 WITH SCORE 186432.772
AT ITER 5647 NEW BEST:: SOT 1471841 SOS 973855 HAS SOPS 784777 HAS SOUS 186172 HAS SOUPS 185424 WITH SCORE 186397.855
AT ITER 5665 NEW BEST:: SOT 1471841 SOS 973415 HAS SOPS 784337 HAS SOUS 185804 HAS SOUPS 185056 WITH SCORE 186029.415
AT ITER 5737 NEW BEST:: SOT 1478430 SOS 968909 HAS SOPS 771804 HAS SOUS 183876 HAS SOUPS 183128 WITH SCORE 184096.909
AT ITER 5745 NEW BEST:: SOT 1483574 SOS 974053 HAS SOPS 774213 HAS SOUS 183644 HAS SOUPS 182896 WITH SCORE 183870.053
AT ITER 5808 NEW BEST:: SOT 1483628 SOS 974039 HAS SOPS 774199 HAS SOUS 183627 HAS SOUPS 182879 WITH SCORE 183853.039
AT ITER 5870 NEW BEST:: SOT 1483696 SOS 974068 HAS SOPS 774228 HAS SOUS 183312 HAS SOUPS 182564 WITH SCORE 183538.068
AT ITER 5882 NEW BEST:: SOT 1486811 SOS 974836 HAS SOPS 769542 HAS SOUS 182450 HAS SOUPS 181702 WITH SCORE 182676.836
AT ITER 6036 NEW BEST:: SOT 1485926 SOS 973951 HAS SOPS 768657 HAS SOUS 181861 HAS SOUPS 181113 WITH SCORE 182086.951
AT ITER 6124 NEW BEST:: SOT 1486047 SOS 974072 HAS SOPS 768778 HAS SOUS 181465 HAS SOUPS 180717 WITH SCORE 181691.072
AT ITER 6136 NEW BEST:: SOT 1488224 SOS 976249 HAS SOPS 770000 HAS SOUS 181378 HAS SOUPS 180630 WITH SCORE 181606.249
AT ITER 6148 NEW BEST:: SOT 1491377 SOS 979402 HAS SOPS 770798 HAS SOUS 181225 HAS SOUPS 180477 WITH SCORE 181456.402
AT ITER 6160 NEW BEST:: SOT 1500545 SOS 984625 HAS SOPS 766145 HAS SOUS 180127 HAS SOUPS 179379 WITH SCORE 180363.625
AT ITER 6247 NEW BEST:: SOT 1500410 SOS 984693 HAS SOPS 766258 HAS SOUS 179984 HAS SOUPS 179236 WITH SCORE 180220.693
AT ITER 6286 NEW BEST:: SOT 1500799 SOS 985082 HAS SOPS 766647 HAS SOUS 179306 HAS SOUPS 178558 WITH SCORE 179543.082
AT ITER 6337 NEW BEST:: SOT 1501748 SOS 985479 HAS SOPS 767033 HAS SOUS 179061 HAS SOUPS 178313 WITH SCORE 179298.479
AT ITER 6375 NEW BEST:: SOT 1537238 SOS 1007550 HAS SOPS 778346 HAS SOUS 177319 HAS SOUPS 176571 WITH SCORE 177578.55
AT ITER 6435 NEW BEST:: SOT 1537346 SOS 1007464 HAS SOPS 778260 HAS SOUS 177094 HAS SOUPS 176346 WITH SCORE 177353.464
AT ITER 6466 NEW BEST:: SOT 1539751 SOS 1009869 HAS SOPS 776575 HAS SOUS 176964 HAS SOUPS 176216 WITH SCORE 177225.869
AT ITER 6475 NEW BEST:: SOT 1539937 SOS 1010055 HAS SOPS 776761 HAS SOUS 176636 HAS SOUPS 175888 WITH SCORE 176898.055
AT ITER 6541 NEW BEST:: SOT 1542189 SOS 1012307 HAS SOPS 776801 HAS SOUS 176512 HAS SOUPS 175764 WITH SCORE 176776.307
AT ITER 6589 NEW BEST:: SOT 1542189 SOS 1011946 HAS SOPS 776440 HAS SOUS 176208 HAS SOUPS 175460 WITH SCORE 176471.946
AT ITER 6597 NEW BEST:: SOT 1542428 SOS 1012120 HAS SOPS 776485 HAS SOUS 176198 HAS SOUPS 175450 WITH SCORE 176462.12
AT ITER 6652 NEW BEST:: SOT 1556653 SOS 1020034 HAS SOPS 771804 HAS SOUS 175624 HAS SOUPS 174848 WITH SCORE 175868.034
AT ITER 6707 NEW BEST:: SOT 1556653 SOS 1020034 HAS SOPS 771804 HAS SOUS 175571 HAS SOUPS 174795 WITH SCORE 175815.034
AT ITER 6717 NEW BEST:: SOT 1556538 SOS 1019919 HAS SOPS 771689 HAS SOUS 175548 HAS SOUPS 174772 WITH SCORE 175791.919
AT ITER 6744 NEW BEST:: SOT 1569192 SOS 1026398 HAS SOPS 766054 HAS SOUS 174227 HAS SOUPS 173451 WITH SCORE 174477.398
AT ITER 6754 NEW BEST:: SOT 1569192 SOS 1016984 HAS SOPS 756640 HAS SOUS 174066 HAS SOUPS 173290 WITH SCORE 174306.984
AT ITER 6807 NEW BEST:: SOT 1569192 SOS 1016077 HAS SOPS 755733 HAS SOUS 173412 HAS SOUPS 172636 WITH SCORE 173652.077
AT ITER 6809 NEW BEST:: SOT 1569410 SOS 1016207 HAS SOPS 755863 HAS SOUS 173399 HAS SOUPS 172623 WITH SCORE 173639.207
AT ITER 6850 NEW BEST:: SOT 1569410 SOS 1013070 HAS SOPS 752757 HAS SOUS 173121 HAS SOUPS 172376 WITH SCORE 173389.07
AT ITER 6862 NEW BEST:: SOT 1569410 SOS 1013070 HAS SOPS 752757 HAS SOUS 173113 HAS SOUPS 172368 WITH SCORE 173381.07
AT ITER 6917 NEW BEST:: SOT 1569410 SOS 1012906 HAS SOPS 752593 HAS SOUS 173108 HAS SOUPS 172363 WITH SCORE 173375.906
AT ITER 6925 NEW BEST:: SOT 1569410 SOS 1005180 HAS SOPS 744867 HAS SOUS 172741 HAS SOUPS 171996 WITH SCORE 173001.18
AT ITER 6942 NEW BEST:: SOT 1569332 SOS 1005102 HAS SOPS 744789 HAS SOUS 172617 HAS SOUPS 171872 WITH SCORE 172877.102
AT ITER 6957 NEW BEST:: SOT 1569486 SOS 1005175 HAS SOPS 744862 HAS SOUS 172493 HAS SOUPS 171748 WITH SCORE 172753.175
AT ITER 6994 NEW BEST:: SOT 1569564 SOS 1005253 HAS SOPS 744940 HAS SOUS 172463 HAS SOUPS 171718 WITH SCORE 172723.253
AT ITER 7032 NEW BEST:: SOT 1572114 SOS 1007803 HAS SOPS 746368 HAS SOUS 172361 HAS SOUPS 171616 WITH SCORE 172623.803
AT ITER 7047 NEW BEST:: SOT 1572114 SOS 1007717 HAS SOPS 746282 HAS SOUS 172284 HAS SOUPS 171539 WITH SCORE 172546.717
AT ITER 7086 NEW BEST:: SOT 1581305 SOS 1016908 HAS SOPS 751452 HAS SOUS 171917 HAS SOUPS 171172 WITH SCORE 172188.908
AT ITER 7109 NEW BEST:: SOT 1581305 SOS 1016903 HAS SOPS 751447 HAS SOUS 171914 HAS SOUPS 171169 WITH SCORE 172185.903
AT ITER 7114 NEW BEST:: SOT 1581305 SOS 1016837 HAS SOPS 751381 HAS SOUS 171912 HAS SOUPS 171167 WITH SCORE 172183.837
AT ITER 7157 NEW BEST:: SOT 1581305 SOS 1015658 HAS SOPS 750202 HAS SOUS 171408 HAS SOUPS 170663 WITH SCORE 171678.658
AT ITER 7177 NEW BEST:: SOT 1581305 SOS 1015680 HAS SOPS 750224 HAS SOUS 171364 HAS SOUPS 170619 WITH SCORE 171634.68
AT ITER 7202 NEW BEST:: SOT 1581305 SOS 1015544 HAS SOPS 750088 HAS SOUS 171289 HAS SOUPS 170544 WITH SCORE 171559.544
AT ITER 7225 NEW BEST:: SOT 1581305 SOS 1015445 HAS SOPS 749989 HAS SOUS 171283 HAS SOUPS 170538 WITH SCORE 171553.445
AT ITER 7228 NEW BEST:: SOT 1581305 SOS 1013027 HAS SOPS 747571 HAS SOUS 171192 HAS SOUPS 170447 WITH SCORE 171460.027
AT ITER 7320 NEW BEST:: SOT 1576667 SOS 1008389 HAS SOPS 745347 HAS SOUS 171192 HAS SOUPS 170447 WITH SCORE 171455.389
AT ITER 7393 NEW BEST:: SOT 1585918 SOS 1010241 HAS SOPS 736542 HAS SOUS 169898 HAS SOUPS 169153 WITH SCORE 170163.241
AT ITER 7485 NEW BEST:: SOT 1586708 SOS 1011031 HAS SOPS 734692 HAS SOUS 169604 HAS SOUPS 168859 WITH SCORE 169870.031
AT ITER 7510 NEW BEST:: SOT 1586708 SOS 1010915 HAS SOPS 734576 HAS SOUS 169488 HAS SOUPS 168743 WITH SCORE 169753.915
AT ITER 7540 NEW BEST:: SOT 1586708 SOS 1010749 HAS SOPS 734410 HAS SOUS 169322 HAS SOUPS 168577 WITH SCORE 169587.749
AT ITER 7575 NEW BEST:: SOT 1574274 SOS 998315 HAS SOPS 726885 HAS SOUS 169322 HAS SOUPS 168577 WITH SCORE 169575.315
AT ITER 7601 NEW BEST:: SOT 1590371 SOS 1001866 HAS SOPS 718300 HAS SOUS 168331 HAS SOUPS 167565 WITH SCORE 168566.866
AT ITER 7755 NEW BEST:: SOT 1568757 SOS 980252 HAS SOPS 698811 HAS SOUS 168018 HAS SOUPS 167252 WITH SCORE 168232.252
AT ITER 7818 NEW BEST:: SOT 1578444 SOS 985566 HAS SOPS 693906 HAS SOUS 167544 HAS SOUPS 166778 WITH SCORE 167763.566
AT ITER 7841 NEW BEST:: SOT 1578776 SOS 985469 HAS SOPS 691801 HAS SOUS 167427 HAS SOUPS 166661 WITH SCORE 167646.469
AT ITER 7854 NEW BEST:: SOT 1581677 SOS 974024 HAS SOPS 671613 HAS SOUS 165902 HAS SOUPS 165136 WITH SCORE 166110.024
AT ITER 7893 NEW BEST:: SOT 1584955 SOS 977302 HAS SOPS 673309 HAS SOUS 165767 HAS SOUPS 165001 WITH SCORE 165978.302
AT ITER 7966 NEW BEST:: SOT 1584955 SOS 977285 HAS SOPS 673292 HAS SOUS 165767 HAS SOUPS 165001 WITH SCORE 165978.285
AT ITER 8011 NEW BEST:: SOT 1582235 SOS 974565 HAS SOPS 676380 HAS SOUS 165767 HAS SOUPS 165001 WITH SCORE 165975.565
AT ITER 8018 NEW BEST:: SOT 1582235 SOS 974547 HAS SOPS 676362 HAS SOUS 165767 HAS SOUPS 165001 WITH SCORE 165975.547
AT ITER 8072 NEW BEST:: SOT 1582817 SOS 975129 HAS SOPS 676944 HAS SOUS 165665 HAS SOUPS 164899 WITH SCORE 165874.129
AT ITER 8116 NEW BEST:: SOT 1557932 SOS 950244 HAS SOPS 655833 HAS SOUS 165329 HAS SOUPS 164563 WITH SCORE 165513.244
AT ITER 8131 NEW BEST:: SOT 1556584 SOS 948896 HAS SOPS 657155 HAS SOUS 165329 HAS SOUPS 164563 WITH SCORE 165511.896
AT ITER 8147 NEW BEST:: SOT 1556879 SOS 949015 HAS SOPS 657274 HAS SOUS 165229 HAS SOUPS 164463 WITH SCORE 165412.015
AT ITER 8155 NEW BEST:: SOT 1556879 SOS 949013 HAS SOPS 657272 HAS SOUS 165208 HAS SOUPS 164442 WITH SCORE 165391.013
AT ITER 8188 NEW BEST:: SOT 1557259 SOS 949393 HAS SOPS 657652 HAS SOUS 165191 HAS SOUPS 164425 WITH SCORE 165374.393
AT ITER 8203 NEW BEST:: SOT 1557696 SOS 949830 HAS SOPS 658089 HAS SOUS 165162 HAS SOUPS 164396 WITH SCORE 165345.83
AT ITER 8258 NEW BEST:: SOT 1531864 SOS 923998 HAS SOPS 635956 HAS SOUS 154340 HAS SOUPS 153574 WITH SCORE 154497.998
AT ITER 8282 NEW BEST:: SOT 1531864 SOS 923998 HAS SOPS 635956 HAS SOUS 154136 HAS SOUPS 153370 WITH SCORE 154293.998
AT ITER 8304 NEW BEST:: SOT 1532650 SOS 924682 HAS SOPS 636640 HAS SOUS 153970 HAS SOUPS 153204 WITH SCORE 154128.682
AT ITER 8348 NEW BEST:: SOT 1533411 SOS 925434 HAS SOPS 637392 HAS SOUS 153963 HAS SOUPS 153197 WITH SCORE 154122.434
AT ITER 8403 NEW BEST:: SOT 1533507 SOS 925204 HAS SOPS 637162 HAS SOUS 153733 HAS SOUPS 152967 WITH SCORE 153892.204
AT ITER 8407 NEW BEST:: SOT 1533763 SOS 925436 HAS SOPS 637394 HAS SOUS 153593 HAS SOUPS 152827 WITH SCORE 153752.436
AT ITER 8424 NEW BEST:: SOT 1533763 SOS 925408 HAS SOPS 637366 HAS SOUS 153579 HAS SOUPS 152813 WITH SCORE 153738.408
AT ITER 8457 NEW BEST:: SOT 1533835 SOS 925467 HAS SOPS 637425 HAS SOUS 152808 HAS SOUPS 152042 WITH SCORE 152967.467
AT ITER 8465 NEW BEST:: SOT 1546749 SOS 938381 HAS SOPS 644353 HAS SOUS 152283 HAS SOUPS 151517 WITH SCORE 152455.381
AT ITER 8478 NEW BEST:: SOT 1546749 SOS 938021 HAS SOPS 643993 HAS SOUS 152091 HAS SOUPS 151325 WITH SCORE 152263.021
AT ITER 8480 NEW BEST:: SOT 1547001 SOS 937943 HAS SOPS 643915 HAS SOUS 151921 HAS SOUPS 151155 WITH SCORE 152092.943
AT ITER 8502 NEW BEST:: SOT 1499547 SOS 1433766 HAS SOPS 610039 HAS SOUS 105383 HAS SOUPS 104241 WITH SCORE 105674.766
AT ITER 8588 NEW BEST:: SOT 1499518 SOS 1433737 HAS SOPS 610010 HAS SOUS 105304 HAS SOUPS 104162 WITH SCORE 105595.737
AT ITER 8644 NEW BEST:: SOT 1499847 SOS 1434066 HAS SOPS 610339 HAS SOUS 105302 HAS SOUPS 104160 WITH SCORE 105594.066
AT ITER 8689 NEW BEST:: SOT 1499816 SOS 1434035 HAS SOPS 610308 HAS SOUS 105271 HAS SOUPS 104129 WITH SCORE 105563.035
AT ITER 8745 NEW BEST:: SOT 1502110 SOS 1436329 HAS SOPS 606986 HAS SOUS 105212 HAS SOUPS 104070 WITH SCORE 105506.329
AT ITER 8761 NEW BEST:: SOT 1502110 SOS 1436329 HAS SOPS 606811 HAS SOUS 105177 HAS SOUPS 104035 WITH SCORE 105471.329
AT ITER 8795 NEW BEST:: SOT 1502254 SOS 1436473 HAS SOPS 606792 HAS SOUS 105139 HAS SOUPS 103997 WITH SCORE 105433.473
AT ITER 8808 NEW BEST:: SOT 1487257 SOS 1421476 HAS SOPS 596195 HAS SOUS 102764 HAS SOUPS 101622 WITH SCORE 103043.476
AT ITER 8832 NEW BEST:: SOT 1487257 SOS 1421476 HAS SOPS 596195 HAS SOUS 102604 HAS SOUPS 101462 WITH SCORE 102883.476
AT ITER 8839 NEW BEST:: SOT 1486905 SOS 1421124 HAS SOPS 595843 HAS SOUS 101652 HAS SOUPS 100510 WITH SCORE 101931.124
AT ITER 8892 NEW BEST:: SOT 1496134 SOS 1430353 HAS SOPS 598965 HAS SOUS 101226 HAS SOUPS 100084 WITH SCORE 101514.353
AT ITER 8958 NEW BEST:: SOT 1495911 SOS 1430130 HAS SOPS 598970 HAS SOUS 101226 HAS SOUPS 100084 WITH SCORE 101514.13
AT ITER 9004 NEW BEST:: SOT 1496199 SOS 1430418 HAS SOPS 599258 HAS SOUS 101095 HAS SOUPS 99953 WITH SCORE 101383.418
AT ITER 9020 NEW BEST:: SOT 1494137 SOS 1428356 HAS SOPS 603006 HAS SOUS 101095 HAS SOUPS 99953 WITH SCORE 101381.356
AT ITER 9090 NEW BEST:: SOT 1494234 SOS 1428453 HAS SOPS 603103 HAS SOUS 100996 HAS SOUPS 99854 WITH SCORE 101282.453
AT ITER 9094 NEW BEST:: SOT 1501247 SOS 1435466 HAS SOPS 607013 HAS SOUS 100715 HAS SOUPS 99573 WITH SCORE 101008.466
AT ITER 9188 NEW BEST:: SOT 1501160 SOS 1435379 HAS SOPS 606926 HAS SOUS 100584 HAS SOUPS 99442 WITH SCORE 100877.379
AT ITER 9233 NEW BEST:: SOT 1501125 SOS 1435344 HAS SOPS 606891 HAS SOUS 100555 HAS SOUPS 99413 WITH SCORE 100848.344
AT ITER 9240 NEW BEST:: SOT 1500898 SOS 1435117 HAS SOPS 606767 HAS SOUS 100534 HAS SOUPS 99392 WITH SCORE 100827.117
AT ITER 9251 NEW BEST:: SOT 1501029 SOS 1435248 HAS SOPS 606898 HAS SOUS 100448 HAS SOUPS 99306 WITH SCORE 100741.248
AT ITER 9259 NEW BEST:: SOT 1509826 SOS 1444045 HAS SOPS 609055 HAS SOUS 100408 HAS SOUPS 99266 WITH SCORE 100710.045
AT ITER 9286 NEW BEST:: SOT 1507316 SOS 1441535 HAS SOPS 617360 HAS SOUS 100408 HAS SOUPS 99266 WITH SCORE 100707.535
AT ITER 9319 NEW BEST:: SOT 1508244 SOS 1442463 HAS SOPS 618288 HAS SOUS 100343 HAS SOUPS 99201 WITH SCORE 100643.463
AT ITER 9513 NEW BEST:: SOT 1506554 SOS 1440773 HAS SOPS 616627 HAS SOUS 99687 HAS SOUPS 98545 WITH SCORE 99985.773
AT ITER 9533 NEW BEST:: SOT 1506608 SOS 1440827 HAS SOPS 616681 HAS SOUS 99633 HAS SOUPS 98491 WITH SCORE 99931.827
AT ITER 9609 NEW BEST:: SOT 1506500 SOS 1440719 HAS SOPS 616573 HAS SOUS 99633 HAS SOUPS 98491 WITH SCORE 99931.719
AT ITER 9725 NEW BEST:: SOT 1506566 SOS 1440785 HAS SOPS 616507 HAS SOUS 99567 HAS SOUPS 98425 WITH SCORE 99865.785
AT ITER 9816 NEW BEST:: SOT 1508190 SOS 1442409 HAS SOPS 607779 HAS SOUS 99411 HAS SOUPS 98269 WITH SCORE 99711.409
AT ITER 9844 NEW BEST:: SOT 1508170 SOS 1442389 HAS SOPS 607821 HAS SOUS 99411 HAS SOUPS 98269 WITH SCORE 99711.389
AT ITER 9915 NEW BEST:: SOT 1508376 SOS 1442595 HAS SOPS 608027 HAS SOUS 99235 HAS SOUPS 98093 WITH SCORE 99535.595
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 4920888 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16120712 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:
++ 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
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-d2m96"
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-d2m96, 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-167905979700496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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