About the Execution of LoLA for NoC3x3-PT-8B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4723.903 | 1800000.00 | 7184983.00 | 0.00 | [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/mcc2021-input.r144-tall-162089134700218.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is NoC3x3-PT-8B, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134700218
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 137K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 104K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 07:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 07:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 3.0M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1620944340886
starting LoLA
BK_INPUT NoC3x3-PT-8B
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p782
sara: try reading problem file stateEquationProblem-ConstantPlace-6292.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 8925
lola: goal oriented search: 215
lola: 0 generators;41192078 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 4005
lola: find path: 1724
lola: goal oriented search: 215
lola: symmetry: 3196
lola: 0 generators;41128635 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 2817
lola: find path: 1941
lola: goal oriented search: 215
lola: symmetry: 4167
lola: 0 generators;35862159 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 2034
lola: find path: 2098
lola: goal oriented search: 215
lola: symmetry: 4793
lola: 0 generators;33646760 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 1667
lola: find path: 2218
lola: goal oriented search: 215
lola: symmetry: 5040
lola: 0 generators;28190686 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1497
lola: find path: 2278
lola: goal oriented search: 215
lola: symmetry: 5150
lola: 0 generators;28190686 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1306
lola: find path: 2387
lola: goal oriented search: 215
lola: symmetry: 5232
lola: 0 generators;28190686 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1253
lola: find path: 2416
lola: goal oriented search: 215
lola: symmetry: 5256
lola: 0 generators;28190686 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1164
lola: find path: 2449
lola: goal oriented search: 215
lola: symmetry: 5312
sara: place or transition ordering is non-deterministic
lola: 0 generators;28190686 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1034
lola: find path: 2497
lola: goal oriented search: 215
lola: symmetry: 5394
lola: 0 generators;28190686 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 888
lola: find path: 2532
lola: goal oriented search: 215
lola: symmetry: 5505
lola: STATE EQUATION TRIES PLACE p1240
sara: try reading problem file stateEquationProblem-ConstantPlace-5122.sara.
lola: 0 generators;28190686 candidates remain ( 0%), 50 secs
lola: reporting
lola: not produced: 863
lola: state equation: 1
lola: find path: 2550
lola: goal oriented search: 215
lola: symmetry: 5511
lola: 0 generators;28190686 candidates remain ( 0%), 55 secs
lola: reporting
lola: not produced: 845
lola: state equation: 1
lola: find path: 2564
lola: goal oriented search: 215
lola: symmetry: 5515
lola: 0 generators;28190686 candidates remain ( 0%), 60 secs
lola: reporting
lola: not produced: 819
lola: state equation: 1
lola: find path: 2588
lola: goal oriented search: 215
lola: symmetry: 5517
lola: 0 generators;28190686 candidates remain ( 0%), 65 secs
lola: reporting
lola: not produced: 811
lola: state equation: 1
lola: find path: 2596
lola: goal oriented search: 215
lola: symmetry: 5517
lola: 0 generators;28123228 candidates remain ( 0%), 70 secs
lola: reporting
lola: not produced: 778
lola: state equation: 1
lola: find path: 2621
lola: goal oriented search: 215
lola: symmetry: 5525
lola: 0 generators;28123228 candidates remain ( 0%), 75 secs
lola: reporting
lola: not produced: 723
lola: state equation: 1
lola: find path: 2639
lola: goal oriented search: 215
lola: symmetry: 5562
lola: 0 generators;28123228 candidates remain ( 0%), 80 secs
lola: reporting
lola: not produced: 707
lola: state equation: 1
lola: find path: 2648
lola: goal oriented search: 215
lola: symmetry: 5569
lola: 0 generators;28123228 candidates remain ( 0%), 85 secs
lola: reporting
lola: not produced: 685
lola: state equation: 1
lola: find path: 2659
lola: goal oriented search: 215
lola: symmetry: 5580
lola: 0 generators;28123228 candidates remain ( 0%), 90 secs
lola: reporting
lola: not produced: 664
lola: state equation: 1
lola: find path: 2668
lola: goal oriented search: 215
lola: symmetry: 5592
sara: place or transition ordering is non-deterministic
lola: 0 generators;28123228 candidates remain ( 0%), 95 secs
lola: reporting
lola: not produced: 661
lola: state equation: 1
lola: find path: 2671
lola: goal oriented search: 215
lola: symmetry: 5592
lola: 0 generators;28123228 candidates remain ( 0%), 100 secs
lola: reporting
lola: not produced: 646
lola: state equation: 1
lola: find path: 2686
lola: goal oriented search: 215
lola: symmetry: 5592
lola: 0 generators;28123228 candidates remain ( 0%), 105 secs
lola: reporting
lola: not produced: 598
lola: state equation: 1
lola: find path: 2695
lola: goal oriented search: 215
lola: symmetry: 5631
lola: 0 generators;28123228 candidates remain ( 0%), 110 secs
lola: reporting
lola: not produced: 581
lola: state equation: 1
lola: find path: 2703
lola: goal oriented search: 215
lola: symmetry: 5640
lola: 0 generators;28093278 candidates remain ( 0%), 115 secs
lola: reporting
lola: not produced: 563
lola: state equation: 1
lola: find path: 2717
lola: goal oriented search: 215
lola: symmetry: 5644
lola: 0 generators;28093278 candidates remain ( 0%), 120 secs
lola: reporting
lola: not produced: 559
lola: state equation: 1
lola: find path: 2719
lola: goal oriented search: 215
lola: symmetry: 5646
lola: 0 generators;28093278 candidates remain ( 0%), 125 secs
lola: reporting
lola: not produced: 546
lola: state equation: 1
lola: find path: 2727
lola: goal oriented search: 215
lola: symmetry: 5651
lola: 0 generators;28093278 candidates remain ( 0%), 130 secs
lola: reporting
lola: not produced: 544
lola: state equation: 1
lola: find path: 2729
lola: goal oriented search: 215
lola: symmetry: 5651
lola: 0 generators;28093278 candidates remain ( 0%), 135 secs
lola: reporting
lola: not produced: 535
lola: state equation: 1
lola: find path: 2738
lola: goal oriented search: 215
lola: symmetry: 5651
lola: 0 generators;28093278 candidates remain ( 0%), 140 secs
lola: reporting
lola: not produced: 528
lola: state equation: 1
lola: find path: 2741
lola: goal oriented search: 215
lola: symmetry: 5655
lola: 0 generators;28093278 candidates remain ( 0%), 145 secs
lola: reporting
lola: not produced: 521
lola: state equation: 1
lola: find path: 2744
lola: goal oriented search: 215
lola: symmetry: 5659
lola: 0 generators;28093278 candidates remain ( 0%), 150 secs
lola: reporting
lola: not produced: 508
lola: state equation: 1
lola: find path: 2753
lola: goal oriented search: 215
lola: symmetry: 5663
lola: 0 generators;28093278 candidates remain ( 0%), 155 secs
lola: reporting
lola: not produced: 494
lola: state equation: 1
lola: find path: 2760
lola: goal oriented search: 215
lola: symmetry: 5670
lola: 0 generators;28063341 candidates remain ( 0%), 160 secs
lola: reporting
lola: not produced: 494
lola: state equation: 1
lola: find path: 2760
lola: goal oriented search: 215
lola: symmetry: 5670
lola: 0 generators;28063341 candidates remain ( 0%), 165 secs
lola: reporting
lola: not produced: 480
lola: state equation: 1
lola: find path: 2767
lola: goal oriented search: 215
lola: symmetry: 5677
lola: 0 generators;28063341 candidates remain ( 0%), 170 secs
lola: reporting
lola: not produced: 433
lola: state equation: 1
lola: find path: 2776
lola: goal oriented search: 215
lola: symmetry: 5715
lola: 0 generators;28063341 candidates remain ( 0%), 175 secs
lola: reporting
lola: not produced: 411
lola: state equation: 1
lola: find path: 2780
lola: goal oriented search: 215
lola: symmetry: 5733
lola: 0 generators;28063341 candidates remain ( 0%), 180 secs
lola: reporting
lola: not produced: 404
lola: state equation: 1
lola: find path: 2787
lola: goal oriented search: 215
lola: symmetry: 5733
lola: 0 generators;28063341 candidates remain ( 0%), 185 secs
lola: reporting
lola: not produced: 388
lola: state equation: 1
lola: find path: 2796
lola: goal oriented search: 215
lola: symmetry: 5740
lola: 0 generators;28063341 candidates remain ( 0%), 190 secs
lola: reporting
lola: not produced: 366
lola: state equation: 1
lola: find path: 2804
lola: goal oriented search: 215
lola: symmetry: 5754
lola: 0 generators;28033417 candidates remain ( 0%), 195 secs
lola: reporting
lola: not produced: 350
lola: state equation: 1
lola: find path: 2816
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 200 secs
lola: reporting
lola: not produced: 346
lola: state equation: 1
lola: find path: 2820
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 205 secs
lola: reporting
lola: not produced: 340
lola: state equation: 1
lola: find path: 2826
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 210 secs
lola: reporting
lola: not produced: 339
lola: state equation: 1
lola: find path: 2827
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 215 secs
lola: reporting
lola: not produced: 336
lola: state equation: 1
lola: find path: 2830
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 220 secs
lola: reporting
lola: not produced: 336
lola: state equation: 1
lola: find path: 2830
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;28033417 candidates remain ( 0%), 225 secs
lola: reporting
lola: not produced: 330
lola: state equation: 1
lola: find path: 2836
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;27831788 candidates remain ( 0%), 230 secs
lola: reporting
lola: not produced: 327
lola: state equation: 1
lola: find path: 2839
lola: goal oriented search: 215
lola: symmetry: 5758
lola: 0 generators;27831788 candidates remain ( 0%), 235 secs
lola: reporting
lola: not produced: 318
lola: state equation: 1
lola: find path: 2841
lola: goal oriented search: 215
lola: symmetry: 5765
lola: 0 generators;27831788 candidates remain ( 0%), 240 secs
lola: reporting
lola: not produced: 310
lola: state equation: 1
lola: find path: 2844
lola: goal oriented search: 215
lola: symmetry: 5770
lola: 0 generators;27831788 candidates remain ( 0%), 245 secs
lola: reporting
lola: not produced: 308
lola: state equation: 1
lola: find path: 2846
lola: goal oriented search: 215
lola: symmetry: 5770
lola: 0 generators;27831788 candidates remain ( 0%), 250 secs
lola: reporting
lola: not produced: 302
lola: state equation: 1
lola: find path: 2848
lola: goal oriented search: 215
lola: symmetry: 5774
lola: 0 generators;27831788 candidates remain ( 0%), 255 secs
lola: reporting
lola: not produced: 295
lola: state equation: 1
lola: find path: 2850
lola: goal oriented search: 215
lola: symmetry: 5779
lola: 0 generators;27764772 candidates remain ( 0%), 260 secs
lola: reporting
lola: not produced: 291
lola: state equation: 1
lola: find path: 2854
lola: goal oriented search: 215
lola: symmetry: 5779
lola: 0 generators;27764772 candidates remain ( 0%), 265 secs
lola: reporting
lola: not produced: 289
lola: state equation: 1
lola: find path: 2856
lola: goal oriented search: 215
lola: symmetry: 5779
lola: 0 generators;27764772 candidates remain ( 0%), 270 secs
lola: reporting
lola: not produced: 288
lola: state equation: 1
lola: find path: 2857
lola: goal oriented search: 215
lola: symmetry: 5779
lola: 0 generators;27764772 candidates remain ( 0%), 275 secs
lola: reporting
lola: not produced: 277
lola: state equation: 1
lola: find path: 2864
lola: goal oriented search: 215
lola: symmetry: 5783
lola: 0 generators;27764772 candidates remain ( 0%), 280 secs
lola: reporting
lola: not produced: 277
lola: state equation: 1
lola: find path: 2864
lola: goal oriented search: 215
lola: symmetry: 5783
lola: 0 generators;27764772 candidates remain ( 0%), 285 secs
lola: reporting
lola: not produced: 274
lola: state equation: 1
lola: find path: 2867
lola: goal oriented search: 215
lola: symmetry: 5783
lola: 0 generators;27653262 candidates remain ( 0%), 290 secs
lola: reporting
lola: not produced: 271
lola: state equation: 1
lola: find path: 2870
lola: goal oriented search: 215
lola: symmetry: 5783
lola: 0 generators;27653262 candidates remain ( 0%), 295 secs
lola: reporting
lola: not produced: 257
lola: state equation: 1
lola: find path: 2875
lola: goal oriented search: 215
lola: symmetry: 5792
lola: 0 generators;27653262 candidates remain ( 0%), 300 secs
lola: reporting
lola: not produced: 257
lola: state equation: 1
lola: find path: 2875
lola: goal oriented search: 215
lola: symmetry: 5792
lola: 0 generators;27653262 candidates remain ( 0%), 305 secs
lola: reporting
lola: not produced: 257
lola: state equation: 1
lola: find path: 2875
lola: goal oriented search: 215
lola: symmetry: 5792
lola: 0 generators;24774829 candidates remain ( 0%), 310 secs
lola: reporting
lola: not produced: 254
lola: state equation: 1
lola: find path: 2878
lola: goal oriented search: 215
lola: symmetry: 5792
lola: 0 generators;20921654 candidates remain ( 0%), 315 secs
lola: reporting
lola: not produced: 249
lola: state equation: 1
lola: find path: 2883
lola: goal oriented search: 215
lola: symmetry: 5792
lola: 0 generators;20779719 candidates remain ( 0%), 320 secs
lola: reporting
lola: not produced: 240
lola: state equation: 1
lola: find path: 2885
lola: goal oriented search: 215
lola: symmetry: 5799
lola: 0 generators;20779719 candidates remain ( 0%), 325 secs
lola: reporting
lola: not produced: 240
lola: state equation: 1
lola: find path: 2885
lola: goal oriented search: 215
lola: symmetry: 5799
lola: 0 generators;20779719 candidates remain ( 0%), 330 secs
lola: reporting
lola: not produced: 240
lola: state equation: 1
lola: find path: 2885
lola: goal oriented search: 215
lola: symmetry: 5799
lola: 0 generators;20779719 candidates remain ( 0%), 335 secs
lola: reporting
lola: not produced: 230
lola: state equation: 1
lola: find path: 2888
lola: goal oriented search: 215
lola: symmetry: 5806
lola: 0 generators;20779719 candidates remain ( 0%), 340 secs
lola: reporting
lola: not produced: 228
lola: state equation: 1
lola: find path: 2890
lola: goal oriented search: 215
lola: symmetry: 5806
lola: 0 generators;20663956 candidates remain ( 0%), 345 secs
lola: reporting
lola: not produced: 228
lola: state equation: 1
lola: find path: 2890
lola: goal oriented search: 215
lola: symmetry: 5806
lola: 0 generators;20663956 candidates remain ( 0%), 350 secs
lola: reporting
lola: not produced: 228
lola: state equation: 1
lola: find path: 2890
lola: goal oriented search: 215
lola: symmetry: 5806
lola: 0 generators;20663956 candidates remain ( 0%), 355 secs
lola: reporting
lola: not produced: 221
lola: state equation: 1
lola: find path: 2892
lola: goal oriented search: 215
lola: symmetry: 5811
lola: 0 generators;20663956 candidates remain ( 0%), 360 secs
lola: reporting
lola: not produced: 221
lola: state equation: 1
lola: find path: 2892
lola: goal oriented search: 215
lola: symmetry: 5811
lola: 0 generators;20663956 candidates remain ( 0%), 365 secs
lola: reporting
lola: not produced: 209
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20663956 candidates remain ( 0%), 370 secs
lola: reporting
lola: not produced: 209
lola: state equation: 1
lola: find path: 2897
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20663956 candidates remain ( 0%), 375 secs
lola: reporting
lola: not produced: 204
lola: state equation: 1
lola: find path: 2902
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20663956 candidates remain ( 0%), 380 secs
lola: reporting
lola: not produced: 204
lola: state equation: 1
lola: find path: 2902
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20318509 candidates remain ( 0%), 385 secs
lola: reporting
lola: not produced: 203
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20318509 candidates remain ( 0%), 390 secs
lola: reporting
lola: not produced: 203
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20318509 candidates remain ( 0%), 395 secs
lola: reporting
lola: not produced: 203
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20147002 candidates remain ( 0%), 400 secs
lola: reporting
lola: not produced: 203
lola: state equation: 1
lola: find path: 2903
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20147002 candidates remain ( 0%), 405 secs
lola: reporting
lola: not produced: 202
lola: state equation: 1
lola: find path: 2904
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;20147002 candidates remain ( 0%), 410 secs
lola: reporting
lola: not produced: 202
lola: state equation: 1
lola: find path: 2904
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;17324731 candidates remain ( 0%), 415 secs
lola: reporting
lola: not produced: 200
lola: state equation: 1
lola: find path: 2906
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;17324731 candidates remain ( 0%), 420 secs
lola: reporting
lola: not produced: 200
lola: state equation: 1
lola: find path: 2906
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;17020454 candidates remain ( 0%), 425 secs
lola: reporting
lola: not produced: 197
lola: state equation: 1
lola: find path: 2909
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;17020454 candidates remain ( 0%), 430 secs
lola: reporting
lola: not produced: 195
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;16962221 candidates remain ( 0%), 435 secs
lola: reporting
lola: not produced: 195
lola: state equation: 1
lola: find path: 2911
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;12126742 candidates remain ( 0%), 440 secs
lola: reporting
lola: not produced: 194
lola: state equation: 1
lola: find path: 2912
lola: goal oriented search: 215
lola: symmetry: 5818
lola: 0 generators;12126742 candidates remain ( 0%), 445 secs
lola: reporting
lola: not produced: 186
lola: state equation: 1
lola: find path: 2915
lola: goal oriented search: 215
lola: symmetry: 5823
lola: 0 generators;12126742 candidates remain ( 0%), 450 secs
lola: reporting
lola: not produced: 175
lola: state equation: 1
lola: find path: 2919
lola: goal oriented search: 215
lola: symmetry: 5830
lola: 0 generators;12126742 candidates remain ( 0%), 455 secs
lola: reporting
lola: not produced: 172
lola: state equation: 1
lola: find path: 2922
lola: goal oriented search: 215
lola: symmetry: 5830
lola: 0 generators;12126742 candidates remain ( 0%), 460 secs
lola: reporting
lola: not produced: 172
lola: state equation: 1
lola: find path: 2922
lola: goal oriented search: 215
lola: symmetry: 5830
lola: 0 generators;12126742 candidates remain ( 0%), 465 secs
lola: reporting
lola: not produced: 172
lola: state equation: 1
lola: find path: 2922
lola: goal oriented search: 215
lola: symmetry: 5830
lola: 0 generators;12126742 candidates remain ( 0%), 470 secs
lola: reporting
lola: not produced: 172
lola: state equation: 1
lola: find path: 2922
lola: goal oriented search: 215
lola: symmetry: 5830
lola: 0 generators;12053122 candidates remain ( 0%), 475 secs
lola: reporting
lola: not produced: 166
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12053122 candidates remain ( 0%), 480 secs
lola: reporting
lola: not produced: 166
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12053122 candidates remain ( 0%), 485 secs
lola: reporting
lola: not produced: 166
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12053122 candidates remain ( 0%), 490 secs
lola: reporting
lola: not produced: 166
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 495 secs
lola: reporting
lola: not produced: 166
lola: state equation: 1
lola: find path: 2924
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 500 secs
lola: reporting
lola: not produced: 165
lola: state equation: 1
lola: find path: 2925
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 505 secs
lola: reporting
lola: not produced: 163
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 510 secs
lola: reporting
lola: not produced: 163
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 515 secs
lola: reporting
lola: not produced: 163
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;12004184 candidates remain ( 0%), 520 secs
lola: reporting
lola: not produced: 163
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;11916431 candidates remain ( 0%), 525 secs
lola: reporting
lola: not produced: 163
lola: state equation: 1
lola: find path: 2927
lola: goal oriented search: 215
lola: symmetry: 5834
lola: 0 generators;11916431 candidates remain ( 0%), 530 secs
lola: reporting
lola: not produced: 154
lola: state equation: 1
lola: find path: 2929
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11916431 candidates remain ( 0%), 535 secs
lola: reporting
lola: not produced: 154
lola: state equation: 1
lola: find path: 2929
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11916431 candidates remain ( 0%), 540 secs
lola: reporting
lola: not produced: 154
lola: state equation: 1
lola: find path: 2929
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11916431 candidates remain ( 0%), 545 secs
lola: reporting
lola: not produced: 154
lola: state equation: 1
lola: find path: 2929
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11877500 candidates remain ( 0%), 550 secs
lola: reporting
lola: not produced: 152
lola: state equation: 1
lola: find path: 2931
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11877500 candidates remain ( 0%), 555 secs
lola: reporting
lola: not produced: 152
lola: state equation: 1
lola: find path: 2931
lola: goal oriented search: 215
lola: symmetry: 5841
lola: 0 generators;11877500 candidates remain ( 0%), 560 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11877500 candidates remain ( 0%), 565 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11877500 candidates remain ( 0%), 570 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11843489 candidates remain ( 0%), 575 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11843489 candidates remain ( 0%), 580 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11843489 candidates remain ( 0%), 585 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11843489 candidates remain ( 0%), 590 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11843489 candidates remain ( 0%), 595 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11635676 candidates remain ( 0%), 600 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11635676 candidates remain ( 0%), 605 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11635676 candidates remain ( 0%), 610 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11520429 candidates remain ( 0%), 615 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11520429 candidates remain ( 0%), 620 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11520429 candidates remain ( 0%), 625 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11520429 candidates remain ( 0%), 630 secs
lola: reporting
lola: not produced: 140
lola: state equation: 1
lola: find path: 2936
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11386709 candidates remain ( 0%), 635 secs
lola: reporting
lola: not produced: 137
lola: state equation: 1
lola: find path: 2939
lola: goal oriented search: 215
lola: symmetry: 5848
lola: 0 generators;11386709 candidates remain ( 0%), 640 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;11386709 candidates remain ( 0%), 645 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;11324853 candidates remain ( 0%), 650 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;11324853 candidates remain ( 0%), 655 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;11324853 candidates remain ( 0%), 660 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;11164024 candidates remain ( 0%), 665 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10290191 candidates remain ( 0%), 670 secs
lola: reporting
lola: not produced: 124
lola: state equation: 1
lola: find path: 2943
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10290191 candidates remain ( 0%), 675 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10290191 candidates remain ( 0%), 680 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10290191 candidates remain ( 0%), 685 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10172948 candidates remain ( 0%), 690 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10172948 candidates remain ( 0%), 695 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10172948 candidates remain ( 0%), 700 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10172948 candidates remain ( 0%), 705 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10119062 candidates remain ( 0%), 710 secs
lola: reporting
lola: not produced: 120
lola: state equation: 1
lola: find path: 2947
lola: goal oriented search: 215
lola: symmetry: 5857
lola: 0 generators;10119062 candidates remain ( 0%), 715 secs
lola: reporting
lola: not produced: 113
lola: state equation: 1
lola: find path: 2949
lola: goal oriented search: 215
lola: symmetry: 5862
lola: 0 generators;10119062 candidates remain ( 0%), 720 secs
lola: reporting
lola: not produced: 113
lola: state equation: 1
lola: find path: 2949
lola: goal oriented search: 215
lola: symmetry: 5862
lola: 0 generators;10119062 candidates remain ( 0%), 725 secs
lola: reporting
lola: not produced: 113
lola: state equation: 1
lola: find path: 2949
lola: goal oriented search: 215
lola: symmetry: 5862
lola: 0 generators;10065288 candidates remain ( 0%), 730 secs
lola: reporting
lola: not produced: 113
lola: state equation: 1
lola: find path: 2949
lola: goal oriented search: 215
lola: symmetry: 5862
lola: 0 generators;10065288 candidates remain ( 0%), 735 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators;10016174 candidates remain ( 0%), 740 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators;10016174 candidates remain ( 0%), 745 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators;10016174 candidates remain ( 0%), 750 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9851618 candidates remain ( 0%), 755 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9706052 candidates remain ( 0%), 760 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9706052 candidates remain ( 0%), 765 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9627098 candidates remain ( 0%), 770 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9627098 candidates remain ( 0%), 775 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9036961 candidates remain ( 0%), 780 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9015765 candidates remain ( 0%), 785 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 9015765 candidates remain ( 0%), 790 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 8956566 candidates remain ( 0%), 795 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 8927054 candidates remain ( 0%), 800 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 8842961 candidates remain ( 0%), 805 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 8813652 candidates remain ( 0%), 810 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 8564177 candidates remain ( 0%), 815 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 7586387 candidates remain ( 0%), 820 secs
lola: reporting
lola: not produced: 99
lola: state equation: 1
lola: find path: 2953
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 7586387 candidates remain ( 0%), 825 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 7451296 candidates remain ( 0%), 830 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 7420532 candidates remain ( 0%), 835 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 7363047 candidates remain ( 0%), 840 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 6970443 candidates remain ( 0%), 845 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 6098342 candidates remain ( 0%), 850 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 6001272 candidates remain ( 0%), 855 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 6001272 candidates remain ( 0%), 860 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 6001272 candidates remain ( 0%), 865 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 5942725 candidates remain ( 0%), 870 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 5942725 candidates remain ( 0%), 875 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 5942725 candidates remain ( 0%), 880 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 5911852 candidates remain ( 0%), 885 secs
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 2956
lola: goal oriented search: 215
lola: symmetry: 5872
lola: 0 generators; 5911852 candidates remain ( 0%), 890 secs
lola: reporting
lola: not produced: 89
lola: state equation: 1
lola: find path: 2958
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5870809 candidates remain ( 0%), 895 secs
lola: reporting
lola: not produced: 89
lola: state equation: 1
lola: find path: 2958
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5870809 candidates remain ( 0%), 900 secs
lola: reporting
lola: not produced: 89
lola: state equation: 1
lola: find path: 2958
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5870809 candidates remain ( 0%), 905 secs
lola: reporting
lola: not produced: 89
lola: state equation: 1
lola: find path: 2958
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5823082 candidates remain ( 0%), 910 secs
lola: reporting
lola: not produced: 89
lola: state equation: 1
lola: find path: 2958
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5823082 candidates remain ( 0%), 915 secs
lola: reporting
lola: not produced: 88
lola: state equation: 1
lola: find path: 2959
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5557640 candidates remain ( 0%), 920 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5557640 candidates remain ( 0%), 925 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5491476 candidates remain ( 0%), 930 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5491476 candidates remain ( 0%), 935 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5396329 candidates remain ( 0%), 940 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 5396329 candidates remain ( 0%), 945 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4907384 candidates remain ( 0%), 950 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4579108 candidates remain ( 0%), 955 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4579108 candidates remain ( 0%), 960 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4456471 candidates remain ( 0%), 965 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4230880 candidates remain ( 0%), 970 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4230880 candidates remain ( 0%), 975 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4170411 candidates remain ( 0%), 980 secs
lola: reporting
lola: not produced: 86
lola: state equation: 1
lola: find path: 2961
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4101893 candidates remain ( 0%), 985 secs
lola: reporting
lola: not produced: 85
lola: state equation: 1
lola: find path: 2962
lola: goal oriented search: 215
lola: symmetry: 5877
lola: 0 generators; 4031024 candidates remain ( 0%), 990 secs
lola: reporting
lola: not produced: 76
lola: state equation: 1
lola: find path: 2964
lola: goal oriented search: 215
lola: symmetry: 5884
lola: 0 generators; 3991554 candidates remain ( 0%), 995 secs
lola: reporting
lola: not produced: 76
lola: state equation: 1
lola: find path: 2964
lola: goal oriented search: 215
lola: symmetry: 5884
lola: 0 generators; 3955113 candidates remain ( 0%), 1000 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 3163241 candidates remain ( 0%), 1005 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 2513920 candidates remain ( 0%), 1010 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1667859 candidates remain ( 0%), 1015 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1617728 candidates remain ( 0%), 1020 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1549196 candidates remain ( 0%), 1025 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1448410 candidates remain ( 0%), 1030 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1436712 candidates remain ( 0%), 1035 secs
lola: reporting
lola: not produced: 70
lola: state equation: 1
lola: find path: 2966
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1408515 candidates remain ( 0%), 1040 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1369277 candidates remain ( 0%), 1045 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 1265231 candidates remain ( 0%), 1050 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 759119 candidates remain ( 0%), 1055 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 749567 candidates remain ( 0%), 1060 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 740076 candidates remain ( 0%), 1065 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 730646 candidates remain ( 0%), 1070 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 702740 candidates remain ( 0%), 1075 secs
lola: reporting
lola: not produced: 69
lola: state equation: 1
lola: find path: 2967
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 676568 candidates remain ( 0%), 1080 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 660950 candidates remain ( 0%), 1085 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 653191 candidates remain ( 0%), 1090 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 636776 candidates remain ( 0%), 1095 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 626983 candidates remain ( 0%), 1100 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 580348 candidates remain ( 0%), 1105 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 508382 candidates remain ( 0%), 1110 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 376833 candidates remain ( 0%), 1115 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: 0 generators; 320446 candidates remain ( 0%), 1120 secs
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 68
lola: state equation: 1
lola: find path: 2968
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 67
lola: state equation: 1
lola: find path: 2969
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 67
lola: state equation: 1
lola: find path: 2969
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 67
lola: state equation: 1
lola: find path: 2969
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 67
lola: state equation: 1
lola: find path: 2969
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 67
lola: state equation: 1
lola: find path: 2969
lola: goal oriented search: 215
lola: symmetry: 5888
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 59
lola: state equation: 1
lola: find path: 2972
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 58
lola: state equation: 1
lola: find path: 2973
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 53
lola: state equation: 1
lola: find path: 2978
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 52
lola: state equation: 1
lola: find path: 2979
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 51
lola: state equation: 1
lola: find path: 2980
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 51
lola: state equation: 1
lola: find path: 2980
lola: goal oriented search: 215
lola: symmetry: 5893
lola: reporting
lola: not produced: 51
lola: state equation: 1
lola: find path: 2980
lola: goal oriented search: 215
lola: symmetry: 5893
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="NoC3x3-PT-8B"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-4028"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-8B, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r144-tall-162089134700218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;