Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423400544.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleLock-PT-p2s2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423400544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 14:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 14:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 813K Mar 5 18:22 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 1678473234715

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=DoubleLock-PT-p2s2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 18:33:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 18:33:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 18:33:58] [INFO ] Load time of PNML (sax parser for PT used): 263 ms
[2023-03-10 18:33:58] [INFO ] Transformed 184 places.
[2023-03-10 18:33:58] [INFO ] Transformed 1832 transitions.
[2023-03-10 18:33:58] [INFO ] Parsed PT model containing 184 places and 1832 transitions and 7424 arcs in 385 ms.
[2023-03-10 18:33:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 184 places, 1832 transitions and 7424 arcs took 26 ms.
Total runtime 460 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p2s2
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: 184 places, 1832 transitions, 7424 arcs.
AT ITER 0 NEW BEST:: SOT 162816 SOS 122475 HAS SOPS 109236 HAS SOUS 59081 HAS SOUPS 55553 WITH SCORE 55675.475
AT ITER 6 NEW BEST:: SOT 162891 SOS 122380 HAS SOPS 109201 HAS SOUS 58896 HAS SOUPS 55383 WITH SCORE 55505.38
AT ITER 8 NEW BEST:: SOT 162909 SOS 122370 HAS SOPS 109226 HAS SOUS 58837 HAS SOUPS 55329 WITH SCORE 55451.37
AT ITER 13 NEW BEST:: SOT 163181 SOS 122616 HAS SOPS 109472 HAS SOUS 58827 HAS SOUPS 55319 WITH SCORE 55441.616
AT ITER 20 NEW BEST:: SOT 161995 SOS 121462 HAS SOPS 108322 HAS SOUS 58665 HAS SOUPS 55161 WITH SCORE 55282.462
AT ITER 24 NEW BEST:: SOT 162960 SOS 121634 HAS SOPS 108778 HAS SOUS 58606 HAS SOUPS 55156 WITH SCORE 55277.634
AT ITER 53 NEW BEST:: SOT 163304 SOS 121253 HAS SOPS 108602 HAS SOUS 57847 HAS SOUPS 54440 WITH SCORE 54561.253
AT ITER 78 NEW BEST:: SOT 163359 SOS 121020 HAS SOPS 108311 HAS SOUS 57821 HAS SOUPS 54414 WITH SCORE 54535.02
AT ITER 80 NEW BEST:: SOT 163473 SOS 120993 HAS SOPS 108250 HAS SOUS 57227 HAS SOUPS 53820 WITH SCORE 53940.993
AT ITER 96 NEW BEST:: SOT 163463 SOS 121301 HAS SOPS 108558 HAS SOUS 57220 HAS SOUPS 53813 WITH SCORE 53934.301
AT ITER 99 NEW BEST:: SOT 163461 SOS 121292 HAS SOPS 108549 HAS SOUS 57192 HAS SOUPS 53785 WITH SCORE 53906.292
AT ITER 105 NEW BEST:: SOT 163669 SOS 121361 HAS SOPS 108423 HAS SOUS 56771 HAS SOUPS 53364 WITH SCORE 53485.361
AT ITER 109 NEW BEST:: SOT 163669 SOS 121313 HAS SOPS 108378 HAS SOUS 56766 HAS SOUPS 53359 WITH SCORE 53480.313
AT ITER 115 NEW BEST:: SOT 163550 SOS 121071 HAS SOPS 108125 HAS SOUS 55748 HAS SOUPS 52334 WITH SCORE 52455.071
AT ITER 118 NEW BEST:: SOT 163203 SOS 120463 HAS SOPS 106263 HAS SOUS 53715 HAS SOUPS 50301 WITH SCORE 50421.463
AT ITER 124 NEW BEST:: SOT 163419 SOS 120242 HAS SOPS 106161 HAS SOUS 53484 HAS SOUPS 50087 WITH SCORE 50207.242
AT ITER 149 NEW BEST:: SOT 163759 SOS 119871 HAS SOPS 105968 HAS SOUS 53339 HAS SOUPS 49969 WITH SCORE 50088.871
AT ITER 154 NEW BEST:: SOT 163759 SOS 119674 HAS SOPS 105744 HAS SOUS 53305 HAS SOUPS 49935 WITH SCORE 50054.674
AT ITER 156 NEW BEST:: SOT 165615 SOS 120209 HAS SOPS 106777 HAS SOUS 52847 HAS SOUPS 49568 WITH SCORE 49688.209
AT ITER 165 NEW BEST:: SOT 165320 SOS 119985 HAS SOPS 106466 HAS SOUS 52462 HAS SOUPS 49168 WITH SCORE 49287.985
AT ITER 176 NEW BEST:: SOT 165238 SOS 119797 HAS SOPS 106275 HAS SOUS 52239 HAS SOUPS 48943 WITH SCORE 49062.797
AT ITER 191 NEW BEST:: SOT 165280 SOS 120034 HAS SOPS 106576 HAS SOUS 52192 HAS SOUPS 48901 WITH SCORE 49021.034
AT ITER 195 NEW BEST:: SOT 165883 SOS 119729 HAS SOPS 106517 HAS SOUS 52002 HAS SOUPS 48757 WITH SCORE 48876.729
AT ITER 213 NEW BEST:: SOT 166299 SOS 119600 HAS SOPS 106535 HAS SOUS 51829 HAS SOUPS 48605 WITH SCORE 48724.6
AT ITER 215 NEW BEST:: SOT 167598 SOS 120251 HAS SOPS 107389 HAS SOUS 51481 HAS SOUPS 48313 WITH SCORE 48433.251
AT ITER 217 NEW BEST:: SOT 167598 SOS 120251 HAS SOPS 107389 HAS SOUS 51477 HAS SOUPS 48309 WITH SCORE 48429.251
AT ITER 219 NEW BEST:: SOT 167835 SOS 120473 HAS SOPS 107611 HAS SOUS 51475 HAS SOUPS 48307 WITH SCORE 48427.473
AT ITER 221 NEW BEST:: SOT 168846 SOS 120432 HAS SOPS 107857 HAS SOUS 51242 HAS SOUPS 48118 WITH SCORE 48238.432
AT ITER 247 NEW BEST:: SOT 168846 SOS 120255 HAS SOPS 107680 HAS SOUS 51199 HAS SOUPS 48075 WITH SCORE 48195.255
AT ITER 262 NEW BEST:: SOT 168834 SOS 120243 HAS SOPS 107668 HAS SOUS 51187 HAS SOUPS 48063 WITH SCORE 48183.243
AT ITER 267 NEW BEST:: SOT 168729 SOS 120206 HAS SOPS 107631 HAS SOUS 51058 HAS SOUPS 47934 WITH SCORE 48054.206
AT ITER 311 NEW BEST:: SOT 168740 SOS 120007 HAS SOPS 107507 HAS SOUS 50852 HAS SOUPS 47743 WITH SCORE 47863.007
AT ITER 339 NEW BEST:: SOT 168683 SOS 119761 HAS SOPS 107254 HAS SOUS 50720 HAS SOUPS 47604 WITH SCORE 47723.761
AT ITER 352 NEW BEST:: SOT 168675 SOS 119753 HAS SOPS 107246 HAS SOUS 50712 HAS SOUPS 47596 WITH SCORE 47715.753
AT ITER 356 NEW BEST:: SOT 168689 SOS 119740 HAS SOPS 107247 HAS SOUS 50664 HAS SOUPS 47548 WITH SCORE 47667.74
AT ITER 357 NEW BEST:: SOT 168641 SOS 119672 HAS SOPS 107179 HAS SOUS 50504 HAS SOUPS 47388 WITH SCORE 47507.672
AT ITER 366 NEW BEST:: SOT 171192 SOS 120414 HAS SOPS 108494 HAS SOUS 50098 HAS SOUPS 47080 WITH SCORE 47200.414
AT ITER 401 NEW BEST:: SOT 171024 SOS 120210 HAS SOPS 108321 HAS SOUS 48907 HAS SOUPS 45889 WITH SCORE 46009.21
AT ITER 408 NEW BEST:: SOT 172641 SOS 120754 HAS SOPS 109245 HAS SOUS 48811 HAS SOUPS 45855 WITH SCORE 45975.754
AT ITER 422 NEW BEST:: SOT 173940 SOS 120907 HAS SOPS 109779 HAS SOUS 48323 HAS SOUPS 45432 WITH SCORE 45552.907
AT ITER 425 NEW BEST:: SOT 173885 SOS 120786 HAS SOPS 109658 HAS SOUS 48233 HAS SOUPS 45342 WITH SCORE 45462.786
AT ITER 453 NEW BEST:: SOT 173751 SOS 120579 HAS SOPS 109451 HAS SOUS 47878 HAS SOUPS 44987 WITH SCORE 45107.579
AT ITER 455 NEW BEST:: SOT 173538 SOS 119683 HAS SOPS 108981 HAS SOUS 47159 HAS SOUPS 44302 WITH SCORE 44421.683
AT ITER 463 NEW BEST:: SOT 173537 SOS 119707 HAS SOPS 109012 HAS SOUS 47155 HAS SOUPS 44299 WITH SCORE 44418.707
AT ITER 491 NEW BEST:: SOT 173011 SOS 119185 HAS SOPS 108495 HAS SOUS 46757 HAS SOUPS 43906 WITH SCORE 44025.185
AT ITER 545 NEW BEST:: SOT 172957 SOS 118944 HAS SOPS 108298 HAS SOUS 46701 HAS SOUPS 43850 WITH SCORE 43968.944
AT ITER 571 NEW BEST:: SOT 173059 SOS 119046 HAS SOPS 108400 HAS SOUS 46577 HAS SOUPS 43726 WITH SCORE 43845.046
AT ITER 573 NEW BEST:: SOT 173059 SOS 118366 HAS SOPS 107720 HAS SOUS 46577 HAS SOUPS 43726 WITH SCORE 43844.366
AT ITER 587 NEW BEST:: SOT 173282 SOS 118325 HAS SOPS 107727 HAS SOUS 46536 HAS SOUPS 43685 WITH SCORE 43803.325
AT ITER 599 NEW BEST:: SOT 173282 SOS 117577 HAS SOPS 106979 HAS SOUS 46536 HAS SOUPS 43685 WITH SCORE 43802.577
AT ITER 623 NEW BEST:: SOT 173490 SOS 116915 HAS SOPS 106518 HAS SOUS 46010 HAS SOUPS 43180 WITH SCORE 43296.915
AT ITER 654 NEW BEST:: SOT 175130 SOS 117961 HAS SOPS 107885 HAS SOUS 45137 HAS SOUPS 42389 WITH SCORE 42506.961
AT ITER 681 NEW BEST:: SOT 175130 SOS 117961 HAS SOPS 107885 HAS SOUS 45083 HAS SOUPS 42335 WITH SCORE 42452.961
AT ITER 694 NEW BEST:: SOT 175168 SOS 117943 HAS SOPS 107969 HAS SOUS 44894 HAS SOUPS 42155 WITH SCORE 42272.943
AT ITER 697 NEW BEST:: SOT 175168 SOS 117675 HAS SOPS 107701 HAS SOUS 44786 HAS SOUPS 42047 WITH SCORE 42164.675
AT ITER 701 NEW BEST:: SOT 173238 SOS 115809 HAS SOPS 105837 HAS SOUS 43627 HAS SOUPS 40890 WITH SCORE 41005.809
AT ITER 713 NEW BEST:: SOT 173606 SOS 115659 HAS SOPS 105830 HAS SOUS 43413 HAS SOUPS 40695 WITH SCORE 40810.659
AT ITER 720 NEW BEST:: SOT 172829 SOS 114969 HAS SOPS 105036 HAS SOUS 43287 HAS SOUPS 40529 WITH SCORE 40643.969
AT ITER 738 NEW BEST:: SOT 172827 SOS 114943 HAS SOPS 105020 HAS SOUS 43261 HAS SOUPS 40505 WITH SCORE 40619.943
AT ITER 767 NEW BEST:: SOT 172218 SOS 114418 HAS SOPS 104457 HAS SOUS 42759 HAS SOUPS 39983 WITH SCORE 40097.418
AT ITER 787 NEW BEST:: SOT 172601 SOS 114386 HAS SOPS 104637 HAS SOUS 42499 HAS SOUPS 39749 WITH SCORE 39863.386
AT ITER 796 NEW BEST:: SOT 172666 SOS 113995 HAS SOPS 104246 HAS SOUS 42412 HAS SOUPS 39662 WITH SCORE 39775.995
AT ITER 805 NEW BEST:: SOT 172614 SOS 113955 HAS SOPS 104202 HAS SOUS 42396 HAS SOUPS 39644 WITH SCORE 39757.955
AT ITER 823 NEW BEST:: SOT 171190 SOS 112566 HAS SOPS 102813 HAS SOUS 41882 HAS SOUPS 39130 WITH SCORE 39242.566
AT ITER 839 NEW BEST:: SOT 171273 SOS 112218 HAS SOPS 102617 HAS SOUS 41470 HAS SOUPS 38750 WITH SCORE 38862.218
AT ITER 840 NEW BEST:: SOT 171452 SOS 112231 HAS SOPS 102714 HAS SOUS 41257 HAS SOUPS 38549 WITH SCORE 38661.231
AT ITER 870 NEW BEST:: SOT 171067 SOS 111851 HAS SOPS 102334 HAS SOUS 40877 HAS SOUPS 38169 WITH SCORE 38280.851
AT ITER 883 NEW BEST:: SOT 171067 SOS 111979 HAS SOPS 102462 HAS SOUS 40876 HAS SOUPS 38168 WITH SCORE 38279.979
AT ITER 888 NEW BEST:: SOT 171067 SOS 111979 HAS SOPS 102462 HAS SOUS 40843 HAS SOUPS 38135 WITH SCORE 38246.979
AT ITER 895 NEW BEST:: SOT 171175 SOS 112042 HAS SOPS 102525 HAS SOUS 40612 HAS SOUPS 37904 WITH SCORE 38016.042
AT ITER 946 NEW BEST:: SOT 171230 SOS 112105 HAS SOPS 102645 HAS SOUS 40589 HAS SOUPS 37886 WITH SCORE 37998.105
AT ITER 969 NEW BEST:: SOT 171254 SOS 112114 HAS SOPS 102664 HAS SOUS 40578 HAS SOUPS 37880 WITH SCORE 37992.114
AT ITER 970 NEW BEST:: SOT 171254 SOS 111990 HAS SOPS 102540 HAS SOUS 40570 HAS SOUPS 37872 WITH SCORE 37983.99
AT ITER 994 NEW BEST:: SOT 171777 SOS 111828 HAS SOPS 102620 HAS SOUS 40414 HAS SOUPS 37760 WITH SCORE 37871.828
AT ITER 1002 NEW BEST:: SOT 172180 SOS 112137 HAS SOPS 102929 HAS SOUS 40154 HAS SOUPS 37500 WITH SCORE 37612.137
AT ITER 1029 NEW BEST:: SOT 172305 SOS 112173 HAS SOPS 102989 HAS SOUS 39996 HAS SOUPS 37352 WITH SCORE 37464.173
AT ITER 1074 NEW BEST:: SOT 172317 SOS 112137 HAS SOPS 102953 HAS SOUS 39951 HAS SOUPS 37307 WITH SCORE 37419.137
AT ITER 1109 NEW BEST:: SOT 172275 SOS 112095 HAS SOPS 102911 HAS SOUS 39918 HAS SOUPS 37274 WITH SCORE 37386.095
AT ITER 1141 NEW BEST:: SOT 172231 SOS 112044 HAS SOPS 102849 HAS SOUS 39883 HAS SOUPS 37239 WITH SCORE 37351.044
AT ITER 1153 NEW BEST:: SOT 172177 SOS 111990 HAS SOPS 102827 HAS SOUS 39829 HAS SOUPS 37217 WITH SCORE 37328.99
AT ITER 1187 NEW BEST:: SOT 172177 SOS 112020 HAS SOPS 102857 HAS SOUS 39802 HAS SOUPS 37190 WITH SCORE 37302.02
AT ITER 1191 NEW BEST:: SOT 172079 SOS 111286 HAS SOPS 101943 HAS SOUS 39817 HAS SOUPS 37176 WITH SCORE 37287.286
AT ITER 1281 NEW BEST:: SOT 172110 SOS 111251 HAS SOPS 101938 HAS SOUS 39756 HAS SOUPS 37120 WITH SCORE 37231.251
AT ITER 1285 NEW BEST:: SOT 172110 SOS 111123 HAS SOPS 101810 HAS SOUS 39754 HAS SOUPS 37118 WITH SCORE 37229.123
AT ITER 1293 NEW BEST:: SOT 172068 SOS 111078 HAS SOPS 101765 HAS SOUS 39667 HAS SOUPS 37031 WITH SCORE 37142.078
AT ITER 1320 NEW BEST:: SOT 172059 SOS 111174 HAS SOPS 101861 HAS SOUS 39591 HAS SOUPS 36955 WITH SCORE 37066.174
AT ITER 1326 NEW BEST:: SOT 172198 SOS 111286 HAS SOPS 101973 HAS SOUS 39547 HAS SOUPS 36911 WITH SCORE 37022.286
AT ITER 1385 NEW BEST:: SOT 172204 SOS 111283 HAS SOPS 101973 HAS SOUS 39532 HAS SOUPS 36897 WITH SCORE 37008.283
AT ITER 1387 NEW BEST:: SOT 172285 SOS 111268 HAS SOPS 102038 HAS SOUS 39396 HAS SOUPS 36771 WITH SCORE 36882.268
AT ITER 1390 NEW BEST:: SOT 172288 SOS 111275 HAS SOPS 102043 HAS SOUS 39386 HAS SOUPS 36760 WITH SCORE 36871.275
AT ITER 1394 NEW BEST:: SOT 172083 SOS 111219 HAS SOPS 101928 HAS SOUS 39281 HAS SOUPS 36640 WITH SCORE 36751.219
AT ITER 1415 NEW BEST:: SOT 172804 SOS 113594 HAS SOPS 104907 HAS SOUS 38886 HAS SOUPS 36332 WITH SCORE 36445.594
AT ITER 1423 NEW BEST:: SOT 172629 SOS 113402 HAS SOPS 104530 HAS SOUS 38834 HAS SOUPS 36095 WITH SCORE 36208.402
AT ITER 1428 NEW BEST:: SOT 172709 SOS 113544 HAS SOPS 104672 HAS SOUS 38785 HAS SOUPS 36046 WITH SCORE 36159.544
AT ITER 1445 NEW BEST:: SOT 172775 SOS 113622 HAS SOPS 104750 HAS SOUS 38747 HAS SOUPS 36008 WITH SCORE 36121.622
AT ITER 1452 NEW BEST:: SOT 172775 SOS 113624 HAS SOPS 104746 HAS SOUS 38735 HAS SOUPS 35997 WITH SCORE 36110.624
AT ITER 1495 NEW BEST:: SOT 172751 SOS 113457 HAS SOPS 104623 HAS SOUS 38518 HAS SOUPS 35792 WITH SCORE 35905.457
AT ITER 1497 NEW BEST:: SOT 173026 SOS 113440 HAS SOPS 104755 HAS SOUS 38327 HAS SOUPS 35601 WITH SCORE 35714.44
AT ITER 1504 NEW BEST:: SOT 173060 SOS 113187 HAS SOPS 104490 HAS SOUS 38305 HAS SOUPS 35579 WITH SCORE 35692.187
AT ITER 1528 NEW BEST:: SOT 172773 SOS 112900 HAS SOPS 104203 HAS SOUS 38018 HAS SOUPS 35292 WITH SCORE 35404.9
AT ITER 1532 NEW BEST:: SOT 172743 SOS 112742 HAS SOPS 104016 HAS SOUS 38025 HAS SOUPS 35291 WITH SCORE 35403.742
AT ITER 1543 NEW BEST:: SOT 172695 SOS 112699 HAS SOPS 103973 HAS SOUS 37919 HAS SOUPS 35185 WITH SCORE 35297.699
AT ITER 1616 NEW BEST:: SOT 172695 SOS 112507 HAS SOPS 103781 HAS SOUS 37916 HAS SOUPS 35182 WITH SCORE 35294.507
AT ITER 1645 NEW BEST:: SOT 172695 SOS 111367 HAS SOPS 102588 HAS SOUS 37776 HAS SOUPS 35042 WITH SCORE 35153.367
AT ITER 1672 NEW BEST:: SOT 172711 SOS 111373 HAS SOPS 102594 HAS SOUS 37742 HAS SOUPS 35008 WITH SCORE 35119.373
AT ITER 1689 NEW BEST:: SOT 172921 SOS 110149 HAS SOPS 101094 HAS SOUS 37725 HAS SOUPS 34937 WITH SCORE 35047.149
AT ITER 1693 NEW BEST:: SOT 172965 SOS 110203 HAS SOPS 101158 HAS SOUS 37711 HAS SOUPS 34925 WITH SCORE 35035.203
AT ITER 1746 NEW BEST:: SOT 172965 SOS 110215 HAS SOPS 101177 HAS SOUS 37706 HAS SOUPS 34921 WITH SCORE 35031.215
AT ITER 1762 NEW BEST:: SOT 173075 SOS 109815 HAS SOPS 100615 HAS SOUS 37633 HAS SOUPS 34848 WITH SCORE 34957.815
AT ITER 1777 NEW BEST:: SOT 173060 SOS 110411 HAS SOPS 101609 HAS SOUS 37515 HAS SOUPS 34801 WITH SCORE 34911.411
AT ITER 1827 NEW BEST:: SOT 173185 SOS 110914 HAS SOPS 102239 HAS SOUS 37442 HAS SOUPS 34740 WITH SCORE 34850.914
AT ITER 1833 NEW BEST:: SOT 173185 SOS 110884 HAS SOPS 102207 HAS SOUS 37439 HAS SOUPS 34737 WITH SCORE 34847.884
AT ITER 1835 NEW BEST:: SOT 173185 SOS 110804 HAS SOPS 102127 HAS SOUS 37439 HAS SOUPS 34737 WITH SCORE 34847.804
AT ITER 1840 NEW BEST:: SOT 173111 SOS 110730 HAS SOPS 102053 HAS SOUS 37270 HAS SOUPS 34568 WITH SCORE 34678.73
AT ITER 1843 NEW BEST:: SOT 173158 SOS 110610 HAS SOPS 102005 HAS SOUS 37043 HAS SOUPS 34350 WITH SCORE 34460.61
AT ITER 1858 NEW BEST:: SOT 173789 SOS 111536 HAS SOPS 103007 HAS SOUS 36975 HAS SOUPS 34305 WITH SCORE 34416.536
AT ITER 1866 NEW BEST:: SOT 173670 SOS 111437 HAS SOPS 102902 HAS SOUS 36923 HAS SOUPS 34250 WITH SCORE 34361.437
AT ITER 1911 NEW BEST:: SOT 174421 SOS 111319 HAS SOPS 103058 HAS SOUS 36390 HAS SOUPS 33769 WITH SCORE 33880.319
AT ITER 1917 NEW BEST:: SOT 174283 SOS 111205 HAS SOPS 102944 HAS SOUS 36374 HAS SOUPS 33753 WITH SCORE 33864.205
AT ITER 1933 NEW BEST:: SOT 174283 SOS 111205 HAS SOPS 102944 HAS SOUS 36369 HAS SOUPS 33748 WITH SCORE 33859.205
AT ITER 1936 NEW BEST:: SOT 174335 SOS 111246 HAS SOPS 102989 HAS SOUS 36352 HAS SOUPS 33733 WITH SCORE 33844.246
AT ITER 1945 NEW BEST:: SOT 174831 SOS 111864 HAS SOPS 103758 HAS SOUS 36327 HAS SOUPS 33708 WITH SCORE 33819.864
AT ITER 2003 NEW BEST:: SOT 174822 SOS 111866 HAS SOPS 103755 HAS SOUS 36322 HAS SOUPS 33702 WITH SCORE 33813.866
AT ITER 2010 NEW BEST:: SOT 174822 SOS 112017 HAS SOPS 103938 HAS SOUS 36291 HAS SOUPS 33679 WITH SCORE 33791.017
AT ITER 2026 NEW BEST:: SOT 175047 SOS 112110 HAS SOPS 104068 HAS SOUS 36282 HAS SOUPS 33670 WITH SCORE 33782.11
AT ITER 2044 NEW BEST:: SOT 175043 SOS 112033 HAS SOPS 103977 HAS SOUS 36245 HAS SOUPS 33633 WITH SCORE 33745.033
AT ITER 2075 NEW BEST:: SOT 175015 SOS 111985 HAS SOPS 103929 HAS SOUS 36204 HAS SOUPS 33592 WITH SCORE 33703.985
AT ITER 2101 NEW BEST:: SOT 175014 SOS 112091 HAS SOPS 104066 HAS SOUS 36142 HAS SOUPS 33538 WITH SCORE 33650.091
AT ITER 2112 NEW BEST:: SOT 174863 SOS 111647 HAS SOPS 103532 HAS SOUS 36165 HAS SOUPS 33527 WITH SCORE 33638.647
AT ITER 2125 NEW BEST:: SOT 174690 SOS 111438 HAS SOPS 103323 HAS SOUS 35821 HAS SOUPS 33183 WITH SCORE 33294.438
AT ITER 2155 NEW BEST:: SOT 174704 SOS 111413 HAS SOPS 103334 HAS SOUS 35802 HAS SOUPS 33164 WITH SCORE 33275.413
AT ITER 2157 NEW BEST:: SOT 174701 SOS 111398 HAS SOPS 103319 HAS SOUS 35787 HAS SOUPS 33149 WITH SCORE 33260.398
AT ITER 2178 NEW BEST:: SOT 174750 SOS 111414 HAS SOPS 103347 HAS SOUS 35781 HAS SOUPS 33147 WITH SCORE 33258.414
AT ITER 2192 NEW BEST:: SOT 174750 SOS 111528 HAS SOPS 103461 HAS SOUS 35778 HAS SOUPS 33144 WITH SCORE 33255.528
AT ITER 2197 NEW BEST:: SOT 174747 SOS 112067 HAS SOPS 104016 HAS SOUS 35768 HAS SOUPS 33134 WITH SCORE 33246.067
AT ITER 2211 NEW BEST:: SOT 174759 SOS 111937 HAS SOPS 103938 HAS SOUS 35646 HAS SOUPS 33023 WITH SCORE 33134.937
AT ITER 2242 NEW BEST:: SOT 174794 SOS 111963 HAS SOPS 103964 HAS SOUS 35608 HAS SOUPS 32985 WITH SCORE 33096.963
AT ITER 2251 NEW BEST:: SOT 174687 SOS 111856 HAS SOPS 103857 HAS SOUS 35501 HAS SOUPS 32878 WITH SCORE 32989.856
AT ITER 2257 NEW BEST:: SOT 174579 SOS 111764 HAS SOPS 103757 HAS SOUS 35385 HAS SOUPS 32758 WITH SCORE 32869.764
AT ITER 2280 NEW BEST:: SOT 174566 SOS 111918 HAS SOPS 103911 HAS SOUS 35380 HAS SOUPS 32753 WITH SCORE 32864.918
AT ITER 2336 NEW BEST:: SOT 174566 SOS 111898 HAS SOPS 103891 HAS SOUS 35380 HAS SOUPS 32753 WITH SCORE 32864.898
AT ITER 2338 NEW BEST:: SOT 174557 SOS 111866 HAS SOPS 103850 HAS SOUS 35366 HAS SOUPS 32734 WITH SCORE 32845.866
AT ITER 2345 NEW BEST:: SOT 174536 SOS 111767 HAS SOPS 103751 HAS SOUS 35319 HAS SOUPS 32687 WITH SCORE 32798.767
AT ITER 2352 NEW BEST:: SOT 174617 SOS 111800 HAS SOPS 103828 HAS SOUS 35253 HAS SOUPS 32642 WITH SCORE 32753.8
AT ITER 2372 NEW BEST:: SOT 174617 SOS 111774 HAS SOPS 103799 HAS SOUS 35204 HAS SOUPS 32593 WITH SCORE 32704.774
AT ITER 2467 NEW BEST:: SOT 174191 SOS 111335 HAS SOPS 103265 HAS SOUS 35128 HAS SOUPS 32517 WITH SCORE 32628.335
AT ITER 2473 NEW BEST:: SOT 174191 SOS 111509 HAS SOPS 103439 HAS SOUS 35125 HAS SOUPS 32514 WITH SCORE 32625.509
AT ITER 2529 NEW BEST:: SOT 174481 SOS 111668 HAS SOPS 103696 HAS SOUS 35003 HAS SOUPS 32406 WITH SCORE 32517.668
AT ITER 2539 NEW BEST:: SOT 174471 SOS 111648 HAS SOPS 103670 HAS SOUS 34994 HAS SOUPS 32397 WITH SCORE 32508.648
AT ITER 2552 NEW BEST:: SOT 174448 SOS 111569 HAS SOPS 103577 HAS SOUS 34927 HAS SOUPS 32330 WITH SCORE 32441.569
AT ITER 2577 NEW BEST:: SOT 174404 SOS 111429 HAS SOPS 103437 HAS SOUS 34834 HAS SOUPS 32237 WITH SCORE 32348.429
AT ITER 2590 NEW BEST:: SOT 174444 SOS 111397 HAS SOPS 103435 HAS SOUS 34800 HAS SOUPS 32209 WITH SCORE 32320.397
AT ITER 2667 NEW BEST:: SOT 174300 SOS 111277 HAS SOPS 103307 HAS SOUS 34736 HAS SOUPS 32141 WITH SCORE 32252.277
AT ITER 2722 NEW BEST:: SOT 174208 SOS 111185 HAS SOPS 103215 HAS SOUS 34648 HAS SOUPS 32053 WITH SCORE 32164.185
AT ITER 2751 NEW BEST:: SOT 174208 SOS 111177 HAS SOPS 103207 HAS SOUS 34648 HAS SOUPS 32053 WITH SCORE 32164.177
AT ITER 2764 NEW BEST:: SOT 173977 SOS 110961 HAS SOPS 102991 HAS SOUS 34605 HAS SOUPS 32010 WITH SCORE 32120.961
AT ITER 2767 NEW BEST:: SOT 173977 SOS 110897 HAS SOPS 102927 HAS SOUS 34604 HAS SOUPS 32009 WITH SCORE 32119.897
AT ITER 2780 NEW BEST:: SOT 173952 SOS 110875 HAS SOPS 102905 HAS SOUS 34568 HAS SOUPS 31973 WITH SCORE 32083.875
AT ITER 2795 NEW BEST:: SOT 173952 SOS 110757 HAS SOPS 102783 HAS SOUS 34568 HAS SOUPS 31973 WITH SCORE 32083.757
AT ITER 2819 NEW BEST:: SOT 173952 SOS 110679 HAS SOPS 102705 HAS SOUS 34542 HAS SOUPS 31947 WITH SCORE 32057.679
AT ITER 2825 NEW BEST:: SOT 173866 SOS 110625 HAS SOPS 102631 HAS SOUS 34428 HAS SOUPS 31829 WITH SCORE 31939.625
AT ITER 2864 NEW BEST:: SOT 173873 SOS 110551 HAS SOPS 102587 HAS SOUS 34345 HAS SOUPS 31756 WITH SCORE 31866.551
AT ITER 2869 NEW BEST:: SOT 173891 SOS 110565 HAS SOPS 102611 HAS SOUS 34305 HAS SOUPS 31716 WITH SCORE 31826.565
AT ITER 2952 NEW BEST:: SOT 173891 SOS 110565 HAS SOPS 102611 HAS SOUS 34301 HAS SOUPS 31712 WITH SCORE 31822.565
AT ITER 2956 NEW BEST:: SOT 173807 SOS 110524 HAS SOPS 102545 HAS SOUS 34195 HAS SOUPS 31601 WITH SCORE 31711.524
AT ITER 3020 NEW BEST:: SOT 173813 SOS 110167 HAS SOPS 101982 HAS SOUS 34251 HAS SOUPS 31568 WITH SCORE 31678.167
AT ITER 3050 NEW BEST:: SOT 173813 SOS 110505 HAS SOPS 102320 HAS SOUS 34238 HAS SOUPS 31555 WITH SCORE 31665.505
AT ITER 3111 NEW BEST:: SOT 173694 SOS 110331 HAS SOPS 101949 HAS SOUS 34175 HAS SOUPS 31466 WITH SCORE 31576.331
AT ITER 3122 NEW BEST:: SOT 173694 SOS 110289 HAS SOPS 101907 HAS SOUS 34153 HAS SOUPS 31444 WITH SCORE 31554.289
AT ITER 3187 NEW BEST:: SOT 173685 SOS 110237 HAS SOPS 101832 HAS SOUS 34141 HAS SOUPS 31432 WITH SCORE 31542.237
AT ITER 3206 NEW BEST:: SOT 173685 SOS 110053 HAS SOPS 101648 HAS SOUS 34130 HAS SOUPS 31421 WITH SCORE 31531.053
AT ITER 3292 NEW BEST:: SOT 173610 SOS 109680 HAS SOPS 101140 HAS SOUS 33934 HAS SOUPS 31216 WITH SCORE 31325.68
AT ITER 3332 NEW BEST:: SOT 173449 SOS 109620 HAS SOPS 101060 HAS SOUS 33922 HAS SOUPS 31204 WITH SCORE 31313.62
AT ITER 3350 NEW BEST:: SOT 173483 SOS 109618 HAS SOPS 101073 HAS SOUS 33908 HAS SOUPS 31190 WITH SCORE 31299.618
AT ITER 3357 NEW BEST:: SOT 173438 SOS 109393 HAS SOPS 100875 HAS SOUS 33809 HAS SOUPS 31091 WITH SCORE 31200.393
AT ITER 3364 NEW BEST:: SOT 173295 SOS 109250 HAS SOPS 100732 HAS SOUS 33766 HAS SOUPS 31048 WITH SCORE 31157.25
AT ITER 3368 NEW BEST:: SOT 173223 SOS 108866 HAS SOPS 100202 HAS SOUS 33761 HAS SOUPS 31036 WITH SCORE 31144.866
AT ITER 3377 NEW BEST:: SOT 173161 SOS 108815 HAS SOPS 100151 HAS SOUS 33738 HAS SOUPS 31013 WITH SCORE 31121.815
AT ITER 3410 NEW BEST:: SOT 173161 SOS 108679 HAS SOPS 100015 HAS SOUS 33736 HAS SOUPS 31011 WITH SCORE 31119.679
AT ITER 3417 NEW BEST:: SOT 173161 SOS 108215 HAS SOPS 99551 HAS SOUS 33730 HAS SOUPS 31005 WITH SCORE 31113.215
AT ITER 3477 NEW BEST:: SOT 173120 SOS 108187 HAS SOPS 99519 HAS SOUS 33730 HAS SOUPS 31005 WITH SCORE 31113.187
AT ITER 3496 NEW BEST:: SOT 173113 SOS 108177 HAS SOPS 99509 HAS SOUS 33698 HAS SOUPS 30973 WITH SCORE 31081.177
AT ITER 3500 NEW BEST:: SOT 173150 SOS 108192 HAS SOPS 99530 HAS SOUS 33658 HAS SOUPS 30936 WITH SCORE 31044.192
AT ITER 3604 NEW BEST:: SOT 173207 SOS 108245 HAS SOPS 99583 HAS SOUS 33653 HAS SOUPS 30931 WITH SCORE 31039.245
AT ITER 3610 NEW BEST:: SOT 173219 SOS 108131 HAS SOPS 99462 HAS SOUS 33652 HAS SOUPS 30930 WITH SCORE 31038.131
AT ITER 3635 NEW BEST:: SOT 173163 SOS 108075 HAS SOPS 99406 HAS SOUS 33532 HAS SOUPS 30810 WITH SCORE 30918.075
AT ITER 3755 NEW BEST:: SOT 173135 SOS 108047 HAS SOPS 99378 HAS SOUS 33480 HAS SOUPS 30758 WITH SCORE 30866.047
AT ITER 3795 NEW BEST:: SOT 173135 SOS 108027 HAS SOPS 99358 HAS SOUS 33480 HAS SOUPS 30758 WITH SCORE 30866.027
AT ITER 3919 NEW BEST:: SOT 173142 SOS 108034 HAS SOPS 99365 HAS SOUS 33467 HAS SOUPS 30745 WITH SCORE 30853.034
AT ITER 3926 NEW BEST:: SOT 173186 SOS 108078 HAS SOPS 99409 HAS SOUS 33447 HAS SOUPS 30725 WITH SCORE 30833.078
AT ITER 3938 NEW BEST:: SOT 173186 SOS 108070 HAS SOPS 99401 HAS SOUS 33446 HAS SOUPS 30724 WITH SCORE 30832.07
AT ITER 4036 NEW BEST:: SOT 173294 SOS 108143 HAS SOPS 99487 HAS SOUS 33412 HAS SOUPS 30690 WITH SCORE 30798.143
AT ITER 4097 NEW BEST:: SOT 173297 SOS 108133 HAS SOPS 99477 HAS SOUS 33392 HAS SOUPS 30670 WITH SCORE 30778.133
AT ITER 4182 NEW BEST:: SOT 173300 SOS 108181 HAS SOPS 99534 HAS SOUS 33368 HAS SOUPS 30649 WITH SCORE 30757.181
AT ITER 4408 NEW BEST:: SOT 173281 SOS 108145 HAS SOPS 99486 HAS SOUS 33339 HAS SOUPS 30619 WITH SCORE 30727.145
AT ITER 4415 NEW BEST:: SOT 173114 SOS 107955 HAS SOPS 99282 HAS SOUS 33294 HAS SOUPS 30574 WITH SCORE 30681.955
AT ITER 4448 NEW BEST:: SOT 173013 SOS 107868 HAS SOPS 99259 HAS SOUS 33231 HAS SOUPS 30518 WITH SCORE 30625.868
AT ITER 4477 NEW BEST:: SOT 173005 SOS 107858 HAS SOPS 99235 HAS SOUS 33243 HAS SOUPS 30516 WITH SCORE 30623.858
AT ITER 4491 NEW BEST:: SOT 173005 SOS 107714 HAS SOPS 99091 HAS SOUS 33240 HAS SOUPS 30513 WITH SCORE 30620.714
AT ITER 4550 NEW BEST:: SOT 172963 SOS 107686 HAS SOPS 99059 HAS SOUS 33214 HAS SOUPS 30485 WITH SCORE 30592.686
AT ITER 4723 NEW BEST:: SOT 172963 SOS 107665 HAS SOPS 99047 HAS SOUS 33211 HAS SOUPS 30482 WITH SCORE 30589.665
AT ITER 4808 NEW BEST:: SOT 172913 SOS 107553 HAS SOPS 98939 HAS SOUS 33160 HAS SOUPS 30427 WITH SCORE 30534.553
AT ITER 4838 NEW BEST:: SOT 172934 SOS 107545 HAS SOPS 98927 HAS SOUS 33144 HAS SOUPS 30411 WITH SCORE 30518.545
AT ITER 4858 NEW BEST:: SOT 172934 SOS 107437 HAS SOPS 98819 HAS SOUS 33108 HAS SOUPS 30375 WITH SCORE 30482.437
AT ITER 4905 NEW BEST:: SOT 172941 SOS 107374 HAS SOPS 98770 HAS SOUS 33052 HAS SOUPS 30326 WITH SCORE 30433.374
AT ITER 4963 NEW BEST:: SOT 172967 SOS 107392 HAS SOPS 98794 HAS SOUS 33048 HAS SOUPS 30322 WITH SCORE 30429.392
AT ITER 5021 NEW BEST:: SOT 172794 SOS 107231 HAS SOPS 98633 HAS SOUS 32941 HAS SOUPS 30215 WITH SCORE 30322.231
AT ITER 5062 NEW BEST:: SOT 172843 SOS 107275 HAS SOPS 98687 HAS SOUS 32887 HAS SOUPS 30161 WITH SCORE 30268.275
AT ITER 5075 NEW BEST:: SOT 172700 SOS 107167 HAS SOPS 98569 HAS SOUS 32808 HAS SOUPS 30077 WITH SCORE 30184.167
AT ITER 5136 NEW BEST:: SOT 172689 SOS 107226 HAS SOPS 98702 HAS SOUS 32764 HAS SOUPS 30044 WITH SCORE 30151.226
AT ITER 5189 NEW BEST:: SOT 172725 SOS 107246 HAS SOPS 98732 HAS SOUS 32754 HAS SOUPS 30034 WITH SCORE 30141.246
AT ITER 5202 NEW BEST:: SOT 172669 SOS 107202 HAS SOPS 98682 HAS SOUS 32694 HAS SOUPS 29972 WITH SCORE 30079.202
AT ITER 5274 NEW BEST:: SOT 172713 SOS 107194 HAS SOPS 98722 HAS SOUS 32588 HAS SOUPS 29898 WITH SCORE 30005.194
AT ITER 5372 NEW BEST:: SOT 172713 SOS 107182 HAS SOPS 98710 HAS SOUS 32582 HAS SOUPS 29892 WITH SCORE 29999.182
AT ITER 5374 NEW BEST:: SOT 172740 SOS 107216 HAS SOPS 98746 HAS SOUS 32578 HAS SOUPS 29888 WITH SCORE 29995.216
AT ITER 5437 NEW BEST:: SOT 172637 SOS 107134 HAS SOPS 98658 HAS SOUS 32515 HAS SOUPS 29822 WITH SCORE 29929.134
AT ITER 5618 NEW BEST:: SOT 172637 SOS 107106 HAS SOPS 98642 HAS SOUS 32511 HAS SOUPS 29818 WITH SCORE 29925.106
AT ITER 5630 NEW BEST:: SOT 172655 SOS 107118 HAS SOPS 98666 HAS SOUS 32475 HAS SOUPS 29782 WITH SCORE 29889.118
AT ITER 5721 NEW BEST:: SOT 172651 SOS 107108 HAS SOPS 98656 HAS SOUS 32462 HAS SOUPS 29769 WITH SCORE 29876.108
AT ITER 5751 NEW BEST:: SOT 172626 SOS 107080 HAS SOPS 98628 HAS SOUS 32424 HAS SOUPS 29731 WITH SCORE 29838.08
AT ITER 5809 NEW BEST:: SOT 172626 SOS 107056 HAS SOPS 98604 HAS SOUS 32416 HAS SOUPS 29723 WITH SCORE 29830.056
AT ITER 5940 NEW BEST:: SOT 172560 SOS 106981 HAS SOPS 98514 HAS SOUS 32407 HAS SOUPS 29714 WITH SCORE 29820.981
AT ITER 6340 NEW BEST:: SOT 172560 SOS 106917 HAS SOPS 98450 HAS SOUS 32407 HAS SOUPS 29714 WITH SCORE 29820.917
AT ITER 6401 NEW BEST:: SOT 172565 SOS 106899 HAS SOPS 98440 HAS SOUS 32375 HAS SOUPS 29682 WITH SCORE 29788.899
AT ITER 6423 NEW BEST:: SOT 172496 SOS 107004 HAS SOPS 98545 HAS SOUS 32364 HAS SOUPS 29671 WITH SCORE 29778.004
AT ITER 6438 NEW BEST:: SOT 172485 SOS 106997 HAS SOPS 98536 HAS SOUS 32351 HAS SOUPS 29657 WITH SCORE 29763.997
AT ITER 6513 NEW BEST:: SOT 172351 SOS 107054 HAS SOPS 98513 HAS SOUS 32343 HAS SOUPS 29641 WITH SCORE 29748.054
AT ITER 6606 NEW BEST:: SOT 172346 SOS 107037 HAS SOPS 98518 HAS SOUS 32332 HAS SOUPS 29633 WITH SCORE 29740.037
AT ITER 6628 NEW BEST:: SOT 172388 SOS 107080 HAS SOPS 98570 HAS SOUS 32301 HAS SOUPS 29602 WITH SCORE 29709.08
AT ITER 6667 NEW BEST:: SOT 172388 SOS 107106 HAS SOPS 98596 HAS SOUS 32300 HAS SOUPS 29601 WITH SCORE 29708.106
AT ITER 6683 NEW BEST:: SOT 172406 SOS 107256 HAS SOPS 98767 HAS SOUS 32229 HAS SOUPS 29540 WITH SCORE 29647.256
AT ITER 6765 NEW BEST:: SOT 172257 SOS 107118 HAS SOPS 98613 HAS SOUS 32180 HAS SOUPS 29484 WITH SCORE 29591.118
AT ITER 6799 NEW BEST:: SOT 172257 SOS 107028 HAS SOPS 98523 HAS SOUS 32150 HAS SOUPS 29454 WITH SCORE 29561.028
AT ITER 6802 NEW BEST:: SOT 172234 SOS 106996 HAS SOPS 98491 HAS SOUS 32088 HAS SOUPS 29392 WITH SCORE 29498.996
AT ITER 6893 NEW BEST:: SOT 172234 SOS 107022 HAS SOPS 98517 HAS SOUS 32087 HAS SOUPS 29391 WITH SCORE 29498.022
AT ITER 6894 NEW BEST:: SOT 172168 SOS 106964 HAS SOPS 98455 HAS SOUS 32058 HAS SOUPS 29360 WITH SCORE 29466.964
AT ITER 6992 NEW BEST:: SOT 172168 SOS 106892 HAS SOPS 98383 HAS SOUS 32057 HAS SOUPS 29359 WITH SCORE 29465.892
AT ITER 7009 NEW BEST:: SOT 172211 SOS 106889 HAS SOPS 98394 HAS SOUS 31992 HAS SOUPS 29300 WITH SCORE 29406.889
AT ITER 7013 NEW BEST:: SOT 172188 SOS 106866 HAS SOPS 98371 HAS SOUS 31973 HAS SOUPS 29281 WITH SCORE 29387.866
AT ITER 7253 NEW BEST:: SOT 172199 SOS 106857 HAS SOPS 98362 HAS SOUS 31971 HAS SOUPS 29279 WITH SCORE 29385.857
AT ITER 7261 NEW BEST:: SOT 172193 SOS 106875 HAS SOPS 98396 HAS SOUS 31946 HAS SOUPS 29256 WITH SCORE 29362.875
AT ITER 7368 NEW BEST:: SOT 172188 SOS 106857 HAS SOPS 98378 HAS SOUS 31936 HAS SOUPS 29246 WITH SCORE 29352.857
AT ITER 7545 NEW BEST:: SOT 172176 SOS 106845 HAS SOPS 98366 HAS SOUS 31924 HAS SOUPS 29234 WITH SCORE 29340.845
AT ITER 7591 NEW BEST:: SOT 172165 SOS 106919 HAS SOPS 98440 HAS SOUS 31909 HAS SOUPS 29219 WITH SCORE 29325.919
AT ITER 7613 NEW BEST:: SOT 172176 SOS 106872 HAS SOPS 98418 HAS SOUS 31865 HAS SOUPS 29180 WITH SCORE 29286.872
AT ITER 7839 NEW BEST:: SOT 172268 SOS 107009 HAS SOPS 98580 HAS SOUS 31864 HAS SOUPS 29179 WITH SCORE 29286.009
AT ITER 7862 NEW BEST:: SOT 172290 SOS 107008 HAS SOPS 98603 HAS SOUS 31833 HAS SOUPS 29164 WITH SCORE 29271.008
AT ITER 7911 NEW BEST:: SOT 172284 SOS 107002 HAS SOPS 98597 HAS SOUS 31827 HAS SOUPS 29158 WITH SCORE 29265.002
AT ITER 7971 NEW BEST:: SOT 172279 SOS 106978 HAS SOPS 98573 HAS SOUS 31820 HAS SOUPS 29151 WITH SCORE 29257.978
AT ITER 8036 NEW BEST:: SOT 172266 SOS 106962 HAS SOPS 98557 HAS SOUS 31798 HAS SOUPS 29129 WITH SCORE 29235.962
AT ITER 8065 NEW BEST:: SOT 172265 SOS 106958 HAS SOPS 98553 HAS SOUS 31784 HAS SOUPS 29115 WITH SCORE 29221.958
AT ITER 8115 NEW BEST:: SOT 172265 SOS 106946 HAS SOPS 98541 HAS SOUS 31780 HAS SOUPS 29111 WITH SCORE 29217.946
AT ITER 8296 NEW BEST:: SOT 172256 SOS 106928 HAS SOPS 98523 HAS SOUS 31732 HAS SOUPS 29063 WITH SCORE 29169.928
AT ITER 8535 NEW BEST:: SOT 172237 SOS 106900 HAS SOPS 98484 HAS SOUS 31717 HAS SOUPS 29047 WITH SCORE 29153.9
AT ITER 8559 NEW BEST:: SOT 172225 SOS 106867 HAS SOPS 98451 HAS SOUS 31705 HAS SOUPS 29035 WITH SCORE 29141.867
AT ITER 8570 NEW BEST:: SOT 172225 SOS 107485 HAS SOPS 99069 HAS SOUS 31702 HAS SOUPS 29032 WITH SCORE 29139.485
AT ITER 8608 NEW BEST:: SOT 172236 SOS 107463 HAS SOPS 99047 HAS SOUS 31674 HAS SOUPS 29004 WITH SCORE 29111.463
AT ITER 8642 NEW BEST:: SOT 172283 SOS 107510 HAS SOPS 99094 HAS SOUS 31661 HAS SOUPS 28991 WITH SCORE 29098.51
AT ITER 8688 NEW BEST:: SOT 172277 SOS 107504 HAS SOPS 99088 HAS SOUS 31655 HAS SOUPS 28985 WITH SCORE 29092.504
AT ITER 8785 NEW BEST:: SOT 172208 SOS 107404 HAS SOPS 98886 HAS SOUS 31642 HAS SOUPS 28966 WITH SCORE 29073.404
AT ITER 8842 NEW BEST:: SOT 172169 SOS 107359 HAS SOPS 98838 HAS SOUS 31564 HAS SOUPS 28885 WITH SCORE 28992.359
AT ITER 8947 NEW BEST:: SOT 172107 SOS 107292 HAS SOPS 98756 HAS SOUS 31563 HAS SOUPS 28884 WITH SCORE 28991.292
AT ITER 9040 NEW BEST:: SOT 172107 SOS 107244 HAS SOPS 98708 HAS SOUS 31563 HAS SOUPS 28884 WITH SCORE 28991.244
AT ITER 9129 NEW BEST:: SOT 172136 SOS 107270 HAS SOPS 98734 HAS SOUS 31562 HAS SOUPS 28883 WITH SCORE 28990.27
AT ITER 9194 NEW BEST:: SOT 172136 SOS 107296 HAS SOPS 98760 HAS SOUS 31561 HAS SOUPS 28882 WITH SCORE 28989.296
AT ITER 9248 NEW BEST:: SOT 172065 SOS 107225 HAS SOPS 98689 HAS SOUS 31558 HAS SOUPS 28879 WITH SCORE 28986.225
AT ITER 9361 NEW BEST:: SOT 172069 SOS 107229 HAS SOPS 98693 HAS SOUS 31556 HAS SOUPS 28877 WITH SCORE 28984.229
AT ITER 9502 NEW BEST:: SOT 172018 SOS 107192 HAS SOPS 98656 HAS SOUS 31527 HAS SOUPS 28848 WITH SCORE 28955.192
AT ITER 9535 NEW BEST:: SOT 171797 SOS 106971 HAS SOPS 98435 HAS SOUS 31474 HAS SOUPS 28795 WITH SCORE 28901.971
AT ITER 9622 NEW BEST:: SOT 171843 SOS 107041 HAS SOPS 98523 HAS SOUS 31455 HAS SOUPS 28776 WITH SCORE 28883.041
AT ITER 9847 NEW BEST:: SOT 171849 SOS 107036 HAS SOPS 98523 HAS SOUS 31449 HAS SOUPS 28771 WITH SCORE 28878.036
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5334708 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121180 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="DoubleLock-PT-p2s2"
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 DoubleLock-PT-p2s2, 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 r139-smll-167819423400544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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