About the Execution of Smart+red for DoubleLock-PT-p3s3
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
13028.575 | 3600000.00 | 3622602.00 | 9496.70 | [undef] | Time out reached |
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.r139-smll-167819423500568.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 DoubleLock-PT-p3s3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423500568
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 14:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 14:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.4M 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 1678486107461
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=DoubleLock-PT-p3s3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 22:08:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 22:08:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 22:08:30] [INFO ] Load time of PNML (sax parser for PT used): 471 ms
[2023-03-10 22:08:31] [INFO ] Transformed 306 places.
[2023-03-10 22:08:31] [INFO ] Transformed 3136 transitions.
[2023-03-10 22:08:31] [INFO ] Parsed PT model containing 306 places and 3136 transitions and 12672 arcs in 728 ms.
[2023-03-10 22:08:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 3136 transitions and 12672 arcs took 40 ms.
Total runtime 815 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p3s3
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: 306 places, 3136 transitions, 12672 arcs.
AT ITER 0 NEW BEST:: SOT 422184 SOS 346376 HAS SOPS 324481 HAS SOUS 146914 HAS SOUPS 136570 WITH SCORE 136916.376
AT ITER 11 NEW BEST:: SOT 422525 SOS 346495 HAS SOPS 324674 HAS SOUS 146527 HAS SOUPS 136220 WITH SCORE 136566.495
AT ITER 15 NEW BEST:: SOT 422600 SOS 346480 HAS SOPS 324689 HAS SOUS 146332 HAS SOUPS 136040 WITH SCORE 136386.48
AT ITER 35 NEW BEST:: SOT 422902 SOS 346566 HAS SOPS 324847 HAS SOUS 146214 HAS SOUPS 135958 WITH SCORE 136304.566
AT ITER 56 NEW BEST:: SOT 430069 SOS 350059 HAS SOPS 318028 HAS SOUS 142883 HAS SOUPS 132564 WITH SCORE 132914.059
AT ITER 65 NEW BEST:: SOT 430045 SOS 350035 HAS SOPS 318004 HAS SOUS 142859 HAS SOUPS 132540 WITH SCORE 132890.035
AT ITER 70 NEW BEST:: SOT 430349 SOS 350080 HAS SOPS 318160 HAS SOUS 142669 HAS SOUPS 132387 WITH SCORE 132737.08
AT ITER 72 NEW BEST:: SOT 430918 SOS 350260 HAS SOPS 318513 HAS SOUS 142557 HAS SOUPS 132329 WITH SCORE 132679.26
AT ITER 84 NEW BEST:: SOT 431946 SOS 349200 HAS SOPS 317453 HAS SOUS 139786 HAS SOUPS 129558 WITH SCORE 129907.2
AT ITER 94 NEW BEST:: SOT 432474 SOS 349383 HAS SOPS 317768 HAS SOUS 139577 HAS SOUPS 129393 WITH SCORE 129742.383
AT ITER 96 NEW BEST:: SOT 434604 SOS 350659 HAS SOPS 319407 HAS SOUS 139350 HAS SOUPS 129266 WITH SCORE 129616.659
AT ITER 120 NEW BEST:: SOT 435466 SOS 350934 HAS SOPS 319924 HAS SOUS 138951 HAS SOUPS 128936 WITH SCORE 129286.934
AT ITER 124 NEW BEST:: SOT 435224 SOS 350678 HAS SOPS 319668 HAS SOUS 138343 HAS SOUPS 128328 WITH SCORE 128678.678
AT ITER 128 NEW BEST:: SOT 435230 SOS 350699 HAS SOPS 319728 HAS SOUS 138317 HAS SOUPS 128304 WITH SCORE 128654.699
AT ITER 134 NEW BEST:: SOT 435540 SOS 351009 HAS SOPS 320038 HAS SOUS 138261 HAS SOUPS 128248 WITH SCORE 128599.009
AT ITER 139 NEW BEST:: SOT 435497 SOS 350966 HAS SOPS 319995 HAS SOUS 138218 HAS SOUPS 128205 WITH SCORE 128555.966
AT ITER 140 NEW BEST:: SOT 435957 SOS 351032 HAS SOPS 320240 HAS SOUS 137800 HAS SOUPS 127830 WITH SCORE 128181.032
AT ITER 147 NEW BEST:: SOT 435971 SOS 351046 HAS SOPS 320254 HAS SOUS 137791 HAS SOUPS 127821 WITH SCORE 128172.046
AT ITER 161 NEW BEST:: SOT 437343 SOS 351827 HAS SOPS 321293 HAS SOUS 137606 HAS SOUPS 127716 WITH SCORE 128067.827
AT ITER 171 NEW BEST:: SOT 437630 SOS 351802 HAS SOPS 321385 HAS SOUS 137049 HAS SOUPS 127198 WITH SCORE 127549.802
AT ITER 176 NEW BEST:: SOT 437862 SOS 351812 HAS SOPS 321482 HAS SOUS 136593 HAS SOUPS 126769 WITH SCORE 127120.812
AT ITER 189 NEW BEST:: SOT 438364 SOS 351962 HAS SOPS 321764 HAS SOUS 136344 HAS SOUPS 126564 WITH SCORE 126915.962
AT ITER 208 NEW BEST:: SOT 438838 SOS 352022 HAS SOPS 321993 HAS SOUS 135802 HAS SOUPS 126071 WITH SCORE 126423.022
AT ITER 217 NEW BEST:: SOT 438708 SOS 351892 HAS SOPS 321863 HAS SOUS 135672 HAS SOUPS 125941 WITH SCORE 126292.892
AT ITER 241 NEW BEST:: SOT 434687 SOS 347925 HAS SOPS 317901 HAS SOUS 135107 HAS SOUPS 125381 WITH SCORE 125728.925
AT ITER 246 NEW BEST:: SOT 435443 SOS 348183 HAS SOPS 318391 HAS SOUS 134914 HAS SOUPS 125248 WITH SCORE 125596.183
AT ITER 247 NEW BEST:: SOT 434230 SOS 344493 HAS SOPS 313258 HAS SOUS 134887 HAS SOUPS 125155 WITH SCORE 125499.493
AT ITER 277 NEW BEST:: SOT 434458 SOS 344457 HAS SOPS 313435 HAS SOUS 134097 HAS SOUPS 124416 WITH SCORE 124760.457
AT ITER 279 NEW BEST:: SOT 434432 SOS 344431 HAS SOPS 313409 HAS SOUS 134056 HAS SOUPS 124375 WITH SCORE 124719.431
AT ITER 288 NEW BEST:: SOT 434424 SOS 344431 HAS SOPS 313409 HAS SOUS 134049 HAS SOUPS 124368 WITH SCORE 124712.431
AT ITER 292 NEW BEST:: SOT 434424 SOS 344403 HAS SOPS 313381 HAS SOUS 134047 HAS SOUPS 124366 WITH SCORE 124710.403
AT ITER 297 NEW BEST:: SOT 434194 SOS 344222 HAS SOPS 313176 HAS SOUS 133884 HAS SOUPS 124195 WITH SCORE 124539.222
AT ITER 309 NEW BEST:: SOT 436525 SOS 346516 HAS SOPS 315470 HAS SOUS 133847 HAS SOUPS 124158 WITH SCORE 124504.516
AT ITER 311 NEW BEST:: SOT 436408 SOS 346384 HAS SOPS 315343 HAS SOUS 133754 HAS SOUPS 124065 WITH SCORE 124411.384
AT ITER 337 NEW BEST:: SOT 435857 SOS 342895 HAS SOPS 311854 HAS SOUS 133471 HAS SOUPS 123782 WITH SCORE 124124.895
AT ITER 341 NEW BEST:: SOT 436057 SOS 343027 HAS SOPS 311986 HAS SOUS 132311 HAS SOUPS 122622 WITH SCORE 122965.027
AT ITER 349 NEW BEST:: SOT 436195 SOS 343165 HAS SOPS 312124 HAS SOUS 132293 HAS SOUPS 122604 WITH SCORE 122947.165
AT ITER 356 NEW BEST:: SOT 436191 SOS 343161 HAS SOPS 312120 HAS SOUS 132260 HAS SOUPS 122571 WITH SCORE 122914.161
AT ITER 371 NEW BEST:: SOT 435857 SOS 342827 HAS SOPS 311786 HAS SOUS 131938 HAS SOUPS 122249 WITH SCORE 122591.827
AT ITER 377 NEW BEST:: SOT 435727 SOS 342541 HAS SOPS 311578 HAS SOUS 131352 HAS SOUPS 121676 WITH SCORE 122018.541
AT ITER 382 NEW BEST:: SOT 435306 SOS 342073 HAS SOPS 311110 HAS SOUS 130623 HAS SOUPS 120947 WITH SCORE 121289.073
AT ITER 399 NEW BEST:: SOT 435920 SOS 342191 HAS SOPS 311429 HAS SOUS 129888 HAS SOUPS 120266 WITH SCORE 120608.191
AT ITER 402 NEW BEST:: SOT 436323 SOS 342006 HAS SOPS 311502 HAS SOUS 129097 HAS SOUPS 119533 WITH SCORE 119875.006
AT ITER 414 NEW BEST:: SOT 436398 SOS 342007 HAS SOPS 311535 HAS SOUS 129058 HAS SOUPS 119502 WITH SCORE 119844.007
AT ITER 419 NEW BEST:: SOT 437276 SOS 342379 HAS SOPS 312103 HAS SOUS 128804 HAS SOUPS 119313 WITH SCORE 119655.379
AT ITER 427 NEW BEST:: SOT 437276 SOS 343051 HAS SOPS 312775 HAS SOUS 128798 HAS SOUPS 119307 WITH SCORE 119650.051
AT ITER 439 NEW BEST:: SOT 437078 SOS 342853 HAS SOPS 312577 HAS SOUS 128289 HAS SOUPS 118798 WITH SCORE 119140.853
AT ITER 455 NEW BEST:: SOT 437128 SOS 342791 HAS SOPS 312557 HAS SOUS 128023 HAS SOUPS 118546 WITH SCORE 118888.791
AT ITER 457 NEW BEST:: SOT 437128 SOS 342487 HAS SOPS 312253 HAS SOUS 128000 HAS SOUPS 118523 WITH SCORE 118865.487
AT ITER 509 NEW BEST:: SOT 438755 SOS 343366 HAS SOPS 313486 HAS SOUS 127816 HAS SOUPS 118431 WITH SCORE 118774.366
AT ITER 522 NEW BEST:: SOT 439140 SOS 343709 HAS SOPS 313829 HAS SOUS 127230 HAS SOUPS 117845 WITH SCORE 118188.709
AT ITER 533 NEW BEST:: SOT 437706 SOS 342720 HAS SOPS 312642 HAS SOUS 125987 HAS SOUPS 116536 WITH SCORE 116878.72
AT ITER 552 NEW BEST:: SOT 437658 SOS 342672 HAS SOPS 312594 HAS SOUS 125939 HAS SOUPS 116488 WITH SCORE 116830.672
AT ITER 580 NEW BEST:: SOT 437622 SOS 342636 HAS SOPS 312558 HAS SOUS 125903 HAS SOUPS 116452 WITH SCORE 116794.636
AT ITER 645 NEW BEST:: SOT 437634 SOS 342648 HAS SOPS 312570 HAS SOUS 125861 HAS SOUPS 116410 WITH SCORE 116752.648
AT ITER 653 NEW BEST:: SOT 442656 SOS 346625 HAS SOPS 309745 HAS SOUS 123809 HAS SOUPS 114358 WITH SCORE 114704.625
AT ITER 659 NEW BEST:: SOT 442536 SOS 346585 HAS SOPS 309665 HAS SOUS 123759 HAS SOUPS 114298 WITH SCORE 114644.585
AT ITER 672 NEW BEST:: SOT 442566 SOS 346543 HAS SOPS 309659 HAS SOUS 123609 HAS SOUPS 114154 WITH SCORE 114500.543
AT ITER 679 NEW BEST:: SOT 442521 SOS 346493 HAS SOPS 309609 HAS SOUS 123546 HAS SOUPS 114091 WITH SCORE 114437.493
AT ITER 687 NEW BEST:: SOT 442521 SOS 346493 HAS SOPS 309609 HAS SOUS 123540 HAS SOUPS 114085 WITH SCORE 114431.493
AT ITER 689 NEW BEST:: SOT 442711 SOS 347062 HAS SOPS 310489 HAS SOUS 123494 HAS SOUPS 114052 WITH SCORE 114399.062
AT ITER 693 NEW BEST:: SOT 442714 SOS 346200 HAS SOPS 309627 HAS SOUS 123452 HAS SOUPS 114010 WITH SCORE 114356.2
AT ITER 695 NEW BEST:: SOT 443089 SOS 346579 HAS SOPS 310006 HAS SOUS 123361 HAS SOUPS 113919 WITH SCORE 114265.579
AT ITER 716 NEW BEST:: SOT 443259 SOS 346749 HAS SOPS 310176 HAS SOUS 123066 HAS SOUPS 113624 WITH SCORE 113970.749
AT ITER 722 NEW BEST:: SOT 443857 SOS 346547 HAS SOPS 310324 HAS SOUS 122247 HAS SOUPS 112891 WITH SCORE 113237.547
AT ITER 723 NEW BEST:: SOT 443926 SOS 346192 HAS SOPS 310165 HAS SOUS 121376 HAS SOUPS 112069 WITH SCORE 112415.192
AT ITER 748 NEW BEST:: SOT 443912 SOS 346178 HAS SOPS 310151 HAS SOUS 121362 HAS SOUPS 112055 WITH SCORE 112401.178
AT ITER 763 NEW BEST:: SOT 444180 SOS 343434 HAS SOPS 307407 HAS SOUS 117839 HAS SOUPS 108532 WITH SCORE 108875.434
AT ITER 856 NEW BEST:: SOT 444055 SOS 343309 HAS SOPS 307282 HAS SOUS 117714 HAS SOUPS 108407 WITH SCORE 108750.309
AT ITER 869 NEW BEST:: SOT 443254 SOS 342508 HAS SOPS 306481 HAS SOUS 117212 HAS SOUPS 107905 WITH SCORE 108247.508
AT ITER 874 NEW BEST:: SOT 443255 SOS 342503 HAS SOPS 306476 HAS SOUS 117207 HAS SOUPS 107900 WITH SCORE 108242.503
AT ITER 881 NEW BEST:: SOT 441867 SOS 341761 HAS SOPS 305398 HAS SOUS 117142 HAS SOUPS 107765 WITH SCORE 108106.761
AT ITER 892 NEW BEST:: SOT 441715 SOS 341555 HAS SOPS 305192 HAS SOUS 116660 HAS SOUPS 107283 WITH SCORE 107624.555
AT ITER 901 NEW BEST:: SOT 441945 SOS 341587 HAS SOPS 305337 HAS SOUS 116566 HAS SOUPS 107208 WITH SCORE 107549.587
AT ITER 907 NEW BEST:: SOT 441849 SOS 341491 HAS SOPS 305241 HAS SOUS 116476 HAS SOUPS 107118 WITH SCORE 107459.491
AT ITER 925 NEW BEST:: SOT 441993 SOS 341551 HAS SOPS 305355 HAS SOUS 116451 HAS SOUPS 107102 WITH SCORE 107443.551
AT ITER 949 NEW BEST:: SOT 442148 SOS 341589 HAS SOPS 305449 HAS SOUS 116375 HAS SOUPS 107039 WITH SCORE 107380.589
AT ITER 953 NEW BEST:: SOT 441632 SOS 341073 HAS SOPS 304933 HAS SOUS 115935 HAS SOUPS 106599 WITH SCORE 106940.073
AT ITER 973 NEW BEST:: SOT 441703 SOS 340900 HAS SOPS 304760 HAS SOUS 115884 HAS SOUPS 106548 WITH SCORE 106888.9
AT ITER 990 NEW BEST:: SOT 441643 SOS 340755 HAS SOPS 304615 HAS SOUS 115622 HAS SOUPS 106286 WITH SCORE 106626.755
AT ITER 998 NEW BEST:: SOT 441647 SOS 341442 HAS SOPS 305302 HAS SOUS 115620 HAS SOUPS 106284 WITH SCORE 106625.442
AT ITER 1001 NEW BEST:: SOT 441253 SOS 341364 HAS SOPS 305068 HAS SOUS 115337 HAS SOUPS 105962 WITH SCORE 106303.364
AT ITER 1005 NEW BEST:: SOT 441065 SOS 341187 HAS SOPS 304891 HAS SOUS 115186 HAS SOUPS 105811 WITH SCORE 106152.187
AT ITER 1031 NEW BEST:: SOT 441077 SOS 341199 HAS SOPS 304903 HAS SOUS 115073 HAS SOUPS 105698 WITH SCORE 106039.199
AT ITER 1041 NEW BEST:: SOT 441168 SOS 341316 HAS SOPS 305020 HAS SOUS 114966 HAS SOUPS 105591 WITH SCORE 105932.316
AT ITER 1055 NEW BEST:: SOT 441168 SOS 341285 HAS SOPS 304988 HAS SOUS 114964 HAS SOUPS 105589 WITH SCORE 105930.285
AT ITER 1060 NEW BEST:: SOT 440809 SOS 341162 HAS SOPS 304757 HAS SOUS 114891 HAS SOUPS 105489 WITH SCORE 105830.162
AT ITER 1110 NEW BEST:: SOT 440771 SOS 341140 HAS SOPS 304727 HAS SOUS 114893 HAS SOUPS 105489 WITH SCORE 105830.14
AT ITER 1137 NEW BEST:: SOT 441011 SOS 341350 HAS SOPS 304937 HAS SOUS 114443 HAS SOUPS 105039 WITH SCORE 105380.35
AT ITER 1164 NEW BEST:: SOT 441190 SOS 341284 HAS SOPS 304989 HAS SOUS 113823 HAS SOUPS 104441 WITH SCORE 104782.284
AT ITER 1183 NEW BEST:: SOT 439975 SOS 340069 HAS SOPS 303774 HAS SOUS 113824 HAS SOUPS 104442 WITH SCORE 104782.069
AT ITER 1190 NEW BEST:: SOT 439975 SOS 340021 HAS SOPS 303726 HAS SOUS 113821 HAS SOUPS 104439 WITH SCORE 104779.021
AT ITER 1224 NEW BEST:: SOT 439903 SOS 339949 HAS SOPS 303654 HAS SOUS 113726 HAS SOUPS 104344 WITH SCORE 104683.949
AT ITER 1236 NEW BEST:: SOT 439918 SOS 339946 HAS SOPS 303659 HAS SOUS 113717 HAS SOUPS 104337 WITH SCORE 104676.946
AT ITER 1242 NEW BEST:: SOT 439868 SOS 339896 HAS SOPS 303609 HAS SOUS 113701 HAS SOUPS 104321 WITH SCORE 104660.896
AT ITER 1245 NEW BEST:: SOT 439504 SOS 339413 HAS SOPS 302990 HAS SOUS 113662 HAS SOUPS 104248 WITH SCORE 104587.413
AT ITER 1267 NEW BEST:: SOT 439504 SOS 340246 HAS SOPS 303822 HAS SOUS 113659 HAS SOUPS 104244 WITH SCORE 104584.246
AT ITER 1290 NEW BEST:: SOT 440432 SOS 340531 HAS SOPS 304355 HAS SOUS 112578 HAS SOUPS 103225 WITH SCORE 103565.531
AT ITER 1308 NEW BEST:: SOT 440518 SOS 340551 HAS SOPS 304399 HAS SOUS 112542 HAS SOUPS 103195 WITH SCORE 103535.551
AT ITER 1310 NEW BEST:: SOT 440490 SOS 338858 HAS SOPS 302676 HAS SOUS 112445 HAS SOUPS 103068 WITH SCORE 103406.858
AT ITER 1340 NEW BEST:: SOT 440490 SOS 338810 HAS SOPS 302628 HAS SOUS 112445 HAS SOUPS 103068 WITH SCORE 103406.81
AT ITER 1377 NEW BEST:: SOT 440373 SOS 338779 HAS SOPS 302561 HAS SOUS 112362 HAS SOUPS 102976 WITH SCORE 103314.779
AT ITER 1382 NEW BEST:: SOT 440297 SOS 338703 HAS SOPS 302485 HAS SOUS 112268 HAS SOUPS 102882 WITH SCORE 103220.703
AT ITER 1391 NEW BEST:: SOT 440746 SOS 338614 HAS SOPS 302592 HAS SOUS 112087 HAS SOUPS 102750 WITH SCORE 103088.614
AT ITER 1452 NEW BEST:: SOT 440660 SOS 338416 HAS SOPS 302436 HAS SOUS 111769 HAS SOUPS 102442 WITH SCORE 102780.416
AT ITER 1461 NEW BEST:: SOT 440220 SOS 337976 HAS SOPS 301996 HAS SOUS 111329 HAS SOUPS 102002 WITH SCORE 102339.976
AT ITER 1464 NEW BEST:: SOT 440208 SOS 337964 HAS SOPS 301984 HAS SOUS 111305 HAS SOUPS 101978 WITH SCORE 102315.964
AT ITER 1561 NEW BEST:: SOT 440208 SOS 337964 HAS SOPS 301984 HAS SOUS 111293 HAS SOUPS 101966 WITH SCORE 102303.964
AT ITER 1588 NEW BEST:: SOT 440172 SOS 337928 HAS SOPS 301948 HAS SOUS 111215 HAS SOUPS 101888 WITH SCORE 102225.928
AT ITER 1602 NEW BEST:: SOT 440144 SOS 337900 HAS SOPS 301920 HAS SOUS 111131 HAS SOUPS 101804 WITH SCORE 102141.9
AT ITER 1606 NEW BEST:: SOT 440128 SOS 337866 HAS SOPS 301886 HAS SOUS 111130 HAS SOUPS 101803 WITH SCORE 102140.866
AT ITER 1611 NEW BEST:: SOT 440011 SOS 337839 HAS SOPS 301823 HAS SOUS 111127 HAS SOUPS 101791 WITH SCORE 102128.839
AT ITER 1626 NEW BEST:: SOT 438684 SOS 336512 HAS SOPS 300496 HAS SOUS 111080 HAS SOUPS 101744 WITH SCORE 102080.512
AT ITER 1628 NEW BEST:: SOT 438684 SOS 336512 HAS SOPS 300496 HAS SOUS 110978 HAS SOUPS 101642 WITH SCORE 101978.512
AT ITER 1660 NEW BEST:: SOT 438610 SOS 336430 HAS SOPS 300414 HAS SOUS 110849 HAS SOUPS 101513 WITH SCORE 101849.43
AT ITER 1668 NEW BEST:: SOT 438553 SOS 336379 HAS SOPS 300363 HAS SOUS 110840 HAS SOUPS 101504 WITH SCORE 101840.379
AT ITER 1683 NEW BEST:: SOT 438567 SOS 336377 HAS SOPS 300369 HAS SOUS 110830 HAS SOUPS 101496 WITH SCORE 101832.377
AT ITER 1726 NEW BEST:: SOT 438586 SOS 333585 HAS SOPS 297577 HAS SOUS 110800 HAS SOUPS 101466 WITH SCORE 101799.585
AT ITER 1775 NEW BEST:: SOT 438554 SOS 333553 HAS SOPS 297545 HAS SOUS 110788 HAS SOUPS 101454 WITH SCORE 101787.553
AT ITER 1780 NEW BEST:: SOT 438556 SOS 332785 HAS SOPS 296775 HAS SOUS 110774 HAS SOUPS 101440 WITH SCORE 101772.785
AT ITER 1807 NEW BEST:: SOT 438688 SOS 332721 HAS SOPS 296791 HAS SOUS 110738 HAS SOUPS 101424 WITH SCORE 101756.721
AT ITER 1821 NEW BEST:: SOT 438509 SOS 332508 HAS SOPS 296578 HAS SOUS 110532 HAS SOUPS 101218 WITH SCORE 101550.508
AT ITER 1848 NEW BEST:: SOT 438341 SOS 332404 HAS SOPS 296442 HAS SOUS 110388 HAS SOUPS 101066 WITH SCORE 101398.404
AT ITER 1887 NEW BEST:: SOT 439189 SOS 335212 HAS SOPS 299888 HAS SOUS 109947 HAS SOUPS 100671 WITH SCORE 101006.212
AT ITER 1893 NEW BEST:: SOT 439189 SOS 334956 HAS SOPS 299632 HAS SOUS 109943 HAS SOUPS 100667 WITH SCORE 101001.956
AT ITER 1933 NEW BEST:: SOT 439183 SOS 334950 HAS SOPS 299626 HAS SOUS 109933 HAS SOUPS 100657 WITH SCORE 100991.95
AT ITER 1948 NEW BEST:: SOT 438980 SOS 334771 HAS SOPS 299447 HAS SOUS 109784 HAS SOUPS 100508 WITH SCORE 100842.771
AT ITER 1960 NEW BEST:: SOT 438942 SOS 334727 HAS SOPS 299403 HAS SOUS 109779 HAS SOUPS 100503 WITH SCORE 100837.727
AT ITER 1975 NEW BEST:: SOT 438954 SOS 335158 HAS SOPS 300014 HAS SOUS 109262 HAS SOUPS 100031 WITH SCORE 100366.158
AT ITER 1980 NEW BEST:: SOT 439376 SOS 335210 HAS SOPS 300214 HAS SOUS 109027 HAS SOUPS 99833 WITH SCORE 100168.21
AT ITER 2005 NEW BEST:: SOT 440006 SOS 335840 HAS SOPS 300844 HAS SOUS 109017 HAS SOUPS 99823 WITH SCORE 100158.84
AT ITER 2007 NEW BEST:: SOT 441156 SOS 336990 HAS SOPS 300842 HAS SOUS 109015 HAS SOUPS 99821 WITH SCORE 100157.99
AT ITER 2054 NEW BEST:: SOT 441152 SOS 336986 HAS SOPS 300838 HAS SOUS 109011 HAS SOUPS 99817 WITH SCORE 100153.986
AT ITER 2073 NEW BEST:: SOT 441152 SOS 336666 HAS SOPS 300518 HAS SOUS 109003 HAS SOUPS 99809 WITH SCORE 100145.666
AT ITER 2122 NEW BEST:: SOT 436735 SOS 332249 HAS SOPS 299685 HAS SOUS 108106 HAS SOUPS 98976 WITH SCORE 99308.249
AT ITER 2169 NEW BEST:: SOT 436652 SOS 331980 HAS SOPS 299410 HAS SOUS 108011 HAS SOUPS 98875 WITH SCORE 99206.98
AT ITER 2207 NEW BEST:: SOT 436654 SOS 331962 HAS SOPS 299400 HAS SOUS 107971 HAS SOUPS 98837 WITH SCORE 99168.962
AT ITER 2214 NEW BEST:: SOT 436626 SOS 331934 HAS SOPS 299372 HAS SOUS 107894 HAS SOUPS 98760 WITH SCORE 99091.934
AT ITER 2248 NEW BEST:: SOT 436620 SOS 331928 HAS SOPS 299366 HAS SOUS 107888 HAS SOUPS 98754 WITH SCORE 99085.928
AT ITER 2255 NEW BEST:: SOT 436618 SOS 331906 HAS SOPS 299352 HAS SOUS 107838 HAS SOUPS 98706 WITH SCORE 99037.906
AT ITER 2276 NEW BEST:: SOT 436762 SOS 331950 HAS SOPS 299436 HAS SOUS 107753 HAS SOUPS 98631 WITH SCORE 98962.95
AT ITER 2279 NEW BEST:: SOT 436762 SOS 332486 HAS SOPS 299972 HAS SOUS 107750 HAS SOUPS 98628 WITH SCORE 98960.486
AT ITER 2280 NEW BEST:: SOT 436744 SOS 332435 HAS SOPS 299933 HAS SOUS 107648 HAS SOUPS 98529 WITH SCORE 98861.435
AT ITER 2313 NEW BEST:: SOT 436752 SOS 332393 HAS SOPS 299911 HAS SOUS 107546 HAS SOUPS 98432 WITH SCORE 98764.393
AT ITER 2321 NEW BEST:: SOT 436176 SOS 331817 HAS SOPS 299911 HAS SOUS 107546 HAS SOUPS 98432 WITH SCORE 98763.817
AT ITER 2361 NEW BEST:: SOT 436179 SOS 331790 HAS SOPS 299896 HAS SOUS 107498 HAS SOUPS 98387 WITH SCORE 98718.79
AT ITER 2408 NEW BEST:: SOT 435883 SOS 331494 HAS SOPS 299664 HAS SOUS 107202 HAS SOUPS 98155 WITH SCORE 98486.494
AT ITER 2429 NEW BEST:: SOT 435908 SOS 331439 HAS SOPS 299641 HAS SOUS 107059 HAS SOUPS 98020 WITH SCORE 98351.439
AT ITER 2453 NEW BEST:: SOT 435908 SOS 331375 HAS SOPS 299577 HAS SOUS 107058 HAS SOUPS 98019 WITH SCORE 98350.375
AT ITER 2463 NEW BEST:: SOT 436069 SOS 331356 HAS SOPS 299646 HAS SOUS 107027 HAS SOUPS 98010 WITH SCORE 98341.356
AT ITER 2477 NEW BEST:: SOT 435950 SOS 331197 HAS SOPS 299487 HAS SOUS 106720 HAS SOUPS 97703 WITH SCORE 98034.197
AT ITER 2614 NEW BEST:: SOT 436322 SOS 331429 HAS SOPS 299787 HAS SOUS 106672 HAS SOUPS 97672 WITH SCORE 98003.429
AT ITER 2620 NEW BEST:: SOT 436380 SOS 331424 HAS SOPS 299807 HAS SOUS 106542 HAS SOUPS 97547 WITH SCORE 97878.424
AT ITER 2671 NEW BEST:: SOT 436376 SOS 331420 HAS SOPS 299803 HAS SOUS 106529 HAS SOUPS 97534 WITH SCORE 97865.42
AT ITER 2688 NEW BEST:: SOT 435992 SOS 331036 HAS SOPS 299803 HAS SOUS 106529 HAS SOUPS 97534 WITH SCORE 97865.036
AT ITER 2689 NEW BEST:: SOT 436171 SOS 331120 HAS SOPS 299951 HAS SOUS 106460 HAS SOUPS 97465 WITH SCORE 97796.12
AT ITER 2733 NEW BEST:: SOT 436270 SOS 331109 HAS SOPS 299984 HAS SOUS 106361 HAS SOUPS 97377 WITH SCORE 97708.109
AT ITER 2745 NEW BEST:: SOT 436263 SOS 331102 HAS SOPS 299977 HAS SOUS 106360 HAS SOUPS 97376 WITH SCORE 97707.102
AT ITER 2766 NEW BEST:: SOT 436266 SOS 331067 HAS SOPS 299942 HAS SOUS 105921 HAS SOUPS 96937 WITH SCORE 97268.067
AT ITER 2780 NEW BEST:: SOT 437339 SOS 331780 HAS SOPS 300875 HAS SOUS 105674 HAS SOUPS 96744 WITH SCORE 97075.78
AT ITER 2799 NEW BEST:: SOT 440507 SOS 334948 HAS SOPS 300843 HAS SOUS 105642 HAS SOUPS 96712 WITH SCORE 97046.948
AT ITER 2834 NEW BEST:: SOT 440474 SOS 334715 HAS SOPS 300698 HAS SOUS 105139 HAS SOUPS 96231 WITH SCORE 96565.715
AT ITER 2848 NEW BEST:: SOT 440025 SOS 334284 HAS SOPS 300267 HAS SOUS 105134 HAS SOUPS 96226 WITH SCORE 96560.284
AT ITER 2890 NEW BEST:: SOT 440075 SOS 334226 HAS SOPS 300249 HAS SOUS 104908 HAS SOUPS 96010 WITH SCORE 96344.226
AT ITER 2911 NEW BEST:: SOT 440075 SOS 332882 HAS SOPS 298905 HAS SOUS 104887 HAS SOUPS 95989 WITH SCORE 96321.882
AT ITER 2929 NEW BEST:: SOT 439933 SOS 332740 HAS SOPS 298763 HAS SOUS 104673 HAS SOUPS 95775 WITH SCORE 96107.74
AT ITER 2944 NEW BEST:: SOT 439800 SOS 332589 HAS SOPS 298612 HAS SOUS 104520 HAS SOUPS 95622 WITH SCORE 95954.589
AT ITER 2982 NEW BEST:: SOT 439563 SOS 332432 HAS SOPS 298403 HAS SOUS 104366 HAS SOUPS 95455 WITH SCORE 95787.432
AT ITER 3024 NEW BEST:: SOT 439555 SOS 332424 HAS SOPS 298395 HAS SOUS 104358 HAS SOUPS 95447 WITH SCORE 95779.424
AT ITER 3061 NEW BEST:: SOT 439680 SOS 332459 HAS SOPS 298475 HAS SOUS 104168 HAS SOUPS 95266 WITH SCORE 95598.459
AT ITER 3074 NEW BEST:: SOT 439675 SOS 332452 HAS SOPS 298468 HAS SOUS 104153 HAS SOUPS 95251 WITH SCORE 95583.452
AT ITER 3108 NEW BEST:: SOT 439678 SOS 332359 HAS SOPS 298375 HAS SOUS 104153 HAS SOUPS 95251 WITH SCORE 95583.359
AT ITER 3121 NEW BEST:: SOT 439614 SOS 332295 HAS SOPS 298311 HAS SOUS 104089 HAS SOUPS 95187 WITH SCORE 95519.295
AT ITER 3154 NEW BEST:: SOT 439238 SOS 332119 HAS SOPS 298055 HAS SOUS 104085 HAS SOUPS 95163 WITH SCORE 95495.119
AT ITER 3188 NEW BEST:: SOT 439228 SOS 332105 HAS SOPS 298041 HAS SOUS 104064 HAS SOUPS 95142 WITH SCORE 95474.105
AT ITER 3198 NEW BEST:: SOT 439223 SOS 332102 HAS SOPS 298038 HAS SOUS 104063 HAS SOUPS 95141 WITH SCORE 95473.102
AT ITER 3207 NEW BEST:: SOT 438489 SOS 331368 HAS SOPS 297304 HAS SOUS 103329 HAS SOUPS 94407 WITH SCORE 94738.368
AT ITER 3211 NEW BEST:: SOT 438354 SOS 331203 HAS SOPS 297139 HAS SOUS 103266 HAS SOUPS 94344 WITH SCORE 94675.203
AT ITER 3240 NEW BEST:: SOT 438354 SOS 331051 HAS SOPS 296987 HAS SOUS 103265 HAS SOUPS 94343 WITH SCORE 94674.051
AT ITER 3242 NEW BEST:: SOT 438471 SOS 331078 HAS SOPS 297050 HAS SOUS 103229 HAS SOUPS 94316 WITH SCORE 94647.078
AT ITER 3250 NEW BEST:: SOT 438523 SOS 331062 HAS SOPS 297066 HAS SOUS 103179 HAS SOUPS 94274 WITH SCORE 94605.062
AT ITER 3264 NEW BEST:: SOT 438527 SOS 331066 HAS SOPS 297070 HAS SOUS 103067 HAS SOUPS 94162 WITH SCORE 94493.066
AT ITER 3286 NEW BEST:: SOT 438143 SOS 330682 HAS SOPS 297070 HAS SOUS 103067 HAS SOUPS 94162 WITH SCORE 94492.682
AT ITER 3295 NEW BEST:: SOT 438184 SOS 330611 HAS SOPS 297055 HAS SOUS 102897 HAS SOUPS 94006 WITH SCORE 94336.611
AT ITER 3300 NEW BEST:: SOT 438214 SOS 330623 HAS SOPS 297077 HAS SOUS 102889 HAS SOUPS 94000 WITH SCORE 94330.623
AT ITER 3352 NEW BEST:: SOT 438214 SOS 330191 HAS SOPS 296645 HAS SOUS 102886 HAS SOUPS 93997 WITH SCORE 94327.191
AT ITER 3366 NEW BEST:: SOT 437672 SOS 329893 HAS SOPS 296219 HAS SOUS 102878 HAS SOUPS 93957 WITH SCORE 94286.893
AT ITER 3388 NEW BEST:: SOT 437654 SOS 329871 HAS SOPS 296197 HAS SOUS 102840 HAS SOUPS 93919 WITH SCORE 94248.871
AT ITER 3400 NEW BEST:: SOT 437674 SOS 329849 HAS SOPS 296197 HAS SOUS 102822 HAS SOUPS 93906 WITH SCORE 94235.849
AT ITER 3436 NEW BEST:: SOT 437469 SOS 329671 HAS SOPS 296019 HAS SOUS 102710 HAS SOUPS 93794 WITH SCORE 94123.671
AT ITER 3477 NEW BEST:: SOT 438205 SOS 329865 HAS SOPS 296481 HAS SOUS 101953 HAS SOUPS 93104 WITH SCORE 93433.865
AT ITER 3546 NEW BEST:: SOT 437643 SOS 329303 HAS SOPS 295919 HAS SOUS 101391 HAS SOUPS 92542 WITH SCORE 92871.303
AT ITER 3612 NEW BEST:: SOT 437474 SOS 329102 HAS SOPS 295718 HAS SOUS 101302 HAS SOUPS 92453 WITH SCORE 92782.102
AT ITER 3618 NEW BEST:: SOT 437410 SOS 329038 HAS SOPS 295718 HAS SOUS 101302 HAS SOUPS 92453 WITH SCORE 92782.038
AT ITER 3637 NEW BEST:: SOT 434466 SOS 326094 HAS SOPS 295718 HAS SOUS 101302 HAS SOUPS 92453 WITH SCORE 92779.094
AT ITER 3664 NEW BEST:: SOT 434446 SOS 326074 HAS SOPS 295698 HAS SOUS 101270 HAS SOUPS 92421 WITH SCORE 92747.074
AT ITER 3689 NEW BEST:: SOT 434446 SOS 325978 HAS SOPS 295602 HAS SOUS 101267 HAS SOUPS 92418 WITH SCORE 92743.978
AT ITER 3758 NEW BEST:: SOT 434333 SOS 325879 HAS SOPS 295503 HAS SOUS 100947 HAS SOUPS 92098 WITH SCORE 92423.879
AT ITER 3822 NEW BEST:: SOT 434629 SOS 328176 HAS SOPS 298021 HAS SOUS 100670 HAS SOUPS 91847 WITH SCORE 92175.176
AT ITER 3915 NEW BEST:: SOT 434545 SOS 328092 HAS SOPS 297937 HAS SOUS 100658 HAS SOUPS 91835 WITH SCORE 92163.092
AT ITER 3926 NEW BEST:: SOT 434549 SOS 327817 HAS SOPS 297659 HAS SOUS 100646 HAS SOUPS 91823 WITH SCORE 92150.817
AT ITER 3939 NEW BEST:: SOT 434486 SOS 327730 HAS SOPS 297572 HAS SOUS 100517 HAS SOUPS 91694 WITH SCORE 92021.73
AT ITER 3955 NEW BEST:: SOT 435098 SOS 327970 HAS SOPS 297980 HAS SOUS 100409 HAS SOUPS 91628 WITH SCORE 91955.97
AT ITER 3976 NEW BEST:: SOT 430058 SOS 322930 HAS SOPS 294732 HAS SOUS 98441 HAS SOUPS 89660 WITH SCORE 89982.93
AT ITER 4010 NEW BEST:: SOT 430058 SOS 322930 HAS SOPS 294732 HAS SOUS 98439 HAS SOUPS 89658 WITH SCORE 89980.93
AT ITER 4021 NEW BEST:: SOT 427291 SOS 320163 HAS SOPS 291965 HAS SOUS 97720 HAS SOUPS 88939 WITH SCORE 89259.163
AT ITER 4052 NEW BEST:: SOT 427252 SOS 320124 HAS SOPS 291926 HAS SOUS 97709 HAS SOUPS 88928 WITH SCORE 89248.124
AT ITER 4064 NEW BEST:: SOT 427266 SOS 320119 HAS SOPS 291921 HAS SOUS 97503 HAS SOUPS 88722 WITH SCORE 89042.119
AT ITER 4092 NEW BEST:: SOT 427308 SOS 320105 HAS SOPS 291935 HAS SOUS 97454 HAS SOUPS 88680 WITH SCORE 89000.105
AT ITER 4131 NEW BEST:: SOT 427580 SOS 319983 HAS SOPS 291973 HAS SOUS 97208 HAS SOUPS 88474 WITH SCORE 88793.983
AT ITER 4178 NEW BEST:: SOT 427706 SOS 320047 HAS SOPS 292078 HAS SOUS 97102 HAS SOUPS 88378 WITH SCORE 88698.047
AT ITER 4184 NEW BEST:: SOT 425870 SOS 318211 HAS SOPS 290242 HAS SOUS 95778 HAS SOUPS 87054 WITH SCORE 87372.211
AT ITER 4201 NEW BEST:: SOT 425863 SOS 318636 HAS SOPS 290667 HAS SOUS 95774 HAS SOUPS 87050 WITH SCORE 87368.636
AT ITER 4389 NEW BEST:: SOT 425857 SOS 318630 HAS SOPS 290661 HAS SOUS 95768 HAS SOUPS 87044 WITH SCORE 87362.63
AT ITER 4443 NEW BEST:: SOT 425857 SOS 318502 HAS SOPS 290533 HAS SOUS 95767 HAS SOUPS 87043 WITH SCORE 87361.502
AT ITER 4469 NEW BEST:: SOT 425871 SOS 318331 HAS SOPS 290430 HAS SOUS 95349 HAS SOUPS 86642 WITH SCORE 86960.331
AT ITER 4478 NEW BEST:: SOT 425862 SOS 318332 HAS SOPS 290431 HAS SOUS 95338 HAS SOUPS 86631 WITH SCORE 86949.332
AT ITER 4481 NEW BEST:: SOT 425447 SOS 318249 HAS SOPS 290212 HAS SOUS 95287 HAS SOUPS 86546 WITH SCORE 86864.249
AT ITER 4516 NEW BEST:: SOT 423542 SOS 316344 HAS SOPS 288307 HAS SOUS 93382 HAS SOUPS 84641 WITH SCORE 84957.344
AT ITER 4662 NEW BEST:: SOT 423744 SOS 316418 HAS SOPS 288445 HAS SOUS 93116 HAS SOUPS 84391 WITH SCORE 84707.418
AT ITER 4665 NEW BEST:: SOT 423744 SOS 316386 HAS SOPS 288413 HAS SOUS 93112 HAS SOUPS 84387 WITH SCORE 84703.386
AT ITER 4706 NEW BEST:: SOT 421184 SOS 313864 HAS SOPS 288667 HAS SOUS 93100 HAS SOUPS 84375 WITH SCORE 84688.864
AT ITER 4754 NEW BEST:: SOT 421562 SOS 314242 HAS SOPS 289045 HAS SOUS 93094 HAS SOUPS 84369 WITH SCORE 84683.242
AT ITER 4774 NEW BEST:: SOT 421803 SOS 314341 HAS SOPS 289220 HAS SOUS 92857 HAS SOUPS 84151 WITH SCORE 84465.341
AT ITER 4789 NEW BEST:: SOT 421803 SOS 314661 HAS SOPS 289540 HAS SOUS 92856 HAS SOUPS 84150 WITH SCORE 84464.661
AT ITER 4797 NEW BEST:: SOT 421136 SOS 314262 HAS SOPS 289009 HAS SOUS 92827 HAS SOUPS 84088 WITH SCORE 84402.262
AT ITER 4799 NEW BEST:: SOT 421137 SOS 313751 HAS SOPS 288498 HAS SOUS 92820 HAS SOUPS 84081 WITH SCORE 84394.751
AT ITER 4826 NEW BEST:: SOT 421007 SOS 313661 HAS SOPS 288388 HAS SOUS 92782 HAS SOUPS 84038 WITH SCORE 84351.661
AT ITER 4854 NEW BEST:: SOT 420983 SOS 313741 HAS SOPS 288474 HAS SOUS 92477 HAS SOUPS 83739 WITH SCORE 84052.741
AT ITER 4927 NEW BEST:: SOT 421079 SOS 313797 HAS SOPS 288530 HAS SOUS 92426 HAS SOUPS 83688 WITH SCORE 84001.797
AT ITER 5027 NEW BEST:: SOT 421025 SOS 313723 HAS SOPS 288456 HAS SOUS 92262 HAS SOUPS 83524 WITH SCORE 83837.723
AT ITER 5087 NEW BEST:: SOT 421145 SOS 313697 HAS SOPS 288484 HAS SOUS 91829 HAS SOUPS 83104 WITH SCORE 83417.697
AT ITER 5114 NEW BEST:: SOT 421145 SOS 313633 HAS SOPS 288420 HAS SOUS 91828 HAS SOUPS 83103 WITH SCORE 83416.633
AT ITER 5119 NEW BEST:: SOT 421159 SOS 313647 HAS SOPS 288434 HAS SOUS 91812 HAS SOUPS 83087 WITH SCORE 83400.647
AT ITER 5131 NEW BEST:: SOT 421210 SOS 313610 HAS SOPS 288441 HAS SOUS 91610 HAS SOUPS 82896 WITH SCORE 83209.61
AT ITER 5155 NEW BEST:: SOT 421226 SOS 313590 HAS SOPS 288437 HAS SOUS 91578 HAS SOUPS 82868 WITH SCORE 83181.59
AT ITER 5167 NEW BEST:: SOT 421214 SOS 313578 HAS SOPS 288425 HAS SOUS 91569 HAS SOUPS 82859 WITH SCORE 83172.578
AT ITER 5206 NEW BEST:: SOT 421152 SOS 313537 HAS SOPS 288375 HAS SOUS 91556 HAS SOUPS 82843 WITH SCORE 83156.537
AT ITER 5218 NEW BEST:: SOT 421143 SOS 313542 HAS SOPS 288380 HAS SOUS 91509 HAS SOUPS 82796 WITH SCORE 83109.542
AT ITER 5255 NEW BEST:: SOT 421147 SOS 313514 HAS SOPS 288368 HAS SOUS 91461 HAS SOUPS 82752 WITH SCORE 83065.514
AT ITER 5307 NEW BEST:: SOT 421140 SOS 313507 HAS SOPS 288361 HAS SOUS 91460 HAS SOUPS 82751 WITH SCORE 83064.507
AT ITER 5327 NEW BEST:: SOT 421069 SOS 313403 HAS SOPS 288257 HAS SOUS 91360 HAS SOUPS 82651 WITH SCORE 82964.403
AT ITER 5385 NEW BEST:: SOT 420988 SOS 313317 HAS SOPS 288169 HAS SOUS 91328 HAS SOUPS 82617 WITH SCORE 82930.317
AT ITER 5390 NEW BEST:: SOT 420988 SOS 313293 HAS SOPS 288145 HAS SOUS 91328 HAS SOUPS 82617 WITH SCORE 82930.293
AT ITER 5428 NEW BEST:: SOT 421109 SOS 313292 HAS SOPS 288196 HAS SOUS 91075 HAS SOUPS 82377 WITH SCORE 82690.292
AT ITER 5446 NEW BEST:: SOT 421073 SOS 313252 HAS SOPS 288156 HAS SOUS 91004 HAS SOUPS 82306 WITH SCORE 82619.252
AT ITER 5459 NEW BEST:: SOT 421282 SOS 313304 HAS SOPS 288276 HAS SOUS 90895 HAS SOUPS 82214 WITH SCORE 82527.304
AT ITER 5502 NEW BEST:: SOT 421097 SOS 313157 HAS SOPS 288101 HAS SOUS 90783 HAS SOUPS 82095 WITH SCORE 82408.157
AT ITER 5521 NEW BEST:: SOT 421086 SOS 313143 HAS SOPS 288087 HAS SOUS 90762 HAS SOUPS 82074 WITH SCORE 82387.143
AT ITER 5591 NEW BEST:: SOT 421070 SOS 313132 HAS SOPS 288072 HAS SOUS 90745 HAS SOUPS 82056 WITH SCORE 82369.132
AT ITER 5635 NEW BEST:: SOT 421149 SOS 313173 HAS SOPS 288133 HAS SOUS 90719 HAS SOUPS 82035 WITH SCORE 82348.173
AT ITER 5663 NEW BEST:: SOT 421168 SOS 313216 HAS SOPS 288178 HAS SOUS 90694 HAS SOUPS 82012 WITH SCORE 82325.216
AT ITER 5700 NEW BEST:: SOT 421222 SOS 313230 HAS SOPS 288212 HAS SOUS 90676 HAS SOUPS 81999 WITH SCORE 82312.23
AT ITER 5708 NEW BEST:: SOT 421214 SOS 313222 HAS SOPS 288204 HAS SOUS 90652 HAS SOUPS 81975 WITH SCORE 82288.222
AT ITER 5838 NEW BEST:: SOT 421214 SOS 313158 HAS SOPS 288140 HAS SOUS 90651 HAS SOUPS 81974 WITH SCORE 82287.158
AT ITER 5849 NEW BEST:: SOT 421271 SOS 313144 HAS SOPS 288166 HAS SOUS 90575 HAS SOUPS 81908 WITH SCORE 82221.144
AT ITER 5889 NEW BEST:: SOT 421452 SOS 313195 HAS SOPS 288277 HAS SOUS 90496 HAS SOUPS 81844 WITH SCORE 82157.195
AT ITER 5895 NEW BEST:: SOT 421416 SOS 313159 HAS SOPS 288241 HAS SOUS 90412 HAS SOUPS 81760 WITH SCORE 82073.159
AT ITER 5993 NEW BEST:: SOT 421579 SOS 313224 HAS SOPS 288354 HAS SOUS 90350 HAS SOUPS 81710 WITH SCORE 82023.224
AT ITER 6039 NEW BEST:: SOT 421579 SOS 313224 HAS SOPS 288354 HAS SOUS 90200 HAS SOUPS 81560 WITH SCORE 81873.224
AT ITER 6051 NEW BEST:: SOT 421547 SOS 313180 HAS SOPS 288310 HAS SOUS 90072 HAS SOUPS 81432 WITH SCORE 81745.18
AT ITER 6063 NEW BEST:: SOT 421547 SOS 312604 HAS SOPS 287734 HAS SOUS 90063 HAS SOUPS 81423 WITH SCORE 81735.604
AT ITER 6138 NEW BEST:: SOT 421547 SOS 312317 HAS SOPS 287447 HAS SOUS 90059 HAS SOUPS 81419 WITH SCORE 81731.317
AT ITER 6230 NEW BEST:: SOT 421372 SOS 311683 HAS SOPS 286793 HAS SOUS 89967 HAS SOUPS 81307 WITH SCORE 81618.683
AT ITER 6240 NEW BEST:: SOT 421237 SOS 311626 HAS SOPS 286700 HAS SOUS 89952 HAS SOUPS 81283 WITH SCORE 81594.626
AT ITER 6258 NEW BEST:: SOT 421485 SOS 311614 HAS SOPS 286792 HAS SOUS 89624 HAS SOUPS 80981 WITH SCORE 81292.614
AT ITER 6280 NEW BEST:: SOT 421485 SOS 310462 HAS SOPS 285640 HAS SOUS 89623 HAS SOUPS 80980 WITH SCORE 81290.462
AT ITER 6316 NEW BEST:: SOT 421630 SOS 310489 HAS SOPS 285727 HAS SOUS 89433 HAS SOUPS 80805 WITH SCORE 81115.489
AT ITER 6449 NEW BEST:: SOT 421632 SOS 310411 HAS SOPS 285649 HAS SOUS 89430 HAS SOUPS 80802 WITH SCORE 81112.411
AT ITER 6497 NEW BEST:: SOT 421677 SOS 310432 HAS SOPS 285682 HAS SOUS 89394 HAS SOUPS 80769 WITH SCORE 81079.432
AT ITER 6551 NEW BEST:: SOT 421656 SOS 310411 HAS SOPS 285661 HAS SOUS 89331 HAS SOUPS 80706 WITH SCORE 81016.411
AT ITER 6636 NEW BEST:: SOT 421771 SOS 310440 HAS SOPS 285730 HAS SOUS 89300 HAS SOUPS 80685 WITH SCORE 80995.44
AT ITER 6653 NEW BEST:: SOT 421723 SOS 310408 HAS SOPS 285690 HAS SOUS 89286 HAS SOUPS 80669 WITH SCORE 80979.408
AT ITER 6719 NEW BEST:: SOT 420497 SOS 309182 HAS SOPS 284656 HAS SOUS 88764 HAS SOUPS 80147 WITH SCORE 80456.182
AT ITER 6767 NEW BEST:: SOT 420090 SOS 308775 HAS SOPS 284249 HAS SOUS 88718 HAS SOUPS 80101 WITH SCORE 80409.775
AT ITER 6768 NEW BEST:: SOT 420207 SOS 308882 HAS SOPS 284356 HAS SOUS 88587 HAS SOUPS 79970 WITH SCORE 80278.882
AT ITER 6847 NEW BEST:: SOT 420080 SOS 309499 HAS SOPS 284973 HAS SOUS 88300 HAS SOUPS 79683 WITH SCORE 79992.499
AT ITER 6908 NEW BEST:: SOT 419930 SOS 309341 HAS SOPS 284815 HAS SOUS 88182 HAS SOUPS 79565 WITH SCORE 79874.341
AT ITER 6915 NEW BEST:: SOT 419930 SOS 309725 HAS SOPS 285199 HAS SOUS 88181 HAS SOUPS 79564 WITH SCORE 79873.725
AT ITER 6949 NEW BEST:: SOT 419896 SOS 309679 HAS SOPS 285153 HAS SOUS 88155 HAS SOUPS 79538 WITH SCORE 79847.679
AT ITER 6971 NEW BEST:: SOT 419340 SOS 309123 HAS SOPS 284597 HAS SOUS 87617 HAS SOUPS 79000 WITH SCORE 79309.123
AT ITER 7067 NEW BEST:: SOT 419328 SOS 309111 HAS SOPS 284585 HAS SOUS 87584 HAS SOUPS 78967 WITH SCORE 79276.111
AT ITER 7101 NEW BEST:: SOT 419328 SOS 307991 HAS SOPS 283465 HAS SOUS 87568 HAS SOUPS 78951 WITH SCORE 79258.991
AT ITER 7115 NEW BEST:: SOT 419274 SOS 307929 HAS SOPS 283403 HAS SOUS 87474 HAS SOUPS 78857 WITH SCORE 79164.929
AT ITER 7137 NEW BEST:: SOT 419274 SOS 307641 HAS SOPS 283115 HAS SOUS 87474 HAS SOUPS 78857 WITH SCORE 79164.641
AT ITER 7149 NEW BEST:: SOT 419000 SOS 307367 HAS SOPS 282841 HAS SOUS 87332 HAS SOUPS 78715 WITH SCORE 79022.367
AT ITER 7214 NEW BEST:: SOT 419018 SOS 307423 HAS SOPS 282901 HAS SOUS 87326 HAS SOUPS 78710 WITH SCORE 79017.423
AT ITER 7230 NEW BEST:: SOT 418814 SOS 307219 HAS SOPS 282697 HAS SOUS 87224 HAS SOUPS 78608 WITH SCORE 78915.219
AT ITER 7232 NEW BEST:: SOT 419003 SOS 307402 HAS SOPS 282880 HAS SOUS 87005 HAS SOUPS 78389 WITH SCORE 78696.402
AT ITER 7298 NEW BEST:: SOT 419414 SOS 307556 HAS SOPS 283150 HAS SOUS 86490 HAS SOUPS 77903 WITH SCORE 78210.556
AT ITER 7492 NEW BEST:: SOT 419414 SOS 307533 HAS SOPS 283127 HAS SOUS 86413 HAS SOUPS 77826 WITH SCORE 78133.533
AT ITER 7508 NEW BEST:: SOT 418976 SOS 307095 HAS SOPS 282753 HAS SOUS 86039 HAS SOUPS 77452 WITH SCORE 77759.095
AT ITER 7540 NEW BEST:: SOT 419075 SOS 307104 HAS SOPS 282798 HAS SOUS 85913 HAS SOUPS 77335 WITH SCORE 77642.104
AT ITER 7600 NEW BEST:: SOT 419053 SOS 307082 HAS SOPS 282776 HAS SOUS 85887 HAS SOUPS 77309 WITH SCORE 77616.082
AT ITER 7612 NEW BEST:: SOT 418999 SOS 307052 HAS SOPS 282734 HAS SOUS 85848 HAS SOUPS 77267 WITH SCORE 77574.052
AT ITER 7624 NEW BEST:: SOT 418980 SOS 307037 HAS SOPS 282715 HAS SOUS 85848 HAS SOUPS 77266 WITH SCORE 77573.037
AT ITER 7681 NEW BEST:: SOT 418979 SOS 306848 HAS SOPS 282525 HAS SOUS 85842 HAS SOUPS 77260 WITH SCORE 77566.848
AT ITER 7686 NEW BEST:: SOT 419063 SOS 306884 HAS SOPS 282585 HAS SOUS 85818 HAS SOUPS 77242 WITH SCORE 77548.884
AT ITER 7719 NEW BEST:: SOT 419145 SOS 306984 HAS SOPS 282435 HAS SOUS 85768 HAS SOUPS 77188 WITH SCORE 77494.984
AT ITER 7920 NEW BEST:: SOT 419145 SOS 305904 HAS SOPS 281355 HAS SOUS 85753 HAS SOUPS 77173 WITH SCORE 77478.904
AT ITER 8084 NEW BEST:: SOT 419092 SOS 305851 HAS SOPS 281302 HAS SOUS 85700 HAS SOUPS 77120 WITH SCORE 77425.851
AT ITER 8312 NEW BEST:: SOT 419094 SOS 305968 HAS SOPS 281421 HAS SOUS 85686 HAS SOUPS 77107 WITH SCORE 77412.968
AT ITER 8382 NEW BEST:: SOT 418928 SOS 305754 HAS SOPS 281207 HAS SOUS 85675 HAS SOUPS 77096 WITH SCORE 77401.754
AT ITER 8474 NEW BEST:: SOT 418931 SOS 305736 HAS SOPS 281189 HAS SOUS 85647 HAS SOUPS 77068 WITH SCORE 77373.736
AT ITER 8499 NEW BEST:: SOT 418891 SOS 305696 HAS SOPS 281149 HAS SOUS 85577 HAS SOUPS 76998 WITH SCORE 77303.696
AT ITER 8534 NEW BEST:: SOT 419030 SOS 305628 HAS SOPS 281160 HAS SOUS 85456 HAS SOUPS 76899 WITH SCORE 77204.628
AT ITER 8626 NEW BEST:: SOT 419000 SOS 305598 HAS SOPS 281130 HAS SOUS 85423 HAS SOUPS 76866 WITH SCORE 77171.598
AT ITER 8629 NEW BEST:: SOT 418763 SOS 305475 HAS SOPS 280947 HAS SOUS 85426 HAS SOUPS 76854 WITH SCORE 77159.475
AT ITER 8670 NEW BEST:: SOT 418727 SOS 305439 HAS SOPS 280911 HAS SOUS 85408 HAS SOUPS 76836 WITH SCORE 77141.439
AT ITER 8718 NEW BEST:: SOT 418685 SOS 305389 HAS SOPS 280861 HAS SOUS 85348 HAS SOUPS 76776 WITH SCORE 77081.389
AT ITER 8727 NEW BEST:: SOT 418737 SOS 305437 HAS SOPS 280909 HAS SOUS 85338 HAS SOUPS 76766 WITH SCORE 77071.437
AT ITER 8815 NEW BEST:: SOT 418707 SOS 305411 HAS SOPS 280883 HAS SOUS 85312 HAS SOUPS 76740 WITH SCORE 77045.411
AT ITER 8963 NEW BEST:: SOT 418269 SOS 304973 HAS SOPS 280445 HAS SOUS 84906 HAS SOUPS 76334 WITH SCORE 76638.973
AT ITER 9006 NEW BEST:: SOT 418269 SOS 304967 HAS SOPS 280439 HAS SOUS 84858 HAS SOUPS 76286 WITH SCORE 76590.967
AT ITER 9021 NEW BEST:: SOT 418270 SOS 304966 HAS SOPS 280438 HAS SOUS 84847 HAS SOUPS 76275 WITH SCORE 76579.966
AT ITER 9133 NEW BEST:: SOT 417716 SOS 304412 HAS SOPS 279884 HAS SOUS 84805 HAS SOUPS 76233 WITH SCORE 76537.412
AT ITER 9164 NEW BEST:: SOT 417716 SOS 303836 HAS SOPS 279308 HAS SOUS 84796 HAS SOUPS 76224 WITH SCORE 76527.836
AT ITER 9232 NEW BEST:: SOT 417573 SOS 303693 HAS SOPS 279165 HAS SOUS 84719 HAS SOUPS 76147 WITH SCORE 76450.693
AT ITER 9401 NEW BEST:: SOT 417561 SOS 303681 HAS SOPS 279153 HAS SOUS 84702 HAS SOUPS 76130 WITH SCORE 76433.681
AT ITER 9414 NEW BEST:: SOT 417541 SOS 303657 HAS SOPS 279129 HAS SOUS 84682 HAS SOUPS 76110 WITH SCORE 76413.657
AT ITER 9423 NEW BEST:: SOT 417550 SOS 303661 HAS SOPS 279136 HAS SOUS 84672 HAS SOUPS 76100 WITH SCORE 76403.661
AT ITER 9445 NEW BEST:: SOT 417505 SOS 303606 HAS SOPS 279081 HAS SOUS 84588 HAS SOUPS 76016 WITH SCORE 76319.606
AT ITER 9460 NEW BEST:: SOT 417505 SOS 303542 HAS SOPS 279017 HAS SOUS 84587 HAS SOUPS 76015 WITH SCORE 76318.542
AT ITER 9602 NEW BEST:: SOT 417524 SOS 303513 HAS SOPS 279008 HAS SOUS 84483 HAS SOUPS 75916 WITH SCORE 76219.513
AT ITER 9760 NEW BEST:: SOT 417431 SOS 303455 HAS SOPS 278930 HAS SOUS 84467 HAS SOUPS 75895 WITH SCORE 76198.455
AT ITER 9761 NEW BEST:: SOT 417364 SOS 303384 HAS SOPS 278859 HAS SOUS 84464 HAS SOUPS 75892 WITH SCORE 76195.384
AT ITER 9764 NEW BEST:: SOT 417416 SOS 303390 HAS SOPS 278883 HAS SOUS 84413 HAS SOUPS 75846 WITH SCORE 76149.39
AT ITER 9774 NEW BEST:: SOT 417713 SOS 303729 HAS SOPS 279222 HAS SOUS 84386 HAS SOUPS 75819 WITH SCORE 76122.729
AT ITER 9793 NEW BEST:: SOT 417393 SOS 303537 HAS SOPS 278966 HAS SOUS 84370 HAS SOUPS 75787 WITH SCORE 76090.537
AT ITER 9915 NEW BEST:: SOT 417308 SOS 303452 HAS SOPS 278881 HAS SOUS 84285 HAS SOUPS 75702 WITH SCORE 76005.452
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 3137112 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16122112 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DoubleLock-PT-p3s3"
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 DoubleLock-PT-p3s3, 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 r139-smll-167819423500568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p3s3.tgz
mv DoubleLock-PT-p3s3 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 ;