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 = 1503 Produced CNF clauses = 7900 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1639 Produced CNF clauses = 8631 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1389 Produced CNF clauses = 7239 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1929 Produced CNF clauses = 11122 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1942 Produced CNF clauses = 10866 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1828 Produced CNF clauses = 10256 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2043 Produced CNF clauses = 11606 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1929 Produced CNF clauses = 11151 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1942 Produced CNF clauses = 10775 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2267 Produced CNF clauses = 13460 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1815 Produced CNF clauses = 10473 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1975 Produced CNF clauses = 11414 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1677 Produced CNF clauses = 9610 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2289 Produced CNF clauses = 14485 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2314 Produced CNF clauses = 14227 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2176 Produced CNF clauses = 13455 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2427 Produced CNF clauses = 15159 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2289 Produced CNF clauses = 14537 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2314 Produced CNF clauses = 14177 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2675 Produced CNF clauses = 17434 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1815 Produced CNF clauses = 10373 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1975 Produced CNF clauses = 11375 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1677 Produced CNF clauses = 9539 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2289 Produced CNF clauses = 14314 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2314 Produced CNF clauses = 14086 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2176 Produced CNF clauses = 13442 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2427 Produced CNF clauses = 15072 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2289 Produced CNF clauses = 14340 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2314 Produced CNF clauses = 14029 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2675 Produced CNF clauses = 17248 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2127 Produced CNF clauses = 13767 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2311 Produced CNF clauses = 14876 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1965 Produced CNF clauses = 12508 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2649 Produced CNF clauses = 18368 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 18182 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2524 Produced CNF clauses = 17205 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2811 Produced CNF clauses = 19322 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2649 Produced CNF clauses = 18427 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 18135 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3083 Produced CNF clauses = 21951 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2127 Produced CNF clauses = 13654 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r5_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2311 Produced CNF clauses = 14805 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1965 Produced CNF clauses = 12274 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2649 Produced CNF clauses = 18143 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r5_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2686 Produced CNF clauses = 17986 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2524 Produced CNF clauses = 17119 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2811 Produced CNF clauses = 19277 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2649 Produced CNF clauses = 18272 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 18025 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3083 Produced CNF clauses = 21794 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r6_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2127 Produced CNF clauses = 13444 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r6_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2311 Produced CNF clauses = 14738 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r6_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1965 Produced CNF clauses = 12157 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r6_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2649 Produced CNF clauses = 17903 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 17761 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2524 Produced CNF clauses = 16828 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r6_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2811 Produced CNF clauses = 19029 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2649 Produced CNF clauses = 18008 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r6_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2686 Produced CNF clauses = 17864 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r6_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3083 Produced CNF clauses = 21541 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2127 Produced CNF clauses = 13446 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r7_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2311 Produced CNF clauses = 14717 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1965 Produced CNF clauses = 12094 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2649 Produced CNF clauses = 17708 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 17713 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r7_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2524 Produced CNF clauses = 16775 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 2811 Produced CNF clauses = 18865 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2649 Produced CNF clauses = 17869 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2686 Produced CNF clauses = 17722 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3083 Produced CNF clauses = 21356 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2439 Produced CNF clauses = 17985 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2647 Produced CNF clauses = 19304 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.040 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r8_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2253 Produced CNF clauses = 16161 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 3009 Produced CNF clauses = 23293 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 23168 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21800 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 24604 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 23341 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 23304 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r8_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3491 Produced CNF clauses = 27717 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2439 Produced CNF clauses = 17783 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r9_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2647 Produced CNF clauses = 19174 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2253 Produced CNF clauses = 16102 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 3009 Produced CNF clauses = 23013 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 23106 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21687 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 24498 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 23212 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 23107 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 27528 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2439 Produced CNF clauses = 17665 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2647 Produced CNF clauses = 18911 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2253 Produced CNF clauses = 15995 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3009 Produced CNF clauses = 23035 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22813 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21672 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 24315 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22994 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22990 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 27379 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2439 Produced CNF clauses = 17483 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2647 Produced CNF clauses = 19166 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2253 Produced CNF clauses = 15771 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3009 Produced CNF clauses = 22632 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22663 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21721 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 24295 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22867 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22918 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 27114 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2439 Produced CNF clauses = 17329 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2647 Produced CNF clauses = 18917 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2253 Produced CNF clauses = 15757 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 3009 Produced CNF clauses = 22619 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22410 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21316 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3195 Produced CNF clauses = 23965 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22482 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22679 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 26909 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2439 Produced CNF clauses = 17358 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2647 Produced CNF clauses = 18635 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2253 Produced CNF clauses = 15632 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3009 Produced CNF clauses = 22461 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22390 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 21189 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 23803 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22439 Search steps = 0 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22671 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 26799 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2439 Produced CNF clauses = 17362 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2647 Produced CNF clauses = 18600 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2253 Produced CNF clauses = 15464 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3009 Produced CNF clauses = 22154 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3058 Produced CNF clauses = 22239 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 20755 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 23529 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22186 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22454 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 26574 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2439 Produced CNF clauses = 17102 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2647 Produced CNF clauses = 18445 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2253 Produced CNF clauses = 15443 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 3009 Produced CNF clauses = 22052 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 3058 Produced CNF clauses = 22113 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2872 Produced CNF clauses = 20710 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3195 Produced CNF clauses = 23413 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3009 Produced CNF clauses = 22007 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3058 Produced CNF clauses = 22356 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3491 Produced CNF clauses = 26376 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2751 Produced CNF clauses = 23943 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2983 Produced CNF clauses = 25999 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2541 Produced CNF clauses = 21580 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3369 Produced CNF clauses = 30382 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30471 Search steps = 0 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3220 Produced CNF clauses = 28948 Search steps = 0 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3579 Produced CNF clauses = 32180 Search steps = 0 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3369 Produced CNF clauses = 30242 Search steps = 0 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30716 Search steps = 0 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3899 Produced CNF clauses = 36025 Search steps = 0 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.070 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2751 Produced CNF clauses = 23765 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2983 Produced CNF clauses = 25687 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2541 Produced CNF clauses = 21514 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3369 Produced CNF clauses = 30175 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30236 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3220 Produced CNF clauses = 28682 Search steps = 0 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3579 Produced CNF clauses = 32111 Search steps = 0 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3369 Produced CNF clauses = 30030 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30556 Search steps = 0 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 3899 Produced CNF clauses = 35904 Search steps = 0 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 2751 Produced CNF clauses = 23486 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2983 Produced CNF clauses = 25486 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2541 Produced CNF clauses = 21458 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3369 Produced CNF clauses = 29908 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30113 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3220 Produced CNF clauses = 28484 Search steps = 0 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 3579 Produced CNF clauses = 31975 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3369 Produced CNF clauses = 29932 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3430 Produced CNF clauses = 30437 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3899 Produced CNF clauses = 35618 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 19167 1,12 c number of literals = 20956 1,45 c number of literals = 17558 1,78 c number of literals = 27057 1,8546 c number of literals = 26472 1,474 c number of literals = 25046 1,188 c number of literals = 28335 1,7899 c number of literals = 27174 1,9 c number of literals = 26293 1,774 c number of literals = 32831 2,3455 c number of literals = 26208 2,12 c number of literals = 28628 2,45 c number of literals = 24098 2,78 c number of literals = 36386 2,8546 c number of literals = 35754 2,474 c number of literals = 33826 2,188 c number of literals = 38118 2,7899 c number of literals = 36490 2,9 c number of literals = 35654 2,774 c number of literals = 43822 3,3455 c number of literals = 26008 3,12 c number of literals = 28550 3,45 c number of literals = 23956 3,78 c number of literals = 36044 3,8546 c number of literals = 35472 3,474 c number of literals = 33800 3,188 c number of literals = 37944 3,7899 c number of literals = 36096 3,9 c number of literals = 35358 3,774 c number of literals = 43450 4,3455 c number of literals = 36294 4,12 c number of literals = 39231 4,45 c number of literals = 33017 4,78 c number of literals = 48305 4,8546 c number of literals = 47860 4,474 c number of literals = 45297 4,188 c number of literals = 50821 4,7899 c number of literals = 48394 4,9 c number of literals = 47807 4,774 c number of literals = 57614 5,3455 c number of literals = 35955 5,12 c number of literals = 39018 5,45 c number of literals = 32315 5,78 c number of literals = 47630 5,8546 c number of literals = 47272 5,474 c number of literals = 45039 5,188 c number of literals = 50686 5,7899 c number of literals = 47929 5,9 c number of literals = 47477 5,774 c number of literals = 57143 6,3455 c number of literals = 35325 6,12 c number of literals = 38817 6,45 c number of literals = 31964 6,78 c number of literals = 46910 6,8546 c number of literals = 46597 6,474 c number of literals = 44166 6,188 c number of literals = 49942 6,7899 c number of literals = 47137 6,9 c number of literals = 46994 6,774 c number of literals = 56384 7,3455 c number of literals = 35331 7,12 c number of literals = 38754 7,45 c number of literals = 31775 7,78 c number of literals = 46325 7,8546 c number of literals = 46453 7,474 c number of literals = 44007 7,188 c number of literals = 49450 7,7899 c number of literals = 46720 7,9 c number of literals = 46568 7,774 c number of literals = 55829 8,3455 c number of literals = 52400 8,12 c number of literals = 55950 8,45 c number of literals = 46808 8,78 c number of literals = 66462 8,8546 c number of literals = 66320 8,474 c number of literals = 62288 8,188 c number of literals = 70310 8,7899 c number of literals = 66478 8,9 c number of literals = 67040 8,774 c number of literals = 78660 9,3455 c number of literals = 51592 9,12 c number of literals = 55430 9,45 c number of literals = 46572 9,78 c number of literals = 65342 9,8546 c number of literals = 66072 9,474 c number of literals = 61836 9,188 c number of literals = 69886 9,7899 c number of literals = 65962 9,9 c number of literals = 66252 9,774 c number of literals = 77904 10,3455 c number of literals = 51120 10,12 c number of literals = 54378 10,45 c number of literals = 46144 10,78 c number of literals = 65430 10,8546 c number of literals = 64900 10,474 c number of literals = 61776 10,188 c number of literals = 69154 10,7899 c number of literals = 65090 10,9 c number of literals = 65784 10,774 c number of literals = 77308 11,3455 c number of literals = 50392 11,12 c number of literals = 55398 11,45 c number of literals = 45248 11,78 c number of literals = 63818 11,8546 c number of literals = 64300 11,474 c number of literals = 61972 11,188 c number of literals = 69074 11,7899 c number of literals = 64582 11,9 c number of literals = 65496 11,774 c number of literals = 76248 12,3455 c number of literals = 49776 12,12 c number of literals = 54402 12,45 c number of literals = 45192 12,78 c number of literals = 63766 12,8546 c number of literals = 63288 12,474 c number of literals = 60352 12,188 c number of literals = 67754 12,7899 c number of literals = 63042 12,9 c number of literals = 64540 12,774 c number of literals = 75428 13,3455 c number of literals = 49892 13,12 c number of literals = 53274 13,45 c number of literals = 44692 13,78 c number of literals = 63134 13,8546 c number of literals = 63208 13,474 c number of literals = 59844 13,188 c number of literals = 67106 13,7899 c number of literals = 62870 13,9 c number of literals = 64508 13,774 c number of literals = 74988 14,3455 c number of literals = 49908 14,12 c number of literals = 53134 14,45 c number of literals = 44020 14,78 c number of literals = 61906 14,8546 c number of literals = 62604 14,474 c number of literals = 58108 14,188 c number of literals = 66010 14,7899 c number of literals = 61858 14,9 c number of literals = 63640 14,774 c number of literals = 74088 15,3455 c number of literals = 48868 15,12 c number of literals = 52514 15,45 c number of literals = 43936 15,78 c number of literals = 61498 15,8546 c number of literals = 62100 15,474 c number of literals = 57928 15,188 c number of literals = 65546 15,7899 c number of literals = 61142 15,9 c number of literals = 63248 15,774 c number of literals = 73296 16,3455 c number of literals = 81378 16,12 c number of literals = 88188 16,45 c number of literals = 72791 16,78 c number of literals = 99593 16,8546 c number of literals = 100657 16,474 c number of literals = 95874 16,188 c number of literals = 105817 16,7899 c number of literals = 98629 16,9 c number of literals = 102146 16,774 c number of literals = 117172 17,3455 c number of literals = 80488 17,12 c number of literals = 86628 17,45 c number of literals = 72461 17,78 c number of literals = 98558 17,8546 c number of literals = 99482 17,474 c number of literals = 94544 17,188 c number of literals = 105472 17,7899 c number of literals = 97569 17,9 c number of literals = 101346 17,774 c number of literals = 116567 18,3455 c number of literals = 79093 18,12 c number of literals = 85623 18,45 c number of literals = 72181 18,78 c number of literals = 97223 18,8546 c number of literals = 98867 18,474 c number of literals = 93554 18,188 c number of literals = 104792 18,7899 c number of literals = 97079 18,9 c number of literals = 100751 18,774 c number of literals = 115137 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 5.256 c number of visible variables = 1503 c number of hidden variables = 0 c number of propositional variables = 1503 1,12 c number of clauses / number of variables = 5.266 c number of visible variables = 1639 c number of hidden variables = 0 c number of propositional variables = 1639 1,45 c number of clauses / number of variables = 5.212 c number of visible variables = 1389 c number of hidden variables = 0 c number of propositional variables = 1389 1,78 c number of clauses / number of variables = 5.766 c number of visible variables = 1929 c number of hidden variables = 0 c number of propositional variables = 1929 1,8546 c number of clauses / number of variables = 5.595 c number of visible variables = 1942 c number of hidden variables = 0 c number of propositional variables = 1942 1,474 c number of clauses / number of variables = 5.611 c number of visible variables = 1828 c number of hidden variables = 0 c number of propositional variables = 1828 1,188 c number of clauses / number of variables = 5.681 c number of visible variables = 2043 c number of hidden variables = 0 c number of propositional variables = 2043 1,7899 c number of clauses / number of variables = 5.781 c number of visible variables = 1929 c number of hidden variables = 0 c number of propositional variables = 1929 1,9 c number of clauses / number of variables = 5.548 c number of visible variables = 1942 c number of hidden variables = 0 c number of propositional variables = 1942 1,774 c number of clauses / number of variables = 5.937 c number of visible variables = 2267 c number of hidden variables = 0 c number of propositional variables = 2267 2,3455 c number of clauses / number of variables = 5.770 c number of visible variables = 1815 c number of hidden variables = 0 c number of propositional variables = 1815 2,12 c number of clauses / number of variables = 5.779 c number of visible variables = 1975 c number of hidden variables = 0 c number of propositional variables = 1975 2,45 c number of clauses / number of variables = 5.730 c number of visible variables = 1677 c number of hidden variables = 0 c number of propositional variables = 1677 2,78 c number of clauses / number of variables = 6.328 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 2,8546 c number of clauses / number of variables = 6.148 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 2,474 c number of clauses / number of variables = 6.183 c number of visible variables = 2176 c number of hidden variables = 0 c number of propositional variables = 2176 2,188 c number of clauses / number of variables = 6.246 c number of visible variables = 2427 c number of hidden variables = 0 c number of propositional variables = 2427 2,7899 c number of clauses / number of variables = 6.351 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 2,9 c number of clauses / number of variables = 6.127 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 2,774 c number of clauses / number of variables = 6.517 c number of visible variables = 2675 c number of hidden variables = 0 c number of propositional variables = 2675 3,3455 c number of clauses / number of variables = 5.715 c number of visible variables = 1815 c number of hidden variables = 0 c number of propositional variables = 1815 3,12 c number of clauses / number of variables = 5.759 c number of visible variables = 1975 c number of hidden variables = 0 c number of propositional variables = 1975 3,45 c number of clauses / number of variables = 5.688 c number of visible variables = 1677 c number of hidden variables = 0 c number of propositional variables = 1677 3,78 c number of clauses / number of variables = 6.253 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 3,8546 c number of clauses / number of variables = 6.087 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 3,474 c number of clauses / number of variables = 6.177 c number of visible variables = 2176 c number of hidden variables = 0 c number of propositional variables = 2176 3,188 c number of clauses / number of variables = 6.210 c number of visible variables = 2427 c number of hidden variables = 0 c number of propositional variables = 2427 3,7899 c number of clauses / number of variables = 6.265 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 3,9 c number of clauses / number of variables = 6.063 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 3,774 c number of clauses / number of variables = 6.448 c number of visible variables = 2675 c number of hidden variables = 0 c number of propositional variables = 2675 4,3455 c number of clauses / number of variables = 6.472 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 4,12 c number of clauses / number of variables = 6.437 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 4,45 c number of clauses / number of variables = 6.365 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 4,78 c number of clauses / number of variables = 6.934 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 4,8546 c number of clauses / number of variables = 6.769 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 4,474 c number of clauses / number of variables = 6.817 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 4,188 c number of clauses / number of variables = 6.874 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 4,7899 c number of clauses / number of variables = 6.956 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 4,9 c number of clauses / number of variables = 6.752 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 4,774 c number of clauses / number of variables = 7.120 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 5,3455 c number of clauses / number of variables = 6.419 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 5,12 c number of clauses / number of variables = 6.406 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 5,45 c number of clauses / number of variables = 6.246 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 5,78 c number of clauses / number of variables = 6.849 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 5,8546 c number of clauses / number of variables = 6.696 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 5,474 c number of clauses / number of variables = 6.782 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 5,188 c number of clauses / number of variables = 6.858 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 5,7899 c number of clauses / number of variables = 6.898 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 5,9 c number of clauses / number of variables = 6.711 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 5,774 c number of clauses / number of variables = 7.069 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 6,3455 c number of clauses / number of variables = 6.321 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 6,12 c number of clauses / number of variables = 6.377 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 6,45 c number of clauses / number of variables = 6.187 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 6,78 c number of clauses / number of variables = 6.758 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 6,8546 c number of clauses / number of variables = 6.612 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 6,474 c number of clauses / number of variables = 6.667 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 6,188 c number of clauses / number of variables = 6.769 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 6,7899 c number of clauses / number of variables = 6.798 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 6,9 c number of clauses / number of variables = 6.651 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 6,774 c number of clauses / number of variables = 6.987 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 7,3455 c number of clauses / number of variables = 6.322 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 7,12 c number of clauses / number of variables = 6.368 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 7,45 c number of clauses / number of variables = 6.155 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 7,78 c number of clauses / number of variables = 6.685 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 7,8546 c number of clauses / number of variables = 6.595 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 7,474 c number of clauses / number of variables = 6.646 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 7,188 c number of clauses / number of variables = 6.711 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 7,7899 c number of clauses / number of variables = 6.746 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 7,9 c number of clauses / number of variables = 6.598 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 7,774 c number of clauses / number of variables = 6.927 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 8,3455 c number of clauses / number of variables = 7.374 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 8,12 c number of clauses / number of variables = 7.293 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 8,45 c number of clauses / number of variables = 7.173 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 8,78 c number of clauses / number of variables = 7.741 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 8,8546 c number of clauses / number of variables = 7.576 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 8,474 c number of clauses / number of variables = 7.591 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 8,188 c number of clauses / number of variables = 7.701 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 8,7899 c number of clauses / number of variables = 7.757 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 8,9 c number of clauses / number of variables = 7.621 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 8,774 c number of clauses / number of variables = 7.940 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 9,3455 c number of clauses / number of variables = 7.291 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 9,12 c number of clauses / number of variables = 7.244 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 9,45 c number of clauses / number of variables = 7.147 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 9,78 c number of clauses / number of variables = 7.648 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 9,8546 c number of clauses / number of variables = 7.556 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 9,474 c number of clauses / number of variables = 7.551 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 9,188 c number of clauses / number of variables = 7.668 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 9,7899 c number of clauses / number of variables = 7.714 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 9,9 c number of clauses / number of variables = 7.556 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 9,774 c number of clauses / number of variables = 7.885 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 10,3455 c number of clauses / number of variables = 7.243 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 10,12 c number of clauses / number of variables = 7.144 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 10,45 c number of clauses / number of variables = 7.099 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 10,78 c number of clauses / number of variables = 7.655 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 10,8546 c number of clauses / number of variables = 7.460 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 10,474 c number of clauses / number of variables = 7.546 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 10,188 c number of clauses / number of variables = 7.610 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 10,7899 c number of clauses / number of variables = 7.642 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 10,9 c number of clauses / number of variables = 7.518 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 10,774 c number of clauses / number of variables = 7.843 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 11,3455 c number of clauses / number of variables = 7.168 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 11,12 c number of clauses / number of variables = 7.241 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 11,45 c number of clauses / number of variables = 7.000 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 11,78 c number of clauses / number of variables = 7.521 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 11,8546 c number of clauses / number of variables = 7.411 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 11,474 c number of clauses / number of variables = 7.563 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 11,188 c number of clauses / number of variables = 7.604 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 11,7899 c number of clauses / number of variables = 7.600 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 11,9 c number of clauses / number of variables = 7.494 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 11,774 c number of clauses / number of variables = 7.767 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 12,3455 c number of clauses / number of variables = 7.105 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 12,12 c number of clauses / number of variables = 7.147 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 12,45 c number of clauses / number of variables = 6.994 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 12,78 c number of clauses / number of variables = 7.517 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 12,8546 c number of clauses / number of variables = 7.328 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 12,474 c number of clauses / number of variables = 7.422 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 12,188 c number of clauses / number of variables = 7.501 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 12,7899 c number of clauses / number of variables = 7.472 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 12,9 c number of clauses / number of variables = 7.416 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 12,774 c number of clauses / number of variables = 7.708 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 13,3455 c number of clauses / number of variables = 7.117 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 13,12 c number of clauses / number of variables = 7.040 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 13,45 c number of clauses / number of variables = 6.938 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 13,78 c number of clauses / number of variables = 7.465 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 13,8546 c number of clauses / number of variables = 7.322 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 13,474 c number of clauses / number of variables = 7.378 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 13,188 c number of clauses / number of variables = 7.450 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 13,7899 c number of clauses / number of variables = 7.457 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 13,9 c number of clauses / number of variables = 7.414 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 13,774 c number of clauses / number of variables = 7.677 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 14,3455 c number of clauses / number of variables = 7.118 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 14,12 c number of clauses / number of variables = 7.027 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 14,45 c number of clauses / number of variables = 6.864 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 14,78 c number of clauses / number of variables = 7.363 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 14,8546 c number of clauses / number of variables = 7.272 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 14,474 c number of clauses / number of variables = 7.227 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 14,188 c number of clauses / number of variables = 7.364 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 14,7899 c number of clauses / number of variables = 7.373 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 14,9 c number of clauses / number of variables = 7.343 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 14,774 c number of clauses / number of variables = 7.612 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 15,3455 c number of clauses / number of variables = 7.012 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 15,12 c number of clauses / number of variables = 6.968 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 15,45 c number of clauses / number of variables = 6.854 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 15,78 c number of clauses / number of variables = 7.329 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 15,8546 c number of clauses / number of variables = 7.231 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 15,474 c number of clauses / number of variables = 7.211 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 15,188 c number of clauses / number of variables = 7.328 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 15,7899 c number of clauses / number of variables = 7.314 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 15,9 c number of clauses / number of variables = 7.311 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 15,774 c number of clauses / number of variables = 7.555 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 16,3455 c number of clauses / number of variables = 8.703 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 16,12 c number of clauses / number of variables = 8.716 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 16,45 c number of clauses / number of variables = 8.493 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 16,78 c number of clauses / number of variables = 9.018 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 16,8546 c number of clauses / number of variables = 8.884 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 16,474 c number of clauses / number of variables = 8.990 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 16,188 c number of clauses / number of variables = 8.991 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 16,7899 c number of clauses / number of variables = 8.977 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 16,9 c number of clauses / number of variables = 8.955 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 16,774 c number of clauses / number of variables = 9.240 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 17,3455 c number of clauses / number of variables = 8.639 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 17,12 c number of clauses / number of variables = 8.611 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 17,45 c number of clauses / number of variables = 8.467 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 17,78 c number of clauses / number of variables = 8.957 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 17,8546 c number of clauses / number of variables = 8.815 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 17,474 c number of clauses / number of variables = 8.907 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 17,188 c number of clauses / number of variables = 8.972 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 17,7899 c number of clauses / number of variables = 8.914 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 17,9 c number of clauses / number of variables = 8.908 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 17,774 c number of clauses / number of variables = 9.209 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 18,3455 c number of clauses / number of variables = 8.537 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 18,12 c number of clauses / number of variables = 8.544 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 18,45 c number of clauses / number of variables = 8.445 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 18,78 c number of clauses / number of variables = 8.877 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 18,8546 c number of clauses / number of variables = 8.779 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 18,474 c number of clauses / number of variables = 8.846 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 18,188 c number of clauses / number of variables = 8.934 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 18,7899 c number of clauses / number of variables = 8.885 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 18,9 c number of clauses / number of variables = 8.874 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 18,774 c number of clauses / number of variables = 9.135 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 5.256 c number of clauses = 7900 1,12 c number of clauses / number of variables = 5.266 c number of clauses = 8631 1,45 c number of clauses / number of variables = 5.212 c number of clauses = 7239 1,78 c number of clauses / number of variables = 5.766 c number of clauses = 11122 1,8546 c number of clauses / number of variables = 5.595 c number of clauses = 10866 1,474 c number of clauses / number of variables = 5.611 c number of clauses = 10256 1,188 c number of clauses / number of variables = 5.681 c number of clauses = 11606 1,7899 c number of clauses / number of variables = 5.781 c number of clauses = 11151 1,9 c number of clauses / number of variables = 5.548 c number of clauses = 10775 1,774 c number of clauses / number of variables = 5.937 c number of clauses = 13460 2,3455 c number of clauses / number of variables = 5.770 c number of clauses = 10473 2,12 c number of clauses / number of variables = 5.779 c number of clauses = 11414 2,45 c number of clauses / number of variables = 5.730 c number of clauses = 9610 2,78 c number of clauses / number of variables = 6.328 c number of clauses = 14485 2,8546 c number of clauses / number of variables = 6.148 c number of clauses = 14227 2,474 c number of clauses / number of variables = 6.183 c number of clauses = 13455 2,188 c number of clauses / number of variables = 6.246 c number of clauses = 15159 2,7899 c number of clauses / number of variables = 6.351 c number of clauses = 14537 2,9 c number of clauses / number of variables = 6.127 c number of clauses = 14177 2,774 c number of clauses / number of variables = 6.517 c number of clauses = 17434 3,3455 c number of clauses / number of variables = 5.715 c number of clauses = 10373 3,12 c number of clauses / number of variables = 5.759 c number of clauses = 11375 3,45 c number of clauses / number of variables = 5.688 c number of clauses = 9539 3,78 c number of clauses / number of variables = 6.253 c number of clauses = 14314 3,8546 c number of clauses / number of variables = 6.087 c number of clauses = 14086 3,474 c number of clauses / number of variables = 6.177 c number of clauses = 13442 3,188 c number of clauses / number of variables = 6.210 c number of clauses = 15072 3,7899 c number of clauses / number of variables = 6.265 c number of clauses = 14340 3,9 c number of clauses / number of variables = 6.063 c number of clauses = 14029 3,774 c number of clauses / number of variables = 6.448 c number of clauses = 17248 4,3455 c number of clauses / number of variables = 6.472 c number of clauses = 13767 4,12 c number of clauses / number of variables = 6.437 c number of clauses = 14876 4,45 c number of clauses / number of variables = 6.365 c number of clauses = 12508 4,78 c number of clauses / number of variables = 6.934 c number of clauses = 18368 4,8546 c number of clauses / number of variables = 6.769 c number of clauses = 18182 4,474 c number of clauses / number of variables = 6.817 c number of clauses = 17205 4,188 c number of clauses / number of variables = 6.874 c number of clauses = 19322 4,7899 c number of clauses / number of variables = 6.956 c number of clauses = 18427 4,9 c number of clauses / number of variables = 6.752 c number of clauses = 18135 4,774 c number of clauses / number of variables = 7.120 c number of clauses = 21951 5,3455 c number of clauses / number of variables = 6.419 c number of clauses = 13654 5,12 c number of clauses / number of variables = 6.406 c number of clauses = 14805 5,45 c number of clauses / number of variables = 6.246 c number of clauses = 12274 5,78 c number of clauses / number of variables = 6.849 c number of clauses = 18143 5,8546 c number of clauses / number of variables = 6.696 c number of clauses = 17986 5,474 c number of clauses / number of variables = 6.782 c number of clauses = 17119 5,188 c number of clauses / number of variables = 6.858 c number of clauses = 19277 5,7899 c number of clauses / number of variables = 6.898 c number of clauses = 18272 5,9 c number of clauses / number of variables = 6.711 c number of clauses = 18025 5,774 c number of clauses / number of variables = 7.069 c number of clauses = 21794 6,3455 c number of clauses / number of variables = 6.321 c number of clauses = 13444 6,12 c number of clauses / number of variables = 6.377 c number of clauses = 14738 6,45 c number of clauses / number of variables = 6.187 c number of clauses = 12157 6,78 c number of clauses / number of variables = 6.758 c number of clauses = 17903 6,8546 c number of clauses / number of variables = 6.612 c number of clauses = 17761 6,474 c number of clauses / number of variables = 6.667 c number of clauses = 16828 6,188 c number of clauses / number of variables = 6.769 c number of clauses = 19029 6,7899 c number of clauses / number of variables = 6.798 c number of clauses = 18008 6,9 c number of clauses / number of variables = 6.651 c number of clauses = 17864 6,774 c number of clauses / number of variables = 6.987 c number of clauses = 21541 7,3455 c number of clauses / number of variables = 6.322 c number of clauses = 13446 7,12 c number of clauses / number of variables = 6.368 c number of clauses = 14717 7,45 c number of clauses / number of variables = 6.155 c number of clauses = 12094 7,78 c number of clauses / number of variables = 6.685 c number of clauses = 17708 7,8546 c number of clauses / number of variables = 6.595 c number of clauses = 17713 7,474 c number of clauses / number of variables = 6.646 c number of clauses = 16775 7,188 c number of clauses / number of variables = 6.711 c number of clauses = 18865 7,7899 c number of clauses / number of variables = 6.746 c number of clauses = 17869 7,9 c number of clauses / number of variables = 6.598 c number of clauses = 17722 7,774 c number of clauses / number of variables = 6.927 c number of clauses = 21356 8,3455 c number of clauses / number of variables = 7.374 c number of clauses = 17985 8,12 c number of clauses / number of variables = 7.293 c number of clauses = 19304 8,45 c number of clauses / number of variables = 7.173 c number of clauses = 16161 8,78 c number of clauses / number of variables = 7.741 c number of clauses = 23293 8,8546 c number of clauses / number of variables = 7.576 c number of clauses = 23168 8,474 c number of clauses / number of variables = 7.591 c number of clauses = 21800 8,188 c number of clauses / number of variables = 7.701 c number of clauses = 24604 8,7899 c number of clauses / number of variables = 7.757 c number of clauses = 23341 8,9 c number of clauses / number of variables = 7.621 c number of clauses = 23304 8,774 c number of clauses / number of variables = 7.940 c number of clauses = 27717 9,3455 c number of clauses / number of variables = 7.291 c number of clauses = 17783 9,12 c number of clauses / number of variables = 7.244 c number of clauses = 19174 9,45 c number of clauses / number of variables = 7.147 c number of clauses = 16102 9,78 c number of clauses / number of variables = 7.648 c number of clauses = 23013 9,8546 c number of clauses / number of variables = 7.556 c number of clauses = 23106 9,474 c number of clauses / number of variables = 7.551 c number of clauses = 21687 9,188 c number of clauses / number of variables = 7.668 c number of clauses = 24498 9,7899 c number of clauses / number of variables = 7.714 c number of clauses = 23212 9,9 c number of clauses / number of variables = 7.556 c number of clauses = 23107 9,774 c number of clauses / number of variables = 7.885 c number of clauses = 27528 10,3455 c number of clauses / number of variables = 7.243 c number of clauses = 17665 10,12 c number of clauses / number of variables = 7.144 c number of clauses = 18911 10,45 c number of clauses / number of variables = 7.099 c number of clauses = 15995 10,78 c number of clauses / number of variables = 7.655 c number of clauses = 23035 10,8546 c number of clauses / number of variables = 7.460 c number of clauses = 22813 10,474 c number of clauses / number of variables = 7.546 c number of clauses = 21672 10,188 c number of clauses / number of variables = 7.610 c number of clauses = 24315 10,7899 c number of clauses / number of variables = 7.642 c number of clauses = 22994 10,9 c number of clauses / number of variables = 7.518 c number of clauses = 22990 10,774 c number of clauses / number of variables = 7.843 c number of clauses = 27379 11,3455 c number of clauses / number of variables = 7.168 c number of clauses = 17483 11,12 c number of clauses / number of variables = 7.241 c number of clauses = 19166 11,45 c number of clauses / number of variables = 7.000 c number of clauses = 15771 11,78 c number of clauses / number of variables = 7.521 c number of clauses = 22632 11,8546 c number of clauses / number of variables = 7.411 c number of clauses = 22663 11,474 c number of clauses / number of variables = 7.563 c number of clauses = 21721 11,188 c number of clauses / number of variables = 7.604 c number of clauses = 24295 11,7899 c number of clauses / number of variables = 7.600 c number of clauses = 22867 11,9 c number of clauses / number of variables = 7.494 c number of clauses = 22918 11,774 c number of clauses / number of variables = 7.767 c number of clauses = 27114 12,3455 c number of clauses / number of variables = 7.105 c number of clauses = 17329 12,12 c number of clauses / number of variables = 7.147 c number of clauses = 18917 12,45 c number of clauses / number of variables = 6.994 c number of clauses = 15757 12,78 c number of clauses / number of variables = 7.517 c number of clauses = 22619 12,8546 c number of clauses / number of variables = 7.328 c number of clauses = 22410 12,474 c number of clauses / number of variables = 7.422 c number of clauses = 21316 12,188 c number of clauses / number of variables = 7.501 c number of clauses = 23965 12,7899 c number of clauses / number of variables = 7.472 c number of clauses = 22482 12,9 c number of clauses / number of variables = 7.416 c number of clauses = 22679 12,774 c number of clauses / number of variables = 7.708 c number of clauses = 26909 13,3455 c number of clauses / number of variables = 7.117 c number of clauses = 17358 13,12 c number of clauses / number of variables = 7.040 c number of clauses = 18635 13,45 c number of clauses / number of variables = 6.938 c number of clauses = 15632 13,78 c number of clauses / number of variables = 7.465 c number of clauses = 22461 13,8546 c number of clauses / number of variables = 7.322 c number of clauses = 22390 13,474 c number of clauses / number of variables = 7.378 c number of clauses = 21189 13,188 c number of clauses / number of variables = 7.450 c number of clauses = 23803 13,7899 c number of clauses / number of variables = 7.457 c number of clauses = 22439 13,9 c number of clauses / number of variables = 7.414 c number of clauses = 22671 13,774 c number of clauses / number of variables = 7.677 c number of clauses = 26799 14,3455 c number of clauses / number of variables = 7.118 c number of clauses = 17362 14,12 c number of clauses / number of variables = 7.027 c number of clauses = 18600 14,45 c number of clauses / number of variables = 6.864 c number of clauses = 15464 14,78 c number of clauses / number of variables = 7.363 c number of clauses = 22154 14,8546 c number of clauses / number of variables = 7.272 c number of clauses = 22239 14,474 c number of clauses / number of variables = 7.227 c number of clauses = 20755 14,188 c number of clauses / number of variables = 7.364 c number of clauses = 23529 14,7899 c number of clauses / number of variables = 7.373 c number of clauses = 22186 14,9 c number of clauses / number of variables = 7.343 c number of clauses = 22454 14,774 c number of clauses / number of variables = 7.612 c number of clauses = 26574 15,3455 c number of clauses / number of variables = 7.012 c number of clauses = 17102 15,12 c number of clauses / number of variables = 6.968 c number of clauses = 18445 15,45 c number of clauses / number of variables = 6.854 c number of clauses = 15443 15,78 c number of clauses / number of variables = 7.329 c number of clauses = 22052 15,8546 c number of clauses / number of variables = 7.231 c number of clauses = 22113 15,474 c number of clauses / number of variables = 7.211 c number of clauses = 20710 15,188 c number of clauses / number of variables = 7.328 c number of clauses = 23413 15,7899 c number of clauses / number of variables = 7.314 c number of clauses = 22007 15,9 c number of clauses / number of variables = 7.311 c number of clauses = 22356 15,774 c number of clauses / number of variables = 7.555 c number of clauses = 26376 16,3455 c number of clauses / number of variables = 8.703 c number of clauses = 23943 16,12 c number of clauses / number of variables = 8.716 c number of clauses = 25999 16,45 c number of clauses / number of variables = 8.493 c number of clauses = 21580 16,78 c number of clauses / number of variables = 9.018 c number of clauses = 30382 16,8546 c number of clauses / number of variables = 8.884 c number of clauses = 30471 16,474 c number of clauses / number of variables = 8.990 c number of clauses = 28948 16,188 c number of clauses / number of variables = 8.991 c number of clauses = 32180 16,7899 c number of clauses / number of variables = 8.977 c number of clauses = 30242 16,9 c number of clauses / number of variables = 8.955 c number of clauses = 30716 16,774 c number of clauses / number of variables = 9.240 c number of clauses = 36025 17,3455 c number of clauses / number of variables = 8.639 c number of clauses = 23765 17,12 c number of clauses / number of variables = 8.611 c number of clauses = 25687 17,45 c number of clauses / number of variables = 8.467 c number of clauses = 21514 17,78 c number of clauses / number of variables = 8.957 c number of clauses = 30175 17,8546 c number of clauses / number of variables = 8.815 c number of clauses = 30236 17,474 c number of clauses / number of variables = 8.907 c number of clauses = 28682 17,188 c number of clauses / number of variables = 8.972 c number of clauses = 32111 17,7899 c number of clauses / number of variables = 8.914 c number of clauses = 30030 17,9 c number of clauses / number of variables = 8.908 c number of clauses = 30556 17,774 c number of clauses / number of variables = 9.209 c number of clauses = 35904 18,3455 c number of clauses / number of variables = 8.537 c number of clauses = 23486 18,12 c number of clauses / number of variables = 8.544 c number of clauses = 25486 18,45 c number of clauses / number of variables = 8.445 c number of clauses = 21458 18,78 c number of clauses / number of variables = 8.877 c number of clauses = 29908 18,8546 c number of clauses / number of variables = 8.779 c number of clauses = 30113 18,474 c number of clauses / number of variables = 8.846 c number of clauses = 28484 18,188 c number of clauses / number of variables = 8.934 c number of clauses = 31975 18,7899 c number of clauses / number of variables = 8.885 c number of clauses = 29932 18,9 c number of clauses / number of variables = 8.874 c number of clauses = 30437 18,774 c number of clauses / number of variables = 9.135 c number of clauses = 35618