About the Execution of Smart+red for AutonomousCar-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.604 | 2306662.00 | 2395639.00 | 1178.30 | [undef] | Cannot compute |
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.r011-oct2-167813600500680.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500680
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.7K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 12:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 12:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 114K Feb 25 12:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678742084067
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=AutonomousCar-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:14:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 21:14:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:14:46] [INFO ] Load time of PNML (sax parser for PT used): 241 ms
[2023-03-13 21:14:46] [INFO ] Transformed 97 places.
[2023-03-13 21:14:46] [INFO ] Transformed 1921 transitions.
[2023-03-13 21:14:46] [INFO ] Found NUPN structural information;
[2023-03-13 21:14:46] [INFO ] Parsed PT model containing 97 places and 1921 transitions and 29152 arcs in 391 ms.
[2023-03-13 21:14:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 97 places, 1921 transitions and 29152 arcs took 38 ms.
Total runtime 489 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 10a
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: 97 places, 1921 transitions, 29152 arcs.
AT ITER 0 NEW BEST:: SOT 168850 SOS 145060 HAS SOPS 145058 HAS SOUS 88810 HAS SOUPS 88808 WITH SCORE 88953.06
AT ITER 2 NEW BEST:: SOT 168798 SOS 145008 HAS SOPS 145006 HAS SOUS 88536 HAS SOUPS 88534 WITH SCORE 88679.008
AT ITER 5 NEW BEST:: SOT 168685 SOS 144856 HAS SOPS 144854 HAS SOUS 88362 HAS SOUPS 88360 WITH SCORE 88504.856
AT ITER 6 NEW BEST:: SOT 168693 SOS 144848 HAS SOPS 144846 HAS SOUS 88362 HAS SOUPS 88360 WITH SCORE 88504.848
AT ITER 7 NEW BEST:: SOT 168868 SOS 144995 HAS SOPS 144993 HAS SOUS 83891 HAS SOUPS 83889 WITH SCORE 84033.995
AT ITER 8 NEW BEST:: SOT 168596 SOS 144723 HAS SOPS 144721 HAS SOUS 83682 HAS SOUPS 83680 WITH SCORE 83824.723
AT ITER 10 NEW BEST:: SOT 168568 SOS 144695 HAS SOPS 144693 HAS SOUS 83622 HAS SOUPS 83620 WITH SCORE 83764.695
AT ITER 11 NEW BEST:: SOT 167996 SOS 144139 HAS SOPS 144137 HAS SOUS 83115 HAS SOUPS 83113 WITH SCORE 83257.139
AT ITER 13 NEW BEST:: SOT 168037 SOS 144221 HAS SOPS 144219 HAS SOUS 80685 HAS SOUPS 80683 WITH SCORE 80827.221
AT ITER 15 NEW BEST:: SOT 168021 SOS 144219 HAS SOPS 144217 HAS SOUS 80559 HAS SOUPS 80557 WITH SCORE 80701.219
AT ITER 16 NEW BEST:: SOT 167989 SOS 144171 HAS SOPS 144169 HAS SOUS 80527 HAS SOUPS 80525 WITH SCORE 80669.171
AT ITER 19 NEW BEST:: SOT 167977 SOS 144159 HAS SOPS 144157 HAS SOUS 80521 HAS SOUPS 80519 WITH SCORE 80663.159
AT ITER 20 NEW BEST:: SOT 167977 SOS 144159 HAS SOPS 144157 HAS SOUS 80417 HAS SOUPS 80415 WITH SCORE 80559.159
AT ITER 22 NEW BEST:: SOT 167991 SOS 144173 HAS SOPS 144171 HAS SOUS 80394 HAS SOUPS 80392 WITH SCORE 80536.173
AT ITER 23 NEW BEST:: SOT 167943 SOS 144101 HAS SOPS 144099 HAS SOUS 80139 HAS SOUPS 80137 WITH SCORE 80281.101
AT ITER 27 NEW BEST:: SOT 167946 SOS 144098 HAS SOPS 144096 HAS SOUS 80139 HAS SOUPS 80137 WITH SCORE 80281.098
AT ITER 32 NEW BEST:: SOT 167964 SOS 144124 HAS SOPS 144122 HAS SOUS 80128 HAS SOUPS 80126 WITH SCORE 80270.124
AT ITER 34 NEW BEST:: SOT 167948 SOS 144126 HAS SOPS 144124 HAS SOUS 79841 HAS SOUPS 79839 WITH SCORE 79983.126
AT ITER 36 NEW BEST:: SOT 167928 SOS 144106 HAS SOPS 144104 HAS SOUS 79282 HAS SOUPS 79280 WITH SCORE 79424.106
AT ITER 37 NEW BEST:: SOT 167898 SOS 144072 HAS SOPS 144070 HAS SOUS 78695 HAS SOUPS 78693 WITH SCORE 78837.072
AT ITER 43 NEW BEST:: SOT 167834 SOS 143972 HAS SOPS 143970 HAS SOUS 78574 HAS SOUPS 78572 WITH SCORE 78715.972
AT ITER 44 NEW BEST:: SOT 164095 SOS 140233 HAS SOPS 140231 HAS SOUS 76345 HAS SOUPS 76343 WITH SCORE 76483.233
AT ITER 47 NEW BEST:: SOT 165586 SOS 141699 HAS SOPS 141697 HAS SOUS 69172 HAS SOUPS 69170 WITH SCORE 69311.699
AT ITER 50 NEW BEST:: SOT 163550 SOS 139663 HAS SOPS 139661 HAS SOUS 68155 HAS SOUPS 68153 WITH SCORE 68292.663
AT ITER 57 NEW BEST:: SOT 163630 SOS 139718 HAS SOPS 139716 HAS SOUS 68089 HAS SOUPS 68087 WITH SCORE 68226.718
AT ITER 63 NEW BEST:: SOT 163644 SOS 139689 HAS SOPS 139687 HAS SOUS 68085 HAS SOUPS 68083 WITH SCORE 68222.689
AT ITER 65 NEW BEST:: SOT 163647 SOS 139686 HAS SOPS 139684 HAS SOUS 68085 HAS SOUPS 68083 WITH SCORE 68222.686
AT ITER 69 NEW BEST:: SOT 163647 SOS 139651 HAS SOPS 139649 HAS SOUS 68082 HAS SOUPS 68080 WITH SCORE 68219.651
AT ITER 70 NEW BEST:: SOT 163647 SOS 139653 HAS SOPS 139651 HAS SOUS 68072 HAS SOUPS 68070 WITH SCORE 68209.653
AT ITER 71 NEW BEST:: SOT 163615 SOS 141717 HAS SOPS 141715 HAS SOUS 68058 HAS SOUPS 68056 WITH SCORE 68197.717
AT ITER 72 NEW BEST:: SOT 163753 SOS 141721 HAS SOPS 141719 HAS SOUS 59047 HAS SOUPS 59045 WITH SCORE 59186.721
AT ITER 74 NEW BEST:: SOT 163702 SOS 141670 HAS SOPS 141668 HAS SOUS 59024 HAS SOUPS 59022 WITH SCORE 59163.67
AT ITER 79 NEW BEST:: SOT 163638 SOS 141576 HAS SOPS 141574 HAS SOUS 58929 HAS SOUPS 58927 WITH SCORE 59068.576
AT ITER 80 NEW BEST:: SOT 163094 SOS 140932 HAS SOPS 140930 HAS SOUS 58349 HAS SOUPS 58347 WITH SCORE 58487.932
AT ITER 82 NEW BEST:: SOT 162565 SOS 140309 HAS SOPS 140307 HAS SOUS 57696 HAS SOUPS 57694 WITH SCORE 57834.309
AT ITER 89 NEW BEST:: SOT 162565 SOS 140311 HAS SOPS 140309 HAS SOUS 57596 HAS SOUPS 57594 WITH SCORE 57734.311
AT ITER 92 NEW BEST:: SOT 162456 SOS 140202 HAS SOPS 140200 HAS SOUS 57543 HAS SOUPS 57541 WITH SCORE 57681.202
AT ITER 98 NEW BEST:: SOT 161400 SOS 139152 HAS SOPS 139150 HAS SOUS 56552 HAS SOUPS 56550 WITH SCORE 56689.152
AT ITER 99 NEW BEST:: SOT 161384 SOS 139132 HAS SOPS 139130 HAS SOUS 55966 HAS SOUPS 55964 WITH SCORE 56103.132
AT ITER 100 NEW BEST:: SOT 161308 SOS 139064 HAS SOPS 139062 HAS SOUS 55872 HAS SOUPS 55870 WITH SCORE 56009.064
AT ITER 107 NEW BEST:: SOT 161304 SOS 139052 HAS SOPS 139050 HAS SOUS 55356 HAS SOUPS 55354 WITH SCORE 55493.052
AT ITER 108 NEW BEST:: SOT 161036 SOS 138781 HAS SOPS 138779 HAS SOUS 53656 HAS SOUPS 53654 WITH SCORE 53792.781
AT ITER 109 NEW BEST:: SOT 161751 SOS 139513 HAS SOPS 139511 HAS SOUS 46609 HAS SOUPS 46607 WITH SCORE 46746.513
AT ITER 113 NEW BEST:: SOT 161812 SOS 139650 HAS SOPS 139648 HAS SOUS 46565 HAS SOUPS 46563 WITH SCORE 46702.65
AT ITER 114 NEW BEST:: SOT 161508 SOS 139346 HAS SOPS 139344 HAS SOUS 46200 HAS SOUPS 46198 WITH SCORE 46337.346
AT ITER 116 NEW BEST:: SOT 161605 SOS 139383 HAS SOPS 139381 HAS SOUS 42337 HAS SOUPS 42335 WITH SCORE 42474.383
AT ITER 119 NEW BEST:: SOT 161555 SOS 139283 HAS SOPS 139281 HAS SOUS 42316 HAS SOUPS 42314 WITH SCORE 42453.283
AT ITER 123 NEW BEST:: SOT 160959 SOS 138469 HAS SOPS 138467 HAS SOUS 41936 HAS SOUPS 41934 WITH SCORE 42072.469
AT ITER 129 NEW BEST:: SOT 161253 SOS 138763 HAS SOPS 138761 HAS SOUS 41866 HAS SOUPS 41864 WITH SCORE 42002.763
AT ITER 138 NEW BEST:: SOT 161253 SOS 138751 HAS SOPS 138749 HAS SOUS 41862 HAS SOUPS 41860 WITH SCORE 41998.751
AT ITER 139 NEW BEST:: SOT 161331 SOS 138837 HAS SOPS 138835 HAS SOUS 41851 HAS SOUPS 41849 WITH SCORE 41987.837
AT ITER 148 NEW BEST:: SOT 161385 SOS 138719 HAS SOPS 138717 HAS SOUS 41755 HAS SOUPS 41753 WITH SCORE 41891.719
AT ITER 154 NEW BEST:: SOT 161351 SOS 138637 HAS SOPS 138635 HAS SOUS 41712 HAS SOUPS 41710 WITH SCORE 41848.637
AT ITER 158 NEW BEST:: SOT 161383 SOS 138701 HAS SOPS 138699 HAS SOUS 40798 HAS SOUPS 40796 WITH SCORE 40934.701
AT ITER 160 NEW BEST:: SOT 161085 SOS 138403 HAS SOPS 138401 HAS SOUS 40649 HAS SOUPS 40647 WITH SCORE 40785.403
AT ITER 162 NEW BEST:: SOT 161042 SOS 138578 HAS SOPS 138576 HAS SOUS 40639 HAS SOUPS 40637 WITH SCORE 40775.578
AT ITER 164 NEW BEST:: SOT 160618 SOS 138146 HAS SOPS 138144 HAS SOUS 40423 HAS SOUPS 40421 WITH SCORE 40559.146
AT ITER 168 NEW BEST:: SOT 160568 SOS 138046 HAS SOPS 138044 HAS SOUS 40348 HAS SOUPS 40346 WITH SCORE 40484.046
AT ITER 175 NEW BEST:: SOT 160898 SOS 138376 HAS SOPS 138374 HAS SOUS 40312 HAS SOUPS 40310 WITH SCORE 40448.376
AT ITER 182 NEW BEST:: SOT 159762 SOS 137240 HAS SOPS 137238 HAS SOUS 40124 HAS SOUPS 40122 WITH SCORE 40259.24
AT ITER 194 NEW BEST:: SOT 159753 SOS 137231 HAS SOPS 137229 HAS SOUS 40115 HAS SOUPS 40113 WITH SCORE 40250.231
AT ITER 196 NEW BEST:: SOT 159753 SOS 137177 HAS SOPS 137175 HAS SOUS 40115 HAS SOUPS 40113 WITH SCORE 40250.177
AT ITER 200 NEW BEST:: SOT 159681 SOS 136933 HAS SOPS 136931 HAS SOUS 39981 HAS SOUPS 39979 WITH SCORE 40115.933
AT ITER 203 NEW BEST:: SOT 159698 SOS 137030 HAS SOPS 137028 HAS SOUS 39978 HAS SOUPS 39976 WITH SCORE 40113.03
AT ITER 209 NEW BEST:: SOT 159692 SOS 137018 HAS SOPS 137016 HAS SOUS 39574 HAS SOUPS 39572 WITH SCORE 39709.018
AT ITER 210 NEW BEST:: SOT 158500 SOS 135834 HAS SOPS 135832 HAS SOUS 39336 HAS SOUPS 39334 WITH SCORE 39469.834
AT ITER 227 NEW BEST:: SOT 158258 SOS 135586 HAS SOPS 135584 HAS SOUS 39212 HAS SOUPS 39210 WITH SCORE 39345.586
AT ITER 231 NEW BEST:: SOT 158258 SOS 135559 HAS SOPS 135557 HAS SOUS 39212 HAS SOUPS 39210 WITH SCORE 39345.559
AT ITER 235 NEW BEST:: SOT 157990 SOS 135291 HAS SOPS 135289 HAS SOUS 31398 HAS SOUPS 31396 WITH SCORE 31531.291
AT ITER 248 NEW BEST:: SOT 157988 SOS 135287 HAS SOPS 135285 HAS SOUS 31361 HAS SOUPS 31359 WITH SCORE 31494.287
AT ITER 251 NEW BEST:: SOT 157978 SOS 135257 HAS SOPS 135255 HAS SOUS 31351 HAS SOUPS 31349 WITH SCORE 31484.257
AT ITER 253 NEW BEST:: SOT 157950 SOS 135229 HAS SOPS 135227 HAS SOUS 31337 HAS SOUPS 31335 WITH SCORE 31470.229
AT ITER 254 NEW BEST:: SOT 157935 SOS 135199 HAS SOPS 135197 HAS SOUS 31308 HAS SOUPS 31306 WITH SCORE 31441.199
AT ITER 261 NEW BEST:: SOT 157935 SOS 135196 HAS SOPS 135194 HAS SOUS 31305 HAS SOUPS 31303 WITH SCORE 31438.196
AT ITER 271 NEW BEST:: SOT 157943 SOS 135200 HAS SOPS 135198 HAS SOUS 31304 HAS SOUPS 31302 WITH SCORE 31437.2
AT ITER 279 NEW BEST:: SOT 157967 SOS 135228 HAS SOPS 135226 HAS SOUS 31251 HAS SOUPS 31249 WITH SCORE 31384.228
AT ITER 285 NEW BEST:: SOT 156924 SOS 134164 HAS SOPS 134162 HAS SOUS 30570 HAS SOUPS 30568 WITH SCORE 30702.164
AT ITER 289 NEW BEST:: SOT 158359 SOS 135648 HAS SOPS 135646 HAS SOUS 27402 HAS SOUPS 27400 WITH SCORE 27535.648
AT ITER 292 NEW BEST:: SOT 158354 SOS 135638 HAS SOPS 135636 HAS SOUS 27397 HAS SOUPS 27395 WITH SCORE 27530.638
AT ITER 298 NEW BEST:: SOT 158346 SOS 135630 HAS SOPS 135628 HAS SOUS 27389 HAS SOUPS 27387 WITH SCORE 27522.63
AT ITER 305 NEW BEST:: SOT 158336 SOS 135610 HAS SOPS 135608 HAS SOUS 27269 HAS SOUPS 27267 WITH SCORE 27402.61
AT ITER 317 NEW BEST:: SOT 158188 SOS 135462 HAS SOPS 135460 HAS SOUS 27131 HAS SOUPS 27129 WITH SCORE 27264.462
AT ITER 325 NEW BEST:: SOT 158188 SOS 135443 HAS SOPS 135441 HAS SOUS 27130 HAS SOUPS 27128 WITH SCORE 27263.443
AT ITER 337 NEW BEST:: SOT 158337 SOS 135592 HAS SOPS 135590 HAS SOUS 26974 HAS SOUPS 26972 WITH SCORE 27107.592
AT ITER 349 NEW BEST:: SOT 158336 SOS 135587 HAS SOPS 135585 HAS SOUS 26971 HAS SOUPS 26969 WITH SCORE 27104.587
AT ITER 356 NEW BEST:: SOT 158345 SOS 135615 HAS SOPS 135613 HAS SOUS 26802 HAS SOUPS 26800 WITH SCORE 26935.615
AT ITER 359 NEW BEST:: SOT 158271 SOS 135541 HAS SOPS 135539 HAS SOUS 26755 HAS SOUPS 26753 WITH SCORE 26888.541
AT ITER 370 NEW BEST:: SOT 158312 SOS 135602 HAS SOPS 135600 HAS SOUS 26687 HAS SOUPS 26685 WITH SCORE 26820.602
AT ITER 385 NEW BEST:: SOT 158376 SOS 135650 HAS SOPS 135648 HAS SOUS 26623 HAS SOUPS 26621 WITH SCORE 26756.65
AT ITER 391 NEW BEST:: SOT 158376 SOS 135646 HAS SOPS 135644 HAS SOUS 26615 HAS SOUPS 26613 WITH SCORE 26748.646
AT ITER 395 NEW BEST:: SOT 158376 SOS 135644 HAS SOPS 135642 HAS SOUS 26611 HAS SOUPS 26609 WITH SCORE 26744.644
AT ITER 407 NEW BEST:: SOT 157971 SOS 135228 HAS SOPS 135226 HAS SOUS 26310 HAS SOUPS 26308 WITH SCORE 26443.228
AT ITER 408 NEW BEST:: SOT 157945 SOS 135215 HAS SOPS 135213 HAS SOUS 25260 HAS SOUPS 25258 WITH SCORE 25393.215
AT ITER 413 NEW BEST:: SOT 158116 SOS 135395 HAS SOPS 135393 HAS SOUS 24500 HAS SOUPS 24498 WITH SCORE 24633.395
AT ITER 417 NEW BEST:: SOT 158121 SOS 135405 HAS SOPS 135403 HAS SOUS 24336 HAS SOUPS 24334 WITH SCORE 24469.405
AT ITER 423 NEW BEST:: SOT 158117 SOS 136461 HAS SOPS 136459 HAS SOUS 24334 HAS SOUPS 24332 WITH SCORE 24468.461
AT ITER 428 NEW BEST:: SOT 158120 SOS 136458 HAS SOPS 136456 HAS SOUS 24328 HAS SOUPS 24326 WITH SCORE 24462.458
AT ITER 438 NEW BEST:: SOT 158068 SOS 136446 HAS SOPS 136444 HAS SOUS 24136 HAS SOUPS 24134 WITH SCORE 24270.446
AT ITER 450 NEW BEST:: SOT 158023 SOS 136399 HAS SOPS 136397 HAS SOUS 24081 HAS SOUPS 24079 WITH SCORE 24215.399
AT ITER 451 NEW BEST:: SOT 158170 SOS 136553 HAS SOPS 136551 HAS SOUS 23470 HAS SOUPS 23468 WITH SCORE 23604.553
AT ITER 453 NEW BEST:: SOT 158395 SOS 136921 HAS SOPS 136919 HAS SOUS 23375 HAS SOUPS 23373 WITH SCORE 23509.921
AT ITER 454 NEW BEST:: SOT 158394 SOS 136919 HAS SOPS 136917 HAS SOUS 23374 HAS SOUPS 23372 WITH SCORE 23508.919
AT ITER 463 NEW BEST:: SOT 158170 SOS 136539 HAS SOPS 136537 HAS SOUS 23301 HAS SOUPS 23299 WITH SCORE 23435.539
AT ITER 471 NEW BEST:: SOT 158170 SOS 136517 HAS SOPS 136515 HAS SOUS 23284 HAS SOUPS 23282 WITH SCORE 23418.517
AT ITER 474 NEW BEST:: SOT 158146 SOS 136509 HAS SOPS 136507 HAS SOUS 23260 HAS SOUPS 23258 WITH SCORE 23394.509
AT ITER 477 NEW BEST:: SOT 158136 SOS 138769 HAS SOPS 138767 HAS SOUS 23255 HAS SOUPS 23253 WITH SCORE 23391.769
AT ITER 478 NEW BEST:: SOT 158095 SOS 138723 HAS SOPS 138721 HAS SOUS 23122 HAS SOUPS 23120 WITH SCORE 23258.723
AT ITER 495 NEW BEST:: SOT 158031 SOS 138598 HAS SOPS 138596 HAS SOUS 22679 HAS SOUPS 22677 WITH SCORE 22815.598
AT ITER 504 NEW BEST:: SOT 158031 SOS 138601 HAS SOPS 138599 HAS SOUS 22673 HAS SOUPS 22671 WITH SCORE 22809.601
AT ITER 505 NEW BEST:: SOT 158012 SOS 138568 HAS SOPS 138566 HAS SOUS 22572 HAS SOUPS 22570 WITH SCORE 22708.568
AT ITER 507 NEW BEST:: SOT 158009 SOS 138502 HAS SOPS 138500 HAS SOUS 22572 HAS SOUPS 22570 WITH SCORE 22708.502
AT ITER 515 NEW BEST:: SOT 157996 SOS 136348 HAS SOPS 136346 HAS SOUS 22554 HAS SOUPS 22552 WITH SCORE 22688.348
AT ITER 523 NEW BEST:: SOT 157976 SOS 136320 HAS SOPS 136318 HAS SOUS 22518 HAS SOUPS 22516 WITH SCORE 22652.32
AT ITER 529 NEW BEST:: SOT 157730 SOS 136073 HAS SOPS 136071 HAS SOUS 22298 HAS SOUPS 22296 WITH SCORE 22432.073
AT ITER 546 NEW BEST:: SOT 157516 SOS 135845 HAS SOPS 135843 HAS SOUS 22048 HAS SOUPS 22046 WITH SCORE 22181.845
AT ITER 556 NEW BEST:: SOT 157122 SOS 135451 HAS SOPS 135449 HAS SOUS 21720 HAS SOUPS 21718 WITH SCORE 21853.451
AT ITER 562 NEW BEST:: SOT 157107 SOS 135436 HAS SOPS 135434 HAS SOUS 21708 HAS SOUPS 21706 WITH SCORE 21841.436
AT ITER 592 NEW BEST:: SOT 157106 SOS 135433 HAS SOPS 135431 HAS SOUS 21703 HAS SOUPS 21701 WITH SCORE 21836.433
AT ITER 598 NEW BEST:: SOT 157106 SOS 135433 HAS SOPS 135431 HAS SOUS 20821 HAS SOUPS 20819 WITH SCORE 20954.433
AT ITER 599 NEW BEST:: SOT 157106 SOS 135285 HAS SOPS 135283 HAS SOUS 20747 HAS SOUPS 20745 WITH SCORE 20880.285
AT ITER 601 NEW BEST:: SOT 157106 SOS 135270 HAS SOPS 135268 HAS SOUS 20654 HAS SOUPS 20652 WITH SCORE 20787.27
AT ITER 608 NEW BEST:: SOT 157124 SOS 135249 HAS SOPS 135247 HAS SOUS 20652 HAS SOUPS 20650 WITH SCORE 20785.249
AT ITER 635 NEW BEST:: SOT 157124 SOS 135261 HAS SOPS 135259 HAS SOUS 20586 HAS SOUPS 20584 WITH SCORE 20719.261
AT ITER 657 NEW BEST:: SOT 157120 SOS 135259 HAS SOPS 135257 HAS SOUS 20586 HAS SOUPS 20584 WITH SCORE 20719.259
AT ITER 677 NEW BEST:: SOT 156960 SOS 135099 HAS SOPS 135097 HAS SOUS 20410 HAS SOUPS 20408 WITH SCORE 20543.099
AT ITER 679 NEW BEST:: SOT 156964 SOS 135070 HAS SOPS 135068 HAS SOUS 20403 HAS SOUPS 20401 WITH SCORE 20536.07
AT ITER 684 NEW BEST:: SOT 156925 SOS 135028 HAS SOPS 135026 HAS SOUS 20402 HAS SOUPS 20400 WITH SCORE 20535.028
AT ITER 689 NEW BEST:: SOT 157031 SOS 135194 HAS SOPS 135192 HAS SOUS 20115 HAS SOUPS 20113 WITH SCORE 20248.194
AT ITER 700 NEW BEST:: SOT 157031 SOS 135192 HAS SOPS 135190 HAS SOUS 20115 HAS SOUPS 20113 WITH SCORE 20248.192
AT ITER 702 NEW BEST:: SOT 156710 SOS 134871 HAS SOPS 134869 HAS SOUS 19957 HAS SOUPS 19955 WITH SCORE 20089.871
AT ITER 703 NEW BEST:: SOT 156707 SOS 134854 HAS SOPS 134852 HAS SOUS 19894 HAS SOUPS 19892 WITH SCORE 20026.854
AT ITER 717 NEW BEST:: SOT 156707 SOS 134843 HAS SOPS 134841 HAS SOUS 19894 HAS SOUPS 19892 WITH SCORE 20026.843
AT ITER 729 NEW BEST:: SOT 156707 SOS 134837 HAS SOPS 134835 HAS SOUS 19888 HAS SOUPS 19886 WITH SCORE 20020.837
AT ITER 737 NEW BEST:: SOT 156707 SOS 134753 HAS SOPS 134751 HAS SOUS 19885 HAS SOUPS 19883 WITH SCORE 20017.753
AT ITER 746 NEW BEST:: SOT 155459 SOS 133507 HAS SOPS 133505 HAS SOUS 18669 HAS SOUPS 18667 WITH SCORE 18800.507
AT ITER 751 NEW BEST:: SOT 155460 SOS 133559 HAS SOPS 133557 HAS SOUS 18645 HAS SOUPS 18643 WITH SCORE 18776.559
AT ITER 753 NEW BEST:: SOT 155458 SOS 133555 HAS SOPS 133553 HAS SOUS 18599 HAS SOUPS 18597 WITH SCORE 18730.555
AT ITER 769 NEW BEST:: SOT 155458 SOS 130585 HAS SOPS 129863 HAS SOUS 18601 HAS SOUPS 18598 WITH SCORE 18728.585
AT ITER 771 NEW BEST:: SOT 155479 SOS 130581 HAS SOPS 129859 HAS SOUS 18597 HAS SOUPS 18594 WITH SCORE 18724.581
AT ITER 778 NEW BEST:: SOT 155471 SOS 130487 HAS SOPS 129765 HAS SOUS 18545 HAS SOUPS 18542 WITH SCORE 18672.487
AT ITER 782 NEW BEST:: SOT 155459 SOS 130450 HAS SOPS 129728 HAS SOUS 18506 HAS SOUPS 18503 WITH SCORE 18633.45
AT ITER 787 NEW BEST:: SOT 155727 SOS 130700 HAS SOPS 129978 HAS SOUS 18185 HAS SOUPS 18182 WITH SCORE 18312.7
AT ITER 790 NEW BEST:: SOT 155729 SOS 130701 HAS SOPS 129979 HAS SOUS 18181 HAS SOUPS 18178 WITH SCORE 18308.701
AT ITER 801 NEW BEST:: SOT 155693 SOS 130663 HAS SOPS 129941 HAS SOUS 18162 HAS SOUPS 18159 WITH SCORE 18289.663
AT ITER 802 NEW BEST:: SOT 155726 SOS 130697 HAS SOPS 129975 HAS SOUS 18090 HAS SOUPS 18087 WITH SCORE 18217.697
AT ITER 830 NEW BEST:: SOT 155784 SOS 130767 HAS SOPS 130045 HAS SOUS 17953 HAS SOUPS 17950 WITH SCORE 18080.767
AT ITER 841 NEW BEST:: SOT 155522 SOS 130503 HAS SOPS 129781 HAS SOUS 17935 HAS SOUPS 17932 WITH SCORE 18062.503
AT ITER 843 NEW BEST:: SOT 155492 SOS 130465 HAS SOPS 129743 HAS SOUS 17850 HAS SOUPS 17847 WITH SCORE 17977.465
AT ITER 852 NEW BEST:: SOT 155490 SOS 130461 HAS SOPS 129739 HAS SOUS 17846 HAS SOUPS 17843 WITH SCORE 17973.461
AT ITER 885 NEW BEST:: SOT 155477 SOS 129751 HAS SOPS 129749 HAS SOUS 17836 HAS SOUPS 17834 WITH SCORE 17963.751
AT ITER 900 NEW BEST:: SOT 155438 SOS 129712 HAS SOPS 129710 HAS SOUS 17816 HAS SOUPS 17814 WITH SCORE 17943.712
AT ITER 903 NEW BEST:: SOT 155429 SOS 129694 HAS SOPS 129692 HAS SOUS 17816 HAS SOUPS 17814 WITH SCORE 17943.694
AT ITER 960 NEW BEST:: SOT 154085 SOS 128351 HAS SOPS 128349 HAS SOUS 16535 HAS SOUPS 16533 WITH SCORE 16661.351
AT ITER 978 NEW BEST:: SOT 154085 SOS 128349 HAS SOPS 128347 HAS SOUS 16533 HAS SOUPS 16531 WITH SCORE 16659.349
AT ITER 990 NEW BEST:: SOT 154079 SOS 128343 HAS SOPS 128341 HAS SOUS 16528 HAS SOUPS 16526 WITH SCORE 16654.343
AT ITER 1001 NEW BEST:: SOT 154079 SOS 128342 HAS SOPS 128340 HAS SOUS 16528 HAS SOUPS 16526 WITH SCORE 16654.342
AT ITER 1029 NEW BEST:: SOT 153678 SOS 127941 HAS SOPS 127939 HAS SOUS 16490 HAS SOUPS 16488 WITH SCORE 16615.941
AT ITER 1062 NEW BEST:: SOT 153675 SOS 127938 HAS SOPS 127936 HAS SOUS 16490 HAS SOUPS 16488 WITH SCORE 16615.938
AT ITER 1100 NEW BEST:: SOT 153679 SOS 130086 HAS SOPS 130084 HAS SOUS 16479 HAS SOUPS 16477 WITH SCORE 16607.086
AT ITER 1133 NEW BEST:: SOT 153635 SOS 130020 HAS SOPS 130018 HAS SOUS 16344 HAS SOUPS 16342 WITH SCORE 16472.02
AT ITER 1165 NEW BEST:: SOT 153551 SOS 129944 HAS SOPS 129942 HAS SOUS 16300 HAS SOUPS 16298 WITH SCORE 16427.944
AT ITER 1173 NEW BEST:: SOT 153547 SOS 129940 HAS SOPS 129938 HAS SOUS 16298 HAS SOUPS 16296 WITH SCORE 16425.94
AT ITER 1201 NEW BEST:: SOT 153536 SOS 129928 HAS SOPS 129926 HAS SOUS 16293 HAS SOUPS 16291 WITH SCORE 16420.928
AT ITER 1203 NEW BEST:: SOT 153540 SOS 129936 HAS SOPS 129934 HAS SOUS 16292 HAS SOUPS 16290 WITH SCORE 16419.936
AT ITER 1225 NEW BEST:: SOT 153535 SOS 129924 HAS SOPS 129922 HAS SOUS 16285 HAS SOUPS 16283 WITH SCORE 16412.924
AT ITER 1236 NEW BEST:: SOT 153532 SOS 129920 HAS SOPS 129918 HAS SOUS 16281 HAS SOUPS 16279 WITH SCORE 16408.92
AT ITER 1261 NEW BEST:: SOT 153458 SOS 129846 HAS SOPS 129844 HAS SOUS 16276 HAS SOUPS 16274 WITH SCORE 16403.846
AT ITER 1263 NEW BEST:: SOT 153438 SOS 129806 HAS SOPS 129804 HAS SOUS 16256 HAS SOUPS 16254 WITH SCORE 16383.806
AT ITER 1281 NEW BEST:: SOT 153430 SOS 132454 HAS SOPS 132452 HAS SOUS 16251 HAS SOUPS 16249 WITH SCORE 16381.454
AT ITER 1292 NEW BEST:: SOT 153420 SOS 132351 HAS SOPS 132349 HAS SOUS 16196 HAS SOUPS 16194 WITH SCORE 16326.351
AT ITER 1297 NEW BEST:: SOT 153420 SOS 132351 HAS SOPS 132349 HAS SOUS 16176 HAS SOUPS 16174 WITH SCORE 16306.351
AT ITER 1304 NEW BEST:: SOT 153419 SOS 132337 HAS SOPS 132335 HAS SOUS 16173 HAS SOUPS 16171 WITH SCORE 16303.337
AT ITER 1308 NEW BEST:: SOT 153425 SOS 132343 HAS SOPS 132341 HAS SOUS 16157 HAS SOUPS 16155 WITH SCORE 16287.343
AT ITER 1326 NEW BEST:: SOT 153129 SOS 132019 HAS SOPS 132017 HAS SOUS 16050 HAS SOUPS 16048 WITH SCORE 16180.019
AT ITER 1332 NEW BEST:: SOT 153105 SOS 131995 HAS SOPS 131993 HAS SOUS 16027 HAS SOUPS 16025 WITH SCORE 16156.995
AT ITER 1333 NEW BEST:: SOT 152887 SOS 131771 HAS SOPS 131769 HAS SOUS 15938 HAS SOUPS 15936 WITH SCORE 16067.771
AT ITER 1344 NEW BEST:: SOT 152891 SOS 131775 HAS SOPS 131773 HAS SOUS 15937 HAS SOUPS 15935 WITH SCORE 16066.775
AT ITER 1359 NEW BEST:: SOT 152883 SOS 131763 HAS SOPS 131761 HAS SOUS 15754 HAS SOUPS 15752 WITH SCORE 15883.763
AT ITER 1401 NEW BEST:: SOT 153416 SOS 132301 HAS SOPS 132299 HAS SOUS 15275 HAS SOUPS 15273 WITH SCORE 15405.301
AT ITER 1418 NEW BEST:: SOT 153416 SOS 131693 HAS SOPS 131691 HAS SOUS 15275 HAS SOUPS 15273 WITH SCORE 15404.693
AT ITER 1490 NEW BEST:: SOT 153412 SOS 131688 HAS SOPS 131686 HAS SOUS 15267 HAS SOUPS 15265 WITH SCORE 15396.688
AT ITER 1492 NEW BEST:: SOT 153412 SOS 131679 HAS SOPS 131677 HAS SOUS 15258 HAS SOUPS 15256 WITH SCORE 15387.679
AT ITER 1531 NEW BEST:: SOT 153406 SOS 131645 HAS SOPS 131643 HAS SOUS 15257 HAS SOUPS 15255 WITH SCORE 15386.645
AT ITER 1541 NEW BEST:: SOT 153400 SOS 131639 HAS SOPS 131637 HAS SOUS 15254 HAS SOUPS 15252 WITH SCORE 15383.639
AT ITER 1543 NEW BEST:: SOT 153581 SOS 131829 HAS SOPS 131827 HAS SOUS 14972 HAS SOUPS 14970 WITH SCORE 15101.829
AT ITER 1566 NEW BEST:: SOT 153433 SOS 131669 HAS SOPS 131667 HAS SOUS 14931 HAS SOUPS 14929 WITH SCORE 15060.669
AT ITER 1602 NEW BEST:: SOT 153353 SOS 131589 HAS SOPS 131587 HAS SOUS 14887 HAS SOUPS 14885 WITH SCORE 15016.589
AT ITER 1603 NEW BEST:: SOT 153353 SOS 131597 HAS SOPS 131595 HAS SOUS 14851 HAS SOUPS 14849 WITH SCORE 14980.597
AT ITER 1611 NEW BEST:: SOT 153354 SOS 131595 HAS SOPS 131593 HAS SOUS 14850 HAS SOUPS 14848 WITH SCORE 14979.595
AT ITER 1651 NEW BEST:: SOT 153334 SOS 131575 HAS SOPS 131573 HAS SOUS 14830 HAS SOUPS 14828 WITH SCORE 14959.575
AT ITER 1652 NEW BEST:: SOT 153333 SOS 131573 HAS SOPS 131571 HAS SOUS 14827 HAS SOUPS 14825 WITH SCORE 14956.573
AT ITER 1672 NEW BEST:: SOT 153324 SOS 131561 HAS SOPS 131559 HAS SOUS 14715 HAS SOUPS 14713 WITH SCORE 14844.561
AT ITER 1713 NEW BEST:: SOT 153277 SOS 131511 HAS SOPS 131509 HAS SOUS 14708 HAS SOUPS 14706 WITH SCORE 14837.511
AT ITER 1740 NEW BEST:: SOT 153313 SOS 131518 HAS SOPS 131516 HAS SOUS 14669 HAS SOUPS 14667 WITH SCORE 14798.518
AT ITER 1752 NEW BEST:: SOT 153141 SOS 131300 HAS SOPS 131298 HAS SOUS 14575 HAS SOUPS 14573 WITH SCORE 14704.3
AT ITER 1778 NEW BEST:: SOT 153045 SOS 131108 HAS SOPS 131106 HAS SOUS 14479 HAS SOUPS 14477 WITH SCORE 14608.108
AT ITER 1782 NEW BEST:: SOT 153033 SOS 131094 HAS SOPS 131092 HAS SOUS 14463 HAS SOUPS 14461 WITH SCORE 14592.094
AT ITER 1796 NEW BEST:: SOT 153009 SOS 131046 HAS SOPS 131044 HAS SOUS 14439 HAS SOUPS 14437 WITH SCORE 14568.046
AT ITER 1821 NEW BEST:: SOT 152921 SOS 130958 HAS SOPS 130956 HAS SOUS 14349 HAS SOUPS 14347 WITH SCORE 14477.958
AT ITER 1831 NEW BEST:: SOT 152921 SOS 130958 HAS SOPS 130956 HAS SOUS 14345 HAS SOUPS 14343 WITH SCORE 14473.958
AT ITER 1839 NEW BEST:: SOT 152938 SOS 130969 HAS SOPS 130967 HAS SOUS 14328 HAS SOUPS 14326 WITH SCORE 14456.969
AT ITER 1842 NEW BEST:: SOT 152943 SOS 130986 HAS SOPS 130984 HAS SOUS 14325 HAS SOUPS 14323 WITH SCORE 14453.986
AT ITER 1845 NEW BEST:: SOT 152936 SOS 130979 HAS SOPS 130977 HAS SOUS 14325 HAS SOUPS 14323 WITH SCORE 14453.979
AT ITER 1920 NEW BEST:: SOT 152712 SOS 130868 HAS SOPS 130866 HAS SOUS 14280 HAS SOUPS 14278 WITH SCORE 14408.868
AT ITER 1941 NEW BEST:: SOT 152911 SOS 131025 HAS SOPS 131023 HAS SOUS 14238 HAS SOUPS 14236 WITH SCORE 14367.025
AT ITER 1987 NEW BEST:: SOT 152907 SOS 131017 HAS SOPS 131015 HAS SOUS 14234 HAS SOUPS 14232 WITH SCORE 14363.017
AT ITER 1990 NEW BEST:: SOT 152900 SOS 130996 HAS SOPS 130994 HAS SOUS 14143 HAS SOUPS 14141 WITH SCORE 14271.996
AT ITER 2018 NEW BEST:: SOT 152894 SOS 130984 HAS SOPS 130982 HAS SOUS 14135 HAS SOUPS 14133 WITH SCORE 14263.984
AT ITER 2034 NEW BEST:: SOT 152893 SOS 130982 HAS SOPS 130980 HAS SOUS 14134 HAS SOUPS 14132 WITH SCORE 14262.982
AT ITER 2062 NEW BEST:: SOT 152892 SOS 130974 HAS SOPS 130972 HAS SOUS 14123 HAS SOUPS 14121 WITH SCORE 14251.974
AT ITER 2079 NEW BEST:: SOT 152879 SOS 130973 HAS SOPS 130971 HAS SOUS 14113 HAS SOUPS 14111 WITH SCORE 14241.973
AT ITER 2133 NEW BEST:: SOT 152877 SOS 130969 HAS SOPS 130967 HAS SOUS 14072 HAS SOUPS 14070 WITH SCORE 14200.969
AT ITER 2171 NEW BEST:: SOT 152839 SOS 130919 HAS SOPS 130917 HAS SOUS 13905 HAS SOUPS 13903 WITH SCORE 14033.919
AT ITER 2185 NEW BEST:: SOT 152818 SOS 130898 HAS SOPS 130896 HAS SOUS 13895 HAS SOUPS 13893 WITH SCORE 14023.898
AT ITER 2308 NEW BEST:: SOT 152792 SOS 130833 HAS SOPS 130831 HAS SOUS 13869 HAS SOUPS 13867 WITH SCORE 13997.833
AT ITER 2312 NEW BEST:: SOT 152795 SOS 130718 HAS SOPS 130716 HAS SOUS 13866 HAS SOUPS 13864 WITH SCORE 13994.718
AT ITER 2336 NEW BEST:: SOT 152793 SOS 130714 HAS SOPS 130712 HAS SOUS 13864 HAS SOUPS 13862 WITH SCORE 13992.714
AT ITER 2351 NEW BEST:: SOT 152537 SOS 130458 HAS SOPS 130456 HAS SOUS 13597 HAS SOUPS 13595 WITH SCORE 13725.458
AT ITER 2400 NEW BEST:: SOT 152535 SOS 130454 HAS SOPS 130452 HAS SOUS 13594 HAS SOUPS 13592 WITH SCORE 13722.454
AT ITER 2417 NEW BEST:: SOT 152639 SOS 130558 HAS SOPS 130556 HAS SOUS 13578 HAS SOUPS 13576 WITH SCORE 13706.558
AT ITER 2424 NEW BEST:: SOT 152645 SOS 130558 HAS SOPS 130556 HAS SOUS 13576 HAS SOUPS 13574 WITH SCORE 13704.558
AT ITER 2425 NEW BEST:: SOT 152665 SOS 130578 HAS SOPS 130576 HAS SOUS 13575 HAS SOUPS 13573 WITH SCORE 13703.578
AT ITER 2446 NEW BEST:: SOT 152665 SOS 130576 HAS SOPS 130574 HAS SOUS 13575 HAS SOUPS 13573 WITH SCORE 13703.576
AT ITER 2454 NEW BEST:: SOT 152625 SOS 130534 HAS SOPS 130532 HAS SOUS 13555 HAS SOUPS 13553 WITH SCORE 13683.534
AT ITER 2498 NEW BEST:: SOT 152629 SOS 130546 HAS SOPS 130544 HAS SOUS 13541 HAS SOUPS 13539 WITH SCORE 13669.546
AT ITER 2566 NEW BEST:: SOT 152637 SOS 128432 HAS SOPS 128430 HAS SOUS 13543 HAS SOUPS 13541 WITH SCORE 13669.432
AT ITER 2571 NEW BEST:: SOT 152630 SOS 128418 HAS SOPS 128416 HAS SOUS 13536 HAS SOUPS 13534 WITH SCORE 13662.418
AT ITER 2579 NEW BEST:: SOT 152626 SOS 127022 HAS SOPS 127020 HAS SOUS 13530 HAS SOUPS 13528 WITH SCORE 13655.022
AT ITER 2617 NEW BEST:: SOT 152618 SOS 127006 HAS SOPS 127004 HAS SOUS 13518 HAS SOUPS 13516 WITH SCORE 13643.006
AT ITER 2622 NEW BEST:: SOT 152615 SOS 126979 HAS SOPS 126977 HAS SOUS 13513 HAS SOUPS 13511 WITH SCORE 13637.979
AT ITER 2700 NEW BEST:: SOT 152611 SOS 127031 HAS SOPS 127029 HAS SOUS 13511 HAS SOUPS 13509 WITH SCORE 13636.031
AT ITER 2725 NEW BEST:: SOT 152611 SOS 127029 HAS SOPS 127027 HAS SOUS 13494 HAS SOUPS 13492 WITH SCORE 13619.029
AT ITER 2730 NEW BEST:: SOT 152590 SOS 127009 HAS SOPS 127007 HAS SOUS 13335 HAS SOUPS 13333 WITH SCORE 13460.009
AT ITER 2741 NEW BEST:: SOT 152512 SOS 126927 HAS SOPS 126925 HAS SOUS 13330 HAS SOUPS 13328 WITH SCORE 13454.927
AT ITER 2817 NEW BEST:: SOT 152000 SOS 126417 HAS SOPS 126415 HAS SOUS 12828 HAS SOUPS 12826 WITH SCORE 12952.417
AT ITER 2818 NEW BEST:: SOT 151999 SOS 126415 HAS SOPS 126413 HAS SOUS 12826 HAS SOUPS 12824 WITH SCORE 12950.415
AT ITER 2853 NEW BEST:: SOT 152014 SOS 126425 HAS SOPS 126423 HAS SOUS 12703 HAS SOUPS 12701 WITH SCORE 12827.425
AT ITER 2874 NEW BEST:: SOT 152006 SOS 126415 HAS SOPS 126413 HAS SOUS 12694 HAS SOUPS 12692 WITH SCORE 12818.415
AT ITER 2878 NEW BEST:: SOT 151998 SOS 125047 HAS SOPS 125045 HAS SOUS 12687 HAS SOUPS 12685 WITH SCORE 12810.047
AT ITER 2951 NEW BEST:: SOT 151992 SOS 125695 HAS SOPS 125693 HAS SOUS 12676 HAS SOUPS 12674 WITH SCORE 12799.695
AT ITER 3004 NEW BEST:: SOT 152000 SOS 125703 HAS SOPS 125701 HAS SOUS 12674 HAS SOUPS 12672 WITH SCORE 12797.703
AT ITER 3023 NEW BEST:: SOT 152002 SOS 125709 HAS SOPS 125707 HAS SOUS 12667 HAS SOUPS 12665 WITH SCORE 12790.709
AT ITER 3052 NEW BEST:: SOT 151925 SOS 125631 HAS SOPS 125629 HAS SOUS 12637 HAS SOUPS 12635 WITH SCORE 12760.631
AT ITER 3061 NEW BEST:: SOT 151909 SOS 125617 HAS SOPS 125615 HAS SOUS 12630 HAS SOUPS 12628 WITH SCORE 12753.617
AT ITER 3085 NEW BEST:: SOT 151925 SOS 125639 HAS SOPS 125637 HAS SOUS 12626 HAS SOUPS 12624 WITH SCORE 12749.639
AT ITER 3092 NEW BEST:: SOT 151916 SOS 125633 HAS SOPS 125631 HAS SOUS 12621 HAS SOUPS 12619 WITH SCORE 12744.633
AT ITER 3176 NEW BEST:: SOT 151915 SOS 125632 HAS SOPS 125630 HAS SOUS 12620 HAS SOUPS 12618 WITH SCORE 12743.632
AT ITER 3218 NEW BEST:: SOT 151914 SOS 125628 HAS SOPS 125626 HAS SOUS 12619 HAS SOUPS 12617 WITH SCORE 12742.628
AT ITER 3256 NEW BEST:: SOT 151832 SOS 125542 HAS SOPS 125540 HAS SOUS 12557 HAS SOUPS 12555 WITH SCORE 12680.542
AT ITER 3265 NEW BEST:: SOT 151832 SOS 125541 HAS SOPS 125539 HAS SOUS 12557 HAS SOUPS 12555 WITH SCORE 12680.541
AT ITER 3283 NEW BEST:: SOT 151832 SOS 125522 HAS SOPS 125520 HAS SOUS 12556 HAS SOUPS 12554 WITH SCORE 12679.522
AT ITER 3338 NEW BEST:: SOT 151836 SOS 125524 HAS SOPS 125522 HAS SOUS 12554 HAS SOUPS 12552 WITH SCORE 12677.524
AT ITER 3356 NEW BEST:: SOT 151825 SOS 125510 HAS SOPS 125508 HAS SOUS 12551 HAS SOUPS 12549 WITH SCORE 12674.51
AT ITER 3425 NEW BEST:: SOT 151825 SOS 125396 HAS SOPS 125394 HAS SOUS 12549 HAS SOUPS 12547 WITH SCORE 12672.396
AT ITER 3469 NEW BEST:: SOT 151817 SOS 125392 HAS SOPS 125390 HAS SOUS 12549 HAS SOUPS 12547 WITH SCORE 12672.392
AT ITER 3470 NEW BEST:: SOT 151821 SOS 123344 HAS SOPS 123342 HAS SOUS 12549 HAS SOUPS 12547 WITH SCORE 12670.344
AT ITER 3489 NEW BEST:: SOT 151799 SOS 123333 HAS SOPS 123331 HAS SOUS 12538 HAS SOUPS 12536 WITH SCORE 12659.333
AT ITER 3582 NEW BEST:: SOT 151759 SOS 123291 HAS SOPS 123289 HAS SOUS 12534 HAS SOUPS 12532 WITH SCORE 12655.291
AT ITER 3599 NEW BEST:: SOT 151755 SOS 123287 HAS SOPS 123285 HAS SOUS 12529 HAS SOUPS 12527 WITH SCORE 12650.287
AT ITER 3816 NEW BEST:: SOT 151749 SOS 123287 HAS SOPS 123285 HAS SOUS 12524 HAS SOUPS 12522 WITH SCORE 12645.287
AT ITER 3831 NEW BEST:: SOT 151749 SOS 123285 HAS SOPS 123283 HAS SOUS 12522 HAS SOUPS 12520 WITH SCORE 12643.285
AT ITER 3927 NEW BEST:: SOT 151689 SOS 123229 HAS SOPS 123227 HAS SOUS 12506 HAS SOUPS 12504 WITH SCORE 12627.229
AT ITER 3938 NEW BEST:: SOT 151695 SOS 120557 HAS SOPS 120555 HAS SOUS 12508 HAS SOUPS 12506 WITH SCORE 12626.557
AT ITER 4032 NEW BEST:: SOT 151678 SOS 120534 HAS SOPS 120532 HAS SOUS 12501 HAS SOUPS 12499 WITH SCORE 12619.534
AT ITER 4036 NEW BEST:: SOT 151680 SOS 120514 HAS SOPS 120512 HAS SOUS 12491 HAS SOUPS 12489 WITH SCORE 12609.514
AT ITER 4166 NEW BEST:: SOT 151635 SOS 120468 HAS SOPS 120466 HAS SOUS 12457 HAS SOUPS 12455 WITH SCORE 12575.468
AT ITER 4223 NEW BEST:: SOT 151632 SOS 120460 HAS SOPS 120458 HAS SOUS 12454 HAS SOUPS 12452 WITH SCORE 12572.46
AT ITER 4279 NEW BEST:: SOT 151573 SOS 120400 HAS SOPS 120398 HAS SOUS 12433 HAS SOUPS 12431 WITH SCORE 12551.4
AT ITER 4396 NEW BEST:: SOT 151573 SOS 121036 HAS SOPS 121034 HAS SOUS 12431 HAS SOUPS 12429 WITH SCORE 12550.036
AT ITER 4620 NEW BEST:: SOT 151571 SOS 121034 HAS SOPS 121032 HAS SOUS 12430 HAS SOUPS 12428 WITH SCORE 12549.034
AT ITER 4675 NEW BEST:: SOT 151573 SOS 121036 HAS SOPS 121034 HAS SOUS 12428 HAS SOUPS 12426 WITH SCORE 12547.036
AT ITER 4811 NEW BEST:: SOT 151571 SOS 121013 HAS SOPS 121011 HAS SOUS 12426 HAS SOUPS 12424 WITH SCORE 12545.013
AT ITER 4886 NEW BEST:: SOT 151571 SOS 120979 HAS SOPS 120977 HAS SOUS 12426 HAS SOUPS 12424 WITH SCORE 12544.979
AT ITER 4941 NEW BEST:: SOT 151569 SOS 120977 HAS SOPS 120975 HAS SOUS 12424 HAS SOUPS 12422 WITH SCORE 12542.977
AT ITER 5045 NEW BEST:: SOT 151568 SOS 120972 HAS SOPS 120970 HAS SOUS 12421 HAS SOUPS 12419 WITH SCORE 12539.972
AT ITER 5199 NEW BEST:: SOT 151568 SOS 120954 HAS SOPS 120952 HAS SOUS 12421 HAS SOUPS 12419 WITH SCORE 12539.954
AT ITER 5318 NEW BEST:: SOT 151568 SOS 120950 HAS SOPS 120948 HAS SOUS 12421 HAS SOUPS 12419 WITH SCORE 12539.95
AT ITER 5344 NEW BEST:: SOT 151495 SOS 120876 HAS SOPS 120874 HAS SOUS 12391 HAS SOUPS 12389 WITH SCORE 12509.876
AT ITER 5421 NEW BEST:: SOT 151490 SOS 120947 HAS SOPS 120945 HAS SOUS 12390 HAS SOUPS 12388 WITH SCORE 12508.947
AT ITER 5435 NEW BEST:: SOT 151485 SOS 120883 HAS SOPS 120881 HAS SOUS 12385 HAS SOUPS 12383 WITH SCORE 12503.883
AT ITER 5477 NEW BEST:: SOT 151449 SOS 120847 HAS SOPS 120845 HAS SOUS 12367 HAS SOUPS 12365 WITH SCORE 12485.847
AT ITER 5506 NEW BEST:: SOT 151402 SOS 120799 HAS SOPS 120797 HAS SOUS 12350 HAS SOUPS 12348 WITH SCORE 12468.799
AT ITER 5541 NEW BEST:: SOT 151125 SOS 120521 HAS SOPS 120519 HAS SOUS 12091 HAS SOUPS 12089 WITH SCORE 12209.521
AT ITER 5569 NEW BEST:: SOT 151127 SOS 119992 HAS SOPS 119990 HAS SOUS 12091 HAS SOUPS 12089 WITH SCORE 12208.992
AT ITER 5633 NEW BEST:: SOT 151125 SOS 119991 HAS SOPS 119989 HAS SOUS 12091 HAS SOUPS 12089 WITH SCORE 12208.991
AT ITER 5657 NEW BEST:: SOT 150634 SOS 119505 HAS SOPS 119503 HAS SOUS 11610 HAS SOUPS 11608 WITH SCORE 11727.505
AT ITER 5786 NEW BEST:: SOT 150632 SOS 119503 HAS SOPS 119501 HAS SOUS 11610 HAS SOUPS 11608 WITH SCORE 11727.503
AT ITER 5811 NEW BEST:: SOT 150630 SOS 119520 HAS SOPS 119518 HAS SOUS 11609 HAS SOUPS 11607 WITH SCORE 11726.52
AT ITER 5857 NEW BEST:: SOT 150632 SOS 119518 HAS SOPS 119516 HAS SOUS 11592 HAS SOUPS 11590 WITH SCORE 11709.518
AT ITER 6142 NEW BEST:: SOT 150634 SOS 119408 HAS SOPS 119406 HAS SOUS 11592 HAS SOUPS 11590 WITH SCORE 11709.408
AT ITER 6269 NEW BEST:: SOT 150634 SOS 119407 HAS SOPS 119405 HAS SOUS 11591 HAS SOUPS 11589 WITH SCORE 11708.407
AT ITER 6477 NEW BEST:: SOT 150633 SOS 119567 HAS SOPS 119565 HAS SOUS 11590 HAS SOUPS 11588 WITH SCORE 11707.567
AT ITER 6508 NEW BEST:: SOT 150632 SOS 119566 HAS SOPS 119564 HAS SOUS 11571 HAS SOUPS 11569 WITH SCORE 11688.566
AT ITER 6671 NEW BEST:: SOT 150630 SOS 119565 HAS SOPS 119563 HAS SOUS 11557 HAS SOUPS 11555 WITH SCORE 11674.565
AT ITER 6743 NEW BEST:: SOT 150612 SOS 119546 HAS SOPS 119544 HAS SOUS 11548 HAS SOUPS 11546 WITH SCORE 11665.546
AT ITER 6938 NEW BEST:: SOT 150574 SOS 119510 HAS SOPS 119508 HAS SOUS 11541 HAS SOUPS 11539 WITH SCORE 11658.51
AT ITER 7028 NEW BEST:: SOT 150577 SOS 119492 HAS SOPS 119490 HAS SOUS 11540 HAS SOUPS 11538 WITH SCORE 11657.492
AT ITER 7199 NEW BEST:: SOT 150576 SOS 119493 HAS SOPS 119491 HAS SOUS 11539 HAS SOUPS 11537 WITH SCORE 11656.493
AT ITER 7751 NEW BEST:: SOT 150568 SOS 121533 HAS SOPS 121531 HAS SOUS 11535 HAS SOUPS 11533 WITH SCORE 11654.533
AT ITER 7811 NEW BEST:: SOT 150567 SOS 121531 HAS SOPS 121529 HAS SOUS 11534 HAS SOUPS 11532 WITH SCORE 11653.531
AT ITER 8153 NEW BEST:: SOT 150566 SOS 121530 HAS SOPS 121528 HAS SOUS 11534 HAS SOUPS 11532 WITH SCORE 11653.53
AT ITER 8278 NEW BEST:: SOT 150565 SOS 121508 HAS SOPS 121506 HAS SOUS 11532 HAS SOUPS 11530 WITH SCORE 11651.508
AT ITER 8351 NEW BEST:: SOT 150562 SOS 121442 HAS SOPS 121440 HAS SOUS 11529 HAS SOUPS 11527 WITH SCORE 11648.442
AT ITER 8466 NEW BEST:: SOT 150564 SOS 121443 HAS SOPS 121441 HAS SOUS 11508 HAS SOUPS 11506 WITH SCORE 11627.443
AT ITER 8583 NEW BEST:: SOT 150620 SOS 121500 HAS SOPS 121498 HAS SOUS 11420 HAS SOUPS 11418 WITH SCORE 11539.5
AT ITER 8595 NEW BEST:: SOT 150600 SOS 121480 HAS SOPS 121478 HAS SOUS 11410 HAS SOUPS 11408 WITH SCORE 11529.48
AT ITER 8852 NEW BEST:: SOT 150600 SOS 121438 HAS SOPS 121436 HAS SOUS 11410 HAS SOUPS 11408 WITH SCORE 11529.438
AT ITER 8906 NEW BEST:: SOT 150638 SOS 121476 HAS SOPS 121474 HAS SOUS 11408 HAS SOUPS 11406 WITH SCORE 11527.476
AT ITER 9015 NEW BEST:: SOT 150642 SOS 121489 HAS SOPS 121487 HAS SOUS 11406 HAS SOUPS 11404 WITH SCORE 11525.489
AT ITER 9101 NEW BEST:: SOT 150642 SOS 121485 HAS SOPS 121483 HAS SOUS 11406 HAS SOUPS 11404 WITH SCORE 11525.485
AT ITER 9347 NEW BEST:: SOT 150629 SOS 121472 HAS SOPS 121470 HAS SOUS 11399 HAS SOUPS 11397 WITH SCORE 11518.472
AT ITER 9858 NEW BEST:: SOT 150630 SOS 120940 HAS SOPS 120938 HAS SOUS 11398 HAS SOUPS 11396 WITH SCORE 11516.94
AT ITER 9911 NEW BEST:: SOT 150652 SOS 120939 HAS SOPS 120937 HAS SOUS 11397 HAS SOUPS 11395 WITH SCORE 11515.939
BK_STOP 1678744390729
--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 502 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutonomousCar-PT-10a"
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 AutonomousCar-PT-10a, 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 r011-oct2-167813600500680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutonomousCar-PT-10a.tgz
mv AutonomousCar-PT-10a 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 '
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 ;