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.r259-smll-167863534300288.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 smart
Input is NoC3x3-PT-4B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 10:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 10:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 10:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 10:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 10:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 608K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678741029196

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-4B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2328 places, 2701 transitions, 6091 arcs.
AT ITER 0 NEW BEST:: SOT 3272806 SOS 300764 HAS SOPS 300764 HAS SOUS 271709 HAS SOUPS 271709 WITH SCORE 272009.764
AT ITER 12 NEW BEST:: SOT 3272772 SOS 300731 HAS SOPS 300731 HAS SOUS 271675 HAS SOUPS 271675 WITH SCORE 271975.731
AT ITER 36 NEW BEST:: SOT 3272730 SOS 300907 HAS SOPS 300907 HAS SOUS 271663 HAS SOUPS 271663 WITH SCORE 271963.907
AT ITER 41 NEW BEST:: SOT 3272729 SOS 300905 HAS SOPS 300905 HAS SOUS 271661 HAS SOUPS 271661 WITH SCORE 271961.905
AT ITER 78 NEW BEST:: SOT 3272672 SOS 301322 HAS SOPS 301322 HAS SOUS 271558 HAS SOUPS 271558 WITH SCORE 271859.322
AT ITER 134 NEW BEST:: SOT 3272577 SOS 301762 HAS SOPS 301762 HAS SOUS 271534 HAS SOUPS 271534 WITH SCORE 271835.762
AT ITER 170 NEW BEST:: SOT 3272475 SOS 301643 HAS SOPS 301643 HAS SOUS 271415 HAS SOUPS 271415 WITH SCORE 271716.643
AT ITER 201 NEW BEST:: SOT 3272475 SOS 301643 HAS SOPS 301643 HAS SOUS 271254 HAS SOUPS 271254 WITH SCORE 271555.643
AT ITER 218 NEW BEST:: SOT 3271774 SOS 301656 HAS SOPS 301656 HAS SOUS 270710 HAS SOUPS 270710 WITH SCORE 271011.656
AT ITER 257 NEW BEST:: SOT 3271081 SOS 301801 HAS SOPS 301801 HAS SOUS 270190 HAS SOUPS 270190 WITH SCORE 270491.801
AT ITER 262 NEW BEST:: SOT 3270849 SOS 301725 HAS SOPS 301725 HAS SOUS 270033 HAS SOUPS 270033 WITH SCORE 270334.725
AT ITER 280 NEW BEST:: SOT 3270735 SOS 301611 HAS SOPS 301611 HAS SOUS 269913 HAS SOUPS 269913 WITH SCORE 270214.611
AT ITER 295 NEW BEST:: SOT 3270729 SOS 301599 HAS SOPS 301599 HAS SOUS 269901 HAS SOUPS 269901 WITH SCORE 270202.599
AT ITER 307 NEW BEST:: SOT 3270549 SOS 301419 HAS SOPS 301419 HAS SOUS 269721 HAS SOUPS 269721 WITH SCORE 270022.419
AT ITER 344 NEW BEST:: SOT 3270389 SOS 301624 HAS SOPS 301624 HAS SOUS 269561 HAS SOUPS 269561 WITH SCORE 269862.624
AT ITER 349 NEW BEST:: SOT 3270389 SOS 301623 HAS SOPS 301623 HAS SOUS 269560 HAS SOUPS 269560 WITH SCORE 269861.623
AT ITER 350 NEW BEST:: SOT 3269878 SOS 301606 HAS SOPS 301606 HAS SOUS 269108 HAS SOUPS 269108 WITH SCORE 269409.606
AT ITER 367 NEW BEST:: SOT 3269666 SOS 301182 HAS SOPS 301182 HAS SOUS 268684 HAS SOUPS 268684 WITH SCORE 268985.182
AT ITER 371 NEW BEST:: SOT 3269296 SOS 300812 HAS SOPS 300812 HAS SOUS 268314 HAS SOUPS 268314 WITH SCORE 268614.812
AT ITER 451 NEW BEST:: SOT 3269295 SOS 300811 HAS SOPS 300811 HAS SOUS 268313 HAS SOUPS 268313 WITH SCORE 268613.811
AT ITER 495 NEW BEST:: SOT 3269303 SOS 300802 HAS SOPS 300802 HAS SOUS 268271 HAS SOUPS 268271 WITH SCORE 268571.802
AT ITER 506 NEW BEST:: SOT 3269303 SOS 300868 HAS SOPS 300868 HAS SOUS 268243 HAS SOUPS 268243 WITH SCORE 268543.868
AT ITER 512 NEW BEST:: SOT 3269302 SOS 300866 HAS SOPS 300866 HAS SOUS 268241 HAS SOUPS 268241 WITH SCORE 268541.866
AT ITER 677 NEW BEST:: SOT 3269302 SOS 300866 HAS SOPS 300866 HAS SOUS 268199 HAS SOUPS 268199 WITH SCORE 268499.866
AT ITER 731 NEW BEST:: SOT 3269302 SOS 300721 HAS SOPS 300721 HAS SOUS 268199 HAS SOUPS 268199 WITH SCORE 268499.721
AT ITER 742 NEW BEST:: SOT 3269254 SOS 300577 HAS SOPS 300577 HAS SOUS 268150 HAS SOUPS 268150 WITH SCORE 268450.577
AT ITER 795 NEW BEST:: SOT 3268977 SOS 300368 HAS SOPS 300368 HAS SOUS 267872 HAS SOUPS 267872 WITH SCORE 268172.368
AT ITER 806 NEW BEST:: SOT 3268977 SOS 300304 HAS SOPS 300304 HAS SOUS 267872 HAS SOUPS 267872 WITH SCORE 268172.304
AT ITER 849 NEW BEST:: SOT 3268957 SOS 300284 HAS SOPS 300284 HAS SOUS 267852 HAS SOUPS 267852 WITH SCORE 268152.284
AT ITER 895 NEW BEST:: SOT 3268956 SOS 300282 HAS SOPS 300282 HAS SOUS 267850 HAS SOUPS 267850 WITH SCORE 268150.282
AT ITER 910 NEW BEST:: SOT 3268943 SOS 300243 HAS SOPS 300243 HAS SOUS 267822 HAS SOUPS 267822 WITH SCORE 268122.243
AT ITER 1073 NEW BEST:: SOT 3268879 SOS 300179 HAS SOPS 300179 HAS SOUS 267758 HAS SOUPS 267758 WITH SCORE 268058.179
AT ITER 1089 NEW BEST:: SOT 3268800 SOS 300178 HAS SOPS 300178 HAS SOUS 267730 HAS SOUPS 267730 WITH SCORE 268030.178
AT ITER 1110 NEW BEST:: SOT 3268807 SOS 299915 HAS SOPS 299915 HAS SOUS 267566 HAS SOUPS 267566 WITH SCORE 267865.915
AT ITER 1129 NEW BEST:: SOT 3268807 SOS 299915 HAS SOPS 299915 HAS SOUS 267336 HAS SOUPS 267336 WITH SCORE 267635.915
AT ITER 1145 NEW BEST:: SOT 3268503 SOS 299611 HAS SOPS 299611 HAS SOUS 267032 HAS SOUPS 267032 WITH SCORE 267331.611
AT ITER 1147 NEW BEST:: SOT 3268503 SOS 299511 HAS SOPS 299511 HAS SOUS 266932 HAS SOUPS 266932 WITH SCORE 267231.511
AT ITER 1171 NEW BEST:: SOT 3268041 SOS 299232 HAS SOPS 299232 HAS SOUS 266470 HAS SOUPS 266470 WITH SCORE 266769.232
AT ITER 1188 NEW BEST:: SOT 3267483 SOS 301016 HAS SOPS 301016 HAS SOUS 266339 HAS SOUPS 266339 WITH SCORE 266640.016
AT ITER 1189 NEW BEST:: SOT 3267464 SOS 301003 HAS SOPS 301003 HAS SOUS 266320 HAS SOUPS 266320 WITH SCORE 266621.003
AT ITER 1211 NEW BEST:: SOT 3267464 SOS 301203 HAS SOPS 301203 HAS SOUS 266319 HAS SOUPS 266319 WITH SCORE 266620.203
AT ITER 1279 NEW BEST:: SOT 3267431 SOS 301143 HAS SOPS 301143 HAS SOUS 266259 HAS SOUPS 266259 WITH SCORE 266560.143
AT ITER 1300 NEW BEST:: SOT 3267362 SOS 301005 HAS SOPS 301005 HAS SOUS 266121 HAS SOUPS 266121 WITH SCORE 266422.005
AT ITER 1301 NEW BEST:: SOT 3266805 SOS 300653 HAS SOPS 300653 HAS SOUS 265564 HAS SOUPS 265564 WITH SCORE 265864.653
AT ITER 1308 NEW BEST:: SOT 3266523 SOS 300371 HAS SOPS 300371 HAS SOUS 265188 HAS SOUPS 265188 WITH SCORE 265488.371
AT ITER 1350 NEW BEST:: SOT 3266511 SOS 300335 HAS SOPS 300335 HAS SOUS 265176 HAS SOUPS 265176 WITH SCORE 265476.335
AT ITER 1363 NEW BEST:: SOT 3266410 SOS 300380 HAS SOPS 300380 HAS SOUS 265078 HAS SOUPS 265078 WITH SCORE 265378.38
AT ITER 1431 NEW BEST:: SOT 3266410 SOS 300357 HAS SOPS 300357 HAS SOUS 265078 HAS SOUPS 265078 WITH SCORE 265378.357
AT ITER 1442 NEW BEST:: SOT 3266371 SOS 300278 HAS SOPS 300278 HAS SOUS 265038 HAS SOUPS 265038 WITH SCORE 265338.278
AT ITER 1453 NEW BEST:: SOT 3266370 SOS 300277 HAS SOPS 300277 HAS SOUS 265037 HAS SOUPS 265037 WITH SCORE 265337.277
AT ITER 1499 NEW BEST:: SOT 3266115 SOS 301027 HAS SOPS 301027 HAS SOUS 264930 HAS SOUPS 264930 WITH SCORE 265231.027
AT ITER 1656 NEW BEST:: SOT 3266099 SOS 301046 HAS SOPS 301046 HAS SOUS 264914 HAS SOUPS 264914 WITH SCORE 265215.046
AT ITER 1658 NEW BEST:: SOT 3266099 SOS 301001 HAS SOPS 301001 HAS SOUS 264869 HAS SOUPS 264869 WITH SCORE 265170.001
AT ITER 1795 NEW BEST:: SOT 3265970 SOS 300928 HAS SOPS 300928 HAS SOUS 264782 HAS SOUPS 264782 WITH SCORE 265082.928
AT ITER 1821 NEW BEST:: SOT 3265890 SOS 300848 HAS SOPS 300848 HAS SOUS 264702 HAS SOUPS 264702 WITH SCORE 265002.848
AT ITER 1837 NEW BEST:: SOT 3265813 SOS 300817 HAS SOPS 300817 HAS SOUS 264692 HAS SOUPS 264692 WITH SCORE 264992.817
AT ITER 1875 NEW BEST:: SOT 3265806 SOS 300803 HAS SOPS 300803 HAS SOUS 264678 HAS SOUPS 264678 WITH SCORE 264978.803
AT ITER 1968 NEW BEST:: SOT 3265730 SOS 300754 HAS SOPS 300754 HAS SOUS 264602 HAS SOUPS 264602 WITH SCORE 264902.754
AT ITER 2013 NEW BEST:: SOT 3265545 SOS 300555 HAS SOPS 300555 HAS SOUS 264403 HAS SOUPS 264403 WITH SCORE 264703.555
AT ITER 2033 NEW BEST:: SOT 3265410 SOS 300420 HAS SOPS 300420 HAS SOUS 264241 HAS SOUPS 264241 WITH SCORE 264541.42
AT ITER 2092 NEW BEST:: SOT 3265065 SOS 300075 HAS SOPS 300075 HAS SOUS 263896 HAS SOUPS 263896 WITH SCORE 264196.075
AT ITER 2101 NEW BEST:: SOT 3265064 SOS 300073 HAS SOPS 300073 HAS SOUS 263894 HAS SOUPS 263894 WITH SCORE 264194.073
AT ITER 2138 NEW BEST:: SOT 3265060 SOS 300065 HAS SOPS 300065 HAS SOUS 263890 HAS SOUPS 263890 WITH SCORE 264190.065
AT ITER 2168 NEW BEST:: SOT 3265069 SOS 300036 HAS SOPS 300036 HAS SOUS 263861 HAS SOUPS 263861 WITH SCORE 264161.036
AT ITER 2183 NEW BEST:: SOT 3265068 SOS 300034 HAS SOPS 300034 HAS SOUS 263859 HAS SOUPS 263859 WITH SCORE 264159.034
AT ITER 2204 NEW BEST:: SOT 3265067 SOS 300032 HAS SOPS 300032 HAS SOUS 263857 HAS SOUPS 263857 WITH SCORE 264157.032
AT ITER 2230 NEW BEST:: SOT 3264965 SOS 299995 HAS SOPS 299995 HAS SOUS 263755 HAS SOUPS 263755 WITH SCORE 264054.995
AT ITER 2237 NEW BEST:: SOT 3264787 SOS 300594 HAS SOPS 300594 HAS SOUS 263680 HAS SOUPS 263680 WITH SCORE 263980.594
AT ITER 2291 NEW BEST:: SOT 3264805 SOS 300610 HAS SOPS 300610 HAS SOUS 263677 HAS SOUPS 263677 WITH SCORE 263977.61
AT ITER 2371 NEW BEST:: SOT 3264393 SOS 300301 HAS SOPS 300301 HAS SOUS 263265 HAS SOUPS 263265 WITH SCORE 263565.301
AT ITER 2432 NEW BEST:: SOT 3264390 SOS 300295 HAS SOPS 300295 HAS SOUS 263262 HAS SOUPS 263262 WITH SCORE 263562.295
AT ITER 2534 NEW BEST:: SOT 3263897 SOS 299974 HAS SOPS 299974 HAS SOUS 262792 HAS SOUPS 262792 WITH SCORE 263091.974
AT ITER 2536 NEW BEST:: SOT 3263796 SOS 300117 HAS SOPS 300117 HAS SOUS 262730 HAS SOUPS 262730 WITH SCORE 263030.117
AT ITER 2576 NEW BEST:: SOT 3263454 SOS 300008 HAS SOPS 300008 HAS SOUS 262410 HAS SOUPS 262410 WITH SCORE 262710.008
AT ITER 2584 NEW BEST:: SOT 3263299 SOS 300166 HAS SOPS 300166 HAS SOUS 262360 HAS SOUPS 262360 WITH SCORE 262660.166
AT ITER 2594 NEW BEST:: SOT 3263298 SOS 300164 HAS SOPS 300164 HAS SOUS 262358 HAS SOUPS 262358 WITH SCORE 262658.164
AT ITER 2621 NEW BEST:: SOT 3263298 SOS 300147 HAS SOPS 300147 HAS SOUS 262341 HAS SOUPS 262341 WITH SCORE 262641.147
AT ITER 2632 NEW BEST:: SOT 3263081 SOS 300040 HAS SOPS 300040 HAS SOUS 262232 HAS SOUPS 262232 WITH SCORE 262532.04
AT ITER 2702 NEW BEST:: SOT 3262875 SOS 300313 HAS SOPS 300313 HAS SOUS 262026 HAS SOUPS 262026 WITH SCORE 262326.313
AT ITER 2704 NEW BEST:: SOT 3262874 SOS 300311 HAS SOPS 300311 HAS SOUS 262024 HAS SOUPS 262024 WITH SCORE 262324.311
AT ITER 2748 NEW BEST:: SOT 3262544 SOS 300151 HAS SOPS 300151 HAS SOUS 261693 HAS SOUPS 261693 WITH SCORE 261993.151
AT ITER 2763 NEW BEST:: SOT 3262555 SOS 300136 HAS SOPS 300136 HAS SOUS 261678 HAS SOUPS 261678 WITH SCORE 261978.136
AT ITER 2777 NEW BEST:: SOT 3262554 SOS 300134 HAS SOPS 300134 HAS SOUS 261676 HAS SOUPS 261676 WITH SCORE 261976.134
AT ITER 2868 NEW BEST:: SOT 3262432 SOS 300075 HAS SOPS 300075 HAS SOUS 261599 HAS SOUPS 261599 WITH SCORE 261899.075
AT ITER 2876 NEW BEST:: SOT 3262044 SOS 300009 HAS SOPS 300009 HAS SOUS 261251 HAS SOUPS 261251 WITH SCORE 261551.009
AT ITER 2890 NEW BEST:: SOT 3261833 SOS 299887 HAS SOPS 299887 HAS SOUS 260992 HAS SOUPS 260992 WITH SCORE 261291.887
AT ITER 2898 NEW BEST:: SOT 3261833 SOS 300090 HAS SOPS 300090 HAS SOUS 260991 HAS SOUPS 260991 WITH SCORE 261291.09
AT ITER 2970 NEW BEST:: SOT 3261594 SOS 300012 HAS SOPS 300012 HAS SOUS 260911 HAS SOUPS 260911 WITH SCORE 261211.012
AT ITER 3004 NEW BEST:: SOT 3261593 SOS 300010 HAS SOPS 300010 HAS SOUS 260909 HAS SOUPS 260909 WITH SCORE 261209.01
AT ITER 3036 NEW BEST:: SOT 3261306 SOS 299926 HAS SOPS 299926 HAS SOUS 260720 HAS SOUPS 260720 WITH SCORE 261019.926
AT ITER 3041 NEW BEST:: SOT 3260695 SOS 300029 HAS SOPS 300029 HAS SOUS 260066 HAS SOUPS 260066 WITH SCORE 260366.029
AT ITER 3063 NEW BEST:: SOT 3259720 SOS 299694 HAS SOPS 299694 HAS SOUS 259271 HAS SOUPS 259271 WITH SCORE 259570.694
AT ITER 3086 NEW BEST:: SOT 3259628 SOS 299567 HAS SOPS 299567 HAS SOUS 259236 HAS SOUPS 259236 WITH SCORE 259535.567
AT ITER 3128 NEW BEST:: SOT 3259577 SOS 299465 HAS SOPS 299465 HAS SOUS 259192 HAS SOUPS 259192 WITH SCORE 259491.465
AT ITER 3143 NEW BEST:: SOT 3259554 SOS 299419 HAS SOPS 299419 HAS SOUS 259167 HAS SOUPS 259167 WITH SCORE 259466.419
AT ITER 3156 NEW BEST:: SOT 3259477 SOS 299393 HAS SOPS 299393 HAS SOUS 259090 HAS SOUPS 259090 WITH SCORE 259389.393
AT ITER 3201 NEW BEST:: SOT 3259477 SOS 299299 HAS SOPS 299299 HAS SOUS 259090 HAS SOUPS 259090 WITH SCORE 259389.299
AT ITER 3231 NEW BEST:: SOT 3259216 SOS 299024 HAS SOPS 299024 HAS SOUS 258860 HAS SOUPS 258860 WITH SCORE 259159.024
AT ITER 3276 NEW BEST:: SOT 3259181 SOS 298954 HAS SOPS 298954 HAS SOUS 258790 HAS SOUPS 258790 WITH SCORE 259088.954
AT ITER 3286 NEW BEST:: SOT 3259181 SOS 298889 HAS SOPS 298889 HAS SOUS 258725 HAS SOUPS 258725 WITH SCORE 259023.889
AT ITER 3321 NEW BEST:: SOT 3259181 SOS 298888 HAS SOPS 298888 HAS SOUS 258724 HAS SOUPS 258724 WITH SCORE 259022.888
AT ITER 3357 NEW BEST:: SOT 3258973 SOS 298722 HAS SOPS 298722 HAS SOUS 258558 HAS SOUPS 258558 WITH SCORE 258856.722
AT ITER 3382 NEW BEST:: SOT 3258973 SOS 298716 HAS SOPS 298716 HAS SOUS 258552 HAS SOUPS 258552 WITH SCORE 258850.716
AT ITER 3422 NEW BEST:: SOT 3258932 SOS 298634 HAS SOPS 298634 HAS SOUS 258511 HAS SOUPS 258511 WITH SCORE 258809.634
AT ITER 3427 NEW BEST:: SOT 3258902 SOS 298604 HAS SOPS 298604 HAS SOUS 258475 HAS SOUPS 258475 WITH SCORE 258773.604
AT ITER 3505 NEW BEST:: SOT 3258902 SOS 298604 HAS SOPS 298604 HAS SOUS 258418 HAS SOUPS 258418 WITH SCORE 258716.604
AT ITER 3510 NEW BEST:: SOT 3258786 SOS 298439 HAS SOPS 298439 HAS SOUS 258273 HAS SOUPS 258273 WITH SCORE 258571.439
AT ITER 3518 NEW BEST:: SOT 3258786 SOS 298407 HAS SOPS 298407 HAS SOUS 258241 HAS SOUPS 258241 WITH SCORE 258539.407
AT ITER 3653 NEW BEST:: SOT 3258785 SOS 298405 HAS SOPS 298405 HAS SOUS 258220 HAS SOUPS 258220 WITH SCORE 258518.405
AT ITER 3673 NEW BEST:: SOT 3258765 SOS 298365 HAS SOPS 298365 HAS SOUS 258199 HAS SOUPS 258199 WITH SCORE 258497.365
AT ITER 3700 NEW BEST:: SOT 3258883 SOS 298601 HAS SOPS 298601 HAS SOUS 258171 HAS SOUPS 258171 WITH SCORE 258469.601
AT ITER 3707 NEW BEST:: SOT 3258875 SOS 298593 HAS SOPS 298593 HAS SOUS 258160 HAS SOUPS 258160 WITH SCORE 258458.593
AT ITER 3765 NEW BEST:: SOT 3258850 SOS 298543 HAS SOPS 298543 HAS SOUS 258135 HAS SOUPS 258135 WITH SCORE 258433.543
AT ITER 3808 NEW BEST:: SOT 3258850 SOS 298532 HAS SOPS 298532 HAS SOUS 258135 HAS SOUPS 258135 WITH SCORE 258433.532
AT ITER 3828 NEW BEST:: SOT 3258817 SOS 298711 HAS SOPS 298711 HAS SOUS 258120 HAS SOUPS 258120 WITH SCORE 258418.711
AT ITER 3834 NEW BEST:: SOT 3258816 SOS 298709 HAS SOPS 298709 HAS SOUS 258118 HAS SOUPS 258118 WITH SCORE 258416.709
AT ITER 3887 NEW BEST:: SOT 3258791 SOS 298706 HAS SOPS 298706 HAS SOUS 258093 HAS SOUPS 258093 WITH SCORE 258391.706
AT ITER 3890 NEW BEST:: SOT 3258710 SOS 298554 HAS SOPS 298554 HAS SOUS 257941 HAS SOUPS 257941 WITH SCORE 258239.554
AT ITER 3929 NEW BEST:: SOT 3258644 SOS 298422 HAS SOPS 298422 HAS SOUS 257727 HAS SOUPS 257727 WITH SCORE 258025.422
AT ITER 3962 NEW BEST:: SOT 3258618 SOS 298370 HAS SOPS 298370 HAS SOUS 257675 HAS SOUPS 257675 WITH SCORE 257973.37
AT ITER 3985 NEW BEST:: SOT 3258569 SOS 298332 HAS SOPS 298332 HAS SOUS 257625 HAS SOUPS 257625 WITH SCORE 257923.332
AT ITER 4035 NEW BEST:: SOT 3258569 SOS 298332 HAS SOPS 298332 HAS SOUS 257613 HAS SOUPS 257613 WITH SCORE 257911.332
AT ITER 4087 NEW BEST:: SOT 3258070 SOS 297914 HAS SOPS 297914 HAS SOUS 257139 HAS SOUPS 257139 WITH SCORE 257436.914
AT ITER 4149 NEW BEST:: SOT 3258011 SOS 297855 HAS SOPS 297855 HAS SOUS 257078 HAS SOUPS 257078 WITH SCORE 257375.855
AT ITER 4157 NEW BEST:: SOT 3258011 SOS 297825 HAS SOPS 297825 HAS SOUS 257048 HAS SOUPS 257048 WITH SCORE 257345.825
AT ITER 4255 NEW BEST:: SOT 3258011 SOS 297699 HAS SOPS 297699 HAS SOUS 257027 HAS SOUPS 257027 WITH SCORE 257324.699
AT ITER 4303 NEW BEST:: SOT 3258021 SOS 297263 HAS SOPS 297263 HAS SOUS 256890 HAS SOUPS 256890 WITH SCORE 257187.263
AT ITER 4331 NEW BEST:: SOT 3258068 SOS 295277 HAS SOPS 295277 HAS SOUS 256720 HAS SOUPS 256720 WITH SCORE 257015.277
AT ITER 4346 NEW BEST:: SOT 3257508 SOS 295289 HAS SOPS 295289 HAS SOUS 256060 HAS SOUPS 256060 WITH SCORE 256355.289
AT ITER 4347 NEW BEST:: SOT 3257508 SOS 295289 HAS SOPS 295289 HAS SOUS 255951 HAS SOUPS 255951 WITH SCORE 256246.289
AT ITER 4370 NEW BEST:: SOT 3257507 SOS 295287 HAS SOPS 295287 HAS SOUS 255949 HAS SOUPS 255949 WITH SCORE 256244.287
AT ITER 4391 NEW BEST:: SOT 3257507 SOS 295307 HAS SOPS 295307 HAS SOUS 255939 HAS SOUPS 255939 WITH SCORE 256234.307
AT ITER 4600 NEW BEST:: SOT 3257490 SOS 295273 HAS SOPS 295273 HAS SOUS 255922 HAS SOUPS 255922 WITH SCORE 256217.273
AT ITER 4644 NEW BEST:: SOT 3257490 SOS 295322 HAS SOPS 295322 HAS SOUS 255912 HAS SOUPS 255912 WITH SCORE 256207.322
AT ITER 4653 NEW BEST:: SOT 3257470 SOS 295318 HAS SOPS 295318 HAS SOUS 255833 HAS SOUPS 255833 WITH SCORE 256128.318
AT ITER 4660 NEW BEST:: SOT 3257469 SOS 295316 HAS SOPS 295316 HAS SOUS 255831 HAS SOUPS 255831 WITH SCORE 256126.316
AT ITER 4667 NEW BEST:: SOT 3257442 SOS 295263 HAS SOPS 295263 HAS SOUS 255780 HAS SOUPS 255780 WITH SCORE 256075.263
AT ITER 4693 NEW BEST:: SOT 3257396 SOS 295176 HAS SOPS 295176 HAS SOUS 255689 HAS SOUPS 255689 WITH SCORE 255984.176
AT ITER 4751 NEW BEST:: SOT 3257395 SOS 295164 HAS SOPS 295164 HAS SOUS 255687 HAS SOUPS 255687 WITH SCORE 255982.164
AT ITER 4757 NEW BEST:: SOT 3257395 SOS 295164 HAS SOPS 295164 HAS SOUS 255686 HAS SOUPS 255686 WITH SCORE 255981.164
AT ITER 4967 NEW BEST:: SOT 3257398 SOS 295161 HAS SOPS 295161 HAS SOUS 255684 HAS SOUPS 255684 WITH SCORE 255979.161
AT ITER 5027 NEW BEST:: SOT 3257397 SOS 295220 HAS SOPS 295220 HAS SOUS 255681 HAS SOUPS 255681 WITH SCORE 255976.22
AT ITER 5063 NEW BEST:: SOT 3257355 SOS 296030 HAS SOPS 296030 HAS SOUS 255667 HAS SOUPS 255667 WITH SCORE 255963.03
AT ITER 5136 NEW BEST:: SOT 3257297 SOS 295964 HAS SOPS 295964 HAS SOUS 255621 HAS SOUPS 255621 WITH SCORE 255916.964
AT ITER 5163 NEW BEST:: SOT 3257296 SOS 295925 HAS SOPS 295925 HAS SOUS 255620 HAS SOUPS 255620 WITH SCORE 255915.925
AT ITER 5173 NEW BEST:: SOT 3257296 SOS 296261 HAS SOPS 296261 HAS SOUS 255617 HAS SOUPS 255617 WITH SCORE 255913.261
AT ITER 5217 NEW BEST:: SOT 3257296 SOS 296236 HAS SOPS 296236 HAS SOUS 255617 HAS SOUPS 255617 WITH SCORE 255913.236
AT ITER 5241 NEW BEST:: SOT 3257243 SOS 296220 HAS SOPS 296220 HAS SOUS 255592 HAS SOUPS 255592 WITH SCORE 255888.22
AT ITER 5254 NEW BEST:: SOT 3257168 SOS 296070 HAS SOPS 296070 HAS SOUS 255517 HAS SOUPS 255517 WITH SCORE 255813.07
AT ITER 5264 NEW BEST:: SOT 3257099 SOS 295931 HAS SOPS 295931 HAS SOUS 255378 HAS SOUPS 255378 WITH SCORE 255673.931
AT ITER 5275 NEW BEST:: SOT 3257047 SOS 295827 HAS SOPS 295827 HAS SOUS 255300 HAS SOUPS 255300 WITH SCORE 255595.827
AT ITER 5282 NEW BEST:: SOT 3257034 SOS 295736 HAS SOPS 295736 HAS SOUS 255287 HAS SOUPS 255287 WITH SCORE 255582.736
AT ITER 5289 NEW BEST:: SOT 3256910 SOS 295573 HAS SOPS 295573 HAS SOUS 255183 HAS SOUPS 255183 WITH SCORE 255478.573
AT ITER 5318 NEW BEST:: SOT 3256909 SOS 295571 HAS SOPS 295571 HAS SOUS 255181 HAS SOUPS 255181 WITH SCORE 255476.571
AT ITER 5357 NEW BEST:: SOT 3256869 SOS 295571 HAS SOPS 295571 HAS SOUS 255141 HAS SOUPS 255141 WITH SCORE 255436.571
AT ITER 5362 NEW BEST:: SOT 3256868 SOS 295570 HAS SOPS 295570 HAS SOUS 255140 HAS SOUPS 255140 WITH SCORE 255435.57
AT ITER 5449 NEW BEST:: SOT 3256650 SOS 295314 HAS SOPS 295314 HAS SOUS 254902 HAS SOUPS 254902 WITH SCORE 255197.314
AT ITER 5477 NEW BEST:: SOT 3256634 SOS 295274 HAS SOPS 295274 HAS SOUS 254886 HAS SOUPS 254886 WITH SCORE 255181.274
AT ITER 5485 NEW BEST:: SOT 3256574 SOS 296059 HAS SOPS 296059 HAS SOUS 254806 HAS SOUPS 254806 WITH SCORE 255102.059
AT ITER 5601 NEW BEST:: SOT 3256580 SOS 296071 HAS SOPS 296071 HAS SOUS 254747 HAS SOUPS 254747 WITH SCORE 255043.071
AT ITER 5603 NEW BEST:: SOT 3256318 SOS 296707 HAS SOPS 296707 HAS SOUS 254704 HAS SOUPS 254704 WITH SCORE 255000.707
AT ITER 5615 NEW BEST:: SOT 3256305 SOS 296701 HAS SOPS 296701 HAS SOUS 254691 HAS SOUPS 254691 WITH SCORE 254987.701
AT ITER 5628 NEW BEST:: SOT 3256231 SOS 296627 HAS SOPS 296627 HAS SOUS 254617 HAS SOUPS 254617 WITH SCORE 254913.627
AT ITER 5669 NEW BEST:: SOT 3256231 SOS 296605 HAS SOPS 296605 HAS SOUS 254595 HAS SOUPS 254595 WITH SCORE 254891.605
AT ITER 5692 NEW BEST:: SOT 3255935 SOS 296335 HAS SOPS 296335 HAS SOUS 254325 HAS SOUPS 254325 WITH SCORE 254621.335
AT ITER 5695 NEW BEST:: SOT 3255864 SOS 296264 HAS SOPS 296264 HAS SOUS 254254 HAS SOUPS 254254 WITH SCORE 254550.264
AT ITER 5751 NEW BEST:: SOT 3255747 SOS 296260 HAS SOPS 296260 HAS SOUS 254181 HAS SOUPS 254181 WITH SCORE 254477.26
AT ITER 5852 NEW BEST:: SOT 3255747 SOS 296209 HAS SOPS 296209 HAS SOUS 254181 HAS SOUPS 254181 WITH SCORE 254477.209
AT ITER 5855 NEW BEST:: SOT 3255698 SOS 296166 HAS SOPS 296166 HAS SOUS 254132 HAS SOUPS 254132 WITH SCORE 254428.166
AT ITER 5887 NEW BEST:: SOT 3255698 SOS 296164 HAS SOPS 296164 HAS SOUS 254130 HAS SOUPS 254130 WITH SCORE 254426.164
AT ITER 5946 NEW BEST:: SOT 3255698 SOS 296014 HAS SOPS 296014 HAS SOUS 254055 HAS SOUPS 254055 WITH SCORE 254351.014
AT ITER 6025 NEW BEST:: SOT 3255668 SOS 296052 HAS SOPS 296052 HAS SOUS 254025 HAS SOUPS 254025 WITH SCORE 254321.052
AT ITER 6031 NEW BEST:: SOT 3255629 SOS 296199 HAS SOPS 296199 HAS SOUS 253947 HAS SOUPS 253947 WITH SCORE 254243.199
AT ITER 6045 NEW BEST:: SOT 3255628 SOS 296135 HAS SOPS 296135 HAS SOUS 253945 HAS SOUPS 253945 WITH SCORE 254241.135
AT ITER 6084 NEW BEST:: SOT 3255589 SOS 296107 HAS SOPS 296107 HAS SOUS 253912 HAS SOUPS 253912 WITH SCORE 254208.107
AT ITER 6092 NEW BEST:: SOT 3255513 SOS 296046 HAS SOPS 296046 HAS SOUS 253851 HAS SOUPS 253851 WITH SCORE 254147.046
AT ITER 6099 NEW BEST:: SOT 3255446 SOS 296046 HAS SOPS 296046 HAS SOUS 253849 HAS SOUPS 253849 WITH SCORE 254145.046
AT ITER 6168 NEW BEST:: SOT 3255430 SOS 296039 HAS SOPS 296039 HAS SOUS 253832 HAS SOUPS 253832 WITH SCORE 254128.039
AT ITER 6186 NEW BEST:: SOT 3255406 SOS 295946 HAS SOPS 295946 HAS SOUS 253808 HAS SOUPS 253808 WITH SCORE 254103.946
AT ITER 6209 NEW BEST:: SOT 3255406 SOS 295884 HAS SOPS 295884 HAS SOUS 253777 HAS SOUPS 253777 WITH SCORE 254072.884
AT ITER 6220 NEW BEST:: SOT 3255406 SOS 295806 HAS SOPS 295806 HAS SOUS 253776 HAS SOUPS 253776 WITH SCORE 254071.806
AT ITER 6260 NEW BEST:: SOT 3255360 SOS 295760 HAS SOPS 295760 HAS SOUS 253684 HAS SOUPS 253684 WITH SCORE 253979.76
AT ITER 6289 NEW BEST:: SOT 3255020 SOS 295420 HAS SOPS 295420 HAS SOUS 253344 HAS SOUPS 253344 WITH SCORE 253639.42
AT ITER 6309 NEW BEST:: SOT 3254902 SOS 295412 HAS SOPS 295412 HAS SOUS 253225 HAS SOUPS 253225 WITH SCORE 253520.412
AT ITER 6337 NEW BEST:: SOT 3254836 SOS 295346 HAS SOPS 295346 HAS SOUS 253213 HAS SOUPS 253213 WITH SCORE 253508.346
AT ITER 6351 NEW BEST:: SOT 3254836 SOS 295346 HAS SOPS 295346 HAS SOUS 253146 HAS SOUPS 253146 WITH SCORE 253441.346
AT ITER 6512 NEW BEST:: SOT 3254768 SOS 295142 HAS SOPS 295142 HAS SOUS 253010 HAS SOUPS 253010 WITH SCORE 253305.142
AT ITER 6514 NEW BEST:: SOT 3254768 SOS 295108 HAS SOPS 295108 HAS SOUS 253010 HAS SOUPS 253010 WITH SCORE 253305.108
AT ITER 6564 NEW BEST:: SOT 3254362 SOS 295956 HAS SOPS 295956 HAS SOUS 252698 HAS SOUPS 252698 WITH SCORE 252993.956
AT ITER 6590 NEW BEST:: SOT 3254370 SOS 295972 HAS SOPS 295972 HAS SOUS 252688 HAS SOUPS 252688 WITH SCORE 252983.972
AT ITER 6602 NEW BEST:: SOT 3254365 SOS 295967 HAS SOPS 295967 HAS SOUS 252683 HAS SOUPS 252683 WITH SCORE 252978.967
AT ITER 6615 NEW BEST:: SOT 3254304 SOS 295845 HAS SOPS 295845 HAS SOUS 252549 HAS SOUPS 252549 WITH SCORE 252844.845
AT ITER 6617 NEW BEST:: SOT 3254054 SOS 295587 HAS SOPS 295587 HAS SOUS 252269 HAS SOUPS 252269 WITH SCORE 252564.587
AT ITER 6699 NEW BEST:: SOT 3253988 SOS 295534 HAS SOPS 295534 HAS SOUS 252215 HAS SOUPS 252215 WITH SCORE 252510.534
AT ITER 6719 NEW BEST:: SOT 3253960 SOS 295478 HAS SOPS 295478 HAS SOUS 252159 HAS SOUPS 252159 WITH SCORE 252454.478
AT ITER 6733 NEW BEST:: SOT 3252896 SOS 294670 HAS SOPS 294670 HAS SOUS 251315 HAS SOUPS 251315 WITH SCORE 251609.67
AT ITER 6748 NEW BEST:: SOT 3252896 SOS 294795 HAS SOPS 294795 HAS SOUS 251314 HAS SOUPS 251314 WITH SCORE 251608.795
AT ITER 6767 NEW BEST:: SOT 3252881 SOS 294765 HAS SOPS 294765 HAS SOUS 251299 HAS SOUPS 251299 WITH SCORE 251593.765
AT ITER 6776 NEW BEST:: SOT 3252871 SOS 294741 HAS SOPS 294741 HAS SOUS 251298 HAS SOUPS 251298 WITH SCORE 251592.741
AT ITER 6798 NEW BEST:: SOT 3252660 SOS 294554 HAS SOPS 294554 HAS SOUS 251064 HAS SOUPS 251064 WITH SCORE 251358.554
AT ITER 6829 NEW BEST:: SOT 3252644 SOS 294522 HAS SOPS 294522 HAS SOUS 251032 HAS SOUPS 251032 WITH SCORE 251326.522
AT ITER 6835 NEW BEST:: SOT 3252743 SOS 294329 HAS SOPS 294329 HAS SOUS 250852 HAS SOUPS 250852 WITH SCORE 251146.329
AT ITER 6952 NEW BEST:: SOT 3252704 SOS 294277 HAS SOPS 294277 HAS SOUS 250813 HAS SOUPS 250813 WITH SCORE 251107.277
AT ITER 7016 NEW BEST:: SOT 3252466 SOS 294295 HAS SOPS 294295 HAS SOUS 250711 HAS SOUPS 250711 WITH SCORE 251005.295
AT ITER 7050 NEW BEST:: SOT 3252453 SOS 294305 HAS SOPS 294305 HAS SOUS 250703 HAS SOUPS 250703 WITH SCORE 250997.305
AT ITER 7074 NEW BEST:: SOT 3252585 SOS 294436 HAS SOPS 294436 HAS SOUS 250701 HAS SOUPS 250701 WITH SCORE 250995.436
AT ITER 7187 NEW BEST:: SOT 3252588 SOS 294429 HAS SOPS 294429 HAS SOUS 250694 HAS SOUPS 250694 WITH SCORE 250988.429
AT ITER 7236 NEW BEST:: SOT 3252541 SOS 294335 HAS SOPS 294335 HAS SOUS 250592 HAS SOUPS 250592 WITH SCORE 250886.335
AT ITER 7304 NEW BEST:: SOT 3252537 SOS 294327 HAS SOPS 294327 HAS SOUS 250584 HAS SOUPS 250584 WITH SCORE 250878.327
AT ITER 7352 NEW BEST:: SOT 3252536 SOS 294289 HAS SOPS 294289 HAS SOUS 250546 HAS SOUPS 250546 WITH SCORE 250840.289
AT ITER 7416 NEW BEST:: SOT 3252466 SOS 294391 HAS SOPS 294391 HAS SOUS 250528 HAS SOUPS 250528 WITH SCORE 250822.391
AT ITER 7424 NEW BEST:: SOT 3252466 SOS 294391 HAS SOPS 294391 HAS SOUS 250397 HAS SOUPS 250397 WITH SCORE 250691.391
AT ITER 7432 NEW BEST:: SOT 3252465 SOS 294389 HAS SOPS 294389 HAS SOUS 250395 HAS SOUPS 250395 WITH SCORE 250689.389
AT ITER 7461 NEW BEST:: SOT 3252440 SOS 294364 HAS SOPS 294364 HAS SOUS 250370 HAS SOUPS 250370 WITH SCORE 250664.364
AT ITER 7465 NEW BEST:: SOT 3252343 SOS 294170 HAS SOPS 294170 HAS SOUS 250176 HAS SOUPS 250176 WITH SCORE 250470.17
AT ITER 7517 NEW BEST:: SOT 3252180 SOS 294007 HAS SOPS 294007 HAS SOUS 249960 HAS SOUPS 249960 WITH SCORE 250254.007
AT ITER 7707 NEW BEST:: SOT 3251806 SOS 293665 HAS SOPS 293665 HAS SOUS 249586 HAS SOUPS 249586 WITH SCORE 249879.665
AT ITER 7711 NEW BEST:: SOT 3251612 SOS 293522 HAS SOPS 293522 HAS SOUS 249392 HAS SOUPS 249392 WITH SCORE 249685.522
AT ITER 7723 NEW BEST:: SOT 3251596 SOS 293482 HAS SOPS 293482 HAS SOUS 249368 HAS SOUPS 249368 WITH SCORE 249661.482
AT ITER 7791 NEW BEST:: SOT 3251602 SOS 293400 HAS SOPS 293400 HAS SOUS 249286 HAS SOUPS 249286 WITH SCORE 249579.4
AT ITER 7821 NEW BEST:: SOT 3251313 SOS 294026 HAS SOPS 294026 HAS SOUS 249051 HAS SOUPS 249051 WITH SCORE 249345.026
AT ITER 7844 NEW BEST:: SOT 3251328 SOS 293915 HAS SOPS 293915 HAS SOUS 249003 HAS SOUPS 249003 WITH SCORE 249296.915
AT ITER 7920 NEW BEST:: SOT 3251325 SOS 293909 HAS SOPS 293909 HAS SOUS 248997 HAS SOUPS 248997 WITH SCORE 249290.909
AT ITER 8027 NEW BEST:: SOT 3251324 SOS 293907 HAS SOPS 293907 HAS SOUS 248930 HAS SOUPS 248930 WITH SCORE 249223.907
AT ITER 8060 NEW BEST:: SOT 3251529 SOS 294104 HAS SOPS 294104 HAS SOUS 248921 HAS SOUPS 248921 WITH SCORE 249215.104
AT ITER 8066 NEW BEST:: SOT 3251590 SOS 294072 HAS SOPS 294072 HAS SOUS 248889 HAS SOUPS 248889 WITH SCORE 249183.072
AT ITER 8089 NEW BEST:: SOT 3251590 SOS 294071 HAS SOPS 294071 HAS SOUS 248888 HAS SOUPS 248888 WITH SCORE 249182.071
AT ITER 8090 NEW BEST:: SOT 3251500 SOS 293981 HAS SOPS 293981 HAS SOUS 248798 HAS SOUPS 248798 WITH SCORE 249091.981
AT ITER 8092 NEW BEST:: SOT 3251479 SOS 293939 HAS SOPS 293939 HAS SOUS 248756 HAS SOUPS 248756 WITH SCORE 249049.939
AT ITER 8097 NEW BEST:: SOT 3251478 SOS 293924 HAS SOPS 293924 HAS SOUS 248754 HAS SOUPS 248754 WITH SCORE 249047.924
AT ITER 8114 NEW BEST:: SOT 3251438 SOS 293884 HAS SOPS 293884 HAS SOUS 248714 HAS SOUPS 248714 WITH SCORE 249007.884
AT ITER 8135 NEW BEST:: SOT 3251404 SOS 293816 HAS SOPS 293816 HAS SOUS 248646 HAS SOUPS 248646 WITH SCORE 248939.816
AT ITER 8145 NEW BEST:: SOT 3251357 SOS 293722 HAS SOPS 293722 HAS SOUS 248552 HAS SOUPS 248552 WITH SCORE 248845.722
AT ITER 8221 NEW BEST:: SOT 3251274 SOS 293751 HAS SOPS 293751 HAS SOUS 248478 HAS SOUPS 248478 WITH SCORE 248771.751
AT ITER 8259 NEW BEST:: SOT 3251237 SOS 293640 HAS SOPS 293640 HAS SOUS 248367 HAS SOUPS 248367 WITH SCORE 248660.64
AT ITER 8374 NEW BEST:: SOT 3251233 SOS 293632 HAS SOPS 293632 HAS SOUS 248359 HAS SOUPS 248359 WITH SCORE 248652.632
AT ITER 8414 NEW BEST:: SOT 3251179 SOS 293830 HAS SOPS 293830 HAS SOUS 248305 HAS SOUPS 248305 WITH SCORE 248598.83
AT ITER 8520 NEW BEST:: SOT 3250688 SOS 293349 HAS SOPS 293349 HAS SOUS 247899 HAS SOUPS 247899 WITH SCORE 248192.349
AT ITER 8522 NEW BEST:: SOT 3250688 SOS 293465 HAS SOPS 293465 HAS SOUS 247898 HAS SOUPS 247898 WITH SCORE 248191.465
AT ITER 8524 NEW BEST:: SOT 3250656 SOS 293432 HAS SOPS 293432 HAS SOUS 247865 HAS SOUPS 247865 WITH SCORE 248158.432
AT ITER 8529 NEW BEST:: SOT 3250455 SOS 293586 HAS SOPS 293586 HAS SOUS 247607 HAS SOUPS 247607 WITH SCORE 247900.586
AT ITER 8552 NEW BEST:: SOT 3250424 SOS 293524 HAS SOPS 293524 HAS SOUS 247545 HAS SOUPS 247545 WITH SCORE 247838.524
AT ITER 8628 NEW BEST:: SOT 3250424 SOS 293194 HAS SOPS 293194 HAS SOUS 247545 HAS SOUPS 247545 WITH SCORE 247838.194
AT ITER 8640 NEW BEST:: SOT 3250350 SOS 292898 HAS SOPS 292898 HAS SOUS 247434 HAS SOUPS 247434 WITH SCORE 247726.898
AT ITER 8662 NEW BEST:: SOT 3250349 SOS 292889 HAS SOPS 292889 HAS SOUS 247432 HAS SOUPS 247432 WITH SCORE 247724.889
AT ITER 8786 NEW BEST:: SOT 3250333 SOS 292885 HAS SOPS 292885 HAS SOUS 247424 HAS SOUPS 247424 WITH SCORE 247716.885
AT ITER 8790 NEW BEST:: SOT 3250232 SOS 292683 HAS SOPS 292683 HAS SOUS 247413 HAS SOUPS 247413 WITH SCORE 247705.683
AT ITER 8832 NEW BEST:: SOT 3250179 SOS 292577 HAS SOPS 292577 HAS SOUS 247307 HAS SOUPS 247307 WITH SCORE 247599.577
AT ITER 8835 NEW BEST:: SOT 3249788 SOS 292300 HAS SOPS 292300 HAS SOUS 247030 HAS SOUPS 247030 WITH SCORE 247322.3
AT ITER 8854 NEW BEST:: SOT 3249787 SOS 292283 HAS SOPS 292283 HAS SOUS 247028 HAS SOUPS 247028 WITH SCORE 247320.283
AT ITER 8868 NEW BEST:: SOT 3249911 SOS 292407 HAS SOPS 292407 HAS SOUS 247017 HAS SOUPS 247017 WITH SCORE 247309.407
AT ITER 8992 NEW BEST:: SOT 3249901 SOS 292397 HAS SOPS 292397 HAS SOUS 247006 HAS SOUPS 247006 WITH SCORE 247298.397
AT ITER 9001 NEW BEST:: SOT 3249844 SOS 292345 HAS SOPS 292345 HAS SOUS 246954 HAS SOUPS 246954 WITH SCORE 247246.345
AT ITER 9035 NEW BEST:: SOT 3249839 SOS 292335 HAS SOPS 292335 HAS SOUS 246953 HAS SOUPS 246953 WITH SCORE 247245.335
AT ITER 9037 NEW BEST:: SOT 3249827 SOS 292311 HAS SOPS 292311 HAS SOUS 246929 HAS SOUPS 246929 WITH SCORE 247221.311
AT ITER 9040 NEW BEST:: SOT 3249811 SOS 292227 HAS SOPS 292227 HAS SOUS 246897 HAS SOUPS 246897 WITH SCORE 247189.227
AT ITER 9188 NEW BEST:: SOT 3249685 SOS 292075 HAS SOPS 292075 HAS SOUS 246645 HAS SOUPS 246645 WITH SCORE 246937.075
AT ITER 9201 NEW BEST:: SOT 3249677 SOS 292066 HAS SOPS 292066 HAS SOUS 246644 HAS SOUPS 246644 WITH SCORE 246936.066
AT ITER 9207 NEW BEST:: SOT 3249404 SOS 292485 HAS SOPS 292485 HAS SOUS 246462 HAS SOUPS 246462 WITH SCORE 246754.485
AT ITER 9295 NEW BEST:: SOT 3249078 SOS 292828 HAS SOPS 292828 HAS SOUS 246024 HAS SOUPS 246024 WITH SCORE 246316.828
AT ITER 9395 NEW BEST:: SOT 3248900 SOS 292830 HAS SOPS 292830 HAS SOUS 245846 HAS SOUPS 245846 WITH SCORE 246138.83
AT ITER 9504 NEW BEST:: SOT 3248886 SOS 292788 HAS SOPS 292788 HAS SOUS 245804 HAS SOUPS 245804 WITH SCORE 246096.788
AT ITER 9539 NEW BEST:: SOT 3248886 SOS 292788 HAS SOPS 292788 HAS SOUS 245803 HAS SOUPS 245803 WITH SCORE 246095.788
AT ITER 9558 NEW BEST:: SOT 3248516 SOS 292594 HAS SOPS 292594 HAS SOUS 245518 HAS SOUPS 245518 WITH SCORE 245810.594
AT ITER 9729 NEW BEST:: SOT 3248516 SOS 292505 HAS SOPS 292505 HAS SOUS 245483 HAS SOUPS 245483 WITH SCORE 245775.505
AT ITER 9744 NEW BEST:: SOT 3248206 SOS 292208 HAS SOPS 292208 HAS SOUS 245150 HAS SOUPS 245150 WITH SCORE 245442.208
AT ITER 9797 NEW BEST:: SOT 3248089 SOS 292065 HAS SOPS 292065 HAS SOUS 245031 HAS SOUPS 245031 WITH SCORE 245323.065
AT ITER 9814 NEW BEST:: SOT 3248071 SOS 292047 HAS SOPS 292047 HAS SOUS 245013 HAS SOUPS 245013 WITH SCORE 245305.047
AT ITER 9857 NEW BEST:: SOT 3248060 SOS 292025 HAS SOPS 292025 HAS SOUS 244855 HAS SOUPS 244855 WITH SCORE 245147.025
AT ITER 9883 NEW BEST:: SOT 3248060 SOS 292025 HAS SOPS 292025 HAS SOUS 244835 HAS SOUPS 244835 WITH SCORE 245127.025
AT ITER 9945 NEW BEST:: SOT 3247994 SOS 291969 HAS SOPS 291969 HAS SOUS 244775 HAS SOUPS 244775 WITH SCORE 245066.969
AT ITER 9953 NEW BEST:: SOT 3248026 SOS 291458 HAS SOPS 291458 HAS SOUS 244716 HAS SOUPS 244716 WITH SCORE 245007.458
AT ITER 9964 NEW BEST:: SOT 3248033 SOS 291472 HAS SOPS 291472 HAS SOUS 244708 HAS SOUPS 244708 WITH SCORE 244999.472
AT ITER 9981 NEW BEST:: SOT 3248071 SOS 291393 HAS SOPS 291393 HAS SOUS 244664 HAS SOUPS 244664 WITH SCORE 244955.393
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10835992 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151516 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-4B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-4B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534300288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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