grid size = 6
max robots = 18
obstacles = 0.2
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r1_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 576
Produced CNF clauses = 257
Search steps = 0
Wall clock TIME (seconds) = 0.004
CPU/machine TIME (seconds) = 0.000
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r1_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 502
Produced CNF clauses = 272
Search steps = 0
Wall clock TIME (seconds) = 0.004
CPU/machine TIME (seconds) = 0.000
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r1_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 313
Produced CNF clauses = 312
Search steps = 0
Wall clock TIME (seconds) = 0.003
CPU/machine TIME (seconds) = 0.000
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r1_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 550
Produced CNF clauses = 265
Search steps = 0
Wall clock TIME (seconds) = 0.004
CPU/machine TIME (seconds) = 0.000
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r1_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 702
Produced CNF clauses = 234
Search steps = 0
Wall clock TIME (seconds) = 0.005
CPU/machine TIME (seconds) = 0.000
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r1_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 839
Produced CNF clauses = 208
Search steps = 0
Wall clock TIME (seconds) = 0.006
CPU/machine TIME (seconds) = 0.000
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r1_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 930
Produced CNF clauses = 187
Search steps = 0
Wall clock TIME (seconds) = 0.006
CPU/machine TIME (seconds) = 0.000
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r1_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 883
Produced CNF clauses = 206
Search steps = 0
Wall clock TIME (seconds) = 0.006
CPU/machine TIME (seconds) = 0.000
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r1_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 703
Produced CNF clauses = 231
Search steps = 0
Wall clock TIME (seconds) = 0.005
CPU/machine TIME (seconds) = 0.000
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r1_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1016
Produced CNF clauses = 567
Search steps = 0
Wall clock TIME (seconds) = 0.008
CPU/machine TIME (seconds) = 0.000
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r2_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1489
Produced CNF clauses = 492
Search steps = 0
Wall clock TIME (seconds) = 0.009
CPU/machine TIME (seconds) = 0.000
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r2_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1601
Produced CNF clauses = 465
Search steps = 0
Wall clock TIME (seconds) = 0.009
CPU/machine TIME (seconds) = 0.000
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r2_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1206
Produced CNF clauses = 553
Search steps = 0
Wall clock TIME (seconds) = 0.007
CPU/machine TIME (seconds) = 0.000
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r2_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1593
Produced CNF clauses = 478
Search steps = 0
Wall clock TIME (seconds) = 0.010
CPU/machine TIME (seconds) = 0.000
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r2_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1814
Produced CNF clauses = 429
Search steps = 0
Wall clock TIME (seconds) = 0.011
CPU/machine TIME (seconds) = 0.000
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r2_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1769
Produced CNF clauses = 449
Search steps = 0
Wall clock TIME (seconds) = 0.010
CPU/machine TIME (seconds) = 0.000
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r2_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2073
Produced CNF clauses = 382
Search steps = 0
Wall clock TIME (seconds) = 0.012
CPU/machine TIME (seconds) = 0.010
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r2_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1820
Produced CNF clauses = 442
Search steps = 0
Wall clock TIME (seconds) = 0.011
CPU/machine TIME (seconds) = 0.000
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r2_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1603
Produced CNF clauses = 467
Search steps = 0
Wall clock TIME (seconds) = 0.009
CPU/machine TIME (seconds) = 0.000
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r2_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2267
Produced CNF clauses = 1141
Search steps = 0
Wall clock TIME (seconds) = 0.016
CPU/machine TIME (seconds) = 0.010
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r3_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2331
Produced CNF clauses = 786
Search steps = 0
Wall clock TIME (seconds) = 0.012
CPU/machine TIME (seconds) = 0.000
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r3_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2175
Produced CNF clauses = 820
Search steps = 0
Wall clock TIME (seconds) = 0.012
CPU/machine TIME (seconds) = 0.000
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r3_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 1933
Produced CNF clauses = 876
Search steps = 0
Wall clock TIME (seconds) = 0.011
CPU/machine TIME (seconds) = 0.010
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r3_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2817
Produced CNF clauses = 701
Search steps = 0
Wall clock TIME (seconds) = 0.015
CPU/machine TIME (seconds) = 0.010
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r3_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2864
Produced CNF clauses = 682
Search steps = 0
Wall clock TIME (seconds) = 0.015
CPU/machine TIME (seconds) = 0.010
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r3_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2210
Produced CNF clauses = 830
Search steps = 0
Wall clock TIME (seconds) = 0.012
CPU/machine TIME (seconds) = 0.010
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r3_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2859
Produced CNF clauses = 689
Search steps = 0
Wall clock TIME (seconds) = 0.016
CPU/machine TIME (seconds) = 0.010
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r3_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 3161
Produced CNF clauses = 639
Search steps = 0
Wall clock TIME (seconds) = 0.017
CPU/machine TIME (seconds) = 0.010
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r3_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2676
Produced CNF clauses = 713
Search steps = 0
Wall clock TIME (seconds) = 0.014
CPU/machine TIME (seconds) = 0.010
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r3_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 3698
Produced CNF clauses = 1735
Search steps = 0
Wall clock TIME (seconds) = 0.024
CPU/machine TIME (seconds) = 0.020
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r4_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 2702
Produced CNF clauses = 1242
Search steps = 0
Wall clock TIME (seconds) = 0.013
CPU/machine TIME (seconds) = 0.010
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r4_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 3403
Produced CNF clauses = 1083
Search steps = 0
Wall clock TIME (seconds) = 0.017
CPU/machine TIME (seconds) = 0.010
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r4_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 3077
Produced CNF clauses = 1163
Search steps = 0
Wall clock TIME (seconds) = 0.015
CPU/machine TIME (seconds) = 0.010
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r4_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4373
Produced CNF clauses = 909
Search steps = 0
Wall clock TIME (seconds) = 0.023
CPU/machine TIME (seconds) = 0.020
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r4_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4376
Produced CNF clauses = 892
Search steps = 0
Wall clock TIME (seconds) = 0.022
CPU/machine TIME (seconds) = 0.020
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r4_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4092
Produced CNF clauses = 963
Search steps = 0
Wall clock TIME (seconds) = 0.021
CPU/machine TIME (seconds) = 0.010
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r4_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4716
Produced CNF clauses = 837
Search steps = 0
Wall clock TIME (seconds) = 0.024
CPU/machine TIME (seconds) = 0.020
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r4_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4549
Produced CNF clauses = 880
Search steps = 0
Wall clock TIME (seconds) = 0.024
CPU/machine TIME (seconds) = 0.020
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r4_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4142
Produced CNF clauses = 933
Search steps = 0
Wall clock TIME (seconds) = 0.021
CPU/machine TIME (seconds) = 0.010
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r4_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 5845
Produced CNF clauses = 2246
Search steps = 0
Wall clock TIME (seconds) = 0.036
CPU/machine TIME (seconds) = 0.030
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r5_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4066
Produced CNF clauses = 1523
Search steps = 0
Wall clock TIME (seconds) = 0.019
CPU/machine TIME (seconds) = 0.020
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r5_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4582
Produced CNF clauses = 1406
Search steps = 0
Wall clock TIME (seconds) = 0.021
CPU/machine TIME (seconds) = 0.010
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r5_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 4991
Produced CNF clauses = 1323
Search steps = 0
Wall clock TIME (seconds) = 0.024
CPU/machine TIME (seconds) = 0.020
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r5_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 6326
Produced CNF clauses = 1078
Search steps = 0
Wall clock TIME (seconds) = 0.031
CPU/machine TIME (seconds) = 0.030
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r5_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 6153
Produced CNF clauses = 1090
Search steps = 0
Wall clock TIME (seconds) = 0.030
CPU/machine TIME (seconds) = 0.020
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r5_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 5361
Produced CNF clauses = 1271
Search steps = 0
Wall clock TIME (seconds) = 0.026
CPU/machine TIME (seconds) = 0.020
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r5_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 5759
Produced CNF clauses = 1186
Search steps = 0
Wall clock TIME (seconds) = 0.028
CPU/machine TIME (seconds) = 0.020
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r5_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 6156
Produced CNF clauses = 1119
Search steps = 0
Wall clock TIME (seconds) = 0.030
CPU/machine TIME (seconds) = 0.020
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r5_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 5495
Produced CNF clauses = 1217
Search steps = 0
Wall clock TIME (seconds) = 0.027
CPU/machine TIME (seconds) = 0.020
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r5_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 7655
Produced CNF clauses = 2869
Search steps = 0
Wall clock TIME (seconds) = 0.044
CPU/machine TIME (seconds) = 0.040
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r6_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 6100
Produced CNF clauses = 1707
Search steps = 0
Wall clock TIME (seconds) = 0.027
CPU/machine TIME (seconds) = 0.020
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r6_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 5976
Produced CNF clauses = 1733
Search steps = 0
Wall clock TIME (seconds) = 0.027
CPU/machine TIME (seconds) = 0.020
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r6_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 6609
Produced CNF clauses = 1600
Search steps = 0
Wall clock TIME (seconds) = 0.030
CPU/machine TIME (seconds) = 0.020
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r6_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8572
Produced CNF clauses = 1232
Search steps = 0
Wall clock TIME (seconds) = 0.041
CPU/machine TIME (seconds) = 0.040
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r6_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8330
Produced CNF clauses = 1259
Search steps = 0
Wall clock TIME (seconds) = 0.040
CPU/machine TIME (seconds) = 0.040
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r6_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 7907
Produced CNF clauses = 1374
Search steps = 0
Wall clock TIME (seconds) = 0.037
CPU/machine TIME (seconds) = 0.030
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r6_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8025
Produced CNF clauses = 1332
Search steps = 0
Wall clock TIME (seconds) = 0.038
CPU/machine TIME (seconds) = 0.020
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r6_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8587
Produced CNF clauses = 1249
Search steps = 0
Wall clock TIME (seconds) = 0.041
CPU/machine TIME (seconds) = 0.030
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r6_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 7287
Produced CNF clauses = 1450
Search steps = 0
Wall clock TIME (seconds) = 0.034
CPU/machine TIME (seconds) = 0.030
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r6_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10280
Produced CNF clauses = 3396
Search steps = 0
Wall clock TIME (seconds) = 0.057
CPU/machine TIME (seconds) = 0.050
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r7_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 7438
Produced CNF clauses = 2103
Search steps = 0
Wall clock TIME (seconds) = 0.031
CPU/machine TIME (seconds) = 0.020
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r7_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 7407
Produced CNF clauses = 2106
Search steps = 0
Wall clock TIME (seconds) = 0.031
CPU/machine TIME (seconds) = 0.030
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r7_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8236
Produced CNF clauses = 1931
Search steps = 0
Wall clock TIME (seconds) = 0.036
CPU/machine TIME (seconds) = 0.030
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r7_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10858
Produced CNF clauses = 1431
Search steps = 0
Wall clock TIME (seconds) = 0.051
CPU/machine TIME (seconds) = 0.040
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r7_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 9889
Produced CNF clauses = 1605
Search steps = 0
Wall clock TIME (seconds) = 0.045
CPU/machine TIME (seconds) = 0.030
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r7_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 9494
Produced CNF clauses = 1715
Search steps = 0
Wall clock TIME (seconds) = 0.043
CPU/machine TIME (seconds) = 0.030
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r7_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10143
Produced CNF clauses = 1562
Search steps = 0
Wall clock TIME (seconds) = 0.046
CPU/machine TIME (seconds) = 0.040
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r7_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10554
Produced CNF clauses = 1504
Search steps = 0
Wall clock TIME (seconds) = 0.049
CPU/machine TIME (seconds) = 0.040
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r7_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 9293
Produced CNF clauses = 1702
Search steps = 0
Wall clock TIME (seconds) = 0.042
CPU/machine TIME (seconds) = 0.040
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r7_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12798
Produced CNF clauses = 3991
Search steps = 0
Wall clock TIME (seconds) = 0.069
CPU/machine TIME (seconds) = 0.060
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r8_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 8993
Produced CNF clauses = 2504
Search steps = 0
Wall clock TIME (seconds) = 0.036
CPU/machine TIME (seconds) = 0.030
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r8_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10523
Produced CNF clauses = 2159
Search steps = 0
Wall clock TIME (seconds) = 0.044
CPU/machine TIME (seconds) = 0.040
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r8_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 10253
Produced CNF clauses = 2212
Search steps = 0
Wall clock TIME (seconds) = 0.043
CPU/machine TIME (seconds) = 0.040
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r8_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12617
Produced CNF clauses = 1778
Search steps = 0
Wall clock TIME (seconds) = 0.056
CPU/machine TIME (seconds) = 0.050
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r8_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12686
Produced CNF clauses = 1734
Search steps = 0
Wall clock TIME (seconds) = 0.056
CPU/machine TIME (seconds) = 0.050
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r8_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12706
Produced CNF clauses = 1766
Search steps = 0
Wall clock TIME (seconds) = 0.057
CPU/machine TIME (seconds) = 0.050
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r8_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12920
Produced CNF clauses = 1711
Search steps = 0
Wall clock TIME (seconds) = 0.057
CPU/machine TIME (seconds) = 0.050
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r8_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12850
Produced CNF clauses = 1738
Search steps = 0
Wall clock TIME (seconds) = 0.057
CPU/machine TIME (seconds) = 0.050
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r8_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 11485
Produced CNF clauses = 1958
Search steps = 0
Wall clock TIME (seconds) = 0.050
CPU/machine TIME (seconds) = 0.040
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r8_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 15634
Produced CNF clauses = 4576
Search steps = 0
Wall clock TIME (seconds) = 0.080
CPU/machine TIME (seconds) = 0.070
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r9_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 11687
Produced CNF clauses = 2696
Search steps = 0
Wall clock TIME (seconds) = 0.046
CPU/machine TIME (seconds) = 0.040
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r9_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12915
Produced CNF clauses = 2423
Search steps = 0
Wall clock TIME (seconds) = 0.053
CPU/machine TIME (seconds) = 0.050
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r9_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 12354
Produced CNF clauses = 2547
Search steps = 0
Wall clock TIME (seconds) = 0.050
CPU/machine TIME (seconds) = 0.040
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r9_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 15763
Produced CNF clauses = 1892
Search steps = 0
Wall clock TIME (seconds) = 0.069
CPU/machine TIME (seconds) = 0.060
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r9_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 14728
Produced CNF clauses = 2066
Search steps = 0
Wall clock TIME (seconds) = 0.063
CPU/machine TIME (seconds) = 0.060
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r9_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 15044
Produced CNF clauses = 2047
Search steps = 0
Wall clock TIME (seconds) = 0.065
CPU/machine TIME (seconds) = 0.060
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r9_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 15125
Produced CNF clauses = 1999
Search steps = 0
Wall clock TIME (seconds) = 0.065
CPU/machine TIME (seconds) = 0.060
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r9_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 15293
Produced CNF clauses = 2003
Search steps = 0
Wall clock TIME (seconds) = 0.066
CPU/machine TIME (seconds) = 0.060
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r9_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 14166
Produced CNF clauses = 2155
Search steps = 0
Wall clock TIME (seconds) = 0.059
CPU/machine TIME (seconds) = 0.060
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r9_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 18719
Produced CNF clauses = 5167
Search steps = 0
Wall clock TIME (seconds) = 0.093
CPU/machine TIME (seconds) = 0.080
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r10_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 14184
Produced CNF clauses = 2972
Search steps = 0
Wall clock TIME (seconds) = 0.056
CPU/machine TIME (seconds) = 0.040
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r10_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 16140
Produced CNF clauses = 2554
Search steps = 0
Wall clock TIME (seconds) = 0.068
CPU/machine TIME (seconds) = 0.060
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r10_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 14844
Produced CNF clauses = 2834
Search steps = 0
Wall clock TIME (seconds) = 0.059
CPU/machine TIME (seconds) = 0.050
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r10_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 17638
Produced CNF clauses = 2308
Search steps = 0
Wall clock TIME (seconds) = 0.075
CPU/machine TIME (seconds) = 0.070
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r10_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 18128
Produced CNF clauses = 2167
Search steps = 0
Wall clock TIME (seconds) = 0.076
CPU/machine TIME (seconds) = 0.070
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r10_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 17124
Produced CNF clauses = 2426
Search steps = 0
Wall clock TIME (seconds) = 0.071
CPU/machine TIME (seconds) = 0.060
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r10_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 18030
Produced CNF clauses = 2210
Search steps = 0
Wall clock TIME (seconds) = 0.077
CPU/machine TIME (seconds) = 0.060
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r10_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 18350
Produced CNF clauses = 2179
Search steps = 0
Wall clock TIME (seconds) = 0.078
CPU/machine TIME (seconds) = 0.070
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r10_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 16743
Produced CNF clauses = 2432
Search steps = 0
Wall clock TIME (seconds) = 0.070
CPU/machine TIME (seconds) = 0.060
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r10_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 21895
Produced CNF clauses = 5798
Search steps = 0
Wall clock TIME (seconds) = 0.106
CPU/machine TIME (seconds) = 0.100
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r11_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 17340
Produced CNF clauses = 3184
Search steps = 0
Wall clock TIME (seconds) = 0.067
CPU/machine TIME (seconds) = 0.060
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r11_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 17186
Produced CNF clauses = 3203
Search steps = 0
Wall clock TIME (seconds) = 0.066
CPU/machine TIME (seconds) = 0.060
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r11_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 18074
Produced CNF clauses = 3004
Search steps = 0
Wall clock TIME (seconds) = 0.070
CPU/machine TIME (seconds) = 0.060
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r11_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 21849
Produced CNF clauses = 2299
Search steps = 0
Wall clock TIME (seconds) = 0.092
CPU/machine TIME (seconds) = 0.090
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r11_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 21087
Produced CNF clauses = 2411
Search steps = 0
Wall clock TIME (seconds) = 0.090
CPU/machine TIME (seconds) = 0.080
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r11_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 19094
Produced CNF clauses = 2869
Search steps = 0
Wall clock TIME (seconds) = 0.077
CPU/machine TIME (seconds) = 0.060
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r11_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 20321
Produced CNF clauses = 2584
Search steps = 0
Wall clock TIME (seconds) = 0.083
CPU/machine TIME (seconds) = 0.080
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r11_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 21232
Produced CNF clauses = 2446
Search steps = 0
Wall clock TIME (seconds) = 0.089
CPU/machine TIME (seconds) = 0.080
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r11_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 19283
Produced CNF clauses = 2754
Search steps = 0
Wall clock TIME (seconds) = 0.077
CPU/machine TIME (seconds) = 0.070
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r11_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 25933
Produced CNF clauses = 6313
Search steps = 0
Wall clock TIME (seconds) = 0.122
CPU/machine TIME (seconds) = 0.120
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r12_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 20467
Produced CNF clauses = 3424
Search steps = 0
Wall clock TIME (seconds) = 0.078
CPU/machine TIME (seconds) = 0.070
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r12_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 20810
Produced CNF clauses = 3348
Search steps = 0
Wall clock TIME (seconds) = 0.079
CPU/machine TIME (seconds) = 0.070
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r12_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 20615
Produced CNF clauses = 3384
Search steps = 0
Wall clock TIME (seconds) = 0.078
CPU/machine TIME (seconds) = 0.070
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r12_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 24348
Produced CNF clauses = 2680
Search steps = 0
Wall clock TIME (seconds) = 0.099
CPU/machine TIME (seconds) = 0.090
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r12_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 24736
Produced CNF clauses = 2552
Search steps = 0
Wall clock TIME (seconds) = 0.101
CPU/machine TIME (seconds) = 0.100
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r12_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 23539
Produced CNF clauses = 2858
Search steps = 0
Wall clock TIME (seconds) = 0.096
CPU/machine TIME (seconds) = 0.090
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r12_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 24445
Produced CNF clauses = 2648
Search steps = 0
Wall clock TIME (seconds) = 0.100
CPU/machine TIME (seconds) = 0.100
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r12_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 25635
Produced CNF clauses = 2455
Search steps = 0
Wall clock TIME (seconds) = 0.106
CPU/machine TIME (seconds) = 0.100
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r12_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 22840
Produced CNF clauses = 2909
Search steps = 0
Wall clock TIME (seconds) = 0.090
CPU/machine TIME (seconds) = 0.090
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r12_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 29935
Produced CNF clauses = 6888
Search steps = 0
Wall clock TIME (seconds) = 0.137
CPU/machine TIME (seconds) = 0.130
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r13_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 23075
Produced CNF clauses = 3847
Search steps = 0
Wall clock TIME (seconds) = 0.085
CPU/machine TIME (seconds) = 0.080
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r13_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 24804
Produced CNF clauses = 3460
Search steps = 0
Wall clock TIME (seconds) = 0.094
CPU/machine TIME (seconds) = 0.090
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r13_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 23928
Produced CNF clauses = 3653
Search steps = 0
Wall clock TIME (seconds) = 0.090
CPU/machine TIME (seconds) = 0.090
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r13_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 27810
Produced CNF clauses = 2916
Search steps = 0
Wall clock TIME (seconds) = 0.111
CPU/machine TIME (seconds) = 0.100
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r13_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 27488
Produced CNF clauses = 2926
Search steps = 0
Wall clock TIME (seconds) = 0.110
CPU/machine TIME (seconds) = 0.100
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r13_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 26844
Produced CNF clauses = 3125
Search steps = 0
Wall clock TIME (seconds) = 0.106
CPU/machine TIME (seconds) = 0.100
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r13_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 27973
Produced CNF clauses = 2880
Search steps = 0
Wall clock TIME (seconds) = 0.113
CPU/machine TIME (seconds) = 0.100
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r13_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 28561
Produced CNF clauses = 2806
Search steps = 0
Wall clock TIME (seconds) = 0.115
CPU/machine TIME (seconds) = 0.110
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r13_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 25558
Produced CNF clauses = 3295
Search steps = 0
Wall clock TIME (seconds) = 0.099
CPU/machine TIME (seconds) = 0.100
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r13_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 33718
Produced CNF clauses = 7558
Search steps = 0
Wall clock TIME (seconds) = 0.150
CPU/machine TIME (seconds) = 0.140
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r14_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 25982
Produced CNF clauses = 4245
Search steps = 0
Wall clock TIME (seconds) = 0.093
CPU/machine TIME (seconds) = 0.090
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r14_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 27897
Produced CNF clauses = 3819
Search steps = 0
Wall clock TIME (seconds) = 0.103
CPU/machine TIME (seconds) = 0.100
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r14_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 27626
Produced CNF clauses = 3879
Search steps = 0
Wall clock TIME (seconds) = 0.102
CPU/machine TIME (seconds) = 0.100
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r14_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 32237
Produced CNF clauses = 3003
Search steps = 0
Wall clock TIME (seconds) = 0.128
CPU/machine TIME (seconds) = 0.120
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r14_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 31120
Produced CNF clauses = 3169
Search steps = 0
Wall clock TIME (seconds) = 0.122
CPU/machine TIME (seconds) = 0.120
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r14_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 31975
Produced CNF clauses = 3085
Search steps = 0
Wall clock TIME (seconds) = 0.127
CPU/machine TIME (seconds) = 0.120
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r14_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 32220
Produced CNF clauses = 3000
Search steps = 0
Wall clock TIME (seconds) = 0.130
CPU/machine TIME (seconds) = 0.120
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r14_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 32694
Produced CNF clauses = 2947
Search steps = 0
Wall clock TIME (seconds) = 0.130
CPU/machine TIME (seconds) = 0.120
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r14_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 29493
Produced CNF clauses = 3472
Search steps = 0
Wall clock TIME (seconds) = 0.112
CPU/machine TIME (seconds) = 0.100
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r14_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 38400
Produced CNF clauses = 8113
Search steps = 0
Wall clock TIME (seconds) = 0.167
CPU/machine TIME (seconds) = 0.160
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r15_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 30365
Produced CNF clauses = 4379
Search steps = 0
Wall clock TIME (seconds) = 0.107
CPU/machine TIME (seconds) = 0.100
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r15_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 31781
Produced CNF clauses = 4058
Search steps = 0
Wall clock TIME (seconds) = 0.116
CPU/machine TIME (seconds) = 0.110
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r15_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 30903
Produced CNF clauses = 4252
Search steps = 0
Wall clock TIME (seconds) = 0.111
CPU/machine TIME (seconds) = 0.100
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r15_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 35873
Produced CNF clauses = 3295
Search steps = 0
Wall clock TIME (seconds) = 0.139
CPU/machine TIME (seconds) = 0.130
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r15_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 34914
Produced CNF clauses = 3437
Search steps = 0
Wall clock TIME (seconds) = 0.134
CPU/machine TIME (seconds) = 0.120
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r15_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 35328
Produced CNF clauses = 3434
Search steps = 0
Wall clock TIME (seconds) = 0.136
CPU/machine TIME (seconds) = 0.130
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r15_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 35853
Produced CNF clauses = 3278
Search steps = 0
Wall clock TIME (seconds) = 0.139
CPU/machine TIME (seconds) = 0.140
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r15_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 36758
Produced CNF clauses = 3162
Search steps = 0
Wall clock TIME (seconds) = 0.144
CPU/machine TIME (seconds) = 0.130
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r15_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 33101
Produced CNF clauses = 3768
Search steps = 0
Wall clock TIME (seconds) = 0.123
CPU/machine TIME (seconds) = 0.120
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r15_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 43168
Produced CNF clauses = 8695
Search steps = 0
Wall clock TIME (seconds) = 0.187
CPU/machine TIME (seconds) = 0.180
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r16_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 34159
Produced CNF clauses = 4682
Search steps = 0
Wall clock TIME (seconds) = 0.123
CPU/machine TIME (seconds) = 0.120
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r16_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 34991
Produced CNF clauses = 4486
Search steps = 0
Wall clock TIME (seconds) = 0.125
CPU/machine TIME (seconds) = 0.110
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r16_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 35435
Produced CNF clauses = 4395
Search steps = 0
Wall clock TIME (seconds) = 0.129
CPU/machine TIME (seconds) = 0.120
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r16_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 39664
Produced CNF clauses = 3603
Search steps = 0
Wall clock TIME (seconds) = 0.151
CPU/machine TIME (seconds) = 0.150
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r16_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 39428
Produced CNF clauses = 3589
Search steps = 0
Wall clock TIME (seconds) = 0.148
CPU/machine TIME (seconds) = 0.140
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r16_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 37775
Produced CNF clauses = 4010
Search steps = 0
Wall clock TIME (seconds) = 0.141
CPU/machine TIME (seconds) = 0.130
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r16_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 40189
Produced CNF clauses = 3479
Search steps = 0
Wall clock TIME (seconds) = 0.154
CPU/machine TIME (seconds) = 0.150
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r16_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 41060
Produced CNF clauses = 3375
Search steps = 0
Wall clock TIME (seconds) = 0.159
CPU/machine TIME (seconds) = 0.150
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r16_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 37595
Produced CNF clauses = 3922
Search steps = 0
Wall clock TIME (seconds) = 0.139
CPU/machine TIME (seconds) = 0.130
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r16_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 47614
Produced CNF clauses = 9400
Search steps = 0
Wall clock TIME (seconds) = 0.206
CPU/machine TIME (seconds) = 0.200
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r17_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 38592
Produced CNF clauses = 4898
Search steps = 0
Wall clock TIME (seconds) = 0.135
CPU/machine TIME (seconds) = 0.130
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r17_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 40044
Produced CNF clauses = 4568
Search steps = 0
Wall clock TIME (seconds) = 0.142
CPU/machine TIME (seconds) = 0.140
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r17_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 39352
Produced CNF clauses = 4723
Search steps = 0
Wall clock TIME (seconds) = 0.140
CPU/machine TIME (seconds) = 0.130
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r17_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 44291
Produced CNF clauses = 3790
Search steps = 0
Wall clock TIME (seconds) = 0.168
CPU/machine TIME (seconds) = 0.160
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r17_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 44189
Produced CNF clauses = 3748
Search steps = 0
Wall clock TIME (seconds) = 0.168
CPU/machine TIME (seconds) = 0.160
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r17_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 42698
Produced CNF clauses = 4138
Search steps = 0
Wall clock TIME (seconds) = 0.158
CPU/machine TIME (seconds) = 0.150
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r17_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 44093
Produced CNF clauses = 3804
Search steps = 0
Wall clock TIME (seconds) = 0.165
CPU/machine TIME (seconds) = 0.150
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r17_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 45687
Produced CNF clauses = 3557
Search steps = 0
Wall clock TIME (seconds) = 0.177
CPU/machine TIME (seconds) = 0.170
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r17_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 41992
Produced CNF clauses = 4156
Search steps = 0
Wall clock TIME (seconds) = 0.153
CPU/machine TIME (seconds) = 0.140
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r17_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 52532
Produced CNF clauses = 10059
Search steps = 0
Wall clock TIME (seconds) = 0.217
CPU/machine TIME (seconds) = 0.210
]
]
3455
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r18_3455.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 43701
Produced CNF clauses = 5013
Search steps = 0
Wall clock TIME (seconds) = 0.159
CPU/machine TIME (seconds) = 0.150
]
]
12
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r18_12.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 44843
Produced CNF clauses = 4761
Search steps = 0
Wall clock TIME (seconds) = 0.163
CPU/machine TIME (seconds) = 0.160
]
]
45
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r18_45.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 43531
Produced CNF clauses = 5061
Search steps = 0
Wall clock TIME (seconds) = 0.157
CPU/machine TIME (seconds) = 0.140
]
]
78
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r18_78.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 49441
Produced CNF clauses = 3917
Search steps = 0
Wall clock TIME (seconds) = 0.190
CPU/machine TIME (seconds) = 0.180
]
]
8546
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r18_8546.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 48587
Produced CNF clauses = 4019
Search steps = 0
Wall clock TIME (seconds) = 0.187
CPU/machine TIME (seconds) = 0.180
]
]
474
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r18_474.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 47511
Produced CNF clauses = 4334
Search steps = 0
Wall clock TIME (seconds) = 0.179
CPU/machine TIME (seconds) = 0.170
]
]
188
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r18_188.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 48551
Produced CNF clauses = 4062
Search steps = 0
Wall clock TIME (seconds) = 0.186
CPU/machine TIME (seconds) = 0.180
]
]
7899
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r18_7899.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 50031
Produced CNF clauses = 3853
Search steps = 0
Wall clock TIME (seconds) = 0.191
CPU/machine TIME (seconds) = 0.180
]
]
9
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r18_9.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 46353
Produced CNF clauses = 4431
Search steps = 0
Wall clock TIME (seconds) = 0.173
CPU/machine TIME (seconds) = 0.160
]
]
774
./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r18_774.cnf
================================================================
reLOC 0.09-vegas : Grid Instance Generator
(C) Copyright 2011-2013 Pavel Surynek
----------------------------------------------------------------
Phase statistics (current phase = 'root_phase') [
Phase (name = 'root_phase') [
Total SAT solver calls = 0
Satisfiable SAT solver calls = 0
Unsatisfiable SAT solver calls = 0
Indeterminate SAT solver calls = 0
Move executions = 0
Produced CNF variables = 58669
Produced CNF clauses = 10553
Search steps = 0
Wall clock TIME (seconds) = 0.243
CPU/machine TIME (seconds) = 0.230
]
]
grid size = 6
max robots = 18
1,3455
c number of literals = 7593
c number of literals / number of clauses = 3.036
1,12
c number of literals = 6752
c number of literals / number of clauses = 3.073
1,45
c number of literals = 4657
c number of literals / number of clauses = 3.326
1,78
c number of literals = 7275
c number of literals / number of clauses = 3.012
1,8546
c number of literals = 8972
c number of literals / number of clauses = 2.938
1,474
c number of literals = 10517
c number of literals / number of clauses = 2.898
1,188
c number of literals = 11521
c number of literals / number of clauses = 2.874
1,7899
c number of literals = 10997
c number of literals / number of clauses = 2.861
1,9
c number of literals = 8986
c number of literals / number of clauses = 2.949
1,774
c number of literals = 16874
c number of literals / number of clauses = 3.062
2,3455
c number of literals = 17995
c number of literals / number of clauses = 3.022
2,12
c number of literals = 19230
c number of literals / number of clauses = 2.996
2,45
c number of literals = 14845
c number of literals / number of clauses = 3.111
2,78
c number of literals = 19105
c number of literals / number of clauses = 2.965
2,8546
c number of literals = 21573
c number of literals / number of clauses = 2.932
2,474
c number of literals = 21082
c number of literals / number of clauses = 2.928
2,188
c number of literals = 24457
c number of literals / number of clauses = 2.887
2,7899
c number of literals = 21638
c number of literals / number of clauses = 2.911
2,9
c number of literals = 19214
c number of literals / number of clauses = 2.977
2,774
c number of literals = 35140
c number of literals / number of clauses = 3.080
3,3455
c number of literals = 26637
c number of literals / number of clauses = 3.081
3,12
c number of literals = 24851
c number of literals / number of clauses = 3.099
3,45
c number of literals = 22205
c number of literals / number of clauses = 3.173
3,78
c number of literals = 31996
c number of literals / number of clauses = 2.970
3,8546
c number of literals = 32514
c number of literals / number of clauses = 2.972
3,474
c number of literals = 25208
c number of literals / number of clauses = 3.058
3,188
c number of literals = 32434
c number of literals / number of clauses = 2.961
3,7899
c number of literals = 35842
c number of literals / number of clauses = 2.927
3,9
c number of literals = 30415
c number of literals / number of clauses = 3.004
3,774
c number of literals = 54070
c number of literals / number of clauses = 3.102
4,3455
c number of literals = 29016
c number of literals / number of clauses = 3.229
4,12
c number of literals = 36838
c number of literals / number of clauses = 3.101
4,45
c number of literals = 33268
c number of literals / number of clauses = 3.162
4,78
c number of literals = 47634
c number of literals / number of clauses = 2.967
4,8546
c number of literals = 47660
c number of literals / number of clauses = 2.976
4,474
c number of literals = 44513
c number of literals / number of clauses = 2.996
4,188
c number of literals = 51431
c number of literals / number of clauses = 2.938
4,7899
c number of literals = 49599
c number of literals / number of clauses = 2.949
4,9
c number of literals = 45045
c number of literals / number of clauses = 3.001
4,774
c number of literals = 80735
c number of literals / number of clauses = 3.073
5,3455
c number of literals = 41573
c number of literals / number of clauses = 3.211
5,12
c number of literals = 47306
c number of literals / number of clauses = 3.135
5,45
c number of literals = 52008
c number of literals / number of clauses = 3.106
5,78
c number of literals = 66758
c number of literals / number of clauses = 2.963
5,8546
c number of literals = 64813
c number of literals / number of clauses = 2.983
5,474
c number of literals = 55980
c number of literals / number of clauses = 3.033
5,188
c number of literals = 60353
c number of literals / number of clauses = 2.995
5,7899
c number of literals = 64847
c number of literals / number of clauses = 2.969
5,9
c number of literals = 57448
c number of literals / number of clauses = 3.033
5,774
c number of literals = 101251
c number of literals / number of clauses = 3.106
6,3455
c number of literals = 60677
c number of literals / number of clauses = 3.156
6,12
c number of literals = 59215
c number of literals / number of clauses = 3.159
6,45
c number of literals = 66455
c number of literals / number of clauses = 3.119
6,78
c number of literals = 88200
c number of literals / number of clauses = 2.964
6,8546
c number of literals = 85475
c number of literals / number of clauses = 2.981
6,474
c number of literals = 80779
c number of literals / number of clauses = 2.994
6,188
c number of literals = 82011
c number of literals / number of clauses = 2.987
6,7899
c number of literals = 88348
c number of literals / number of clauses = 2.955
6,9
c number of literals = 73811
c number of literals / number of clauses = 3.047
6,774
c number of literals = 130802
c number of literals / number of clauses = 3.094
7,3455
c number of literals = 70993
c number of literals / number of clauses = 3.194
7,12
c number of literals = 70565
c number of literals / number of clauses = 3.189
7,45
c number of literals = 80027
c number of literals / number of clauses = 3.140
7,78
c number of literals = 109117
c number of literals / number of clauses = 2.971
7,8546
c number of literals = 98242
c number of literals / number of clauses = 3.014
7,474
c number of literals = 93871
c number of literals / number of clauses = 3.026
7,188
c number of literals = 101037
c number of literals / number of clauses = 2.997
7,7899
c number of literals = 105700
c number of literals / number of clauses = 2.978
7,9
c number of literals = 91589
c number of literals / number of clauses = 3.052
7,774
c number of literals = 157238
c number of literals / number of clauses = 3.108
8,3455
c number of literals = 82771
c number of literals / number of clauses = 3.222
8,12
c number of literals = 99850
c number of literals / number of clauses = 3.119
8,45
c number of literals = 97019
c number of literals / number of clauses = 3.152
8,78
c number of literals = 123169
c number of literals / number of clauses = 3.004
8,8546
c number of literals = 123924
c number of literals / number of clauses = 3.008
8,474
c number of literals = 124208
c number of literals / number of clauses = 3.002
8,188
c number of literals = 126473
c number of literals / number of clauses = 2.990
8,7899
c number of literals = 125772
c number of literals / number of clauses = 2.994
8,9
c number of literals = 110489
c number of literals / number of clauses = 3.062
8,774
c number of literals = 186162
c number of literals / number of clauses = 3.118
9,3455
c number of literals = 106367
c number of literals / number of clauses = 3.187
9,12
c number of literals = 120040
c number of literals / number of clauses = 3.120
9,45
c number of literals = 113961
c number of literals / number of clauses = 3.161
9,78
c number of literals = 151791
c number of literals / number of clauses = 2.997
9,8546
c number of literals = 140178
c number of literals / number of clauses = 3.035
9,474
c number of literals = 143781
c number of literals / number of clauses = 3.018
9,188
c number of literals = 144558
c number of literals / number of clauses = 3.016
9,7899
c number of literals = 146510
c number of literals / number of clauses = 3.006
9,9
c number of literals = 133907
c number of literals / number of clauses = 3.062
9,774
c number of literals = 216661
c number of literals / number of clauses = 3.127
10,3455
c number of literals = 126792
c number of literals / number of clauses = 3.189
10,12
c number of literals = 148606
c number of literals / number of clauses = 3.101
10,45
c number of literals = 134310
c number of literals / number of clauses = 3.164
10,78
c number of literals = 165210
c number of literals / number of clauses = 3.032
10,8546
c number of literals = 170681
c number of literals / number of clauses = 3.026
10,474
c number of literals = 159498
c number of literals / number of clauses = 3.046
10,188
c number of literals = 169500
c number of literals / number of clauses = 3.020
10,7899
c number of literals = 173171
c number of literals / number of clauses = 3.010
10,9
c number of literals = 155181
c number of literals / number of clauses = 3.070
10,774
c number of literals = 246647
c number of literals / number of clauses = 3.140
11,3455
c number of literals = 153610
c number of literals / number of clauses = 3.165
11,12
c number of literals = 151765
c number of literals / number of clauses = 3.168
11,45
c number of literals = 161996
c number of literals / number of clauses = 3.150
11,78
c number of literals = 203830
c number of literals / number of clauses = 3.012
11,8546
c number of literals = 195270
c number of literals / number of clauses = 3.035
11,474
c number of literals = 173021
c number of literals / number of clauses = 3.082
11,188
c number of literals = 186605
c number of literals / number of clauses = 3.047
11,7899
c number of literals = 196896
c number of literals / number of clauses = 3.021
11,9
c number of literals = 175083
c number of literals / number of clauses = 3.088
11,774
c number of literals = 286299
c number of literals / number of clauses = 3.134
12,3455
c number of literals = 179161
c number of literals / number of clauses = 3.163
12,12
c number of literals = 182866
c number of literals / number of clauses = 3.146
12,45
c number of literals = 180973
c number of literals / number of clauses = 3.167
12,78
c number of literals = 222308
c number of literals / number of clauses = 3.036
12,8546
c number of literals = 226632
c number of literals / number of clauses = 3.035
12,474
c number of literals = 213303
c number of literals / number of clauses = 3.054
12,188
c number of literals = 223263
c number of literals / number of clauses = 3.032
12,7899
c number of literals = 236690
c number of literals / number of clauses = 3.006
12,9
c number of literals = 205419
c number of literals / number of clauses = 3.083
12,774
c number of literals = 323767
c number of literals / number of clauses = 3.138
13,3455
c number of literals = 197900
c number of literals / number of clauses = 3.180
13,12
c number of literals = 217150
c number of literals / number of clauses = 3.128
13,45
c number of literals = 207633
c number of literals / number of clauses = 3.163
13,78
c number of literals = 250604
c number of literals / number of clauses = 3.043
13,8546
c number of literals = 246974
c number of literals / number of clauses = 3.056
13,474
c number of literals = 239847
c number of literals / number of clauses = 3.063
13,188
c number of literals = 252277
c number of literals / number of clauses = 3.036
13,7899
c number of literals = 258975
c number of literals / number of clauses = 3.023
13,9
c number of literals = 225375
c number of literals / number of clauses = 3.103
13,774
c number of literals = 356637
c number of literals / number of clauses = 3.153
14,3455
c number of literals = 219033
c number of literals / number of clauses = 3.193
14,12
c number of literals = 240356
c number of literals / number of clauses = 3.140
14,45
c number of literals = 237651
c number of literals / number of clauses = 3.158
14,78
c number of literals = 288744
c number of literals / number of clauses = 3.037
14,8546
c number of literals = 276207
c number of literals / number of clauses = 3.063
14,474
c number of literals = 285864
c number of literals / number of clauses = 3.040
14,188
c number of literals = 288392
c number of literals / number of clauses = 3.034
14,7899
c number of literals = 293827
c number of literals / number of clauses = 3.025
14,9
c number of literals = 258007
c number of literals / number of clauses = 3.099
14,774
c number of literals = 399653
c number of literals / number of clauses = 3.152
15,3455
c number of literals = 255746
c number of literals / number of clauses = 3.172
15,12
c number of literals = 271463
c number of literals / number of clauses = 3.138
15,45
c number of literals = 261971
c number of literals / number of clauses = 3.167
15,78
c number of literals = 317058
c number of literals / number of clauses = 3.049
15,8546
c number of literals = 306277
c number of literals / number of clauses = 3.068
15,474
c number of literals = 311014
c number of literals / number of clauses = 3.056
15,188
c number of literals = 316675
c number of literals / number of clauses = 3.047
15,7899
c number of literals = 326926
c number of literals / number of clauses = 3.030
15,9
c number of literals = 286003
c number of literals / number of clauses = 3.106
15,774
c number of literals = 442104
c number of literals / number of clauses = 3.156
16,3455
c number of literals = 284891
c number of literals / number of clauses = 3.175
16,12
c number of literals = 294047
c number of literals / number of clauses = 3.155
16,45
c number of literals = 299406
c number of literals / number of clauses = 3.156
16,78
c number of literals = 346141
c number of literals / number of clauses = 3.060
16,8546
c number of literals = 343463
c number of literals / number of clauses = 3.068
16,474
c number of literals = 325051
c number of literals / number of clauses = 3.088
16,188
c number of literals = 351848
c number of literals / number of clauses = 3.050
16,7899
c number of literals = 361725
c number of literals / number of clauses = 3.035
16,9
c number of literals = 322967
c number of literals / number of clauses = 3.102
16,774
c number of literals = 478590
c number of literals / number of clauses = 3.169
17,3455
c number of literals = 320232
c number of literals / number of clauses = 3.169
17,12
c number of literals = 336330
c number of literals / number of clauses = 3.141
17,45
c number of literals = 328971
c number of literals / number of clauses = 3.162
17,78
c number of literals = 383621
c number of literals / number of clauses = 3.061
17,8546
c number of literals = 382439
c number of literals / number of clauses = 3.067
17,474
c number of literals = 365852
c number of literals / number of clauses = 3.082
17,188
c number of literals = 381225
c number of literals / number of clauses = 3.062
17,7899
c number of literals = 399210
c number of literals / number of clauses = 3.039
17,9
c number of literals = 357864
c number of literals / number of clauses = 3.103
17,774
c number of literals = 519602
c number of literals / number of clauses = 3.179
18,3455
c number of literals = 362190
c number of literals / number of clauses = 3.158
18,12
c number of literals = 374788
c number of literals / number of clauses = 3.136
18,45
c number of literals = 360488
c number of literals / number of clauses = 3.164
18,78
c number of literals = 425994
c number of literals / number of clauses = 3.060
18,8546
c number of literals = 416390
c number of literals / number of clauses = 3.075
18,474
c number of literals = 404455
c number of literals / number of clauses = 3.083
18,188
c number of literals = 415843
c number of literals / number of clauses = 3.070
18,7899
c number of literals = 432548
c number of literals / number of clauses = 3.048
18,9
c number of literals = 391404
c number of literals / number of clauses = 3.109
18,774
c number of literals = 574970
c number of literals / number of clauses = 3.171
grid size = 6
max robots = 18
1,3455
c number of visible variables = 60
c number of hidden variables = 516
c number of propositional variables = 576
c number of clauses / number of variables = 4.342
1,12
c number of visible variables = 60
c number of hidden variables = 442
c number of propositional variables = 502
c number of clauses / number of variables = 4.376
1,45
c number of visible variables = 60
c number of hidden variables = 253
c number of propositional variables = 313
c number of clauses / number of variables = 4.473
1,78
c number of visible variables = 60
c number of hidden variables = 490
c number of propositional variables = 550
c number of clauses / number of variables = 4.391
1,8546
c number of visible variables = 60
c number of hidden variables = 642
c number of propositional variables = 702
c number of clauses / number of variables = 4.350
1,474
c number of visible variables = 60
c number of hidden variables = 779
c number of propositional variables = 839
c number of clauses / number of variables = 4.325
1,188
c number of visible variables = 60
c number of hidden variables = 870
c number of propositional variables = 930
c number of clauses / number of variables = 4.311
1,7899
c number of visible variables = 60
c number of hidden variables = 823
c number of propositional variables = 883
c number of clauses / number of variables = 4.353
1,9
c number of visible variables = 60
c number of hidden variables = 643
c number of propositional variables = 703
c number of clauses / number of variables = 4.334
1,774
c number of visible variables = 72
c number of hidden variables = 944
c number of propositional variables = 1016
c number of clauses / number of variables = 5.424
2,3455
c number of visible variables = 120
c number of hidden variables = 1369
c number of propositional variables = 1489
c number of clauses / number of variables = 3.999
2,12
c number of visible variables = 120
c number of hidden variables = 1481
c number of propositional variables = 1601
c number of clauses / number of variables = 4.009
2,45
c number of visible variables = 120
c number of hidden variables = 1086
c number of propositional variables = 1206
c number of clauses / number of variables = 3.957
2,78
c number of visible variables = 120
c number of hidden variables = 1473
c number of propositional variables = 1593
c number of clauses / number of variables = 4.045
2,8546
c number of visible variables = 120
c number of hidden variables = 1694
c number of propositional variables = 1814
c number of clauses / number of variables = 4.056
2,474
c number of visible variables = 120
c number of hidden variables = 1649
c number of propositional variables = 1769
c number of clauses / number of variables = 4.071
2,188
c number of visible variables = 120
c number of hidden variables = 1953
c number of propositional variables = 2073
c number of clauses / number of variables = 4.086
2,7899
c number of visible variables = 120
c number of hidden variables = 1700
c number of propositional variables = 1820
c number of clauses / number of variables = 4.085
2,9
c number of visible variables = 120
c number of hidden variables = 1483
c number of propositional variables = 1603
c number of clauses / number of variables = 4.027
2,774
c number of visible variables = 144
c number of hidden variables = 2123
c number of propositional variables = 2267
c number of clauses / number of variables = 5.033
3,3455
c number of visible variables = 180
c number of hidden variables = 2151
c number of propositional variables = 2331
c number of clauses / number of variables = 3.709
3,12
c number of visible variables = 180
c number of hidden variables = 1995
c number of propositional variables = 2175
c number of clauses / number of variables = 3.687
3,45
c number of visible variables = 180
c number of hidden variables = 1753
c number of propositional variables = 1933
c number of clauses / number of variables = 3.620
3,78
c number of visible variables = 180
c number of hidden variables = 2637
c number of propositional variables = 2817
c number of clauses / number of variables = 3.824
3,8546
c number of visible variables = 180
c number of hidden variables = 2684
c number of propositional variables = 2864
c number of clauses / number of variables = 3.820
3,474
c number of visible variables = 180
c number of hidden variables = 2030
c number of propositional variables = 2210
c number of clauses / number of variables = 3.730
3,188
c number of visible variables = 180
c number of hidden variables = 2679
c number of propositional variables = 2859
c number of clauses / number of variables = 3.831
3,7899
c number of visible variables = 180
c number of hidden variables = 2981
c number of propositional variables = 3161
c number of clauses / number of variables = 3.873
3,9
c number of visible variables = 180
c number of hidden variables = 2496
c number of propositional variables = 2676
c number of clauses / number of variables = 3.783
3,774
c number of visible variables = 216
c number of hidden variables = 3482
c number of propositional variables = 3698
c number of clauses / number of variables = 4.713
4,3455
c number of visible variables = 240
c number of hidden variables = 2462
c number of propositional variables = 2702
c number of clauses / number of variables = 3.326
4,12
c number of visible variables = 240
c number of hidden variables = 3163
c number of propositional variables = 3403
c number of clauses / number of variables = 3.491
4,45
c number of visible variables = 240
c number of hidden variables = 2837
c number of propositional variables = 3077
c number of clauses / number of variables = 3.419
4,78
c number of visible variables = 240
c number of hidden variables = 4133
c number of propositional variables = 4373
c number of clauses / number of variables = 3.672
4,8546
c number of visible variables = 240
c number of hidden variables = 4136
c number of propositional variables = 4376
c number of clauses / number of variables = 3.660
4,474
c number of visible variables = 240
c number of hidden variables = 3852
c number of propositional variables = 4092
c number of clauses / number of variables = 3.630
4,188
c number of visible variables = 240
c number of hidden variables = 4476
c number of propositional variables = 4716
c number of clauses / number of variables = 3.712
4,7899
c number of visible variables = 240
c number of hidden variables = 4309
c number of propositional variables = 4549
c number of clauses / number of variables = 3.698
4,9
c number of visible variables = 240
c number of hidden variables = 3902
c number of propositional variables = 4142
c number of clauses / number of variables = 3.624
4,774
c number of visible variables = 288
c number of hidden variables = 5557
c number of propositional variables = 5845
c number of clauses / number of variables = 4.495
5,3455
c number of visible variables = 300
c number of hidden variables = 3766
c number of propositional variables = 4066
c number of clauses / number of variables = 3.184
5,12
c number of visible variables = 300
c number of hidden variables = 4282
c number of propositional variables = 4582
c number of clauses / number of variables = 3.293
5,45
c number of visible variables = 300
c number of hidden variables = 4691
c number of propositional variables = 4991
c number of clauses / number of variables = 3.354
5,78
c number of visible variables = 300
c number of hidden variables = 6026
c number of propositional variables = 6326
c number of clauses / number of variables = 3.561
5,8546
c number of visible variables = 300
c number of hidden variables = 5853
c number of propositional variables = 6153
c number of clauses / number of variables = 3.531
5,474
c number of visible variables = 300
c number of hidden variables = 5061
c number of propositional variables = 5361
c number of clauses / number of variables = 3.443
5,188
c number of visible variables = 300
c number of hidden variables = 5459
c number of propositional variables = 5759
c number of clauses / number of variables = 3.500
5,7899
c number of visible variables = 300
c number of hidden variables = 5856
c number of propositional variables = 6156
c number of clauses / number of variables = 3.548
5,9
c number of visible variables = 300
c number of hidden variables = 5195
c number of propositional variables = 5495
c number of clauses / number of variables = 3.447
5,774
c number of visible variables = 360
c number of hidden variables = 7295
c number of propositional variables = 7655
c number of clauses / number of variables = 4.258
6,3455
c number of visible variables = 360
c number of hidden variables = 5740
c number of propositional variables = 6100
c number of clauses / number of variables = 3.152
6,12
c number of visible variables = 360
c number of hidden variables = 5616
c number of propositional variables = 5976
c number of clauses / number of variables = 3.137
6,45
c number of visible variables = 360
c number of hidden variables = 6249
c number of propositional variables = 6609
c number of clauses / number of variables = 3.224
6,78
c number of visible variables = 360
c number of hidden variables = 8212
c number of propositional variables = 8572
c number of clauses / number of variables = 3.472
6,8546
c number of visible variables = 360
c number of hidden variables = 7970
c number of propositional variables = 8330
c number of clauses / number of variables = 3.442
6,474
c number of visible variables = 360
c number of hidden variables = 7547
c number of propositional variables = 7907
c number of clauses / number of variables = 3.413
6,188
c number of visible variables = 360
c number of hidden variables = 7665
c number of propositional variables = 8025
c number of clauses / number of variables = 3.422
6,7899
c number of visible variables = 360
c number of hidden variables = 8227
c number of propositional variables = 8587
c number of clauses / number of variables = 3.482
6,9
c number of visible variables = 360
c number of hidden variables = 6927
c number of propositional variables = 7287
c number of clauses / number of variables = 3.324
6,774
c number of visible variables = 432
c number of hidden variables = 9848
c number of propositional variables = 10280
c number of clauses / number of variables = 4.112
7,3455
c number of visible variables = 420
c number of hidden variables = 7018
c number of propositional variables = 7438
c number of clauses / number of variables = 2.989
7,12
c number of visible variables = 420
c number of hidden variables = 6987
c number of propositional variables = 7407
c number of clauses / number of variables = 2.987
7,45
c number of visible variables = 420
c number of hidden variables = 7816
c number of propositional variables = 8236
c number of clauses / number of variables = 3.095
7,78
c number of visible variables = 420
c number of hidden variables = 10438
c number of propositional variables = 10858
c number of clauses / number of variables = 3.382
7,8546
c number of visible variables = 420
c number of hidden variables = 9469
c number of propositional variables = 9889
c number of clauses / number of variables = 3.296
7,474
c number of visible variables = 420
c number of hidden variables = 9074
c number of propositional variables = 9494
c number of clauses / number of variables = 3.267
7,188
c number of visible variables = 420
c number of hidden variables = 9723
c number of propositional variables = 10143
c number of clauses / number of variables = 3.324
7,7899
c number of visible variables = 420
c number of hidden variables = 10134
c number of propositional variables = 10554
c number of clauses / number of variables = 3.363
7,9
c number of visible variables = 420
c number of hidden variables = 8873
c number of propositional variables = 9293
c number of clauses / number of variables = 3.229
7,774
c number of visible variables = 504
c number of hidden variables = 12294
c number of propositional variables = 12798
c number of clauses / number of variables = 3.953
8,3455
c number of visible variables = 480
c number of hidden variables = 8513
c number of propositional variables = 8993
c number of clauses / number of variables = 2.857
8,12
c number of visible variables = 480
c number of hidden variables = 10043
c number of propositional variables = 10523
c number of clauses / number of variables = 3.042
8,45
c number of visible variables = 480
c number of hidden variables = 9773
c number of propositional variables = 10253
c number of clauses / number of variables = 3.002
8,78
c number of visible variables = 480
c number of hidden variables = 12137
c number of propositional variables = 12617
c number of clauses / number of variables = 3.250
8,8546
c number of visible variables = 480
c number of hidden variables = 12206
c number of propositional variables = 12686
c number of clauses / number of variables = 3.248
8,474
c number of visible variables = 480
c number of hidden variables = 12226
c number of propositional variables = 12706
c number of clauses / number of variables = 3.257
8,188
c number of visible variables = 480
c number of hidden variables = 12440
c number of propositional variables = 12920
c number of clauses / number of variables = 3.274
8,7899
c number of visible variables = 480
c number of hidden variables = 12370
c number of propositional variables = 12850
c number of clauses / number of variables = 3.269
8,9
c number of visible variables = 480
c number of hidden variables = 11005
c number of propositional variables = 11485
c number of clauses / number of variables = 3.142
8,774
c number of visible variables = 576
c number of hidden variables = 15058
c number of propositional variables = 15634
c number of clauses / number of variables = 3.819
9,3455
c number of visible variables = 540
c number of hidden variables = 11147
c number of propositional variables = 11687
c number of clauses / number of variables = 2.855
9,12
c number of visible variables = 540
c number of hidden variables = 12375
c number of propositional variables = 12915
c number of clauses / number of variables = 2.979
9,45
c number of visible variables = 540
c number of hidden variables = 11814
c number of propositional variables = 12354
c number of clauses / number of variables = 2.919
9,78
c number of visible variables = 540
c number of hidden variables = 15223
c number of propositional variables = 15763
c number of clauses / number of variables = 3.213
9,8546
c number of visible variables = 540
c number of hidden variables = 14188
c number of propositional variables = 14728
c number of clauses / number of variables = 3.136
9,474
c number of visible variables = 540
c number of hidden variables = 14504
c number of propositional variables = 15044
c number of clauses / number of variables = 3.167
9,188
c number of visible variables = 540
c number of hidden variables = 14585
c number of propositional variables = 15125
c number of clauses / number of variables = 3.169
9,7899
c number of visible variables = 540
c number of hidden variables = 14753
c number of propositional variables = 15293
c number of clauses / number of variables = 3.187
9,9
c number of visible variables = 540
c number of hidden variables = 13626
c number of propositional variables = 14166
c number of clauses / number of variables = 3.088
9,774
c number of visible variables = 648
c number of hidden variables = 18071
c number of propositional variables = 18719
c number of clauses / number of variables = 3.701
10,3455
c number of visible variables = 600
c number of hidden variables = 13584
c number of propositional variables = 14184
c number of clauses / number of variables = 2.803
10,12
c number of visible variables = 600
c number of hidden variables = 15540
c number of propositional variables = 16140
c number of clauses / number of variables = 2.969
10,45
c number of visible variables = 600
c number of hidden variables = 14244
c number of propositional variables = 14844
c number of clauses / number of variables = 2.859
10,78
c number of visible variables = 600
c number of hidden variables = 17038
c number of propositional variables = 17638
c number of clauses / number of variables = 3.089
10,8546
c number of visible variables = 600
c number of hidden variables = 17528
c number of propositional variables = 18128
c number of clauses / number of variables = 3.112
10,474
c number of visible variables = 600
c number of hidden variables = 16524
c number of propositional variables = 17124
c number of clauses / number of variables = 3.058
10,188
c number of visible variables = 600
c number of hidden variables = 17430
c number of propositional variables = 18030
c number of clauses / number of variables = 3.113
10,7899
c number of visible variables = 600
c number of hidden variables = 17750
c number of propositional variables = 18350
c number of clauses / number of variables = 3.135
10,9
c number of visible variables = 600
c number of hidden variables = 16143
c number of propositional variables = 16743
c number of clauses / number of variables = 3.019
10,774
c number of visible variables = 720
c number of hidden variables = 21175
c number of propositional variables = 21895
c number of clauses / number of variables = 3.588
11,3455
c number of visible variables = 660
c number of hidden variables = 16680
c number of propositional variables = 17340
c number of clauses / number of variables = 2.799
11,12
c number of visible variables = 660
c number of hidden variables = 16526
c number of propositional variables = 17186
c number of clauses / number of variables = 2.788
11,45
c number of visible variables = 660
c number of hidden variables = 17414
c number of propositional variables = 18074
c number of clauses / number of variables = 2.845
11,78
c number of visible variables = 660
c number of hidden variables = 21189
c number of propositional variables = 21849
c number of clauses / number of variables = 3.097
11,8546
c number of visible variables = 660
c number of hidden variables = 20427
c number of propositional variables = 21087
c number of clauses / number of variables = 3.052
11,474
c number of visible variables = 660
c number of hidden variables = 18434
c number of propositional variables = 19094
c number of clauses / number of variables = 2.941
11,188
c number of visible variables = 660
c number of hidden variables = 19661
c number of propositional variables = 20321
c number of clauses / number of variables = 3.014
11,7899
c number of visible variables = 660
c number of hidden variables = 20572
c number of propositional variables = 21232
c number of clauses / number of variables = 3.070
11,9
c number of visible variables = 660
c number of hidden variables = 18623
c number of propositional variables = 19283
c number of clauses / number of variables = 2.940
11,774
c number of visible variables = 792
c number of hidden variables = 25141
c number of propositional variables = 25933
c number of clauses / number of variables = 3.523
12,3455
c number of visible variables = 720
c number of hidden variables = 19747
c number of propositional variables = 20467
c number of clauses / number of variables = 2.768
12,12
c number of visible variables = 720
c number of hidden variables = 20090
c number of propositional variables = 20810
c number of clauses / number of variables = 2.793
12,45
c number of visible variables = 720
c number of hidden variables = 19895
c number of propositional variables = 20615
c number of clauses / number of variables = 2.772
12,78
c number of visible variables = 720
c number of hidden variables = 23628
c number of propositional variables = 24348
c number of clauses / number of variables = 3.007
12,8546
c number of visible variables = 720
c number of hidden variables = 24016
c number of propositional variables = 24736
c number of clauses / number of variables = 3.019
12,474
c number of visible variables = 720
c number of hidden variables = 22819
c number of propositional variables = 23539
c number of clauses / number of variables = 2.967
12,188
c number of visible variables = 720
c number of hidden variables = 23725
c number of propositional variables = 24445
c number of clauses / number of variables = 3.013
12,7899
c number of visible variables = 720
c number of hidden variables = 24915
c number of propositional variables = 25635
c number of clauses / number of variables = 3.072
12,9
c number of visible variables = 720
c number of hidden variables = 22120
c number of propositional variables = 22840
c number of clauses / number of variables = 2.917
12,774
c number of visible variables = 864
c number of hidden variables = 29071
c number of propositional variables = 29935
c number of clauses / number of variables = 3.447
13,3455
c number of visible variables = 780
c number of hidden variables = 22295
c number of propositional variables = 23075
c number of clauses / number of variables = 2.697
13,12
c number of visible variables = 780
c number of hidden variables = 24024
c number of propositional variables = 24804
c number of clauses / number of variables = 2.799
13,45
c number of visible variables = 780
c number of hidden variables = 23148
c number of propositional variables = 23928
c number of clauses / number of variables = 2.744
13,78
c number of visible variables = 780
c number of hidden variables = 27030
c number of propositional variables = 27810
c number of clauses / number of variables = 2.961
13,8546
c number of visible variables = 780
c number of hidden variables = 26708
c number of propositional variables = 27488
c number of clauses / number of variables = 2.940
13,474
c number of visible variables = 780
c number of hidden variables = 26064
c number of propositional variables = 26844
c number of clauses / number of variables = 2.917
13,188
c number of visible variables = 780
c number of hidden variables = 27193
c number of propositional variables = 27973
c number of clauses / number of variables = 2.971
13,7899
c number of visible variables = 780
c number of hidden variables = 27781
c number of propositional variables = 28561
c number of clauses / number of variables = 2.999
13,9
c number of visible variables = 780
c number of hidden variables = 24778
c number of propositional variables = 25558
c number of clauses / number of variables = 2.842
13,774
c number of visible variables = 936
c number of hidden variables = 32782
c number of propositional variables = 33718
c number of clauses / number of variables = 3.355
14,3455
c number of visible variables = 840
c number of hidden variables = 25142
c number of propositional variables = 25982
c number of clauses / number of variables = 2.640
14,12
c number of visible variables = 840
c number of hidden variables = 27057
c number of propositional variables = 27897
c number of clauses / number of variables = 2.744
14,45
c number of visible variables = 840
c number of hidden variables = 26786
c number of propositional variables = 27626
c number of clauses / number of variables = 2.724
14,78
c number of visible variables = 840
c number of hidden variables = 31397
c number of propositional variables = 32237
c number of clauses / number of variables = 2.949
14,8546
c number of visible variables = 840
c number of hidden variables = 30280
c number of propositional variables = 31120
c number of clauses / number of variables = 2.898
14,474
c number of visible variables = 840
c number of hidden variables = 31135
c number of propositional variables = 31975
c number of clauses / number of variables = 2.941
14,188
c number of visible variables = 840
c number of hidden variables = 31380
c number of propositional variables = 32220
c number of clauses / number of variables = 2.950
14,7899
c number of visible variables = 840
c number of hidden variables = 31854
c number of propositional variables = 32694
c number of clauses / number of variables = 2.971
14,9
c number of visible variables = 840
c number of hidden variables = 28653
c number of propositional variables = 29493
c number of clauses / number of variables = 2.823
14,774
c number of visible variables = 1008
c number of hidden variables = 37392
c number of propositional variables = 38400
c number of clauses / number of variables = 3.302
15,3455
c number of visible variables = 900
c number of hidden variables = 29465
c number of propositional variables = 30365
c number of clauses / number of variables = 2.655
15,12
c number of visible variables = 900
c number of hidden variables = 30881
c number of propositional variables = 31781
c number of clauses / number of variables = 2.722
15,45
c number of visible variables = 900
c number of hidden variables = 30003
c number of propositional variables = 30903
c number of clauses / number of variables = 2.676
15,78
c number of visible variables = 900
c number of hidden variables = 34973
c number of propositional variables = 35873
c number of clauses / number of variables = 2.899
15,8546
c number of visible variables = 900
c number of hidden variables = 34014
c number of propositional variables = 34914
c number of clauses / number of variables = 2.859
15,474
c number of visible variables = 900
c number of hidden variables = 34428
c number of propositional variables = 35328
c number of clauses / number of variables = 2.881
15,188
c number of visible variables = 900
c number of hidden variables = 34953
c number of propositional variables = 35853
c number of clauses / number of variables = 2.899
15,7899
c number of visible variables = 900
c number of hidden variables = 35858
c number of propositional variables = 36758
c number of clauses / number of variables = 2.935
15,9
c number of visible variables = 900
c number of hidden variables = 32201
c number of propositional variables = 33101
c number of clauses / number of variables = 2.782
15,774
c number of visible variables = 1080
c number of hidden variables = 42088
c number of propositional variables = 43168
c number of clauses / number of variables = 3.245
16,3455
c number of visible variables = 960
c number of hidden variables = 33199
c number of propositional variables = 34159
c number of clauses / number of variables = 2.627
16,12
c number of visible variables = 960
c number of hidden variables = 34031
c number of propositional variables = 34991
c number of clauses / number of variables = 2.664
16,45
c number of visible variables = 960
c number of hidden variables = 34475
c number of propositional variables = 35435
c number of clauses / number of variables = 2.677
16,78
c number of visible variables = 960
c number of hidden variables = 38704
c number of propositional variables = 39664
c number of clauses / number of variables = 2.852
16,8546
c number of visible variables = 960
c number of hidden variables = 38468
c number of propositional variables = 39428
c number of clauses / number of variables = 2.839
16,474
c number of visible variables = 960
c number of hidden variables = 36815
c number of propositional variables = 37775
c number of clauses / number of variables = 2.787
16,188
c number of visible variables = 960
c number of hidden variables = 39229
c number of propositional variables = 40189
c number of clauses / number of variables = 2.870
16,7899
c number of visible variables = 960
c number of hidden variables = 40100
c number of propositional variables = 41060
c number of clauses / number of variables = 2.903
16,9
c number of visible variables = 960
c number of hidden variables = 36635
c number of propositional variables = 37595
c number of clauses / number of variables = 2.769
16,774
c number of visible variables = 1152
c number of hidden variables = 46462
c number of propositional variables = 47614
c number of clauses / number of variables = 3.171
17,3455
c number of visible variables = 1020
c number of hidden variables = 37572
c number of propositional variables = 38592
c number of clauses / number of variables = 2.618
17,12
c number of visible variables = 1020
c number of hidden variables = 39024
c number of propositional variables = 40044
c number of clauses / number of variables = 2.674
17,45
c number of visible variables = 1020
c number of hidden variables = 38332
c number of propositional variables = 39352
c number of clauses / number of variables = 2.644
17,78
c number of visible variables = 1020
c number of hidden variables = 43271
c number of propositional variables = 44291
c number of clauses / number of variables = 2.829
17,8546
c number of visible variables = 1020
c number of hidden variables = 43169
c number of propositional variables = 44189
c number of clauses / number of variables = 2.822
17,474
c number of visible variables = 1020
c number of hidden variables = 41678
c number of propositional variables = 42698
c number of clauses / number of variables = 2.780
17,188
c number of visible variables = 1020
c number of hidden variables = 43073
c number of propositional variables = 44093
c number of clauses / number of variables = 2.823
17,7899
c number of visible variables = 1020
c number of hidden variables = 44667
c number of propositional variables = 45687
c number of clauses / number of variables = 2.875
17,9
c number of visible variables = 1020
c number of hidden variables = 40972
c number of propositional variables = 41992
c number of clauses / number of variables = 2.747
17,774
c number of visible variables = 1224
c number of hidden variables = 51308
c number of propositional variables = 52532
c number of clauses / number of variables = 3.112
18,3455
c number of visible variables = 1080
c number of hidden variables = 42621
c number of propositional variables = 43701
c number of clauses / number of variables = 2.625
18,12
c number of visible variables = 1080
c number of hidden variables = 43763
c number of propositional variables = 44843
c number of clauses / number of variables = 2.665
18,45
c number of visible variables = 1080
c number of hidden variables = 42451
c number of propositional variables = 43531
c number of clauses / number of variables = 2.617
18,78
c number of visible variables = 1080
c number of hidden variables = 48361
c number of propositional variables = 49441
c number of clauses / number of variables = 2.816
18,8546
c number of visible variables = 1080
c number of hidden variables = 47507
c number of propositional variables = 48587
c number of clauses / number of variables = 2.787
18,474
c number of visible variables = 1080
c number of hidden variables = 46431
c number of propositional variables = 47511
c number of clauses / number of variables = 2.761
18,188
c number of visible variables = 1080
c number of hidden variables = 47471
c number of propositional variables = 48551
c number of clauses / number of variables = 2.790
18,7899
c number of visible variables = 1080
c number of hidden variables = 48951
c number of propositional variables = 50031
c number of clauses / number of variables = 2.837
18,9
c number of visible variables = 1080
c number of hidden variables = 45273
c number of propositional variables = 46353
c number of clauses / number of variables = 2.716
18,774
c number of visible variables = 1296
c number of hidden variables = 57373
c number of propositional variables = 58669
c number of clauses / number of variables = 3.091
grid size = 6
max robots = 18
1,3455
c number of clauses = 2501
c number of clauses / number of variables = 4.342
c number of literals / number of clauses = 3.036
1,12
c number of clauses = 2197
c number of clauses / number of variables = 4.376
c number of literals / number of clauses = 3.073
1,45
c number of clauses = 1400
c number of clauses / number of variables = 4.473
c number of literals / number of clauses = 3.326
1,78
c number of clauses = 2415
c number of clauses / number of variables = 4.391
c number of literals / number of clauses = 3.012
1,8546
c number of clauses = 3054
c number of clauses / number of variables = 4.350
c number of literals / number of clauses = 2.938
1,474
c number of clauses = 3629
c number of clauses / number of variables = 4.325
c number of literals / number of clauses = 2.898
1,188
c number of clauses = 4009
c number of clauses / number of variables = 4.311
c number of literals / number of clauses = 2.874
1,7899
c number of clauses = 3844
c number of clauses / number of variables = 4.353
c number of literals / number of clauses = 2.861
1,9
c number of clauses = 3047
c number of clauses / number of variables = 4.334
c number of literals / number of clauses = 2.949
1,774
c number of clauses = 5511
c number of clauses / number of variables = 5.424
c number of literals / number of clauses = 3.062
2,3455
c number of clauses = 5955
c number of clauses / number of variables = 3.999
c number of literals / number of clauses = 3.022
2,12
c number of clauses = 6419
c number of clauses / number of variables = 4.009
c number of literals / number of clauses = 2.996
2,45
c number of clauses = 4772
c number of clauses / number of variables = 3.957
c number of literals / number of clauses = 3.111
2,78
c number of clauses = 6443
c number of clauses / number of variables = 4.045
c number of literals / number of clauses = 2.965
2,8546
c number of clauses = 7358
c number of clauses / number of variables = 4.056
c number of literals / number of clauses = 2.932
2,474
c number of clauses = 7201
c number of clauses / number of variables = 4.071
c number of literals / number of clauses = 2.928
2,188
c number of clauses = 8471
c number of clauses / number of variables = 4.086
c number of literals / number of clauses = 2.887
2,7899
c number of clauses = 7434
c number of clauses / number of variables = 4.085
c number of literals / number of clauses = 2.911
2,9
c number of clauses = 6455
c number of clauses / number of variables = 4.027
c number of literals / number of clauses = 2.977
2,774
c number of clauses = 11409
c number of clauses / number of variables = 5.033
c number of literals / number of clauses = 3.080
3,3455
c number of clauses = 8646
c number of clauses / number of variables = 3.709
c number of literals / number of clauses = 3.081
3,12
c number of clauses = 8020
c number of clauses / number of variables = 3.687
c number of literals / number of clauses = 3.099
3,45
c number of clauses = 6998
c number of clauses / number of variables = 3.620
c number of literals / number of clauses = 3.173
3,78
c number of clauses = 10772
c number of clauses / number of variables = 3.824
c number of literals / number of clauses = 2.970
3,8546
c number of clauses = 10940
c number of clauses / number of variables = 3.820
c number of literals / number of clauses = 2.972
3,474
c number of clauses = 8244
c number of clauses / number of variables = 3.730
c number of literals / number of clauses = 3.058
3,188
c number of clauses = 10952
c number of clauses / number of variables = 3.831
c number of literals / number of clauses = 2.961
3,7899
c number of clauses = 12244
c number of clauses / number of variables = 3.873
c number of literals / number of clauses = 2.927
3,9
c number of clauses = 10124
c number of clauses / number of variables = 3.783
c number of literals / number of clauses = 3.004
3,774
c number of clauses = 17429
c number of clauses / number of variables = 4.713
c number of literals / number of clauses = 3.102
4,3455
c number of clauses = 8986
c number of clauses / number of variables = 3.326
c number of literals / number of clauses = 3.229
4,12
c number of clauses = 11879
c number of clauses / number of variables = 3.491
c number of literals / number of clauses = 3.101
4,45
c number of clauses = 10521
c number of clauses / number of variables = 3.419
c number of literals / number of clauses = 3.162
4,78
c number of clauses = 16057
c number of clauses / number of variables = 3.672
c number of literals / number of clauses = 2.967
4,8546
c number of clauses = 16016
c number of clauses / number of variables = 3.660
c number of literals / number of clauses = 2.976
4,474
c number of clauses = 14856
c number of clauses / number of variables = 3.630
c number of literals / number of clauses = 2.996
4,188
c number of clauses = 17508
c number of clauses / number of variables = 3.712
c number of literals / number of clauses = 2.938
4,7899
c number of clauses = 16821
c number of clauses / number of variables = 3.698
c number of literals / number of clauses = 2.949
4,9
c number of clauses = 15010
c number of clauses / number of variables = 3.624
c number of literals / number of clauses = 3.001
4,774
c number of clauses = 26272
c number of clauses / number of variables = 4.495
c number of literals / number of clauses = 3.073
5,3455
c number of clauses = 12947
c number of clauses / number of variables = 3.184
c number of literals / number of clauses = 3.211
5,12
c number of clauses = 15089
c number of clauses / number of variables = 3.293
c number of literals / number of clauses = 3.135
5,45
c number of clauses = 16742
c number of clauses / number of variables = 3.354
c number of literals / number of clauses = 3.106
5,78
c number of clauses = 22527
c number of clauses / number of variables = 3.561
c number of literals / number of clauses = 2.963
5,8546
c number of clauses = 21725
c number of clauses / number of variables = 3.531
c number of literals / number of clauses = 2.983
5,474
c number of clauses = 18459
c number of clauses / number of variables = 3.443
c number of literals / number of clauses = 3.033
5,188
c number of clauses = 20154
c number of clauses / number of variables = 3.500
c number of literals / number of clauses = 2.995
5,7899
c number of clauses = 21841
c number of clauses / number of variables = 3.548
c number of literals / number of clauses = 2.969
5,9
c number of clauses = 18943
c number of clauses / number of variables = 3.447
c number of literals / number of clauses = 3.033
5,774
c number of clauses = 32595
c number of clauses / number of variables = 4.258
c number of literals / number of clauses = 3.106
6,3455
c number of clauses = 19226
c number of clauses / number of variables = 3.152
c number of literals / number of clauses = 3.156
6,12
c number of clauses = 18746
c number of clauses / number of variables = 3.137
c number of literals / number of clauses = 3.159
6,45
c number of clauses = 21307
c number of clauses / number of variables = 3.224
c number of literals / number of clauses = 3.119
6,78
c number of clauses = 29758
c number of clauses / number of variables = 3.472
c number of literals / number of clauses = 2.964
6,8546
c number of clauses = 28674
c number of clauses / number of variables = 3.442
c number of literals / number of clauses = 2.981
6,474
c number of clauses = 26983
c number of clauses / number of variables = 3.413
c number of literals / number of clauses = 2.994
6,188
c number of clauses = 27459
c number of clauses / number of variables = 3.422
c number of literals / number of clauses = 2.987
6,7899
c number of clauses = 29901
c number of clauses / number of variables = 3.482
c number of literals / number of clauses = 2.955
6,9
c number of clauses = 24223
c number of clauses / number of variables = 3.324
c number of literals / number of clauses = 3.047
6,774
c number of clauses = 42270
c number of clauses / number of variables = 4.112
c number of literals / number of clauses = 3.094
7,3455
c number of clauses = 22229
c number of clauses / number of variables = 2.989
c number of literals / number of clauses = 3.194
7,12
c number of clauses = 22128
c number of clauses / number of variables = 2.987
c number of literals / number of clauses = 3.189
7,45
c number of clauses = 25489
c number of clauses / number of variables = 3.095
c number of literals / number of clauses = 3.140
7,78
c number of clauses = 36725
c number of clauses / number of variables = 3.382
c number of literals / number of clauses = 2.971
7,8546
c number of clauses = 32597
c number of clauses / number of variables = 3.296
c number of literals / number of clauses = 3.014
7,474
c number of clauses = 31020
c number of clauses / number of variables = 3.267
c number of literals / number of clauses = 3.026
7,188
c number of clauses = 33716
c number of clauses / number of variables = 3.324
c number of literals / number of clauses = 2.997
7,7899
c number of clauses = 35497
c number of clauses / number of variables = 3.363
c number of literals / number of clauses = 2.978
7,9
c number of clauses = 30005
c number of clauses / number of variables = 3.229
c number of literals / number of clauses = 3.052
7,774
c number of clauses = 50585
c number of clauses / number of variables = 3.953
c number of literals / number of clauses = 3.108
8,3455
c number of clauses = 25693
c number of clauses / number of variables = 2.857
c number of literals / number of clauses = 3.222
8,12
c number of clauses = 32011
c number of clauses / number of variables = 3.042
c number of literals / number of clauses = 3.119
8,45
c number of clauses = 30777
c number of clauses / number of variables = 3.002
c number of literals / number of clauses = 3.152
8,78
c number of clauses = 41005
c number of clauses / number of variables = 3.250
c number of literals / number of clauses = 3.004
8,8546
c number of clauses = 41198
c number of clauses / number of variables = 3.248
c number of literals / number of clauses = 3.008
8,474
c number of clauses = 41378
c number of clauses / number of variables = 3.257
c number of literals / number of clauses = 3.002
8,188
c number of clauses = 42300
c number of clauses / number of variables = 3.274
c number of literals / number of clauses = 2.990
8,7899
c number of clauses = 42010
c number of clauses / number of variables = 3.269
c number of literals / number of clauses = 2.994
8,9
c number of clauses = 36089
c number of clauses / number of variables = 3.142
c number of literals / number of clauses = 3.062
8,774
c number of clauses = 59700
c number of clauses / number of variables = 3.819
c number of literals / number of clauses = 3.118
9,3455
c number of clauses = 33372
c number of clauses / number of variables = 2.855
c number of literals / number of clauses = 3.187
9,12
c number of clauses = 38474
c number of clauses / number of variables = 2.979
c number of literals / number of clauses = 3.120
9,45
c number of clauses = 36057
c number of clauses / number of variables = 2.919
c number of literals / number of clauses = 3.161
9,78
c number of clauses = 50644
c number of clauses / number of variables = 3.213
c number of literals / number of clauses = 2.997
9,8546
c number of clauses = 46192
c number of clauses / number of variables = 3.136
c number of literals / number of clauses = 3.035
9,474
c number of clauses = 47642
c number of clauses / number of variables = 3.167
c number of literals / number of clauses = 3.018
9,188
c number of clauses = 47936
c number of clauses / number of variables = 3.169
c number of literals / number of clauses = 3.016
9,7899
c number of clauses = 48738
c number of clauses / number of variables = 3.187
c number of literals / number of clauses = 3.006
9,9
c number of clauses = 43738
c number of clauses / number of variables = 3.088
c number of literals / number of clauses = 3.062
9,774
c number of clauses = 69281
c number of clauses / number of variables = 3.701
c number of literals / number of clauses = 3.127
10,3455
c number of clauses = 39758
c number of clauses / number of variables = 2.803
c number of literals / number of clauses = 3.189
10,12
c number of clauses = 47926
c number of clauses / number of variables = 2.969
c number of literals / number of clauses = 3.101
10,45
c number of clauses = 42446
c number of clauses / number of variables = 2.859
c number of literals / number of clauses = 3.164
10,78
c number of clauses = 54492
c number of clauses / number of variables = 3.089
c number of literals / number of clauses = 3.032
10,8546
c number of clauses = 56408
c number of clauses / number of variables = 3.112
c number of literals / number of clauses = 3.026
10,474
c number of clauses = 52364
c number of clauses / number of variables = 3.058
c number of literals / number of clauses = 3.046
10,188
c number of clauses = 56120
c number of clauses / number of variables = 3.113
c number of literals / number of clauses = 3.020
10,7899
c number of clauses = 57536
c number of clauses / number of variables = 3.135
c number of literals / number of clauses = 3.010
10,9
c number of clauses = 50543
c number of clauses / number of variables = 3.019
c number of literals / number of clauses = 3.070
10,774
c number of clauses = 78550
c number of clauses / number of variables = 3.588
c number of literals / number of clauses = 3.140
11,3455
c number of clauses = 48539
c number of clauses / number of variables = 2.799
c number of literals / number of clauses = 3.165
11,12
c number of clauses = 47911
c number of clauses / number of variables = 2.788
c number of literals / number of clauses = 3.168
11,45
c number of clauses = 51423
c number of clauses / number of variables = 2.845
c number of literals / number of clauses = 3.150
11,78
c number of clauses = 67676
c number of clauses / number of variables = 3.097
c number of literals / number of clauses = 3.012
11,8546
c number of clauses = 64347
c number of clauses / number of variables = 3.052
c number of literals / number of clauses = 3.035
11,474
c number of clauses = 56148
c number of clauses / number of variables = 2.941
c number of literals / number of clauses = 3.082
11,188
c number of clauses = 61242
c number of clauses / number of variables = 3.014
c number of literals / number of clauses = 3.047
11,7899
c number of clauses = 65179
c number of clauses / number of variables = 3.070
c number of literals / number of clauses = 3.021
11,9
c number of clauses = 56699
c number of clauses / number of variables = 2.940
c number of literals / number of clauses = 3.088
11,774
c number of clauses = 91353
c number of clauses / number of variables = 3.523
c number of literals / number of clauses = 3.134
12,3455
c number of clauses = 56643
c number of clauses / number of variables = 2.768
c number of literals / number of clauses = 3.163
12,12
c number of clauses = 58126
c number of clauses / number of variables = 2.793
c number of literals / number of clauses = 3.146
12,45
c number of clauses = 57151
c number of clauses / number of variables = 2.772
c number of literals / number of clauses = 3.167
12,78
c number of clauses = 73216
c number of clauses / number of variables = 3.007
c number of literals / number of clauses = 3.036
12,8546
c number of clauses = 74680
c number of clauses / number of variables = 3.019
c number of literals / number of clauses = 3.035
12,474
c number of clauses = 69847
c number of clauses / number of variables = 2.967
c number of literals / number of clauses = 3.054
12,188
c number of clauses = 73645
c number of clauses / number of variables = 3.013
c number of literals / number of clauses = 3.032
12,7899
c number of clauses = 78751
c number of clauses / number of variables = 3.072
c number of literals / number of clauses = 3.006
12,9
c number of clauses = 66628
c number of clauses / number of variables = 2.917
c number of literals / number of clauses = 3.083
12,774
c number of clauses = 103182
c number of clauses / number of variables = 3.447
c number of literals / number of clauses = 3.138
13,3455
c number of clauses = 62240
c number of clauses / number of variables = 2.697
c number of literals / number of clauses = 3.180
13,12
c number of clauses = 69415
c number of clauses / number of variables = 2.799
c number of literals / number of clauses = 3.128
13,45
c number of clauses = 65651
c number of clauses / number of variables = 2.744
c number of literals / number of clauses = 3.163
13,78
c number of clauses = 82347
c number of clauses / number of variables = 2.961
c number of literals / number of clauses = 3.043
13,8546
c number of clauses = 80816
c number of clauses / number of variables = 2.940
c number of literals / number of clauses = 3.056
13,474
c number of clauses = 78314
c number of clauses / number of variables = 2.917
c number of literals / number of clauses = 3.063
13,188
c number of clauses = 83096
c number of clauses / number of variables = 2.971
c number of literals / number of clauses = 3.036
13,7899
c number of clauses = 85662
c number of clauses / number of variables = 2.999
c number of literals / number of clauses = 3.023
13,9
c number of clauses = 72642
c number of clauses / number of variables = 2.842
c number of literals / number of clauses = 3.103
13,774
c number of clauses = 113114
c number of clauses / number of variables = 3.355
c number of literals / number of clauses = 3.153
14,3455
c number of clauses = 68588
c number of clauses / number of variables = 2.640
c number of literals / number of clauses = 3.193
14,12
c number of clauses = 76543
c number of clauses / number of variables = 2.744
c number of literals / number of clauses = 3.140
14,45
c number of clauses = 75260
c number of clauses / number of variables = 2.724
c number of literals / number of clauses = 3.158
14,78
c number of clauses = 95063
c number of clauses / number of variables = 2.949
c number of literals / number of clauses = 3.037
14,8546
c number of clauses = 90184
c number of clauses / number of variables = 2.898
c number of literals / number of clauses = 3.063
14,474
c number of clauses = 94039
c number of clauses / number of variables = 2.941
c number of literals / number of clauses = 3.040
14,188
c number of clauses = 95050
c number of clauses / number of variables = 2.950
c number of literals / number of clauses = 3.034
14,7899
c number of clauses = 97124
c number of clauses / number of variables = 2.971
c number of literals / number of clauses = 3.025
14,9
c number of clauses = 83261
c number of clauses / number of variables = 2.823
c number of literals / number of clauses = 3.099
14,774
c number of clauses = 126807
c number of clauses / number of variables = 3.302
c number of literals / number of clauses = 3.152
15,3455
c number of clauses = 80616
c number of clauses / number of variables = 2.655
c number of literals / number of clauses = 3.172
15,12
c number of clauses = 86502
c number of clauses / number of variables = 2.722
c number of literals / number of clauses = 3.138
15,45
c number of clauses = 82708
c number of clauses / number of variables = 2.676
c number of literals / number of clauses = 3.167
15,78
c number of clauses = 104000
c number of clauses / number of variables = 2.899
c number of literals / number of clauses = 3.049
15,8546
c number of clauses = 99818
c number of clauses / number of variables = 2.859
c number of literals / number of clauses = 3.068
15,474
c number of clauses = 101786
c number of clauses / number of variables = 2.881
c number of literals / number of clauses = 3.056
15,188
c number of clauses = 103922
c number of clauses / number of variables = 2.899
c number of literals / number of clauses = 3.047
15,7899
c number of clauses = 107893
c number of clauses / number of variables = 2.935
c number of literals / number of clauses = 3.030
15,9
c number of clauses = 92077
c number of clauses / number of variables = 2.782
c number of literals / number of clauses = 3.106
15,774
c number of clauses = 140093
c number of clauses / number of variables = 3.245
c number of literals / number of clauses = 3.156
16,3455
c number of clauses = 89731
c number of clauses / number of variables = 2.627
c number of literals / number of clauses = 3.175
16,12
c number of clauses = 93203
c number of clauses / number of variables = 2.664
c number of literals / number of clauses = 3.155
16,45
c number of clauses = 94867
c number of clauses / number of variables = 2.677
c number of literals / number of clauses = 3.156
16,78
c number of clauses = 113132
c number of clauses / number of variables = 2.852
c number of literals / number of clauses = 3.060
16,8546
c number of clauses = 111944
c number of clauses / number of variables = 2.839
c number of literals / number of clauses = 3.068
16,474
c number of clauses = 105267
c number of clauses / number of variables = 2.787
c number of literals / number of clauses = 3.088
16,188
c number of clauses = 115357
c number of clauses / number of variables = 2.870
c number of literals / number of clauses = 3.050
16,7899
c number of clauses = 119200
c number of clauses / number of variables = 2.903
c number of literals / number of clauses = 3.035
16,9
c number of clauses = 104111
c number of clauses / number of variables = 2.769
c number of literals / number of clauses = 3.102
16,774
c number of clauses = 151004
c number of clauses / number of variables = 3.171
c number of literals / number of clauses = 3.169
17,3455
c number of clauses = 101049
c number of clauses / number of variables = 2.618
c number of literals / number of clauses = 3.169
17,12
c number of clauses = 107091
c number of clauses / number of variables = 2.674
c number of literals / number of clauses = 3.141
17,45
c number of clauses = 104047
c number of clauses / number of variables = 2.644
c number of literals / number of clauses = 3.162
17,78
c number of clauses = 125316
c number of clauses / number of variables = 2.829
c number of literals / number of clauses = 3.061
17,8546
c number of clauses = 124689
c number of clauses / number of variables = 2.822
c number of literals / number of clauses = 3.067
17,474
c number of clauses = 118692
c number of clauses / number of variables = 2.780
c number of literals / number of clauses = 3.082
17,188
c number of clauses = 124484
c number of clauses / number of variables = 2.823
c number of literals / number of clauses = 3.062
17,7899
c number of clauses = 131364
c number of clauses / number of variables = 2.875
c number of literals / number of clauses = 3.039
17,9
c number of clauses = 115336
c number of clauses / number of variables = 2.747
c number of literals / number of clauses = 3.103
17,774
c number of clauses = 163459
c number of clauses / number of variables = 3.112
c number of literals / number of clauses = 3.179
18,3455
c number of clauses = 114699
c number of clauses / number of variables = 2.625
c number of literals / number of clauses = 3.158
18,12
c number of clauses = 119509
c number of clauses / number of variables = 2.665
c number of literals / number of clauses = 3.136
18,45
c number of clauses = 113933
c number of clauses / number of variables = 2.617
c number of literals / number of clauses = 3.164
18,78
c number of clauses = 139231
c number of clauses / number of variables = 2.816
c number of literals / number of clauses = 3.060
18,8546
c number of clauses = 135423
c number of clauses / number of variables = 2.787
c number of literals / number of clauses = 3.075
18,474
c number of clauses = 131195
c number of clauses / number of variables = 2.761
c number of literals / number of clauses = 3.083
18,188
c number of clauses = 135469
c number of clauses / number of variables = 2.790
c number of literals / number of clauses = 3.070
18,7899
c number of clauses = 141925
c number of clauses / number of variables = 2.837
c number of literals / number of clauses = 3.048
18,9
c number of clauses = 125901
c number of clauses / number of variables = 2.716
c number of literals / number of clauses = 3.109
18,774
c number of clauses = 181345
c number of clauses / number of variables = 3.091
c number of literals / number of clauses = 3.171