Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979800520.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SimpleLoadBal-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979800520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 8.8K Feb 26 03:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 03:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 03:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 03:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 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 535K 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 1679391046109

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=SimpleLoadBal-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:30:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:30:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:30:48] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-21 09:30:48] [INFO ] Transformed 104 places.
[2023-03-21 09:30:48] [INFO ] Transformed 605 transitions.
[2023-03-21 09:30:48] [INFO ] Found NUPN structural information;
[2023-03-21 09:30:48] [INFO ] Completing missing partition info from NUPN : creating a component with [P_client_idle_1, P_client_idle_2, P_client_idle_3, P_client_idle_4, P_client_idle_5, P_client_idle_6, P_client_idle_7, P_client_idle_8, P_client_idle_9, P_client_idle_10, P_client_waiting_1, P_client_waiting_2, P_client_waiting_3, P_client_waiting_4, P_client_waiting_5, P_client_waiting_6, P_client_waiting_7, P_client_waiting_8, P_client_waiting_9, P_client_waiting_10, P_client_request_1, P_client_request_2, P_client_request_3, P_client_request_4, P_client_request_5, P_client_request_6, P_client_request_7, P_client_request_8, P_client_request_9, P_client_request_10, P_client_ack_1, P_client_ack_2, P_client_ack_3, P_client_ack_4, P_client_ack_5, P_client_ack_6, P_client_ack_7, P_client_ack_8, P_client_ack_9, P_client_ack_10, P_server_idle_1, P_server_idle_2, P_server_waiting_1, P_server_waiting_2, P_server_processed_1, P_server_processed_2, P_server_notification_1, P_server_notification_2, P_server_notification_ack_1, P_server_notification_ack_2, P_server_request_1_1, P_server_request_1_2, P_server_request_2_1, P_server_request_2_2, P_server_request_3_1, P_server_request_3_2, P_server_request_4_1, P_server_request_4_2, P_server_request_5_1, P_server_request_5_2, P_server_request_6_1, P_server_request_6_2, P_server_request_7_1, P_server_request_7_2, P_server_request_8_1, P_server_request_8_2, P_server_request_9_1, P_server_request_9_2, P_server_request_10_1, P_server_request_10_2, P_lb_idle_1, P_lb_routing_1_1, P_lb_routing_1_2, P_lb_routing_1_3, P_lb_routing_1_4, P_lb_routing_1_5, P_lb_routing_1_6, P_lb_routing_1_7, P_lb_routing_1_8, P_lb_routing_1_9, P_lb_routing_1_10, P_lb_balancing_1, P_lb_load_1_0, P_lb_load_1_1, P_lb_load_1_2, P_lb_load_1_3, P_lb_load_1_4, P_lb_load_1_5, P_lb_load_1_6, P_lb_load_1_7, P_lb_load_1_8, P_lb_load_1_9, P_lb_load_1_10, P_lb_load_2_0, P_lb_load_2_1, P_lb_load_2_2, P_lb_load_2_3, P_lb_load_2_4, P_lb_load_2_5, P_lb_load_2_6, P_lb_load_2_7, P_lb_load_2_8, P_lb_load_2_9, P_lb_load_2_10]
[2023-03-21 09:30:48] [INFO ] Parsed PT model containing 104 places and 605 transitions and 4148 arcs in 213 ms.
[2023-03-21 09:30:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 104 places, 605 transitions and 4148 arcs took 21 ms.
Total runtime 285 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 10
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: 104 places, 605 transitions, 4148 arcs.
AT ITER 0 NEW BEST:: SOT 55957 SOS 41709 HAS SOPS 40792 HAS SOUS 30657 HAS SOUPS 30595 WITH SCORE 30636.709
AT ITER 3 NEW BEST:: SOT 55944 SOS 41696 HAS SOPS 40779 HAS SOUS 30644 HAS SOUPS 30582 WITH SCORE 30623.696
AT ITER 10 NEW BEST:: SOT 55887 SOS 41732 HAS SOPS 40815 HAS SOUS 30643 HAS SOUPS 30581 WITH SCORE 30622.732
AT ITER 13 NEW BEST:: SOT 55887 SOS 41729 HAS SOPS 40812 HAS SOUS 30640 HAS SOUPS 30578 WITH SCORE 30619.729
AT ITER 14 NEW BEST:: SOT 55854 SOS 41699 HAS SOPS 40608 HAS SOUS 30600 HAS SOUPS 30500 WITH SCORE 30541.699
AT ITER 16 NEW BEST:: SOT 55809 SOS 41634 HAS SOPS 40533 HAS SOUS 29993 HAS SOUPS 29893 WITH SCORE 29934.634
AT ITER 20 NEW BEST:: SOT 55809 SOS 41634 HAS SOPS 40531 HAS SOUS 29909 HAS SOUPS 29809 WITH SCORE 29850.634
AT ITER 25 NEW BEST:: SOT 55781 SOS 41593 HAS SOPS 40490 HAS SOUS 29387 HAS SOUPS 29287 WITH SCORE 29328.593
AT ITER 26 NEW BEST:: SOT 55781 SOS 41585 HAS SOPS 40482 HAS SOUS 29383 HAS SOUPS 29283 WITH SCORE 29324.585
AT ITER 27 NEW BEST:: SOT 55921 SOS 41835 HAS SOPS 40732 HAS SOUS 28480 HAS SOUPS 28380 WITH SCORE 28421.835
AT ITER 28 NEW BEST:: SOT 55921 SOS 41830 HAS SOPS 40727 HAS SOUS 28395 HAS SOUPS 28295 WITH SCORE 28336.83
AT ITER 29 NEW BEST:: SOT 55892 SOS 41633 HAS SOPS 40620 HAS SOUS 28327 HAS SOUPS 28231 WITH SCORE 28272.633
AT ITER 30 NEW BEST:: SOT 55892 SOS 41613 HAS SOPS 40586 HAS SOUS 27954 HAS SOUPS 27858 WITH SCORE 27899.613
AT ITER 31 NEW BEST:: SOT 55869 SOS 41595 HAS SOPS 40452 HAS SOUS 27895 HAS SOUPS 27733 WITH SCORE 27774.595
AT ITER 34 NEW BEST:: SOT 55858 SOS 41584 HAS SOPS 40441 HAS SOUS 27884 HAS SOUPS 27722 WITH SCORE 27763.584
AT ITER 39 NEW BEST:: SOT 55834 SOS 41584 HAS SOPS 40420 HAS SOUS 27878 HAS SOUPS 27715 WITH SCORE 27756.584
AT ITER 42 NEW BEST:: SOT 55830 SOS 41444 HAS SOPS 40315 HAS SOUS 27847 HAS SOUPS 27688 WITH SCORE 27729.444
AT ITER 46 NEW BEST:: SOT 55830 SOS 40233 HAS SOPS 38729 HAS SOUS 27483 HAS SOUPS 27111 WITH SCORE 27151.233
AT ITER 47 NEW BEST:: SOT 52938 SOS 37350 HAS SOPS 35846 HAS SOUS 24598 HAS SOUPS 24226 WITH SCORE 24263.35
AT ITER 56 NEW BEST:: SOT 53091 SOS 37616 HAS SOPS 36070 HAS SOUS 24370 HAS SOUPS 23998 WITH SCORE 24035.616
AT ITER 60 NEW BEST:: SOT 53091 SOS 37597 HAS SOPS 36031 HAS SOUS 24270 HAS SOUPS 23898 WITH SCORE 23935.597
AT ITER 61 NEW BEST:: SOT 53091 SOS 37578 HAS SOPS 36026 HAS SOUS 23815 HAS SOUPS 23443 WITH SCORE 23480.578
AT ITER 62 NEW BEST:: SOT 53085 SOS 37572 HAS SOPS 36020 HAS SOUS 23569 HAS SOUPS 23197 WITH SCORE 23234.572
AT ITER 68 NEW BEST:: SOT 53048 SOS 37282 HAS SOPS 35634 HAS SOUS 22978 HAS SOUPS 22605 WITH SCORE 22642.282
AT ITER 69 NEW BEST:: SOT 53024 SOS 37259 HAS SOPS 35611 HAS SOUS 22921 HAS SOUPS 22548 WITH SCORE 22585.259
AT ITER 72 NEW BEST:: SOT 53024 SOS 37258 HAS SOPS 35610 HAS SOUS 22920 HAS SOUPS 22547 WITH SCORE 22584.258
AT ITER 76 NEW BEST:: SOT 53011 SOS 37298 HAS SOPS 35696 HAS SOUS 22034 HAS SOUPS 21672 WITH SCORE 21709.298
AT ITER 83 NEW BEST:: SOT 53011 SOS 37261 HAS SOPS 35240 HAS SOUS 21882 HAS SOUPS 21519 WITH SCORE 21556.261
AT ITER 90 NEW BEST:: SOT 52988 SOS 37238 HAS SOPS 35217 HAS SOUS 21844 HAS SOUPS 21481 WITH SCORE 21518.238
AT ITER 93 NEW BEST:: SOT 52977 SOS 37237 HAS SOPS 35214 HAS SOUS 21369 HAS SOUPS 21006 WITH SCORE 21043.237
AT ITER 96 NEW BEST:: SOT 52930 SOS 37116 HAS SOPS 35096 HAS SOUS 21345 HAS SOUPS 20994 WITH SCORE 21031.116
AT ITER 97 NEW BEST:: SOT 49567 SOS 33783 HAS SOPS 31775 HAS SOUS 17993 HAS SOUPS 17646 WITH SCORE 17679.783
AT ITER 98 NEW BEST:: SOT 49567 SOS 33733 HAS SOPS 31271 HAS SOUS 17899 HAS SOUPS 17554 WITH SCORE 17587.733
AT ITER 102 NEW BEST:: SOT 49565 SOS 33731 HAS SOPS 31265 HAS SOUS 17847 HAS SOUPS 17502 WITH SCORE 17535.731
AT ITER 108 NEW BEST:: SOT 49961 SOS 34114 HAS SOPS 31600 HAS SOUS 17836 HAS SOUPS 17491 WITH SCORE 17525.114
AT ITER 111 NEW BEST:: SOT 49961 SOS 34100 HAS SOPS 31586 HAS SOUS 17822 HAS SOUPS 17477 WITH SCORE 17511.1
AT ITER 130 NEW BEST:: SOT 49949 SOS 34020 HAS SOPS 31486 HAS SOUS 17773 HAS SOUPS 17444 WITH SCORE 17478.02
AT ITER 134 NEW BEST:: SOT 49937 SOS 33778 HAS SOPS 31454 HAS SOUS 17737 HAS SOUPS 17420 WITH SCORE 17453.778
AT ITER 150 NEW BEST:: SOT 49591 SOS 33441 HAS SOPS 31135 HAS SOUS 17391 HAS SOUPS 17080 WITH SCORE 17113.441
AT ITER 154 NEW BEST:: SOT 49582 SOS 33420 HAS SOPS 31080 HAS SOUS 16914 HAS SOUPS 16603 WITH SCORE 16636.42
AT ITER 156 NEW BEST:: SOT 49566 SOS 33469 HAS SOPS 31299 HAS SOUS 16571 HAS SOUPS 16262 WITH SCORE 16295.469
AT ITER 158 NEW BEST:: SOT 49580 SOS 33491 HAS SOPS 31317 HAS SOUS 16441 HAS SOUPS 16140 WITH SCORE 16173.491
AT ITER 161 NEW BEST:: SOT 49578 SOS 33489 HAS SOPS 31297 HAS SOUS 16426 HAS SOUPS 16125 WITH SCORE 16158.489
AT ITER 163 NEW BEST:: SOT 49559 SOS 33479 HAS SOPS 31287 HAS SOUS 16416 HAS SOUPS 16115 WITH SCORE 16148.479
AT ITER 164 NEW BEST:: SOT 49404 SOS 33324 HAS SOPS 31132 HAS SOUS 16225 HAS SOUPS 15924 WITH SCORE 15957.324
AT ITER 180 NEW BEST:: SOT 49398 SOS 32983 HAS SOPS 30908 HAS SOUS 16139 HAS SOUPS 15859 WITH SCORE 15891.983
AT ITER 181 NEW BEST:: SOT 48333 SOS 46395 HAS SOPS 46355 HAS SOUS 15420 HAS SOUPS 15397 WITH SCORE 15443.395
AT ITER 182 NEW BEST:: SOT 48462 SOS 46524 HAS SOPS 46484 HAS SOUS 15197 HAS SOUPS 15174 WITH SCORE 15220.524
AT ITER 190 NEW BEST:: SOT 48436 SOS 46498 HAS SOPS 46458 HAS SOUS 15179 HAS SOUPS 15156 WITH SCORE 15202.498
AT ITER 193 NEW BEST:: SOT 48384 SOS 46446 HAS SOPS 46406 HAS SOUS 15019 HAS SOUPS 14996 WITH SCORE 15042.446
AT ITER 198 NEW BEST:: SOT 48363 SOS 46421 HAS SOPS 46381 HAS SOUS 14994 HAS SOUPS 14971 WITH SCORE 15017.421
AT ITER 208 NEW BEST:: SOT 48377 SOS 46413 HAS SOPS 46360 HAS SOUS 14932 HAS SOUPS 14909 WITH SCORE 14955.413
AT ITER 214 NEW BEST:: SOT 48410 SOS 46455 HAS SOPS 46402 HAS SOUS 14837 HAS SOUPS 14814 WITH SCORE 14860.455
AT ITER 215 NEW BEST:: SOT 48511 SOS 46568 HAS SOPS 46560 HAS SOUS 14437 HAS SOUPS 14435 WITH SCORE 14481.568
AT ITER 217 NEW BEST:: SOT 48511 SOS 46566 HAS SOPS 46558 HAS SOUS 14434 HAS SOUPS 14432 WITH SCORE 14478.566
AT ITER 235 NEW BEST:: SOT 48507 SOS 46562 HAS SOPS 46554 HAS SOUS 14430 HAS SOUPS 14428 WITH SCORE 14474.562
AT ITER 237 NEW BEST:: SOT 48189 SOS 46427 HAS SOPS 46427 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14154.427
AT ITER 243 NEW BEST:: SOT 47891 SOS 46259 HAS SOPS 46259 HAS SOUS 13818 HAS SOUPS 13818 WITH SCORE 13864.259
AT ITER 244 NEW BEST:: SOT 47351 SOS 45719 HAS SOPS 45719 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13314.719
AT ITER 246 NEW BEST:: SOT 47170 SOS 45538 HAS SOPS 45538 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13276.538
AT ITER 252 NEW BEST:: SOT 47116 SOS 45484 HAS SOPS 45484 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13144.484
AT ITER 260 NEW BEST:: SOT 47155 SOS 45553 HAS SOPS 45553 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13068.553
AT ITER 269 NEW BEST:: SOT 47139 SOS 45537 HAS SOPS 45537 HAS SOUS 12849 HAS SOUPS 12849 WITH SCORE 12894.537
AT ITER 271 NEW BEST:: SOT 47181 SOS 45579 HAS SOPS 45579 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12787.579
AT ITER 278 NEW BEST:: SOT 46807 SOS 45205 HAS SOPS 45205 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12285.205
AT ITER 281 NEW BEST:: SOT 46244 SOS 44638 HAS SOPS 44638 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12150.638
AT ITER 286 NEW BEST:: SOT 46235 SOS 44629 HAS SOPS 44629 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12139.629
AT ITER 287 NEW BEST:: SOT 46226 SOS 38699 HAS SOPS 38699 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12103.699
AT ITER 298 NEW BEST:: SOT 46195 SOS 38668 HAS SOPS 38668 HAS SOUS 11979 HAS SOUPS 11979 WITH SCORE 12017.668
AT ITER 305 NEW BEST:: SOT 46189 SOS 38656 HAS SOPS 38656 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 12005.656
AT ITER 336 NEW BEST:: SOT 46192 SOS 38659 HAS SOPS 38659 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11904.659
AT ITER 345 NEW BEST:: SOT 45829 SOS 38188 HAS SOPS 38188 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11717.188
AT ITER 355 NEW BEST:: SOT 45766 SOS 38182 HAS SOPS 38182 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11717.182
AT ITER 363 NEW BEST:: SOT 45749 SOS 38171 HAS SOPS 38171 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11517.171
AT ITER 366 NEW BEST:: SOT 45741 SOS 38155 HAS SOPS 38155 HAS SOUS 11476 HAS SOUPS 11476 WITH SCORE 11514.155
AT ITER 375 NEW BEST:: SOT 45721 SOS 38154 HAS SOPS 38154 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11494.154
AT ITER 378 NEW BEST:: SOT 46130 SOS 38563 HAS SOPS 38563 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11433.563
AT ITER 436 NEW BEST:: SOT 46130 SOS 36101 HAS SOPS 35997 HAS SOUS 11387 HAS SOUPS 11379 WITH SCORE 11415.101
AT ITER 438 NEW BEST:: SOT 46137 SOS 36036 HAS SOPS 35932 HAS SOUS 11325 HAS SOUPS 11317 WITH SCORE 11353.036
AT ITER 440 NEW BEST:: SOT 46133 SOS 32329 HAS SOPS 31816 HAS SOUS 11217 HAS SOUPS 11173 WITH SCORE 11205.329
AT ITER 462 NEW BEST:: SOT 46133 SOS 31566 HAS SOPS 31170 HAS SOUS 11198 HAS SOUPS 11163 WITH SCORE 11194.566
AT ITER 469 NEW BEST:: SOT 46100 SOS 31533 HAS SOPS 31137 HAS SOUS 11185 HAS SOUPS 11150 WITH SCORE 11181.533
AT ITER 487 NEW BEST:: SOT 46026 SOS 31459 HAS SOPS 31063 HAS SOUS 11110 HAS SOUPS 11075 WITH SCORE 11106.459
AT ITER 494 NEW BEST:: SOT 46015 SOS 30520 HAS SOPS 30295 HAS SOUS 11038 HAS SOUPS 11017 WITH SCORE 11047.52
AT ITER 498 NEW BEST:: SOT 46010 SOS 30510 HAS SOPS 30285 HAS SOUS 11023 HAS SOUPS 11002 WITH SCORE 11032.51
AT ITER 501 NEW BEST:: SOT 45973 SOS 30447 HAS SOPS 30222 HAS SOUS 10975 HAS SOUPS 10954 WITH SCORE 10984.447
AT ITER 502 NEW BEST:: SOT 45844 SOS 30328 HAS SOPS 30093 HAS SOUS 10871 HAS SOUPS 10845 WITH SCORE 10875.328
AT ITER 504 NEW BEST:: SOT 45844 SOS 30159 HAS SOPS 29903 HAS SOUS 10856 HAS SOUPS 10831 WITH SCORE 10861.159
AT ITER 515 NEW BEST:: SOT 45817 SOS 30132 HAS SOPS 29876 HAS SOUS 10829 HAS SOUPS 10804 WITH SCORE 10834.132
AT ITER 518 NEW BEST:: SOT 45907 SOS 30228 HAS SOPS 29972 HAS SOUS 10825 HAS SOUPS 10800 WITH SCORE 10830.228
AT ITER 519 NEW BEST:: SOT 45963 SOS 30267 HAS SOPS 30023 HAS SOUS 10801 HAS SOUPS 10778 WITH SCORE 10808.267
AT ITER 528 NEW BEST:: SOT 45959 SOS 30085 HAS SOPS 29867 HAS SOUS 10777 HAS SOUPS 10756 WITH SCORE 10786.085
AT ITER 536 NEW BEST:: SOT 45917 SOS 30008 HAS SOPS 29790 HAS SOUS 10701 HAS SOUPS 10680 WITH SCORE 10710.008
AT ITER 537 NEW BEST:: SOT 45480 SOS 29571 HAS SOPS 29353 HAS SOUS 10262 HAS SOUPS 10241 WITH SCORE 10270.571
AT ITER 539 NEW BEST:: SOT 45582 SOS 29664 HAS SOPS 29446 HAS SOUS 10133 HAS SOUPS 10112 WITH SCORE 10141.664
AT ITER 541 NEW BEST:: SOT 45534 SOS 29616 HAS SOPS 29398 HAS SOUS 10085 HAS SOUPS 10064 WITH SCORE 10093.616
AT ITER 542 NEW BEST:: SOT 45540 SOS 29569 HAS SOPS 29351 HAS SOUS 10085 HAS SOUPS 10064 WITH SCORE 10093.569
AT ITER 553 NEW BEST:: SOT 45500 SOS 29529 HAS SOPS 29311 HAS SOUS 10065 HAS SOUPS 10044 WITH SCORE 10073.529
AT ITER 556 NEW BEST:: SOT 45226 SOS 29249 HAS SOPS 29031 HAS SOUS 9965 HAS SOUPS 9944 WITH SCORE 9973.249
AT ITER 569 NEW BEST:: SOT 45226 SOS 29242 HAS SOPS 29024 HAS SOUS 9964 HAS SOUPS 9943 WITH SCORE 9972.242
AT ITER 587 NEW BEST:: SOT 45228 SOS 29244 HAS SOPS 29026 HAS SOUS 9947 HAS SOUPS 9926 WITH SCORE 9955.244
AT ITER 590 NEW BEST:: SOT 45228 SOS 29242 HAS SOPS 29024 HAS SOUS 9945 HAS SOUPS 9924 WITH SCORE 9953.242
AT ITER 597 NEW BEST:: SOT 45226 SOS 29240 HAS SOPS 29022 HAS SOUS 9927 HAS SOUPS 9906 WITH SCORE 9935.24
AT ITER 606 NEW BEST:: SOT 45220 SOS 29235 HAS SOPS 29017 HAS SOUS 9916 HAS SOUPS 9895 WITH SCORE 9924.235
AT ITER 611 NEW BEST:: SOT 45265 SOS 29281 HAS SOPS 29063 HAS SOUS 9872 HAS SOUPS 9851 WITH SCORE 9880.281
AT ITER 623 NEW BEST:: SOT 45195 SOS 29211 HAS SOPS 28993 HAS SOUS 9762 HAS SOUPS 9741 WITH SCORE 9770.211
AT ITER 650 NEW BEST:: SOT 45187 SOS 29203 HAS SOPS 28985 HAS SOUS 9754 HAS SOUPS 9733 WITH SCORE 9762.203
AT ITER 652 NEW BEST:: SOT 45164 SOS 29180 HAS SOPS 28962 HAS SOUS 9708 HAS SOUPS 9687 WITH SCORE 9716.18
AT ITER 666 NEW BEST:: SOT 45114 SOS 29122 HAS SOPS 28904 HAS SOUS 9650 HAS SOUPS 9629 WITH SCORE 9658.122
AT ITER 678 NEW BEST:: SOT 45111 SOS 29113 HAS SOPS 28895 HAS SOUS 9641 HAS SOUPS 9620 WITH SCORE 9649.113
AT ITER 688 NEW BEST:: SOT 45111 SOS 29106 HAS SOPS 28888 HAS SOUS 9634 HAS SOUPS 9613 WITH SCORE 9642.106
AT ITER 720 NEW BEST:: SOT 45106 SOS 29096 HAS SOPS 28878 HAS SOUS 9625 HAS SOUPS 9604 WITH SCORE 9633.096
AT ITER 757 NEW BEST:: SOT 45079 SOS 29069 HAS SOPS 28851 HAS SOUS 9598 HAS SOUPS 9577 WITH SCORE 9606.069
AT ITER 764 NEW BEST:: SOT 44757 SOS 28747 HAS SOPS 28529 HAS SOUS 9404 HAS SOUPS 9383 WITH SCORE 9411.747
AT ITER 804 NEW BEST:: SOT 44749 SOS 28739 HAS SOPS 28521 HAS SOUS 9339 HAS SOUPS 9318 WITH SCORE 9346.739
AT ITER 821 NEW BEST:: SOT 44755 SOS 28733 HAS SOPS 28515 HAS SOUS 9339 HAS SOUPS 9318 WITH SCORE 9346.733
AT ITER 868 NEW BEST:: SOT 44753 SOS 28726 HAS SOPS 28508 HAS SOUS 9334 HAS SOUPS 9313 WITH SCORE 9341.726
AT ITER 873 NEW BEST:: SOT 44550 SOS 28523 HAS SOPS 28305 HAS SOUS 9131 HAS SOUPS 9110 WITH SCORE 9138.523
AT ITER 885 NEW BEST:: SOT 44460 SOS 28433 HAS SOPS 28215 HAS SOUS 9111 HAS SOUPS 9090 WITH SCORE 9118.433
AT ITER 924 NEW BEST:: SOT 44446 SOS 28429 HAS SOPS 28211 HAS SOUS 9105 HAS SOUPS 9084 WITH SCORE 9112.429
AT ITER 938 NEW BEST:: SOT 44445 SOS 28430 HAS SOPS 28212 HAS SOUS 9094 HAS SOUPS 9073 WITH SCORE 9101.43
AT ITER 941 NEW BEST:: SOT 44445 SOS 28119 HAS SOPS 27979 HAS SOUS 9075 HAS SOUPS 9060 WITH SCORE 9088.119
AT ITER 972 NEW BEST:: SOT 44356 SOS 28030 HAS SOPS 27890 HAS SOUS 8986 HAS SOUPS 8971 WITH SCORE 8999.03
AT ITER 982 NEW BEST:: SOT 44356 SOS 27763 HAS SOPS 27623 HAS SOUS 8985 HAS SOUPS 8970 WITH SCORE 8997.763
AT ITER 991 NEW BEST:: SOT 44332 SOS 27739 HAS SOPS 27599 HAS SOUS 8961 HAS SOUPS 8946 WITH SCORE 8973.739
AT ITER 1020 NEW BEST:: SOT 44329 SOS 27736 HAS SOPS 27596 HAS SOUS 8958 HAS SOUPS 8943 WITH SCORE 8970.736
AT ITER 1032 NEW BEST:: SOT 44101 SOS 27504 HAS SOPS 27364 HAS SOUS 8726 HAS SOUPS 8711 WITH SCORE 8738.504
AT ITER 1047 NEW BEST:: SOT 44027 SOS 27430 HAS SOPS 27290 HAS SOUS 8578 HAS SOUPS 8563 WITH SCORE 8590.43
AT ITER 1066 NEW BEST:: SOT 44027 SOS 27424 HAS SOPS 27284 HAS SOUS 8572 HAS SOUPS 8557 WITH SCORE 8584.424
AT ITER 1098 NEW BEST:: SOT 43991 SOS 27388 HAS SOPS 27248 HAS SOUS 8554 HAS SOUPS 8539 WITH SCORE 8566.388
AT ITER 1101 NEW BEST:: SOT 43933 SOS 27328 HAS SOPS 27188 HAS SOUS 8436 HAS SOUPS 8421 WITH SCORE 8448.328
AT ITER 1108 NEW BEST:: SOT 43853 SOS 27255 HAS SOPS 27115 HAS SOUS 8332 HAS SOUPS 8317 WITH SCORE 8344.255
AT ITER 1114 NEW BEST:: SOT 43842 SOS 27260 HAS SOPS 27120 HAS SOUS 8326 HAS SOUPS 8311 WITH SCORE 8338.26
AT ITER 1141 NEW BEST:: SOT 43783 SOS 27201 HAS SOPS 27061 HAS SOUS 8256 HAS SOUPS 8241 WITH SCORE 8268.201
AT ITER 1143 NEW BEST:: SOT 43745 SOS 27157 HAS SOPS 27017 HAS SOUS 7477 HAS SOUPS 7462 WITH SCORE 7489.157
AT ITER 1168 NEW BEST:: SOT 43745 SOS 27138 HAS SOPS 26996 HAS SOUS 7477 HAS SOUPS 7461 WITH SCORE 7488.138
AT ITER 1179 NEW BEST:: SOT 43745 SOS 27138 HAS SOPS 26996 HAS SOUS 7459 HAS SOUPS 7443 WITH SCORE 7470.138
AT ITER 1187 NEW BEST:: SOT 43739 SOS 27126 HAS SOPS 26984 HAS SOUS 7447 HAS SOUPS 7431 WITH SCORE 7458.126
AT ITER 1194 NEW BEST:: SOT 43733 SOS 27118 HAS SOPS 26976 HAS SOUS 7435 HAS SOUPS 7419 WITH SCORE 7446.118
AT ITER 1212 NEW BEST:: SOT 43769 SOS 27154 HAS SOPS 27012 HAS SOUS 7427 HAS SOUPS 7411 WITH SCORE 7438.154
AT ITER 1225 NEW BEST:: SOT 43768 SOS 27153 HAS SOPS 27011 HAS SOUS 7425 HAS SOUPS 7409 WITH SCORE 7436.153
AT ITER 1297 NEW BEST:: SOT 43708 SOS 27093 HAS SOPS 26951 HAS SOUS 7291 HAS SOUPS 7275 WITH SCORE 7302.093
AT ITER 1299 NEW BEST:: SOT 43705 SOS 26119 HAS SOPS 25856 HAS SOUS 7266 HAS SOUPS 7238 WITH SCORE 7264.119
AT ITER 1341 NEW BEST:: SOT 43686 SOS 26100 HAS SOPS 25837 HAS SOUS 7223 HAS SOUPS 7195 WITH SCORE 7221.1
AT ITER 1343 NEW BEST:: SOT 43686 SOS 26018 HAS SOPS 25768 HAS SOUS 7219 HAS SOUPS 7192 WITH SCORE 7218.018
AT ITER 1347 NEW BEST:: SOT 43682 SOS 26010 HAS SOPS 25760 HAS SOUS 7211 HAS SOUPS 7184 WITH SCORE 7210.01
AT ITER 1391 NEW BEST:: SOT 43682 SOS 25972 HAS SOPS 25722 HAS SOUS 7211 HAS SOUPS 7184 WITH SCORE 7209.972
AT ITER 1412 NEW BEST:: SOT 43637 SOS 25909 HAS SOPS 25659 HAS SOUS 7208 HAS SOUPS 7181 WITH SCORE 7206.909
AT ITER 1502 NEW BEST:: SOT 43615 SOS 25927 HAS SOPS 25677 HAS SOUS 7193 HAS SOUPS 7166 WITH SCORE 7191.927
AT ITER 1518 NEW BEST:: SOT 43395 SOS 25666 HAS SOPS 25416 HAS SOUS 7187 HAS SOUPS 7160 WITH SCORE 7185.666
AT ITER 1527 NEW BEST:: SOT 43395 SOS 25665 HAS SOPS 25415 HAS SOUS 7186 HAS SOUPS 7159 WITH SCORE 7184.665
AT ITER 1542 NEW BEST:: SOT 43332 SOS 25602 HAS SOPS 25352 HAS SOUS 7123 HAS SOUPS 7096 WITH SCORE 7121.602
AT ITER 1544 NEW BEST:: SOT 43331 SOS 25601 HAS SOPS 25351 HAS SOUS 7122 HAS SOUPS 7095 WITH SCORE 7120.601
AT ITER 1587 NEW BEST:: SOT 43331 SOS 25561 HAS SOPS 25311 HAS SOUS 7120 HAS SOUPS 7093 WITH SCORE 7118.561
AT ITER 1589 NEW BEST:: SOT 43310 SOS 25540 HAS SOPS 25290 HAS SOUS 7099 HAS SOUPS 7072 WITH SCORE 7097.54
AT ITER 1611 NEW BEST:: SOT 43310 SOS 25536 HAS SOPS 25286 HAS SOUS 7095 HAS SOUPS 7068 WITH SCORE 7093.536
AT ITER 1631 NEW BEST:: SOT 43306 SOS 25532 HAS SOPS 25282 HAS SOUS 7087 HAS SOUPS 7060 WITH SCORE 7085.532
AT ITER 1639 NEW BEST:: SOT 43305 SOS 25531 HAS SOPS 25281 HAS SOUS 7085 HAS SOUPS 7058 WITH SCORE 7083.531
AT ITER 1655 NEW BEST:: SOT 43295 SOS 25521 HAS SOPS 25271 HAS SOUS 7065 HAS SOUPS 7038 WITH SCORE 7063.521
AT ITER 1675 NEW BEST:: SOT 43295 SOS 25512 HAS SOPS 25262 HAS SOUS 7056 HAS SOUPS 7029 WITH SCORE 7054.512
AT ITER 1678 NEW BEST:: SOT 43291 SOS 25508 HAS SOPS 25258 HAS SOUS 7052 HAS SOUPS 7025 WITH SCORE 7050.508
AT ITER 1727 NEW BEST:: SOT 43235 SOS 25452 HAS SOPS 25202 HAS SOUS 6940 HAS SOUPS 6913 WITH SCORE 6938.452
AT ITER 1741 NEW BEST:: SOT 43235 SOS 24721 HAS SOPS 24218 HAS SOUS 6926 HAS SOUPS 6861 WITH SCORE 6885.721
AT ITER 1742 NEW BEST:: SOT 43232 SOS 24718 HAS SOPS 24215 HAS SOUS 6923 HAS SOUPS 6858 WITH SCORE 6882.718
AT ITER 1779 NEW BEST:: SOT 43229 SOS 24714 HAS SOPS 24211 HAS SOUS 6919 HAS SOUPS 6854 WITH SCORE 6878.714
AT ITER 1801 NEW BEST:: SOT 43238 SOS 24848 HAS SOPS 24260 HAS SOUS 6913 HAS SOUPS 6852 WITH SCORE 6876.848
AT ITER 1815 NEW BEST:: SOT 43194 SOS 24804 HAS SOPS 24216 HAS SOUS 6879 HAS SOUPS 6818 WITH SCORE 6842.804
AT ITER 1858 NEW BEST:: SOT 43212 SOS 24756 HAS SOPS 24168 HAS SOUS 6858 HAS SOUPS 6797 WITH SCORE 6821.756
AT ITER 1921 NEW BEST:: SOT 43076 SOS 24620 HAS SOPS 24032 HAS SOUS 6825 HAS SOUPS 6764 WITH SCORE 6788.62
AT ITER 1944 NEW BEST:: SOT 43063 SOS 24607 HAS SOPS 24019 HAS SOUS 6812 HAS SOUPS 6751 WITH SCORE 6775.607
AT ITER 2073 NEW BEST:: SOT 43057 SOS 24601 HAS SOPS 24013 HAS SOUS 6808 HAS SOUPS 6747 WITH SCORE 6771.601
AT ITER 2115 NEW BEST:: SOT 43044 SOS 24612 HAS SOPS 24024 HAS SOUS 6806 HAS SOUPS 6745 WITH SCORE 6769.612
AT ITER 2134 NEW BEST:: SOT 43044 SOS 24611 HAS SOPS 24017 HAS SOUS 6807 HAS SOUPS 6743 WITH SCORE 6767.611
AT ITER 2144 NEW BEST:: SOT 43010 SOS 24577 HAS SOPS 23983 HAS SOUS 6779 HAS SOUPS 6715 WITH SCORE 6739.577
AT ITER 2168 NEW BEST:: SOT 42990 SOS 24557 HAS SOPS 23963 HAS SOUS 6739 HAS SOUPS 6675 WITH SCORE 6699.557
AT ITER 2200 NEW BEST:: SOT 42990 SOS 24515 HAS SOPS 23923 HAS SOUS 6739 HAS SOUPS 6675 WITH SCORE 6699.515
AT ITER 2335 NEW BEST:: SOT 43008 SOS 24548 HAS SOPS 23956 HAS SOUS 6694 HAS SOUPS 6630 WITH SCORE 6654.548
AT ITER 2368 NEW BEST:: SOT 42995 SOS 24535 HAS SOPS 23943 HAS SOUS 6670 HAS SOUPS 6606 WITH SCORE 6630.535
AT ITER 2381 NEW BEST:: SOT 42941 SOS 24481 HAS SOPS 23889 HAS SOUS 6616 HAS SOUPS 6552 WITH SCORE 6576.481
AT ITER 2428 NEW BEST:: SOT 42935 SOS 24475 HAS SOPS 23883 HAS SOUS 6610 HAS SOUPS 6546 WITH SCORE 6570.475
AT ITER 2437 NEW BEST:: SOT 42885 SOS 24423 HAS SOPS 23831 HAS SOUS 6558 HAS SOUPS 6494 WITH SCORE 6518.423
AT ITER 2461 NEW BEST:: SOT 42651 SOS 24189 HAS SOPS 23597 HAS SOUS 6322 HAS SOUPS 6258 WITH SCORE 6282.189
AT ITER 2505 NEW BEST:: SOT 42695 SOS 24233 HAS SOPS 23641 HAS SOUS 6306 HAS SOUPS 6242 WITH SCORE 6266.233
AT ITER 2529 NEW BEST:: SOT 42694 SOS 24230 HAS SOPS 23638 HAS SOUS 6303 HAS SOUPS 6239 WITH SCORE 6263.23
AT ITER 2533 NEW BEST:: SOT 42680 SOS 24216 HAS SOPS 23624 HAS SOUS 6289 HAS SOUPS 6225 WITH SCORE 6249.216
AT ITER 2540 NEW BEST:: SOT 42675 SOS 24213 HAS SOPS 23621 HAS SOUS 6286 HAS SOUPS 6222 WITH SCORE 6246.213
AT ITER 2565 NEW BEST:: SOT 42616 SOS 24154 HAS SOPS 23562 HAS SOUS 6273 HAS SOUPS 6209 WITH SCORE 6233.154
AT ITER 2629 NEW BEST:: SOT 42618 SOS 24146 HAS SOPS 23554 HAS SOUS 6272 HAS SOUPS 6208 WITH SCORE 6232.146
AT ITER 2638 NEW BEST:: SOT 42559 SOS 24082 HAS SOPS 23490 HAS SOUS 6236 HAS SOUPS 6172 WITH SCORE 6196.082
AT ITER 2639 NEW BEST:: SOT 42698 SOS 24221 HAS SOPS 23629 HAS SOUS 6199 HAS SOUPS 6135 WITH SCORE 6159.221
AT ITER 2646 NEW BEST:: SOT 42698 SOS 24220 HAS SOPS 23628 HAS SOUS 6199 HAS SOUPS 6135 WITH SCORE 6159.22
AT ITER 2656 NEW BEST:: SOT 42690 SOS 24212 HAS SOPS 23620 HAS SOUS 6191 HAS SOUPS 6127 WITH SCORE 6151.212
AT ITER 2662 NEW BEST:: SOT 42688 SOS 24214 HAS SOPS 23622 HAS SOUS 6190 HAS SOUPS 6126 WITH SCORE 6150.214
AT ITER 2687 NEW BEST:: SOT 42695 SOS 24221 HAS SOPS 23629 HAS SOUS 6183 HAS SOUPS 6119 WITH SCORE 6143.221
AT ITER 2707 NEW BEST:: SOT 42760 SOS 24291 HAS SOPS 23699 HAS SOUS 6089 HAS SOUPS 6025 WITH SCORE 6049.291
AT ITER 2861 NEW BEST:: SOT 42826 SOS 24357 HAS SOPS 23765 HAS SOUS 6077 HAS SOUPS 6013 WITH SCORE 6037.357
AT ITER 2882 NEW BEST:: SOT 42842 SOS 24373 HAS SOPS 23781 HAS SOUS 6075 HAS SOUPS 6011 WITH SCORE 6035.373
AT ITER 2922 NEW BEST:: SOT 42776 SOS 24298 HAS SOPS 23706 HAS SOUS 5983 HAS SOUPS 5919 WITH SCORE 5943.298
AT ITER 2923 NEW BEST:: SOT 42777 SOS 24291 HAS SOPS 23699 HAS SOUS 5971 HAS SOUPS 5907 WITH SCORE 5931.291
AT ITER 2991 NEW BEST:: SOT 42777 SOS 24287 HAS SOPS 23695 HAS SOUS 5971 HAS SOUPS 5907 WITH SCORE 5931.287
AT ITER 2997 NEW BEST:: SOT 42763 SOS 24273 HAS SOPS 23681 HAS SOUS 5956 HAS SOUPS 5892 WITH SCORE 5916.273
AT ITER 3020 NEW BEST:: SOT 42762 SOS 24271 HAS SOPS 23679 HAS SOUS 5954 HAS SOUPS 5890 WITH SCORE 5914.271
AT ITER 3036 NEW BEST:: SOT 42711 SOS 24196 HAS SOPS 23604 HAS SOUS 5891 HAS SOUPS 5827 WITH SCORE 5851.196
AT ITER 3043 NEW BEST:: SOT 42711 SOS 24194 HAS SOPS 23602 HAS SOUS 5889 HAS SOUPS 5825 WITH SCORE 5849.194
AT ITER 3202 NEW BEST:: SOT 42671 SOS 24154 HAS SOPS 23562 HAS SOUS 5886 HAS SOUPS 5822 WITH SCORE 5846.154
AT ITER 3309 NEW BEST:: SOT 42700 SOS 23789 HAS SOPS 23013 HAS SOUS 5902 HAS SOUPS 5802 WITH SCORE 5825.789
AT ITER 3326 NEW BEST:: SOT 42692 SOS 23781 HAS SOPS 23005 HAS SOUS 5898 HAS SOUPS 5798 WITH SCORE 5821.781
AT ITER 3485 NEW BEST:: SOT 42692 SOS 23780 HAS SOPS 23004 HAS SOUS 5898 HAS SOUPS 5798 WITH SCORE 5821.78
AT ITER 3524 NEW BEST:: SOT 42694 SOS 23774 HAS SOPS 22998 HAS SOUS 5892 HAS SOUPS 5792 WITH SCORE 5815.774
AT ITER 3526 NEW BEST:: SOT 42694 SOS 23562 HAS SOPS 22878 HAS SOUS 5896 HAS SOUPS 5792 WITH SCORE 5815.562
AT ITER 3536 NEW BEST:: SOT 42640 SOS 23496 HAS SOPS 22812 HAS SOUS 5836 HAS SOUPS 5732 WITH SCORE 5755.496
AT ITER 3570 NEW BEST:: SOT 42640 SOS 23494 HAS SOPS 22810 HAS SOUS 5834 HAS SOUPS 5730 WITH SCORE 5753.494
AT ITER 3572 NEW BEST:: SOT 42640 SOS 23458 HAS SOPS 22787 HAS SOUS 5833 HAS SOUPS 5730 WITH SCORE 5753.458
AT ITER 3657 NEW BEST:: SOT 42638 SOS 23456 HAS SOPS 22785 HAS SOUS 5829 HAS SOUPS 5726 WITH SCORE 5749.456
AT ITER 3779 NEW BEST:: SOT 42638 SOS 23455 HAS SOPS 22784 HAS SOUS 5828 HAS SOUPS 5725 WITH SCORE 5748.455
AT ITER 3795 NEW BEST:: SOT 42660 SOS 23479 HAS SOPS 22808 HAS SOUS 5812 HAS SOUPS 5709 WITH SCORE 5732.479
AT ITER 3834 NEW BEST:: SOT 42647 SOS 23471 HAS SOPS 22800 HAS SOUS 5805 HAS SOUPS 5702 WITH SCORE 5725.471
AT ITER 3851 NEW BEST:: SOT 42581 SOS 23402 HAS SOPS 22731 HAS SOUS 5757 HAS SOUPS 5654 WITH SCORE 5677.402
AT ITER 3865 NEW BEST:: SOT 42580 SOS 23401 HAS SOPS 22730 HAS SOUS 5756 HAS SOUPS 5653 WITH SCORE 5676.401
AT ITER 3870 NEW BEST:: SOT 42572 SOS 23393 HAS SOPS 22722 HAS SOUS 5748 HAS SOUPS 5645 WITH SCORE 5668.393
AT ITER 4002 NEW BEST:: SOT 42569 SOS 23325 HAS SOPS 22660 HAS SOUS 5740 HAS SOUPS 5640 WITH SCORE 5663.325
AT ITER 4044 NEW BEST:: SOT 42569 SOS 23245 HAS SOPS 22560 HAS SOUS 5738 HAS SOUPS 5638 WITH SCORE 5661.245
AT ITER 4084 NEW BEST:: SOT 42569 SOS 23243 HAS SOPS 22554 HAS SOUS 5738 HAS SOUPS 5636 WITH SCORE 5659.243
AT ITER 4221 NEW BEST:: SOT 42570 SOS 23244 HAS SOPS 22555 HAS SOUS 5712 HAS SOUPS 5610 WITH SCORE 5633.244
AT ITER 4258 NEW BEST:: SOT 42561 SOS 23069 HAS SOPS 22466 HAS SOUS 5697 HAS SOUPS 5597 WITH SCORE 5620.069
AT ITER 4276 NEW BEST:: SOT 42556 SOS 23064 HAS SOPS 22461 HAS SOUS 5692 HAS SOUPS 5592 WITH SCORE 5615.064
AT ITER 4301 NEW BEST:: SOT 42593 SOS 23101 HAS SOPS 22498 HAS SOUS 5691 HAS SOUPS 5591 WITH SCORE 5614.101
AT ITER 4375 NEW BEST:: SOT 42593 SOS 23101 HAS SOPS 22498 HAS SOUS 5685 HAS SOUPS 5585 WITH SCORE 5608.101
AT ITER 4536 NEW BEST:: SOT 42586 SOS 23106 HAS SOPS 22503 HAS SOUS 5683 HAS SOUPS 5583 WITH SCORE 5606.106
AT ITER 4547 NEW BEST:: SOT 42584 SOS 23097 HAS SOPS 22494 HAS SOUS 5679 HAS SOUPS 5579 WITH SCORE 5602.097
AT ITER 4586 NEW BEST:: SOT 42530 SOS 23043 HAS SOPS 22440 HAS SOUS 5679 HAS SOUPS 5579 WITH SCORE 5602.043
AT ITER 4590 NEW BEST:: SOT 42530 SOS 22955 HAS SOPS 22378 HAS SOUS 5675 HAS SOUPS 5577 WITH SCORE 5599.955
AT ITER 4671 NEW BEST:: SOT 42530 SOS 22890 HAS SOPS 22339 HAS SOUS 5670 HAS SOUPS 5574 WITH SCORE 5596.89
AT ITER 4928 NEW BEST:: SOT 42526 SOS 22892 HAS SOPS 22341 HAS SOUS 5668 HAS SOUPS 5572 WITH SCORE 5594.892
AT ITER 4934 NEW BEST:: SOT 42570 SOS 22898 HAS SOPS 22283 HAS SOUS 5685 HAS SOUPS 5555 WITH SCORE 5577.898
AT ITER 4936 NEW BEST:: SOT 42570 SOS 22868 HAS SOPS 22243 HAS SOUS 5684 HAS SOUPS 5554 WITH SCORE 5576.868
AT ITER 4958 NEW BEST:: SOT 42569 SOS 22848 HAS SOPS 22223 HAS SOUS 5682 HAS SOUPS 5552 WITH SCORE 5574.848
AT ITER 5000 NEW BEST:: SOT 42565 SOS 22846 HAS SOPS 22221 HAS SOUS 5676 HAS SOUPS 5546 WITH SCORE 5568.846
AT ITER 5003 NEW BEST:: SOT 42564 SOS 22845 HAS SOPS 22220 HAS SOUS 5666 HAS SOUPS 5536 WITH SCORE 5558.845
AT ITER 5058 NEW BEST:: SOT 42564 SOS 22807 HAS SOPS 22182 HAS SOUS 5666 HAS SOUPS 5536 WITH SCORE 5558.807
AT ITER 5096 NEW BEST:: SOT 42564 SOS 22754 HAS SOPS 22142 HAS SOUS 5662 HAS SOUPS 5533 WITH SCORE 5555.754
AT ITER 5155 NEW BEST:: SOT 42564 SOS 22770 HAS SOPS 22158 HAS SOUS 5657 HAS SOUPS 5528 WITH SCORE 5550.77
AT ITER 5179 NEW BEST:: SOT 42563 SOS 22769 HAS SOPS 22157 HAS SOUS 5656 HAS SOUPS 5527 WITH SCORE 5549.769
AT ITER 5197 NEW BEST:: SOT 42560 SOS 22674 HAS SOPS 22068 HAS SOUS 5647 HAS SOUPS 5521 WITH SCORE 5543.674
AT ITER 5293 NEW BEST:: SOT 42560 SOS 22673 HAS SOPS 22067 HAS SOUS 5647 HAS SOUPS 5521 WITH SCORE 5543.673
AT ITER 5353 NEW BEST:: SOT 42568 SOS 22681 HAS SOPS 22075 HAS SOUS 5645 HAS SOUPS 5519 WITH SCORE 5541.681
AT ITER 5377 NEW BEST:: SOT 42565 SOS 22678 HAS SOPS 22072 HAS SOUS 5642 HAS SOUPS 5516 WITH SCORE 5538.678
AT ITER 5438 NEW BEST:: SOT 42555 SOS 22668 HAS SOPS 22062 HAS SOUS 5632 HAS SOUPS 5506 WITH SCORE 5528.668
AT ITER 5598 NEW BEST:: SOT 42555 SOS 22581 HAS SOPS 22062 HAS SOUS 5626 HAS SOUPS 5503 WITH SCORE 5525.581
AT ITER 5640 NEW BEST:: SOT 42555 SOS 22549 HAS SOPS 22042 HAS SOUS 5624 HAS SOUPS 5501 WITH SCORE 5523.549
AT ITER 5658 NEW BEST:: SOT 42528 SOS 22521 HAS SOPS 22014 HAS SOUS 5597 HAS SOUPS 5474 WITH SCORE 5496.521
AT ITER 5778 NEW BEST:: SOT 42528 SOS 22520 HAS SOPS 22014 HAS SOUS 5598 HAS SOUPS 5474 WITH SCORE 5496.52
AT ITER 5844 NEW BEST:: SOT 42528 SOS 22637 HAS SOPS 22024 HAS SOUS 5596 HAS SOUPS 5473 WITH SCORE 5495.637
AT ITER 5847 NEW BEST:: SOT 42519 SOS 22554 HAS SOPS 21921 HAS SOUS 5591 HAS SOUPS 5466 WITH SCORE 5488.554
AT ITER 5853 NEW BEST:: SOT 42519 SOS 22415 HAS SOPS 21821 HAS SOUS 5580 HAS SOUPS 5458 WITH SCORE 5480.415
AT ITER 5878 NEW BEST:: SOT 42516 SOS 22410 HAS SOPS 21816 HAS SOUS 5575 HAS SOUPS 5453 WITH SCORE 5475.41
AT ITER 6118 NEW BEST:: SOT 42550 SOS 22373 HAS SOPS 21779 HAS SOUS 5553 HAS SOUPS 5431 WITH SCORE 5453.373
AT ITER 6120 NEW BEST:: SOT 42550 SOS 22311 HAS SOPS 21729 HAS SOUS 5552 HAS SOUPS 5430 WITH SCORE 5452.311
AT ITER 6176 NEW BEST:: SOT 42548 SOS 22308 HAS SOPS 21726 HAS SOUS 5549 HAS SOUPS 5427 WITH SCORE 5449.308
AT ITER 6227 NEW BEST:: SOT 42544 SOS 22296 HAS SOPS 21714 HAS SOUS 5545 HAS SOUPS 5423 WITH SCORE 5445.296
AT ITER 6270 NEW BEST:: SOT 42536 SOS 22283 HAS SOPS 21701 HAS SOUS 5536 HAS SOUPS 5414 WITH SCORE 5436.283
AT ITER 6537 NEW BEST:: SOT 42530 SOS 22277 HAS SOPS 21695 HAS SOUS 5524 HAS SOUPS 5402 WITH SCORE 5424.277
AT ITER 6943 NEW BEST:: SOT 42522 SOS 22269 HAS SOPS 21687 HAS SOUS 5516 HAS SOUPS 5394 WITH SCORE 5416.269
AT ITER 7195 NEW BEST:: SOT 42516 SOS 22267 HAS SOPS 21685 HAS SOUS 5515 HAS SOUPS 5393 WITH SCORE 5415.267
AT ITER 7222 NEW BEST:: SOT 42513 SOS 22271 HAS SOPS 21689 HAS SOUS 5509 HAS SOUPS 5387 WITH SCORE 5409.271
AT ITER 8209 NEW BEST:: SOT 42510 SOS 22268 HAS SOPS 21686 HAS SOUS 5505 HAS SOUPS 5383 WITH SCORE 5405.268
AT ITER 8374 NEW BEST:: SOT 42510 SOS 22215 HAS SOPS 21666 HAS SOUS 5506 HAS SOUPS 5383 WITH SCORE 5405.215
AT ITER 8658 NEW BEST:: SOT 42508 SOS 22213 HAS SOPS 21664 HAS SOUS 5504 HAS SOUPS 5381 WITH SCORE 5403.213
AT ITER 8675 NEW BEST:: SOT 42474 SOS 22179 HAS SOPS 21630 HAS SOUS 5472 HAS SOUPS 5349 WITH SCORE 5371.179
AT ITER 8696 NEW BEST:: SOT 42473 SOS 22178 HAS SOPS 21629 HAS SOUS 5462 HAS SOUPS 5339 WITH SCORE 5361.178
AT ITER 8707 NEW BEST:: SOT 42473 SOS 22175 HAS SOPS 21626 HAS SOUS 5461 HAS SOUPS 5338 WITH SCORE 5360.175
AT ITER 8917 NEW BEST:: SOT 42471 SOS 22173 HAS SOPS 21624 HAS SOUS 5459 HAS SOUPS 5336 WITH SCORE 5358.173
AT ITER 8983 NEW BEST:: SOT 42466 SOS 22168 HAS SOPS 21619 HAS SOUS 5450 HAS SOUPS 5327 WITH SCORE 5349.168
AT ITER 9029 NEW BEST:: SOT 42466 SOS 22145 HAS SOPS 21600 HAS SOUS 5447 HAS SOUPS 5326 WITH SCORE 5348.145
AT ITER 9363 NEW BEST:: SOT 42425 SOS 22104 HAS SOPS 21559 HAS SOUS 5443 HAS SOUPS 5322 WITH SCORE 5344.104
STATE_SPACE STATES 406034376 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3051203628 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679391171059

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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

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="SimpleLoadBal-PT-10"
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 SimpleLoadBal-PT-10, 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 r427-tajo-167905979800520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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