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

--------------------
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 1679092274049

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-d2m96
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m96
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: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802664 SOS 718908 HAS SOPS 718908 HAS SOUS 632272 HAS SOUPS 632272 WITH SCORE 632990.908
AT ITER 12 NEW BEST:: SOT 802664 SOS 718996 HAS SOPS 718996 HAS SOUS 631268 HAS SOUPS 631268 WITH SCORE 631986.996
AT ITER 48 NEW BEST:: SOT 802664 SOS 717618 HAS SOPS 717618 HAS SOUS 630873 HAS SOUPS 630873 WITH SCORE 631590.618
AT ITER 120 NEW BEST:: SOT 802664 SOS 717636 HAS SOPS 717636 HAS SOUS 630857 HAS SOUPS 630857 WITH SCORE 631574.636
AT ITER 163 NEW BEST:: SOT 802664 SOS 717636 HAS SOPS 717636 HAS SOUS 630856 HAS SOUPS 630856 WITH SCORE 631573.636
AT ITER 185 NEW BEST:: SOT 804468 SOS 717794 HAS SOPS 717794 HAS SOUS 627423 HAS SOUPS 627423 WITH SCORE 628140.794
AT ITER 190 NEW BEST:: SOT 804468 SOS 717543 HAS SOPS 717543 HAS SOUS 620755 HAS SOUPS 620755 WITH SCORE 621472.543
AT ITER 273 NEW BEST:: SOT 804468 SOS 716381 HAS SOPS 716381 HAS SOUS 619018 HAS SOUPS 619018 WITH SCORE 619734.381
AT ITER 301 NEW BEST:: SOT 804468 SOS 716070 HAS SOPS 716070 HAS SOUS 610711 HAS SOUPS 610711 WITH SCORE 611427.07
AT ITER 356 NEW BEST:: SOT 804468 SOS 714974 HAS SOPS 714974 HAS SOUS 607444 HAS SOUPS 607444 WITH SCORE 608158.974
AT ITER 462 NEW BEST:: SOT 805001 SOS 713217 HAS SOPS 713217 HAS SOUS 593529 HAS SOUPS 593529 WITH SCORE 594242.217
AT ITER 469 NEW BEST:: SOT 810092 SOS 717368 HAS SOPS 717311 HAS SOUS 588947 HAS SOUPS 588903 WITH SCORE 589620.368
AT ITER 483 NEW BEST:: SOT 810092 SOS 715035 HAS SOPS 714978 HAS SOUS 583109 HAS SOUPS 583065 WITH SCORE 583780.035
AT ITER 544 NEW BEST:: SOT 813092 SOS 714899 HAS SOPS 714767 HAS SOUS 570683 HAS SOUPS 570608 WITH SCORE 571322.899
AT ITER 551 NEW BEST:: SOT 821729 SOS 721936 HAS SOPS 721672 HAS SOUS 561958 HAS SOUPS 561883 WITH SCORE 562604.936
AT ITER 592 NEW BEST:: SOT 825785 SOS 722323 HAS SOPS 721851 HAS SOUS 549681 HAS SOUPS 549577 WITH SCORE 550299.323
AT ITER 596 NEW BEST:: SOT 842109 SOS 736875 HAS SOPS 736167 HAS SOUS 546464 HAS SOUPS 546360 WITH SCORE 547096.875
AT ITER 598 NEW BEST:: SOT 842109 SOS 735582 HAS SOPS 734874 HAS SOUS 537161 HAS SOUPS 537057 WITH SCORE 537792.582
AT ITER 605 NEW BEST:: SOT 846251 SOS 736132 HAS SOPS 735097 HAS SOUS 524903 HAS SOUPS 524794 WITH SCORE 525530.132
AT ITER 608 NEW BEST:: SOT 857246 SOS 745060 HAS SOPS 743680 HAS SOUS 514170 HAS SOUPS 514061 WITH SCORE 514806.06
AT ITER 629 NEW BEST:: SOT 857246 SOS 742274 HAS SOPS 740894 HAS SOUS 510473 HAS SOUPS 510364 WITH SCORE 511106.274
AT ITER 631 NEW BEST:: SOT 866928 SOS 749575 HAS SOPS 747850 HAS SOUS 499450 HAS SOUPS 499341 WITH SCORE 500090.575
AT ITER 675 NEW BEST:: SOT 879042 SOS 757607 HAS SOPS 754589 HAS SOUS 495636 HAS SOUPS 495309 WITH SCORE 496066.607
AT ITER 723 NEW BEST:: SOT 879042 SOS 757607 HAS SOPS 754589 HAS SOUS 495635 HAS SOUPS 495308 WITH SCORE 496065.607
AT ITER 738 NEW BEST:: SOT 879042 SOS 757163 HAS SOPS 754145 HAS SOUS 495416 HAS SOUPS 495089 WITH SCORE 495846.163
AT ITER 742 NEW BEST:: SOT 887744 SOS 763866 HAS SOPS 759751 HAS SOUS 486417 HAS SOUPS 486090 WITH SCORE 486853.866
AT ITER 748 NEW BEST:: SOT 887744 SOS 763393 HAS SOPS 759278 HAS SOUS 484596 HAS SOUPS 484269 WITH SCORE 485032.393
AT ITER 802 NEW BEST:: SOT 896330 SOS 769155 HAS SOPS 764194 HAS SOUS 474319 HAS SOUPS 473992 WITH SCORE 474761.155
AT ITER 843 NEW BEST:: SOT 896684 SOS 769108 HAS SOPS 764147 HAS SOUS 474296 HAS SOUPS 473969 WITH SCORE 474738.108
AT ITER 865 NEW BEST:: SOT 892484 SOS 764908 HAS SOPS 760187 HAS SOUS 474296 HAS SOUPS 473969 WITH SCORE 474733.908
AT ITER 895 NEW BEST:: SOT 892559 SOS 764983 HAS SOPS 760262 HAS SOUS 474286 HAS SOUPS 473959 WITH SCORE 474723.983
AT ITER 908 NEW BEST:: SOT 892566 SOS 764990 HAS SOPS 760269 HAS SOUS 474155 HAS SOUPS 473828 WITH SCORE 474592.99
AT ITER 911 NEW BEST:: SOT 892601 SOS 764926 HAS SOPS 760205 HAS SOUS 474085 HAS SOUPS 473758 WITH SCORE 474522.926
AT ITER 923 NEW BEST:: SOT 892601 SOS 764845 HAS SOPS 760124 HAS SOUS 474067 HAS SOUPS 473740 WITH SCORE 474504.845
AT ITER 937 NEW BEST:: SOT 892601 SOS 764872 HAS SOPS 760151 HAS SOUS 473926 HAS SOUPS 473599 WITH SCORE 474363.872
AT ITER 957 NEW BEST:: SOT 892601 SOS 764253 HAS SOPS 759532 HAS SOUS 471823 HAS SOUPS 471496 WITH SCORE 472260.253
AT ITER 978 NEW BEST:: SOT 892601 SOS 763071 HAS SOPS 758350 HAS SOUS 468319 HAS SOUPS 467992 WITH SCORE 468755.071
AT ITER 989 NEW BEST:: SOT 904326 SOS 772005 HAS SOPS 766373 HAS SOUS 458055 HAS SOUPS 457728 WITH SCORE 458500.005
AT ITER 1012 NEW BEST:: SOT 912166 SOS 774855 HAS SOPS 767838 HAS SOUS 447037 HAS SOUPS 446710 WITH SCORE 447484.855
AT ITER 1063 NEW BEST:: SOT 912430 SOS 774365 HAS SOPS 767348 HAS SOUS 446862 HAS SOUPS 446535 WITH SCORE 447309.365
AT ITER 1113 NEW BEST:: SOT 933866 SOS 792654 HAS SOPS 784501 HAS SOUS 442929 HAS SOUPS 442602 WITH SCORE 443394.654
AT ITER 1117 NEW BEST:: SOT 933866 SOS 792626 HAS SOPS 784473 HAS SOUS 442929 HAS SOUPS 442602 WITH SCORE 443394.626
AT ITER 1172 NEW BEST:: SOT 933866 SOS 792626 HAS SOPS 784473 HAS SOUS 442928 HAS SOUPS 442601 WITH SCORE 443393.626
AT ITER 1197 NEW BEST:: SOT 954870 SOS 810339 HAS SOPS 801050 HAS SOUS 432683 HAS SOUPS 432356 WITH SCORE 433166.339
AT ITER 1229 NEW BEST:: SOT 954799 SOS 811798 HAS SOPS 803633 HAS SOUS 432501 HAS SOUPS 432174 WITH SCORE 432985.798
AT ITER 1280 NEW BEST:: SOT 954799 SOS 811732 HAS SOPS 803567 HAS SOUS 432479 HAS SOUPS 432152 WITH SCORE 432963.732
AT ITER 1304 NEW BEST:: SOT 954799 SOS 808761 HAS SOPS 800596 HAS SOUS 422970 HAS SOUPS 422643 WITH SCORE 423451.761
AT ITER 1369 NEW BEST:: SOT 954799 SOS 808398 HAS SOPS 800233 HAS SOUS 422928 HAS SOUPS 422601 WITH SCORE 423409.398
AT ITER 1452 NEW BEST:: SOT 956721 SOS 804068 HAS SOPS 795283 HAS SOUS 413291 HAS SOUPS 412964 WITH SCORE 413768.068
AT ITER 1462 NEW BEST:: SOT 981358 SOS 825457 HAS SOPS 815713 HAS SOUS 406212 HAS SOUPS 405885 WITH SCORE 406710.457
AT ITER 1532 NEW BEST:: SOT 981358 SOS 825436 HAS SOPS 815692 HAS SOUS 406208 HAS SOUPS 405881 WITH SCORE 406706.436
AT ITER 1550 NEW BEST:: SOT 981358 SOS 823237 HAS SOPS 813493 HAS SOUS 405331 HAS SOUPS 405004 WITH SCORE 405827.237
AT ITER 1707 NEW BEST:: SOT 981358 SOS 822459 HAS SOPS 812715 HAS SOUS 403102 HAS SOUPS 402775 WITH SCORE 403597.459
AT ITER 1722 NEW BEST:: SOT 991296 SOS 829164 HAS SOPS 818486 HAS SOUS 393157 HAS SOUPS 392830 WITH SCORE 393659.164
AT ITER 1729 NEW BEST:: SOT 991296 SOS 825728 HAS SOPS 815050 HAS SOUS 386341 HAS SOUPS 386014 WITH SCORE 386839.728
AT ITER 1734 NEW BEST:: SOT 1023970 SOS 854983 HAS SOPS 843346 HAS SOUS 383974 HAS SOUPS 383647 WITH SCORE 384501.983
AT ITER 1767 NEW BEST:: SOT 1023970 SOS 853110 HAS SOPS 841473 HAS SOUS 379260 HAS SOUPS 378933 WITH SCORE 379786.11
AT ITER 1806 NEW BEST:: SOT 1023970 SOS 853088 HAS SOPS 841451 HAS SOUS 379238 HAS SOUPS 378911 WITH SCORE 379764.088
AT ITER 1828 NEW BEST:: SOT 1053051 SOS 877477 HAS SOPS 864881 HAS SOUS 371685 HAS SOUPS 371358 WITH SCORE 372235.477
AT ITER 1833 NEW BEST:: SOT 1053051 SOS 876867 HAS SOPS 864271 HAS SOUS 371621 HAS SOUPS 371294 WITH SCORE 372170.867
AT ITER 1838 NEW BEST:: SOT 1053585 SOS 877401 HAS SOPS 864805 HAS SOUS 371255 HAS SOUPS 370928 WITH SCORE 371805.401
AT ITER 1868 NEW BEST:: SOT 1062782 SOS 882264 HAS SOPS 865786 HAS SOUS 365730 HAS SOUPS 365403 WITH SCORE 366285.264
AT ITER 1890 NEW BEST:: SOT 1063002 SOS 881530 HAS SOPS 864904 HAS SOUS 365377 HAS SOUPS 365050 WITH SCORE 365931.53
AT ITER 1917 NEW BEST:: SOT 1097436 SOS 912634 HAS SOPS 894730 HAS SOUS 358862 HAS SOUPS 358535 WITH SCORE 359447.634
AT ITER 1929 NEW BEST:: SOT 1097700 SOS 912886 HAS SOPS 894718 HAS SOUS 358850 HAS SOUPS 358523 WITH SCORE 359435.886
AT ITER 1961 NEW BEST:: SOT 1108008 SOS 914257 HAS SOPS 891555 HAS SOUS 352798 HAS SOUPS 352436 WITH SCORE 353350.257
AT ITER 1971 NEW BEST:: SOT 1109751 SOS 916000 HAS SOPS 893205 HAS SOUS 352747 HAS SOUPS 352385 WITH SCORE 353301.0
AT ITER 2124 NEW BEST:: SOT 1109782 SOS 915932 HAS SOPS 893137 HAS SOUS 351860 HAS SOUPS 351498 WITH SCORE 352413.932
AT ITER 2159 NEW BEST:: SOT 1109782 SOS 915416 HAS SOPS 892621 HAS SOUS 350756 HAS SOUPS 350394 WITH SCORE 351309.416
AT ITER 2245 NEW BEST:: SOT 1109682 SOS 915316 HAS SOPS 892521 HAS SOUS 350653 HAS SOUPS 350291 WITH SCORE 351206.316
AT ITER 2249 NEW BEST:: SOT 1116694 SOS 913874 HAS SOPS 887472 HAS SOUS 343656 HAS SOUPS 343294 WITH SCORE 344207.874
AT ITER 2322 NEW BEST:: SOT 1117210 SOS 914376 HAS SOPS 887458 HAS SOUS 343796 HAS SOUPS 343280 WITH SCORE 344194.376
AT ITER 2324 NEW BEST:: SOT 1117245 SOS 913997 HAS SOPS 887079 HAS SOUS 342993 HAS SOUPS 342477 WITH SCORE 343390.997
AT ITER 2349 NEW BEST:: SOT 1117245 SOS 913988 HAS SOPS 887070 HAS SOUS 342970 HAS SOUPS 342454 WITH SCORE 343367.988
AT ITER 2350 NEW BEST:: SOT 1117245 SOS 913975 HAS SOPS 887057 HAS SOUS 342795 HAS SOUPS 342279 WITH SCORE 343192.975
AT ITER 2351 NEW BEST:: SOT 1117245 SOS 913975 HAS SOPS 887057 HAS SOUS 342794 HAS SOUPS 342278 WITH SCORE 343191.975
AT ITER 2356 NEW BEST:: SOT 1116543 SOS 913273 HAS SOPS 886760 HAS SOUS 342794 HAS SOUPS 342278 WITH SCORE 343191.273
AT ITER 2438 NEW BEST:: SOT 1116568 SOS 913298 HAS SOPS 886785 HAS SOUS 342697 HAS SOUPS 342181 WITH SCORE 343094.298
AT ITER 2471 NEW BEST:: SOT 1116656 SOS 913386 HAS SOPS 886873 HAS SOUS 342666 HAS SOUPS 342150 WITH SCORE 343063.386
AT ITER 2480 NEW BEST:: SOT 1116656 SOS 909173 HAS SOPS 882660 HAS SOUS 334544 HAS SOUPS 334028 WITH SCORE 334937.173
AT ITER 2492 NEW BEST:: SOT 1132520 SOS 916276 HAS SOPS 884102 HAS SOUS 333198 HAS SOUPS 332673 WITH SCORE 333589.276
AT ITER 2531 NEW BEST:: SOT 1149154 SOS 922918 HAS SOPS 884951 HAS SOUS 327001 HAS SOUPS 326454 WITH SCORE 327376.918
AT ITER 2540 NEW BEST:: SOT 1149269 SOS 922204 HAS SOPS 884197 HAS SOUS 326624 HAS SOUPS 326077 WITH SCORE 326999.204
AT ITER 2593 NEW BEST:: SOT 1149269 SOS 921799 HAS SOPS 883792 HAS SOUS 326624 HAS SOUPS 326077 WITH SCORE 326998.799
AT ITER 2604 NEW BEST:: SOT 1156518 SOS 919754 HAS SOPS 878049 HAS SOUS 319803 HAS SOUPS 319256 WITH SCORE 320175.754
AT ITER 2660 NEW BEST:: SOT 1163335 SOS 926571 HAS SOPS 883511 HAS SOUS 319576 HAS SOUPS 319029 WITH SCORE 319955.571
AT ITER 2669 NEW BEST:: SOT 1163335 SOS 924714 HAS SOPS 881654 HAS SOUS 317476 HAS SOUPS 316929 WITH SCORE 317853.714
AT ITER 2679 NEW BEST:: SOT 1181667 SOS 933075 HAS SOPS 883665 HAS SOUS 312537 HAS SOUPS 311935 WITH SCORE 312868.075
AT ITER 2699 NEW BEST:: SOT 1218734 SOS 963310 HAS SOPS 910087 HAS SOUS 309161 HAS SOUPS 308559 WITH SCORE 309522.31
AT ITER 2701 NEW BEST:: SOT 1231746 SOS 976322 HAS SOPS 922467 HAS SOUS 308910 HAS SOUPS 308308 WITH SCORE 309284.322
AT ITER 2703 NEW BEST:: SOT 1251882 SOS 986279 HAS SOPS 924721 HAS SOUS 305105 HAS SOUPS 304426 WITH SCORE 305412.279
AT ITER 2756 NEW BEST:: SOT 1239064 SOS 973461 HAS SOPS 915321 HAS SOUS 302448 HAS SOUPS 301846 WITH SCORE 302819.461
AT ITER 2784 NEW BEST:: SOT 1246208 SOS 972806 HAS SOPS 910453 HAS SOUS 296265 HAS SOUPS 295663 WITH SCORE 296635.806
AT ITER 2791 NEW BEST:: SOT 1241096 SOS 967694 HAS SOPS 908347 HAS SOUS 296265 HAS SOUPS 295663 WITH SCORE 296630.694
AT ITER 2822 NEW BEST:: SOT 1258410 SOS 974459 HAS SOPS 907949 HAS SOUS 289775 HAS SOUPS 289173 WITH SCORE 290147.459
AT ITER 2838 NEW BEST:: SOT 1258575 SOS 974243 HAS SOPS 907733 HAS SOUS 289749 HAS SOUPS 289147 WITH SCORE 290121.243
AT ITER 2907 NEW BEST:: SOT 1261200 SOS 967345 HAS SOPS 899155 HAS SOUS 283304 HAS SOUPS 282702 WITH SCORE 283669.345
AT ITER 2933 NEW BEST:: SOT 1297795 SOS 996819 HAS SOPS 923752 HAS SOUS 281331 HAS SOUPS 280729 WITH SCORE 281725.819
AT ITER 2944 NEW BEST:: SOT 1297795 SOS 992358 HAS SOPS 919291 HAS SOUS 277942 HAS SOUPS 277340 WITH SCORE 278332.358
AT ITER 2974 NEW BEST:: SOT 1297795 SOS 986775 HAS SOPS 913708 HAS SOUS 273582 HAS SOUPS 272980 WITH SCORE 273966.775
AT ITER 2975 NEW BEST:: SOT 1297999 SOS 986979 HAS SOPS 913912 HAS SOUS 273577 HAS SOUPS 272975 WITH SCORE 273961.979
AT ITER 2980 NEW BEST:: SOT 1297999 SOS 983738 HAS SOPS 910671 HAS SOUS 271268 HAS SOUPS 270666 WITH SCORE 271649.738
AT ITER 2999 NEW BEST:: SOT 1298943 SOS 984315 HAS SOPS 911217 HAS SOUS 271210 HAS SOUPS 270608 WITH SCORE 271592.315
AT ITER 3005 NEW BEST:: SOT 1299745 SOS 984750 HAS SOPS 910850 HAS SOUS 271043 HAS SOUPS 270241 WITH SCORE 271225.75
AT ITER 3016 NEW BEST:: SOT 1318807 SOS 998223 HAS SOPS 919446 HAS SOUS 266370 HAS SOUPS 265568 WITH SCORE 266566.223
AT ITER 3021 NEW BEST:: SOT 1314631 SOS 994047 HAS SOPS 918105 HAS SOUS 266370 HAS SOUPS 265568 WITH SCORE 266562.047
AT ITER 3031 NEW BEST:: SOT 1320800 SOS 989941 HAS SOPS 909467 HAS SOUS 261229 HAS SOUPS 260427 WITH SCORE 261416.941
AT ITER 3069 NEW BEST:: SOT 1356585 SOS 1018152 HAS SOPS 932711 HAS SOUS 255251 HAS SOUPS 254449 WITH SCORE 255467.152
AT ITER 3086 NEW BEST:: SOT 1356585 SOS 1017480 HAS SOPS 932039 HAS SOUS 254992 HAS SOUPS 254190 WITH SCORE 255207.48
AT ITER 3091 NEW BEST:: SOT 1363418 SOS 1016163 HAS SOPS 925378 HAS SOUS 250292 HAS SOUPS 249490 WITH SCORE 250506.163
AT ITER 3105 NEW BEST:: SOT 1363581 SOS 1016097 HAS SOPS 925287 HAS SOUS 250201 HAS SOUPS 249399 WITH SCORE 250415.097
AT ITER 3107 NEW BEST:: SOT 1363581 SOS 1015754 HAS SOPS 924944 HAS SOUS 250060 HAS SOUPS 249258 WITH SCORE 250273.754
AT ITER 3112 NEW BEST:: SOT 1361781 SOS 1013954 HAS SOPS 923144 HAS SOUS 249880 HAS SOUPS 249078 WITH SCORE 250091.954
AT ITER 3173 NEW BEST:: SOT 1361781 SOS 1007575 HAS SOPS 916765 HAS SOUS 248488 HAS SOUPS 247686 WITH SCORE 248693.575
AT ITER 3233 NEW BEST:: SOT 1381501 SOS 1020680 HAS SOPS 924606 HAS SOUS 243697 HAS SOUPS 242895 WITH SCORE 243915.68
AT ITER 3257 NEW BEST:: SOT 1376761 SOS 1015940 HAS SOPS 924023 HAS SOUS 243697 HAS SOUPS 242895 WITH SCORE 243910.94
AT ITER 3273 NEW BEST:: SOT 1376761 SOS 1015811 HAS SOPS 923894 HAS SOUS 243697 HAS SOUPS 242895 WITH SCORE 243910.811
AT ITER 3295 NEW BEST:: SOT 1390010 SOS 1029060 HAS SOPS 936712 HAS SOUS 243555 HAS SOUPS 242753 WITH SCORE 243782.06
AT ITER 3319 NEW BEST:: SOT 1390010 SOS 1028497 HAS SOPS 936149 HAS SOUS 243141 HAS SOUPS 242339 WITH SCORE 243367.497
AT ITER 3326 NEW BEST:: SOT 1371578 SOS 1010065 HAS SOPS 917717 HAS SOUS 242421 HAS SOUPS 241619 WITH SCORE 242629.065
AT ITER 3338 NEW BEST:: SOT 1371578 SOS 1009603 HAS SOPS 917255 HAS SOUS 242147 HAS SOUPS 241345 WITH SCORE 242354.603
AT ITER 3345 NEW BEST:: SOT 1372875 SOS 1003104 HAS SOPS 909353 HAS SOUS 237288 HAS SOUPS 236486 WITH SCORE 237489.104
AT ITER 3406 NEW BEST:: SOT 1372814 SOS 1003043 HAS SOPS 909292 HAS SOUS 237227 HAS SOUPS 236425 WITH SCORE 237428.043
AT ITER 3481 NEW BEST:: SOT 1372814 SOS 994896 HAS SOPS 901145 HAS SOUS 235377 HAS SOUPS 234575 WITH SCORE 235569.896
AT ITER 3487 NEW BEST:: SOT 1372825 SOS 994907 HAS SOPS 901156 HAS SOUS 235372 HAS SOUPS 234570 WITH SCORE 235564.907
AT ITER 3496 NEW BEST:: SOT 1372825 SOS 994896 HAS SOPS 901145 HAS SOUS 235329 HAS SOUPS 234527 WITH SCORE 235521.896
AT ITER 3538 NEW BEST:: SOT 1372825 SOS 995243 HAS SOPS 901492 HAS SOUS 235264 HAS SOUPS 234462 WITH SCORE 235457.243
AT ITER 3561 NEW BEST:: SOT 1372657 SOS 995075 HAS SOPS 901324 HAS SOUS 235096 HAS SOUPS 234294 WITH SCORE 235289.075
AT ITER 3582 NEW BEST:: SOT 1372657 SOS 985906 HAS SOPS 892155 HAS SOUS 230912 HAS SOUPS 230110 WITH SCORE 231095.906
AT ITER 3628 NEW BEST:: SOT 1380062 SOS 980810 HAS SOPS 880770 HAS SOUS 226812 HAS SOUPS 226010 WITH SCORE 226990.81
AT ITER 3655 NEW BEST:: SOT 1380284 SOS 980655 HAS SOPS 880615 HAS SOUS 226535 HAS SOUPS 225733 WITH SCORE 226713.655
AT ITER 3657 NEW BEST:: SOT 1390658 SOS 978363 HAS SOPS 870575 HAS SOUS 222530 HAS SOUPS 221728 WITH SCORE 222706.363
AT ITER 3690 NEW BEST:: SOT 1410835 SOS 998540 HAS SOPS 889005 HAS SOUS 222190 HAS SOUPS 221388 WITH SCORE 222386.54
AT ITER 3734 NEW BEST:: SOT 1410835 SOS 991882 HAS SOPS 882347 HAS SOUS 221154 HAS SOUPS 220352 WITH SCORE 221343.882
AT ITER 3740 NEW BEST:: SOT 1410835 SOS 991840 HAS SOPS 882305 HAS SOUS 221153 HAS SOUPS 220351 WITH SCORE 221342.84
AT ITER 3751 NEW BEST:: SOT 1410835 SOS 991669 HAS SOPS 882134 HAS SOUS 220771 HAS SOUPS 219969 WITH SCORE 220960.669
AT ITER 3768 NEW BEST:: SOT 1330501 SOS 1242371 HAS SOPS 821365 HAS SOUS 141437 HAS SOUPS 140276 WITH SCORE 141518.371
AT ITER 3826 NEW BEST:: SOT 1330448 SOS 1242318 HAS SOPS 821312 HAS SOUS 141418 HAS SOUPS 140257 WITH SCORE 141499.318
AT ITER 3831 NEW BEST:: SOT 1330328 SOS 1242198 HAS SOPS 821192 HAS SOUS 141406 HAS SOUPS 140245 WITH SCORE 141487.198
AT ITER 3845 NEW BEST:: SOT 1330262 SOS 1242132 HAS SOPS 821126 HAS SOUS 141308 HAS SOUPS 140147 WITH SCORE 141389.132
AT ITER 3873 NEW BEST:: SOT 1330262 SOS 1242132 HAS SOPS 821126 HAS SOUS 141293 HAS SOUPS 140132 WITH SCORE 141374.132
AT ITER 3921 NEW BEST:: SOT 1331014 SOS 1241756 HAS SOPS 815302 HAS SOUS 141261 HAS SOUPS 140100 WITH SCORE 141341.756
AT ITER 3927 NEW BEST:: SOT 1331212 SOS 1241954 HAS SOPS 815278 HAS SOUS 141139 HAS SOUPS 139978 WITH SCORE 141219.954
AT ITER 3936 NEW BEST:: SOT 1331654 SOS 1241007 HAS SOPS 810546 HAS SOUS 140992 HAS SOUPS 139831 WITH SCORE 141072.007
AT ITER 3962 NEW BEST:: SOT 1344077 SOS 1253430 HAS SOPS 806438 HAS SOUS 140516 HAS SOUPS 139355 WITH SCORE 140608.43
AT ITER 4086 NEW BEST:: SOT 1358142 SOS 1266270 HAS SOPS 800177 HAS SOUS 139871 HAS SOUPS 138710 WITH SCORE 139976.27
AT ITER 4116 NEW BEST:: SOT 1365977 SOS 1272060 HAS SOPS 790898 HAS SOUS 139244 HAS SOUPS 138083 WITH SCORE 139355.06
AT ITER 4189 NEW BEST:: SOT 1375952 SOS 1282035 HAS SOPS 792164 HAS SOUS 138725 HAS SOUPS 137564 WITH SCORE 138846.035
AT ITER 4199 NEW BEST:: SOT 1405167 SOS 1311250 HAS SOPS 804406 HAS SOUS 137782 HAS SOUPS 136621 WITH SCORE 137932.25
AT ITER 4222 NEW BEST:: SOT 1405623 SOS 1311706 HAS SOPS 803323 HAS SOUS 137725 HAS SOUPS 136564 WITH SCORE 137875.706
AT ITER 4230 NEW BEST:: SOT 1405660 SOS 1311743 HAS SOPS 803360 HAS SOUS 137603 HAS SOUPS 136442 WITH SCORE 137753.743
AT ITER 4314 NEW BEST:: SOT 1405478 SOS 1311561 HAS SOPS 803188 HAS SOUS 137540 HAS SOUPS 136379 WITH SCORE 137690.561
AT ITER 4329 NEW BEST:: SOT 1435280 SOS 1341193 HAS SOPS 815253 HAS SOUS 137487 HAS SOUPS 136326 WITH SCORE 137667.193
AT ITER 4374 NEW BEST:: SOT 1470546 SOS 1376459 HAS SOPS 833513 HAS SOUS 136543 HAS SOUPS 135382 WITH SCORE 136758.459
AT ITER 4451 NEW BEST:: SOT 1470170 SOS 1376317 HAS SOPS 839555 HAS SOUS 136543 HAS SOUPS 135382 WITH SCORE 136758.317
AT ITER 4456 NEW BEST:: SOT 1470153 SOS 1376300 HAS SOPS 839555 HAS SOUS 136526 HAS SOUPS 135382 WITH SCORE 136758.3
AT ITER 4458 NEW BEST:: SOT 1470110 SOS 1376257 HAS SOPS 839512 HAS SOUS 136526 HAS SOUPS 135382 WITH SCORE 136758.257
AT ITER 4460 NEW BEST:: SOT 1461871 SOS 1368018 HAS SOPS 840336 HAS SOUS 136526 HAS SOUPS 135382 WITH SCORE 136750.018
AT ITER 4498 NEW BEST:: SOT 1462866 SOS 1369013 HAS SOPS 840301 HAS SOUS 136452 HAS SOUPS 135308 WITH SCORE 136677.013
AT ITER 4546 NEW BEST:: SOT 1462516 SOS 1368663 HAS SOPS 839951 HAS SOUS 136297 HAS SOUPS 135153 WITH SCORE 136521.663
AT ITER 4595 NEW BEST:: SOT 1462495 SOS 1368642 HAS SOPS 839930 HAS SOUS 136185 HAS SOUPS 135041 WITH SCORE 136409.642
AT ITER 4729 NEW BEST:: SOT 1462495 SOS 1368642 HAS SOPS 839408 HAS SOUS 136070 HAS SOUPS 134926 WITH SCORE 136294.642
AT ITER 4758 NEW BEST:: SOT 1468745 SOS 1374892 HAS SOPS 833999 HAS SOUS 135890 HAS SOUPS 134746 WITH SCORE 136120.892
AT ITER 4872 NEW BEST:: SOT 1468605 SOS 1374752 HAS SOPS 833859 HAS SOUS 135610 HAS SOUPS 134466 WITH SCORE 135840.752
AT ITER 4916 NEW BEST:: SOT 1468761 SOS 1374908 HAS SOPS 834015 HAS SOUS 135522 HAS SOUPS 134378 WITH SCORE 135752.908
AT ITER 4934 NEW BEST:: SOT 1460337 SOS 1366484 HAS SOPS 825591 HAS SOUS 135522 HAS SOUPS 134378 WITH SCORE 135744.484
AT ITER 4941 NEW BEST:: SOT 1473035 SOS 1379182 HAS SOPS 836983 HAS SOUS 135235 HAS SOUPS 134091 WITH SCORE 135470.182
AT ITER 4978 NEW BEST:: SOT 1473351 SOS 1379402 HAS SOPS 836067 HAS SOUS 134633 HAS SOUPS 133489 WITH SCORE 134868.402
AT ITER 5064 NEW BEST:: SOT 1473301 SOS 1379352 HAS SOPS 836015 HAS SOUS 134581 HAS SOUPS 133437 WITH SCORE 134816.352
AT ITER 5101 NEW BEST:: SOT 1473588 SOS 1379639 HAS SOPS 836149 HAS SOUS 134509 HAS SOUPS 133365 WITH SCORE 134744.639
AT ITER 5288 NEW BEST:: SOT 1473567 SOS 1379618 HAS SOPS 836128 HAS SOUS 134483 HAS SOUPS 133339 WITH SCORE 134718.618
AT ITER 5515 NEW BEST:: SOT 1472028 SOS 1378079 HAS SOPS 836043 HAS SOUS 134483 HAS SOUPS 133339 WITH SCORE 134717.079
AT ITER 5568 NEW BEST:: SOT 1471846 SOS 1377897 HAS SOPS 835861 HAS SOUS 134319 HAS SOUPS 133175 WITH SCORE 134552.897
AT ITER 5595 NEW BEST:: SOT 1470694 SOS 1376745 HAS SOPS 834709 HAS SOUS 134319 HAS SOUPS 133175 WITH SCORE 134551.745
AT ITER 5599 NEW BEST:: SOT 1464134 SOS 1370185 HAS SOPS 828149 HAS SOUS 133663 HAS SOUPS 132519 WITH SCORE 133889.185
AT ITER 5613 NEW BEST:: SOT 1492113 SOS 1398164 HAS SOPS 845623 HAS SOUS 132923 HAS SOUPS 131779 WITH SCORE 133177.164
AT ITER 5695 NEW BEST:: SOT 1527234 SOS 1433285 HAS SOPS 864133 HAS SOUS 131985 HAS SOUPS 130841 WITH SCORE 132274.285
AT ITER 5696 NEW BEST:: SOT 1524375 SOS 1430426 HAS SOPS 865672 HAS SOUS 131985 HAS SOUPS 130841 WITH SCORE 132271.426
AT ITER 5737 NEW BEST:: SOT 1524406 SOS 1430457 HAS SOPS 865703 HAS SOUS 131845 HAS SOUPS 130701 WITH SCORE 132131.457
AT ITER 5788 NEW BEST:: SOT 1549044 SOS 1455095 HAS SOPS 876243 HAS SOUS 130980 HAS SOUPS 129836 WITH SCORE 131291.095
AT ITER 5801 NEW BEST:: SOT 1572241 SOS 1478292 HAS SOPS 885629 HAS SOUS 130124 HAS SOUPS 128980 WITH SCORE 130458.292
AT ITER 5848 NEW BEST:: SOT 1572241 SOS 1478292 HAS SOPS 885629 HAS SOUS 129959 HAS SOUPS 128815 WITH SCORE 130293.292
AT ITER 5864 NEW BEST:: SOT 1607861 SOS 1513912 HAS SOPS 910573 HAS SOUS 129351 HAS SOUPS 128207 WITH SCORE 129720.912
AT ITER 5890 NEW BEST:: SOT 1607802 SOS 1513853 HAS SOPS 910559 HAS SOUS 129233 HAS SOUPS 128089 WITH SCORE 129602.853
AT ITER 5892 NEW BEST:: SOT 1606164 SOS 1512215 HAS SOPS 911014 HAS SOUS 129233 HAS SOUPS 128089 WITH SCORE 129601.215
AT ITER 5913 NEW BEST:: SOT 1615854 SOS 1520429 HAS SOPS 890810 HAS SOUS 128625 HAS SOUPS 127481 WITH SCORE 129001.429
AT ITER 6084 NEW BEST:: SOT 1615564 SOS 1520139 HAS SOPS 890520 HAS SOUS 128480 HAS SOUPS 127336 WITH SCORE 128856.139
AT ITER 6253 NEW BEST:: SOT 1614200 SOS 1518775 HAS SOPS 894513 HAS SOUS 128142 HAS SOUPS 126998 WITH SCORE 128516.775
AT ITER 6292 NEW BEST:: SOT 1612980 SOS 1517555 HAS SOPS 895517 HAS SOUS 128142 HAS SOUPS 126998 WITH SCORE 128515.555
AT ITER 6302 NEW BEST:: SOT 1612995 SOS 1517570 HAS SOPS 895532 HAS SOUS 128077 HAS SOUPS 126933 WITH SCORE 128450.57
AT ITER 6323 NEW BEST:: SOT 1613316 SOS 1517891 HAS SOPS 895853 HAS SOUS 128031 HAS SOUPS 126887 WITH SCORE 128404.891
AT ITER 6350 NEW BEST:: SOT 1613316 SOS 1517891 HAS SOPS 895826 HAS SOUS 127977 HAS SOUPS 126833 WITH SCORE 128350.891
AT ITER 6371 NEW BEST:: SOT 1613045 SOS 1517620 HAS SOPS 895602 HAS SOUS 127961 HAS SOUPS 126817 WITH SCORE 128334.62
AT ITER 6417 NEW BEST:: SOT 1613005 SOS 1517580 HAS SOPS 895482 HAS SOUS 127921 HAS SOUPS 126777 WITH SCORE 128294.58
AT ITER 6444 NEW BEST:: SOT 1604528 SOS 1509103 HAS SOPS 901980 HAS SOUS 127921 HAS SOUPS 126777 WITH SCORE 128286.103
AT ITER 6540 NEW BEST:: SOT 1604656 SOS 1509231 HAS SOPS 902108 HAS SOUS 127707 HAS SOUPS 126563 WITH SCORE 128072.231
AT ITER 6584 NEW BEST:: SOT 1577339 SOS 1482212 HAS SOPS 894272 HAS SOUS 126299 HAS SOUPS 125338 WITH SCORE 126820.212
AT ITER 6600 NEW BEST:: SOT 1584837 SOS 1489710 HAS SOPS 884569 HAS SOUS 126087 HAS SOUPS 125126 WITH SCORE 126615.71
AT ITER 6639 NEW BEST:: SOT 1584797 SOS 1489670 HAS SOPS 884599 HAS SOUS 126047 HAS SOUPS 125086 WITH SCORE 126575.67
AT ITER 6796 NEW BEST:: SOT 1584062 SOS 1488935 HAS SOPS 889394 HAS SOUS 126007 HAS SOUPS 125046 WITH SCORE 126534.935
AT ITER 6821 NEW BEST:: SOT 1584085 SOS 1488958 HAS SOPS 888630 HAS SOUS 125818 HAS SOUPS 124857 WITH SCORE 126345.958
AT ITER 6822 NEW BEST:: SOT 1584073 SOS 1488946 HAS SOPS 888618 HAS SOUS 125806 HAS SOUPS 124845 WITH SCORE 126333.946
AT ITER 7039 NEW BEST:: SOT 1584260 SOS 1489122 HAS SOPS 888445 HAS SOUS 125319 HAS SOUPS 124358 WITH SCORE 125847.122
AT ITER 7169 NEW BEST:: SOT 1584218 SOS 1489080 HAS SOPS 888403 HAS SOUS 125274 HAS SOUPS 124313 WITH SCORE 125802.08
AT ITER 7209 NEW BEST:: SOT 1594967 SOS 1499589 HAS SOPS 872220 HAS SOUS 125108 HAS SOUPS 124147 WITH SCORE 125646.589
AT ITER 7239 NEW BEST:: SOT 1596333 SOS 1500955 HAS SOPS 866566 HAS SOUS 125082 HAS SOUPS 124121 WITH SCORE 125621.955
AT ITER 7240 NEW BEST:: SOT 1596288 SOS 1500910 HAS SOPS 866521 HAS SOUS 125037 HAS SOUPS 124076 WITH SCORE 125576.91
AT ITER 7280 NEW BEST:: SOT 1598132 SOS 1502754 HAS SOPS 858547 HAS SOUS 125007 HAS SOUPS 124046 WITH SCORE 125548.754
AT ITER 7312 NEW BEST:: SOT 1613656 SOS 1518278 HAS SOPS 873467 HAS SOUS 124834 HAS SOUPS 123873 WITH SCORE 125391.278
AT ITER 7335 NEW BEST:: SOT 1613743 SOS 1518365 HAS SOPS 873554 HAS SOUS 124748 HAS SOUPS 123787 WITH SCORE 125305.365
AT ITER 7393 NEW BEST:: SOT 1613078 SOS 1517700 HAS SOPS 873905 HAS SOUS 124748 HAS SOUPS 123787 WITH SCORE 125304.7
AT ITER 7415 NEW BEST:: SOT 1611713 SOS 1516335 HAS SOPS 874373 HAS SOUS 124748 HAS SOUPS 123787 WITH SCORE 125303.335
AT ITER 7470 NEW BEST:: SOT 1609913 SOS 1514535 HAS SOPS 872573 HAS SOUS 124748 HAS SOUPS 123787 WITH SCORE 125301.535
AT ITER 7495 NEW BEST:: SOT 1609877 SOS 1514499 HAS SOPS 872537 HAS SOUS 124748 HAS SOUPS 123787 WITH SCORE 125301.499
AT ITER 7524 NEW BEST:: SOT 1610063 SOS 1514685 HAS SOPS 872723 HAS SOUS 124621 HAS SOUPS 123660 WITH SCORE 125174.685
AT ITER 7580 NEW BEST:: SOT 1610243 SOS 1514865 HAS SOPS 872903 HAS SOUS 124536 HAS SOUPS 123575 WITH SCORE 125089.865
AT ITER 7620 NEW BEST:: SOT 1598651 SOS 1503273 HAS SOPS 861311 HAS SOUS 124536 HAS SOUPS 123575 WITH SCORE 125078.273
AT ITER 7645 NEW BEST:: SOT 1625012 SOS 1529634 HAS SOPS 885377 HAS SOUS 124173 HAS SOUPS 123212 WITH SCORE 124741.634
AT ITER 7934 NEW BEST:: SOT 1625210 SOS 1529832 HAS SOPS 885575 HAS SOUS 123976 HAS SOUPS 123015 WITH SCORE 124544.832
AT ITER 7986 NEW BEST:: SOT 1637860 SOS 1542482 HAS SOPS 897267 HAS SOUS 123744 HAS SOUPS 122783 WITH SCORE 124325.482
AT ITER 8010 NEW BEST:: SOT 1638083 SOS 1542701 HAS SOPS 897427 HAS SOUS 123671 HAS SOUPS 122710 WITH SCORE 124252.701
AT ITER 8282 NEW BEST:: SOT 1624690 SOS 1529308 HAS SOPS 884109 HAS SOUS 123347 HAS SOUPS 122386 WITH SCORE 123915.308
AT ITER 8395 NEW BEST:: SOT 1624446 SOS 1529064 HAS SOPS 886061 HAS SOUS 123347 HAS SOUPS 122386 WITH SCORE 123915.064
AT ITER 8453 NEW BEST:: SOT 1624430 SOS 1529048 HAS SOPS 886070 HAS SOUS 123347 HAS SOUPS 122386 WITH SCORE 123915.048
AT ITER 8485 NEW BEST:: SOT 1624799 SOS 1529417 HAS SOPS 886439 HAS SOUS 123255 HAS SOUPS 122294 WITH SCORE 123823.417
AT ITER 8493 NEW BEST:: SOT 1624791 SOS 1529409 HAS SOPS 886423 HAS SOUS 123243 HAS SOUPS 122282 WITH SCORE 123811.409
AT ITER 8575 NEW BEST:: SOT 1624791 SOS 1529409 HAS SOPS 886423 HAS SOUS 123214 HAS SOUPS 122253 WITH SCORE 123782.409
AT ITER 8758 NEW BEST:: SOT 1608411 SOS 1513029 HAS SOPS 870043 HAS SOUS 123214 HAS SOUPS 122253 WITH SCORE 123766.029
AT ITER 8800 NEW BEST:: SOT 1608411 SOS 1512777 HAS SOPS 869791 HAS SOUS 123142 HAS SOUPS 122181 WITH SCORE 123693.777
AT ITER 8899 NEW BEST:: SOT 1608299 SOS 1512665 HAS SOPS 869679 HAS SOUS 123142 HAS SOUPS 122181 WITH SCORE 123693.665
AT ITER 9004 NEW BEST:: SOT 1608299 SOS 1512665 HAS SOPS 869679 HAS SOUS 123054 HAS SOUPS 122093 WITH SCORE 123605.665
AT ITER 9069 NEW BEST:: SOT 1603535 SOS 1507901 HAS SOPS 865146 HAS SOUS 123009 HAS SOUPS 122048 WITH SCORE 123555.901
AT ITER 9093 NEW BEST:: SOT 1600187 SOS 1504553 HAS SOPS 861798 HAS SOUS 123009 HAS SOUPS 122048 WITH SCORE 123552.553
AT ITER 9249 NEW BEST:: SOT 1600259 SOS 1504625 HAS SOPS 861798 HAS SOUS 122937 HAS SOUPS 121976 WITH SCORE 123480.625
AT ITER 9281 NEW BEST:: SOT 1600272 SOS 1504638 HAS SOPS 861645 HAS SOUS 122824 HAS SOUPS 121863 WITH SCORE 123367.638
AT ITER 9306 NEW BEST:: SOT 1600458 SOS 1504786 HAS SOPS 861793 HAS SOUS 122660 HAS SOUPS 121699 WITH SCORE 123203.786
AT ITER 9354 NEW BEST:: SOT 1600340 SOS 1504668 HAS SOPS 861675 HAS SOUS 122542 HAS SOUPS 121581 WITH SCORE 123085.668
AT ITER 9364 NEW BEST:: SOT 1600378 SOS 1504706 HAS SOPS 861713 HAS SOUS 122437 HAS SOUPS 121476 WITH SCORE 122980.706
AT ITER 9475 NEW BEST:: SOT 1600891 SOS 1505167 HAS SOPS 862127 HAS SOUS 122282 HAS SOUPS 121321 WITH SCORE 122826.167
AT ITER 9488 NEW BEST:: SOT 1600742 SOS 1505018 HAS SOPS 861978 HAS SOUS 122249 HAS SOUPS 121288 WITH SCORE 122793.018
AT ITER 9534 NEW BEST:: SOT 1600693 SOS 1504969 HAS SOPS 861929 HAS SOUS 122201 HAS SOUPS 121240 WITH SCORE 122744.969
AT ITER 9606 NEW BEST:: SOT 1600783 SOS 1504893 HAS SOPS 860577 HAS SOUS 122071 HAS SOUPS 121110 WITH SCORE 122614.893
AT ITER 9684 NEW BEST:: SOT 1600703 SOS 1504813 HAS SOPS 860497 HAS SOUS 122024 HAS SOUPS 121063 WITH SCORE 122567.813
AT ITER 9714 NEW BEST:: SOT 1618701 SOS 1522811 HAS SOPS 873309 HAS SOUS 121497 HAS SOUPS 120536 WITH SCORE 122058.811
AT ITER 9746 NEW BEST:: SOT 1618751 SOS 1522861 HAS SOPS 873359 HAS SOUS 121362 HAS SOUPS 120401 WITH SCORE 121923.861
AT ITER 9759 NEW BEST:: SOT 1618841 SOS 1522951 HAS SOPS 873449 HAS SOUS 121338 HAS SOUPS 120377 WITH SCORE 121899.951
AT ITER 9773 NEW BEST:: SOT 1619129 SOS 1523239 HAS SOPS 873583 HAS SOUS 121108 HAS SOUPS 120147 WITH SCORE 121670.239
AT ITER 9803 NEW BEST:: SOT 1619552 SOS 1523662 HAS SOPS 873753 HAS SOUS 120942 HAS SOUPS 119981 WITH SCORE 121504.662
AT ITER 9817 NEW BEST:: SOT 1619736 SOS 1523846 HAS SOPS 873937 HAS SOUS 120683 HAS SOUPS 119722 WITH SCORE 121245.846
AT ITER 9881 NEW BEST:: SOT 1619698 SOS 1523808 HAS SOPS 873959 HAS SOUS 120644 HAS SOUPS 119683 WITH SCORE 121206.808
AT ITER 9918 NEW BEST:: SOT 1616669 SOS 1520779 HAS SOPS 876634 HAS SOUS 120644 HAS SOUPS 119683 WITH SCORE 121203.779
AT ITER 9958 NEW BEST:: SOT 1616785 SOS 1520895 HAS SOPS 876750 HAS SOUS 120528 HAS SOUPS 119567 WITH SCORE 121087.895
AT ITER 9961 NEW BEST:: SOT 1618026 SOS 1521848 HAS SOPS 866568 HAS SOUS 120443 HAS SOUPS 119482 WITH SCORE 121003.848
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 9459344 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16153136 kB

BK_TIME_CONFINEMENT_REACHED

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

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="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-d2m96, 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-167905973800496"
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 ;