Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800632.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PermAdmissibility-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 5.9K Apr 12 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 12 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 10 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 10 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 9 12:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 9 12:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K Mar 24 05:37 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 1589645218510

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 3 NEW BEST:: SOT 73576 SOS 47226 HAS SOPS 47226 HAS SOUS 28812 HAS SOUPS 28812 WITH SCORE 28859.226
AT ITER 12 NEW BEST:: SOT 73402 SOS 47105 HAS SOPS 47105 HAS SOUS 28704 HAS SOUPS 28704 WITH SCORE 28751.105
AT ITER 14 NEW BEST:: SOT 73350 SOS 47053 HAS SOPS 47053 HAS SOUS 28668 HAS SOUPS 28668 WITH SCORE 28715.053
AT ITER 33 NEW BEST:: SOT 73182 SOS 46885 HAS SOPS 46885 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28543.885
AT ITER 34 NEW BEST:: SOT 72950 SOS 46701 HAS SOPS 46701 HAS SOUS 28281 HAS SOUPS 28281 WITH SCORE 28327.701
AT ITER 36 NEW BEST:: SOT 72758 SOS 46483 HAS SOPS 46483 HAS SOUS 28107 HAS SOUPS 28107 WITH SCORE 28153.483
AT ITER 40 NEW BEST:: SOT 72464 SOS 46267 HAS SOPS 46267 HAS SOUS 27841 HAS SOUPS 27841 WITH SCORE 27887.267
AT ITER 44 NEW BEST:: SOT 72214 SOS 46107 HAS SOPS 46107 HAS SOUS 27659 HAS SOUPS 27659 WITH SCORE 27705.107
AT ITER 58 NEW BEST:: SOT 72214 SOS 46107 HAS SOPS 46107 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27685.107
AT ITER 60 NEW BEST:: SOT 72214 SOS 46107 HAS SOPS 46107 HAS SOUS 27604 HAS SOUPS 27604 WITH SCORE 27650.107
AT ITER 69 NEW BEST:: SOT 71911 SOS 45292 HAS SOPS 45292 HAS SOUS 27352 HAS SOUPS 27352 WITH SCORE 27397.292
AT ITER 72 NEW BEST:: SOT 71633 SOS 45081 HAS SOPS 45081 HAS SOUS 27033 HAS SOUPS 27033 WITH SCORE 27078.081
AT ITER 74 NEW BEST:: SOT 71633 SOS 45081 HAS SOPS 45081 HAS SOUS 26996 HAS SOUPS 26996 WITH SCORE 27041.081
AT ITER 80 NEW BEST:: SOT 71633 SOS 45081 HAS SOPS 45081 HAS SOUS 26888 HAS SOUPS 26888 WITH SCORE 26933.081
AT ITER 82 NEW BEST:: SOT 71447 SOS 45045 HAS SOPS 45045 HAS SOUS 26634 HAS SOUPS 26634 WITH SCORE 26679.045
AT ITER 88 NEW BEST:: SOT 71273 SOS 45204 HAS SOPS 45204 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26604.204
AT ITER 92 NEW BEST:: SOT 71336 SOS 45267 HAS SOPS 45267 HAS SOUS 26495 HAS SOUPS 26495 WITH SCORE 26540.267
AT ITER 102 NEW BEST:: SOT 71336 SOS 45267 HAS SOPS 45267 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26519.267
AT ITER 103 NEW BEST:: SOT 71336 SOS 45436 HAS SOPS 45436 HAS SOUS 26409 HAS SOUPS 26409 WITH SCORE 26454.436
AT ITER 117 NEW BEST:: SOT 71261 SOS 45361 HAS SOPS 45361 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26423.361
AT ITER 127 NEW BEST:: SOT 71259 SOS 45403 HAS SOPS 45403 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26385.403
AT ITER 138 NEW BEST:: SOT 71343 SOS 45532 HAS SOPS 45532 HAS SOUS 26337 HAS SOUPS 26337 WITH SCORE 26382.532
AT ITER 152 NEW BEST:: SOT 71197 SOS 45851 HAS SOPS 45851 HAS SOUS 26274 HAS SOUPS 26274 WITH SCORE 26319.851
AT ITER 156 NEW BEST:: SOT 71119 SOS 45786 HAS SOPS 45786 HAS SOUS 26146 HAS SOUPS 26146 WITH SCORE 26191.786
AT ITER 159 NEW BEST:: SOT 71073 SOS 45740 HAS SOPS 45740 HAS SOUS 26140 HAS SOUPS 26140 WITH SCORE 26185.74
AT ITER 162 NEW BEST:: SOT 71044 SOS 45771 HAS SOPS 45771 HAS SOUS 25997 HAS SOUPS 25997 WITH SCORE 26042.771
AT ITER 167 NEW BEST:: SOT 71117 SOS 45844 HAS SOPS 45844 HAS SOUS 25962 HAS SOUPS 25962 WITH SCORE 26007.844
AT ITER 172 NEW BEST:: SOT 71163 SOS 48891 HAS SOPS 48891 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25788.891
AT ITER 176 NEW BEST:: SOT 71160 SOS 50409 HAS SOPS 50409 HAS SOUS 25593 HAS SOUPS 25593 WITH SCORE 25643.409
AT ITER 180 NEW BEST:: SOT 70924 SOS 50173 HAS SOPS 50173 HAS SOUS 25526 HAS SOUPS 25526 WITH SCORE 25576.173
AT ITER 217 NEW BEST:: SOT 70960 SOS 50209 HAS SOPS 50209 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25557.209
AT ITER 222 NEW BEST:: SOT 70807 SOS 50056 HAS SOPS 50056 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25395.056
AT ITER 229 NEW BEST:: SOT 70807 SOS 49608 HAS SOPS 49608 HAS SOUS 25338 HAS SOUPS 25338 WITH SCORE 25387.608
AT ITER 231 NEW BEST:: SOT 70755 SOS 49556 HAS SOPS 49556 HAS SOUS 25260 HAS SOUPS 25260 WITH SCORE 25309.556
AT ITER 233 NEW BEST:: SOT 70553 SOS 48938 HAS SOPS 48938 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25185.938
AT ITER 236 NEW BEST:: SOT 70395 SOS 49585 HAS SOPS 49585 HAS SOUS 24933 HAS SOUPS 24933 WITH SCORE 24982.585
AT ITER 244 NEW BEST:: SOT 70383 SOS 49573 HAS SOPS 49573 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 24970.573
AT ITER 249 NEW BEST:: SOT 70327 SOS 49526 HAS SOPS 49526 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24922.526
AT ITER 267 NEW BEST:: SOT 70375 SOS 49554 HAS SOPS 49554 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24909.554
AT ITER 282 NEW BEST:: SOT 70243 SOS 49557 HAS SOPS 49557 HAS SOUS 24837 HAS SOUPS 24837 WITH SCORE 24886.557
AT ITER 291 NEW BEST:: SOT 69980 SOS 49324 HAS SOPS 49324 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24841.324
AT ITER 298 NEW BEST:: SOT 69980 SOS 49324 HAS SOPS 49324 HAS SOUS 24732 HAS SOUPS 24732 WITH SCORE 24781.324
AT ITER 299 NEW BEST:: SOT 69966 SOS 49310 HAS SOPS 49310 HAS SOUS 24703 HAS SOUPS 24703 WITH SCORE 24752.31
AT ITER 302 NEW BEST:: SOT 69954 SOS 49304 HAS SOPS 49304 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24743.304
AT ITER 310 NEW BEST:: SOT 69954 SOS 49304 HAS SOPS 49304 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24688.304
AT ITER 313 NEW BEST:: SOT 69954 SOS 49304 HAS SOPS 49304 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24608.304
AT ITER 320 NEW BEST:: SOT 69908 SOS 49745 HAS SOPS 49745 HAS SOUS 24402 HAS SOUPS 24402 WITH SCORE 24451.745
AT ITER 331 NEW BEST:: SOT 69908 SOS 49745 HAS SOPS 49745 HAS SOUS 24319 HAS SOUPS 24319 WITH SCORE 24368.745
AT ITER 343 NEW BEST:: SOT 69726 SOS 49796 HAS SOPS 49796 HAS SOUS 24316 HAS SOUPS 24316 WITH SCORE 24365.796
AT ITER 346 NEW BEST:: SOT 69720 SOS 49881 HAS SOPS 49881 HAS SOUS 24267 HAS SOUPS 24267 WITH SCORE 24316.881
AT ITER 348 NEW BEST:: SOT 69718 SOS 49879 HAS SOPS 49879 HAS SOUS 24224 HAS SOUPS 24224 WITH SCORE 24273.879
AT ITER 354 NEW BEST:: SOT 69521 SOS 47938 HAS SOPS 47938 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24235.938
AT ITER 356 NEW BEST:: SOT 69521 SOS 47938 HAS SOPS 47938 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24108.938
AT ITER 357 NEW BEST:: SOT 69248 SOS 47997 HAS SOPS 47997 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 23867.997
AT ITER 361 NEW BEST:: SOT 69019 SOS 48061 HAS SOPS 48061 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23706.061
AT ITER 377 NEW BEST:: SOT 69064 SOS 47978 HAS SOPS 47978 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23681.978
AT ITER 382 NEW BEST:: SOT 68972 SOS 48065 HAS SOPS 48065 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23633.065
AT ITER 404 NEW BEST:: SOT 68957 SOS 48138 HAS SOPS 48138 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23618.138
AT ITER 410 NEW BEST:: SOT 68825 SOS 47973 HAS SOPS 47973 HAS SOUS 23467 HAS SOUPS 23467 WITH SCORE 23514.973
AT ITER 413 NEW BEST:: SOT 68717 SOS 47918 HAS SOPS 47918 HAS SOUS 23464 HAS SOUPS 23464 WITH SCORE 23511.918
AT ITER 427 NEW BEST:: SOT 68696 SOS 47897 HAS SOPS 47897 HAS SOUS 23443 HAS SOUPS 23443 WITH SCORE 23490.897
AT ITER 429 NEW BEST:: SOT 68695 SOS 47852 HAS SOPS 47852 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23362.852
AT ITER 434 NEW BEST:: SOT 68629 SOS 47786 HAS SOPS 47786 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23310.786
AT ITER 446 NEW BEST:: SOT 68741 SOS 47898 HAS SOPS 47898 HAS SOUS 23246 HAS SOUPS 23246 WITH SCORE 23293.898
AT ITER 454 NEW BEST:: SOT 68729 SOS 47886 HAS SOPS 47886 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23281.886
AT ITER 466 NEW BEST:: SOT 68675 SOS 47832 HAS SOPS 47832 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23223.832
AT ITER 473 NEW BEST:: SOT 68675 SOS 47832 HAS SOPS 47832 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23049.832
AT ITER 480 NEW BEST:: SOT 68553 SOS 47545 HAS SOPS 47545 HAS SOUS 22987 HAS SOUPS 22987 WITH SCORE 23034.545
AT ITER 496 NEW BEST:: SOT 68553 SOS 46355 HAS SOPS 46355 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23031.355
AT ITER 497 NEW BEST:: SOT 68553 SOS 46355 HAS SOPS 46355 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 23019.355
AT ITER 506 NEW BEST:: SOT 68578 SOS 46380 HAS SOPS 46380 HAS SOUS 22958 HAS SOUPS 22958 WITH SCORE 23004.38
AT ITER 511 NEW BEST:: SOT 68578 SOS 46380 HAS SOPS 46380 HAS SOUS 22923 HAS SOUPS 22923 WITH SCORE 22969.38
AT ITER 513 NEW BEST:: SOT 68578 SOS 46292 HAS SOPS 46292 HAS SOUS 22915 HAS SOUPS 22915 WITH SCORE 22961.292
AT ITER 523 NEW BEST:: SOT 68578 SOS 46236 HAS SOPS 46236 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22857.236
AT ITER 548 NEW BEST:: SOT 68584 SOS 46197 HAS SOPS 46197 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22857.197
AT ITER 549 NEW BEST:: SOT 68584 SOS 45813 HAS SOPS 45813 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22856.813
AT ITER 553 NEW BEST:: SOT 68605 SOS 45704 HAS SOPS 45704 HAS SOUS 22783 HAS SOUPS 22783 WITH SCORE 22828.704
AT ITER 558 NEW BEST:: SOT 68597 SOS 45722 HAS SOPS 45722 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22822.722
AT ITER 567 NEW BEST:: SOT 68108 SOS 46007 HAS SOPS 46007 HAS SOUS 22662 HAS SOUPS 22662 WITH SCORE 22708.007
AT ITER 570 NEW BEST:: SOT 68089 SOS 45988 HAS SOPS 45988 HAS SOUS 22636 HAS SOUPS 22636 WITH SCORE 22681.988
AT ITER 585 NEW BEST:: SOT 68089 SOS 45812 HAS SOPS 45812 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22657.812
AT ITER 595 NEW BEST:: SOT 68105 SOS 45839 HAS SOPS 45839 HAS SOUS 22608 HAS SOUPS 22608 WITH SCORE 22653.839
AT ITER 598 NEW BEST:: SOT 68105 SOS 45903 HAS SOPS 45903 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22598.903
AT ITER 605 NEW BEST:: SOT 68105 SOS 45903 HAS SOPS 45903 HAS SOUS 22498 HAS SOUPS 22498 WITH SCORE 22543.903
AT ITER 617 NEW BEST:: SOT 68105 SOS 45819 HAS SOPS 45819 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22519.819
AT ITER 628 NEW BEST:: SOT 68105 SOS 45819 HAS SOPS 45819 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22510.819
AT ITER 639 NEW BEST:: SOT 68093 SOS 45816 HAS SOPS 45816 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22498.816
AT ITER 646 NEW BEST:: SOT 67967 SOS 45888 HAS SOPS 45888 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22383.888
AT ITER 654 NEW BEST:: SOT 67881 SOS 45800 HAS SOPS 45800 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22315.8
AT ITER 661 NEW BEST:: SOT 67881 SOS 45800 HAS SOPS 45800 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22299.8
AT ITER 664 NEW BEST:: SOT 67635 SOS 45748 HAS SOPS 45748 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22191.748
AT ITER 702 NEW BEST:: SOT 67620 SOS 45751 HAS SOPS 45751 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22176.751
AT ITER 707 NEW BEST:: SOT 67590 SOS 45727 HAS SOPS 45727 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22145.727
AT ITER 708 NEW BEST:: SOT 67570 SOS 45707 HAS SOPS 45707 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22118.707
AT ITER 711 NEW BEST:: SOT 67569 SOS 45615 HAS SOPS 45615 HAS SOUS 22013 HAS SOUPS 22013 WITH SCORE 22058.615
AT ITER 720 NEW BEST:: SOT 67545 SOS 45899 HAS SOPS 45899 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21945.899
AT ITER 730 NEW BEST:: SOT 67115 SOS 45331 HAS SOPS 45331 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21696.331
AT ITER 745 NEW BEST:: SOT 67115 SOS 45327 HAS SOPS 45327 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21696.327
AT ITER 751 NEW BEST:: SOT 66923 SOS 45330 HAS SOPS 45330 HAS SOUS 21601 HAS SOUPS 21601 WITH SCORE 21646.33
AT ITER 759 NEW BEST:: SOT 66908 SOS 45392 HAS SOPS 45392 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21603.392
AT ITER 788 NEW BEST:: SOT 67012 SOS 46452 HAS SOPS 46452 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21521.452
AT ITER 790 NEW BEST:: SOT 67007 SOS 46447 HAS SOPS 46447 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21508.447
AT ITER 796 NEW BEST:: SOT 66875 SOS 46342 HAS SOPS 46342 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21406.342
AT ITER 804 NEW BEST:: SOT 66863 SOS 46365 HAS SOPS 46365 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21361.365
AT ITER 811 NEW BEST:: SOT 66763 SOS 46261 HAS SOPS 46261 HAS SOUS 21246 HAS SOUPS 21246 WITH SCORE 21292.261
AT ITER 815 NEW BEST:: SOT 66761 SOS 46265 HAS SOPS 46265 HAS SOUS 21227 HAS SOUPS 21227 WITH SCORE 21273.265
AT ITER 817 NEW BEST:: SOT 66749 SOS 46253 HAS SOPS 46253 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21237.253
AT ITER 867 NEW BEST:: SOT 66746 SOS 46250 HAS SOPS 46250 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21226.25
AT ITER 887 NEW BEST:: SOT 66746 SOS 46236 HAS SOPS 46236 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21211.236
AT ITER 935 NEW BEST:: SOT 66629 SOS 46194 HAS SOPS 46194 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21209.194
AT ITER 945 NEW BEST:: SOT 66333 SOS 45875 HAS SOPS 45875 HAS SOUS 20857 HAS SOUPS 20857 WITH SCORE 20902.875
AT ITER 956 NEW BEST:: SOT 66383 SOS 45893 HAS SOPS 45893 HAS SOUS 20855 HAS SOUPS 20855 WITH SCORE 20900.893
AT ITER 962 NEW BEST:: SOT 66381 SOS 45891 HAS SOPS 45891 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20894.891
AT ITER 981 NEW BEST:: SOT 66295 SOS 45807 HAS SOPS 45807 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20856.807
AT ITER 1012 NEW BEST:: SOT 66227 SOS 45742 HAS SOPS 45742 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20802.742
AT ITER 1050 NEW BEST:: SOT 66218 SOS 45733 HAS SOPS 45733 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20788.733
AT ITER 1054 NEW BEST:: SOT 66230 SOS 45745 HAS SOPS 45745 HAS SOUS 20731 HAS SOUPS 20731 WITH SCORE 20776.745
AT ITER 1056 NEW BEST:: SOT 66212 SOS 45727 HAS SOPS 45727 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20758.727
AT ITER 1071 NEW BEST:: SOT 66249 SOS 45764 HAS SOPS 45764 HAS SOUS 20709 HAS SOUPS 20709 WITH SCORE 20754.764
AT ITER 1072 NEW BEST:: SOT 66249 SOS 45747 HAS SOPS 45747 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20736.747
AT ITER 1094 NEW BEST:: SOT 66259 SOS 45762 HAS SOPS 45762 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20689.762
AT ITER 1100 NEW BEST:: SOT 66295 SOS 45798 HAS SOPS 45798 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20670.798
AT ITER 1104 NEW BEST:: SOT 66268 SOS 45771 HAS SOPS 45771 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20643.771
AT ITER 1126 NEW BEST:: SOT 66323 SOS 45749 HAS SOPS 45749 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20619.749
AT ITER 1131 NEW BEST:: SOT 66287 SOS 45716 HAS SOPS 45716 HAS SOUS 20523 HAS SOUPS 20523 WITH SCORE 20568.716
AT ITER 1137 NEW BEST:: SOT 66037 SOS 45493 HAS SOPS 45493 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20438.493
AT ITER 1138 NEW BEST:: SOT 65991 SOS 45454 HAS SOPS 45454 HAS SOUS 20381 HAS SOUPS 20381 WITH SCORE 20426.454
AT ITER 1152 NEW BEST:: SOT 65991 SOS 45454 HAS SOPS 45454 HAS SOUS 20333 HAS SOUPS 20333 WITH SCORE 20378.454
AT ITER 1175 NEW BEST:: SOT 65979 SOS 45427 HAS SOPS 45427 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20296.427
AT ITER 1180 NEW BEST:: SOT 65963 SOS 45425 HAS SOPS 45425 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20294.425
AT ITER 1198 NEW BEST:: SOT 65924 SOS 45391 HAS SOPS 45391 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20228.391
AT ITER 1199 NEW BEST:: SOT 65924 SOS 45391 HAS SOPS 45391 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20227.391
AT ITER 1211 NEW BEST:: SOT 65900 SOS 45367 HAS SOPS 45367 HAS SOUS 20165 HAS SOUPS 20165 WITH SCORE 20210.367
AT ITER 1232 NEW BEST:: SOT 65772 SOS 45201 HAS SOPS 45201 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20073.201
AT ITER 1245 NEW BEST:: SOT 65783 SOS 44941 HAS SOPS 44941 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20065.941
AT ITER 1261 NEW BEST:: SOT 65747 SOS 44905 HAS SOPS 44905 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 20013.905
AT ITER 1277 NEW BEST:: SOT 65748 SOS 44891 HAS SOPS 44891 HAS SOUS 19967 HAS SOUPS 19967 WITH SCORE 20011.891
AT ITER 1311 NEW BEST:: SOT 65748 SOS 44227 HAS SOPS 44227 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 20008.227
AT ITER 1436 NEW BEST:: SOT 65746 SOS 44231 HAS SOPS 44231 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 20003.231
AT ITER 1452 NEW BEST:: SOT 65744 SOS 44229 HAS SOPS 44229 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 20001.229
AT ITER 1456 NEW BEST:: SOT 65748 SOS 44230 HAS SOPS 44230 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19997.23
AT ITER 1469 NEW BEST:: SOT 65650 SOS 44132 HAS SOPS 44132 HAS SOUS 19927 HAS SOUPS 19927 WITH SCORE 19971.132
AT ITER 1482 NEW BEST:: SOT 65676 SOS 44329 HAS SOPS 44329 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19877.329
AT ITER 1559 NEW BEST:: SOT 65676 SOS 44329 HAS SOPS 44329 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19857.329
AT ITER 1561 NEW BEST:: SOT 65646 SOS 44299 HAS SOPS 44299 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19797.299
AT ITER 1609 NEW BEST:: SOT 65628 SOS 44281 HAS SOPS 44281 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19759.281
AT ITER 1622 NEW BEST:: SOT 65533 SOS 44186 HAS SOPS 44186 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19706.186
AT ITER 1634 NEW BEST:: SOT 65537 SOS 44190 HAS SOPS 44190 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19686.19
AT ITER 1652 NEW BEST:: SOT 65614 SOS 44267 HAS SOPS 44267 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19645.267
AT ITER 1673 NEW BEST:: SOT 65613 SOS 44266 HAS SOPS 44266 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19641.266
AT ITER 1688 NEW BEST:: SOT 65603 SOS 44253 HAS SOPS 44253 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19615.253
AT ITER 1694 NEW BEST:: SOT 65590 SOS 44240 HAS SOPS 44240 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19586.24
AT ITER 1697 NEW BEST:: SOT 65565 SOS 44215 HAS SOPS 44215 HAS SOUS 19513 HAS SOUPS 19513 WITH SCORE 19557.215
AT ITER 1707 NEW BEST:: SOT 65557 SOS 44207 HAS SOPS 44207 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19542.207
AT ITER 1716 NEW BEST:: SOT 65569 SOS 44219 HAS SOPS 44219 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19521.219
AT ITER 1780 NEW BEST:: SOT 65553 SOS 44203 HAS SOPS 44203 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19505.203
AT ITER 1794 NEW BEST:: SOT 65553 SOS 44201 HAS SOPS 44201 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19505.201
AT ITER 1818 NEW BEST:: SOT 65553 SOS 44201 HAS SOPS 44201 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19483.201
AT ITER 1825 NEW BEST:: SOT 65553 SOS 43825 HAS SOPS 43825 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19478.825
AT ITER 1856 NEW BEST:: SOT 65633 SOS 43885 HAS SOPS 43885 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19408.885
AT ITER 1881 NEW BEST:: SOT 65591 SOS 43843 HAS SOPS 43843 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19360.843
AT ITER 1901 NEW BEST:: SOT 65584 SOS 43836 HAS SOPS 43836 HAS SOUS 19302 HAS SOUPS 19302 WITH SCORE 19345.836
AT ITER 1904 NEW BEST:: SOT 65568 SOS 43820 HAS SOPS 43820 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19313.82
AT ITER 1928 NEW BEST:: SOT 65544 SOS 43796 HAS SOPS 43796 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19289.796
AT ITER 1936 NEW BEST:: SOT 65544 SOS 44297 HAS SOPS 44297 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19254.297
AT ITER 1946 NEW BEST:: SOT 65544 SOS 44346 HAS SOPS 44346 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19246.346
AT ITER 1961 NEW BEST:: SOT 65448 SOS 44250 HAS SOPS 44250 HAS SOUS 19071 HAS SOUPS 19071 WITH SCORE 19115.25
AT ITER 1968 NEW BEST:: SOT 65438 SOS 44241 HAS SOPS 44241 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19106.241
AT ITER 1997 NEW BEST:: SOT 65376 SOS 44179 HAS SOPS 44179 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19064.179
AT ITER 2043 NEW BEST:: SOT 65374 SOS 44177 HAS SOPS 44177 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19050.177
AT ITER 2079 NEW BEST:: SOT 65374 SOS 44209 HAS SOPS 44209 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19040.209
AT ITER 2105 NEW BEST:: SOT 65371 SOS 44206 HAS SOPS 44206 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19035.206
AT ITER 2123 NEW BEST:: SOT 65366 SOS 44240 HAS SOPS 44240 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19030.24
AT ITER 2133 NEW BEST:: SOT 65384 SOS 44258 HAS SOPS 44258 HAS SOUS 18977 HAS SOUPS 18977 WITH SCORE 19021.258
AT ITER 2142 NEW BEST:: SOT 65384 SOS 44234 HAS SOPS 44234 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 19020.234
AT ITER 2143 NEW BEST:: SOT 65344 SOS 44194 HAS SOPS 44194 HAS SOUS 18896 HAS SOUPS 18896 WITH SCORE 18940.194
AT ITER 2195 NEW BEST:: SOT 65323 SOS 44100 HAS SOPS 44100 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18914.1
AT ITER 2246 NEW BEST:: SOT 65303 SOS 44093 HAS SOPS 44093 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18907.093
AT ITER 2259 NEW BEST:: SOT 65303 SOS 44037 HAS SOPS 44037 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18907.037
AT ITER 2285 NEW BEST:: SOT 65215 SOS 43949 HAS SOPS 43949 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18841.949
AT ITER 2305 NEW BEST:: SOT 65183 SOS 43933 HAS SOPS 43933 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18817.933
AT ITER 2324 NEW BEST:: SOT 65183 SOS 43933 HAS SOPS 43933 HAS SOUS 18769 HAS SOUPS 18769 WITH SCORE 18812.933
AT ITER 2327 NEW BEST:: SOT 65183 SOS 43912 HAS SOPS 43912 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18801.912
AT ITER 2334 NEW BEST:: SOT 65141 SOS 43938 HAS SOPS 43938 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18766.938
AT ITER 2340 NEW BEST:: SOT 65051 SOS 43848 HAS SOPS 43848 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18664.848
AT ITER 2341 NEW BEST:: SOT 64955 SOS 43752 HAS SOPS 43752 HAS SOUS 18525 HAS SOUPS 18525 WITH SCORE 18568.752
AT ITER 2361 NEW BEST:: SOT 64951 SOS 43750 HAS SOPS 43750 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18548.75
AT ITER 2374 NEW BEST:: SOT 65009 SOS 44016 HAS SOPS 44016 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18443.016
AT ITER 2421 NEW BEST:: SOT 65009 SOS 44015 HAS SOPS 44015 HAS SOUS 18395 HAS SOUPS 18395 WITH SCORE 18439.015
AT ITER 2453 NEW BEST:: SOT 64995 SOS 43999 HAS SOPS 43999 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18428.999
AT ITER 2464 NEW BEST:: SOT 64874 SOS 42518 HAS SOPS 42518 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18418.518
AT ITER 2491 NEW BEST:: SOT 64823 SOS 42467 HAS SOPS 42467 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18339.467
AT ITER 2496 NEW BEST:: SOT 64787 SOS 42431 HAS SOPS 42431 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18223.431
AT ITER 2500 NEW BEST:: SOT 64817 SOS 42494 HAS SOPS 42494 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18217.494
AT ITER 2513 NEW BEST:: SOT 64817 SOS 42440 HAS SOPS 42440 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18157.44
AT ITER 2525 NEW BEST:: SOT 64841 SOS 42464 HAS SOPS 42464 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18101.464
AT ITER 2546 NEW BEST:: SOT 64841 SOS 42296 HAS SOPS 42296 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18099.296
AT ITER 2553 NEW BEST:: SOT 64841 SOS 42284 HAS SOPS 42284 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18091.284
AT ITER 2554 NEW BEST:: SOT 64841 SOS 42284 HAS SOPS 42284 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18083.284
AT ITER 2557 NEW BEST:: SOT 64824 SOS 42428 HAS SOPS 42428 HAS SOUS 18020 HAS SOUPS 18020 WITH SCORE 18062.428
AT ITER 2566 NEW BEST:: SOT 64842 SOS 42284 HAS SOPS 42284 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18043.284
AT ITER 2667 NEW BEST:: SOT 64790 SOS 42284 HAS SOPS 42284 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 18002.284
AT ITER 2675 NEW BEST:: SOT 64790 SOS 42252 HAS SOPS 42252 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 18002.252
AT ITER 2719 NEW BEST:: SOT 64782 SOS 42244 HAS SOPS 42244 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17994.244
AT ITER 2786 NEW BEST:: SOT 64719 SOS 42181 HAS SOPS 42181 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17988.181
AT ITER 2858 NEW BEST:: SOT 64708 SOS 42170 HAS SOPS 42170 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17977.17
AT ITER 2881 NEW BEST:: SOT 64702 SOS 42203 HAS SOPS 42203 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17965.203
AT ITER 2896 NEW BEST:: SOT 64688 SOS 42189 HAS SOPS 42189 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17965.189
AT ITER 2903 NEW BEST:: SOT 64672 SOS 42199 HAS SOPS 42199 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17960.199
AT ITER 2908 NEW BEST:: SOT 64677 SOS 42177 HAS SOPS 42177 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17955.177
AT ITER 2950 NEW BEST:: SOT 64661 SOS 42114 HAS SOPS 42114 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17934.114
AT ITER 2974 NEW BEST:: SOT 64593 SOS 42054 HAS SOPS 42054 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17924.054
AT ITER 3009 NEW BEST:: SOT 64593 SOS 41958 HAS SOPS 41958 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17923.958
AT ITER 3077 NEW BEST:: SOT 64584 SOS 41949 HAS SOPS 41949 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17914.949
AT ITER 3120 NEW BEST:: SOT 64587 SOS 41934 HAS SOPS 41934 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17902.934
AT ITER 3166 NEW BEST:: SOT 64582 SOS 41929 HAS SOPS 41929 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17890.929
AT ITER 3194 NEW BEST:: SOT 64575 SOS 41922 HAS SOPS 41922 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17883.922
AT ITER 3199 NEW BEST:: SOT 64563 SOS 41903 HAS SOPS 41903 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17866.903
AT ITER 3205 NEW BEST:: SOT 64558 SOS 41898 HAS SOPS 41898 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17854.898
AT ITER 3220 NEW BEST:: SOT 64557 SOS 42142 HAS SOPS 42142 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17852.142
AT ITER 3253 NEW BEST:: SOT 64469 SOS 42035 HAS SOPS 42035 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17739.035
AT ITER 3287 NEW BEST:: SOT 64485 SOS 41907 HAS SOPS 41907 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17725.907
AT ITER 3320 NEW BEST:: SOT 64351 SOS 41769 HAS SOPS 41769 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17594.769
AT ITER 3336 NEW BEST:: SOT 64371 SOS 41535 HAS SOPS 41535 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17579.535
AT ITER 3423 NEW BEST:: SOT 64355 SOS 41523 HAS SOPS 41523 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17579.523
AT ITER 3458 NEW BEST:: SOT 64323 SOS 41489 HAS SOPS 41489 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17545.489
AT ITER 3479 NEW BEST:: SOT 64315 SOS 41481 HAS SOPS 41481 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17529.481
AT ITER 3504 NEW BEST:: SOT 64315 SOS 41489 HAS SOPS 41489 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17521.489
AT ITER 3505 NEW BEST:: SOT 64277 SOS 41415 HAS SOPS 41415 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17521.415
AT ITER 3510 NEW BEST:: SOT 64269 SOS 41407 HAS SOPS 41407 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17505.407
AT ITER 3544 NEW BEST:: SOT 64269 SOS 41603 HAS SOPS 41603 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17485.603
AT ITER 3603 NEW BEST:: SOT 64265 SOS 41577 HAS SOPS 41577 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17476.577
AT ITER 3617 NEW BEST:: SOT 64257 SOS 41592 HAS SOPS 41592 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17465.592
AT ITER 3626 NEW BEST:: SOT 64249 SOS 41584 HAS SOPS 41584 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17457.584
AT ITER 3638 NEW BEST:: SOT 64173 SOS 41483 HAS SOPS 41483 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17348.483
AT ITER 3700 NEW BEST:: SOT 64152 SOS 41462 HAS SOPS 41462 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17327.462
AT ITER 3730 NEW BEST:: SOT 64117 SOS 41427 HAS SOPS 41427 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17280.427
AT ITER 3746 NEW BEST:: SOT 64057 SOS 41367 HAS SOPS 41367 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17220.367
AT ITER 3778 NEW BEST:: SOT 64041 SOS 41350 HAS SOPS 41350 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17202.35
AT ITER 3790 NEW BEST:: SOT 64041 SOS 41350 HAS SOPS 41350 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17193.35
AT ITER 3906 NEW BEST:: SOT 63993 SOS 41212 HAS SOPS 41212 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17167.212
AT ITER 3932 NEW BEST:: SOT 64026 SOS 41245 HAS SOPS 41245 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17107.245
AT ITER 3988 NEW BEST:: SOT 64032 SOS 41233 HAS SOPS 41233 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17103.233
AT ITER 4132 NEW BEST:: SOT 64028 SOS 41229 HAS SOPS 41229 HAS SOUS 17050 HAS SOUPS 17050 WITH SCORE 17091.229
AT ITER 4149 NEW BEST:: SOT 64028 SOS 41224 HAS SOPS 41224 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17086.224
AT ITER 4427 NEW BEST:: SOT 64028 SOS 41224 HAS SOPS 41224 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17080.224
AT ITER 4456 NEW BEST:: SOT 64028 SOS 41239 HAS SOPS 41239 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17074.239
AT ITER 4475 NEW BEST:: SOT 64028 SOS 41239 HAS SOPS 41239 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17073.239
AT ITER 4490 NEW BEST:: SOT 64048 SOS 41257 HAS SOPS 41257 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17064.257
AT ITER 4506 NEW BEST:: SOT 63902 SOS 41076 HAS SOPS 41076 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16931.076
AT ITER 4521 NEW BEST:: SOT 63946 SOS 41183 HAS SOPS 41183 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16925.183
AT ITER 4572 NEW BEST:: SOT 63962 SOS 41251 HAS SOPS 41251 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16922.251
AT ITER 4627 NEW BEST:: SOT 63962 SOS 41251 HAS SOPS 41251 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16902.251
AT ITER 4659 NEW BEST:: SOT 63960 SOS 41249 HAS SOPS 41249 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16902.249
AT ITER 4665 NEW BEST:: SOT 63960 SOS 41374 HAS SOPS 41374 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16879.374
AT ITER 4688 NEW BEST:: SOT 63950 SOS 41359 HAS SOPS 41359 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16859.359
AT ITER 4716 NEW BEST:: SOT 63918 SOS 41323 HAS SOPS 41323 HAS SOUS 16792 HAS SOUPS 16792 WITH SCORE 16833.323
AT ITER 4788 NEW BEST:: SOT 63884 SOS 41302 HAS SOPS 41302 HAS SOUS 16756 HAS SOUPS 16756 WITH SCORE 16797.302
AT ITER 4801 NEW BEST:: SOT 63899 SOS 41317 HAS SOPS 41317 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16782.317
AT ITER 4860 NEW BEST:: SOT 63899 SOS 41305 HAS SOPS 41305 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16782.305
AT ITER 4901 NEW BEST:: SOT 63899 SOS 41273 HAS SOPS 41273 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16782.273
AT ITER 4903 NEW BEST:: SOT 63899 SOS 41272 HAS SOPS 41272 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16731.272
AT ITER 4906 NEW BEST:: SOT 63899 SOS 41272 HAS SOPS 41272 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16725.272
AT ITER 4965 NEW BEST:: SOT 63899 SOS 41264 HAS SOPS 41264 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16725.264
AT ITER 5022 NEW BEST:: SOT 63899 SOS 41269 HAS SOPS 41269 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16714.269
AT ITER 5051 NEW BEST:: SOT 63899 SOS 41239 HAS SOPS 41239 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16710.239
AT ITER 5061 NEW BEST:: SOT 63889 SOS 41229 HAS SOPS 41229 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16685.229
AT ITER 5125 NEW BEST:: SOT 63895 SOS 41235 HAS SOPS 41235 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16683.235
AT ITER 5140 NEW BEST:: SOT 63895 SOS 41235 HAS SOPS 41235 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16647.235
AT ITER 5149 NEW BEST:: SOT 63915 SOS 41416 HAS SOPS 41416 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16640.416
AT ITER 5163 NEW BEST:: SOT 63905 SOS 41707 HAS SOPS 41707 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16632.707
AT ITER 5278 NEW BEST:: SOT 63905 SOS 41659 HAS SOPS 41659 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16632.659
AT ITER 5283 NEW BEST:: SOT 63902 SOS 41656 HAS SOPS 41656 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16629.656
AT ITER 5313 NEW BEST:: SOT 63900 SOS 41666 HAS SOPS 41666 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16624.666
AT ITER 5334 NEW BEST:: SOT 63893 SOS 41659 HAS SOPS 41659 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16623.659
AT ITER 5373 NEW BEST:: SOT 63869 SOS 41635 HAS SOPS 41635 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16614.635
AT ITER 5537 NEW BEST:: SOT 63869 SOS 41635 HAS SOPS 41635 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16606.635
AT ITER 5606 NEW BEST:: SOT 63865 SOS 41632 HAS SOPS 41632 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16606.632
AT ITER 5671 NEW BEST:: SOT 63865 SOS 41684 HAS SOPS 41684 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16602.684
AT ITER 5697 NEW BEST:: SOT 63865 SOS 41940 HAS SOPS 41940 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16601.94
AT ITER 5720 NEW BEST:: SOT 63865 SOS 41835 HAS SOPS 41835 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16601.835
AT ITER 5726 NEW BEST:: SOT 63867 SOS 41852 HAS SOPS 41852 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16595.852
AT ITER 5756 NEW BEST:: SOT 63743 SOS 41715 HAS SOPS 41715 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16547.715
AT ITER 5787 NEW BEST:: SOT 63708 SOS 41424 HAS SOPS 41424 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16536.424
AT ITER 5810 NEW BEST:: SOT 63708 SOS 41232 HAS SOPS 41232 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16536.232
AT ITER 5865 NEW BEST:: SOT 63706 SOS 41228 HAS SOPS 41228 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16536.228
AT ITER 5874 NEW BEST:: SOT 63706 SOS 41332 HAS SOPS 41332 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16534.332
AT ITER 5912 NEW BEST:: SOT 63682 SOS 41308 HAS SOPS 41308 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16531.308
AT ITER 5916 NEW BEST:: SOT 63682 SOS 41311 HAS SOPS 41311 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16528.311
AT ITER 5928 NEW BEST:: SOT 63682 SOS 41311 HAS SOPS 41311 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16520.311
AT ITER 5948 NEW BEST:: SOT 63655 SOS 41284 HAS SOPS 41284 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16463.284
AT ITER 5962 NEW BEST:: SOT 63657 SOS 41276 HAS SOPS 41276 HAS SOUS 16419 HAS SOUPS 16419 WITH SCORE 16460.276
AT ITER 5967 NEW BEST:: SOT 63657 SOS 41276 HAS SOPS 41276 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16430.276
AT ITER 6002 NEW BEST:: SOT 63657 SOS 41372 HAS SOPS 41372 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16406.372
AT ITER 6154 NEW BEST:: SOT 63657 SOS 41340 HAS SOPS 41340 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16406.34
AT ITER 6165 NEW BEST:: SOT 63657 SOS 41244 HAS SOPS 41244 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16406.244
AT ITER 6196 NEW BEST:: SOT 63657 SOS 41202 HAS SOPS 41202 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16406.202
AT ITER 6259 NEW BEST:: SOT 63649 SOS 41194 HAS SOPS 41194 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16390.194
AT ITER 6262 NEW BEST:: SOT 63649 SOS 41082 HAS SOPS 41082 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16387.082
AT ITER 6384 NEW BEST:: SOT 63625 SOS 41058 HAS SOPS 41058 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16387.058
AT ITER 6419 NEW BEST:: SOT 63625 SOS 41018 HAS SOPS 41018 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16387.018
AT ITER 6436 NEW BEST:: SOT 63625 SOS 41026 HAS SOPS 41026 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16379.026
AT ITER 6519 NEW BEST:: SOT 63617 SOS 41018 HAS SOPS 41018 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16376.018
AT ITER 6526 NEW BEST:: SOT 63599 SOS 40992 HAS SOPS 40992 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16355.992
AT ITER 6601 NEW BEST:: SOT 63588 SOS 40981 HAS SOPS 40981 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16332.981
AT ITER 6838 NEW BEST:: SOT 63586 SOS 40981 HAS SOPS 40981 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16331.981
AT ITER 6867 NEW BEST:: SOT 63586 SOS 40985 HAS SOPS 40985 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16330.985
AT ITER 6917 NEW BEST:: SOT 63577 SOS 40975 HAS SOPS 40975 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16330.975
AT ITER 6938 NEW BEST:: SOT 63577 SOS 40967 HAS SOPS 40967 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16330.967
AT ITER 7044 NEW BEST:: SOT 63574 SOS 40964 HAS SOPS 40964 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16327.964
AT ITER 7048 NEW BEST:: SOT 63574 SOS 40966 HAS SOPS 40966 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16324.966
AT ITER 7064 NEW BEST:: SOT 63572 SOS 40964 HAS SOPS 40964 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16324.964
AT ITER 7159 NEW BEST:: SOT 63572 SOS 40948 HAS SOPS 40948 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16324.948
AT ITER 7190 NEW BEST:: SOT 63563 SOS 40871 HAS SOPS 40871 HAS SOUS 16283 HAS SOUPS 16283 WITH SCORE 16323.871
AT ITER 7252 NEW BEST:: SOT 63564 SOS 40862 HAS SOPS 40862 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16319.862
AT ITER 7263 NEW BEST:: SOT 63552 SOS 40850 HAS SOPS 40850 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16307.85
AT ITER 7295 NEW BEST:: SOT 63552 SOS 40850 HAS SOPS 40850 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16299.85
AT ITER 7309 NEW BEST:: SOT 63557 SOS 40841 HAS SOPS 40841 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16296.841
AT ITER 7329 NEW BEST:: SOT 63557 SOS 40801 HAS SOPS 40801 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16289.801
AT ITER 7508 NEW BEST:: SOT 63569 SOS 40813 HAS SOPS 40813 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16286.813
AT ITER 7595 NEW BEST:: SOT 63569 SOS 40773 HAS SOPS 40773 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16286.773
AT ITER 7603 NEW BEST:: SOT 63567 SOS 40771 HAS SOPS 40771 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16284.771
AT ITER 7892 NEW BEST:: SOT 63567 SOS 40775 HAS SOPS 40775 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16282.775
AT ITER 7920 NEW BEST:: SOT 63567 SOS 40775 HAS SOPS 40775 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16270.775
AT ITER 8014 NEW BEST:: SOT 63527 SOS 40735 HAS SOPS 40735 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16246.735
AT ITER 8148 NEW BEST:: SOT 63523 SOS 40734 HAS SOPS 40734 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16242.734
AT ITER 8354 NEW BEST:: SOT 63523 SOS 40745 HAS SOPS 40745 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16240.745
AT ITER 8430 NEW BEST:: SOT 63523 SOS 40749 HAS SOPS 40749 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16226.749
AT ITER 8491 NEW BEST:: SOT 63487 SOS 40697 HAS SOPS 40697 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16196.697
AT ITER 8548 NEW BEST:: SOT 63487 SOS 40697 HAS SOPS 40697 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16186.697
AT ITER 8611 NEW BEST:: SOT 63449 SOS 40693 HAS SOPS 40693 HAS SOUS 16142 HAS SOUPS 16142 WITH SCORE 16182.693
AT ITER 8705 NEW BEST:: SOT 63449 SOS 40758 HAS SOPS 40758 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16151.758
AT ITER 8825 NEW BEST:: SOT 63449 SOS 40750 HAS SOPS 40750 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16151.75
AT ITER 8935 NEW BEST:: SOT 63449 SOS 40749 HAS SOPS 40749 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16131.749
AT ITER 8973 NEW BEST:: SOT 63448 SOS 40748 HAS SOPS 40748 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16130.748
AT ITER 9304 NEW BEST:: SOT 63432 SOS 40732 HAS SOPS 40732 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16114.732
AT ITER 9433 NEW BEST:: SOT 63424 SOS 40724 HAS SOPS 40724 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16098.724
AT ITER 9439 NEW BEST:: SOT 63320 SOS 40606 HAS SOPS 40606 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15995.606
AT ITER 9488 NEW BEST:: SOT 63254 SOS 40526 HAS SOPS 40526 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15912.526
AT ITER 9524 NEW BEST:: SOT 63254 SOS 40529 HAS SOPS 40529 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15903.529
AT ITER 9534 NEW BEST:: SOT 63198 SOS 40457 HAS SOPS 40457 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15801.457
AT ITER 9748 NEW BEST:: SOT 63170 SOS 40248 HAS SOPS 40248 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15786.248
AT ITER 9764 NEW BEST:: SOT 63166 SOS 40248 HAS SOPS 40248 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15777.248
AT ITER 9948 NEW BEST:: SOT 63166 SOS 40240 HAS SOPS 40240 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15777.24

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-05"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PermAdmissibility-PT-05, 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 r108-csrt-158961250800632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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