About the Execution of smart for NeighborGrid-PT-d4n3m2c23
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.090 | 641679.00 | 641020.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250200203.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NeighborGrid-PT-d4n3m2c23, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250200203
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 469K Apr 27 15:14 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-00
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-01
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-02
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-03
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-04
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-05
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-06
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-07
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-08
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-09
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-10
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-11
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-12
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-13
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-14
FORMULA_NAME NeighborGrid-PT-d4n3m2c23-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589638061567
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d4n3m2c23
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 81 places, 1632 transitions, 3264 arcs.
AT ITER 0 NEW BEST:: SOT 82300 SOS 42236 HAS SOPS 42236 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7270.236
AT ITER 8 NEW BEST:: SOT 82310 SOS 42112 HAS SOPS 42112 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7270.112
AT ITER 14 NEW BEST:: SOT 82316 SOS 41980 HAS SOPS 41980 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7269.98
AT ITER 21 NEW BEST:: SOT 82112 SOS 41842 HAS SOPS 41842 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7233.842
AT ITER 24 NEW BEST:: SOT 81800 SOS 41608 HAS SOPS 41608 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7203.608
AT ITER 31 NEW BEST:: SOT 81790 SOS 41588 HAS SOPS 41588 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7203.588
AT ITER 32 NEW BEST:: SOT 81838 SOS 41306 HAS SOPS 41306 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7203.306
AT ITER 36 NEW BEST:: SOT 81912 SOS 41256 HAS SOPS 41256 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7203.256
AT ITER 37 NEW BEST:: SOT 81920 SOS 41220 HAS SOPS 41220 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7203.22
AT ITER 40 NEW BEST:: SOT 81846 SOS 41162 HAS SOPS 41162 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7177.162
AT ITER 44 NEW BEST:: SOT 81866 SOS 41154 HAS SOPS 41154 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7177.154
AT ITER 48 NEW BEST:: SOT 81914 SOS 40980 HAS SOPS 40980 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7176.98
AT ITER 54 NEW BEST:: SOT 81912 SOS 40976 HAS SOPS 40976 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7176.976
AT ITER 58 NEW BEST:: SOT 81994 SOS 40880 HAS SOPS 40880 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7176.88
AT ITER 59 NEW BEST:: SOT 82102 SOS 40790 HAS SOPS 40790 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7176.79
AT ITER 61 NEW BEST:: SOT 81960 SOS 40674 HAS SOPS 40674 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7146.674
AT ITER 62 NEW BEST:: SOT 81824 SOS 41050 HAS SOPS 41050 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7139.05
AT ITER 63 NEW BEST:: SOT 81816 SOS 41034 HAS SOPS 41034 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7135.034
AT ITER 64 NEW BEST:: SOT 80980 SOS 41738 HAS SOPS 41738 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7039.738
AT ITER 74 NEW BEST:: SOT 81052 SOS 41558 HAS SOPS 41558 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7039.558
AT ITER 79 NEW BEST:: SOT 81064 SOS 41546 HAS SOPS 41546 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7039.546
AT ITER 82 NEW BEST:: SOT 81056 SOS 41530 HAS SOPS 41530 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7039.53
AT ITER 87 NEW BEST:: SOT 81050 SOS 41518 HAS SOPS 41518 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7039.518
AT ITER 89 NEW BEST:: SOT 81044 SOS 41452 HAS SOPS 41452 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7033.452
AT ITER 94 NEW BEST:: SOT 81034 SOS 41360 HAS SOPS 41360 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7033.36
AT ITER 97 NEW BEST:: SOT 80810 SOS 41192 HAS SOPS 41192 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6989.192
AT ITER 99 NEW BEST:: SOT 80690 SOS 41258 HAS SOPS 41258 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6975.258
AT ITER 101 NEW BEST:: SOT 80744 SOS 40952 HAS SOPS 40952 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6974.952
AT ITER 102 NEW BEST:: SOT 80936 SOS 40816 HAS SOPS 40816 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6974.816
AT ITER 104 NEW BEST:: SOT 80794 SOS 40700 HAS SOPS 40700 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6940.7
AT ITER 123 NEW BEST:: SOT 80572 SOS 40676 HAS SOPS 40676 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6932.676
AT ITER 144 NEW BEST:: SOT 80586 SOS 40632 HAS SOPS 40632 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6932.632
AT ITER 149 NEW BEST:: SOT 80554 SOS 40892 HAS SOPS 40892 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6928.892
AT ITER 163 NEW BEST:: SOT 80580 SOS 40854 HAS SOPS 40854 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6922.854
AT ITER 164 NEW BEST:: SOT 80572 SOS 40838 HAS SOPS 40838 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6914.838
AT ITER 167 NEW BEST:: SOT 80526 SOS 40746 HAS SOPS 40746 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6914.746
AT ITER 169 NEW BEST:: SOT 80522 SOS 40738 HAS SOPS 40738 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6912.738
AT ITER 170 NEW BEST:: SOT 80576 SOS 40690 HAS SOPS 40690 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6912.69
AT ITER 201 NEW BEST:: SOT 80506 SOS 40550 HAS SOPS 40550 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6912.55
AT ITER 210 NEW BEST:: SOT 80692 SOS 40742 HAS SOPS 40742 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6890.742
AT ITER 211 NEW BEST:: SOT 80664 SOS 40686 HAS SOPS 40686 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6890.686
AT ITER 215 NEW BEST:: SOT 80020 SOS 40586 HAS SOPS 40586 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6838.586
AT ITER 221 NEW BEST:: SOT 79938 SOS 40542 HAS SOPS 40542 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6836.542
AT ITER 223 NEW BEST:: SOT 80020 SOS 40086 HAS SOPS 40086 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6836.086
AT ITER 227 NEW BEST:: SOT 79996 SOS 40074 HAS SOPS 40074 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6832.074
AT ITER 239 NEW BEST:: SOT 79992 SOS 40012 HAS SOPS 40012 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6832.012
AT ITER 244 NEW BEST:: SOT 79560 SOS 39820 HAS SOPS 39820 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6765.82
AT ITER 245 NEW BEST:: SOT 79530 SOS 39760 HAS SOPS 39760 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6765.76
AT ITER 250 NEW BEST:: SOT 79572 SOS 39556 HAS SOPS 39556 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6765.556
AT ITER 253 NEW BEST:: SOT 79554 SOS 39364 HAS SOPS 39364 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6765.364
AT ITER 255 NEW BEST:: SOT 79326 SOS 39448 HAS SOPS 39448 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6743.448
AT ITER 260 NEW BEST:: SOT 79282 SOS 39252 HAS SOPS 39252 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6743.252
AT ITER 262 NEW BEST:: SOT 79128 SOS 39160 HAS SOPS 39160 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6735.16
AT ITER 266 NEW BEST:: SOT 79044 SOS 39262 HAS SOPS 39262 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6725.262
AT ITER 269 NEW BEST:: SOT 79044 SOS 39250 HAS SOPS 39250 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6725.25
AT ITER 274 NEW BEST:: SOT 79050 SOS 39262 HAS SOPS 39262 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6697.262
AT ITER 285 NEW BEST:: SOT 78980 SOS 39230 HAS SOPS 39230 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6691.23
AT ITER 287 NEW BEST:: SOT 78974 SOS 39218 HAS SOPS 39218 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6691.218
AT ITER 291 NEW BEST:: SOT 78890 SOS 39140 HAS SOPS 39140 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6653.14
AT ITER 294 NEW BEST:: SOT 78904 SOS 38148 HAS SOPS 38148 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6650.148
AT ITER 302 NEW BEST:: SOT 78726 SOS 38056 HAS SOPS 38056 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6626.056
AT ITER 306 NEW BEST:: SOT 78678 SOS 38068 HAS SOPS 38068 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6624.068
AT ITER 310 NEW BEST:: SOT 78678 SOS 38050 HAS SOPS 38050 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6624.05
AT ITER 314 NEW BEST:: SOT 78674 SOS 37970 HAS SOPS 37970 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6623.97
AT ITER 335 NEW BEST:: SOT 78674 SOS 37970 HAS SOPS 37970 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6587.97
AT ITER 339 NEW BEST:: SOT 78660 SOS 37942 HAS SOPS 37942 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6579.942
AT ITER 341 NEW BEST:: SOT 78670 SOS 37932 HAS SOPS 37932 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6577.932
AT ITER 350 NEW BEST:: SOT 78680 SOS 37900 HAS SOPS 37900 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6573.9
AT ITER 353 NEW BEST:: SOT 78612 SOS 37824 HAS SOPS 37824 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6557.824
AT ITER 361 NEW BEST:: SOT 78618 SOS 37800 HAS SOPS 37800 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6557.8
AT ITER 368 NEW BEST:: SOT 78612 SOS 37932 HAS SOPS 37932 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6553.932
AT ITER 376 NEW BEST:: SOT 78616 SOS 37910 HAS SOPS 37910 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6553.91
AT ITER 384 NEW BEST:: SOT 78590 SOS 37914 HAS SOPS 37914 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6551.914
AT ITER 391 NEW BEST:: SOT 78584 SOS 37902 HAS SOPS 37902 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6551.902
AT ITER 417 NEW BEST:: SOT 78458 SOS 38002 HAS SOPS 38002 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6532.002
AT ITER 424 NEW BEST:: SOT 78518 SOS 37862 HAS SOPS 37862 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6531.862
AT ITER 438 NEW BEST:: SOT 78598 SOS 37802 HAS SOPS 37802 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6531.802
AT ITER 442 NEW BEST:: SOT 78468 SOS 37762 HAS SOPS 37762 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6521.762
AT ITER 447 NEW BEST:: SOT 78452 SOS 37730 HAS SOPS 37730 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6491.73
AT ITER 451 NEW BEST:: SOT 78448 SOS 37722 HAS SOPS 37722 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6487.722
AT ITER 455 NEW BEST:: SOT 78466 SOS 37758 HAS SOPS 37758 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6481.758
AT ITER 458 NEW BEST:: SOT 78640 SOS 37806 HAS SOPS 37806 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6455.806
AT ITER 478 NEW BEST:: SOT 78546 SOS 37798 HAS SOPS 37798 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6455.798
AT ITER 490 NEW BEST:: SOT 78548 SOS 37802 HAS SOPS 37802 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6451.802
AT ITER 495 NEW BEST:: SOT 78544 SOS 37794 HAS SOPS 37794 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6451.794
AT ITER 505 NEW BEST:: SOT 78448 SOS 37722 HAS SOPS 37722 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6437.722
AT ITER 513 NEW BEST:: SOT 78244 SOS 37622 HAS SOPS 37622 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6433.622
AT ITER 533 NEW BEST:: SOT 78242 SOS 37600 HAS SOPS 37600 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6433.6
AT ITER 542 NEW BEST:: SOT 78242 SOS 37600 HAS SOPS 37600 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6409.6
AT ITER 543 NEW BEST:: SOT 78128 SOS 37492 HAS SOPS 37492 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6383.492
AT ITER 544 NEW BEST:: SOT 78120 SOS 37476 HAS SOPS 37476 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6361.476
AT ITER 547 NEW BEST:: SOT 78116 SOS 37468 HAS SOPS 37468 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6361.468
AT ITER 551 NEW BEST:: SOT 78020 SOS 37760 HAS SOPS 37760 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6357.76
AT ITER 562 NEW BEST:: SOT 78016 SOS 37752 HAS SOPS 37752 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6355.752
AT ITER 573 NEW BEST:: SOT 78046 SOS 37602 HAS SOPS 37602 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6355.602
AT ITER 575 NEW BEST:: SOT 78054 SOS 37606 HAS SOPS 37606 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6351.606
AT ITER 578 NEW BEST:: SOT 78220 SOS 37710 HAS SOPS 37710 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6291.71
AT ITER 593 NEW BEST:: SOT 78242 SOS 37682 HAS SOPS 37682 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6291.682
AT ITER 610 NEW BEST:: SOT 78256 SOS 37620 HAS SOPS 37620 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6291.62
AT ITER 620 NEW BEST:: SOT 78358 SOS 37272 HAS SOPS 37272 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6291.272
AT ITER 625 NEW BEST:: SOT 78426 SOS 37408 HAS SOPS 37408 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6287.408
AT ITER 630 NEW BEST:: SOT 78472 SOS 37392 HAS SOPS 37392 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6287.392
AT ITER 633 NEW BEST:: SOT 78498 SOS 37138 HAS SOPS 37138 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6287.138
AT ITER 641 NEW BEST:: SOT 78416 SOS 37194 HAS SOPS 37194 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6285.194
AT ITER 679 NEW BEST:: SOT 78384 SOS 37482 HAS SOPS 37482 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.482
AT ITER 683 NEW BEST:: SOT 78412 SOS 37430 HAS SOPS 37430 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.43
AT ITER 686 NEW BEST:: SOT 78462 SOS 37350 HAS SOPS 37350 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.35
AT ITER 687 NEW BEST:: SOT 78472 SOS 37344 HAS SOPS 37344 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.344
AT ITER 690 NEW BEST:: SOT 78470 SOS 37340 HAS SOPS 37340 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.34
AT ITER 692 NEW BEST:: SOT 78616 SOS 37198 HAS SOPS 37198 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6283.198
AT ITER 694 NEW BEST:: SOT 78632 SOS 37176 HAS SOPS 37176 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6281.176
AT ITER 710 NEW BEST:: SOT 78614 SOS 37170 HAS SOPS 37170 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6281.17
AT ITER 726 NEW BEST:: SOT 78630 SOS 37166 HAS SOPS 37166 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6281.166
AT ITER 736 NEW BEST:: SOT 78686 SOS 37116 HAS SOPS 37116 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6281.116
AT ITER 764 NEW BEST:: SOT 78674 SOS 37092 HAS SOPS 37092 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6281.092
AT ITER 778 NEW BEST:: SOT 78584 SOS 37056 HAS SOPS 37056 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6277.056
AT ITER 779 NEW BEST:: SOT 78572 SOS 37032 HAS SOPS 37032 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6275.032
AT ITER 787 NEW BEST:: SOT 78678 SOS 37622 HAS SOPS 37622 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6273.622
AT ITER 798 NEW BEST:: SOT 78648 SOS 37562 HAS SOPS 37562 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6273.562
AT ITER 807 NEW BEST:: SOT 78646 SOS 37558 HAS SOPS 37558 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6273.558
AT ITER 815 NEW BEST:: SOT 78624 SOS 37208 HAS SOPS 37208 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6273.208
AT ITER 829 NEW BEST:: SOT 78536 SOS 37212 HAS SOPS 37212 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6255.212
AT ITER 830 NEW BEST:: SOT 78332 SOS 37146 HAS SOPS 37146 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6221.146
AT ITER 837 NEW BEST:: SOT 78392 SOS 37176 HAS SOPS 37176 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6209.176
AT ITER 862 NEW BEST:: SOT 78398 SOS 37062 HAS SOPS 37062 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6209.062
AT ITER 873 NEW BEST:: SOT 78390 SOS 37046 HAS SOPS 37046 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6209.046
AT ITER 875 NEW BEST:: SOT 78372 SOS 37010 HAS SOPS 37010 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6209.01
AT ITER 878 NEW BEST:: SOT 78366 SOS 36998 HAS SOPS 36998 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6208.998
AT ITER 886 NEW BEST:: SOT 78398 SOS 36900 HAS SOPS 36900 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.9
AT ITER 906 NEW BEST:: SOT 78428 SOS 36672 HAS SOPS 36672 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.672
AT ITER 924 NEW BEST:: SOT 78420 SOS 36656 HAS SOPS 36656 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.656
AT ITER 937 NEW BEST:: SOT 78422 SOS 36642 HAS SOPS 36642 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.642
AT ITER 978 NEW BEST:: SOT 78410 SOS 36618 HAS SOPS 36618 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.618
AT ITER 989 NEW BEST:: SOT 78412 SOS 36574 HAS SOPS 36574 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6144.574
AT ITER 997 NEW BEST:: SOT 78384 SOS 36518 HAS SOPS 36518 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6142.518
AT ITER 1012 NEW BEST:: SOT 78372 SOS 36710 HAS SOPS 36710 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6138.71
AT ITER 1014 NEW BEST:: SOT 78372 SOS 36710 HAS SOPS 36710 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6134.71
AT ITER 1016 NEW BEST:: SOT 78350 SOS 36666 HAS SOPS 36666 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6134.666
AT ITER 1033 NEW BEST:: SOT 78350 SOS 36666 HAS SOPS 36666 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6130.666
AT ITER 1040 NEW BEST:: SOT 78356 SOS 36630 HAS SOPS 36630 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6130.63
AT ITER 1057 NEW BEST:: SOT 78376 SOS 36610 HAS SOPS 36610 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6130.61
AT ITER 1062 NEW BEST:: SOT 78376 SOS 36610 HAS SOPS 36610 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6124.61
AT ITER 1064 NEW BEST:: SOT 78374 SOS 36606 HAS SOPS 36606 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6124.606
AT ITER 1075 NEW BEST:: SOT 78364 SOS 36982 HAS SOPS 36982 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6122.982
AT ITER 1094 NEW BEST:: SOT 78360 SOS 36974 HAS SOPS 36974 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6122.974
AT ITER 1115 NEW BEST:: SOT 78308 SOS 36960 HAS SOPS 36960 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6122.96
AT ITER 1116 NEW BEST:: SOT 78386 SOS 37116 HAS SOPS 37116 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6121.116
AT ITER 1121 NEW BEST:: SOT 78002 SOS 38428 HAS SOPS 38428 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6118.428
AT ITER 1130 NEW BEST:: SOT 78044 SOS 38422 HAS SOPS 38422 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6114.422
AT ITER 1136 NEW BEST:: SOT 78052 SOS 38402 HAS SOPS 38402 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6102.402
AT ITER 1137 NEW BEST:: SOT 78036 SOS 38370 HAS SOPS 38370 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6102.37
AT ITER 1143 NEW BEST:: SOT 78014 SOS 38488 HAS SOPS 38488 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6100.488
AT ITER 1153 NEW BEST:: SOT 78292 SOS 37556 HAS SOPS 37556 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6099.556
AT ITER 1182 NEW BEST:: SOT 78286 SOS 37490 HAS SOPS 37490 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6099.49
AT ITER 1207 NEW BEST:: SOT 78290 SOS 37486 HAS SOPS 37486 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.486
AT ITER 1213 NEW BEST:: SOT 78322 SOS 37478 HAS SOPS 37478 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.478
AT ITER 1216 NEW BEST:: SOT 78298 SOS 37430 HAS SOPS 37430 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.43
AT ITER 1218 NEW BEST:: SOT 78338 SOS 37420 HAS SOPS 37420 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.42
AT ITER 1219 NEW BEST:: SOT 78314 SOS 37264 HAS SOPS 37264 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.264
AT ITER 1220 NEW BEST:: SOT 78372 SOS 37260 HAS SOPS 37260 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.26
AT ITER 1234 NEW BEST:: SOT 78360 SOS 37236 HAS SOPS 37236 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.236
AT ITER 1257 NEW BEST:: SOT 78396 SOS 37088 HAS SOPS 37088 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6095.088
AT ITER 1262 NEW BEST:: SOT 78346 SOS 36988 HAS SOPS 36988 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6094.988
AT ITER 1280 NEW BEST:: SOT 78330 SOS 36956 HAS SOPS 36956 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6094.956
AT ITER 1298 NEW BEST:: SOT 78354 SOS 36900 HAS SOPS 36900 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6092.9
AT ITER 1313 NEW BEST:: SOT 78352 SOS 36896 HAS SOPS 36896 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6092.896
AT ITER 1319 NEW BEST:: SOT 78328 SOS 36884 HAS SOPS 36884 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6092.884
AT ITER 1359 NEW BEST:: SOT 78344 SOS 36886 HAS SOPS 36886 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6088.886
AT ITER 1365 NEW BEST:: SOT 78250 SOS 37594 HAS SOPS 37594 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6087.594
AT ITER 1371 NEW BEST:: SOT 78264 SOS 37492 HAS SOPS 37492 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6087.492
AT ITER 1373 NEW BEST:: SOT 78252 SOS 37468 HAS SOPS 37468 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6087.468
AT ITER 1377 NEW BEST:: SOT 78312 SOS 37282 HAS SOPS 37282 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6087.282
AT ITER 1403 NEW BEST:: SOT 78300 SOS 37270 HAS SOPS 37270 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6081.27
AT ITER 1418 NEW BEST:: SOT 78264 SOS 37198 HAS SOPS 37198 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6081.198
AT ITER 1426 NEW BEST:: SOT 78242 SOS 37154 HAS SOPS 37154 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6081.154
AT ITER 1472 NEW BEST:: SOT 78210 SOS 37090 HAS SOPS 37090 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6081.09
AT ITER 1548 NEW BEST:: SOT 78210 SOS 36934 HAS SOPS 36934 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6080.934
AT ITER 1551 NEW BEST:: SOT 78222 SOS 36914 HAS SOPS 36914 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6080.914
AT ITER 1575 NEW BEST:: SOT 78214 SOS 36718 HAS SOPS 36718 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6080.718
AT ITER 1602 NEW BEST:: SOT 78214 SOS 36700 HAS SOPS 36700 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6080.7
AT ITER 1652 NEW BEST:: SOT 78188 SOS 37080 HAS SOPS 37080 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6079.08
AT ITER 1665 NEW BEST:: SOT 78262 SOS 37534 HAS SOPS 37534 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6077.534
AT ITER 1675 NEW BEST:: SOT 78288 SOS 37334 HAS SOPS 37334 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6077.334
AT ITER 1727 NEW BEST:: SOT 78196 SOS 37410 HAS SOPS 37410 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6075.41
AT ITER 1734 NEW BEST:: SOT 78030 SOS 37438 HAS SOPS 37438 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6071.438
AT ITER 1737 NEW BEST:: SOT 78024 SOS 37372 HAS SOPS 37372 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6071.372
AT ITER 1773 NEW BEST:: SOT 78022 SOS 37368 HAS SOPS 37368 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6071.368
AT ITER 1795 NEW BEST:: SOT 78008 SOS 37340 HAS SOPS 37340 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6071.34
AT ITER 1798 NEW BEST:: SOT 78004 SOS 37332 HAS SOPS 37332 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6071.332
AT ITER 1843 NEW BEST:: SOT 77998 SOS 37284 HAS SOPS 37284 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6069.284
AT ITER 1894 NEW BEST:: SOT 77912 SOS 37640 HAS SOPS 37640 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6065.64
AT ITER 1896 NEW BEST:: SOT 77922 SOS 37606 HAS SOPS 37606 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6065.606
AT ITER 1917 NEW BEST:: SOT 77920 SOS 37602 HAS SOPS 37602 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6053.602
AT ITER 1926 NEW BEST:: SOT 77892 SOS 37582 HAS SOPS 37582 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6053.582
AT ITER 1939 NEW BEST:: SOT 77926 SOS 37598 HAS SOPS 37598 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6051.598
AT ITER 1942 NEW BEST:: SOT 77926 SOS 37574 HAS SOPS 37574 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6047.574
AT ITER 1991 NEW BEST:: SOT 78004 SOS 37490 HAS SOPS 37490 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6025.49
AT ITER 2010 NEW BEST:: SOT 77986 SOS 37400 HAS SOPS 37400 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6025.4
AT ITER 2032 NEW BEST:: SOT 78012 SOS 37182 HAS SOPS 37182 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6025.182
AT ITER 2045 NEW BEST:: SOT 78010 SOS 37178 HAS SOPS 37178 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 6025.178
AT ITER 2055 NEW BEST:: SOT 77972 SOS 37150 HAS SOPS 37150 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6013.15
AT ITER 2070 NEW BEST:: SOT 77970 SOS 37146 HAS SOPS 37146 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6013.146
AT ITER 2086 NEW BEST:: SOT 77966 SOS 37138 HAS SOPS 37138 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6013.138
AT ITER 2130 NEW BEST:: SOT 77970 SOS 37128 HAS SOPS 37128 HAS SOUS 5976 HAS SOUPS 5976 WITH SCORE 6013.128
AT ITER 2208 NEW BEST:: SOT 77806 SOS 37440 HAS SOPS 37440 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 6011.44
AT ITER 2214 NEW BEST:: SOT 77810 SOS 37418 HAS SOPS 37418 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 6011.418
AT ITER 2260 NEW BEST:: SOT 77876 SOS 37102 HAS SOPS 37102 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 6011.102
AT ITER 2280 NEW BEST:: SOT 77882 SOS 37096 HAS SOPS 37096 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 6011.096
AT ITER 2402 NEW BEST:: SOT 77890 SOS 37034 HAS SOPS 37034 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 6011.034
AT ITER 2408 NEW BEST:: SOT 77780 SOS 37342 HAS SOPS 37342 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 6003.342
AT ITER 2451 NEW BEST:: SOT 77738 SOS 37874 HAS SOPS 37874 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 6001.874
AT ITER 2479 NEW BEST:: SOT 77714 SOS 37826 HAS SOPS 37826 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 6001.826
AT ITER 2547 NEW BEST:: SOT 77708 SOS 37814 HAS SOPS 37814 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5997.814
AT ITER 2557 NEW BEST:: SOT 77706 SOS 37738 HAS SOPS 37738 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5989.738
AT ITER 2575 NEW BEST:: SOT 77686 SOS 37734 HAS SOPS 37734 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5987.734
AT ITER 2625 NEW BEST:: SOT 77676 SOS 37714 HAS SOPS 37714 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5983.714
AT ITER 2658 NEW BEST:: SOT 77764 SOS 37602 HAS SOPS 37602 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5983.602
AT ITER 2675 NEW BEST:: SOT 77776 SOS 37566 HAS SOPS 37566 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5975.566
AT ITER 2682 NEW BEST:: SOT 77720 SOS 37640 HAS SOPS 37640 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.64
AT ITER 2766 NEW BEST:: SOT 77724 SOS 37498 HAS SOPS 37498 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5973.498
AT ITER 2770 NEW BEST:: SOT 77758 SOS 37506 HAS SOPS 37506 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5953.506
AT ITER 2811 NEW BEST:: SOT 77760 SOS 37484 HAS SOPS 37484 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5953.484
AT ITER 2818 NEW BEST:: SOT 77802 SOS 37376 HAS SOPS 37376 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5953.376
AT ITER 2825 NEW BEST:: SOT 77802 SOS 37376 HAS SOPS 37376 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5951.376
AT ITER 2874 NEW BEST:: SOT 77792 SOS 37320 HAS SOPS 37320 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5947.32
AT ITER 2894 NEW BEST:: SOT 77792 SOS 37294 HAS SOPS 37294 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5947.294
AT ITER 2896 NEW BEST:: SOT 77754 SOS 37908 HAS SOPS 37908 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5937.908
AT ITER 2901 NEW BEST:: SOT 77766 SOS 37800 HAS SOPS 37800 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5937.8
AT ITER 2967 NEW BEST:: SOT 77818 SOS 37832 HAS SOPS 37832 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5927.832
AT ITER 2973 NEW BEST:: SOT 77822 SOS 37828 HAS SOPS 37828 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5923.828
AT ITER 3002 NEW BEST:: SOT 77842 SOS 37742 HAS SOPS 37742 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5923.742
AT ITER 3003 NEW BEST:: SOT 77854 SOS 37736 HAS SOPS 37736 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5923.736
AT ITER 3017 NEW BEST:: SOT 77860 SOS 37712 HAS SOPS 37712 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5923.712
AT ITER 3022 NEW BEST:: SOT 77850 SOS 37692 HAS SOPS 37692 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5923.692
AT ITER 3040 NEW BEST:: SOT 77848 SOS 37688 HAS SOPS 37688 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5919.688
AT ITER 3063 NEW BEST:: SOT 77824 SOS 37784 HAS SOPS 37784 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5917.784
AT ITER 3092 NEW BEST:: SOT 77798 SOS 38172 HAS SOPS 38172 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5916.172
AT ITER 3094 NEW BEST:: SOT 77792 SOS 38004 HAS SOPS 38004 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5916.004
AT ITER 3158 NEW BEST:: SOT 77826 SOS 37864 HAS SOPS 37864 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5915.864
AT ITER 3186 NEW BEST:: SOT 77824 SOS 37860 HAS SOPS 37860 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5915.86
AT ITER 3205 NEW BEST:: SOT 77826 SOS 37804 HAS SOPS 37804 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5915.804
AT ITER 3208 NEW BEST:: SOT 77794 SOS 37740 HAS SOPS 37740 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5915.74
AT ITER 3239 NEW BEST:: SOT 77782 SOS 37716 HAS SOPS 37716 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5915.716
AT ITER 3252 NEW BEST:: SOT 77782 SOS 38076 HAS SOPS 38076 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5912.076
AT ITER 3267 NEW BEST:: SOT 77784 SOS 38080 HAS SOPS 38080 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5908.08
AT ITER 3316 NEW BEST:: SOT 77780 SOS 38072 HAS SOPS 38072 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5908.072
AT ITER 3472 NEW BEST:: SOT 77778 SOS 38056 HAS SOPS 38056 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5908.056
AT ITER 3476 NEW BEST:: SOT 77772 SOS 38044 HAS SOPS 38044 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5908.044
AT ITER 3556 NEW BEST:: SOT 77762 SOS 38024 HAS SOPS 38024 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5908.024
AT ITER 3590 NEW BEST:: SOT 77742 SOS 37984 HAS SOPS 37984 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.984
AT ITER 3703 NEW BEST:: SOT 77728 SOS 37956 HAS SOPS 37956 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.956
AT ITER 3759 NEW BEST:: SOT 77712 SOS 37762 HAS SOPS 37762 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.762
AT ITER 3765 NEW BEST:: SOT 77702 SOS 37760 HAS SOPS 37760 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.76
AT ITER 3857 NEW BEST:: SOT 77716 SOS 37752 HAS SOPS 37752 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5903.752
AT ITER 3909 NEW BEST:: SOT 77714 SOS 37802 HAS SOPS 37802 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5901.802
AT ITER 4075 NEW BEST:: SOT 77700 SOS 37720 HAS SOPS 37720 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5901.72
AT ITER 4147 NEW BEST:: SOT 77742 SOS 38112 HAS SOPS 38112 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5900.112
AT ITER 4164 NEW BEST:: SOT 77758 SOS 38012 HAS SOPS 38012 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5900.012
AT ITER 4259 NEW BEST:: SOT 77764 SOS 37980 HAS SOPS 37980 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5899.98
AT ITER 4343 NEW BEST:: SOT 77726 SOS 37904 HAS SOPS 37904 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5899.904
AT ITER 4417 NEW BEST:: SOT 77716 SOS 37992 HAS SOPS 37992 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5897.992
AT ITER 4457 NEW BEST:: SOT 77728 SOS 37980 HAS SOPS 37980 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5897.98
AT ITER 4460 NEW BEST:: SOT 77734 SOS 37974 HAS SOPS 37974 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5897.974
AT ITER 4567 NEW BEST:: SOT 77750 SOS 37952 HAS SOPS 37952 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5897.952
AT ITER 4643 NEW BEST:: SOT 77746 SOS 37926 HAS SOPS 37926 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5897.926
AT ITER 4654 NEW BEST:: SOT 77740 SOS 37950 HAS SOPS 37950 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5895.95
AT ITER 4663 NEW BEST:: SOT 77734 SOS 37842 HAS SOPS 37842 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5895.842
AT ITER 4691 NEW BEST:: SOT 77740 SOS 37824 HAS SOPS 37824 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5891.824
AT ITER 4757 NEW BEST:: SOT 77746 SOS 38100 HAS SOPS 38100 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5890.1
AT ITER 4788 NEW BEST:: SOT 77778 SOS 38076 HAS SOPS 38076 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5890.076
AT ITER 4838 NEW BEST:: SOT 77786 SOS 38014 HAS SOPS 38014 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5890.014
AT ITER 4857 NEW BEST:: SOT 77784 SOS 37958 HAS SOPS 37958 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5889.958
AT ITER 4887 NEW BEST:: SOT 77774 SOS 37956 HAS SOPS 37956 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5887.956
AT ITER 4896 NEW BEST:: SOT 77782 SOS 37936 HAS SOPS 37936 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5887.936
AT ITER 4911 NEW BEST:: SOT 77782 SOS 37918 HAS SOPS 37918 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5887.918
AT ITER 4914 NEW BEST:: SOT 77788 SOS 37840 HAS SOPS 37840 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5887.84
AT ITER 4944 NEW BEST:: SOT 77782 SOS 37828 HAS SOPS 37828 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5887.828
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-00 (AG( (EU( potential( ( 3 ) <= (tk(P27)) ),potential( ( 1 ) <= (tk(P73)) ) ))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-01 (! (AG( (EF(potential( (tk(P21)) <= (tk(P4)) ))))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-02 (AG( ( (! (! potential( (tk(P8)) <= (tk(P3)) ))) | (AG( potential( (tk(P44)) <= (tk(P73)) ))) )))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-03 (! ( potential( (tk(P70)) <= (tk(P28)) ) & (EG( potential( ( 1 ) <= (tk(P77)) ))) ))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-04 (! (AX( (EG( potential( ( 1 ) <= (tk(P51)) ))))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-05 ( ( ( ( potential( ( 2 ) <= (tk(P36)) ) & (! potential( (tk(P78)) <= (tk(P74)) )) ) | potential( (tk(P61)) <= (tk(P33)) ) ) & ( ( (! potential( ( 1 ) <= (tk(P38)) )) | ( potential( (tk(P30)) <= (tk(P68)) ) & potential( ( 1 ) <= (tk(P42)) ) ) ) & (EG( potential( (tk(P78)) <= (tk(P48)) ))) ) ) | (AX( ( ( potential( (tk(P43)) <= (tk(P22)) ) & potential( ( 3 ) <= (tk(P65)) ) ) | (! potential( ( 1 ) <= (tk(P52)) )) ))) )
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-06 ( ( ( (EG( potential( ( 2 ) <= (tk(P55)) ))) | ( ( potential( ( 3 ) <= (tk(P72)) ) & potential( ( 2 ) <= (tk(P6)) ) ) & ( potential( (tk(P5)) <= (tk(P67)) ) & potential( (tk(P7)) <= (tk(P44)) ) ) ) ) & ( (EX( potential( (tk(P31)) <= (tk(P4)) ))) | (EF(potential( ( 3 ) <= (tk(P4)) ))) ) ) & potential( ( 1 ) <= (tk(P17)) ) )
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-07 (AG( (EX( potential( (tk(P24)) <= (tk(P25)) )))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-08 (AG( (AF((! potential( ( 3 ) <= (tk(P28)) ))))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-09 (EX( (! (AX( potential( ( 1 ) <= (tk(P8)) ))))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-10 ( (EF((! ( potential( ( 2 ) <= (tk(P36)) ) | potential( ( 2 ) <= (tk(P64)) ) )))) & ( ( potential( (tk(P16)) <= (tk(P25)) ) | (AF(potential( (tk(P71)) <= (tk(P37)) ))) ) & potential( ( 2 ) <= (tk(P79)) ) ) )
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-11 (EG( ( potential( ( 1 ) <= (tk(P70)) ) | potential( ( 3 ) <= (tk(P30)) ) )))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-12 (EF((AG( (! potential( (tk(P42)) <= (tk(P7)) ))))))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-13 (AF(( (! potential( (tk(P33)) <= (tk(P24)) )) & (EX( potential( (tk(P43)) <= (tk(P69)) ))) )))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-14 (AF(( (EG( potential( (tk(P13)) <= (tk(P60)) ))) & potential( (tk(P54)) <= (tk(P5)) ) )))
PROPERTY: NeighborGrid-PT-d4n3m2c23-CTLCardinality-15 (EX( (AG( potential( (tk(P33)) <= (tk(P46)) )))))
BK_STOP 1589638703246
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 473 Aborted ${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="NeighborGrid-PT-d4n3m2c23"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is NeighborGrid-PT-d4n3m2c23, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250200203"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d4n3m2c23.tgz
mv NeighborGrid-PT-d4n3m2c23 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;