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.r235-tall-167856421800424.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 LamportFastMutEx-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 12K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 145K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 38K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 249K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 25 13:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 224K Feb 25 13:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 157K 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 1678652809285

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=LamportFastMutEx-PT-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 20:26:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 20:26:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 20:26:50] [INFO ] Load time of PNML (sax parser for PT used): 57 ms
[2023-03-12 20:26:50] [INFO ] Transformed 174 places.
[2023-03-12 20:26:51] [INFO ] Transformed 318 transitions.
[2023-03-12 20:26:51] [INFO ] Found NUPN structural information;
[2023-03-12 20:26:51] [INFO ] Completing missing partition info from NUPN : creating a component with [P_start_1_0, P_start_1_1, P_start_1_2, P_start_1_3, P_start_1_4, P_start_1_5, P_b_0_false, P_b_0_true, P_b_1_false, P_b_1_true, P_b_2_false, P_b_2_true, P_b_3_false, P_b_3_true, P_b_4_false, P_b_4_true, P_b_5_false, P_b_5_true, P_setx_3_0, P_setx_3_1, P_setx_3_2, P_setx_3_3, P_setx_3_4, P_setx_3_5, P_setbi_5_0, P_setbi_5_1, P_setbi_5_2, P_setbi_5_3, P_setbi_5_4, P_setbi_5_5, P_ify0_4_0, P_ify0_4_1, P_ify0_4_2, P_ify0_4_3, P_ify0_4_4, P_ify0_4_5, P_sety_9_0, P_sety_9_1, P_sety_9_2, P_sety_9_3, P_sety_9_4, P_sety_9_5, P_ifxi_10_0, P_ifxi_10_1, P_ifxi_10_2, P_ifxi_10_3, P_ifxi_10_4, P_ifxi_10_5, P_setbi_11_0, P_setbi_11_1, P_setbi_11_2, P_setbi_11_3, P_setbi_11_4, P_setbi_11_5, P_fordo_12_0, P_fordo_12_1, P_fordo_12_2, P_fordo_12_3, P_fordo_12_4, P_fordo_12_5, P_wait_0_0, P_wait_0_1, P_wait_0_2, P_wait_0_3, P_wait_0_4, P_wait_0_5, P_wait_1_0, P_wait_1_1, P_wait_1_2, P_wait_1_3, P_wait_1_4, P_wait_1_5, P_wait_2_0, P_wait_2_1, P_wait_2_2, P_wait_2_3, P_wait_2_4, P_wait_2_5, P_wait_3_0, P_wait_3_1, P_wait_3_2, P_wait_3_3, P_wait_3_4, P_wait_3_5, P_wait_4_0, P_wait_4_1, P_wait_4_2, P_wait_4_3, P_wait_4_4, P_wait_4_5, P_wait_5_0, P_wait_5_1, P_wait_5_2, P_wait_5_3, P_wait_5_4, P_wait_5_5, P_await_13_0, P_await_13_1, P_await_13_2, P_await_13_3, P_await_13_4, P_await_13_5, P_done_0_0, P_done_0_1, P_done_0_2, P_done_0_3, P_done_0_4, P_done_0_5, P_done_1_0, P_done_1_1, P_done_1_2, P_done_1_3, P_done_1_4, P_done_1_5, P_done_2_0, P_done_2_1, P_done_2_2, P_done_2_3, P_done_2_4, P_done_2_5, P_done_3_0, P_done_3_1, P_done_3_2, P_done_3_3, P_done_3_4, P_done_3_5, P_done_4_0, P_done_4_1, P_done_4_2, P_done_4_3, P_done_4_4, P_done_4_5, P_done_5_0, P_done_5_1, P_done_5_2, P_done_5_3, P_done_5_4, P_done_5_5, P_ifyi_15_0, P_ifyi_15_1, P_ifyi_15_2, P_ifyi_15_3, P_ifyi_15_4, P_ifyi_15_5, P_awaity_0, P_awaity_1, P_awaity_2, P_awaity_3, P_awaity_4, P_awaity_5, P_CS_21_0, P_CS_21_1, P_CS_21_2, P_CS_21_3, P_CS_21_4, P_CS_21_5, P_setbi_24_0, P_setbi_24_1, P_setbi_24_2, P_setbi_24_3, P_setbi_24_4, P_setbi_24_5]
[2023-03-12 20:26:51] [INFO ] Parsed PT model containing 174 places and 318 transitions and 1380 arcs in 117 ms.
[2023-03-12 20:26:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 174 places, 318 transitions and 1380 arcs took 6 ms.
Total runtime 150 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 5
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: 174 places, 318 transitions, 1380 arcs.
AT ITER 0 NEW BEST:: SOT 26833 SOS 16577 HAS SOPS 15068 HAS SOUS 12859 HAS SOUPS 12278 WITH SCORE 12294.577
AT ITER 1 NEW BEST:: SOT 26728 SOS 16487 HAS SOPS 14963 HAS SOUS 12769 HAS SOUPS 12173 WITH SCORE 12189.487
AT ITER 4 NEW BEST:: SOT 26728 SOS 16477 HAS SOPS 14953 HAS SOUS 12759 HAS SOUPS 12163 WITH SCORE 12179.477
AT ITER 15 NEW BEST:: SOT 26427 SOS 16212 HAS SOPS 14627 HAS SOUS 12476 HAS SOUPS 11837 WITH SCORE 11853.212
AT ITER 16 NEW BEST:: SOT 26351 SOS 16174 HAS SOPS 14475 HAS SOUS 12324 HAS SOUPS 11666 WITH SCORE 11682.174
AT ITER 22 NEW BEST:: SOT 26351 SOS 16178 HAS SOPS 14454 HAS SOUS 12303 HAS SOUPS 11645 WITH SCORE 11661.178
AT ITER 32 NEW BEST:: SOT 26153 SOS 16016 HAS SOPS 14292 HAS SOUS 12141 HAS SOUPS 11483 WITH SCORE 11499.016
AT ITER 38 NEW BEST:: SOT 26113 SOS 15988 HAS SOPS 14252 HAS SOUS 12113 HAS SOUPS 11443 WITH SCORE 11458.988
AT ITER 39 NEW BEST:: SOT 26113 SOS 15870 HAS SOPS 14134 HAS SOUS 12103 HAS SOUPS 11433 WITH SCORE 11448.87
AT ITER 45 NEW BEST:: SOT 25796 SOS 15643 HAS SOPS 13792 HAS SOUS 11807 HAS SOUPS 11091 WITH SCORE 11106.643
AT ITER 48 NEW BEST:: SOT 25830 SOS 15706 HAS SOPS 13535 HAS SOUS 11720 HAS SOUPS 10844 WITH SCORE 10859.706
AT ITER 50 NEW BEST:: SOT 25776 SOS 15670 HAS SOPS 13481 HAS SOUS 11685 HAS SOUPS 10790 WITH SCORE 10805.67
AT ITER 62 NEW BEST:: SOT 25809 SOS 15749 HAS SOPS 13432 HAS SOUS 11728 HAS SOUPS 10718 WITH SCORE 10733.749
AT ITER 78 NEW BEST:: SOT 25794 SOS 15711 HAS SOPS 13394 HAS SOUS 11690 HAS SOUPS 10680 WITH SCORE 10695.711
AT ITER 83 NEW BEST:: SOT 25785 SOS 15553 HAS SOPS 13157 HAS SOUS 11594 HAS SOUPS 10584 WITH SCORE 10599.553
AT ITER 84 NEW BEST:: SOT 25677 SOS 15544 HAS SOPS 13079 HAS SOUS 11555 HAS SOUPS 10509 WITH SCORE 10524.544
AT ITER 94 NEW BEST:: SOT 25677 SOS 15555 HAS SOPS 13054 HAS SOUS 11589 HAS SOUPS 10484 WITH SCORE 10499.555
AT ITER 102 NEW BEST:: SOT 25805 SOS 15779 HAS SOPS 12730 HAS SOUS 11588 HAS SOUPS 10160 WITH SCORE 10175.779
AT ITER 107 NEW BEST:: SOT 25804 SOS 15778 HAS SOPS 12730 HAS SOUS 11584 HAS SOUPS 10156 WITH SCORE 10171.778
AT ITER 110 NEW BEST:: SOT 25852 SOS 15827 HAS SOPS 12539 HAS SOUS 11393 HAS SOUPS 9965 WITH SCORE 9980.827
AT ITER 111 NEW BEST:: SOT 25817 SOS 15792 HAS SOPS 12504 HAS SOUS 11351 HAS SOUPS 9923 WITH SCORE 9938.792
AT ITER 115 NEW BEST:: SOT 25881 SOS 15880 HAS SOPS 12502 HAS SOUS 11337 HAS SOUPS 9909 WITH SCORE 9924.88
AT ITER 117 NEW BEST:: SOT 25836 SOS 15847 HAS SOPS 12457 HAS SOUS 11309 HAS SOUPS 9864 WITH SCORE 9879.847
AT ITER 127 NEW BEST:: SOT 25722 SOS 15874 HAS SOPS 12343 HAS SOUS 11253 HAS SOUPS 9750 WITH SCORE 9765.874
AT ITER 131 NEW BEST:: SOT 25652 SOS 15804 HAS SOPS 12273 HAS SOUS 11183 HAS SOUPS 9680 WITH SCORE 9695.804
AT ITER 134 NEW BEST:: SOT 25750 SOS 15920 HAS SOPS 12264 HAS SOUS 11154 HAS SOUPS 9671 WITH SCORE 9686.92
AT ITER 151 NEW BEST:: SOT 25742 SOS 15912 HAS SOPS 12256 HAS SOUS 11146 HAS SOUPS 9663 WITH SCORE 9678.912
AT ITER 155 NEW BEST:: SOT 25638 SOS 15812 HAS SOPS 12117 HAS SOUS 10897 HAS SOUPS 9414 WITH SCORE 9429.812
AT ITER 162 NEW BEST:: SOT 25638 SOS 15809 HAS SOPS 12114 HAS SOUS 10894 HAS SOUPS 9411 WITH SCORE 9426.809
AT ITER 163 NEW BEST:: SOT 25562 SOS 15791 HAS SOPS 12013 HAS SOUS 10833 HAS SOUPS 9310 WITH SCORE 9325.791
AT ITER 173 NEW BEST:: SOT 25543 SOS 15779 HAS SOPS 11956 HAS SOUS 10790 HAS SOUPS 9253 WITH SCORE 9268.779
AT ITER 180 NEW BEST:: SOT 25542 SOS 15773 HAS SOPS 11951 HAS SOUS 10787 HAS SOUPS 9250 WITH SCORE 9265.773
AT ITER 183 NEW BEST:: SOT 25341 SOS 15680 HAS SOPS 11867 HAS SOUS 10654 HAS SOUPS 9117 WITH SCORE 9132.68
AT ITER 193 NEW BEST:: SOT 25322 SOS 15764 HAS SOPS 11862 HAS SOUS 10753 HAS SOUPS 9112 WITH SCORE 9127.764
AT ITER 197 NEW BEST:: SOT 25310 SOS 15752 HAS SOPS 11848 HAS SOUS 10739 HAS SOUPS 9098 WITH SCORE 9113.752
AT ITER 198 NEW BEST:: SOT 25000 SOS 15485 HAS SOPS 11538 HAS SOUS 10523 HAS SOUPS 8788 WITH SCORE 8803.485
AT ITER 211 NEW BEST:: SOT 24920 SOS 15400 HAS SOPS 11373 HAS SOUS 10368 HAS SOUPS 8633 WITH SCORE 8648.4
AT ITER 215 NEW BEST:: SOT 24916 SOS 15396 HAS SOPS 11369 HAS SOUS 10364 HAS SOUPS 8629 WITH SCORE 8644.396
AT ITER 218 NEW BEST:: SOT 24846 SOS 15416 HAS SOPS 11297 HAS SOUS 10378 HAS SOUPS 8557 WITH SCORE 8572.416
AT ITER 251 NEW BEST:: SOT 24854 SOS 15433 HAS SOPS 11314 HAS SOUS 10343 HAS SOUPS 8522 WITH SCORE 8537.433
AT ITER 261 NEW BEST:: SOT 24847 SOS 15426 HAS SOPS 11307 HAS SOUS 10336 HAS SOUPS 8515 WITH SCORE 8530.426
AT ITER 264 NEW BEST:: SOT 24847 SOS 15506 HAS SOPS 11317 HAS SOUS 10304 HAS SOUPS 8469 WITH SCORE 8484.506
AT ITER 265 NEW BEST:: SOT 24841 SOS 15500 HAS SOPS 11307 HAS SOUS 10298 HAS SOUPS 8459 WITH SCORE 8474.5
AT ITER 279 NEW BEST:: SOT 24823 SOS 15481 HAS SOPS 11270 HAS SOUS 10260 HAS SOUPS 8422 WITH SCORE 8437.481
AT ITER 307 NEW BEST:: SOT 24818 SOS 15476 HAS SOPS 11260 HAS SOUS 10250 HAS SOUPS 8412 WITH SCORE 8427.476
AT ITER 316 NEW BEST:: SOT 24815 SOS 15473 HAS SOPS 11257 HAS SOUS 10247 HAS SOUPS 8409 WITH SCORE 8424.473
AT ITER 321 NEW BEST:: SOT 24811 SOS 15469 HAS SOPS 11253 HAS SOUS 10243 HAS SOUPS 8405 WITH SCORE 8420.469
AT ITER 328 NEW BEST:: SOT 24840 SOS 15498 HAS SOPS 11315 HAS SOUS 10173 HAS SOUPS 8335 WITH SCORE 8350.498
AT ITER 343 NEW BEST:: SOT 24839 SOS 15497 HAS SOPS 11314 HAS SOUS 10172 HAS SOUPS 8334 WITH SCORE 8349.497
AT ITER 364 NEW BEST:: SOT 24835 SOS 15493 HAS SOPS 11306 HAS SOUS 10168 HAS SOUPS 8326 WITH SCORE 8341.493
AT ITER 369 NEW BEST:: SOT 24833 SOS 15491 HAS SOPS 11287 HAS SOUS 10154 HAS SOUPS 8307 WITH SCORE 8322.491
AT ITER 385 NEW BEST:: SOT 24827 SOS 15491 HAS SOPS 11251 HAS SOUS 10118 HAS SOUPS 8271 WITH SCORE 8286.491
AT ITER 395 NEW BEST:: SOT 24827 SOS 15467 HAS SOPS 11227 HAS SOUS 10110 HAS SOUPS 8263 WITH SCORE 8278.467
AT ITER 420 NEW BEST:: SOT 24825 SOS 15465 HAS SOPS 11225 HAS SOUS 10108 HAS SOUPS 8261 WITH SCORE 8276.465
AT ITER 421 NEW BEST:: SOT 24830 SOS 15556 HAS SOPS 11292 HAS SOUS 10028 HAS SOUPS 8181 WITH SCORE 8196.556
AT ITER 445 NEW BEST:: SOT 24669 SOS 15525 HAS SOPS 11268 HAS SOUS 9862 HAS SOUPS 8015 WITH SCORE 8030.525
AT ITER 485 NEW BEST:: SOT 24662 SOS 15518 HAS SOPS 11254 HAS SOUS 9853 HAS SOUPS 8001 WITH SCORE 8016.518
AT ITER 490 NEW BEST:: SOT 24645 SOS 15494 HAS SOPS 11243 HAS SOUS 9829 HAS SOUPS 7990 WITH SCORE 8005.494
AT ITER 495 NEW BEST:: SOT 24631 SOS 15480 HAS SOPS 11229 HAS SOUS 9815 HAS SOUPS 7976 WITH SCORE 7991.48
AT ITER 504 NEW BEST:: SOT 24627 SOS 15478 HAS SOPS 11208 HAS SOUS 9809 HAS SOUPS 7955 WITH SCORE 7970.478
AT ITER 509 NEW BEST:: SOT 24633 SOS 15484 HAS SOPS 11207 HAS SOUS 9815 HAS SOUPS 7954 WITH SCORE 7969.484
AT ITER 510 NEW BEST:: SOT 24609 SOS 15458 HAS SOPS 11206 HAS SOUS 9815 HAS SOUPS 7954 WITH SCORE 7969.458
AT ITER 512 NEW BEST:: SOT 24603 SOS 15398 HAS SOPS 11097 HAS SOUS 9767 HAS SOUPS 7906 WITH SCORE 7921.398
AT ITER 517 NEW BEST:: SOT 24603 SOS 15236 HAS SOPS 10935 HAS SOUS 9754 HAS SOUPS 7893 WITH SCORE 7908.236
AT ITER 518 NEW BEST:: SOT 24592 SOS 15191 HAS SOPS 10899 HAS SOUS 9715 HAS SOUPS 7857 WITH SCORE 7872.191
AT ITER 574 NEW BEST:: SOT 24544 SOS 15143 HAS SOPS 10851 HAS SOUS 9651 HAS SOUPS 7793 WITH SCORE 7808.143
AT ITER 584 NEW BEST:: SOT 24544 SOS 15122 HAS SOPS 10830 HAS SOUS 9648 HAS SOUPS 7790 WITH SCORE 7805.122
AT ITER 587 NEW BEST:: SOT 24540 SOS 15118 HAS SOPS 10826 HAS SOUS 9644 HAS SOUPS 7786 WITH SCORE 7801.118
AT ITER 603 NEW BEST:: SOT 24540 SOS 15119 HAS SOPS 10827 HAS SOUS 9643 HAS SOUPS 7785 WITH SCORE 7800.119
AT ITER 605 NEW BEST:: SOT 24528 SOS 15107 HAS SOPS 10811 HAS SOUS 9627 HAS SOUPS 7769 WITH SCORE 7784.107
AT ITER 625 NEW BEST:: SOT 24545 SOS 15124 HAS SOPS 10839 HAS SOUS 9584 HAS SOUPS 7737 WITH SCORE 7752.124
AT ITER 627 NEW BEST:: SOT 24537 SOS 15088 HAS SOPS 10798 HAS SOUS 9532 HAS SOUPS 7685 WITH SCORE 7700.088
AT ITER 639 NEW BEST:: SOT 24338 SOS 14889 HAS SOPS 10562 HAS SOUS 9331 HAS SOUPS 7449 WITH SCORE 7463.889
AT ITER 645 NEW BEST:: SOT 24318 SOS 14897 HAS SOPS 10531 HAS SOUS 9363 HAS SOUPS 7418 WITH SCORE 7432.897
AT ITER 665 NEW BEST:: SOT 24313 SOS 14893 HAS SOPS 10527 HAS SOUS 9359 HAS SOUPS 7414 WITH SCORE 7428.893
AT ITER 681 NEW BEST:: SOT 24313 SOS 14889 HAS SOPS 10516 HAS SOUS 9348 HAS SOUPS 7403 WITH SCORE 7417.889
AT ITER 694 NEW BEST:: SOT 24258 SOS 14834 HAS SOPS 10476 HAS SOUS 9308 HAS SOUPS 7363 WITH SCORE 7377.834
AT ITER 697 NEW BEST:: SOT 24258 SOS 14824 HAS SOPS 10475 HAS SOUS 9307 HAS SOUPS 7362 WITH SCORE 7376.824
AT ITER 703 NEW BEST:: SOT 24256 SOS 14822 HAS SOPS 10471 HAS SOUS 9305 HAS SOUPS 7358 WITH SCORE 7372.822
AT ITER 711 NEW BEST:: SOT 24244 SOS 14810 HAS SOPS 10461 HAS SOUS 9295 HAS SOUPS 7348 WITH SCORE 7362.81
AT ITER 717 NEW BEST:: SOT 24219 SOS 14785 HAS SOPS 10411 HAS SOUS 9270 HAS SOUPS 7298 WITH SCORE 7312.785
AT ITER 764 NEW BEST:: SOT 24215 SOS 14801 HAS SOPS 10413 HAS SOUS 9242 HAS SOUPS 7270 WITH SCORE 7284.801
AT ITER 770 NEW BEST:: SOT 24215 SOS 14787 HAS SOPS 10394 HAS SOUS 9223 HAS SOUPS 7251 WITH SCORE 7265.787
AT ITER 778 NEW BEST:: SOT 24182 SOS 14668 HAS SOPS 10271 HAS SOUS 9167 HAS SOUPS 7195 WITH SCORE 7209.668
AT ITER 788 NEW BEST:: SOT 24192 SOS 14660 HAS SOPS 10263 HAS SOUS 9163 HAS SOUPS 7191 WITH SCORE 7205.66
AT ITER 796 NEW BEST:: SOT 24191 SOS 14659 HAS SOPS 10261 HAS SOUS 9162 HAS SOUPS 7189 WITH SCORE 7203.659
AT ITER 797 NEW BEST:: SOT 24185 SOS 14752 HAS SOPS 10382 HAS SOUS 9132 HAS SOUPS 7159 WITH SCORE 7173.752
AT ITER 802 NEW BEST:: SOT 24128 SOS 14751 HAS SOPS 10325 HAS SOUS 9125 HAS SOUPS 7122 WITH SCORE 7136.751
AT ITER 818 NEW BEST:: SOT 24124 SOS 14747 HAS SOPS 10318 HAS SOUS 9118 HAS SOUPS 7115 WITH SCORE 7129.747
AT ITER 819 NEW BEST:: SOT 24097 SOS 14717 HAS SOPS 10276 HAS SOUS 9123 HAS SOUPS 7113 WITH SCORE 7127.717
AT ITER 837 NEW BEST:: SOT 24097 SOS 14697 HAS SOPS 10256 HAS SOUS 9123 HAS SOUPS 7113 WITH SCORE 7127.697
AT ITER 844 NEW BEST:: SOT 24097 SOS 14697 HAS SOPS 10255 HAS SOUS 9122 HAS SOUPS 7112 WITH SCORE 7126.697
AT ITER 850 NEW BEST:: SOT 24084 SOS 14685 HAS SOPS 10230 HAS SOUS 9111 HAS SOUPS 7087 WITH SCORE 7101.685
AT ITER 877 NEW BEST:: SOT 24088 SOS 14673 HAS SOPS 10230 HAS SOUS 9095 HAS SOUPS 7079 WITH SCORE 7093.673
AT ITER 890 NEW BEST:: SOT 24082 SOS 14669 HAS SOPS 10237 HAS SOUS 9078 HAS SOUPS 7069 WITH SCORE 7083.669
AT ITER 904 NEW BEST:: SOT 24082 SOS 14721 HAS SOPS 10384 HAS SOUS 9077 HAS SOUPS 7068 WITH SCORE 7082.721
AT ITER 906 NEW BEST:: SOT 24095 SOS 14734 HAS SOPS 10401 HAS SOUS 9052 HAS SOUPS 7047 WITH SCORE 7061.734
AT ITER 914 NEW BEST:: SOT 24095 SOS 14734 HAS SOPS 10399 HAS SOUS 9050 HAS SOUPS 7045 WITH SCORE 7059.734
AT ITER 923 NEW BEST:: SOT 24097 SOS 14734 HAS SOPS 10402 HAS SOUS 9048 HAS SOUPS 7044 WITH SCORE 7058.734
AT ITER 927 NEW BEST:: SOT 24097 SOS 14734 HAS SOPS 10396 HAS SOUS 9048 HAS SOUPS 7038 WITH SCORE 7052.734
AT ITER 931 NEW BEST:: SOT 24065 SOS 14682 HAS SOPS 10344 HAS SOUS 8998 HAS SOUPS 6988 WITH SCORE 7002.682
AT ITER 936 NEW BEST:: SOT 24073 SOS 14691 HAS SOPS 10355 HAS SOUS 8986 HAS SOUPS 6978 WITH SCORE 6992.691
AT ITER 977 NEW BEST:: SOT 24073 SOS 14685 HAS SOPS 10349 HAS SOUS 8985 HAS SOUPS 6977 WITH SCORE 6991.685
AT ITER 982 NEW BEST:: SOT 24067 SOS 14679 HAS SOPS 10343 HAS SOUS 8979 HAS SOUPS 6971 WITH SCORE 6985.679
AT ITER 992 NEW BEST:: SOT 24055 SOS 14667 HAS SOPS 10317 HAS SOUS 8975 HAS SOUPS 6945 WITH SCORE 6959.667
AT ITER 1021 NEW BEST:: SOT 23852 SOS 14464 HAS SOPS 10108 HAS SOUS 8786 HAS SOUPS 6756 WITH SCORE 6770.464
AT ITER 1024 NEW BEST:: SOT 23847 SOS 14459 HAS SOPS 10103 HAS SOUS 8780 HAS SOUPS 6750 WITH SCORE 6764.459
AT ITER 1026 NEW BEST:: SOT 23822 SOS 14436 HAS SOPS 10080 HAS SOUS 8752 HAS SOUPS 6722 WITH SCORE 6736.436
AT ITER 1068 NEW BEST:: SOT 23810 SOS 14432 HAS SOPS 10068 HAS SOUS 8744 HAS SOUPS 6710 WITH SCORE 6724.432
AT ITER 1094 NEW BEST:: SOT 23806 SOS 14428 HAS SOPS 10062 HAS SOUS 8735 HAS SOUPS 6704 WITH SCORE 6718.428
AT ITER 1111 NEW BEST:: SOT 23808 SOS 14430 HAS SOPS 10044 HAS SOUS 8737 HAS SOUPS 6686 WITH SCORE 6700.43
AT ITER 1113 NEW BEST:: SOT 23805 SOS 14427 HAS SOPS 10041 HAS SOUS 8734 HAS SOUPS 6683 WITH SCORE 6697.427
AT ITER 1133 NEW BEST:: SOT 23805 SOS 14428 HAS SOPS 10041 HAS SOUS 8733 HAS SOUPS 6682 WITH SCORE 6696.428
AT ITER 1137 NEW BEST:: SOT 23804 SOS 14427 HAS SOPS 10039 HAS SOUS 8732 HAS SOUPS 6680 WITH SCORE 6694.427
AT ITER 1190 NEW BEST:: SOT 23795 SOS 14464 HAS SOPS 10048 HAS SOUS 8668 HAS SOUPS 6616 WITH SCORE 6630.464
AT ITER 1288 NEW BEST:: SOT 23792 SOS 14461 HAS SOPS 10047 HAS SOUS 8665 HAS SOUPS 6615 WITH SCORE 6629.461
AT ITER 1296 NEW BEST:: SOT 23785 SOS 14454 HAS SOPS 10007 HAS SOUS 8658 HAS SOUPS 6575 WITH SCORE 6589.454
AT ITER 1304 NEW BEST:: SOT 23703 SOS 14402 HAS SOPS 9767 HAS SOUS 8520 HAS SOUPS 6437 WITH SCORE 6451.402
AT ITER 1310 NEW BEST:: SOT 23748 SOS 14449 HAS SOPS 9822 HAS SOUS 8485 HAS SOUPS 6410 WITH SCORE 6424.449
AT ITER 1312 NEW BEST:: SOT 23741 SOS 14442 HAS SOPS 9806 HAS SOUS 8478 HAS SOUPS 6394 WITH SCORE 6408.442
AT ITER 1320 NEW BEST:: SOT 23701 SOS 14402 HAS SOPS 9766 HAS SOUS 8438 HAS SOUPS 6354 WITH SCORE 6368.402
AT ITER 1405 NEW BEST:: SOT 23683 SOS 14384 HAS SOPS 9750 HAS SOUS 8419 HAS SOUPS 6338 WITH SCORE 6352.384
AT ITER 1421 NEW BEST:: SOT 23684 SOS 14375 HAS SOPS 9745 HAS SOUS 8398 HAS SOUPS 6319 WITH SCORE 6333.375
AT ITER 1459 NEW BEST:: SOT 23672 SOS 14363 HAS SOPS 9705 HAS SOUS 8386 HAS SOUPS 6279 WITH SCORE 6293.363
AT ITER 1531 NEW BEST:: SOT 23672 SOS 14362 HAS SOPS 9704 HAS SOUS 8386 HAS SOUPS 6279 WITH SCORE 6293.362
AT ITER 1578 NEW BEST:: SOT 23669 SOS 14359 HAS SOPS 9703 HAS SOUS 8359 HAS SOUPS 6278 WITH SCORE 6292.359
AT ITER 1580 NEW BEST:: SOT 23667 SOS 14357 HAS SOPS 9701 HAS SOUS 8357 HAS SOUPS 6276 WITH SCORE 6290.357
AT ITER 1604 NEW BEST:: SOT 23670 SOS 14360 HAS SOPS 9700 HAS SOUS 8356 HAS SOUPS 6275 WITH SCORE 6289.36
AT ITER 1636 NEW BEST:: SOT 23648 SOS 14338 HAS SOPS 9669 HAS SOUS 8325 HAS SOUPS 6244 WITH SCORE 6258.338
AT ITER 1693 NEW BEST:: SOT 23648 SOS 14271 HAS SOPS 9669 HAS SOUS 8284 HAS SOUPS 6244 WITH SCORE 6258.271
AT ITER 1709 NEW BEST:: SOT 23648 SOS 14249 HAS SOPS 9647 HAS SOUS 8273 HAS SOUPS 6233 WITH SCORE 6247.249
AT ITER 1734 NEW BEST:: SOT 23647 SOS 14248 HAS SOPS 9645 HAS SOUS 8272 HAS SOUPS 6231 WITH SCORE 6245.248
AT ITER 1759 NEW BEST:: SOT 23647 SOS 14246 HAS SOPS 9645 HAS SOUS 8272 HAS SOUPS 6231 WITH SCORE 6245.246
AT ITER 1784 NEW BEST:: SOT 23642 SOS 14261 HAS SOPS 9636 HAS SOUS 8295 HAS SOUPS 6222 WITH SCORE 6236.261
AT ITER 1788 NEW BEST:: SOT 23623 SOS 14216 HAS SOPS 9598 HAS SOUS 8270 HAS SOUPS 6197 WITH SCORE 6211.216
AT ITER 1793 NEW BEST:: SOT 23623 SOS 14219 HAS SOPS 9601 HAS SOUS 8261 HAS SOUPS 6188 WITH SCORE 6202.219
AT ITER 1801 NEW BEST:: SOT 23620 SOS 14216 HAS SOPS 9598 HAS SOUS 8258 HAS SOUPS 6185 WITH SCORE 6199.216
AT ITER 1825 NEW BEST:: SOT 23606 SOS 14202 HAS SOPS 9589 HAS SOUS 8244 HAS SOUPS 6176 WITH SCORE 6190.202
AT ITER 1906 NEW BEST:: SOT 23606 SOS 14202 HAS SOPS 9581 HAS SOUS 8236 HAS SOUPS 6168 WITH SCORE 6182.202
AT ITER 1924 NEW BEST:: SOT 23546 SOS 14154 HAS SOPS 9533 HAS SOUS 8178 HAS SOUPS 6110 WITH SCORE 6124.154
AT ITER 1937 NEW BEST:: SOT 23547 SOS 14166 HAS SOPS 9509 HAS SOUS 8180 HAS SOUPS 6086 WITH SCORE 6100.166
AT ITER 1953 NEW BEST:: SOT 23533 SOS 14182 HAS SOPS 9495 HAS SOUS 8171 HAS SOUPS 6072 WITH SCORE 6086.182
AT ITER 1956 NEW BEST:: SOT 23516 SOS 14158 HAS SOPS 9471 HAS SOUS 8147 HAS SOUPS 6048 WITH SCORE 6062.158
AT ITER 2006 NEW BEST:: SOT 23499 SOS 14141 HAS SOPS 9454 HAS SOUS 8130 HAS SOUPS 6031 WITH SCORE 6045.141
AT ITER 2028 NEW BEST:: SOT 23499 SOS 14050 HAS SOPS 9363 HAS SOUS 8123 HAS SOUPS 6024 WITH SCORE 6038.05
AT ITER 2033 NEW BEST:: SOT 23451 SOS 14026 HAS SOPS 9319 HAS SOUS 8067 HAS SOUPS 5968 WITH SCORE 5982.026
AT ITER 2067 NEW BEST:: SOT 23439 SOS 13955 HAS SOPS 9293 HAS SOUS 7968 HAS SOUPS 5884 WITH SCORE 5897.955
AT ITER 2074 NEW BEST:: SOT 23414 SOS 13935 HAS SOPS 9273 HAS SOUS 7943 HAS SOUPS 5859 WITH SCORE 5872.935
AT ITER 2093 NEW BEST:: SOT 23412 SOS 13933 HAS SOPS 9271 HAS SOUS 7941 HAS SOUPS 5857 WITH SCORE 5870.933
AT ITER 2190 NEW BEST:: SOT 23412 SOS 13929 HAS SOPS 9267 HAS SOUS 7941 HAS SOUPS 5857 WITH SCORE 5870.929
AT ITER 2229 NEW BEST:: SOT 23382 SOS 13904 HAS SOPS 9225 HAS SOUS 7918 HAS SOUPS 5817 WITH SCORE 5830.904
AT ITER 2233 NEW BEST:: SOT 23376 SOS 13898 HAS SOPS 9220 HAS SOUS 7912 HAS SOUPS 5812 WITH SCORE 5825.898
AT ITER 2319 NEW BEST:: SOT 23366 SOS 13886 HAS SOPS 9200 HAS SOUS 7892 HAS SOUPS 5792 WITH SCORE 5805.886
AT ITER 2323 NEW BEST:: SOT 23364 SOS 13884 HAS SOPS 9198 HAS SOUS 7890 HAS SOUPS 5790 WITH SCORE 5803.884
AT ITER 2385 NEW BEST:: SOT 23365 SOS 13885 HAS SOPS 9195 HAS SOUS 7891 HAS SOUPS 5787 WITH SCORE 5800.885
AT ITER 2398 NEW BEST:: SOT 23375 SOS 13763 HAS SOPS 9038 HAS SOUS 7863 HAS SOUPS 5759 WITH SCORE 5772.763
AT ITER 2401 NEW BEST:: SOT 23372 SOS 13760 HAS SOPS 9032 HAS SOUS 7860 HAS SOUPS 5753 WITH SCORE 5766.76
AT ITER 2406 NEW BEST:: SOT 23336 SOS 13724 HAS SOPS 8996 HAS SOUS 7828 HAS SOUPS 5721 WITH SCORE 5734.724
AT ITER 2408 NEW BEST:: SOT 23336 SOS 13724 HAS SOPS 8993 HAS SOUS 7828 HAS SOUPS 5718 WITH SCORE 5731.724
AT ITER 2413 NEW BEST:: SOT 23273 SOS 13679 HAS SOPS 8948 HAS SOUS 7772 HAS SOUPS 5662 WITH SCORE 5675.679
AT ITER 2426 NEW BEST:: SOT 23273 SOS 13677 HAS SOPS 8948 HAS SOUS 7772 HAS SOUPS 5662 WITH SCORE 5675.677
AT ITER 2429 NEW BEST:: SOT 23272 SOS 13677 HAS SOPS 8947 HAS SOUS 7771 HAS SOUPS 5661 WITH SCORE 5674.677
AT ITER 2437 NEW BEST:: SOT 23271 SOS 13670 HAS SOPS 8947 HAS SOUS 7770 HAS SOUPS 5661 WITH SCORE 5674.67
AT ITER 2487 NEW BEST:: SOT 23267 SOS 13657 HAS SOPS 8943 HAS SOUS 7757 HAS SOUPS 5657 WITH SCORE 5670.657
AT ITER 2507 NEW BEST:: SOT 23267 SOS 13662 HAS SOPS 8948 HAS SOUS 7742 HAS SOUPS 5642 WITH SCORE 5655.662
AT ITER 2511 NEW BEST:: SOT 23262 SOS 13667 HAS SOPS 8948 HAS SOUS 7737 HAS SOUPS 5637 WITH SCORE 5650.667
AT ITER 2549 NEW BEST:: SOT 23255 SOS 13660 HAS SOPS 8941 HAS SOUS 7730 HAS SOUPS 5630 WITH SCORE 5643.66
AT ITER 2589 NEW BEST:: SOT 23255 SOS 13658 HAS SOPS 8940 HAS SOUS 7729 HAS SOUPS 5629 WITH SCORE 5642.658
AT ITER 2632 NEW BEST:: SOT 23253 SOS 13656 HAS SOPS 8938 HAS SOUS 7727 HAS SOUPS 5627 WITH SCORE 5640.656
AT ITER 2641 NEW BEST:: SOT 23253 SOS 13640 HAS SOPS 8922 HAS SOUS 7727 HAS SOUPS 5627 WITH SCORE 5640.64
AT ITER 2727 NEW BEST:: SOT 23247 SOS 13634 HAS SOPS 8916 HAS SOUS 7721 HAS SOUPS 5621 WITH SCORE 5634.634
AT ITER 2745 NEW BEST:: SOT 23240 SOS 13627 HAS SOPS 8908 HAS SOUS 7713 HAS SOUPS 5613 WITH SCORE 5626.627
AT ITER 2752 NEW BEST:: SOT 23234 SOS 13621 HAS SOPS 8904 HAS SOUS 7707 HAS SOUPS 5609 WITH SCORE 5622.621
AT ITER 2773 NEW BEST:: SOT 23224 SOS 13611 HAS SOPS 8894 HAS SOUS 7699 HAS SOUPS 5599 WITH SCORE 5612.611
AT ITER 2783 NEW BEST:: SOT 23222 SOS 13619 HAS SOPS 8875 HAS SOUS 7700 HAS SOUPS 5575 WITH SCORE 5588.619
AT ITER 2791 NEW BEST:: SOT 23222 SOS 13674 HAS SOPS 8867 HAS SOUS 7727 HAS SOUPS 5567 WITH SCORE 5580.674
AT ITER 2794 NEW BEST:: SOT 23193 SOS 13645 HAS SOPS 8853 HAS SOUS 7708 HAS SOUPS 5548 WITH SCORE 5561.645
AT ITER 2812 NEW BEST:: SOT 23193 SOS 13639 HAS SOPS 8853 HAS SOUS 7699 HAS SOUPS 5548 WITH SCORE 5561.639
AT ITER 2848 NEW BEST:: SOT 23187 SOS 13633 HAS SOPS 8840 HAS SOUS 7693 HAS SOUPS 5535 WITH SCORE 5548.633
AT ITER 2909 NEW BEST:: SOT 23182 SOS 13628 HAS SOPS 8836 HAS SOUS 7688 HAS SOUPS 5531 WITH SCORE 5544.628
AT ITER 2992 NEW BEST:: SOT 23171 SOS 13614 HAS SOPS 8822 HAS SOUS 7674 HAS SOUPS 5517 WITH SCORE 5530.614
AT ITER 3010 NEW BEST:: SOT 23169 SOS 13612 HAS SOPS 8818 HAS SOUS 7672 HAS SOUPS 5513 WITH SCORE 5526.612
AT ITER 3142 NEW BEST:: SOT 23177 SOS 13582 HAS SOPS 8763 HAS SOUS 7658 HAS SOUPS 5499 WITH SCORE 5512.582
AT ITER 3158 NEW BEST:: SOT 23143 SOS 13557 HAS SOPS 8727 HAS SOUS 7680 HAS SOUPS 5499 WITH SCORE 5512.557
AT ITER 3167 NEW BEST:: SOT 23151 SOS 13565 HAS SOPS 8719 HAS SOUS 7672 HAS SOUPS 5491 WITH SCORE 5504.565
AT ITER 3207 NEW BEST:: SOT 23150 SOS 13560 HAS SOPS 8716 HAS SOUS 7665 HAS SOUPS 5486 WITH SCORE 5499.56
AT ITER 3225 NEW BEST:: SOT 23150 SOS 13557 HAS SOPS 8716 HAS SOUS 7660 HAS SOUPS 5486 WITH SCORE 5499.557
AT ITER 3299 NEW BEST:: SOT 23144 SOS 13562 HAS SOPS 8715 HAS SOUS 7659 HAS SOUPS 5485 WITH SCORE 5498.562
AT ITER 3317 NEW BEST:: SOT 23144 SOS 13567 HAS SOPS 8715 HAS SOUS 7654 HAS SOUPS 5480 WITH SCORE 5493.567
AT ITER 3323 NEW BEST:: SOT 23144 SOS 13525 HAS SOPS 8715 HAS SOUS 7640 HAS SOUPS 5480 WITH SCORE 5493.525
AT ITER 3330 NEW BEST:: SOT 23144 SOS 13530 HAS SOPS 8720 HAS SOUS 7639 HAS SOUPS 5479 WITH SCORE 5492.53
AT ITER 3364 NEW BEST:: SOT 23177 SOS 13568 HAS SOPS 8774 HAS SOUS 7626 HAS SOUPS 5478 WITH SCORE 5491.568
AT ITER 3383 NEW BEST:: SOT 23157 SOS 13548 HAS SOPS 8734 HAS SOUS 7586 HAS SOUPS 5438 WITH SCORE 5451.548
AT ITER 3416 NEW BEST:: SOT 23122 SOS 13553 HAS SOPS 8685 HAS SOUS 7581 HAS SOUPS 5428 WITH SCORE 5441.553
AT ITER 3560 NEW BEST:: SOT 23122 SOS 13547 HAS SOPS 8682 HAS SOUS 7581 HAS SOUPS 5428 WITH SCORE 5441.547
AT ITER 3620 NEW BEST:: SOT 23109 SOS 13546 HAS SOPS 8669 HAS SOUS 7582 HAS SOUPS 5423 WITH SCORE 5436.546
AT ITER 3631 NEW BEST:: SOT 23109 SOS 13579 HAS SOPS 8693 HAS SOUS 7580 HAS SOUPS 5421 WITH SCORE 5434.579
AT ITER 3684 NEW BEST:: SOT 23107 SOS 13591 HAS SOPS 8687 HAS SOUS 7603 HAS SOUPS 5415 WITH SCORE 5428.591
AT ITER 3736 NEW BEST:: SOT 23111 SOS 13604 HAS SOPS 8695 HAS SOUS 7602 HAS SOUPS 5414 WITH SCORE 5427.604
AT ITER 3769 NEW BEST:: SOT 23111 SOS 13614 HAS SOPS 8705 HAS SOUS 7599 HAS SOUPS 5411 WITH SCORE 5424.614
AT ITER 3816 NEW BEST:: SOT 23107 SOS 13597 HAS SOPS 8700 HAS SOUS 7582 HAS SOUPS 5406 WITH SCORE 5419.597
AT ITER 3863 NEW BEST:: SOT 23107 SOS 13593 HAS SOPS 8700 HAS SOUS 7574 HAS SOUPS 5406 WITH SCORE 5419.593
AT ITER 3924 NEW BEST:: SOT 23101 SOS 13587 HAS SOPS 8696 HAS SOUS 7568 HAS SOUPS 5402 WITH SCORE 5415.587
AT ITER 3937 NEW BEST:: SOT 23100 SOS 13586 HAS SOPS 8694 HAS SOUS 7567 HAS SOUPS 5400 WITH SCORE 5413.586
AT ITER 3938 NEW BEST:: SOT 23064 SOS 13550 HAS SOPS 8658 HAS SOUS 7531 HAS SOUPS 5364 WITH SCORE 5377.55
AT ITER 3981 NEW BEST:: SOT 23064 SOS 13554 HAS SOPS 8662 HAS SOUS 7529 HAS SOUPS 5362 WITH SCORE 5375.554
AT ITER 4015 NEW BEST:: SOT 23064 SOS 13548 HAS SOPS 8656 HAS SOUS 7528 HAS SOUPS 5361 WITH SCORE 5374.548
AT ITER 4057 NEW BEST:: SOT 23062 SOS 13546 HAS SOPS 8652 HAS SOUS 7526 HAS SOUPS 5357 WITH SCORE 5370.546
AT ITER 4076 NEW BEST:: SOT 23061 SOS 13545 HAS SOPS 8650 HAS SOUS 7525 HAS SOUPS 5355 WITH SCORE 5368.545
AT ITER 4254 NEW BEST:: SOT 23060 SOS 13544 HAS SOPS 8648 HAS SOUS 7524 HAS SOUPS 5353 WITH SCORE 5366.544
AT ITER 4260 NEW BEST:: SOT 23060 SOS 13560 HAS SOPS 8646 HAS SOUS 7504 HAS SOUPS 5333 WITH SCORE 5346.56
AT ITER 4293 NEW BEST:: SOT 23056 SOS 13562 HAS SOPS 8642 HAS SOUS 7501 HAS SOUPS 5329 WITH SCORE 5342.562
AT ITER 4306 NEW BEST:: SOT 23056 SOS 13556 HAS SOPS 8636 HAS SOUS 7500 HAS SOUPS 5328 WITH SCORE 5341.556
AT ITER 4326 NEW BEST:: SOT 23051 SOS 13551 HAS SOPS 8629 HAS SOUS 7495 HAS SOUPS 5321 WITH SCORE 5334.551
AT ITER 4349 NEW BEST:: SOT 23048 SOS 13548 HAS SOPS 8628 HAS SOUS 7492 HAS SOUPS 5320 WITH SCORE 5333.548
AT ITER 4384 NEW BEST:: SOT 23021 SOS 13521 HAS SOPS 8600 HAS SOUS 7465 HAS SOUPS 5292 WITH SCORE 5305.521
AT ITER 4401 NEW BEST:: SOT 23020 SOS 13544 HAS SOPS 8623 HAS SOUS 7453 HAS SOUPS 5280 WITH SCORE 5293.544
AT ITER 4419 NEW BEST:: SOT 23020 SOS 13543 HAS SOPS 8623 HAS SOUS 7453 HAS SOUPS 5280 WITH SCORE 5293.543
AT ITER 4478 NEW BEST:: SOT 23020 SOS 13534 HAS SOPS 8623 HAS SOUS 7444 HAS SOUPS 5280 WITH SCORE 5293.534
AT ITER 4516 NEW BEST:: SOT 23092 SOS 13578 HAS SOPS 8703 HAS SOUS 7428 HAS SOUPS 5278 WITH SCORE 5291.578
AT ITER 4565 NEW BEST:: SOT 23093 SOS 13584 HAS SOPS 8700 HAS SOUS 7445 HAS SOUPS 5275 WITH SCORE 5288.584
AT ITER 4578 NEW BEST:: SOT 23033 SOS 13522 HAS SOPS 8625 HAS SOUS 7449 HAS SOUPS 5270 WITH SCORE 5283.522
AT ITER 4596 NEW BEST:: SOT 23033 SOS 13456 HAS SOPS 8559 HAS SOUS 7449 HAS SOUPS 5270 WITH SCORE 5283.456
AT ITER 4615 NEW BEST:: SOT 23018 SOS 13450 HAS SOPS 8541 HAS SOUS 7446 HAS SOUPS 5264 WITH SCORE 5277.45
AT ITER 4626 NEW BEST:: SOT 23015 SOS 13444 HAS SOPS 8535 HAS SOUS 7440 HAS SOUPS 5258 WITH SCORE 5271.444
AT ITER 4667 NEW BEST:: SOT 23015 SOS 13470 HAS SOPS 8529 HAS SOUS 7462 HAS SOUPS 5252 WITH SCORE 5265.47
AT ITER 4781 NEW BEST:: SOT 23012 SOS 13467 HAS SOPS 8526 HAS SOUS 7459 HAS SOUPS 5249 WITH SCORE 5262.467
AT ITER 4817 NEW BEST:: SOT 23000 SOS 13451 HAS SOPS 8502 HAS SOUS 7439 HAS SOUPS 5229 WITH SCORE 5242.451
AT ITER 4856 NEW BEST:: SOT 23000 SOS 13491 HAS SOPS 8501 HAS SOUS 7489 HAS SOUPS 5228 WITH SCORE 5241.491
AT ITER 4886 NEW BEST:: SOT 22988 SOS 13478 HAS SOPS 8485 HAS SOUS 7483 HAS SOUPS 5220 WITH SCORE 5233.478
AT ITER 4895 NEW BEST:: SOT 22987 SOS 13477 HAS SOPS 8484 HAS SOUS 7482 HAS SOUPS 5219 WITH SCORE 5232.477
AT ITER 4995 NEW BEST:: SOT 22971 SOS 13461 HAS SOPS 8468 HAS SOUS 7466 HAS SOUPS 5203 WITH SCORE 5216.461
AT ITER 5004 NEW BEST:: SOT 22971 SOS 13416 HAS SOPS 8423 HAS SOUS 7466 HAS SOUPS 5203 WITH SCORE 5216.416
AT ITER 5018 NEW BEST:: SOT 22958 SOS 13411 HAS SOPS 8407 HAS SOUS 7447 HAS SOUPS 5183 WITH SCORE 5196.411
AT ITER 5143 NEW BEST:: SOT 22959 SOS 13415 HAS SOPS 8408 HAS SOUS 7447 HAS SOUPS 5180 WITH SCORE 5193.415
AT ITER 5165 NEW BEST:: SOT 22958 SOS 13405 HAS SOPS 8406 HAS SOUS 7429 HAS SOUPS 5178 WITH SCORE 5191.405
AT ITER 5188 NEW BEST:: SOT 22949 SOS 13409 HAS SOPS 8397 HAS SOUS 7425 HAS SOUPS 5169 WITH SCORE 5182.409
AT ITER 5215 NEW BEST:: SOT 22939 SOS 13399 HAS SOPS 8387 HAS SOUS 7415 HAS SOUPS 5159 WITH SCORE 5172.399
AT ITER 5245 NEW BEST:: SOT 22938 SOS 13397 HAS SOPS 8389 HAS SOUS 7413 HAS SOUPS 5157 WITH SCORE 5170.397
AT ITER 5322 NEW BEST:: SOT 22934 SOS 13393 HAS SOPS 8385 HAS SOUS 7409 HAS SOUPS 5153 WITH SCORE 5166.393
AT ITER 5489 NEW BEST:: SOT 22926 SOS 13367 HAS SOPS 8379 HAS SOUS 7387 HAS SOUPS 5147 WITH SCORE 5160.367
AT ITER 5537 NEW BEST:: SOT 22929 SOS 13370 HAS SOPS 8378 HAS SOUS 7386 HAS SOUPS 5146 WITH SCORE 5159.37
AT ITER 5562 NEW BEST:: SOT 22909 SOS 13355 HAS SOPS 8353 HAS SOUS 7405 HAS SOUPS 5141 WITH SCORE 5154.355
AT ITER 5592 NEW BEST:: SOT 22906 SOS 13352 HAS SOPS 8347 HAS SOUS 7402 HAS SOUPS 5135 WITH SCORE 5148.352
AT ITER 5637 NEW BEST:: SOT 22904 SOS 13354 HAS SOPS 8343 HAS SOUS 7408 HAS SOUPS 5131 WITH SCORE 5144.354
AT ITER 5685 NEW BEST:: SOT 22903 SOS 13353 HAS SOPS 8341 HAS SOUS 7407 HAS SOUPS 5129 WITH SCORE 5142.353
AT ITER 5743 NEW BEST:: SOT 22901 SOS 13351 HAS SOPS 8339 HAS SOUS 7405 HAS SOUPS 5127 WITH SCORE 5140.351
AT ITER 5760 NEW BEST:: SOT 22900 SOS 13350 HAS SOPS 8337 HAS SOUS 7404 HAS SOUPS 5125 WITH SCORE 5138.35
AT ITER 5784 NEW BEST:: SOT 22887 SOS 13337 HAS SOPS 8323 HAS SOUS 7391 HAS SOUPS 5111 WITH SCORE 5124.337
AT ITER 5823 NEW BEST:: SOT 22887 SOS 13337 HAS SOPS 8320 HAS SOUS 7391 HAS SOUPS 5108 WITH SCORE 5121.337
AT ITER 5874 NEW BEST:: SOT 22884 SOS 13334 HAS SOPS 8314 HAS SOUS 7388 HAS SOUPS 5102 WITH SCORE 5115.334
AT ITER 5954 NEW BEST:: SOT 22884 SOS 13319 HAS SOPS 8299 HAS SOUS 7388 HAS SOUPS 5102 WITH SCORE 5115.319
AT ITER 5962 NEW BEST:: SOT 22882 SOS 13317 HAS SOPS 8296 HAS SOUS 7383 HAS SOUPS 5099 WITH SCORE 5112.317
AT ITER 5992 NEW BEST:: SOT 22877 SOS 13312 HAS SOPS 8284 HAS SOUS 7378 HAS SOUPS 5087 WITH SCORE 5100.312
AT ITER 6041 NEW BEST:: SOT 22962 SOS 13390 HAS SOPS 8382 HAS SOUS 7262 HAS SOUPS 4991 WITH SCORE 5004.39
AT ITER 6088 NEW BEST:: SOT 22926 SOS 13372 HAS SOPS 8364 HAS SOUS 7235 HAS SOUPS 4964 WITH SCORE 4977.372
AT ITER 6109 NEW BEST:: SOT 22912 SOS 13358 HAS SOPS 8348 HAS SOUS 7221 HAS SOUPS 4948 WITH SCORE 4961.358
AT ITER 6168 NEW BEST:: SOT 22912 SOS 13376 HAS SOPS 8366 HAS SOUS 7219 HAS SOUPS 4946 WITH SCORE 4959.376
AT ITER 6190 NEW BEST:: SOT 22911 SOS 13375 HAS SOPS 8364 HAS SOUS 7218 HAS SOUPS 4944 WITH SCORE 4957.375
AT ITER 6238 NEW BEST:: SOT 22901 SOS 13365 HAS SOPS 8349 HAS SOUS 7208 HAS SOUPS 4929 WITH SCORE 4942.365
AT ITER 6317 NEW BEST:: SOT 22899 SOS 13363 HAS SOPS 8345 HAS SOUS 7206 HAS SOUPS 4925 WITH SCORE 4938.363
AT ITER 6333 NEW BEST:: SOT 22889 SOS 13353 HAS SOPS 8333 HAS SOUS 7196 HAS SOUPS 4913 WITH SCORE 4926.353
AT ITER 6456 NEW BEST:: SOT 22888 SOS 13352 HAS SOPS 8331 HAS SOUS 7195 HAS SOUPS 4911 WITH SCORE 4924.352
AT ITER 6549 NEW BEST:: SOT 22884 SOS 13349 HAS SOPS 8323 HAS SOUS 7186 HAS SOUPS 4902 WITH SCORE 4915.349
AT ITER 6676 NEW BEST:: SOT 22875 SOS 13280 HAS SOPS 8254 HAS SOUS 7167 HAS SOUPS 4883 WITH SCORE 4896.28
AT ITER 6724 NEW BEST:: SOT 22869 SOS 13274 HAS SOPS 8242 HAS SOUS 7161 HAS SOUPS 4871 WITH SCORE 4884.274
AT ITER 6770 NEW BEST:: SOT 22871 SOS 13276 HAS SOPS 8245 HAS SOUS 7153 HAS SOUPS 4864 WITH SCORE 4877.276
AT ITER 6783 NEW BEST:: SOT 22866 SOS 13271 HAS SOPS 8241 HAS SOUS 7148 HAS SOUPS 4860 WITH SCORE 4873.271
AT ITER 6957 NEW BEST:: SOT 22863 SOS 13278 HAS SOPS 8236 HAS SOUS 7145 HAS SOUPS 4855 WITH SCORE 4868.278
AT ITER 7071 NEW BEST:: SOT 22849 SOS 13264 HAS SOPS 8222 HAS SOUS 7139 HAS SOUPS 4849 WITH SCORE 4862.264
AT ITER 7110 NEW BEST:: SOT 22833 SOS 13264 HAS SOPS 8202 HAS SOUS 7131 HAS SOUPS 4837 WITH SCORE 4850.264
AT ITER 7183 NEW BEST:: SOT 22827 SOS 13262 HAS SOPS 8190 HAS SOUS 7110 HAS SOUPS 4821 WITH SCORE 4834.262
AT ITER 7327 NEW BEST:: SOT 22830 SOS 13265 HAS SOPS 8188 HAS SOUS 7113 HAS SOUPS 4819 WITH SCORE 4832.265
AT ITER 7334 NEW BEST:: SOT 22830 SOS 13263 HAS SOPS 8188 HAS SOUS 7113 HAS SOUPS 4819 WITH SCORE 4832.263
AT ITER 7347 NEW BEST:: SOT 22834 SOS 13415 HAS SOPS 8340 HAS SOUS 7110 HAS SOUPS 4816 WITH SCORE 4829.415
AT ITER 7467 NEW BEST:: SOT 22832 SOS 13413 HAS SOPS 8336 HAS SOUS 7108 HAS SOUPS 4812 WITH SCORE 4825.413
AT ITER 7675 NEW BEST:: SOT 22832 SOS 13405 HAS SOPS 8328 HAS SOUS 7108 HAS SOUPS 4812 WITH SCORE 4825.405
AT ITER 7752 NEW BEST:: SOT 22827 SOS 13412 HAS SOPS 8330 HAS SOUS 7100 HAS SOUPS 4804 WITH SCORE 4817.412
AT ITER 7925 NEW BEST:: SOT 22723 SOS 13277 HAS SOPS 8183 HAS SOUS 7088 HAS SOUPS 4780 WITH SCORE 4793.277
AT ITER 7931 NEW BEST:: SOT 22723 SOS 13279 HAS SOPS 8182 HAS SOUS 7093 HAS SOUPS 4779 WITH SCORE 4792.279
AT ITER 8036 NEW BEST:: SOT 22723 SOS 13256 HAS SOPS 8182 HAS SOUS 7061 HAS SOUPS 4779 WITH SCORE 4792.256
AT ITER 8165 NEW BEST:: SOT 22745 SOS 13270 HAS SOPS 8207 HAS SOUS 7045 HAS SOUPS 4767 WITH SCORE 4780.27
AT ITER 8242 NEW BEST:: SOT 22768 SOS 13288 HAS SOPS 8230 HAS SOUS 7019 HAS SOUPS 4746 WITH SCORE 4759.288
AT ITER 8398 NEW BEST:: SOT 22755 SOS 13275 HAS SOPS 8215 HAS SOUS 7006 HAS SOUPS 4731 WITH SCORE 4744.275
AT ITER 8405 NEW BEST:: SOT 22753 SOS 13273 HAS SOPS 8215 HAS SOUS 7006 HAS SOUPS 4731 WITH SCORE 4744.273
AT ITER 8410 NEW BEST:: SOT 22753 SOS 13255 HAS SOPS 8215 HAS SOUS 6988 HAS SOUPS 4731 WITH SCORE 4744.255
AT ITER 8436 NEW BEST:: SOT 22750 SOS 13246 HAS SOPS 8209 HAS SOUS 6985 HAS SOUPS 4728 WITH SCORE 4741.246
AT ITER 8604 NEW BEST:: SOT 22750 SOS 13242 HAS SOPS 8209 HAS SOUS 6975 HAS SOUPS 4728 WITH SCORE 4741.242
AT ITER 8621 NEW BEST:: SOT 22747 SOS 13239 HAS SOPS 8207 HAS SOUS 6972 HAS SOUPS 4726 WITH SCORE 4739.239
AT ITER 8663 NEW BEST:: SOT 22748 SOS 13239 HAS SOPS 8204 HAS SOUS 6969 HAS SOUPS 4723 WITH SCORE 4736.239
AT ITER 8669 NEW BEST:: SOT 22748 SOS 13222 HAS SOPS 8187 HAS SOUS 6967 HAS SOUPS 4721 WITH SCORE 4734.222
AT ITER 9145 NEW BEST:: SOT 22748 SOS 13257 HAS SOPS 8222 HAS SOUS 6965 HAS SOUPS 4719 WITH SCORE 4732.257
AT ITER 9332 NEW BEST:: SOT 22745 SOS 13263 HAS SOPS 8216 HAS SOUS 6968 HAS SOUPS 4713 WITH SCORE 4726.263
AT ITER 9334 NEW BEST:: SOT 22745 SOS 13255 HAS SOPS 8208 HAS SOUS 6968 HAS SOUPS 4713 WITH SCORE 4726.255
AT ITER 9687 NEW BEST:: SOT 22744 SOS 13254 HAS SOPS 8208 HAS SOUS 6967 HAS SOUPS 4713 WITH SCORE 4726.254
AT ITER 9689 NEW BEST:: SOT 22743 SOS 13253 HAS SOPS 8206 HAS SOUS 6966 HAS SOUPS 4711 WITH SCORE 4724.253
AT ITER 9846 NEW BEST:: SOT 22730 SOS 13237 HAS SOPS 8195 HAS SOUS 6945 HAS SOUPS 4700 WITH SCORE 4713.237
AT ITER 9853 NEW BEST:: SOT 22725 SOS 13238 HAS SOPS 8190 HAS SOUS 6946 HAS SOUPS 4699 WITH SCORE 4712.238
AT ITER 9862 NEW BEST:: SOT 22713 SOS 13226 HAS SOPS 8166 HAS SOUS 6924 HAS SOUPS 4675 WITH SCORE 4688.226

BK_STOP 1678655992776

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 478 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-PT-5"
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 LamportFastMutEx-PT-5, 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 r235-tall-167856421800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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