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 = 2683 Produced CNF clauses = 9596 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=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 = 2933 Produced CNF clauses = 10299 Search steps = 0 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2465 Produced CNF clauses = 8336 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3563 Produced CNF clauses = 13345 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3590 Produced CNF clauses = 13284 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=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 = 3372 Produced CNF clauses = 12394 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3793 Produced CNF clauses = 14197 Search steps = 0 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3587 Produced CNF clauses = 13748 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=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 = 3590 Produced CNF clauses = 13061 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 4267 Produced CNF clauses = 16683 Search steps = 0 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 2995 Produced CNF clauses = 13101 Search steps = 0 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3269 Produced CNF clauses = 14122 Search steps = 0 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 2753 Produced CNF clauses = 11575 Search steps = 0 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 3923 Produced CNF clauses = 18164 Search steps = 0 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3962 Produced CNF clauses = 18045 Search steps = 0 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3720 Produced CNF clauses = 16929 Search steps = 0 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4177 Produced CNF clauses = 19270 Search steps = 0 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3947 Produced CNF clauses = 18590 Search steps = 0 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3962 Produced CNF clauses = 17863 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4675 Produced CNF clauses = 22461 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 2995 Produced CNF clauses = 13001 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3269 Produced CNF clauses = 14083 Search steps = 0 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 2753 Produced CNF clauses = 11504 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3923 Produced CNF clauses = 17993 Search steps = 0 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3962 Produced CNF clauses = 17904 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3720 Produced CNF clauses = 16916 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4177 Produced CNF clauses = 19183 Search steps = 0 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3947 Produced CNF clauses = 18393 Search steps = 0 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3962 Produced CNF clauses = 17715 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4675 Produced CNF clauses = 22275 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 3307 Produced CNF clauses = 17327 Search steps = 0 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3605 Produced CNF clauses = 18624 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3041 Produced CNF clauses = 15341 Search steps = 0 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 4283 Produced CNF clauses = 23503 Search steps = 0 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 23400 Search steps = 0 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4068 Produced CNF clauses = 22015 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4561 Produced CNF clauses = 24953 Search steps = 0 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4307 Produced CNF clauses = 23936 Search steps = 0 Wall clock TIME (seconds) = 0.123 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4334 Produced CNF clauses = 23221 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5083 Produced CNF clauses = 28782 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=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 = 3307 Produced CNF clauses = 17214 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3605 Produced CNF clauses = 18553 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3041 Produced CNF clauses = 15107 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 4283 Produced CNF clauses = 23278 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 23204 Search steps = 0 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4068 Produced CNF clauses = 21929 Search steps = 0 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4561 Produced CNF clauses = 24908 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=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 = 4307 Produced CNF clauses = 23781 Search steps = 0 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4334 Produced CNF clauses = 23111 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5083 Produced CNF clauses = 28625 Search steps = 0 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3307 Produced CNF clauses = 17004 Search steps = 0 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3605 Produced CNF clauses = 18486 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3041 Produced CNF clauses = 14990 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 4283 Produced CNF clauses = 23038 Search steps = 0 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 22979 Search steps = 0 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4068 Produced CNF clauses = 21638 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4561 Produced CNF clauses = 24660 Search steps = 0 Wall clock TIME (seconds) = 0.129 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4307 Produced CNF clauses = 23517 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 22950 Search steps = 0 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5083 Produced CNF clauses = 28372 Search steps = 0 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3307 Produced CNF clauses = 17006 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3605 Produced CNF clauses = 18465 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3041 Produced CNF clauses = 14927 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 4283 Produced CNF clauses = 22843 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 22931 Search steps = 0 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4068 Produced CNF clauses = 21585 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4561 Produced CNF clauses = 24496 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4307 Produced CNF clauses = 23378 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4334 Produced CNF clauses = 22808 Search steps = 0 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5083 Produced CNF clauses = 28187 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 3619 Produced CNF clauses = 22477 Search steps = 0 Wall clock TIME (seconds) = 0.129 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3941 Produced CNF clauses = 24092 Search steps = 0 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3329 Produced CNF clauses = 19862 Search steps = 0 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4643 Produced CNF clauses = 29884 Search steps = 0 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29786 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4416 Produced CNF clauses = 27946 Search steps = 0 Wall clock TIME (seconds) = 0.153 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 31755 Search steps = 0 Wall clock TIME (seconds) = 0.173 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 30306 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4706 Produced CNF clauses = 29790 Search steps = 0 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 36352 Search steps = 0 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 3619 Produced CNF clauses = 22275 Search steps = 0 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3941 Produced CNF clauses = 23962 Search steps = 0 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3329 Produced CNF clauses = 19803 Search steps = 0 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4643 Produced CNF clauses = 29604 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29724 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 27833 Search steps = 0 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 31649 Search steps = 0 Wall clock TIME (seconds) = 0.173 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 30177 Search steps = 0 Wall clock TIME (seconds) = 0.162 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29593 Search steps = 0 Wall clock TIME (seconds) = 0.162 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 36163 Search steps = 0 Wall clock TIME (seconds) = 0.192 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 3619 Produced CNF clauses = 22157 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3941 Produced CNF clauses = 23699 Search steps = 0 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3329 Produced CNF clauses = 19696 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4643 Produced CNF clauses = 29626 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29431 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 27818 Search steps = 0 Wall clock TIME (seconds) = 0.152 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 31466 Search steps = 0 Wall clock TIME (seconds) = 0.176 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 29959 Search steps = 0 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29476 Search steps = 0 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 5491 Produced CNF clauses = 36014 Search steps = 0 Wall clock TIME (seconds) = 0.195 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 3619 Produced CNF clauses = 21975 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3941 Produced CNF clauses = 23954 Search steps = 0 Wall clock TIME (seconds) = 0.137 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3329 Produced CNF clauses = 19472 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=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 = 4643 Produced CNF clauses = 29223 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29281 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 27867 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4945 Produced CNF clauses = 31446 Search steps = 0 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 29832 Search steps = 0 Wall clock TIME (seconds) = 0.187 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4706 Produced CNF clauses = 29404 Search steps = 0 Wall clock TIME (seconds) = 0.189 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 35749 Search steps = 0 Wall clock TIME (seconds) = 0.192 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 3619 Produced CNF clauses = 21821 Search steps = 0 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 3941 Produced CNF clauses = 23705 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 3329 Produced CNF clauses = 19458 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4643 Produced CNF clauses = 29210 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29028 Search steps = 0 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 27462 Search steps = 0 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 31116 Search steps = 0 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 29447 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29165 Search steps = 0 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 35544 Search steps = 0 Wall clock TIME (seconds) = 0.230 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 3619 Produced CNF clauses = 21850 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3941 Produced CNF clauses = 23423 Search steps = 0 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3329 Produced CNF clauses = 19333 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4643 Produced CNF clauses = 29052 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 29008 Search steps = 0 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 27335 Search steps = 0 Wall clock TIME (seconds) = 0.151 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 30954 Search steps = 0 Wall clock TIME (seconds) = 0.169 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4667 Produced CNF clauses = 29404 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=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 = 4706 Produced CNF clauses = 29157 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 35434 Search steps = 0 Wall clock TIME (seconds) = 0.190 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 3619 Produced CNF clauses = 21854 Search steps = 0 Wall clock TIME (seconds) = 0.125 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 3941 Produced CNF clauses = 23388 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3329 Produced CNF clauses = 19165 Search steps = 0 Wall clock TIME (seconds) = 0.108 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 = 4643 Produced CNF clauses = 28745 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4706 Produced CNF clauses = 28857 Search steps = 0 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4416 Produced CNF clauses = 26901 Search steps = 0 Wall clock TIME (seconds) = 0.146 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 4945 Produced CNF clauses = 30680 Search steps = 0 Wall clock TIME (seconds) = 0.166 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4667 Produced CNF clauses = 29151 Search steps = 0 Wall clock TIME (seconds) = 0.156 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 28940 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 35209 Search steps = 0 Wall clock TIME (seconds) = 0.193 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 3619 Produced CNF clauses = 21594 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 3941 Produced CNF clauses = 23233 Search steps = 0 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3329 Produced CNF clauses = 19144 Search steps = 0 Wall clock TIME (seconds) = 0.108 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 = 4643 Produced CNF clauses = 28643 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4706 Produced CNF clauses = 28731 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4416 Produced CNF clauses = 26856 Search steps = 0 Wall clock TIME (seconds) = 0.146 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4945 Produced CNF clauses = 30564 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=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 = 4667 Produced CNF clauses = 28972 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4706 Produced CNF clauses = 28842 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5491 Produced CNF clauses = 35011 Search steps = 0 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 3931 Produced CNF clauses = 29367 Search steps = 0 Wall clock TIME (seconds) = 0.201 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 4277 Produced CNF clauses = 31827 Search steps = 0 Wall clock TIME (seconds) = 0.215 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 3617 Produced CNF clauses = 26149 Search steps = 0 Wall clock TIME (seconds) = 0.176 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 5003 Produced CNF clauses = 38429 Search steps = 0 Wall clock TIME (seconds) = 0.243 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38489 Search steps = 0 Wall clock TIME (seconds) = 0.248 CPU/machine TIME (seconds) = 0.240 ] ] 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 = 4764 Produced CNF clauses = 36430 Search steps = 0 Wall clock TIME (seconds) = 0.236 CPU/machine TIME (seconds) = 0.220 ] ] 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 = 5329 Produced CNF clauses = 40851 Search steps = 0 Wall clock TIME (seconds) = 0.263 CPU/machine TIME (seconds) = 0.250 ] ] 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 = 5027 Produced CNF clauses = 38663 Search steps = 0 Wall clock TIME (seconds) = 0.244 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38602 Search steps = 0 Wall clock TIME (seconds) = 0.253 CPU/machine TIME (seconds) = 0.240 ] ] 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 = 5899 Produced CNF clauses = 46464 Search steps = 0 Wall clock TIME (seconds) = 0.290 CPU/machine TIME (seconds) = 0.270 ] ] 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 = 3931 Produced CNF clauses = 29189 Search steps = 0 Wall clock TIME (seconds) = 0.198 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 4277 Produced CNF clauses = 31515 Search steps = 0 Wall clock TIME (seconds) = 0.212 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 3617 Produced CNF clauses = 26083 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 5003 Produced CNF clauses = 38222 Search steps = 0 Wall clock TIME (seconds) = 0.243 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38254 Search steps = 0 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 4764 Produced CNF clauses = 36164 Search steps = 0 Wall clock TIME (seconds) = 0.231 CPU/machine TIME (seconds) = 0.220 ] ] 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 = 5329 Produced CNF clauses = 40782 Search steps = 0 Wall clock TIME (seconds) = 0.262 CPU/machine TIME (seconds) = 0.250 ] ] 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 = 5027 Produced CNF clauses = 38451 Search steps = 0 Wall clock TIME (seconds) = 0.241 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38442 Search steps = 0 Wall clock TIME (seconds) = 0.249 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5899 Produced CNF clauses = 46343 Search steps = 0 Wall clock TIME (seconds) = 0.288 CPU/machine TIME (seconds) = 0.270 ] ] 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 = 3931 Produced CNF clauses = 28910 Search steps = 0 Wall clock TIME (seconds) = 0.197 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 4277 Produced CNF clauses = 31314 Search steps = 0 Wall clock TIME (seconds) = 0.211 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 3617 Produced CNF clauses = 26027 Search steps = 0 Wall clock TIME (seconds) = 0.175 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 5003 Produced CNF clauses = 37955 Search steps = 0 Wall clock TIME (seconds) = 0.239 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38131 Search steps = 0 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 4764 Produced CNF clauses = 35966 Search steps = 0 Wall clock TIME (seconds) = 0.231 CPU/machine TIME (seconds) = 0.220 ] ] 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 = 5329 Produced CNF clauses = 40646 Search steps = 0 Wall clock TIME (seconds) = 0.259 CPU/machine TIME (seconds) = 0.250 ] ] 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 = 5027 Produced CNF clauses = 38353 Search steps = 0 Wall clock TIME (seconds) = 0.242 CPU/machine TIME (seconds) = 0.230 ] ] 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 = 5078 Produced CNF clauses = 38323 Search steps = 0 Wall clock TIME (seconds) = 0.249 CPU/machine TIME (seconds) = 0.240 ] ] 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 = 5899 Produced CNF clauses = 46057 Search steps = 0 Wall clock TIME (seconds) = 0.289 CPU/machine TIME (seconds) = 0.270 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 25238 1,12 c number of literals = 26755 1,45 c number of literals = 21327 1,78 c number of literals = 34850 1,8546 c number of literals = 34866 1,474 c number of literals = 32458 1,188 c number of literals = 37374 1,7899 c number of literals = 36419 1,9 c number of literals = 34071 1,774 c number of literals = 44238 2,3455 c number of literals = 34143 2,12 c number of literals = 36507 2,45 c number of literals = 29603 2,78 c number of literals = 47091 2,8546 c number of literals = 46948 2,474 c number of literals = 43910 2,188 c number of literals = 50197 2,7899 c number of literals = 48647 2,9 c number of literals = 46232 2,774 c number of literals = 58837 3,3455 c number of literals = 33943 3,12 c number of literals = 36429 3,45 c number of literals = 29461 3,78 c number of literals = 46749 3,8546 c number of literals = 46666 3,474 c number of literals = 43884 3,188 c number of literals = 50023 3,7899 c number of literals = 48253 3,9 c number of literals = 45936 3,774 c number of literals = 58465 4,3455 c number of literals = 46093 4,12 c number of literals = 49190 4,45 c number of literals = 40258 4,78 c number of literals = 61922 4,8546 c number of literals = 61854 4,474 c number of literals = 58053 4,188 c number of literals = 65940 4,7899 c number of literals = 63463 4,9 c number of literals = 61185 4,774 c number of literals = 76237 5,3455 c number of literals = 45754 5,12 c number of literals = 48977 5,45 c number of literals = 39556 5,78 c number of literals = 61247 5,8546 c number of literals = 61266 5,474 c number of literals = 57795 5,188 c number of literals = 65805 5,7899 c number of literals = 62998 5,9 c number of literals = 60855 5,774 c number of literals = 75766 6,3455 c number of literals = 45124 6,12 c number of literals = 48776 6,45 c number of literals = 39205 6,78 c number of literals = 60527 6,8546 c number of literals = 60591 6,474 c number of literals = 56922 6,188 c number of literals = 65061 6,7899 c number of literals = 62206 6,9 c number of literals = 60372 6,774 c number of literals = 75007 7,3455 c number of literals = 45130 7,12 c number of literals = 48713 7,45 c number of literals = 39016 7,78 c number of literals = 59942 7,8546 c number of literals = 60447 7,474 c number of literals = 56763 7,188 c number of literals = 64569 7,7899 c number of literals = 61789 7,9 c number of literals = 59946 7,774 c number of literals = 74452 8,3455 c number of literals = 64063 8,12 c number of literals = 67989 8,45 c number of literals = 55785 8,78 c number of literals = 82991 8,8546 c number of literals = 83114 8,474 c number of literals = 77716 8,188 c number of literals = 88469 8,7899 c number of literals = 84459 8,9 c number of literals = 83218 8,774 c number of literals = 100891 9,3455 c number of literals = 63255 9,12 c number of literals = 67469 9,45 c number of literals = 55549 9,78 c number of literals = 81871 9,8546 c number of literals = 82866 9,474 c number of literals = 77264 9,188 c number of literals = 88045 9,7899 c number of literals = 83943 9,9 c number of literals = 82430 9,774 c number of literals = 100135 10,3455 c number of literals = 62783 10,12 c number of literals = 66417 10,45 c number of literals = 55121 10,78 c number of literals = 81959 10,8546 c number of literals = 81694 10,474 c number of literals = 77204 10,188 c number of literals = 87313 10,7899 c number of literals = 83071 10,9 c number of literals = 81962 10,774 c number of literals = 99539 11,3455 c number of literals = 62055 11,12 c number of literals = 67437 11,45 c number of literals = 54225 11,78 c number of literals = 80347 11,8546 c number of literals = 81094 11,474 c number of literals = 77400 11,188 c number of literals = 87233 11,7899 c number of literals = 82563 11,9 c number of literals = 81674 11,774 c number of literals = 98479 12,3455 c number of literals = 61439 12,12 c number of literals = 66441 12,45 c number of literals = 54169 12,78 c number of literals = 80295 12,8546 c number of literals = 80082 12,474 c number of literals = 75780 12,188 c number of literals = 85913 12,7899 c number of literals = 81023 12,9 c number of literals = 80718 12,774 c number of literals = 97659 13,3455 c number of literals = 61555 13,12 c number of literals = 65313 13,45 c number of literals = 53669 13,78 c number of literals = 79663 13,8546 c number of literals = 80002 13,474 c number of literals = 75272 13,188 c number of literals = 85265 13,7899 c number of literals = 80851 13,9 c number of literals = 80686 13,774 c number of literals = 97219 14,3455 c number of literals = 61571 14,12 c number of literals = 65173 14,45 c number of literals = 52997 14,78 c number of literals = 78435 14,8546 c number of literals = 79398 14,474 c number of literals = 73536 14,188 c number of literals = 84169 14,7899 c number of literals = 79839 14,9 c number of literals = 79818 14,774 c number of literals = 96319 15,3455 c number of literals = 60531 15,12 c number of literals = 64553 15,45 c number of literals = 52913 15,78 c number of literals = 78027 15,8546 c number of literals = 78894 15,474 c number of literals = 73356 15,188 c number of literals = 83705 15,7899 c number of literals = 79123 15,9 c number of literals = 79426 15,774 c number of literals = 95527 16,3455 c number of literals = 94905 16,12 c number of literals = 102307 16,45 c number of literals = 83504 16,78 c number of literals = 119034 16,8546 c number of literals = 120251 16,474 c number of literals = 113974 16,188 c number of literals = 127016 16,7899 c number of literals = 119522 16,9 c number of literals = 121124 16,774 c number of literals = 143011 17,3455 c number of literals = 94015 17,12 c number of literals = 100747 17,45 c number of literals = 83174 17,78 c number of literals = 117999 17,8546 c number of literals = 119076 17,474 c number of literals = 112644 17,188 c number of literals = 126671 17,7899 c number of literals = 118462 17,9 c number of literals = 120324 17,774 c number of literals = 142406 18,3455 c number of literals = 92620 18,12 c number of literals = 99742 18,45 c number of literals = 82894 18,78 c number of literals = 116664 18,8546 c number of literals = 118461 18,474 c number of literals = 111654 18,188 c number of literals = 125991 18,7899 c number of literals = 117972 18,9 c number of literals = 119729 18,774 c number of literals = 140976 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 3.577 c number of visible variables = 1176 c number of hidden variables = 1507 c number of propositional variables = 2683 1,12 c number of clauses / number of variables = 3.511 c number of visible variables = 1272 c number of hidden variables = 1661 c number of propositional variables = 2933 1,45 c number of clauses / number of variables = 3.382 c number of visible variables = 1068 c number of hidden variables = 1397 c number of propositional variables = 2465 1,78 c number of clauses / number of variables = 3.745 c number of visible variables = 1440 c number of hidden variables = 2123 c number of propositional variables = 3563 1,8546 c number of clauses / number of variables = 3.700 c number of visible variables = 1500 c number of hidden variables = 2090 c number of propositional variables = 3590 1,474 c number of clauses / number of variables = 3.676 c number of visible variables = 1392 c number of hidden variables = 1980 c number of propositional variables = 3372 1,188 c number of clauses / number of variables = 3.743 c number of visible variables = 1560 c number of hidden variables = 2233 c number of propositional variables = 3793 1,7899 c number of clauses / number of variables = 3.833 c number of visible variables = 1464 c number of hidden variables = 2123 c number of propositional variables = 3587 1,9 c number of clauses / number of variables = 3.638 c number of visible variables = 1500 c number of hidden variables = 2090 c number of propositional variables = 3590 1,774 c number of clauses / number of variables = 3.910 c number of visible variables = 1704 c number of hidden variables = 2563 c number of propositional variables = 4267 2,3455 c number of clauses / number of variables = 4.374 c number of visible variables = 1488 c number of hidden variables = 1507 c number of propositional variables = 2995 2,12 c number of clauses / number of variables = 4.320 c number of visible variables = 1608 c number of hidden variables = 1661 c number of propositional variables = 3269 2,45 c number of clauses / number of variables = 4.205 c number of visible variables = 1356 c number of hidden variables = 1397 c number of propositional variables = 2753 2,78 c number of clauses / number of variables = 4.630 c number of visible variables = 1800 c number of hidden variables = 2123 c number of propositional variables = 3923 2,8546 c number of clauses / number of variables = 4.555 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 2,474 c number of clauses / number of variables = 4.551 c number of visible variables = 1740 c number of hidden variables = 1980 c number of propositional variables = 3720 2,188 c number of clauses / number of variables = 4.613 c number of visible variables = 1944 c number of hidden variables = 2233 c number of propositional variables = 4177 2,7899 c number of clauses / number of variables = 4.710 c number of visible variables = 1824 c number of hidden variables = 2123 c number of propositional variables = 3947 2,9 c number of clauses / number of variables = 4.509 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 2,774 c number of clauses / number of variables = 4.804 c number of visible variables = 2112 c number of hidden variables = 2563 c number of propositional variables = 4675 3,3455 c number of clauses / number of variables = 4.341 c number of visible variables = 1488 c number of hidden variables = 1507 c number of propositional variables = 2995 3,12 c number of clauses / number of variables = 4.308 c number of visible variables = 1608 c number of hidden variables = 1661 c number of propositional variables = 3269 3,45 c number of clauses / number of variables = 4.179 c number of visible variables = 1356 c number of hidden variables = 1397 c number of propositional variables = 2753 3,78 c number of clauses / number of variables = 4.587 c number of visible variables = 1800 c number of hidden variables = 2123 c number of propositional variables = 3923 3,8546 c number of clauses / number of variables = 4.519 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 3,474 c number of clauses / number of variables = 4.547 c number of visible variables = 1740 c number of hidden variables = 1980 c number of propositional variables = 3720 3,188 c number of clauses / number of variables = 4.593 c number of visible variables = 1944 c number of hidden variables = 2233 c number of propositional variables = 4177 3,7899 c number of clauses / number of variables = 4.660 c number of visible variables = 1824 c number of hidden variables = 2123 c number of propositional variables = 3947 3,9 c number of clauses / number of variables = 4.471 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 3,774 c number of clauses / number of variables = 4.765 c number of visible variables = 2112 c number of hidden variables = 2563 c number of propositional variables = 4675 4,3455 c number of clauses / number of variables = 5.239 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 4,12 c number of clauses / number of variables = 5.166 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 4,45 c number of clauses / number of variables = 5.045 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 4,78 c number of clauses / number of variables = 5.488 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 4,8546 c number of clauses / number of variables = 5.399 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 4,474 c number of clauses / number of variables = 5.412 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 4,188 c number of clauses / number of variables = 5.471 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 4,7899 c number of clauses / number of variables = 5.557 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 4,9 c number of clauses / number of variables = 5.358 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 4,774 c number of clauses / number of variables = 5.662 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 5,3455 c number of clauses / number of variables = 5.205 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 5,12 c number of clauses / number of variables = 5.146 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 5,45 c number of clauses / number of variables = 4.968 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 5,78 c number of clauses / number of variables = 5.435 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 5,8546 c number of clauses / number of variables = 5.354 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 5,474 c number of clauses / number of variables = 5.391 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 5,188 c number of clauses / number of variables = 5.461 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 5,7899 c number of clauses / number of variables = 5.521 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 5,9 c number of clauses / number of variables = 5.332 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 5,774 c number of clauses / number of variables = 5.632 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 6,3455 c number of clauses / number of variables = 5.142 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 6,12 c number of clauses / number of variables = 5.128 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 6,45 c number of clauses / number of variables = 4.929 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 6,78 c number of clauses / number of variables = 5.379 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 6,8546 c number of clauses / number of variables = 5.302 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 6,474 c number of clauses / number of variables = 5.319 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 6,188 c number of clauses / number of variables = 5.407 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 6,7899 c number of clauses / number of variables = 5.460 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 6,9 c number of clauses / number of variables = 5.295 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 6,774 c number of clauses / number of variables = 5.582 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 7,3455 c number of clauses / number of variables = 5.142 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 7,12 c number of clauses / number of variables = 5.122 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 7,45 c number of clauses / number of variables = 4.909 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 7,78 c number of clauses / number of variables = 5.333 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 7,8546 c number of clauses / number of variables = 5.291 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 7,474 c number of clauses / number of variables = 5.306 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 7,188 c number of clauses / number of variables = 5.371 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 7,7899 c number of clauses / number of variables = 5.428 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 7,9 c number of clauses / number of variables = 5.263 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 7,774 c number of clauses / number of variables = 5.545 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 8,3455 c number of clauses / number of variables = 6.211 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 8,12 c number of clauses / number of variables = 6.113 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 8,45 c number of clauses / number of variables = 5.966 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 8,78 c number of clauses / number of variables = 6.436 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 8,8546 c number of clauses / number of variables = 6.329 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 8,474 c number of clauses / number of variables = 6.328 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 8,188 c number of clauses / number of variables = 6.422 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 8,7899 c number of clauses / number of variables = 6.494 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 8,9 c number of clauses / number of variables = 6.330 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 8,774 c number of clauses / number of variables = 6.620 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 9,3455 c number of clauses / number of variables = 6.155 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 9,12 c number of clauses / number of variables = 6.080 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 9,45 c number of clauses / number of variables = 5.949 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 9,78 c number of clauses / number of variables = 6.376 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 9,8546 c number of clauses / number of variables = 6.316 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 9,474 c number of clauses / number of variables = 6.303 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 9,188 c number of clauses / number of variables = 6.400 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 9,7899 c number of clauses / number of variables = 6.466 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 9,9 c number of clauses / number of variables = 6.288 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 9,774 c number of clauses / number of variables = 6.586 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 10,3455 c number of clauses / number of variables = 6.122 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 10,12 c number of clauses / number of variables = 6.013 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 10,45 c number of clauses / number of variables = 5.916 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 10,78 c number of clauses / number of variables = 6.381 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 10,8546 c number of clauses / number of variables = 6.254 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 10,474 c number of clauses / number of variables = 6.299 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 10,188 c number of clauses / number of variables = 6.363 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 10,7899 c number of clauses / number of variables = 6.419 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 10,9 c number of clauses / number of variables = 6.263 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 10,774 c number of clauses / number of variables = 6.559 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 11,3455 c number of clauses / number of variables = 6.072 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 11,12 c number of clauses / number of variables = 6.078 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 11,45 c number of clauses / number of variables = 5.849 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 11,78 c number of clauses / number of variables = 6.294 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 11,8546 c number of clauses / number of variables = 6.222 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 11,474 c number of clauses / number of variables = 6.310 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 11,188 c number of clauses / number of variables = 6.359 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 11,7899 c number of clauses / number of variables = 6.392 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 11,9 c number of clauses / number of variables = 6.248 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 11,774 c number of clauses / number of variables = 6.510 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 12,3455 c number of clauses / number of variables = 6.030 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 12,12 c number of clauses / number of variables = 6.015 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 12,45 c number of clauses / number of variables = 5.845 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 12,78 c number of clauses / number of variables = 6.291 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 12,8546 c number of clauses / number of variables = 6.168 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 12,474 c number of clauses / number of variables = 6.219 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 12,188 c number of clauses / number of variables = 6.292 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 12,7899 c number of clauses / number of variables = 6.310 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 12,9 c number of clauses / number of variables = 6.197 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 12,774 c number of clauses / number of variables = 6.473 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 13,3455 c number of clauses / number of variables = 6.038 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 13,12 c number of clauses / number of variables = 5.943 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 13,45 c number of clauses / number of variables = 5.807 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 13,78 c number of clauses / number of variables = 6.257 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 13,8546 c number of clauses / number of variables = 6.164 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 13,474 c number of clauses / number of variables = 6.190 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 13,188 c number of clauses / number of variables = 6.260 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 13,7899 c number of clauses / number of variables = 6.300 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 13,9 c number of clauses / number of variables = 6.196 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 13,774 c number of clauses / number of variables = 6.453 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 14,3455 c number of clauses / number of variables = 6.039 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 14,12 c number of clauses / number of variables = 5.935 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 14,45 c number of clauses / number of variables = 5.757 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 14,78 c number of clauses / number of variables = 6.191 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 14,8546 c number of clauses / number of variables = 6.132 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 14,474 c number of clauses / number of variables = 6.092 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 14,188 c number of clauses / number of variables = 6.204 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 14,7899 c number of clauses / number of variables = 6.246 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 14,9 c number of clauses / number of variables = 6.150 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 14,774 c number of clauses / number of variables = 6.412 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 15,3455 c number of clauses / number of variables = 5.967 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 15,12 c number of clauses / number of variables = 5.895 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 15,45 c number of clauses / number of variables = 5.751 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 15,78 c number of clauses / number of variables = 6.169 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 15,8546 c number of clauses / number of variables = 6.105 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 15,474 c number of clauses / number of variables = 6.082 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 15,188 c number of clauses / number of variables = 6.181 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 15,7899 c number of clauses / number of variables = 6.208 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 15,9 c number of clauses / number of variables = 6.129 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 15,774 c number of clauses / number of variables = 6.376 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 16,3455 c number of clauses / number of variables = 7.471 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 16,12 c number of clauses / number of variables = 7.441 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 16,45 c number of clauses / number of variables = 7.229 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 16,78 c number of clauses / number of variables = 7.681 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 16,8546 c number of clauses / number of variables = 7.580 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 16,474 c number of clauses / number of variables = 7.647 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 16,188 c number of clauses / number of variables = 7.666 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 16,7899 c number of clauses / number of variables = 7.691 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 16,9 c number of clauses / number of variables = 7.602 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 16,774 c number of clauses / number of variables = 7.877 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 17,3455 c number of clauses / number of variables = 7.425 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 17,12 c number of clauses / number of variables = 7.368 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 17,45 c number of clauses / number of variables = 7.211 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 17,78 c number of clauses / number of variables = 7.640 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 17,8546 c number of clauses / number of variables = 7.533 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 17,474 c number of clauses / number of variables = 7.591 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 17,188 c number of clauses / number of variables = 7.653 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 17,7899 c number of clauses / number of variables = 7.649 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 17,9 c number of clauses / number of variables = 7.570 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 17,774 c number of clauses / number of variables = 7.856 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 18,3455 c number of clauses / number of variables = 7.354 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 18,12 c number of clauses / number of variables = 7.321 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 18,45 c number of clauses / number of variables = 7.196 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 18,78 c number of clauses / number of variables = 7.586 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 18,8546 c number of clauses / number of variables = 7.509 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 18,474 c number of clauses / number of variables = 7.550 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 18,188 c number of clauses / number of variables = 7.627 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 18,7899 c number of clauses / number of variables = 7.629 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 18,9 c number of clauses / number of variables = 7.547 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 18,774 c number of clauses / number of variables = 7.808 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 3.577 c number of clauses = 9596 1,12 c number of clauses / number of variables = 3.511 c number of clauses = 10299 1,45 c number of clauses / number of variables = 3.382 c number of clauses = 8336 1,78 c number of clauses / number of variables = 3.745 c number of clauses = 13345 1,8546 c number of clauses / number of variables = 3.700 c number of clauses = 13284 1,474 c number of clauses / number of variables = 3.676 c number of clauses = 12394 1,188 c number of clauses / number of variables = 3.743 c number of clauses = 14197 1,7899 c number of clauses / number of variables = 3.833 c number of clauses = 13748 1,9 c number of clauses / number of variables = 3.638 c number of clauses = 13061 1,774 c number of clauses / number of variables = 3.910 c number of clauses = 16683 2,3455 c number of clauses / number of variables = 4.374 c number of clauses = 13101 2,12 c number of clauses / number of variables = 4.320 c number of clauses = 14122 2,45 c number of clauses / number of variables = 4.205 c number of clauses = 11575 2,78 c number of clauses / number of variables = 4.630 c number of clauses = 18164 2,8546 c number of clauses / number of variables = 4.555 c number of clauses = 18045 2,474 c number of clauses / number of variables = 4.551 c number of clauses = 16929 2,188 c number of clauses / number of variables = 4.613 c number of clauses = 19270 2,7899 c number of clauses / number of variables = 4.710 c number of clauses = 18590 2,9 c number of clauses / number of variables = 4.509 c number of clauses = 17863 2,774 c number of clauses / number of variables = 4.804 c number of clauses = 22461 3,3455 c number of clauses / number of variables = 4.341 c number of clauses = 13001 3,12 c number of clauses / number of variables = 4.308 c number of clauses = 14083 3,45 c number of clauses / number of variables = 4.179 c number of clauses = 11504 3,78 c number of clauses / number of variables = 4.587 c number of clauses = 17993 3,8546 c number of clauses / number of variables = 4.519 c number of clauses = 17904 3,474 c number of clauses / number of variables = 4.547 c number of clauses = 16916 3,188 c number of clauses / number of variables = 4.593 c number of clauses = 19183 3,7899 c number of clauses / number of variables = 4.660 c number of clauses = 18393 3,9 c number of clauses / number of variables = 4.471 c number of clauses = 17715 3,774 c number of clauses / number of variables = 4.765 c number of clauses = 22275 4,3455 c number of clauses / number of variables = 5.239 c number of clauses = 17327 4,12 c number of clauses / number of variables = 5.166 c number of clauses = 18624 4,45 c number of clauses / number of variables = 5.045 c number of clauses = 15341 4,78 c number of clauses / number of variables = 5.488 c number of clauses = 23503 4,8546 c number of clauses / number of variables = 5.399 c number of clauses = 23400 4,474 c number of clauses / number of variables = 5.412 c number of clauses = 22015 4,188 c number of clauses / number of variables = 5.471 c number of clauses = 24953 4,7899 c number of clauses / number of variables = 5.557 c number of clauses = 23936 4,9 c number of clauses / number of variables = 5.358 c number of clauses = 23221 4,774 c number of clauses / number of variables = 5.662 c number of clauses = 28782 5,3455 c number of clauses / number of variables = 5.205 c number of clauses = 17214 5,12 c number of clauses / number of variables = 5.146 c number of clauses = 18553 5,45 c number of clauses / number of variables = 4.968 c number of clauses = 15107 5,78 c number of clauses / number of variables = 5.435 c number of clauses = 23278 5,8546 c number of clauses / number of variables = 5.354 c number of clauses = 23204 5,474 c number of clauses / number of variables = 5.391 c number of clauses = 21929 5,188 c number of clauses / number of variables = 5.461 c number of clauses = 24908 5,7899 c number of clauses / number of variables = 5.521 c number of clauses = 23781 5,9 c number of clauses / number of variables = 5.332 c number of clauses = 23111 5,774 c number of clauses / number of variables = 5.632 c number of clauses = 28625 6,3455 c number of clauses / number of variables = 5.142 c number of clauses = 17004 6,12 c number of clauses / number of variables = 5.128 c number of clauses = 18486 6,45 c number of clauses / number of variables = 4.929 c number of clauses = 14990 6,78 c number of clauses / number of variables = 5.379 c number of clauses = 23038 6,8546 c number of clauses / number of variables = 5.302 c number of clauses = 22979 6,474 c number of clauses / number of variables = 5.319 c number of clauses = 21638 6,188 c number of clauses / number of variables = 5.407 c number of clauses = 24660 6,7899 c number of clauses / number of variables = 5.460 c number of clauses = 23517 6,9 c number of clauses / number of variables = 5.295 c number of clauses = 22950 6,774 c number of clauses / number of variables = 5.582 c number of clauses = 28372 7,3455 c number of clauses / number of variables = 5.142 c number of clauses = 17006 7,12 c number of clauses / number of variables = 5.122 c number of clauses = 18465 7,45 c number of clauses / number of variables = 4.909 c number of clauses = 14927 7,78 c number of clauses / number of variables = 5.333 c number of clauses = 22843 7,8546 c number of clauses / number of variables = 5.291 c number of clauses = 22931 7,474 c number of clauses / number of variables = 5.306 c number of clauses = 21585 7,188 c number of clauses / number of variables = 5.371 c number of clauses = 24496 7,7899 c number of clauses / number of variables = 5.428 c number of clauses = 23378 7,9 c number of clauses / number of variables = 5.263 c number of clauses = 22808 7,774 c number of clauses / number of variables = 5.545 c number of clauses = 28187 8,3455 c number of clauses / number of variables = 6.211 c number of clauses = 22477 8,12 c number of clauses / number of variables = 6.113 c number of clauses = 24092 8,45 c number of clauses / number of variables = 5.966 c number of clauses = 19862 8,78 c number of clauses / number of variables = 6.436 c number of clauses = 29884 8,8546 c number of clauses / number of variables = 6.329 c number of clauses = 29786 8,474 c number of clauses / number of variables = 6.328 c number of clauses = 27946 8,188 c number of clauses / number of variables = 6.422 c number of clauses = 31755 8,7899 c number of clauses / number of variables = 6.494 c number of clauses = 30306 8,9 c number of clauses / number of variables = 6.330 c number of clauses = 29790 8,774 c number of clauses / number of variables = 6.620 c number of clauses = 36352 9,3455 c number of clauses / number of variables = 6.155 c number of clauses = 22275 9,12 c number of clauses / number of variables = 6.080 c number of clauses = 23962 9,45 c number of clauses / number of variables = 5.949 c number of clauses = 19803 9,78 c number of clauses / number of variables = 6.376 c number of clauses = 29604 9,8546 c number of clauses / number of variables = 6.316 c number of clauses = 29724 9,474 c number of clauses / number of variables = 6.303 c number of clauses = 27833 9,188 c number of clauses / number of variables = 6.400 c number of clauses = 31649 9,7899 c number of clauses / number of variables = 6.466 c number of clauses = 30177 9,9 c number of clauses / number of variables = 6.288 c number of clauses = 29593 9,774 c number of clauses / number of variables = 6.586 c number of clauses = 36163 10,3455 c number of clauses / number of variables = 6.122 c number of clauses = 22157 10,12 c number of clauses / number of variables = 6.013 c number of clauses = 23699 10,45 c number of clauses / number of variables = 5.916 c number of clauses = 19696 10,78 c number of clauses / number of variables = 6.381 c number of clauses = 29626 10,8546 c number of clauses / number of variables = 6.254 c number of clauses = 29431 10,474 c number of clauses / number of variables = 6.299 c number of clauses = 27818 10,188 c number of clauses / number of variables = 6.363 c number of clauses = 31466 10,7899 c number of clauses / number of variables = 6.419 c number of clauses = 29959 10,9 c number of clauses / number of variables = 6.263 c number of clauses = 29476 10,774 c number of clauses / number of variables = 6.559 c number of clauses = 36014 11,3455 c number of clauses / number of variables = 6.072 c number of clauses = 21975 11,12 c number of clauses / number of variables = 6.078 c number of clauses = 23954 11,45 c number of clauses / number of variables = 5.849 c number of clauses = 19472 11,78 c number of clauses / number of variables = 6.294 c number of clauses = 29223 11,8546 c number of clauses / number of variables = 6.222 c number of clauses = 29281 11,474 c number of clauses / number of variables = 6.310 c number of clauses = 27867 11,188 c number of clauses / number of variables = 6.359 c number of clauses = 31446 11,7899 c number of clauses / number of variables = 6.392 c number of clauses = 29832 11,9 c number of clauses / number of variables = 6.248 c number of clauses = 29404 11,774 c number of clauses / number of variables = 6.510 c number of clauses = 35749 12,3455 c number of clauses / number of variables = 6.030 c number of clauses = 21821 12,12 c number of clauses / number of variables = 6.015 c number of clauses = 23705 12,45 c number of clauses / number of variables = 5.845 c number of clauses = 19458 12,78 c number of clauses / number of variables = 6.291 c number of clauses = 29210 12,8546 c number of clauses / number of variables = 6.168 c number of clauses = 29028 12,474 c number of clauses / number of variables = 6.219 c number of clauses = 27462 12,188 c number of clauses / number of variables = 6.292 c number of clauses = 31116 12,7899 c number of clauses / number of variables = 6.310 c number of clauses = 29447 12,9 c number of clauses / number of variables = 6.197 c number of clauses = 29165 12,774 c number of clauses / number of variables = 6.473 c number of clauses = 35544 13,3455 c number of clauses / number of variables = 6.038 c number of clauses = 21850 13,12 c number of clauses / number of variables = 5.943 c number of clauses = 23423 13,45 c number of clauses / number of variables = 5.807 c number of clauses = 19333 13,78 c number of clauses / number of variables = 6.257 c number of clauses = 29052 13,8546 c number of clauses / number of variables = 6.164 c number of clauses = 29008 13,474 c number of clauses / number of variables = 6.190 c number of clauses = 27335 13,188 c number of clauses / number of variables = 6.260 c number of clauses = 30954 13,7899 c number of clauses / number of variables = 6.300 c number of clauses = 29404 13,9 c number of clauses / number of variables = 6.196 c number of clauses = 29157 13,774 c number of clauses / number of variables = 6.453 c number of clauses = 35434 14,3455 c number of clauses / number of variables = 6.039 c number of clauses = 21854 14,12 c number of clauses / number of variables = 5.935 c number of clauses = 23388 14,45 c number of clauses / number of variables = 5.757 c number of clauses = 19165 14,78 c number of clauses / number of variables = 6.191 c number of clauses = 28745 14,8546 c number of clauses / number of variables = 6.132 c number of clauses = 28857 14,474 c number of clauses / number of variables = 6.092 c number of clauses = 26901 14,188 c number of clauses / number of variables = 6.204 c number of clauses = 30680 14,7899 c number of clauses / number of variables = 6.246 c number of clauses = 29151 14,9 c number of clauses / number of variables = 6.150 c number of clauses = 28940 14,774 c number of clauses / number of variables = 6.412 c number of clauses = 35209 15,3455 c number of clauses / number of variables = 5.967 c number of clauses = 21594 15,12 c number of clauses / number of variables = 5.895 c number of clauses = 23233 15,45 c number of clauses / number of variables = 5.751 c number of clauses = 19144 15,78 c number of clauses / number of variables = 6.169 c number of clauses = 28643 15,8546 c number of clauses / number of variables = 6.105 c number of clauses = 28731 15,474 c number of clauses / number of variables = 6.082 c number of clauses = 26856 15,188 c number of clauses / number of variables = 6.181 c number of clauses = 30564 15,7899 c number of clauses / number of variables = 6.208 c number of clauses = 28972 15,9 c number of clauses / number of variables = 6.129 c number of clauses = 28842 15,774 c number of clauses / number of variables = 6.376 c number of clauses = 35011 16,3455 c number of clauses / number of variables = 7.471 c number of clauses = 29367 16,12 c number of clauses / number of variables = 7.441 c number of clauses = 31827 16,45 c number of clauses / number of variables = 7.229 c number of clauses = 26149 16,78 c number of clauses / number of variables = 7.681 c number of clauses = 38429 16,8546 c number of clauses / number of variables = 7.580 c number of clauses = 38489 16,474 c number of clauses / number of variables = 7.647 c number of clauses = 36430 16,188 c number of clauses / number of variables = 7.666 c number of clauses = 40851 16,7899 c number of clauses / number of variables = 7.691 c number of clauses = 38663 16,9 c number of clauses / number of variables = 7.602 c number of clauses = 38602 16,774 c number of clauses / number of variables = 7.877 c number of clauses = 46464 17,3455 c number of clauses / number of variables = 7.425 c number of clauses = 29189 17,12 c number of clauses / number of variables = 7.368 c number of clauses = 31515 17,45 c number of clauses / number of variables = 7.211 c number of clauses = 26083 17,78 c number of clauses / number of variables = 7.640 c number of clauses = 38222 17,8546 c number of clauses / number of variables = 7.533 c number of clauses = 38254 17,474 c number of clauses / number of variables = 7.591 c number of clauses = 36164 17,188 c number of clauses / number of variables = 7.653 c number of clauses = 40782 17,7899 c number of clauses / number of variables = 7.649 c number of clauses = 38451 17,9 c number of clauses / number of variables = 7.570 c number of clauses = 38442 17,774 c number of clauses / number of variables = 7.856 c number of clauses = 46343 18,3455 c number of clauses / number of variables = 7.354 c number of clauses = 28910 18,12 c number of clauses / number of variables = 7.321 c number of clauses = 31314 18,45 c number of clauses / number of variables = 7.196 c number of clauses = 26027 18,78 c number of clauses / number of variables = 7.586 c number of clauses = 37955 18,8546 c number of clauses / number of variables = 7.509 c number of clauses = 38131 18,474 c number of clauses / number of variables = 7.550 c number of clauses = 35966 18,188 c number of clauses / number of variables = 7.627 c number of clauses = 40646 18,7899 c number of clauses / number of variables = 7.629 c number of clauses = 38353 18,9 c number of clauses / number of variables = 7.547 c number of clauses = 38323 18,774 c number of clauses / number of variables = 7.808 c number of clauses = 46057