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.016 CPU/machine TIME (seconds) = 0.010 ] ] 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.018 CPU/machine TIME (seconds) = 0.010 ] ] 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.015 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.022 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.022 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.021 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.023 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.022 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.022 CPU/machine TIME (seconds) = 0.010 ] ] 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.027 CPU/machine TIME (seconds) = 0.020 ] ] 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.019 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.020 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.017 CPU/machine TIME (seconds) = 0.010 ] ] 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.025 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.025 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.024 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.027 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.026 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 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.019 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.020 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.017 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r3_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2289 Produced CNF clauses = 14314 Search steps = 0 Wall clock TIME (seconds) = 0.025 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.025 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.024 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.027 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.025 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.025 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.030 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.023 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.024 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.021 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r4_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2649 Produced CNF clauses = 18368 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=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.029 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r4_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2524 Produced CNF clauses = 17205 Search steps = 0 Wall clock TIME (seconds) = 0.028 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.031 CPU/machine TIME (seconds) = 0.030 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r4_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2686 Produced CNF clauses = 18135 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r5_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2127 Produced CNF clauses = 13654 Search steps = 0 Wall clock TIME (seconds) = 0.022 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.024 CPU/machine TIME (seconds) = 0.020 ] ] 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.020 CPU/machine TIME (seconds) = 0.010 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r5_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2524 Produced CNF clauses = 17119 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r5_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2811 Produced CNF clauses = 19277 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r5_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2649 Produced CNF clauses = 18272 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r5_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2686 Produced CNF clauses = 18025 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r5_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3083 Produced CNF clauses = 21794 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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.022 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.025 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.020 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.029 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.028 CPU/machine TIME (seconds) = 0.020 ] ] 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.031 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r6_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2649 Produced CNF clauses = 18008 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.022 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.024 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.020 CPU/machine TIME (seconds) = 0.010 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.027 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.031 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.031 CPU/machine TIME (seconds) = 0.030 ] ] 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.026 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.039 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.038 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.044 CPU/machine TIME (seconds) = 0.040 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.031 CPU/machine TIME (seconds) = 0.020 ] ] 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.026 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.038 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.043 CPU/machine TIME (seconds) = 0.040 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 CPU/machine TIME (seconds) = 0.020 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.034 CPU/machine TIME (seconds) = 0.030 ] ] 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.038 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.049 CPU/machine TIME (seconds) = 0.040 ] ] 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.028 CPU/machine TIME (seconds) = 0.020 ] ] 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.031 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 CPU/machine TIME (seconds) = 0.020 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.034 CPU/machine TIME (seconds) = 0.030 ] ] 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.038 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.042 CPU/machine TIME (seconds) = 0.040 ] ] 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.029 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.033 CPU/machine TIME (seconds) = 0.020 ] ] 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.038 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.042 CPU/machine TIME (seconds) = 0.040 ] ] 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.028 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 CPU/machine TIME (seconds) = 0.020 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.033 CPU/machine TIME (seconds) = 0.030 ] ] 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.038 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.042 CPU/machine TIME (seconds) = 0.030 ] ] 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.028 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 CPU/machine TIME (seconds) = 0.020 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.020 ] ] 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.033 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.042 CPU/machine TIME (seconds) = 0.030 ] ] 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.027 CPU/machine TIME (seconds) = 0.020 ] ] 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.030 CPU/machine TIME (seconds) = 0.020 ] ] 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.025 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.034 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.033 CPU/machine TIME (seconds) = 0.030 ] ] 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.037 CPU/machine TIME (seconds) = 0.030 ] ] 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.035 CPU/machine TIME (seconds) = 0.030 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.041 CPU/machine TIME (seconds) = 0.030 ] ] 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.041 CPU/machine TIME (seconds) = 0.040 ] ] 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.045 CPU/machine TIME (seconds) = 0.040 ] ] 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.036 CPU/machine TIME (seconds) = 0.020 ] ] 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.050 CPU/machine TIME (seconds) = 0.050 ] ] 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.051 CPU/machine TIME (seconds) = 0.040 ] ] 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.048 CPU/machine TIME (seconds) = 0.040 ] ] 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.053 CPU/machine TIME (seconds) = 0.050 ] ] 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.050 CPU/machine TIME (seconds) = 0.040 ] ] 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.051 CPU/machine TIME (seconds) = 0.050 ] ] 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.059 CPU/machine TIME (seconds) = 0.050 ] ] 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.040 CPU/machine TIME (seconds) = 0.040 ] ] 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.043 CPU/machine TIME (seconds) = 0.040 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.050 CPU/machine TIME (seconds) = 0.040 ] ] 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.050 CPU/machine TIME (seconds) = 0.040 ] ] 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.047 CPU/machine TIME (seconds) = 0.040 ] ] 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.054 CPU/machine TIME (seconds) = 0.050 ] ] 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.049 CPU/machine TIME (seconds) = 0.040 ] ] 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.051 CPU/machine TIME (seconds) = 0.050 ] ] 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.058 CPU/machine TIME (seconds) = 0.050 ] ] 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.040 CPU/machine TIME (seconds) = 0.030 ] ] 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.043 CPU/machine TIME (seconds) = 0.040 ] ] 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.036 CPU/machine TIME (seconds) = 0.030 ] ] 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.049 CPU/machine TIME (seconds) = 0.040 ] ] 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.050 CPU/machine TIME (seconds) = 0.040 ] ] 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.048 CPU/machine TIME (seconds) = 0.040 ] ] 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.052 CPU/machine TIME (seconds) = 0.050 ] ] 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.049 CPU/machine TIME (seconds) = 0.040 ] ] 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.050 CPU/machine TIME (seconds) = 0.040 ] ] 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.058 CPU/machine TIME (seconds) = 0.050 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 19167 c number of literals / number of clauses = 2.426 1,12 c number of literals = 20956 c number of literals / number of clauses = 2.428 1,45 c number of literals = 17558 c number of literals / number of clauses = 2.425 1,78 c number of literals = 27057 c number of literals / number of clauses = 2.433 1,8546 c number of literals = 26472 c number of literals / number of clauses = 2.436 1,474 c number of literals = 25046 c number of literals / number of clauses = 2.442 1,188 c number of literals = 28335 c number of literals / number of clauses = 2.441 1,7899 c number of literals = 27174 c number of literals / number of clauses = 2.437 1,9 c number of literals = 26293 c number of literals / number of clauses = 2.440 1,774 c number of literals = 32831 c number of literals / number of clauses = 2.439 2,3455 c number of literals = 26208 c number of literals / number of clauses = 2.502 2,12 c number of literals = 28628 c number of literals / number of clauses = 2.508 2,45 c number of literals = 24098 c number of literals / number of clauses = 2.508 2,78 c number of literals = 36386 c number of literals / number of clauses = 2.512 2,8546 c number of literals = 35754 c number of literals / number of clauses = 2.513 2,474 c number of literals = 33826 c number of literals / number of clauses = 2.514 2,188 c number of literals = 38118 c number of literals / number of clauses = 2.515 2,7899 c number of literals = 36490 c number of literals / number of clauses = 2.510 2,9 c number of literals = 35654 c number of literals / number of clauses = 2.515 2,774 c number of literals = 43822 c number of literals / number of clauses = 2.514 3,3455 c number of literals = 26008 c number of literals / number of clauses = 2.507 3,12 c number of literals = 28550 c number of literals / number of clauses = 2.510 3,45 c number of literals = 23956 c number of literals / number of clauses = 2.511 3,78 c number of literals = 36044 c number of literals / number of clauses = 2.518 3,8546 c number of literals = 35472 c number of literals / number of clauses = 2.518 3,474 c number of literals = 33800 c number of literals / number of clauses = 2.515 3,188 c number of literals = 37944 c number of literals / number of clauses = 2.518 3,7899 c number of literals = 36096 c number of literals / number of clauses = 2.517 3,9 c number of literals = 35358 c number of literals / number of clauses = 2.520 3,774 c number of literals = 43450 c number of literals / number of clauses = 2.519 4,3455 c number of literals = 36294 c number of literals / number of clauses = 2.636 4,12 c number of literals = 39231 c number of literals / number of clauses = 2.637 4,45 c number of literals = 33017 c number of literals / number of clauses = 2.640 4,78 c number of literals = 48305 c number of literals / number of clauses = 2.630 4,8546 c number of literals = 47860 c number of literals / number of clauses = 2.632 4,474 c number of literals = 45297 c number of literals / number of clauses = 2.633 4,188 c number of literals = 50821 c number of literals / number of clauses = 2.630 4,7899 c number of literals = 48394 c number of literals / number of clauses = 2.626 4,9 c number of literals = 47807 c number of literals / number of clauses = 2.636 4,774 c number of literals = 57614 c number of literals / number of clauses = 2.625 5,3455 c number of literals = 35955 c number of literals / number of clauses = 2.633 5,12 c number of literals = 39018 c number of literals / number of clauses = 2.635 5,45 c number of literals = 32315 c number of literals / number of clauses = 2.633 5,78 c number of literals = 47630 c number of literals / number of clauses = 2.625 5,8546 c number of literals = 47272 c number of literals / number of clauses = 2.628 5,474 c number of literals = 45039 c number of literals / number of clauses = 2.631 5,188 c number of literals = 50686 c number of literals / number of clauses = 2.629 5,7899 c number of literals = 47929 c number of literals / number of clauses = 2.623 5,9 c number of literals = 47477 c number of literals / number of clauses = 2.634 5,774 c number of literals = 57143 c number of literals / number of clauses = 2.622 6,3455 c number of literals = 35325 c number of literals / number of clauses = 2.628 6,12 c number of literals = 38817 c number of literals / number of clauses = 2.634 6,45 c number of literals = 31964 c number of literals / number of clauses = 2.629 6,78 c number of literals = 46910 c number of literals / number of clauses = 2.620 6,8546 c number of literals = 46597 c number of literals / number of clauses = 2.624 6,474 c number of literals = 44166 c number of literals / number of clauses = 2.625 6,188 c number of literals = 49942 c number of literals / number of clauses = 2.625 6,7899 c number of literals = 47137 c number of literals / number of clauses = 2.618 6,9 c number of literals = 46994 c number of literals / number of clauses = 2.631 6,774 c number of literals = 56384 c number of literals / number of clauses = 2.618 7,3455 c number of literals = 35331 c number of literals / number of clauses = 2.628 7,12 c number of literals = 38754 c number of literals / number of clauses = 2.633 7,45 c number of literals = 31775 c number of literals / number of clauses = 2.627 7,78 c number of literals = 46325 c number of literals / number of clauses = 2.616 7,8546 c number of literals = 46453 c number of literals / number of clauses = 2.623 7,474 c number of literals = 44007 c number of literals / number of clauses = 2.623 7,188 c number of literals = 49450 c number of literals / number of clauses = 2.621 7,7899 c number of literals = 46720 c number of literals / number of clauses = 2.615 7,9 c number of literals = 46568 c number of literals / number of clauses = 2.628 7,774 c number of literals = 55829 c number of literals / number of clauses = 2.614 8,3455 c number of literals = 52400 c number of literals / number of clauses = 2.914 8,12 c number of literals = 55950 c number of literals / number of clauses = 2.898 8,45 c number of literals = 46808 c number of literals / number of clauses = 2.896 8,78 c number of literals = 66462 c number of literals / number of clauses = 2.853 8,8546 c number of literals = 66320 c number of literals / number of clauses = 2.863 8,474 c number of literals = 62288 c number of literals / number of clauses = 2.857 8,188 c number of literals = 70310 c number of literals / number of clauses = 2.858 8,7899 c number of literals = 66478 c number of literals / number of clauses = 2.848 8,9 c number of literals = 67040 c number of literals / number of clauses = 2.877 8,774 c number of literals = 78660 c number of literals / number of clauses = 2.838 9,3455 c number of literals = 51592 c number of literals / number of clauses = 2.901 9,12 c number of literals = 55430 c number of literals / number of clauses = 2.891 9,45 c number of literals = 46572 c number of literals / number of clauses = 2.892 9,78 c number of literals = 65342 c number of literals / number of clauses = 2.839 9,8546 c number of literals = 66072 c number of literals / number of clauses = 2.860 9,474 c number of literals = 61836 c number of literals / number of clauses = 2.851 9,188 c number of literals = 69886 c number of literals / number of clauses = 2.853 9,7899 c number of literals = 65962 c number of literals / number of clauses = 2.842 9,9 c number of literals = 66252 c number of literals / number of clauses = 2.867 9,774 c number of literals = 77904 c number of literals / number of clauses = 2.830 10,3455 c number of literals = 51120 c number of literals / number of clauses = 2.894 10,12 c number of literals = 54378 c number of literals / number of clauses = 2.875 10,45 c number of literals = 46144 c number of literals / number of clauses = 2.885 10,78 c number of literals = 65430 c number of literals / number of clauses = 2.840 10,8546 c number of literals = 64900 c number of literals / number of clauses = 2.845 10,474 c number of literals = 61776 c number of literals / number of clauses = 2.850 10,188 c number of literals = 69154 c number of literals / number of clauses = 2.844 10,7899 c number of literals = 65090 c number of literals / number of clauses = 2.831 10,9 c number of literals = 65784 c number of literals / number of clauses = 2.861 10,774 c number of literals = 77308 c number of literals / number of clauses = 2.824 11,3455 c number of literals = 50392 c number of literals / number of clauses = 2.882 11,12 c number of literals = 55398 c number of literals / number of clauses = 2.890 11,45 c number of literals = 45248 c number of literals / number of clauses = 2.869 11,78 c number of literals = 63818 c number of literals / number of clauses = 2.820 11,8546 c number of literals = 64300 c number of literals / number of clauses = 2.837 11,474 c number of literals = 61972 c number of literals / number of clauses = 2.853 11,188 c number of literals = 69074 c number of literals / number of clauses = 2.843 11,7899 c number of literals = 64582 c number of literals / number of clauses = 2.824 11,9 c number of literals = 65496 c number of literals / number of clauses = 2.858 11,774 c number of literals = 76248 c number of literals / number of clauses = 2.812 12,3455 c number of literals = 49776 c number of literals / number of clauses = 2.872 12,12 c number of literals = 54402 c number of literals / number of clauses = 2.876 12,45 c number of literals = 45192 c number of literals / number of clauses = 2.868 12,78 c number of literals = 63766 c number of literals / number of clauses = 2.819 12,8546 c number of literals = 63288 c number of literals / number of clauses = 2.824 12,474 c number of literals = 60352 c number of literals / number of clauses = 2.831 12,188 c number of literals = 67754 c number of literals / number of clauses = 2.827 12,7899 c number of literals = 63042 c number of literals / number of clauses = 2.804 12,9 c number of literals = 64540 c number of literals / number of clauses = 2.846 12,774 c number of literals = 75428 c number of literals / number of clauses = 2.803 13,3455 c number of literals = 49892 c number of literals / number of clauses = 2.874 13,12 c number of literals = 53274 c number of literals / number of clauses = 2.859 13,45 c number of literals = 44692 c number of literals / number of clauses = 2.859 13,78 c number of literals = 63134 c number of literals / number of clauses = 2.811 13,8546 c number of literals = 63208 c number of literals / number of clauses = 2.823 13,474 c number of literals = 59844 c number of literals / number of clauses = 2.824 13,188 c number of literals = 67106 c number of literals / number of clauses = 2.819 13,7899 c number of literals = 62870 c number of literals / number of clauses = 2.802 13,9 c number of literals = 64508 c number of literals / number of clauses = 2.845 13,774 c number of literals = 74988 c number of literals / number of clauses = 2.798 14,3455 c number of literals = 49908 c number of literals / number of clauses = 2.875 14,12 c number of literals = 53134 c number of literals / number of clauses = 2.857 14,45 c number of literals = 44020 c number of literals / number of clauses = 2.847 14,78 c number of literals = 61906 c number of literals / number of clauses = 2.794 14,8546 c number of literals = 62604 c number of literals / number of clauses = 2.815 14,474 c number of literals = 58108 c number of literals / number of clauses = 2.800 14,188 c number of literals = 66010 c number of literals / number of clauses = 2.805 14,7899 c number of literals = 61858 c number of literals / number of clauses = 2.788 14,9 c number of literals = 63640 c number of literals / number of clauses = 2.834 14,774 c number of literals = 74088 c number of literals / number of clauses = 2.788 15,3455 c number of literals = 48868 c number of literals / number of clauses = 2.857 15,12 c number of literals = 52514 c number of literals / number of clauses = 2.847 15,45 c number of literals = 43936 c number of literals / number of clauses = 2.845 15,78 c number of literals = 61498 c number of literals / number of clauses = 2.789 15,8546 c number of literals = 62100 c number of literals / number of clauses = 2.808 15,474 c number of literals = 57928 c number of literals / number of clauses = 2.797 15,188 c number of literals = 65546 c number of literals / number of clauses = 2.800 15,7899 c number of literals = 61142 c number of literals / number of clauses = 2.778 15,9 c number of literals = 63248 c number of literals / number of clauses = 2.829 15,774 c number of literals = 73296 c number of literals / number of clauses = 2.779 16,3455 c number of literals = 81378 c number of literals / number of clauses = 3.399 16,12 c number of literals = 88188 c number of literals / number of clauses = 3.392 16,45 c number of literals = 72791 c number of literals / number of clauses = 3.373 16,78 c number of literals = 99593 c number of literals / number of clauses = 3.278 16,8546 c number of literals = 100657 c number of literals / number of clauses = 3.303 16,474 c number of literals = 95874 c number of literals / number of clauses = 3.312 16,188 c number of literals = 105817 c number of literals / number of clauses = 3.288 16,7899 c number of literals = 98629 c number of literals / number of clauses = 3.261 16,9 c number of literals = 102146 c number of literals / number of clauses = 3.325 16,774 c number of literals = 117172 c number of literals / number of clauses = 3.253 17,3455 c number of literals = 80488 c number of literals / number of clauses = 3.387 17,12 c number of literals = 86628 c number of literals / number of clauses = 3.372 17,45 c number of literals = 72461 c number of literals / number of clauses = 3.368 17,78 c number of literals = 98558 c number of literals / number of clauses = 3.266 17,8546 c number of literals = 99482 c number of literals / number of clauses = 3.290 17,474 c number of literals = 94544 c number of literals / number of clauses = 3.296 17,188 c number of literals = 105472 c number of literals / number of clauses = 3.285 17,7899 c number of literals = 97569 c number of literals / number of clauses = 3.249 17,9 c number of literals = 101346 c number of literals / number of clauses = 3.317 17,774 c number of literals = 116567 c number of literals / number of clauses = 3.247 18,3455 c number of literals = 79093 c number of literals / number of clauses = 3.368 18,12 c number of literals = 85623 c number of literals / number of clauses = 3.360 18,45 c number of literals = 72181 c number of literals / number of clauses = 3.364 18,78 c number of literals = 97223 c number of literals / number of clauses = 3.251 18,8546 c number of literals = 98867 c number of literals / number of clauses = 3.283 18,474 c number of literals = 93554 c number of literals / number of clauses = 3.284 18,188 c number of literals = 104792 c number of literals / number of clauses = 3.277 18,7899 c number of literals = 97079 c number of literals / number of clauses = 3.243 18,9 c number of literals = 100751 c number of literals / number of clauses = 3.310 18,774 c number of literals = 115137 c number of literals / number of clauses = 3.233 grid size = 6 max robots = 18 1,3455 c number of visible variables = 1503 c number of hidden variables = 0 c number of propositional variables = 1503 c number of clauses / number of variables = 5.256 1,12 c number of visible variables = 1639 c number of hidden variables = 0 c number of propositional variables = 1639 c number of clauses / number of variables = 5.266 1,45 c number of visible variables = 1389 c number of hidden variables = 0 c number of propositional variables = 1389 c number of clauses / number of variables = 5.212 1,78 c number of visible variables = 1929 c number of hidden variables = 0 c number of propositional variables = 1929 c number of clauses / number of variables = 5.766 1,8546 c number of visible variables = 1942 c number of hidden variables = 0 c number of propositional variables = 1942 c number of clauses / number of variables = 5.595 1,474 c number of visible variables = 1828 c number of hidden variables = 0 c number of propositional variables = 1828 c number of clauses / number of variables = 5.611 1,188 c number of visible variables = 2043 c number of hidden variables = 0 c number of propositional variables = 2043 c number of clauses / number of variables = 5.681 1,7899 c number of visible variables = 1929 c number of hidden variables = 0 c number of propositional variables = 1929 c number of clauses / number of variables = 5.781 1,9 c number of visible variables = 1942 c number of hidden variables = 0 c number of propositional variables = 1942 c number of clauses / number of variables = 5.548 1,774 c number of visible variables = 2267 c number of hidden variables = 0 c number of propositional variables = 2267 c number of clauses / number of variables = 5.937 2,3455 c number of visible variables = 1815 c number of hidden variables = 0 c number of propositional variables = 1815 c number of clauses / number of variables = 5.770 2,12 c number of visible variables = 1975 c number of hidden variables = 0 c number of propositional variables = 1975 c number of clauses / number of variables = 5.779 2,45 c number of visible variables = 1677 c number of hidden variables = 0 c number of propositional variables = 1677 c number of clauses / number of variables = 5.730 2,78 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 c number of clauses / number of variables = 6.328 2,8546 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 c number of clauses / number of variables = 6.148 2,474 c number of visible variables = 2176 c number of hidden variables = 0 c number of propositional variables = 2176 c number of clauses / number of variables = 6.183 2,188 c number of visible variables = 2427 c number of hidden variables = 0 c number of propositional variables = 2427 c number of clauses / number of variables = 6.246 2,7899 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 c number of clauses / number of variables = 6.351 2,9 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 c number of clauses / number of variables = 6.127 2,774 c number of visible variables = 2675 c number of hidden variables = 0 c number of propositional variables = 2675 c number of clauses / number of variables = 6.517 3,3455 c number of visible variables = 1815 c number of hidden variables = 0 c number of propositional variables = 1815 c number of clauses / number of variables = 5.715 3,12 c number of visible variables = 1975 c number of hidden variables = 0 c number of propositional variables = 1975 c number of clauses / number of variables = 5.759 3,45 c number of visible variables = 1677 c number of hidden variables = 0 c number of propositional variables = 1677 c number of clauses / number of variables = 5.688 3,78 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 c number of clauses / number of variables = 6.253 3,8546 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 c number of clauses / number of variables = 6.087 3,474 c number of visible variables = 2176 c number of hidden variables = 0 c number of propositional variables = 2176 c number of clauses / number of variables = 6.177 3,188 c number of visible variables = 2427 c number of hidden variables = 0 c number of propositional variables = 2427 c number of clauses / number of variables = 6.210 3,7899 c number of visible variables = 2289 c number of hidden variables = 0 c number of propositional variables = 2289 c number of clauses / number of variables = 6.265 3,9 c number of visible variables = 2314 c number of hidden variables = 0 c number of propositional variables = 2314 c number of clauses / number of variables = 6.063 3,774 c number of visible variables = 2675 c number of hidden variables = 0 c number of propositional variables = 2675 c number of clauses / number of variables = 6.448 4,3455 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 c number of clauses / number of variables = 6.472 4,12 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 c number of clauses / number of variables = 6.437 4,45 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 c number of clauses / number of variables = 6.365 4,78 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.934 4,8546 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.769 4,474 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 c number of clauses / number of variables = 6.817 4,188 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 c number of clauses / number of variables = 6.874 4,7899 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.956 4,9 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.752 4,774 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 c number of clauses / number of variables = 7.120 5,3455 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 c number of clauses / number of variables = 6.419 5,12 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 c number of clauses / number of variables = 6.406 5,45 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 c number of clauses / number of variables = 6.246 5,78 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.849 5,8546 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.696 5,474 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 c number of clauses / number of variables = 6.782 5,188 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 c number of clauses / number of variables = 6.858 5,7899 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.898 5,9 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.711 5,774 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 c number of clauses / number of variables = 7.069 6,3455 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 c number of clauses / number of variables = 6.321 6,12 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 c number of clauses / number of variables = 6.377 6,45 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 c number of clauses / number of variables = 6.187 6,78 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.758 6,8546 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.612 6,474 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 c number of clauses / number of variables = 6.667 6,188 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 c number of clauses / number of variables = 6.769 6,7899 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.798 6,9 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.651 6,774 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 c number of clauses / number of variables = 6.987 7,3455 c number of visible variables = 2127 c number of hidden variables = 0 c number of propositional variables = 2127 c number of clauses / number of variables = 6.322 7,12 c number of visible variables = 2311 c number of hidden variables = 0 c number of propositional variables = 2311 c number of clauses / number of variables = 6.368 7,45 c number of visible variables = 1965 c number of hidden variables = 0 c number of propositional variables = 1965 c number of clauses / number of variables = 6.155 7,78 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.685 7,8546 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.595 7,474 c number of visible variables = 2524 c number of hidden variables = 0 c number of propositional variables = 2524 c number of clauses / number of variables = 6.646 7,188 c number of visible variables = 2811 c number of hidden variables = 0 c number of propositional variables = 2811 c number of clauses / number of variables = 6.711 7,7899 c number of visible variables = 2649 c number of hidden variables = 0 c number of propositional variables = 2649 c number of clauses / number of variables = 6.746 7,9 c number of visible variables = 2686 c number of hidden variables = 0 c number of propositional variables = 2686 c number of clauses / number of variables = 6.598 7,774 c number of visible variables = 3083 c number of hidden variables = 0 c number of propositional variables = 3083 c number of clauses / number of variables = 6.927 8,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.374 8,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.293 8,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 7.173 8,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.741 8,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.576 8,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.591 8,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.701 8,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.757 8,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.621 8,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.940 9,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.291 9,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.244 9,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 7.147 9,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.648 9,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.556 9,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.551 9,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.668 9,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.714 9,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.556 9,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.885 10,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.243 10,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.144 10,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 7.099 10,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.655 10,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.460 10,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.546 10,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.610 10,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.642 10,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.518 10,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.843 11,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.168 11,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.241 11,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 7.000 11,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.521 11,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.411 11,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.563 11,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.604 11,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.600 11,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.494 11,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.767 12,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.105 12,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.147 12,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 6.994 12,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.517 12,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.328 12,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.422 12,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.501 12,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.472 12,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.416 12,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.708 13,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.117 13,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.040 13,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 6.938 13,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.465 13,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.322 13,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.378 13,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.450 13,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.457 13,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.414 13,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.677 14,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.118 14,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 7.027 14,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 6.864 14,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.363 14,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.272 14,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.227 14,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.364 14,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.373 14,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.343 14,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.612 15,3455 c number of visible variables = 2439 c number of hidden variables = 0 c number of propositional variables = 2439 c number of clauses / number of variables = 7.012 15,12 c number of visible variables = 2647 c number of hidden variables = 0 c number of propositional variables = 2647 c number of clauses / number of variables = 6.968 15,45 c number of visible variables = 2253 c number of hidden variables = 0 c number of propositional variables = 2253 c number of clauses / number of variables = 6.854 15,78 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.329 15,8546 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.231 15,474 c number of visible variables = 2872 c number of hidden variables = 0 c number of propositional variables = 2872 c number of clauses / number of variables = 7.211 15,188 c number of visible variables = 3195 c number of hidden variables = 0 c number of propositional variables = 3195 c number of clauses / number of variables = 7.328 15,7899 c number of visible variables = 3009 c number of hidden variables = 0 c number of propositional variables = 3009 c number of clauses / number of variables = 7.314 15,9 c number of visible variables = 3058 c number of hidden variables = 0 c number of propositional variables = 3058 c number of clauses / number of variables = 7.311 15,774 c number of visible variables = 3491 c number of hidden variables = 0 c number of propositional variables = 3491 c number of clauses / number of variables = 7.555 16,3455 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 c number of clauses / number of variables = 8.703 16,12 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 c number of clauses / number of variables = 8.716 16,45 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 c number of clauses / number of variables = 8.493 16,78 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 9.018 16,8546 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.884 16,474 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 c number of clauses / number of variables = 8.990 16,188 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 c number of clauses / number of variables = 8.991 16,7899 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 8.977 16,9 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.955 16,774 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 c number of clauses / number of variables = 9.240 17,3455 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 c number of clauses / number of variables = 8.639 17,12 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 c number of clauses / number of variables = 8.611 17,45 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 c number of clauses / number of variables = 8.467 17,78 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 8.957 17,8546 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.815 17,474 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 c number of clauses / number of variables = 8.907 17,188 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 c number of clauses / number of variables = 8.972 17,7899 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 8.914 17,9 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.908 17,774 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 c number of clauses / number of variables = 9.209 18,3455 c number of visible variables = 2751 c number of hidden variables = 0 c number of propositional variables = 2751 c number of clauses / number of variables = 8.537 18,12 c number of visible variables = 2983 c number of hidden variables = 0 c number of propositional variables = 2983 c number of clauses / number of variables = 8.544 18,45 c number of visible variables = 2541 c number of hidden variables = 0 c number of propositional variables = 2541 c number of clauses / number of variables = 8.445 18,78 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 8.877 18,8546 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.779 18,474 c number of visible variables = 3220 c number of hidden variables = 0 c number of propositional variables = 3220 c number of clauses / number of variables = 8.846 18,188 c number of visible variables = 3579 c number of hidden variables = 0 c number of propositional variables = 3579 c number of clauses / number of variables = 8.934 18,7899 c number of visible variables = 3369 c number of hidden variables = 0 c number of propositional variables = 3369 c number of clauses / number of variables = 8.885 18,9 c number of visible variables = 3430 c number of hidden variables = 0 c number of propositional variables = 3430 c number of clauses / number of variables = 8.874 18,774 c number of visible variables = 3899 c number of hidden variables = 0 c number of propositional variables = 3899 c number of clauses / number of variables = 9.135 grid size = 6 max robots = 18 1,3455 c number of clauses = 7900 c number of clauses / number of variables = 5.256 c number of literals / number of clauses = 2.426 1,12 c number of clauses = 8631 c number of clauses / number of variables = 5.266 c number of literals / number of clauses = 2.428 1,45 c number of clauses = 7239 c number of clauses / number of variables = 5.212 c number of literals / number of clauses = 2.425 1,78 c number of clauses = 11122 c number of clauses / number of variables = 5.766 c number of literals / number of clauses = 2.433 1,8546 c number of clauses = 10866 c number of clauses / number of variables = 5.595 c number of literals / number of clauses = 2.436 1,474 c number of clauses = 10256 c number of clauses / number of variables = 5.611 c number of literals / number of clauses = 2.442 1,188 c number of clauses = 11606 c number of clauses / number of variables = 5.681 c number of literals / number of clauses = 2.441 1,7899 c number of clauses = 11151 c number of clauses / number of variables = 5.781 c number of literals / number of clauses = 2.437 1,9 c number of clauses = 10775 c number of clauses / number of variables = 5.548 c number of literals / number of clauses = 2.440 1,774 c number of clauses = 13460 c number of clauses / number of variables = 5.937 c number of literals / number of clauses = 2.439 2,3455 c number of clauses = 10473 c number of clauses / number of variables = 5.770 c number of literals / number of clauses = 2.502 2,12 c number of clauses = 11414 c number of clauses / number of variables = 5.779 c number of literals / number of clauses = 2.508 2,45 c number of clauses = 9610 c number of clauses / number of variables = 5.730 c number of literals / number of clauses = 2.508 2,78 c number of clauses = 14485 c number of clauses / number of variables = 6.328 c number of literals / number of clauses = 2.512 2,8546 c number of clauses = 14227 c number of clauses / number of variables = 6.148 c number of literals / number of clauses = 2.513 2,474 c number of clauses = 13455 c number of clauses / number of variables = 6.183 c number of literals / number of clauses = 2.514 2,188 c number of clauses = 15159 c number of clauses / number of variables = 6.246 c number of literals / number of clauses = 2.515 2,7899 c number of clauses = 14537 c number of clauses / number of variables = 6.351 c number of literals / number of clauses = 2.510 2,9 c number of clauses = 14177 c number of clauses / number of variables = 6.127 c number of literals / number of clauses = 2.515 2,774 c number of clauses = 17434 c number of clauses / number of variables = 6.517 c number of literals / number of clauses = 2.514 3,3455 c number of clauses = 10373 c number of clauses / number of variables = 5.715 c number of literals / number of clauses = 2.507 3,12 c number of clauses = 11375 c number of clauses / number of variables = 5.759 c number of literals / number of clauses = 2.510 3,45 c number of clauses = 9539 c number of clauses / number of variables = 5.688 c number of literals / number of clauses = 2.511 3,78 c number of clauses = 14314 c number of clauses / number of variables = 6.253 c number of literals / number of clauses = 2.518 3,8546 c number of clauses = 14086 c number of clauses / number of variables = 6.087 c number of literals / number of clauses = 2.518 3,474 c number of clauses = 13442 c number of clauses / number of variables = 6.177 c number of literals / number of clauses = 2.515 3,188 c number of clauses = 15072 c number of clauses / number of variables = 6.210 c number of literals / number of clauses = 2.518 3,7899 c number of clauses = 14340 c number of clauses / number of variables = 6.265 c number of literals / number of clauses = 2.517 3,9 c number of clauses = 14029 c number of clauses / number of variables = 6.063 c number of literals / number of clauses = 2.520 3,774 c number of clauses = 17248 c number of clauses / number of variables = 6.448 c number of literals / number of clauses = 2.519 4,3455 c number of clauses = 13767 c number of clauses / number of variables = 6.472 c number of literals / number of clauses = 2.636 4,12 c number of clauses = 14876 c number of clauses / number of variables = 6.437 c number of literals / number of clauses = 2.637 4,45 c number of clauses = 12508 c number of clauses / number of variables = 6.365 c number of literals / number of clauses = 2.640 4,78 c number of clauses = 18368 c number of clauses / number of variables = 6.934 c number of literals / number of clauses = 2.630 4,8546 c number of clauses = 18182 c number of clauses / number of variables = 6.769 c number of literals / number of clauses = 2.632 4,474 c number of clauses = 17205 c number of clauses / number of variables = 6.817 c number of literals / number of clauses = 2.633 4,188 c number of clauses = 19322 c number of clauses / number of variables = 6.874 c number of literals / number of clauses = 2.630 4,7899 c number of clauses = 18427 c number of clauses / number of variables = 6.956 c number of literals / number of clauses = 2.626 4,9 c number of clauses = 18135 c number of clauses / number of variables = 6.752 c number of literals / number of clauses = 2.636 4,774 c number of clauses = 21951 c number of clauses / number of variables = 7.120 c number of literals / number of clauses = 2.625 5,3455 c number of clauses = 13654 c number of clauses / number of variables = 6.419 c number of literals / number of clauses = 2.633 5,12 c number of clauses = 14805 c number of clauses / number of variables = 6.406 c number of literals / number of clauses = 2.635 5,45 c number of clauses = 12274 c number of clauses / number of variables = 6.246 c number of literals / number of clauses = 2.633 5,78 c number of clauses = 18143 c number of clauses / number of variables = 6.849 c number of literals / number of clauses = 2.625 5,8546 c number of clauses = 17986 c number of clauses / number of variables = 6.696 c number of literals / number of clauses = 2.628 5,474 c number of clauses = 17119 c number of clauses / number of variables = 6.782 c number of literals / number of clauses = 2.631 5,188 c number of clauses = 19277 c number of clauses / number of variables = 6.858 c number of literals / number of clauses = 2.629 5,7899 c number of clauses = 18272 c number of clauses / number of variables = 6.898 c number of literals / number of clauses = 2.623 5,9 c number of clauses = 18025 c number of clauses / number of variables = 6.711 c number of literals / number of clauses = 2.634 5,774 c number of clauses = 21794 c number of clauses / number of variables = 7.069 c number of literals / number of clauses = 2.622 6,3455 c number of clauses = 13444 c number of clauses / number of variables = 6.321 c number of literals / number of clauses = 2.628 6,12 c number of clauses = 14738 c number of clauses / number of variables = 6.377 c number of literals / number of clauses = 2.634 6,45 c number of clauses = 12157 c number of clauses / number of variables = 6.187 c number of literals / number of clauses = 2.629 6,78 c number of clauses = 17903 c number of clauses / number of variables = 6.758 c number of literals / number of clauses = 2.620 6,8546 c number of clauses = 17761 c number of clauses / number of variables = 6.612 c number of literals / number of clauses = 2.624 6,474 c number of clauses = 16828 c number of clauses / number of variables = 6.667 c number of literals / number of clauses = 2.625 6,188 c number of clauses = 19029 c number of clauses / number of variables = 6.769 c number of literals / number of clauses = 2.625 6,7899 c number of clauses = 18008 c number of clauses / number of variables = 6.798 c number of literals / number of clauses = 2.618 6,9 c number of clauses = 17864 c number of clauses / number of variables = 6.651 c number of literals / number of clauses = 2.631 6,774 c number of clauses = 21541 c number of clauses / number of variables = 6.987 c number of literals / number of clauses = 2.618 7,3455 c number of clauses = 13446 c number of clauses / number of variables = 6.322 c number of literals / number of clauses = 2.628 7,12 c number of clauses = 14717 c number of clauses / number of variables = 6.368 c number of literals / number of clauses = 2.633 7,45 c number of clauses = 12094 c number of clauses / number of variables = 6.155 c number of literals / number of clauses = 2.627 7,78 c number of clauses = 17708 c number of clauses / number of variables = 6.685 c number of literals / number of clauses = 2.616 7,8546 c number of clauses = 17713 c number of clauses / number of variables = 6.595 c number of literals / number of clauses = 2.623 7,474 c number of clauses = 16775 c number of clauses / number of variables = 6.646 c number of literals / number of clauses = 2.623 7,188 c number of clauses = 18865 c number of clauses / number of variables = 6.711 c number of literals / number of clauses = 2.621 7,7899 c number of clauses = 17869 c number of clauses / number of variables = 6.746 c number of literals / number of clauses = 2.615 7,9 c number of clauses = 17722 c number of clauses / number of variables = 6.598 c number of literals / number of clauses = 2.628 7,774 c number of clauses = 21356 c number of clauses / number of variables = 6.927 c number of literals / number of clauses = 2.614 8,3455 c number of clauses = 17985 c number of clauses / number of variables = 7.374 c number of literals / number of clauses = 2.914 8,12 c number of clauses = 19304 c number of clauses / number of variables = 7.293 c number of literals / number of clauses = 2.898 8,45 c number of clauses = 16161 c number of clauses / number of variables = 7.173 c number of literals / number of clauses = 2.896 8,78 c number of clauses = 23293 c number of clauses / number of variables = 7.741 c number of literals / number of clauses = 2.853 8,8546 c number of clauses = 23168 c number of clauses / number of variables = 7.576 c number of literals / number of clauses = 2.863 8,474 c number of clauses = 21800 c number of clauses / number of variables = 7.591 c number of literals / number of clauses = 2.857 8,188 c number of clauses = 24604 c number of clauses / number of variables = 7.701 c number of literals / number of clauses = 2.858 8,7899 c number of clauses = 23341 c number of clauses / number of variables = 7.757 c number of literals / number of clauses = 2.848 8,9 c number of clauses = 23304 c number of clauses / number of variables = 7.621 c number of literals / number of clauses = 2.877 8,774 c number of clauses = 27717 c number of clauses / number of variables = 7.940 c number of literals / number of clauses = 2.838 9,3455 c number of clauses = 17783 c number of clauses / number of variables = 7.291 c number of literals / number of clauses = 2.901 9,12 c number of clauses = 19174 c number of clauses / number of variables = 7.244 c number of literals / number of clauses = 2.891 9,45 c number of clauses = 16102 c number of clauses / number of variables = 7.147 c number of literals / number of clauses = 2.892 9,78 c number of clauses = 23013 c number of clauses / number of variables = 7.648 c number of literals / number of clauses = 2.839 9,8546 c number of clauses = 23106 c number of clauses / number of variables = 7.556 c number of literals / number of clauses = 2.860 9,474 c number of clauses = 21687 c number of clauses / number of variables = 7.551 c number of literals / number of clauses = 2.851 9,188 c number of clauses = 24498 c number of clauses / number of variables = 7.668 c number of literals / number of clauses = 2.853 9,7899 c number of clauses = 23212 c number of clauses / number of variables = 7.714 c number of literals / number of clauses = 2.842 9,9 c number of clauses = 23107 c number of clauses / number of variables = 7.556 c number of literals / number of clauses = 2.867 9,774 c number of clauses = 27528 c number of clauses / number of variables = 7.885 c number of literals / number of clauses = 2.830 10,3455 c number of clauses = 17665 c number of clauses / number of variables = 7.243 c number of literals / number of clauses = 2.894 10,12 c number of clauses = 18911 c number of clauses / number of variables = 7.144 c number of literals / number of clauses = 2.875 10,45 c number of clauses = 15995 c number of clauses / number of variables = 7.099 c number of literals / number of clauses = 2.885 10,78 c number of clauses = 23035 c number of clauses / number of variables = 7.655 c number of literals / number of clauses = 2.840 10,8546 c number of clauses = 22813 c number of clauses / number of variables = 7.460 c number of literals / number of clauses = 2.845 10,474 c number of clauses = 21672 c number of clauses / number of variables = 7.546 c number of literals / number of clauses = 2.850 10,188 c number of clauses = 24315 c number of clauses / number of variables = 7.610 c number of literals / number of clauses = 2.844 10,7899 c number of clauses = 22994 c number of clauses / number of variables = 7.642 c number of literals / number of clauses = 2.831 10,9 c number of clauses = 22990 c number of clauses / number of variables = 7.518 c number of literals / number of clauses = 2.861 10,774 c number of clauses = 27379 c number of clauses / number of variables = 7.843 c number of literals / number of clauses = 2.824 11,3455 c number of clauses = 17483 c number of clauses / number of variables = 7.168 c number of literals / number of clauses = 2.882 11,12 c number of clauses = 19166 c number of clauses / number of variables = 7.241 c number of literals / number of clauses = 2.890 11,45 c number of clauses = 15771 c number of clauses / number of variables = 7.000 c number of literals / number of clauses = 2.869 11,78 c number of clauses = 22632 c number of clauses / number of variables = 7.521 c number of literals / number of clauses = 2.820 11,8546 c number of clauses = 22663 c number of clauses / number of variables = 7.411 c number of literals / number of clauses = 2.837 11,474 c number of clauses = 21721 c number of clauses / number of variables = 7.563 c number of literals / number of clauses = 2.853 11,188 c number of clauses = 24295 c number of clauses / number of variables = 7.604 c number of literals / number of clauses = 2.843 11,7899 c number of clauses = 22867 c number of clauses / number of variables = 7.600 c number of literals / number of clauses = 2.824 11,9 c number of clauses = 22918 c number of clauses / number of variables = 7.494 c number of literals / number of clauses = 2.858 11,774 c number of clauses = 27114 c number of clauses / number of variables = 7.767 c number of literals / number of clauses = 2.812 12,3455 c number of clauses = 17329 c number of clauses / number of variables = 7.105 c number of literals / number of clauses = 2.872 12,12 c number of clauses = 18917 c number of clauses / number of variables = 7.147 c number of literals / number of clauses = 2.876 12,45 c number of clauses = 15757 c number of clauses / number of variables = 6.994 c number of literals / number of clauses = 2.868 12,78 c number of clauses = 22619 c number of clauses / number of variables = 7.517 c number of literals / number of clauses = 2.819 12,8546 c number of clauses = 22410 c number of clauses / number of variables = 7.328 c number of literals / number of clauses = 2.824 12,474 c number of clauses = 21316 c number of clauses / number of variables = 7.422 c number of literals / number of clauses = 2.831 12,188 c number of clauses = 23965 c number of clauses / number of variables = 7.501 c number of literals / number of clauses = 2.827 12,7899 c number of clauses = 22482 c number of clauses / number of variables = 7.472 c number of literals / number of clauses = 2.804 12,9 c number of clauses = 22679 c number of clauses / number of variables = 7.416 c number of literals / number of clauses = 2.846 12,774 c number of clauses = 26909 c number of clauses / number of variables = 7.708 c number of literals / number of clauses = 2.803 13,3455 c number of clauses = 17358 c number of clauses / number of variables = 7.117 c number of literals / number of clauses = 2.874 13,12 c number of clauses = 18635 c number of clauses / number of variables = 7.040 c number of literals / number of clauses = 2.859 13,45 c number of clauses = 15632 c number of clauses / number of variables = 6.938 c number of literals / number of clauses = 2.859 13,78 c number of clauses = 22461 c number of clauses / number of variables = 7.465 c number of literals / number of clauses = 2.811 13,8546 c number of clauses = 22390 c number of clauses / number of variables = 7.322 c number of literals / number of clauses = 2.823 13,474 c number of clauses = 21189 c number of clauses / number of variables = 7.378 c number of literals / number of clauses = 2.824 13,188 c number of clauses = 23803 c number of clauses / number of variables = 7.450 c number of literals / number of clauses = 2.819 13,7899 c number of clauses = 22439 c number of clauses / number of variables = 7.457 c number of literals / number of clauses = 2.802 13,9 c number of clauses = 22671 c number of clauses / number of variables = 7.414 c number of literals / number of clauses = 2.845 13,774 c number of clauses = 26799 c number of clauses / number of variables = 7.677 c number of literals / number of clauses = 2.798 14,3455 c number of clauses = 17362 c number of clauses / number of variables = 7.118 c number of literals / number of clauses = 2.875 14,12 c number of clauses = 18600 c number of clauses / number of variables = 7.027 c number of literals / number of clauses = 2.857 14,45 c number of clauses = 15464 c number of clauses / number of variables = 6.864 c number of literals / number of clauses = 2.847 14,78 c number of clauses = 22154 c number of clauses / number of variables = 7.363 c number of literals / number of clauses = 2.794 14,8546 c number of clauses = 22239 c number of clauses / number of variables = 7.272 c number of literals / number of clauses = 2.815 14,474 c number of clauses = 20755 c number of clauses / number of variables = 7.227 c number of literals / number of clauses = 2.800 14,188 c number of clauses = 23529 c number of clauses / number of variables = 7.364 c number of literals / number of clauses = 2.805 14,7899 c number of clauses = 22186 c number of clauses / number of variables = 7.373 c number of literals / number of clauses = 2.788 14,9 c number of clauses = 22454 c number of clauses / number of variables = 7.343 c number of literals / number of clauses = 2.834 14,774 c number of clauses = 26574 c number of clauses / number of variables = 7.612 c number of literals / number of clauses = 2.788 15,3455 c number of clauses = 17102 c number of clauses / number of variables = 7.012 c number of literals / number of clauses = 2.857 15,12 c number of clauses = 18445 c number of clauses / number of variables = 6.968 c number of literals / number of clauses = 2.847 15,45 c number of clauses = 15443 c number of clauses / number of variables = 6.854 c number of literals / number of clauses = 2.845 15,78 c number of clauses = 22052 c number of clauses / number of variables = 7.329 c number of literals / number of clauses = 2.789 15,8546 c number of clauses = 22113 c number of clauses / number of variables = 7.231 c number of literals / number of clauses = 2.808 15,474 c number of clauses = 20710 c number of clauses / number of variables = 7.211 c number of literals / number of clauses = 2.797 15,188 c number of clauses = 23413 c number of clauses / number of variables = 7.328 c number of literals / number of clauses = 2.800 15,7899 c number of clauses = 22007 c number of clauses / number of variables = 7.314 c number of literals / number of clauses = 2.778 15,9 c number of clauses = 22356 c number of clauses / number of variables = 7.311 c number of literals / number of clauses = 2.829 15,774 c number of clauses = 26376 c number of clauses / number of variables = 7.555 c number of literals / number of clauses = 2.779 16,3455 c number of clauses = 23943 c number of clauses / number of variables = 8.703 c number of literals / number of clauses = 3.399 16,12 c number of clauses = 25999 c number of clauses / number of variables = 8.716 c number of literals / number of clauses = 3.392 16,45 c number of clauses = 21580 c number of clauses / number of variables = 8.493 c number of literals / number of clauses = 3.373 16,78 c number of clauses = 30382 c number of clauses / number of variables = 9.018 c number of literals / number of clauses = 3.278 16,8546 c number of clauses = 30471 c number of clauses / number of variables = 8.884 c number of literals / number of clauses = 3.303 16,474 c number of clauses = 28948 c number of clauses / number of variables = 8.990 c number of literals / number of clauses = 3.312 16,188 c number of clauses = 32180 c number of clauses / number of variables = 8.991 c number of literals / number of clauses = 3.288 16,7899 c number of clauses = 30242 c number of clauses / number of variables = 8.977 c number of literals / number of clauses = 3.261 16,9 c number of clauses = 30716 c number of clauses / number of variables = 8.955 c number of literals / number of clauses = 3.325 16,774 c number of clauses = 36025 c number of clauses / number of variables = 9.240 c number of literals / number of clauses = 3.253 17,3455 c number of clauses = 23765 c number of clauses / number of variables = 8.639 c number of literals / number of clauses = 3.387 17,12 c number of clauses = 25687 c number of clauses / number of variables = 8.611 c number of literals / number of clauses = 3.372 17,45 c number of clauses = 21514 c number of clauses / number of variables = 8.467 c number of literals / number of clauses = 3.368 17,78 c number of clauses = 30175 c number of clauses / number of variables = 8.957 c number of literals / number of clauses = 3.266 17,8546 c number of clauses = 30236 c number of clauses / number of variables = 8.815 c number of literals / number of clauses = 3.290 17,474 c number of clauses = 28682 c number of clauses / number of variables = 8.907 c number of literals / number of clauses = 3.296 17,188 c number of clauses = 32111 c number of clauses / number of variables = 8.972 c number of literals / number of clauses = 3.285 17,7899 c number of clauses = 30030 c number of clauses / number of variables = 8.914 c number of literals / number of clauses = 3.249 17,9 c number of clauses = 30556 c number of clauses / number of variables = 8.908 c number of literals / number of clauses = 3.317 17,774 c number of clauses = 35904 c number of clauses / number of variables = 9.209 c number of literals / number of clauses = 3.247 18,3455 c number of clauses = 23486 c number of clauses / number of variables = 8.537 c number of literals / number of clauses = 3.368 18,12 c number of clauses = 25486 c number of clauses / number of variables = 8.544 c number of literals / number of clauses = 3.360 18,45 c number of clauses = 21458 c number of clauses / number of variables = 8.445 c number of literals / number of clauses = 3.364 18,78 c number of clauses = 29908 c number of clauses / number of variables = 8.877 c number of literals / number of clauses = 3.251 18,8546 c number of clauses = 30113 c number of clauses / number of variables = 8.779 c number of literals / number of clauses = 3.283 18,474 c number of clauses = 28484 c number of clauses / number of variables = 8.846 c number of literals / number of clauses = 3.284 18,188 c number of clauses = 31975 c number of clauses / number of variables = 8.934 c number of literals / number of clauses = 3.277 18,7899 c number of clauses = 29932 c number of clauses / number of variables = 8.885 c number of literals / number of clauses = 3.243 18,9 c number of clauses = 30437 c number of clauses / number of variables = 8.874 c number of literals / number of clauses = 3.310 18,774 c number of clauses = 35618 c number of clauses / number of variables = 9.135 c number of literals / number of clauses = 3.233