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.r107-tall-167814484000264.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 DBSingleClientW-PT-d1m07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 900K
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 15:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 15:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 15:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 15:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 15:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K 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 1678352172920

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=DBSingleClientW-PT-d1m07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 08:56:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 08:56:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 08:56:14] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-09 08:56:14] [INFO ] Transformed 1440 places.
[2023-03-09 08:56:14] [INFO ] Transformed 672 transitions.
[2023-03-09 08:56:14] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 148 ms.
[2023-03-09 08:56:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 10 ms.
Total runtime 184 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m07
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 158140 HAS SOUPS 158125 WITH SCORE 158341.647
AT ITER 8 NEW BEST:: SOT 229493 SOS 216570 HAS SOPS 216555 HAS SOUS 157988 HAS SOUPS 157973 WITH SCORE 158189.57
AT ITER 10 NEW BEST:: SOT 229493 SOS 216570 HAS SOPS 216555 HAS SOUS 157987 HAS SOUPS 157972 WITH SCORE 158188.57
AT ITER 95 NEW BEST:: SOT 229493 SOS 216515 HAS SOPS 216500 HAS SOUS 157987 HAS SOUPS 157972 WITH SCORE 158188.515
AT ITER 218 NEW BEST:: SOT 229493 SOS 216515 HAS SOPS 216500 HAS SOUS 157933 HAS SOUPS 157918 WITH SCORE 158134.515
AT ITER 282 NEW BEST:: SOT 229583 SOS 216605 HAS SOPS 216590 HAS SOUS 157893 HAS SOUPS 157878 WITH SCORE 158094.605
AT ITER 551 NEW BEST:: SOT 229655 SOS 215663 HAS SOPS 215648 HAS SOUS 157777 HAS SOUPS 157762 WITH SCORE 157977.663
AT ITER 599 NEW BEST:: SOT 229547 SOS 215572 HAS SOPS 215557 HAS SOUS 157685 HAS SOUPS 157670 WITH SCORE 157885.572
AT ITER 603 NEW BEST:: SOT 229547 SOS 215379 HAS SOPS 215364 HAS SOUS 157535 HAS SOUPS 157520 WITH SCORE 157735.379
AT ITER 638 NEW BEST:: SOT 229547 SOS 215277 HAS SOPS 215262 HAS SOUS 157479 HAS SOUPS 157464 WITH SCORE 157679.277
AT ITER 652 NEW BEST:: SOT 229577 SOS 215307 HAS SOPS 215292 HAS SOUS 157449 HAS SOUPS 157434 WITH SCORE 157649.307
AT ITER 658 NEW BEST:: SOT 229664 SOS 215394 HAS SOPS 215379 HAS SOUS 157395 HAS SOUPS 157380 WITH SCORE 157595.394
AT ITER 677 NEW BEST:: SOT 229973 SOS 215703 HAS SOPS 215688 HAS SOUS 157074 HAS SOUPS 157059 WITH SCORE 157274.703
AT ITER 681 NEW BEST:: SOT 230053 SOS 215783 HAS SOPS 215768 HAS SOUS 157032 HAS SOUPS 157017 WITH SCORE 157232.783
AT ITER 744 NEW BEST:: SOT 230043 SOS 215743 HAS SOPS 215728 HAS SOUS 157032 HAS SOUPS 157017 WITH SCORE 157232.743
AT ITER 779 NEW BEST:: SOT 230043 SOS 215743 HAS SOPS 215728 HAS SOUS 157010 HAS SOUPS 156995 WITH SCORE 157210.743
AT ITER 780 NEW BEST:: SOT 230043 SOS 215743 HAS SOPS 215728 HAS SOUS 156235 HAS SOUPS 156220 WITH SCORE 156435.743
AT ITER 791 NEW BEST:: SOT 230043 SOS 215197 HAS SOPS 215182 HAS SOUS 156235 HAS SOUPS 156220 WITH SCORE 156435.197
AT ITER 831 NEW BEST:: SOT 230043 SOS 215197 HAS SOPS 215182 HAS SOUS 156233 HAS SOUPS 156218 WITH SCORE 156433.197
AT ITER 921 NEW BEST:: SOT 230787 SOS 215941 HAS SOPS 215926 HAS SOUS 156124 HAS SOUPS 156109 WITH SCORE 156324.941
AT ITER 935 NEW BEST:: SOT 231855 SOS 217009 HAS SOPS 216994 HAS SOUS 155904 HAS SOUPS 155889 WITH SCORE 156106.009
AT ITER 1000 NEW BEST:: SOT 232345 SOS 217323 HAS SOPS 217308 HAS SOUS 155454 HAS SOUPS 155439 WITH SCORE 155656.323
AT ITER 1005 NEW BEST:: SOT 232428 SOS 217406 HAS SOPS 217391 HAS SOUS 155451 HAS SOUPS 155436 WITH SCORE 155653.406
AT ITER 1040 NEW BEST:: SOT 233066 SOS 217871 HAS SOPS 217856 HAS SOUS 154902 HAS SOUPS 154887 WITH SCORE 155104.871
AT ITER 1052 NEW BEST:: SOT 233018 SOS 217823 HAS SOPS 217808 HAS SOUS 154854 HAS SOUPS 154839 WITH SCORE 155056.823
AT ITER 1061 NEW BEST:: SOT 233018 SOS 217752 HAS SOPS 217737 HAS SOUS 154854 HAS SOUPS 154839 WITH SCORE 155056.752
AT ITER 1164 NEW BEST:: SOT 233225 SOS 217959 HAS SOPS 217944 HAS SOUS 154458 HAS SOUPS 154443 WITH SCORE 154660.959
AT ITER 1175 NEW BEST:: SOT 233225 SOS 217996 HAS SOPS 217981 HAS SOUS 154451 HAS SOUPS 154436 WITH SCORE 154653.996
AT ITER 1217 NEW BEST:: SOT 233275 SOS 218046 HAS SOPS 218031 HAS SOUS 154435 HAS SOUPS 154420 WITH SCORE 154638.046
AT ITER 1225 NEW BEST:: SOT 233899 SOS 217620 HAS SOPS 217605 HAS SOUS 153427 HAS SOUPS 153412 WITH SCORE 153629.62
AT ITER 1247 NEW BEST:: SOT 233899 SOS 217498 HAS SOPS 217483 HAS SOUS 153000 HAS SOUPS 152985 WITH SCORE 153202.498
AT ITER 1255 NEW BEST:: SOT 233899 SOS 217418 HAS SOPS 217403 HAS SOUS 152520 HAS SOUPS 152505 WITH SCORE 152722.418
AT ITER 1320 NEW BEST:: SOT 233503 SOS 217022 HAS SOPS 217007 HAS SOUS 152172 HAS SOUPS 152157 WITH SCORE 152374.022
AT ITER 1347 NEW BEST:: SOT 233503 SOS 217022 HAS SOPS 217007 HAS SOUS 150898 HAS SOUPS 150883 WITH SCORE 151100.022
AT ITER 1411 NEW BEST:: SOT 233503 SOS 215956 HAS SOPS 215941 HAS SOUS 148666 HAS SOUPS 148651 WITH SCORE 148866.956
AT ITER 1432 NEW BEST:: SOT 233503 SOS 216005 HAS SOPS 215990 HAS SOUS 148522 HAS SOUPS 148507 WITH SCORE 148723.005
AT ITER 1491 NEW BEST:: SOT 233821 SOS 216323 HAS SOPS 216308 HAS SOUS 148035 HAS SOUPS 148020 WITH SCORE 148236.323
AT ITER 1577 NEW BEST:: SOT 234345 SOS 216668 HAS SOPS 216653 HAS SOUS 148010 HAS SOUPS 147995 WITH SCORE 148211.668
AT ITER 1580 NEW BEST:: SOT 234828 SOS 216979 HAS SOPS 216964 HAS SOUS 146345 HAS SOUPS 146330 WITH SCORE 146546.979
AT ITER 1599 NEW BEST:: SOT 235215 SOS 217366 HAS SOPS 217351 HAS SOUS 146012 HAS SOUPS 145997 WITH SCORE 146214.366
AT ITER 1709 NEW BEST:: SOT 235447 SOS 217467 HAS SOPS 217452 HAS SOUS 145985 HAS SOUPS 145970 WITH SCORE 146187.467
AT ITER 1736 NEW BEST:: SOT 235447 SOS 217467 HAS SOPS 217452 HAS SOUS 145881 HAS SOUPS 145866 WITH SCORE 146083.467
AT ITER 1826 NEW BEST:: SOT 235501 SOS 217521 HAS SOPS 217506 HAS SOUS 145553 HAS SOUPS 145538 WITH SCORE 145755.521
AT ITER 1835 NEW BEST:: SOT 235899 SOS 217919 HAS SOPS 217904 HAS SOUS 145105 HAS SOUPS 145090 WITH SCORE 145307.919
AT ITER 1839 NEW BEST:: SOT 236267 SOS 218287 HAS SOPS 218272 HAS SOUS 144999 HAS SOUPS 144984 WITH SCORE 145202.287
AT ITER 1858 NEW BEST:: SOT 236267 SOS 218271 HAS SOPS 218256 HAS SOUS 144999 HAS SOUPS 144984 WITH SCORE 145202.271
AT ITER 1892 NEW BEST:: SOT 236267 SOS 218271 HAS SOPS 218256 HAS SOUS 144983 HAS SOUPS 144968 WITH SCORE 145186.271
AT ITER 1897 NEW BEST:: SOT 236756 SOS 218760 HAS SOPS 218745 HAS SOUS 144545 HAS SOUPS 144530 WITH SCORE 144748.76
AT ITER 1925 NEW BEST:: SOT 236756 SOS 218760 HAS SOPS 218745 HAS SOUS 144542 HAS SOUPS 144527 WITH SCORE 144745.76
AT ITER 1958 NEW BEST:: SOT 236774 SOS 218778 HAS SOPS 218763 HAS SOUS 144388 HAS SOUPS 144373 WITH SCORE 144591.778
AT ITER 1990 NEW BEST:: SOT 236774 SOS 218722 HAS SOPS 218707 HAS SOUS 144271 HAS SOUPS 144256 WITH SCORE 144474.722
AT ITER 2037 NEW BEST:: SOT 236774 SOS 218822 HAS SOPS 218807 HAS SOUS 144171 HAS SOUPS 144156 WITH SCORE 144374.822
AT ITER 2071 NEW BEST:: SOT 236774 SOS 218822 HAS SOPS 218807 HAS SOUS 144050 HAS SOUPS 144035 WITH SCORE 144253.822
AT ITER 2095 NEW BEST:: SOT 236099 SOS 218147 HAS SOPS 218132 HAS SOUS 143777 HAS SOUPS 143762 WITH SCORE 143980.147
AT ITER 2098 NEW BEST:: SOT 238619 SOS 220577 HAS SOPS 220562 HAS SOUS 143247 HAS SOUPS 143232 WITH SCORE 143452.577
AT ITER 2110 NEW BEST:: SOT 238808 SOS 220766 HAS SOPS 220751 HAS SOUS 142714 HAS SOUPS 142699 WITH SCORE 142919.766
AT ITER 2125 NEW BEST:: SOT 238808 SOS 220370 HAS SOPS 220355 HAS SOUS 141326 HAS SOUPS 141311 WITH SCORE 141531.37
AT ITER 2129 NEW BEST:: SOT 239537 SOS 221099 HAS SOPS 221084 HAS SOUS 141284 HAS SOUPS 141269 WITH SCORE 141490.099
AT ITER 2179 NEW BEST:: SOT 239537 SOS 221099 HAS SOPS 221084 HAS SOUS 141119 HAS SOUPS 141104 WITH SCORE 141325.099
AT ITER 2187 NEW BEST:: SOT 239537 SOS 221099 HAS SOPS 221084 HAS SOUS 140006 HAS SOUPS 139991 WITH SCORE 140212.099
AT ITER 2203 NEW BEST:: SOT 239537 SOS 221099 HAS SOPS 221084 HAS SOUS 139971 HAS SOUPS 139956 WITH SCORE 140177.099
AT ITER 2234 NEW BEST:: SOT 239531 SOS 221093 HAS SOPS 221078 HAS SOUS 139783 HAS SOUPS 139768 WITH SCORE 139989.093
AT ITER 2244 NEW BEST:: SOT 240201 SOS 221763 HAS SOPS 221748 HAS SOUS 137231 HAS SOUPS 137216 WITH SCORE 137437.763
AT ITER 2252 NEW BEST:: SOT 240201 SOS 221763 HAS SOPS 221748 HAS SOUS 137190 HAS SOUPS 137175 WITH SCORE 137396.763
AT ITER 2257 NEW BEST:: SOT 242442 SOS 223841 HAS SOPS 223826 HAS SOUS 135516 HAS SOUPS 135501 WITH SCORE 135724.841
AT ITER 2297 NEW BEST:: SOT 242328 SOS 223727 HAS SOPS 223712 HAS SOUS 135402 HAS SOUPS 135387 WITH SCORE 135610.727
AT ITER 2313 NEW BEST:: SOT 242328 SOS 223205 HAS SOPS 223190 HAS SOUS 135315 HAS SOUPS 135300 WITH SCORE 135523.205
AT ITER 2318 NEW BEST:: SOT 242328 SOS 220543 HAS SOPS 220528 HAS SOUS 135309 HAS SOUPS 135294 WITH SCORE 135514.543
AT ITER 2336 NEW BEST:: SOT 242328 SOS 220543 HAS SOPS 220528 HAS SOUS 135215 HAS SOUPS 135200 WITH SCORE 135420.543
AT ITER 2348 NEW BEST:: SOT 242328 SOS 204484 HAS SOPS 204483 HAS SOUS 135186 HAS SOUPS 135185 WITH SCORE 135389.484
AT ITER 2352 NEW BEST:: SOT 242321 SOS 204477 HAS SOPS 204476 HAS SOUS 135179 HAS SOUPS 135178 WITH SCORE 135382.477
AT ITER 2368 NEW BEST:: SOT 247131 SOS 208782 HAS SOPS 208781 HAS SOUS 135080 HAS SOUPS 135079 WITH SCORE 135287.782
AT ITER 2372 NEW BEST:: SOT 247131 SOS 208798 HAS SOPS 208797 HAS SOUS 135079 HAS SOUPS 135078 WITH SCORE 135286.798
AT ITER 2387 NEW BEST:: SOT 247131 SOS 208008 HAS SOPS 208007 HAS SOUS 135003 HAS SOUPS 135002 WITH SCORE 135210.008
AT ITER 2391 NEW BEST:: SOT 247851 SOS 208728 HAS SOPS 208727 HAS SOUS 134905 HAS SOUPS 134904 WITH SCORE 135112.728
AT ITER 2393 NEW BEST:: SOT 247851 SOS 207671 HAS SOPS 207670 HAS SOUS 134846 HAS SOUPS 134845 WITH SCORE 135052.671
AT ITER 2396 NEW BEST:: SOT 247851 SOS 207751 HAS SOPS 207750 HAS SOUS 133670 HAS SOUPS 133669 WITH SCORE 133876.751
AT ITER 2415 NEW BEST:: SOT 248853 SOS 208734 HAS SOPS 208733 HAS SOUS 133551 HAS SOUPS 133550 WITH SCORE 133758.734
AT ITER 2437 NEW BEST:: SOT 248853 SOS 208744 HAS SOPS 208743 HAS SOUS 133283 HAS SOUPS 133282 WITH SCORE 133490.744
AT ITER 2454 NEW BEST:: SOT 248853 SOS 208743 HAS SOPS 208742 HAS SOUS 133282 HAS SOUPS 133281 WITH SCORE 133489.743
AT ITER 2471 NEW BEST:: SOT 249957 SOS 209847 HAS SOPS 209846 HAS SOUS 133022 HAS SOUPS 133021 WITH SCORE 133230.847
AT ITER 2472 NEW BEST:: SOT 249957 SOS 209525 HAS SOPS 209524 HAS SOUS 132994 HAS SOUPS 132993 WITH SCORE 133202.525
AT ITER 2577 NEW BEST:: SOT 249957 SOS 209647 HAS SOPS 209646 HAS SOUS 132771 HAS SOUPS 132770 WITH SCORE 132979.647
AT ITER 2599 NEW BEST:: SOT 249957 SOS 209752 HAS SOPS 209751 HAS SOUS 132526 HAS SOUPS 132525 WITH SCORE 132734.752
AT ITER 2606 NEW BEST:: SOT 249977 SOS 209735 HAS SOPS 209734 HAS SOUS 132376 HAS SOUPS 132375 WITH SCORE 132584.735
AT ITER 2639 NEW BEST:: SOT 249977 SOS 209706 HAS SOPS 209705 HAS SOUS 132368 HAS SOUPS 132367 WITH SCORE 132576.706
AT ITER 2688 NEW BEST:: SOT 249977 SOS 209788 HAS SOPS 209787 HAS SOUS 132122 HAS SOUPS 132121 WITH SCORE 132330.788
AT ITER 2720 NEW BEST:: SOT 249381 SOS 209192 HAS SOPS 209191 HAS SOUS 131824 HAS SOUPS 131823 WITH SCORE 132032.192
AT ITER 2737 NEW BEST:: SOT 180291 SOS 148031 HAS SOPS 145151 HAS SOUS 63258 HAS SOUPS 63054 WITH SCORE 63202.031
AT ITER 2763 NEW BEST:: SOT 180613 SOS 148353 HAS SOPS 145138 HAS SOUS 63528 HAS SOUPS 63040 WITH SCORE 63188.353
AT ITER 2803 NEW BEST:: SOT 180215 SOS 147857 HAS SOPS 144443 HAS SOUS 63430 HAS SOUPS 62942 WITH SCORE 63089.857
AT ITER 2828 NEW BEST:: SOT 180317 SOS 147949 HAS SOPS 144535 HAS SOUS 63188 HAS SOUPS 62700 WITH SCORE 62847.949
AT ITER 2908 NEW BEST:: SOT 180215 SOS 147823 HAS SOPS 144339 HAS SOUS 63003 HAS SOUPS 62515 WITH SCORE 62662.823
AT ITER 2935 NEW BEST:: SOT 179954 SOS 147562 HAS SOPS 143991 HAS SOUS 62823 HAS SOUPS 62335 WITH SCORE 62482.562
AT ITER 2983 NEW BEST:: SOT 179672 SOS 147280 HAS SOPS 143709 HAS SOUS 62823 HAS SOUPS 62335 WITH SCORE 62482.28
AT ITER 2992 NEW BEST:: SOT 183247 SOS 150647 HAS SOPS 146761 HAS SOUS 62192 HAS SOUPS 61704 WITH SCORE 61854.647
AT ITER 3057 NEW BEST:: SOT 188472 SOS 155704 HAS SOPS 151663 HAS SOUS 62013 HAS SOUPS 61525 WITH SCORE 61680.704
AT ITER 3114 NEW BEST:: SOT 188040 SOS 155272 HAS SOPS 151338 HAS SOUS 61978 HAS SOUPS 61490 WITH SCORE 61645.272
AT ITER 3144 NEW BEST:: SOT 187011 SOS 154243 HAS SOPS 150309 HAS SOUS 61619 HAS SOUPS 61131 WITH SCORE 61285.243
AT ITER 3171 NEW BEST:: SOT 187132 SOS 154527 HAS SOPS 150593 HAS SOUS 61469 HAS SOUPS 60981 WITH SCORE 61135.527
AT ITER 3321 NEW BEST:: SOT 182271 SOS 149666 HAS SOPS 146360 HAS SOUS 61080 HAS SOUPS 60848 WITH SCORE 60997.666
AT ITER 3322 NEW BEST:: SOT 182271 SOS 149476 HAS SOPS 146170 HAS SOUS 61071 HAS SOUPS 60839 WITH SCORE 60988.476
AT ITER 3493 NEW BEST:: SOT 181891 SOS 149096 HAS SOPS 145790 HAS SOUS 60691 HAS SOUPS 60459 WITH SCORE 60608.096
AT ITER 3516 NEW BEST:: SOT 181891 SOS 149094 HAS SOPS 145788 HAS SOUS 60691 HAS SOUPS 60459 WITH SCORE 60608.094
AT ITER 3595 NEW BEST:: SOT 181891 SOS 149022 HAS SOPS 145716 HAS SOUS 60607 HAS SOUPS 60375 WITH SCORE 60524.022
AT ITER 3615 NEW BEST:: SOT 184827 SOS 151862 HAS SOPS 148405 HAS SOUS 59784 HAS SOUPS 59552 WITH SCORE 59703.862
AT ITER 3620 NEW BEST:: SOT 182688 SOS 149723 HAS SOPS 146266 HAS SOUS 59716 HAS SOUPS 59484 WITH SCORE 59633.723
AT ITER 3634 NEW BEST:: SOT 176781 SOS 149670 HAS SOPS 144785 HAS SOUS 53724 HAS SOUPS 53448 WITH SCORE 53597.67
AT ITER 3654 NEW BEST:: SOT 177192 SOS 149929 HAS SOPS 145044 HAS SOUS 53564 HAS SOUPS 53288 WITH SCORE 53437.929
AT ITER 3668 NEW BEST:: SOT 177169 SOS 149906 HAS SOPS 145021 HAS SOUS 53541 HAS SOUPS 53265 WITH SCORE 53414.906
AT ITER 3684 NEW BEST:: SOT 177311 SOS 150048 HAS SOPS 144800 HAS SOUS 53201 HAS SOUPS 52836 WITH SCORE 52986.048
AT ITER 3707 NEW BEST:: SOT 177272 SOS 150009 HAS SOPS 144644 HAS SOUS 53045 HAS SOUPS 52680 WITH SCORE 52830.009
AT ITER 3741 NEW BEST:: SOT 177242 SOS 149979 HAS SOPS 144614 HAS SOUS 53030 HAS SOUPS 52665 WITH SCORE 52814.979
AT ITER 3832 NEW BEST:: SOT 177483 SOS 150118 HAS SOPS 144448 HAS SOUS 52758 HAS SOUPS 52393 WITH SCORE 52543.118
AT ITER 3855 NEW BEST:: SOT 177483 SOS 150159 HAS SOPS 144489 HAS SOUS 52753 HAS SOUPS 52388 WITH SCORE 52538.159
AT ITER 3879 NEW BEST:: SOT 177383 SOS 150059 HAS SOPS 144389 HAS SOUS 52653 HAS SOUPS 52288 WITH SCORE 52438.059
AT ITER 3940 NEW BEST:: SOT 177444 SOS 149717 HAS SOPS 144047 HAS SOUS 52588 HAS SOUPS 52223 WITH SCORE 52372.717
AT ITER 3941 NEW BEST:: SOT 177141 SOS 149414 HAS SOPS 143744 HAS SOUS 52471 HAS SOUPS 52106 WITH SCORE 52255.414
AT ITER 3942 NEW BEST:: SOT 177334 SOS 149013 HAS SOPS 143494 HAS SOUS 52369 HAS SOUPS 52004 WITH SCORE 52153.013
AT ITER 4002 NEW BEST:: SOT 177334 SOS 149090 HAS SOPS 143571 HAS SOUS 52303 HAS SOUPS 51938 WITH SCORE 52087.09
AT ITER 4005 NEW BEST:: SOT 177030 SOS 148786 HAS SOPS 143482 HAS SOUS 51959 HAS SOUPS 51594 WITH SCORE 51742.786
AT ITER 4016 NEW BEST:: SOT 177169 SOS 148915 HAS SOPS 143611 HAS SOUS 51944 HAS SOUPS 51579 WITH SCORE 51727.915
AT ITER 4064 NEW BEST:: SOT 177310 SOS 148662 HAS SOPS 143345 HAS SOUS 51750 HAS SOUPS 51385 WITH SCORE 51533.662
AT ITER 4074 NEW BEST:: SOT 181516 SOS 152812 HAS SOPS 147495 HAS SOUS 51722 HAS SOUPS 51357 WITH SCORE 51509.812
AT ITER 4104 NEW BEST:: SOT 181292 SOS 152588 HAS SOPS 147271 HAS SOUS 51498 HAS SOUPS 51133 WITH SCORE 51285.588
AT ITER 4211 NEW BEST:: SOT 181225 SOS 152521 HAS SOPS 147116 HAS SOUS 51319 HAS SOUPS 50954 WITH SCORE 51106.521
AT ITER 4313 NEW BEST:: SOT 181195 SOS 152491 HAS SOPS 147085 HAS SOUS 51288 HAS SOUPS 50923 WITH SCORE 51075.491
AT ITER 4337 NEW BEST:: SOT 181216 SOS 152512 HAS SOPS 147106 HAS SOUS 51208 HAS SOUPS 50843 WITH SCORE 50995.512
AT ITER 4373 NEW BEST:: SOT 181216 SOS 152512 HAS SOPS 147106 HAS SOUS 51172 HAS SOUPS 50807 WITH SCORE 50959.512
AT ITER 4417 NEW BEST:: SOT 181184 SOS 152250 HAS SOPS 146806 HAS SOUS 51108 HAS SOUPS 50743 WITH SCORE 50895.25
AT ITER 4429 NEW BEST:: SOT 181164 SOS 152230 HAS SOPS 146786 HAS SOUS 51108 HAS SOUPS 50743 WITH SCORE 50895.23
AT ITER 4483 NEW BEST:: SOT 181682 SOS 152748 HAS SOPS 147304 HAS SOUS 51066 HAS SOUPS 50701 WITH SCORE 50853.748
AT ITER 4506 NEW BEST:: SOT 182696 SOS 153751 HAS SOPS 148307 HAS SOUS 50784 HAS SOUPS 50419 WITH SCORE 50572.751
AT ITER 4661 NEW BEST:: SOT 180786 SOS 151841 HAS SOPS 146397 HAS SOUS 50770 HAS SOUPS 50405 WITH SCORE 50556.841
AT ITER 4788 NEW BEST:: SOT 180786 SOS 151841 HAS SOPS 146397 HAS SOUS 50618 HAS SOUPS 50253 WITH SCORE 50404.841
AT ITER 4808 NEW BEST:: SOT 177989 SOS 149044 HAS SOPS 143784 HAS SOUS 49988 HAS SOUPS 49683 WITH SCORE 49832.044
AT ITER 4842 NEW BEST:: SOT 177993 SOS 149048 HAS SOPS 143788 HAS SOUS 49960 HAS SOUPS 49655 WITH SCORE 49804.048
AT ITER 4925 NEW BEST:: SOT 177992 SOS 149047 HAS SOPS 143787 HAS SOUS 49959 HAS SOUPS 49654 WITH SCORE 49803.047
AT ITER 4937 NEW BEST:: SOT 177960 SOS 149015 HAS SOPS 143755 HAS SOUS 49947 HAS SOUPS 49642 WITH SCORE 49791.015
AT ITER 5039 NEW BEST:: SOT 177919 SOS 148974 HAS SOPS 143683 HAS SOUS 49903 HAS SOUPS 49598 WITH SCORE 49746.974
AT ITER 5088 NEW BEST:: SOT 176768 SOS 147879 HAS SOPS 142588 HAS SOUS 49849 HAS SOUPS 49544 WITH SCORE 49691.879
AT ITER 5135 NEW BEST:: SOT 175718 SOS 146829 HAS SOPS 141538 HAS SOUS 49639 HAS SOUPS 49334 WITH SCORE 49480.829
AT ITER 5188 NEW BEST:: SOT 175860 SOS 146971 HAS SOPS 141680 HAS SOUS 49577 HAS SOUPS 49272 WITH SCORE 49418.971
AT ITER 5238 NEW BEST:: SOT 175712 SOS 146823 HAS SOPS 141532 HAS SOUS 49429 HAS SOUPS 49124 WITH SCORE 49270.823
AT ITER 5282 NEW BEST:: SOT 178304 SOS 149415 HAS SOPS 143686 HAS SOUS 49343 HAS SOUPS 49001 WITH SCORE 49150.415
AT ITER 5296 NEW BEST:: SOT 178318 SOS 149429 HAS SOPS 143700 HAS SOUS 49332 HAS SOUPS 48990 WITH SCORE 49139.429
AT ITER 5307 NEW BEST:: SOT 178214 SOS 149325 HAS SOPS 143596 HAS SOUS 49280 HAS SOUPS 48938 WITH SCORE 49087.325
AT ITER 5353 NEW BEST:: SOT 179276 SOS 150387 HAS SOPS 144658 HAS SOUS 49161 HAS SOUPS 48819 WITH SCORE 48969.387
AT ITER 5356 NEW BEST:: SOT 179152 SOS 150263 HAS SOPS 144534 HAS SOUS 49037 HAS SOUPS 48695 WITH SCORE 48845.263
AT ITER 5540 NEW BEST:: SOT 179044 SOS 150155 HAS SOPS 144230 HAS SOUS 48816 HAS SOUPS 48474 WITH SCORE 48624.155
AT ITER 5542 NEW BEST:: SOT 179008 SOS 150119 HAS SOPS 144194 HAS SOUS 48816 HAS SOUPS 48474 WITH SCORE 48624.119
AT ITER 5688 NEW BEST:: SOT 179004 SOS 150115 HAS SOPS 144186 HAS SOUS 48808 HAS SOUPS 48466 WITH SCORE 48616.115
AT ITER 5728 NEW BEST:: SOT 179035 SOS 150146 HAS SOPS 144217 HAS SOUS 48806 HAS SOUPS 48464 WITH SCORE 48614.146
AT ITER 5739 NEW BEST:: SOT 177949 SOS 149060 HAS SOPS 143245 HAS SOUS 48777 HAS SOUPS 48435 WITH SCORE 48584.06
AT ITER 5754 NEW BEST:: SOT 177406 SOS 148517 HAS SOPS 142702 HAS SOUS 48596 HAS SOUPS 48254 WITH SCORE 48402.517
AT ITER 5759 NEW BEST:: SOT 177278 SOS 148389 HAS SOPS 142542 HAS SOUS 48468 HAS SOUPS 48126 WITH SCORE 48274.389
AT ITER 5822 NEW BEST:: SOT 177188 SOS 148312 HAS SOPS 142478 HAS SOUS 48420 HAS SOUPS 48078 WITH SCORE 48226.312
AT ITER 5880 NEW BEST:: SOT 178336 SOS 149479 HAS SOPS 143645 HAS SOUS 48277 HAS SOUPS 47935 WITH SCORE 48084.479
AT ITER 5912 NEW BEST:: SOT 178729 SOS 149872 HAS SOPS 144038 HAS SOUS 48273 HAS SOUPS 47931 WITH SCORE 48080.872
AT ITER 5927 NEW BEST:: SOT 178545 SOS 149688 HAS SOPS 143854 HAS SOUS 48253 HAS SOUPS 47911 WITH SCORE 48060.688
AT ITER 5942 NEW BEST:: SOT 178887 SOS 149601 HAS SOPS 143737 HAS SOUS 48140 HAS SOUPS 47798 WITH SCORE 47947.601
AT ITER 5978 NEW BEST:: SOT 178966 SOS 149680 HAS SOPS 143816 HAS SOUS 48061 HAS SOUPS 47719 WITH SCORE 47868.68
AT ITER 6028 NEW BEST:: SOT 177665 SOS 148379 HAS SOPS 142515 HAS SOUS 46781 HAS SOUPS 46439 WITH SCORE 46587.379
AT ITER 6070 NEW BEST:: SOT 177321 SOS 148035 HAS SOPS 142171 HAS SOUS 46781 HAS SOUPS 46439 WITH SCORE 46587.035
AT ITER 6117 NEW BEST:: SOT 177606 SOS 148206 HAS SOPS 141454 HAS SOUS 46726 HAS SOUPS 46384 WITH SCORE 46532.206
AT ITER 6127 NEW BEST:: SOT 177594 SOS 148194 HAS SOPS 141442 HAS SOUS 46726 HAS SOUPS 46384 WITH SCORE 46532.194
AT ITER 6136 NEW BEST:: SOT 177594 SOS 148194 HAS SOPS 141442 HAS SOUS 46628 HAS SOUPS 46286 WITH SCORE 46434.194
AT ITER 6180 NEW BEST:: SOT 177521 SOS 148121 HAS SOPS 141296 HAS SOUS 46455 HAS SOUPS 46113 WITH SCORE 46261.121
AT ITER 6214 NEW BEST:: SOT 177670 SOS 148270 HAS SOPS 141445 HAS SOUS 46307 HAS SOUPS 45965 WITH SCORE 46113.27
AT ITER 6260 NEW BEST:: SOT 177757 SOS 148357 HAS SOPS 141532 HAS SOUS 46199 HAS SOUPS 45857 WITH SCORE 46005.357
AT ITER 6266 NEW BEST:: SOT 176817 SOS 147417 HAS SOPS 140592 HAS SOUS 45989 HAS SOUPS 45647 WITH SCORE 45794.417
AT ITER 6310 NEW BEST:: SOT 176817 SOS 147003 HAS SOPS 140178 HAS SOUS 45953 HAS SOUPS 45611 WITH SCORE 45758.003
AT ITER 6335 NEW BEST:: SOT 176753 SOS 146880 HAS SOPS 140055 HAS SOUS 45776 HAS SOUPS 45434 WITH SCORE 45580.88
AT ITER 6338 NEW BEST:: SOT 176753 SOS 146862 HAS SOPS 140037 HAS SOUS 45771 HAS SOUPS 45429 WITH SCORE 45575.862
AT ITER 6443 NEW BEST:: SOT 176872 SOS 146946 HAS SOPS 140104 HAS SOUS 45522 HAS SOUPS 45180 WITH SCORE 45326.946
AT ITER 6480 NEW BEST:: SOT 176182 SOS 146256 HAS SOPS 139414 HAS SOUS 44906 HAS SOUPS 44564 WITH SCORE 44710.256
AT ITER 6512 NEW BEST:: SOT 176385 SOS 146459 HAS SOPS 139617 HAS SOUS 44878 HAS SOUPS 44536 WITH SCORE 44682.459
AT ITER 6671 NEW BEST:: SOT 176275 SOS 146349 HAS SOPS 139507 HAS SOUS 44764 HAS SOUPS 44422 WITH SCORE 44568.349
AT ITER 6818 NEW BEST:: SOT 176275 SOS 146306 HAS SOPS 139464 HAS SOUS 44672 HAS SOUPS 44330 WITH SCORE 44476.306
AT ITER 6830 NEW BEST:: SOT 176326 SOS 145966 HAS SOPS 139124 HAS SOUS 44400 HAS SOUPS 44058 WITH SCORE 44203.966
AT ITER 6840 NEW BEST:: SOT 176230 SOS 145870 HAS SOPS 139042 HAS SOUS 44282 HAS SOUPS 43940 WITH SCORE 44085.87
AT ITER 6850 NEW BEST:: SOT 176268 SOS 145879 HAS SOPS 139051 HAS SOUS 44077 HAS SOUPS 43735 WITH SCORE 43880.879
AT ITER 6992 NEW BEST:: SOT 176205 SOS 145816 HAS SOPS 138988 HAS SOUS 44056 HAS SOUPS 43714 WITH SCORE 43859.816
AT ITER 7062 NEW BEST:: SOT 176139 SOS 145750 HAS SOPS 138922 HAS SOUS 44053 HAS SOUPS 43711 WITH SCORE 43856.75
AT ITER 7075 NEW BEST:: SOT 176318 SOS 145924 HAS SOPS 139096 HAS SOUS 43965 HAS SOUPS 43623 WITH SCORE 43768.924
AT ITER 7162 NEW BEST:: SOT 175997 SOS 145677 HAS SOPS 138892 HAS SOUS 43442 HAS SOUPS 43100 WITH SCORE 43245.677
AT ITER 7163 NEW BEST:: SOT 176015 SOS 145705 HAS SOPS 138920 HAS SOUS 43346 HAS SOUPS 43004 WITH SCORE 43149.705
AT ITER 7241 NEW BEST:: SOT 176237 SOS 145927 HAS SOPS 139142 HAS SOUS 43291 HAS SOUPS 42949 WITH SCORE 43094.927
AT ITER 7269 NEW BEST:: SOT 176059 SOS 145749 HAS SOPS 138964 HAS SOUS 43291 HAS SOUPS 42949 WITH SCORE 43094.749
AT ITER 7291 NEW BEST:: SOT 176059 SOS 145749 HAS SOPS 138964 HAS SOUS 43254 HAS SOUPS 42912 WITH SCORE 43057.749
AT ITER 7303 NEW BEST:: SOT 176067 SOS 145757 HAS SOPS 138972 HAS SOUS 43160 HAS SOUPS 42818 WITH SCORE 42963.757
AT ITER 7403 NEW BEST:: SOT 176094 SOS 145784 HAS SOPS 139026 HAS SOUS 43100 HAS SOUPS 42758 WITH SCORE 42903.784
AT ITER 7415 NEW BEST:: SOT 176265 SOS 145955 HAS SOPS 139197 HAS SOUS 42948 HAS SOUPS 42606 WITH SCORE 42751.955
AT ITER 7437 NEW BEST:: SOT 176265 SOS 145955 HAS SOPS 139197 HAS SOUS 42947 HAS SOUPS 42605 WITH SCORE 42750.955
AT ITER 7460 NEW BEST:: SOT 176264 SOS 145954 HAS SOPS 139196 HAS SOUS 42947 HAS SOUPS 42605 WITH SCORE 42750.954
AT ITER 7510 NEW BEST:: SOT 176238 SOS 145928 HAS SOPS 139170 HAS SOUS 42919 HAS SOUPS 42577 WITH SCORE 42722.928
AT ITER 7531 NEW BEST:: SOT 176238 SOS 145928 HAS SOPS 139170 HAS SOUS 42866 HAS SOUPS 42524 WITH SCORE 42669.928
AT ITER 7555 NEW BEST:: SOT 176218 SOS 145908 HAS SOPS 139150 HAS SOUS 42846 HAS SOUPS 42504 WITH SCORE 42649.908
AT ITER 7642 NEW BEST:: SOT 176218 SOS 145972 HAS SOPS 139214 HAS SOUS 42839 HAS SOUPS 42497 WITH SCORE 42642.972
AT ITER 7652 NEW BEST:: SOT 175804 SOS 145558 HAS SOPS 138800 HAS SOUS 42550 HAS SOUPS 42208 WITH SCORE 42353.558
AT ITER 7718 NEW BEST:: SOT 175682 SOS 145436 HAS SOPS 138678 HAS SOUS 42428 HAS SOUPS 42086 WITH SCORE 42231.436
AT ITER 7757 NEW BEST:: SOT 175682 SOS 145436 HAS SOPS 138678 HAS SOUS 42426 HAS SOUPS 42084 WITH SCORE 42229.436
AT ITER 7784 NEW BEST:: SOT 175693 SOS 145447 HAS SOPS 138700 HAS SOUS 42415 HAS SOUPS 42073 WITH SCORE 42218.447
AT ITER 7840 NEW BEST:: SOT 175428 SOS 145182 HAS SOPS 138435 HAS SOUS 42165 HAS SOUPS 41823 WITH SCORE 41968.182
AT ITER 7845 NEW BEST:: SOT 175393 SOS 145147 HAS SOPS 138400 HAS SOUS 42124 HAS SOUPS 41782 WITH SCORE 41927.147
AT ITER 7879 NEW BEST:: SOT 175948 SOS 145702 HAS SOPS 138955 HAS SOUS 41974 HAS SOUPS 41632 WITH SCORE 41777.702
AT ITER 7922 NEW BEST:: SOT 175545 SOS 145299 HAS SOPS 138601 HAS SOUS 41631 HAS SOUPS 41289 WITH SCORE 41434.299
AT ITER 8103 NEW BEST:: SOT 176105 SOS 145625 HAS SOPS 138722 HAS SOUS 41616 HAS SOUPS 41274 WITH SCORE 41419.625
AT ITER 8115 NEW BEST:: SOT 176105 SOS 145142 HAS SOPS 138239 HAS SOUS 41570 HAS SOUPS 41228 WITH SCORE 41373.142
AT ITER 8230 NEW BEST:: SOT 176088 SOS 145125 HAS SOPS 138222 HAS SOUS 41552 HAS SOUPS 41210 WITH SCORE 41355.125
AT ITER 8246 NEW BEST:: SOT 173621 SOS 147544 HAS SOPS 140641 HAS SOUS 39435 HAS SOUPS 39093 WITH SCORE 39240.544
AT ITER 8248 NEW BEST:: SOT 173772 SOS 147673 HAS SOPS 140770 HAS SOUS 39426 HAS SOUPS 39084 WITH SCORE 39231.673
AT ITER 8337 NEW BEST:: SOT 173619 SOS 147520 HAS SOPS 140617 HAS SOUS 39375 HAS SOUPS 39033 WITH SCORE 39180.52
AT ITER 8383 NEW BEST:: SOT 173619 SOS 147518 HAS SOPS 140615 HAS SOUS 39373 HAS SOUPS 39031 WITH SCORE 39178.518
AT ITER 8498 NEW BEST:: SOT 173563 SOS 147462 HAS SOPS 140545 HAS SOUS 39317 HAS SOUPS 38975 WITH SCORE 39122.462
AT ITER 8527 NEW BEST:: SOT 173371 SOS 147270 HAS SOPS 140353 HAS SOUS 39125 HAS SOUPS 38783 WITH SCORE 38930.27
AT ITER 8540 NEW BEST:: SOT 173171 SOS 147070 HAS SOPS 140153 HAS SOUS 39059 HAS SOUPS 38717 WITH SCORE 38864.07
AT ITER 8542 NEW BEST:: SOT 173146 SOS 147045 HAS SOPS 140128 HAS SOUS 39031 HAS SOUPS 38689 WITH SCORE 38836.045
AT ITER 8605 NEW BEST:: SOT 173128 SOS 147027 HAS SOPS 140110 HAS SOUS 39012 HAS SOUPS 38670 WITH SCORE 38817.027
AT ITER 8662 NEW BEST:: SOT 172681 SOS 146580 HAS SOPS 139663 HAS SOUS 38863 HAS SOUPS 38521 WITH SCORE 38667.58
AT ITER 8708 NEW BEST:: SOT 172628 SOS 146527 HAS SOPS 139533 HAS SOUS 38768 HAS SOUPS 38426 WITH SCORE 38572.527
AT ITER 8717 NEW BEST:: SOT 172645 SOS 145572 HAS SOPS 137952 HAS SOUS 38680 HAS SOUPS 38338 WITH SCORE 38483.572
AT ITER 8773 NEW BEST:: SOT 172588 SOS 145515 HAS SOPS 137895 HAS SOUS 38680 HAS SOUPS 38338 WITH SCORE 38483.515
AT ITER 8815 NEW BEST:: SOT 172286 SOS 145213 HAS SOPS 137593 HAS SOUS 38404 HAS SOUPS 38062 WITH SCORE 38207.213
AT ITER 8860 NEW BEST:: SOT 172033 SOS 144960 HAS SOPS 137402 HAS SOUS 38396 HAS SOUPS 38054 WITH SCORE 38198.96
AT ITER 8881 NEW BEST:: SOT 172033 SOS 144960 HAS SOPS 137402 HAS SOUS 38370 HAS SOUPS 38028 WITH SCORE 38172.96
AT ITER 8885 NEW BEST:: SOT 172133 SOS 145060 HAS SOPS 137472 HAS SOUS 38366 HAS SOUPS 38024 WITH SCORE 38169.06
AT ITER 9128 NEW BEST:: SOT 172127 SOS 145054 HAS SOPS 137466 HAS SOUS 38354 HAS SOUPS 38012 WITH SCORE 38157.054
AT ITER 9308 NEW BEST:: SOT 172122 SOS 145049 HAS SOPS 137461 HAS SOUS 38349 HAS SOUPS 38007 WITH SCORE 38152.049
AT ITER 9345 NEW BEST:: SOT 172059 SOS 144986 HAS SOPS 137398 HAS SOUS 38349 HAS SOUPS 38007 WITH SCORE 38151.986
AT ITER 9409 NEW BEST:: SOT 172028 SOS 144955 HAS SOPS 137367 HAS SOUS 38342 HAS SOUPS 38000 WITH SCORE 38144.955
AT ITER 9489 NEW BEST:: SOT 172064 SOS 144991 HAS SOPS 137447 HAS SOUS 38326 HAS SOUPS 37984 WITH SCORE 38128.991
AT ITER 9541 NEW BEST:: SOT 172024 SOS 144894 HAS SOPS 137310 HAS SOUS 38286 HAS SOUPS 37944 WITH SCORE 38088.894
AT ITER 9549 NEW BEST:: SOT 172024 SOS 144854 HAS SOPS 137270 HAS SOUS 38281 HAS SOUPS 37939 WITH SCORE 38083.854
AT ITER 9617 NEW BEST:: SOT 172019 SOS 144849 HAS SOPS 137259 HAS SOUS 38277 HAS SOUPS 37935 WITH SCORE 38079.849
AT ITER 9649 NEW BEST:: SOT 171298 SOS 144128 HAS SOPS 136744 HAS SOUS 38277 HAS SOUPS 37935 WITH SCORE 38079.128
AT ITER 9675 NEW BEST:: SOT 171298 SOS 144128 HAS SOPS 136744 HAS SOUS 38263 HAS SOUPS 37921 WITH SCORE 38065.128
AT ITER 9712 NEW BEST:: SOT 171254 SOS 144030 HAS SOPS 136362 HAS SOUS 38219 HAS SOUPS 37877 WITH SCORE 38021.03
AT ITER 9789 NEW BEST:: SOT 171408 SOS 144184 HAS SOPS 136516 HAS SOUS 38107 HAS SOUPS 37765 WITH SCORE 37909.184
AT ITER 9848 NEW BEST:: SOT 171465 SOS 144241 HAS SOPS 136573 HAS SOUS 38050 HAS SOUPS 37708 WITH SCORE 37852.241
AT ITER 9892 NEW BEST:: SOT 171341 SOS 144117 HAS SOPS 136449 HAS SOUS 38050 HAS SOUPS 37708 WITH SCORE 37852.117
AT ITER 9926 NEW BEST:: SOT 171853 SOS 144629 HAS SOPS 136961 HAS SOUS 38012 HAS SOUPS 37670 WITH SCORE 37814.629
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6089044 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124996 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="DBSingleClientW-PT-d1m07"
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 DBSingleClientW-PT-d1m07, 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 r107-tall-167814484000264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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