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.r459-smll-167912651200408.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 StigmergyCommit-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 10:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 10:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 231K 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 1679346167671

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=StigmergyCommit-PT-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 21:02:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 21:02:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 21:02:51] [INFO ] Load time of PNML (sax parser for PT used): 314 ms
[2023-03-20 21:02:51] [INFO ] Transformed 928 places.
[2023-03-20 21:02:51] [INFO ] Transformed 1040 transitions.
[2023-03-20 21:02:51] [INFO ] Found NUPN structural information;
[2023-03-20 21:02:51] [INFO ] Parsed PT model containing 928 places and 1040 transitions and 2439 arcs in 471 ms.
[2023-03-20 21:02:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 928 places, 1040 transitions and 2439 arcs took 23 ms.
Total runtime 557 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 02b
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: 928 places, 1040 transitions, 2439 arcs.
AT ITER 0 NEW BEST:: SOT 535306 SOS 79685 HAS SOPS 79685 HAS SOUS 76208 HAS SOUPS 76208 WITH SCORE 76287.685
AT ITER 12 NEW BEST:: SOT 535260 SOS 79593 HAS SOPS 79593 HAS SOUS 76116 HAS SOUPS 76116 WITH SCORE 76195.593
AT ITER 37 NEW BEST:: SOT 535258 SOS 77652 HAS SOPS 77652 HAS SOUS 76112 HAS SOUPS 76112 WITH SCORE 76189.652
AT ITER 103 NEW BEST:: SOT 534300 SOS 81066 HAS SOPS 81066 HAS SOUS 75444 HAS SOUPS 75444 WITH SCORE 75525.066
AT ITER 105 NEW BEST:: SOT 534255 SOS 79806 HAS SOPS 79806 HAS SOUS 75354 HAS SOUPS 75354 WITH SCORE 75433.806
AT ITER 110 NEW BEST:: SOT 533658 SOS 79253 HAS SOPS 79253 HAS SOUS 74778 HAS SOUPS 74778 WITH SCORE 74857.253
AT ITER 125 NEW BEST:: SOT 533611 SOS 79159 HAS SOPS 79159 HAS SOUS 74637 HAS SOUPS 74637 WITH SCORE 74716.159
AT ITER 165 NEW BEST:: SOT 533611 SOS 79158 HAS SOPS 79158 HAS SOUS 74636 HAS SOUPS 74636 WITH SCORE 74715.158
AT ITER 206 NEW BEST:: SOT 533577 SOS 79090 HAS SOPS 79090 HAS SOUS 74568 HAS SOUPS 74568 WITH SCORE 74647.09
AT ITER 223 NEW BEST:: SOT 533525 SOS 78986 HAS SOPS 78986 HAS SOUS 74516 HAS SOUPS 74516 WITH SCORE 74594.986
AT ITER 224 NEW BEST:: SOT 533401 SOS 78738 HAS SOPS 78738 HAS SOUS 74392 HAS SOUPS 74392 WITH SCORE 74470.738
AT ITER 293 NEW BEST:: SOT 533293 SOS 78522 HAS SOPS 78522 HAS SOUS 74284 HAS SOUPS 74284 WITH SCORE 74362.522
AT ITER 296 NEW BEST:: SOT 531753 SOS 84854 HAS SOPS 84854 HAS SOUS 73388 HAS SOUPS 73388 WITH SCORE 73472.854
AT ITER 307 NEW BEST:: SOT 531725 SOS 84798 HAS SOPS 84798 HAS SOUS 73360 HAS SOUPS 73360 WITH SCORE 73444.798
AT ITER 315 NEW BEST:: SOT 531683 SOS 84756 HAS SOPS 84756 HAS SOUS 73318 HAS SOUPS 73318 WITH SCORE 73402.756
AT ITER 319 NEW BEST:: SOT 531575 SOS 84756 HAS SOPS 84756 HAS SOUS 73244 HAS SOUPS 73244 WITH SCORE 73328.756
AT ITER 329 NEW BEST:: SOT 531506 SOS 84696 HAS SOPS 84696 HAS SOUS 73175 HAS SOUPS 73175 WITH SCORE 73259.696
AT ITER 350 NEW BEST:: SOT 531506 SOS 81784 HAS SOPS 81784 HAS SOUS 73175 HAS SOUPS 73175 WITH SCORE 73256.784
AT ITER 352 NEW BEST:: SOT 531381 SOS 81534 HAS SOPS 81534 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73142.534
AT ITER 410 NEW BEST:: SOT 531380 SOS 81532 HAS SOPS 81532 HAS SOUS 73059 HAS SOUPS 73059 WITH SCORE 73140.532
AT ITER 503 NEW BEST:: SOT 531369 SOS 81510 HAS SOPS 81510 HAS SOUS 73037 HAS SOUPS 73037 WITH SCORE 73118.51
AT ITER 530 NEW BEST:: SOT 531328 SOS 81428 HAS SOPS 81428 HAS SOUS 72893 HAS SOUPS 72893 WITH SCORE 72974.428
AT ITER 535 NEW BEST:: SOT 531318 SOS 81408 HAS SOPS 81408 HAS SOUS 72873 HAS SOUPS 72873 WITH SCORE 72954.408
AT ITER 554 NEW BEST:: SOT 531318 SOS 81407 HAS SOPS 81407 HAS SOUS 72872 HAS SOUPS 72872 WITH SCORE 72953.407
AT ITER 572 NEW BEST:: SOT 531317 SOS 81405 HAS SOPS 81405 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 72951.405
AT ITER 578 NEW BEST:: SOT 531274 SOS 81319 HAS SOPS 81319 HAS SOUS 72784 HAS SOUPS 72784 WITH SCORE 72865.319
AT ITER 601 NEW BEST:: SOT 531158 SOS 81087 HAS SOPS 81087 HAS SOUS 72668 HAS SOUPS 72668 WITH SCORE 72749.087
AT ITER 602 NEW BEST:: SOT 531204 SOS 81179 HAS SOPS 81179 HAS SOUS 72651 HAS SOUPS 72651 WITH SCORE 72732.179
AT ITER 721 NEW BEST:: SOT 531174 SOS 81149 HAS SOPS 81149 HAS SOUS 72621 HAS SOUPS 72621 WITH SCORE 72702.149
AT ITER 748 NEW BEST:: SOT 531092 SOS 80985 HAS SOPS 80985 HAS SOUS 72546 HAS SOUPS 72546 WITH SCORE 72626.985
AT ITER 782 NEW BEST:: SOT 530940 SOS 80798 HAS SOPS 80798 HAS SOUS 72394 HAS SOUPS 72394 WITH SCORE 72474.798
AT ITER 786 NEW BEST:: SOT 530922 SOS 80762 HAS SOPS 80762 HAS SOUS 72358 HAS SOUPS 72358 WITH SCORE 72438.762
AT ITER 858 NEW BEST:: SOT 530920 SOS 80758 HAS SOPS 80758 HAS SOUS 72354 HAS SOUPS 72354 WITH SCORE 72434.758
AT ITER 877 NEW BEST:: SOT 530888 SOS 79368 HAS SOPS 79368 HAS SOUS 72271 HAS SOUPS 72271 WITH SCORE 72350.368
AT ITER 945 NEW BEST:: SOT 530888 SOS 79367 HAS SOPS 79367 HAS SOUS 72270 HAS SOUPS 72270 WITH SCORE 72349.367
AT ITER 952 NEW BEST:: SOT 530773 SOS 79137 HAS SOPS 79137 HAS SOUS 72215 HAS SOUPS 72215 WITH SCORE 72294.137
AT ITER 966 NEW BEST:: SOT 530773 SOS 79136 HAS SOPS 79136 HAS SOUS 72214 HAS SOUPS 72214 WITH SCORE 72293.136
AT ITER 993 NEW BEST:: SOT 530678 SOS 79632 HAS SOPS 79632 HAS SOUS 72190 HAS SOUPS 72190 WITH SCORE 72269.632
AT ITER 996 NEW BEST:: SOT 530619 SOS 79514 HAS SOPS 79514 HAS SOUS 72072 HAS SOUPS 72072 WITH SCORE 72151.514
AT ITER 1009 NEW BEST:: SOT 530609 SOS 79494 HAS SOPS 79494 HAS SOUS 72052 HAS SOUPS 72052 WITH SCORE 72131.494
AT ITER 1013 NEW BEST:: SOT 530673 SOS 79622 HAS SOPS 79622 HAS SOUS 72016 HAS SOUPS 72016 WITH SCORE 72095.622
AT ITER 1021 NEW BEST:: SOT 530673 SOS 79893 HAS SOPS 79893 HAS SOUS 72015 HAS SOUPS 72015 WITH SCORE 72094.893
AT ITER 1064 NEW BEST:: SOT 530635 SOS 79817 HAS SOPS 79817 HAS SOUS 71939 HAS SOUPS 71939 WITH SCORE 72018.817
AT ITER 1120 NEW BEST:: SOT 530627 SOS 79801 HAS SOPS 79801 HAS SOUS 71923 HAS SOUPS 71923 WITH SCORE 72002.801
AT ITER 1123 NEW BEST:: SOT 530624 SOS 79795 HAS SOPS 79795 HAS SOUS 71920 HAS SOUPS 71920 WITH SCORE 71999.795
AT ITER 1139 NEW BEST:: SOT 530580 SOS 79707 HAS SOPS 79707 HAS SOUS 71832 HAS SOUPS 71832 WITH SCORE 71911.707
AT ITER 1151 NEW BEST:: SOT 530464 SOS 79475 HAS SOPS 79475 HAS SOUS 71716 HAS SOUPS 71716 WITH SCORE 71795.475
AT ITER 1155 NEW BEST:: SOT 530463 SOS 79473 HAS SOPS 79473 HAS SOUS 71714 HAS SOUPS 71714 WITH SCORE 71793.473
AT ITER 1204 NEW BEST:: SOT 530387 SOS 79321 HAS SOPS 79321 HAS SOUS 71562 HAS SOUPS 71562 WITH SCORE 71641.321
AT ITER 1211 NEW BEST:: SOT 530345 SOS 79237 HAS SOPS 79237 HAS SOUS 71478 HAS SOUPS 71478 WITH SCORE 71557.237
AT ITER 1225 NEW BEST:: SOT 530302 SOS 79223 HAS SOPS 79223 HAS SOUS 71450 HAS SOUPS 71450 WITH SCORE 71529.223
AT ITER 1281 NEW BEST:: SOT 530079 SOS 79093 HAS SOPS 79093 HAS SOUS 71405 HAS SOUPS 71405 WITH SCORE 71484.093
AT ITER 1309 NEW BEST:: SOT 530060 SOS 79055 HAS SOPS 79055 HAS SOUS 71386 HAS SOUPS 71386 WITH SCORE 71465.055
AT ITER 1316 NEW BEST:: SOT 529848 SOS 78790 HAS SOPS 78790 HAS SOUS 71174 HAS SOUPS 71174 WITH SCORE 71252.79
AT ITER 1318 NEW BEST:: SOT 529828 SOS 78750 HAS SOPS 78750 HAS SOUS 71134 HAS SOUPS 71134 WITH SCORE 71212.75
AT ITER 1402 NEW BEST:: SOT 529745 SOS 78584 HAS SOPS 78584 HAS SOUS 71107 HAS SOUPS 71107 WITH SCORE 71185.584
AT ITER 1462 NEW BEST:: SOT 529826 SOS 78582 HAS SOPS 78582 HAS SOUS 71105 HAS SOUPS 71105 WITH SCORE 71183.582
AT ITER 1466 NEW BEST:: SOT 529789 SOS 78508 HAS SOPS 78508 HAS SOUS 71031 HAS SOUPS 71031 WITH SCORE 71109.508
AT ITER 1538 NEW BEST:: SOT 529775 SOS 78480 HAS SOPS 78480 HAS SOUS 71003 HAS SOUPS 71003 WITH SCORE 71081.48
AT ITER 1540 NEW BEST:: SOT 529657 SOS 78384 HAS SOPS 78384 HAS SOUS 70837 HAS SOUPS 70837 WITH SCORE 70915.384
AT ITER 1546 NEW BEST:: SOT 529613 SOS 78453 HAS SOPS 78453 HAS SOUS 70804 HAS SOUPS 70804 WITH SCORE 70882.453
AT ITER 1563 NEW BEST:: SOT 529613 SOS 78449 HAS SOPS 78449 HAS SOUS 70803 HAS SOUPS 70803 WITH SCORE 70881.449
AT ITER 1611 NEW BEST:: SOT 529612 SOS 78430 HAS SOPS 78430 HAS SOUS 70801 HAS SOUPS 70801 WITH SCORE 70879.43
AT ITER 1615 NEW BEST:: SOT 529612 SOS 78429 HAS SOPS 78429 HAS SOUS 70800 HAS SOUPS 70800 WITH SCORE 70878.429
AT ITER 1673 NEW BEST:: SOT 529550 SOS 78304 HAS SOPS 78304 HAS SOUS 70675 HAS SOUPS 70675 WITH SCORE 70753.304
AT ITER 1696 NEW BEST:: SOT 529549 SOS 78303 HAS SOPS 78303 HAS SOUS 70673 HAS SOUPS 70673 WITH SCORE 70751.303
AT ITER 1707 NEW BEST:: SOT 529549 SOS 78303 HAS SOPS 78303 HAS SOUS 70637 HAS SOUPS 70637 WITH SCORE 70715.303
AT ITER 1728 NEW BEST:: SOT 529492 SOS 78189 HAS SOPS 78189 HAS SOUS 70523 HAS SOUPS 70523 WITH SCORE 70601.189
AT ITER 1730 NEW BEST:: SOT 529401 SOS 78112 HAS SOPS 78112 HAS SOUS 70446 HAS SOUPS 70446 WITH SCORE 70524.112
AT ITER 1756 NEW BEST:: SOT 529400 SOS 78110 HAS SOPS 78110 HAS SOUS 70444 HAS SOUPS 70444 WITH SCORE 70522.11
AT ITER 1770 NEW BEST:: SOT 529367 SOS 78044 HAS SOPS 78044 HAS SOUS 70378 HAS SOUPS 70378 WITH SCORE 70456.044
AT ITER 1777 NEW BEST:: SOT 529288 SOS 78142 HAS SOPS 78142 HAS SOUS 70341 HAS SOUPS 70341 WITH SCORE 70419.142
AT ITER 1788 NEW BEST:: SOT 529262 SOS 78090 HAS SOPS 78090 HAS SOUS 70289 HAS SOUPS 70289 WITH SCORE 70367.09
AT ITER 1810 NEW BEST:: SOT 529250 SOS 78066 HAS SOPS 78066 HAS SOUS 70265 HAS SOUPS 70265 WITH SCORE 70343.066
AT ITER 2012 NEW BEST:: SOT 529249 SOS 78064 HAS SOPS 78064 HAS SOUS 70263 HAS SOUPS 70263 WITH SCORE 70341.064
AT ITER 2057 NEW BEST:: SOT 529249 SOS 78064 HAS SOPS 78064 HAS SOUS 70262 HAS SOUPS 70262 WITH SCORE 70340.064
AT ITER 2091 NEW BEST:: SOT 529203 SOS 77972 HAS SOPS 77972 HAS SOUS 70229 HAS SOUPS 70229 WITH SCORE 70306.972
AT ITER 2189 NEW BEST:: SOT 529174 SOS 77889 HAS SOPS 77889 HAS SOUS 70171 HAS SOUPS 70171 WITH SCORE 70248.889
AT ITER 2240 NEW BEST:: SOT 529173 SOS 77887 HAS SOPS 77887 HAS SOUS 70169 HAS SOUPS 70169 WITH SCORE 70246.887
AT ITER 2252 NEW BEST:: SOT 529173 SOS 77886 HAS SOPS 77886 HAS SOUS 70168 HAS SOUPS 70168 WITH SCORE 70245.886
AT ITER 2261 NEW BEST:: SOT 528863 SOS 82454 HAS SOPS 82454 HAS SOUS 70000 HAS SOUPS 70000 WITH SCORE 70082.454
AT ITER 2264 NEW BEST:: SOT 528850 SOS 82428 HAS SOPS 82428 HAS SOUS 69974 HAS SOUPS 69974 WITH SCORE 70056.428
AT ITER 2276 NEW BEST:: SOT 528806 SOS 82340 HAS SOPS 82340 HAS SOUS 69934 HAS SOUPS 69934 WITH SCORE 70016.34
AT ITER 2357 NEW BEST:: SOT 528557 SOS 82447 HAS SOPS 82447 HAS SOUS 69804 HAS SOUPS 69804 WITH SCORE 69886.447
AT ITER 2389 NEW BEST:: SOT 528513 SOS 82359 HAS SOPS 82359 HAS SOUS 69716 HAS SOUPS 69716 WITH SCORE 69798.359
AT ITER 2412 NEW BEST:: SOT 528481 SOS 82295 HAS SOPS 82295 HAS SOUS 69652 HAS SOUPS 69652 WITH SCORE 69734.295
AT ITER 2426 NEW BEST:: SOT 528467 SOS 82267 HAS SOPS 82267 HAS SOUS 69624 HAS SOUPS 69624 WITH SCORE 69706.267
AT ITER 2446 NEW BEST:: SOT 528442 SOS 81217 HAS SOPS 81217 HAS SOUS 69574 HAS SOUPS 69574 WITH SCORE 69655.217
AT ITER 2450 NEW BEST:: SOT 528441 SOS 81215 HAS SOPS 81215 HAS SOUS 69572 HAS SOUPS 69572 WITH SCORE 69653.215
AT ITER 2462 NEW BEST:: SOT 528441 SOS 81181 HAS SOPS 81181 HAS SOUS 69553 HAS SOUPS 69553 WITH SCORE 69634.181
AT ITER 2463 NEW BEST:: SOT 528440 SOS 81179 HAS SOPS 81179 HAS SOUS 69551 HAS SOUPS 69551 WITH SCORE 69632.179
AT ITER 2466 NEW BEST:: SOT 528365 SOS 81029 HAS SOPS 81029 HAS SOUS 69476 HAS SOUPS 69476 WITH SCORE 69557.029
AT ITER 2505 NEW BEST:: SOT 528334 SOS 80967 HAS SOPS 80967 HAS SOUS 69445 HAS SOUPS 69445 WITH SCORE 69525.967
AT ITER 2607 NEW BEST:: SOT 528260 SOS 80819 HAS SOPS 80819 HAS SOUS 69297 HAS SOUPS 69297 WITH SCORE 69377.819
AT ITER 2635 NEW BEST:: SOT 528116 SOS 80747 HAS SOPS 80747 HAS SOUS 69189 HAS SOUPS 69189 WITH SCORE 69269.747
AT ITER 2658 NEW BEST:: SOT 528073 SOS 80618 HAS SOPS 80618 HAS SOUS 69146 HAS SOUPS 69146 WITH SCORE 69226.618
AT ITER 2668 NEW BEST:: SOT 528073 SOS 80616 HAS SOPS 80616 HAS SOUS 69144 HAS SOUPS 69144 WITH SCORE 69224.616
AT ITER 2673 NEW BEST:: SOT 528031 SOS 80532 HAS SOPS 80532 HAS SOUS 69102 HAS SOUPS 69102 WITH SCORE 69182.532
AT ITER 2682 NEW BEST:: SOT 527734 SOS 80223 HAS SOPS 80223 HAS SOUS 68787 HAS SOUPS 68787 WITH SCORE 68867.223
AT ITER 2688 NEW BEST:: SOT 527731 SOS 80217 HAS SOPS 80217 HAS SOUS 68781 HAS SOUPS 68781 WITH SCORE 68861.217
AT ITER 2708 NEW BEST:: SOT 527727 SOS 80209 HAS SOPS 80209 HAS SOUS 68773 HAS SOUPS 68773 WITH SCORE 68853.209
AT ITER 2736 NEW BEST:: SOT 527736 SOS 80105 HAS SOPS 80105 HAS SOUS 68727 HAS SOUPS 68727 WITH SCORE 68807.105
AT ITER 2737 NEW BEST:: SOT 527715 SOS 80063 HAS SOPS 80063 HAS SOUS 68685 HAS SOUPS 68685 WITH SCORE 68765.063
AT ITER 2739 NEW BEST:: SOT 527642 SOS 79917 HAS SOPS 79917 HAS SOUS 68539 HAS SOUPS 68539 WITH SCORE 68618.917
AT ITER 2758 NEW BEST:: SOT 527620 SOS 79873 HAS SOPS 79873 HAS SOUS 68495 HAS SOUPS 68495 WITH SCORE 68574.873
AT ITER 2761 NEW BEST:: SOT 527611 SOS 79855 HAS SOPS 79855 HAS SOUS 68477 HAS SOUPS 68477 WITH SCORE 68556.855
AT ITER 2775 NEW BEST:: SOT 527589 SOS 79811 HAS SOPS 79811 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68512.811
AT ITER 2785 NEW BEST:: SOT 527589 SOS 79811 HAS SOPS 79811 HAS SOUS 68392 HAS SOUPS 68392 WITH SCORE 68471.811
AT ITER 2798 NEW BEST:: SOT 527578 SOS 79789 HAS SOPS 79789 HAS SOUS 68370 HAS SOUPS 68370 WITH SCORE 68449.789
AT ITER 2800 NEW BEST:: SOT 527616 SOS 79485 HAS SOPS 79485 HAS SOUS 68348 HAS SOUPS 68348 WITH SCORE 68427.485
AT ITER 2801 NEW BEST:: SOT 527587 SOS 79427 HAS SOPS 79427 HAS SOUS 68304 HAS SOUPS 68304 WITH SCORE 68383.427
AT ITER 2834 NEW BEST:: SOT 526668 SOS 81634 HAS SOPS 81634 HAS SOUS 67620 HAS SOUPS 67620 WITH SCORE 67701.634
AT ITER 2860 NEW BEST:: SOT 526582 SOS 81462 HAS SOPS 81462 HAS SOUS 67448 HAS SOUPS 67448 WITH SCORE 67529.462
AT ITER 2876 NEW BEST:: SOT 526581 SOS 81460 HAS SOPS 81460 HAS SOUS 67446 HAS SOUPS 67446 WITH SCORE 67527.46
AT ITER 2945 NEW BEST:: SOT 525667 SOS 81478 HAS SOPS 81478 HAS SOUS 66671 HAS SOUPS 66671 WITH SCORE 66752.478
AT ITER 2958 NEW BEST:: SOT 525621 SOS 81386 HAS SOPS 81386 HAS SOUS 66579 HAS SOUPS 66579 WITH SCORE 66660.386
AT ITER 2998 NEW BEST:: SOT 525621 SOS 81386 HAS SOPS 81386 HAS SOUS 66577 HAS SOUPS 66577 WITH SCORE 66658.386
AT ITER 3001 NEW BEST:: SOT 525620 SOS 81384 HAS SOPS 81384 HAS SOUS 66575 HAS SOUPS 66575 WITH SCORE 66656.384
AT ITER 3017 NEW BEST:: SOT 525620 SOS 81379 HAS SOPS 81379 HAS SOUS 66575 HAS SOUPS 66575 WITH SCORE 66656.379
AT ITER 3039 NEW BEST:: SOT 525545 SOS 81229 HAS SOPS 81229 HAS SOUS 66475 HAS SOUPS 66475 WITH SCORE 66556.229
AT ITER 3044 NEW BEST:: SOT 525428 SOS 80955 HAS SOPS 80955 HAS SOUS 66241 HAS SOUPS 66241 WITH SCORE 66321.955
AT ITER 3180 NEW BEST:: SOT 525419 SOS 80937 HAS SOPS 80937 HAS SOUS 66223 HAS SOUPS 66223 WITH SCORE 66303.937
AT ITER 3183 NEW BEST:: SOT 525412 SOS 80923 HAS SOPS 80923 HAS SOUS 66209 HAS SOUPS 66209 WITH SCORE 66289.923
AT ITER 3210 NEW BEST:: SOT 525330 SOS 80759 HAS SOPS 80759 HAS SOUS 66139 HAS SOUPS 66139 WITH SCORE 66219.759
AT ITER 3224 NEW BEST:: SOT 525330 SOS 80759 HAS SOPS 80759 HAS SOUS 66137 HAS SOUPS 66137 WITH SCORE 66217.759
AT ITER 3227 NEW BEST:: SOT 525216 SOS 80531 HAS SOPS 80531 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 65989.531
AT ITER 3228 NEW BEST:: SOT 525202 SOS 80503 HAS SOPS 80503 HAS SOUS 65881 HAS SOUPS 65881 WITH SCORE 65961.503
AT ITER 3252 NEW BEST:: SOT 525202 SOS 80503 HAS SOPS 80503 HAS SOUS 65876 HAS SOUPS 65876 WITH SCORE 65956.503
AT ITER 3269 NEW BEST:: SOT 525102 SOS 80303 HAS SOPS 80303 HAS SOUS 65677 HAS SOUPS 65677 WITH SCORE 65757.303
AT ITER 3296 NEW BEST:: SOT 525101 SOS 80301 HAS SOPS 80301 HAS SOUS 65675 HAS SOUPS 65675 WITH SCORE 65755.301
AT ITER 3360 NEW BEST:: SOT 525098 SOS 80295 HAS SOPS 80295 HAS SOUS 65669 HAS SOUPS 65669 WITH SCORE 65749.295
AT ITER 3363 NEW BEST:: SOT 525077 SOS 80253 HAS SOPS 80253 HAS SOUS 65627 HAS SOUPS 65627 WITH SCORE 65707.253
AT ITER 3375 NEW BEST:: SOT 525004 SOS 80107 HAS SOPS 80107 HAS SOUS 65481 HAS SOUPS 65481 WITH SCORE 65561.107
AT ITER 3398 NEW BEST:: SOT 524972 SOS 80083 HAS SOPS 80083 HAS SOUS 65417 HAS SOUPS 65417 WITH SCORE 65497.083
AT ITER 3408 NEW BEST:: SOT 524967 SOS 80078 HAS SOPS 80078 HAS SOUS 65412 HAS SOUPS 65412 WITH SCORE 65492.078
AT ITER 3419 NEW BEST:: SOT 524896 SOS 79936 HAS SOPS 79936 HAS SOUS 65410 HAS SOUPS 65410 WITH SCORE 65489.936
AT ITER 3467 NEW BEST:: SOT 524866 SOS 79876 HAS SOPS 79876 HAS SOUS 65350 HAS SOUPS 65350 WITH SCORE 65429.876
AT ITER 3477 NEW BEST:: SOT 524850 SOS 79844 HAS SOPS 79844 HAS SOUS 65318 HAS SOUPS 65318 WITH SCORE 65397.844
AT ITER 3480 NEW BEST:: SOT 524849 SOS 79780 HAS SOPS 79780 HAS SOUS 65316 HAS SOUPS 65316 WITH SCORE 65395.78
AT ITER 3499 NEW BEST:: SOT 524849 SOS 79764 HAS SOPS 79764 HAS SOUS 65312 HAS SOUPS 65312 WITH SCORE 65391.764
AT ITER 3582 NEW BEST:: SOT 524849 SOS 79752 HAS SOPS 79752 HAS SOUS 65300 HAS SOUPS 65300 WITH SCORE 65379.752
AT ITER 3592 NEW BEST:: SOT 524849 SOS 79752 HAS SOPS 79752 HAS SOUS 65247 HAS SOUPS 65247 WITH SCORE 65326.752
AT ITER 3593 NEW BEST:: SOT 524849 SOS 79719 HAS SOPS 79719 HAS SOUS 65214 HAS SOUPS 65214 WITH SCORE 65293.719
AT ITER 3642 NEW BEST:: SOT 524834 SOS 79689 HAS SOPS 79689 HAS SOUS 65184 HAS SOUPS 65184 WITH SCORE 65263.689
AT ITER 3770 NEW BEST:: SOT 524808 SOS 79646 HAS SOPS 79646 HAS SOUS 65141 HAS SOUPS 65141 WITH SCORE 65220.646
AT ITER 3782 NEW BEST:: SOT 524799 SOS 79637 HAS SOPS 79637 HAS SOUS 65132 HAS SOUPS 65132 WITH SCORE 65211.637
AT ITER 3790 NEW BEST:: SOT 524794 SOS 79627 HAS SOPS 79627 HAS SOUS 65122 HAS SOUPS 65122 WITH SCORE 65201.627
AT ITER 3802 NEW BEST:: SOT 524780 SOS 79599 HAS SOPS 79599 HAS SOUS 65094 HAS SOUPS 65094 WITH SCORE 65173.599
AT ITER 3826 NEW BEST:: SOT 524771 SOS 79581 HAS SOPS 79581 HAS SOUS 65076 HAS SOUPS 65076 WITH SCORE 65155.581
AT ITER 3913 NEW BEST:: SOT 524767 SOS 79573 HAS SOPS 79573 HAS SOUS 65068 HAS SOUPS 65068 WITH SCORE 65147.573
AT ITER 3930 NEW BEST:: SOT 524760 SOS 79559 HAS SOPS 79559 HAS SOUS 65054 HAS SOUPS 65054 WITH SCORE 65133.559
AT ITER 3944 NEW BEST:: SOT 524745 SOS 79521 HAS SOPS 79521 HAS SOUS 65016 HAS SOUPS 65016 WITH SCORE 65095.521
AT ITER 4038 NEW BEST:: SOT 524721 SOS 79473 HAS SOPS 79473 HAS SOUS 64968 HAS SOUPS 64968 WITH SCORE 65047.473
AT ITER 4069 NEW BEST:: SOT 524695 SOS 79447 HAS SOPS 79447 HAS SOUS 64942 HAS SOUPS 64942 WITH SCORE 65021.447
AT ITER 4079 NEW BEST:: SOT 524698 SOS 79271 HAS SOPS 79271 HAS SOUS 64931 HAS SOUPS 64931 WITH SCORE 65010.271
AT ITER 4148 NEW BEST:: SOT 524634 SOS 79143 HAS SOPS 79143 HAS SOUS 64888 HAS SOUPS 64888 WITH SCORE 64967.143
AT ITER 4160 NEW BEST:: SOT 524617 SOS 79109 HAS SOPS 79109 HAS SOUS 64871 HAS SOUPS 64871 WITH SCORE 64950.109
AT ITER 4206 NEW BEST:: SOT 524585 SOS 79033 HAS SOPS 79033 HAS SOUS 64807 HAS SOUPS 64807 WITH SCORE 64886.033
AT ITER 4208 NEW BEST:: SOT 524636 SOS 79135 HAS SOPS 79135 HAS SOUS 64760 HAS SOUPS 64760 WITH SCORE 64839.135
AT ITER 4272 NEW BEST:: SOT 524624 SOS 79111 HAS SOPS 79111 HAS SOUS 64736 HAS SOUPS 64736 WITH SCORE 64815.111
AT ITER 4292 NEW BEST:: SOT 524590 SOS 79043 HAS SOPS 79043 HAS SOUS 64668 HAS SOUPS 64668 WITH SCORE 64747.043
AT ITER 4317 NEW BEST:: SOT 524589 SOS 79010 HAS SOPS 79010 HAS SOUS 64666 HAS SOUPS 64666 WITH SCORE 64745.01
AT ITER 4320 NEW BEST:: SOT 524532 SOS 78896 HAS SOPS 78896 HAS SOUS 64622 HAS SOUPS 64622 WITH SCORE 64700.896
AT ITER 4347 NEW BEST:: SOT 524531 SOS 78894 HAS SOPS 78894 HAS SOUS 64620 HAS SOUPS 64620 WITH SCORE 64698.894
AT ITER 4454 NEW BEST:: SOT 524524 SOS 78880 HAS SOPS 78880 HAS SOUS 64606 HAS SOUPS 64606 WITH SCORE 64684.88
AT ITER 4456 NEW BEST:: SOT 524492 SOS 78816 HAS SOPS 78816 HAS SOUS 64574 HAS SOUPS 64574 WITH SCORE 64652.816
AT ITER 4479 NEW BEST:: SOT 524185 SOS 78640 HAS SOPS 78640 HAS SOUS 64344 HAS SOUPS 64344 WITH SCORE 64422.64
AT ITER 4491 NEW BEST:: SOT 524082 SOS 78434 HAS SOPS 78434 HAS SOUS 64287 HAS SOUPS 64287 WITH SCORE 64365.434
AT ITER 4506 NEW BEST:: SOT 524036 SOS 78342 HAS SOPS 78342 HAS SOUS 64195 HAS SOUPS 64195 WITH SCORE 64273.342
AT ITER 4556 NEW BEST:: SOT 524023 SOS 78329 HAS SOPS 78329 HAS SOUS 64177 HAS SOUPS 64177 WITH SCORE 64255.329
AT ITER 4617 NEW BEST:: SOT 523996 SOS 78302 HAS SOPS 78302 HAS SOUS 64123 HAS SOUPS 64123 WITH SCORE 64201.302
AT ITER 4672 NEW BEST:: SOT 523904 SOS 78118 HAS SOPS 78118 HAS SOUS 64007 HAS SOUPS 64007 WITH SCORE 64085.118
AT ITER 4768 NEW BEST:: SOT 523868 SOS 78046 HAS SOPS 78046 HAS SOUS 63935 HAS SOUPS 63935 WITH SCORE 64013.046
AT ITER 4796 NEW BEST:: SOT 523808 SOS 77866 HAS SOPS 77866 HAS SOUS 63815 HAS SOUPS 63815 WITH SCORE 63892.866
AT ITER 4852 NEW BEST:: SOT 523688 SOS 77626 HAS SOPS 77626 HAS SOUS 63695 HAS SOUPS 63695 WITH SCORE 63772.626
AT ITER 4932 NEW BEST:: SOT 523659 SOS 77568 HAS SOPS 77568 HAS SOUS 63637 HAS SOUPS 63637 WITH SCORE 63714.568
AT ITER 4944 NEW BEST:: SOT 523635 SOS 77520 HAS SOPS 77520 HAS SOUS 63589 HAS SOUPS 63589 WITH SCORE 63666.52
AT ITER 4971 NEW BEST:: SOT 523608 SOS 77466 HAS SOPS 77466 HAS SOUS 63535 HAS SOUPS 63535 WITH SCORE 63612.466
AT ITER 4993 NEW BEST:: SOT 523566 SOS 77756 HAS SOPS 77756 HAS SOUS 63502 HAS SOUPS 63502 WITH SCORE 63579.756
AT ITER 5024 NEW BEST:: SOT 523537 SOS 77698 HAS SOPS 77698 HAS SOUS 63444 HAS SOUPS 63444 WITH SCORE 63521.698
AT ITER 5061 NEW BEST:: SOT 523537 SOS 77698 HAS SOPS 77698 HAS SOUS 63432 HAS SOUPS 63432 WITH SCORE 63509.698
AT ITER 5094 NEW BEST:: SOT 523503 SOS 77630 HAS SOPS 77630 HAS SOUS 63396 HAS SOUPS 63396 WITH SCORE 63473.63
AT ITER 5154 NEW BEST:: SOT 523503 SOS 77608 HAS SOPS 77608 HAS SOUS 63374 HAS SOUPS 63374 WITH SCORE 63451.608
AT ITER 5205 NEW BEST:: SOT 523478 SOS 77558 HAS SOPS 77558 HAS SOUS 63340 HAS SOUPS 63340 WITH SCORE 63417.558
AT ITER 5284 NEW BEST:: SOT 523410 SOS 77422 HAS SOPS 77422 HAS SOUS 63204 HAS SOUPS 63204 WITH SCORE 63281.422
AT ITER 5321 NEW BEST:: SOT 523383 SOS 77368 HAS SOPS 77368 HAS SOUS 63177 HAS SOUPS 63177 WITH SCORE 63254.368
AT ITER 5326 NEW BEST:: SOT 523374 SOS 77350 HAS SOPS 77350 HAS SOUS 63159 HAS SOUPS 63159 WITH SCORE 63236.35
AT ITER 5332 NEW BEST:: SOT 523042 SOS 77804 HAS SOPS 77804 HAS SOUS 62904 HAS SOUPS 62904 WITH SCORE 62981.804
AT ITER 5425 NEW BEST:: SOT 523033 SOS 77786 HAS SOPS 77786 HAS SOUS 62886 HAS SOUPS 62886 WITH SCORE 62963.786
AT ITER 5434 NEW BEST:: SOT 523030 SOS 77780 HAS SOPS 77780 HAS SOUS 62880 HAS SOUPS 62880 WITH SCORE 62957.78
AT ITER 5444 NEW BEST:: SOT 523017 SOS 77754 HAS SOPS 77754 HAS SOUS 62867 HAS SOUPS 62867 WITH SCORE 62944.754
AT ITER 5462 NEW BEST:: SOT 523008 SOS 77736 HAS SOPS 77736 HAS SOUS 62849 HAS SOUPS 62849 WITH SCORE 62926.736
AT ITER 5512 NEW BEST:: SOT 522993 SOS 77706 HAS SOPS 77706 HAS SOUS 62819 HAS SOUPS 62819 WITH SCORE 62896.706
AT ITER 5520 NEW BEST:: SOT 522994 SOS 78532 HAS SOPS 78532 HAS SOUS 62773 HAS SOUPS 62773 WITH SCORE 62851.532
AT ITER 5537 NEW BEST:: SOT 522993 SOS 78530 HAS SOPS 78530 HAS SOUS 62771 HAS SOUPS 62771 WITH SCORE 62849.53
AT ITER 5548 NEW BEST:: SOT 522977 SOS 78498 HAS SOPS 78498 HAS SOUS 62739 HAS SOUPS 62739 WITH SCORE 62817.498
AT ITER 5614 NEW BEST:: SOT 522977 SOS 78430 HAS SOPS 78430 HAS SOUS 62739 HAS SOUPS 62739 WITH SCORE 62817.43
AT ITER 5633 NEW BEST:: SOT 522976 SOS 78428 HAS SOPS 78428 HAS SOUS 62737 HAS SOUPS 62737 WITH SCORE 62815.428
AT ITER 5717 NEW BEST:: SOT 522976 SOS 78350 HAS SOPS 78350 HAS SOUS 62737 HAS SOUPS 62737 WITH SCORE 62815.35
AT ITER 5759 NEW BEST:: SOT 522963 SOS 78324 HAS SOPS 78324 HAS SOUS 62711 HAS SOUPS 62711 WITH SCORE 62789.324
AT ITER 5761 NEW BEST:: SOT 522949 SOS 78278 HAS SOPS 78278 HAS SOUS 62633 HAS SOUPS 62633 WITH SCORE 62711.278
AT ITER 5783 NEW BEST:: SOT 522929 SOS 78238 HAS SOPS 78238 HAS SOUS 62593 HAS SOUPS 62593 WITH SCORE 62671.238
AT ITER 5821 NEW BEST:: SOT 522928 SOS 78237 HAS SOPS 78237 HAS SOUS 62591 HAS SOUPS 62591 WITH SCORE 62669.237
AT ITER 5855 NEW BEST:: SOT 522928 SOS 78237 HAS SOPS 78237 HAS SOUS 62588 HAS SOUPS 62588 WITH SCORE 62666.237
AT ITER 5928 NEW BEST:: SOT 522934 SOS 78191 HAS SOPS 78191 HAS SOUS 62564 HAS SOUPS 62564 WITH SCORE 62642.191
AT ITER 6006 NEW BEST:: SOT 522887 SOS 78097 HAS SOPS 78097 HAS SOUS 62533 HAS SOUPS 62533 WITH SCORE 62611.097
AT ITER 6039 NEW BEST:: SOT 522826 SOS 77975 HAS SOPS 77975 HAS SOUS 62472 HAS SOUPS 62472 WITH SCORE 62549.975
AT ITER 6052 NEW BEST:: SOT 522826 SOS 77975 HAS SOPS 77975 HAS SOUS 62375 HAS SOUPS 62375 WITH SCORE 62452.975
AT ITER 6083 NEW BEST:: SOT 522785 SOS 77893 HAS SOPS 77893 HAS SOUS 62293 HAS SOUPS 62293 WITH SCORE 62370.893
AT ITER 6160 NEW BEST:: SOT 522744 SOS 77395 HAS SOPS 77395 HAS SOUS 62252 HAS SOUPS 62252 WITH SCORE 62329.395
AT ITER 6184 NEW BEST:: SOT 522730 SOS 77367 HAS SOPS 77367 HAS SOUS 62224 HAS SOUPS 62224 WITH SCORE 62301.367
AT ITER 6186 NEW BEST:: SOT 522730 SOS 77287 HAS SOPS 77287 HAS SOUS 62224 HAS SOUPS 62224 WITH SCORE 62301.287
AT ITER 6196 NEW BEST:: SOT 522697 SOS 77228 HAS SOPS 77228 HAS SOUS 62148 HAS SOUPS 62148 WITH SCORE 62225.228
AT ITER 6220 NEW BEST:: SOT 522691 SOS 77223 HAS SOPS 77223 HAS SOUS 62143 HAS SOUPS 62143 WITH SCORE 62220.223
AT ITER 6253 NEW BEST:: SOT 522674 SOS 77189 HAS SOPS 77189 HAS SOUS 62109 HAS SOUPS 62109 WITH SCORE 62186.189
AT ITER 6311 NEW BEST:: SOT 522638 SOS 77117 HAS SOPS 77117 HAS SOUS 62073 HAS SOUPS 62073 WITH SCORE 62150.117
AT ITER 6340 NEW BEST:: SOT 522625 SOS 77107 HAS SOPS 77107 HAS SOUS 62060 HAS SOUPS 62060 WITH SCORE 62137.107
AT ITER 6343 NEW BEST:: SOT 522600 SOS 76857 HAS SOPS 76857 HAS SOUS 62010 HAS SOUPS 62010 WITH SCORE 62086.857
AT ITER 6351 NEW BEST:: SOT 522601 SOS 74605 HAS SOPS 74605 HAS SOUS 61936 HAS SOUPS 61936 WITH SCORE 62010.605
AT ITER 6363 NEW BEST:: SOT 522505 SOS 74413 HAS SOPS 74413 HAS SOUS 61845 HAS SOUPS 61845 WITH SCORE 61919.413
AT ITER 6369 NEW BEST:: SOT 522498 SOS 74320 HAS SOPS 74320 HAS SOUS 61831 HAS SOUPS 61831 WITH SCORE 61905.32
AT ITER 6389 NEW BEST:: SOT 522493 SOS 74310 HAS SOPS 74310 HAS SOUS 61821 HAS SOUPS 61821 WITH SCORE 61895.31
AT ITER 6400 NEW BEST:: SOT 522493 SOS 74302 HAS SOPS 74302 HAS SOUS 61820 HAS SOUPS 61820 WITH SCORE 61894.302
AT ITER 6445 NEW BEST:: SOT 522429 SOS 74238 HAS SOPS 74238 HAS SOUS 61756 HAS SOUPS 61756 WITH SCORE 61830.238
AT ITER 6544 NEW BEST:: SOT 522181 SOS 73959 HAS SOPS 73959 HAS SOUS 61477 HAS SOUPS 61477 WITH SCORE 61550.959
AT ITER 6582 NEW BEST:: SOT 522127 SOS 73917 HAS SOPS 73917 HAS SOUS 61457 HAS SOUPS 61457 WITH SCORE 61530.917
AT ITER 6596 NEW BEST:: SOT 522126 SOS 73916 HAS SOPS 73916 HAS SOUS 61455 HAS SOUPS 61455 WITH SCORE 61528.916
AT ITER 6645 NEW BEST:: SOT 522042 SOS 73748 HAS SOPS 73748 HAS SOUS 61329 HAS SOUPS 61329 WITH SCORE 61402.748
AT ITER 6679 NEW BEST:: SOT 521864 SOS 73702 HAS SOPS 73702 HAS SOUS 61248 HAS SOUPS 61248 WITH SCORE 61321.702
AT ITER 6736 NEW BEST:: SOT 521863 SOS 73701 HAS SOPS 73701 HAS SOUS 61246 HAS SOUPS 61246 WITH SCORE 61319.701
AT ITER 6758 NEW BEST:: SOT 521807 SOS 73757 HAS SOPS 73757 HAS SOUS 61218 HAS SOUPS 61218 WITH SCORE 61291.757
AT ITER 6760 NEW BEST:: SOT 521785 SOS 73735 HAS SOPS 73735 HAS SOUS 61196 HAS SOUPS 61196 WITH SCORE 61269.735
AT ITER 6785 NEW BEST:: SOT 521696 SOS 73557 HAS SOPS 73557 HAS SOUS 61150 HAS SOUPS 61150 WITH SCORE 61223.557
AT ITER 6793 NEW BEST:: SOT 521656 SOS 73477 HAS SOPS 73477 HAS SOUS 61070 HAS SOUPS 61070 WITH SCORE 61143.477
AT ITER 6829 NEW BEST:: SOT 521656 SOS 73425 HAS SOPS 73425 HAS SOUS 61070 HAS SOUPS 61070 WITH SCORE 61143.425
AT ITER 6870 NEW BEST:: SOT 521655 SOS 73416 HAS SOPS 73416 HAS SOUS 61068 HAS SOUPS 61068 WITH SCORE 61141.416
AT ITER 6906 NEW BEST:: SOT 521654 SOS 73465 HAS SOPS 73465 HAS SOUS 61066 HAS SOUPS 61066 WITH SCORE 61139.465
AT ITER 6919 NEW BEST:: SOT 521613 SOS 73431 HAS SOPS 73431 HAS SOUS 61029 HAS SOUPS 61029 WITH SCORE 61102.431
AT ITER 6955 NEW BEST:: SOT 521497 SOS 74373 HAS SOPS 74373 HAS SOUS 61017 HAS SOUPS 61017 WITH SCORE 61091.373
AT ITER 6992 NEW BEST:: SOT 521407 SOS 74283 HAS SOPS 74283 HAS SOUS 60927 HAS SOUPS 60927 WITH SCORE 61001.283
AT ITER 7030 NEW BEST:: SOT 521347 SOS 74163 HAS SOPS 74163 HAS SOUS 60807 HAS SOUPS 60807 WITH SCORE 60881.163
AT ITER 7060 NEW BEST:: SOT 521328 SOS 74052 HAS SOPS 74052 HAS SOUS 60764 HAS SOUPS 60764 WITH SCORE 60838.052
AT ITER 7068 NEW BEST:: SOT 521324 SOS 74044 HAS SOPS 74044 HAS SOUS 60760 HAS SOUPS 60760 WITH SCORE 60834.044
AT ITER 7092 NEW BEST:: SOT 521314 SOS 74024 HAS SOPS 74024 HAS SOUS 60750 HAS SOUPS 60750 WITH SCORE 60824.024
AT ITER 7129 NEW BEST:: SOT 521314 SOS 73956 HAS SOPS 73956 HAS SOUS 60750 HAS SOUPS 60750 WITH SCORE 60823.956
AT ITER 7165 NEW BEST:: SOT 521302 SOS 74472 HAS SOPS 74472 HAS SOUS 60738 HAS SOUPS 60738 WITH SCORE 60812.472
AT ITER 7168 NEW BEST:: SOT 521273 SOS 74410 HAS SOPS 74410 HAS SOUS 60680 HAS SOUPS 60680 WITH SCORE 60754.41
AT ITER 7184 NEW BEST:: SOT 521273 SOS 74410 HAS SOPS 74410 HAS SOUS 60667 HAS SOUPS 60667 WITH SCORE 60741.41
AT ITER 7214 NEW BEST:: SOT 521257 SOS 74378 HAS SOPS 74378 HAS SOUS 60635 HAS SOUPS 60635 WITH SCORE 60709.378
AT ITER 7336 NEW BEST:: SOT 521257 SOS 74378 HAS SOPS 74378 HAS SOUS 60573 HAS SOUPS 60573 WITH SCORE 60647.378
AT ITER 7414 NEW BEST:: SOT 521257 SOS 74373 HAS SOPS 74373 HAS SOUS 60573 HAS SOUPS 60573 WITH SCORE 60647.373
AT ITER 7433 NEW BEST:: SOT 521256 SOS 74371 HAS SOPS 74371 HAS SOUS 60569 HAS SOUPS 60569 WITH SCORE 60643.371
AT ITER 7438 NEW BEST:: SOT 521212 SOS 74283 HAS SOPS 74283 HAS SOUS 60481 HAS SOUPS 60481 WITH SCORE 60555.283
AT ITER 7588 NEW BEST:: SOT 521212 SOS 74283 HAS SOPS 74283 HAS SOUS 60404 HAS SOUPS 60404 WITH SCORE 60478.283
AT ITER 7593 NEW BEST:: SOT 521189 SOS 74237 HAS SOPS 74237 HAS SOUS 60389 HAS SOUPS 60389 WITH SCORE 60463.237
AT ITER 7594 NEW BEST:: SOT 521156 SOS 74204 HAS SOPS 74204 HAS SOUS 60323 HAS SOUPS 60323 WITH SCORE 60397.204
AT ITER 7621 NEW BEST:: SOT 521156 SOS 74150 HAS SOPS 74150 HAS SOUS 60296 HAS SOUPS 60296 WITH SCORE 60370.15
AT ITER 7669 NEW BEST:: SOT 521162 SOS 74201 HAS SOPS 74201 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60290.201
AT ITER 7740 NEW BEST:: SOT 521156 SOS 74195 HAS SOPS 74195 HAS SOUS 60204 HAS SOUPS 60204 WITH SCORE 60278.195
AT ITER 7750 NEW BEST:: SOT 521155 SOS 74193 HAS SOPS 74193 HAS SOUS 60202 HAS SOUPS 60202 WITH SCORE 60276.193
AT ITER 7769 NEW BEST:: SOT 521155 SOS 74166 HAS SOPS 74166 HAS SOUS 60202 HAS SOUPS 60202 WITH SCORE 60276.166
AT ITER 7771 NEW BEST:: SOT 521117 SOS 74128 HAS SOPS 74128 HAS SOUS 60164 HAS SOUPS 60164 WITH SCORE 60238.128
AT ITER 7815 NEW BEST:: SOT 521092 SOS 74078 HAS SOPS 74078 HAS SOUS 60139 HAS SOUPS 60139 WITH SCORE 60213.078
AT ITER 7858 NEW BEST:: SOT 520857 SOS 74066 HAS SOPS 74066 HAS SOUS 59949 HAS SOUPS 59949 WITH SCORE 60023.066
AT ITER 7873 NEW BEST:: SOT 520838 SOS 74030 HAS SOPS 74030 HAS SOUS 59913 HAS SOUPS 59913 WITH SCORE 59987.03
AT ITER 7882 NEW BEST:: SOT 520823 SOS 74015 HAS SOPS 74015 HAS SOUS 59883 HAS SOUPS 59883 WITH SCORE 59957.015
AT ITER 7968 NEW BEST:: SOT 520822 SOS 74013 HAS SOPS 74013 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59955.013
AT ITER 7996 NEW BEST:: SOT 520822 SOS 74000 HAS SOPS 74000 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59955.0
AT ITER 7999 NEW BEST:: SOT 520787 SOS 73930 HAS SOPS 73930 HAS SOUS 59811 HAS SOUPS 59811 WITH SCORE 59884.93
AT ITER 8047 NEW BEST:: SOT 520782 SOS 73920 HAS SOPS 73920 HAS SOUS 59806 HAS SOUPS 59806 WITH SCORE 59879.92
AT ITER 8077 NEW BEST:: SOT 520781 SOS 73919 HAS SOPS 73919 HAS SOUS 59805 HAS SOUPS 59805 WITH SCORE 59878.919
AT ITER 8113 NEW BEST:: SOT 520791 SOS 73875 HAS SOPS 73875 HAS SOUS 59796 HAS SOUPS 59796 WITH SCORE 59869.875
AT ITER 8195 NEW BEST:: SOT 520791 SOS 73875 HAS SOPS 73875 HAS SOUS 59784 HAS SOUPS 59784 WITH SCORE 59857.875
AT ITER 8211 NEW BEST:: SOT 520790 SOS 73771 HAS SOPS 73771 HAS SOUS 59782 HAS SOUPS 59782 WITH SCORE 59855.771
AT ITER 8248 NEW BEST:: SOT 520751 SOS 73686 HAS SOPS 73686 HAS SOUS 59704 HAS SOUPS 59704 WITH SCORE 59777.686
AT ITER 8298 NEW BEST:: SOT 520627 SOS 73438 HAS SOPS 73438 HAS SOUS 59616 HAS SOUPS 59616 WITH SCORE 59689.438
AT ITER 8331 NEW BEST:: SOT 520604 SOS 73415 HAS SOPS 73415 HAS SOUS 59570 HAS SOUPS 59570 WITH SCORE 59643.415
AT ITER 8353 NEW BEST:: SOT 520580 SOS 73409 HAS SOPS 73409 HAS SOUS 59546 HAS SOUPS 59546 WITH SCORE 59619.409
AT ITER 8364 NEW BEST:: SOT 520494 SOS 73237 HAS SOPS 73237 HAS SOUS 59374 HAS SOUPS 59374 WITH SCORE 59447.237
AT ITER 8404 NEW BEST:: SOT 520494 SOS 73225 HAS SOPS 73225 HAS SOUS 59362 HAS SOUPS 59362 WITH SCORE 59435.225
AT ITER 8442 NEW BEST:: SOT 520491 SOS 73219 HAS SOPS 73219 HAS SOUS 59356 HAS SOUPS 59356 WITH SCORE 59429.219
AT ITER 8471 NEW BEST:: SOT 520491 SOS 73209 HAS SOPS 73209 HAS SOUS 59356 HAS SOUPS 59356 WITH SCORE 59429.209
AT ITER 8477 NEW BEST:: SOT 520491 SOS 73321 HAS SOPS 73321 HAS SOUS 59355 HAS SOUPS 59355 WITH SCORE 59428.321
AT ITER 8520 NEW BEST:: SOT 520478 SOS 73295 HAS SOPS 73295 HAS SOUS 59342 HAS SOUPS 59342 WITH SCORE 59415.295
AT ITER 8530 NEW BEST:: SOT 520477 SOS 73293 HAS SOPS 73293 HAS SOUS 59340 HAS SOUPS 59340 WITH SCORE 59413.293
AT ITER 8531 NEW BEST:: SOT 520435 SOS 73209 HAS SOPS 73209 HAS SOUS 59256 HAS SOUPS 59256 WITH SCORE 59329.209
AT ITER 8588 NEW BEST:: SOT 520409 SOS 73157 HAS SOPS 73157 HAS SOUS 59204 HAS SOUPS 59204 WITH SCORE 59277.157
AT ITER 8616 NEW BEST:: SOT 520427 SOS 73193 HAS SOPS 73193 HAS SOUS 59189 HAS SOUPS 59189 WITH SCORE 59262.193
AT ITER 8620 NEW BEST:: SOT 520383 SOS 73105 HAS SOPS 73105 HAS SOUS 59101 HAS SOUPS 59101 WITH SCORE 59174.105
AT ITER 8745 NEW BEST:: SOT 520367 SOS 73073 HAS SOPS 73073 HAS SOUS 59069 HAS SOUPS 59069 WITH SCORE 59142.073
AT ITER 8846 NEW BEST:: SOT 520331 SOS 72962 HAS SOPS 72962 HAS SOUS 58997 HAS SOUPS 58997 WITH SCORE 59069.962
AT ITER 8869 NEW BEST:: SOT 520298 SOS 72924 HAS SOPS 72924 HAS SOUS 58965 HAS SOUPS 58965 WITH SCORE 59037.924
AT ITER 8922 NEW BEST:: SOT 520287 SOS 72902 HAS SOPS 72902 HAS SOUS 58943 HAS SOUPS 58943 WITH SCORE 59015.902
AT ITER 8990 NEW BEST:: SOT 520286 SOS 72900 HAS SOPS 72900 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59013.9
AT ITER 9083 NEW BEST:: SOT 520286 SOS 72895 HAS SOPS 72895 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59013.895
AT ITER 9094 NEW BEST:: SOT 520250 SOS 72823 HAS SOPS 72823 HAS SOUS 58869 HAS SOUPS 58869 WITH SCORE 58941.823
AT ITER 9099 NEW BEST:: SOT 520227 SOS 72777 HAS SOPS 72777 HAS SOUS 58823 HAS SOUPS 58823 WITH SCORE 58895.777
AT ITER 9111 NEW BEST:: SOT 520226 SOS 72774 HAS SOPS 72774 HAS SOUS 58821 HAS SOUPS 58821 WITH SCORE 58893.774
AT ITER 9134 NEW BEST:: SOT 520225 SOS 72773 HAS SOPS 72773 HAS SOUS 58819 HAS SOUPS 58819 WITH SCORE 58891.773
AT ITER 9139 NEW BEST:: SOT 520181 SOS 72685 HAS SOPS 72685 HAS SOUS 58770 HAS SOUPS 58770 WITH SCORE 58842.685
AT ITER 9179 NEW BEST:: SOT 520113 SOS 72549 HAS SOPS 72549 HAS SOUS 58702 HAS SOUPS 58702 WITH SCORE 58774.549
AT ITER 9184 NEW BEST:: SOT 520112 SOS 72547 HAS SOPS 72547 HAS SOUS 58700 HAS SOUPS 58700 WITH SCORE 58772.547
AT ITER 9221 NEW BEST:: SOT 520111 SOS 72545 HAS SOPS 72545 HAS SOUS 58698 HAS SOUPS 58698 WITH SCORE 58770.545
AT ITER 9256 NEW BEST:: SOT 520100 SOS 72519 HAS SOPS 72519 HAS SOUS 58678 HAS SOUPS 58678 WITH SCORE 58750.519
AT ITER 9314 NEW BEST:: SOT 520105 SOS 72512 HAS SOPS 72512 HAS SOUS 58671 HAS SOUPS 58671 WITH SCORE 58743.512
AT ITER 9316 NEW BEST:: SOT 519973 SOS 72248 HAS SOPS 72248 HAS SOUS 58534 HAS SOUPS 58534 WITH SCORE 58606.248
AT ITER 9327 NEW BEST:: SOT 519967 SOS 72236 HAS SOPS 72236 HAS SOUS 58522 HAS SOUPS 58522 WITH SCORE 58594.236
AT ITER 9373 NEW BEST:: SOT 519966 SOS 72234 HAS SOPS 72234 HAS SOUS 58520 HAS SOUPS 58520 WITH SCORE 58592.234
AT ITER 9401 NEW BEST:: SOT 519966 SOS 72234 HAS SOPS 72234 HAS SOUS 58464 HAS SOUPS 58464 WITH SCORE 58536.234
AT ITER 9431 NEW BEST:: SOT 519966 SOS 72169 HAS SOPS 72169 HAS SOUS 58464 HAS SOUPS 58464 WITH SCORE 58536.169
AT ITER 9459 NEW BEST:: SOT 519966 SOS 72156 HAS SOPS 72156 HAS SOUS 58464 HAS SOUPS 58464 WITH SCORE 58536.156
AT ITER 9494 NEW BEST:: SOT 519964 SOS 72064 HAS SOPS 72064 HAS SOUS 58460 HAS SOUPS 58460 WITH SCORE 58532.064
AT ITER 9548 NEW BEST:: SOT 519959 SOS 72054 HAS SOPS 72054 HAS SOUS 58450 HAS SOUPS 58450 WITH SCORE 58522.054
AT ITER 9559 NEW BEST:: SOT 519927 SOS 71990 HAS SOPS 71990 HAS SOUS 58386 HAS SOUPS 58386 WITH SCORE 58457.99
AT ITER 9624 NEW BEST:: SOT 519901 SOS 71938 HAS SOPS 71938 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58405.938
AT ITER 9640 NEW BEST:: SOT 519900 SOS 71936 HAS SOPS 71936 HAS SOUS 58332 HAS SOUPS 58332 WITH SCORE 58403.936
AT ITER 9655 NEW BEST:: SOT 519850 SOS 71836 HAS SOPS 71836 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58342.836
AT ITER 9728 NEW BEST:: SOT 519835 SOS 71806 HAS SOPS 71806 HAS SOUS 58256 HAS SOUPS 58256 WITH SCORE 58327.806
AT ITER 9735 NEW BEST:: SOT 519832 SOS 71800 HAS SOPS 71800 HAS SOUS 58253 HAS SOUPS 58253 WITH SCORE 58324.8
AT ITER 9772 NEW BEST:: SOT 519831 SOS 71808 HAS SOPS 71808 HAS SOUS 58252 HAS SOUPS 58252 WITH SCORE 58323.808
AT ITER 9799 NEW BEST:: SOT 519858 SOS 70837 HAS SOPS 70837 HAS SOUS 58242 HAS SOUPS 58242 WITH SCORE 58312.837
AT ITER 9829 NEW BEST:: SOT 519855 SOS 70831 HAS SOPS 70831 HAS SOUS 58236 HAS SOUPS 58236 WITH SCORE 58306.831
AT ITER 9833 NEW BEST:: SOT 519813 SOS 70747 HAS SOPS 70747 HAS SOUS 58152 HAS SOUPS 58152 WITH SCORE 58222.747
AT ITER 9835 NEW BEST:: SOT 519799 SOS 70719 HAS SOPS 70719 HAS SOUS 58124 HAS SOUPS 58124 WITH SCORE 58194.719
AT ITER 9862 NEW BEST:: SOT 519791 SOS 70703 HAS SOPS 70703 HAS SOUS 58108 HAS SOUPS 58108 WITH SCORE 58178.703
AT ITER 9947 NEW BEST:: SOT 519772 SOS 70665 HAS SOPS 70665 HAS SOUS 58070 HAS SOUPS 58070 WITH SCORE 58140.665
AT ITER 9960 NEW BEST:: SOT 519637 SOS 72553 HAS SOPS 72553 HAS SOUS 58018 HAS SOUPS 58018 WITH SCORE 58090.553
STATE_SPACE STATES 192124708 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 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 753503054 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679349450449

--------------------
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

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="StigmergyCommit-PT-02b"
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 StigmergyCommit-PT-02b, 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 r459-smll-167912651200408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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